se
Let y = -3.3 + 1.5. Let x = -2 - y. Are 2/5 and x equal?
False
Suppose 0 = 2*x + 1 - 3. Let n = 21 - 188/9. Is n bigger than x?
False
Let k(n) be the first derivative of n**4/4 - 7*n**3/3 + 7*n**2/2 - 9*n + 1. Let d be k(6). Is d equal to -3?
True
Let d = -16 - -15.8. Which is greater: 0 or d?
0
Let z = -18 - -8. Let q be 2/(-5) + (-4)/z. Which is greater: 5/7 or q?
5/7
Let i(d) = 4*d - 18. Let r be i(-5). Which is greater: r or -39?
r
Suppose 5*v - 69 = 2*c, 2*v + 54 = -2*c + 4*v. Let z be (-8)/c*(-9)/12. Which is bigger: 1 or z?
1
Let v = 0 - 0.2. Let l = -21 - -20.87. Let q = -0.23 - l. Which is bigger: v or q?
q
Let w = 129.2 - 130. Is -0.1 != w?
True
Suppose -t + 1 = 0, -2*h = -3*h - 4*t + 30. Is 25 >= h?
False
Let o = -2 - -2. Suppose -q = -o*q. Suppose q*c = c + 4. Are c and -5 equal?
False
Suppose -5*x = 64 - 139. Suppose 5*c - z - 19 = 57, -c - 3*z = -28. Is c > x?
True
Let r = 50.9 + -47. Let t = r - -0.1. Let c = t + -2. Which is smaller: -1 or c?
-1
Let o(v) = -6*v - 15. Let a be o(-5). Which is smaller: a or 2/5?
2/5
Let w be -70*((-15)/18 - 3/(-9)). Which is smaller: w or -1?
-1
Let q be (12/(-15))/((-2)/5). Suppose q*y + 7 = -1. Let c be ((-2)/(-2))/(2/(-10)). Which is greater: c or y?
y
Let o = -68/5 + 14. Let q be (-3)/12 + (-7)/(-20). Let d = q + o. Is 0 smaller than d?
True
Suppose 2*f = -2*n + 12, 6*n - 2*n = -3*f + 22. Suppose -u + f = 1. Let t be (1 - u)/(-4 + 3). Is t at least -4/5?
True
Let m(a) = a**3 - 5*a**2 + 6*a - 2. Let t be m(2). Suppose -3*j = -3*v + 11 - 2, 5*j = -v + 3. Does j = t?
False
Let f be (-4)/10 + (-72)/(-5). Let u be (-1332)/(-42) - (-4)/f. Let t = u + -97/3. Is t at most 1?
True
Let b = 23 - 32. Let k be 6/b + (-1)/3. Let f = -336 + 334. Is f at most as big as k?
True
Suppose 2*v + 5*b + 6 = 0, -4*v - v = b - 8. Suppose 2*t + 2*t + 2*j - 6 = 0, -t + v*j = 1. Is 2 at least t?
True
Let m(x) = x**3 + 7*x**2 + 6*x - 4. Let c be m(-6). Is c at most -3?
True
Let w(k) = k**2 - 3*k - 1. Let u be (12/10)/((-3)/(-10)). Let n be w(u). Are n and 2 equal?
False
Let r(m) = m + 8. Let x be r(-7). Let w = x - 0. Is w at least 2?
False
Let j = 3183 - 34971/11. Let u = j - 453/110. Which is bigger: -1 or u?
u
Suppose d - 3*w - 33 = 3*d, -2*w = 4*d + 70. Which is smaller: d or -16?
d
Let a(t) = -22*t. Let h be a(6). Let y be ((-11)/h)/((-1)/(-3)). Which is smaller: 8 or y?
y
Let u(h) = -h + 5. Let n be u(-6). Let c(f) = -f + 10. Let w be c(n). Is w at most -1/3?
True
Let b = -4 - -5. Let i be (3 - 5)/(b/(-4)). Which is bigger: -1 or i?
i
Let n = -146/35 - -28/5. Are 0 and n equal?
False
Let b be (0/(-2))/((-1)/(-1)). Suppose 34 = -5*y - 6. Is y at least as big as b?
False
Suppose -6*u = 5*u - 187. Let y be (-1)/6 + 545/30. Is y >= u?
True
Suppose 2*u = 4*z - 10, -40*z - 4*u - 12 = -44*z. Suppose 12 = t + 3*t. Is z smaller than t?
True
Suppose -5*p + 4*i - 8 = 4, -4*p = 3*i - 9. Let z be ((-2)/(-4))/((-14)/(-8)). Is p at most z?
True
Let n be 5/(-3 + (1 - -1)). Let a = 5 + n. Is a smaller than 4/5?
True
Let p = -15 + 11. Do -54/11 and p have the same value?
False
Let f = 46 + -46. Which is smaller: -1/6 or f?
-1/6
Let c = -8 - -10. Let w = -1 + c. Let x = 96 - 769/8. Is w != x?
True
Let a(t) = t**3 - 5*t**2 - 6*t + 5. Let q be a(7). Suppose -b = 5*m + 2*b - q, -5*b + 43 = 3*m. Is 11 at least as big as m?
True
Suppose -2*x - 14 = -3*d, 3*d + 4 - 17 = x. Suppose -g = d*g - 5. Which is greater: g or 0.5?
g
Let v = 53 - 29. Let l = -27 + v. Which is greater: 0 or l?
0
Let x be 10*(36/(-15) - -2). Suppose 3*f + 8 = -d, -3*d + 14 = -3*f + 2*d. Are f and x non-equal?
True
Let q be 9/27*(-3)/(-2). Is 1 < q?
False
Let p be 6/(-3 + 9/6). Let g(t) = -2*t + 11. Let r be g(8). Is r bigger than p?
False
Let a = 2.9 + -1.9. Are a and 9 unequal?
True
Let m(r) = -2*r. Let y(f) = -5*f + 1. Let a(c) = -7*m(c) + 3*y(c). Let w be a(7). Does -4 = w?
True
Let q = -143 + 3863/27. Which is smaller: 2 or q?
q
Suppose 6*d + 280 = -d. Is d greater than or equal to -40?
True
Suppose 0 = -5*c - 4*r + 18, 2*c + 5*r = -4 + 1. Suppose 5*i - 3*f + c = -f, 5*f = 3*i + 15. Is -1/12 greater than or equal to i?
False
Suppose 4*c + 27 = c. Are c and -10 nonequal?
True
Let h = 4 - 19. Which is greater: h or -0.1?
-0.1
Suppose -3 = -i + 2, -2*i + 6 = -4*f. Suppose 0*b = 8*b - 16. Suppose b*l + 2*d = 5*d - 3, 4*l + 4*d = 4. Is f at least l?
True
Suppose 0 = -m - 4*m + 70. Let i be -1 + 22/m - 1. Let f = i + -1/14. Which is smaller: -2 or f?
-2
Let g(d) = -d**3 - 4*d**2 - 3*d - 2. Let c be g(-3). Let p = -0.091 + -6.009. Let m = -6 - p. Are c and m nonequal?
True
Let s be ((-2)/10)/((-5)/((-25)/(-1))). Let a = 1.6 - -8.4. Is s < a?
True
Let v = 7 - 12. Let x = v + 4. Is 0 < x?
False
Let f(u) = u**3 + 5*u**2 - 7*u - 9. Let g be f(-6). Let p(w) = w**2 + 5*w + 4. Let d be p(-3). Let m = d - g. Is -2/5 < m?
True
Let q = -151/374 - -5/22. Is 0 greater than or equal to q?
True
Let x = 17/2 + -10. Suppose 4*k + 6 = 22. Let v = 9/2 - k. Is v at least as big as x?
True
Let m(y) = y + 11. Let t = 9 - 17. Let f be m(t). Let z be (-2)/7 + 32/14. Is z less than f?
True
Let v = 55 + -55.5. Let y = 34 + -37.8. Let c = y + 4. Are v and c unequal?
True
Let o(h) = h**2 - 4*h - 3. Let p be o(5). Suppose -2*m = -j + 8, 4*j = -3*m + 13 - 3. Is j not equal to p?
True
Let i be (-3 + (3 - 3))*-1. Suppose -i = -2*y + 5*y. Which is bigger: -1/4 or y?
-1/4
Let m be 68/18 - (-6)/27. Suppose -2*i + 3*h = -9 - 1, -2*i + 10 = 3*h. Which is bigger: m or i?
i
Suppose 5*m = 3*m + 6. Suppose -m*b = b - 20. Suppose 11*d = 6*d + b. Which is bigger: d or -1/5?
d
Suppose -s + 4 = s. Suppose 3*u - 8 = -5. Suppose -1 = s*q + u. Which is smaller: q or 1?
q
Let n = 1 + 0. Let l = -2 - n. Let k = -5.3 + 5.5. Which is smaller: l or k?
l
Suppose -2*s + 7*s = 20. Suppose 3*t = -4*f - 11, -2*t = -0*f - f - 11. Which is smaller: s or t?
t
Let i = 4 + -3. Which is smaller: 2/21 or i?
2/21
Suppose 1 + 4 = -5*i, 3*z - 5*i = 11. Let s = z - 1. Is 0 less than or equal to s?
True
Suppose 0 = -4*f - 12, -5*f + 0*f - 27 = 3*v. Let j(l) = -l**3 - 4*l**2 - l - 2. Let d be j(v). Let r be (-2)/4 + 1/d. Is r <= -2/11?
False
Let h be 0/1 - 2/(-10). Are h and -3 equal?
False
Let y = 18 - 17.8. Are y and -1 non-equal?
True
Let h = -23/26 + -8/13. Let b(v) = -v**2 - 13*v - 13. Let a be b(-12). Is h at most as big as a?
True
Suppose -5*h - 3*h - 24 = 0. Which is greater: -2/9 or h?
-2/9
Suppose 6 = 10*k + 6. Is 23 less than k?
False
Let n be (-4)/(-16) - 93/180. Let x = -3/5 - n. Let y = 0.3 + -0.2. Which is greater: y or x?
y
Suppose 27*m = 23*m + 48. Is m greater than 12?
False
Let h(t) = t**3 - 3*t**2 + t + 2. Let k be h(3). Suppose 0 = -5*o + k. Are o and -2/11 non-equal?
True
Let f be (2 - (-3)/(-2))*2. Which is greater: f or 2/3?
f
Let y = -2/3 + 5/12. Let o = -8/5 + 2. Which is greater: o or y?
o
Let b be (-2)/(-4) - (-1026)/(-12). Let v = -257/3 - b. Let d = -12.2 - -12. Which is smaller: d or v?
v
Suppose -135 = 2*a + 3*a. Let w = a - -57. Suppose 5*v = -2*n - w, 3*v - n = 3*n + 8. Which is smaller: v or -3?
v
Let f(m) = -6*m**3 - m**2 + m - 2. Let s be f(-2). Suppose -5*w - s = -15, -5*i - 3*w - 10 = 0. Suppose p = -v - 9, p + 0*v - i = v. Which is greater: p or -3?
-3
Suppose -2*s = -5*l - 18, 3*s + 8 = -2*l - 3. Let n be l + 1 + 12/(-3). Which is smaller: -6 or n?
n
Suppose 5*d - 9 = 2*d. Let f(y) = -y**3 + 4*y**2 - 2*y - 3. Let h be f(3). Let b = h - d. Which is smaller: -2 or b?
b
Suppose 5*i = -4*z + 21, 2*z - 3*i + 14 = -3. Which is smaller: 2/29 or z?
z
Let y = 34 - 34.33. Are 1 and y unequal?
True
Let g be (-15 - -6) + 14 - 4. Suppose -1 = -5*k + 3*o + 6, 4*k + 5*o = -24. Let u = 1 + k. Which is smaller: u or g?
u
Let p(k) = -k. Let j be p(-1). Let v = 2 - 0. Which is smaller: v or j?
j
Let c be (2 - -4)*(-4)/(-6). Suppose 0 = -g + c*g - 6. Which is greater: 3 or g?
3
Suppose 3*z = -z + 8. Suppose 0*p = -z*p + 4. Suppose -2 - p = 4*f. Is f at least as big as -1?
True
Let d(x) = x**3 - 3*x - 4. Let l be d(-2). Let p(j) = -j**3 + 5*j**2 - 4*j + 3. Let y be p(2). Let s = l + y. Which is smaller: s or 4/3?
s
Suppose -8*u = -7*u - 1. Is u equal to 3/11?
False
Suppose 0 = z - 8 + 1. Let w(c) = c - 7. Let b be w(z). Which is smaller: -8 or b?
-8
Let w = -4 - -3. Let h = 4 - 6. Is h smaller than w?
True
Suppo