be 0/1 - 1/(-3). Is k < -1?
False
Let m(p) be the third derivative of p**4/12 - 2*p**2. Let w be m(-5). Let x be 5/w*(-4)/(-2). Which is smaller: x or 0?
x
Let w be (-128)/312 + 4/(-6). Is w greater than or equal to -2?
True
Let i = -30 - -13. Which is bigger: 0.1 or i?
0.1
Let g be (9/6)/(6/8). Let x be (g + -3)/(1/(-12)). Which is smaller: x or 11?
11
Let k(o) = -o**2 - o + 12. Let h be k(0). Suppose -l = h + 88. Let v be l/30*(-12)/(-10). Are -4 and v unequal?
False
Suppose 3*d - 10 = d. Suppose -2*l = -4*p - 0*l + 8, 3*p + 2*l = 20. Suppose -d*b = -b + p. Is 3/8 greater than or equal to b?
True
Let k = 15 - 29. Which is smaller: -2 or k?
k
Let u be (0 - 10/(-15)) + 200/(-291). Which is bigger: u or 1?
1
Let a = -0.039 - 0.061. Is a greater than 5.6?
False
Suppose 5*a = x - 3, -2*a + 2*x = -a - 3. Let b be 87/(-9) - a/(-3). Is -11 bigger than b?
False
Let f be 2/(-8) + 45/20. Let g be 0/(-1*f - -3). Suppose -4*k - k = g. Is -2/5 bigger than k?
False
Let u = -11.73 - 0.27. Let d = u - -12.1. Is 0.03 less than or equal to d?
True
Let i = -2.1 + 2. Let g = 1 - 1. Let d = g + i. Does d = -1/3?
False
Let y = 80 - 25. Let o = y + -221/4. Which is smaller: 0 or o?
o
Let s = 2 - 2.1. Let x = -150 - -142. Is x at most as big as s?
True
Let k = -115 + 577/5. Which is smaller: k or -2/5?
-2/5
Let u be (32/(-10))/(21/(-180)*-3). Is u < -9?
True
Let x = -1 - 2. Let l be (-1)/7 - 1 - (-1)/7. Is l < x?
False
Let h = 6 - -2. Which is smaller: h or 6?
6
Let m(l) = -l - 2. Let n be m(-2). Let z be n/(-1*(-1 - -2)). Are 0 and z unequal?
False
Let o = 0.59 + 21.41. Which is smaller: o or -2?
-2
Let q(u) be the second derivative of u**4/12 - u**2/2 + 2*u. Let w be q(0). Is w bigger than -3?
True
Let h(d) = d**2 - 4*d - 9. Let z be h(7). Let r be 2*(-3)/z*-8. Let p(g) = g**2 + 2*g. Let t be p(-3). Is t at least r?
False
Suppose -5*t + 49 - 4 = 0. Let u be 17/5 + (-4)/10. Let o be u/t - 2/6. Is 6/11 at least o?
True
Let p = 22 - 31. Is -8 at least as big as p?
True
Let x(t) = t**2 + 3*t + 5. Let g be x(-5). Let p(w) = g + w**3 - 13*w**2 - w + w**2 - 4. Let o be p(12). Which is bigger: o or 2?
2
Let b be ((-8)/5)/((-8)/(-20)). Is b at least as big as -2?
False
Let a = 2 - 1. Let r be ((-176)/12)/4 + 4. Let s = 2/3 - r. Do s and a have the same value?
False
Let m be 2/(-6) - (-4)/114. Let a = m - 2/57. Are 0 and a nonequal?
True
Let r = -9 - -13. Let i = -12 + r. Let s = 5 + i. Is -1 != s?
True
Let s = -14.79 + -0.21. Let n = s + 15.1. Which is bigger: n or -3/5?
n
Let b be (0 - 4/10)/2. Let m be 0 - (-8 - -2) - 3. Suppose 5*s + 16 = 3*w + s, 12 = -5*w - m*s. Is b < w?
True
Let i = -14 + 15.1. Let k = 1 - i. Let s = 1 + -3. Is k less than or equal to s?
False
Let m = -0.6 + -0.4. Let r = 0.7 - -0.3. Let o = m + r. Does 4 = o?
False
Let a be ((0 + -1)*4)/2. Let y(r) = r**3 - 6*r**2 + 4*r + 2. Let v be y(5). Is a smaller than v?
False
Let f be (-3)/8*(-26)/39. Suppose 5*b - 5*s = 5, 2*b + 3*b = 2*s + 2. Which is smaller: f or b?
b
Let d = 3 + -9. Let t = -4 - d. Suppose -t*p - 5 = 3*p. Which is smaller: -2/15 or p?
p
Let d(a) = a + 4. Let y be d(-4). Suppose y = -3*k - 2 - 1. Which is greater: k or -2/7?
-2/7
Let d(p) = p + 7. Let h = 8 + -16. Let t be d(h). Which is bigger: t or -1/18?
-1/18
Let j = -51 + 51.1. Are j and 0 equal?
False
Let m = -26 + 27. Is 4/25 at least m?
False
Let z = -9 + 10. Let r be -2 + (-4)/(16/(-9)). Is r at least as big as z?
False
Suppose -5*f = -20, 0 = -o - 2*f - 0*f + 10. Let v(d) = d**3 - 6*d**2 + 7*d - 2. Let l be v(5). Let q be ((-12)/l)/((-1)/2). Which is smaller: o or q?
o
Let a = -5 - -6. Which is smaller: -2 or a?
-2
Let q = -107 + 76. Is q less than -1?
True
Suppose -2*v - 5*n + 14 = 0, -5*v = -4*n - 3 + 1. Let h(r) = -2 - r**2 + 1 + 5*r - 2. Let j be h(3). Which is greater: v or j?
j
Suppose 0 = -3*s - 7*j + 3*j - 20, -10 = s + 2*j. Let v be 1*(-30)/22 + 1. Is s at most v?
False
Let i be (-92)/(-207) - 3/(27/2). Let v = -1 + 1. Is v at least i?
False
Let q be -9 + 11 - 2/(12/23). Does -3 = q?
False
Let d = 0 + -1. Let v = -6 + 4. Do v and d have the same value?
False
Suppose i + 3 = 4*o - 3, 0 = -o + 3*i - 4. Let q be (-11)/(-3) - 1/(-3). Which is bigger: q or o?
q
Let a = -1 + 1. Let d(k) = -k. Let f be d(-3). Let z be f + (-58)/12 + 2. Is z less than or equal to a?
False
Suppose 0 = -x - 2*x + 9. Suppose -x*j = -5*j. Which is bigger: j or 2/25?
2/25
Let l = 1079/405 + 11/81. Which is smaller: l or 2?
2
Let q = 3.04 - 0.04. Let k = -0.04 - 2.76. Let u = k + q. Which is smaller: -2 or u?
-2
Suppose -6 = 5*w - 36. Let d(g) = -g**2 + 7*g - 7. Let v be d(w). Is v <= 2?
True
Suppose -s = 2*s - 9. Let c be 1 + s/(-3) + 2. Let x = c + -1. Which is smaller: -1/6 or x?
-1/6
Let l(y) = 0*y**2 - 2 + 2 + y**2 + 2*y. Let h be l(-3). Let p be (h/(2 - 5))/1. Is 0 smaller than p?
False
Let f = 3 + 0. Let i = 11 + -9. Suppose -i*s - 2*z + 20 = 2*z, -3*z + 15 = 0. Which is smaller: s or f?
s
Suppose -3*p + 14 = -1, -y + 119 = 5*p. Suppose 4*r + 0*r - 67 = -5*g, -5*r + y = -4*g. Is r <= 19?
True
Let q be (-32)/(-6) - (3 - 4). Let x = q - 20/3. Which is greater: x or -2/3?
x
Let i = 0.51 + -0.51. Which is bigger: 57 or i?
57
Suppose 0 = 7*w - 5*w + 2. Does 1/44 = w?
False
Let i(j) be the third derivative of j**4/12 - j**2. Let t be i(-1). Suppose 3*w = -2*x - 9, -3*x - 4*w - 3 = 10. Is t >= x?
True
Let d be -1 + 4 - (-2 - -4). Which is smaller: d or 7/6?
d
Suppose n = -5*c - 71, -2*c = -6*c + n - 55. Is -12 > c?
True
Let q(l) = l - 14. Let s be q(4). Which is bigger: s or -7?
-7
Let u = 2 - 12. Which is smaller: u or -9?
u
Suppose -5*n = 2*z - 3*n + 10, 2*n + 10 = 0. Let y be (2 - 0 - 3)*(-2)/(-36). Is z at least as big as y?
True
Let u = 14/3 - 47/12. Are 2/11 and u equal?
False
Suppose 4*d - 69 = -d + 2*a, 3*d - 4*a - 33 = 0. Is 13 >= d?
False
Let a = 1321528/3998665 - 2/34771. Let l = -3/23 + a. Which is smaller: -1 or l?
-1
Let j(p) = 3*p**3 + 3*p**2 - p - 2. Let l be j(-2). Let y = -11 - l. Is 1/3 greater than y?
False
Suppose 2*t - 5*k = 10, -4*k + 34 = 5*t + 9. Which is bigger: 0 or t?
t
Let m be (0 - -2)*28/(-8). Let k(h) = h**2 + 7*h - 1. Let g be k(m). Does g = -0.9?
False
Suppose 2*h + 5*v - 3 = 0, 0*v + 8 = -4*h + 4*v. Suppose -g - 3*g = 4*o - 8, 4*o = 5*g - 19. Is o smaller than h?
False
Let r = -1273/11 - -116. Which is smaller: -1 or r?
-1
Suppose 2*x + 0*x - 4*w - 4 = 0, 5*w = -x - 33. Let u(r) be the first derivative of r**2/2 + 7*r + 2. Let b be u(x). Which is smaller: -2 or b?
-2
Let c(y) = 21*y**2 + y + 1. Let p be c(-1). Let g be 11/33 + (-1)/p. Is 1 < g?
False
Suppose 2*f - 2*l + 17 = l, f + 3*l - 14 = 0. Let c = 10 + -15. Let u = -5 - c. Which is bigger: u or f?
u
Let g be 6/15 - 6/(-10). Let h = -16642 + 865277/52. Let w = -30/13 - h. Which is smaller: g or w?
w
Suppose 3*n - 26 = -4*i, -3*i + 23 = -n + 5*n. Let m(o) = -o + 6. Let f be m(0). Is i equal to f?
False
Let d = -27.988 + -0.012. Let c = -29 - d. Which is greater: 14 or c?
14
Let m = -11 - -3. Which is greater: m or -10?
m
Let n = 41/9 + -101/9. Is n not equal to -8?
True
Let b(o) = -o - 13. Suppose 0*u - 5*u = 30. Let v be b(u). Which is greater: -6 or v?
-6
Let n = -0.3 + 11.3. Let j = 0.76 + 10.14. Let i = n - j. Are i and 0.1 equal?
True
Let c = 9/73 + -1551/146. Let i = 11 + c. Let b(p) = p**2 - 5*p + 5. Let g be b(4). Is i at least as big as g?
False
Let t(z) = z + 7. Let c be t(-6). Let p(n) = -c + 0 + 2 + 3*n + 0. Let s be p(-1). Is s at least as big as -0.3?
False
Let d = 31 + -43. Is d > -10?
False
Let j = 2534/13 + -195. Which is smaller: j or -1?
-1
Let k = -0.16 - -1.06. Let l = k + -0.8. Which is bigger: l or 2/23?
l
Let x = -134 - -140. Let g be (-2)/(-8) - (-190)/8. Let r be ((-9)/g)/(x/4). Which is smaller: -7 or r?
-7
Let w be 662/94 + -4 + -1 + -2. Which is greater: w or 1?
1
Suppose -2*u + 260 = -3*u. Let g = -3902/15 - u. Let z = -1/5 - 1/20. Which is smaller: z or g?
z
Let c(p) = -p**3 + 6*p**2 + 6*p + 5. Let a be c(7). Let f(k) = -k**3 - 4*k**2 - 3*k - 2. Let g be f(-3). Is g bigger than a?
False
Let k(t) = -12*t**2 - t + 2. Let d be k(2). Let s = d - 0. Let y be s/(-20) - (-4)/(-10). Is 2 less than y?
False
Let j be (-3)/((-2)/(-4)*-2). Let x(h) = h**3 - 2*h**2 - 3*h. Let n be x(j). Let a be (-16)/(-12) + (-2 - -1). Which is greater: 