= -d**3 + 75*d**2 - 122*d - 1746. Let b be f(73). Which is smaller: 300/41 or b?
b
Let w be (-54)/45*(-3)/(-9). Let l = -9 + 5. Let x = l - -5. Which is smaller: w or x?
w
Let f = -621 + 474. Suppose 0 = 4*w + 5*a + 592, 4*w - 2*w = 4*a - 296. Is f bigger than w?
True
Let z(o) = 4*o**3 + o**2 - 3*o + 7. Let x be z(2). Is x at most -14?
False
Let l = -9 - -11. Suppose -9 = -f - 2*y, l*f - 2*y + 10 = y. Suppose 2*h = 3*u + f + 2, 5*h = 5*u. Which is smaller: 0 or h?
h
Suppose 0 = 3*v + 5*q - 417, -5*v - 4*q + 431 + 264 = 0. Let l = v + -135. Let j be (15 + 0)/(9/2 - l). Is j at most as big as 32?
True
Let j(k) = -k**3 - 28*k**2 - 34*k + 403. Let z be j(18). Are z and -15114 equal?
False
Let m = 213 - 225. Let c be m/(-170)*50/(-100). Suppose -5*u - 2 = -2*u - 5*p, -4*u - 1 = -5*p. Are u and c nonequal?
True
Suppose 4*x + 5*i + 239 = 0, 0 = -4*x - 4*i - 49 - 195. Is -62 > x?
True
Let i be (1/3)/(((-13)/87)/(-13)). Suppose -i*v - 2 = -28*v. Which is smaller: -3 or v?
-3
Let f = 269635/4 - 66888. Let x = f - 510. Do 10 and x have different values?
True
Let h(i) = -12*i - 1. Let g be h(4). Let r = -170 - -218. Let b = g + r. Which is smaller: 1 or b?
b
Let g(x) = -x**3 + x**2 - 15*x + 22. Let n be g(0). Let i(z) = -z**2 + 21*z + 26. Let c be i(n). Is c > -0.3?
True
Let m(b) = b**2 + 16*b - 525. Let j be m(47). Which is greater: j or 2437?
2437
Let k be 1 + 0 - (-79 - -79)/(1 + 0). Which is bigger: k or -9770?
k
Suppose -6542 = v - 754. Which is bigger: v or -1?
-1
Let m(y) be the second derivative of y**5/10 + y**4/4 - y**3/6 + 2*y. Let l be m(-3). Suppose -4*w - 4*s - 116 = 0, -141 + 30 = 4*w + 3*s. Is l smaller than w?
False
Let p = -0.27 + -1.03. Let c = 32.3 + -33.87. Let b = c - p. Which is smaller: b or 0?
b
Let s = -34172.1 + 34172. Suppose 0 = -3*c - 12, -5*c = 2*i - c + 8. Let b = 8 - i. Do b and s have the same value?
False
Let u be ((-128)/72)/4 + 1983/27. Is u > -16?
True
Let f be (2/2)/((-4)/(-172)). Let c = f - 39. Suppose -3*w - 6 = 3, c*d + 1 = w. Which is smaller: d or -4?
-4
Let t = 6 + -4. Suppose -5*i + 217 = 5*f - 138, 2*f = 2. Suppose i = -a + 8*a. Which is smaller: a or t?
t
Let s = -229/1215 + -1333598/1215. Which is bigger: s or -1098?
s
Suppose -4*v = -4*m - 9*v - 15, -5*m - 6 = 2*v. Suppose -2*r = 3*r + 2*f + 3, m = 4*r - 5*f - 24. Do r and -4 have the same value?
False
Suppose -21319 + 31905 + 31644 = -82*l. Which is smaller: -517 or l?
-517
Let q be -5*(-8 + 11)/((-15)/4). Let h be (-2890)/(-650) - q/(-26). Let x = 2 - -2. Which is smaller: x or h?
x
Suppose 2*w = -3*f - 6041, 3*f + 7814 = 4*w + 1797. Which is greater: f or -2010?
-2010
Suppose -31*r + 27*r = -7*r - 26502. Is r bigger than -8834?
False
Let i(l) = 3*l**3 - 34*l**2 + 13*l - 19. Let y be i(11). Do y and 8 have the same value?
False
Let y = -3.39 - 2.364. Let p = y - -1.854. Let w be 1/(5 + (1 - 2)). Which is bigger: w or p?
w
Let a = -44 - -47. Suppose -a*h = -2*h - 3*k, -3*h + 36 = 3*k. Let c be (-6)/h*-21 - (-3 - -2). Which is smaller: 14 or c?
14
Let x(p) = -5556*p - 7871. Let y be x(-3). Is 8797 greater than or equal to y?
True
Let j be (-20)/200 + 239/(-10). Which is greater: j or -28?
j
Let o = -174.329 - -0.229. Let l = -174 - o. Is l bigger than -21/2?
True
Let s = 13 - 7. Let m = s + -5.76. Let b = m + -0.37. Which is bigger: b or 0.1?
0.1
Let w = 224 + -215. Suppose 17*y - w*y = 12*y. Which is bigger: y or -13/9?
y
Let p be 460/(-17250)*(-1090 - -1). Which is greater: p or 28?
p
Let k be -2*(-7)/(-196)*-14. Let g = 10643/7 + -1518. Is k at most as big as g?
True
Let f be 1*(-3)/(1755/(-9)). Suppose -2*d + 4 + 6 = -4*s, 5*s = 2*d - 11. Is s > f?
False
Let p(j) = -j**2 + 12*j - 17. Let b be p(11). Let i be (120/(-90))/(20/b). Which is smaller: -1 or i?
-1
Suppose 6*v + 24 = -h + 5*v, 3*h + 71 = -4*v. Does 0 = h?
False
Let y be -1*((-1269)/18 + (-10)/4). Is y bigger than 80?
False
Let x be -1*(1 - 0)*(-57 - -6). Let g = -48 + x. Suppose 10 = -5*u, 0*u - 3*u = -g*z - 9. Are 0 and z unequal?
True
Suppose 3*m + g + 822 = -671, -5*g - 2505 = 5*m. Let d = -474 - m. Which is smaller: d or 26?
d
Let l(v) = 15*v**2 + 52*v - 252. Let n be l(6). Is n less than or equal to 601?
True
Let u(s) = 6*s - 5. Let b be (5/(10/21))/(3/(-4)). Let i be u(b). Which is bigger: i or -90?
i
Suppose 3*a + 5*w = 0, -4*a + 23 = -5*w + 4*w. Suppose -a*c + 2*h = 84, 4*h - 40 = -5*c + 7*c. Let o be (3196/(-96))/(-17) - (-2)/c. Which is smaller: o or 1?
1
Let x(d) = 5*d + 14. Let q be x(7). Let b be (2/4)/(9 + q/(-28)). Which is smaller: -8 or b?
-8
Let g = -7 - -5. Let y(t) = -3*t**2 - 7*t - 5. Let s be y(g). Let q = 2/1049 - 23092/7343. Which is bigger: s or q?
s
Let k be (6 + (-3762)/3)*1. Let z be (-1)/2*-1 - (-17555)/(-14). Let g = z - k. Are 0.1 and g equal?
False
Let s(f) = -f**3 + 34*f**2 - 48*f + 916. Let g be s(33). Which is greater: 420 or g?
g
Suppose 0 = 31*t - 1563 - 204. Is t smaller than 60?
True
Let w be 24/1*22/6. Let k = 94 - w. Let m(x) = -10*x + 57. Let d be m(k). Is -4 < d?
True
Let i = -3208 - -3205.962. Is -10 greater than or equal to i?
False
Let n = 22 - 18. Suppose 60 = n*r - r. Suppose -2*j - 8 = -m, 0*j + r = 3*m - 4*j. Which is bigger: m or 3?
m
Let k = 1125.9 - 1134.9. Which is greater: -250/13 or k?
k
Let d = 0.6 + -1.1. Let z = -1244.8 - -1238.8. Which is smaller: d or z?
z
Suppose 7*f - 15 = 12*f. Let g be f + -5 + 1 + 2. Let t be 1/(-4) + g/1. Which is smaller: t or -4?
t
Let h = 30069005/12 + -6708120287/2676. Let w = 1021 + h. Which is bigger: w or 1?
1
Let h be 5 - ((-48)/88 + 632/110). Which is bigger: -3/839 or h?
-3/839
Suppose 2*f = 5*g + 6 + 1, 0 = 4*f - g - 5. Let n = -2.2 + -1.35. Let v = n + 113.55. Is v smaller than f?
False
Suppose -29008 = -155*w + 118*w. Are 2351/3 and w nonequal?
True
Suppose 5*t + 5*x + 200 = 0, 4*t + 4*x - 6*x = -130. Let d = t + 31. Which is smaller: d or 0?
d
Let o = 8.174 - 8.164. Are o and -1462 non-equal?
True
Let u be (-23)/25 + -1 + 322/350. Which is smaller: 0.04924 or u?
u
Let s = 4/71 - 978/4757. Let a = 327 - 327. Which is smaller: a or s?
s
Let v be ((-68)/6)/1 - 2. Suppose -5*t + 9*k = 11*k - 2031, 5*t = 2*k + 2039. Let c = -420 + t. Are v and c unequal?
True
Suppose 0 + 8 = 4*d, -5*m - 2*d + 794 = 0. Suppose 0 = 2*v - 168 - m. Is 162 at least v?
False
Suppose 0 = -5*w + 5*j - 25, 0 = -3*w - j + 12 - 31. Let k be (3/w)/(1/6). Which is bigger: k or -33/13?
-33/13
Let m = -844.3 + 886. Let k = -18.6 + m. Let h = k + -23. Is h less than or equal to 9?
True
Let z(h) = h + 12. Let k be z(-15). Let q be (186/(-9) + k)/(0 - -1). Is q < -25?
False
Let i(w) = -2*w**3 + 51*w**2 + 21*w - 43. Suppose 28*m - 26*m - 52 = 0. Let v be i(m). Which is smaller: -172 or v?
v
Suppose 2303 = 7*n + 2058. Which is smaller: n or 46?
n
Let i = 8895 - 17149/2. Let z = 320 - i. Is z < -1.5?
False
Suppose x - 2*x = -5*y + 1, -4*x = -y - 15. Let h be y + 2 + 27274*(-3)/26810. Let p = 2/383 - h. Which is smaller: p or 1?
p
Let s = 32120.05 - 32120. Are s and -14 nonequal?
True
Let q = 3962 + -3961.6. Which is smaller: -354 or q?
-354
Let k = -267687/208 + 1287. Which is greater: k or 0?
k
Let c = 0.00008 + -0.70008. Is 309/4 < c?
False
Suppose 141 = -12*n - 231. Let h be (714/175 - 3)/((-1)/n). Let k = 67/2 - h. Is k at most as big as -1?
False
Let a(x) = 4*x - 167. Let q(c) = 21*c - 833. Let w(t) = -14*a(t) + 3*q(t). Let m be w(23). Is m bigger than 12?
False
Let x = -57027/16 - -2463049/688. Let t = x - 14/43. Let u = 47 + -30. Which is bigger: t or u?
u
Let g = 27211 - 31967. Which is bigger: g or -4758?
g
Let d = 66899/143 + -6090/13. Let a be 1/9 + (-1)/3. Are d and a unequal?
True
Let l = -2621/8 - -327. Let t(j) = -j**3 - 6*j**2 - 5*j + 10. Let g be t(-6). Suppose 28 = -3*d + g, -f + 18 = 5*d. Which is smaller: f or l?
f
Let z = -226 + 223. Let d be (45/(-27) - -2)/((-1)/z). Is -6/61 smaller than d?
True
Let z be ((-34)/(-17) - 1)/1. Which is bigger: z or 2/44285?
z
Let k be (9/6 - 0)*(-96)/108 - -1. Suppose -4*v - 209 = c, 0 = -3*c - 5*v + 107 - 727. Let t = c - -3281/16. Which is bigger: t or k?
t
Suppose -3*c = -5*c + b + 10, -2*c - b = -2. Suppose -5*l - 2*q = -5*q, l - 4*q = 17. Let v be (15/10 - l/(-2))/4. Which is bigger: v or c?
c
Let c = 12669 - 12665. Is c at most as big as 14?
True
Let v = 64874 + -714085/11.