u?
False
Let s = -16 - -19. Suppose 2*y = 3*d + 14, -s = -2*d - 11. Is 0 less than y?
True
Suppose 0 = -g + 4*g - 15. Is 5 at least g?
True
Let b = -106 - -108. Which is smaller: b or 10?
b
Let j(t) = t**3 + t - 6. Let l be j(0). Let z = l + 6. Which is smaller: 4/9 or z?
z
Let k(g) = -g - 1. Let r be k(0). Let z be (r*1)/((-3)/6). Suppose -4*l = -z*l. Is l at least -0.1?
True
Suppose -4*r - 9 = -5*m + 11, 0 = 3*m - 5*r - 12. Let y be 7/m - 1/(-4). Which is greater: 1/2 or y?
y
Suppose -25 = 5*i + 5*f, 5*f = 5*i + 4*f + 55. Let x be -5*-4*(-18)/i. Let s be (-8)/x - (-11)/9. Is s > -2/9?
True
Let x = 25 + -46. Is -22 at most as big as x?
True
Suppose -2*u + 54 = -j, -2*u + 3*j = -7*u + 113. Suppose 4*y - u = -5*x, 2*y = -5*x + 3*y. Is 1/30 at most as big as x?
True
Let p be (19 + -1)/((-5)/((-25)/(-10))). Which is greater: p or -10?
p
Let q = 2 + -2.5. Let x = q + 0.56. Let j = -1.06 + x. Which is bigger: 0 or j?
0
Suppose -2*d = 4*h - 18, 0 = -2*h + 5*d + 3. Suppose 3 = 4*s - h*i + 31, 0 = -s - 4*i - 32. Is s at most -13?
False
Suppose -1 = 2*k - 41. Suppose -2*b - b = -z - k, -5*z - 23 = -4*b. Which is greater: 0 or b?
b
Let y(k) = -3*k - 6. Let n be y(-2). Is n greater than or equal to -15/11?
True
Suppose f = -0*f. Let x be 2171/(-15) - (-9)/27. Let g = x + 145. Which is smaller: f or g?
f
Let u be (-19)/39 + (-5)/(-15). Let p = 233/4 + -58. Which is bigger: p or u?
p
Let v(k) = 2*k - 9. Let m be v(7). Suppose 2*q + p - 5 = -2, 4*p = -m*q + 15. Let h be ((-21)/(-12) + -1)/(-3). Are h and q nonequal?
True
Suppose -3*q - 1 = -5*y, -2*y - 7 = y + 2*q. Does 2 = y?
False
Suppose -3*p - 5 = 1. Let k be 2/9 + 29/(-9). Does k = p?
False
Suppose 7*z - 2*z + 5 = 0. Let c = -60 - -419/7. Which is bigger: c or z?
c
Suppose -9 = -x + 4*x. Let d be x/(-1) - 22/6. Let z be (0 + 0)/(-2*1). Is z at most d?
False
Let y(h) = -3*h + 1. Let p be y(2). Let s = -41/8 - p. Do s and 2 have the same value?
False
Suppose 83 = 2*v - 1. Suppose 4*m = -5*r - v, 2 = m + r - 6*r. Let s = -6 - m. Is s greater than or equal to 1/2?
True
Let y = -22 - -22.5. Which is greater: -2/3 or y?
y
Let t = -0.15 + -4.85. Are t and -0.1 unequal?
True
Suppose d = 2*o - 12, -d - 17 = -4*o + 9. Is 9 at least as big as o?
True
Suppose 20 = 5*g - 30. Let p be (-1)/g*(0 + -2). Let c(x) = x**2 + 5*x. Let m be c(-5). Which is smaller: m or p?
m
Let p be 2/(11/3 - 3). Suppose 3*b + p*q - 6 = 0, -5*b + 10 = q - 4. Are 13/4 and b equal?
False
Suppose 2*k = -3*q - 42, 105 = -5*k - 0*q + q. Is k > -19?
False
Let i = -2 - -2. Are i and 0 equal?
True
Let n = 1 - 1.07. Let g = n + 0.05. Let m = g + -0.08. Is 1/4 at least m?
True
Suppose -4*z + 32 = -5*c, -2*z + 2*c = 2*z - 20. Let d be (-11 + -1)/(z/(-2)). Suppose a - 5*a + x + 24 = 0, 4*x - 16 = 0. Is d equal to a?
False
Let g = -6 - 3. Let u = 12.9 + g. Let w = -4 + u. Which is smaller: 1 or w?
w
Let a = 4 + -3. Which is greater: a or 6?
6
Let o = 1/12 + -23/60. Let a = 0 + 0. Is a < o?
False
Let n be (-14)/(-6) + 4/6. Suppose -n*o - 11 + 2 = -3*h, 5*h = 3*o + 13. Which is bigger: h or -4?
h
Suppose 4*z + 15 = -3*i, 5*i + 25 = z - 0*i. Suppose 0*l + l - 3*k = z, 2 = -2*k. Is -3 smaller than l?
False
Let j = 12 - 13. Is 1/5 < j?
False
Suppose 4*x - 3*x + 12 = -3*o, 3*x - 5*o - 20 = 0. Suppose x*u = -3*u + 3. Is -1/9 at least u?
False
Let w(y) = -4 + y**3 - 4*y - 2*y + 2 + y**2 - 6*y**2. Let l be w(6). Which is bigger: l or -3?
l
Let a = -16 - -6. Are -8 and a equal?
False
Let c = 1.1 - 0.1. Let r = 0 + c. Let n = -0.16 + 0.16. Is n equal to r?
False
Let h(g) = -g**2 - 4*g - 1. Let c be h(-2). Let k = 6 + 7. Suppose -3*q + 5*b - c = 2*b, 4*b - k = -5*q. Which is bigger: q or 0?
q
Suppose -4 = -4*l + 24. Let u(d) = -d**3 + 6*d**2 + 7*d. Let z be u(l). Is -2/13 bigger than z?
False
Let o = -5 + 3. Suppose -5*t + w - 2*w + 26 = 0, -4 = w. Let y be (-7)/6 - (-4)/t. Which is greater: y or o?
y
Let x = 11 + -17. Which is greater: -1 or x?
-1
Suppose 2*f - 5 = -3*d, 16 = -4*d + 3*f - 0*f. Let p be (9/(-3) - -1)*d. Which is bigger: 1 or p?
p
Suppose -3*i - 7 = 2*u, 0 = i + 3*u - 0 + 14. Let m be (-3 - -7)*i/6. Is 0 not equal to m?
True
Let v = 129 - 642/5. Let n be (-2 - -1)/(7/(-14)). Are n and v unequal?
True
Let r(h) = -h**2 - 5*h - 4. Let b be r(-3). Let m be (b + 5/(-2))*2. Let l be m/3 + 34/66. Which is bigger: 0 or l?
l
Let h = -4 + 3. Let z = -19/3 + 7. Is z less than or equal to h?
False
Let i = 9 + -14. Let c = 9 + i. Is -1/3 greater than c?
False
Let r = 46 + -46. Is r less than 4?
True
Let m = 19 - 15. Suppose 3*v - 8 = 4. Is m < v?
False
Let o(m) = m - 9. Let c = 13 - 0. Let d be o(c). Do d and 1 have different values?
True
Suppose -4*n = -2*p + 6*p, -5*n = -5. Let l be p*(-2)/2 + 1. Let k(z) = -z**2 + 1. Let u be k(l). Is -3 at most u?
True
Let i be 1 - (-4 - -3)/((-2)/6). Let t = -5.7 + 6. Is t at most i?
False
Let y be -4 - (-5)/(20/12). Is -5 != y?
True
Suppose 3*l = 2*f + 28, -2*f = 2*l - 0*f - 2. Is l bigger than 6?
False
Let s = -6 - -15. Suppose 5*p - 3*m = 55, 0 = 2*p - 3*m + m - 26. Which is bigger: p or s?
s
Let a be 5/(2 + (-3)/2). Let v be 1 - (-1 + 16/a). Let x = 2.03 - 0.03. Is v smaller than x?
True
Let p = -5 - 1. Let y be (4/p)/(3/(-9)). Is 3/4 != y?
True
Let o be 2/((-8)/6*-5). Let l = -1/70 + o. Is 0 >= l?
False
Let g(p) = p + 2. Let s be g(-3). Let n = 13 - 20. Let h = n + 7. Is h less than or equal to s?
False
Let w = -0.1 + 0.1. Let c = 18 + -18. Is w smaller than c?
False
Let a(f) = -f**2 - f + 1. Let h be a(-5). Is h equal to -19?
True
Let y(o) = -o + 8. Let n = -10 + 14. Let l be y(n). Suppose -2*i + 2 - l = 0. Is i less than -1/8?
True
Let u be (28/35)/(2/(-5)). Let c = -0.1 + -0.1. Let h = c + 0.2. Do u and h have different values?
True
Suppose v + 402 = -5*q, 2*q - 869 = 2*v - q. Let y be (-1 - -2)/((-21)/v). Let d = 22 - y. Is 2 < d?
False
Let g be (12/(-8))/((-3)/8). Let m be 3/(-48)*g/3. Which is smaller: 1 or m?
m
Suppose -3*o + 4*o + c + 1 = 0, 0 = -5*o - 2*c - 2. Suppose -3*s + 6 = -q + 5*q, -s + 3*q - 11 = o. Is s > -2/3?
False
Let i be -2 + 1/3 + 16/24. Is i >= 1/33?
False
Let k be (-2 - 0) + (-1 - -3). Suppose k = -v + 3*v - 104. Let h be v/110 - (-1)/(-5). Does h = -0.1?
False
Let b(u) = -4*u - 15. Let l be b(-4). Is 1/5 not equal to l?
True
Suppose -3*x = 3*f + 12, -x + 2*f - 24 = x. Let r = x - -13. Suppose 15 = 5*v + r*j, -3*v + j = -v - 6. Is v smaller than 3?
False
Suppose 38*s - 30*s - 736 = 0. Is s > 92?
False
Suppose 40 = 5*d - 2*k, -2*k = -k. Let w = -57 + 66. Which is smaller: w or d?
d
Let t = 6339 - 526128/83. Let g = -1117/415 - t. Which is bigger: -2 or g?
-2
Suppose -4*m + 50 = -9*m. Are -10 and m unequal?
False
Suppose 0 = 3*o - 5*a - 11, 4*o - 6 + 1 = -3*a. Suppose 6*p - 1 = 5*p. Suppose -3*w - o - p = 0. Which is bigger: -2 or w?
w
Let z be (-8)/2*2/124. Let d = z - 89/62. Which is bigger: d or -0.1?
-0.1
Let j = -5855/24 - -244. Let i(c) = -2*c**3 + 23*c**2 + 11*c + 13. Let v be i(12). Which is smaller: j or v?
j
Let h be 34/(-10) - (-4)/10. Let t(a) = -a**3 - 5*a**2 + a + 2. Let d be t(-5). Is d less than h?
False
Let g(d) = d. Let v(n) = -n**2 + 2*n + 4. Let i be v(3). Let z be 0 + i + -1 + 4. Let w be g(z). Is w > 3?
True
Let l be -2 + 2 - (-57)/(-4). Let b = l - -391/28. Which is smaller: 2/9 or b?
b
Let r be 6*44/56 + 5*-1. Suppose -j = -0*j. Is j at most r?
False
Let a = -2 + 8. Let g be ((-2)/a)/(8/12). Is g greater than or equal to -2?
True
Let x be 2 - (0 - 4) - 25. Which is smaller: x or -18?
x
Let a = 5 - 29. Which is smaller: -23 or a?
a
Let m be (-9)/(4 - 7)*-1. Does m = -3?
True
Let d be ((-260)/(-16))/((-1)/(-8)). Is d != 130?
False
Let l = 4 + 3. Suppose 2*k - 2*t + 10 = -4*t, k - l = 5*t. Does -1 = k?
False
Let h = -676/5 + 136. Do h and 0 have different values?
True
Let g = -0.3 - -0.4. Let t = -10 - -8.8. Let s = t + 0.2. Which is greater: s or g?
g
Let p = -0.3 - 0. Let q = -7.9 - -8. Let c = p + q. Is c not equal to -1?
True
Let h = 0 + 0.2. Let k = 52.7 + -53. Which is bigger: k or h?
h
Let l(j) = -j + 3. Let b be l(0). Suppose 0*s = -b*s. Suppose 3*a + 15 = a - 3*k, s = 4*a + 5*k + 27. Are 1 and a non-equal?
True
Suppose 4*x + 2 = -2*q, 32 = 2*q - 5*x + 7. Suppose -4*o = -5*z - 17, q*o + z + 1 = -14. Let y be (3/(-1))/(3/o). Is y bigger than 3?
False
Let i(w) = 