219. Let n be o(-5). Which is bigger: n or -387?
n
Let x(c) = c**3 + 43*c**2 + 417*c - 43. Let o be x(-15). Which is smaller: 198/151 or o?
198/151
Suppose v - 5*i - 29 = 0, -3*i = -2*v - 7 + 44. Let s be (-2)/v - (16472/(-2016))/29. Are s and -1 equal?
False
Let o = 6065 + -5621.7. Let w = 443 - o. Is w less than 7.2?
True
Let j = -827/3 - -282. Let l(q) = -q**2 - 169*q - 815. Let b be l(-5). Is j at least b?
True
Suppose 2*o - 5*o = 3*m - 6, 0 = -o - 2*m - 2. Let x be (-2)/o*(-16905)/(-46). Is x less than -124?
False
Suppose 0 = 5*h + g - 161, 100 = 8*h - 5*h + 4*g. Suppose 0 = -2*o + h - 32. Which is smaller: -6 or o?
-6
Suppose -6*n - 90 = 4*n. Let a(z) = -z**2 - 10*z - 9. Let j be a(n). Is 2/5 at most j?
False
Suppose -y - 1 = -4*p, 4*p - 4 = -2*y - 6. Which is bigger: 15/32 or p?
15/32
Let q(u) = u**3 - 7*u**2 - 4*u - 2. Let y be q(6). Let j be y/(-3) + (-2)/3. Suppose -5*v - 1 = -2*l + 9, -3*l + 15 = v. Which is smaller: j or v?
v
Let f = -50 + 98. Suppose 5*h + 195 = 5*j, 47*h - 45*h - 63 = -j. Which is greater: j or f?
f
Let i be 11/(110/60) + 160/(-22). Let z = -4.6 - -6.6. Is z at most i?
False
Let k be (79/10)/((-2)/15). Let m = 7817/36 - 7805/36. Are m and k equal?
False
Let o(i) = -i**3 + 10*i**2 - 10*i + 13. Let r be o(9). Let w be 8/(-10)*(-10)/r. Let n be 15/10 + 8/16. Is w bigger than n?
False
Let a = 9598 - 9597. Is a at most as big as 55/4?
True
Suppose -31*y + 69*y = 65 + 11. Let w = 1.7 + 14.3. Let c = 4 - w. Is y at least as big as c?
True
Suppose -1 - 1 = -k. Let p be (-10)/25 + (4 - (-607)/(-170)) + 0. Is p less than or equal to k?
True
Suppose 10 = 21*x - 63*x + 32*x. Which is bigger: x or -9/2344?
-9/2344
Let n(b) = -387*b - 17803. Let y be n(-46). Which is bigger: 2/44261 or y?
2/44261
Let p be (7*(-5)/210)/((7/(-6))/7). Let q = 273.9 - 295. Which is smaller: q or p?
q
Let b be (1 - 5) + (-136)/36 + 8. Does -261/7 = b?
False
Suppose -4*z = z - 65. Let p(a) = a**2 - 15*a + 28. Let f be p(z). Suppose l = f*j + 22, 12 - 1 = -j - 4*l. Which is smaller: -10 or j?
j
Let w(m) = -m - 2. Let p be w(3). Let h = 262 - 260.53. Let y = -2.53 - h. Which is smaller: p or y?
p
Let w = -42.71 - -43.01. Which is bigger: -1/371 or w?
w
Let x be (-68)/35 + 2 + (5184/630)/(-24). Which is bigger: x or 300?
300
Let d = -588 + 919. Let b = d - 331. Which is bigger: -1/315 or b?
b
Let q be ((-9)/(-4) - 1)/(-555*28/5600). Which is bigger: q or 0?
0
Suppose 6203 = -15*p + 2637 - 6184. Which is smaller: p or -651?
-651
Suppose 0 = 16*d - 28 - 14 - 6. Let k = -1 - 1/4. Let n = k - 1/4. Which is smaller: n or d?
n
Let j = -1598457/187 - -8548. Which is smaller: j or 1?
j
Let z = -1284 - -3853/3. Which is greater: -1142 or z?
z
Suppose 2*x = -10*x + 828. Suppose 0 = -5*j - 0*j - 3*u - x, 2*j = -5*u - 39. Which is greater: j or -6?
-6
Let w be (6/(-40))/(576/(-10400)). Is w >= 2?
True
Let l = 208363/41 - 5082. Which is bigger: l or 118?
118
Let o(l) = -l**3 + 5*l**2 + 9*l - 5. Let m be o(6). Let n be (m/(-3))/(8/42). Is -24 less than or equal to n?
True
Let t = -42 - -34. Let l = -7.965 - t. Let s = l + -0.045. Which is greater: s or -1/4?
s
Let a be 51 + (-2 - 5) - 2/(-4). Let h = -1471/34 + a. Which is smaller: 2 or h?
h
Suppose 0 = -73*s + 51*s + 200926. Which is smaller: s or 9134?
s
Let r be (-128 + 3)/(15/(-15)). Let c = r - 125. Which is bigger: -6 or c?
c
Let i(w) = -w - 8. Let v be i(-12). Suppose -2*u + 198 = v*u. Let t be 21 - 18 - 1*u. Is t greater than -31?
True
Let f(y) = y**3 - 8*y**2 + 8*y. Let j be f(7). Let v be (0 - (-4)/22) + (-4)/22. Suppose v*a + 18 = 3*a. Is a less than j?
True
Suppose -609 = 4*m - 5*l + 298, -l = 5. Let y be (-16)/(-4) - m*(-4)/238. Is y at least 0?
True
Suppose 13 = -2*a - 5. Let b be (-6)/a*3/(-2). Let h = 297/13 + -2660/117. Which is bigger: b or h?
h
Let p = -105 - -109. Let q be (-7)/28 - p/112. Let o = 0.98 - 0.08. Is o at most as big as q?
False
Let c = 60514/5 - 11684. Is 420 at least as big as c?
True
Let j be 22/99 - (-1 + (-194)/18). Suppose -6 = -j*c + 102. Suppose -c*l - 6 = -6*l. Which is bigger: l or 8?
8
Let l(k) = 45*k + 20. Let d be l(0). Let c be (6/d)/(84/2296). Are 7 and c nonequal?
True
Let l(o) = -o**3 - 58*o**2 + 164*o - 84. Let r be l(-59). Is -6279 bigger than r?
False
Let f(t) = 0*t**2 + 3*t - 8 - t**2 + 2*t**2 - 17 + 4. Let o be f(-6). Let q be ((-4)/5)/((-7)/(-20)). Which is smaller: q or o?
o
Let w be ((-32)/120)/((-24)/(-100)). Suppose 0 = 4*h - 4*b, -2*b + 7 + 0 = 5*h. Let v be h + 0 + -3 + 0. Does w = v?
False
Let c be 22/33 - (-5260)/(-15). Let d be 9/21 + 80/c. Which is bigger: 39 or d?
39
Let v be (-3)/(-6) - (-327)/(-12). Suppose -3*m - 37 = -n + 2*m, -3*n = 5*m - 171. Suppose u + n = -u. Which is greater: v or u?
u
Let s = 5482 - 5482.2. Let y be ((-14)/(-104))/((-12)/33). Let f = -1/16 - y. Is f smaller than s?
False
Let s = 283 - -58. Suppose -22*r - s = -11*r. Suppose 3*k + 89 = -4. Is r not equal to k?
False
Suppose -140 = -3*u + 2*u. Suppose 37*t - u = 35*t. Let z be 6/(-14)*t/(-21). Which is smaller: 1 or z?
1
Let c(y) = -9*y + 244. Let t be (1 - 28)*(-6 + 5). Let s be c(t). Is s greater than or equal to 1/244?
True
Let g = -47208 + 47211.9162. Let v = g + 0.0838. Is 4/15 not equal to v?
True
Let h = 26.84 + -276.84. Is h equal to -1?
False
Let y(b) = 2*b**2 + 18*b - 369. Let m be y(-35). Which is smaller: 1453 or m?
m
Let y be 4/(-3 + (48/9 - 1)). Suppose -3*o + 54 = y*o. Let x be 15/9*o/(-3). Is -5 at least as big as x?
True
Let m(s) = 3*s. Let g be m(0). Suppose 0 = 3*z + 15, g*z + 3*z = -x - 4. Suppose -10*v = -1 + x. Is v equal to -1/8?
False
Let h = -0.193 + -94.867. Let q = 324 - 229. Let f = q + h. Is f at least 2/7?
False
Let n be (-52140)/(-4290) + -12 + 1. Which is smaller: 3 or n?
n
Let j = -32.77 - -32.57. Which is smaller: -0.0817 or j?
j
Let p be ((-2)/3)/(-2)*(-283 + 280). Which is smaller: 1/3915 or p?
p
Suppose 2*k + s = -54 + 335, -4*k + 4*s = -532. Let p = -182 + k. Suppose -148 = 4*t + 32. Which is smaller: p or t?
t
Let f be ((-19188)/((-13)/1))/(-1 - 0). Do -1478 and f have different values?
True
Suppose 4*w - 2*d + 24 = 0, 4*w + 21 + 7 = 4*d. Let j be 3/w - 7/(7105/(-399)). Are j and -4 equal?
False
Let c be 1*(-4)/34*2. Let m(p) = 7 + 4 - 58*p + 33*p + 28*p + 42. Let d be m(-18). Is d < c?
True
Suppose -6*p = 9 - 33. Suppose -p*d + d = -39. Suppose d*k - 8*k = -105. Which is smaller: k or -0.1?
k
Suppose -5*f = 2*h + 3, -60*f = -58*f + h + 1. Which is greater: -75/32 or f?
f
Let p = 1727 - 1726.9. Let k = 7.9 - 0.9. Let m = k + -8. Is m <= p?
True
Let r be (-72)/1 + (1109 - 1062). Let k = 5 + 1. Is r less than k?
True
Suppose 2*f + 200 - 752 = -4*f. Is f >= 90?
True
Let w = -38171/11930 + -1/2386. Is w bigger than 7?
False
Suppose 0 = 5*g - 11 + 1. Suppose g*c = 4*v + 100, 5*v + 111 = -0*v - c. Which is greater: v or -21?
-21
Let s(d) = 2*d**3 - 24*d**2 + 26*d - 30. Let v be s(11). Let p be 8*-3*(-4)/24. Which is smaller: p or v?
p
Let w = -19.76 + 19. Let r = -10583 + 10583.1. Which is smaller: r or w?
w
Let q = -32455 + 287096929/8846. Which is smaller: q or 1?
q
Suppose -2*b + 21 = -3*m, -4*b - 4*m = -2*m - 2. Suppose 90 = -b*i - 3*o, 5*o = 4*i + o + 112. Does i = -29?
True
Let s = 0.5 - -14.5. Let h = -151698 + 151698.2. Which is bigger: s or h?
s
Suppose 0 = n - 2*w + 2896, -39*n + 41*n = 3*w - 5798. Which is smaller: -2907 or n?
n
Let i = -106.2 - -570.2. Let w = i + -452.7. Which is smaller: w or -1?
-1
Let t = 75/592 - 7/37. Let p(k) = -49*k - 185. Let g be p(-7). Let h = -159 + g. Is t less than h?
False
Let m = -131.85 - -116.85. Which is greater: m or -356?
m
Let j(t) = 2*t**2 + 2*t + 13. Let n be j(-3). Let k = -78 - n. Which is smaller: k or -105?
-105
Suppose -13*b + 10*b = 153. Let w be (32/6)/(b/9). Let l = -13/68 - w. Which is smaller: l or 0?
0
Let p(c) = -2*c**2 - 152*c + 1. Let d be p(-76). Is -1/4085 less than d?
True
Let d = 58863/31 + -1899. Let j(g) = 2*g**3 + 6*g**2 + 3*g + 3. Let w be j(-3). Let s be (w/9)/(6/(-9)). Which is bigger: s or d?
s
Let r = -403.28 - -311.1. Let y = r + 134.17. Let s = y - 0.99. Is s <= -1?
False
Let a = -1382344/11505 + 1562/13. Which is greater: a or -1?
a
Let h(c) = -364*c + 3276. Let r be h(9). Are 8/2577 and r equal?
False
Let z = 124 - 124.109. Let p = 4969 - 4967. Is z at lea