
True
Let h = 0.455 - 0.355. Which is smaller: h or -37?
-37
Let v = -0.3 + 0.1. Let r = 18.6 - 1.6. Let k = r + -14. Which is smaller: v or k?
v
Suppose -4*s = 4*x - 104, -3*s - s - 112 = -4*x. Is 23 >= x?
False
Suppose 0 = 5*k - 4*u - 21, 3*k - 3*u - u = 19. Is 5/32 greater than or equal to k?
False
Suppose -s + 16 = -2*r, -3*s + 45 = r - 6*r. Let w = 27 - 9. Let v = s - w. Which is smaller: -7 or v?
v
Let u(l) = l**2 - 7*l - 21. Let m be u(8). Let f = 10 - 17. Let x = m - f. Which is greater: x or -5?
-5
Let x = 2.59 - -0.31. Let u = 1.23 - -1.77. Let g = u - x. Are g and 8 unequal?
True
Let g(i) = i**2 + 15*i + 13. Let q be g(-14). Let v be (-2 - 0) + q - 56/2. Is -30 <= v?
False
Let w be (1 - 4)*(-4)/12. Let a(y) = 5*y. Let l be a(-2). Let z be l/(-117) + (-6)/(-27). Is w at most z?
False
Let i = 55 - 51. Suppose -23 = -i*u + u + 2*r, 36 = 5*u - r. Are u and 6 equal?
False
Let r = 1783/2024 - 20/23. Is 1 bigger than r?
True
Suppose -5*s = 3*f - 42, -3*s = 4*f - 2*s - 56. Let c be (-552)/(-28) + 4/f. Let x = 32 - 13. Is c greater than x?
True
Suppose -3*s - 30 - 12 = -4*i, s = -i + 14. Let w be (-4 - (-20)/i)*-9. Suppose -5*n + 3*v = -1, -3*n + w = 5*v - 0. Is n bigger than -0.2?
True
Let m(v) = -v**2 + 5*v + 1. Let f be m(2). Which is greater: 8 or f?
8
Let o be ((-5704)/(-32))/(-23)*136/2. Which is bigger: -528 or o?
o
Let m = -3439/99 - -343/11. Which is smaller: -3 or m?
m
Let s = 18 + -19. Let q = -0.1 + -1.7. Is s bigger than q?
True
Let l be (17/51)/(3/(-18)). Let k(m) be the third derivative of -m**4/24 - 5*m**3/3 - 5*m**2. Let a be k(-7). Is a > l?
False
Let p(k) = k**2 + 8*k + 4. Suppose 0 = -h + 3 + 1. Let x be (-2)/h - 15/2. Let w be p(x). Is w bigger than 2?
True
Let r(w) be the third derivative of w**6/120 + w**5/15 - w**4/6 + 7*w**3/6 - 11*w**2. Let y be r(-5). Which is greater: 7 or y?
7
Let l be 9/(-21) - (18/7 - 2). Does l = -0.41?
False
Let f be (-1 + -2 + 6 - 4)/(-1). Let p be -1 + (-2)/(54/(-25)). Which is greater: f or p?
f
Let i(y) = y**2 - 58*y + 58. Let w be i(57). Are 20/167 and w nonequal?
True
Let w = -860 + 853. Which is smaller: -21 or w?
-21
Let n = -2 - -6. Suppose 0 = -3*h + n*h - 11. Suppose -4*d = -5*g - 0*g + 13, 3*d + h = 5*g. Which is smaller: d or -0.8?
d
Suppose -57 = 7*w - 10*w. Let c be (2/w)/((-38)/(-57)). Is c greater than or equal to -1?
True
Let l be 1 + 1 - (-56)/(-30). Suppose 6*j + 10 = 8*j. Suppose 2*o - o - j*b = 20, 2*b = -8. Is o at least as big as l?
False
Let w = 4.2 + -7.1. Let k = w - -3. Is 0.18 at most as big as k?
False
Suppose -5*h = -8 - 12. Suppose s - h*s + 9 = 0. Suppose 0 = 3*c + s, 0 = -2*z + 2*c - 0*c. Is z < -1/23?
True
Suppose 5*a + 20 = -0*a, -27 = -5*b + 3*a. Suppose 3*o + 27 = b. Which is smaller: o or -6?
o
Let s = 43.93 - 44.13. Let q(w) = w**2 + w - 62. Let j be q(0). Is s less than or equal to j?
False
Let c be (-19)/(-133) + 3/(-1554)*1754. Is -4 less than or equal to c?
True
Let a(c) = 14*c - 52. Let z be a(5). Suppose 0 = -z*y + 12*y - 108. Is -6 not equal to y?
True
Let w(r) = r**2 + 3. Let k be w(3). Suppose -t = 67 - 121. Let g be k/t - (-40)/(-18). Is -4 > g?
False
Suppose m + 4*m - 10 = 0. Suppose -q + 3*y - 15 = 0, -4*q + 5*y - 29 - 10 = 0. Let k be (1 - -3) + q - -2. Which is smaller: k or m?
k
Suppose 0 = -18*q + 10*q. Which is bigger: 2/1389 or q?
2/1389
Let r(x) = -x**3 + 6*x**2 - 5*x + 6. Let f be r(5). Suppose 6 = 4*d - f. Is d greater than or equal to 32/9?
False
Let i = 7 + -6.7. Let p = i + -0.22. Let m = p - -6.92. Is m bigger than -1?
True
Let l be (-29)/87 + 122/330. Is l at least 0?
True
Let x be (-1)/(-5) + 1022/(-35). Let p = 28 + x. Which is greater: p or -2/3?
-2/3
Let s = 383 + -312. Which is smaller: 0.3 or s?
0.3
Let g = -184.99 - -184. Which is smaller: g or -1/4?
g
Suppose -3*i - w = 2*w - 123, 0 = 2*i + 4*w - 74. Let t = 588 + -588. Suppose -4*g - g - i = t. Which is greater: g or -0.1?
-0.1
Let j = -388 + 2714/7. Is 1/5 > j?
True
Suppose 0 = -2*f + 5*f - 48. Suppose -3*h = -3*t - 9, 3*t - 2*h - f = -4*h. Suppose i + 17 = -5*s, -7 = t*s + s - i. Is s smaller than -6?
False
Let d(x) = 6*x**2 - 6*x - 7. Let c be d(8). Let k = c - 3616/11. Do k and 0 have different values?
True
Let n = 2 - 2.1. Let t = -0.111 - 130.889. Let q = t + 135. Which is greater: n or q?
q
Let z be 10/6 - -3*(-5)/15. Let x = -10 + 75. Which is smaller: z or x?
z
Suppose 12 = -2*z - 50*m + 52*m, -5*z = -4*m + 34. Is z > -24?
True
Suppose -550 = 3*p - 820. Is p equal to 92?
False
Suppose 0 = -197*c + 204*c + 91. Does 5 = c?
False
Let c = -938 + 920. Which is greater: 11 or c?
11
Let s = 0.3 + 3.7. Let t = -120 + 117. Which is greater: s or t?
s
Let o be (-14)/7*26/(-4). Which is bigger: -17 or o?
o
Suppose -3*v + 272 = 3*s - 211, 486 = 3*v + 4*s. Is 156 < v?
True
Let j = -3127/2052 - -55/36. Which is greater: j or 0?
j
Suppose -9*d = -87 - 30. Let y(z) = -z + 19. Let x be y(d). Which is greater: x or 20/3?
20/3
Let h(n) be the first derivative of n**4/4 + n**3 - 3*n**2/2 + 5*n - 8. Let v be h(-4). Let d be (-6 - -4)*-2 - v. Which is smaller: d or 2?
2
Let k = 74/81 - 20/81. Suppose 0 = -2*r - 7 - 7. Which is bigger: k or r?
k
Let k(b) = -b**2 + 18*b - 71. Let n be k(4). Is 0.28 at most as big as n?
False
Let f = 9044 - 823005/91. Suppose -2*w - 3*w = 5*k + 15, -5*k - 4*w - 11 = 0. Is f smaller than k?
True
Let h = -485 - -485. Is h < 9?
True
Suppose 9*f - 61 = 3*w + 7*f, 2*w + 40 = f. Let h(z) = -z**2 + z. Let p be h(-4). Which is smaller: p or w?
p
Let d be (-2)/(-3)*(-16)/(192/18). Which is smaller: d or 1/970?
d
Let v = -58.8 + 61. Let z = -5.2 + v. Is 1 greater than z?
True
Let p = 1879 - 1877. Which is bigger: p or 76/61?
p
Let d = -641 - -53201/83. Let p(n) = 29*n - 724. Let i be p(25). Is d equal to i?
False
Let o(y) = 21*y - 20. Let b(s) = -1. Let d(u) = 5*u + 5. Let x(g) = 10*b(g) + d(g). Let t(k) = 2*o(k) - 9*x(k). Let h be t(3). Is h bigger than -3?
False
Let z be 9735/(-236) - -1*1/4. Which is greater: z or -45?
z
Let b = 76 - 74. Is b >= -58?
True
Let s = 0.0325 - -0.7675. Let r = 199.19 - 200. Let w = s + r. Is 3/7 at most w?
False
Let b = -0.2 - -0.15. Let k = -0.05 - b. Let m = 102 + -100.5. Which is bigger: k or m?
m
Let m(k) = 15*k + 1. Let p be m(-1). Let n = 1118 + -1132. Is p smaller than n?
False
Let a = 283 - 481. Let i be (-96)/a + 8/44. Suppose 3*q - q - 28 = 0. Is q <= i?
False
Let v(p) be the third derivative of -p**6/120 + 7*p**5/60 - p**4/24 - 4*p**3/3 + p**2. Let k be v(7). Which is bigger: -14 or k?
-14
Let w be ((-5)/(125/10))/(30/10). Which is greater: -1 or w?
w
Let n(i) = -i + 4. Let r be n(-3). Let q = -29 + r. Suppose -d + 9*u - 4*u = 6, -4*d + 3*u = 75. Is q bigger than d?
False
Suppose 0 = -4*v + 4*j - 306 + 1014, 0 = 4*v - j - 714. Which is greater: 180 or v?
180
Let h = -139 + 175. Suppose 0 = -5*f + 9*f - 140. Which is greater: f or h?
h
Let l = 5507 + -104657/19. Is l less than 0?
True
Let z be 914/(-42) + (-5)/((-90)/(-12)). Let s = 145/7 + z. Are s and -2 equal?
False
Let n(o) = o**3 - 3*o**2 - o + 2. Let w be n(3). Let z = -41/2730 - -27/182. Which is bigger: w or z?
z
Let j be (-3)/(-8)*292/30. Let r = j + -17/5. Is -2/39 <= r?
True
Let i be (-1 - 0 - -1)/1. Suppose 2*u + 3*t - 17 = i, -3*u + 2*u + 11 = 2*t. Which is greater: -2/9 or u?
u
Suppose 0 = 3*l + 6*u - 3*u + 48, 4*l + 2*u + 56 = 0. Let h(b) = -7*b + 2. Let a be h(2). Is l smaller than a?
False
Suppose 0 = 7*a - 44 + 9. Suppose -a*o - 5*u = -1375, -2*u = -2*o + u + 575. Let x = 1963/7 - o. Which is bigger: x or -2/3?
x
Let l = -36.07 + -1.93. Which is smaller: l or 2/3?
l
Let o = 1 + 4. Let u be 235/(-615) - o/(-15). Is u > -1?
True
Suppose 910 = -230*c + 217*c. Which is bigger: c or -69?
-69
Let w be (-12)/3944*6/9. Do w and -2 have different values?
True
Suppose -3*o = -14*o - 539. Which is bigger: o or -52?
o
Let w be (-155)/(-341)*(9/(-10) - -1). Which is smaller: -1 or w?
-1
Let q = 91.1 - 91. Is q at most as big as -14?
False
Let j = 6.74 + -3.7. Let v = 0.16 + -0.2. Let m = v + j. Which is greater: -2 or m?
m
Suppose 0 = -56*z + 51*z + 50. Is -4 > z?
False
Let d = -88 - -103. Is -6/5 equal to d?
False
Suppose -6 + 1 = -5*p. Let v = -2561169/86 + 29781. Does v = p?
False
Let w(r) = -r + 5. Let z be w(5). Suppose -f + 4*f - 6 = z. Which is bigger: 