 -7*w. Let l = -60 + 38. Which is bigger: w or l?
w
Suppose 2*j = 105*j - 21630. Is 220 bigger than j?
True
Let i = 110/438859511 + 4515222316655117/280431227529. Let k = -16101 + i. Do k and -1 have the same value?
False
Let a(m) = m**3 - 27*m**2 + 10*m - 54. Let q be a(27). Let r = q + -219. Which is smaller: 2 or r?
r
Let f be (-170)/(-45) + 2*7/(28/(-8)). Let j be -1*(1 - (-104)/(-106)). Which is bigger: j or f?
j
Suppose 0 = -2*q - 326 - 224. Let j = q - -414. Which is smaller: j or 1/6?
1/6
Let q(z) = -2*z - 15. Let p be q(-10). Let w be 49/(-2) + 1 + p/10. Let i(h) = 18*h + 85. Let y be i(-6). Is w at least as big as y?
True
Let b(m) = m**3 + m**2 + 11*m + 1. Let r be b(5). Let v be ((-3)/15)/(r/(-10) - 2). Let w = -1 + 1. Which is smaller: v or w?
w
Let v be (-6)/10 + -1 + (-136)/(-10). Suppose 2*f + v = 3*f - 5*p, -2*f + 69 = 5*p. Let r = -15 - f. Is r >= -42?
True
Let c = 72203/4 + -334459/20. Let t = 1333 - c. Is t less than 6?
True
Let x = 58.151 - 58. Let y = 0.091 - x. Which is smaller: 5 or y?
y
Let v = 831343 + -69830161/84. Let b be ((-10)/(-15))/(10/(-475)). Let a = v + b. Is a at least 0?
False
Let x = -131071640 - -21102259046/161. Let s = x + 1708. Which is bigger: s or 0?
0
Let b = -246.976 - -247. Let o = b + 0.176. Which is smaller: 0.006 or o?
0.006
Let q = 6205033/590 + -10517. Do q and 1 have different values?
True
Suppose 4*s - 8 = -3*l, -4 = -4*s + l - 12. Let w = -2168/51 - -85/2. Is s >= w?
False
Suppose -51*w + 11 = 164. Is -0.0012 <= w?
False
Suppose 10*g = 69 - 29. Let z be (-814)/4 + -5 - g. Which is smaller: z or -212?
z
Let b(l) = -14*l**2 - 7*l. Let z(d) = 16*d**2 + 9*d. Let o(m) = 5*b(m) + 4*z(m). Let x be o(-2). Which is greater: x or 2?
2
Let n = -102082470/1621 - -62975. Which is bigger: n or 0?
n
Suppose 6*u - 12 = 5*u. Let j = u - 8. Suppose -j*v + d - 40 = -0*v, -3*v + 3*d = 39. Which is greater: -15/2 or v?
-15/2
Suppose 4*z + 22*h - 24*h - 22 = 0, -3*z + 27 = -3*h. Let v = 283/11 + -46107/1793. Is v equal to z?
False
Let q be 16/6 + 3/9. Let v be 2*(3/12)/((-1)/(-26)). Suppose 4*a - 5*f = -53, -a + 11 = f + v. Which is bigger: a or q?
q
Let f be 4/(-42) - ((-5889)/1638 - (-14)/4). Which is smaller: -2/41701 or f?
-2/41701
Let m(z) = -3*z**2 - 17*z + 285. Let x be m(-12). Suppose -477 = r - 4*r. Suppose -r = -8*u + x. Is u greater than 1?
True
Let n(h) = 2*h + 20. Let p = 26 + -36. Let a be n(p). Suppose a = 2*t - 4*u + 10, -5*t + 25 + 10 = 5*u. Is 1 at most t?
True
Let p = 439 - 9217/21. Let s(t) = -t - 46. Let o be s(-13). Let f = -32 - o. Is p greater than f?
False
Suppose 3*m + 3*u = 27, 4*m = -5*u + 15 + 23. Let w(q) = -q**3 + 7*q**2 + 2*q - 9. Let o be w(m). Let b be -2 + (-4)/8*0. Is o <= b?
False
Let o = -43.944 - 0.056. Let t = 43 + o. Let w(g) = 6*g - 1. Let f be w(3). Do t and f have the same value?
False
Let b = 1242 + -1338. Let x = -0.5 - -1.5. Let s = x + -2. Which is smaller: b or s?
b
Let v be 1 - 7 - 4*(-34)/8. Suppose -31 = 2*y - 5*h - 10, -v = 2*y - 3*h. Which is smaller: 18/11 or y?
18/11
Let m = 58 - 152. Let b = -93 - m. Is 5 <= b?
False
Let s = -1225.5 - -1228.5. Is s at most -1/835?
False
Let p be (5/(-5))/((-5)/25). Suppose 4*j - 3*j = -p*u - 46, 0 = -j - 3*u - 40. Is j less than or equal to -31?
True
Let b = 95 - 95. Suppose -183 = d + 2*q - 29, b = -d + q - 142. Is -146 at most d?
True
Let m = -25182 - -25182. Do -1068.8 and m have different values?
True
Suppose 9*h - 56 = 2*h. Suppose -9 = -h*o - 73. Which is smaller: -11 or o?
-11
Let t = 4019 - 3534. Are t and -6 non-equal?
True
Let l = 14.3 - 14. Suppose 2*b + 3*b - 25 = 0, 3*d - 3*b = -12. Let t be (6/(-54))/(d*(-3)/9). Which is smaller: l or t?
l
Let n = 168678564/3988357 - 6/97277. Which is bigger: n or 41?
n
Let a = -4421 - -8595. Do a and 4174 have the same value?
True
Let b = 1.09 - -34.81. Let u = b - 26.9. Is 1/2 != u?
True
Let f = 664 + -11032. Which is bigger: 0.1 or f?
0.1
Let a = -1/235 + -2317/7755. Let g(w) = 4*w**3 - 17*w**2 - 13*w + 1. Let t be g(0). Which is greater: a or t?
t
Let w = -51 - -132. Let v = -33 - w. Let n = -796/7 - v. Which is smaller: 0 or n?
0
Let y(o) = -49*o + 56. Let j be y(-35). Which is smaller: j or 1770?
1770
Let m = -203.7017 - -179.726. Let c = 0.0243 - m. Is -1 <= c?
True
Suppose 338*o + 19952 = 424*o. Is 229 equal to o?
False
Suppose -165*l = -4942 - 5743 - 9940. Is l less than or equal to 14?
False
Let f = 63 + -64. Let z(i) = 13*i - 30. Let m(r) = r + 1. Let p(u) = f*z(u) + 6*m(u). Let k be p(5). Which is smaller: k or -1/8?
-1/8
Let n = 150 + 93. Let x = n - 252.2. Do -1 and x have different values?
True
Let b = 7305 + -29241/4. Is -5 at least b?
True
Let t be ((-12)/16)/(2/(0 - -736)). Let z = 281 + t. Is z > -2/13?
True
Let g(h) = 2*h**2 - 124*h - 263. Let c be g(55). Which is smaller: c or -1036?
-1036
Suppose 0 = r - 4*o, 0*r - 5*r - 5*o + 25 = 0. Let a = 1513 - 1513. Suppose -r*c = s + 7, -s + a*s - 5*c - 9 = 0. Which is smaller: s or -1/53?
-1/53
Suppose -3*h = z - 64, -5*h + 2*h - 331 = -4*z. Let x be z/(-36) - 1/4. Suppose 74*i = 69*i + 3*q, 2*q + 4 = 2*i. Is i < x?
True
Let f(g) be the second derivative of -g**4/12 + 2*g**3/3 + 6*g**2 - 7*g. Let w be f(6). Let m be ((-1)/(-22))/(15/(-60)). Which is greater: m or w?
w
Suppose 2*u - c = -42, 11 + 31 = -2*u - 3*c. Suppose -l + 6 - 27 = 0. Let a = u - l. Is a less than 0?
False
Let o = -31 - -41. Suppose 15 = -5*y + o*y. Suppose -135 = 12*k + y*k. Is k at least as big as -9?
True
Let r = -7/36529 + 203758839/401819. Which is greater: r or 506?
r
Suppose c + 2*c = 5*p - 16022, -4*p - 3*c + 12823 = 0. Suppose 2*u = 5*z + p, -4*z + 8*u - 2564 = 12*u. Which is smaller: -640 or z?
z
Let a = 12393 - 12390. Which is bigger: a or -9?
a
Let p be 1625/(-7125) - (-2)/(-19). Is 1225/4 equal to p?
False
Let b = 636193/1254 + -1522/3. Let g(t) = -t**3 - 23*t**2 - 11*t + 242. Let l be g(-22). Which is greater: b or l?
l
Let l be -18 + 6/(-2) + 6. Which is bigger: l or -579/41?
-579/41
Let m = -171 - -127. Let f = -18 - m. Let g(h) = 2*h**2 + 2*h + 2. Let l be g(3). Does l = f?
True
Let i = -438 + 440. Suppose -4*n = i*w + 31 + 5, 0 = -w - n - 17. Which is greater: w or -11?
-11
Suppose -2*r - 624 = -34*x + 39*x, -5*x = 5*r + 615. Which is greater: x or -135?
x
Let v = 2881 + -2852. Which is smaller: v or 3/22?
3/22
Let l = 1.4111 - 13.3011. Is -5 bigger than l?
True
Let d(y) = -14*y - 5. Let p be d(-1). Suppose 18 = -2*m - 5*r - p, 4*m + 29 = -5*r. Is -1/510 less than m?
False
Suppose 26*z - 18*z = 1352. Suppose 166*p - z*p - 87 = 0. Is 2/3 < p?
False
Suppose 0 = -d - 0*d - 3, 0 = -2*a + 2*d + 14. Let p be 0 - (3 + -19) - 12/a. Is p equal to 94/7?
False
Suppose -5*g + 379 = 3*b - 0*g, -20 = -4*g. Let j = b + -112. Is j equal to -6/17?
False
Suppose -18*o = -21*o + 36. Let u be (o/18 - 2/3)*-1. Which is smaller: -2/25 or u?
-2/25
Let l = 109 + -90. Suppose -5*h = 3*i - 2*h - 93, 0 = i - 2*h - l. Which is smaller: i or 31?
i
Let m = -2780 - -2593. Which is greater: -190 or m?
m
Let k = 57.5 + -56.5. Is k bigger than 33?
False
Let u = -616097 + 1848289/3. Let k = -54.8 + 68.58. Let v = k + 0.22. Is u at most as big as v?
True
Let n = 449 + -861. Let h = 59510 + -59510. Which is smaller: h or n?
n
Let c(h) = 6*h + 103. Let i be c(-19). Suppose 1 = 3*b - 11, -4*q + b = 56. Which is bigger: i or q?
i
Let l = -1544.8 + 1544.7. Let z = 1088/9 - 4901/36. Which is bigger: z or l?
l
Suppose 0 = 61*k + 1670 + 1380. Which is smaller: -1 or k?
k
Suppose 2*m = -3*i - 3, 0 = m - 10*i + 11*i + 3. Let x(l) = -l**2 + 90. Let z be x(m). Is 54 < z?
False
Let z = -26 + 26.044. Let r = -18663/74636 + 1/18659. Which is smaller: r or z?
r
Suppose -x = 2*u + 94, -86*x + 67 = -87*x - 5*u. Let v(n) = 36*n - 3. Let o be v(-3). Is o > x?
True
Suppose -5*j - 3 = 4*h, j - 5*h - 15 = -4. Let y = 303 + -160. Let r = y - 144. Which is smaller: r or j?
r
Suppose 5*j + 597 = 3*x + 7*j, -x - j + 199 = 0. Suppose 3*g - 5*g + 398 = 0. Is g greater than x?
False
Let n(z) = 24*z - 1772. Let t be n(48). Which is bigger: -619 or t?
-619
Let b = -5 + -79. Suppose -374*q - 3467 - 27949 = 0. Is b bigger than q?
False
Let l = 0.1426 - 2.0426. Which is greater: l or -91?
l
Suppose 1795 - 1345 = -6*s. Let f = 16 - 91. Are f and s nonequal?
False
Let p = 0.5 + -1.5. Suppose 