: r or -2?
r
Let c = -26/105 - -8/15. Which is greater: c or -11?
c
Let t be 2/4*(-38)/1. Which is smaller: t or -18?
t
Let i = 5 - 3.5. Let h = i + -0.5. Let t = h + -0.9. Are -1 and t non-equal?
True
Suppose h + 4 - 6 = 0, 0 = -5*w - 5*h - 950. Let m = w + 1348/7. Which is greater: 2/5 or m?
m
Let d = -187/679 - 1/97. Suppose -3*p - 8 = 4*b + 4, 5*p - 2*b = 6. Let k = p - 0. Which is smaller: d or k?
d
Let b = -1.3 + -0.7. Suppose 4*p - 12 = p. Let g be (-8)/30*(-10)/p. Is g smaller than b?
False
Suppose -f + 5 = 0, w - 9 = -4*f + 8. Suppose -4*c = i + 4*i + 20, -5 = 5*i + c. Let l = -4 - i. Which is smaller: w or l?
l
Let i = -6 + 4. Suppose 0 = -5*s - 4*k - 31, 2*k = -4*s + 7*k + 8. Which is smaller: s or i?
s
Let q = 29 + -86/3. Let f(p) = 2*p. Let y be f(3). Let b = 4 - y. Which is greater: b or q?
q
Let a(g) = 3*g - 46. Let b be a(16). Are b and 1.5 equal?
False
Let b be -1 + 5/11 + 0. Let j be (-4)/(-2) + 1 - -3. Let f(z) = z**3 - 5*z**2 - 6*z - 2. Let c be f(j). Do c and b have the same value?
False
Let k(u) = -2*u**2 - 6*u - 1. Let t be k(-4). Let d = -9 - t. Let c = -0.3 - 2.7. Which is smaller: d or c?
c
Let i be 1*2/6*1. Which is smaller: i or -4?
-4
Suppose 15 = -n + 24. Which is greater: 6 or n?
n
Let w be (0 - -1)*84/(-24). Which is greater: -5 or w?
w
Let p = 1613/602 - 20/43. Let l = -5/2 + p. Suppose -2*s = -3*s. Is s greater than or equal to l?
True
Let i be 15/21*6/15. Suppose -1 = -z - 4. Let a be 0 - 1 - (z - -1). Which is greater: a or i?
a
Suppose 2*k - k = 2. Is 3 at most k?
False
Let s be (-45)/(-56) + (-30)/70. Is s smaller than 1?
True
Let b = -281 - -4775/17. Let n(d) = d**3 - 2*d**2 - 2*d - 1. Let u be n(-1). Let y = u - -1. Which is greater: y or b?
b
Let u be 5 + -1 + (-1 - 1). Let q be (-2 - -3 - -5) + 1. Suppose -q = 5*y - u. Are y and 2 non-equal?
True
Let k = 11 - 12. Let y(c) = -c**3 - 5*c**2 - 5*c + 2. Let l be y(-4). Let a be l/15 + (0 - 1). Which is smaller: a or k?
k
Let l be 9/3 - -1 - -142. Does l = 145?
False
Let s = 39/322 + 1/46. Let z = 33 + -32. Is s at least z?
False
Let r = -177447 - -538205/3. Let x = r - 1938. Let a = 17 - x. Are 4/5 and a nonequal?
True
Suppose 12 = -s - 4*i, 2*s + 2*i + 1 = -5. Are s and 8/31 equal?
False
Let s be (-140)/(-15) + (-2)/(-3). Suppose 5 - s = -5*w. Let i(g) = g - 4. Let v be i(5). Is v less than or equal to w?
True
Suppose 8 = 3*g - 1. Is 7/3 at least as big as g?
False
Let h be -2 + (4 - -15 - 2). Let v be 8/5 - 9/h. Is 2 >= v?
True
Suppose -2*h - 2*h = 0. Suppose 5*s - 8 = 2*n - 2, h = 3*s - 3*n. Let l be 6/(-27) - 29/(-9). Which is smaller: s or l?
s
Let y = -58 + 39.8. Let s = y - -18. Is s < -4/7?
False
Let b = 89/606 + 2/101. Suppose -2*t = -4*z - 2 - 0, -z + 4*t - 11 = 0. Which is greater: z or b?
z
Let r = 0.005 - -0.005. Which is smaller: 2/5 or r?
r
Suppose 12 = -0*j - 3*j. Which is greater: j or -3?
-3
Let f = -28 - -85/3. Do 1 and f have the same value?
False
Let l be 4*(-3)/(-36) + (-64)/(-6). Is l < 5?
False
Suppose -4*t - 3 + 7 = 0. Let h(i) = -i**2 + 14*i - 24. Let b be h(12). Are t and b equal?
False
Let s be (-3 + 1)/(4 + -6). Is s bigger than -3/19?
True
Let w be (-1)/(2 - 30/14). Suppose -4*l + 5 = -w. Which is greater: l or 0?
l
Let t = -165 - -819/5. Is t greater than or equal to -1?
False
Let p(c) = 5*c - 4. Let o be p(-5). Is -28 > o?
True
Let b = 17 - 14. Is b >= 3?
True
Suppose -y - t + 1 = 3*y, -t + 5 = 0. Do 3/8 and y have the same value?
False
Let j = 14 + -10. Let l be 5*(0 + 4/j). Which is bigger: l or 11/3?
l
Suppose -29*d = -27*d. Are 1/5 and d unequal?
True
Let m = -0.2 - -1.2. Is -2 < m?
True
Let j(u) = -u**3 + 9*u**2 - 7*u - 11. Suppose -5*v - n + 0*n = -38, 4*n = 5*v - 48. Let b be j(v). Are -2 and b equal?
False
Let d = 8 + -8.1. Let n = -9 - -12. Is n not equal to d?
True
Let q = 0.08 + 0.04. Let t = -0.2 + q. Is 1 at most as big as t?
False
Let p(b) = b**3 - b**2 - 2. Let s be p(2). Let v be 69/33 + (-4)/s. Which is smaller: -1 or v?
-1
Let t = 14.6 + -10.6. Let n = 3.07 - 0.07. Is n at most t?
True
Suppose 0 = -3*n - 0*n + 12. Let h be 16/12*1/n. Is h not equal to -0.11?
True
Suppose -2*s = 10, m = 6*m + 5*s + 30. Let j be (-2)/(-7) - (-20)/126. Which is smaller: m or j?
m
Let v(t) = -t**3 + 8*t**2 - 6*t - 1. Let x be v(7). Let y be 4/x*6/(-4). Let n = -2/613 + 1260/10421. Is n equal to y?
False
Suppose 0 = 4*w + 12, -w + 0*w - 3 = -2*c. Let t = -4.3 - -10.2. Let v = -6 + t. Is c bigger than v?
True
Suppose -4*k - 14 = -4*f + 3*f, 5*f - 2*k - 16 = 0. Which is greater: 38/13 or f?
38/13
Let y be (-2)/(-3)*45/6. Suppose 28*u + 5 = 29*u. Is y > u?
False
Let y = 83/4 - 43/2. Which is bigger: y or -2?
y
Suppose 0*x = -2*x. Let r = 3 - 5. Which is smaller: r or x?
r
Let t = 131 + -82. Is t not equal to 51?
True
Let f = 1 + -5. Suppose 0*p - 8 = -w + 4*p, 0 = -3*w + p - 9. Is w at least as big as f?
True
Suppose -2*l = 3*a - 15, 2*a + a - 9 = 0. Let c be ((-8)/l + 2)*-6. Suppose -c*y - 4 = -8. Which is bigger: 0.1 or y?
y
Let p(s) = s**2 + s. Let r be p(0). Let b be (-4)/(-6)*3/5. Which is greater: b or r?
b
Let u be (-1 + (-27 - 3))/(-1). Let a = u - 13. Let g = -12 + a. Which is bigger: 5 or g?
g
Suppose 4*v + 4 - 60 = 0. Let x = -10 + v. Suppose 6*u = -z + 2*u + x, 2*z + 2*u = 2. Which is smaller: z or -1?
-1
Let k(l) = -l**3 - 8*l**2 - 4. Let v be 116/(-14) - 6/(-21). Let h be k(v). Is -2 not equal to h?
True
Let w be (-3)/(-20) - 3*(-6)/(-24). Is 0 less than or equal to w?
False
Let j = 0.2 + -0.1. Let t = j - 0.14. Let n = -1/114 + 29/57. Which is bigger: t or n?
n
Let c be (-5)/70*(2 + 4/6). Which is greater: c or -1?
c
Let t(p) = -p + 13. Let l(h) = 3*h**2. Let o be l(-2). Let j be t(o). Is j at most 6/13?
False
Let y(p) = 2*p + 7. Let f be y(-4). Is f > -1?
False
Let n = -8 - -4. Suppose -4*m + 5*j - 20 = 0, 2*m - 3*m + j = 5. Is m >= n?
False
Let a = -30 - -41. Are a and 10 nonequal?
True
Suppose 3*d + 10*c = 12*c - 13, -2*d + 4*c - 14 = 0. Suppose -3*i - 21 = 3*a, a + a - 4*i + 2 = 0. Let y(h) = h + 2. Let r be y(a). Is r equal to d?
True
Let b = -0.21 + 8.21. Let u = b - 13. Which is greater: -2/5 or u?
-2/5
Let f(t) = 11*t**2 - 11*t + 8. Let g(x) = 4*x**2 - 4*x + 3. Let p(v) = 3*f(v) - 8*g(v). Let n be p(0). Which is greater: n or 2/5?
2/5
Let u be (-1)/((-2)/(-5))*2. Let x = 1 + u. Let t(s) = -s**2 + 4*s + 17. Let z be t(7). Is z greater than or equal to x?
True
Let o(h) = -h**3 - h**2 + 2*h + 2. Let c be o(-2). Suppose -p - w = w - 11, c*p + 2*w = 16. Are p and 3 nonequal?
True
Suppose 1 = s + 3. Let n be 2 + -2 - 1/s. Do 5 and n have the same value?
False
Let x = -12.9 - -1.9. Let w = 11.2 + x. Let n = 2.1 - 2. Is n smaller than w?
True
Suppose -4*t + 74 = -42. Is t less than or equal to 1?
False
Let y = -6 + 8. Suppose 5*d - 8 = 6*g - 3*g, g = 4*d - 12. Suppose d = y*p + 6. Is p equal to 0?
False
Suppose 3*j + 90 = -2*j. Let w be 6/j + 22/12. Is w greater than or equal to 1?
True
Let p be 63/56 - (-1)/(-8). Which is smaller: 3/5 or p?
3/5
Let u(m) = 2*m + 17. Let g be u(-6). Is 9 greater than g?
True
Let o(f) = f + 11. Let y be o(-11). Is -2 > y?
False
Let f = -32 - -37. Which is smaller: f or 2/9?
2/9
Let f be 2/4*(-12 - -7)*2. Which is greater: f or -10?
f
Let b = -25/6 + 113/30. Suppose 0 = -0*g - g + 4. Let k be g/(-6)*(-9)/6. Which is bigger: b or k?
k
Let j(r) = r**3 - 10*r**2 + 10*r - 12. Let q be j(9). Do q and -1 have different values?
True
Let g = 14.05 + -0.05. Let u = g - 14. Which is smaller: -0.5 or u?
-0.5
Let q be 3*(2 + (-14)/6). Suppose -7*v - 6*v = 0. Which is greater: v or q?
v
Let f = -13 - -10. Let w = 2 - 2.1. Which is smaller: w or f?
f
Let t = 34878/19 - 1589029/836. Let i = 261/4 + t. Let j = -10 + 10. Is i greater than j?
True
Let o(w) = 5*w + 1. Let z be o(1). Is 2 bigger than z?
False
Let k = -0.1 - -6.1. Let s = k - 6. Let q = -0.28 + 0.24. Which is smaller: q or s?
q
Suppose -10 = -3*v + 8*v. Is v equal to -2?
True
Let j = 10 + -19/2. Let b = -5/6 + j. Let g = -0.4 + 0. Which is bigger: g or b?
b
Let x = -5 - -4. Let o = 2 - x. Let m be 2/(-6) - (-26)/6. Which is bigger: m or o?
m
Suppose -2*v + 36 = -5*v. Let w = v + 13. Which is smaller: -1/7 or w?
-1/7
Let x(v) = v**3 - 6*v**2 - 8*v - 2. Let i be x(7). Let f(u) = u + 5. Let h be f(i). Which is bigger: 0 or h?
0
Let d be (