 Let x = 0.8 + d. Let a = 1 + 1. Is x smaller than a?
True
Let a = -0.1 + 0.08. Let z = a + -1.98. Is z less than or equal to 0.3?
True
Let m be (188/60 - 1) + -2*1. Let v be 2 - (-2 - 51/(-12)). Is v greater than or equal to m?
False
Let b = 38/7 - 145/28. Let h = 80 + -398/5. Which is smaller: h or b?
b
Let m(x) = -x**2 - 8*x - 9. Let s be m(-7). Let p be 2/8 - s/56. Is p < -3?
False
Let z(m) = m**2 + m - 8 + 0*m**2 - 8*m**2 + m**3. Let s be z(7). Let q be (5*(-10)/(-25))/12*-3. Which is greater: s or q?
q
Let i = 2 - 2. Let k = i - -1. Let w = 15/7 - 17/7. Is k less than w?
False
Let j = 63/4 + -16. Is 0 greater than or equal to j?
True
Let u = 0.54 + 1.46. Is u at most as big as 0.5?
False
Suppose 4*f = 3*f + 38. Let s be 2/(-9) + f/9. Is 5 at least s?
True
Suppose 0 = 5*r + 20, 2*f + 0*f = -4*r - 12. Suppose p = -4*q, 2*p + 5*q - 5 + f = 0. Suppose p*l = -6 + 2. Which is smaller: -4 or l?
-4
Let g(z) be the second derivative of -z**5/20 + z**4/3 - z**3/3 - 2*z**2 - 2*z. Let r be g(3). Suppose 20*j = 12*j - 8. Are j and r equal?
True
Let f = -0.8 - 0.6. Let z = f + 3.4. Is z at least as big as 0.2?
True
Let d = 0 + 0.1. Let u = 0.2 - 0.4. Let c = u - -0.3. Is d at most c?
True
Let u = 33 - 18. Let v be (-381)/u - -1 - 2. Let p = 26 + v. Is -1/3 equal to p?
False
Let l = -10 - -15. Suppose -u + a - l = 0, -2*u = -7*u + 3*a - 19. Let w be (-4)/(-16) - 2/(-24). Do w and u have the same value?
False
Let y(f) = f - 12. Let p be y(12). Suppose p = -b + 2 - 4. Which is smaller: b or -5?
-5
Let l = 2.09 - 0.09. Let i = 3 - l. Which is smaller: i or -2/5?
-2/5
Let k(i) = -i**3 + 10*i**2 - i - 4. Let n be k(10). Which is smaller: n or -17?
-17
Suppose u = -3*u - 4. Let a = -756/605 + 6/121. Is a at least u?
False
Let t = -0.34 + -5.66. Which is greater: 3 or t?
3
Let n be ((-6)/12)/((-2)/(-8)). Let y = -127/186 + 1/62. Is n greater than y?
False
Let w(n) = -2*n - 6. Let k be w(-4). Let s be 2*(-10 - k - 2). Let q be (-10)/35 - 22/s. Which is smaller: 0.1 or q?
0.1
Suppose 3*q + j + 1 = -2, j + 3 = 0. Which is smaller: q or -94?
-94
Let n be (4 + -8 + 0)/(-4). Is -1/4 greater than n?
False
Suppose 4*o + o - 10 = 0. Let b = -2 + 4. Suppose 0 = -o*a - j, 2*j = -2*a - b - 0. Is 1 greater than or equal to a?
True
Let g = -0.8 - -0.83. Let c = g - 0.13. Which is bigger: 0 or c?
0
Let q be 2/(-4) + (-7817)/(-26). Let k = q + -300. Suppose 0 = 4*x + 3*i - 0*i + 2, -4*i = 5*x + 3. Which is smaller: k or x?
k
Suppose 2*z - 14 = 4*v - 6*v, -4*z - v = -13. Suppose -w + 11 = 5*b + z, -18 = 2*b - 5*w. Which is greater: b or 7/4?
7/4
Let t(p) = p - 2. Let i be t(2). Which is smaller: i or 0.4?
i
Suppose 0 = -y - 1, h + y + 4 = -3*y. Let o be 3/4 + (-13)/(-4). Suppose h = -0*b + o*b. Are -3/5 and b unequal?
True
Let y be (62027/14)/(217 - -1). Let j = y + -8/109. Let n = j + -20. Is n smaller than -1?
False
Let h(z) = 10*z**2 + z + 1. Let x be h(1). Which is bigger: 13 or x?
13
Let z be (6/8)/(11 + -8). Which is greater: -1 or z?
z
Suppose 0 = -3*p + 3*a + 48, 3*p + a - 64 = -0*a. Which is bigger: p or 23?
23
Suppose -4*s - 36 = -3*s - o, -2*o = s + 27. Is s at most as big as -33?
True
Let c be (-1)/(-2) - 6/4. Suppose -z - 4 - 4 = -3*k, k = -z - 4. Is c smaller than k?
True
Let d = 153 - 8573/56. Let f = d - 17/1064. Is -1 equal to f?
False
Let o = -24 + 14. Let b be (-4)/(-10) + (-56)/o. Is b bigger than 5?
True
Let o = 9 + -6. Suppose -3*q - 12 = o*v, -2*q + 3 = 13. Let t be 4*1 + 247/(-65). Is v greater than t?
True
Let z = 7/10 - 1/5. Let p(f) = -f**2 + 8*f - 7. Let c be p(6). Suppose -c*y = -0*y. Is y less than or equal to z?
True
Let k be ((-39)/9)/(2/(-6)). Suppose -2*i - 15 = -k. Is i greater than or equal to -2/19?
False
Suppose -3*p - 20 - 25 = -3*t, -4*p = -12. Let c be ((-12)/(-14))/(t/28). Which is bigger: c or 2?
2
Suppose -37 + 13 = -4*s - 5*n, 2*s = -n + 6. Which is bigger: -1 or s?
s
Let r = 0.001 + -2.101. Let s = -2 - r. Is 9 equal to s?
False
Suppose -3*c = -7*c + 12. Suppose 5*n + 9 + 12 = 2*b, 2*n - 3 = -c*b. Suppose 3*j = -6, 4*p - 15 = -5*j - 37. Is n greater than or equal to p?
True
Let s = -0.3 - 5.7. Let o = 0 - 5.9. Let v = o - s. Is v < -2/13?
False
Let h(z) be the first derivative of -7*z + 3 - 1/2*z**2. Let j be h(-5). Which is bigger: 2 or j?
2
Let q be (-10)/58*(-10)/(-25). Let o = 33/58 + q. Does 1 = o?
False
Let x(t) = -t**3 - 9*t**2 + 3*t - 2. Let l be x(-4). Are -94 and l equal?
True
Let x(a) = a**3 - 9*a**2 + a - 9. Let n be x(9). Which is greater: 1/4 or n?
1/4
Suppose 0 = 2*z - 2 + 4. Let c(p) = p - 1. Let m be c(1). Let t be m - 2 - (z - 0). Is t at most 2/7?
True
Let z(j) = -j**2 - 7*j + 8. Let q be z(-8). Which is greater: q or 4?
4
Let k(y) = y - 11. Let u be k(9). Let z(t) = -t - 1. Let a be z(u). Which is bigger: a or -4/9?
a
Let p(i) = i + 5. Let a = 14 - 19. Let r be p(a). Is r not equal to -1/3?
True
Let f = 0.6 + -1.7. Let r = -1.2 - f. Are r and 4 unequal?
True
Let u = 1/3150 - -132289/34650. Which is bigger: 3 or u?
u
Let v = 0.31 - -0.09. Let n = -6 + 6.3. Let r = n - v. Which is smaller: 1 or r?
r
Suppose 2*d = 2 + 6. Suppose -1 = -z - a + 5, -5*a + 24 = 2*z. Let j be 5 + -1 + z + -3. Which is greater: d or j?
d
Let x be (0*1/2)/(-2). Is x less than or equal to -3/14?
False
Suppose 5*b = -3*y - 47, -5*b - 3*y = -4*b + 19. Let c(o) = -o**2 - 5*o + 8. Let u be c(b). Which is smaller: -2 or u?
u
Let p = -1519 + 119998/79. Which is smaller: p or 1?
p
Let f be (-4)/14 - (-9606)/105. Let n = 92 - f. Which is greater: n or 0.2?
n
Suppose -3*q = l + 2, -3*q + 5*l - 3*l + 4 = 0. Let a be q/(-4)*(-1 + 0). Suppose -v + 2*z = -5*v - 14, -v = 4*z + 21. Is v != a?
True
Let a be (4 - 1)/3*1. Let r = -73/15 + 14/3. Which is smaller: a or r?
r
Let m = 10 - 6. Let h(u) = u**3 - 3*u**2 + u - 5. Let s be h(m). Do 14 and s have the same value?
False
Suppose -x + 7 = 4*n - 9, 2*n = x + 14. Suppose 0 = -2*t + n*g - 0*g + 13, -5*t + g - 2 = 0. Which is smaller: -2 or t?
-2
Let z = 2 + -1.6. Let g = -0.3 + 0.8. Let r = g - z. Does r = 1/4?
False
Suppose 25 = -h - 14. Let u be -3*h/27 - 2. Is u != 3?
True
Let l be (8/(-6))/((-2)/(-6)). Is 0.1 > l?
True
Let b = 77 + -198. Let v be 2 + -2*b/(-8). Let y = 28 + v. Is y less than or equal to 0?
True
Let z = 2 + -1. Suppose 4*g + 3*y - 8*y = 31, -g + z = y. Suppose -v + 1 = g. Which is bigger: -4 or v?
v
Let g = 109 - 107. Let k be (-2)/(-3) - (-15)/(-9). Is k greater than g?
False
Let t = 9.3 - 9.1. Are t and 0.03 unequal?
True
Let i be ((-1)/1 - -2) + 3. Suppose -10 = -2*c - 3*c. Which is smaller: i or c?
c
Let n = 494/9 + -55. Which is smaller: n or -1?
-1
Let d be (-3 - -4)*1*-7. Let r be 18/(-14) + (-2)/d. Let c be r/(-2) + 6/12. Is 1 at most as big as c?
True
Suppose -5*l + 98 + 237 = 2*f, f - 174 = 4*l. Let y be ((-1)/f)/((-1)/4). Let u = -156/595 - y. Which is smaller: u or 4?
u
Suppose u + 3*p + 14 = -0*u, 0 = 2*u - 4*p - 12. Let o be ((-6)/(-9))/(u/(-18)). Which is smaller: 5 or o?
5
Suppose -3 = -4*j - 0*b + b, 4*b + 12 = 0. Is 3/7 less than j?
False
Suppose 2*w - 2*u = -34, 2*w + 33 = -3*u + 6*u. Let o be (-240)/w*6/4. Let d be (-4)/15 + (-8)/o. Is -1 <= d?
True
Let a(f) = -3*f - 2*f - 2*f - f**2. Let s be a(-7). Let d = 2394/13 + -184. Which is bigger: d or s?
d
Let v = -1 + 13. Suppose 2*u = 4*o + 12, -4*u - o + v = -6*o. Let d be (-6)/(4 + -2) - -2. Which is smaller: u or d?
u
Let h = 86 - 81.9. Let g = h + -4. Let t = -3 - -3.1. Is t less than g?
False
Let c(r) = r**3 + 12*r**2 - r - 12. Let i be c(-12). Let p be (2 - 4)/(-6)*i. Is 1/8 > p?
True
Suppose 0 = j - t - 37, -3*t - 2*t = -25. Suppose -3*y = -j + 6. Is y != -0.1?
True
Suppose -c = -1 - 8. Suppose 3*a = a + 18. Is a not equal to c?
False
Let f = 1303/8 - 164. Which is smaller: f or -1?
f
Let b(f) = -f**3 + f**2 - 7. Let i be b(0). Which is bigger: -8 or i?
i
Let z = -2.07 + 0.07. Let p = -2.3 - 0.7. Let y = z - p. Is -2/7 > y?
False
Let o = -9 - -6. Let v be ((-6)/40)/(o/(-2)). Which is bigger: -1 or v?
v
Let c = 4 + 2. Suppose 7 = -2*a - 3*y - c, -5*y - 9 = -3*a. Which is greater: 2 or a?
2
Let m = 2 - 1. Let l(u) = u**2. Let g be l(m). Let k = 19 - 37/2. Is k equal to g?
False
Let j be 2/(-8) - 3/(-3)*1. Let m(d) = -d + 8. Let y be m(7). Is j at least as big as y?
False
Let j = -1.3 - -0.6. Let r = j - -0.7. Is