r: s or g?
g
Let w be 2 - (-26)/(-7) - -2. Let b = -284/7 - -81/2. Let a = b + -5/28. Is w greater than or equal to a?
True
Let p = -11 + 20. Is p < 0.2?
False
Let r = -21/13 - -173/91. Is r less than or equal to 2/11?
False
Let v(d) = -d**3 - 6*d - 1. Let c be v(0). Which is greater: 2/63 or c?
2/63
Let u(z) = -z - 3. Let x be u(-3). Let q = -77/117 + -1/117. Is x at least q?
True
Let r = -12 - -10. Let i = r - -2. Is i at most 2/17?
True
Suppose 0 = -2*w + 3*v + 8 + 9, -5*w + 17 = v. Suppose 0 = -w*k - 0*k + 12. Are k and 3 equal?
True
Suppose 0*l = 4*v + 3*l - 23, 3*l = -3*v + 21. Which is bigger: -1 or v?
v
Let z be (2/(-6))/((-11)/33). Is 6 less than or equal to z?
False
Suppose 5*n = 4*p + 4 - 22, 3*n + 16 = 5*p. Let q be (1 - -1 - 3)*n. Let j = 13 + -12. Which is bigger: q or j?
q
Suppose 3*t - 1 = 2*t. Let i be (2/(-4))/(23/2). Do t and i have the same value?
False
Suppose 4*h - h = 15. Suppose -3*b = -b - 6. Suppose 2*f + b*f + h = 0. Is f <= -1?
True
Let u be 2/(-12) - (-69)/(-18). Let c = u + 6. Let n be ((-2)/(-4))/(c/(-12)). Which is bigger: -4 or n?
n
Let g(o) = 2*o**2 + 8*o - 3*o**2 + 3*o**2 + 2 - 3*o**2. Let l be g(8). Are l and 3 equal?
False
Let o = -134 + 105. Is o at most as big as -29?
True
Suppose v = -v. Which is smaller: v or 4/9?
v
Let i = 12 + -7. Let k be ((-3)/(-6))/((-2)/24). Let d = k + i. Which is greater: -2/11 or d?
-2/11
Suppose 11 + 13 = -4*p. Let w = -35 + 30. Are p and w unequal?
True
Let p be (0 + 0)*(-8)/16. Suppose p*b + 4 = -2*q - b, -5*b = 5*q + 10. Which is bigger: -4 or q?
q
Let m be 1*(-1 + 3)*-1. Let n(o) = -o + 3. Let b be n(0). Suppose 3 - 12 = b*v. Is m at most v?
False
Let x(f) = -f**2 - 7*f + 8. Let h be x(3). Is -21 at most h?
False
Let g = 1.7 - 47.7. Does g = -3?
False
Let f be (-3)/6 - (-3)/12. Is -2 >= f?
False
Let n = 1.48 + -0.48. Is n at least as big as -4?
True
Let u be (-32)/(-12) + 2/6. Suppose 2*k = -z + 3, 0 = 2*k - u*z - 2*z + 27. Is -1/15 at most k?
False
Let m be (-12)/(-120) + (-2)/(-5). Let p = m - -1/6. Is p bigger than 0?
True
Let t = 16 + 6. Is 21 at least t?
False
Let m be (-30)/(-75) + 57/(-5). Are m and -11 equal?
True
Suppose 0 = 3*l - 4*l + 3*p - 8, 6 = -2*l + p. Let h = 1 - l. Let v = h - 3. Is -1/9 at most v?
True
Let j = 2 - 12. Let t be (-2)/4 + (-9)/j. Suppose 2*h + 3 = -h. Is t >= h?
True
Let s = 22 + -24.8. Let x = s - -3. Let d = -130/3 - -43. Is x > d?
True
Suppose 0 - 10 = 5*z. Let i = 0 + z. Suppose 3*b = -3*y - 15, 19 = b - 2*y - 3*y. Is b less than or equal to i?
False
Let g = 187/4 + -47. Let a = 8 + -4. Let l = a - 4.1. Is l equal to g?
False
Suppose 3*l - 120 = -2*l. Let i = l + -116/5. Let g be (-1 + -2)*(-1)/3. Which is smaller: g or i?
i
Let p(m) be the third derivative of 1/24*m**4 + 13/6*m**3 + 0 + 0*m + 3*m**2. Let t be p(-9). Which is smaller: t or 5?
t
Let u = 107 - 110.15. Let o = u - 0.75. Let y = -4 - o. Which is greater: -2/3 or y?
y
Suppose -3*b - 17 = -65. Is b at most as big as 16?
True
Let g = -11 + 84. Is g at most as big as 73?
True
Suppose -2*l - 18 = -5*w - 188, 205 = -5*w - 5*l. Let c be 14/w - (-4)/18. Let x be 2/3 + (5 - 68/12). Is c bigger than x?
False
Let u(t) = t**2 - 11*t + 6. Let k be u(11). Is k > 9?
False
Let c = 25.8 + -26. Which is smaller: c or -6/7?
-6/7
Suppose -r + 1 = -0. Let c be 4/(-6) + (-10)/(-6). Do c and r have the same value?
True
Let o = 2/21611 - 2117896/194499. Is -10 equal to o?
False
Let i = 16.3 + -16. Are -0.3 and i nonequal?
True
Suppose 4*p = 6*p - 8. Suppose -8 - 5 = -5*x + 4*r, 5*x + 2*r - 31 = 0. Which is bigger: x or p?
x
Suppose h + u = -u + 12, 2*u - 24 = -4*h. Let d = 3 - h. Are -5 and d non-equal?
True
Suppose -8*r + 6*r = -4. Which is smaller: r or 10/3?
r
Let j = -220/3 - -74. Which is smaller: 1 or j?
j
Let l be (14/(-8))/(2/8). Let m be ((-36)/2)/6 + -3. Is l at least as big as m?
False
Let c be 30/18 + (-2)/(-6). Is c smaller than 2/5?
False
Let k(a) = a**3 + 2*a**2 - 5*a + 5. Let x be k(-4). Which is smaller: x or -8?
-8
Let g = 47.09 + -47. Is g equal to 2?
False
Suppose -5 + 15 = 5*l. Which is greater: 3/2 or l?
l
Let l be 2 - (3 - 4/6). Let j = 0.6 - -0.4. Is l > j?
False
Suppose -5*d = -s + 10, 5*d + 35 = -s + d. Let h = s + 9. Which is greater: -4 or h?
-4
Let m be (1 + -4 + 2)*45. Let l be -5*-2*(-3)/m. Which is greater: l or -2/3?
l
Let q = 45/2 + -23. Does q = 0?
False
Suppose 4*n + 4 = -4*b + 3*b, 3*n = -5*b + 14. Do 11/4 and b have the same value?
False
Suppose -2*x + 74 - 18 = 0. Which is smaller: x or 29?
x
Suppose -4*j - 31 = -27. Suppose 19 = -3*u + 4*n, 7 = -5*u + 3*n - 10. Is j at most as big as u?
True
Suppose -1 = l, -2*l - 6 = 3*b - 4*b. Suppose 2 = -b*k - 3*f, 0 = -4*f + 5 + 3. Is k at most -2/3?
True
Suppose 0*u = 2*u - 2. Suppose 6*h = 2*h + 8. Suppose -3 = -h*w + w. Are u and w non-equal?
True
Suppose t + 3*d = -0*t + 11, 0 = 5*t - 4*d + 21. Let c = -446 + 7576/17. Is c at most as big as t?
False
Let z be (9/42)/((-2)/(-21)). Which is smaller: 2 or z?
2
Suppose 4*f = -4*h + 2*h - 10, 2*h - 3*f = 18. Let o be (-9)/3 + (-1 - -3 - -3). Which is smaller: o or h?
o
Let m be 12/28 + (-3)/7. Which is bigger: -1 or m?
m
Let u be (-2 - -2 - 3)*-1. Suppose u*j = -j + 16. Let z = 0 - -4. Is j at least as big as z?
True
Let v = -67.1 - -67. Is v equal to 3/14?
False
Let a = -47953/635 + 218/127. Let z = a - -74. Which is bigger: z or 0?
z
Let x = -1 - -2. Let o = -3 + 7. Let t be 2/o*(-8)/(-18). Which is greater: t or x?
x
Let c be (-8)/(-4)*(15 + 0). Let y = -89/3 + c. Which is smaller: 0 or y?
0
Let h(v) = -v**3 - 6*v**2 + 8*v + 8. Suppose -2*x - 1 = 4*r + 25, 4*x + 2*r + 34 = 0. Let m be h(x). Which is greater: -1/5 or m?
m
Let a = -3/22 + -35/66. Let y(o) = -o**2 + 7*o + 8. Let f be 6 + -1*(-4 + 2). Let s be y(f). Is a smaller than s?
True
Let c(v) = 11*v - 71. Let b be c(9). Which is greater: 30 or b?
30
Let s be (-3)/5 - 2678/(-130). Is s less than or equal to 22?
True
Suppose 3*l - 30 = -4*r, 5*r - 5*l - 14 = r. Let b = -3 - -9. Do b and r have the same value?
True
Let t be 24/64*8/(-20). Is 0 bigger than t?
True
Let t be (0 + -7)*(-3)/(-15). Is 0 at least as big as t?
True
Let t = -0.1 - 0.1. Let y = 1.8 - 0.6. Let f = y + t. Do f and -1 have the same value?
False
Let g be (-16)/(-6) - (0 + -2). Which is greater: 6 or g?
6
Let u(j) be the first derivative of -j**4/4 + 4*j**3/3 - j**2 - 4*j - 3. Let o be u(3). Is o > 0?
False
Let a(l) = l**3 + 8*l**2 + 15*l - 2. Let x be a(-5). Is x >= 2/11?
False
Let u be (5 - 6)/((-1)/3). Let w be (u + -2)/(-1) - 4. Is w smaller than -5?
False
Let y(m) = m**2 + 2*m - 9. Let z be y(-5). Is 8 > z?
True
Let y = -15.6 - -15. Is -2/3 < y?
True
Suppose -3*d + 7 = -2*d. Let s(k) = -k**2 - 4*k + 1. Let j be s(-2). Is d greater than or equal to j?
True
Let w(k) = -k**2 - 6*k - 3. Let v be w(-8). Let r = v + 13. Do r and -7 have the same value?
False
Let t = -125 + 126.6. Does t = -2?
False
Let k(s) = -s**2 - s + 2613. Let f be k(0). Let p be ((-4)/14)/((-6)/f). Let r = -125 + p. Which is smaller: r or -1?
-1
Let w be -1 + (-1)/(2/(-6)). Let a = w + -4. Is -3 at least as big as a?
False
Let i = -2 - -7. Suppose 6*x = 2*x + 4*j - 40, 0 = -i*x - 5*j. Let k(w) = 4*w - 1. Let r be k(-1). Is r != x?
False
Suppose 3 = -6*r + 9*r. Is r less than or equal to -1/6?
False
Let i = 2601/53 + -49. Which is bigger: 1 or i?
1
Let d = 184/819 - 2/819. Is d at most as big as -1?
False
Let w be ((-1)/2)/((-1)/(-12)). Let s(i) = i**2 - i + 2. Let n be s(2). Let y = n + w. Is -2 smaller than y?
False
Let b = -2 + 1.9. Let f = -0.95 - -1. Let k = f - 1.05. Which is smaller: b or k?
k
Let m = -1.5 - -1.59. Let b = 0.49 - 0.49. Which is greater: b or m?
m
Let q = 8/9 + -25/18. Is q less than or equal to -1?
False
Let u(v) = -6*v - 1. Let a be u(-1). Suppose -s + 15 = 4*s + a*o, -s + 3*o = -7. Suppose 0 = z + s*q - 20, z = -3*q + 8 + 7. Is 0 smaller than z?
False
Let y = -55/294 + 1/49. Which is smaller: 0 or y?
y
Suppose s + j - 2 = -0*s, -2 = -s + 5*j. Suppose 5*f = 8 + 17. Suppose -5*x - f*v - 10 = 0, -5*x - 3*v = -x + 5. Which is smaller: x or s?
x
Let r be 17 - 5 - (2 + -2). Is r > 11?
True
Let q = 76 - 43. Let z = -34.3 + q. Let m = z + 0.3. Is -1 at most as big as m?
True
Let x be (-8)/86*33/44. Which is smaller: 0 or x?
x
Suppose 3*n + 4 = -w, -2*n - 16