t be f(-7). Let s = t - -62. Is 0 less than or equal to s?
False
Let c = -3834 + 3818. Is c equal to -1?
False
Let t be (-2 + 10)*(-1)/2. Let w = -158 - -161. Suppose 0 = 5*v - w*x + 2*x + 21, 8 = -2*x. Is t not equal to v?
True
Let w = 2948 + -3648. Is -2/3 at least as big as w?
True
Let d = -993059/4 + 249944. Suppose -5*v + 3*v = -3380. Let k = v - d. Is 11 greater than k?
True
Suppose -5722*s + 98 = -5727*s - w, 5*w = -4*s - 49. Suppose 5*z - 5*i + 15 = 0, 1 + 2 = -z - 3*i. Which is greater: z or s?
z
Suppose 3*b + 3*j - 15 = 0, -15*b - j + 8 = -13*b. Which is greater: b or -0.0377?
b
Let a be (-25 + (-265504)/(-10624))/((-18)/(-52)). Is a at most -1?
False
Suppose 4 - 12 = -4*f - 5*c, 16 = -4*f + c. Let h be (f/102)/(143/44). Which is bigger: h or 0?
0
Let q = -0.69377 + -0.00623. Let s = 0.6 + -5.6. Let v = 4 + s. Which is greater: v or q?
q
Let g be (-49)/7*20/(-7). Suppose 6*a = 4 + g. Suppose 0 = q + q - a*d - 30, 5*d = -5*q + 30. Which is smaller: 12 or q?
q
Let c = -85.57 + 85.4668. Is c at most 0.2?
True
Let x = 113.05 - 114. Let u = 0.85 + x. Suppose 3*q - 3*d - 281 = -4*d, -10 = -5*d. Which is smaller: u or q?
u
Let d(b) = 288*b - 1423. Let m be d(5). Which is smaller: m or 12?
12
Let m = -87 - -122. Suppose 0 = -m*s + 37*s. Let k be (0/(-2))/(-2 + 4). Do k and s have the same value?
True
Suppose j - 2 = -2*n, 105*j = 102*j - 4*n + 16. Is j at most as big as 3?
False
Let f(i) = 1. Let r(d) = d + 9. Let n(c) = -3*f(c) - r(c). Let a be n(-17). Suppose a*h + 12 + 23 = 0. Is h smaller than -7?
False
Let v(d) = -d**3 + 3*d**2 + d - 10. Let r be v(5). Suppose -2*p = 25 + 35. Let u be (8/r)/(p/(-225)). Which is smaller: 0 or u?
u
Let m = -1659 + 210733/127. Let a = -4803/3556 + m. Let v = a - 1397/84. Is -17 > v?
True
Let n = 2872 + -2872. Let a be 12/(-18)*(-6)/16. Do a and n have the same value?
False
Let a be ((-33)/66)/((-1)/(-2)). Which is smaller: a or 17/36?
a
Let d = 21305 - 21346. Which is greater: d or -175?
d
Let b = -26305 - -26302. Is b not equal to -195/59?
True
Let a = 2.34 + -2.42. Do a and 183 have different values?
True
Suppose 6*c + 1126 = 1024. Is 0.08 less than or equal to c?
False
Let v be ((-306)/(-45) - 6)*405. Which is greater: v or 968/3?
v
Suppose 12*h - d = -420, -188 = 5*h + 4*d + 40. Suppose -5*a - 198 + 1148 = 0. Suppose 5*i + a = -5*w, 0*w = -w - 2*i - 41. Which is smaller: h or w?
h
Let g = -2 + 2.3. Let k = -0.106854 + 0.048854. Which is greater: g or k?
g
Let d(s) = 2*s**2 - 35*s + 49. Let k be d(16). Suppose -3*h = 4*r - 10 - k, 5*r = -2*h + 5. Suppose 2*n - 3*n = -7. Is h < n?
True
Let a be -2*(-9)/6 + (-4 - -1). Suppose 4*l - 40 = -2*n, 2*n = -a*n - 2*l + 36. Let c be (1/(-3))/(24/n). Which is greater: 1 or c?
1
Let f(v) = -7*v**2 - 303*v - 87. Let g be f(-43). Is 2/1483 <= g?
False
Suppose 0 = -5*r + 4*u + 5, 0 = r + 2*r - 2*u - 5. Suppose 0 = r*g - 25 + 5. Suppose -b + 0*y - 19 = -g*y, b - 5*y = -24. Which is greater: b or 1/72?
b
Let u = -9024 + 9023. Does 2/10583 = u?
False
Let j = 4.9 - -1.1. Let b = -2564 - -2552. Is b not equal to j?
True
Let g = 287804/136341 - -3/15149. Let m be (6/(-28))/((-3)/4). Is g not equal to m?
True
Let o(x) = 40*x - 1971. Let f be o(56). Which is greater: 256 or f?
f
Let j = 3543 + -3550. Which is bigger: -1/45 or j?
-1/45
Let m = 3778/3 + -2565253/2037. Is -2/3 less than m?
True
Let y = -50 + 53. Suppose 2*r - 4*s + 257 = 23, y*r = s - 346. Is r at least -115?
True
Let r be 20/(-350) - 8884*11/(-120120). Is r at least 2?
False
Let y be ((-670)/(-25))/((-19)/1520). Which is bigger: -2147 or y?
y
Suppose -4*u - 8 = -2*k, 4*k + u = -0*k + 7. Suppose -4*a + 9 = -k*r + 5, r = -2*a - 2. Do a and 18/17 have different values?
True
Let t = 9777 + -9777. Which is greater: 51/37 or t?
51/37
Suppose 479*i = 501*i + 22. Let a = 11998/13 + -924. Let v = 128/143 + a. Are i and v unequal?
True
Let g = -86 - -166. Let k = g + -117. Let a = 34 + k. Which is greater: -0.8 or a?
-0.8
Let z = 4 + -2. Let f = z - 4. Let v(g) = 8*g**2 - 1762*g - 3108. Let a be v(222). Which is greater: a or f?
a
Let b = -45 + 50. Let o be b - (2/4 - 18/(-12)). Let m(a) = -a**3 + 3*a**2 - a + 3. Let d be m(o). Which is greater: d or 4/27?
4/27
Let b(o) = -6*o + 196. Suppose -215*k + 208*k = -238. Let c be b(k). Which is greater: -9 or c?
c
Suppose 3*i - 25*r + 28*r + 321 = 0, -r = -7. Which is greater: -1268/11 or i?
i
Let p = -39.17 + 42. Let k = 2.75 - p. Which is bigger: 8 or k?
8
Suppose -215*w + 212*w + 6 = 0. Let y(v) = -5*v**3 + 4*v. Let u be y(w). Is -33 at least as big as u?
False
Let a = 146957/278 - -122/139. Which is greater: a or 530?
530
Let y(d) = -d**3 + 14*d**2 - 35*d + 22. Let x be y(11). Is 1/12560 < x?
False
Suppose 8 = -3*s + 53. Let h be 4/(-5) - (-12)/s. Suppose c + 8 = -c - g, -3*c - 3*g - 15 = h. Which is smaller: -2 or c?
c
Let n be (-33)/11*16/18*-3. Is 3/17 less than n?
True
Suppose -14*w + 11*w - 3029 = 10*w. Suppose -4*l = l - 4*f + 1145, 3*f = -4*l - 947. Is l less than or equal to w?
True
Let i = -815 + 1240. Let q = i - 419. Which is greater: q or 5?
q
Let f be ((-4)/(-10))/((-6)/705). Suppose -3*q = -0*p - 2*p + 2, 2*p + 6 = -q. Let m be 94/(p/(2/2)). Is m equal to f?
True
Let g = -2 + 4. Let i(r) = 177*r - 4*r**2 + 2*r**3 - 353*r + 180*r - g. Let p be i(2). Do 7 and p have the same value?
False
Suppose -14*d = -19*d + 10. Let a be 156/21 + (-6)/14. Let f = 23/3 - a. Is f not equal to d?
True
Let y be (15/(-4330))/(((-8)/(-128))/((-13)/(-12))). Which is smaller: y or -1?
-1
Suppose 74 = 5*r + 3*v, 0 = -r + 3*r - 2*v - 36. Suppose r = -12*b + 14*b. Let q be -2 + b/20*5 - -1. Is q greater than 1/21?
True
Let w be 3/21 - (-3)/((-63)/1536). Let j = 11 + w. Let a = j - -62. Is a >= -3?
True
Suppose -31 + 7 = 2*f. Let i be (-82)/4*f/(-30). Suppose 42*q - 70 = 52*q. Is q equal to i?
False
Let l = -9149/26 + 352. Let g(f) = f**3 - 20*f**2 - 22*f - 19. Let t be g(21). Let z be (-8 - 304/t) + 4/10. Is l greater than z?
True
Let a = -10266 + 133336/13. Let c = 737/91 + a. Let z(v) = -v**3 - 4*v**2 + 4*v - 6. Let k be z(-5). Which is greater: c or k?
k
Let v be 7 + 77/(-21) - 3. Let u(n) = -6*n. Let h be u(15). Let y be 1 - 2 - (h/(-22) - 4). Which is greater: y or v?
v
Let s = -2579363/13 - -198213. Let h = 200 + s. Suppose 0 = -3*c - a, -5*c + 5*a - 4*a - 8 = 0. Which is smaller: c or h?
c
Let g = 12.02 - 9.082. Let i = 1658 + -1658.062. Let d = i - g. Which is smaller: -0.05 or d?
d
Let i = 4.066 + -7.066. Is 0.1712 at least i?
True
Let v(a) = a**3 + 6*a**2 + 4*a + 2. Let b be v(-4). Suppose 721 = 11*z + 1195 - 694. Is z at least b?
True
Suppose -12*d - 43 = 2*m - 11*d, d - 125 = 4*m. Let x be (-532)/18 - (-4)/6. Do m and x have the same value?
False
Let s(h) be the third derivative of h**4/24 + h**3/6 - 4*h**2. Let i be s(-5). Suppose -5*m + 3*z = 22, 0 = -4*m - z + 3*z - 18. Which is smaller: m or i?
m
Let t be (156/9)/(-23 - (-1260)/54). Is t smaller than 54?
True
Let g(l) = 5*l**2 + 2*l + 38. Let u be g(-7). Suppose -2*t + 4*x - 136 = 0, 0 = -5*t - 2*x - u - 47. Is -66 smaller than t?
True
Let l = -140.5 - 17.5. Let c = 5399 - 16195/3. Does l = c?
False
Let a = 18 - 18. Suppose 0 = 5*i - a + 5. Let z(r) = -14*r + 9. Let x be z(i). Is 23 equal to x?
True
Let x = 33 - 40. Let i be (-1)/x - (-1558)/(-532). Is i < -4?
False
Let h = 300 + -301. Suppose -3*q + 4 = -q. Suppose 4*r = -0*r - u - 32, -q*u - 22 = 2*r. Are h and r unequal?
True
Let a be ((-33)/(-6) + -2)*12. Let s = 19712 - 19672. Which is greater: a or s?
a
Let m = 7 + -7.2. Let x = 13385/56 - 239. Which is greater: m or x?
x
Let l(r) = r**3 + 12*r**2 + 238*r - 4. Let h be l(-21). Do h and -8971 have the same value?
True
Suppose -35706 = 72*t - 606954. Is t greater than 7935?
False
Let t = -1.06 - 100.94. Let h = t - -57. Let b = 22 + h. Is 1/4 at least as big as b?
True
Let o = -344107/364879722 + 16/30351. Is 1 less than or equal to o?
False
Let v = -171 - -295. Let m = v - 128. Which is smaller: m or -40/13?
m
Suppose 2*q = q - 4*s + 339, -4*q - 4*s + 1380 = 0. Let x = q - 338. Is 9 != x?
False
Suppose 0 = 9*h - 7*h - 3*h + 67. Let p(j) = -14*j - 2. Let x be p(-5). Which is smaller: x or h?
h
Let r be ((-6)/(-4))/((-24)/(-32)). Suppose -r*o = 5*o - 21. Let i be 2 - (o - -1) - 6/4. Which is bigger: i or -4?
i
Let