28). Is g smaller than l?
True
Let a = -105 - -528/5. Let c(s) = -s**2 - 11*s - 9. Let l be c(-10). Which is bigger: a or l?
l
Let q be (-1 - -6)/(1/1). Suppose -2 = q*f - s, 0 = s + 3*s + 12. Are f and -2 nonequal?
True
Let h = -47 + 16. Let y = -26.2 - h. Let s = 5 - y. Which is greater: s or -1/2?
s
Let w be -1*((-3)/(-3) - -1). Let a be ((-2 - -4) + -2)/w. Is -1/6 greater than a?
False
Let m(q) be the second derivative of 1/2*q**2 + 3*q - 1/3*q**3 + 0. Let u be m(2). Are u and 1/4 nonequal?
True
Let o(r) = r**3 + 6*r**2 - 10*r - 17. Let c be o(-7). Are c and 3 equal?
False
Let a = -7377662 + 52484702/7. Let v = -120490 + a. Let y = v - -338. Which is smaller: y or 0?
0
Let w = -0.105 - -0.005. Which is smaller: w or 20?
w
Let q = -4 - -6. Suppose -q*i + 0*i = -2. Let k = i - 2. Is -2/15 at least k?
True
Let s be 4/(-6)*(-1 + -2). Let a(t) = 2*t - 4. Let g(b) = b**3 - 10*b**2 - 12*b + 14. Let o be g(11). Let l be a(o). Are l and s nonequal?
False
Let t(h) be the first derivative of 1 - h**2 - 1/3*h**3 - h. Let o be t(-1). Is 1 equal to o?
False
Suppose 2*m = 10 - 2. Suppose 0 = -5*r - m*o + 37, -r = -9*o + 4*o - 19. Which is greater: r or 8?
r
Let p = 53 - 53.31. Let d = 0.01 + p. Let l = -1.3 - d. Is l bigger than 0.2?
False
Let y be -1 + 3 - (2 + -2)/3. Let i be -2*(-1)/(-2) - 1. Let r be i - (10/(-2) + y). Which is bigger: r or 0?
r
Suppose 0 = 4*r - 8 - 8. Do 2 and r have the same value?
False
Suppose -8*l + 10 = -3*l. Suppose -l*h = -4*h + 2. Which is bigger: h or 3?
3
Let k(q) be the first derivative of q**2/2 + 6*q + 2. Let b be k(-5). Let d be (2/3)/(b/(-3)). Do -1/2 and d have the same value?
False
Let x = 27 - 457/17. Is 0 bigger than x?
False
Suppose 4*h = h - 3. Suppose -4*p - 4*p = 3*p. Is p at most as big as h?
False
Let c(u) = 3*u + 1. Let z be c(-2). Let k(o) = -o**3 - 5*o**2 - 2*o - 4. Let m be k(z). Is 1 greater than m?
False
Let a(i) = i + 7. Let t = -1 - -6. Suppose -2*m - 4*h = 29 + 9, t*m + 5*h + 70 = 0. Let y be a(m). Do -3 and y have different values?
True
Let f(z) = 3*z**2 + 2*z + 7. Let m be f(-3). Let l be ((-6)/21)/((-20)/m). Is l greater than -6?
True
Let s = -1 - -1. Let c = 0 + s. Let n = 51 - 49. Is c equal to n?
False
Let t(k) = k - 4. Let j be t(5). Let h(a) = -5*a + 4*a - 2 - 4*a - a**2. Let o be h(-5). Which is smaller: o or j?
o
Let c = 3.4 - 0.4. Let f = c - 0. Let u = 1 + f. Which is smaller: u or -1?
-1
Let n be (-3)/(-2)*2/3. Let q be n*-2 - -3 - 2. Let p be (0 + (-9)/(-12))*(-16)/(-18). Which is bigger: p or q?
p
Let q(w) = -w**3 + 9*w**2 + w - 10. Let i be q(9). Which is smaller: i or 1/15?
i
Let m(d) = -d**2 - 3*d - 1. Let g be m(-2). Suppose g - 2 = -w. Suppose w = 3*i + 2*i + v, -5*i + 5 = 5*v. Are -1/4 and i unequal?
True
Let x = -2 + -3. Let r = 5.2 + x. Is r bigger than 0?
True
Let b = 256 - 1017/4. Which is smaller: b or -0.1?
-0.1
Suppose 4 = -3*c + 4*c. Let h(l) = -l**2 + 2*l - 2. Let s be h(c). Is s > -2/5?
False
Suppose -7 = d - 4. Let o be (-8)/6 - (-20)/(-12). Is d > o?
False
Suppose -4*m + n - 48 = 5*n, 8 = -2*n. Is -7 bigger than m?
True
Suppose 0 = -b + 5*w - 24, 4*b + 5*w + 2 = 31. Let v = 0.1 + 0.1. Let m = v + 0. Is m >= b?
False
Let s(l) be the first derivative of -2 - 2*l + 1/2*l**2. Let j be s(0). Is j greater than or equal to 0?
False
Let y = -7 - -11. Let q be 3/(-5)*y/(-6). Which is smaller: 0 or q?
0
Let r be 35/7*3*1. Is r equal to 15?
True
Let i = -0.1 - -0.3. Let c = i - -0.8. Let n = 1 - c. Which is smaller: n or -0.1?
-0.1
Let r = 127 - 124. Is 3/2 less than r?
True
Let i = 49 + -48. Which is greater: -1/177 or i?
i
Suppose c + r - 2 = 0, 0 = -2*c + 2*r + r + 19. Let f = c + -14/3. Which is bigger: -0.2 or f?
f
Suppose 4*o = 2*c + 1 - 5, 4 = 2*c. Which is bigger: 1/54 or o?
1/54
Suppose 2*n + 0*n = 0, -3*s - 2*n = -30. Let c be (-1 + 2)/((-2)/s). Let m be (5/4)/(c/(-20)). Is m < 5?
False
Let v = -15 + 25. Let w = -9 + v. Which is smaller: w or -1/6?
-1/6
Suppose -4*o - 7*k - 8 = -2*k, 3*o - 2*k = -6. Let g be 776/20*(-3)/o. Let j = -58 + g. Which is greater: 0.1 or j?
j
Suppose 2*r - 5*a - 9 = 0, a - 5 = -r + 3. Which is smaller: 8 or r?
r
Let k(i) = -3*i - 6. Let t be k(-8). Let l = t - 17. Which is bigger: -0.1 or l?
l
Let c be (18/(-165))/((-9)/30). Which is greater: c or 1?
1
Let o = -20 + 28. Let u be (1/46)/((-2)/o). Which is smaller: 1 or u?
u
Let c(s) = s**3 - 11*s + 4. Let t be c(3). Is 0.32 at most t?
False
Let x be 8/(-28) + 2/7. Suppose -4*h + 5*w - 7 - 10 = x, 5*w = -5*h + 35. Let r = 0 - 0. Which is greater: h or r?
h
Suppose o + 2*o + 9 = 0. Let u be (0/2)/(-1 - o). Let d be (-4)/(-56)*-2 - 0/2. Is d at most as big as u?
True
Let f = 12 - -2. Let q = -12 + f. Let z be ((-2)/(-10))/(1/3). Which is smaller: q or z?
z
Let z(n) = -n - 4. Let m be z(7). Is -11 > m?
False
Let h = 1/34 + 29/170. Which is smaller: 0 or h?
0
Suppose r - 4 = -4*o, 0 = -5*o + 4*o + 5*r + 1. Let a = 2 - -1. Is a < o?
False
Let v = -1 + -29. Is v < -30?
False
Let w = -4 - -5. Let m be (6/4)/w*4. Which is bigger: m or 5?
m
Let n be 32/14 - (-2)/(-7). Suppose -2*f + c = -6*f - 6, n*f = c - 6. Let g be f/(-4) - (-6)/12. Do -1/4 and g have the same value?
False
Let q = -9 - -17. Let l = -10 + q. Let u = 1 + -1.2. Which is bigger: u or l?
u
Suppose 2*q = 7*q - 5. Let w = -0.3 - -0.1. Let y = -0.1 - w. Is q greater than y?
True
Let s be ((4/(-22) - 0)/1)/(-3). Which is smaller: s or 1?
s
Suppose 11 = -2*p - 45. Which is smaller: p or -26?
p
Let j = 0.4 - 0.41. Let u = -1.99 + j. Let s = -2 - u. Which is smaller: s or 2/5?
s
Let l = 2 + -1.99. Let g = -0.01 + l. Let x be 2/(-24) + (-1)/(-3). Is g not equal to x?
True
Suppose 5 = w - l - 5, 4*l = 3*w - 34. Let v = 8 - w. Let i = -1 - -2. Which is smaller: i or v?
i
Let y = 10 + -104/11. Let d be (-1 - (-2 - -1))*1. Which is bigger: y or d?
y
Let u(i) = 10*i**3 + 0*i - 9*i**3 - 6 - 7*i**2 + 6*i. Let h be u(6). Which is smaller: -2 or h?
h
Let q = -193 - -201. Which is greater: 5 or q?
q
Let n = -16 - -14. Is n less than or equal to -2/3?
True
Suppose -3 = 7*h + 32. Let m = 10 + -16. Which is smaller: h or m?
m
Let m(j) = -2*j - 2. Let o be m(-2). Let s be (o - (2 - 0))/4. Which is greater: s or 3?
3
Let s be (8/(-7))/(10/(-35)). Which is smaller: 6 or s?
s
Let o be 3 - 4 - 4/(-6). Let h(z) = z**3 - 5*z**2 + 5*z - 4. Let x be h(4). Is o not equal to x?
True
Let r = 0.3 - 0.4. Are -1 and r non-equal?
True
Let s = 36 + -35.96. Is -1 less than s?
True
Suppose 4*k - 5*k = 0. Let c(y) = -y**3 + 6*y**2 - 6*y - 2. Let s be c(5). Let v be 0 + 2 - (-16)/s. Is v at least as big as k?
False
Let l(j) = 0*j**2 + 2*j**2 + 5*j**3 + 1 + 0 + 2*j. Let u be l(-1). Is u at most as big as -2?
True
Let y be ((3 - -1) + -4)/2. Let x be -1 - 1/(-2)*0. Which is greater: x or y?
y
Let l(f) = 2*f - 1. Let r be l(-1). Let j = 3/13 - 100/39. Are j and r unequal?
True
Let a = 5 - 1. Suppose 5*f = a*f. Is f less than or equal to 3?
True
Suppose 3*l - 19 = 2*l. Let t = l - 3. Let f be 3/(21/t) + -2. Is 0 > f?
False
Let v be ((-138)/27)/((-200)/(-15)). Let y = v + 2/15. Let w(g) = -2*g - 1. Let u be w(-1). Do u and y have the same value?
False
Let p = -1.2 + 2.4. Is -1/3 <= p?
True
Let q be ((-16)/28)/2 - (-45)/35. Let f be ((6/(-13))/(-2))/1. Which is greater: f or q?
q
Let n be (-1 - -4) + (-1 - -3). Suppose n*q - 1 = -b, -q = -2*q - 5*b - 19. Which is smaller: -1/22 or q?
-1/22
Suppose -20 = 5*c + 4*s + s, -4 = 2*c + s. Is c bigger than -6/23?
True
Let s be (3/(-52))/((-6)/(-4)). Let r = s + -6/13. Which is bigger: 0 or r?
0
Let v = -87 + 611/7. Is v smaller than -2?
False
Suppose -5*o = -6*o. Let d = 1.22 + -0.22. Which is smaller: d or o?
o
Suppose 4*d - 2 = 18. Suppose 0 = -d*k + 2*k. Suppose 6*g - g = k. Is 0 greater than g?
False
Let w = 1/6 + 1/3. Let z(a) = a**3 + 11*a**2 + 10*a + 2. Let n be z(-10). Suppose -s + 5*k = n*s + 17, -2*k + 11 = 3*s. Which is greater: w or s?
s
Let h = -37/116 + 2/29. Suppose -5*c - 20 = 3*i, c + 22 = 4*c - 5*i. Is c < h?
True
Let w = -2.3 + 3.4. Let v = 1.7 + w. Let t = -3 + v. Do -0.1 and t have the same value?
False
Let w = -5 - -5. Suppose w*o - 3*o = -12. Suppose x + 30 = -o*x + z, z + 5 = -2*x. Are x and -4 equal?
False
Suppose t = -4, 0*c + c - 4*t = 13. Is -3 smaller than c?
False
Let x = 13533/11 - 1229. Which is bigger: 2