er: d or 1?
1
Let r be 24/30 + (-142)/140. Is r at most 0?
True
Let h = 92 - 89. Let s = 2 - 2. Suppose 3*z - 15 = s, 2*n + n - 4*z + 11 = 0. Is h at least n?
True
Suppose n = 3*n. Suppose -4*c = -0*c - 40. Let g be 10/4*c/50. Is g not equal to n?
True
Let r(c) = 5*c - 7. Let n be r(-3). Is n != -20?
True
Let i = -4 - -9. Suppose 0 = -3*q + i*q. Is 1/12 at least as big as q?
True
Suppose 0 = -4*v + 4, 0 = 3*a + v - 13. Let r be (-2 + (-171)/(-84))*a. Which is smaller: r or 0?
0
Let f = -27 - -23. Are f and -1/4 equal?
False
Let p(n) = n**3 + 5*n**2 - 2*n - 7. Let a be p(-5). Suppose -a*g - 22 = -5*g. Which is greater: 10 or g?
g
Let l(m) = m**3 + m**2 + 3*m**2 - m**2 + 3*m + 1. Let j = -13 - -11. Let x be l(j). Which is smaller: x or -2?
-2
Let w be 22/(-24) - (-8)/12. Let c = -0.1 + -1.9. Is c equal to w?
False
Suppose 5*k - 44 = k. Let j be (-1 - -2 - k) + 2. Let n be 9/2*j/(-12). Are n and 3 equal?
True
Let a be (-2)/6 - 16/6. Suppose 1 + 7 = 4*b. Suppose -b*m + 4*m = 0. Is m at least a?
True
Let i = 115/329 - 3/47. Let c = -1 + 4. Let o be (-10)/c - (-4 + 1). Is o greater than i?
False
Let n = -6 + 6.5. Let b = n - 0.4. Let c = 4.1 + -4. Is c less than b?
False
Let q = -31 + 11. Let n be (-2 - q/11)*1. Let y = -0.3 - -0.4. Is y < n?
False
Let o = 1061/76 - 55/4. Is o greater than -1?
True
Let r = 0.17 - 0.27. Which is bigger: r or -0.2?
r
Let o be -2*((-1)/(-2) - 1). Which is smaller: o or 1/6?
1/6
Let m = -9/5 + 22/15. Let b = 2.5 - 3. Which is greater: b or m?
m
Suppose u + 2 = -4*f, 2*f + 2 + 2 = u. Let y = -33 + 23. Let w be (-8)/y - (1 + -1). Is u smaller than w?
False
Let t be (-20)/6*9/3. Is -10 > t?
False
Let u be (-170)/(-58) - (6 + -3). Are 1 and u unequal?
True
Let u = 69 - 76.12. Let k = 0.12 + u. Is 0.1 at most as big as k?
False
Let p = -4758 - -247445/52. Let r = -4/13 + p. Is 0 greater than or equal to r?
False
Let p = -1 + -7. Which is smaller: p or -4?
p
Let x = 192 - 187.95. Let k = 0.05 - x. Is k at most 1?
True
Let f = 1670 + -115228/69. Let k = f + 17/207. Suppose 0 = 4*o - 5*t + 9, 3*o + 0*t = 4*t - 7. Which is bigger: o or k?
k
Suppose -3*k + 43 + 29 = 0. Let j be (-11)/(-3) - 16/k. Suppose 0 = 4*u + 5*a - 31, -3 = 3*u - a - 12. Are u and j equal?
False
Let f = -0.44 + 0.04. Let g = f + 0.3. Is 1 equal to g?
False
Let r = -0.031 - -0.231. Is 24 bigger than r?
True
Let w(u) = u**2 + 6*u + 6. Let i be w(-4). Let h = 1.1 - 1.2. Which is greater: h or i?
h
Let x = -49 + 97. Is 49 smaller than x?
False
Let t = 7003/130 - 1908/13. Let n = -93 - t. Is n <= 0?
True
Suppose 0 = -2*n + 7*o - 2*o - 3, 0 = -2*n - 4*o + 24. Let r(s) = -s**3 - 3*s**2 + 3*s + 2. Let c be r(-4). Is c bigger than n?
False
Let y = 15.13 - 15. Which is bigger: 0.1 or y?
y
Let o(j) = j**3 - 7*j**2 + 15*j - 20. Let s be o(4). Which is bigger: -3 or s?
-3
Let a be 16/30 - 5/((-100)/(-8)). Let i be (-2)/(-6) + (-40)/(-15). Suppose -x + i*x = 0. Which is smaller: x or a?
x
Suppose 2*d + 0 = 4. Suppose 0 = -d*z - z + 6. Which is bigger: 1 or z?
z
Let d(v) = v**3 + 8*v**2 - 10*v - 9. Let y be d(-9). Let p = 352/2119 - 2/163. Which is bigger: y or p?
p
Suppose -6 = -2*k + 18. Let t = -18 + k. Is -7 < t?
True
Let f be 2/(8/(-65)) + -2. Let r = f + 18. Let g(z) = z**3 + 6*z**2 - z - 5. Let a be g(-6). Which is smaller: r or a?
r
Let j(d) = -3*d + 0*d + d - 4 + d. Let u be j(-3). Is u at least -1?
True
Let t(y) = -y. Let i be t(-5). Suppose -3*s + b = 5, 3*b = s - 2*s + i. Suppose 0 = -3*w, 0 = -4*p + 5*w - 1 - 7. Which is greater: p or s?
s
Let g = -25665/46 + 558. Is -1 less than g?
True
Let b be (-104)/(-32) - (-1 + 4). Which is smaller: -0.01 or b?
-0.01
Suppose -4*u - u = -4*g - 8, -g = 5*u - 23. Suppose -u*x + 1 = -3*x. Let k = x + -1. Is k at least 3/5?
False
Let h = 4.91 - -0.09. Let l = -6 + h. Which is smaller: l or -0.3?
l
Let t be -1*(5 + 0 + -1). Let h be 828/(-370) - (t - -2). Let a = h + -6/37. Which is bigger: a or 0?
0
Let r = -28 + 28. Which is smaller: -1 or r?
-1
Let x = 0.2 + -0.1. Which is greater: 18 or x?
18
Let s(v) = 5*v**3 - 16*v**2 + 19*v + 1. Let r(c) = 11*c**3 - 32*c**2 + 39*c + 3. Let l(a) = 4*r(a) - 9*s(a). Let m be l(15). Is 21/5 equal to m?
False
Let u be 231/18 + (-4)/(-6). Let t = u + -13. Which is bigger: t or 0?
t
Let a be 2/(-7) + (-8)/(-126). Let f(l) = -l**2 - 14*l - 26. Let b be f(-12). Are b and a unequal?
True
Let n = -6 + 6.1. Suppose 2*a + 13 = -5*b, -2*a - b + 6*b = -17. Which is smaller: n or a?
n
Let d = 1 + 1. Suppose 0 = -u + 4*t - 19, 2*u + t = 6 + 1. Is u greater than d?
False
Let g(d) = d**3 - 9*d**2 + d - 3. Suppose -3*a = a + 3*i - 51, 4*i = -a + 29. Let f be g(a). Which is smaller: 5 or f?
5
Let s = 23 + -18. Suppose 12 = -5*u + f, s*f + 2 = u + 14. Is u >= -1?
False
Let t = 536/35 - 68/5. Is t smaller than 3?
True
Let p = 2579/84 + 316/21. Let v = p - 46. Which is greater: v or 1?
1
Let n = 2 + -1.2. Let d = -0.2 - n. Which is bigger: d or 0.2?
0.2
Let g = 2/39 - 49/195. Let f = 0.25 + -0.05. Is g at least as big as f?
False
Suppose 5*x - 28 = 4*x. Let s = 85/3 - x. Is s greater than -9?
True
Let n = -30 - -26. Is n smaller than -0.2?
True
Let r = -7 - -11. Suppose 4*m = 2*m + r. Do m and 3 have the same value?
False
Suppose -2*q - 15 = -q - 3*b, -q - 4*b = 15. Which is greater: q or -17?
q
Let d = -15/2 + 107/14. Suppose -k = -6*k. Let u = 1 - k. Which is bigger: d or u?
u
Let t = 3 + 3. Let h be 3/(9/t + 0). Let r = -1 - -2. Which is smaller: h or r?
r
Suppose -4*v = -v + 6. Let d = v - -2. Let g = d + -3. Which is smaller: -1 or g?
g
Let o = -26/3 - -8. Which is smaller: o or -1?
-1
Let l = 1678549/9 - 186251. Let j = l + -254. Does j = 1/2?
False
Let w(m) = m**3 + 4*m**2. Let p be w(-4). Suppose p = -3*l + 6, -2*x - 2*l = 3*x + 11. Suppose a + 4*r - 12 = 5*a, -4*a - 4 = 4*r. Is x != a?
True
Let p be 6/10*-3 + (-2)/(-1). Which is bigger: p or -1?
p
Let m be (-115)/40 + 3 + (-98)/48. Which is greater: m or -2?
m
Let x = 2 + -1. Let o = -1.92 - 0.08. Which is bigger: x or o?
x
Let k = -0.057 + 0.427. Is -1 at least as big as k?
False
Let i be (26/(-8) - -3)/((-9)/48). Suppose -2*h = 3*h. Do h and i have different values?
True
Suppose 0*a = 3*a - 9. Suppose 6*o - o - 3*l = -27, -4*o = a*l. Let i be o/((-3)/2) - 3. Are -1 and i non-equal?
False
Let w = 4 - 16. Let b = w - -6. Let x be 1*(-6 - (-3)/3). Which is smaller: b or x?
b
Let b be (-8)/(-44) - 13/11. Let p = 70305 - 6749341/96. Let x = p - 1/32. Which is smaller: x or b?
b
Let j = -24 - -71/3. Let c = j + 5/6. Suppose -4 = -4*a - 5*i + i, -3 = -3*a - 5*i. Which is bigger: a or c?
a
Let q = 0.7 - -0.3. Which is smaller: q or -6/7?
-6/7
Suppose -5*i + 4*t = -9, 5*i - 3*t + t = 17. Suppose 0 = -5*u - 2*v + 8, i*u - 2*v - 3*v - 15 = 0. Let b = -2 + u. Is 1 <= b?
False
Let n = 30 + -92/3. Let a = 0.3 + 1.7. Is a equal to n?
False
Suppose -2*m + 10 = 3*m. Let q = -0.02 - 0.08. Is m at least as big as q?
True
Suppose 0*q = -5*q. Suppose -4*i + 12 = q, -4*i + 17 = 2*k + 3*k. Let j = 0 - 0.1. Which is bigger: j or k?
k
Let b be -1*(0 - 0)/1. Let m = -403/102 - -23/6. Which is greater: b or m?
b
Let h be 1/((7/(-6))/(-7)). Suppose -x - 5*r = -16 - h, -r = -5. Is -8/5 greater than x?
True
Let d(s) = s - 5. Let q be d(-7). Which is smaller: -13 or q?
-13
Let m(w) = -w**3 - 21*w**2 - 55*w - 10. Let s be m(-18). Suppose -r + 45 = 4*r. Which is bigger: s or r?
r
Let s = 9 + -9. Suppose 5*m = -s*m + 5. Is m bigger than 2/13?
True
Let m = -156 - -17630/113. Is m greater than or equal to 2/7?
False
Let k(u) = -5*u**3 - 5*u**2 - 4*u. Let r(c) = -c**3. Let g(h) = -k(h) + 4*r(h). Let i be g(-4). Do i and 0 have the same value?
True
Let n = -0.31 - 11.69. Let s = 12.1 + n. Which is greater: -0.09 or s?
s
Let t(c) = -2*c - 13. Let w be t(-9). Let h be 4/20 + 129/w. Let b = h + -51/2. Is b bigger than -3?
True
Let t = -61/4 - -541/36. Suppose 2*f + 21 = 4*k - 9, 0 = -5*f + k - 30. Let u(x) = x**3 + 5*x**2 + x + 5. Let s be u(f). Which is smaller: s or t?
t
Let l = 9/8 - 95/56. Let i be 19/(-28) - 1*-1. Let o = l + i. Which is greater: -1 or o?
o
Let m = -11/19 + 289/171. Is m smaller than 0?
False
Suppose -1 - 7 = -4*n. Let c be (-114)/12 - 2/n. Let p = c - -11. Do p and 0.1 have different values?
True
Let k = 1.62 + -1.52. Are 64 and k unequal?
True
Let r = 0.44 + 3.