 v = 291315152/3341 + -87194. Which is smaller: v or 0?
v
Suppose 28*h = -20*h + 48. Is h smaller than 1/2571?
False
Let d be (5/2)/((-1772)/(-304) - 5). Let x = -28/9 + d. Is x bigger than 1?
False
Let u = 1215 - 646. Is 0 <= u?
True
Let q = 2167/5 + -301253/695. Let u = q + 938/1807. Let v(i) = 7*i + 15. Let o be v(-2). Is u bigger than o?
False
Suppose 2*m - 241 + 209 = 0. Suppose -4*z = 5*c - 70, -3*c = c + 4*z - 56. Which is smaller: c or m?
c
Suppose 6 = -3*j + 3*n, -2*j + 4*n = -j + 17. Suppose -13 = -5*d + s, 7*d - 3*d + 3*s + 1 = 0. Let o = d - j. Which is smaller: o or -2/25?
o
Let d be 1/(-2) + (-12)/(-20). Let t be (-22)/(-14) - 4/7. Suppose -5*i + r = t, 2*r + 9 = -5*i + r. Is d != i?
True
Suppose -1 = 3*k - 7. Let b be 1 - (-2)/k - 2. Let c = -12832/23 - -558. Which is greater: c or b?
c
Let y be (2/(-6))/(9/1269). Let v = 46 + y. Which is bigger: v or -38?
v
Suppose 23 - 65 = j. Let t be (-28)/j - 20/(-6)*4. Do 15 and t have the same value?
False
Let f = 28 + -25. Is f >= 17?
False
Let p = -44 + 43.2. Let r = -0.4 - 0.6. Let l = p - r. Is 0.2 at most l?
True
Let y = 1015390/11 - 92461. Let l = y + 153. Which is greater: l or 0.2?
0.2
Let d = 1065 - 549. Are 517 and d non-equal?
True
Let r(z) = 4*z + 45. Let x be r(-16). Let d = x + 20. Is d less than 3?
True
Let l be (-392)/(13 + 4 + -16). Which is greater: l or -390?
-390
Let w = -726 + 3631/5. Which is smaller: w or -2?
-2
Suppose -4*l - 150 = 11*l. Let k be 2 + 2 - 5 - l. Which is bigger: 3/2 or k?
k
Let w = 697/6 + -209/2. Which is smaller: 12 or w?
w
Suppose -p = -6*p. Suppose 3*u - 7 - 8 = p. Suppose -4*r - 28 = -4*n, -5*r = -n + 2*n + u. Which is smaller: 4 or n?
4
Suppose -9*p = p + 620. Let m be (-2)/2 - (2 + p/24). Is m <= -1?
False
Let a = 108 - 179. Are a and -4 nonequal?
True
Let t(o) = o**3 + 4*o**2 - 6*o - 6. Suppose 0 = f - 0*f + 1. Let p be -9 - f - (-7 + 4). Let a be t(p). Which is smaller: a or 1?
a
Let b be 24/(-42) - (-6884)/17388. Let y = 1/621 + b. Which is smaller: y or 0?
y
Let s = 11846 + -11846.1. Suppose -14 - 69 = -5*q + a, -2*q - 3*a + 23 = 0. Which is bigger: s or q?
q
Let c be 1 - -8*(-4)/2. Let p = -11 - c. Suppose 0*g + 4*g - 2 = 2*r, 0 = r + 2*g - 7. Is p smaller than r?
False
Let t be 14/(-42) - (-11)/12. Let f = 85/84 - t. Let m = 2 - 0. Do f and m have the same value?
False
Let b = 40 + -10. Let w = 29 - b. Which is smaller: 8 or w?
w
Let a = -29 - -30. Let y be 2 - 4/(-30) - 2. Which is smaller: y or a?
y
Let k = -34 + 10. Suppose -2*b = 3*u - 33 + 5, 70 = 5*b - 4*u. Let x = k + b. Are x and -10 unequal?
False
Let v = -2 - 1. Let w(g) = g**3 - 5*g**2 - 5*g - 4. Let u be w(6). Suppose -y + 5*j = 24, j + 6 = -u*y + 2. Which is smaller: v or y?
y
Let u be (3/(-14))/(96/112). Is u >= 57?
False
Let j(l) = l**2 - 6*l + 10. Suppose 0 = -4*b - 3*m + 22, 5*m = 3*b + m - 4. Let q be j(b). Let n be 0 + (-4 + q)/1. Which is greater: n or -4?
n
Let l = -8 + 15. Suppose -4*y - 1 = l. Let o be (y/12)/(2/(-12)). Is o less than 3/4?
False
Let d = -1708 - -1708.12. Is d greater than 10?
False
Suppose -5*s + 55 = 2*d, 3*d + 68 = 3*s + 14. Let w(q) = 6*q - 21*q + 11*q + s. Let u be w(4). Is -11/5 equal to u?
False
Let g = -35729/56 - -638. Which is greater: 2/3 or g?
2/3
Let y be 722/8 - ((-38)/8 - -5). Is 91 >= y?
True
Let b = 56.2 + -56. Let m = -0.1 + 0.1. Let f = -2 + m. Which is smaller: b or f?
f
Suppose -t - 4*i + 10 = -7, 3*t - 37 = -5*i. Let x be (10/(-6))/(6/t). Suppose -3*o - 17 = -m - 2, -5*o - 25 = -5*m. Which is smaller: x or m?
x
Let a = 369 + -369. Which is smaller: a or -6/7?
-6/7
Let j(w) be the second derivative of -w**3/2 - 3*w**2/2 - 3*w. Let v(y) = -5*y**2 + 5*y + 3. Let k be v(-1). Let o be j(k). Which is greater: o or 17?
o
Let y = -275 - -277. Which is bigger: -0.59 or y?
y
Let b be (-24)/30 + (-1052)/10. Let v = 94 + b. Which is smaller: -17 or v?
-17
Let c = -2 + -8. Let g = -25 - c. Is g smaller than -14?
True
Let b = -0.29 - 0.81. Let i be 35/(-9) - (-1 + -2). Let n = i + 7/18. Is b less than or equal to n?
True
Let d(k) = -k**2 - 94*k - 312. Let h be d(-91). Let b = -7 + -32. Is b != h?
False
Let n be 4/1*8/(-336). Is n > 0?
False
Suppose q + 4 + 6 = 4*s, q - 2*s = -4. Let g be 2/q*6/2. Suppose g*i - 5 = 19. Which is smaller: i or 7?
7
Let n be (0*((-1)/(-1))/(-2))/3. Which is bigger: n or -68?
n
Let t(o) = -2*o**2 - 4*o - 2. Let a be t(-2). Let x be a/9 + (-114)/(-27). Suppose r = -1 + x. Is r less than 4?
True
Let r = 506 + -899. Let a be ((-75462)/64)/3 + 0. Let d = a - r. Is d < 0?
True
Let h be (-75229)/125125 + -1 + (-8)/(-5). Is h < -1?
False
Suppose -3*q - m + 6 = 0, q - 4*m + 9*m = 2. Suppose -18 = -q*i + 5*i. Which is bigger: -5 or i?
-5
Let h(z) = 77*z + 1. Let s be h(0). Is 1/81 at least s?
False
Let n = -150 + 1652/11. Let c be 2 + (-17 - -19)*(-8)/6. Which is bigger: n or c?
n
Suppose 3*p = -8 - 16. Which is greater: -18 or p?
p
Let o = -340 - -248. Do o and -92 have the same value?
True
Let a(l) = -4*l**3 - 73*l**2 + 21*l - 20. Let v be a(-19). Do 667 and v have the same value?
False
Let x be 18/(-4 - -2) - 3. Let v(g) = g**2 - 8*g + 12. Let k be v(8). Let z = k + x. Is z equal to 2/11?
False
Suppose 0 = 2*g + 45 + 99. Is -1/3 at least g?
True
Let j = -9871/1452 + 224/33. Let o = j + -7709/3388. Which is smaller: 1 or o?
o
Let d be 43 - (0 + -2 + -2). Let c = d + -46. Is 22/9 greater than or equal to c?
True
Let x be (474/126*7)/(1/(-6)). Which is smaller: -156 or x?
x
Suppose -5*p - 9 = -2*p, v + 21 = -4*p. Let y = v - 3. Let g = 11 + y. Which is smaller: 12 or g?
g
Let m = 39 + -27. Suppose -9*q + m = -7*q. Suppose -4*l - 22 = -q*l. Which is greater: l or 10?
l
Suppose -i = -5*o - 95, -7*i + 12*i + 5*o - 325 = 0. Is 70 greater than i?
False
Let m(u) = -u**3 - 4*u**2 + 3*u + 5. Let k be m(-4). Let v = k - 4. Which is smaller: 1 or v?
v
Let d = 19 - 25.5. Let a = d - 0.7. Let y = -7 - a. Which is greater: y or 2/11?
y
Let x be (-30)/5 + 7 - (-1 - 19). Is 19 at most as big as x?
True
Let z(b) = 6*b - 42. Let t be z(7). Let y(n) = n**3 - 2*n**2 + n. Let g be y(t). Is -1/40 equal to g?
False
Let v be ((-1)/5)/(77/(-55)). Let w = -8 + 4. Which is greater: w or v?
v
Let w = -264/5 + 53. Which is smaller: -4 or w?
-4
Suppose -k - s + 8 = -0*s, -3*s - 20 = -k. Let f(a) = -4*a. Let c be f(k). Let o = c - -130/3. Which is greater: o or 5?
5
Let a = 142/39 - 56/13. Is a smaller than -2/17?
True
Let q = 961.3 + -961. Which is smaller: 2/193 or q?
2/193
Let v be 3/(9/(-249)) - -4. Are -79 and v unequal?
False
Let i = 144 - 148. Let t = -17/4 - i. Suppose 0*p + 3*v - 15 = -p, -5*v = p - 25. Is p at least as big as t?
True
Suppose 162 = 4*n + 5*n. Is n <= 18?
True
Let o = -10/319 + -512/319. Let i be -3 + (2 - 0 - -2) + -2. Which is greater: i or o?
i
Let u = 61 + -59. Suppose -b = -4*z - 1, 3*b - u*b - 5*z = 1. Is 14/11 at most b?
False
Let j = 4/67 + -1007/6767. Are -1 and j equal?
False
Let v be (1 + -1)/3 - -3*2. Let d(m) = 2*m**3 - 11*m**2 - 7*m + 9. Let l be d(v). Is l != 12?
True
Let j be -1*(35 + 1 + 1). Let f = j - -25. Let v be 1*(0 - f/(-11)). Is -1 > v?
True
Suppose 0 = 7*k + 209 + 57. Is k <= -276/7?
False
Let u be 3 - (37 - (-13 - -6)). Which is bigger: u or -374/9?
u
Suppose s + 1 = o, 2*o + 3 = 4*o - s. Suppose -3*b - 2*t + t - 2 = 0, -b - 3*t = -o. Which is greater: -28/19 or b?
b
Let y = -0.044 - 41.956. Let r = 41.96 + y. Is r at most as big as -2/5?
False
Suppose -82*y = -107*y + 3075. Which is smaller: y or -2/3?
-2/3
Suppose 0*t + 44 = 2*t. Let s = t + -24. Let d(c) = -c**3 + c**2 - c. Let l be d(0). Which is bigger: s or l?
l
Let p(z) = 4*z**2 + 53*z + 10. Let h be p(-7). Is h greater than -165?
False
Let i be (-9)/20*-8 + (-2)/(-5). Which is bigger: i or 13?
13
Let t = -26 + 25.28. Let y = t + 0.7. Let o = y - 0.08. Which is greater: -0.2 or o?
o
Let d(z) = -z**2 - 4*z + 31. Let f be d(-8). Let t = -182 + 10921/60. Which is smaller: f or t?
f
Suppose -4*c - 2*y = 304, -155 + 65 = c - 3*y. Let t = c + 98. Is -1 at least t?
False
Let y = 209.22 - 209. Which is greater: -5 or y?
y
Suppose -3*t - 1 = 2*i, 5*t + 4 = -5*i - 6. Let a(z) = 18*z**t + 6*z**2 + 20*z**3 - 37*z**3 - 11. Let b be a(-5). Is -1 less than or equal to b?
True
Let u be 1 + (2140/(-45) - 4/(-18)). Let f = -47 - u. Are f and 0.9 equal?
Fa