pose 0 = -2*o - 10, 3*o + 17 = -3*l - 1. Let h be 0 - l - (-9630)/29. Let s = h - 333. Which is smaller: s or 0?
0
Let g = -8025 + 56017/7. Which is smaller: -24 or g?
-24
Let g be (10/(-6))/(24/(-576)). Suppose -g = 13*z - 15*z. Which is greater: z or 19?
z
Let s = 192 - 195. Let b be ((-36)/(-7))/(-4) + 1. Which is smaller: b or s?
s
Suppose 0 = 4*o - 5*y + 3*y - 1772, 2*o - 3*y - 886 = 0. Suppose -657 - o = 5*f. Let d = 3741/17 + f. Is d <= 0?
False
Let d(v) = 9*v - 62. Let a be d(10). Which is bigger: a or 31?
31
Let z = -190 + 155. Which is greater: -33 or z?
-33
Suppose 272*a + 242 = 271*a. Which is smaller: -243 or a?
-243
Let w be 1 + 4/(12/9). Suppose -2*t + d = -6, 4*d - w - 8 = -t. Suppose 34 = -t*f + 3*i, -1 = -f - 0*f - 4*i. Which is greater: f or -6?
-6
Suppose -2*z - 2 - 3 = d, -4*d = -2*z. Let c = 2 + z. Let r be (12/(-132))/(5/(-75)) - 1. Which is smaller: r or c?
c
Suppose 39*w = 27*w + 72. Suppose -y + 2 = 0, 3*t + 5*y + 0*y = 34. Is w > t?
False
Suppose 0 = -5*x, 4*x = 5*m + x - 60. Suppose -8 = 4*b - m. Which is bigger: 0 or b?
b
Let u(m) = m**3 - m**2 - 8*m - 26. Let k be u(0). Is -28 at least k?
False
Suppose -q = h - 2*q + 2, -2*h - 3*q + 6 = 0. Let y = 270167/103 + -2623. Do h and y have different values?
True
Let a = 0.04 + -0.32. Let j = -13.72 + a. Let x = 14 + j. Which is smaller: -7/4 or x?
-7/4
Let o = 1030 - 1448. Do -419 and o have the same value?
False
Let s(p) = -41*p**3 + 7*p**2 - 11*p + 5. Let y be s(1). Which is smaller: y or -197/5?
y
Let i be 4*7/70 - 338/970. Which is bigger: i or 0?
i
Suppose 0 = k - 0*k + 3*j - 8, k - 8 = 3*j. Suppose -k = 4*l - 4. Let v be (l/(-13))/((-4)/(-8)). Is v < -1?
False
Let o(j) = -j**3 + 7*j**2 - 11*j - 5. Let r(k) = 3*k**2 + 3*k - 1. Let y be r(1). Let t be o(y). Let s be (-1)/((-2)/44*-2). Is t greater than or equal to s?
True
Let c(y) = 2*y - 25. Let x be c(11). Let k be (-54)/x*(2/(-3) - 0). Do -1 and k have different values?
True
Let g = 90 - 72. Is g at least as big as -1/2?
True
Suppose 27*z - 45 - 36 = 0. Which is smaller: 8/3 or z?
8/3
Let x(p) = -2*p**2 + 14*p + 2. Suppose 4*j = -5*r + 69 - 18, -2*r + 10 = -j. Let l be x(r). Is 2 greater than l?
False
Let s = 249 + -231. Is s bigger than 7?
True
Let m(x) = 6*x**2 + 28*x - 324. Let c be m(9). Are 412 and c equal?
False
Let t = 416 + -1235/3. Is 3 greater than or equal to t?
False
Suppose 4*k - 8*k = -96. Suppose 0*c + k = -4*c. Is -4 smaller than c?
False
Let q be (-2)/7 - 26/(-91). Which is bigger: 1/186 or q?
1/186
Let g = -0.5 - -1.25. Let p = g + 0.15. Let n = p + -1.1. Is n less than -0.01?
True
Let h(c) = c**2 + 7*c - 35. Let j be h(-12). Is 49/2 < j?
True
Suppose 58*h = 57*h + 631. Is 632 < h?
False
Let r = 67 - -163. Suppose 4*u - r = -u. Are u and 46 non-equal?
False
Suppose 2*g + 1 = -53. Let h be (-3)/3 - g/28. Is h at most as big as -1?
False
Let g = -1/253 - -1293/7084. Is -5 > g?
False
Let f be 172/304 - (-3)/(-12). Suppose -9 = -8*g - 1. Which is smaller: g or f?
f
Let t = 671 - 670. Let i be 4/6*2/(-314). Let x = i - 1385/6594. Which is bigger: x or t?
t
Let a = 13 - -13. Let g = a - 20. Are 2/9 and g unequal?
True
Suppose 0 = -0*j + j + 2*d + 5, 0 = -3*d - 3. Suppose -2*m = 1 - 5. Suppose i = 3*v + 14, 5*v = m*v + 2*i - 19. Does v = j?
True
Let h(s) = 2*s**2 - 22*s - 33. Let c be h(13). Is 19 > c?
False
Let y be (-3 + 3893/(-51))*(1 + -7). Which is smaller: 477 or y?
y
Let g = 869.1 + -812. Let j = 60 - g. Let p = 11 - 12. Is p less than or equal to j?
True
Let a = -151 - -84. Let f = 66 + a. Is -1/99 less than or equal to f?
False
Let q = 6 - 2. Suppose -5*c + 5*m - m = -19, -q*c - 2*m = -10. Suppose 0 = c*r + 3*r. Does r = 1?
False
Let z be ((-11)/(-3))/(((-119)/378)/17). Let g be 1/(-3) - 69/z. Which is bigger: -1 or g?
g
Suppose 5*q - 14 + 334 = 0. Let f = q - -125/2. Suppose -4*v = -6*v - 6. Which is smaller: f or v?
v
Let p be 0/(-2) - (0 - 1). Let i = 92/75 - 39/25. Is p >= i?
True
Let m = 49.5 + -49.09. Let f = 2.9 - 2.9. Which is smaller: m or f?
f
Let d(a) = 3*a**2 - a + 8. Let m be d(0). Let n be 74/m - (-12)/(-6). Which is bigger: n or 8?
8
Suppose 4*m + 4*s = -8, -4 = 2*m - 3*s + 7*s. Which is smaller: 2/417 or m?
m
Suppose -26*z + 19293 = 4733. Do 560 and z have the same value?
True
Suppose n + 2*p = 9, -3*n - 5*p = -2*p - 18. Suppose -2*v - 3*g + 19 = 0, -5*v = -0*v + n*g - 25. Is v less than or equal to 16/5?
True
Suppose -2*j + 98 = -2*g, 2*g - 4*j - 45 + 133 = 0. Which is smaller: g or -60?
-60
Let a be 12*(2 + -1)*-2. Suppose 5*g - 82 = 3*y - 22, -2*g = 6. Is a greater than or equal to y?
True
Suppose 20 = 5*x + 85. Let a(b) = -b + 9. Let d be a(9). Suppose -3*u - u - 52 = d. Are u and x equal?
True
Let w = 100.022 - 100. Let f = w + -0.022. Is f at least 0?
True
Let t = -8 + 15/2. Suppose -7*r + 84 = -3*r - 4*g, -r = -4*g - 18. Let o be (52/r + -2)/(-1). Which is greater: t or o?
o
Let t be (-2)/(8/30 - (-8 + 8)). Suppose 5 = -4*c - 27. Which is bigger: c or t?
t
Let q = -2674/391 + 160/23. Which is smaller: 14 or q?
q
Suppose 3*i = -3, 10 = x + 3*i + 6. Suppose -5*u = -3*u + 5*w - 2, -3*w = -5*u + 5. Let g(k) = 7*k**3 - k**2 + k. Let a be g(u). Is x less than a?
False
Let i = -9307/25 - -522/25. Let a = -353 - i. Is -0.1 less than a?
False
Let y(w) be the third derivative of 1/20*w**6 + 0*w + w**2 + 0*w**5 - 1/24*w**4 + 0 + 1/6*w**3. Let z be y(1). Which is greater: 7 or z?
7
Let u = -1325 + 1325. Is 7/41 < u?
False
Let x = 708 - 2743/4. Is 22 equal to x?
False
Let l be 4/(16/108) + -1. Suppose 3*x = -2*b - l, -5*b - 11 = -3*x + 6*x. Let a be (-9)/x*(-4)/6. Which is bigger: -2 or a?
a
Let g be (-32)/(-32)*292/(-1). Is g less than -291?
True
Suppose 2*o = -2*o + 12, -3*p + 4*o = -6. Is p less than 46/9?
False
Let y be (6/28)/((-3)/(-12)). Let p be ((-1785)/196 - -9)*(-62)/(-6). Let k = p + y. Is 1/19 greater than or equal to k?
True
Suppose 3*r - s = -10, -2*r + s - 3 = 4*s. Let l be (r - 795/(-114)) + -4. Which is greater: 1 or l?
1
Let g = -948 + 948.1. Which is greater: -372 or g?
g
Let s = 196.842 + 0.158. Let f = s - 212.1. Let m = f + 15. Which is bigger: m or 5/2?
5/2
Let n(h) = -24*h + 38. Let m be n(-9). Let q = m - 1784/7. Let a = -1 - -1. Which is smaller: a or q?
q
Suppose s - 4*m = 1454, -5*s - 4*m = -6458 - 884. Are s and 1467 nonequal?
True
Let u be (595/125 + -5)*-2. Is u at least -1?
True
Let t be (-4 - -9) + 4/4. Let y(z) = -z - 11. Let d be y(t). Let k = d + 12. Which is smaller: -21/5 or k?
k
Let t = -0.74 + 0.9. Let g = t + 0.08. Let q = g - 0.34. Is 7 > q?
True
Let g(p) = p**3 + 3*p**2 - 3*p + 3. Suppose 0 = -14*q + 9*q - 15. Let b be g(q). Let v be b/(-3) - 28/(-6). Is v less than 2?
True
Let j be 5 + -9 + (-21)/(-3). Suppose -4*o - 2*k - 2*k = 116, j*o - 5*k = -79. Let x be (-304)/o - (-4)/28. Which is greater: x or 10?
x
Suppose -r + 5*i - 1 = 4, -3*r = i + 15. Are r and -35/6 nonequal?
True
Let y(r) = -2*r**2 - 9*r - 2. Let z be y(-7). Do z and -37 have different values?
False
Let i be -1 + ((-8)/(-4) - -1). Suppose -5*z - 2*f = 0, -2*f + 2 = i*z + 8. Suppose z*q = 7*q. Is q less than or equal to 1?
True
Suppose -3*i - a = -4836, 3*i - 5148 = -2*a - 309. Is i less than 1611?
False
Suppose 0 = -3*o + j - 28, -o + 2*o + 5 = -4*j. Let m(d) = -d**3 - 3*d**2 - 3*d - 2. Let a be m(-2). Let y be (a - 24)*(-3)/(-9). Is o not equal to y?
True
Let m(y) = y**3 + 10*y**2 + 28*y + 46. Let f be m(-7). Let s = -2 + 0. Which is smaller: s or f?
f
Let y = -26 + -62. Let m be ((-1)/4)/(2/y). Let g(b) = -b**2 + 11*b. Let v be g(m). Is -1/10 at least as big as v?
False
Let u = 46 - 47. Let w = -0.07 + 0.57. Let c = 0.5 + w. Which is bigger: c or u?
c
Let o(c) = -16*c - 21. Let b be o(3). Which is bigger: b or -68?
-68
Let r be 12/(-22) + -15*(-978)/27500. Are r and 1 equal?
False
Let y be (18/(-207))/(-4*25/(-16)). Is y bigger than 1?
False
Let i = -25.1 + 39. Let y = i + 0.1. Let h = -14 + y. Is 0 smaller than h?
False
Suppose -24 = 4*m + 104. Let z = m + 25. Is z at most as big as -7?
True
Suppose -2*n + 8 = -0*n - u, 0 = -4*u. Suppose 3*w + n = 5*w. Suppose -12 = -w*o + 2. Which is bigger: 5 or o?
o
Let p = 0 + -10. Suppose a - 3*s + 10 = 0, 3*a + s - 10 = 4*a. Is p > a?
False
Let a be (-2*3 + (-24)/(-6))/(-213). Is a at most as big as -1?
False
Let o = -2.3 - -52.