
97
Let i = -711.94 + 713. Let z = -2.06 + i. Let o = 12.3 - 13. Is o less than z?
False
Let r = -77.29 - 2.21. Let x = r - -74. Let o = 0.5 + x. Which is greater: o or -1/4?
-1/4
Suppose 21*t + 274 - 143 = -79. Is t at most 11.3?
True
Let s = -129/32 + 2245/32. Which is smaller: s or 66?
66
Let u be -2*1/1 + 8. Suppose -45 = 26*n - 41*n. Suppose u*j - 3 = n*j. Is -2/47 at most as big as j?
True
Let m be 68/(-102) - ((3 - 6) + 314/6). Which is bigger: m or -48?
-48
Let t = 1406 + -1406. Is 102/173 != t?
True
Let j be (-258112)/(-2464) - (2 + (3 - (-159)/(-33))). Which is smaller: 104 or j?
104
Let b = -387481/554935370 + 9/12130. Which is greater: 1 or b?
1
Let b(q) = -3*q - 34. Let k be b(-17). Suppose 3*a = 2*v - 3, 5*a + 4 = 4*v - 1. Let j be 3 - 4 - a - -15*1. Is j equal to k?
False
Let k = 1410 + -816. Let m be ((-13)/260)/((3/k)/(-1)). Is 10 greater than m?
True
Let w(z) = -2*z - 43. Let p(v) = -v**2 + 11*v - 7. Let d be p(6). Suppose -3*a + d - 56 = 0. Let b be w(a). Is -21 less than b?
False
Let w = 0.112 + 45.888. Let f = w + -45.896. Let m = -0.004 + f. Is m greater than 1/8?
False
Let h(i) = i**2 - 100*i - 299. Let a be h(-3). Let b = 7753/3 + -84959/33. Are a and b non-equal?
True
Let v = -1/32838 + -42664768/114933. Let b = v - -370. Which is bigger: b or 0?
0
Suppose 0 = -99*k + 101*k - 3224. Suppose 0 = 22*d - k - 3602. Is 236 equal to d?
False
Let x(a) = 2*a**2 - 54*a + 38. Let p be x(26). Let g = -14 - p. Does 36/41 = g?
False
Let u = -6 - 25. Let g = u + 3. Let v = g - 9. Is v at least -38?
True
Let s = -7472 + 5278. Which is smaller: s or -6581/3?
s
Suppose -3*d = -5*j + 44, -8 = -5*j + d + 40. Let v(h) = -h**3 + 3*h**2 + 7*h + 28. Let a be v(-3). Let f = a + -55. Is j >= f?
True
Let t be (-1255)/(-35)*-1 - -8. Is -29 at least t?
False
Let w = -20662 - -16308. Is w greater than or equal to -4350?
False
Let o = -2121.2 + 2121. Let s = -0.006 - 0. Is s not equal to o?
True
Let s(j) = 2*j**3 - j**2 - 2*j + 2. Let k be s(1). Let c be 1/10 + ((-126)/220)/(-7). Which is smaller: k or c?
c
Suppose -32 = 5*i + 63. Let o be 3/((-18)/(-24))*18/(-72). Do o and i have the same value?
False
Let p = 0.00707 - -5.99293. Is p at least as big as 430?
False
Let c = 5 - 5. Let g = -1027636063/2041105 + -16/120065. Let w = 503 + g. Which is greater: w or c?
c
Suppose 30*p = -20*p + 2600. Let y = -68 + 114. Which is bigger: p or y?
p
Let u = -3556.6 + 3554. Which is bigger: u or 15/7?
15/7
Suppose 0 = 9*x - 716 - 2488. Let m = x + -360. Are m and -4 nonequal?
False
Let d = -249 + 190. Let s = -47 - d. Is 1/2 greater than or equal to s?
False
Let k = 34836/91 + -14474/13. Is -732 at most k?
True
Let w = 104 + -597. Let a = -561 - w. Are a and -1/4 non-equal?
True
Let r = 399.65 + -238.6. Let f = r + -161. Are 1/4 and f nonequal?
True
Let i = -3549.99 - -3550. Which is smaller: 153 or i?
i
Let t be -47 + 5 + -3 - 0. Let f be (t/40)/(204/80). Let g = -611/306 - f. Which is smaller: -1 or g?
g
Let q(c) be the third derivative of c**5/60 - 3*c**3 + 14*c**2. Let v be q(11). Let y = -103 + v. Which is smaller: 7/11 or y?
y
Let l(y) = 84*y - 500. Let z be l(6). Which is smaller: z or 14?
z
Let v = 76.9 + -76.76802. Which is greater: v or -1/2?
v
Let g(j) = j**3 - 9*j**2 - j + 6. Let w be g(9). Let x(a) = -a - 194. Let h be x(w). Which is greater: -190 or h?
-190
Let g be (18/(-8))/(3/(-2))*4. Suppose -9 - g = -5*b. Is b > -3?
True
Let o = 48 + -47.814. Let s = -0.086 + o. Are -3/355 and s nonequal?
True
Suppose -5*p = -8*p + 9, y = 5*p - 16. Which is bigger: -37/227 or y?
-37/227
Suppose 4*z - 92 = 444. Let s = 118 - z. Do -10 and s have the same value?
False
Let s(f) = f**2 + 1. Let u(k) = -k**3 - 14*k**2 - 8*k - 14. Let v(q) = -6*s(q) - u(q). Let m be v(-7). Let i be m*2/(-4)*-4. Is 3 at least i?
True
Let f = 50199/1462 + -125/86. Let j = f + -33. Is j greater than or equal to 1?
False
Let y = 281 + 61. Let u = y + -341.9. Is 2/295 less than u?
True
Suppose 5*h = 3*w + 376, 5*w - 3*w = -4*h + 292. Let v be h/108*2 + -1. Suppose 2*y + 10 = 3*j, 25*y = 26*y + 5. Is v not equal to j?
True
Suppose -5*r - 5 = 4*x - 62, -x - 3*r + 16 = 0. Suppose 0 = -o + 4 + x. Suppose 16*a - o*a = -72. Is 72 at most as big as a?
True
Let h(n) = -3*n - 17. Let y be h(-7). Suppose f + y*c = -105, -4*f - 5*c - 325 = -8*c. Are -85 and f nonequal?
False
Suppose -5*v = -9*u + 12*u - 4389, 0 = -3*v + 4*u + 2674. Is 881 bigger than v?
False
Let w be -15*((-4)/(-5))/((-2)/5). Suppose -13*g + 10*g = -w. Suppose 0 = m - 7 - g. Which is smaller: m or -0.4?
-0.4
Suppose -3*l - l = 20, -5*v - 4*l = -600. Let f = v + -3846/31. Which is greater: 0 or f?
0
Let m = -213 + 276. Suppose 5*s - n + m = 0, 4*s + 2*n = 6*n - 60. Suppose 0 = -4*t - i - 43, 4 = -i + 5*i. Which is smaller: s or t?
s
Let m(w) = w**2 - 2*w - 3. Let n be m(-5). Let l = 17 - -76. Let j = l - 280/3. Is j at least as big as n?
False
Let f be 18/(-1) + (-1147 - -27). Which is smaller: f or -1133?
f
Let o = -67041 - -67149. Suppose -4*i + 164 = -268. Is o less than or equal to i?
True
Let s = -11007/13 + 843. Which is bigger: -3 or s?
-3
Let p(c) = c**2 - 14*c + 2. Let a be p(19). Suppose -5*i + 22 = a. Let v(b) = 2*b - 10. Let h be v(-1). Is h equal to i?
False
Let i be 10*(2 + -3)*-6. Let t(j) = -j**3 + 4*j**2 - 26*j + 70. Let x be t(3). Which is smaller: x or i?
x
Let d(n) be the second derivative of -n**3/6 + 19*n**2/2 - 48*n. Let o be d(16). Is o equal to -10?
False
Let o(n) = -7*n - 28 - 2*n + 34. Let p be o(3). Is -9 smaller than p?
False
Let h be (2/6 - (16 - (-2032)/(-100))) + -5. Suppose -15*p - 2 = -17*p. Which is bigger: p or h?
p
Let d be 1/((-40)/78) - 40/(-200). Let y(j) = 2*j + 41. Let b(q) = q + 14. Let x(g) = -11*b(g) + 4*y(g). Let h be x(4). Is d less than h?
False
Let l = 13 - 5. Let v be (-1241)/(-12) + (-90)/(-108). Let r = 104 - v. Which is smaller: l or r?
r
Let o(r) = -10*r - 10. Let b(n) = -9*n - 10. Let m(f) = -4*b(f) + 5*o(f). Let l = -2435 + 2432. Let h be m(l). Is 30 greater than h?
False
Let n be (1/(15645/(-40)))/(20/(-150)). Is 1 less than n?
False
Let k = 278 - 267. Let g be (-42)/k + 0 + 4/1. Let r = 10 + -10.14. Is g bigger than r?
True
Let s = -97 - -141. Let u = s + -43.956. Let f = -0.056 - u. Is f less than -5?
False
Let p(d) = 71*d - 19. Let q be p(3). Let t = q - 195. Is t > 1/68?
False
Suppose -5193 = -5*q - 1858. Let f = 14011/21 - q. Which is bigger: -1 or f?
f
Let h be 10/35*7 - (-732)/66. Let q be (63/6)/(3/4). Is q <= h?
False
Let w(f) = 7*f**2 - 181*f + 136. Let n be w(25). Suppose 2*p - 20 = 5*v - 8, 5*p - v + 16 = 0. Which is smaller: p or n?
n
Let a be (-296)/(-5180) + 407468/35. Is 11642 equal to a?
True
Let b = 2529.04 + -2466. Let f = 10303 - 10240. Let l = f - b. Which is smaller: 0.2 or l?
l
Suppose 4*h - 21 - 17 = -3*q, -3*h = 2*q - 24. Let s = q - 17. Let g be (-1227)/411 + -5 + 8/s. Are g and -1 equal?
False
Suppose 5*z - 9 - 11 = 0. Let a = -1638.67 - -1639. Which is smaller: z or a?
a
Suppose -169*a + 76 = 245. Let o = 712 + -20641/29. Do a and o have the same value?
False
Suppose 0 = 3*c - 29 - 19. Let q = 56 - c. Let s = -198 - -236. Are s and q equal?
False
Suppose -2*q = 2*l + 920, 12*l + 1378 = -3*q + 8*l. Which is bigger: q or -458?
-458
Suppose 0 = 33*y + 6*y - 1248. Let k(m) = m**2 - 31*m - 23. Let a be k(y). Suppose 4*w = i + 6, -6*w + 20 = -w. Is i less than or equal to a?
False
Let l = -63 + 67. Suppose -o + q = -11, 2*o - l*q = -3*o + 59. Is o bigger than 9?
True
Let l(f) = f**3 + 8*f**2 + 10*f + 8. Let y be l(-7). Suppose -4*b = 12 - 0, -5*d = 2*b - 804. Let u be d/(-15) + 12/15. Is u < y?
False
Let r = -117 + 119. Suppose 5*l = -3*x, 4*l = 5*x - r*x. Which is smaller: 6/173 or l?
l
Suppose -5*y + 3*r - 37 = 0, 625*y = 629*y + r + 16. Which is greater: 7 or y?
7
Let w = -128 + 126. Let y be (-5)/((-525)/(-1248)) + -2. Let j = -100/7 - y. Which is bigger: w or j?
j
Let i be (-104)/(-13) + 5/(-2)*124/155. Which is greater: 269/49 or i?
i
Let c = 1.96257 + 0.03743. Are -2.4 and c equal?
False
Let j = -325 + 564. Let f = j + -221. Do f and 16 have different values?
True
Let h = 1400 - 1393.41. Is -2 less than h?
True
Let f(z) = -2*z**3 - 11*z**2 - 19*z + 30. Let y be f(-5). Which is greater: y or 105?
105
Let j = 152 - 119.9. Let y = -32 + j. Which