 260*w + 3. Let r be p(-9). Which is smaller: r or 10607?
r
Suppose 0 = 3*n + 3*c - 18, -n - 4*c = n - 8. Suppose 2*l - 5*l + n = -v, -4 = -l. Suppose 3*r + 3 = -4*x - 5, 0 = -4*r + 2*x + v. Which is bigger: r or -1/22?
r
Let a = -187456/297 + 6942/11. Let y(j) = -j**3 + 5*j**2 - 5*j + 3. Let m be y(4). Which is greater: m or a?
a
Let p = -0.8 - 177.2. Let c = -179 - p. Which is smaller: c or 5/7?
c
Let q(k) = 2*k**2 + k + 2. Let m be q(5). Let g = m + -50. Suppose 3*c - g*c = -8. Which is bigger: c or 0?
c
Let t be (1 + -1)*4/(-8). Let a = 5861635/1344 - 13084/3. Is a <= t?
False
Let w be (4/3)/((-11)/3). Suppose o + l + 3 = -312, -3*l + 957 = -3*o. Let s = 316 + o. Which is greater: s or w?
w
Suppose -3*v = -o - 11, o - 53 = -5*v - 56. Is 118/271 at most v?
True
Let c be ((-1)/4)/((-24)/(-32)). Suppose 3*s - 91 - 1067 = 3*t, 4*t + 1553 = -5*s. Let y = -8129/21 - t. Is y bigger than c?
True
Let o be 2492/24 - (-4)/24. Suppose o = 2*r + 82. Is r > 67/6?
False
Suppose -49*x - 260680 = 103*x. Do x and -1716 have the same value?
False
Suppose -2*n - 2*o = -734, o - 1441 = 245*n - 249*n. Which is bigger: 356 or n?
n
Let a = -0.04227 + 331.04227. Is 3 < a?
True
Suppose -5*j + 115 = -4*o - 221, 449 = -5*o - j. Let g(a) = a**3 - 50*a**2 + 97*a + 83. Let x be g(48). Let f = o + x. Which is bigger: f or 41?
f
Suppose 10 + 8 = -6*s. Let u be 3 + (-8)/(-1 + s). Let l be 14/6*(2 - u). Is -7 < l?
False
Let h(v) = -2*v**3 + 11*v**2 - 5*v + 1. Let y be h(5). Which is smaller: y or -2/1361?
-2/1361
Let z(u) = -1666*u + 15049. Let w be z(15). Is w smaller than -9940?
True
Let r = 15806 + -22052. Is 2 smaller than r?
False
Let v = 19467 + -20654. Is v < -1192?
False
Let g = -460 - 354. Let r = g - -870. Is r at least as big as 58?
False
Let c = -3 + 4. Suppose 2*n = 4*n - 116. Let x be -1 - (4 - 292/n). Is c at most as big as x?
False
Let s = 4 + -4.3. Let k = 0.29 + s. Let l be (96 + -101)*(3 + (-16)/20 + -2). Which is greater: l or k?
k
Let u = 689.87036 + 0.12964. Is u at most as big as -5/2?
False
Let a(p) = 34*p + 1359. Let t be a(-40). Which is smaller: t or -112/47?
-112/47
Suppose -2*x + 162 = -204. Let d = x + -189. Is 10 > d?
True
Let d = 23053709292146873/57698 + -399558204642. Let a = d + -1/3394. Is a less than 11?
False
Suppose -m - 3 = -2*p, 3*m - 16 = 4*p - 21. Do 10/1149 and m have different values?
True
Suppose 5*h = -3*z + 90 - 55, 0 = -5*h + 35. Which is smaller: 45/269 or z?
z
Let z(b) = -b**3 - 3*b**2 + 2*b + 3. Let m be z(-4). Let f = m - 8. Suppose 3*g = -9, 0 = -4*s + 9*s + g + f. Are 0.03 and s equal?
False
Let a = -21.21 + 2.31. Let h = a - -17.865. Let w = -0.035 - h. Do 30 and w have the same value?
False
Let f = -50/929 + 386814/6503. Let j(w) = 4202*w + 147129. Let c be j(-35). Are c and f non-equal?
True
Suppose 5*t - 382 = -2653*c + 2654*c, 7*t = 4*c + 1502. Let k(v) = v**3 - 16*v**2 + 10*v - 1. Let f be k(7). Is c at most as big as f?
True
Suppose -3*n + f + 2186 = 0, 5*n = 2*f + 2314 + 1330. Let q = -21110/29 + n. Which is bigger: 2/5 or q?
2/5
Suppose 5*o = 72 - 92. Let c be o - (-2 + (-28)/8). Which is smaller: -12 or c?
-12
Suppose 7*p + 2*w + 1 = 4*p, -28 = 4*p - 4*w. Let l be -5*(p + (-84)/(-20)). Let a be 4/6 + -2 + 100/(-15). Which is smaller: a or l?
a
Let s be ((-3)/14)/(36/42). Is 0.542 > s?
True
Let m = -347.8 + 288. Let k = -60 - m. Let x = k + 0.1. Which is smaller: x or -30?
-30
Let r = 24 + -11. Let x = 55.59 - -0.41. Let h = -55.9 + x. Is r greater than h?
True
Let l = 36.1 + 4.9. Let j = l + -112. Let b = 88 + j. Are b and -1 equal?
False
Let r(c) = -c**2 + 7*c + 2186. Let d be r(50). Which is greater: -77 or d?
d
Let x = 4349/34 - 92/17. Let d = 140 - x. Let q be (-248)/(-14) + (-6)/(-21). Which is smaller: q or d?
d
Let d = 0.21 - 0.32. Let k = -134 - -135. Is k greater than or equal to d?
True
Let g be 5*(390/(-16))/15 - (-1 + 0). Which is bigger: 5 or g?
5
Let i = -2780491/35568810 - -206/17183. Let h = i - -1/46. Let z be 4/6 - 22/24. Are z and h nonequal?
True
Suppose 4*v = 20, 5*v - 1054 + 1029 = -s. Which is smaller: 4/3687 or s?
s
Let z(a) = 3*a - 3. Let j(s) = s**3 + 12*s**2 + 12*s + 14. Let v be j(-11). Let o be z(v). Is o greater than or equal to 9?
False
Let w = -0.3532 + -9.6468. Which is bigger: w or 16.7?
16.7
Let i = 20341.296 + -20326. Does i = 0.1?
False
Let b = 1 + -1. Let l = -3.8 - -4. Let d = l - -5.8. Which is smaller: d or b?
b
Let l = 3/7951 + -1208579/71559. Let q = 164/9 + l. Is 7/4 > q?
True
Suppose 4*o - 5*w = -2028, -14*o = -17*o + 2*w - 1528. Is o smaller than -512?
False
Let z = 6.5 + -4.1. Let u = z + -5. Let r = u + 5.6. Which is bigger: -2/7 or r?
r
Let s be 3/(-24)*6 + 38/(-152) + 343. Is 342 less than or equal to s?
True
Let t(r) = -r**3 + 24*r**2 + 42*r - 65. Let n be t(28). Is -2026 at least as big as n?
False
Suppose -14*y + 17*y = 12, 2*y - 17 = -3*q. Suppose 0 = 2*o + 8, -2*z + q*o + 118 = -0*o. Is 54 less than or equal to z?
False
Let m(y) = 9*y + 11 + 0*y + 0*y. Let c be m(-3). Suppose -37 - 68 = 7*q. Which is smaller: c or q?
c
Let m = 426 + -427. Let n = 647/8 + -81. Is n less than m?
False
Let g be 82/5 - (344/(-40) + 9). Let r be (19 - 24) + g/3. Let t = -11.07 + 11. Which is smaller: r or t?
t
Suppose m + 17 = -3. Let h = -3/25 - 119/50. Which is bigger: m or h?
h
Let v = -175 + 115. Let y = v + 30. Let u = y + 30.1. Which is greater: 0.06 or u?
u
Let j be (-6)/(-27)*-9*(-723)/(-2). Let o = j + 729. Is o at least 9/13?
True
Let v(b) = b**3 - 33*b**2 - 48*b + 140. Let n be v(34). Let a be (-9 - -3)*n/(-72). Let l be (0 - -9)*(0 - 3). Which is smaller: l or a?
a
Suppose -2*b + 2*u - 22 = 0, -543*b - 4*u + 53 = -548*b. Is 558 less than b?
False
Let q = -17 - 2. Let s(t) = 2*t**3 + 130*t**2 - 17*t - 1117. Let d be s(-65). Is q at most d?
True
Let f = 3983 + -12349/3. Suppose 245 + 425 = -5*g. Let a = g - f. Which is smaller: -0.18 or a?
a
Let c be (-522)/((-72)/252*6/(-8)). Which is bigger: c or -2437?
c
Suppose 5*i + 139 = 260*y - 258*y, -5*y - 2*i + 391 = 0. Which is smaller: y or 161?
y
Suppose 0 = 3*o - 2*u + 1210, -9*o - 5*u + 814 = -11*o. Let i = 406 + o. Let f(j) = 6*j. Let c be f(1). Which is bigger: c or i?
c
Let c(s) = 12*s - 10. Let n be c(4). Suppose 4*i + 3*b - 68 = 8, -2*i - 3*b + n = 0. Let r be (-4)/((-240)/1132) + (-8)/(-60). Is i at most r?
True
Suppose 0 = -4*j + 2*z - 3*z - 96, j = -5*z - 24. Let v(b) = 8*b**2 + 44*b + 1. Let m be v(-5). Do j and m have the same value?
False
Let d be ((-3306)/133)/(-29)*21/(-30). Let j(n) = 3*n - 10. Let u be j(7). Is u not equal to d?
True
Let z be (540 + -2)/(-20 + -1 + 22) + 0. Let r be -1 - -2 - 536*-1. Is r greater than z?
False
Suppose -6*q = -7*q + 2, -3*y + 17 = 4*q. Let w be (-10)/(y - (-116)/(-38)). Which is bigger: 191 or w?
191
Let z = 0.5523 + -2.5523. Which is bigger: 11.4 or z?
11.4
Let c(s) = -8*s**3 - 6*s**2 - 12. Let n be c(-4). Let u be 1/4 - n/16. Which is smaller: u or 3/11?
u
Let g = 6897533/396 - 17418. Is g != 1?
True
Let l = -478 - -478. Suppose l = 397*i - 405*i + 216. Is 3/7 bigger than i?
False
Let b be (52 - 66)*(-2)/(-4) + 12. Let d = 4.2 + -1.2. Is d bigger than b?
False
Suppose 0*p = 4*p + 4. Let f be (5 - 2) + 1137/p. Let q = 10222/9 + f. Are q and 3 nonequal?
True
Suppose 1558 = -2*k - 148. Let o = k - -82743/97. Let t be 5/2*26/(-65). Do t and o have the same value?
False
Let g = -0.3 - 9.7. Let n = g - -14. Let r(z) = 3*z + 116. Let w be r(-39). Which is smaller: n or w?
w
Let y = -5 + 11. Suppose 14 - 70 = 8*g. Let d be 5 + 2 + (13 - 7) + g. Does y = d?
True
Let x = -4.6 - -15.7. Let o = 9 - x. Let w = 3.4 + o. Is 1/3 less than w?
True
Let i be 1/(2/696)*910/(-546). Let w = i + 735. Is 154 bigger than w?
False
Let t(c) = -56*c + 605. Let i be t(10). Which is greater: i or 0?
i
Let h be 18/(-2)*(4 + 2). Let u be -2*(-10)/(-4)*(-288)/240. Suppose -216 = -2*v + u*v. Is h <= v?
True
Let g = 101 - 47. Let f = g + -54.04. Let j = 0.26 + f. Which is smaller: j or -0.1?
-0.1
Suppose -4*r + 32 = s, 2*s + 24 = -420*r + 423*r. Which is smaller: s or -1/2115?
-1/2115
Let b = -777.57 + 18.77. Which is smaller: -0.1 or b?
b
Let i = -196 - -281. Let c be (-30)/2 + (-16008)/(-161). Which is bigger: c or i?
i
Suppose 72*g + 1783 + 7145 = 0. Which is bigger: g or -129?
g
Let f be 3/33 - (