 is greater: n or 16?
n
Let q(a) = a**3 - 2*a + 242. Let p be q(0). Let j = 878 - p. Suppose -j = -8*z - 108. Which is smaller: 65 or z?
65
Suppose 5*s + 2*c = 62 + 3, -4*c = s + 5. Suppose 0 = s*p + 106 - 361. Is p less than or equal to 16?
False
Suppose -3*r = -n + 49, -r + n - 6 = 13. Let f(h) = 2*h**2 - 6*h - 39. Let u be f(6). Are r and u non-equal?
True
Suppose -2*q = 3*j - 3605 - 2395, -q + 10000 = 5*j. Suppose 0 = 37*z - 33*z - j. Let d = 1543/3 - z. Which is greater: d or 14?
d
Suppose 0 = 12*c - 1373 - 9619. Suppose -51*h + 47*h = -c. Which is bigger: 1/3 or h?
h
Let d = 59079 + -59078. Let q(b) = 2*b - 2. Let n be q(2). Let m be 8/7*n + -2. Is d greater than or equal to m?
True
Let a = 7888 - 7887.6. Which is smaller: a or 4226?
a
Suppose 5*x = 4*k - 10, -48*x + 12 = -50*x. Is -3.32 less than k?
False
Let i be 139/12 - (-19)/(-76). Which is greater: -1 or i?
i
Suppose 0 = -5*u - 982 + 977. Which is smaller: u or -11/1019?
u
Let o be (((-66)/(-4))/3 - -2)*2. Suppose 20 = -2*s - 4*u, -o = 3*s - 4*u + 25. Which is greater: s or -2/7?
-2/7
Let l = 140 + -175. Let g be 12/(-21) - 30/l. Is g <= -0.013?
False
Let z(g) = 8491 + 0*g + 0*g + g**2 - 8482. Let o be z(-13). Is 177 smaller than o?
True
Suppose -1372 - 753 = 5*q. Let u be ((-2130)/45)/((-20)/(-180)). Is u < q?
True
Suppose 16*c - 3 = 15*c. Let z = -7/2 + c. Is -35 at most z?
True
Let v = 4 - 2. Let c be ((-20)/(-24) - 6/4)*12/476. Is c greater than or equal to v?
False
Let k = -258 - -788/3. Let s = -4 + k. Let x = 147 + -145. Is x > s?
True
Let y(m) = m**3 - 13*m**2 + 13*m - 12. Let x be y(12). Let c = 14 + -13.82. Let f = -5.82 - c. Which is smaller: x or f?
f
Let v = 0.39 + 0.07. Let n = -44 - -44.46. Let z = n - v. Are -37 and z unequal?
True
Let q = 22 - 22. Suppose 3*j - 12 = q, 107 = -5*d + 10*j - 12*j. Let v = -1.98 + -0.02. Is v > d?
True
Let y(l) = -6*l**3 - 169*l**2 - 36*l - 223. Let g be y(-28). Let q be (((-6)/13)/(-1))/(-26). Which is greater: g or q?
g
Let m = -0.001 + -3.299. Let b = 71 + -67.7. Let a = b + m. Is a smaller than -0.01?
False
Suppose 15*t = -50*t - 22*t - 87. Which is greater: t or -59/55?
t
Let p(t) = -t**3 + 17*t**2 + 17*t + 22. Let l be p(18). Suppose -3*k - 54 = -l*a, -4*a + 7*k = 2*k - 58. Let g = -9 + 22. Which is smaller: g or a?
a
Let u(m) = -m**3 + 33*m**2 + 20*m + 125. Let f be u(25). Do 5625 and f have the same value?
True
Let l(g) = g**3 - 6*g - 10*g + 15*g**2 + 2 + 0. Suppose -8*o + 555 - 1531 = 53*o. Let z be l(o). Does 16 = z?
False
Let u be ((-14)/6 - -3) + 23750/(-35670). Which is greater: 0 or u?
u
Let y = -7413.25 + 7423. Which is smaller: -2/17 or y?
-2/17
Let b be 8/(-10) + (-32940)/(-300). Which is greater: b or 1212/11?
1212/11
Let h = 228 - 230. Let w(c) = -16*c**3 + c**2 - 3. Let o be w(h). Are o and 129 non-equal?
False
Let g(w) = -w**3 + 24*w**2 - 21*w + 3. Let f be g(21). Are 886 and f nonequal?
True
Let n = -40607 - -19224. Which is smaller: n or -21382?
n
Suppose 0 = -x - 4*l - 6, -16*x - 5*l = -13*x + 32. Is x greater than or equal to -512/39?
False
Suppose -7*w + 10*w = 4*y, -w = -2*y. Let l be (27 + -24 - (4 - 0)) + y. Which is smaller: 1/3 or l?
l
Let t be (-1 - -1)/3 - 0. Let u be (t/2)/(0 - 2). Let y = 1998 - 49952/25. Which is smaller: u or y?
y
Let u be ((-6)/33)/(0 - 1). Suppose -32*d - 2112 = 960. Let p be 120/d + (-39)/(-44). Do p and u have different values?
True
Let x = 25777/6 - 4274. Let p = 65/3 - x. Let l = 5 - 19. Is l at least as big as p?
False
Let x = -80 - -84. Let d be (1 + x/(-12))*9. Let u be 2/(d/(-24) - 54/8). Are -1/58 and u equal?
False
Suppose 0*d = -2*d + 2. Let m be 16/(-5) - d/(-5). Let z be m + -4 + 2146/306. Do z and 0 have different values?
True
Suppose -4*t = 3*w - 14014, 3*t - w - 5801 = 4690. Is t at most as big as 3498?
False
Let f = 1605/11 + -146. Let w(c) = c**2 - 5*c - 72. Let l be w(10). Which is bigger: l or f?
f
Let t = -0.036 + -0.284. Let v = -0.32 - t. Is v not equal to -15?
True
Let v be 536/(-2814) + 1*2/(-7). Let q be (-300)/14 - (-3)/7. Let c = q + 21. Which is smaller: v or c?
v
Let w be (2/4)/((-3)/(-2994)). Suppose 14*i = w + 1713. Which is greater: i or 159?
159
Let b = 128/13 + -15859/1612. Let r(x) = 235 - 3*x - x**3 - 209 + 0*x**3 + 9*x**2. Let g be r(9). Which is smaller: b or g?
g
Let x be 88/(-2)*98/4018. Which is smaller: x or 0?
x
Let y = 1076245/136 + -7914. Does 0.1 = y?
False
Let a = 197.4 + -196. Let k = -0.2 - a. Which is smaller: k or -0.1?
k
Let v = -6448.8 - -6448. Is v < 1488?
True
Let u(j) = 586*j**3 + 2*j**2 - j. Let l be u(1). Suppose 1057738*v - 1057731*v - 4102 = 0. Which is greater: l or v?
l
Let a(c) = -2*c**2 - 7*c + 4. Suppose 0*q = 6*q + 42. Let z be a(q). Let b = z + 179/4. Which is smaller: b or -1?
-1
Suppose -1 + 9 = q. Let b(z) = z**2 - 3*z - 53. Let g be b(-6). Which is greater: q or g?
q
Let w = 1717 - 365. Which is smaller: 1351 or w?
1351
Let i(j) = -2*j**2 + 3*j - 20. Let n(z) = 3*z**2 - 3*z + 21. Let s(m) = 5*i(m) + 4*n(m). Let y be s(3). Is y >= 0.3?
True
Let o = -386 - -191. Let v be o/27 - (-2)/9. Let h(j) = -j**2 + 3*j + 4. Let y be h(5). Is v at least as big as y?
False
Let i(x) = -x + 13. Suppose -5*o + b + 24 = -3*o, o = -2*b + 17. Let v be i(o). Does 24/35 = v?
False
Let y(x) = -2054*x**2 - 4*x - 1. Let d be y(2). Is -8227 >= d?
False
Let c(z) = z**3 - 9*z**2 + 7*z + 4. Let g be c(8). Let q = 0.4 + -2.4. Let i = 2.7 + q. Is i at least as big as g?
True
Let p = -54 + 69. Suppose 0 = 3*j - p*j + 60. Suppose -2*d - 2*v + j + 39 = 0, d = 5*v + 10. Are 21 and d nonequal?
True
Let d = 2495 - 14935/6. Let w be (-14)/(-6)*(-7 + 10). Is d <= w?
True
Let x(n) = -n**3 - 12*n**2 - 2*n - 28. Let a be x(-12). Let g be a/(-752)*2*1/(-1). Is 0 greater than g?
True
Let a(b) = -b**2 - 4*b - 5. Let v be a(-6). Suppose 4*l - 242 = h, 40*h = l + 36*h - 53. Let c = l + v. Is c less than 44?
False
Let i = -239 - -155. Let c = -84.2 - i. Is c less than -0.14?
True
Let d be 5/(-1 - (0 - 108/107)). Let h = d + -11237/21. Do -8 and h have the same value?
False
Let q(y) = y**2 + 27*y + 128. Let u be q(-21). Let o be (-3)/(u + (-466)/226)*1. Which is smaller: 47 or o?
47
Suppose -279*y + 110 = -224*y. Which is smaller: y or -3738?
-3738
Let x be (8/(-374))/((-28)/154). Let n = 30.9 - 31. Do n and x have the same value?
False
Let l be 5/(-4) + 11/44. Let z = 40012/15 - 2667. Do z and l have the same value?
False
Suppose -4*h = -55*u + 56*u - 67577, -4*u + 4 = 0. Is 16894 at least h?
True
Let y = 0.4443 + -0.3443. Suppose -3*v + 5*p - 1 = -41, v + 5*p = 0. Suppose 3*n - v = -49. Which is smaller: n or y?
n
Let h(c) = c**2 - 149*c + 1851. Let j be h(12). Is j bigger than 184?
True
Let g(d) = 104*d**3 + d**2. Let s be g(1). Suppose -2*y - 8*j = -3*j - 19, -j = 5*y - s. Let m = 19 - y. Which is bigger: -18/5 or m?
m
Let l be (12/8 - 1) + 8055/(-16070). Which is smaller: 0 or l?
l
Let t be 12/(-28)*1127/(-21). Suppose 5*q = 3*q + 82. Let f = q + -17. Which is greater: t or f?
f
Let b = 0.0612 + -11.0612. Suppose -3*r + 27 = -3*t, -4 = -t + 3*r - 17. Let z be 2/(-6) - t/63. Which is bigger: b or z?
z
Let a = -5326 + 5213. Is -3 greater than or equal to a?
True
Let l be (6 - (0 + -6)) + -5. Let c be -1 + l - 52/11. Which is smaller: c or 1?
1
Suppose 0 = 4*b + b + c + 47, 0 = 5*c - 15. Let y = b + 10. Suppose y = d + 3*d + 56. Is -15 greater than d?
False
Let j be (-1766)/(-12) + 2 + (-5)/30. Let r = 150 - j. Which is greater: -6/47 or r?
r
Let c = -45 - -21. Let x = -22.9 - c. Let m = x + 0.1. Which is smaller: m or 0?
0
Let v = 6291.9 - 6292. Are v and 2470 unequal?
True
Let v(w) = -2*w**2 - 7*w. Let u be v(-3). Let k be -1 + (u/18 - (-95)/6). Let d = k - 43/3. Which is smaller: d or -8?
-8
Let g(v) = 4*v + 95. Let a be g(-23). Let i(m) = 34*m - 82. Let c be i(a). Which is greater: c or 19?
c
Suppose 2*o - 2*b - 118 = 0, -b = 4*o + 6 - 262. Let y be (12/(-70))/(-2) - 18/o. Is 0 > y?
True
Let p = 0.2 + 2.8. Let f = 169.6 - 185. Let n = f - -15. Are p and n unequal?
True
Let x = -68123/1197 + 512/9. Suppose 33*r - 35*r = -25*r. Which is greater: x or r?
r
Let j = 5.844 - 194.744. Is -1 at most as big as j?
False
Let p be 9 + 280/(-30) - 2728/6. Which is bigger: p or -1361/3?
-1361/3
Let j(t) = t**2 - 20*t + 9. Let o be j(-12). Let i = 732 - o. Is i >