.1?
True
Let s(i) = i**3 + 2*i**2 - 2*i + 1. Suppose -5 = -3*n - o, -n - 4*o - 10 = n. Suppose 0 = -k + 2*y + 4 - 1, -n*k + 4*y = -3. Let v be s(k). Is 0 != v?
True
Suppose 16*z = 13*z. Let f = -2 - -1. Which is bigger: z or f?
z
Let x be (253/(-22))/(-1*1/(-2)). Do -22 and x have the same value?
False
Let l be 7/1 - 4/2. Suppose 8 = -4*g, 2*g - 19 - 2 = l*f. Which is greater: 0.1 or f?
0.1
Let c(w) = -w**2 + 8*w + 4. Let a be c(6). Suppose 4*i = 2*u + 4, 4*i + 3*u = -0*u - a. Let z(x) = x**2 - 8*x + 6. Let b be z(7). Is b != i?
False
Suppose 15 = -5*r + 5, 20 = 4*m + 4*r. Let x be (10 - 3) + 1 - 3. Which is bigger: x or m?
m
Suppose 2*t = 4, 10 = j + 4*t - t. Suppose -5 = 2*q + 1. Let r = q + j. Is r bigger than 1?
False
Suppose -6*w + 8 = r - w, -r + w = -2. Suppose 0*x = r*s + 2*x + 3, 5*s - 4*x - 17 = 0. Let v be 1 + 0 + 11/(-9). Which is smaller: s or v?
v
Let m(o) = o**2 + 6*o - 3. Let w be m(-5). Let k(j) = j**3 + 8*j**2 - 2*j - 12. Let h be k(w). Which is smaller: h or 2?
2
Let n = -1822/16169 + 2/437. Which is greater: n or 0?
0
Suppose -2*z - 5*c = 10, -3*c - 4 = 3*z + 2. Is -3 at most z?
True
Let d(p) = p**2 - 7. Let a be d(0). Do -4 and a have different values?
True
Suppose 0 = 5*k - 2*k. Is k bigger than 1/15?
False
Let l(h) = h**2 - 11*h + 10. Let j be l(10). Let n = -22 - -10. Let g be n/18 + (-2)/6. Is j not equal to g?
True
Let b = -3 + 2. Suppose 0 = -2*m + f - 2, 2*f = 2*m - m - 2. Let x be (m/8)/((-6)/(-18)). Does b = x?
False
Let r(m) = m**3 + 8*m**2 + 5*m - 2. Let w be r(-2). Let q be 2/(-7) + 158/14. Is w <= q?
False
Let o be 35/(-84) + (-4)/(-6). Is 1 > o?
True
Let y be 0/(0 - (-3 - 1)). Are 1/9 and y equal?
False
Let c be 1/(-30)*-1 + (-8)/(-48). Is c less than -0.3?
False
Let z(w) = w - 3. Let f be z(11). Let n(h) = -h**3 + 7*h**2 + 8*h + 1. Let i be n(f). Are i and 1/6 equal?
False
Let l = 7 - 4. Let p = -57.1 + 57. Is l not equal to p?
True
Let o = -63 - -110. Does o = 47?
True
Let b(j) = -j**2 - 2*j - 5. Let x be b(-4). Is x less than -12?
True
Let v = -0.21 - 3.79. Are 3 and v unequal?
True
Let r = -0.26 + 0.16. Let s = -4.1 - -2. Let k = -2 - s. Is r bigger than k?
False
Suppose 0 = -2*c, 3*b = -0*b - 4*c. Let t = -2 + 4. Suppose t*f - 4 = -2*f. Which is bigger: f or b?
f
Let j = -8 - -22/3. Let q = 1.1 - -0.9. Let z = q - 3. Which is bigger: j or z?
j
Suppose -4*o + 10 = -9*o. Suppose 0 = 5*r - i + 9, -4*r - 20 = 2*i - 6*i. Do r and o have different values?
True
Let w = 2 - -3. Suppose 4*h - w*d + 4 = 5*h, 3*h - 12 = -2*d. Suppose -4*p + 0 = h. Is p greater than or equal to 2/5?
False
Let r = 14 + -11. Suppose -9 = -3*l + r. Is 5/2 less than l?
True
Let t be (0 - 4) + 92/24. Let i = 0 - 0. Which is smaller: t or i?
t
Let b be (-10)/45 + 70/396. Which is greater: 0 or b?
0
Let u = 2711/724 + 1/181. Let b = u + -65/12. Which is greater: b or -2?
b
Let q = -10 + 11. Let i be 1/20*10/(-5). Is q greater than i?
True
Suppose -16 = 71*y - 67*y. Let j(s) = 2*s + 7. Let z be j(-5). Which is greater: y or z?
z
Let u be 9 - ((1 - 2) + 2). Suppose -u = 2*o, 4*y + 4*o - 4 = 5*o. Let b be y/(-1)*(-1 + 2). Do b and 0.2 have the same value?
False
Suppose -3*t = 4*u + 3, 4*u + 2*t = -3*t - 13. Is u bigger than 3?
False
Suppose 13*y - 8*y = 5. Which is greater: 9/25 or y?
y
Suppose -2*g = 2*g + 16. Let l = -7 - g. Is l at most as big as -2?
True
Let h(b) = -b**3 - b**2 - 6*b. Let o be h(0). Let g = -3 - 3. Let x = g + 8. Are x and o nonequal?
True
Let p = 30 + -29.9. Are p and -60 non-equal?
True
Suppose -21 = -5*u - 66. Which is greater: u or 0.1?
0.1
Suppose h + 12 = 2*h. Let c be (-12)/(-18) - (-7)/h. Is 0 greater than or equal to c?
False
Let b = 9 - 4. Let l(w) be the second derivative of -w**4/12 + 5*w**3/6 + 2*w. Let o be l(b). Do o and -2/5 have the same value?
False
Let r(g) = -g + 2. Let k be r(1). Which is greater: -2/403 or k?
k
Let g(i) = -3*i + 5. Let s be g(-5). Let z be (-1)/3 + 3/9. Suppose 5*p + 4*d + s = z, -6*d + 3*d = 5*p + 15. Which is greater: 4 or p?
4
Suppose -s + 8 = 3. Let n = -1 + s. Suppose n*g + 5*k + 0*k + 13 = 0, 15 = -3*k. Is 3 less than g?
False
Suppose 50 = 5*x - 85. Suppose x = -u - 2*u. Suppose 2*k = -2*k - 36. Is u < k?
False
Suppose -4*b + 10 = -5*t + b, 0 = -3*b - 6. Let k(i) be the second derivative of -i**3/6 - 2*i**2 + 4*i. Let r be k(t). Which is greater: r or 2/15?
2/15
Suppose -4*m + 3*g + 11 = 0, -5*m = -4*g - g - 15. Let o be (-42)/(-12) - (-2)/4. Suppose -4*f = -3*f - o. Which is greater: f or m?
f
Let u = -59 - -53. Is -23/4 greater than or equal to u?
True
Let j = 5 - 3. Suppose 22 = 3*u - 5*k, 17 + 8 = -5*k. Let b be 1 - (-1 + u)/2. Is j > b?
False
Let c be (-2)/(((-12)/(-8))/(-3)). Let t be 6/c - (7 + -5). Suppose -4*s - 5*b = 18, 2*s + 3*s + 16 = -3*b. Which is bigger: t or s?
t
Let q = -2 - -1. Suppose 4*s = -2*x, -2*x - 2 = 3*s - 4. Let g be (-6)/(-12)*x/(-2). Is q greater than g?
False
Suppose -5*a - 6 = 3*t, 2*t - 21 = 6*a - a. Suppose 0 = -v + 2*v + 3. Do a and v have the same value?
True
Let p(q) = -4*q. Let u be p(3). Is u != -11?
True
Suppose -u - 4 = -2. Let t = -3/10 - 1/5. Is t less than u?
False
Let p = 64 - 63. Suppose 2*j + n = -j + 11, 3*j - 4*n = 16. Suppose -3*x = 1 - j. Is p bigger than x?
False
Suppose -4*n - 2 = 4*i + 6, -i + 2*n = -13. Let u be (-4)/(-6) + (-5)/i. Which is greater: 1 or u?
1
Let u(f) = -f**3 + 7*f**2 + 1. Let v be u(7). Let r = 0.2 + 0. Do v and r have the same value?
False
Let r(s) = s**3 + 6*s**2 - s - 4. Let y(k) = k**3 + 4*k**2 + 2*k + 2. Let h be y(-4). Let d be r(h). Which is greater: 5/7 or d?
d
Let n = -2 - -1.8. Let p = n + 1.2. Let r = 2.9 - 3.2. Is p smaller than r?
False
Suppose -2*t + 15 = -7*t, 3*t + 6 = -3*a. Is a <= -1/40?
False
Let c = -1.39 + -0.61. Which is bigger: 0.061 or c?
0.061
Suppose 3*s = -0*s + 45. Let g be (-4)/6 - (-10)/s. Do g and 1 have the same value?
False
Let b = 5.5 - 6. Let n = -0.5 - b. Let k = n + 0. Which is greater: 1/3 or k?
1/3
Suppose 9*b - 5*b = 16. Suppose -b*i - 5 + 1 = 0. Which is smaller: -6/5 or i?
-6/5
Let b = 697/5 - 139. Is b less than -42?
False
Suppose 2*v - 64 + 72 = 0. Is v greater than or equal to 2?
False
Suppose 5*l + 3*h = -7, -3*l + 4*l = -4*h - 15. Is l < 1/12?
False
Suppose 0 = -4*l + 23 + 17. Suppose 5*r = -3*j - 6, l = -2*j - 3*j - 2*r. Let i = 38 + -39. Is i bigger than j?
True
Suppose -47 + 5 = -2*h. Let c = 18 - 16. Let p be ((-14)/h)/(c/(-3)). Is p bigger than -1/5?
True
Let z be (-1)/5*(1 + -3). Is 17 greater than z?
True
Suppose 0 = 2*o + d + 1, 5*o = 2*d - 5 - 2. Which is greater: o or 3/23?
3/23
Suppose -2*n + r = 112, n - 5*n + 4*r - 216 = 0. Which is smaller: n or -57?
n
Let z(g) = -g**3 + 4*g**2 - g. Let v(p) = p**3 + 6*p**2 - 7*p + 4. Let t be v(-7). Let j be z(t). Let x(u) = u - 5. Let d be x(0). Is d >= j?
False
Suppose 0 = -w + 3*z + 13, 0 = -w + 5*w + 4*z + 28. Let a = -17 + -21. Let j = -112/3 - a. Which is greater: w or j?
j
Let f(g) = 9*g - 8. Let s be f(4). Suppose s + 44 = 4*v. Is v less than 17?
False
Let x = -79 + 65.8. Let m = -12 - x. Let k = m + -0.2. Which is smaller: k or 0?
0
Suppose -c - 3*y - 19 = -7*y, -c + 3*y - 14 = 0. Is c smaller than 3/7?
False
Let f = -0.9 + 1. Let h be ((-85)/3)/((-58)/6) - 3. Which is greater: f or h?
f
Let s = 33 + -32. Which is smaller: s or -1/2?
-1/2
Let g = 151/28 + -36/7. Let z(b) be the second derivative of -b**3/2 + b**2 + 9*b. Let k be z(1). Do k and g have different values?
True
Let g = -0.5 + -1.9. Let w = g - -7.4. Is w at least -0.2?
True
Let d(p) = 2*p + 10. Let j(u) = -1. Let o(k) = d(k) + 2*j(k). Let g be o(-6). Which is smaller: g or -3?
g
Let q be (16/6)/(1580/30). Which is smaller: q or 0?
0
Let f = 27 - 34. Let x = 11 + f. Let z = 1 - 1.1. Which is greater: x or z?
x
Let v = 411/3910 - 2/391. Which is smaller: v or 1?
v
Suppose z - 2*z - 3 = -q, 1 = -2*z + q. Suppose z*s + 40 = -2*s. Which is smaller: s or -9?
s
Let v = 34 - 33.3. Which is smaller: 2 or v?
v
Let n = -14 - -10. Let u be -1 + -2 + (1 - n). Which is smaller: u or 0?
0
Let l(d) = -d**3 + 5*d**2 + 7*d - 1. Let q be l(6). Suppose -2*f = -5*f - 5*s + 28, -5*s = -3*f - 22. Let w be 20/(-5)*(-2 + f). Which is bigger: q or w?
q
Let l be 6/(-3) - -2*194. Suppose k + 134 = l. Let b = k - 3778/15. Is b smaller than 0?
False
Let h = 2541 + -