 Let g = 44647 - 44647. Which is bigger: g or v?
g
Let s(c) = -2*c**3 + 3*c**2 + 2*c + 21. Let a be s(5). Let g be 130/a - (-28)/(-126). Is -1 >= g?
True
Let d(v) = v**3 - 15*v**2 + v - 746. Let q be d(0). Is q >= -746?
True
Let k = 0 - -4. Let j(v) = v**3 - 3*v**2 - 4*v + 1. Let l be j(k). Let d be -9 - (3 + -1 - l). Are -11 and d equal?
False
Let l(r) = -12*r - 4*r**3 + 4 + 2*r**3 - 12*r**2 + 3*r**3. Let f be l(13). Is f at least 1?
True
Let h = 1 - 1. Let x be (-53)/(-71) + (1 + -4)/3. Let m = x + 516/355. Is m smaller than h?
False
Let h = -212 - -213. Is 29 greater than or equal to h?
True
Let a = 65 + -67. Let h be (a/3)/(17/102). Which is bigger: h or -26/7?
-26/7
Let m = -129.8 + 120. Let a = -1.3 - m. Let f = -8 + a. Which is bigger: f or -2/7?
f
Let a be (3 + -1)/((-4)/(-186)). Let f = a + -94. Suppose 1 - 4 = -3*b. Is b <= f?
False
Let z(b) = -5*b - 2. Let n be z(5). Suppose -5*y + 5 + 6 = -q, 0 = 3*y - 6. Let j be (3/9)/q*n. Is 7 not equal to j?
True
Let x = -46 - -15. Let a = x + 37. Let u be 12/35 - a/42. Is u at most -3?
False
Suppose h = 17 - 5. Suppose -4*d - d = -10. Suppose -g - d*g = -h. Which is greater: 3 or g?
g
Suppose -3*v - 2 - 9 = q, 2*q = 5*v + 11. Let c(m) = m**3 - 7*m**2 + 4*m + 4. Let z be c(6). Let h be (-26)/65 + z/(-45). Which is smaller: v or h?
v
Let w = 0.796 - -0.204. Which is smaller: 17/5 or w?
w
Let r(m) = m**3 - 14*m**2 - 51*m + 45. Let l be r(17). Does 40 = l?
False
Let n(j) = j**3 - 5*j**2 + 4*j - 1. Let b be n(4). Let g be 0 + 2/(-4)*b. Let x = -0.41 + 0.41. Is g less than x?
False
Let a = 0.11 + -0.11. Suppose -2*r - 20 = -0*r. Let l = 10 + r. Is l greater than a?
False
Let g = 51/348365 + -106016875814/3135285. Let m = g + 33851. Let i = -37 + m. Which is greater: i or 1?
1
Suppose -5*q = j - 11 + 38, 3 = j - 5*q. Which is smaller: -10 or j?
j
Let p(z) = z**2 + z + 1. Let c be p(-1). Let g be c/(-2)*(1 + 3). Let t be g/(-7) - (-6)/77. Is t at most 1?
True
Let g = 734 - 743.1. Which is bigger: -1 or g?
-1
Let w = -57 - -45. Let l be (10/w)/(1/(-9))*2. Is l smaller than 15?
False
Let w = 111 + -105. Suppose -c = -4*c + w*c. Is 2 smaller than c?
False
Let v = 1.3 + -1.9. Let a = v - 0.2. Let i = a + 1. Which is bigger: i or 0?
i
Let h be 55*(-42)/105*(-6)/4. Which is bigger: 163/5 or h?
h
Let w be -16 - (-17 - -18) - -16. Let m = -11513/35 + 329. Which is smaller: w or m?
w
Let i(v) = v**2 - 2*v - 12. Let k be (1 + 2 - 3)/(-2). Let o be i(k). Is o less than or equal to -7?
True
Let q = 21 - 10. Let n = 45 + -54. Let w = q + n. Does -2 = w?
False
Suppose -11 = 2*i + 21. Let p = i - -19. Suppose 0 = a + 4*w - 1, 0 = -a + 4*w - 0*w + 9. Which is greater: a or p?
a
Let n be 7 - (1 - (-5 - 2)). Which is greater: -5/124 or n?
-5/124
Suppose -2*t + 14 = w - 4*t, 2*w - t - 13 = 0. Suppose 5*p - 5*b = -8 - 2, -3*b + 20 = w*p. Let d = 2 + p. Which is greater: 3 or d?
d
Suppose 32*f - 38*f = 2988. Which is greater: -497 or f?
-497
Let s(p) be the first derivative of 2*p**3/3 - 7*p**2/2 - 7*p - 1. Let d be s(4). Do -4 and d have the same value?
False
Let q(f) = f**3 + 5*f**2 - 10*f - 26. Let g be q(-6). Is g > -22/15?
False
Let u = -2/1083 + 419125/2166. Let l = 189 - u. Do -4 and l have different values?
True
Suppose -5*y - 289 = 3*x, -2*y + 394 = -3*x - x. Is -100 equal to x?
False
Let d = -49 - -45.9. Let f = d - -3.3. Let a = -1.1 + 0.1. Which is smaller: a or f?
a
Suppose -4*m + 1 = -39. Let f be (8/m)/(286/55). Let l = 2 + -1. Which is smaller: f or l?
f
Let o = -56 - -40. Which is greater: o or 1/2?
1/2
Let f = 133/17 + -1538/51. Is f bigger than -23?
True
Let c = 0 + 0. Suppose c - 5 = -5*o. Let j be 0*(1 + (1 - o)). Which is smaller: j or 0.03?
j
Let o be 28/(-30)*230/(-105) + -2. Which is bigger: 0 or o?
o
Let y be (-2)/(-4) - (-5)/(-8). Let r = -58 + 50. Let b be ((r/3)/4)/((-78)/(-18)). Are y and b equal?
False
Let g be -2 - (-3)/(3/2). Suppose -5*s + 18 - 8 = 0. Which is bigger: g or s?
s
Suppose 3*d - 2*l + 33 = 0, 0*d + 21 = -2*d + l. Let o = -207 - -198. Are d and o unequal?
False
Let g = -435 + 654. Is g at most 219?
True
Let t = 231332 + -3699087/16. Let v = -139 + t. Which is smaller: v or 1/3?
v
Let o = 39 - 39. Let a = o + -16. Let i = a - 3. Is -1/2 at least i?
True
Let i be (40/177)/5*27/36. Which is smaller: i or -1?
-1
Let k = 1081 - 1096. Suppose 0 = 4*f - 4*y + 72, 5*f - 2*y + 48 + 45 = 0. Is k at least f?
True
Let c = 3.69 + -4.29. Let w(p) be the third derivative of -p**4/24 - p**3 - 2*p**2. Let v be w(-6). Which is smaller: v or c?
c
Let f be 675/(-93) + 35/(3 + 4). Is f greater than or equal to -3?
True
Let t = 169/801 + 1/89. Let v(j) = -j**3 - j + 4. Let r be v(0). Suppose -4*w = -m - 19, -w + 16 = -r*m + 3*w. Is m greater than t?
True
Let a = -37739/47 + 803. Let j(d) = -46*d - 2116. Let h be j(-46). Is h less than a?
True
Let r be 8/(-6) - (-3)/(13230/5934). Is 1 >= r?
True
Let l = 140.141 + -761.071. Let f = l + 615. Let o = 0.07 - f. Which is smaller: o or -2/9?
-2/9
Let l = -0.18 - -10.18. Let p = l - 9.74. Let y = p + -0.16. Which is smaller: 0.2 or y?
y
Let d = 262 + -262. Which is bigger: -5/4 or d?
d
Let a = 572524/293 + -1954. Which is smaller: -1 or a?
-1
Suppose -u - 4*n + 26 = 0, -3*u - 1 = 5*n - 44. Let v be (-176)/86 + -4 + u. Is v smaller than -1?
False
Let j = 6.99 - 6.5. Let f = j - 12.49. Are 2/9 and f non-equal?
True
Let v = 0.1 - 0.1. Suppose -4*k = 3*q - 50, -3*q = 2*q - 10. Suppose k*l + 10 = 6*l. Which is bigger: v or l?
v
Let b be (-4)/(-14) + -6 + (-1107)/(-21). Suppose 1 = b*z - 48*z. Is z > 1?
False
Let j = 211 + -202. Which is greater: -8 or j?
j
Let z = 42 + -339/8. Is z smaller than 1/4?
True
Let n(r) = -r + 12. Let h be n(13). Let j(c) = 2*c**3 - 2*c**2 - 2*c - 1. Let s be j(h). Which is greater: s or -5?
s
Let o = -85 + 89. Suppose v - 5*i = -0*v, 0 = -3*v + i. Let n be 5/(2 + v + -1). Is n greater than or equal to o?
True
Let a = 9.511 + 0.089. Let v = a + -4.6. Is v at most -2?
False
Suppose 27*v = 6*v - 6*v. Is v equal to -8/15?
False
Let k(p) = -3*p - 24. Let r be k(-13). Let v be 4/(-10) + (-4)/r. Is -0.1 at least v?
True
Suppose -5*j + 60 = -15. Let x be (-3)/2*(-10)/j. Let d be x/(-4)*2*0. Which is smaller: d or -1/5?
-1/5
Let j = 292 + -224. Is 67 greater than j?
False
Let d = 1261/3 - 420. Which is greater: d or 0?
d
Let w = 20 + -20. Let c be (w/(-3) - -3)*-5. Is -16 smaller than c?
True
Let g be 7/(-90) + 2/(-9). Let v(r) = 5*r**2 + 8*r - 17. Let d(s) = -9*s**2 - 17*s + 35. Let n(m) = -6*d(m) - 11*v(m). Let w be n(12). Is g greater than w?
False
Let l be ((-107)/5)/((-42)/70). Which is bigger: 36 or l?
36
Let p = 0.5 - 1. Let i = 0.2 + p. Let u = -154.6 + 155. Which is bigger: u or i?
u
Let x(a) = 12*a + 21. Suppose 2*t = c - 8, 2*c - c + 8 = -2*t. Let i be x(t). Is i greater than or equal to 1?
False
Suppose 0*t - 16 = 4*t. Let c(i) = -i**2 - 11*i + 20. Let v be c(-10). Let u be t/(-6)*v/20. Is -2/17 <= u?
True
Let q = 6563/27 + -243. Let t = 55/378 - q. Let v(i) = -194*i - 775. Let g be v(-4). Are t and g nonequal?
True
Let a(m) = -m**3 + 14*m**2 + 4*m - 17. Let r be a(14). Let y = -30 + r. Which is smaller: y or 0.2?
0.2
Let x = 1/5133 + 2340637/56463. Does x = 41?
False
Suppose 593*m - 590*m = -24. Let o be 3/2 - 1/(-2). Suppose -o*i - 21 = i. Are i and m unequal?
True
Suppose -6 = 10*l - 13*l. Suppose 3*q - l*q = -6. Which is bigger: q or -7?
q
Suppose -36*f + 93 = 669. Suppose 4*r - 17 = 5*r. Are f and r unequal?
True
Let i be ((-12)/88)/(2 - (-87)/(-12)). Let c(v) = -v**2 - 8*v + 8. Let l be c(-9). Which is smaller: l or i?
l
Let m be (105/25 + -3)/((-3)/(-105)). Which is smaller: m or 35?
35
Let z(i) = -i**3 + 6*i**2 - 4*i - 4. Let j be z(4). Suppose w + 2*w = -j. Let f be (3 + 123/(-40))*w. Which is bigger: f or -1?
f
Suppose -5*s - r = -6074, 3*s + 415*r = 418*r + 3630. Is s at most 1215?
True
Let c be ((-15811)/(-30))/(26/(-13)). Let o = c - -527/2. Is o >= 0?
False
Let o = -0.09 - 0.08. Let v = 0.26 + o. Which is smaller: v or 2?
v
Let w(l) = 17*l - 2. Let y be w(5). Let a be y/217 + 16/(-56). Which is smaller: a or -1?
-1
Let d = -131 - -130.8. Is d greater than or equal to -132?
True
Let a = -346 - -300. Which is smaller: a or -3?
a
Let h = -2730 - -2756. Suppose -10 = -5*a, 2*a = b - 12 - 10. Are b and h non-equal?
F