be ((-30)/(-9) - 1) + (-8)/24. Are x and 3/5 equal?
False
Suppose 1 = 2*u + c + 14, 18 = -2*u - 2*c. Which is smaller: u or 30?
u
Let t be (-400)/194 + (-24)/(-12). Which is smaller: t or 1?
t
Let y = 0.1 + 0. Let z = 0 + y. Let l be ((-2)/3)/((-5)/(-3)). Which is greater: z or l?
z
Suppose -4*w + 2 + 2 = 0. Is w greater than 5/6?
True
Suppose 5*a + 3*h - 62 = 0, -h + 14 + 20 = 3*a. Which is smaller: 9 or a?
9
Let d = -3 - -3. Let o(x) = 0*x**3 + 3*x**2 + 2*x**3 - 4*x**2 - 1 + x. Let g be o(1). Which is smaller: d or g?
d
Let m = 3 + -9. Let h be ((-2)/6)/(1/m). Let f be -3 + 8/10 + h. Which is smaller: f or 0?
f
Let x(c) = c**3 + 6*c**2 + 6*c + 6. Suppose b = -2 - 3. Let z be x(b). Let t be z/(-2)*2*1. Is t >= 0?
False
Let l(r) = -r**3 + r**2 + 4*r - 3. Suppose 0 = 4*n - 9 + 1. Let q be l(n). Suppose 2*d + 3 + q = 0. Is -3 != d?
True
Suppose -f + 36 = 3*f. Let t be f/18*(-1 + -1). Let l be 4/(-6) + 7/(-3). Which is smaller: t or l?
l
Suppose 3*f + 5*j - 10 = 4*j, -4*j = 4*f - 16. Do -3 and f have the same value?
False
Let z be 3 + 1 + (-22)/5. Let g(v) be the first derivative of -v**4/4 + 4*v**3/3 - 2*v**2 + 3*v + 2. Let c be g(2). Which is smaller: z or c?
z
Let t be 3/(-6) - (0 - -2). Is -4 smaller than t?
True
Let x be 2/(-4)*(-4 - -2 - 0). Do x and 2 have different values?
True
Let m(u) = -u**3 - 6*u**2 - 3*u + 7. Let o = 10 + -15. Let g be m(o). Let c be (g/(-14))/((-8)/16). Is c < -1?
False
Let n = -128 + 1283/10. Suppose -2*a = -2*q, -a = 2*q + a - 20. Suppose -5*s = 3*c - 5*c - q, 0 = -3*s + 4*c + 3. Which is smaller: n or s?
n
Let g be 2 + 1 + (-1 - -2). Is 4 != g?
False
Let v = 9.3 - 10.3. Let n = -8 - -8.6. Is n != v?
True
Let a = 15678 - 6035989/385. Let r = 2/55 + a. Which is smaller: -0.2 or r?
-0.2
Let a = 42 + -41. Which is smaller: a or -3?
-3
Suppose -10 + 0 = 5*m. Is -5/4 at most as big as m?
False
Let f = -16 - -19. Let r be 10/((-3)/(f/2)). Which is smaller: r or -4?
r
Let p = 104274 - 731377/7. Let j = p - -209. Are 1 and j non-equal?
True
Let r = 42 + -41.83. Let z = 0.326 + -0.426. Is z greater than or equal to r?
False
Let k = 200 - 805/4. Is k bigger than -1?
False
Let y = 0.1 - 0.1. Let v = y - 0.3. Let k = -3.7 + v. Which is smaller: k or 0?
k
Let r be (-2)/8 + 18/40. Let y(k) = k**2 + 2*k - 6. Let q be y(-6). Suppose 5*l + 5*s + 25 = 0, 4*s + s + q = 2*l. Do l and r have the same value?
False
Let q = 11 - 6. Suppose 0 = -0*f + q*f - 5. Suppose -4*k - 8 = -0*k. Which is bigger: k or f?
f
Let f = -4 + 4. Let k = -0.3 - f. Suppose -6 = 2*p + p - 3*w, 5*p = -5*w. Which is smaller: p or k?
p
Let o = 10 - 6. Suppose 0 = -m + 2*m - o. Do -0.1 and m have the same value?
False
Let z = -107 + 111. Let y be (0/(-2) + -1)*-3. Suppose -4*o = -z*l - 6*o, 0 = 5*l + 4*o + y. Which is smaller: l or 0?
0
Suppose 8*y + 5*t - 23 = 4*y, -5*t = -2*y - 11. Suppose y*r = s + r - 4, -s - r = 0. Let n = 123/2 - 60. Which is greater: s or n?
s
Let f be 9/9 + (-16)/13. Let h = f - -47/91. Which is smaller: h or 0?
0
Let u = -27 + 29.2. Let h = -2 + u. Let x = 65/6 - 21/2. Is x != h?
True
Suppose 2*p = 2*n - 11 + 1, 2*n + 2*p = 10. Suppose 0 = n*b - 13 - 7. Suppose -14 = 2*s + 5*q, -6 = 3*q + 6. Which is smaller: b or s?
s
Let k = -0.04 + 2.04. Let g = 0.02 - -2.98. Is k at least g?
False
Suppose -9 = 3*s - 0*s. Let g(d) = d**3 + 3*d**2 + 3*d - 5. Let w(i) = i**2 - i + 1. Let y(u) = g(u) + w(u). Let q be y(s). Is -3/8 < q?
False
Let c = 0.19 - 0.08. Let i = c - -5.89. Is i at least as big as -2/7?
True
Let m = 2.3 - -0.7. Let q = 2.9 - m. Is 3 > q?
True
Let w be 2798/28 + (-3)/9. Let s = 710/7 - w. Let n = 13/6 - s. Are n and -1 nonequal?
True
Suppose 0 = 4*a - 0*a + 96. Which is bigger: a or 1/4?
1/4
Suppose 0 = -h + 1 - 3. Let o be (5/(-2))/(1/(-2)). Suppose -2*z - 2 = 2*r, 0*z - r - o = 3*z. Are h and z non-equal?
False
Let x be (-19)/57*(-6 - 0). Let i be x*1/(1 - 13). Is i != -1?
True
Suppose -34*t = -33*t - 31. Is t less than or equal to 31?
True
Let s = 10 + -28. Let r be 2/2 + 21/s. Let g = 0 + -1. Is r less than g?
False
Let m be (-48)/10*(-25)/10. Is 12 at least m?
True
Let o be (0 - 0)/((-4)/2). Let n(y) = y**2 + 4*y + 3. Suppose -4*u = 0, 2*b - u - u + 6 = 0. Let p be n(b). Is p not equal to o?
False
Let z be (-63 - -37)*((-2)/(-4) + -1). Are z and 14 non-equal?
True
Suppose 4*n = 5 - 1. Let r = 2 + -2. Suppose 0 = q + 3, -q + r - 6 = -h. Is h less than n?
False
Let m be 2*26*(-5)/(-10). Is 27 greater than or equal to m?
True
Let f be (-2)/22 + 0/(-3). Let b be 0/(-1) - 1/(-1). Which is smaller: b or f?
f
Let q = 0 - 0.1. Let b = -16 + 19. Which is smaller: b or q?
q
Let n(k) be the second derivative of 1/6*k**3 + 0 - k - 3*k**2. Let h be n(6). Which is greater: 1 or h?
1
Let u = 0.2 - 0.1. Let l = u + 0. Let d = -41 - -41.1. Is d != l?
False
Let g(d) = -d**2 + 6*d - 1. Let c be g(6). Let m be 10/30*(-6)/40. Is c at least m?
False
Let o be (-2)/4*(16 - 16). Which is greater: o or 21?
21
Let x = 191 - 191. Which is greater: -46 or x?
x
Let f be ((-9)/6)/((-12)/(-4)). Is f smaller than 0.2?
True
Let y = 2/83 - -75/332. Is y < 2?
True
Let r = -6/17 - -29/34. Let k be (-18)/5 + (-6)/15. Let j be 3 + 3 + k + 0. Which is smaller: r or j?
r
Let x be (4 + -2)/8 + (-5)/40. Let c(m) = m**3 - 7*m**2 + 5*m + 6. Let f be c(6). Is f less than x?
True
Let v(r) = -r**2 - 6*r + 5. Let p be v(-7). Let a be (-9)/18 - p/28. Is a greater than 2/3?
False
Let d = 17 + -19. Is -3/2 != d?
True
Let r(u) = -u**2 + 2*u - 3. Let g(q) = 3*q**2 - 7*q + 10. Let t(n) = 2*g(n) + 7*r(n). Let x be t(-1). Let p = x - -1. Which is bigger: p or 2/5?
2/5
Let i be (-4)/2 - -1 - 3. Let w(o) be the second derivative of o**5/20 + o**4/4 - o**3/2 + o**2 + o. Let f be w(i). Is f at least as big as -1?
False
Let q = 33 - 36. Which is smaller: -1 or q?
q
Let a = -1/144 + -91/720. Let c be (-8)/(-6) + 2/(-6). Let j = c - 0. Which is greater: j or a?
j
Let y = -0.027 + 0.049. Which is smaller: y or 1?
y
Let g = -4 - -3. Let m(v) = 12*v - 7. Let y be m(-8). Let s = -825/8 - y. Which is smaller: s or g?
g
Suppose -2*p - 6 = -2*f + p, -3*f - 3*p - 6 = 0. Is f greater than or equal to -4/13?
True
Suppose -4*q + 3*q = 12. Suppose -2*o - 4 = 22. Is o smaller than q?
True
Let q be 12/(-16) + 39/(-36). Let x = 5/2 + q. Which is greater: -6 or x?
x
Let k = 51 + -52. Let n = -956/1099 + 2/157. Is k != n?
True
Suppose 9 + 11 = 10*a. Let x(d) = d**3 - 5*d**2 - d + 6. Let c be x(5). Is c less than a?
True
Suppose -6*q = -4*q - 10. Suppose q*h - 9 = -4. Which is bigger: h or 6/5?
6/5
Let j be 4 + (2/(-4) - 4). Let p = 575/2 + -280. Which is smaller: j or p?
j
Let o = 0.6 + -1.4. Let j = 22.9 - 22. Let g = j + o. Which is bigger: g or 2/11?
2/11
Let z be 60/14 + 4/(-14). Suppose 0 = -4*w - 4, 2 = 5*q + z*w - 4. Which is bigger: q or -2?
q
Suppose -z - 3*z = 4. Is z smaller than -5/7?
True
Let s(b) = -b**3 + 5. Let f be s(0). Suppose 0 = -2*r - 4*g + 10, 2*r + g = f*g - 14. Let l = -1.7 + 2. Which is bigger: l or r?
l
Let g = -0.03 + 0.33. Which is greater: g or 1/3?
1/3
Let s = -337 + 9433/28. Is 0 <= s?
False
Suppose 6*b = -b. Let g be (-8 + -1)*2/(-6). Suppose g*s + s = -24. Which is greater: s or b?
b
Let v = 7 + -11. Let f = v - -16. Which is bigger: f or 11?
f
Let p = 10 - 91/9. Is p bigger than -1?
True
Let u be (2 - 5) + (-333)/(-6 + 3). Which is smaller: 107 or u?
107
Let j = 3 + 0. Suppose -n - 2*n + j = 0. Is n not equal to -0.03?
True
Suppose 0 = -2*z - 10, -2*r = 5*z + 17 - 2. Let b be 0 + 1 + 10/(-8). Is r greater than b?
True
Suppose 0 = -0*p - 4*p + 2*n + 2, 4*p = 5*n - 7. Suppose 1 = -2*q + 5. Is q at most p?
True
Let s be ((-6)/(-45)*5)/((-20)/12). Do s and 2/19 have the same value?
False
Let y = -82 - -49. Is -34 < y?
True
Let l(m) = 3*m**2 - 3*m + 3. Let t be l(2). Suppose s = -5*g + 22, -2*s + 11 = -g - 0*g. Suppose 3*r + f = -t, -4*f = -s*f. Which is smaller: r or 0?
r
Suppose l - 6*l = 0. Let n(y) = -y**2 - 6. Let m be n(l). Is -6 greater than or equal to m?
True
Let q = 1/24 + -29/120. Let z be (-1)/(-6) + (-37)/6. Let u = z + 6. Which is smaller: q or u?
q
Let b be (-3 + 4 - -1) + -4. Which is greater: 2/3 or b?
2/3
Let n(a) = a**2 - 7*a + 6. Let x be n(5). Let q be 2/(-6) + x/(-6). Do q and -3 have different values?
True
Suppose -r + 0*r - 5 = 2*q, -r = -2*q - 3. L