equal to -2.3?
False
Suppose k + 60 = -4*k. Let y = -47 + 35. Is k at least y?
True
Let n = 42 + -41. Which is greater: n or -0.8?
n
Let m = -0.05 + 11.05. Is 0.1 at least as big as m?
False
Let f = 5.7 - 5.8. Is f greater than 38?
False
Let s = -7.4 - -12.4. Which is smaller: s or -3?
-3
Let n be (9/2 + -4)*-2. Are 0 and n non-equal?
True
Let j = -3 + 1. Is 1 at least j?
True
Let p be (1032/(-78))/(2/5). Let q = p - -33. Is q smaller than 0?
True
Let p(v) = 11*v**3 + v**2 + v - 1. Let m be p(1). Is 12 less than m?
False
Let o = -180 - -181. Let r = 6/35 + 3/7. Which is bigger: r or o?
o
Suppose -u = -5 - 0. Suppose -4*w = -0*w - 5*g - 18, -2*g = -u*w + 31. Suppose -3*x - 2 = w. Is x bigger than -3?
False
Let l = -11 + 15. Let w(h) = 2*h**2 - 9*h + 5. Let b be w(l). Which is smaller: 12/5 or b?
b
Let m = 19 + -15. Let j = m - 9. Is j at most 1/4?
True
Suppose -5*t = 0, g - 3*t + 52 = 5*g. Is 43/3 > g?
True
Let k(q) = q**2 - 10*q + 6. Let o be k(9). Let y be (-17)/5 - 4/(-10). Is o != y?
False
Let t = 1 + -0.8. Let l = -0.05 - 0.15. Let m = l + t. Which is smaller: -1 or m?
-1
Let z(j) = -6*j**2 + 7 - j + 2*j - 5*j - j**3 - j. Let c be z(-5). Suppose m - 24 = 5*s, 3*m - 2*s = -0 + c. Is m less than -2/11?
True
Let f(b) = 2*b**2 - 2*b + 1. Let i be f(1). Let l be i/(14/(-6) - -2). Let z = -15 + 12. Is l < z?
False
Suppose -2*b + 20 = 3*b - 3*r, -2*r - 7 = 3*b. Let p be ((-4)/(-6))/(b/(-6)). Is -5 less than or equal to p?
True
Let d = 0.3 + -1.2. Let n = -3.9 - d. Is n != 0?
True
Let c = -137 - -95. Let r be (-21)/c*(0 + 2). Let p be (-3)/(-6) - (-2)/(-4). Are r and p equal?
False
Let f be 4/(-6) + (-196)/21. Let o be (-6)/f - (-122)/30. Is o > 4?
True
Suppose 2*a + 36 = -2*a. Let o be ((-12)/9)/((-6)/a). Is -2 less than o?
False
Let q = 13 - 12.9. Let v = 6 + -7. Which is smaller: q or v?
v
Let a be -4*(-5)/(-10)*(3 - 4). Let k = -3553/45 - 4/9. Let c = -78 - k. Which is bigger: a or c?
a
Let z be 2*(-5)/(-2) - 1. Let m(o) = o**2 - 16*o + 18. Let q be m(15). Which is greater: q or z?
z
Let i = -39 + 42. Let v = -6 - -8. Is i at least as big as v?
True
Let a = -4 - -3. Suppose t - 2 - 14 = 5*w, w = -t - 8. Let c be (w/(1 + -3))/6. Is a greater than c?
False
Let t = -8024/7 - -1150. Is t >= 4?
False
Let s be (-6)/(-6) + (-5)/7. Is 1 != s?
True
Let i(s) = -4*s**2 - 2*s + 1. Let p be i(1). Which is greater: p or -0.3?
-0.3
Let g(i) = -7*i**2 + i. Let u be g(-2). Let r be -2*(-3)/u*2. Does -1 = r?
False
Suppose t - 7*b + 17 = -3*b, -4*t - 2*b = -22. Let o(w) = -w**2 + 6*w - 5. Let f(j) = -j - 3. Let y be f(-7). Let m be o(y). Is m bigger than t?
False
Let a = 9 - 10. Let h be (-1)/(-3) + (0 - 1). Which is smaller: h or a?
a
Suppose -m - 27 = -4*r, 4*m = -3*r - 0*m + 25. Is r <= 7?
True
Suppose 5*z = -5*j + 125, -5*z + 2*j = -0*j - 104. Let m = 8 - z. Let w be m/4 + 2 + 1. Are w and 0 unequal?
True
Let q = 1/382 - -749/5730. Let w be 1*(6 + -3 - 2). Let l = w - 0. Are l and q equal?
False
Let l(y) = y + 1. Let r be l(2). Suppose -18 = r*h - 114. Let m be h/(-20) - (-2 - 0). Is m <= 1?
True
Suppose 9*z - 29 - 16 = 0. Let n = 1 + 1. Suppose n*d + 3*d = -z. Which is smaller: 0 or d?
d
Let c be (-3 - -8) + (1 - 0). Suppose -2*g = c - 2. Let j = g - -2. Which is bigger: j or 1?
1
Suppose -s = -2 + 22. Let w be (-2)/8 + (-29)/s. Is 0 >= w?
False
Let x = 10661/57 - 187. Is 0 less than or equal to x?
True
Let l = 26 - 22. Suppose 5*d + 1 = -l*h, -4*d = -h - 4*h - 32. Is d smaller than -1?
False
Let j(q) be the first derivative of -q**4/24 + 3*q**3/2 + 3*q**2/2 - 1. Let z(o) be the second derivative of j(o). Let n be z(8). Which is smaller: -2/17 or n?
-2/17
Let y = 1873/840 - 5/168. Is 3 not equal to y?
True
Let m = 503/5 - 101. Is m <= -40?
False
Let v = 23 + -22.7. Let u = 3/4 - 5/4. Which is smaller: u or v?
u
Let c(j) = -j**3 + 3*j**2 - 7*j + 7. Let f(x) = x - 1. Let t(p) = -c(p) - 6*f(p). Let w be t(3). Is w less than 1?
False
Let m = 21 + -21. Which is smaller: m or 1.2?
m
Suppose 2*c = 6*c + 80. Which is smaller: c or -19?
c
Suppose -1 - 4 = -o. Suppose 3*s = -9, s = -2*f - 2 + 11. Are o and f unequal?
True
Let f = -30 - -31.7. Let w = f - 1.6. Is w not equal to 0.1?
False
Let n = 2.1 + -2. Let k = -67 - -70. Are k and n equal?
False
Let t be -3 - (-6 - -3)/(-3). Which is smaller: -22/7 or t?
t
Let x be 3 + 0/(-3) - -4. Let w be 2/x + 66/14. Which is smaller: 0 or w?
0
Suppose 3*t - 7 = -4. Which is smaller: -1/9 or t?
-1/9
Let k = -71 - -87. Which is smaller: k or 47/3?
47/3
Let n = -1 + -5. Let m be 2/n - 20/(-6). Suppose -5*i - m = -4*i. Is i >= -1?
False
Let o = 20 + -20. Is o less than 138?
True
Suppose 0 = -3*k - 6 + 12. Do k and -1 have different values?
True
Let a = -26 + 29. Is a not equal to 17/4?
True
Let k = 6 - 6. Suppose k = 6*o - 9*o - 6. Is o bigger than -7?
True
Let t = 6 - 4. Suppose 6 + 6 = -t*i. Let g = i - -1. Is -3 at least g?
True
Suppose 3*l + 12 = -l. Is l bigger than -2?
False
Let m(y) = -y**3 - 4*y**2 - 5*y - 6. Let q be m(-4). Let h(v) = -v**3 - 2*v + 8. Let f be h(0). Let s be (f/q)/(0 - 2). Are -1 and s equal?
False
Let i = 0 + -0.2. Let n = -20/2967 + 14349/25714. Let s = 3/26 + n. Is i <= s?
True
Let p = -14 - -10. Let w = -6 - p. Let q = w + 1.6. Which is bigger: 0 or q?
0
Suppose 7*m + u = 4*m + 7, 4*m - 5*u - 22 = 0. Suppose m - 5 = -x. Are x and 3 non-equal?
True
Suppose -8*o + 271 - 71 = 0. Which is smaller: 27 or o?
o
Let z = -2/99 + -184/693. Let a be 2/8*(-32 + -4)/(-9). Which is smaller: a or z?
z
Suppose -30 = b + 2*b. Let u = 14 + b. Suppose u*o + 2 = 2*o. Is -1 not equal to o?
False
Let x(n) be the first derivative of n**4/2 + 2*n**3/3 + n**2/2 + 1. Let u be x(-1). Which is bigger: 1/8 or u?
1/8
Let d = 14 + -16. Suppose -5*f = 2*j - 13, -f + 1 + 3 = -j. Which is smaller: j or d?
d
Let t(w) = -2*w + 2. Let n be t(-2). Let z be 6*(-1)/n*3. Which is smaller: z or -6?
-6
Suppose 2*s = -t, 0*t + s = -2*t. Is t > 3?
False
Let v = -1120/2013 + 2/183. Which is smaller: -1 or v?
-1
Let q = 9 + -93/10. Is q greater than -1?
True
Let x be 56/30 + 12/54*-3. Which is smaller: 0 or x?
0
Let f = 2 - 2. Is -2/59 equal to f?
False
Let x = 15 + -21. Let d(u) = -u**3 - 7*u**2 - 6*u + 1. Let c be d(x). Which is smaller: 1/28 or c?
1/28
Let t = 5.85 + -5.7. Which is smaller: -3 or t?
-3
Let d be -3*(-2)/(-8)*(-20)/15. Which is bigger: -3/17 or d?
d
Suppose -4*q + s = 147, 5*q + 156 = q + 4*s. Which is bigger: q or -37?
q
Let z be (7 + 2)/((-3)/(-8)). Let v be (-8)/z*(-6)/(-8). Which is bigger: v or 1?
1
Let z = -4.6 + -12.4. Is 0.1 equal to z?
False
Let c = -0.3 - -0.1. Let j = 0 - c. Let g = 1.8 + j. Is g at most as big as 0.2?
False
Let o be -1*((-2)/2 - -2). Let g be (-24)/(-252)*28/6. Is g bigger than o?
True
Let x(n) = -n**2 + 4*n - 1. Let k be x(2). Suppose 3*c - k = 9. Let v be c/14 - (-46)/(-14). Is -2 < v?
False
Let t(d) = -8*d + 11. Let o be t(15). Is o at least as big as 0.1?
False
Suppose 0 = 5*r + 5*x - 45, -15 = x + 2*x. Is r > 13?
True
Let b be 70/(-42) - 3/(-2). Is b smaller than -1?
False
Suppose -2*x = 3*a + 3, 0 = 4*x + a - 8 - 1. Let t = -4 + x. Let p(v) = -v**3 - 2*v**2 - 1. Let y be p(-2). Is t at least y?
True
Suppose -f - 1 = 4*h - 4*f, -7 = 4*h - 5*f. Suppose -h*i = -3*i. Suppose i*s + 6 = 3*s. Are s and 3 unequal?
True
Let w = -14.5 - -14. Suppose 0 = -m - 5 + 2. Let y be m/(-12)*6/3. Is y less than w?
False
Let u(m) be the first derivative of -2*m**2 - 2*m - 2 - 1/4*m**4 + 2*m**3. Let d be u(5). Are d and 3 equal?
True
Let z be (-1)/4*1712/20. Let o = 21 + z. Let t be 1/(1 - (-2)/(-4)). Which is smaller: o or t?
o
Suppose -5*p = -0*p - 5. Suppose -d = 4*y + p, -4*d - y + 14 = d. Suppose -5*s - 3*k = -17, 2*s + k - 10 = 3*k. Is s less than d?
False
Let f(l) = -l**3 + 6*l**2 + l - 3. Let n be f(6). Suppose 5*b - 5*r - 5 = 0, 1 = -2*b - 5*r + n. Let k be -1*3*2/(-6). Are b and k equal?
True
Let m be (-156)/176 + (-6)/(-8). Which is greater: m or 0?
0
Let o be (1*(0 + 0))/1. Let r be (-5 + 4)/(2/6). Let x be (3/25)/(r/(-2)). Which is smaller: o or x?
o
Suppose 0 = 6*o + 43 - 1. Which is smaller: -6 or o?
o
Let y be (-4)/14 + 5/(-35)*-2. Suppose 4*c + 0*c - 8 = 0. Do c and y have the same value?
False
Let p(s) = 9*s - 1. Let q be p(5). Suppose -5*f + 3*g + 30 = 0, -5*g + 26 + q = 5*f. Which is smaller: