 Is s >= 1?
True
Let i(l) = -l**3 + 5*l**2 - 4*l + 3. Let k be i(4). Suppose 3*z - j + 1 + k = 0, -4*z - 18 = 5*j. Is z at most as big as 2/7?
True
Suppose -15 = 2*q - 5*q + 5*l, -3*l = 5*q + 9. Let a be (1 + 0)*q/(-2). Suppose -m = -a*m. Is m bigger than -1?
True
Let a(n) = -3*n**2 + n + 1. Let v be a(-1). Is v greater than -4?
True
Let u be 40/(-15)*9/(0 + 3). Is u less than 1/5?
True
Let t(k) = 13*k - 21. Let h(o) = 3*o - 5. Let q(l) = -9*h(l) + 2*t(l). Let y be q(4). Let a be 1*y*(0 - 1). Is a at least 2?
False
Let n = -16/345 - -2/15. Which is smaller: n or -1?
-1
Let t be ((-1)/2)/(-1 + 5). Let y(c) = -c**3 + 8*c**2 - 6*c - 3. Let l be y(7). Suppose 0*z - l*z = 0. Are t and z non-equal?
True
Suppose -j = 4*i + 3 - 33, 0 = 2*j + 5*i - 60. Let x be (-6)/20*12/j. Which is smaller: 1 or x?
x
Let u(i) = 3*i**2 - 7*i + 1. Let c(j) = j**2. Let f = 8 + -10. Let p(w) = f*c(w) + u(w). Let b be p(7). Is b equal to 3?
False
Let f(i) = i**2 + 2*i - 3. Let w be f(-3). Let z be 3*1*6/(-15). Are z and w equal?
False
Let o be (42/(-24) - -3)*-12. Is -12 smaller than o?
False
Let f be (2 + 0)*(-2)/(-2). Let t = f + 1. Let s be t/((-15)/6 + 1). Which is bigger: -1/2 or s?
-1/2
Suppose -6*j + j = 15. Let s be j + (-8)/((-8)/2). Is -2 at most s?
True
Suppose -7*i + 2*i = 0. Let d = -577/7686 - -2/549. Which is greater: d or i?
i
Suppose -7*a + 4*a + 54 = -4*u, 3*a - 30 = -4*u. Suppose -26*g = -4*c - 23*g + 61, 3*g = -5*c + 56. Which is bigger: a or c?
a
Suppose 0*r = -5*r + 10. Let k be ((-16)/24)/((-2)/(-6)). Let z be 1/2*(-2 - k). Does z = r?
False
Let z(k) = -2*k + 6. Suppose 2*f - 4 - 2 = 0, 0 = -5*s - 2*f + 26. Let j be z(s). Let m = -25/108 - 1/54. Is j != m?
True
Suppose -6*k + 2*k - 8 = 0. Let d be k*((0 - -1) + 0). Let s = d - -5/3. Is -1 less than s?
True
Let j be (20/4 - 7) + -50. Is -52 bigger than j?
False
Suppose 0*b - 2*b + 2 = 0, -3*a = -4*b - 53. Do 20 and a have the same value?
False
Let i be (6/2)/((-1)/2). Let c be (-17)/4 + i/(-24). Which is bigger: -5 or c?
c
Let k = -52056 + 520117/10. Let s = 44 + k. Let c(d) = d**2 + 7*d - 8. Let w be c(-8). Which is smaller: w or s?
s
Let w = 0.6 + -0.4. Let t = 0.1 + 1.86. Let b = t - -0.04. Are b and w equal?
False
Suppose d + 4 = 4*a, -2*d + 7*d + 20 = -3*a. Let i be (0 + a/(-1))/2. Which is smaller: i or 1/26?
i
Suppose 2*l = 33 + 7. Which is smaller: l or 19?
19
Suppose 0*o = 5*o. Let w = -3539/27 + 131. Which is bigger: o or w?
o
Let p(r) = r**3 - 3*r**2 - 5*r + 2. Let c be p(4). Let v = c + 3. Let a = -0.09 - 0.11. Which is greater: v or a?
v
Let k = -162 - -180.1. Let r = 18 - k. Which is greater: r or 2?
2
Let f(r) be the first derivative of 0*r - 2 - 1/2*r**2. Let y be f(0). Do 0 and y have different values?
False
Let t = -95 + 90.9. Let h = -4 + 8. Let x = t + h. Is 2/3 not equal to x?
True
Suppose -7 = -2*p - 5*q, -3*q = 4*p - q - 6. Do p and 7/6 have different values?
True
Suppose 4*p = -45 + 5. Is 1/6 bigger than p?
True
Let w(a) = a - 9. Let k be w(9). Suppose -y - y - 20 = k. Let d = -10 - y. Is 2/15 less than d?
False
Let c = 0.01 - -7.99. Let h = -122.3 - -114. Let w = h + c. Are w and -0.1 equal?
False
Let o be -99 + (-1)/(2/4). Let b = -6265 + 31832/5. Let i = b + o. Which is smaller: i or 0?
0
Let b = -223 - -231.9. Let l = 9 - b. Is -2 less than or equal to l?
True
Suppose -4*r + r = -2*j - 3, r = 2*j - 3. Suppose 0 = r*c - 5*c + 32. Suppose 3*m + m = -c. Which is bigger: m or -3?
-3
Let f = -0.2 - 5.8. Let p = -6.1 - f. Which is smaller: 7 or p?
p
Let d = 1.91 + -0.11. Let f = -1.9 + d. Is 5/2 greater than or equal to f?
True
Let q = -39 - -26. Is q > 0.1?
False
Suppose 6*f - 2*f + 304 = 5*o, 0 = -f + 4. Let z = o - 125/2. Let x be 1 - (2 + -1 - 3). Is x at least z?
True
Let s = 0.5 - -5.4. Let f = s - 6. Is f at least 0?
False
Let y be (0/(0 + -1))/1. Suppose y*g + 2*g = 6. Suppose 0 = 4*i - 3*f + 20, -g*f - 30 = 5*i - 8*f. Which is smaller: -1 or i?
i
Let h = 3 + -2.6. Let z = -6 + 5.6. Let a = h + z. Which is smaller: 1 or a?
a
Let h = 23.2 + -20. Let y = -0.2 + h. Do y and 1 have the same value?
False
Let u = -396 - -88. Let l be 32/u - (-2)/(-11). Is l not equal to 0?
True
Let k = 4.1 + -4. Let u(r) = 13*r**2 - 2*r + 1. Let z be u(1). Let n be z/(-16) - 2/8. Is n at least k?
False
Let c be 1/(-2) + 26/4. Suppose 0 = 28*k - 84*k + 224. Which is smaller: c or k?
k
Let i(j) = j**2 - 5*j - 5. Let n be i(6). Let w = 9 + 0. Let h = -9.3 + w. Do n and h have the same value?
False
Suppose -5 + 0 = -p. Suppose -2*j = -5*o + 11, -3*o + p - 14 = 4*j. Let m = 3 - 5. Which is smaller: m or j?
j
Let r(j) be the second derivative of -j**5/20 + j**4/3 - j**3/6 - 2*j**2 + j. Let g be r(3). Let q(a) = -2*a + 1. Let n be q(g). Is -3 bigger than n?
False
Let b be 28/(-6)*(-42)/49. Suppose b*t = 5*z - 33, -6*z + 4*z = -5*t - 20. Suppose 5*q - 7 = 13. Is z at least q?
True
Let w = 17 - 4. Suppose -5*t + 18 = 3*j - 10*t, -4*t = -j + w. Let i be (-5)/14 - 7/(-14). Which is smaller: i or j?
i
Let f be (-2)/9 + (-32)/18. Which is smaller: f or -2/3?
f
Let g = -0.57 - -0.46. Suppose -3 = -3*j + p - 1, 2*j - 1 = p. Do j and g have the same value?
False
Let z be 0/(-3 - 6/(-3)). Suppose 5*t = 3*w + 13, z*w + 5 = t - 3*w. Is t < -2/13?
False
Let n be 4/15 + (-4)/(-10). Suppose -32 - 39 = 5*b - 2*w, 2*b = 5*w - 41. Let q = b - -13. Are n and q unequal?
True
Let x = -6.92 - 0.08. Let w = -8 - x. Let f = 3 - w. Which is smaller: 1 or f?
1
Let c(m) = 87*m**2 - 1. Let h be c(-1). Let r = h - 944/11. Which is greater: r or -1/2?
r
Let q be 1*((-11)/(-55) - (-2)/(-10)). Which is greater: -3/5 or q?
q
Let v = -47 - -47. Which is greater: 0.09 or v?
0.09
Let w = 0.4 + -1.5. Let v = w - -1. Which is smaller: v or 1/4?
v
Let r be 1/2*0 + 5. Suppose -5*k = -0*u + 3*u - r, 4 = 4*u + 4*k. Suppose u = -4*j + 1 + 3. Which is smaller: 5/3 or j?
j
Let t = 21 + -21. Which is smaller: t or -1?
-1
Let o be (40/(-6))/((-10)/35). Let z = -916/39 + o. Which is greater: z or -1?
z
Suppose -4*c + 5 = -27. Let g be c/(-28) + 44/105. Which is bigger: -1 or g?
g
Let k be 7*(32/(-28) - -2) + -2. Is k > 1?
True
Let i = 417/19 - 22. Which is smaller: -2 or i?
-2
Let p = -2432709767/8195187 + 2/630399. Let v = 297 + p. Is v greater than or equal to -1/2?
True
Suppose 2*f - 5*f + 6 = 0. Suppose -6 = v - 3*v. Suppose -r - r = v*k - 14, -4*r - k = -8. Which is greater: r or f?
f
Let b be ((-4)/6)/((-4)/(-6)). Let i be (0 - b)/1 + 0. Let j be 9/12 + i/4. Which is greater: j or -1?
j
Let d be (-7 - -12) + 2 + 0. Which is smaller: d or 8?
d
Let w = 10 + 11. Let m be w/23 + -1 + 0. Suppose -4*i + 8 = -4*g, -i - 4 = g + g. Which is smaller: i or m?
m
Let k = 6.5 - 7. Let w = 0.6 + k. Which is smaller: w or -2?
-2
Let q = 11.09 - 0.09. Let a = -11 - -19. Let v = q - a. Is 1 less than or equal to v?
True
Let y be 0 + ((-8)/(-2) - 1). Suppose f - 5*f = -40. Let b = -7 + f. Is b equal to y?
True
Let h(u) = -u**2 + 19*u - 39. Let c be h(16). Is c at most as big as 7?
False
Suppose -k - 6 = -2*k. Let t = -3 + k. Suppose y + t = -2*y. Which is greater: y or -4/3?
y
Suppose -x = -1 - 2. Let g be x + 6/(-4)*2. Is -1/5 bigger than g?
False
Let c = -3 - -6. Let q = c + -3. Do 2/9 and q have different values?
True
Suppose -2 = 4*l - 18. Suppose 4*j - l*i + 12 = 0, 14 = j - 5*j + 5*i. Which is smaller: j or -4/3?
-4/3
Let q = -7 - -10. Do 13/7 and q have different values?
True
Let d = -33 - -33. Let c(n) be the third derivative of n**6/120 - n**5/15 - 5*n**4/24 - n**3/2 - n**2. Let r be c(5). Are r and d nonequal?
True
Let j(f) = -2*f**3 + 6*f**2 + 5*f + 6. Let o(n) = -n**3 + 5*n**2 + 4*n + 5. Let u(k) = 5*j(k) - 6*o(k). Let r be u(1). Suppose -2*p - 2 = 2. Is r equal to p?
False
Let x = 13/6 + -8/3. Is x greater than or equal to 0?
False
Let h be -3 + (-2)/((-2)/(-3)). Let j be 14/24*24/h. Which is greater: j or -3?
j
Suppose -3*b - 4*l - 26 = -4, 52 = -5*b + l. Let z be (-24)/(-35) - (-4)/b. Which is smaller: 0.2 or z?
0.2
Suppose 3*g - 44 = 4*u, 5*g + 0*u + 2*u = 30. Suppose g = 3*n - 5*n. Is n at most as big as -4?
True
Let i be 3/(-4)*8/(-14). Suppose 5 - 45 = 4*g. Let h(d) = d + 11. Let f be h(g). Which is bigger: i or f?
f
Let l = -1.97 + 2. Let o = 4.97 + l. Is o greater than 0?
True
Let x(n) = n**3 + 5*n**2 + 4*n + 4. Let h be x(-4). Let c 