a = 0.25 - 0.57. Is a greater than -1?
True
Suppose 3*l + 7 = -2*y - 2*l, 5*y - 23 = l. Let p be (3/y - 2)*4. Does -4 = p?
False
Let i be 1204/216*(-9)/(-33). Let v be 2/(-6) + 35/99. Let s = i - v. Are s and 3 unequal?
True
Let i = -22 - -23.8. Let u = i - -0.2. Is u >= 1?
True
Let a = -163 - -2118/13. Let t = a + 18/65. Let u(z) = -z**2 + 6*z - 4. Let n be u(5). Is t > n?
False
Let h = 9.5 + -8. Let s = 0.5 + h. Is s not equal to 3?
True
Let h = 32.8 + -30. Let q = h + -3. Let g = -3.05 - -0.05. Is g >= q?
False
Suppose 4*v + 10 = -18. Let g = 22 - 20. Suppose -30 = 3*i + g*i. Are v and i unequal?
True
Let v(s) = -s**3 - 3*s**2 + 3*s - 1. Let d be v(-4). Let t = 16/5 - d. Is t at most as big as 0?
False
Let f(k) = k**2 - 4*k - 8. Let s be f(6). Suppose r + s*r - 2*z = -9, 2*r + 4 = z. Suppose 0 = 3*h - 2*h. Is h at most as big as r?
False
Suppose 4*p - 2*k - 5 = 21, -2*k = -p + 8. Suppose 5*o + 7 = p*o. Suppose r - 2*b + o = 17, -16 = 4*b. Is r <= 2?
True
Let g(a) = -a**3 + a**2 - 1. Let m be g(-1). Let o be (-4 + m)*3/(-15). Suppose -4*w + 18 = 10. Which is greater: w or o?
w
Let p = -101.1 - -85. Let v = 10.4 + p. Let k = -6 - v. Is -0.1 greater than or equal to k?
True
Let w = 28 - 10. Suppose -3 = x - 5*p, -5*x + 10 = -4*p + 4. Suppose x*h + w = -h. Which is smaller: -5 or h?
h
Let x(z) = -z**3 - 7*z**2 + z + 8. Let l be x(-7). Let t(i) = 2*i**3 + 2*i**2 + 2*i + 2. Let h be t(-2). Let v be (4/2 + 0)/h. Is v smaller than l?
True
Let u = 30 - 29.9. Let h = 0.9 + -1. Let c = -0.2 - h. Which is greater: c or u?
u
Let j = 10 + -7. Which is smaller: 4 or j?
j
Let g = 3.6 + -2.3. Let b = g + -0.3. Let j = b + -0.9. Which is smaller: j or -4/3?
-4/3
Suppose -l + 3*l = 3*r - 136, -l = -3*r + 131. Does r = 41?
False
Let b = -18 + 5. Let d = -9 - b. Let y = -2 - -3. Which is smaller: y or d?
y
Let z = 133 - 132. Is z greater than or equal to 5?
False
Suppose -5*p - 4*f - 57 = 0, 0*f - 5*f + 23 = -p. Which is smaller: p or -12?
p
Suppose -3*m + 3 = -6. Suppose 0 = 3*b + 5*t - 8, 5*b - 24 = -m*t - 0*t. Is 5 greater than b?
False
Suppose 3*x = 3, 3*x - 5 = -5*d - 2. Which is smaller: d or -1?
-1
Suppose -2*y - 2 = 2. Is y less than -3?
False
Suppose 0 = -4*u + 20 - 24. Let w = 1 + -1. Is u at least w?
False
Let u(o) = 2*o - 1. Let s be u(3). Suppose s*w = -2 + 7. Is w less than or equal to -2/7?
False
Let f = -24675/19 + 1299. Which is smaller: f or 0?
0
Let i(s) = -s**2 - 3*s + 11. Let j be i(-5). Which is smaller: -1/12 or j?
-1/12
Let i be (-22)/(-4)*2*(-8 - -9). Which is greater: 9 or i?
i
Suppose 2*u = 4*d + 24, 12 = -0*d - 2*d + 4*u. Let h(q) = -q**3 - 7*q**2 - 7*q - 1. Let s be h(d). Suppose 4 = -4*r - 0*r + 2*v, r + s*v - 10 = 0. Is r >= 4/5?
False
Suppose 6*m - 22 = -5*m. Which is smaller: 1 or m?
1
Let f(d) = -d**3 + 2*d**2 + 3*d. Let t be f(3). Which is greater: t or 6/7?
6/7
Suppose 0*d + 5*d + 5*w + 10 = 0, 0 = 3*d + 5*w + 16. Suppose 19 = d*q + 4. Suppose 0 = 3*m + 2 - q. Which is greater: 2/27 or m?
m
Let g = 107 + -106. Which is bigger: 36 or g?
36
Suppose -3*x = 4*f + x - 20, -3*f + x + 23 = 0. Let b = -4 + f. Let l = 0 - 0. Is b < l?
False
Suppose -2*h = -4*t + 4, 2*t = -h - t + 13. Suppose -r = -3*r + h. Let u be 0 + 2 + -1 - r. Which is greater: u or 2/9?
2/9
Suppose -3*r = l - 4*r - 14, 5*l + 3*r = 38. Let w = 10 - l. Is w bigger than 1/3?
False
Let y(z) = z**2 - 6*z. Let k be y(5). Let g(q) = 6*q**3 + 2*q + 1. Let s be g(-1). Which is smaller: s or k?
s
Let t be (18/12)/(6/4). Is 16/9 at least t?
True
Let y = 4.5 + -6. Let s = -7 - -6. Let g = y - s. Is g at most -2/7?
True
Let y = -28/3 - -9. Is 5/6 smaller than y?
False
Suppose 0 = z + 3*o - 6 - 3, 4*o - 12 = 2*z. Are -1/95 and z unequal?
True
Let y be ((-6)/(-9))/(13*5/(-15)). Let s = 1 - -1. Suppose 2 = s*l - 0. Which is bigger: l or y?
l
Let x = -1.3 - -1.7. Which is smaller: -4 or x?
-4
Let s be (-244)/28 + (-6)/21. Let q = -4 + -4. Is s != q?
True
Let v = 122844/109 + -1127. Which is smaller: v or 1?
v
Let u be 36/(4/(-1))*8. Let x = u - -218/3. Is 4 >= x?
True
Let r = 83 - 79. Which is greater: 3 or r?
r
Let j be (-11)/(-14) - (-2)/(-4). Let o be (-6)/(-10) - (-48)/(-105). Do j and o have the same value?
False
Suppose m + 43 = 5*m + 3*x, 4*m = -x + 41. Let p = m - 9. Which is greater: p or 2?
2
Suppose 5*b - 11 = l - 3*l, 5*l - 10 = 5*b. Let d be (l/(-6))/(2/(-4)). Let q = -82 + 493/6. Which is bigger: d or q?
d
Let r be (-4)/23*6/(-8). Which is bigger: r or 1?
1
Let v(x) = -x**3 - 6*x**2 - 5*x + 4. Let n be v(-5). Suppose -5*d + n = -4*d. Suppose 3*u = 5*p - 12, 0*p - d*u - 11 = -5*p. Is 4 not equal to p?
True
Let b be 6 - (-1 - -3 - -1). Suppose -3 = -3*p, -b*p - 9 = 4*x - 8*p. Is x at least -2?
True
Let u = -147 - -230. Let j = -80.96 + u. Let y = -0.04 + j. Are y and 1/3 nonequal?
True
Let s(g) = -g**3 - g**2 - g + 3. Let k be s(0). Let m(i) = 2*i**2 - i - 4. Let n be m(k). Let w(c) = c - 13. Let t be w(n). Do t and -2 have different values?
False
Suppose -12 = 3*w - 33. Suppose x + x = 3*r + 4, -5*x - r = w. Let k be (-1)/4 + 1/4. Do k and x have the same value?
False
Let q = 1294.71 + -1302. Let b = 0.29 + q. Is b at least as big as -3?
False
Let r = -2846 + 25568/9. Is r != -4?
True
Suppose x - 1 = 0, -2*q = -0*q - 3*x + 29. Which is bigger: q or -15?
q
Let x = -27 - -26. Let j be (-3)/(13 + (2 - 2)). Let y = 1/52 - j. Which is smaller: y or x?
x
Let h = -5 - -9. Suppose 0 + 4 = -h*k. Suppose c - 16 = -18. Which is smaller: c or k?
c
Let k = -3 + 7. Suppose 4*a - k - 7 = 3*x, a - 2*x + 1 = 0. Is 6 equal to a?
False
Let p = 26 - 14. Suppose 0 = 4*i + 4 - p. Let y(u) = u**2 + 3*u - 7. Let m be y(-5). Is i smaller than m?
True
Let s be 49/(-35) + 1/10*4. Suppose 2*k + 0 = -2. Let i be (1 + (k - 1))/4. Is s at least as big as i?
False
Let x be (9/12)/(243/(-24)). Which is smaller: 0 or x?
x
Suppose -24 = -2*h - 5*z, 3*h - 1 - 1 = z. Let i be (-10)/14*h/5. Let y = 71 - 71. Which is smaller: i or y?
i
Let g be 51/1055*13/(-3). Let b = -2/211 - g. Is b less than or equal to 0?
False
Let x = 19/2 + -129/14. Suppose 3 = j + 1. Let p = j + -1. Which is greater: p or x?
p
Suppose 0*i = -5*i. Is i bigger than -1/9?
True
Let r(j) = j**3 - 6*j**2 - 2*j + 14. Let z be r(6). Does z = 6/13?
False
Let n = -188 - -58. Let z = n + 652/5. Which is greater: -2 or z?
z
Let s = -6 - -3. Let o = s - -3. Do o and 0 have the same value?
True
Let t = -17/57 - -5/57. Which is bigger: -1 or t?
t
Let p(f) = -f**3 + 7*f**2 + 6*f + 8. Let o be p(8). Let g = 9 + o. Are 1 and g unequal?
False
Let h = 8.627 + -0.027. Let g = h - 4.5. Let a = g - 4. Is a not equal to 1?
True
Let l = 173/15 + -61/5. Let u = 0 + -1. Let j = -3 - u. Is j greater than l?
False
Suppose -3*k = -4*f - k + 4, 0 = f - k - 3. Let l be ((-14)/(-22) + f)/(-2). Is 0 > l?
False
Let q = 175 + -174. Let l = -3/14 + 1/14. Which is greater: l or q?
q
Let z = 7 + -17. Which is smaller: -3 or z?
z
Let u(f) = -f**2 + 12*f - 8. Suppose 0*b + 55 = 5*b - 2*h, 5*h + 22 = 2*b. Let x be u(b). Let d be (-17)/(-4) - 1/4. Do d and x have the same value?
False
Let u be (-26)/(-4) + 1/(-2). Suppose 0 = 3*a + t - 12, 4*a + 5*t - 10 = -a. Are u and a non-equal?
True
Let o = 2 - 4. Let z = o + -1. Let u be z*3/(-9) + -1. Which is bigger: 1/4 or u?
1/4
Let l be 15/(-40)*(-4)/2. Which is smaller: -2/17 or l?
-2/17
Let l be 9/(-3) - 1 - -3. Let f = 4 + l. Let d be (1/(-3))/((-2)/f). Which is smaller: d or 2?
d
Let o be ((-2)/(-4))/(11/22) + -23. Is o >= -21?
False
Let u = 2.6 - 13.6. Let n = 11.3 + u. Is n at least -2?
True
Let f(j) = -j**2 - 16*j - 9. Let z be f(-15). Suppose x - z = 2*g, -3*x - 15 = 5*g - 4*x. Are 1 and g nonequal?
True
Suppose -7*s = -11*s. Which is greater: 1/28 or s?
1/28
Let o(b) = -5*b - 46. Let c be o(-9). Is 3/121 <= c?
False
Let k be 2/10 + (-2)/5. Which is smaller: k or 1?
k
Let w be (2 - (7 - 7)) + -4 + 1. Let n be (-6)/34 - (-1 + 1). Is w less than n?
True
Suppose -3*c + 2*c - 264 = -2*b, 0 = -c - 5*b - 271. Let h be 4/(-14) + (-104)/c. Suppose 6*r - 55 = -49. Which is bigger: r or h?
r
Let g = 0.2 - -0.8. Let a = 0.38 + -0.28. Which is bigger: a or g?
g
Suppose -4*p = h + 5 + 1, 4*h = 2*p + 12. Suppose 2*o = h*u - 2, 3*o + 4*u = -0*o + 18. Suppose 15 = 3*k + o*k. Which is bigger: 2 or k?
k
Suppose -w - 12 = 5*w. Is -7/5