. Which is bigger: f or -2?
-2
Let l = 1468 + -1476. Which is bigger: l or -16?
l
Suppose h - 11 = 1. Suppose -6 - 16 = -v. Let l = v + -11. Is l less than or equal to h?
True
Let o(u) = 1. Let f(l) = -2 - l - 1 + 4. Let g(d) = -3*f(d) + o(d). Let h be g(2). Is h >= 5?
False
Let u = -5381/7 - -769. Is 1.08 at least u?
True
Let o be 1*3*4/27. Let s = o + -7/9. Let q be 564/141 + (-5 - -1). Which is smaller: s or q?
s
Let x(f) be the second derivative of -f**3 + f**2/2 - 4*f. Let b be x(-1). Let c be -2 - 1/(b/(-12)). Is c greater than 0?
False
Let p = -17 - -10. Let k(h) = -36*h**3 - h + 1. Let n be k(1). Let r be (-33)/n - (-16)/(-24). Is r bigger than p?
True
Let b be 0/(6/(-4) - (-2)/(-4)). Let k be ((-6)/9)/(464/(-12)). Is k at most b?
False
Let v = 1.3 + -1.7. Suppose -24*m - 15 = -19*m. Which is smaller: v or m?
m
Let r = 6643 + -1687325/254. Is -1 less than or equal to r?
True
Let q be 33*(-4)/42 + -1 + 0. Let m = -27/7 - q. Is 17/4 bigger than m?
True
Let w = -26675 + 243134/9. Let p = 341 - w. Are p and 0 equal?
False
Suppose -2*h - 30 = 10. Let j be 1 - h/2 - 3. Let u(q) = q - 2. Let b be u(4). Which is bigger: j or b?
j
Let v be ((-10)/3)/(18/(-27)) + -2. Suppose -1 = -i, 0*h - 4*h = v*i + 5. Do -5/2 and h have the same value?
False
Let t = -0.484 - -0.54. Let v = -0.044 - t. Which is smaller: -2.3 or v?
-2.3
Let i be ((-8)/(-2028))/(6*4/360). Is 1 <= i?
False
Let q be ((-64)/(-44) - 1)*-3. Let w(u) = u + 5. Let d be w(-6). Which is greater: d or q?
d
Let z = -317/4020 + -3/670. Let l(o) = o**2 + 2*o. Let f be l(-2). Which is greater: z or f?
f
Let r = 406 + -348. Is r <= 45?
False
Suppose -2*p = 5 + 15. Let i be ((-8)/p)/((-3)/(-20)). Let w = -38/7 + i. Is -1 smaller than w?
True
Let u be 0 + (0 - -1) - 24/(-4). Let z be u/14*1 - (-2)/4. Which is bigger: z or 5?
5
Suppose -3*j - j = 3*y - 117, 0 = -4*j + 4*y + 96. Let t = -16 + j. Let n(i) = 4*i - 20. Let f be n(8). Is t at least as big as f?
False
Let a = 3.7 - -40.3. Let g = a + -44.01. Is g smaller than -0.2?
False
Let z(j) = -j**3 - j**2 + 12*j. Let c be z(-5). Suppose -4*f + 33 = -3*s - 7*f, -c = 4*s + 2*f. Let w be (-2 - -1)*12/2. Which is smaller: s or w?
s
Let x = 14 + -12.8. Let q = -0.2 + x. Let z = -40 - -39. Which is smaller: z or q?
z
Suppose -2*k = 5*v + 150, 5*v = -4*k + 111 - 271. Are v and -28 nonequal?
False
Let o = 31 + -30.942. Let c = 0.042 + o. Is c smaller than 11?
True
Let m = -93 - -94. Is 35 bigger than m?
True
Suppose -9 = 11*h - 42. Suppose h*k + 4*p + 33 = -16, 28 = -2*k + 2*p. Is k greater than or equal to -15?
True
Suppose 2*w - 15 = -5*t, -w - w + t = -9. Suppose -s + 5*d = 24, 0*d + 15 = w*s + 2*d. Which is smaller: -4.5 or s?
-4.5
Let j(m) = -m - 1. Let u(f) = -4*f + 22. Let r(x) = -3*j(x) + u(x). Let l be r(12). Let a be 2/4 - (l - 14). Which is smaller: a or 2?
a
Let f be 16 + 0 - (-13 - -9). Suppose c + 46 = 4*y, 0 = 3*c + 3*y + 43 + f. Is c greater than or equal to -26?
True
Suppose 0*q - 4*q + 12 = 0. Suppose -4*g - 4*m = 92, -q*m = -0*g + 5*g + 119. Let z be (g/(-10))/((-3)/(-6)). Which is smaller: z or 6?
z
Let c = 3/449 - 554/15715. Let g be (9 - (6 - 5)*9)/(-1 - 0). Which is bigger: g or c?
g
Let g be ((-72)/48)/(9/(-6)). Which is greater: -163 or g?
g
Let z = -576 + 576. Let x = -0.07 - 1.43. Is x < z?
True
Let k = -40.055 - -40. Let j = -35.945 + k. Let a = -35.83 - j. Which is greater: a or -1?
a
Let w = 266.9969 + 0.0031. Is w >= 0?
True
Let a be 1*4 - (1 - 2). Suppose a*d = -5*q - 5, 3*q - 8 = 5*d + 13. Let o be ((-14)/(-2 - d))/(-2). Is 7 > o?
False
Suppose 3*x - 7 = -4. Suppose v - 12 = x. Suppose -4*t + 4*i + 66 = t, 3*t - 40 = 2*i. Do v and t have the same value?
False
Let i = 1 + 67. Suppose 0 = j - i + 56. Suppose 3*p + 12 = g + 6*p, -2*g + 24 = -2*p. Is j < g?
False
Let t be (-59)/(-188) - 3/12. Let w(b) = -b**2 - 48*b - 568. Let v be w(-21). Are v and t equal?
False
Let x be (-6)/12 - (1 - 657/6). Suppose -8*b = -2*b - x. Which is greater: 37/2 or b?
37/2
Let x be (-120)/21 - 6/21. Let s be x/(-8) + (-10)/8. Which is smaller: 2.4 or s?
s
Let b(d) = 3 - 9*d**2 + 10*d**2 - 1 - 8*d + 1. Let r be b(6). Is -10 bigger than r?
False
Let b be ((-18)/3 + 6)/(-2). Which is bigger: 192 or b?
192
Suppose -5*i - 2*u + 238 + 120 = 0, 0 = 4*i + 5*u - 283. Is 72 greater than or equal to i?
True
Let c = -3/451 + -12171/902. Is -13 less than c?
False
Let v = 0.024 - -5.006. Let r = -1296 + 1301. Let u = v - r. Which is smaller: -3 or u?
-3
Suppose -5*w + 40 + 90 = 0. Suppose 3*z + 2*z = 5*n - 40, n - w = -5*z. Suppose -9 + n = -2*o. Is 2/7 > o?
True
Let z = 80 + -17. Which is greater: z or 62?
z
Suppose -4*v - 39 = u, -4*u + v = -v + 192. Let h = 4237 + -4284. Are u and h non-equal?
False
Let y(i) = -87*i - 9. Let c be y(-6). Let g be (1 - 453/c) + 2/(-9). Let b(q) = -q. Let s be b(0). Which is smaller: s or g?
g
Let l = 739 + -764. Do -31 and l have the same value?
False
Let h be (-5 - -10) + (-126)/26. Which is smaller: h or -0.03?
-0.03
Let q = 16471679 - 58457989172/3549. Let x = 3/169 + q. Which is smaller: -1 or x?
-1
Let t = -14 - -16. Let y = -24/43 - -493/344. Which is smaller: y or t?
y
Suppose 22*z + 55 = 77. Which is smaller: -1/1044 or z?
-1/1044
Let t(y) = -9*y**2 - 1. Let z be t(1). Let s(k) = -k + 7. Let h be s(-5). Let o = h + z. Which is smaller: o or 3?
o
Let a be (-81)/(-27) + (-176)/7. Which is greater: a or -23?
a
Suppose -5*r + 109 - 99 = 0. Suppose 0 = -n + 2*n - 1. Suppose r*k = -3*h - 3, 5*h + n = -2*k + 4*h. Do k and 2/3 have the same value?
False
Suppose 2*x - 12 = -2. Suppose -2*o + 5*o - 4*g = -8, 4*o = x*g - 10. Are o and 6 unequal?
True
Let u be (-2)/(26/(-2613)) - 4/2. Which is smaller: 201 or u?
u
Let w be (-4)/(-3) + -2 + 36880/55410. Which is greater: 1 or w?
1
Let s = 1130 - 1376. Is -248 >= s?
False
Let h be 1*-2*1*279/(-93). Is 120/23 smaller than h?
True
Let a = 5.34 + 36.86. Is a less than -1?
False
Let j = 2521 + -20189/8. Let y = 0 + -0.1. Is y >= j?
True
Suppose 274 = 4*r + 22. Which is smaller: 46 or r?
46
Let x = 17.2 - -2.8. Is -22 equal to x?
False
Let z = 39 + -34. Suppose 0 = -z*r + 4*r + 11. Is 10 at least as big as r?
False
Let s = 91 + -104. Which is greater: s or 0.1?
0.1
Suppose -3*g = -5*g - 4. Let p be 275/(-66) + 1/g. Let h = -1/6 - p. Which is greater: 4 or h?
h
Suppose 4*z - 12*p = -10*p + 8, 5*z - 10 = -4*p. Let s = 5 + -8. Let w be 0 + (s/(-2))/3. Is w at most z?
True
Let s(t) = -8*t - 26. Let y be s(-4). Which is greater: -2 or y?
y
Let k = 127 + -136. Let o(x) = x + 2. Let w be o(3). Suppose -2*a + 7 = 5*i, -a + 34 = -2*a + w*i. Is k != a?
False
Suppose 30*h - 7*h = 23. Is h less than -7/45?
False
Let d = -4.0572 - -4. Is d at most as big as 0?
True
Let b = 4 + -17. Let z = -3963/4 + 979. Is b greater than or equal to z?
False
Suppose 8*b = 2*x + 3*b, x - b = 0. Which is bigger: 12/71 or x?
12/71
Suppose -73 = v + 4*k + 112, -3*k - 510 = 3*v. Which is bigger: -164 or v?
-164
Let r be ((-36)/(-16))/(2/(-32)). Let f = -49 - -50. Is f at least as big as r?
True
Suppose 14*o = -7*o - 21. Which is smaller: o or 2/355?
o
Let y(v) = v**3 + 10 - 3*v**3 + 8*v**2 - 8*v + v**3. Let f be y(7). Suppose 2*p = 5*n + 22, 4*n = f*p - 4*p - 15. Which is smaller: -1 or p?
-1
Let l = -3227 - -3230. Let j = -2.9 + 3. Which is smaller: l or j?
j
Let t(u) = -5*u - 60. Let r be t(-12). Let p be (-32)/(-63) + 6/(-27). Is r less than or equal to p?
True
Suppose -2*d - x + 581 = 215, -2*x = -3*d + 556. Which is smaller: 185 or d?
d
Let f be (0 - (0 - 1)*-4)/(-2). Suppose -a = g - 2, -1 = -2*a - 3*g + f*g. Are a and -3 equal?
False
Let a = -20 + 19. Let r = a - 0.7. Is r less than -0.1?
True
Let x be (2 + (1 - 4))*-5. Suppose -11 - 1 = -3*c, -x*q - 12 = -3*c. Is 1/18 <= q?
False
Let c be -10 + (-18)/10*-5. Let a = 71/6 - 27/2. Is c < a?
False
Let j be (-121)/22 + 3/(-6) - -20. Which is smaller: j or -57?
-57
Let t be (-115)/280 + (-3)/(-24). Let q = -132 - -3301/25. Is q less than or equal to t?
False
Let u = -535 - -534. Is u greater than 2/1497?
False
Let h be -9*(-2 + 0)/6. Let y = -30 - -32. Suppose w - 2*w = -y. Is h > w?
True
Let w = -0.0614 + -826.9386. Which is smaller: w or 0?
w
Let c = -1182386/6755 - -6972/193. Let p = -686/5 - c. Suppose n = -d + 3, -3*d + 4 = -2*n - 0*d. Which is greater: p o