et t = 0.169 + 0.031. Suppose 0 - 4 = -2*n. Is t greater than n?
False
Let s = -4 + 10. Let v = s + -9. Is v less than -2?
True
Let q = 459.77 + -469. Let h = q + 9. Let p = -0.07 + h. Which is smaller: p or 0?
p
Suppose 0 = -3*s - 6, -76 = 2*u - 4*u + 2*s. Is u greater than 36?
False
Suppose 0 = -q - 3*i + 5, 5*q + 5*i - 3*i = 12. Is 2 equal to q?
True
Let d(f) = f**3 - 6*f**2 - 8*f + 5. Let z be d(7). Let r = -1 - 3. Let o = r + 2. Is z less than o?
False
Let v = 151 + -268. Which is bigger: v or 0.1?
0.1
Suppose 2*n - 13 = -3. Are 7/2 and n nonequal?
True
Suppose k - 1 = t - 0, 0 = -2*k + 4*t + 4. Suppose -2*s = 1 - 5. Is s != k?
True
Suppose 2*b = 3*q - 10, q + 4*b + 20 = 3*q. Is -1/16 at most q?
True
Let f = -2.06 - -0.06. Let k = f - -1. Let b = 1.45 + -1.35. Are b and k equal?
False
Suppose k + 5*w - 3 = 4*k, -5*k - 4*w + 32 = 0. Suppose -15 = 5*d - 0, k*q - 2*d = 102. Let b be 4/q + (-2)/(-4). Does 0 = b?
False
Suppose 4*d - 12 = p, -d = -2*d - 2*p + 12. Suppose -d*w = 3 + 1. Let u be 0/((0 + 1)*2). Which is bigger: u or w?
u
Let b = -11 + 15. Do b and 5 have different values?
True
Let y = -17 - -36. Let h = 18 - y. Are -1/10 and h nonequal?
True
Suppose -3*f = -4*f + 5*m, 0 = -4*f - 5*m. Let s = -8/9 - -25/18. Which is smaller: f or s?
f
Suppose -30 = 3*g + j, 2*g + 2*j = -g - 33. Which is greater: -10 or g?
g
Let n = 24 + -14. Which is greater: 1/2 or n?
n
Let w(s) = s**3 + 6*s**2 - 8*s - 4. Let a be w(-7). Suppose 0 = 3*n - g + 2, 3*g - 3 = a*n - 9. Is -3/5 != n?
True
Let a be 383/2 + (-12)/8. Let y = a + -575/3. Is y greater than or equal to -3?
True
Suppose -2*u + 9*u = 0. Is -1.1 less than or equal to u?
True
Suppose -5 = -2*p + 15. Is -1 smaller than p?
True
Let u = -24 + 25. Does u = 7/10?
False
Let k be -2*(-1)/85*15. Let y = -51 + 52. Which is smaller: k or y?
k
Let h = 0.41 + -0.4. Let s = -0.19 - h. Let k = 1083/7 - 155. Is s less than or equal to k?
False
Suppose 0*a + 4 = 4*a. Suppose c + 2 = a. Let i be -1 + (1 - c - 2). Is i greater than 1?
False
Suppose 6 = a + 2*y - y, 0 = -4*a + y + 29. Let d = a + -7. Are 3/5 and d nonequal?
True
Let j(y) be the third derivative of -y**6/120 - y**5/10 - y**4/6 + 7*y**3/6 - 2*y**2. Let q be j(-5). Let f be 3*((-152)/(-78) - q). Is f <= 0?
True
Let v = 18 + -8. Let s = v + -9. Do 5/4 and s have the same value?
False
Let a = -12 - -16. Suppose 5*s = 20, d + 0*d - a*s = -24. Is -7 less than or equal to d?
False
Let j = 725 + -5067/7. Is j > 1?
True
Let a = 5 + 8. Which is smaller: a or 14?
a
Let n = -0.9 + 4.9. Let u = -3.99 + n. Let g = -0.01 + u. Is g greater than 1/5?
False
Let m = 6416/93 + -69. Which is smaller: 1 or m?
m
Let p(l) = l**3 - 4*l**2 - 10*l - 12. Let m be p(6). Let t = -5 + 7. Let v = t - 1. Which is smaller: v or m?
m
Let x(s) = 7*s. Let r be x(1). Suppose 3*h - r*h - 12 = 0. Which is greater: -5 or h?
h
Let x(j) = -j**2 - 4*j - 3. Let t be x(-2). Let n(u) = -5*u - 2. Let s be n(-7). Let a be (2/4)/(s/6). Is t equal to a?
False
Let w = 0.3 - 0.31. Let k = -0.09 + w. Let j be 2 + (36/(-10) - -2). Which is greater: k or j?
j
Let f = -33 + 28. Is -2 != f?
True
Let t(i) = i**2 - 3*i - 5. Let x be t(4). Are x and -16/7 equal?
False
Suppose 3*o = g, 3*o - 2*g + 5 = 2. Let x = 5 - o. Suppose 0*q + 2*q + 6 = -x*m, 2*m + 28 = 4*q. Is -4 less than m?
False
Let c be (-4)/(-6) + 2/(-3). Suppose c = b - 2*b. Is 2/7 less than or equal to b?
False
Suppose 0 = 3*c + 15, 2*c = -2*k + 134. Suppose -5*b - 17 + k = 0. Let v = b - 7. Is 4 <= v?
True
Suppose -4*j + 2*n + 20 = 0, -6 = -3*j - 5*n - 17. Do 3 and j have different values?
False
Let l(j) = j + 38. Let n be l(-14). Is 24 greater than n?
False
Let d(g) = -g + 12. Let p be d(7). Suppose 32 = 5*s + 4*f, -f + p = 2. Suppose 0 = -t + 6*t - 3*c + 2, -4 = s*c. Is t at most as big as -1?
True
Let c = -5.01 - -0.01. Let m = c + 5. Let x = -0.1 - -0.1. Is x at least as big as m?
True
Let s be (2/(-12))/((-3)/(-42)). Suppose -5*o - 25 = 3*q, -2*o + 4*q = 3*q - 1. Which is greater: o or s?
o
Let d be 3 + (1 - -2)*-1. Let a = 1 - 2. Is d greater than a?
True
Let o = -11/20 + 4/5. Which is smaller: -2/3 or o?
-2/3
Let d(n) = n**3 + 7*n**2 - n - 5. Let q be d(-7). Suppose -2*z + 5*m = 2*m + 14, -2*m + 12 = -q*z. Let r be (-21)/18 - z/6. Which is greater: -2/5 or r?
-2/5
Suppose 5*i - 5*u - 31 = -u, 5*i + 5*u - 40 = 0. Do i and 5 have different values?
True
Let d = 5 + -3. Suppose 5 = -3*l + d. Does -1 = l?
True
Let x be 8 - (-1)/((-1)/2). Let y = x + -2. Suppose -y*t = -4*f, -5*f - t = -3*t - 9. Which is greater: 2 or f?
f
Let i = -1 - 1. Is 0.2 not equal to i?
True
Let n = 0.8 - 0.8. Let b = 0.1 + n. Which is smaller: -3 or b?
-3
Suppose 3*g + 9 = 0, 5*h + 7*g - 5*g + 11 = 0. Let w = -194 + 194. Which is smaller: h or w?
h
Let v(w) = w - 1. Let d(y) = y**2 - 2*y - 14. Let m(r) = -d(r) + 5*v(r). Let k be m(8). Is k at least as big as 1?
True
Let s = 15 + -31. Is s less than or equal to -15?
True
Let x be 0 - (1 + 6/(-9)). Suppose -5*m = 2*r + 1, -2*m = -5*m - 5*r + 7. Which is bigger: m or x?
x
Let d be (-1 - -1)*(-2)/4. Let p = d - 3. Let t be 3*p/((-54)/2). Is 1 less than or equal to t?
False
Let h = 8 + -7. Let f be ((-4)/(-10))/(6/5). Which is greater: f or h?
h
Suppose b = 2*b - 2. Suppose m - 2*m = b. Let a(t) = -t**3 - 3*t**2 - 3*t - 3. Let k be a(-2). Which is greater: k or m?
k
Let s(i) = 2*i**2 - 27*i + 12. Let v be s(13). Let m be -7*(-15)/(2/2). Let k = m + -423/4. Does v = k?
False
Suppose -726 = 11*l - 22*l. Is 65 < l?
True
Let g = -14/25 - -29/25. Let v be (2/(-4))/((-2)/(-80)). Let y be (2/v)/((-6)/(-15)). Which is smaller: y or g?
y
Let m = 75 + -15. Let n be ((-3)/(-21))/(m/(-7)). Let r = n + 4/15. Which is bigger: r or 1?
1
Let n = -103 + 105. Let c = 0.14 + -8.14. Which is greater: n or c?
n
Suppose 3*g = -4 - 5. Let i be 8/(-4) - -2 - -1. Let n be (-2)/i - 0 - 3. Which is bigger: n or g?
g
Suppose -5*q - 125 + 100 = 0. Which is bigger: q or -5/4?
-5/4
Suppose -3 = 5*u + 7. Is -1 at least u?
True
Suppose -5 = r - 2. Let b be (6/(-12))/(r/6). Which is greater: 3/8 or b?
b
Let s = -32711/130 + 1258/5. Let c = s - 49/130. Is -1/3 > c?
True
Let y = -1 + 0. Let i = 25.9 - 25. Let m = -4.1 - i. Are m and y unequal?
True
Let h = 2 - -2. Let i = h + -4. Suppose 0 = 2*g - m - 5, i*g = -g + 5*m + 16. Which is bigger: g or -1?
g
Let j = -1337/78 - 14/39. Let m = j + 17. Let r(t) = -t**2 + 6*t - 7. Let w be r(5). Which is greater: m or w?
m
Let m be (-135)/(-20) + -3 + -5. Is -15 at least m?
False
Let t(q) = q - 6. Let l be t(8). Suppose -2*d = 3*m + 3, -2*d - l*m = -d + 1. Are d and -3 unequal?
False
Let u(d) = -2*d + 5. Suppose y - 2*v + 51 = 6*y, -y - 4*v = -21. Let k = 13 - y. Let p be u(k). Are 1 and p equal?
False
Let i = -85 + 59. Is i > -26?
False
Let k be ((-3)/(-3)*-4)/1. Let d be 3 - 2 - (6 - (-12)/(-4)). Is k less than or equal to d?
True
Let v = -188/35 + 24/5. Is v greater than or equal to 8?
False
Let o = 0.08 + -0.03. Which is greater: 2 or o?
2
Suppose 7*f = -5*f. Which is smaller: f or 2/93?
f
Let z(x) = -2*x. Let g be z(1). Let o = -1 - 1. Let j be 27/(-7) - g - o. Which is smaller: j or 0?
0
Let i = 253/3 - 85. Let p = -13 + 9. Let k = p + 3. Is k at most i?
True
Let a = -0.6 + 0.1. Let z = 0.5 - a. Let q be -1 - -3 - 5/3. Are z and q non-equal?
True
Let g = 105 + -99. Which is bigger: g or 19/4?
g
Let y = -42 - -43. Is 2/3 at least as big as y?
False
Let l(r) = -2*r - 2. Let z be l(-3). Suppose 4*v = 20, 5*n + 3 = z*v - 12. Are n and -4 unequal?
True
Let l(i) be the first derivative of i**2/2 + 5*i + 1. Let j(u) = -u**2 - u + 2. Let a be j(2). Let d be l(a). Which is bigger: d or 0.2?
d
Let l be (-2)/4 + (-2)/(-4). Let i be (10/(-4))/((-2)/(-4)). Let w be i/(-225) - (-2)/10. Is w less than or equal to l?
False
Let f(c) = -c - 11. Let z be f(-10). Which is smaller: z or -0.9?
z
Let r be 80/30 + (-2)/(-6). Suppose 3*x = x - 4*p - 16, 0 = x + p + 3. Suppose x*s = 10 - 4. Is r greater than or equal to s?
True
Suppose 4*m = 5*o + 46, -m + 5 + 0 = 2*o. Which is smaller: m or 8?
8
Let u be (-10)/(-24)*1*-1. Which is smaller: 1 or u?
u
Let y(i) = i + 3. Let x be y(-4). Let h = 2 + x. Is h greater than 3/8?
True
Let i = 20 + -39/2. Let f(m) = -m**3 - 6*m**2 + 8*m - 7. Let v be f(-7). Are v and i unequal?
True
Suppose -4