 2*d - 92 + 10 = 0. Let y be -1 - ((-81)/b)/3. Which is bigger: y or -1?
y
Let c(d) = -6*d**3 + 4*d**2 - 2*d + 1. Let n be c(1). Which is greater: 15 or n?
15
Let l(v) = v**3 + 5*v**2 - 8*v - 11. Let x be l(-6). Let y = 303 - 9091/30. Which is greater: x or y?
x
Let c be (-24)/12 - (-580197)/(-267). Let g = c - -2175. Is 0 at least g?
True
Let w = 407264173/1044582 - 5/61446. Let r = 974 + -584. Let v = w - r. Which is smaller: -2 or v?
-2
Suppose 2*q = 3*f + 4, -3*f - 3*q = -8*q + 19. Suppose -2*l = 2*o - 10, f*o + 3*o - 25 = -3*l. Suppose -o*c + 13 = -7. Which is greater: c or 6?
6
Let b = 7/12 + -1/4. Suppose 4*p + 92 - 32 = 0. Let g be 3 + p/12 + -2. Which is greater: b or g?
b
Let g = 270 + -320. Which is bigger: g or -51?
g
Suppose -t = -2*t + 8. Let f(m) = -3*m + 24. Let a be f(t). Which is smaller: a or -2?
-2
Suppose 18*v = v + 153. Suppose -8*l = v*l - 34. Which is smaller: 3 or l?
l
Let j be ((-30)/(-8))/(-5) + (-134)/(-8). Is 20 at least as big as j?
True
Let z(o) = -13*o**2 + 14*o - 14 - 85*o**3 - o**2 + 84*o**3. Let v be z(-15). Is 2 bigger than v?
True
Let y be 1422/(-13983) - (-3 - -2)*0. Which is bigger: 0 or y?
0
Let l(s) = -s**3 - 3*s**2 - 2*s + 2. Suppose -3*k - 11 = -3*m + 4*m, 3*m - 4*k - 6 = 0. Let o be l(m). Suppose 2*z + 3*c - 5 = 0, o*z = c - 4 + 5. Does 1 = z?
True
Let d(n) = -n**3 - 28*n**2 - 10*n - 29. Let f be d(-28). Which is smaller: f or 253?
f
Suppose 0 = u + u - 60. Suppose 8*z = 37*z - 870. Is z bigger than u?
False
Let z = 3/439 - -1784/60143. Is 1 >= z?
True
Let j be -6 - -19 - (10 - 3). Is j less than 4?
False
Let y = 56 + -58. Let q = -9.21 - -0.21. Let r = 0 - q. Which is smaller: r or y?
y
Let m(f) = 17*f + 47. Let j be m(-2). Suppose 4*d - 4*p = -2*p + 56, -30 = -2*d + 2*p. Is j >= d?
True
Suppose 0 = 2*x - 2*g + 148, 0 = 4*x + 2*g - 5*g + 298. Which is bigger: -78 or x?
x
Let f = 6.6 + -5.6. Which is bigger: 98 or f?
98
Let c = 9.25 - 27.25. Is 2.8 at most c?
False
Suppose 86*o - 96*o = 230. Is 5 greater than or equal to o?
True
Let i = 1030.9 - 1032. Is i at least as big as 1/4?
False
Let y(s) = 7*s**2 - 62*s - 56. Let o be y(10). Let z = -52 + 75. Is z >= o?
False
Let l = -3.08 - 0.02. Let h = -17.9 + l. Let y = 20.95 + h. Is y equal to 0.3?
False
Let t = 604 - 140127/232. Which is smaller: t or 1?
t
Suppose -6*x = -4*x - 28. Suppose -x*p + 4*p = 30. Is 10 != p?
True
Let s be (-4)/7*(-4)/(16/14). Suppose s*d = -r + 5, -5*r = -5*d - r - 7. Are 4/29 and d non-equal?
True
Let u = 50955/37 - 1377. Which is smaller: u or 1?
u
Let h be -1 + (12 - 2 - 0). Let u be ((-6)/(-27))/((-60)/h). Suppose -2*z - 3 = -c - 2, 7 = -2*c - 5*z. Is c smaller than u?
True
Suppose 54 + 2 = 2*s. Let z = s + -56. Let q be (z/(-8) - 3)*26. Is 13 equal to q?
True
Suppose 2*c + 15 = 3*x + 2*x, 5*c = 0. Suppose -x*r = 2*y - 190, 7*r - 2*r - 338 = 2*y. Let i be (-14)/(-21)*(-9)/r. Is 0 bigger than i?
True
Suppose -2*f + 16 = -5*z + 50, 5*z = -3*f - 51. Let x = -60 + 44. Which is smaller: f or x?
f
Let t(y) = -2*y + 28. Let r be t(9). Let v be -2 + 2 + r + 0. Which is smaller: v or 11?
v
Let c = 21 - 37. Let o(k) be the first derivative of -k**2/2 - 10*k + 5. Let q be o(7). Is q > c?
False
Suppose 13 = -a + 11. Let n be 58/10 + 9/45. Let d be (-2 - (-3)/n)/2. Do a and d have the same value?
False
Let c = -4/1185 + 6431/9480. Which is smaller: 2 or c?
c
Let f = 227 + -1594/7. Let v(y) = 32*y - 1569. Let z be v(49). Which is greater: z or f?
f
Let t be 5 + (3 - 6 - -4). Let g(v) = -2*v - 4*v - v + 6*v - t. Let k be g(-6). Which is bigger: k or -1/9?
k
Let o = 706 - 702. Is -13 < o?
True
Let c(j) = j - 3. Let q be c(0). Let z be (12/(-8))/(54/12 + -4). Is q greater than z?
False
Suppose -3*w = 2*f - 96, -2*f + 14 + 14 = w. Suppose 0 = -2*b - y + 67, -3*b - 3*y + 67 = -26. Which is smaller: b or w?
w
Suppose 3*s + 30 + 16 = -5*z, 4*s + 56 = -4*z. Let g = 12 + s. Suppose g = -5*c + c + 8. Is c smaller than 3/2?
False
Let t be (-8)/52 - 1876/(-26). Let i = 32 - t. Let g be i/30*6/4. Is g >= 0?
False
Let i = -81949/110 + 745. Is 0 != i?
True
Suppose 2*h - 3*h + 21 = -k, 0 = -5*h + 3*k + 109. Suppose -5*y = -10*y + 3*u + 107, -2*u + 68 = 3*y. Which is smaller: y or h?
y
Let l = -0.31 - -0.3. Suppose 19 = -5*r + 19. Suppose r = 5*c + 5*a - 22 + 2, 0 = 5*c + a. Is c at most as big as l?
True
Let h be ((-36)/(-63))/(2/14). Suppose -91 = -g - 2*v + 4*v, 2*v - 404 = -h*g. Let w be g/90 - 2/4. Which is greater: 1 or w?
1
Let t(l) = 2*l - 3. Let z be t(-1). Let k be 6/(z + 6/2). Is -2 >= k?
True
Let h(x) = -x**2 - 7*x - 3. Let t be h(-6). Suppose t = m - 5. Suppose 3926*l - 3946*l = -180. Which is smaller: m or l?
m
Let i = 12.869 + -12.8. Let l = i + 0.031. Which is greater: l or 17?
17
Let i be (-3)/(-10)*(-50)/60. Which is smaller: 2.3 or i?
i
Let j(q) = q - 12. Let f be j(0). Suppose -2*y - 330 = -2*r - 2*r, -5*r + y = -417. Suppose 8*k + r = k. Is f > k?
False
Suppose 3*z + 4*p = 162, 0 = -3*z - 0*p + 2*p + 162. Let n be ((-636)/z)/(8/6). Let x = -1631/186 - n. Which is smaller: 1 or x?
x
Let j be 150/(-2)*5/15. Let a = -10 - j. Suppose 3*c + 9 = 0, -68 = -5*g - 4*c - 5. Is a at most g?
True
Let s be (9/600)/((-29)/(870/72)). Let l(c) = c**3 - 4*c**2 - 4*c - 5. Let d be l(5). Which is smaller: d or s?
s
Suppose -250 = -5*l - 0. Let d be l/100 - (21/2)/(-3). Which is bigger: d or 3?
d
Let q = 5793973/15 - 386505. Let j be (-28)/7 + 122*2. Let b = j + q. Are b and 1 equal?
False
Suppose -4*c = -5*m + 20, 5*c + 25 = -4*m + m. Suppose 10*z - 5*z = m. Do z and 2 have the same value?
False
Let k = -433/140 + 106/35. Which is greater: k or 0?
0
Let h = 14 - 7. Let t = 5 - h. Let s = t - -1.9. Is s less than 10?
True
Let y be (-12)/30 - (-24)/10. Suppose 4*x + g - 20 = 3*g, -5*x + 24 = -y*g. Which is smaller: 5 or x?
x
Suppose -4*y + 44 = -0*t - 2*t, 2*t + 44 = y. Which is smaller: -0.1 or t?
t
Let k(v) = 2*v**2 - 32*v - 46. Let o be k(19). Is o greater than or equal to 68?
True
Let i = 69010/9 - 7656. Which is bigger: 11 or i?
i
Let c(h) = -h**2 + 6*h - 3. Suppose 0 = -5*n - 4*o + 33, o = 5*n - 21 - 2. Let s be c(n). Let k be -1*8/3 + s. Which is smaller: 1/2 or k?
k
Let b = -10 + 5. Let o = 6 + b. Let c = -1.55 - 3.45. Which is bigger: c or o?
o
Let v be (-3 - 280/(-75)) + -1. Is v greater than -0.06?
False
Let w = -4.17 - -6.17. Is -63 at most as big as w?
True
Let z = -8580082646 + 941072044705162/109681. Let v = -1/1859 - z. Which is bigger: v or 1?
1
Suppose 0 = -3*h - 4*d + 20, -4*h + 69 = 2*d + 29. Suppose -j - 1 = -11. Which is smaller: h or j?
j
Let l = -290 - -1733/6. Let y(d) be the third derivative of -d**5/60 + 5*d**4/24 - d**3 + 5*d**2. Let t be y(2). Is l equal to t?
False
Suppose 0 = -2*m - 4*q + 60, -q = 3*m - 46 - 19. Suppose -7*g - m = -12*g. Suppose 4*v - 8 = 2*s + 3*s, g*s - v = -2. Which is smaller: s or 0.6?
s
Let l = 0.64 + -0.24. Suppose o - 2*o - 5*n + 4 = 0, -5*n = 5*o. Let c(a) = -a**2 - a. Let r be c(o). Is r smaller than l?
True
Let z(l) = -l**3 + 9*l**2 + 24*l - 19. Let r be z(11). Suppose 2*w - w - 102 = -r*k, 0 = -3*k. Is 103 <= w?
False
Let m(b) = -2*b - 17. Let z be m(-10). Suppose -5*h + 28 = -z*v, -3*h = 4*v - h - 6. Which is smaller: -1/14 or v?
v
Let p be (0 + -1)*(15 + 0). Let m = -130 + 135. Suppose m*s - 3*q - 6 = -1, -3*q = s - 1. Is s not equal to p?
True
Let j(a) = -2*a**2 + 8*a + 7. Let f be j(7). Suppose 2*x + 92 - 264 = 5*k, -k = x + 40. Is f at least as big as k?
True
Let n(z) = -z**2 + 11*z - 12. Let d(x) = 4*x + 4. Let q be d(-2). Let c be ((-10)/3)/(q/12). Let a be n(c). Is -7/4 less than a?
False
Let r(i) = -6 - 3 - 4*i + 8*i**2 - 9*i**2. Let q be r(-5). Let u = 2 + q. Is -12 equal to u?
True
Let r = 48 + -47.834. Let n = 0.034 + r. Let x be ((-3)/9)/(2 - 1). Which is greater: x or n?
n
Let i = 520/3 - 16132/93. Let j = -19 + 20. Which is bigger: i or j?
j
Let u = 4.59 - 26.79. Are u and -0.2 equal?
False
Let m = -839 - -839.513. Is m at least 0.2?
True
Suppose 4*h + 1 - 5 = 4*u, 3*u - 4*h = -4. Let i be -2 - (-1 - (u - 3)). Is i != -18/7?
True
Let i be -3 + -4 + 16875/2412. Is i smaller than 1?
True
Suppose -2*h - l - 13 = 0, 2*h - 13 + 36 = l. Let w be (h/(-15) - 1)*-35. Let k = w + -14. Is k bigger than 2/29?
False
Suppose 4*c = 40 - 368. Let s be (-11)/55 - c/10. Do 0.1 and s have diffe