k = -2183 + 63294/29. Which is smaller: -1 or k?
-1
Suppose 0*c + 3*c = -54. Let b = c - -22. Suppose -61 = 5*i - b*o, 5*i + 4*o + 69 = -0*o. Is i >= -14?
True
Let n = -61/6 + -5/2. Let q = n + 12. Let c = -47.9 + 48. Does c = q?
False
Let n = -34569/10024 - -195/56. Which is smaller: 0 or n?
0
Let n be (167 - 1)*(-79)/474. Is -28 < n?
True
Let y = 12 - 19. Let f = 375 + -370. Is y smaller than f?
True
Let j = 1578 + -1576.92. Are j and -0.4 nonequal?
True
Let j(z) = 3*z**2 - 50*z - 73. Let d be j(18). Which is greater: 6/55 or d?
6/55
Let s(q) = -3*q - 1. Let g be s(-1). Let a be ((-110)/15)/(-4 + g). Suppose -2*u = 10, -29 = -4*y + 3*y + 5*u. Which is smaller: a or y?
a
Let p be 9 + -9 + (-4)/(2 + 6). Which is smaller: p or 40?
p
Let k be (180/189)/(-5*(-6)/45). Let t = 6 + -4. Which is greater: k or t?
t
Let d = 52.2 + -42. Let p = -31 + 41. Let x = d - p. Is 5 > x?
True
Let q(i) = -3*i**2 - i + 20. Let d be q(-5). Which is greater: -48 or d?
-48
Suppose 3*j + 6 = 3*p, 3*p = -j + 4 + 18. Suppose 1 = p*x + 1. Is x at most as big as -2/23?
False
Let j = -208.2 + -436.8. Is j at least 0?
False
Suppose -3*p = -8*p + 140. Let h be ((-25)/(-10))/(p/32). Which is bigger: h or 2?
h
Let d(s) = -s**3 + s**2 + 3*s + 4. Let c be d(3). Let b be 4/10 + 67/c. Let v be -7 + (-10 - (-15 + 10)). Which is smaller: b or v?
b
Let u = -0.25 - 0.75. Let k = -0.1 - 0.6. Let a = k + 0.6. Is u smaller than a?
True
Let g be ((-30)/(-2))/((-9)/(-6)). Let s(q) = -3*q - 2. Let c be s(-4). Is g smaller than c?
False
Let t(u) = -u**3 + 18*u**2 + 20*u + 1. Let y be t(19). Suppose -2 = k - y. Is k at least 18?
True
Let j(u) = -1 + 4*u - u**2 + 3*u**3 + 2*u**2 - 4*u**3. Suppose -t + 2*f + 10 = -3, 10 = -2*f. Let d be j(t). Which is greater: d or -5?
-5
Suppose -y = 4*g + 50 + 21, 2*g = 2*y - 38. Let s be -12*5/10*3. Is g < s?
False
Let z(s) = s**2 + 13*s + 36. Let q be z(-3). Suppose -20 = -2*t - 2*i, 2*t + i = 3*t - 2. Is q smaller than t?
False
Let x = -314 + 314.1. Which is smaller: -1/238 or x?
-1/238
Suppose 6*h + 5 = 23. Suppose -h*a - 5*s = 140, -a - 4*a - 226 = s. Do -45 and a have the same value?
True
Let n be -10*4/112*-106. Let o = 38 - n. Let d = 13 + -13. Which is smaller: o or d?
d
Suppose 5 = 11*c - 16*c. Which is smaller: 3/32 or c?
c
Suppose -4*q = -5*y + 2556, -5*y - q + 1088 = -1448. Is y >= 508?
True
Let j = 152 + -147. Suppose -j*x + 140 = -19*x. Which is bigger: x or -9?
-9
Let o = 0.06828 - 0.16828. Let z = 60 - 34. Is o at least as big as z?
False
Let p = -1.1 - 4.8. Let i = 0.8 - -5.2. Let o = i + p. Is o >= 0.1?
True
Let s = -1.3 + -8.64. Let f = 10 + s. Let d = 0.16 - f. Is 0 bigger than d?
False
Let u(c) = 7*c**2 - 26*c + 7. Let q be u(3). Let v = 8 + -15. Are q and v equal?
False
Let l = -1294 - -19739/15. Let m = l - 137/6. Let r = m + 13/10. Which is bigger: r or 0?
r
Let o = 10249840/383 + -26762. Is o at most as big as -1?
False
Suppose -2 + 7 = n, 0 = 4*a + 2*n - 94. Suppose -a = 4*u - 109. Which is greater: 23 or u?
23
Let g(m) = -14*m + 6. Let w be g(-3). Let q be (-4)/(-6) - 2*(-5)/w. Which is greater: 1 or q?
1
Let y be (5 + -1)/4*-2. Let j be 26/(-12) - 3/y. Which is smaller: -1.2 or j?
-1.2
Suppose 0 = 17*t - 166 - 208. Is t >= -0.1?
True
Let f = 0.131 + -0.093. Let r = 3.038 - f. Are 0.5 and r equal?
False
Suppose 57*p = 53*p - 172. Which is greater: p or 3?
3
Suppose -5*g = -2*n - 552, -15*g + 132 = -14*g + 5*n. Is g at least 116?
False
Let h = 158 + -167. Let y be (-4)/(-33)*h/(-2). Let b be (1/1)/(1/1). Are y and b equal?
False
Let d = -2895/4508 + 32/49. Does 4 = d?
False
Let w = -65 + 64. Let p(f) = f + 1. Let d be p(w). Let m = -2 + 0. Which is greater: d or m?
d
Let b = -5957/3 - -1985. Is b >= 182?
False
Let j = -22 - -24. Suppose 80 = -j*z + 7*z. Let t be (-12)/z - (-44)/16. Is t greater than 6?
False
Let h(q) = -2*q**3 + 20*q**2 - 77*q - 2. Let y be h(5). Which is bigger: y or 6?
6
Let v be 2165/10*-5*2. Let o = v - -8573/4. Let j = o + 577/28. Do -1 and j have the same value?
False
Suppose 5*q = 3*n - 15 - 10, 2*n - 4 = -3*q. Let x be (6 + -6)/(0 - (-2 + 1)). Suppose -8*i + 0 + 48 = x. Which is greater: i or n?
i
Let m be (5 - (-77)/(-7))/(1*-6). Are -1/479 and m non-equal?
True
Let m be (91/(-65))/(3/(-45)) - 4. Which is bigger: 3 or m?
m
Let j(y) = y + 1. Let q be j(0). Let x = -1.87 + 2. Let k = -0.14 + x. Which is bigger: k or q?
q
Suppose 9 = -9*x + 12*x. Let w(j) = -7*j + 2*j**x - 6*j**2 - 4 - 2*j - 3*j**3 + 3*j. Let i be w(-5). Which is greater: i or -2/33?
i
Let c = 15 - -4. Let h = 22.81 + -2.81. Let n = c - h. Which is bigger: n or -0.3?
-0.3
Let j be -43 + 9 - 63/(-9). Is -25 >= j?
True
Let d = -10 + 12. Suppose d*p + 25 - 57 = 0. Is 16 less than p?
False
Let b(y) = -y**2 + 3*y + 10. Let s be b(5). Which is smaller: s or -1/752?
-1/752
Let t be (8/(-20))/((-2)/5). Let a(u) = -6*u**3 - u**2. Let l be a(t). Which is bigger: -8 or l?
l
Let r = 339.5 + -340. Let c = -6 - -8.5. Let m = c + r. Is -2/25 < m?
True
Let q(w) = -w**3 - 19*w**2 + 20*w. Let p be q(-20). Is 36/25 at least as big as p?
True
Let h(g) = -4*g**2 + 1. Let j be h(-1). Let q be ((-27)/(-9) - 4/(-1)) + 1. Suppose 4*s = 2*v - q, -2*s - 5*v - 6 = 10. Is s != j?
False
Let u = 33 + 2. Suppose -7*j = u - 98. Which is smaller: j or 12?
j
Suppose -t - 1 = 1. Let c be (-2660)/(-931)*2/(-4). Is t equal to c?
False
Let o(z) = -7*z + 36. Let f(m) = 6*m - 34. Let v(w) = 4*f(w) + 3*o(w). Let r be v(10). Is -5 < r?
True
Let g(j) = 3*j + 19. Let i be g(-6). Which is smaller: i or 0?
0
Let s be ((-186)/8)/(2/(-8)). Let m = -161779/6 - -27056. Let n = s - m. Is -1 > n?
False
Let j be (-30)/(-18)*-54*5/(-25). Is 26 at most j?
False
Let a = -79 + 79. Suppose -2*k - 21 - 7 = a. Which is smaller: k or 0.2?
k
Let y = -0.286 + -10.714. Which is smaller: y or -2/7?
y
Let l be (-4)/6 - 15/(-9). Let n = -87/620 + -709117/5580. Let g = 127 + n. Which is smaller: g or l?
g
Suppose 0 = -t - t + 24. Let b be (3/t)/(4/(-228)). Let r = 15 + b. Which is bigger: r or -0.3?
r
Let m = -37 + 37.042. Let v = m - -0.958. Which is smaller: 3.8 or v?
v
Suppose 5*g + 243 = 213. Let k be -8*(-2 + 3/1). Which is greater: k or g?
g
Let t be (30/(-120))/(2 + (-1 - -2)). Which is bigger: t or 7/6?
7/6
Let m = 1535/204 - 79/12. Is m <= 0?
False
Let a be -3*2*(-2 + 3). Let v = a - -2. Suppose 0 = 56*t - 47*t + 27. Is t bigger than v?
True
Let t = -636 + 551. Is t less than or equal to -2/5?
True
Let b = 489 - 489.2. Do -16.4 and b have the same value?
False
Suppose -68 = 110*v - 42*v. Let b = -6178/115 + 266/5. Do b and v have the same value?
False
Suppose -4*t + 3*t - 19 = -5*j, -j - 49 = 2*t. Which is smaller: t or -68/3?
t
Let s(n) = -n**3 + 4*n**2 + 14*n - 34. Let o be s(6). Is -27 > o?
False
Let l = 12.4 + -2.1. Let d = 8.3 - l. Which is smaller: 14 or d?
d
Let h = -3 + 6. Suppose 0 = 6*s - 30 - 0. Suppose 5*m = -2*l + s*l + 3, -3*l = 3*m - 21. Is l <= h?
False
Suppose 0*q - 1 = -q. Let t be (-160)/(-32) + (-36)/7. Which is greater: q or t?
q
Suppose 49*p - 53*p + 8 = 0. Suppose i + p*t - 6 = 6, i + 13 = 3*t. Which is bigger: i or 5?
5
Let w be -2*(3 + (-14)/4). Let f be 42/(-160) + (-1)/(-5). Is w <= f?
False
Let k = -11 + 18. Suppose 5*h + 77 = 37. Let r be k/28 + 26/h. Is -1 greater than r?
True
Let l(j) = -j**2 + 6*j - 2. Let z be l(6). Let c be (69/5)/(-3) - (z + -2). Which is greater: c or -12?
c
Let p = -18 + 26. Let a = -7 + p. Let f be (a/1)/(15/(-15)). Which is smaller: f or -22?
-22
Let b = 66 + -48. Suppose 5*o - b = 12. Which is bigger: o or 7?
7
Suppose 50*l - 55*l = -q - 6, 2*l + q = 1. Which is smaller: l or -1/57?
-1/57
Let n = 11.5 - 16.5. Do n and -24 have the same value?
False
Let k = -0.07 + 0.37. Let u = 0 - -0.2. Let p = k - u. Is p bigger than 2?
False
Suppose -12 = -4*y, 0 = -s - 3*s - 2*y + 14. Let i = -12 + -15. Let d be (-12)/i*3/2. Is s at most as big as d?
False
Let u(i) = i**3 + 8*i**2 + 4*i + 1. Suppose 0 = 4*q + 2 + 26. Let y be u(q). Let m = y - 24. Is m at least as big as 10?
False
Let y = -1377 - -1392.01. Let h = 15 - y. Let s = -3 - -2. Which is greater: h or s?
h
Let x = 0.12 + 5.88. Let o = -154 - -154.1. Does o = x?
False
Let a = -1534 + 1534. Does a = 7/12?
False
Let n = -475.96 + 477. Which is smaller: n or -2/9?
-2/9
Let j = 21 - 28. Let g be 28/