s smaller: v or -1?
-1
Let u be ((-40)/96)/((-4)/(-3)). Is u smaller than -1?
False
Suppose -2*c + 3*c - 36 = -q, 3*q - 5*c - 116 = 0. Is q smaller than 35?
False
Let l = -0.4 - 0.1. Let r = 0.4 + l. Let k = -3.1 - r. Which is greater: k or 1?
1
Let r = 29 + -24. Which is smaller: r or -1?
-1
Let c be 14/4 + (0 - 0). Let x = -15/4 + c. Which is smaller: 1 or x?
x
Suppose m = 3*m - 18. Let b(s) = s**3 - 8*s**2 - 10*s + 9. Let a be b(m). Is a bigger than 2/3?
False
Let r = -47/20 + 8/5. Which is smaller: r or 23?
r
Let k = 41 + -42. Which is bigger: k or 44?
44
Let n = 1.7 + -2.7. Is 0.07 greater than n?
True
Let a = -26/69 - -5339/14352. Let t = a - -317/1040. Is 0 less than or equal to t?
True
Suppose -m = -4*t + 3, -2*m + 0 = -5*t + 3. Is 4 equal to t?
False
Let h = -30 + 43. Suppose -4*b + 9 = -b, -4*p + 3*b - h = 0. Is p < -3/20?
True
Let p be (-36)/24 - (58/(-4) + 1). Do 12 and p have the same value?
True
Suppose 3*y = -0*y - o + 8, -2*o + 12 = 4*y. Let g = -4 + 6. Is y > g?
False
Let c be ((-9)/(-6))/(33/(-440)). Is -19 <= c?
False
Let c = 3.07 - 0.07. Let y(d) = -4 - 5 - 2*d + 3 + 3*d. Let x be y(6). Which is smaller: x or c?
x
Suppose 0 = -l - 1. Is 1/23 at least l?
True
Let u = -28 + 86/3. Which is smaller: u or -2?
-2
Suppose o = -4 + 2. Let x(g) = g + 1. Let r be x(-7). Let p = 3 + r. Which is greater: o or p?
o
Let t = 0.6 - 2.5. Let w = 0.05 + -2.05. Let g = t - w. Is g >= 1/4?
False
Let c = 6 + 3. Let z be 11 + -14 + 0 + 1. Let q be z/(-4)*(-4)/c. Are -1 and q equal?
False
Let c = 61/3 + -21. Does c = 1/2?
False
Suppose 3*p + 4*q - 2 = -4, 9 = -2*p + 5*q. Let d = -5 - -3. Is p not equal to d?
False
Suppose 25*u - 28*u = -3. Let l(w) = -4*w - 1. Let m be l(-1). Is u less than m?
True
Let j be (0/2 - -1)*-1. Let r be ((-38)/16)/(2 + j). Let k = 307/136 + r. Which is bigger: k or 0?
0
Let b be (-13)/6 + (-4)/(-6). Let c(y) = -y - 1. Let f be c(-5). Let o(t) = -t**2 + 3*t + 3. Let u be o(f). Which is smaller: b or u?
b
Let u(y) = 2*y - 1. Let n be u(1). Suppose -n - 1 = -s. Let k = 1 - s. Is k at most as big as 1?
True
Let m be (-48)/(-5 - -2) + -1. Suppose 6*d - d = m. Let i = 2 - d. Which is smaller: i or 1/4?
i
Suppose 3*t + 10 = -2*g, 5*t = -g - 5 - 7. Are -1/5 and t nonequal?
True
Let r be 25/(-30)*(-4)/2. Which is smaller: -1 or r?
-1
Let u(o) = -o**3 + 15*o**2 - 14*o + 2. Let p be u(14). Let c be (-2 + 1 - 1) + 4. Suppose -c = p*n + 4. Which is bigger: n or -2?
-2
Let c(y) = y**3 - 5*y**2 - 4*y + 1. Let z be c(6). Suppose -4*b + 0*b - z = -3*q, -49 = -4*q - b. Which is greater: 1 or q?
q
Let g = -0.02 - 1.98. Let j = 0.5 - 3.5. Let f = j - g. Is -2/7 less than f?
False
Let h = -7 - -1. Let k = h - -5.5. Let j = k + 0.5. Is 2/9 < j?
False
Let q = 10 + -28. Are 1 and q non-equal?
True
Let a = 0.01 - 0.81. Let g = a - -0.6. Which is smaller: g or 3?
g
Suppose 2*i + 21 = -79. Let s be -2 - (4 + i/8). Which is smaller: 0.1 or s?
0.1
Let w = 22 + -19. Let f = -2.1 + 2.5. Which is bigger: f or w?
w
Let n = -0.1 + 0.13. Let k = -1.97 - n. Which is bigger: k or 0.1?
0.1
Let s(m) = m**3 + 5*m**2 - 7*m - 1. Let l be s(-5). Let h = l + 20. Let x be 8/9 - 12/h. Is x greater than 0.2?
True
Let g(w) = -w**2 - 6*w - 6. Suppose v - 5 = 0, 3*m = 2*m - 4*v + 15. Let k be g(m). Let x be 1/(((-3)/6)/k). Do 2/3 and x have the same value?
False
Let a(g) = 3*g**3 + g**2 - 1. Let c be a(1). Let k be c + 0 + 2/(-4). Do k and 2 have different values?
True
Let f = 770.97 - 777. Let v = f + 6. Which is smaller: -1 or v?
-1
Let g(j) = j**3 + j**2 + j + 32. Let b be g(0). Suppose -4*u - b = x + 4*x, 0 = 2*x + 8. Let k be 1/3*(1 + -4). Are k and u non-equal?
True
Suppose 6*x = x - 4*q + 52, 0 = 2*x - 2*q - 10. Let w = x + -6. Let i be -1*(2 - 6)/w. Which is smaller: 0 or i?
0
Let a = 28/9 + -326/99. Let q = 8 - 4. Suppose 5*u - 5 = 2*u + m, -4*m = q*u + 4. Is a smaller than u?
True
Let s = -31 - -73. Let r be ((-16)/20)/(s/(-15)). Is r less than or equal to 0?
False
Suppose 4*o = 5*k + 2 + 6, 5*o = -4*k + 10. Let q be (3 + -2)*4/o. Suppose 4*j = 3*j + q. Which is bigger: j or 0?
j
Let i be -1*-34*(-2)/4. Is -17 < i?
False
Let c = -812/5 - -163. Which is greater: c or -1?
c
Let i = -32 + 49. Is 19 greater than i?
True
Suppose 3*p + 72 = 11*p. Is -2 bigger than p?
False
Let s = -37 + 19. Are -19 and s nonequal?
True
Suppose -3*t - 2*l = -0*t - 13, 0 = 2*t + 2*l - 10. Which is greater: 6 or t?
6
Let b = 27 - 34. Which is bigger: b or -6?
-6
Let z = -238 - -193. Which is smaller: -46 or z?
-46
Let z be 1/3*(-24)/(-4). Suppose -z*q = -0*q + 2. Is -1/2 at least q?
True
Let q = 2.6 + -3. Let w = 1.4 + q. Let m = w - 0. Which is greater: -2 or m?
m
Suppose q + 22 = 5*p, 68 - 15 = -3*q + 2*p. Let u = 26 + q. Is 8 > u?
False
Let j(a) = -3*a + 1. Let z be -3*(0 + 1/(-3)). Let r be j(z). Which is bigger: r or 2?
2
Let k = 8 + 1. Suppose 3*g - 3 = k. Suppose -2*c - 2*c = -g. Is 1 at most as big as c?
True
Suppose -5*k = s - 0*s + 3, -3*k = 0. Suppose 0 = 4*j - 8 - 8. Suppose -3*n = -5*y, n + j*n = 2*y - 19. Are y and s unequal?
False
Suppose 3*q - 34 = 4*v, -2*v - 29 = v - 4*q. Let g = 12 + v. Let u be (-18)/30 + (-2)/g. Are u and -2/17 unequal?
True
Let m = -19090624341/55 + 347062980. Let b = -39282 - m. Let c = -3/55 - b. Is 1 smaller than c?
True
Suppose -5*q + 82 = 4*a, 4*q + a = 41 + 18. Let o = 6 - q. Let s = -6 - o. Are 3 and s unequal?
True
Let m be (-4)/7*1/2. Let x(i) = -i + 2. Let c(u) = -u**3 + 2*u**2 + 3*u + 2. Let y be c(3). Let a be x(y). Is a > m?
True
Suppose -5*s = -0*u + u - 35, -4 = -4*s + 4*u. Let k = 7 - s. Is k equal to 4/7?
False
Suppose 4 = -v + 3*v. Suppose c - 3*o + 21 = v*o, -5*o = -3*c - 13. Suppose -b + 8 = -5*y, 2*y = c*b + 5*y + 14. Which is smaller: 0 or b?
b
Suppose -30 + 6 = 3*y. Let g = -7 - y. Let a = 0 - g. Are -1 and a equal?
True
Let i = -3.5 + -0.5. Suppose 0 = -5*r + 2*r - 6. Which is smaller: r or i?
i
Suppose 5*k - 4*k - 22 = 0. Suppose 5*n = -4*c + k, 5*n - 3*c = 2*c - 5. Let h = 3 - 2. Which is smaller: n or h?
h
Let j be ((-26)/(-39))/(2/(-3)). Let f = -0.2 - -0.2. Let k = -0.2 - f. Which is bigger: j or k?
k
Let r be (-2)/10 + (-69)/(-195). Is -1 greater than or equal to r?
False
Let a be (((-3)/(-4))/(-1))/(1242/(-48)). Which is bigger: 0 or a?
a
Suppose -2*h + 4*f + 0 = -20, 0 = -4*f - 16. Let m be (-40)/8 - (1 + -4). Let y = h + m. Is -2/3 at least as big as y?
False
Let q = 0.6 + -0.64. Let l = -0.06 + q. Do 4 and l have different values?
True
Let o(l) = -l**3 + 11*l**2 - l + 12. Let r be o(11). Let x = r - -1. Suppose x*t + i + 3 = 0, -35 - 10 = 5*t - 5*i. Is t != -5/2?
True
Let g = 31 - 43. Let h be 5/g - (-4)/6. Let s = 0.51 + -0.61. Does s = h?
False
Suppose -5*v + 10 = -u - 13, 2*v - u = 8. Let w = 19 + -15. Are v and w non-equal?
True
Let d(y) = -y**3 + 8*y**2 - 5*y - 15. Let j be d(7). Do -3 and j have different values?
True
Let l be ((-2)/(-8))/(1/(-2)). Let d = -5.7 + 6. Let f = d - 0.1. Do f and l have different values?
True
Suppose -u = -6*u. Let s be 6/4*2/5. Which is smaller: u or s?
u
Suppose 3 = 3*u - 21. Suppose -u = 4*f - 0. Is f > -2?
False
Let o(m) be the third derivative of -5*m**4/24 - 5*m**2. Let z be o(2). Is z < -10?
False
Let i(s) = -s**2 - 10*s + 9. Let f be i(-5). Is 33 bigger than f?
False
Let m be 0 - 4/1 - -2. Let o(t) = t**3 + 3*t**2 + 2*t + 2. Let c be o(m). Let w be -2 + (c - -1) - 2. Is w greater than -1?
False
Let n = -1 - -1. Let b = 40 + -39. Suppose 0 = -f + 2*x - n*x + 1, 2*x - b = -f. Is f at least as big as 0.02?
True
Let o be (-8)/2 + 19 + (-6)/2. Which is bigger: o or 76/7?
o
Suppose 3*w + 6 = 6*w. Let g be 1/(-5)*(-6 + 8). Are g and w unequal?
True
Suppose -3*j = -3 - 3. Let f be 77/21 + -6 + j. Which is smaller: f or 0.03?
f
Let i be 18/8 + 27/36. Which is greater: 2 or i?
i
Let t(q) be the third derivative of -1/120*q**6 + 0*q + 0*q**4 + 0 + q**2 - 1/3*q**3 + 1/30*q**5. Let l be t(2). Which is smaller: -3 or l?
-3
Let d = 31 - 19. Let g = 9 - d. Which is greater: g or -5?
g
Let j = 3/151 + 245/2869. Let g be 0 + 0 + 0/(-2). Which is bigger: g or j?
j
Let a be 0 + 0 + 2*1. Let u be 1666/(-24) - (-2)/(-8). Let k = u - -69. Which is greater: k or a?
a
Let l(d) = 13*d**2 + d + 1. Let r be l(-1). Let s = -19 + r. Let w(b) = b**3 - 3*b - 3. Let x be w(-2). Is s less than x?
T