
False
Let k be 10/4*8/5. Suppose -2*t - 2*t - k = 0. Which is bigger: t or -1/5?
-1/5
Let y = 5 + -31. Is y at most as big as -26?
True
Let r(w) be the third derivative of w**4/24 - w**3/6 + w**2. Let u be r(0). Which is smaller: u or -2/17?
u
Let n(c) = -c + 18. Let q be n(9). Suppose 0 = 3*u + 2*z - q, -z = 5 - 2. Let h be ((-15)/(-6))/u - 1. Which is bigger: 0.2 or h?
0.2
Let u = 5.17 + -5. Let g = u + -8.17. Is g less than 1?
True
Let i be (0/(-3))/(2/(-4)*2). Are 2/15 and i nonequal?
True
Let o be -3 + 4 + 78/(-74). Let y = 0.01 - -0.99. Is o greater than y?
False
Suppose -5*m = -y + 5*y - 60, -48 = -4*m - y. Which is bigger: m or 9?
m
Suppose 3 = i + 2*d, -5*i = -3*d - 33 - 8. Which is smaller: i or 2?
2
Let x(n) = 3*n**3 + 5*n**2 - 4*n - 7. Let s(u) = 8*u**3 + 15*u**2 - 12*u - 20. Let a(t) = -4*s(t) + 11*x(t). Let k be a(4). Which is smaller: -0.1 or k?
-0.1
Let c = 106 + -53. Is -1 >= c?
False
Let h(g) = g**2 - 4*g - 20. Let s be h(7). Let y be 39/33 - (-1)/(-1). Is y != s?
True
Let o be (-10)/12*-2*3. Suppose 4*z - o*i + 6 = 3, -5*i - 11 = 3*z. Let y be -1 - -1*z/4. Is -0.1 at least y?
True
Let l be 4/(-12) - 14/(-6). Is 7/8 > l?
False
Suppose -8*v + 6 = 22. Which is bigger: v or 0?
0
Let i(m) = -4*m**2 - 7*m + 2. Let l(g) = -8*g**2 - 15*g + 5. Let j(f) = 9*i(f) - 4*l(f). Let x be j(-2). Let n = -17 - x. Is n less than -4?
True
Suppose -15 = v - 2*v. Let h be ((-3)/9)/(1/v). Which is smaller: h or -1?
h
Suppose 0 = -p + 5*r - 6, 2*r - 31 = -2*p + 5. Let q be (31/p + -2)*12. Let m = q + -40/21. Is m < 1?
True
Let t be 3 - 3*(-4)/(-6). Suppose -2*c + 2 = 3*w, -c + t - 18 = -3*w. Is -5 greater than c?
False
Let r(q) = -q**2 + 8*q - 4. Let v be r(7). Suppose 5*n = -v*c + 22, n = 5*n - 5*c + 12. Is 4 < n?
False
Suppose 0 = -5*n + 2*n + 12. Let i be 7/n + (-3)/2. Which is smaller: i or -1?
-1
Let k = -1 + -2. Let b = 37.1 + -42. Let q = b + 5. Is q >= k?
True
Let n = 1.9 - 2. Let i = 14 + -22. Let b be 5/(-6) - 4/i. Is n less than or equal to b?
False
Suppose u + 3*u = 40. Let q(n) = -n**3 + 9*n**2 + 11*n - 12. Let m be q(u). Does -3 = m?
False
Suppose -5*k + 5 = 0, -3*k + 2 = 5*z - k. Let r be -3 + 0 + 2 - z. Is r < -2/3?
True
Let q be (15 + 2)*(0 + (-3)/(-21)). Which is bigger: 2/5 or q?
q
Let m be (2/(-1))/(10/25). Let r = m - -1. Let p = r - -1. Is -3/2 at most p?
False
Let z be 3 + 294/(-108) + 2/(-9). Is 1 bigger than z?
True
Let h = 59/3 + -19. Let z = -8.3 + 8. Is z at most h?
True
Let m be (4 + 3/(-2) + -2)*0. Which is greater: m or 1/214?
1/214
Let m = 2.4 - 2.6. Is m bigger than 0.3?
False
Suppose -2*r + 16 = -u + 2*r, 2*u - 3*r = -12. Let z(l) = -l**3 - l - 2. Let q be z(u). Which is bigger: -6/11 or q?
-6/11
Let o = -3 + 1. Let s = 3 + o. Let g = 3 + -3. Is g greater than s?
False
Suppose 4*v + 26 = n - 0*n, 4*n = -8. Let d(y) = -y**3 - 8*y**2 - 7*y + 1. Let g be d(v). Which is smaller: -2/5 or g?
-2/5
Suppose 0 = -g + 2*g + 12. Let c be ((-2)/g)/(2/78). Which is greater: c or 8?
8
Suppose 0 = -m - m - 6. Suppose 3*x + 2*r = -5 - 4, 12 = -4*x + 2*r. Is m less than x?
False
Suppose 0*q = -5*q - 2*p - 8, -q - 5*p = 20. Is q equal to 5?
False
Let o = 12 - -1. Suppose f = 4, -f + 3*f = 5*z + o. Let i be (-8)/(-48) - 2/12. Is i greater than or equal to z?
True
Let x(i) = -i**3 - 2. Let s be x(0). Suppose 11*c = 28 + 5. Is s not equal to c?
True
Let f = -32 - -41. Which is smaller: f or -1?
-1
Let m be ((-2)/(-20))/(6/(-24)). Let t be (-19)/(-2)*4 - 2. Let x = t - 106/3. Is x at least as big as m?
True
Suppose -5*a + 3*s = -20, -2*a + 3*s - 2*s = -8. Let w = 4 - a. Let n = -1 + w. Is -1 < n?
False
Let c be -1*5 + 7 + -9. Which is smaller: c or -13/2?
c
Let b be 2/(-8) + (-122084)/(-336). Let w = b - 363. Which is smaller: 1 or w?
w
Let o be (1/(-40))/(3/(-6)). Which is smaller: 0 or o?
0
Let p = 0.3 + -0.45. Let u = -0.07 - p. Which is smaller: 1/4 or u?
u
Suppose r + 4*n = -3*r + 4, -5*n = 0. Let c be (r + -2)*(2 - 3). Let t = 0.6 - 0.7. Is t not equal to c?
True
Let l = -14 - -24. Let u(j) = j**3 - 10*j**2 + j - 14. Let h be u(l). Which is smaller: -5 or h?
-5
Suppose -3*o - o = -8. Suppose 0*h = o*h + 4. Let w = h + 3. Is w less than 2?
True
Let x be ((-12)/(-64))/((-9)/6). Suppose 5*p - 2 - 3 = 0. Is x less than p?
True
Suppose 2*a + 2*a + 52 = 5*w, 3*w = 3*a + 33. Let c = 7 - w. Which is smaller: -0.1 or c?
c
Let u = 4 - 4. Suppose -2 = 3*t + 1, u = -h - 3*t + 1. Is h != 4?
False
Suppose 3*y - 3*u = -0*y, -2*y = u. Which is greater: 1 or y?
1
Let u = 15 + -14.3. Let y = u - -0.3. Let f = -2 - -2.3. Which is smaller: y or f?
f
Let j = -1 - 0. Is j < -1/2?
True
Let o(p) = p**3 - 5*p**2 + 2*p + 5. Let a(k) = -k**3 + 5*k**2 - 2*k - 5. Let x(r) = 6*a(r) + 5*o(r). Let d be x(4). Suppose -d*z = 8 - 2. Is z >= -1?
False
Let h(m) = -m + 1. Let z be h(-1). Let q be z/(4 + -2)*1. Let f be 38/10 - (5 + -1). Which is greater: q or f?
q
Let s = 22 - 22. Let l(h) = h**2 + h - 1. Let z be l(1). Which is greater: z or s?
z
Let j(k) be the third derivative of -k**6/120 + k**5/15 - 2*k**3/3 - 2*k**2. Let d be j(4). Let l be (-2)/d + (-1)/4. Is l > -1/3?
True
Suppose -5*d = -3*f - 4*d - 1, -3*f + 7 = -5*d. Let r(t) = t**3 + t**2 - 1. Let k be r(0). Is f less than k?
False
Let f = -0.05 + -0.15. Which is bigger: 0 or f?
0
Let m = 0.33 - 0.15. Let y = m + -0.08. Which is greater: 3/8 or y?
3/8
Suppose -5*j = -2*q - 10, -q - 4*q = 2*j - 4. Is -0.02 at least q?
False
Let s be -1*3 + (-360)/(-99). Which is smaller: s or 0?
0
Let s = -16/21 + 2/21. Suppose 2*n = -n + 3. Let o be -1*(2 + n) - -2. Is s > o?
True
Let v = -0.035 + 0.005. Is 2/31 less than or equal to v?
False
Let t be (-2)/((-2)/57) - 2. Suppose -12*s = -7*s + t. Does s = -11?
True
Let p be (-4)/144*6/4. Which is smaller: p or 0?
p
Let k be 20/(-1 + 3 + 0). Let f = k - 7. Suppose -2*d = -4*u - 0*d - 8, 7 = f*u + 5*d. Are u and -1 nonequal?
False
Suppose -4*d = -2*d - 2. Let s be ((-1)/3)/(d/(-3)). Is 2/15 less than s?
True
Suppose q - 4 = -q + i, -5*q - 3 = 4*i. Let c be q - (-1)/3*-4. Let z be -1 + 0 + -1*2. Is c at most z?
False
Let a = -20.89 - -21. Let f = -0.01 + a. Which is smaller: 3/11 or f?
f
Let c be (2/(-10))/((-2)/6). Let y be (-3)/12*(2 + -6). Is y at most c?
False
Let v(d) = 2*d**2 + d. Let p be (-16)/7 - (-8)/28. Let r be v(p). Are r and 6 nonequal?
False
Let q = 0 - 0. Suppose q = m + 1 - 3. Suppose 2*k = 3*g - k - 6, 16 = -4*g - m*k. Which is bigger: g or -1?
-1
Let a(w) = -w**2 - 4*w + 7. Let i be a(-5). Suppose y + 0 = i. Let x = -65/2 + 33. Which is bigger: y or x?
y
Let p = -10.3 - -10. Let j = -0.4 - p. Which is bigger: 1 or j?
1
Let a be ((-6)/20)/(6/8). Are 18/7 and a equal?
False
Let m = -2.05 + 0.05. Which is bigger: m or 1?
1
Suppose -4 = -121*s + 125*s. Is s less than or equal to 2/21?
True
Let i = 5660709/13 - 435657. Let w = -218 - i. Is 1 < w?
False
Let m be 2/(-2) - (-1 - 11). Let w = 12 - m. Is w at least -1/10?
True
Let m(d) = d**3 - 11*d**2 + 17*d + 9. Let f be m(9). Which is bigger: 5/7 or f?
5/7
Let x = -0.13 - -0.09. Let j = x - 0.06. Is 0.2 at most j?
False
Let n(p) = -p**3 - 8*p**2 + 12*p + 31. Let l be n(-9). Is 8/3 less than l?
True
Let q = -5.4 - -6.4. Which is bigger: q or 0.01?
q
Suppose 5*n = 5*p - 4*p + 56, -2*n + 5*p + 27 = 0. Let g = 12 - n. Is g > 3?
False
Let u be (-6)/5*(-360)/(-54). Which is smaller: u or -20/3?
u
Suppose 0*w + 3*w - 2*d - 13 = 0, -2*w + 2*d + 12 = 0. Which is smaller: 1/18 or w?
1/18
Let d(u) be the second derivative of -u**3/6 + 4*u**2 + 3*u. Let q be d(9). Is q greater than or equal to 1?
False
Suppose -132*j = -131*j + 6. Is -6 > j?
False
Let d = -26 + 24. Are d and 0.8 non-equal?
True
Let y = 160 + -48. Is 111 not equal to y?
True
Suppose 9*g - 72 = 11*g. Which is smaller: g or -34?
g
Let l be (183/26)/1 + 1. Let q = l - 72/13. Let f(k) = k**2 - 6*k + 4. Let y be f(6). Are q and y non-equal?
True
Let w(v) = 6*v**3 + 6*v**2 + 6. Let f(h) = 7*h**3 + 7*h**2 + 7. Let l(z) = -5*f(z) + 6*w(z). Let y be l(-1). Which is greater: 1/5 or y?
y
Suppose 15 + 5 = 4*w. Let v = 3 - w. Let c = v - 1. Is c < -2?
True
Let k = 0.2 - 0.32. Let p = k + 0.22. Is 1/2 greater than p?
True
Let s = 21.9 + -21. Let z = -1.9 + s. Is z < -0.1?
True
Let c(s) = -11*s**3 + 2*s**2 - s. Let y be c(1). Is y < -9?
True
Let k = -1109/11 + 101. Let d