
Suppose 2*y + 92 = 3*z + z, z = -2*y - 72. Let o = y + 40. Let c(r) = -r**3 + 2*r**2 - r + 2. Let h be c(o). Which is smaller: 1 or h?
h
Suppose 3*q = a + 11, 0*q - 5 = 5*a - 5*q. Let m be (-18)/a - 7/(-14). Let y be (-4)/16*m/6. Which is greater: y or 0.1?
y
Let o = -72.71 + 73. Let w = 12.29 - o. Which is bigger: w or 0?
w
Suppose -l + 1 = -2*l. Let b be ((-96)/(-99) - 1)*3/l. Which is smaller: b or 0?
0
Suppose 5*j = -8*j - 13. Let x be 1/((j - -1) + 1). Do 8/19 and x have the same value?
False
Let l = 100 + -285. Let m be 4 - 7 - l/75. Is -1 at most as big as m?
True
Let m = -103.7 + 194.7. Is m at least as big as 0?
True
Let j be 11372/360 - 3/(-2). Let g = -161/5 + j. Let r be (-5)/10 + (-1)/(-2). Which is bigger: g or r?
g
Suppose -3*u = -17*u. Is 1/14 smaller than u?
False
Suppose -2*m - 5*k = -31, -5*m + 2*k + 25 = 4*k. Suppose -n = -5*i + 29, -3*n - 76 + 27 = 4*i. Let u = 21 + n. Is m at least u?
True
Suppose 3*y + 5142 = 5136. Let j be (-5)/(-2) + 2/4. Let l be (j - 5) + 14/10. Is l at most y?
False
Let h be 1/((-7)/(30 + 5)). Is -64/13 != h?
True
Let s be (55/(-5))/(-11) + (-61)/(-7). Is s at most as big as 10?
True
Let d = 100.02 - 137.02. Let w = 1 + 0. Which is smaller: d or w?
d
Let n be (2/(-6))/(1/(-12)). Suppose 0 = 2*b - 7*b - h - 152, 0 = 4*b + n*h + 128. Let r be b/(-4)*(-4)/(-40). Which is bigger: 2 or r?
2
Let g = 1644/833 + -16/49. Is 3 > g?
True
Let j(n) = n**3 - 13*n**2 - 16*n + 20. Suppose -p = -5*h + 68, p + 2*p = -4*h + 62. Let v be j(h). Which is smaller: v or -4?
v
Suppose 3*j + 5*g - 4 = 0, -2*j = -3*g + 5*g - 8. Let y = 33 + -73. Let d be 5/3*j/y. Are d and -3/2 unequal?
True
Let q be (-1)/((-3)/(-39) + 0). Let k be (3/(-4))/(q/(-156)). Is -10 bigger than k?
False
Let m be (-204)/(-8) + (-2)/4. Let h = m + -23. Is h greater than -2/3?
True
Let y be (-3)/(-2)*4146/63. Let l = 97 - y. Which is greater: -3 or l?
l
Suppose 0 = 30*u - 35*u. Is -36/13 greater than u?
False
Let g = 2 - 2. Let i = -5303/30730 - -1/878. Is i equal to g?
False
Let h be (-109)/(-37) + -6 - -3. Let z = 5 + -9. Let c = z + 5. Is h not equal to c?
True
Let w be ((-2)/(-5))/((-208)/(-2990)). Is 6 at least as big as w?
True
Let y be (-4)/(-18) - 4*(-191)/(-36). Let f = y + 17. Is f < -5?
False
Let p(w) = -w**2 - w + 7. Let b be p(-3). Let x be (-1)/(b - (-19)/(-20)). Which is greater: x or -21?
x
Let y = -381 - -373. Is 42 less than or equal to y?
False
Let k(b) = -b**2 - 9*b + 1. Let n be k(-9). Let t be 1/(n/(4/18)). Which is bigger: t or 0?
t
Suppose -38*m - 8 + 46 = 0. Which is smaller: m or -1/132?
-1/132
Suppose -4*r = -9*r - p + 223, 2*r - 2*p = 82. Is r at least 45?
False
Let w = 5 - 8. Let t = 1667 + -41677/25. Is w at most t?
True
Suppose 7*h + 2 = 5*h. Suppose -2*s + 1 = -s. Which is smaller: h or s?
h
Let i = -15 - -21. Suppose 15 = 3*a - i*a. Which is smaller: a or -14/3?
a
Let i(u) = 11*u**3 + u**2 - 2*u + 1. Let g be i(1). Suppose -4*h - g = -3. Which is greater: -4 or h?
h
Suppose -15 = a + 4*f - 1, 2*a + 5*f = -19. Which is smaller: a or -127?
-127
Let w be (-2)/3*27/9081. Which is smaller: w or -1?
-1
Let f = 6811 + -6814.903. Let b = 0.097 - f. Do b and 0.8 have the same value?
False
Let q = 419/5 - 18007/215. Let k be 4/3*(5 - (-11)/(-4)). Suppose 0 = s - 4 + 3, -k*s + 3 = -p. Which is smaller: p or q?
p
Suppose 9*h = 10*h + 27. Let p be 6054/h + 4/(-18). Let w = p - -224. Is 1 less than w?
False
Suppose 8 = y + 4*v, 4*y + 4*v + 6 = 26. Suppose -3*f + p = -0*f + y, 0 = 5*p - 20. Which is smaller: f or -5?
-5
Suppose -w - 3*x = 12, -4*w - 3*x - 20 = 2*x. Let f be 36/(-21)*(-1407)/(-78). Let d = -31 - f. Is d at most as big as w?
True
Let g be (-62)/(-15) + (-24)/180. Let c be 3*((-1)/(-6))/(g/8). Let a = 8.03 - 0.03. Which is bigger: a or c?
a
Let a = 3 + -4. Let k be ((-300)/40)/(a/(-2)). Let b = k + 7. Is b at most -9?
False
Let x = 0.034 - -49.966. Let k = x - 71. Let y = k - -21. Which is greater: -1/7 or y?
y
Let y = -48.81 + 37. Let a = y + 12. Let t = 5.81 + a. Is -2 less than t?
True
Let k be (6 - (-7 - -6))*(-1)/(-2). Is -8 <= k?
True
Let l be 152/(-14) + (-2)/14. Suppose -15 = -4*b + 5*o, b = -2*b - 2*o + 17. Let m = l + b. Is m at least as big as -4?
False
Let q = -20.95 - -21. Let b = 0.05 + q. Is 22 greater than or equal to b?
True
Let m be (5/((-100)/36) + 2)*1. Is m >= -13/5?
True
Suppose -2*b - b = -285. Suppose 8*m - b = 3*m. Which is bigger: 20 or m?
20
Let i = 8/3 + -25/3. Let g = i + 6. Is g at most 112?
True
Suppose 0 = -12*a - 3 + 15. Let u be ((-7)/(-14)*-4)/(2*a). Which is smaller: -0.6 or u?
u
Suppose -5*w = -9*w - 4. Let r be 228/(-225) + w + 2. Is r at most -1?
False
Let y = 958 - 958. Which is bigger: 12/73 or y?
12/73
Let y = 176 + -175. Suppose -3*f = 2*u + 10, 5*f - u = -1 - 7. Let k be (-31)/(-20) + f/(-8). Which is bigger: y or k?
k
Let r = -263 - -271. Which is bigger: 12 or r?
12
Suppose 22 + 48 = -5*v. Let a = v + 7. Let h be (-6)/27 - 4/63. Which is greater: h or a?
h
Let c = 141369/1312 - 431/4. Let j = 39371/14432 - c. Is 2 <= j?
True
Let d(c) be the second derivative of c**5/20 - c**4 + 5*c**3/3 + 11*c**2/2 - 19*c. Let x be d(11). Which is bigger: x or -6/13?
x
Let s = 23 + -42. Let p = -19 - s. Let d = 824 + -9058/11. Which is smaller: d or p?
p
Let w be -13 - 3 - 3*-1. Let j be (-1)/2 - w/2. Suppose 0 = -t - 2 - j. Is -8 greater than t?
False
Suppose 0 = m + q - 12, 4*m - 57 = -0*m - q. Suppose -m = -3*g - 0. Which is greater: g or 21/5?
g
Let n be (-4)/(-2) - -5*47. Let q be 152/n - 12/18. Let o be (7 + -5)*1/(-2). Are o and q equal?
False
Let l(y) = y**3 + 6*y**2 - 2*y - 5. Let g be l(-6). Let z(n) = 2*n. Let v be z(g). Let t = -180/13 + v. Which is bigger: 0 or t?
t
Let s(d) be the second derivative of -d**4/12 - 5*d**3/6 - 3*d**2 + d. Let v be s(-4). Let f = -385 + 384.8. Does v = f?
False
Let m = 524655 + -266000429/507. Let d = m - -2/169. Let u = 4846 - 43616/9. Is u greater than d?
True
Suppose -11*j + 3 = -8. Which is greater: -2/67 or j?
j
Suppose o + 1 = 4. Suppose -40 = o*r + 2*r. Suppose 6*t - t + 35 = 0. Is t less than or equal to r?
False
Let k = 143 + -2147/15. Let l(m) = -10*m - 3. Let n be l(-2). Suppose -3*v = 14*v + n. Which is smaller: v or k?
v
Let k = -99.03 + 100. Let m = -4.03 - -4. Let t = k - m. Which is smaller: t or 2/49?
2/49
Let l = 474 - 472. Which is smaller: -1.4 or l?
-1.4
Let h be (-4 - (-46)/12)*-248. Let v = 4715/114 - h. Suppose 0*d = d + 5*y + 10, 2 = 3*d - y. Which is greater: d or v?
v
Let d = -1975 + -51. Which is smaller: d or -2025?
d
Let t = -3252/13 - -251. Which is bigger: t or -1?
t
Let w be (-2)/(-4 - 153/(-39)). Let n = w - 36. Suppose 2*h - 5*h = 4*k + 18, -3*k = -9. Are n and h non-equal?
False
Let d = 0.04 + -3.04. Let a = d - -4. Let r = 3.6 + 2.4. Is a bigger than r?
False
Let v = -143 - -137.1. Let z = v - 0.1. Which is smaller: -1 or z?
z
Suppose -v + 542 = 12*t - 16*t, 5*v - 2647 = -t. Is 530 != v?
False
Suppose l + 13 = m, 4*l - 3*m + 34 = -8*m. Let f = l - -11. Is 6/11 > f?
True
Suppose m + 22 + 8 = 0. Suppose -6*c - 12 = w, -7 = -5*c - 47*w + 49*w. Is m at most c?
True
Let h(c) = 220 + 3*c - 230 - 6*c - 8*c. Let r be h(-4). Is r greater than 33?
True
Let p(r) = -3*r + 14. Let l be p(3). Let d = 22 + -11. Let u = d - 7. Is l >= u?
True
Suppose 168 = 3*q - 4557. Let m be 10/(-2)*-5*(-2)/q. Is m greater than or equal to -1?
True
Suppose -k - 5*k = 2*k. Do 1 and k have the same value?
False
Let z be (4/3 - 1)/((-34)/(-18)). Let d(w) = -w**2 + 10*w - 8. Let y be d(9). Which is smaller: y or z?
z
Suppose -5*m = 2*w - 36, 0 = -30*m + 34*m + 3*w - 33. Let u be -2 - (1 - (8 + 1)). Is m equal to u?
True
Let d(s) = 0*s - 51 + 28 - 42 - 3*s. Let a be d(-22). Is -2/107 greater than a?
False
Suppose -n + 2*o + 2*o + 6 = 0, 0 = -2*o. Let q be ((-51)/n)/(2/4*-1). Are q and 14 nonequal?
True
Let s(i) = -i**2 + 2*i + 13. Let p be s(0). Suppose -3*c = -4*c - p. Suppose -3*j - 37 - 2 = 0. Is c at most j?
True
Let f be -2 + (0/3 - 3). Which is smaller: -2/9 or f?
f
Let a be (3/(-510))/((-12)/(-16)). Suppose 3*w + 3*y - 6 = 0, y + 6 = 4*w + 3. Is w at least as big as a?
True
Let o(r) = -9 - 2 - 2*r - 2. Let m be o(-6). Let k be (-6)/18*(13 + m). Is k > -3?
False
Let x = -620 - -3116/5. Is 4 >= x?
True
Let l be 146/10 - 24/4. Which is big