r s?
2/9
Suppose -3*x - 2*x + g + 7 = 0, 4*g - 12 = 0. Let i be (-12)/45 - x/(-3). Let p = -2.4 - -2. Is p bigger than i?
False
Let k = 21 + -20. Are k and -4/13 unequal?
True
Let c(a) = -a + 4. Let z be c(9). Let l = z + 7. Suppose 7 = 3*t - l*i, 0*i - 4 = -4*i. Which is greater: 2 or t?
t
Let i = -97 - -108. Which is bigger: -1/2 or i?
i
Let q = -2 - -3. Let u be -1*q/(-1)*1. Let f(d) = d - 3. Let o be f(4). Is u bigger than o?
False
Suppose 11*v + 38 = -6. Is v bigger than -0.6?
False
Suppose 0*a + 5*a = -5. Is -4 != a?
True
Let m = -58 + 39. Let j = m - -21. Is 3 smaller than j?
False
Let u = -0.16 - -2.16. Let p = 1 - u. Is p >= -1?
True
Let p(z) = z**3 - 5*z**2 + 3*z + 3. Let i be -2*(4/(-4) + -1). Let n be p(i). Which is smaller: 4 or n?
n
Let j = -25.13 - -25. Let k = 0.06 - 0.13. Let p = j + k. Is p > 0.1?
False
Let f = -8 - -12. Suppose -6 = v - 2*t, 4*v - f*t + 20 - 4 = 0. Are v and -2 equal?
True
Suppose -f - 3 = -0*f. Suppose -3*r = r + 16, 0 = -z + 2*r + 4. Let x = f - z. Is 2 at least x?
True
Let w = -4/13 + 59/65. Which is smaller: 2 or w?
w
Let m = -1/155 + -1367/4340. Let j = -16 - -225/14. Let a = j + m. Which is greater: -2 or a?
a
Let a = 14 - 5. Let n be (a/(-18))/(2/4). Is -1/25 at most n?
False
Let v = -6.7 + 7. Let j = -0.02 - -0.12. Let f = v - j. Which is smaller: f or -1/3?
-1/3
Let c(r) be the first derivative of -9*r + 1/2*r**2 - 1 + 8/3*r**3 - 1/4*r**4. Let j be c(8). Is j > 0?
False
Let t = -12 - -47/4. Let u(c) = c**3 - 6*c**2 - 7*c + 3. Let a be u(7). Suppose a*h = -0*h. Which is bigger: t or h?
h
Suppose 0 = 5*j - j + 12. Let m be (-14)/j + 1/3. Is 0.1 less than m?
True
Let q be 12/99*9/(-6). Is q at least 3?
False
Let l = 4007/48 - 167/2. Which is bigger: -1 or l?
l
Let p be 0 + 3 + 242/8. Let a = 33 - p. Let k = -2 + 3. Which is smaller: k or a?
a
Let t = 0.56 - 28.56. Let s = t + 30.04. Let r = 0.04 - s. Is -1 > r?
True
Suppose 5*a = -h + 6, 2*h - 3*a = -2*h + 93. Is 21 at least as big as h?
True
Let a(c) be the third derivative of -c**6/120 - 7*c**5/60 - 3*c**4/8 - 11*c**3/6 - 6*c**2. Let l be a(-6). Are 8 and l nonequal?
True
Let n = -0.8 + 0.9. Let s = -1 - -5. Let v be 6/s - 1/4. Which is smaller: n or v?
n
Let l(y) = -y**3 + 5*y**2 - 2*y + 10. Let v be l(5). Which is smaller: 10/17 or v?
v
Let t(k) = k**3 - 5*k**2 - 7*k + 5. Suppose 4*r = -r + 30. Let m be t(r). Do 1/5 and m have different values?
True
Let i = 48 - 33. Let b be 0 - (i/(-12))/(-5). Is b greater than -0.4?
True
Let w = -4 + 6. Let n = -0.11 - -9.11. Let o = n - 11. Which is smaller: o or w?
o
Let n(k) = k - 23. Let m be n(12). Let y = 27 + -38. Let p = y - m. Does -5/4 = p?
False
Let w be -3 - -2 - (-2 + 2). Is -5 at most w?
True
Let r = 2.64 - 0.64. Suppose 0 = 4*y + 3 + 1. Which is smaller: y or r?
y
Suppose 0 = -2*r + 4, 0*q - r + 20 = 3*q. Suppose q*o = o - b, 5*o + 4*b + 15 = 0. Is -0.06 != o?
True
Let y = 0.04 + -0.07. Is y bigger than -2?
True
Let h be ((-17768)/(-192))/(2/(-6)). Let d = h + 278. Which is bigger: d or 1/4?
d
Let o = 3268/3 + -1073. Is o >= 17?
False
Let d be -9*3/(-36) + (-4)/(-16). Is 2/167 greater than d?
False
Suppose -4*s + s = 2*a - 13, -3*a - 6 = -4*s. Let r = -2 + a. Is r < -2?
False
Let x(z) = -z**3 - z**2 + z - 1. Let j be x(-2). Let v = 24.1 - 24. Is v > j?
False
Suppose -20 = -5*c, c + 0 - 4 = -w. Suppose 5*q - q - 8 = w. Suppose -3*u = -5*k, 4*k - u = -0*u. Do k and q have different values?
True
Suppose 12 = 3*u + u. Suppose d = 8 - u. Suppose 13 = d*j - 2. Which is bigger: j or 2?
j
Let j = -5 - -1. Let t = 3.94 + j. Let q = t + -0.04. Which is smaller: q or -1?
-1
Let m = 0.12 - -0.1. Which is smaller: -0.1 or m?
-0.1
Let i be (-1)/(-2) - (-25692)/56. Let f = 460 - i. Are 1 and f equal?
False
Let d = -4/37889 - -6858125/2046006. Let v be (2/12)/((-27)/(-24)). Let x = v + d. Which is smaller: x or 3?
3
Let b = 0 + -0.1. Let u = 0 - b. Let g = -24 - -21. Are u and g equal?
False
Suppose -2*w + 5*y - 1 = -5, y - 30 = -4*w. Which is greater: w or 9?
9
Let o be ((-3)/(-6))/((-3)/36). Let q(y) = -y**2 - 7*y - 3. Let w be q(o). Let p be (2*(-3)/w)/1. Which is smaller: p or -3/2?
p
Let z = 13/28 + -3/14. Is z <= -0.1?
False
Suppose -2*u - 4 + 6 = 0. Let m(a) = a**2 + a - 4. Let p be m(-3). Suppose -4*l = 4*g - 12, 3*g - p*l + 1 + 5 = 0. Is g at least u?
False
Let v = -139 - -273/2. Is -3 at most v?
True
Let j = 6 + -4. Suppose 0*m - j*m = 2. Which is smaller: m or -2?
-2
Let k = -1 - -1. Suppose r - 75 = -2*r. Let j be 2/10*r/(-10). Is k at most j?
False
Let k be (-110)/(-183) - 12/18. Which is greater: 1 or k?
1
Suppose -3*p = -4*s - 19, s + 4*s = -3*p - 17. Let y be 3/p - (2 + -1). Suppose 0 = 4*x - 3*g - 1 - 12, -5*x - 4 = 3*g. Which is bigger: x or y?
y
Let r be (-1 - -11)/(3/6). Suppose 2*y - 5*m = -r, -5*y - 10 = m + 13. Let x = y - -3. Does x = 0?
False
Let w be 6/10*1*5. Suppose -w = r + 2*r. Is r at most as big as -3?
False
Let g = 7 - 5. Let m be g - 10/(-28)*4. Let h = m - 86/21. Is -1 != h?
True
Let s = 1.2 + -1.7. Let y = s + 0.8. Is y at least -1/2?
True
Let d = -11 - -13. Is -1/3 greater than d?
False
Let n = 1 - 1. Let l = -27 - -43. Suppose -3*i = 4*r - 16, i - 5*i + 4*r - l = n. Which is greater: i or -2?
i
Let k(n) = -n - 2. Let x be k(-6). Let l(p) be the third derivative of p**4/24 + 3*p**2. Let s be l(x). Is 2 < s?
True
Suppose 0 = -3*s + 4*s + 37. Let m be ((-140)/s)/(-4) - -1. Which is greater: m or 1?
1
Let g be -2 + 3 + (-73)/75. Which is bigger: g or 0?
g
Let t = -6 - -6. Let o = 4 - t. Let k = 3.94 - o. Which is smaller: k or -1/4?
-1/4
Let j = 5 - 1. Suppose -j*b - w + 8 = 0, -5*b - 3*w - 9 = -4*b. Which is bigger: 4 or b?
4
Suppose 0 = -5*n + 7 + 38. Suppose -3 = 4*g + n. Is -1 not equal to g?
True
Let m be (-2 + 3)*(4 - 24). Let r be (-5)/(m/16) + -4. Which is greater: -2/39 or r?
r
Suppose 3*c + 44 = 29. Let h(a) = a + 4. Let u be h(-5). Is u < c?
False
Suppose -3*q - 2*q = 15. Let c be (q - 1/(-1))*1. Let k be 1 - (-36)/(-15) - c. Which is smaller: 0 or k?
0
Let c = -9.2 - -9. Let i = c + 0.3. Which is smaller: -7 or i?
-7
Let b = 13 + -12.9. Which is greater: b or -1?
b
Let r = -248 - -238.1. Let s = 10 + r. Let a be (-4)/(-3)*27/6. Which is smaller: s or a?
s
Let d(p) = p**3 - 4*p**2 - 6*p + 7. Let t be d(5). Suppose 3*n - 8 + 2 = 0. Suppose 2*h = -n*l + t, 3*h = -l + 4 - 5. Is h < 0.4?
True
Suppose -40 = 2*y - 5*u - 16, y + 6 = u. Let r = y + 5. Suppose 0*q + 4*q = -r*f - 12, 5*q + 15 = 5*f. Is f greater than or equal to 1/3?
False
Let p = 3 + -2. Let d = -489 - -4399/9. Which is smaller: p or d?
d
Let k be 64/21 - (-16)/56. Is k < 2?
False
Let h(l) = l**3 + 8*l**2 + l + 3. Let c be (-1)/(-3) - 21/9. Let s be c/(-2) - (7 - -2). Let a be h(s). Which is greater: a or -4?
-4
Let s be 3/((-6)/4) + 2. Let z = s + 0. Suppose 5*r + 1 = -4. Is r greater than or equal to z?
False
Let w be -134*((-27)/21 + 1). Let k = -37 + w. Is k <= 1?
False
Let v = 4.6 - 4.8. Which is smaller: v or 3/4?
v
Let l = 372228 + -206958621/556. Let m = l - 2/139. Which is bigger: m or 1?
1
Let g = -21 - -24. Is -2/7 at least g?
False
Let j = -47/3 - -15. Let k = 8 + -4. Suppose g + 5*r = -12, -2*g + 0*g = -4*r - k. Which is bigger: j or g?
j
Let p = -33/7 + 125/28. Let m(g) = g**2 + 6*g + 6. Let z be -2 - 3*1/1. Let r be m(z). Which is smaller: r or p?
p
Suppose 21 = 4*t + 9. Is t equal to 3?
True
Let c be (-3)/5 + (-3603)/(-30). Let g = 2625/22 - c. Do g and -1 have the same value?
False
Let z = -4.908 + -0.142. Let u = -5 - z. Let y = u + -0.08. Is y greater than or equal to -0.1?
True
Let g(c) = -5*c**2 - 4. Let t(w) = w**2. Let r(b) = -g(b) - 4*t(b). Let y be r(3). Is 13 greater than y?
False
Let a = 0 - -2. Suppose -5*b + 15 = -5*m, 4*b - 26 = -3*m - 0*b. Let i = m - -1. Is a not equal to i?
True
Let n be ((-3)/(-9))/((-6)/9). Let l(u) = -3*u - 9. Let d be l(-7). Let j be 27/(-12) + 3/d. Which is bigger: n or j?
n
Let h(a) = -a**2 - 9*a - 21. Let z be h(-4). Let u = -2/713 - 4268/3565. Is u > z?
False
Let y be (104/(-36) + 3)*3. Let i = -0.3 - -0.1. Which is smaller: y or i?
i
Suppose -2*d + 154 = 46. Let a be (d/(-30))/((-3)/10). Is a smaller than 11/2?
False
Suppose 2 + 0 = -2*x. Let w = -3 - x. Is w <= -2?
True
Suppose 7*x - 30 = 4*x. Let h be ((-2)/4)/((-5)/x). Let q = -2/7 + 0. Which is 