13*n. Let u = n - -114. Is u < 1?
False
Suppose 3*t - 2371 = -5*c, c = 21*t - 16*t + 435. Which is bigger: 476 or c?
476
Let s(z) = -2*z**2 - 24*z - 5. Let d be s(-10). Let a be (0 + d/10)*2. Is a > 11?
False
Suppose 3*b - b + 94 = -4*f, -23 = f + b. Let s be ((-2)/12*3)/(-1)*f. Is s less than 6?
True
Suppose 26 - 425 = -21*h. Let g = h - 10. Suppose 0 = a - 2*a + t - g, a - 4*t = -21. Is a at most 1?
True
Let k(l) = 39*l**2 - 23*l - 269. Let j be k(-10). Is -2 greater than j?
False
Let u(p) = 3*p - 9. Let t(l) = 2*l - 8. Let h(z) = -5*t(z) + 4*u(z). Let f be h(-2). Let m = 260/4209 + -2/61. Is m at least f?
True
Let l = 197901/13 + -15223. Is l at least as big as -1.783?
True
Let h = 130/63 + -5881/2331. Which is smaller: h or -1?
-1
Let f be ((-3)/(-9) + 1)/(-2). Let p = -80 + 73.6. Let q = p + 6.5. Which is smaller: f or q?
f
Suppose -3*t = 5*s + 10, 4*s = -0*s + 4. Let m(c) = 10*c - 5. Let y be m(t). Let i = -1448 + 1393. Is y <= i?
True
Suppose -41 + 1 = -5*a. Let h be 1*(-9)/a - (-1 - 0). Let n be (1 + -1)/(-4 + 8 + -3). Is h equal to n?
False
Let y be 1 + -2*(0 + 4). Let v(u) = u**3 + 7*u**2 - 9*u - 16. Let k be v(y). Is 45 not equal to k?
True
Let q be (9/(-2) - -4)*(-1 - -1). Suppose q = 4*k - 72 + 36. Let v be (7/k + -1)/((-2)/(-60)). Which is smaller: -6 or v?
v
Let w(n) be the third derivative of 3*n**4/8 - 31*n**3/6 - 32*n**2. Let j be w(4). Suppose -31 = j*g + 2*k, k - 19 = 5*g - k. Is g at least -6?
True
Let m = -1.94 + 139.94. Let w = m - 139. Is w at least -2/9?
False
Let u be 13/1 - 5*-1. Let d be (-177)/837 + (-2)/u. Which is greater: d or 1?
1
Suppose -6 = -5*i - 4*w + 204, 3*i - 126 = 4*w. Let x = 158 + i. Suppose -5*v + 77 = -5*g + 3*g, 0 = 5*g - 5*v + x. Which is smaller: g or -42?
-42
Let v = -44415 + 28373. Which is greater: v or -16041?
-16041
Let m(r) = -58*r + 15. Let k be m(-12). Suppose 69 = -12*x - k. Does x = -63?
False
Let b be ((-5)/(-35))/(600/350). Let g = 95 + -661/7. Is g bigger than b?
True
Let b = 46134 - 23851288/517. Which is bigger: -1 or b?
b
Suppose -3*w + 3*r = 273 + 177, -5*r + 15 = 0. Let x = 159 + w. Is 87/7 <= x?
False
Let h be (-3*(-3)/6)/(7/770). Let o be ((-15)/18 - -1) + h/(-450). Which is bigger: 125 or o?
125
Let g(a) = -3*a - 74. Let u be g(-11). Let r(s) = -38 - 10*s**2 + s**3 + 40 - 17*s + 2*s. Let w be r(11). Which is greater: u or w?
u
Suppose 16*a = 12*a - o + 14, 0 = -a + 4*o - 5. Suppose a*k - y - 3*y = 2608, 3*k - 2618 = 2*y. Which is bigger: k or 877?
877
Let u(i) = i**2 + 8*i + 13. Let d be u(-8). Let v(k) = -k**2 + 14*k + 36. Let h be v(d). Is 47 greater than h?
False
Suppose -160 = 3*m - 11*m. Let c be (-1)/(11/(-10) - (-12)/m). Suppose -5*z - 75 + c = 3*t, 65 = -5*t + 3*z. Which is smaller: -3 or t?
t
Let y = -40773/22 + 1855. Are 2 and y unequal?
True
Let h(n) = -n**3 + n + 3. Let w be h(0). Suppose -w*v + 47 = -5*o - 0*o, 4*v = 2*o + 44. Suppose 0 = v*l - 8*l + 5. Which is greater: -2 or l?
-2
Let g(v) = 4*v + 6. Let x be g(12). Let j = x + -124. Let s be (-36)/(-60) - (-22)/j. Do 1 and s have the same value?
False
Suppose 0 = 11*u + 10689 + 6845. Let a = u + 1020. Is -573 bigger than a?
True
Let q(h) = -28*h**2 + 895*h + 32. Let o be q(32). Which is smaller: -1/818 or o?
-1/818
Let m(z) = -z**2 - 67*z - 44. Let d be m(-69). Suppose 2*w - 4*y + 368 = 0, -2*y = 5*w - 6*y + 914. Is w not equal to d?
False
Let y(c) = -2*c - 3. Let i be y(-2). Let g = 64634722/539 + -119916. Which is bigger: i or g?
i
Let t be (35/(-7))/(-5)*241. Let j = t - 38079/158. Let o = -2 + 3. Is j smaller than o?
True
Let g = -575 + 653. Let n be 1/537*-2*g/130. Which is smaller: -1 or n?
-1
Let v(c) = c**2 + 16*c - 164. Let a be v(-23). Let d = -44 - -24. Let m = d + 19.8. Is m bigger than a?
True
Suppose -4*i - w - 3 = 0, 0 = -11*w + 6*w + 5. Let s = 923465/179 + -5159. Which is bigger: s or i?
s
Let u(o) = o**3 + 7*o**2 + 7*o - 1. Let i be u(-5). Let y be (4 - 120/28) + 74/i. Let s be (144/105)/((-2)/(-7)). Is y >= s?
True
Let g = -2624/617055 + -2/41137. Does 0.18 = g?
False
Let l be (-50)/(-18) + (-14)/(-63). Suppose 4*g - 12 = l*w, -4*w - 16 = -0*g + 3*g. Let f = -18 - -19. Which is smaller: f or g?
g
Let i be (976/(-14))/(54/(-63)). Let v = -2437/30 + i. Is v >= 25?
False
Let r be (-138)/7 - (-4)/(-14). Suppose -971 + 1661 = -206*i - 2812. Which is smaller: i or r?
r
Let z(o) = o**3 - 9*o**2 + 10*o - 11. Let y be z(8). Suppose 5*u + y*l + 49 = 2*u, -4*u - 74 = -2*l. Is -130/7 smaller than u?
True
Let o = -361 - 32. Is o at least as big as 0?
False
Let a(g) = g**3 - 18*g**2 - 53*g + 171. Let p be a(21). Is 382 greater than or equal to p?
True
Let m = 4.8 - 6. Let q = -367 + 96. Let p = -270 - q. Is p < m?
False
Suppose -41 = 3*w - 4*k + 23, -3*w + k = 61. Let j be 2/((-8)/(-36)) - 8/w. Is 8 not equal to j?
True
Suppose -h + 12 = -4*h - 3*i, -h = 3*i. Which is greater: -2 or h?
-2
Let z be (1 - 4) + (15 - 2 - 5). Suppose 11*q - 10*q = -z, -2*r + 22 = -2*q. Which is smaller: 66/13 or r?
66/13
Let m(b) = 27*b**2 - 206*b - 3799. Let g be m(-18). Is g bigger than 8657?
False
Let y(r) = -4*r**2 + 18*r - 30. Let g be y(9). Let s be g/15 + 13 + (-302)/1260. Are s and 0 nonequal?
True
Let v = -8027 + 6589. Is v at least -1436?
False
Suppose 0 = 216*f + 1573 - 1783 - 4542. Which is smaller: 117 or f?
f
Let j be (-203)/(-58) + (-7 - 0). Let p = 22768/33 - 690. Which is smaller: p or j?
j
Suppose 8*v - 10*v = -12. Let p = v + -2. Let f(q) = q**3 - 58*q**2 - 121*q + 61. Let u be f(60). Which is bigger: p or u?
p
Suppose -209*p = -c - 213*p + 25, 0 = -4*c - 4*p + 40. Let t be c + 4/10 + (-3533)/645. Are t and -1 equal?
False
Let q(a) = -a**2 - 13*a + 96. Let k be q(-18). Let m be ((-3)/k)/((-13)/104). Is 56/13 >= m?
True
Let g be (-13510)/9940 - ((-12)/(-30))/(8/(-30)). Is g != 0?
True
Let f(g) = 88*g - 154. Let c be f(12). Which is smaller: 904 or c?
c
Let u(x) = -131*x - 5350. Let a be u(-40). Do -217/2 and a have the same value?
False
Suppose -4*r - 37 = -13. Suppose 3569 = 18*j + 887. Suppose j*o + 24 = 145*o. Is o bigger than r?
False
Suppose -24*t + 300 = 6*t. Suppose t*s + 358 + 692 = 0. Are s and -106 nonequal?
True
Let p = 15358 + -476110/31. Which is smaller: -5 or p?
-5
Suppose 5*i + 35*c - 19460 = 38*c, -3*i + 3*c + 11670 = 0. Is 3895 less than or equal to i?
True
Let k be (82/(-220))/(35/(-40)). Let i = 232 + -17866/77. Let z = i + k. Which is bigger: z or -2?
z
Let p be 105/140 - 10/(-8). Suppose 68 = -p*r + 62. Which is smaller: r or -24/11?
r
Suppose 0*w - 3*w - y - 8 = 0, 2*w = 4*y + 18. Let l be (-9)/(-6)*(-1 + w/(-3)). Is l less than or equal to -2/89?
True
Let b be (-16)/(-4)*(-6)/(6*-4962). Is b > 1?
False
Suppose s = 4*g - 1, -3*s + 2*g = -2 + 5. Let p(f) = -62*f - 7 + f**3 + 20*f - 7*f**2 + 24*f + 25*f. Let n be p(6). Is n equal to s?
True
Let a = 1.481 - -0.259. Let n = -1.14 + a. Is n < -2/15?
False
Let c(l) = -11*l - 55. Let a be c(-9). Let q be 1/10*-1*a/209. Is -1 bigger than q?
False
Let h = -25032 - -25028. Is h less than or equal to 391.3?
True
Let j = 21576.26 - 21576. Is 2/25 smaller than j?
True
Let y = 429 - 1017. Let l be (-1710)/y + 0 + -3 + 0. Which is bigger: 0 or l?
0
Suppose 2*o - 1 = -7. Let x be 3*((-7)/3 - o). Suppose -2*m + 47 = 4*v - v, -v = x*m - 21. Is v bigger than 14?
False
Let g(p) = 27*p**2 - 4*p + 1. Let m be g(1). Let w be 2*36/m - (-3)/(-5). Let k = 3 - 2. Is k at least as big as w?
False
Let r = -5989 - -5989. Let o = -7.7 + 8. Let s = 0.07 + o. Which is bigger: s or r?
s
Let m(a) = 15*a**3 - 8*a**2 - 70*a + 7. Let n be m(-4). Which is greater: 2/7 or n?
2/7
Let g(a) = -a**3 - 3*a**2 + a + 3. Let y be 2/6*(-32 - -20). Let j be g(y). Is 19 >= j?
True
Suppose g = 3*g - 2. Which is greater: -5/787 or g?
g
Let k be (186/24 - 8)*-10492. Are 2623 and k equal?
True
Suppose -10*m + 1945 = 29*t - 24*t, -3*t + 3*m = -1239. Is 409 at most as big as t?
False
Let t(f) = -4*f**3 + 374*f**2 + 190*f - 187. Let a be t(94). Which is greater: -102/229 or a?
a
Let s be 158/(-553) - ((-7290)/5474 - -1). Let w = 116/3519 - s. Which is greater: w or 0?
0
Let w = 44608 + -169911876/3809. Which is bigger: w or -1?
w
Let f(m) = 2*m**2 - 13*m + 3. Let y be f(2). Is -102/7 greater than or equal to y?
True
Suppose -3*z = t + 37 + 15, 5*z = 5*t - 80. Let d = -17 - z. Suppose -3*