33 - -3.70567. Which is smaller: -582/5 or u?
-582/5
Suppose -2*y + 18 = 4*c, -3*y - 2*y + 27 = 4*c. Suppose -c*w = 5*w + 504. Let o = w - -6. Is -57 < o?
False
Suppose -301 = 4*p + z, -2*z - 49 = p - 7*z. Let i = -195 - p. Which is bigger: i or -2/3?
-2/3
Let d = -418 + 3758/9. Let t = 233 + -362. Let j = -138 - t. Which is greater: d or j?
d
Let g = 69.078 - 69. Let m = 79.078 - g. Let d = -65 + m. Which is greater: -0.3 or d?
d
Let m(d) = -246*d - 1662. Let u be m(-11). Which is bigger: 1042 or u?
u
Let b(t) = -t**3 - 19*t**2 - 16*t + 37. Let c be b(-18). Suppose c = -2*y + 3. Let m be (-34)/(-145) + (-2)/10. Is m greater than y?
False
Suppose -7*h + h + 132 = 0. Suppose 9*y + h = 76. Suppose -2*i = -y*i. Which is bigger: i or -2?
i
Let p = -43133 - -61520. Is 18387 less than p?
False
Suppose -21 = 5*l + 34. Let j = l - -11. Let m(k) = -2*k**3 - 6*k**2 + 8*k - 9. Let u be m(-4). Which is greater: u or j?
j
Let f(x) = -x**3 + 2*x**2 + 5*x - 4. Let t be f(3). Let o be (-50784)/(-4416)*4/(-23). Is t != o?
True
Let w be ((-31)/(217/(-2)))/((-1)/(-1771)). Is 508 at least w?
True
Let s = -125/9 + 259/18. Which is bigger: s or -3607?
s
Suppose 0 = -8*u + 3*u + 135. Let t = 61 - u. Suppose -t*s = -33*s - 21. Which is bigger: s or 19?
s
Let w = -0.22 - -0.02. Let c = -5.2 - w. Let n(v) = -v**2 - 24*v + 479. Let b be n(13). Which is smaller: b or c?
c
Let c = -61 + 65. Let v(g) = -2*g**3 + 9*g**2 - 17*g + 8. Let j be v(c). Which is smaller: j or -36?
j
Let n(v) = -6*v**3 - 35*v**2 + 7*v + 11. Let z = -449 + 443. Let m be n(z). Which is smaller: -19 or m?
-19
Let s be 185006/18900 - 2/7. Let k = s - 2/675. Suppose -30 = -2*r + 3*n, 11*r - n - 31 = 8*r. Which is bigger: k or r?
k
Suppose -w = 3*s - 126 - 167, -4*s = -w + 328. Let v be w/(-49) - 4/14. Suppose 21 + 0 = -3*h. Is h > v?
False
Let l = -22.9445 + 33. Let g = -0.0555 + l. Is g >= -1?
True
Let j = 9 - 26/3. Suppose -23*y = 20 + 26. Let i be y/5 - 954/90. Is i bigger than j?
False
Suppose 4*b = -3*g + 1 + 11, 2*b + 3*g = 0. Suppose -l - b = -4*l. Let a = l - 12/7. Which is greater: a or 13?
13
Let l = 90951 + -635073/7. Which is bigger: 227 or l?
227
Let j(f) = 47*f + 82. Let q be j(3). Let s = q + -204. Is s greater than 19?
False
Let n be 7/(-5) + (-38)/(-5510)*203. Let o = -49.41 + 49. Which is smaller: o or n?
o
Let d = -3399/19 + 68799140/384579. Do d and -1 have the same value?
False
Let b(g) = g + 13. Let s be b(-3). Let h(n) = 4*n**2 + 2*n - 2. Suppose 25*r = 28*r + 6. Let z be h(r). Is s < z?
False
Let z(n) = 2*n**2 + 33*n + 48. Let x be z(-15). Let d be ((-170)/(-58) - x)/((-4)/18). Which is smaller: 2/3 or d?
d
Let y be (-3*2/4)/(2/4) - -2. Which is smaller: -5/378 or y?
y
Let z = 11627 - 11202. Which is smaller: -13 or z?
-13
Suppose 2530*n = 2487*n - 8256. Which is smaller: -1343/7 or n?
n
Let g = 547729 + -403676153/737. Is 0 >= g?
False
Let l be 2 - -3 - 58/16. Let t = -29/24 + l. Do t and 4 have the same value?
False
Suppose 51 = -703*d + 51. Are d and 2/66819 unequal?
True
Let z = -147508/213089955 + 10/15537. Which is smaller: 0 or z?
z
Let k = -2827 + 2835.8744. Let h = 55.0546 + k. Let o = h + 0.071. Is o not equal to 1/2?
True
Let o = 130.1616 + -0.1616. Is o > -0.4?
True
Let d = -6066 + 3134. Let i be d/(-33) + 8/24. Let r = 89 - i. Which is greater: 1/5 or r?
1/5
Let h be -8 + 6 + -2 + 4 - -4. Suppose 4*w - l = 2*l + 94, -3*w - h*l = -83. Let p be (-6)/65 + 10/w. Do p and 0 have different values?
True
Suppose 13*z + 3505 = 3505. Let t = -206/177747 + 1/331. Which is smaller: t or z?
z
Suppose -17*u - r = -16*u - 6, 0 = 2*u + 5*r + 12. Which is greater: -140 or u?
u
Let n = 3827 + -2117. Let s be (-1)/(-6) - n/10180. Which is smaller: 1 or s?
s
Let l = 190 - 141. Suppose -39*b = -l*b + 960. Let d = -81 - -178. Which is bigger: b or d?
d
Let n(t) = 19*t**3 - 8*t**2 - 3*t + 4. Let a be n(2). Let s = 2719/23 - a. Which is smaller: 0 or s?
0
Suppose r + 20 = 5*z + 10, -3*z = -6. Let s = -3238 - -974636/301. Which is smaller: r or s?
s
Let n be (658/517)/((-8)/(-22)). Is n <= -308?
False
Let p be (-1495 - 20)*6/(-45). Which is smaller: 223 or p?
p
Let a be (-1)/((-6)/(-3))*-6. Suppose -23 = 4*f - a*f. Suppose 6*c = c - 711 + 596. Is f at most as big as c?
True
Let y = 44.913 + -0.813. Let j = y + 18.9. Is j != -5?
True
Let p = 341 + -239. Let o = -140.3 - -140.4. Are p and o equal?
False
Let o = -8 - -7.9796. Let n = o + 0.1304. Do 2 and n have different values?
True
Suppose 0 = 4*a + c - 8483, -70*a + 72*a = 2*c + 4244. Is a at least 2121?
True
Suppose 58*g - 45691 - 16616 = 43195. Which is smaller: 1821 or g?
g
Suppose 350*n - 365*n = 150. Is -67/10 at most as big as n?
False
Let l = 0.0642 + 0.9358. Is l smaller than 65.3?
True
Suppose -q + 2*k + 3282 = 0, -2*k - 13122 = -18*q + 14*q. Is 3280 greater than or equal to q?
True
Let z = 11754 + -11614. Which is bigger: z or 65?
z
Suppose -56*c + 52*c - 1068 = 0. Let d = 691 + c. Is d smaller than 423?
False
Let h(x) = -182*x - 74. Let q be h(-4). Let o = 647 - q. Are -0.26 and o unequal?
True
Let n be 20783/103740 - 3/15. Is n greater than -1?
True
Let v(w) = w**2 + 3*w + 1. Let o be v(-3). Let s be ((-131)/2 - 9)/((-1)/6). Let l = 18325/41 - s. Is l bigger than o?
False
Suppose -1433*i = 3*g - 1434*i + 1239, -5*g - 2063 = -i. Is g <= -11?
True
Suppose -3*y + 3*p = -12, -16 = 47*y - 42*y + 4*p. Is -6/2591 less than or equal to y?
True
Let c = 216 + -108. Suppose -2*g = 3*y - 22, 9*y - 2*g = 7*y - 2. Suppose k = y*k - c. Is k != 36?
False
Let j = 5.82 + -76.82. Let z = -29 + 32. Which is smaller: j or z?
j
Let v = 47.8 + -44. Let f = -17.6 - -22.4. Let n = f - v. Does -7 = n?
False
Let c = -1/48 + 65/48. Suppose 3*b - 7 - 9 = 4*w, b = -w - 4. Is w at least as big as c?
False
Let s(k) = -k**3 - 12*k**2 - 9*k + 2. Let q be s(-11). Let i = -604 - -605. Let u be -3*5/q + (1 - i). Which is smaller: u or -1?
-1
Suppose 5*k = 22 - 2. Let m = -75 - 25. Let u = m + 101. Is k > u?
True
Let m = -218.9888 + -0.0112. Let i = -223 - m. Are i and -0.1 unequal?
True
Let z be (73 - 93)/((-16)/2100). Which is smaller: z or 2624?
2624
Let t(u) = -u**2 - 5*u - 22. Let y(w) = -w**2 - 5*w - 22. Let r(s) = 3*t(s) - 4*y(s). Let z be r(-5). Which is greater: 4 or z?
z
Let r(o) = -o - 21. Suppose -2*n + x + 0*x - 18 = 0, 4*n + 36 = -5*x. Let d be r(n). Let s be 12*16/d + 2. Which is smaller: -16 or s?
-16
Suppose -93*i + 88*i + r - 9401 = 0, -r - 9409 = 5*i. Which is bigger: i or -0.1?
-0.1
Suppose 3*h + 106*t = 105*t - 15177, -5*h + 3*t = 25323. Does h = -5061?
True
Let h = 276 + -626. Which is bigger: -3 or h?
-3
Let x(v) = 2 + v**2 + v**2 - 2*v + 4*v**2 - 3*v**2. Let u be x(1). Suppose 30 = u*f - 5*f + l, -f - 5 = -3*l. Is f != -17?
False
Let j(y) = -2*y - 60. Let u(q) = -q - 25. Let w(c) = 3*j(c) - 7*u(c). Suppose 3*z - 16 = -1. Let t be w(z). Is -1 less than or equal to t?
True
Let n be ((-4)/(-12))/(2/6). Suppose 0*b + b - 2*s - 316 = 0, 5*s - 15 = 0. Let q be ((-345)/b)/((-18)/7). Which is bigger: q or n?
n
Let u(m) = m**3 - 7*m**2 - 9*m + 7. Let a be u(7). Let l(d) be the second derivative of 11*d**3/2 - 23*d**2/2 + 227*d. Let p be l(-1). Are p and a non-equal?
False
Let n(x) = x**3 - 9*x**2 - x + 7. Let u be n(9). Let f be (u/(-268))/((28/(-12))/(-7)). Is 0 bigger than f?
False
Let j be ((-2)/(-4))/((-6)/(-2520)). Suppose -5*x - 2*u = -x + j, 4*x + 4*u = -216. Let q = 52 + x. Is -3/28 less than or equal to q?
True
Suppose 0*g + 12 = 4*g. Suppose -5*m + 130 = 4*z, -g*z + 65 = -3*m - 46. Let t(i) = -1998*i - 21978. Let l be t(-11). Which is greater: z or l?
z
Let b be 6/((42/56)/((-1)/(-2))). Suppose -g = 4*g - 3*q + 8, -2*g + 2*q = b. Let t = 125 - 1129/9. Which is smaller: g or t?
g
Let a(u) = u**3 + 3*u**2 - 11*u - 5. Let h be (1 + 0/1)*-5. Let k be a(h). Suppose k = -d - 0*d - 2. Which is smaller: d or -3?
-3
Let u = -1450/1281 - 2/183. Let a be (1 + -5)/((-2)/(-1)). Let f be (-4)/a - 9/3. Is f at most as big as u?
False
Let h = 56 - 10. Let q = h + -32. Let v = q - 17. Which is greater: -5 or v?
v
Suppose -2*g = -y + 8010, 4*g - 14*y = -18*y - 15972. Is -4002 at most g?
True
Let d(r) = 725*r**2 - 1731*r + 6928. Let b be d(4). Is 11603 > b?
False
Let z be 6/5*55/33 + 1. Let m be (-3)/2*8/z. Let c = -3 + -4. Are m and c non-equal?
True
Let 