er: -1 or t?
t
Let t(y) = -8*y + 11. Let z be t(-2). Which is smaller: -1/4 or z?
-1/4
Let a = -52 - -30. Let j = 11 + a. Which is bigger: j or -12?
j
Suppose 2*u + 2*h + 30 = 0, -3*u + 3*h = u + 25. Is u less than or equal to -11?
False
Let m be -1 - (1*-2)/2. Suppose m = 2*g - 9 + 1. Suppose 0 = -t + 4. Is g smaller than t?
False
Suppose -6*y = 5*y + 44. Which is smaller: 27 or y?
y
Suppose -4*t - t - 16 = -u, -3*u = t + 16. Let n = -3 + t. Let l = n + 7. Which is greater: l or 1/5?
1/5
Suppose 5*g + 5*f = 4*f - 6, 0 = -3*g - f - 4. Which is smaller: -3/7 or g?
g
Let o(c) = -c**2 - 8*c - 2. Let z(s) = s**2 + 8*s + 2. Let m(h) = -6*o(h) - 7*z(h). Let l be m(-8). Is l greater than or equal to -4?
True
Suppose -2*x + 60 = -5*d, 0*d - 24 = 2*d - x. Is d < -1?
True
Let b be (-32 + 77)*1/3*1. Are 14 and b unequal?
True
Suppose 0 = 2*u - 3*k + 4*k + 2, 2*k = 3*u - 4. Suppose u = -4*z + 2*n + 1 + 1, -2*z - 2*n = -16. Suppose -z*q = -2*q. Which is smaller: 1 or q?
q
Let l be 2/(-7) + 454/4480. Let z = l + -1/64. Let d(u) = -u + 12. Let b be d(11). Is b less than or equal to z?
False
Suppose -5*g - 14 = 21. Which is smaller: g or -15/2?
-15/2
Suppose 5*z = 5*k - 5, 4*k + 3 = z + 5*k. Let h be (-11)/13*64/(-182). Let r = -2/169 + h. Is z smaller than r?
False
Suppose 14*d = -959 + 2597. Is d at most as big as 116?
False
Let k(i) = 3*i - 10. Let n(z) = -z + 3. Let o(w) = 6*k(w) + 17*n(w). Let q be o(11). Is 6 at most q?
False
Suppose 0*b + 14 = -i + 4*b, -14 = 3*i - 5*b. Which is smaller: -1/2 or i?
-1/2
Let j be (-244)/(-70) + -2 - 4/14. Which is bigger: j or 1/4?
j
Let r(w) = -w**2 + 9*w - 2. Let o be r(9). Let z(n) = -n**3 - 3*n**2 - 4*n - 2. Let v be z(o). Which is greater: v or -2/3?
v
Suppose -19 = -4*y + 1. Which is bigger: y or -0.1?
y
Suppose -5*v + 13 = -3*r, -3*v + 4*r - 4 = -7*v. Let d(j) = j**3 + 2*j**2 - 5*j - 5. Let u be d(-3). Does v = u?
False
Suppose 4*s = -2 - 14. Let f = s - -7. Suppose 5*h - f*q + 17 - 42 = 0, -4*q + 25 = 5*h. Which is smaller: h or 4?
4
Let s = -0.12 + 0.03. Let h = s + -0.19. Let q = h + 0.08. Which is smaller: q or 1/3?
q
Let n = 11.75 - -0.25. Let u = n + -11.9. Which is bigger: u or 7?
7
Let p(u) be the third derivative of u**5/60 - u**4/8 - u**3/6 - u**2. Let q be p(3). Are q and -2 non-equal?
True
Let h = 0.79 - 0.69. Which is smaller: -4/9 or h?
-4/9
Let h = 413 + -23539/57. Is 1 at most as big as h?
False
Let c = -53/193 - 115130/1737. Let i = c + 67. Let m = -19 - -19. Which is smaller: m or i?
m
Let i be 80/(-50) - 4/10. Which is smaller: i or 1/2?
i
Let n = 1/7 - 2/21. Which is bigger: 0 or n?
n
Let q = 18/11 - 43/33. Suppose -4*n = -3*v, 3*n + 4 = 4*v - n. Suppose -3*k + 3 = -k + 3*b, 0 = v*k + 5*b - 5. Which is smaller: k or q?
k
Let q(m) = m**2 + m + 6. Let u be q(0). Let g(a) = -a**2 - 10*a - 11. Let j be g(-8). Which is greater: u or j?
u
Suppose -4*k + 2*h - 52 = 0, -2*k = -6*k - h - 52. Let a be 9/((-135)/24) - -2. Which is smaller: a or k?
k
Let z = -2 - -1. Suppose 4*u + 1 + 3 = 0. Does z = u?
True
Let y be (1 - (-6)/2) + -3. Do y and 4/11 have the same value?
False
Suppose -4*j + 9*d - 6 = 4*d, 5*j + 2*d = 9. Let i(t) = -t - 1. Let s be i(-4). Suppose 0 = -s*x + 2*l + l + 18, 3*x = -l - 2. Are x and j unequal?
False
Let x = 121 - 1817/15. Which is greater: x or 1?
1
Let l = 3.8 + -3.7. Which is greater: 0.056 or l?
l
Let i(z) = -11*z - 11. Let u(h) = 5*h + 5. Let m(j) = -4*i(j) - 9*u(j). Let s be m(-2). Which is greater: s or 1/12?
s
Let y = 15 - 11. Let k = 0 - -2. Let o = k - 1. Which is smaller: y or o?
o
Suppose -17 - 3 = 5*u. Which is greater: u or -3?
-3
Let l = 1097/18 - 61. Which is greater: l or 1?
1
Suppose z + 1 = a + a, -4*z + 3*a + 1 = 0. Let v = 1/35 + -3/7. Which is greater: z or v?
z
Let h(j) = -j**3 + 6*j**2 - 5*j + 4. Let z be h(5). Suppose 3*y - z*y = 0. Suppose 2*l - 4*l = y. Is l bigger than 3/5?
False
Let u = -76 - -87. Which is greater: -2 or u?
u
Let b be (-2)/4*(-1 - -7). Suppose -24 = -2*z - 4*d, 2*z = -3*z - d + 15. Let a be b + (2 - z) + 0. Is a less than or equal to -3?
True
Let q = 465 - 461.93. Let s = q - 3. Let c = -0.03 - s. Is 0.3 < c?
False
Let v be ((-1)/2)/(-4*3/(-24)). Which is smaller: v or -19?
-19
Let r = 45 + -45. Let y = 0.1 - 0. Is r > y?
False
Let v = -0.4 - 5. Is v < -2/5?
True
Suppose 4*i - 212 = 136. Let n = -437/5 + i. Is 0 <= n?
False
Let r = -5 - -6. Let m = 0.8 - r. Which is smaller: -1/4 or m?
-1/4
Let s be (-1)/(-3)*(1 - 4). Which is smaller: 2/11 or s?
s
Suppose -2*p + 2 = -5*t + 2*t, -4*t + 3*p - 4 = 0. Is t greater than 3/2?
True
Let j = 0.09 + -0.07. Let g = j - 0.03. Is -0.1 != g?
True
Let v = -8 - -12. Is v smaller than -0.1?
False
Let c be 1 + -2 + (-10)/(-2). Let v be c/8*(1 + -1). Suppose v*h + h = 0. Which is bigger: h or -1/7?
h
Let w = -3.56 - -1.62. Let j = -0.06 + w. Let x = 12 - 13. Which is bigger: j or x?
x
Suppose 0 = -2*u + 3*u - 2. Let m be (4 - 5)/(1/(-3)). Suppose -m - 1 = -2*y. Is u less than y?
False
Suppose 4*m = 2*s + 8, m - 5*s = -0*s + 20. Suppose m = -y + 5*v - 6, 0*y = y - v + 2. Is y bigger than 0?
False
Suppose 6*g = 2*g. Are g and 2/317 nonequal?
True
Let u = -37/3 - -475/39. Let x = -4.7 + -1.3. Let j = -5 - x. Which is bigger: u or j?
j
Let l(b) = -b**3 - 29*b**2 + 30*b - 8. Let d be l(-30). Do -4 and d have the same value?
False
Let s be ((-4)/6)/((-8)/(-36)). Let z(f) = -f**2 + 8*f - 9. Let b(q) = -q**2 - 5*q + 3. Let m be b(-4). Let y be z(m). Is y < s?
False
Let v = -1 - -1. Let z be 4/(-21)*6/(-4). Is z greater than or equal to v?
True
Let k be -2*(-2)/(-4) + -4. Let n(l) = -l - 6. Let y be n(k). Let c be 7/(49/12) + -2. Which is smaller: c or y?
y
Suppose -2*s + l - 72 = 3*s, -s - 12 = -l. Let b = -26 - -12. Which is bigger: b or s?
b
Suppose 5*m - 3 = 4*z + 1, 4*m = -5*z + 36. Which is smaller: m or 6?
m
Let p be 126/(-4644)*4/(-7). Is p at least as big as -1?
True
Let p be 27/(-6)*2/(-3). Let t be p + -1 + (-9)/27. Is t less than or equal to 1?
False
Let t = -183/2 - -84. Let y = t + 109/14. Let c = 2 + -2. Which is bigger: y or c?
y
Let d be 15/(-1)*(-4)/6. Let w(s) = s**2 - 12*s + 15. Let h be w(d). Let k = -6 - h. Which is smaller: k or -1/11?
k
Let f = 2 - 4. Let l be (-176)/(-66)*3/(-4). Do f and l have different values?
False
Let z(k) = -k**3 + 4*k**2 + 6*k - 1. Suppose 15 = 3*n - 0*n. Let d be z(n). Let x(g) = -g**2 + 8*g + 3. Let o be x(8). Does d = o?
False
Let l be 2/(-5) + 14/10. Let a = 31/176 - -3/16. Which is smaller: a or l?
a
Let o = -4.5 - -4.54. Does 0 = o?
False
Let j = -5 + 6. Which is smaller: -4 or j?
-4
Let c = 275/6 - 595/12. Let x = 21/4 + c. Suppose 0 + 5 = 5*g. Which is bigger: g or x?
x
Let w be -3 + (-3)/(3/2). Is -3 < w?
False
Let u be (-18)/21*1/(-3). Let t = 8.64 - 9.7. Let b = t - -0.06. Which is greater: b or u?
u
Let o(m) be the third derivative of m**5/60 + m**4/24 + m**3 - 5*m**2. Let s be o(0). Do s and 5 have the same value?
False
Suppose 0 = -5*m + 2*g + 13, 0*m + 2*m + 6 = -2*g. Let y be (32/70)/2 - (-42)/(-441). Which is smaller: y or m?
y
Let z = 10 + -9. Let n = z - 2. Let b be (-8)/5 + (-1)/(-1). Is b not equal to n?
True
Let o = 73/3 + -24. Suppose 2*a = 4*j + 22, 0 = a + j + 2 + 2. Which is smaller: a or o?
o
Let z = 17 - 35. Which is smaller: z or 2/7?
z
Let i = 9.02 - 9. Is -1 at least as big as i?
False
Let m = -1.07 + 0.07. Let b = 8 - 7. Let i = -1 - b. Which is greater: i or m?
m
Suppose 11 = 5*u + 4*b - 13, -5*u + 4*b + 56 = 0. Suppose -10 = -2*l - u. Which is greater: l or -0.6?
l
Let g = -30 - -43. Is 13 at most as big as g?
True
Let q = 5 - 5. Suppose z - 3*z = q. Which is bigger: -1/5 or z?
z
Let p(i) = -i + 4. Let x be p(16). Let y be 3/x + 126/(-8). Which is smaller: y or -15?
y
Let i = 1.1 + 11.9. Let y = i + -9. Let q = 0.1 - 0.1. Which is greater: y or q?
y
Suppose 0 = -3*n + 4*f + 16, 0 = -5*n + 3*f + 2*f + 20. Suppose m = -3*v + 7, 3*m - 15 = -3*v - 0*m. Let c = -1 + v. Is c at least as big as n?
True
Let u be (-402)/84 + 6/21. Which is smaller: u or 0.2?
u
Let v be 2/5 - (66/5)/3. Is -4 at most v?
True
Let f be 3/(-6) - (-25)/22. Which is greater: f or 1?
1
Let i(w) be the third derivative of -w**4/24 + w**3/6 + 4*w**2. Let b be i(-2). Let x be b/12*2/1. Do 0.3 and x have different values?
True
Suppose 6 = -n - 14. Which is smal