- -5). Which is bigger: s or 8?
8
Suppose -3*a + 4*c = 48, a - 163 = -5*c - 217. Is -379/15 not equal to a?
True
Let n(a) = -a**3 - 11*a**2 - 13. Suppose 80 = -10*s - 20. Let b be n(s). Which is greater: b or 0?
0
Let l = 4 + -3. Let a(s) = 43*s**3 + 2*s**2 + 8*s + 25. Let f be a(-3). Let t = f - -67380/59. Is l > t?
True
Let k = 0.06 + -0.054. Let r = k - 0.106. Let b = 14899/760 - 157/8. Is r at most b?
True
Let l(z) = 4*z**2 + 10*z + 9. Let u be l(-1). Suppose -5*n + 8*n - 5*q = 23, 0 = -n + u*q + 13. Which is smaller: -5/53 or n?
-5/53
Let g be (-724870)/(-112)*40/20300. Let t = g - 4/1421. Is 14 not equal to t?
True
Let o(p) = p**3 + 17*p**2 + 11*p - 21. Let f be o(-16). Let m = 60 - f. Let v(h) = 2*h + 3. Let j be v(m). Which is bigger: j or 6?
6
Let q = -0.2 + 1.2. Suppose 148 = -21*b + 1. Which is bigger: b or q?
q
Let h(n) = -n**2 - 107*n + 509. Let d be h(5). Is -84 < d?
True
Let a(n) = 2*n**3 - 6*n**2 + 498*n + 505. Let w be a(-1). Let x = -240393/154 - -1561. Is x at least as big as w?
True
Let g = 18 + -18.24. Let l = g + 2.24. Which is bigger: 14 or l?
14
Suppose -4*o = 3*c + 14, -12 - 3 = 3*o. Which is bigger: 16/105 or c?
c
Let v = -81 + 84. Suppose -v*r + 4*q = -25, 5*r - q = 14 + 39. Suppose r*b = -k + 6*b + 14, k - 3*b + 10 = 0. Are k and -3/8 non-equal?
True
Let k = -23005 - -22978. Let s(m) = -6*m**3. Let a be s(-1). Are k and a equal?
False
Suppose -2*b = 2*b - 16. Let u be (1 - b)*13/1. Let s = 42 + u. Which is smaller: 9 or s?
s
Let z be (5/((-65)/(-52)))/1 - (2 - -2). Let f = 2315/8 + -290. Which is smaller: f or z?
f
Let n(w) = -w**3 - 4*w**2 + 2*w - 13. Let q be n(-5). Suppose q*k = -2*y, -2*k + y - 12 = -7*k. Suppose 3*d + 2*r - 30 = 0, -2*r - 2*r - 12 = -k*d. Is d <= 8?
True
Suppose 0*x - 2 = 2*x. Let z = -4400/169799 + 37/889. Which is smaller: z or x?
x
Let y be ((-3)/(-4))/(6/4). Let c = -1.112252 - -141.112252. Do y and c have the same value?
False
Let o be (2 - -14 - (-20 - -15)) + -8. Which is smaller: -3.6 or o?
-3.6
Let p = -154 + 239. Let l = 84.92 - p. Is -0.7 >= l?
False
Let b(l) = -2*l**2 - 3*l - 3. Let f be b(-3). Let u be (f/10)/(1/(-15)). Let k(d) = -103*d + 6610. Let y be k(64). Is u >= y?
True
Let h be (-1271)/(-123) + (0 - 2/6). Suppose -u + 4*n = 19, 6*n - 8*n + h = 0. Which is bigger: -1 or u?
u
Suppose -7*m = 5*m - 48. Let r be (-1)/m*(-24)/52. Let y be 6/(-39) + (-8)/(-52). Is y at most r?
True
Let y be (429010/666)/((-3122)/12). Let h = 2/8251 - y. Which is smaller: 3 or h?
h
Suppose 59 + 15 = -238*i + 312*i. Is 23/768 greater than i?
False
Suppose 266 - 281 = -5*s. Let n be 83/(-21) - (-1 - s). Is 6 < n?
False
Let s = -2377 + 2382. Are s and -158 unequal?
True
Let c(j) = 14*j + 6. Let u be c(3). Let o = u - 44. Suppose 2*i + 12 = -o*f, 4*i + f = -4 + 1. Is 1/12 greater than or equal to i?
True
Let m = 1.3287 - 1.4287. Are 42/17 and m equal?
False
Suppose 0*s + 3332 = 2*j - 4*s, j + 2*s - 1686 = 0. Suppose -47*t + j = -6737. Which is smaller: t or 0.2?
0.2
Let c = -7106 + 7102. Is c at least -121?
True
Let s = -0.4 + 0.3. Let x be ((-3)/(-57))/((-7852)/(-988)). Which is smaller: x or s?
s
Let m = 137 - 150. Let g be (-1)/(-2)*m/((-65)/190). Suppose 0 = g*u - 54 - 174. Which is greater: u or 13?
13
Let j = 5417.3179 + 1.6821. Which is greater: j or 0?
j
Suppose -2*y + 3*d + 4 = -3*y, -3*y - 7*d - 8 = 0. Is -150 > y?
False
Let c = 2671 - 18751/7. Let b = 433523/55398 + -5/23742. Let i = b + c. Which is smaller: i or -1?
-1
Let k = -17874 + 36379. Are 18505 and k equal?
True
Suppose -y = 12*y - 1391. Let z = -113 + y. Let f be 50/(-20)*(z/5)/3. Is f greater than or equal to 3/16?
True
Let x = 106.09 - 106. Let v = 0.039 - 0.839. Let s = v + -5.2. Is x equal to s?
False
Let d = -0.37 - 3.46. Let b = 3.7 + d. Let f = -0.17 + b. Which is greater: f or 0?
0
Let a = -627 - -398. Let k = 214001/5 - 43036. Let r = a - k. Which is smaller: r or 7?
r
Let f(q) = 40*q**2 - 79*q + 1019. Let v be f(11). Is 4990 less than v?
False
Let x = 29418.941 + -29452. Let a = -0.059 - x. Let c = -38 + a. Does c = -1?
False
Let b = -13277 + 11913. Is -1362 not equal to b?
True
Suppose 5 = -2*w - 25. Let g = 58 + w. Suppose 31*z - 1314 - 19 = 0. Are g and z equal?
True
Let p be (-6)/9 + (-26)/(-39) + 2/(-27469). Which is smaller: p or 0?
p
Suppose -4*m + 0*m + 4*r + 4 = 0, -2*r = m + 5. Let s be (28/(-70))/(22/40). Which is smaller: s or m?
m
Let u = 247 - 447. Let o = u - -1009/5. Are 3 and o equal?
False
Let r be 7/21 + (-5)/19. Suppose -18 = -3*v, 0 = -2*n - 2*v - 26 + 38. Is r greater than n?
True
Let y = 15710 - 2136591/136. Let s = y - 3/136. Let j(t) = t**3 - 3*t**2 - 2*t. Let q be j(3). Is q less than s?
True
Let n = -53 - -51. Let c = 4.97 - -0.93. Let x = 18.1 + c. Which is greater: x or n?
x
Let a(u) = 7*u**2 - 11*u + 15. Let w be a(4). Let n be 1/(-7) + (-576)/(-112) - w. Which is smaller: 0.2 or n?
n
Let y = -1316.8 + 1317.8. Let w be 1/(-2)*-8*1. Let l be 8/198 - w/18. Is l not equal to y?
True
Let w be 314/(-156) + 0 + 2. Let s = 0.0723 + -0.1723. Is s at most as big as w?
True
Let a be (2/11)/((-558)/(-1612)). Let l = a + 1/9. Is l less than 1?
True
Suppose -122*u - 17 + 17 = 0. Is 1/7855 greater than or equal to u?
True
Let l be (18/(-10))/((6/20)/(-1)). Let i(d) = -d**3 + 5*d**2 + 3*d + 19. Let g be i(l). Let s be 3/(-4)*(-6)/27. Which is smaller: g or s?
s
Suppose -3*z = -2*u + 182, 0 = 3*u + 2*z - 367 + 107. Suppose 3*t - u = -253. Let x = t - -54. Is -5/13 not equal to x?
True
Suppose -37 + 2 = -5*r. Suppose 3*b = 3*k - 3, 5*b + 3*k - 12 = r. Suppose -3*p - 19 = 2*l, 3*l - 2*p = -b*l. Which is smaller: 4 or l?
l
Let q = 51/118 + -593/826. Is 0.2074 at least q?
True
Let s(m) = -129*m + 844. Let u be s(17). Is u bigger than -2695/2?
False
Let i = -66173177/25 - -2647571. Let f = i - 644. Is -5 equal to f?
False
Let z be (-13)/(-1) - 597260/45940. Is 1 smaller than z?
False
Let s(a) = 941*a + 1087. Let f be s(-8). Which is greater: -6442 or f?
f
Let y(h) = -6*h + 7. Let v(m) = 1. Let l(s) = -4*v(s) - y(s). Let r(q) = -7*q + 11. Let d(a) = 3*l(a) + 2*r(a). Let n be d(0). Which is bigger: -31/3 or n?
-31/3
Let f(c) = -309*c + 4319. Let y be f(14). Are -44 and y equal?
False
Let a = 532.95 - 551. Let w = a - -18. Which is greater: -0.17 or w?
w
Suppose -161*y + 58*y - 309 = 0. Is -29/17 equal to y?
False
Suppose -41 = -2*f + f. Let j be -1*(29 + 7 + -74). Which is smaller: f or j?
j
Let n = 876 + -1878. Is n > -1000?
False
Let l(c) = 175*c**3 + 7*c**2 - 50*c + 57. Let p be l(3). Is 4695 greater than p?
False
Let m be 7/(-12) - 2/3 - 1741/252. Which is greater: m or -9?
m
Let f be -2*2/(-4)*-1. Suppose 0 = 3*v + j - 125 - 272, -5*v = j - 669. Are f and v non-equal?
True
Let t = -79 + 78.54. Let x = t - -0.36. Let d = 2.9 - 2.7. Does x = d?
False
Suppose -2*m + 5*w - 19 = 0, 3*w = -2*m - 1 + 22. Suppose -4*s - m*s + 14 = 0. Suppose 5*y + 5 = -3*p, 2*p - 6 = s*y - 3*y. Which is smaller: -3 or y?
y
Let p = 145 - -34. Let u = -175 + p. Which is smaller: u or -8?
-8
Let d = -864.3 - -14.3. Which is greater: d or 0?
0
Let b(r) = -46*r + 219. Let p be b(6). Let n be (-1)/(p - 1)*(-132 + 110). Is n at most as big as 0?
True
Let w(g) = g**2 - 2*g - 6. Let b be w(4). Suppose -5*u - b*k = -0*u - 1236, -4*u = 5*k - 982. Is 249 at least as big as u?
True
Let f(z) = -z + 11. Let r be f(6). Suppose 0 = -5*v - 4*i - 9795, -i - 2*i + 1940 = -v. Let y be ((-7)/r + 1)/(17/v). Is 1 greater than y?
False
Suppose 3*t = 2*v + 7, 2*t - 8 = -2*v - 0*t. Is 56/59 at most as big as v?
True
Let t = -41 + 38. Let i be 0 - -4 - (-10 + -2 + t). Which is smaller: 21 or i?
i
Suppose 28*z - 11*z = -192 - 1882. Which is smaller: -118 or z?
z
Let p(t) = t**3 - 4*t**2 + 7*t - 11. Let g be p(3). Let d be 1 + 12 + 0/(-11). Let a = d - 10. Is g != a?
True
Let b = 36839 - 35645. Is b less than or equal to 1183?
False
Let w(m) = -m**3 + m. Let v be w(0). Let p = 1111/2 - 556. Are v and p equal?
False
Let j = 20945 + -62249/3. Which is greater: j or 196?
196
Let g = -7 + 7.2. Let z = -214/85 + 601/340. Which is smaller: g or z?
z
Let i = 535 - 600. Let m be (13/i)/(-3*(-4)/90). Are 8 and m equal?
False
Let o(y) be the second derivative of 0 + 19*y + 18*y**2 - 4/3*y**3. Let q be o(5). Which is greater: q or -6?
q
Let q(v) = 2237*v + 9075. Let g b