-1 + -2). Is r != c?
True
Let f = 12 + -9. Let k(a) = -a**3 + 4*a**2 - a - 4. Let b be k(2). Which is smaller: f or b?
b
Let r = 9 + -6. Suppose 0 = s - 5*z - 9, -2*z - r*z = s + 11. Suppose v = 6*v. Is s >= v?
False
Let x = -46 + 21. Which is smaller: x or -26?
-26
Let b = 11 - 8. Suppose -4*w - 2*u = -30, -b*w - u - 9 = -5*w. Is w >= 1?
True
Suppose 3*n - 5*y + 8 = 2*n, -4*n - 2*y - 10 = 0. Let i = 0 + 3. Let x = n + i. Which is greater: 3/4 or x?
3/4
Suppose -d = -p, 0*d + 5*p = -4*d + 9. Are 0.05 and d nonequal?
True
Let q = 22 + -30. Which is bigger: q or -0.5?
-0.5
Suppose 4*b + 0 + 4 = 0. Which is smaller: -2/47 or b?
b
Let j(g) = -g**3 - 2*g**2. Let z be j(-2). Suppose 0 = -3*h - z*h. Do h and -1/5 have the same value?
False
Let c(k) = -k - 1. Suppose -n - b = 6, -2*n - n - 14 = 2*b. Let p be c(n). Suppose 3*o = -o + 4. Is p at least as big as o?
True
Let n = -1 - -4. Suppose i + 4 = n*i. Let p be 0 + -1*(i - 3). Which is smaller: 2 or p?
p
Let n be (5 - 1)/(9 - -1). Is -5.1 greater than n?
False
Suppose 4*z + 2 = j, 4*j + 2*z = -2*z + 8. Let o be 77/(-75) - (j + -3). Which is bigger: 1 or o?
1
Let i be (5/25)/((-2)/4). Let g = 6 - 6.3. Is i > g?
False
Let h be (-142676)/142666 + (-2)/(-2). Let x = h - -33104187/80962955. Let m = x - 2/227. Which is bigger: 0.2 or m?
m
Let r(k) = k**2 + 10*k - 2. Let s be r(-10). Let w = 4 + -2. Is s at least w?
False
Let z be (-2 - 2)*2/2. Suppose g + 5*r = 2 - 6, -g + r = 16. Let l be ((-2)/(-4))/(g/z). Which is bigger: l or -1?
l
Let q be (-9)/(-8) - 7/56. Which is bigger: 6/11 or q?
q
Suppose 0 = 3*j + 3*s - 4 - 26, 3*j - 28 = -2*s. Is 2 bigger than j?
False
Let c = -135/8 - -949/56. Is -1 greater than or equal to c?
False
Let x = -13/2 - -25/4. Let f = 361 - 360. Do x and f have the same value?
False
Suppose -26*g + 48*g - 110 = 0. Suppose 7*d - 2*d = 0. Let k = 4 + d. Which is greater: g or k?
g
Let d be (-1)/(-4) + 18/(-8). Suppose 3*k + 5 + 10 = 0. Let x be d + 6/(-21)*k. Is x at most as big as 1/3?
True
Let p be (2/12)/(12/(-54)). Are p and 2/3 nonequal?
True
Let w = 0.1 - -0.1. Let v = 0.13 - w. Which is smaller: 2/3 or v?
v
Let p = 1 + -3. Let k be 0*(p + 0 + 1). Is k smaller than 2/7?
True
Suppose -15*c + 16*c - 41 = 0. Is 41 at most as big as c?
True
Let x = -64753 + 22362. Let l = -297366/7 - x. Let a = l + 90. Are 0 and a nonequal?
True
Let u = -36 - -53. Is u at least as big as 16?
True
Let k = -2.92 - 0.08. Let l = 4 + -6. Let r = l - k. Which is greater: r or -4?
r
Let g be 4 - (-2 - (-4 - 3)). Let y be g/44 - 16/64. Which is smaller: y or 1?
y
Let v be (-1)/(3/9*-1). Let g(u) = u**3 - u**2 + 2. Let y be g(0). Which is smaller: v or y?
y
Let s = 27.5 + -28. Does 1 = s?
False
Suppose 0*a = -m + a - 2, 0 = -2*m + 4*a - 14. Is m at most as big as 5?
True
Suppose x + 2 = 4*h, -x + 6*x - 4*h = 6. Suppose 14 - 3 = 3*m - x*d, 5*d = -m - 19. Is m greater than 2/3?
True
Suppose 0 = -5*d + 3 + 2. Let r = -2 + 0. Let j = 1.8 + r. Which is smaller: d or j?
j
Let o = 12.0035 - 0.0235. Let u = 12 - o. Which is greater: 1 or u?
1
Let s = 297 + -3264/11. Is 1 bigger than s?
True
Let u = -490351137/11 + 44506761. Let d = 70738 + u. Let s = d - 123. Is 0 <= s?
False
Let q be (-4)/14 - 4917/308. Let p = 16 + q. Suppose -3*j + 3 + 3 = 3*t, -5*t - 2 = j. Which is bigger: t or p?
p
Suppose -2*h = -5*d + 5 - 30, 3*h + d = -5. Which is smaller: h or 3.9?
h
Let y be -6*((-258)/14)/3. Let r = y + -4916/133. Which is smaller: r or 1?
r
Let l = 0.035 - 0.335. Is l greater than -3?
True
Let t = 305/6 + -9479/186. Is -1 greater than or equal to t?
False
Suppose 0 = -2*g - 3*w + 3, -2*w = -3*g - 6*w + 5. Let y be -2*1*(0 + -1). Is g equal to y?
False
Suppose 5*u - 2*u - 21 = 0. Suppose 4*p = -u + 23. Suppose -5*r = 0, p*c = r - 2*r. Is -1 bigger than c?
False
Let l = 17 + -18. Let o be (1/(-14))/(l/(-2)). Is 0.1 less than or equal to o?
False
Let m be -25*(12/(-15))/1. Suppose -q + 5*g - m = 0, -2*g = -2*q - 4*g + 8. Is -1 less than or equal to q?
True
Let o be (-15)/(-6)*2/5. Suppose o = 3*c + 4. Is -5/6 > c?
True
Let t(u) be the third derivative of -u**6/120 + 3*u**5/20 + u**3/6 - u**2. Let m be t(9). Suppose m + 3 = 2*c. Is 5/2 at least c?
True
Let p be -4*(4/22 - 270/396). Is 0.02 bigger than p?
False
Suppose 0 = -x - 2*x - 6. Let v be (2 - 4)*x/264. Let c = -43/66 - v. Is c <= -1?
False
Suppose 0*v = -5*v + 4*n - 10, 13 = 4*v + n. Let h = -1 + v. Let k be h/(-4) - 45/(-84). Which is smaller: k or 1?
k
Suppose -5*f + 60 = -f. Let s be (2/3)/((-10)/f). Which is smaller: s or 0.6?
s
Suppose 5*l = -7 + 2. Which is smaller: l or -1/3?
l
Suppose 0*t - 112 = -2*t. Suppose -4*q + t - 8 = 0. Let n be (q/(-16))/((-9)/(-8)). Which is smaller: n or -2/9?
n
Let c = 85/2 - 42. Is 5 greater than c?
True
Let u be (-5)/(10/(-4)) - -10. Let v be ((-2)/(-12))/((-3)/u). Which is smaller: v or 0.02?
v
Let j(k) = -2*k**2 - 5*k + 26. Let v be j(-6). Is -16 at most as big as v?
True
Let w = 7 - 10. Suppose -4*r + 17 - 1 = 0. Suppose -p - 17 = 5*q, p + r*p + 22 = -4*q. Which is smaller: p or w?
w
Let f be -1*(-178)/(-20)*18. Let c = f - -163. Let u = -89/30 + c. Does u = 0.1?
False
Let d = -2.2 + 0.2. Let q = -2.05 - d. Let b be ((-3)/(-7))/(21/14). Do q and b have the same value?
False
Suppose q = -2 - 4. Suppose -3*x + 5*b - 36 = 0, -8 = -4*b + 4. Which is bigger: x or q?
q
Let a = 5 + -5.08. Let j = a + 1.08. Which is bigger: j or 0?
j
Let s be 20/(-6)*3 - (-6 + 6). Which is smaller: s or -0.2?
s
Suppose q = -q - 2. Let h be 4 + 0 + (-6)/3. Which is greater: h or q?
h
Let s = 0.64 - 0.04. Let b = s + 0.4. Let n = -1.1 + b. Which is greater: 1 or n?
1
Let n = -21.2 - -18. Let t = 3 + n. Which is bigger: t or -1?
t
Suppose -r + 4*d + 8 = -d, -2*r - 2*d = -4. Suppose -l + h = 4*h - 1, r*l - 5*h = -25. Is l greater than -4?
False
Suppose 0 = 3*k - 0*k - 930. Let b = k - 13948/45. Is b at most 0?
False
Let o(c) = c**2 + 6*c - 3. Let a be o(-5). Let j be (-22)/((-8)/(-4)) + (-2 - -4). Which is smaller: j or a?
j
Let z = 11 + -7. Let s = 3.8 - z. Which is bigger: s or 0.1?
0.1
Suppose p + 12 = 2*a, -2*p = 4*a - 5*a + 21. Which is greater: -8 or p?
-8
Suppose -2*v = -0*v - 14. Let b be v - 0*(1 - 2). Is b less than 1?
False
Let b be (-3)/6*2/1. Which is bigger: -2/3 or b?
-2/3
Let d be ((-2)/54)/(5/((-60)/8)). Are -1 and d equal?
False
Let h = -39 - -26. Let j = 12.3 + h. Is -1/2 >= j?
True
Let l = 4.98 - -0.12. Let h = -5 + l. Is h at most -1/3?
False
Let p be -5 + 4 + -1 + 4. Let q be 0 - (p + (3 - 4)). Let c(v) = -v**3 - 4*v**2 + 2*v + 6. Let x be c(-4). Which is smaller: q or x?
x
Let m be 1/3 - 7/3. Let l(q) = -6*q. Let w be l(1). Let d = w - -4. Is m < d?
False
Let i = -2.987 + -0.013. Which is bigger: i or 1/9?
1/9
Let y be (2 - 1)*-1 - -16. Suppose 5*d = 2*d + y. Is d not equal to 4?
True
Let a = -2.1 + 2. Suppose 5*k = -2 - 3. Which is smaller: k or a?
k
Let m(n) = -2*n**2 - 5*n + 3. Let v be m(-4). Let l be (-6)/v - 30/(-9). Let u = l - 2. Is 1/2 at most as big as u?
True
Let q(o) = -4*o**3 + o**2 - 1. Let x be q(1). Let f be ((-4)/(-4))/((-2)/(-18)). Let k be 6/f*2/x. Which is greater: k or 3?
3
Let k be (-6)/(-12) + 3/(-2). Is 1/9 at most as big as k?
False
Let c be 19/6 + (-1)/6. Suppose -2 = k - 5*m, -c*k - 3*m + 12 = -0*m. Suppose 2*s - 3 = f + 11, 3*s + k*f - 3 = 0. Is 4 at least s?
False
Let l be (3/(-9))/((-1)/6). Suppose z - 3*z - l = 0. Which is bigger: 1/9 or z?
1/9
Let l(h) be the second derivative of h**4/12 + 7*h**3/6 - h**2 + h. Let k be l(-7). Which is greater: -3 or k?
k
Suppose 0 = -4*j + 7 - 15, 0 = -3*c - 5*j - 19. Which is smaller: -6 or c?
-6
Suppose 0 = -11*m + 7*m + 8. Suppose -m*x + 7*x = -3*g + 26, 2*x - 10 = -g. Do x and 2 have the same value?
False
Let c be 4/26 + (-4)/26. Suppose -5*q + c*f - 10 = -5*f, 0 = -5*q + f - 6. Let y = 193/3 - 65. Which is smaller: y or q?
q
Let d = -121 - -199. Which is greater: d or 79?
79
Suppose -5*l + 40 = -3*l + 2*k, 0 = -4*l - 2*k + 74. Suppose -9 + l = -4*j. Is -1 > j?
True
Suppose 3*f + 0*u - u = 11, 5*f - 30 = 4*u. Let k = 0 - 0. Which is greater: k or f?
f
Let x = -38 - -39. Is -2/69 <= x?
True
Let v be 2*(4 + 7/(-2)). Are v and 10 unequal?
True
Suppose b + 0*b = 0. Suppose 2*o = 7*o + 3*p + 33, b = -2*o + 4*p - 8. Let a be (-9)/o*2/(-3). Is a < -1?
False
Sup