, z = 4*o + 9. Let d be o/34*-17 - 1042/1038. Is d < 0?
True
Suppose -7*z + 22 = 15. Let u be (9 - (z - -2)) + -30. Does -27 = u?
False
Suppose -4*r + 12 + 0 = 0, -4*q = -2*r + 174. Let h = 136.56 - 2.56. Let b = 133.9 - h. Is b less than q?
False
Let l be (-10)/250 - (-34975)/(-625). Is -166/3 at least l?
True
Suppose -21*c + 232358 = -3*c + 18104. Is c at least as big as 11903?
True
Let x = -0.05161 - -0.15161. Which is smaller: 7275 or x?
x
Let z(t) = -493*t**3 + 3*t**2 + 2*t - 5. Let i(h) = -2*h**2 + 63*h + 100. Let v be i(33). Let w be z(v). Do -493 and w have different values?
False
Let h = -1/7353 - -3279443/36765. Is 90 greater than h?
True
Suppose -767*w + 11 = -756*w. Let i = -83/2981 - 2/813. Is w at least as big as i?
True
Suppose -4*c + 11*c = -154. Let z be (-46)/(-115) - c/(-5). Let y(s) = s**3 - 8*s**2 + 7*s - 3. Let i be y(7). Is z at least i?
False
Let v(d) = -d**3 + 9*d**2 - 8*d - 4. Let j(p) = p**3 - 4*p**2 - p + 9. Let t be j(4). Suppose t*a - 18 = -0*w - w, 5*a + 22 = 4*w. Let h be v(w). Is h <= -34/7?
False
Let i(d) = 21*d + 13 + 2 - 14*d. Let v be i(-5). Suppose 13*m = 15*m + 44. Which is smaller: v or m?
m
Let k = 460 + -487. Let r = -60 - -33. Is r less than or equal to k?
True
Let a be (-1)/(-2) + (-45)/(-18). Let c be a - 6/3 - (-3580)/10. Suppose 7*m - 72 = -c. Is -43 at least m?
False
Let d = -7.99 - -7.961. Let f = d - 0.001. Is f < 2?
True
Suppose -8 = 3*v - 9*t + 10*t, 0 = v + 2*t + 6. Suppose 9*n - 117 = 7*n - i, 0 = n + 3*i - 46. Is v > n?
False
Let q = -5616 - -129165/23. Is q greater than -0.22?
True
Let k be (-8)/10 - (-5 + 3). Let g = 114 + -86. Suppose -12*n + g = 2*n. Which is smaller: k or n?
k
Let a be -3244*3*(9/(-3))/12. Let v = a + -1358. Let j = 31181/29 - v. Is 0 equal to j?
False
Suppose 31*n - 18*n = 13. Let o be ((-152)/(-30))/(n/175*-10). Which is smaller: -88 or o?
o
Let d = -116 + 104. Let q = -9 - 1. Let z = q + -1. Which is greater: d or z?
z
Let n = 272409 - 5718901/21. Is n bigger than 79?
True
Let o(p) be the third derivative of -p**6/120 - p**5/20 + p**4/6 + p**3/6 + 10*p**2. Let m be o(-4). Let c be (-3)/(m - 4)*11. Is 11 smaller than c?
False
Let o be 2 + 2/((64/(-27764))/2). Is o > -1734?
True
Let k be 14/8 + -2 + 592/64. Let t be 2530/(-75) + k - (-4)/10. Are t and -23 non-equal?
True
Suppose -4*q = 2*x + q - 10, -x + 2*q + 5 = 0. Is 1/65 bigger than x?
False
Let u be 920/299*16/40. Suppose 4*s - 2*g = 12 - 4, 2*g + 8 = s. Which is greater: u or s?
u
Suppose 3*w - 3*n = 429 + 693, -3*w = 2*n - 1127. Which is bigger: w or 382?
382
Let v be 10/(-8)*(-6 + 2). Suppose -5*t - 3*n + 23 = -0*n, -25 = -v*t - 5*n. Let c be 2/t*3/((-9)/(-4)). Which is bigger: c or -0.014?
c
Let u = -4309 - -4310. Which is greater: u or 6/767?
u
Let q(t) = 2*t**2 + 7*t + 72. Let u be q(-8). Suppose -124*a = -u*a. Which is smaller: -2/45 or a?
-2/45
Let m = -106 - -89. Let w = 3.48 - 3.55. Which is greater: w or m?
w
Suppose -19 = -13*n - 4 + 11. Which is bigger: 2685 or n?
2685
Suppose 5*y = -2*d - 2, -5*y - 23 = -4*d + 3. Suppose -d*g = 2*g - 18. Let j(w) = -w**2 + w. Let x be j(g). Which is smaller: x or -2?
x
Suppose 0*f - 4 = -2*f + 2*o, -4*f = -o + 7. Let a be f - -213*20/1422. Which is smaller: a or -1?
-1
Let r = -142 - -1276/9. Let i(l) = -15*l - 27. Let k be i(-2). Suppose 6*p = k*p. Is p < r?
False
Let u(h) = -h**3 + 12. Let x be u(3). Let k be (-3)/x + (-9)/20. Which is bigger: 82 or k?
82
Let v be (-6)/(-9)*(-4 - -238). Let x = -1 + v. Let z be x/(-275) + (-1)/(-5). Is z equal to -1?
False
Let c be ((-4)/6)/(2/(-9)). Suppose f = 3*f - 3*h - 18, -c*f - 5*h - 11 = 0. Let p = -5309/3 + 1769. Which is greater: p or f?
f
Let x = -4 - -12. Let c(f) = -3*f + 17. Let a be c(4). Suppose -3*w = 3*j - 3, -a*j + x = -2. Which is smaller: w or -1/24?
w
Let i = 0.6 - 0.6. Let f = -187 + 361. Let v be (-5 - f/(-36))*2. Which is smaller: i or v?
v
Let w = 8171 + -7802. Which is smaller: w or -6?
-6
Let b = -65 + 65. Suppose -123*h + 119*h - 992 = 0. Let o = h - -9178/37. Which is bigger: o or b?
o
Let v(n) = -4*n**2 - n + 11. Let m be v(-2). Let j = -9 - -2. Let a be (-8)/252*j*m/2. Which is smaller: a or 53?
a
Let y = 8.6 + -8.4. Let j be 6/(-4)*((-100)/(-110) + (-2)/(-11)). Is y >= j?
True
Let v = 235.6 + 838.4. Are -1 and v nonequal?
True
Let g = -144 - -122. Let j = g - -43. Which is smaller: j or 282/13?
j
Suppose b + 11 = 4*b - 5*t, -4*t = b - 15. Suppose 2*w = -11 - b. Which is greater: w or -8?
-8
Let z = 4985/1332 - 125/36. Let u = 25950 - 25951. Is z >= u?
True
Suppose 4180 = 15*t - 4430. Let h = t + -548. Is h greater than 19?
True
Let c be 8/12 - (-106)/3. Let i = c + -109/3. Let x = 8750.4 + -8750. Are x and i equal?
False
Suppose -1144 = -4*s - 5*g, 3*s = 6*s - 5*g - 858. Let p = -241 + s. Which is smaller: 46 or p?
p
Let b be ((-4)/(-10))/(69/10350). Is 69 less than or equal to b?
False
Let r(g) = 64*g**3 - 8*g - 4. Let z be r(-2). Let b be (-8)/(-6)*z/(-16). Which is smaller: 43 or b?
b
Let h = 13 + 254. Let r = 268 - h. Are r and 10/9 nonequal?
True
Let z = -14695955 + 7994592175/544. Let g = -1/544 - z. Let v = 38 - 25. Which is bigger: g or v?
g
Suppose -2*n + 2146 = -4*w, 28 = -4*n + 8. Is w less than -3781/7?
False
Suppose -39*q - 19960 = q. Let g = q + 411. Which is bigger: g or -86?
-86
Let u = -249 - -248.893. Let m = -0.177 - u. Is -0.16 at least as big as m?
False
Suppose -1833 = 5*y - 168. Let z be (41 + -40)*7/(0 + -7). Is y at most z?
True
Let r be ((-23100)/(-25))/22*(-919)/3. Is r > -12866?
False
Let x = 3013 + -3021. Which is greater: 163 or x?
163
Let c = -0.0492 + -2.9508. Let q = 0.393 + -0.793. Is q less than or equal to c?
False
Let c = -22 - -36. Suppose -6*r = 2*j - 2*r + c, r = j + 10. Let o = -455 - -2237/5. Which is smaller: o or j?
j
Let a(s) = -72*s + 2909. Let l be a(40). Is 361/13 > l?
False
Let j(h) = 106*h**3 + h**2. Let y be (1/(-2))/(5/30) + 2. Let u be j(y). Let x be (-192)/u - 4/10. Which is greater: 2 or x?
2
Let k = -140376/5 + 1243724/45. Which is greater: k or -436?
-436
Let q = 2469 + -2443. Is 57 greater than q?
True
Let k be 5*-62*(-448)/(-140). Let r be -1*(-1)/(-16)*k/16. Which is greater: 4 or r?
4
Suppose z = -12*z + 39. Suppose -2*f - 5*w - 151 = 0, f + z*w = 5*f + 315. Are f and -79 non-equal?
True
Let i = -515 - -615. Let g = i - 99.9. Which is smaller: 48 or g?
g
Let u(v) = 4*v**2 + 4*v - 12. Let x be u(2). Let t be 4/x - 10/(-15). Let g be (-64)/32 + t*2*1. Is 2/183 equal to g?
False
Let r be (-6)/8 + 20/((-426240)/(-14768)). Is r greater than 0?
False
Let f(v) = -11*v**2 + 254*v - 19. Let s be f(23). Is 40/13 less than s?
True
Let h(g) = 66*g - 4799. Let u be h(73). Which is smaller: u or 34?
u
Let c(g) = -3*g**3 + 8*g**2 - 5*g + 2. Let r be c(1). Do 2/367 and r have the same value?
False
Let s = -225.6 + 228.6. Which is bigger: s or 1/229?
s
Suppose -2*q - 3*k + 297 = 0, -5*q + 89*k - 88*k + 700 = 0. Is q less than 134?
False
Suppose 0 = 3*p - 3*v - 3, -v + 3 + 4 = -3*p. Is -166/45 greater than p?
True
Suppose -37*x - 40 = -32*x + 5*d, 0 = -5*x - 3*d - 32. Let t be x/(-14)*(75 - 68). Is t at most 5?
True
Let u be (-6 - (-170)/(-51))/((-2)/(-123)). Which is bigger: -570 or u?
-570
Let p(j) = 6*j. Suppose 0 = -6*z - 33 + 3. Let v(u) = u**3 + 5*u**2 + 2*u + 10. Let d be v(z). Let a be p(d). Which is smaller: 6/13 or a?
a
Suppose 92*v - 93*v = 4*l + 327, 0 = -v + 5. Which is smaller: l or -82?
l
Let f(i) = -51*i - 34. Let z be f(-34). Suppose 16*r + r = z. Is 0 <= r?
True
Suppose 4*u - 3*q + q - 1824 = 0, -u - q = -462. Let p = u - 489. Is -28 > p?
True
Let g = 49 - 56. Let j = -22 - -22.29. Let i = 0.71 + j. Is g greater than i?
False
Let l be 9/(-7) - -1 - (-40)/(-56). Let g be (l/(-9))/((-2)/(-7604)*-2). Let n = 211 + g. Is -3/14 >= n?
True
Suppose 0 = -3*o + 12 + 30 - 6. Is o >= -58?
True
Let t = -2604713957/14238 + 182941. Which is smaller: -1 or t?
-1
Let j = -244.0383 + 0.0383. Let z = -243.7 - j. Is -2/195 bigger than z?
False
Let s(w) = -3*w**3 - 33*w**2 - 46*w - 52. Let n(u) = u**3 + 11*u**2 + 15*u + 18. Let t(r) = -11*n(r) - 4*s(r). Let p be t(-9). Which is bigger: p or 37?
37
Suppose -2*l = 3*l - 5. Suppose 0 = -3*b - l + 7. Suppose -3*y = -3*s + 15, -y + s - 13 = b*s. Is y at most as big as -7?
True
Let i = -43204 + 42578. Is i b