211 = -3*a, -a - 4*w - 1 = -z. Let p(c) = c**3 + 106*c**2 + 204*c - 345. Let y be p(-104). Which is greater: a or y?
y
Let m = 32841/24794 - 65/49. Let q(r) = r**2 - 27*r + 51. Let c be q(25). Which is smaller: c or m?
m
Let x = 0.14698 + 5.85302. Which is bigger: x or 40?
40
Let p = -0.1925 - -0.142. Let c = 40.0505 + p. Is 1 > c?
False
Let l = 1487.43 + -24.43. Which is greater: 3 or l?
l
Let v(q) = -q**3 - 2*q**2 - 5*q - 9. Let l = 162 + -164. Let c be v(l). Is -4 not equal to c?
True
Let p = -0.3347 + 0.2347. Which is greater: 2351 or p?
2351
Let g = -1270 + 1269.69. Is g >= -5.4?
True
Let i = -31006 - -31070. Is i != -22?
True
Suppose 2*s - 1 - 27 = 4*o, -s - 4 = o. Let u be 9/o*-2 + 5265/(-1764). Which is greater: u or 1?
1
Let a = -225 + 221. Let p(r) = 3*r - 1 - 1 - 7 - 3*r**2 + 12*r. Let h be p(5). Are h and a non-equal?
True
Let f = 800 - 814. Let g be (75/105)/(12/f). Which is smaller: 65 or g?
g
Let z = -5833/17 + 343. Let m = 89 - 89. Suppose m = -38*t + 42*t + 4. Which is greater: t or z?
z
Let y be (-6)/12 + (-1)/(-2). Let n(l) = l - 8. Let s(d) = d**3 + 5*d**2 + d - 3. Let g be s(-4). Let t be n(g). Is y equal to t?
False
Let z = -60 - -55. Let v = z + -32. Let m = v + 35. Is m at least as big as 1/4?
False
Let s(a) = -2*a**2 - 4*a - 7. Let v(f) = -f**2 - 1. Let i(o) = -s(o) + 4*v(o). Let c = 823 - 825. Let u be i(c). Which is smaller: u or -12?
u
Let a(j) = 5*j**2 - 13*j + 17. Let p(z) = 13*z - 2*z**2 - 21 + 5 + 0*z**2 - 2*z**2. Let b(m) = -3*a(m) - 4*p(m). Let h be b(12). Is h greater than 1/163?
True
Suppose 533 = 3*d + 230. Is d at least 807/8?
True
Suppose 4*z = 8, -3*m - z = 23 - 10. Let s(f) = 3*f**2 - 12*f - 51. Let h be s(m). Is 86 >= h?
True
Let k(v) = -4*v + 95. Let q be k(22). Suppose q*p - 101 + 759 = 0. Is -94 greater than or equal to p?
True
Suppose -3*i - 175*t + 177*t = 1279, -4*i - t - 1731 = 0. Is -428 equal to i?
False
Let z be (-560)/208240*60/14. Which is bigger: z or 0?
0
Let o be -1*(-1)/4 - 734/(-8). Let j = -175/2 + o. Suppose -37 = -5*v + 3*h - 0*h, -4*v + 3*h = -32. Is j smaller than v?
True
Suppose 486*a = -40*a - 526. Which is smaller: 40/111 or a?
a
Suppose -13*r = -17*r - 36*r - r. Which is bigger: -623 or r?
r
Let c = -2747 + 2736. Is -96 bigger than c?
False
Let o be ((553/(-8))/(476/(-272)))/((-6)/140). Which is smaller: o or -921?
o
Suppose -38*d + 36636 = -50*d. Is -3053 >= d?
True
Let t = 4372 - 4151. Is 201 at most t?
True
Suppose 0 = -3540*q + 1874 + 1666. Let t be -1 - 1/(43/(-93)). Which is smaller: t or q?
q
Let q be ((-2)/3)/(6/(-306)). Let p be ((-5)/2)/5 + (-825)/(-22). Which is bigger: p or q?
p
Suppose 30*f = 6974 + 1726. Suppose -10*c - f - 980 = 0. Is c smaller than -127?
False
Let t be 15/(-40) - (-1878)/16. Let s(p) = 14*p + 46. Let y be s(5). Which is smaller: t or y?
y
Let h = 995.6 - -49.4. Let v = -991.69 + h. Let o = 53 - v. Is o greater than 0.2?
False
Let v = -0.2282113 - 326.6931887. Let h = -0.0786 + v. Is h at most 1?
True
Let q = 39 + -38. Let h be (-54)/(-36) - 2637/286. Let o = -72/13 - h. Is o less than q?
False
Suppose -7362 = 342*c + 403*c + 73*c. Suppose -3 = -3*z + 3. Which is smaller: c or z?
c
Let z be 12/(-4)*((-2)/414 + 0). Let h be ((3 - 2) + -1)/(-3). Suppose h*v + v - 1 = 0, 0 = o - 5*v + 4. Which is smaller: z or o?
z
Let x = -1099485/52 - -21143. Which is greater: x or -1?
x
Suppose -10*f - 3*f + 260 = 0. Let w be (f/6 - 48/36) + 2. Let i be 2/(66/(w + 22/(-5))). Do i and 1 have the same value?
False
Suppose 26623 = 31*k - 1339. Is 903 greater than or equal to k?
True
Suppose -864*c + 1500 = -1114*c. Which is smaller: -0.166 or c?
c
Let x be (-12)/4*(2 - 3). Let m be x*(1 + (-6)/3)*9. Let f = 36 + m. Which is bigger: f or 7?
f
Suppose y + 14*h = 10*h + 82, 3*y - h - 194 = 0. Suppose 2*q + s - 2*s + 44 = 0, -2*s = -3*q - y. Is q greater than -5?
False
Let i = 9185 - 9036. Is 148 >= i?
False
Let p = -4.4 + -1.6. Let z(o) = 3*o**3 + 15*o**2 - 20*o - 4. Let x be z(-6). Is p > x?
False
Let n be (21546/(-21570) - -1)/(4/(-50)). Is -1 > n?
False
Let y = -210 - -213. Suppose 0 = y*t + 79 - 43. Is t less than -56/5?
True
Let o(d) = d**3 - 3*d**2 + d - 4. Let y be o(3). Let c be 312/(-51) + 12/102. Let f be 4 - (-399)/63*c/13. Is f at least y?
True
Let f = -50 - -53. Suppose q + 8 = -f*t, -2*q - 4*t + 7 - 19 = 0. Let d be 2 - (3 + (q - 1)). Does -1 = d?
False
Let v = 16154372351/17094 - 945032. Let o = v + 1/462. Are 1 and o non-equal?
True
Let u = 2465/4 - 372207/604. Is 1 greater than u?
True
Let a be (-13 + -1)*11/69685*-10. Which is smaller: a or 2?
a
Let f = 2571 + -2571.5. Is 1/623 smaller than f?
False
Suppose 4*m + x + 68 + 4 = 0, 0 = -4*x. Let r be (-100)/(-45) + 4/m. Suppose -15 + 5 = -r*c. Is 6 >= c?
True
Suppose -16642*q + 16668*q = 40456. Which is smaller: q or -1/5?
-1/5
Let d = 74.8818 - -0.1182. Is -82 at least d?
False
Let z = 10881 - 10898. Let b be 1 + -2 + 3/4. Which is greater: b or z?
b
Let z = -2.615 - -2.57. Let i = z + 0.145. Is i at least as big as -101?
True
Let x = 4087 + -4086. Is x not equal to 2/27807?
True
Let r = -5.04 + -307.96. Let x = -313.1 - r. Which is greater: 251 or x?
251
Let l = -2069 - -1802. Is -269 bigger than l?
False
Let s = -6808 - -6802. Is 195 at most as big as s?
False
Let c be (-16 + -14043)/17 + -11. Are c and -837 non-equal?
True
Suppose -574 = 5*q - p, 212 + 243 = -4*q + 5*p. Which is smaller: q or -107?
q
Let c = -5967 - -5967.1. Which is smaller: -6/1637 or c?
-6/1637
Suppose 16*k - 11*k - 45 = 0. Let w be (-2)/k + (-18450)/81. Which is smaller: w or -227?
w
Let l be ((-35)/4)/((-583)/44*2). Which is bigger: l or 1?
1
Let q = 5925 + -5859. Is q equal to 63?
False
Suppose -5*x = -5*f - 235, 2 = -2*f + 4*f. Suppose -4*z = -7*z + x. Which is smaller: z or 19?
z
Let r = -245.1 - -245.2. Which is smaller: r or -0.0279?
-0.0279
Let b be 10/(-8) + ((-290)/(-56) - (-100)/175). Is b less than or equal to -0.3?
False
Let t = 71 - 425/6. Let g(l) = l**2 - 2*l + 6. Let k be g(4). Suppose 0 = -m - 5*j + k, 1 - 2 = -5*m - 2*j. Is t less than m?
False
Let m = 15 + -11. Let g = -3622 + 3626. Let x be ((-45)/m)/(-9)*g. Is 5 not equal to x?
False
Let a be (7 + (-171)/27)*12. Let u(t) = t**2 - 7*t - 4. Let w be u(a). Let s = 4 + -8. Is w < s?
False
Suppose 420 = 10*j + 380. Let p be (-24)/j + (-1833)/(-182). Which is smaller: p or 4?
4
Let a(f) = 72*f - 1024. Let h be a(50). Is 2576 smaller than h?
False
Suppose 72 = 2*q + 6*q. Let a be 0 + (-1209)/2128 + (q - 7). Let k = a - 1/304. Are k and 2 nonequal?
True
Let k = 1/10595 + -23337/296660. Is k >= 0?
False
Let b be 36/54*-1*3/(-1). Suppose -m + 35 = -4*s + 3*s, -s + b*m - 32 = 0. Let g = -37 - s. Which is greater: -3 or g?
g
Suppose 85*k + 29 - 46 = 79 - 11. Let q = -146/11 - -74449/5610. Is k bigger than q?
True
Let w = -206 - -232. Suppose -4*r = -w + 26. Which is bigger: -5 or r?
r
Suppose -8*t - 4*t + 24 = 0. Let d = -9 + t. Which is bigger: d or -17?
d
Let o be (-2)/((-3)/6 - -4) - (-1350)/2730. Which is greater: o or -160?
o
Let o = 4.58 + 2.42. Let x = 9 - o. Which is greater: -26 or x?
x
Let c(k) = -8*k - 7*k - 3*k**2 + 12*k - k**3 - 7. Let s(d) = -3*d**3 - 6*d**2 - 5*d - 15. Let q(f) = 5*c(f) - 2*s(f). Let u be q(5). Is 20 > u?
False
Let v be 92/7 - (-1)/(-7). Let q be (-5)/(-15)*3*7747/543. Let s = 12/181 + q. Which is smaller: s or v?
v
Let l = 22965/8 + -2889. Suppose -6*k - 2 = 112. Are l and k non-equal?
True
Suppose 5*i - 3*b = -158, 162 = -5*i - 2*b + 4*b. Let n be 4/i + 57/51. Which is smaller: 3/2 or n?
n
Let y = 198 - 194. Is y greater than 140/37?
True
Suppose 0 = -4*l - 351 - 489. Let z be 15/(l/8) + 6/7. Let c be 16/6 - (-2)/(-3). Which is greater: z or c?
c
Let y be 13*358/36*24/40. Let a = -377/5 + y. Is a >= 1?
True
Let n = -1921705/9 - -213821. Is 299 at most n?
False
Let q be 6/10 + 21641/340 - 0. Which is bigger: 64 or q?
q
Let j(w) = 4*w**2 + 3*w - 14. Let x be j(-9). Suppose -l - 3*t + 66 = 0, t + 20 + x = 4*l. Suppose 7*m + l = 4*m. Which is smaller: m or -24?
m
Let z = 46692/21805 + -143800471/64063090. Let l = 1/226 + z. Which is bigger: l or 1?
1
Let m be (-8)/(-70)*2/2. Let j = 99 + -92. Suppose 5*c + 0*c = -4*f - 13, 0 = -3*c + 5*f + j. Is m >= c?
True
Let m(h) = -2*h - 40. Suppose 0 = b + 3*b + 88. Let o be m(b). Suppose 0 = -o*