1 - 0.2. Let r = -0.1 - c. Let b = 0.032 + -0.032. Are b and r nonequal?
True
Let f = -0.08 - -0.05. Let s = f - -0.03. Is s smaller than 0.1?
True
Let u(v) = v**3 - v**2 - 1. Let o be u(0). Let x = -8.8 + 12. Let n = 3 - x. Are o and n nonequal?
True
Suppose 34 = 11*m - 9*m. Are m and 18 equal?
False
Let s be 12/20 - 6/20. Do -1 and s have different values?
True
Let r = -3 + 6. Suppose 0 = -b + r - 9. Is b equal to -6?
True
Let f = -38/7 - -639/119. Which is bigger: -1 or f?
f
Let w = 4.46 + -0.66. Are -2/5 and w non-equal?
True
Let p be (-4)/(-12)*(11 - -1). Suppose 0*i - 2*s + 34 = 2*i, 3*i = 4*s + 16. Let j be ((-6)/p)/(63/i). Which is bigger: j or 3/2?
3/2
Let y be 2/(-8) - 38/8. Suppose 2*d + d = -21. Let c = y - d. Which is smaller: 0 or c?
0
Suppose 0*u - 15 = -5*u. Suppose -3*o + 0 = -6. Which is smaller: o or u?
o
Let s(t) = -2*t. Let w be s(-2). Suppose 0 = 3*c + i - 8, -4*c - i + w = -3*i. Are c and 1/2 unequal?
True
Let z be (6 + 0 + -3)*1. Suppose z*d - 2 = -20. Is d >= -6?
True
Let j = 120 - 76. Let u = -133/3 + j. Are u and 1 unequal?
True
Let l(r) = -r + 7. Let f be l(3). Are -1 and f nonequal?
True
Let o = 42 + -207/5. Suppose 5*h + 2*z - 48 = 0, 6*z = 5*h + 2*z - 24. Let u be h/20*(2 + 3). Which is bigger: o or u?
u
Let m(z) = -z + 3. Let b be m(-4). Suppose -g - b = 3*c, 2*g + 0 + 2 = 0. Is 2 equal to c?
False
Let r(d) = -3*d - 3. Let g be r(-5). Let a be 1/2*(-3)/g. Which is smaller: a or 1?
a
Suppose -5*h + h + 16 = 0. Let x be 4/(-10) - 36/(-15). Suppose -x*t + 2 + 4 = 0. Which is smaller: h or t?
t
Let c = -50.1 - -48. Let b = c - -4.1. Which is greater: b or -2?
b
Let a(m) = -m**3 + 9*m**2 - 6*m + 18. Let w be a(9). Which is smaller: -37 or w?
-37
Suppose 15 = -7*o + 2*o. Let b be o/(-9) - (-10)/(-3). Let h = 3 + b. Is 6/7 > h?
True
Suppose -4*a + 5*z = 22, -4*z + 0 = -8. Is -3 bigger than a?
False
Let n be 1/(0 - (-1)/(-5)). Suppose t + 3*t = 108. Suppose 0 = -5*o + 7 - t. Is o less than n?
False
Let c = -19 + 8. Is -13 at most as big as c?
True
Let x = -11 - -13. Suppose -1 = -x*j + 3. Let m = -0.1 + 0. Is j not equal to m?
True
Let w = 0.95 - 0.85. Is -65 != w?
True
Let a = -121 - -2301/19. Is -1 equal to a?
False
Let v = -2 - 0.5. Let g = 7.5 + -8. Let h = v - g. Is -0.1 > h?
True
Let g(p) = p**2 - 2*p + 7. Let z(u) = -u**2 + u - 8. Let j(k) = -7*g(k) - 6*z(k). Let r be j(8). Which is smaller: 4/15 or r?
r
Suppose -l = 4*l + 10. Suppose 25 = 5*h - 5*n, -3*h = 4*n + 3 + 3. Let y be (l + h/1)/(-1). Which is greater: 1/3 or y?
1/3
Let s = -0.96 + -2.24. Is s at most as big as 2?
True
Let w = -34 - -41.4. Let m = w - 8. Let t = 1.6 + m. Are 2/5 and t unequal?
True
Let k = 0.22 - 10.22. Let g = -32 - -38. Let r = -25/4 + g. Is r less than k?
False
Let f = 16 - 15. Let r be f/(-2)*42/7. Is r <= 1?
True
Let j(t) = 5*t**3 - 4*t**2 + 3*t - 4. Let x be j(4). Let r = 1334/5 - x. Let q = r - 33/10. Does q = -1/3?
False
Suppose -3*m - 2*s + 11 = 0, 3*m = -0*s - 4*s + 19. Let p = 6 + m. Is 6 less than p?
True
Let q(p) be the first derivative of -p**3/6 - 7*p**2/2 + p - 2. Let i(a) be the first derivative of q(a). Let l be i(-6). Do -3/2 and l have the same value?
False
Let k be -6 + 5 + (6 - 0). Suppose 3*u = 2*u - k. Let w = u + 4. Which is smaller: 0 or w?
w
Suppose -g = -3*g - 2*p + 68, 3*g - 112 = 2*p. Let j be (-8)/g + 4/(-63). Which is smaller: -3/5 or j?
-3/5
Let i = 23/4 - 125/28. Is 1 less than or equal to i?
True
Let s be -1 + (1 - 0)*2. Let i = -18 - -15. Which is smaller: i or s?
i
Let c be ((-8)/(-440))/((-4)/(-25)). Let k = -4/11 + c. Which is smaller: 1 or k?
k
Let c = -60 + 34. Let i be c/(-10) - 2 - 1. Which is greater: i or -1?
i
Suppose 3*p = -3*x + 7*x + 28, -36 = -5*p + 4*x. Which is smaller: p or 0?
0
Suppose 0 = -2*h + 6 - 8. Let t be (-16)/10 + 4/(-10). Which is bigger: t or h?
h
Let t be 1/2*4/2. Which is greater: t or -3/13?
t
Suppose -2*i + 5*i + 6 = 0. Let z = -5 - -1. Is z at most as big as i?
True
Suppose g - 32 = 4*w, -2*w - 2*g + 15 - 41 = 0. Let p(u) be the third derivative of -u**4/12 - 13*u**3/6 + u**2. Let l be p(w). Is l equal to 4?
False
Suppose 0 = 5*a + 10 - 45. Let m(c) be the third derivative of c**6/120 - 7*c**5/60 - c**4/12 + 5*c**3/3 + 2*c**2. Let h be m(a). Is h greater than -4?
False
Let h(c) = 3*c + 25. Let k be h(-10). Does k = -26/5?
False
Suppose 0 = 5*w - w. Let j = 4 - 3. Let l be (j + 0)/(3*3). Which is bigger: w or l?
l
Let x be (-9)/(-4) + (-1 - 1). Let p = 1 - -2. Suppose -4*u = -20, 0 = -4*z + p*u - 9 - 6. Which is bigger: x or z?
x
Suppose -2*q - 3*q + 25 = 0. Suppose r - q = -4*r. Is r bigger than -1/3?
True
Let g = -16/35 + 6/35. Are -34 and g equal?
False
Let c be (2 - 5)*4/12. Which is bigger: c or 1/7?
1/7
Let q = -2 + 1. Let m = -82 + 573/7. Which is greater: m or q?
m
Suppose -4*x + s - 5 = x, 0 = -3*x - 5*s - 3. Let o(l) = 2 + l - 4 + 2. Let d be o(x). Is d <= 3/7?
True
Let g = -0.04 - -0.44. Let k = g + -0.3. Let y be (-3)/9 - -2 - 2. Are k and y equal?
False
Let v(n) = -64*n. Let o be v(2). Let c be 8/(-12) + o/(-3). Let i be 8/c*(-15)/10. Which is greater: i or 2?
2
Let l be 2*-1*2/4. Which is bigger: -3/17 or l?
-3/17
Let t(c) = -2*c - 10. Let s be t(-9). Suppose -4*q + 2*p + 17 = 1, 0 = -2*p - s. Let f be 1/q - 44/40. Which is greater: -1 or f?
f
Let p = 21.77 - -0.23. Let s = 19 - p. Which is smaller: s or 2?
s
Suppose 0 = -p + 3*p - 4, 2 = -4*a + 5*p. Let v = a - 1. Suppose 1 = d - v. Is 1 != d?
True
Suppose i + 5*v + 42 = 0, -6*i + i + 2*v = 210. Let h be 4/i*(5 + -2). Are 2 and h nonequal?
True
Let w(v) = -v + 1. Let n be w(3). Let x = 2 + n. Let u = -2 + 1. Is x greater than u?
True
Let n = 0.4 + -4.4. Let z = 4 + n. Is z at most -2?
False
Let m be (-1)/(0 + 3/21). Let r be 43/(m*(-1)/(-13)). Let d = 80 + r. Which is greater: -1 or d?
d
Let a(c) = -4*c + 2. Let r be a(3). Let h(z) = 3*z**2 + 4*z + 1. Let x be h(-3). Let n = r + x. Which is smaller: 5 or n?
5
Suppose -3*x + 80 = -7*x. Let r be ((-4)/x)/((-8)/(-15)). Is r smaller than 1?
True
Let s be (-10)/(-15) + 4/((-444)/77). Which is greater: s or -1?
s
Suppose -o = -3*o. Suppose -2*z = 1 - 7, -229 = x + 3*z. Let y be 2/(-7) - 40/x. Which is bigger: y or o?
o
Let i be 1194/124*2/(-72). Let g be ((-20)/9)/((-62)/(-3)). Let u = i + g. Which is greater: 1 or u?
1
Let d = -1/3579 - 13925/1399389. Let o = 2019/6256 + d. Let a = -77/144 + o. Which is greater: -2 or a?
a
Let r = 10 + 8. Suppose 5*g + r = 2*i - 7, -5*i + 31 = -2*g. Suppose 2*o + 1 - i = 0. Which is greater: 0 or o?
o
Let l be 18/(-15) + (-1)/(-5). Which is smaller: l or -2/163?
l
Suppose 5*l - 4 = -2*i, l + 2*l + 5*i = -9. Is 0.09 equal to l?
False
Let w = -47/7 + 7. Let j = 2 + -3. Do j and w have the same value?
False
Suppose 10 = 2*n + 4*m, 3*m - 15 = -4*n - 0*m. Suppose 33 + n = 5*g - 3*i, -g = -2*i - 10. Which is smaller: g or 4?
4
Suppose -3*p - 11 = 5*z + 11, -4*z = 20. Suppose 7*k - 3*k - 20 = 4*h, 0 = h - 4*k + 2. Let d be (-10)/h + -6 + 5. Is p greater than d?
True
Suppose t = b + 36, 46 + 113 = -4*b - t. Let i be (-1 + 1 - -2)*-1. Let c be i/8 + b/(-60). Which is greater: c or -0.3?
c
Let x = -341 + 4435/13. Is 0.1 less than or equal to x?
True
Suppose t + 4*t + 65 = 5*f, -3*f - 6 = 0. Which is bigger: -0.1 or t?
-0.1
Suppose 4*w + v = -4 - 1, 10 = -4*w - 2*v. Suppose 4*j - 16 + 4 = w. Suppose 0 = 2*l + j*l + 15. Do -2 and l have different values?
True
Suppose -2*r + 5*r - 3*s + 51 = 0, 2*r + 34 = 4*s. Are -16 and r equal?
False
Let c(x) = 2*x**2 + 9*x + 2. Let i be c(-6). Let j = i + -26. Does -6 = j?
True
Let d = -267 + 4807/18. Which is greater: 1 or d?
1
Let b = 10 - 9. Let l(q) = -2*q**3 - q**2 - 2*q - 1. Let i be l(-1). Let v be 1/i - (1 - 0). Which is smaller: v or b?
v
Let y = -31/3 - -208/21. Let u = 0 + 0. Which is bigger: u or y?
u
Let a = 3.7 - 4. Let i = a + 0.1. Let p = 19/3 + -73/12. Which is greater: i or p?
p
Let h be 0 + 1 - 3372/(-28). Let m = h + -122. Let d = 1 + -2. Do m and d have the same value?
False
Let g = 0.5 + 0.8. Let r = g + -1.6. Are r and -1 equal?
False
Suppose 3 = -p + 4. Suppose 4 = -n + p. Let y be 6*(-2 - (-12)/9). Which is greater: n or y?
n
Suppose 0 = -4*n - m - 23, 5*m = n + 7 + 4. Which is greater: -5 or n?
-5
Let b be (-4)/14 - (-32)/14. Let v be (-3)/(6/(-4)) + -1. Suppose -v = -2*