8*m**2 + 2*m + 19. Let t be h(8). Let d = t + -37. Is -20/9 at most as big as d?
True
Suppose 5*r + 2*t = -611, -14 = 3*t - 5. Is r at most -122?
False
Suppose -5*n = -26 - 4. Let s be ((-48)/(-176))/(n/(-4)). Which is bigger: s or -0.01?
-0.01
Suppose -2*c = -3*c + 3*f - 3, -3 = f. Which is smaller: c or -14?
-14
Let k = 37.541 + -0.441. Let i = 39 - k. Let l = -33 - -33.1. Is i less than l?
False
Let j = -40.1 + 40.5. Which is bigger: j or -95?
j
Let n = 93.66 - 15.66. Which is bigger: -12 or n?
n
Suppose -4*q + 93 = 5*z, 0 = 4*z - 8 - 12. Which is smaller: q or 0.4?
0.4
Suppose 0 = -8*v + 4*v + 156. Let t = 33 - v. Are t and 4 nonequal?
True
Suppose -9*g = -3*g - 6. Let c be 1/(((-20)/(-28))/5). Suppose -c*m + 25 = -2*m, -2*b + 21 = 3*m. Is g >= b?
False
Let w be (-6)/(-1 - 14/(-10)). Let n be 10/w*(-27)/(-2). Let p = n - -8. Does 4/17 = p?
False
Let k = 21 + -11. Let b = 7.1 + 2.8. Let t = k - b. Which is bigger: t or -22?
t
Let u(l) = -l - 3. Let c(y) = -y**2 - 9*y - 6. Let w be c(-9). Let m be u(w). Suppose m*t = 5*t. Is 2/37 != t?
True
Suppose -16 + 109 = 31*g. Suppose -10 = -4*p - 2. Suppose 4*s - l = 20, -p*s - l + 16 = g*s. Which is greater: 6 or s?
6
Let w(z) = -z**2 + 17*z - 13. Let b be w(16). Let s(p) = 13*p**2 - 2*p - 5. Let a be s(b). Is a at least 105?
True
Let o be 30/(-56) + (-6)/(-21). Suppose 2*l - 5*y - 25 = 0, 5*l - 5*y - 10 = -3*y. Let g be (-3 - l/3) + 2. Is o at most g?
False
Let l = 1856 - 1877. Suppose -w = 4*p + 14, -20 = w - 0*w - 2*p. Is l at most as big as w?
True
Let r be 102 + (3 - 2 - -5). Is r bigger than 107?
True
Let r be (137 - 149)*34/(-3). Are 135 and r non-equal?
True
Let w = -10918 - -7850038/719. Which is smaller: w or -1?
-1
Let o be 4 - (4 - (-10 - -3)). Let u(f) = -f - 1. Let g be u(0). Let v be (-1)/g - 2 - 7. Is v less than o?
True
Suppose 2*q = 3*y + 12, y = 2*q + 4*y. Let m be 4/(40/(-18)) - q/15. Is m greater than 7/5?
False
Let g = 45 + 240. Are g and 285 unequal?
False
Let d be 2 - 17/((-85)/(-110)). Which is greater: d or -15?
-15
Let c = 5168089/1074 - 4812. Is -1 greater than c?
False
Suppose 3*x = 3*p + 510, 5*x = -0*x - p + 820. Let s be 8/x*(-57)/(-4). Let a = s - 3/5. Is 0 >= a?
False
Let o = -11.24 + 0.24. Let g = o - -9.1. Let i = 2 + g. Which is smaller: 0.06 or i?
0.06
Let m = -313/2288 + -3/176. Let d(b) = 3*b - 1. Let g be d(1). Suppose g*y - y = -2. Which is smaller: m or y?
y
Let x = -23/147 - 245701/1470. Let v = x - -531/20. Let n = 140 + v. Which is greater: 1 or n?
1
Let i = -13 + 5. Let z = 6 + i. Let q be (-1)/z*24/4. Is q < 2?
False
Let b be 2/((-16)/(-114)) - 21/(-28). Let w be ((-6)/b)/(((-1)/10)/(-1)). Is w less than or equal to -32/9?
True
Suppose -2*z + 2*h + 6 = 0, 3*h + 14 = 4*z + h. Suppose 0 = 2*w + 2*w - z. Which is smaller: -2/11 or w?
-2/11
Suppose 87*b = 92 - 527. Is b smaller than -59/14?
True
Let k = -1511 - -1506. Is k greater than or equal to -3?
False
Let k = 0 - 5. Let a(y) = -2*y**2 - 3*y + 20. Let n be a(-5). Let o be n/8 + 8/(-64). Which is bigger: k or o?
o
Let c be ((-38)/(-2))/(1 - 0 - 2). Let q = 8 - 25. Which is smaller: q or c?
c
Suppose 1438 = -48*i - 10082. Is -240 <= i?
True
Suppose -7*v + 107 - 2 = 0. Let d be (v/(-28))/((-75)/21 + 3). Is 0 at least d?
False
Let s = 29341/5 - 6075. Let l = -206 - s. Let r(o) = -2*o**3 - 25*o**2 + 17*o + 52. Let j be r(-13). Are l and j non-equal?
True
Let a be (-26)/8 + (-8)/(-32). Let k be a/36*-4 + 8/3. Which is greater: 8/5 or k?
k
Let u be ((-3)/6)/((-2)/(-4)). Let k be (4 - 3) + 1 + u. Suppose -4*g = k + 23. Is g > -3?
False
Let i = -7.4 - -106.4. Let n = -98 + i. Let v = -33 - -17. Do n and v have the same value?
False
Let m(u) = 2*u + 1. Let a be m(2). Suppose 5*v + 5*q + 2 = -8, a*q + 10 = 0. Suppose -3*i = -v*i. Does 1/2 = i?
False
Let w = 195 - 194.7. Are 2/7 and w nonequal?
True
Let d = -1 + 1. Let i be 40/(-8) + 45/11. Is d bigger than i?
True
Suppose -8*h = -13*h + 25. Let n be (18/12)/((-9)/(-12)). Is h smaller than n?
False
Suppose 2*s - 54 = -s. Suppose -c - 2*c = 2*a + 3, -3*c + 5*a = -s. Let d = -106 + 532/5. Is d bigger than c?
False
Let m = -165 + 155. Which is greater: -92/9 or m?
m
Suppose -5*v + 50 = -18*q + 13*q, 5*q + 5*v + 40 = 0. Are q and -9 unequal?
False
Suppose 4*a - 6*a = -194. Let u = a - 71. Is u bigger than 27?
False
Let j be (-1 - (-84)/(-86)) + 2. Let t be 2 + (-16)/(-8) + (1 - 6). Is t bigger than j?
False
Let c = 18 - -2. Let s = c - 25. Let p = s - -4. Is p <= -1?
True
Let m be 1/(-2) - (-150)/(-20). Let c = 11 - 19. Is c less than or equal to m?
True
Let f = -1607 + 1384. Is f < -0.1?
True
Let a = -4.89 + 5.1. Let k = a + -0.02. Let f = k + 0.11. Is f <= 2/5?
True
Suppose -10*k = 6*k - 5*k. Which is bigger: k or 10.2?
10.2
Suppose t - 5*v - 260 = -2*t, -4*t = 5*v - 405. Is t bigger than 97?
False
Let v be (1/(-2) - -1)*2 + 27. Suppose 36 = -5*b - g - 24, v = -3*b + g. Are -12 and b non-equal?
True
Let b = 0.009 + -0.429. Let o = b + 0.02. Let u = 0.3 + o. Which is smaller: u or -0.6?
-0.6
Suppose g = -3*b - 10, g = -4*g + 2*b + 18. Let d(m) = 29*m**2 + m - 1. Let h be d(1). Suppose g*p + 5*f = -0*f + h, 4*p - 3*f = -7. Is 4 != p?
True
Let z = 708 - 769. Is z greater than or equal to -58?
False
Let u = -1.0071 - -0.0071. Are u and 133 equal?
False
Suppose -2717 = -129*u + 110*u. Which is bigger: 141 or u?
u
Let b be (((-136)/(-12))/((-4)/226))/(-3). Let j = 215 - b. Is j at least 3?
False
Let a be (13068/(-20) - -6) + 8/20. Is a at most -648?
False
Let i(r) = 6*r - 30*r**3 - 1 + 3 + 31*r**3 - 8*r**2 - 4. Let h be i(7). Is -31/3 smaller than h?
True
Let o = 0.69 + 0.33. Let i = o + -0.62. Let y = -93 + 653/7. Are y and i equal?
False
Let s be -2 + 0/(0 + -1). Let m = 2892 - 2892. Which is bigger: m or s?
m
Let g(y) = y**3 + 10*y**2 + 9*y + 9. Let n be g(-6). Suppose 0*q + 3*q = n. Which is smaller: 34 or q?
q
Suppose -11*w + 225 = -6*w. Suppose 2*z + 15 = -p, 2*z + 2*p + w = 7*p. Do -8 and z have the same value?
False
Let v = -158 + -39. Does v = -196?
False
Let d(z) = -6*z - 7 + 25 - 16 + z**2 - 10. Let i be d(7). Is i greater than 1/4?
False
Let n = -723 - -722.9. Does -159 = n?
False
Suppose t - 3 = -3*d - 0, 4*t = -4*d + 4. Let q be 1 - (1 + 12/(-28)). Is q greater than t?
True
Let z be -3 + 1944/(-96) + 2/4. Let g = -9 - -32. Let p = g + z. Is 0 != p?
True
Let w(i) = -i**3 - i**2 + 3*i + 3. Let v be w(-3). Suppose -p + 3*p = -2*a + v, 0 = 2*a - p + 3. Suppose 0 = 4*n - 0*n - 4. Is n equal to a?
True
Let h(v) = v**2 + 3*v + 3. Let d be h(-2). Let n = -501 - -464.9. Let o = n - -36. Is o <= d?
True
Suppose 44*d = 3*d. Let y be ((-2)/(-4))/((-14)/8). Which is smaller: d or y?
y
Suppose -5*h - 9 = -3*r + 13, r - 24 = 5*h. Let n = 0 - r. Let m = -18 + 13. Is m < n?
True
Let x = 795 + -768. Is 30 greater than x?
True
Let n = -101.46 - -1.46. Which is smaller: n or 0?
n
Let f = -0.1 - -0.2. Let a = 379 + -175. Let v = a + -204.16. Which is bigger: v or f?
f
Let x = 35.6 + -35.4. Which is smaller: x or -21/5?
-21/5
Let m(q) be the first derivative of -q**2 + 3. Let y be m(6). Let a = y - -11. Is -3 less than a?
True
Let o = -14975 - -60201/4. Let f = o - 79. Which is smaller: -3 or f?
f
Let c(m) = -m**2 - 10*m - 8. Let f be c(-1). Which is smaller: 4/13 or f?
4/13
Let s = 85.3 - 71.3. Let a(j) = j**2 - 2*j - 3. Let l be a(3). Which is smaller: l or s?
l
Let u(z) = -z - 9*z**2 + 48 + 0*z**3 + 8*z**2 + z**3. Let m be u(0). Suppose 0*v + 6*v + m = 0. Is -2 not equal to v?
True
Let v = 0.0254 - 0.1154. Which is greater: -3 or v?
v
Let y be 1*(-1398)/294 - -5. Which is bigger: y or 1?
1
Let x(n) = -n**2 + 6*n - 1. Let o be x(6). Let f be 53/51 - (-1 - (10 - 12)). Which is greater: o or f?
f
Let t be (-6)/4*20/(-15). Let k be ((-8)/(-6))/(t/9). Suppose -5*j = 3*v - 24, 8 = 4*j + 3*v - 10. Is k greater than j?
False
Suppose 0 = 6*b - 7 - 17. Suppose -2*u = -4*d + 68, -b*d + 96 = d + 3*u. Is 18 bigger than d?
False
Let b(h) = h**3 + 9*h**2 + 15*h + 9. Suppose -6 = 4*w + 22. Let g be b(w). Suppose 4*t = -3*a - 20, -4*a + 0*t = -2*t - 10. Which is greater: g or a?
g
Suppose 3*s = -21 + 141. Suppose -2*m = -7*m + s. Let w be 4/(-4)*(-1 - 8). Are w and m nonequal?
True
Let c(t) = 4*t**2 + 138*t - 697. Let g be c(5). Which is smaller: 95 or g?
g
Let o be -7 + -1 - (-114 - -115