-r = -5*r - u. Which is greater: -6 or r?
r
Let m = -13 - -26. Are 15 and m unequal?
True
Let h = -424/5 - -85. Suppose -2*p - 15 = p. Which is greater: p or h?
h
Let v = 46 - 35. Is v bigger than 12?
False
Suppose 5*p - l - 67 = 0, -l = 5*p - 3*p - 31. Which is bigger: p or 6?
p
Let m(t) = t**3 + 5*t**2 + 4*t + 4. Let p be m(-4). Suppose 840*q + 25 = 845*q. Which is smaller: q or p?
p
Let a be (1 + 3/6)*(-6)/(-9). Let h = 3 - 5. Which is bigger: h or a?
a
Let i be 3*1*(-3)/33. Let t = -5/22 + i. Which is smaller: 0 or t?
t
Let o = 6 - 5. Let d be (o/2)/((-2)/(-4)). Is -2 <= d?
True
Let a = 33.4 + -30. Which is bigger: a or 1?
a
Suppose 2*p = 2*f - 2 - 2, f = 3*p + 10. Suppose 5*a + r + 9 = 45, r = 2*a - 13. Let i = -8 + a. Which is smaller: f or i?
f
Suppose 0 = -3*n - x + 15 - 1, 0 = 4*n - 5*x + 13. Suppose 5*o + 2 = -n. Which is greater: 1 or o?
1
Let i be 12 + ((-60)/16 - 2/8). Which is smaller: i or 11?
i
Let s be (-1)/((-100)/(-12))*-1. Which is smaller: s or 0?
0
Let h be (-72)/14*(-6)/12. Let o be 2/(-21) + (3 - 1). Let n = h - o. Which is smaller: 0 or n?
0
Let g = 0 - 23. Let s = g - -23.2. Is 4 at most as big as s?
False
Let q = 2 + -4. Let g be (q/6)/(2/(-6)). Let s = -13 + 14. Are g and s unequal?
False
Let l be 3*(-1)/3*22. Let o be 33/l*8/(-3). Let u(b) = -b**2 + 6*b + 6. Let m be u(6). Is m > o?
True
Let z be 1*-2*6/(-4). Let n(c) = -c**2 + 2 - 4 - 980*c + 985*c. Let u be n(z). Which is greater: u or 3?
u
Let l be ((-6)/(-20))/(30/(-25)). Which is bigger: l or 11/4?
11/4
Let d = 50 - 69. Which is greater: d or -17?
-17
Let r be -3*-1*(-2)/3. Let o be (2 - 0) + 12/3. Let h be (-1)/(-2) + (-7)/o. Does h = r?
False
Suppose 4*g + 0*g + 12 = 0. Is -12/5 < g?
False
Let s be 4*((-284)/(-16) - 3). Is 60 <= s?
False
Let w be (-99)/(-3) - (2 + -1). Let c be w/225 + 4/(-18). Is -1 > c?
False
Let v = -38 - -116/3. Which is smaller: 16 or v?
v
Let d be 2 - ((-12)/4 - -1). Let t be ((-10)/d)/(-5)*0. Do t and -1/3 have the same value?
False
Suppose 3*x + g - 5 = 0, -5*x - 2*g + 0*g + 7 = 0. Suppose 2*c - 4*l + 12 = 0, 0*c + 2*c - x*l = -10. Let t be 1/c*(2 - 4). Which is bigger: t or -2?
t
Let q = 14 + -11. Is 4 smaller than q?
False
Suppose -231 = -5*j + 2019. Let n be (-1)/(-3) + (-170)/j. Which is greater: n or 0.1?
0.1
Let s = -81 - -81.3. Is -0.18 < s?
True
Suppose 3*t = -t - 3*b, 0 = -2*t + b. Let h(l) = l - 7 + 3 + 1. Let c be h(t). Which is smaller: -4 or c?
-4
Suppose x = 1 - 19. Let t = x + -1. Is t at least -19?
True
Let b = 0.2 + -0.4. Let y = -1.6 - -7.7. Let a = 6 - y. Which is greater: a or b?
a
Suppose -8*d + 3*d = 0. Let o be 3 - -1*(-1)/1. Suppose 0 = -o*v + 5*v - 6. Is d less than or equal to v?
True
Let m be (5 - 1)*(-3)/64. Is m bigger than -1?
True
Let u be 6/15 - 48/195. Suppose 3*n + 2*r - 9 = 0, n + 12 = -2*n + 5*r. Which is smaller: n or u?
u
Suppose -3*m - 2*m = 40. Let s = 9 + m. Let k be 0 + 1/s + 4. Is 6 less than or equal to k?
False
Let y = 8 + -4. Suppose -f - f = -y. Which is greater: f or 3?
3
Suppose -2*z = 5*a - 3 + 13, -5*z = 2*a + 4. Let w be -1 + z + 0/(-2). Which is bigger: 0.3 or w?
0.3
Suppose -5*k - 3*f - 13 = -31, -k - 2*f = -5. Suppose 0 = 2*c - k*r + 1 + 10, 3*r - 12 = 3*c. Let t = 2 - 1. Which is smaller: t or c?
c
Let o(i) = 4*i + 15. Let k be o(-4). Which is smaller: k or 4/45?
k
Suppose -3*c + 8 = -1. Let v(y) = y**2 - 5*y + 2. Let p be (1/1 - -4)/1. Let h be v(p). Is h greater than or equal to c?
False
Let o(i) = 2*i + 12. Let p be o(-6). Which is bigger: p or -4/55?
p
Suppose f - 12 = -3*o - 2*f, 5*o + 4*f - 16 = 0. Which is greater: 1/7 or o?
1/7
Let d(o) = -o - 1. Let b be d(4). Let y = -17 + 69/4. Is b at most as big as y?
True
Suppose 0*w + 12 = -o - 3*w, 4*o - 2*w = 8. Let q = -309 - -577. Let f = -2950/11 + q. Which is greater: o or f?
o
Let d be -3 + (-3 - -3) + 2. Let x be d - 9/6*-2. Which is greater: 5/9 or x?
x
Let w be 3/4*(-1)/(-3). Suppose 0 = 3*n - 6*n + 6. Suppose -3 = -4*y + 2*k - 1, -n*k - 9 = 3*y. Is y greater than w?
False
Suppose -5*k + 5*d - d + 30 = 0, -4*k - 3*d + 24 = 0. Suppose -5*o + 0*y + 28 = -2*y, 22 = 4*o - 2*y. Is o at least as big as k?
True
Suppose 0 = 3*b - 4*b + 5, -2*x + 35 = 5*b. Suppose -4*m - 3*c = m - 1, 2*c = m + x. Is m at least 1/10?
False
Let g be -1*3/(-3)*-3. Let m be g/(-3)*(-1 + -3). Which is smaller: m or -1?
m
Let x(z) = z**3 + 5*z**2 + 7*z + 5. Let r be x(-4). Is -4 at least r?
True
Let g(n) = -n**3 + 5*n**2 - n + 2. Let p be g(5). Let o be 1 - 3 - 18/p. Is 1 > o?
False
Let b = 27 - 27.12. Which is smaller: b or -1/2?
-1/2
Suppose -3*c - 15 = -3*n, 5*n - 3*c - 17 = 12. Suppose 3*o - m + 5 - 12 = 0, 3*m = -5*o - n. Let s = 36/205 - -1/41. Does s = o?
False
Let a(r) = r**2 + 7*r + 3. Let g be a(-6). Let i = -3 - g. Is 0 <= i?
True
Let b = 1 + 2. Suppose -2*g - 4*r = 2, -6 = -b*g + 2*g + 5*r. Which is smaller: g or 1/6?
1/6
Let n be (14/17)/(10/572). Let l = n - -571/34. Let z = 64 - l. Is z bigger than -1?
True
Let a = 10 + -7. Suppose 0 = -3*x - 5*n + 21, -x - n = a*x - 11. Let d be -1 - 10/(-8)*2. Which is smaller: d or x?
d
Let h = 3 + -2.2. Let c = 0.8 - h. Is -0.1 bigger than c?
False
Let z be 4 + 0 - (8 - 8). Let p(i) = i**2 - 2*i - 4. Let a be p(z). Suppose n = a*n. Which is smaller: -2 or n?
-2
Let x = 59 + -59.1. Do 0 and x have the same value?
False
Let m be (-301)/98 - -1*3. Which is smaller: m or 0?
m
Let d = 0.12 - -0.08. Let c = 0.3 - d. Let v = c - 2.1. Which is bigger: v or 0?
0
Let y be 2/8 + 15/4. Let o(d) = d**2 - 2*d - 2. Let k be o(y). Which is greater: k or 5?
k
Let x(q) = -q**2 + q + 4. Let n be x(0). Suppose -y + 3*f = 2 - 11, -n*f = 4*y + 44. Which is bigger: y or -5?
-5
Let k = -16 - -11. Is -5 not equal to k?
False
Let a(r) = -r**2 - r + 6. Let p be a(2). Which is greater: p or 2/41?
2/41
Suppose 4*r + 15 = -r. Let u be 16/(-24)*r/29. Which is smaller: u or 1?
u
Let n = -241/2 + 8431/70. Which is greater: 4 or n?
4
Let s = 19 - 13. Let q = 5 - s. Is q at most as big as -2/11?
True
Let w be -3 + (-3 - 1524/21). Let y = -78 - w. Is y equal to -2/7?
False
Let k(u) = -2*u**2 + 5*u - 3. Let y(n) = n**2 - n + 1. Let s(o) = k(o) + y(o). Let b be s(4). Are b and -7/3 nonequal?
True
Let o(s) = 36*s**3 - s + 1. Let y be o(1). Which is smaller: 1 or y?
1
Let l(r) = r**2 - r - 2. Let q be l(3). Let m be (-347)/(-4) + 1/q. Let j = -610/7 + m. Do 0 and j have the same value?
False
Let u = -2 - 6. Let d = 12 + u. Suppose -d = 4*y - 0. Is -0.3 at most as big as y?
False
Suppose 3*n = -n - 4. Let a(j) = -2*j + 1. Let q be a(n). Which is greater: q or 2?
q
Let l = 1075 - 65577/61. Which is greater: l or 1?
1
Suppose -4*y - 5*j - 28 = 0, -y = -4*j + j - 10. Let m = -62/3 - -233/12. Are y and m nonequal?
True
Suppose 15 = -5*l - 5*m, l + 4*m + 12 = -2*l. Suppose -2*u + 4 = -l. Which is greater: u or 3?
3
Let x = -37 + 57. Let y = -12 + x. Let l be (-1 + y/10)*-2. Which is greater: l or 0?
l
Let o be ((-23)/(-4))/(6/(-40)). Let v = o + 39. Is 1/6 < v?
True
Let w be (-1)/(-3)*(-3 - -15). Suppose w*x + 33 = 7*x. Is x at least 12?
False
Let h = 23.1 + -23. Is -0.2 less than h?
True
Let b be 4 - (-2 + 0 + 2). Let u be b/(-10) + 8/(-5). Suppose 0 = -4*f + 3*p - 12, -2*f - 5*p = -3*f - 3. Is u less than f?
False
Let h(v) = v + 3. Let x be h(-8). Let y(i) = -i - 4. Let s be y(x). Which is smaller: -2/11 or s?
-2/11
Suppose 2*l = -0 + 2. Let z = -5 - -10. Let t be 14/(-18) - (4 - z). Which is bigger: l or t?
l
Let u = -42.03 + 0.03. Is u less than -1?
True
Suppose -2*v = 4*m - 2, 2*m - v - 2 = -7. Let l = m + -1. Is -3 less than l?
True
Let a = 0 - -4. Which is smaller: a or -0.1?
-0.1
Let j be (-11)/12 + (-2)/(-8). Let t = -1.1 - -1. Which is bigger: j or t?
t
Let j be (-2)/(-7)*(13/(-3) + 2). Are j and 0.1 nonequal?
True
Let w = 10.5 + -13. Let l = w + 1.5. Is l greater than or equal to 3?
False
Let p = 13 - 7. Let x be (-5)/(-42) - p/21. Is -1 bigger than x?
False
Suppose 5*f + 4 + 0 = -m, -5 = 5*f. Let w be (-8 - -4) + (3 - m). Let z = -8 - -5. Is z less than w?
True
Let y = 12 - 8. Suppose 8*m - 8 = y*m. Which is smaller: m or 0?
0
Suppose -q + 5*q = -4. Which is smaller: q or -3?
-3
Suppose -3*r - 4*z = r - 20, -5*r + 16 = -4*z. Is 4 equal to r?
True
Let h be (-3 - (-3 - -1))*24. Let f be (-2)/h*24/(-9). Let t = f - -13/18. Do 1 and