u non-equal?
True
Let b = -3 + 6. Let m be (-2)/16*(b - 1). Which is bigger: m or -1?
m
Let o(i) = -i**2 + 4*i - 6. Let y be o(4). Let v(g) be the third derivative of -g**6/120 - g**5/12 + g**4/4 - g**2. Let m be v(y). Is -2 greater than m?
False
Let q = 1.9 - 9.9. Let g = 9 + q. Let o = -5 - -1. Are g and o nonequal?
True
Let r = 52 + -54. Let f(c) = c - 1. Let l be f(6). Which is greater: r or l?
l
Suppose 1 = 4*m - 5*m. Which is smaller: -1/3 or m?
m
Let x = -2 + 4. Suppose 0 = 5*s - 3*y - 59, y = -0*y - 3. Let h be ((-1)/(-7))/(s/(-35)). Which is smaller: h or x?
h
Let n be (-22)/44*(10 - 0). Let k(u) = -u**3 - 7*u**2 - 5*u + 8. Let w be k(-6). Suppose 30 = -w*v - 3*v. Which is bigger: n or v?
n
Let d(a) be the second derivative of a**5/20 - a**4/4 + 2*a**2 - 2*a. Let p be d(3). Suppose -m - 10 = p*m. Which is smaller: -1/2 or m?
m
Let h be (-12)/(-8) + 44/24. Let i = -44/15 + h. Which is smaller: i or 1?
i
Let q be (2/212)/(10/40). Which is smaller: -1 or q?
-1
Let s = 0.11 - 1.11. Which is smaller: s or -3?
-3
Let k be 4*(106/408 + 12/(-48)). Which is smaller: 3/5 or k?
k
Suppose 4*m = 5*k - 12, -5*k + 3 = -3*m - 11. Does 8/7 = m?
False
Let r be 1 + 2 - 13/5. Suppose -m = m - 4. Let n be 1 + 0/(4/m). Is r bigger than n?
False
Let h(u) = 3*u + 4. Let p be h(-4). Let m(s) = -s - 7. Let g be m(p). Is 1/4 <= g?
True
Let n = -4.2 - -4. Let g = -0.03 - -0.43. Let l = g + n. Which is bigger: 0 or l?
l
Let i be (-144651)/(-84) + 3/12. Let o = 1728 - i. Let f = o - 38/7. Are f and 1 unequal?
True
Let n(i) = 1 - 2*i**2 + 7*i + i**2 - 7 - 1. Let j be n(5). Is 4 != j?
True
Let u = -17 + 21. Let q = u - 3. Which is smaller: q or -0.1?
-0.1
Let n be ((-225)/(-125))/(-1 + (-13)/(-10)). Let v = -2 - -8. Is v greater than or equal to n?
True
Let v(t) = 3*t**2 - 2*t + 1. Let q be v(1). Let u(w) = 7*w. Let a(z) = -6*z. Let c(k) = -4*a(k) - 3*u(k). Let p be c(1). Which is bigger: q or p?
p
Let p = 144 - 148. Let d(n) = -n**2 - 5*n + 1. Let b be d(-6). Is b greater than or equal to p?
False
Let i = 12.1 + -64.1. Which is greater: 0.1 or i?
0.1
Let q be 2*(1 - (-20)/8). Which is smaller: q or 8?
q
Let b = -6 - -19. Is b bigger than 13?
False
Let r be 3/9 - 19/3. Let c be 4/((-10)/(-4) + -3). Is r < c?
False
Let h be 2/4*4/1. Let b be h/4 - (-3)/(-18). Which is greater: 2 or b?
2
Let c(x) be the second derivative of x**3/6 + 2*x**2 + x. Suppose -2*h = -0*h + 12. Let f be c(h). Which is bigger: -1 or f?
-1
Let h = 187.96 - 185. Let j = 0.04 + h. Let o = j + -3.1. Which is smaller: o or 1/4?
o
Let c(m) = -m + 3. Let y be c(0). Let x be (-3)/9 + y/3. Is 2 greater than x?
True
Suppose 2*a - 9 = -2*a + 3*j, -5*a + 4*j + 11 = 0. Suppose 4*p - a*s + 8 = -p, -2 = 4*p + 2*s. Let u = -32 - -31. Is u > p?
False
Let a be (-2)/(-3) + (-20)/(-15). Which is greater: a or 0?
a
Let h be 36/(-21)*(147/6)/1. Which is greater: h or -43?
h
Let b be (6/4)/((-1)/2). Let r be ((-3)/b)/(1/(-5)). Let i = -11 - r. Which is bigger: i or -5?
-5
Let y = -19.07 - -19. Are y and 0.1 non-equal?
True
Let z = 0.2 - 0.4. Let k = 0.8 - z. Which is smaller: 2/5 or k?
2/5
Let y = -8.47 - 1.23. Let v = -10 - y. Is v greater than -0.2?
False
Suppose 4*v = 3*v - 39. Let c = v - -349/9. Which is smaller: -4/9 or c?
-4/9
Let o = 1 + 0. Let y = 0 + o. Is y < 3/13?
False
Let r be 2/(-1)*2/(-4). Let l = 3 - r. Which is bigger: l or 4/7?
l
Let d = -5.9 - -5.8. Is d at least as big as -0.28?
True
Suppose -36*f + 35*f + 16 = 0. Which is bigger: 15 or f?
f
Let r be 3/(-12)*(-1 + -1). Let a(v) = -v**2 - 4*v + 5. Let o be (-1)/((-1)/10*-2). Let h be a(o). Which is smaller: h or r?
h
Suppose -5*d + 24 = -0*q - 2*q, d - q = 6. Suppose -2*x - 4*i = -d*x + 16, -2*i = -2*x + 10. Let m = -2 - x. Do 1 and m have the same value?
False
Let v = -2.5 - 0.5. Let b = v - -2.5. Is b at most as big as -1/2?
True
Let t be 88/(-12)*9/(-6). Is t at least 10?
True
Let v = 9 - 1. Suppose 24 = 4*m + v. Suppose 0 = -2*w - m + 2. Which is smaller: w or -2?
-2
Let g be ((-4)/6)/(2/(-9)). Let z be 64/20 - 6/g. Which is greater: z or 2?
2
Let v = -75 + 70. Which is smaller: v or 2?
v
Let d be 11/15 + 1 + (-12)/9. Let f = 11 - 6. Which is greater: d or f?
f
Let b = 2 + -2.4. Let w = 0.13 - 4.13. Let m = -5 - w. Is m bigger than b?
False
Let v = -1.1 + 0.9. Which is greater: -1 or v?
v
Suppose 5*u - 2*i - 21 = -0*i, 0 = 3*u - 5*i - 24. Suppose 0 = -u*o + 6*o + 21. Do -8 and o have the same value?
False
Let d(i) = i**3 - 5*i**2 - 7*i + 4. Suppose 0 = 3*r - 7 - 2, a - r = 4. Let p = a + -1. Let o be d(p). Which is bigger: -3 or o?
o
Let r(j) = -j**2 - 8*j - 7. Suppose 24 = -4*o + 4*w, o - 5*o = -5*w + 23. Let t be r(o). Are -1 and t unequal?
True
Let a = 0.1 + -0.2. Let r = -0.1 - a. Let t = r + 0.2. Is -1 at least as big as t?
False
Let h = 4/5 - 3/5. Let r(f) = f**2 + 5*f + 5. Let o be r(-4). Let g = -2 + o. Which is greater: g or h?
h
Let u(y) = 5*y**3 + y**2 + 2*y + 1. Let x = 4 + -5. Let v be u(x). Let m = -6 - v. Which is smaller: -2/9 or m?
m
Let q be (3 + 16/(-6))*15. Suppose 5*h + 4*t - 30 - 34 = 0, -h + 17 = q*t. Suppose -4*n - 16 = 3*r - 5*r, 3*n + h = 3*r. Is 0 at most r?
True
Let u(s) = -s**2 + 3*s - 3. Let a be u(3). Let h(l) = l - 1. Let r be h(-2). Let m be 0 - 3*(-2)/r. Which is greater: m or a?
m
Let i(y) = y**3 + 5*y**2 - y - 2. Suppose 2*z - 42 = 5*z. Let a = z - -9. Let f be i(a). Is f smaller than 2?
False
Let v = -35 + 32.9. Let x = -2 - v. Let o = -0.3 + x. Is o equal to 0.1?
False
Suppose -5*h + 7*h = 12. Let l(n) = n - 6. Let j be l(h). Let q be 2/7 + -5 + (-1 - -6). Is q at most as big as j?
False
Let w = 2 + -4. Let s = 63 - 68. Let y = w - s. Which is greater: -2 or y?
y
Suppose -10 = -0*y - 2*y - 4*c, c - 1 = -2*y. Let k = -153/8 - -10855/568. Let g = 74/213 + k. Is g > y?
True
Let d be 2 - 5 - (-263)/87. Is d <= -1?
False
Let f = -2.94 - -3. Let l = 0.1 - 0. Which is smaller: l or f?
f
Let o = -346/2497 - -1323841/814022. Let v = o + 2/163. Is v bigger than -0.1?
True
Let k = 10698/25 + -428. Is k at most 0.1?
True
Let d = 89/9 + -97/9. Which is bigger: 0.2 or d?
0.2
Let j = 21 + -24. Is 3 less than j?
False
Let y = -0.13 + -0.05. Let w = 0.08 + y. Which is smaller: 0 or w?
w
Let w = -13 + 13. Which is bigger: 2/3 or w?
2/3
Let g be (-3)/12 - (-1521)/260. Is 5 less than or equal to g?
True
Suppose -13 = 5*h - 33. Suppose h*x - 1 = 15. Is 4 bigger than x?
False
Suppose 2*s = -2*s. Suppose 4*o - 10 = -5*b, b - 3*o = -4*o + 1. Let l be (-32)/39 + b/9. Which is smaller: l or s?
l
Suppose 0 = 2*q + 3*q. Let w = q + -1. Let u be (w - (2 - 2)) + 3. Is 3 bigger than u?
True
Let v(b) = -b**3 - 7*b**2 - 7*b - 2. Let r be v(-6). Is 2 < r?
True
Let k = -0.5 - 0. Let p = 1.49 + 0.01. Let q = k + p. Are q and -2 nonequal?
True
Let y be 3*(-5)/45 - (-19)/3. Is y at most 5?
False
Let d = 17 + -15. Are d and -0.1 equal?
False
Suppose 3*g = 2*g - 91. Let n be 3/(-12) - g/300. Let o = 218/1275 - n. Which is smaller: o or 1?
o
Suppose 34 = -4*y + 2*v, 4*y - 2 + 27 = 5*v. Let q be 1/y*(-5)/(-2). Are q and -1 non-equal?
True
Let c(p) = -p**2 + p + 5. Let i be c(0). Suppose h = -4*h - i. Let y be 2/6*(2 - 2). Which is smaller: y or h?
h
Let n(z) = -2*z + 5. Let k be n(3). Is k less than or equal to -1/2?
True
Let j = -15 - -9. Let c be (-1 + -5)*10/j. Let p = c - 6. Is p greater than 3?
True
Let t be 2/3 - (-23)/(-3). Suppose -3*a + 2 = 2*z - 13, z - 4*a = -9. Suppose -4*m = -3*y - 2, z*y + 2*m + 22 = m. Is t < y?
True
Let d be (-1724)/315 - 6/(-9). Let b = -43/9 - d. Which is bigger: b or 1?
1
Let k(u) be the third derivative of -u**6/120 - 7*u**5/60 - 5*u**4/24 + u**3 + 3*u**2. Let p be k(-6). Let h = -44 - -134/3. Is h greater than p?
True
Let a(i) be the first derivative of i**2 - 3*i + 2. Suppose -2*j = -4*j - 3*s + 2, -4*j = 2*s - 12. Let o be a(j). Is o at most 3?
False
Suppose 4*u - 21 = 5*g, -9 = 4*g - u - 1. Let b be g/4 - (-25)/(-10). Do -4 and b have the same value?
False
Let x = 0.02 - -0.28. Let k(n) = -n**2 - 4*n - 2. Let g be k(-2). Which is smaller: x or g?
x
Let y = -0.3 + 0.2. Let j = y - -1. Let q = j - 1. Which is greater: q or -1?
q
Let z = 9 - 11. Let g be (-106)/12 + z/12. Is g greater than or equal to -8?
False
Let b = 4/7 - 19/21. Let z = 10 - 12. Let t be 0 - (z - 1/1). Which is smaller: t or b?
b
Supp