r: x or 0?
x
Let d = 10.065 + -10. Is 0 > d?
False
Let s be 3/(-8) + 2/8. Let d(k) = 2*k + 8. Let l be d(-4). Is l less than s?
False
Let c = 0.3 + -0.5. Let t = -0.14 - -0.04. Let f = c - t. Which is smaller: f or -2?
-2
Let m = 0.2 - 0.3. Let l = 0.01 + 0.2. Let h = l - 0.01. Is m < h?
True
Let k = 201 - 2815/14. Let j = 433 - 434. Which is bigger: k or j?
k
Suppose 4 = -r + 3, 5*w + 5*r + 70 = 0. Which is bigger: -14 or w?
w
Let i be 16/(-60)*(-5)/(-2). Let g be (1 - (-6)/(-3)) + 1. Which is greater: i or g?
g
Let b = 11 - 10.8. Let s = 1 + -0.7. Which is smaller: b or s?
b
Let q be ((-8 - -5) + 1*-3)*5. Which is greater: q or -31?
q
Let x be (-5 + 6)*(-1 + 1). Suppose x = -0*l + 3*l - 2*r - 5, -5*l = 2*r - 3. Let c(m) = -m**3 - 3*m**2 + m + 4. Let d be c(-3). Is l >= d?
True
Suppose o + 5 + 3 = 0. Let p = o + 5. Let a = -2 - p. Which is smaller: 0 or a?
0
Let n = -2731/5 - -549. Let a = -88/35 + n. Suppose 0 = 4*d + d + 5. Is a smaller than d?
False
Suppose 4*b - 5*f = 31, -b + 1 = 3*f + 6. Suppose 2*n + a - 1 = 3, -b = -2*a. Is 1 at most as big as n?
True
Suppose -2*x - 6 = -n + 8, -4*x - 12 = 0. Let k = -14 + n. Is k >= -8?
True
Let a = -7/15 + 2/15. Are 0 and a equal?
False
Let r = -33 + 77. Are r and 44 equal?
True
Suppose -6 = -2*m - 4. Let w = -12 - -18. Suppose 0 = -w*t + 3*t + 6. Is m greater than or equal to t?
False
Suppose -v - 5 = -0. Suppose 3*m - 15 = 0, -5*z + 2*m = 5*m + 20. Which is greater: z or v?
v
Let g be 1 - (-2)/20*-2. Suppose -4*a + 6 = 2*b, -b - 2 = -a - 2*a. Is b bigger than g?
True
Let j = 2 - 1. Let z be (-429)/(-962) + (-2)/4. Which is greater: z or j?
j
Let j be ((-1)/9)/(1/3). Which is smaller: j or 2?
j
Let v = 24 + -14. Which is smaller: v or 12?
v
Let v(c) = c**2. Suppose -3*i + 2*i = 2, 3*m + 3*i + 9 = 0. Let g be v(m). Which is bigger: g or 0?
g
Let u be 6 - -1 - 32/4. Let j be 0 + 3/(-4) - 0. Which is bigger: j or u?
j
Let a = -78 - -141. Let u be (6/a)/((-2)/(-6)). Let g = 0.1 + -2.1. Which is smaller: u or g?
g
Let m be (-5)/35 + (-12)/357. Are m and 1 equal?
False
Let g = 3 + -3. Suppose 4*w + 3*h = -11, 2*h + 11 = -g*w + w. Which is bigger: 0 or w?
w
Let m be (4 + 90/(-25))*-5. Is m at least -5/3?
False
Let n(o) be the second derivative of o**4/12 + 5*o**3/3 - 5*o**2/2 - 6*o. Let h be n(-11). Is 6 smaller than h?
False
Let q be 15*-1*4/(-12). Suppose 0 = q*w + 2*b + 3, -w - 4*w + 5*b = 10. Is w at least as big as 2/13?
False
Let f be ((-8)/6)/(1/(-3)). Suppose -4 - f = -2*c. Let o be (2 - 3)*-7 + -3. Do c and o have different values?
False
Let c(o) = o**3 + 5*o**2 + o + 1. Let x be c(-2). Suppose 5*w = 3*m - x - 9, 3*w = 3*m - 18. Let a = -3/4 - -1/4. Is a greater than w?
True
Let q be 0/(-2 + (-3)/(-3)). Is -1/2 greater than q?
False
Suppose -3*q = 4 - 1. Let n = 179/506 + 13/46. Let l = n + -10/33. Do l and q have different values?
True
Let h = 2 + -1.94. Let x = h + 5.94. Is -0.1 greater than or equal to x?
False
Let z(b) = -2*b**3 + b**2 + b - 1. Let c be z(1). Suppose 5*y = 2*y + 12. Let g be -2 + (2 - 2)/y. Is g less than c?
True
Let c = 0.08 + -0.58. Is c < -2?
False
Let q be 172/126 + -2 + (-80)/(-45). Is 1 equal to q?
False
Let z = 147 + -732/5. Let x = -39/40 + z. Let c(s) = -s**3 + s**2 + 2*s. Let g be c(2). Is x <= g?
True
Let u = 0.15 + -0.05. Let a = 2 - -1. Let f be a*(-2)/(-3) + -3. Are u and f equal?
False
Let b(x) = x**2 - 6*x + 4. Let z be b(4). Let k = z + 9/2. Is k <= -1?
False
Let c be (-11)/(-33)*((-9)/12 + 0). Which is smaller: -33 or c?
-33
Let d be 1/2*4*-44. Let h = d - -437/5. Let c = 12 + -12. Is c equal to h?
False
Let j be 0 - (2 - 4/(-2)). Let v(h) = 3*h**3 - h + 1. Let d be v(1). Suppose 0 = -3*y + 1 + 11, d*y - 21 = 3*x. Is j < x?
True
Let l be 43/9 - (-2)/9. Is l at least as big as 24/5?
True
Let x(p) = -p + 6. Let s be x(4). Is 2 at least s?
True
Suppose 8 = 40*y - 36*y. Which is greater: y or 2.1?
2.1
Suppose -5*v = -10, v + 36 = 5*f - v. Which is bigger: 5 or f?
f
Let t = 2 - 2. Which is smaller: 2/7 or t?
t
Let y = -31 - -22. Let p = y - -8.7. Do 1/5 and p have the same value?
False
Let l(a) be the first derivative of -a**4/4 - a**3/3 + a**2 - a + 1. Let u be l(1). Which is smaller: u or -2/7?
u
Suppose -5*m + 14 = 4*b - 17, -m - 5*b = -23. Suppose 0 = m*d + 3*i, 5*d + 8 = -2*i + 23. Is 4 greater than d?
False
Let j be (84/16 - 4) + -1. Suppose -p - 3 = p - 3*z, -3*z = p + 6. Which is smaller: p or j?
p
Suppose -2*q - q = 3*m - 15, q - 3*m - 5 = 0. Suppose q*v - j = 32, 28 = 3*v + 3*j - 2. Let b = v + -7. Which is smaller: 8 or b?
b
Let c = -14 - -10. Which is bigger: c or -6?
c
Let i = -259/4 + 23059/356. Is i smaller than -1?
False
Let h be 6/(-27) + 29/9. Suppose h*k = 5*o + 2, -4*o + 0*o = -2*k + 2. Which is bigger: k or -1/11?
-1/11
Let v(d) = -2*d - 10. Let r be v(-8). Which is bigger: 5 or r?
r
Let l(h) = -h + 9. Let s be l(4). Suppose -5*q - 3*r = -31 + 6, -2*q - 2*r = -10. Is q smaller than s?
False
Let r be 2/6*(10 - -2). Suppose 2*u - 4 + 0 = 0. Is r bigger than u?
True
Suppose z = -z - 10. Which is greater: -6 or z?
z
Suppose g + 15 = -4*j, j - 26 = 5*g + 7. Let v = g + 4. Let r be (4/v)/((-6)/9). Is 2 smaller than r?
False
Let z = -11 - -6. Which is greater: z or 1?
1
Suppose 42 = -2*o + 5*o. Let q = o + -10. Which is greater: 5 or q?
5
Let v be 62 - 0 - (-1 - 0). Let g be v/165 + (-1)/5. Suppose -4*x - 5 = -3*x - l, -2*x + 4*l = 18. Which is greater: x or g?
g
Let v = 19 + -8. Let r = 119 + -120. Are v and r nonequal?
True
Let k be (-36)/(-14) - (-39)/91. Are 2 and k equal?
False
Suppose 0 = -0*z - z. Which is smaller: z or 1?
z
Let l = 29 + -18. Is l != 2/3?
True
Suppose 5*t + 5*o - 27 = -2, 3*o - 10 = -2*t. Is 8 >= t?
True
Let x = 62 - 62. Which is smaller: 2/9 or x?
x
Let s = 27.1 + -27. Which is smaller: -9 or s?
-9
Let p = 0.08 + 1.92. Let l = -1 - p. Is l at most as big as 0?
True
Let f = 14 - 9. Is f >= 4?
True
Let h = 4 + -16. Let n = 12 + h. Are 1/9 and n unequal?
True
Suppose -k + 11 = p - 3*p, -2*p - 31 = -5*k. Is -2 >= p?
True
Suppose -2*d - 2*d = -8. Let y = -20 + 36. Suppose 0*l = -l + n + d, -4*l - 4*n = y. Is l less than -1?
False
Let i = -1.01 + 0.39. Is i bigger than -1?
True
Let z be 1/(0 - 2/(-10)). Suppose -z*w - q - 10 = 4*q, 2 = -w - 3*q. Let y be -1*w*2/8. Is y greater than or equal to 0?
True
Let u be ((-3)/(3 + -6))/1. Let v be (4 - 3) + (-23)/21. Is u at most as big as v?
False
Let z be 12/(-8)*2 - -3. Let j be 1010/4*(-2)/(-550). Let b = j + -9/11. Is z less than b?
True
Let y be 3/((-6)/(-5) + (-3)/5). Which is bigger: y or 14/3?
y
Suppose -2*l + l = 6. Let f be (l/(-3) - 36)/(-2). Which is greater: 16 or f?
f
Let x(m) = 6*m**2 + 2*m - 1. Let j be x(1). Let o(t) = -t + 7. Let g be o(j). Is g equal to -1/11?
False
Suppose 14*f = 16*f - 48. Let r = 20 - f. Suppose -g - 7*d = -3*d + 20, -3*d = -5*g - 8. Is r less than g?
False
Let y be (-1 + 4)*(-3 + 4). Let g = 6 + y. Let p be ((48/g)/4)/(-6). Is -1 at most as big as p?
True
Suppose 0 = x + 1, -3*t + 6*t = x - 17. Let m be (-3 - -1)/((-12)/t). Is -2/3 != m?
True
Let u = -5 + 7. Suppose -5*c = -2*m - 2*m + 7, -4*m - c = -13. Suppose 2*j + u = m*j. Which is bigger: j or 2/3?
j
Let w = 2143/85470 + 1/1110. Do 0 and w have different values?
True
Let l = 226/9 + -25. Is 0 bigger than l?
False
Let x = -11 - -16. Let p = 4 - x. Is p at most as big as -14?
False
Let o = -7 + 6. Let w = -0.4 - 0. Let a = 0.2 + w. Which is smaller: o or a?
o
Let k(v) = v + 4. Let w be k(-5). Let d = 0 - -0.1. Let p = d + -0.2. Is p at most as big as w?
False
Let l be (-15)/3*(-2)/2. Let t be -1 - (75/(-9))/l. Which is smaller: 8 or t?
t
Let d = 0 - -2. Let q = d + -2.1. Let w(p) = -p + 8. Let r be w(11). Which is bigger: r or q?
q
Let i = 1.66 + -0.66. Which is smaller: -31 or i?
-31
Let g = 10 - 8. Suppose -3*h + g*v = -2*v - 22, 10 = -h - 3*v. Suppose -2*j + 4 = h. Which is smaller: j or -2/9?
-2/9
Suppose -5*q + 3*b - 63 = -2*q, -5*b - 84 = 4*q. Which is bigger: q or -22?
q
Let c be 1/2*1/2. Let l = 43/78 - 2/39. Which is bigger: l or c?
l
Let j = 9794/13 - 753. Let o = -63/130 + j. Which is smaller: 0.2 or o?
o
Let b be 1/(-2) + (-168)/(-272). Which is greater: -1 or b?
b
Suppose -2 = -4*m + 2. Which is smaller: 2 or m?
m
Let m(x) = -x**2 + 8*x. Let t = -5 + 15. Let f = -2 + t. Let c be 