Let r(j) = -j**3 + 5*j**2 + 20*j - 86. Suppose -5*u + 17 = 2*b, -4*u = 4*b - 33 + 5. Let c be r(b). Do f and c have different values?
True
Let s be (-131086)/(-42) + (-19)/(5985/30). Which is bigger: s or 3120?
s
Suppose 3*w - z + 68 = 0, -7*w + 2*w - z - 100 = 0. Let r be (-510)/w - 6/21. Let f = 22 - r. Is -9/7 equal to f?
False
Let y(k) = 5*k**3 - 6*k**2 + 7*k + 1. Let q be y(3). Let f = -14 + q. Which is smaller: 87 or f?
87
Let s = -22.96688 + -0.03312. Let a = 2 + -1.5. Let l = -0.7 + a. Is s less than or equal to l?
True
Let h(j) = 262*j - 34. Let y be h(-7). Let n be y/6 + 9 + (-2)/(-6). Which is smaller: n or -303?
-303
Let o(v) = -10*v + 2. Let j be o(-4). Let a(w) = -3*w**2 + 295*w - 5360. Let h be a(74). Is h at most as big as j?
True
Let b(p) = -40*p + 5548. Let k be b(139). Do 17 and k have different values?
True
Let b = -2.4 - -2.7. Let i = 0 + -3.2. Which is bigger: b or i?
b
Let s be (2/(-3))/(23/(-414)). Suppose -4*g - s = -2*y, y = -2*g - 1 + 3. Suppose f = y*b + 16, -5*f + 0*b = b + 25. Is f greater than or equal to -5?
True
Let f = -240/89 + 68044/25365. Let r = -40578 + 40577. Which is smaller: r or f?
r
Suppose -5*s + 5*z + 200 = 0, 0 = -2*s - 0*s + 3*z + 77. Let d = s - 48. Let w(g) = -4*g - 16. Let i be w(d). Which is smaller: 5 or i?
i
Suppose -2*c - 5 = -b, 0*c = -b + c + 10. Suppose -10 = -2*f - 8. Suppose 4*j = -5*k + 19, -k - f = 4. Which is smaller: b or j?
j
Let c = -9755 + 9709. Which is smaller: -34 or c?
c
Let i = 1229 - 1229.1. Which is bigger: i or 169/6?
169/6
Let v = 37 - 49. Let y be 78/(-8)*(-92)/v. Let j = y - -74. Which is smaller: j or -2/11?
j
Let v be (-279 - -282)*(2 + 2/(12/(-11))). Which is greater: -0.1037 or v?
v
Let f = 80447 - 7240309/90. Let q = f - -23/18. Let l = 149320/83 + -1799. Is q at most l?
False
Let m(p) = 13*p - 34. Let k be m(9). Let y = k - 33. Let u = 50 - y. Which is smaller: u or 2/13?
u
Let n = -1034 - -942. Which is smaller: -80 or n?
n
Let t = 18768 + -18769.4042. Is t < 2?
True
Let b be (-1*6/156)/(1/(-120)). Are 2/67 and b equal?
False
Let s be 7*-2*11/(-154) + 1*-1. Is s < -36.9?
False
Let i = 1.59 - 1.49. Let s be 17 + (-12 - 3) + (-134)/66. Which is smaller: s or i?
s
Let t(d) = -6*d - 34 + 72 - 60. Let c be t(-4). Let p be ((-9)/c)/((-42)/(-14)). Which is greater: p or 0.3?
0.3
Let y be (-4)/14 + (-623)/49 + 9. Let s be ((-99)/(-22))/(3/y). Which is smaller: s or -7?
-7
Let v(s) = s**2 + 66*s + 67. Let i be v(-59). Which is bigger: -344 or i?
-344
Suppose -4*j = -u + 14, -6*j + 2*j - 2 = 5*u. Let h = 155 + -159. Let c be h*3/(-66) + 644/693. Is c <= u?
True
Let j = 1307748/421 - 305222233/44205. Let h = 24722/105 - j. Let k = 4026 - h. Is k at most as big as -8?
False
Let m(x) = 6*x**2 - 4*x - 5. Let d be m(4). Let o be ((6 - 7) + -5)/((-3)/4). Suppose d + 133 = o*i. Which is smaller: i or 25?
25
Suppose 5*x + 140 = 3*k - 50, x + 2 = 0. Which is greater: 80 or k?
80
Suppose 4*m = -3*z + 5, -2*z - 3*m + 3 - 1 = 0. Let r(i) = -i + 7. Let h be r(z). Is -2/387 smaller than h?
True
Let w(g) = 2*g**3 - 66*g**2 + g - 33. Let v be w(33). Which is bigger: 5.05 or v?
5.05
Suppose -3*r - 5*q = -9 + 28, 3*r + 3*q + 9 = 0. Suppose r*m = 4 - 0, -3*m = -3*w - 81. Let s be (-2)/10*w/(-20). Which is bigger: -0.39 or s?
s
Let w = 738503/99 - 66586/9. Is 60 <= w?
True
Suppose 16 = -4*u, 4*n = 5*u - 52 - 84. Let a(f) = -9*f - 351. Let z be a(n). Which is greater: -3/605 or z?
z
Let i = 605092/674975 - -2/23275. Which is smaller: 1 or i?
i
Let k = -87 - -69. Let i = -5.18 - -3.18. Are k and i non-equal?
True
Let c(i) = i**2 + 7*i + 2. Let d be c(5). Let m = -55 + d. Let n be (-2)/m + (-4 - 30/(-7)). Which is greater: n or -3/11?
n
Let h(t) = 2*t**3 - 45*t**2 - 16*t + 144. Let b be h(23). Which is greater: b or 308?
308
Let b = -16 - 125. Let f = b + 133. Which is smaller: f or -2/11?
f
Let m be 79 + -59 - (-7508)/(-376). Let u(a) = -a**3 - 5*a**2 + 7*a + 7. Let g be u(-6). Which is bigger: g or m?
g
Let l = -130 + 220. Let c = -31 - l. Which is smaller: 1 or c?
c
Let n(b) = -15 - 5*b + 13*b + 26 + 9. Let c be n(-5). Is -94/5 not equal to c?
True
Suppose -6*n + 40 = -8. Let q be (14/n)/((-11)/(-352)*-4). Do -14 and q have the same value?
True
Let w be 2 - (-2*8 + 2). Suppose t - 5*a - 35 = 0, -t + a - 59 = -3*t. Let x = t + -15. Is x bigger than w?
False
Let r = -149 + -198. Are r and -347 equal?
True
Let k(y) = 12*y - 120. Let q be k(18). Is q at most as big as 0.11?
False
Let b = -0.027 - -0.467. Let x = 64 + -62.44. Let n = x + b. Is 5 at most n?
False
Let u = -6506 + 6514. Let i = 0 - -20. Suppose 0 = 3*c - i - 1. Is u greater than c?
True
Suppose 22*l - 117666 = -8898. Let v be (-4024)/l - (-20)/24. Suppose y + 2*x = 4*y - 3, 2*x = 0. Is y greater than v?
True
Let w = -545 - -536. Is w != -151?
True
Let f = 18142 - 18305. Are -106 and f nonequal?
True
Let n = -477 + 476.9779. Let k = n + 0.1221. Which is smaller: k or 3.63?
k
Let x be 8/12 + ((-2444)/(-12))/(-1). Let v = -184 - x. Are v and 19 equal?
True
Let r be (1/(-1) - -4)*26. Suppose 9*q - r + 33 = 0. Let x be -1 - 5/q - (-70)/36. Which is smaller: 0 or x?
x
Let v be 9/(-6)*(-40)/15. Let o be 5/v*(-52)/(-10). Suppose -5*c + 602 = 572. Is o less than or equal to c?
False
Suppose 11*y = 4953 - 14072. Which is smaller: y or -827?
y
Let y = -6318 + 4894. Is -1424 bigger than y?
False
Let b = -2 - -1.9. Let j = -91 + -79. Let a = j + 147. Which is smaller: b or a?
a
Let m be (6/33*-13 - 0) + (-19 - -21). Is m equal to 0.192?
False
Let h(c) = c**2 - 9*c + 36. Let b(u) = -2*u**2 + 17*u - 72. Let s(m) = 4*b(m) + 9*h(m). Let z be s(9). Which is greater: z or 3/7?
3/7
Let s = -0.074 + 22.474. Let t = s - 4.4. Let l = t - 17.9. Is l <= -5?
False
Let y = 48 + 79. Let a = y + -126.9. Is 0.086 bigger than a?
False
Let c be (-14 - 2) + -3 + 18. Which is greater: -10.402 or c?
c
Let f(p) = -p**3 - 18*p**2 + 8. Let m be f(-18). Let a be (m/6)/((-56)/(-12) - 5). Which is greater: -2 or a?
-2
Let k(b) = -b**3 + 16*b**2 + 19*b - 34. Let p be k(17). Suppose -3*x = -0*x + 12, p = c - 2*x - 7. Is -2/191 greater than or equal to c?
True
Let j = 18442 + -18512.1. Is j less than -1?
True
Let f = -2312.7 - -2314. Do f and -83/4 have the same value?
False
Let o = 16 + -15.7. Let v = 117 + -116.14. Let y = v - -0.14. Is o equal to y?
False
Let p = 19633 - 19449. Is p greater than 210?
False
Let i be (-32728)/410 - 0/(-15). Let t = -399/5 - i. Suppose -4*p - w = 0, 0 = 12*p - 11*p + 3*w - 11. Which is smaller: t or p?
p
Let k be 22/18 + 1 + -2. Let g = -46.96 + 48. Let f = -2.04 + g. Is f > k?
False
Let g = 804 - 903.8. Let h = -99.7 - g. Let v be (1 + 5)/(6/4). Is h at most v?
True
Let w be 221/(-858) + (-8)/(-48). Suppose 8*v + 10 = 7*v. Let f be (-9)/(-15) - (-6)/v. Which is smaller: f or w?
w
Suppose 4*b - 747 = -q, -2*b - 4*q - 53 + 423 = 0. Which is smaller: 375/2 or b?
b
Suppose 4*t = 6*i - 3*i + 19, -5*t + 3*i = -23. Suppose -4*g = t*v - 108, 0 = 4*v - 5*g + 4*g - 83. Do v and 22 have the same value?
True
Let y = 99 - 100. Let b be ((-4)/y - 8 - 15) + -1. Let c = 35/2 + b. Which is smaller: -1 or c?
c
Let g = -93565 - -94040. Let v be ((-950)/8)/((-2)/8). Is v greater than or equal to g?
True
Let z be (2/(20/(-194)))/(9/(-189)). Let r = 408 - z. Are r and 10 unequal?
True
Suppose 5*j = 2*v + 227, -4*v + 15*j = 13*j + 430. Which is bigger: v or -43?
-43
Let q be (48/(-96))/(2/(-4))*3742. Do 3742 and q have the same value?
True
Let i be 0/5*(-17)/(-51). Is i greater than -3/2018?
True
Let z be ((-1)/4)/((-7212)/(-96)). Let b be 2*((-15)/6)/5. Which is smaller: b or z?
b
Suppose 319 = -7*x + 1935 + 617. Is 324 at most as big as x?
False
Let j be 60/(-14)*1*(-84)/(-342). Is -0.07 equal to j?
False
Let d be ((-5)/(-65))/((-10)/(-130)). Suppose 25*k + 5 = 20*k - h, 0 = k - h + d. Which is smaller: 1/84 or k?
k
Suppose 5*r - 627 - 1153 = 0. Suppose -r - 316 = -12*w. Suppose 0 = -6*c - w + 230. Which is greater: 30 or c?
30
Let p(f) = -f**3 - 5*f**2 + 5*f - 5. Suppose 12 = 4*y - 6*y. Let z be p(y). Let u be z/1*-3 + (-45)/(-25). Are -0.1 and u unequal?
True
Suppose f + 5*a + 55380 = 0, -5*f + 2*a + 61209 - 338136 = 0. Let g = f - -1938291/35. Let h = g - -764/385. Is -2 <= h?
False
Let z be 104/(-140) + (-24)/(-21). Let v = 558/5 + -38512/345. Is z sm