t q be w(f). Which is smaller: q or g?
g
Let t be (-4)/14 + 207/14. Let h = 3852 + -3836. Is t at most h?
True
Let r = -765 + 764. Which is bigger: r or -1/322?
-1/322
Suppose 4*v + 4*a - 5 = 7, -5*v + 2*a + 22 = 0. Suppose -2*x = -3*n - 40, 4*n - x + 58 = v*x. Does -12 = n?
True
Suppose 0 = -4*z + 3*a - 89, -z = -5*z + 5*a - 87. Let g(h) = 4 - 5*h**2 + 5*h - 4*h - 6. Let j be g(-2). Which is smaller: z or j?
j
Suppose -25*m + 21*m + h = 5, 3*h = -m + 2. Which is greater: m or 27?
27
Let t = 268 + -147. Let o = t - 120.41. Let w = 0.09 - o. Is -2/7 smaller than w?
False
Suppose 2 = 2*x - 3*a + a, -2*a + 16 = 4*x. Suppose 7*p = x*p. Let m be 44/60 - (2 - 1). Which is greater: p or m?
p
Let p = -41 + 77. Let m = 35.1 - p. Which is bigger: m or 1?
1
Suppose 0 = -2*z - 11*p + 9*p - 570, -p = 3*z + 849. Is z <= -280?
True
Let x = 2.86 - -0.14. Let q = x + -3.14. Let y = q + 0.14. Is y at most -0.2?
False
Let u(r) = r**3 + 20*r**2 - 21*r - 16. Let v be u(-21). Let y be (0 + 3)/((-51)/v + -3). Which is bigger: y or 13?
y
Let j be ((-6)/2)/(-20 - 0). Let t be ((-2)/8)/(16/(-64)). Is j bigger than t?
False
Suppose -5*g - 146 = -3*d - 507, 486 = -4*d + 2*g. Which is smaller: -120 or d?
d
Suppose 0 = -3*b - 2*b + 10. Suppose -18 = b*k + 10. Which is smaller: -15 or k?
-15
Suppose 2*y + 202 + 78 = 0. Let p be 30/(-25)*y/6. Let v be -1*(-1)/(22/p). Is v != 0?
True
Let h = -44 + 44.53. Let t = h + -0.33. Let p = -0.2 - 0. Are t and p equal?
False
Let y be ((-20)/((-1820)/21))/(1 + 0). Let q = -4 + 9. Suppose 4*d - q = 9*d. Which is bigger: y or d?
y
Let p(n) be the third derivative of n**6/120 + n**5/6 - n**4/12 + 2*n**3/3 - 10*n**2. Let l be p(-10). Does 24 = l?
True
Let k be ((-27)/21 - -1) + 180/1365. Let d = 2 + -2. Suppose 0*y - y - 1 = d. Are y and k non-equal?
True
Let n = 0.6 - -8.4. Let t = n - 19. Let g = t - -8. Which is bigger: g or -6?
g
Let p be 9/(-6) - (-123)/(-2). Is -64 at most p?
True
Let c = 15.84 - 15.76. Suppose -3*t = -5*t - 2. Is t > c?
False
Let u = -75 + 79. Suppose u*q + z + 52 = -z, 3*z = 6. Which is bigger: q or 1?
1
Let h = 6 + -10. Let l = 10 + -9.94. Are l and h equal?
False
Let n be 9872/728 + 4/14. Let i = n - 1312/91. Is i > 1/2?
False
Let t(w) = w + 34. Let r be t(-16). Let y = r + -19. Let u be 3/(-6) + (-207)/(-438). Is u smaller than y?
False
Let q(b) = -2*b - 22. Let t be q(-10). Suppose 9 + 8 = 4*r - 3*d, 9 = 3*r - d. Let c(z) = z**3 - 2*z**2 + 1. Let j be c(r). Is j >= t?
True
Let b = 3608 + -3649. Suppose -2*n = 3*p + 119, -4*p + 31 = 4*n + 187. Is b at most as big as p?
True
Suppose -8*b + 31 = -57. Let x = b + -4. Which is smaller: x or 6?
6
Let m = -1 - 3.6. Let w = m - -5. Which is smaller: -0.4 or w?
-0.4
Let o(c) = c**3 + 5*c**2 + 4*c + 6. Let k be o(-4). Let r = 0.2 + -1.2. Are k and r unequal?
True
Let u be (-48)/5*(17/(-2) + 6). Is 17 at least u?
False
Suppose n - 256 = -2*k + 5*n, -5*k = n - 585. Let i = k - 168. Which is smaller: i or -49?
i
Let k = 17 - 13. Let x = k + 0. Let w = -2 + x. Which is bigger: w or 0.2?
w
Suppose -9*t + 30 = -3*t. Let y = -1 - -4. Suppose -o + t = -a, 2*o = 7*o + y*a - 41. Do o and 0.1 have different values?
True
Let c(n) = -n**3 + 12*n**2 - 39*n + 16. Let p be c(7). Which is greater: -17 or p?
p
Let y(v) = -v**3 - 9*v**2 + 9*v - 9. Let s be y(-10). Let h = -151 + 613/4. Is h >= s?
True
Suppose 2*k = 6*k - 8. Let g be (0 + 1)*k/17. Suppose 0 = -15*c + 8 - 11 + 18. Is g != c?
True
Let o = 179 - 220. Which is greater: -1/8 or o?
-1/8
Let n = -174 - -174. Suppose n = 142*c - 146*c + 60. Let q be 1 - (0 + (-16)/1). Which is greater: q or c?
q
Let y(g) = g - 126. Let n be y(6). Which is smaller: -121 or n?
-121
Let j(f) = 6*f + 2. Let c be j(-3). Suppose -3*v - 282 = -0*v. Let t = -109 - v. Are c and t nonequal?
True
Let p(s) = s**2 + 113*s + 111. Let r be p(-1). Is -1/2623 smaller than r?
False
Let u = -53 - -30. Let x be 58/(-10) - 2/(-70)*-7. Let b be (-600)/125*(1 + x)*-1. Which is greater: u or b?
u
Let l = 3 - 3.03. Let t = 111.05 - 108. Let m = t - 0.05. Are m and l nonequal?
True
Suppose 3*t + 2*t = 20. Suppose -72 = t*i - 84. Which is smaller: i or 1?
1
Suppose 100 = -18*o + 38*o. Which is smaller: -1 or o?
-1
Let u = -1.2 - -1.7. Which is smaller: 2/3 or u?
u
Let k = -246 - -234. Let q be (-102)/9 - 1/(-3). Is k >= q?
False
Let x be 8/(40/(-15)) + (-2177)/(-725). Are x and -1 unequal?
True
Suppose 8*p + 20 = 3*p. Suppose 39 = -3*n - 6. Let b = n - -10. Is b bigger than p?
False
Let y = -333 + 211. Is y < -121?
True
Let w(r) = -2*r**3 + 5*r + 4. Let z be w(-1). Which is smaller: z or 1/144?
1/144
Let w be (2 + (-94)/6)/((-75)/(-50)). Is w less than -10?
False
Let s = 6.75 - 8.75. Is 9.3 > s?
True
Let z = 83 + -81. Suppose -k + 126 = -4*k + z*l, 4*l = 4*k + 164. Are k and -44 non-equal?
False
Let v = 2.8 - 2.71. Let t = -0.89 + v. Is t greater than 1/5?
False
Let t = -651 + 652. Which is greater: -2/557 or t?
t
Suppose 2*t = 3*t + 7. Let d = -1029/4 - -249. Which is smaller: d or t?
d
Let u = 9/43 + 13957/86. Which is greater: u or 164?
164
Let o = 338 - 339. Which is greater: 6/299 or o?
6/299
Let x = 120 + -119. Which is smaller: x or 2/133?
2/133
Let c be 10/(-6) - 38/(-57). Is c greater than -1?
False
Let u = -0.5 - -2.5. Let b = u - 2.1. Suppose -12 = 2*m + 4*t - 26, 3*t = 6. Which is greater: m or b?
m
Let t = 141 - 269. Is -128 at least as big as t?
True
Let v = -104 + 149. Let l = 44.1 - v. Let g = 0.1 - -0.9. Is g bigger than l?
True
Let u = -50 + 101. Let i be 51 - 0*(-2)/14. Is u at least as big as i?
True
Let z be (3 - 0)/((-2)/(-2)). Suppose -3 = -8*g + 3*g - 2*a, z*g - 3*a = -15. Which is smaller: -10/11 or g?
g
Let p = -31 - -56. Let u(z) = -z**2 - p*z + 20*z - 2 + 4. Let q be u(-5). Which is greater: 1 or q?
q
Let z = 114 + -114.98. Let m = 0.02 - z. Is 0.44 smaller than m?
True
Let m be 8/2 + (1 - 1). Suppose t + 266 = m*t + 5*s, 0 = t + 3*s - 86. Let w be 3 - (568/t)/2. Which is smaller: w or -1?
-1
Let m = -149.489 + 0.769. Let v = 146 + m. Let f = v + 2.8. Which is bigger: -1 or f?
f
Suppose 0 = 3*y + l + 11 - 66, 47 = 3*y + 5*l. Let q = 80 + -76. Suppose 3*g - 32 = -5*k, -4*g + 9*g - 115 = q*k. Is g at least y?
True
Suppose 5*b + y = 4, -14 + 18 = -4*y. Is b bigger than 1/1836?
True
Let n = -0.053 + -0.347. Which is greater: 0.01 or n?
0.01
Let q be ((-62)/4)/((-6)/12). Let a = q - 158/5. Is -2 > a?
False
Let t = 96 + -606. Let b = 884 + t. Let r = b + -10845/29. Are -1 and r equal?
False
Let t = 20 - 19.82. Let b = 1.3 + -1.12. Let u = b - t. Is u greater than or equal to -2?
True
Suppose 5*o + 18*o + 989 = 0. Do -41 and o have the same value?
False
Let q = -236 - -221. Which is greater: q or -0.04?
-0.04
Let p = 0.069 - 0.032. Let i = -0.237 + p. Let d = -1 + 1.1. Which is greater: d or i?
d
Let y = 200 - 328. Let i = y + 129. Is i less than or equal to -1/7?
False
Suppose 0 = -11*k + 5*k - 42. Is -2 equal to k?
False
Let f = -3/8 - 1/8. Let k = -77.19 + 1.19. Let m = 75 + k. Which is smaller: f or m?
m
Let j = 1.8 + -1.844. Which is smaller: j or -1?
-1
Let c = -0.3 - -0.1. Let g = 2067/10 - 207. Is c greater than g?
True
Let u = -2010 - -2009.98. Suppose -5*o + 2*o - 3 = 0. Which is smaller: u or o?
o
Suppose -x - 42 = -4*x. Suppose x = -5*w - 0*s - 3*s, 2*w - 4*s - 10 = 0. Which is smaller: 2/5 or w?
w
Suppose -6*u + 1 = w - 5*u, 3*w + 2*u - 2 = 0. Are -2/373 and w equal?
False
Let k = 14 + -10. Let z = k + -4.04. Let m = 1.69 + -1.69. Which is smaller: m or z?
z
Let o be (3 - 1)*-1*(-9)/(-6). Let f be 8/27*(-5)/((-10)/o). Let z(l) = l**2 - 4*l. Let c be z(4). Is f at most c?
True
Let f = -1.5 - -2. Let o = -0.833 - -0.033. Let m = f + o. Which is greater: 2 or m?
2
Let u = 5071/21 - 242. Let s = u - -185/273. Which is greater: -0.2 or s?
s
Let f be -9 + (10 - (-9 - -9)). Is -157 greater than f?
False
Let a = 142 + -3268/23. Are a and 30 non-equal?
True
Let s(n) = n**3 - 8*n**2 - 7*n - 15. Let t be s(12). Let l = 19653793/41610 + -1/13870. Let k = t - l. Is 6 <= k?
False
Suppose -5*t = -3*f - 85 - 60, -5*f - 25 = 0. Suppose -23*x = -27*x + 200. Let h = 77 - x. Is t <= h?
True
Let b(k) = -3*k + 6. Let c(q) = q - 3. Let u(w) = 3*b(w) + 5*c(w). Let z be u(1). Which is smaller: z or -2?
-2
Let h = -5 + -35. Let o be (12/8)/(6/h). Let m(f) = -f**3