 be (l/(-77))/(60/(-280)). Is s equal to a?
False
Let w = 1499/2226 + -5/742. Which is greater: w or -220?
w
Suppose -43*c + 41*c = 8. Let d = c - -6. Which is smaller: 10/11 or d?
10/11
Suppose 3*n - 3 = 0, -n + 1442 = -5*r - 1699. Let q = r - -648. Which is greater: q or 61/3?
61/3
Let x(m) = -m**3 - 98*m**2 - 96*m + 97. Let c be x(-97). Which is bigger: c or 4/145?
4/145
Suppose -616 = -1464*q + 1442*q. Is q at least as big as 53?
False
Let f = -1671 - -1808. Are 5 and f unequal?
True
Let f = -27 - -29. Suppose 0 = f*y - 21 + 13. Suppose -12*n + 64 = -y*n. Do 8 and n have the same value?
True
Let n be (-294)/245 + (-352)/(-4). Is 86 <= n?
True
Let l(n) = 2*n**3 + 2*n**2 + 55*n + 280. Let q be l(-4). Let o = 12 + -7. Let z be o + -38 - (0 - -1). Which is smaller: q or z?
q
Suppose -5*z + 3*w = -z, 0 = 2*z + 4*w + 22. Let n be (-24)/612*z/(-73). Let f = 1177/39712 - n. Is f <= 1?
True
Let f(p) = p**3 + 4*p**2 - 7*p - 10. Let r be f(-5). Suppose -21 = -3*m - 2*z, 6*m = 2*m + z + 28. Suppose -b = -2*j + 5 + 2, b + 5*j = m. Is b smaller than r?
True
Suppose -3*y - 3*q + 39 = 0, -3*y - 2*q + 19 = -16. Suppose 2*s = -8*l + y*l - 44, -2*l + 96 = -2*s. Is l less than 50?
False
Let v(l) = -l**2 - 8*l - 5. Let b be v(-7). Let d = 143 + -214. Let f = d - -71. Which is bigger: f or b?
b
Suppose -16 = 4*o, 2*o = -4*q + 3*o - 1964. Let y = q + 491. Let j = -563/5 + 9546/85. Are y and j unequal?
True
Let g = 0.01889 + -0.01889. Is -1681 equal to g?
False
Let l = -805 - -539. Let r = l - -282. Which is greater: r or 17?
17
Let u = 362 - 282. Let g be -6 + u/15 + 0. Let x = -13 + 7. Is x less than g?
True
Suppose -k + 3 + 1 = 0, -k - 68 = -4*o. Suppose 4*d - 44 = 4*v, 0 = -4*v + 2 - o. Suppose d*b + 60 = 9*b. Is 30 > b?
False
Let c be 10/15 + (-1)/(-3). Let t be (-25 + 3445/130)/(190/4 + 0). Which is smaller: t or c?
t
Let f = -9243/5 + 1833. Suppose -23*n + 8*n - 41*n - 896 = 0. Let k = n - f. Are 24 and k equal?
False
Let i = 1304 + -1518. Which is smaller: -202 or i?
i
Suppose 0 = 23*p - 18*p + 3790. Let d = -6832/9 - p. Let o = 701/639 + d. Do o and 0 have the same value?
False
Let r be (0 + 1)*-14 - -1*4. Let v be (-30)/4 + 7 + 75/r. Is v equal to -4?
False
Let p be 1 + -2 + (-15)/(-13). Let w = -1086 + 1092.29. Let o = 1.29 - w. Is o <= p?
True
Let s = 688 - 688. Suppose -5*z - 5*h + 185 = s, 126*z - 3*h = 130*z - 149. Is 12 greater than or equal to z?
False
Let m = 553.257 - 553. Let z = m + -1.257. Is z less than or equal to 193?
True
Suppose -23*m + 25*m = -3*a + 361, 603 = 5*a + 2*m. Which is smaller: 119 or a?
119
Suppose 0 = -5*c - 2*b - 19, -198*b + 18 = 2*c - 194*b. Let w be 1*(-7)/22*24. Which is greater: w or c?
c
Let r = 90946070 - 31376365579/345. Let w = 132/115 - r. Are w and -81 unequal?
True
Suppose -40*v = 117237 - 318357. Is v less than 5027?
False
Let q(b) = -2*b + 4. Let t be q(-4). Let w be 1/(-2)*t/(-354). Let n(l) = l**2 + 9*l - 53. Let o be n(-13). Which is smaller: o or w?
o
Let a = -1/109090 + -224289019/2290890. Let o = a + 98. Is o at most as big as 2?
True
Let n = -111 - -170. Suppose 58 = u + n. Is -1/317 at most u?
False
Let d be (2 - 1)/(7/(-14)). Let n be 55 + d + 0 + 1. Let f = 63 - n. Which is smaller: -3 or f?
-3
Suppose -5*x + 2*x + 3*b = -72, 2*x - 39 = 5*b. Let g = -65 + x. Let r(l) = -l**3 + 2*l**2 - l - 2. Let c be r(4). Is g at most as big as c?
True
Let k = 3310 - 8092948/2445. Which is bigger: k or -1?
k
Let o(y) = -y**3 + 18*y**2 - 17*y + 17. Let f be o(17). Let l(z) = 16*z**3 - z**2 + 2*z - 1. Let h be l(1). Let k be 1*h - 0/15. Which is greater: f or k?
f
Let y = -723 - -723.1. Is y less than -1/28?
False
Suppose 0 = -p - 355 - 846. Let f = p + 545255/454. Which is bigger: 0 or f?
f
Suppose 0 = 10*l - 12*l. Suppose l = -p + 9*p - 40. Suppose -73 - 2 = -p*y. Which is greater: y or 14?
y
Let c = -725 + 599. Let z = c - -124. Which is smaller: z or -28?
-28
Let o = 45291/3944 + -195/17. Let k = o + 71/116. Let r = 4682 - 4682. Do k and r have different values?
True
Let b = -128 + 70. Let r = -55 - b. Is r not equal to 0.2?
True
Let m(x) = -x**3 + 32*x**2 - 43*x + 321. Let a be m(31). Which is greater: a or -577/11?
a
Suppose -26*x = -14*x - 84. Suppose x*j + 178 = 59. Is j greater than -69/4?
True
Suppose 2*p + 5*u + 869 = 0, 2*p + 38*u + 864 = 34*u. Is -2950/7 != p?
True
Let v = 2.2 - -44.8. Let f = -46.84 + v. Let g = -0.26 + f. Which is bigger: 2 or g?
2
Let a = 55620 + -55620.3. Suppose h + 20 = 3*w, 4*h = 3*h - w. Which is smaller: h or a?
h
Let h = -29168 - -3208507/110. Is -1 at least as big as h?
False
Let k = 1827.13 - 1835. Let b = -8.121 - k. Which is smaller: 2/3 or b?
b
Let o(b) = b**3 + 9*b**2 + 7*b - 11. Let u be o(-8). Let d = u + 6. Suppose -d*q - 2*q = -25. Which is bigger: q or 24/5?
q
Let j = 699 - 638. Suppose j*u + 200 = 51*u. Is 3 smaller than u?
False
Suppose -2*k - n - 28 = -5*k, 2*k = 3*n + 21. Let i be 8/12 - 4/(-12). Let z be (14 - k)/(12 + (i - 2)). Is 0 not equal to z?
True
Let l = -399779 - -3000741169/7506. Which is bigger: l or 1?
1
Suppose 3*l = -2*l - 390. Let f = 4851 + -4955. Let c = l - f. Which is greater: 27 or c?
27
Let s = -12750 + 21594. Is 8845 >= s?
True
Let o be (-2 - -1)*(-2)/36*(202 + -208). Which is greater: o or 63.4?
63.4
Let k be ((-252)/18 - -12) + 6. Is k at least 174/53?
True
Let y = 77 - 50. Suppose 0 = y*w - 33*w + 102. Is 122/7 bigger than w?
True
Suppose -4*i + 21 = 5*s, s - 5 = -s - 5*i. Suppose s*j - 300 = -5*k - 0*j, 4*k = 5*j + 222. Let q = 61 - k. Which is greater: 4 or q?
4
Let b = 104245 - 104203. Let a = -5248 - -21157/4. Which is greater: a or b?
b
Let i(p) = -84*p + 503. Let u = 159 + -153. Let h be i(u). Which is smaller: h or 2/281?
h
Let y(w) = 2*w**3 + 17*w**2 + 37*w + 2. Let b be y(-4). Let k be (-1)/4*183/18. Let u = k + 7/8. Is b less than u?
True
Let w be 2/(-42)*72/3564. Which is smaller: 1 or w?
w
Let a be ((-1)/(-76))/((-391)/(-156) + 54/(-24)). Are a and -1 nonequal?
True
Let y(w) = w**2 - 12*w - 459. Let b be y(28). Let i = -68.8 - -66. Is i bigger than b?
True
Let d = -4/13 - 79/39. Let h(x) be the first derivative of x**3/3 - 9*x**2 - 18*x - 396. Let u be h(-1). Which is smaller: d or u?
d
Let v = 26 + -1. Let q = -1039 - -997. Let k be (-1 - q/(-4))*14/(-7). Which is greater: k or v?
v
Let w = -34761 + 48247. Which is smaller: w or 1?
1
Let s = 245 - 206. Let r = -38 + s. Is r not equal to 54?
True
Let r = 161 + -804/5. Let s(k) = -k**2 - 9*k - 14. Let m be s(-10). Let f = -23 - m. Which is greater: f or r?
f
Suppose -s - 13 = -2*j, 0*j + 17 = 3*j - s. Suppose j*t - 744 = t. Suppose 8*c - t = -16. Is 31 at most as big as c?
False
Let j(u) = u**2 + 22*u - 3600. Let o be j(-72). Is 18/1297 equal to o?
False
Let i be (-44)/55 - (-4)/340*-17. Let c = 4378 + -109471/25. Which is smaller: c or i?
i
Let i = 4 - 4.1. Let m be (-15)/(-60)*-41 + 18. Is i equal to m?
False
Let q = 2939/93 - 71526/2263. Let x = 0 + 1. Are q and x equal?
False
Let r = -0.1343 + 84.9743. Let n = r + -84. Which is bigger: n or -0.2?
n
Let s be -7 - -2216*(18 - 16). Is 4423 smaller than s?
True
Let f = 11.359 - 17.359. Is -117 smaller than f?
True
Let o(x) = x**3 + 2*x - 3. Let p be o(2). Suppose 9*y - 27 - p = 0. Suppose -y*a + 159 = -5*c, a + 4*c - 45 = -0*c. Which is smaller: 42 or a?
a
Let w be 2/30 + (1080/(-75) - -14). Are w and 279 unequal?
True
Let i = 3334/3 - 1102. Let d be ((-1107)/(-82))/(6/4). Which is smaller: i or d?
d
Let v be (16 - 806803/50422)/((-2)/(-8)). Is 1 greater than or equal to v?
True
Let z(a) = -194*a + 6966. Let h be z(24). Which is bigger: h or 2309?
h
Let x be (-40)/12*51 - -4. Let b = x + 494/3. Let n be ((-3 - -3) + 1)/(-1). Is n equal to b?
False
Suppose -34447 = 49*r + 13718 - 3722. Which is greater: -1 or r?
-1
Let t(c) = 3 + 3 - 1 - c - 6. Let x be t(-4). Suppose -4*f = -3*b + x, 2*b + f - 6*f - 2 = 0. Which is bigger: b or -3/14?
b
Suppose -3*a + 3*c = 4*c + 8, -4*c = 4*a + 16. Let o be -8*(-9)/12 + a + -1. Suppose -o*l + 2*p - 177 + 24 = 0, -4*p - 12 = 0. Which is bigger: l or -54?
l
Let t(n) = 3*n - 52. Let a be t(18). Let s = a + -2. Is -4/37 at least as big as s?
False
Suppose 2*i - 1312 = -5*n, 30 = 10*n - 15*n. Is 671 at most as big as i?
True
Let f be 42/12*(1500/(-105) - -16). Let m be 1 - 1 - (-2)/(-6). Wh