 than -0.2?
True
Suppose -262 = -5*y + 3*q, -212 = -3*y - y + 3*q. Let u = 352/7 - y. Let m = 0.08 - -0.22. Which is smaller: m or u?
u
Suppose 0*o = -5*o + 15. Suppose o*x + 2*x = -20. Let j be -3*(-1 - 2/x). Which is greater: 1/2 or j?
j
Let a = 5900 + -100258/17. Is a not equal to 1?
True
Suppose d + 25 = -2*l - 0, -83 = 5*d - 4*l. Which is smaller: d or 0.1?
d
Suppose 2*b - b = 4. Let s = b - 0. Suppose 0 = -l - t, 0 = -s*l - t - 0*t - 6. Which is smaller: 1 or l?
l
Let l = 14 - 51. Are -39 and l unequal?
True
Let z = -9 - -8. Are z and -10/7 non-equal?
True
Let a = -18 + -2. Is -21 at least a?
False
Let r = -173 - -174. Let j = -8.93 + -0.07. Is r equal to j?
False
Let a = 105 - 89. Are 15 and a non-equal?
True
Let t be 2 - (3 - (2 + 1)). Suppose -5 = t*d - 3. Is 0 at most d?
False
Let y = 7 - 0. Let c(n) = n**2 - 7*n + 6. Let b be c(y). Do b and 5 have the same value?
False
Let d = -23 - -22.91. Let b = d + 0.19. Let z be (2/12 + 0)*3. Is b not equal to z?
True
Let d = -5.88 - 0.12. Let w = -6.1 - d. Let p = 0.2 - 0.1. Which is greater: w or p?
p
Suppose -3*w - 29 = -4*r, -2*r + 3*r - 2 = -w. Suppose -2*p - 12 = p. Which is greater: w or p?
w
Let h(j) = j**2 - 5*j - 4. Let m be h(5). Let g(i) = 2*i**3 - i - 1. Let o be g(-1). Which is smaller: m or o?
m
Let i = 0.5 + -0.46. Are i and 1 equal?
False
Suppose -2*n + 4 = -0*n. Let k(p) = -3*p + 1 + 10*p + 2 - n. Let v be k(-1). Which is smaller: 1 or v?
v
Let x(q) = q**2 - 2*q - 3. Let s be x(3). Which is greater: 14 or s?
14
Let l(w) = w**3 - w. Let y be l(0). Which is bigger: y or -1/3?
y
Let n = 31 - 22.7. Let k = n + -7. Let w = k + -0.3. Are w and 2 nonequal?
True
Let m be (-3)/(-2)*(-40)/(-3). Suppose -5*u + 10*u - m = 0. Do u and 9/2 have the same value?
False
Suppose -q + 6*q = 30. Let t be -2 + 2*5/q. Is 0.1 smaller than t?
False
Suppose 0*s - 4*s - 72 = 0. Let n = s - -17. Which is bigger: 2/21 or n?
2/21
Let k = 1.11 + -0.11. Is k <= 0?
False
Let b(d) = d**2 + d + 2. Let j be b(-2). Let z be (j/(-3))/((-10)/(-6)). Which is bigger: z or -2?
z
Let p = -0.18 - 0.02. Suppose -l + 2 - 1 = 0. Which is smaller: l or p?
p
Suppose -5*v + 4*y = 50 - 2, 0 = 5*v - 5*y + 45. Which is smaller: v or -11?
v
Let o = -1825/124 - -59/4. Are -1/5 and o equal?
False
Let i = 18 - 19. Let m = -49/5 - -10. Is i greater than m?
False
Let o(l) be the first derivative of l**4/4 + l**3 + 3*l**2/2 + 4*l + 3. Let r be o(-3). Is -5 smaller than r?
False
Let s(j) = j**3 + 2*j**2 + 4*j - 4 + 2*j**2 + 6. Let i be s(-2). Let w be (-1)/(-1)*2*i. Which is smaller: 3 or w?
3
Let l(q) = q**3 + 9*q**2 - 3*q - 9. Let n be l(-9). Suppose 5*x - 15 = 0, 3*b - 5*x = -n + 3. Which is smaller: 2/5 or b?
b
Suppose 5*j - 9 - 51 = 0. Suppose 5*g + v = j, -6*g + 2*g = 3*v - 3. Let r be (1/(-3))/(8/g). Are -1 and r equal?
False
Let g = 5 + -6. Which is smaller: 2 or g?
g
Suppose -3*n - 3*b = -27, 3*b - 20 = -b. Suppose 0 = -4*v + n, -13 - 5 = 4*u - 2*v. Let r = u + 5. Is r bigger than 3?
False
Suppose j + 45 = 6*j. Suppose 1 = -5*t - j. Let v = 19/2 - 10. Which is greater: t or v?
v
Let w = -22 + 24. Which is bigger: w or -0.07?
w
Let n = -13/6 + 5/2. Let u = -0.12 - -0.02. Is u bigger than n?
False
Let d(c) = c**2 - 17*c + 30. Let g be d(15). Suppose -3*x + a + 23 = 0, 3*x + 5*a - 10 = 37. Let h = x + -44/5. Is g bigger than h?
False
Let f(v) = v + 5. Let g be f(-5). Let a = -5827/8328 + -3/347. Let u = a - -3/8. Which is bigger: g or u?
g
Suppose 0*w - 4*w + 2*d - 42 = 0, -24 = 2*w + 2*d. Let b = -3 - w. Suppose m + 3*m = -b. Are m and -2 unequal?
False
Let h(c) = c**3 + 10*c**2 - 10*c + 9. Let m be h(-11). Let x = -11 - -7. Is m at least x?
True
Let l = 26/1259 - 322434/6295. Let b = -51 - l. Is -2/7 at most b?
True
Suppose -7 + 1 = -n. Let c = n + -8. Let o be (12/(-9))/((-2)/(-6)). Is c < o?
False
Let d = 103028 + -7933410/77. Let q = -30/11 - d. Which is smaller: q or 1?
q
Let b be 12 + -1 - 1 - -2. Is 13 at least b?
True
Suppose 4*u - 37 = 7. Are 9 and u nonequal?
True
Let p = 0 - 0. Suppose 0 = 2*s - 4*f - 16, -s = s + 2*f - 10. Let a be s/16*13/39. Does p = a?
False
Let x = -22 - -22. Let t = -1 + 3. Let c be (2 - x) + (t - 0). Is c <= 4?
True
Let d = 53 + -52. Let a = -3 - -7. Suppose 2*x + 2*n - 16 = 0, -22 = -5*x + a*n - 3*n. Is x at least d?
True
Suppose 0 = -v - 5*k + 1, 0*v + 5*k - 4 = -4*v. Which is smaller: v or 4?
v
Suppose 2*a - 2 = 0, 0*q - 4*a + 32 = 4*q. Is q not equal to 9?
True
Suppose -16 = -5*m - 2*x, 4*m + 5 - 16 = -x. Suppose -5*j = -3*r + 3, 6*j = -2*r + j + 27. Suppose 3*n - n + m*i = -r, -2*n = -5*i - 8. Is 2/17 at least n?
True
Let s be 2/(-182)*(-1130)/(-5). Let n be (-1 - -7)*6/(-13). Let d = n - s. Which is smaller: d or -1?
-1
Let i = 5.86 + 0.14. Let a = -52.8 - -59. Let d = a - i. Is d smaller than -1?
False
Suppose -c + 3 - 5 = 0. Let q be (-1 + -3)*c/(-4). Suppose -x - 3 = 2*x. Do q and x have the same value?
False
Suppose 4*d - 18 = m - 4, -3*d - m = -7. Suppose 3*g = -d*s - 9 - 84, 2*s = 5*g + 148. Let f be 6*(g/9)/(-5). Is f not equal to 3?
True
Let t = 18 + -18. Is -2 bigger than t?
False
Let c be (-1424)/(-2296) - (-8)/(-14). Which is greater: c or -1?
c
Let d(v) = v + 70. Let w be d(0). Let b be (w/21)/((-2)/(-6)). Is b >= 11?
False
Let o(w) = -2*w - 6. Let r be o(-5). Suppose -r*s = -2*s. Which is smaller: s or -2/11?
-2/11
Let m = 7 + -1. Suppose k - 4*k = m. Let n be 21/(-42) - (-7)/(-2). Which is greater: k or n?
k
Let y = -12 + 12. Which is smaller: -1/3 or y?
-1/3
Let i be 6*(-4)/6*138/24. Do i and -0.1 have the same value?
False
Let p be -2 + (21/(-9) - 3). Is p not equal to -6?
True
Let k be 29/9 - (-6)/(-27). Suppose -k*n + 4*t = 9, 0*t = n + t - 4. Is 2 at least n?
True
Let x be (-2)/4 - (-184)/(-16). Which is bigger: -14 or x?
x
Suppose 4*l - 2*g - 4 - 74 = 0, 4*l = 3*g + 81. Which is greater: l or 0?
l
Let m be (2/(-6))/((-2)/3). Let o = -21 - -48. Let z be 6/o - (-4)/(-18). Is z less than m?
True
Let d = -12/19 - 2/57. Let o(p) = -2*p**2 - 11*p + 4. Let q be o(-6). Which is greater: q or d?
d
Suppose 0 + 4 = -4*z. Suppose -3*w + w + 4 = 0. Let p be (w/6)/((-2)/4). Is p <= z?
False
Let u = 1417/15 - 293/3. Which is greater: -4 or u?
u
Suppose 6 = 2*b - 4. Suppose b*k + 6*t - 3*t + 10 = 0, 5*k + 10 = 4*t. Which is smaller: -1 or k?
k
Let u be ((-15)/2)/((-440)/64 + 8). Is u at least -7?
True
Let w = -13.9 + 14. Which is bigger: w or 0.02?
w
Let o = 3/52 + -4/13. Let k = -1.5 + 1.3. Are k and o equal?
False
Let x = 16 + 3. Let a = x - 18.8. Which is smaller: -0.7 or a?
-0.7
Let h = -17 - -12. Let z be (9/(-2))/((-3)/4). Let m = h + z. Is m at most -1/8?
False
Let c(t) be the third derivative of 0*t**4 - 2/3*t**3 + 0*t + 0 + 2*t**2 + 1/60*t**5. Let w be c(0). Is -3 smaller than w?
False
Let h = -5 + 3. Let r be (0*(-3 - h))/(-2). Let w = 8 - 8. Is w smaller than r?
False
Suppose 2*p + 18 = 4*j, 0 = 2*p - j - j + 12. Suppose z - 7 = 4*k, -11*k + 6*k - 15 = 5*z. Which is smaller: k or p?
p
Let f be -74*6/156 - -3. Which is smaller: -12 or f?
-12
Let x be (12/(-8))/(6/8). Which is smaller: x or -6?
-6
Suppose 2 = -3*w + 29. Let a = -8 + w. Is a greater than or equal to 4?
False
Suppose 10*o - 26 = -3*o. Which is bigger: -11 or o?
o
Let q be ((-24)/9 + 2)*3. Let g be (-32)/(-18) - q/(-1). Let p = 0.2 - 0.1. Which is bigger: g or p?
p
Let y = 67 - 67. Is -3/13 smaller than y?
True
Let n = 37/3 + -151/12. Let k = -2 + 2. Which is smaller: n or k?
n
Let o = 3 - 3. Let d = 223/4 - 56. Is o at most d?
False
Let i = 7 + -36/5. Let f = 0 + 0. Is f != i?
True
Let g = 121.1 - 121. Let a(p) = 9*p + 6. Let i be a(-4). Let q = i + 211/7. Which is smaller: q or g?
g
Let o(w) = -w**2 + 5*w - 3. Let t be o(3). Let l(v) = -v**3 + 2*v**2 + 4*v + 1. Let p be l(t). Which is greater: p or 1?
p
Let n = -0.33 + -0.67. Is n < 1/2?
True
Let m(t) = t**3 + 7*t**2 + 5*t - 3. Let a be m(-6). Let y = a + -2. Is 0 at most y?
True
Suppose 4*i + 10 = -q, -4*i + 2*i + 3*q - 12 = 0. Let r be 3/2*(-4)/6. Is i >= r?
False
Let v = -14.7 + 0.7. Let f = 10 + v. Let x = f + 5. Is -1/3 at least as big as x?
False
Let w = -72/11 - -382/55. Let m = 1.6 - 0. Let l = -0.6 + m. Is l <= w?
False
Let d be (-11 - -10) + (-418)/(-422). Is 1 at most d?
False
Let y = -16409 - -82298/5. Let k = y - 51. Is k greater than or equal