t h be (-12)/16 + 2 + 51/w. Which is smaller: h or 15?
h
Let i = -0.2 + -34.76. Let r = i + 35. Let l = 2 + -2. Which is greater: r or l?
r
Let x = 53.3 - 29.3. Is 1.5 <= x?
True
Let k = -9 + 11. Suppose k*l = -9 + 1. Let f be (-24)/(-378) - l/18. Which is smaller: 1 or f?
f
Let k = 60 + -153. Let n = 1396/15 + k. Let w be (-1 + 3 - 3)*0. Is w smaller than n?
True
Suppose 0 = -2*b - 2*q - 16, 3*b + 0*b - 3*q - 6 = 0. Let v be -2 + b/(-30)*-359. Let t = v - -38. Which is smaller: 0 or t?
0
Let r = -173 - -167. Which is greater: -5 or r?
-5
Suppose 0 = 3*b + 2*b - 5, 181 = 2*z + 5*b. Let f = z + -87. Which is smaller: 1/4 or f?
1/4
Let j = 64813/5 + -13003. Let y be (-1)/(-2) - 162/(-4). Let r = y + j. Which is smaller: -1 or r?
-1
Let i = 1.8 + -2.9. Let a = 1.27 + i. Which is smaller: a or 0?
0
Let w(r) = -r**2 - 11*r - 27. Let t be w(-7). Let s(x) = -30*x + 2. Let u be s(t). Suppose -2*o - 2*p - 78 = 2*p, -p = 5*o + 150. Which is greater: o or u?
u
Let a be (-1131)/(-986) - 2/8*2. Is a at least 1?
False
Suppose 0 = 18*g - 24*g + 18. Suppose p = -3*h + 21 + 17, 2*h - 3*p = 40. Suppose g*u - u + h = 0. Which is smaller: -0.1 or u?
u
Let j = -2/293 - 548/5567. Is -1 < j?
True
Let s(j) = j**3 - 3*j**2 + 4*j - 2. Let u be s(5). Let v be (6/(-4))/((-51)/u). Is 2 less than v?
False
Let v(r) be the first derivative of r**3/3 - 2*r**2 - 1. Let u be v(5). Does u = 7?
False
Let f = 53183/11 + -4835. Suppose -h = -6*h - a, 3*a + 16 = h. Which is smaller: f or h?
f
Let s(r) = r**2 - 10*r + 19. Let t be s(6). Let y be (-9)/2*(t + -3)/(-4). Are -9 and y equal?
True
Let x = -11334/53 - -214. Let w = 443/477 - x. Are 2 and w non-equal?
True
Let l be 1688/40 + 28/35. Is l < 392/9?
True
Let x be (-12 - 10) + 16 + 19/3. Let r = 25 + -11. Is x less than or equal to r?
True
Let d be 2/6 - 1/(-3). Let w = -51 - -51. Suppose 8*z - z = w. Is d at most as big as z?
False
Let s = -0.39 - -0.33. Let f = -5.06 - s. Is f not equal to -2?
True
Suppose 5*o - 25 = 4*x, -x - 8 = 2*o - 5. Which is bigger: o or 1/248?
o
Let x be -19*(-3 + -6 + 10). Is -20 <= x?
True
Let p = -0.577 + 3.287. Is p less than or equal to -1?
False
Suppose -29*x + 112 = -1715. Which is smaller: 61 or x?
61
Let i = 3 + -2. Let c(a) = -a**3 + 8*a**2 + 26*a - 170. Let n be c(9). Is i at most n?
False
Let k = -11 + 10. Let p be (15/450)/(k/(-3)). Is 0 >= p?
False
Let h = -3.75 - -35.75. Is h less than -5?
False
Let u = -1022/5 - -204. Which is smaller: -1 or u?
-1
Let t = -0.2 + -0.2. Let l be 2 + 497/49 - 12. Is t < l?
True
Let k = 5 - 12. Let u = -3060 + 3057. Does k = u?
False
Let u = -0.54 + -39.46. Let g = 7 + u. Let i = g - -33.03. Which is smaller: 0.3 or i?
i
Let j = 8.91 - -0.09. Let b = 16 - j. Which is bigger: b or -1?
b
Let k = -7 - -6.9. Is -95 < k?
True
Suppose 24 = 4*u + 4. Suppose 2*s - 6 = -s + 5*p, -4*s + 8 = -u*p. Suppose -4*d - s*c = 2, 3*d + c + 4*c + 19 = 0. Is d != 1?
True
Let i be 145748/(-60) - (-22)/165. Which is greater: -2428 or i?
-2428
Let l be 8/5 - 28/(-70). Suppose -2*m - 3*m - 37 = l*s, 2*m + 40 = -2*s. Which is bigger: -19 or s?
-19
Let a = 722/5 + -145. Let n = -0.0335 + -4.9665. Which is greater: n or a?
a
Let s be ((-4)/12)/((-2)/(-6)). Let t be 0 + 5 + 1 + -3. Let i be (8/(-6))/(2/t). Which is smaller: s or i?
i
Let u = -117 + 83. Let l = -34.2 - u. Let m = l - -0.3. Which is smaller: -2/59 or m?
-2/59
Let k = -83 + 38. Is -49 at most as big as k?
True
Let z(s) = 2*s**3 + 42*s**2 + 35*s - 5. Let g be z(-20). Let p be g/(-20) + 2 + 3. Suppose -2*i = 2*i. Is p less than or equal to i?
False
Let d = 9 - 5. Suppose 1 - d = -3*a. Let m be 2/(-11) + 2/11. Is a equal to m?
False
Let r = -1472/29 - -136432/2697. Is r at most -1?
False
Let l(q) = 2*q**2 - 4*q - 6. Let v(s) = -s**2 + s - 1. Let w(f) = -l(f) - v(f). Let t be w(4). Let p be (-6)/t - -2 - -1. Is p at least 1?
True
Let j(i) = -18*i + 62. Let t be j(-10). Are t and 242 unequal?
False
Let u = -435 - -472.07. Let b = u + -37. Are 1 and b nonequal?
True
Suppose 0 = -4*j + 7772 - 22204. Let m be (-568)/j + (-3)/(-33)*-2. Is m < 0?
True
Let f(d) = 176*d**3 - 2*d + 1. Let a be f(1). Let y be (-5)/(a/112) + 3 + 0. Let i be 1/2 + 2/(-4). Do y and i have the same value?
False
Suppose -4*y + 48 = 4*q - 0*y, 0 = q + 4*y - 24. Suppose 32 = -4*l + 4*o - q*o, -5*l - 2*o = 34. Let k = 8 + -13. Is k less than l?
False
Let z(k) = -2*k**3 + 58*k**2 + 2*k + 47. Let b be z(29). Is 1170/11 != b?
True
Let v(s) = -s**3 + 5*s**2 + 2*s - 7. Let q be v(5). Let z be (q + -1)/(-5 + 7). Do 1 and z have different values?
False
Suppose -3*t - 9 = y, -y + 5*t - 3 = -2. Suppose -z - 3*n - 8 = 0, 5*z + 2*n - 15 = -2*n. Let f = z + y. Which is smaller: f or 1/7?
1/7
Let y be 15/9 - (-28)/21. Let q be (748/280 - 4) + y/2. Which is greater: 0 or q?
q
Let f = -0.36 - -0.34. Let r = f - -1.42. Is r smaller than -0.1?
False
Let h = -67 + 74. Suppose -3*n + 20 = -h*n. Which is smaller: -2 or n?
n
Suppose -2*n + 2*l = -38 + 32, 3*n + 2*l = -1. Which is smaller: n or -2/35?
-2/35
Let z = -440 + 440.2. Which is smaller: z or -0.34?
-0.34
Let g = 1062 + -1062.01. Let q = 4.59 + -4.8. Let a = q - g. Is 1 < a?
False
Let c = 7 + -5. Suppose -5*b = -3*w - 21, -w + c*b = 2 + 6. Let i be 1/(-3)*0/14. Which is smaller: i or w?
w
Let s = 39 - 116/3. Are s and -1 equal?
False
Let y = -26.3 + 27.3. Is y less than 0.24?
False
Let q(l) be the second derivative of 1/6*l**3 + 0 + l + 3/2*l**2. Let x be q(-3). Which is smaller: -5 or x?
-5
Let l(f) = -f**3 - 6*f**2 + 2*f - 3. Let w be l(-6). Let k = 7 + -6. Is w <= k?
True
Let l(k) = -3*k**3 + 27*k**2 - 3*k. Let m be l(7). Is m less than or equal to 273?
True
Let a be (-9)/(-36)*(-2)/(-17). Let s = a - -167/102. Is -1 != s?
True
Suppose 3*f - 73 - 41 = 0. Let k = f + 26. Let m be 4/(-14) + k/28. Which is greater: m or -6/13?
m
Let n = -1578 + 1576. Let j(x) = 5*x**2 - 6*x - 6. Let t(f) = 2*f**2 - 2*f - 2. Let i(u) = 4*j(u) - 11*t(u). Let b be i(n). Is b bigger than -6?
False
Let u = 34589/7 - 5017. Let p = -76 - u. Suppose -y + 5*y = -4*y. Are y and p nonequal?
True
Suppose -26*z + 25*z - 146 = -2*i, -3*i + 219 = 2*z. Suppose -4*f - 292 = -4*k, 5*k + f - 2*f = 369. Do i and k have the same value?
False
Let w = -616 - -30799/50. Is 1 less than w?
False
Let r(d) = -d**2 - 21*d - 53. Let y be r(-18). Is y smaller than -1/1346?
False
Let h(y) = -y**3 + 14*y**2 + y - 11. Let a be h(14). Suppose -a*p - 17 = 2*k, -k - 4*p - 21 = -0*k. Which is smaller: -1/61 or k?
k
Suppose x + 272 = 4*k - 4*x, -5*k = 4*x - 340. Let b be (-1)/(-3)*(-51)/k. Which is greater: 48 or b?
48
Let c = 370 - 617. Which is bigger: 0 or c?
0
Let c = -662 + 598. Is c < -438/7?
True
Let h be ((-107)/(-21))/1 - (30 + -25). Is 9/5 < h?
False
Suppose -2*x + x = -3. Suppose -5*t - x*s = -40, 3*t - 2*s - s = 0. Let g be 0 + 1 + -4 - -8. Is g >= t?
True
Let l be 40/(-24)*6/(-55). Suppose 4*p - 2*x - 12 = -44, -p - 13 = 2*x. Is l not equal to p?
True
Suppose -2*f - 11 = -n, -2 = -4*f - 18. Let o be n - (1 + 0) - -12. Suppose w + w - o = 0. Which is smaller: -2/9 or w?
-2/9
Let t(m) = -m**3 + 4*m**2 + 5*m + 1. Let o be t(5). Let d = -57/13 - -63/13. Are d and o non-equal?
True
Let i = 32 - 57. Let m be (-51)/2 + 4/(-8). Let t = m - i. Is t less than 1?
True
Let h = 448.5 + -467.51. Let m = -19 - h. Let t = m + 0.09. Which is greater: 1/3 or t?
1/3
Let a = 5.29 + -5.39. Which is smaller: a or -534?
-534
Let z = 124 - 236. Let v be 78/z + 9/72. Which is smaller: 1 or v?
v
Let g be 45/(-495) + (-8484)/(-33). Which is greater: g or 1031/4?
1031/4
Let d = -37 - -128. Which is smaller: d or -2?
-2
Suppose 0 = -10*h + 77 - 77. Which is smaller: h or 6?
h
Let r = -0.359 + -16.541. Let h = -17 - r. Is h less than 0.02?
True
Let b be ((-2)/(18/621))/(-5). Let v(f) = -f**3 - 9*f**2 - 9*f + 7. Let k be v(-8). Which is smaller: k or b?
b
Suppose 3*b + 3*m = -6, 0 = -0*m - m. Let z = 12.6 + -0.6. Is z <= b?
False
Let o = -26 - -11. Let y = o + 17. Suppose -y*u + u = 2. Are -2 and u equal?
True
Let m = 59 - 51. Suppose 0 = -2*w - 0*w - 5*c + m, -3*w + 12 = 3*c. Which is bigger: 33/7 or w?
33/7
Let c = 39 + -99. Let i = 63 + c. Are 0.3 and i equal?
False
Let p = -37.53 + 38. Let y = p + 3.53. Let l be 3/(-12) + 2 + -2. Is l less than y?
True
Let l = 24.43 - -0.57. Let q = 26 - 