Let p(l) = l**3 - 2*l**2 + 4*l. Let t be p(3). Let i be (t/14)/(-1 + (-14)/(-16)). Is i less than 1/5?
True
Let y be (-5)/3 + (-2)/6. Let t = 384 + -387. Which is smaller: t or y?
t
Let u(n) = n + 7. Suppose j - 22 = 3*h - h, 2*j - 8 = 0. Let c be u(h). Which is bigger: c or -1?
-1
Let c be ((-966)/(-92))/(1 - 38/8). Are c and 2/7 nonequal?
True
Suppose -4*z = 4*u + 4, 18*z - 5*u - 5 = 19*z. Is -12/77 at most z?
True
Suppose 728 = -4*o + 17*o. Which is greater: o or 57?
57
Let j = -612 - -11620/19. Is 1 at most j?
False
Let m = -793 - -53133/67. Are m and -1 equal?
False
Let l = -535 + 470. Let h be 4/(-14) - (-1359)/(-21). Is h bigger than l?
False
Let p = 555.9 - 556. Which is greater: p or 245?
245
Let h = 0.1 - 0.1. Let x be (-9)/(-3) - (4/4 - 1). Let u be (x - (6 - -1)) + 6. Which is bigger: u or h?
u
Let k be 6/(-27) + (-11)/(-9). Let l = 39481739/321062190 - -6/369037. Let j = l + -2/87. Which is bigger: j or k?
k
Suppose 0 = -2*l - 3*x - 12, -l - 2 = -x - 6. Suppose t = 2*p + 2*p - 42, -3*p + 9 = l. Let u = -184 - -184.1. Which is greater: t or u?
u
Suppose 0 = -2*o, -3*x = -2*x + 3*o - 89. Which is greater: 88 or x?
x
Let b be 10/(5 - (-16)/(-3)). Let v = b - -59/2. Which is greater: v or 0.12?
0.12
Suppose 0 = -3*a - k + 4, a - 2*k = -a + 16. Suppose -a*f + f = 0. Suppose y - 7*y + 72 = f. Which is bigger: -2 or y?
y
Suppose -w + 2 = -3. Suppose -4*p + 0*p + 56 = -3*q, -w*p = 3*q + 11. Is q not equal to -12?
False
Let z be (-1 - -1903)*(-10 - 315/(-30)). Do 950 and z have the same value?
False
Let a be (-10)/(-35) - 10/(-14). Let g be a*(340/84 - 4). Let h = -19/42 - g. Is -2 bigger than h?
False
Let x = -56/19 + 131/38. Let t = 5 + 9. Is x > t?
False
Suppose -2*d + t + 4 = -5*d, -2*t - 5 = 3*d. Let u be (6/14)/(182/(-49)). Which is bigger: d or u?
u
Let h = 0.2 + -1.55. Let y = h - -20.45. Let b = y - 19. Which is smaller: b or -2?
-2
Let z = -0.8 - 107.2. Which is smaller: -2 or z?
z
Let w = -0.15 + 0.15. Are w and -58 equal?
False
Let r = 24 + -37. Let b = -18 - r. Which is smaller: b or -4?
b
Let g = -1.755 + -0.245. Is -74 at least as big as g?
False
Let d = -1 - -2. Suppose -3*s + 20 = s. Let h be s/(-2) + -1 + 3. Is h at most d?
True
Suppose -47 = 5*f + 23. Let m = f - -9. Suppose -p = 2*q - 4, 2*p + 0*q - q = -17. Is p at least as big as m?
False
Let w = -1303/4 - -144. Are -183 and w unequal?
True
Suppose -2122 + 2265 = -11*p. Is p bigger than -42?
True
Let s = -5943/2120 - -346/53. Let f = 204 + -1002/5. Let b = s - f. Is 0 greater than or equal to b?
False
Let h be ((-25)/300)/(5/8). Is h at most 17/7?
True
Let x be (244/28 - 9) + (-1872)/(-6454). Which is smaller: x or -1?
-1
Suppose 2114*t = 2108*t + 24. Are t and 0 equal?
False
Let z = -82/97717 - 1780695169/2052057. Let t = 868 + z. Which is bigger: 0 or t?
t
Suppose 0*x = 5*p - 4*x + 27, 2*p - 4*x = -18. Suppose 5*i - a = 2*a + 1, 0 = -3*i + a - 1. Let q be (-2 - i)*13/4. Is p at most as big as q?
False
Suppose -183 = -v + 3*w, -165*v + 160*v + 876 = -2*w. Is v <= 174?
True
Let z(f) = 10*f**2 + 10*f - 9. Let b be z(1). Which is smaller: b or 2.8?
2.8
Let s be (-23120)/130 + 1 + 8/(-52). Which is bigger: s or -175?
-175
Let c(x) = x**3 - 20*x**2 + 35*x + 26. Let u be c(18). Let z(p) = p**3 - 7*p**2 - 8*p + 2. Let l be z(u). Which is greater: l or -14?
l
Let c = 205/756 - 4/189. Do c and -185 have the same value?
False
Let g be (0 - -1)/(86/4). Let n = 90 - 90. Is g != n?
True
Let j = 103/2860 + 2/143. Let o be 10/(-2)*((-105)/25 - -4). Is o > j?
True
Let k = 560 + -561. Are 207 and k equal?
False
Let h = -0.008 + -0.004. Let f = -0.988 + h. Is f at least 5/7?
False
Let y be ((0 - 3) + 2)/((-25)/100). Is y not equal to 31/6?
True
Let x(c) = c**2 + 5*c - 8. Let d(w) = w**2 + 5*w - 7. Let y(q) = 6*d(q) - 5*x(q). Let j be y(-5). Which is smaller: -7 or j?
-7
Let n = 38 - 19. Let y = n - 27. Let f be (-115)/20 - (-2)/y. Does f = -5?
False
Let c = 87.8 + 1.2. Let d = -88.9 + c. Is -72 <= d?
True
Let v = 46 + -46. Suppose 60*b - 58*b = v. Let x = 573/7 + -82. Which is bigger: b or x?
b
Let p = -40 + 40.01. Let x = 0.9 - 0.79. Let y = x - p. Is y at least -0.03?
True
Let v(k) = -51*k**2 + 6*k - 6. Let i be v(2). Is 2/5 < i?
False
Suppose -3 = 2*p + 3. Let v be ((-9)/p*4/30)/1. Which is smaller: v or -0.6?
-0.6
Let t = 48 + -819/17. Let m = 6 + -6. Suppose 3*l + m*l = 0. Is l smaller than t?
False
Let h be (4 + 3 - (-2 - -5)) + 3. Let g be (-1 - -9)*(-10)/(-12). Which is smaller: h or g?
g
Let s(n) = 14*n - 196. Let c be s(14). Is 1/991 != c?
True
Let s = -91 + 91.1. Suppose -3*h + 102 = -d + 4*d, -4*d = -2*h - 130. Which is bigger: d or s?
d
Let w = -13.72 + 13.5. Is w > 4?
False
Let g = 48 + -46. Suppose -13*d = -12*d + g. Let a = -8 + 4. Is d less than a?
False
Let z = 30.71 - 19.76. Is 0.2 < z?
True
Suppose -33 = 2*y - 41. Suppose -z = 3*m + y*z - 16, 4*m = -5*z + 23. Is m at least 7?
True
Let p = 26 - 6. Let y = p + -14. Let o = 1 - y. Is o at most as big as -1?
True
Let a = 10 - 4. Let v be (-1*3)/(18/a). Which is bigger: v or 2/53?
2/53
Let w = 1.49 - 1.36. Let o = 69 + -209/3. Which is greater: o or w?
w
Suppose 0*n - 3*n = 15. Let w = 7 + n. Let q be -1 + 4 - 4/w. Which is smaller: q or -1/14?
-1/14
Suppose 12 = 4*w + 5*i - i, 0 = 5*w - 2*i + 13. Suppose 5 = 3*z - 5*q, -4*q - 1 = -4*z + 3. Let p be 0 + z + 1/4. Are p and w unequal?
True
Let o(u) be the first derivative of -u**2/2 + 3*u - 3. Let m be o(7). Suppose -2*r + 0 = 6. Which is smaller: m or r?
m
Let i = 546.8 + -487. Let f = 60 - i. Do f and -3/20 have the same value?
False
Let c = -1027 - -1027. Which is greater: -9/64 or c?
c
Suppose -f - 4*d - 4 = 0, -3*f = -3*d - d - 20. Suppose 2*o = 3*h + h + 8, 0 = 2*h + 3*o + f. Let s be (h/(-36))/(5/20). Which is bigger: s or -1?
s
Let u be ((-6)/7)/(33/(-154)). Suppose u*t - 25 - 11 = 0. Is t smaller than 11?
True
Let b = -0.535 + 2.135. Which is smaller: b or -0.51?
-0.51
Suppose -4*p = -17*p. Let v = 0.1 - 0.3. Let q = v - 0.8. Which is greater: p or q?
p
Suppose -5*f - 189 = -2*z, -11 = -z - 4*f + 64. Let c = 476659/10 + -47579. Let k = c - z. Do 1 and k have the same value?
False
Let p = 2 + 0. Let x = -12 + 17. Suppose -6*o = -o - x. Which is greater: o or p?
p
Let m be -1 + (36/20 - 2). Let c(f) = -f**2 - 7*f - 10. Let i be -8 - (0 + (3 - 6)). Let o be c(i). Which is smaller: o or m?
m
Let v = -2.92 + 0.12. Let f = -12.16 - -13.16. Which is bigger: f or v?
f
Let w be -1*3/(-27) + (-525)/1323. Is -668 < w?
True
Let l be 24/130*((-240)/148)/2. Let w = l + -3/37. Is w equal to -1?
False
Let a(v) = -v**2 + 10*v - 3. Suppose 14 = 6*p - p - 2*h, -3*p - 2*h + 18 = 0. Let u be a(p). Which is smaller: u or 1?
1
Let c be 0*(-4)/(6 + -2). Suppose -l + 6*l - 35 = c. Is 9 greater than l?
True
Let q = -12.575 - -12.5. Let a = q - -0.075. Are a and 1/4 unequal?
True
Let k = -151 + 286. Which is smaller: 0 or k?
0
Let l(d) = -d**2 - 3*d + 5. Let i(x) = -2*x + 8. Let a be i(6). Let s be l(a). Which is smaller: 2/149 or s?
2/149
Let l be 3 + 3 - (488/(-512) - -7). Is l equal to 0?
False
Suppose -13*x + 9*x - 664 = -v, 498 = -3*x - 4*v. Which is bigger: x or -167?
x
Let l = -2599/274 + -2/137. Which is smaller: -10 or l?
-10
Let p(a) = -1 - 27*a**2 + 58*a**2 - 38*a**2. Suppose -h = h - 2. Let b be p(h). Which is smaller: -6 or b?
b
Suppose 12*x - 2049 = -465. Let g be ((-1)/(-3))/((-20)/x - 0). Is -2/5 bigger than g?
True
Suppose 0 = 2*y + 4*h + 118, -y = -3*y + h - 103. Is y less than or equal to -34?
True
Let m = -799/1386 - -1/198. Is m at most -16?
False
Let f = 11 + -9. Let o be -2 - 2/(-4) - 23/f. Let m be 2*(-3 - 4) - -2. Which is smaller: m or o?
o
Let k be (-30)/(-50) - (-14)/10. Suppose 3*o + 1 = -k*l, -2*o - l - 2 + 1 = 0. Is o at most -2/389?
True
Let g(w) = 4*w + 8. Let d be g(6). Let l = 3 + d. Let y be ((-2)/5)/((-28)/l). Is y equal to 0.07?
False
Let o be (4/(-170))/((-30)/75). Is 0 <= o?
True
Let v = 778 - 798. Is 1 at least as big as v?
True
Let p(k) = 2*k**2 - 2*k - 2. Let c be p(-1). Suppose -2*y - y = -c*b, -4*b = -5*y - 2. Which is greater: y or 4/5?
y
Let a = -1260 + 989. Which is smaller: a or -2/5?
a
Let v be (2 + (-12)/10)/((-20)/(-50)). Let g be 258/30 + -5 + 9/(-15). Which is smaller: v or g?
v
Let q = -2845974539/399 + 7132774. Let w = q + -40/7.