 + 120 = 0. Let h be 10/4*(-336)/x. Is h less than 28?
False
Suppose 0 = 4*y - 643 + 251. Let p = -8 - -106. Let a = p - y. Is -13/5 at least a?
False
Let f = -231.51 - -213.51. Let a = 0.04 + -0.84. Is f at most as big as a?
True
Suppose 4*c - 3*o - 1832 = 0, -4*c + o - 2*o = -1832. Suppose -c = g + 189. Let m = g - -14885/23. Which is greater: 0 or m?
m
Let f = 245.9 - 246. Suppose 9*z - 7*z = -3*x + 209, 5*x = 2*z + 375. Is f less than or equal to x?
True
Suppose 5*k - 3*q - 91 - 114 = 0, -4*k + 5*q + 151 = 0. Is k less than 89/2?
True
Let h = -2878 - -2119. Is -757 less than or equal to h?
False
Let j = -6271/2270320 + -1/2405. Let m = -112351/4720 - j. Is m greater than -0.2?
False
Let j be 39/(-45 + 6) - 1. Let b = -16 + 4. Which is bigger: j or b?
j
Let m = 2867 - 3018.9. Which is smaller: m or 0.6?
m
Let u = 252 + -255. Suppose 5*y - 2824 = -949. Let h = -1515/4 + y. Which is bigger: u or h?
u
Let q(s) = -33*s**3 - s**2 + 11*s - 9. Let n = -497 - -498. Let y be q(n). Which is bigger: y or -33?
y
Let m(d) = 4*d - 49. Let u(t) = t - 12. Let c(z) = 6*m(z) - 22*u(z). Let p be c(3). Is p <= -23?
True
Let a(m) be the third derivative of -m**4/12 + 37*m**3/6 + 119*m**2. Suppose -26 = -4*z + 46. Let d be a(z). Which is bigger: d or 1/99?
d
Let r be (-420)/15*(0 + (-5)/(-4)). Let y = -35 - r. Let o be (y + -4 + 3)*0 - 32. Is -33 at least o?
False
Suppose -3*w + 3*g = -0*w - 39, -33 = -w + 5*g. Suppose 0 = -4*b - 4*q + 280, 3*b = -b + q + 260. Suppose -w*u + b = -2*u. Is u > 8?
True
Let n(z) = -3*z - 17. Let b be ((-12)/30)/((-2)/(-10)) + -5. Let a be n(b). Suppose 0 = -i + 2*f - 43, i + 54 - 5 = a*f. Are -37 and i equal?
True
Let n be (-138)/370 - 8/(-20). Let o = -6/21355 - 2284097/3160540. Let z = o - n. Which is bigger: 0 or z?
0
Let h be 0*((-3)/12 - 4/16). Suppose -85*c + 81*c + 12 = h. Is c < -5?
False
Suppose 3*r - 6 + 3 = 0. Suppose 8*w - 792 = 38*w - 882. Which is bigger: r or w?
w
Let t = 0.3191 - -419.6809. Which is smaller: -5 or t?
-5
Let g = -1 + 0.23. Let s = -7.37 - g. Let l = -4.6 - s. Is 19 > l?
True
Let f(r) = r**3 + 4*r + 3. Let c be f(-3). Let n be c/(-8) - 15/(-10). Suppose -2*p + 40 = -n*p. Does p = -11?
False
Let g = 3849 - 3848. Is g smaller than 1/313?
False
Suppose 520*k - 500*k = 60065 - 7405. Is k at most as big as 2632?
False
Let c(j) = -2*j**2 + 2*j + 5. Let a be c(-5). Let s be -2*(7 - (-41 - -20)). Which is greater: s or a?
a
Let p(j) = -44*j - 2068. Let w be p(-47). Which is bigger: 37/20 or w?
37/20
Suppose 0 = -0*t + 9*t. Let q(y) = 185 + y - 91 - 84. Let m be q(t). Which is bigger: m or 7?
m
Suppose -167 - 30 = 19*f - 26. Is -297/29 at most f?
True
Let k be (-3901)/(-15745) + 4/20. Are 0 and k equal?
False
Let a be -1*(4 + -1) + 6. Suppose a*p - 19 = -1. Suppose 2*j = 4 + p. Which is smaller: 9/2 or j?
9/2
Let v(r) = -72*r + 1103. Let g be v(21). Does -409 = g?
True
Let r = -79284/7 - -11326. Which is bigger: r or -0.027?
-0.027
Let q be (-48)/(-8) + (-8)/2. Let g = -31 - q. Suppose 10*n + 142 = -178. Are g and n equal?
False
Let a(m) = -2*m**2 + 52*m + 59. Let y be a(27). Suppose 0 = -y*v - 7 + 12. Let q be (-2)/(-6)*6/88. Is q smaller than v?
True
Let r = 1107 - 20982/19. Is 3 greater than r?
True
Suppose -f = x - 63, -f + 2*x + 0*x = -69. Suppose -4*h + f = -5*s, 0*h + 2*s = -2*h + 10. Let v be ((-16)/(-100))/((-4)/h). Are -20 and v nonequal?
True
Suppose 3*d - 2*k - 189 = 0, -5*d + 12 = 2*k - 287. Let y be (-124)/682 + (d/33 - 1). Which is smaller: y or 1/11?
1/11
Suppose 16 + 23 = -13*c. Let y be c - ((-28)/(-8))/(-7)*-1. Let z be ((-102)/(-110) + -1)/((-4)/30). Is y < z?
True
Let a = 5/1962 - -478/4905. Which is bigger: 270 or a?
270
Let k = -6304 + 3277. Is -3027 > k?
False
Suppose -24 = -4*s + 36. Suppose j - 3*i = i - 39, 4*j + 5*i + 93 = 0. Let z(q) = -q**3 - 29*q**2 - 52*q + 65. Let h be z(j). Are h and s non-equal?
True
Let t = -1499 + 1497. Which is smaller: -0.2114 or t?
t
Suppose 82 + 433 = 5*d. Let b = d - 105. Is -2/3 <= b?
False
Let l = 294 + -429. Let d = l - -1213/9. Let k = 5 + -5. Which is bigger: d or k?
k
Suppose 13*n + 488 = 228. Let d be n/(-150)*(-2 + 1)*5. Which is smaller: 554 or d?
d
Let r be (-8008)/(-66)*(1 + 2). Is r at least 364?
True
Let v(k) = k**3 + 14*k**2 - 14*k + 20. Let s be v(-15). Suppose 0*w + s*b = -2*w + 13, 0 = 3*w - 5*b - 82. Do w and 26 have different values?
True
Let v be (-566)/4510*1632/16. Let f = v + 2/2255. Let n = f - -66/5. Do n and -2.1 have the same value?
False
Let j = -23.03793 + 0.03793. Is 34 smaller than j?
False
Suppose 10*t - 650 = -190. Let x be ((-1)/50)/((-23)/t). Let f = 0 - 1. Which is smaller: f or x?
f
Let t = -32756 - -38455543/1174. Which is smaller: 1 or t?
t
Let k be (-3)/4 + 2497/44. Let l = k + -64. Which is greater: 11 or l?
11
Let d = -792 - -684. Let t = -144 - d. Which is smaller: t or -7?
t
Let a(u) = -190*u + 371. Let z be a(9). Which is smaller: z or -1338?
z
Suppose -9*v - 4 = -7*v. Let z be (4/(-14))/((-9)/63) + v. Suppose -4*s + z*s = -3*y + 48, 25 = -3*s + 5*y. Which is smaller: -13 or s?
s
Let z = 1597 + -1625. Suppose 2*i - 2*s + 22 = -s, -2*i - 3*s - 30 = 0. Let k = z + i. Which is greater: k or -42?
k
Let b = 61.66 + -61.64. Let g = 1 + -0.8. Let r = -0.4 + g. Is r less than b?
True
Let u = -154.01 + 153.9. Which is bigger: u or -243?
u
Let f = 29404/10305 - 2207/2061. Let c = 4/229 + f. Let z(o) = -2*o - 52. Let a be z(-24). Is a < c?
True
Let l(s) = -s**3 + 16*s**2 + 17*s + 24. Let i(j) = -3*j**3 - j**2 + j - 1. Let v be i(-2). Let p be l(v). Let b be 6/4*76/p. Does 5 = b?
False
Let w = 5449 + -5448.94. Let r = -0.07 - -8.07. Let m = r + -8.7. Is m >= w?
False
Let n(g) = g**3 + 39*g**2 + 33*g - 66. Let f be n(-38). Let i be f/68 + 8 + -8. Which is smaller: 2 or i?
i
Let f(a) = a**3 + 39*a**2 - 125*a + 67. Let t be f(-42). Which is greater: -174 or t?
t
Let a be (-12711)/12265 + 4/110. Let b = -767491/4980 - -19823/83. Let g = 254/3 - b. Is g greater than a?
True
Suppose 5*x - 64 = 66. Let p(i) = i - 14. Let n be p(-4). Let a = x - n. Is a equal to 44?
True
Let s = 24220 - 24219. Which is bigger: -1134 or s?
s
Let g = -2542 + 6190. Which is smaller: g or 3647?
3647
Let i(j) = j**2 + 5*j + 28. Let x be i(-10). Let c = -151 + x. Which is smaller: -75 or c?
-75
Suppose -3*f - 954 = -963. Suppose f*g - 8*g - h = 125, 4*g = -2*h - 106. Let r be (-3)/(-3) + -2 + -21. Is g greater than r?
False
Let r(m) = -m**3 + m**2 + 1. Let u = 51 + -49. Suppose 0 = 2*w, 3*h - 5*w = u*h. Let k be r(h). Which is bigger: 3/16 or k?
k
Suppose 13*z = 14*z - 5*s - 4, 5*s + 8 = 2*z. Suppose -m = l + l - 2, z*l = m + 4. Which is greater: -3/38 or l?
l
Let h = -248741.2 - -248741. Let y = -30.963 + -0.037. Is y <= h?
True
Let c be 4*67630/(-45040) - -6. Is c at most as big as -1?
False
Let v = -33360 + 33358. Let q(z) = 2*z**2 + 2*z. Let f be q(8). Let j = -717/5 + f. Is v > j?
False
Let h = 28018 - 27874. Is 285/2 less than h?
True
Let v = -117 - -92. Suppose -b - 20 + 3 = 2*p, -2*b - 3*p - 37 = 0. Which is bigger: v or b?
b
Suppose 5*d = -2*i + 1071, -19*i + 18*i = 2*d - 534. Which is greater: i or 1053/2?
i
Let l be (-4)/1 - (-13699)/(-665). Is l at most as big as -24?
True
Suppose 20*f = 19*f - 2. Let d(x) = -x - 2. Let a be d(-5). Suppose -v = 4*h - 0 + 23, -h + 8 = a*v. Which is greater: h or f?
f
Let j = -4491 + 893. Is j > -3598?
False
Let s = -4.5 - 233.5. Let u = -237.7 - s. Which is greater: -11 or u?
u
Suppose -p = 5*z - 15, -6*z = -3*z - 3*p - 9. Suppose -3*n - g + 5*g = -60, 5*n + z*g = 71. Suppose -1875 = -780*o + 5663 + 4162. Which is greater: n or o?
n
Let w(v) = -v**3 - 9*v**2 + 10*v - 6. Let y be w(-10). Let r be 5/15 - (5428/y + 0). Let q = r - 2690/3. Do q and 1 have different values?
True
Let i be ((-680)/80)/(40/(-12)). Which is bigger: i or 2?
i
Suppose -3*s + 2167 = -4*y, 5*y + s + 0*s + 2685 = 0. Which is smaller: -540 or y?
-540
Let j = -0.197 - -53.397. Let l = j + -54. Is 10 != l?
True
Suppose 17*x = 11421 + 5613. Do x and 1002 have the same value?
True
Let g = 42 + -51. Let s(d) = -3*d - 8. Let t be s(g). Let h be (-25)/(-190) - 2/t. Which is smaller: h or 0?
0
Suppose -5*i - 5*l = -4010, -2*i = -7*i + 5*l + 4040. Suppose -27*m + 4*m - i = 0. Is m at least -36?
True
Let s = 219 + -409. Let i = s + 135. Let f 