r s?
s
Let w = 2118618 + -40147805/19. Let a = -5577 + w. Which is greater: 0 or a?
0
Let k = -0.402 + -91.948. Let l = -96 - k. Is -0.1 less than or equal to l?
False
Suppose 2*j = -a + 31, j - 3*j = -2*a + 56. Let y(i) = 60*i - 4. Let u(g) = -30*g + 2. Let m(c) = -5*u(c) - 2*y(c). Let h be m(1). Which is smaller: h or a?
h
Let f = -316 + 317. Let b be -23 + (-1 + 8 - 2)/f. Which is bigger: b or -20?
b
Suppose -15 = 5*s + 5*v - 0, 2*v + 4 = -4*s. Which is bigger: 1/355 or s?
s
Let m = 0 + -5. Let d be (-12)/(-9) + (-15770)/11850. Let r = -2213/395 + d. Is r less than m?
True
Suppose -7*m - 14 = -0. Let r be m + 8 + (-13 - -8). Is r < 11?
True
Let o = 210 + -146. Suppose 3*m - 59 = o. Let v = m - 71. Which is smaller: -31 or v?
-31
Suppose -5*c = 4*c - 90. Suppose 2*v = 0, -4*v + 96 = 3*n + v. Suppose y - 4 - n = -5*w, -2*y = 4*w - 30. Which is smaller: w or c?
w
Let c = -217 + 202. Let q(i) = 32 - 6 + 2*i + 9. Let d be q(c). Do d and 9 have the same value?
False
Let k be (-2)/10 + 151420/100. Let u = 4583/3 - k. Which is smaller: 15 or u?
u
Let s = -0.21 - -0.399. Let k = s - 0.289. Is -44 <= k?
True
Suppose -3*l - 170*l = 110*l. Which is smaller: -9/1885 or l?
-9/1885
Let b = -6 + 11. Suppose -p = -5*v + 22, -4*v = -5*v - 4*p + 17. Suppose -3*g + n = -g - 7, v*g - b*n = 20. Do g and 3 have different values?
False
Let d = 11838 + -11180. Is 654 at most as big as d?
True
Let m = 4.10805 - 4.032. Do -0.1 and m have the same value?
False
Suppose 3*y = -u + 551, -2*y - u = -115 - 252. Suppose g = -5*o - y, 3*g = -2*o + o - 48. Suppose 1893*v + 238 = 1886*v. Which is smaller: o or v?
o
Let z be 228/76 + (2 - (-38)/(-8)). Which is smaller: 36 or z?
z
Let h = 65.185 + -65. Let v = h - 8.185. Is v < 6?
True
Let u = -169 - -174. Suppose -5*a = -2*t + 348, u*t + 99 = -a + 24. Suppose 4*x - 8*x - 276 = 0. Which is greater: a or x?
x
Let j = -187.72 - -188. Let g = j - 0.37. Which is greater: 7 or g?
7
Suppose 2 = -2*w, -2*w + 5*w + 37 = 2*u. Let z = -88 + 168. Suppose -z = 28*m - 33*m. Which is smaller: u or m?
m
Let r = -938/13 + 72. Let y(s) be the third derivative of s**6/120 + 2*s**5/5 + s**4/24 + 23*s**3/6 - 23*s**2. Let n be y(-24). Is n > r?
False
Suppose -5*g + g = 72. Let l(o) = -20*o - 11*o + 81 + 26*o. Let n be l(20). Which is bigger: g or n?
g
Suppose 0*d - 460 = -4*d. Suppose -8*u - 85 = -3*u - 2*b, d = -5*u - 4*b. Let h = u - -18. Is -1/83 not equal to h?
True
Let i = -2926.5 + 2926.5. Which is smaller: i or -1139?
-1139
Let s = 0.28 + 3.89. Let d = 1.37 - s. Is -2 < d?
False
Let a(k) be the second derivative of -k**4/12 - 5*k**3/6 + 25*k**2/2 + 163*k. Let r be a(-8). Which is smaller: 0.078 or r?
0.078
Let f be (0 + -2 + 2)/(-2). Let s = 14963 + -14963.012. Is s > f?
False
Let n = 1 - -1. Let q be (-48)/(-840)*(-140)/(-8). Is q less than n?
True
Let m = -704 - -259. Let v = -248 - m. Do v and 196 have the same value?
False
Let t = -899.1 + 1090. Let s = t + -191. Which is smaller: s or 11?
s
Suppose -2*x - 20 = -20. Suppose -2*h + x*q + 5 = q, -5*h + 14 = 2*q. Suppose 2*a = -h*a + 4*a. Which is smaller: -1/6 or a?
-1/6
Let b(c) = -8*c**2 - 631*c + 78. Let l be b(-79). Is l at least as big as 1803?
False
Let l = -120.2 - -137. Let u = 17.1 - l. Let j = -4.1 + 1.1. Which is bigger: u or j?
u
Let g = 5 + 1. Let l be 6/8 + (-2)/(-8). Let b be (l + (-5)/g)/(1/(-2)). Is 11/2 smaller than b?
False
Suppose -5*d = 4*i - 8, -d - 3 = i - 4. Suppose -n = 4*q + 64, -41 = 3*q + 3*n - d*n. Is -44/3 greater than or equal to q?
True
Let m = 53 - 57.4. Let k = m - -17.4. Let r = 20 - k. Is -5 at least as big as r?
False
Let j be (-384)/(-192) - ((-8)/42)/((-8)/2748). Is -64 at least j?
False
Let y(o) = -o**2 - 15*o + 24. Let j be y(-16). Suppose -3*r + j = -r. Suppose 5*k + 1 + r = 0. Do -2/3 and k have the same value?
False
Let b(d) = -2*d**3 - 84*d**2 + 85*d - 44. Let w be b(-43). Let v(y) = y**3 + 10*y**2 + 7*y - 4. Let m be v(-7). Let r be ((-12)/(-30))/((m/10)/w). Is r < 1?
True
Let k = 11324/7 - 1621. Let y(p) = p**2 - 7*p - 3. Let h be y(8). Suppose -b - 4*b = -4*w + 16, 0 = h*w + 4*b + 21. Which is smaller: k or w?
k
Suppose -79 = i - 2*m, 2*i + 2*m - 411 = 7*i. Let h be 83/(-2)*(-1 + (-18)/(-6)). Is i less than h?
False
Let q be (-2086)/(-532) + ((-3)/(-2))/3. Suppose 23*f + 4 = 24*f. Are q and f equal?
False
Let b be ((-2 - -1)*-1)/((-26)/156). Let t be -2 + -2 + -2 - (b + 2). Is 28 less than or equal to t?
False
Let q = 2431 - 2432. Which is bigger: q or 3/1205?
3/1205
Let j = -313.0462 - -0.0462. Let p = 217 + j. Which is bigger: p or -0.2?
-0.2
Let t be (-3)/(-2)*(3/6*18 - 11). Is t not equal to -103/34?
True
Let a = -889 - -907.11. Let i = a - 18.1. Is i bigger than 9?
False
Suppose 163 = 2*y - 0*y + 3*l, 4*y - l - 347 = 0. Which is smaller: y or 84?
84
Let i = -2/12509617963 - -175557964444251659/10645684886513. Let h = -16491 + i. Which is greater: -1 or h?
h
Let a be (-9)/(-2) + -3 + 42/4. Suppose a*h + 1420 = -8*h. Do h and -73 have different values?
True
Let n = 19 - 14. Suppose 4*z + 69 = 3*c, -101 = -n*c - z + 3*z. Suppose -88 + c = 3*b. Is -24 equal to b?
False
Suppose 4*l - 2*s = -86, -1345*l + 1350*l = 3*s - 103. Let t be (3*11)/((-15)/12). Is l greater than or equal to t?
True
Suppose -412 = -5*t + c, c - 85 = -t + 1. Suppose k + k - t = 3*j, 4*j = -4*k + 176. Let m = 2328 + -2287. Is m equal to k?
False
Let b = 0.1322 + -793.1322. Let a = -792 - b. Is 119/5 < a?
False
Let b be (-1 - (-1116)/308) + -5. Let v be (-4)/((-44)/(-23)) + -1. Let d = v - b. Does 0 = d?
False
Let p(f) = -3*f**3 + 3*f**2 - 3*f - 1. Let l be p(6). Let c = -104301/5 + 203039/10. Let a = l - c. Which is smaller: -3 or a?
-3
Let k = 11 + -27. Let c be (k/6)/((-150)/(-54)). Which is smaller: c or -1?
-1
Suppose 1202 = 194*w + 407*w. Let o = 3 - 1. Let d be 3/(-69)*o + 0. Are w and d equal?
False
Let i = 2165035168 + -859516818688/397. Let r = i + -5398. Which is bigger: r or 1?
1
Let k(m) = -2*m**3 + 17*m**2 - 44*m + 585. Let v be k(14). Are -2190 and v nonequal?
True
Let r be 463/39 - 25/75. Let u = 4924/429 - r. Let w(b) = b**3 - 20*b**2 + 19*b + 1. Let v be w(19). Is v less than u?
False
Let u = 3387.88 + -3389. Is 0 at least u?
True
Suppose -5*u + 462 = 5*r + 52, -3*r + 406 = 5*u. Let y be 4/9 + (-75896)/(-954). Is u < y?
False
Suppose -16*q + 19*g - 20*g = 10, 2*q - 10 = -2*g. Does q = -4/9327?
False
Suppose -5*o = 0, 4*h + 0*h - 5*o = -400. Let l be 18/(-4)*h/275. Which is bigger: l or 2?
2
Suppose -4*i + 30 = -2*q, -13*i + 27 = -11*i + 3*q. Let n(l) = l**2 - 11*l + 17. Let h be n(i). Which is greater: h or -2/429?
-2/429
Let p be 2 + (-1)/((-50)/(-124)). Let v(o) = 3*o**2 - 711*o + 4158. Let f be v(6). Is f bigger than p?
True
Suppose 3*i - 4*f - 629 = 0, -3*i + 8*f = 9*f - 619. Let z = -13249/64 + i. Which is bigger: z or 1?
1
Let u be (8/(-3014970)*17)/(9300/(-353373354174)). Let b = u - 2/46732035. Let i = b + -1714. Which is bigger: 1 or i?
1
Let z = 39.71 - -39.32. Let l = z - 80. Let u = l + 1. Is 0.1 at most as big as u?
False
Let z = 0.0507 - 0.0329. Let k = z + 0.0222. Which is smaller: 6 or k?
k
Suppose 8 + 14 = 11*h. Suppose -y + h*x - 200 = 0, -y + 3*x = -0*x + 195. Which is bigger: y or -211?
y
Suppose -4*u + 8 = -4*n, -6*u = -u + n + 2. Suppose u = 4*y - 2*m + 29 + 7, y - 2*m = -12. Let t be (4/27)/((-9)/(108/y)). Which is smaller: t or 0?
0
Let l = 1573573/4 + -17940151/44. Let d = -14320 - l. Which is smaller: 16 or d?
16
Suppose -5*s + 3*i + 1264 = 0, 2*s - 3*i - 517 = 2*i. Let j = 22589/90 - s. Let t = -8 + 9. Which is greater: j or t?
t
Let r = -3.721 - 5.279. Which is smaller: -1 or r?
r
Let j = 12 + -40. Let c be j/3 - 13/(-39). Let b = -1.8 - 0.2. Which is smaller: c or b?
c
Let r(b) = -b - 1. Let y be r(0). Let v(c) = 14*c. Let j be v(y). Is -15 equal to j?
False
Let j(f) = 60*f - 1381. Let a be j(23). Which is smaller: 704 or a?
a
Suppose 6878*f - 6930*f = -58864. Which is bigger: 3397/3 or f?
3397/3
Suppose 0 = -3*q - 5*a - 31, -4*q + a - 61 = q. Let d be (q/42)/(548/(-28)). Suppose -5 = 5*r, 4 = -4*b + 2*r + 2. Which is bigger: d or b?
d
Let k be (-28)/(-10)*(-11 - -14) - 8 - (-11540)/(-100). Suppose 4*h + 282 = -174. Do h and k have the same value?
False
Let n be (-39)/(-42) - 26/(-364). Is -54/143 greater than or equal to 