e p(19). Let s be (-28)/(-16) - u/(-8). Which is greater: s or k?
s
Let x be (-561)/15 + 40/100. Which is greater: x or -41?
x
Let x be 2/(-9) - (277000/(-48888))/25. Which is smaller: 1 or x?
x
Suppose 0 = 70*y - 73*y + 51. Suppose -d + i - 5*i + y = 0, -3*d - 13 = -4*i. Which is smaller: d or 20?
d
Let t(z) = -92*z + 347. Let q be t(4). Which is smaller: q or -24?
-24
Let f be 198/165 + (-684)/370. Is f equal to -1?
False
Let q(k) = k**3 + 11*k**2 + 9*k - 13. Suppose 2*j - 3*i = 5*j + 36, 3*j = i - 28. Let s be q(j). Which is greater: -0.2 or s?
-0.2
Let c be (((-96)/(-6))/8)/(1 - 3). Are c and -1/181 equal?
False
Let d(c) = 7*c - 16. Let h be d(3). Suppose b = h*q + 6*b - 15, -2*q + 3*b - 14 = 0. Which is bigger: -2/47 or q?
-2/47
Let g = -3.7 + -35.4. Let t = g - -39. Let h be (-4)/((-10)/2 + 0). Which is greater: t or h?
h
Let k be -5 - (-706)/(-15)*141/(-1316). Which is greater: 0 or k?
k
Let l(d) = d - 2. Let n be l(6). Suppose 0 = -3*k - k + n. Let a be (-3)/(-4)*(-3)/(-6). Is k at least as big as a?
True
Let s(m) = -11*m - 9. Let u be s(-4). Let k be (66/33)/((-6)/(-99)). Which is smaller: k or u?
k
Let z be (13/(351/(-990)))/(1/3). Is -111 not equal to z?
True
Suppose -5*i = 2*d - 6, -4*d = -0*i - 3*i - 38. Let c be d/28 + (-54)/(-7). Let r be (-2)/(-4)*(-522)/(-29). Is c less than or equal to r?
True
Suppose 2*q + 59 = 4*l + 317, 5*l = 20. Is 141 at most as big as q?
False
Let w = -17 + 9. Suppose 168 = 5*x - 2*i + 29, 3*i = 9. Let l = -38 + x. Which is greater: l or w?
w
Let f(z) = -z + 3. Let o be f(6). Let v(r) = -r**2 - 2*r. Suppose 12*l + l - l = 0. Let j be v(l). Which is smaller: o or j?
o
Let a be ((-399)/54)/(-7) + (-230)/276. Is -0.59 at most as big as a?
True
Let r(b) = -b**3 - 5*b**2 + 10*b + 3. Let g be r(-8). Suppose -120*q + g*q + 65 = 0. Is q at most as big as 13?
True
Suppose -20*g + 23*g - 42 = 3*n, 71 = -5*n + 4*g. Let l = 39 + -55. Do l and n have the same value?
False
Let h be (-42)/(-4)*12/(-72). Which is smaller: h or -2?
-2
Let o = -8.8 - 51.2. Let l = o + 56. Is l < 4?
True
Let l = -1/312 - -1301/312. Let b(k) = -k**3 - 6*k**2 + 5. Let q be b(-6). Which is smaller: q or l?
l
Let p(w) = 4*w**2 + 22*w + 21. Let t(s) = 3*s**2 + 21*s + 22. Let u(x) = 2*p(x) - 3*t(x). Let d be u(-12). Does d = 60?
True
Let y = -13 - -22. Suppose -3*n + a = -17, -2*n + a + 4 = -y. Let k be 0 - (4/(-2) + -1). Is n at least as big as k?
True
Let d = -27.96 - -28.1. Is d equal to -2?
False
Let c be (1 + -2)/(-1 - -13). Let g = -6 + 7. Suppose -4*i + 7 = 3*q, 6*q = 3*q + 4*i - g. Which is smaller: c or q?
c
Let y = -11.23 + 11. Let p = y + 2.33. Which is greater: 0 or p?
p
Let n be (9 + (-1507)/77)/((-2)/15). Is 80 smaller than n?
False
Let r = -67 + 74. Let f = r + 16. Which is greater: f or 24?
24
Let f(a) = -a**3 + 5*a**2 + 7*a - 8. Let q be f(6). Let m be q/3 - (-28)/6. Suppose -t + 13 = m*p, 5*t = -p - 3 + 11. Are 1 and t equal?
True
Let l = -1.6 + 1.6. Let t = 0 - l. Let x = 0.12 - t. Which is greater: -1 or x?
x
Let t = -9 + 10. Let l = -90.8 + 92. Which is smaller: l or t?
t
Let k = -325 + 1633/5. Let p = 2 - k. Let z = 0 + 0. Which is smaller: p or z?
z
Let j(g) be the third derivative of -g**5/60 - 5*g**4/8 - 25*g**3/6 + 7*g**2. Let d be j(-13). Let w = 0.4 + -0.3. Does d = w?
False
Suppose 5*o = 15, -5*p + 3*o - 2*o + 47 = 0. Let b be 20/p*(-50)/(-4). Suppose s - 6*s = b. Which is smaller: -7 or s?
-7
Let v(o) = -o - 3. Suppose -7*r = -r + 12. Let x be v(r). Which is smaller: -35 or x?
-35
Let x = -34 - -29. Let j(g) = -g**2 - 2*g + 16. Let r be j(x). Is r greater than 4/11?
True
Suppose -4*b + o + 2 = 0, 6*o - 16 + 3 = -b. Let s = -353 - -6003/17. Is b >= s?
True
Let q = -3.355 - -0.055. Let l = -3 - q. Let c = -0.1 + 0.2. Is l less than or equal to c?
False
Suppose -2*s = 6, -3 = 4*m + 2*s - 1. Let t be m*-31 + (14 - 10). Let j = -25 - t. Is 2 bigger than j?
False
Let v(n) = -n**3 + 6*n**2 + 1. Let a be v(6). Let i be 2 + 0 - (-11 - 57). Let d be ((-5)/100)/((-4)/i). Is a bigger than d?
True
Let d = -2150 - -15588/7. Let v = d + -77. Is -1 greater than v?
False
Let h = -171.2 + 169. Which is smaller: 9 or h?
h
Let i = -760.6 - -754. Are 7 and i unequal?
True
Let x = -0.18 + 15.18. Let c = x - 12. Let a = c - 2. Which is smaller: 2 or a?
a
Let v = -767.1 - -767.2. Let h = 6.11 + -0.11. Which is bigger: h or v?
h
Let w be 41/(-36) + (-11)/(-22). Let f = w - -5/12. Which is smaller: f or 0?
f
Let r = 2.6 - 2.28. Let h = -0.42 + r. Is 0.06 less than or equal to h?
False
Let p = -3.9 - -2.1. Let j = p + -0.2. Let f = j - -11. Are -1 and f nonequal?
True
Let s be -10 - (-216)/(-28)*-9. Which is smaller: s or 59?
59
Let v = -0.5 + 0.5. Let l = -8.3 + -2.7. Let d = 10 + l. Is v greater than d?
True
Suppose 2*j + o = 11, 4*j + o - 15 - 6 = 0. Suppose -4*v - 12 = -j*v. Suppose 4*n + f + v = 4*f, 2*n + f = -6. Is n at most as big as -4?
False
Let m(u) = -2*u**3 - 116*u**2 - 329*u + 56. Let o be m(-55). Let d = 0 + 1. Suppose f - 2*n = d - 2, n + 1 = -f. Is f equal to o?
False
Let w = 11.8 + -21.4. Let c = w - -9.9. Which is smaller: c or -12?
-12
Let u = -501 - -502. Which is smaller: 620 or u?
u
Suppose -129*u - 8 = -137*u. Which is smaller: u or -67?
-67
Let u = -29 + 17. Suppose -12*d + 15 - 15 = 0. Is u equal to d?
False
Let n(o) = 52*o - 43. Let i be n(3). Let m = i + -114. Which is bigger: m or -1/135?
-1/135
Suppose -1310 = 37*p + 22. Let z(c) = 2*c**3 + 7*c**2 + 5*c. Let l be z(-4). Is p smaller than l?
False
Let c(q) = -3*q**3 - 45*q**2 - 8*q + 38. Let j(i) = i**3 + 15*i**2 + 3*i - 13. Let s(d) = -6*c(d) - 17*j(d). Let a be s(-15). Which is smaller: a or 39?
a
Let l be 485/194*8/(-50). Which is greater: l or 21.4?
21.4
Let o be 6*((-2)/(-6) - 0). Let f = o - 1. Let q be f - 2 - (-2)/6. Which is smaller: q or -2?
-2
Suppose 183 = 8*p - 89. Let b = -36 + p. Is b greater than 8?
False
Suppose -5*q + 6*q = -5*c - 2, -17 = 5*c - 4*q. Which is greater: -0.052 or c?
-0.052
Let r = 48 + -53. Let z be (r/35)/(12/4). Let d = -4 + 3. Which is greater: d or z?
z
Suppose 0 = 2*b + 3*w + w + 4, 0 = -3*b - 3*w - 21. Does -18 = b?
False
Let z = 50 + -49.89. Let l = -0.01 + z. Which is bigger: 13 or l?
13
Let t = -2089 + 2118. Which is smaller: 46 or t?
t
Let q(s) = s**2 - 5*s - 8. Let v be q(7). Suppose 6 = v*l - 7*l. Do l and -2 have the same value?
False
Let u(r) = r**3 - 16*r**2 + 16*r - 17. Let p be u(15). Let a be (-6)/(-4) + 3/6. Let q be p - a - 9/(-9). Is -2 <= q?
False
Let l be 0/(-2) - 23/1. Suppose -57*m + 60 = -61*m. Let h = m - l. Is 8 smaller than h?
False
Let m = 7933/6 - 1322. Which is greater: m or -1/15?
m
Let g = 6 - 4. Suppose -g*a = 4*f + 3*a - 35, 3*f + 2*a = 28. Let x(y) = -y + 9. Let c be x(f). Which is greater: c or 0?
0
Let u = 26.6 + 29.4. Which is bigger: u or 1?
u
Let v = 197 - 198. Is v less than -2/115?
True
Let y = -588 + 595. Which is bigger: 13 or y?
13
Let j = -1413 + 735. Is -676 greater than j?
True
Let j be (-21 + 22)/(1/(-15)). Let t be ((-6)/16)/(j/20)*-1. Which is smaller: 4.8 or t?
t
Let g(y) = -y - 3. Suppose 4*t = i - 13, 7 = -2*t + i + 2. Let r be g(t). Let k = 0 + r. Is -1/11 at most as big as k?
True
Suppose -10 = 2*i - 32. Let g = i - 11. Let k be 35/15 - 2 - 2/(-3). Which is smaller: g or k?
g
Suppose 3*m = -3*d - 1434, -5*d - 1670 = -m + 720. Let u be 16/(-950)*d/(-6). Let z = u + 26/19. Do z and 1 have the same value?
False
Let u(n) = n**2 + n - 5. Let j be u(2). Which is smaller: j or -0.498?
-0.498
Suppose 4*x + 61 + 23 = 0. Which is greater: x or -18?
-18
Let j(r) = 8571*r**3 - 2*r**2 - r. Let h be j(-1). Let b = 480065/56 + h. Let u = b + -7/8. Which is greater: u or 1?
1
Let g = 15 + -11. Let d be (-305)/(-244)*(-168)/(-55). Which is greater: d or g?
g
Let t = 254 - 250. Which is greater: 8 or t?
8
Suppose -u = -4*u - 9. Let g(f) = -2*f**2 - 8*f - 2. Let l be g(u). Suppose 4*m = 2*m - 2*p + l, -3 = -5*m + 2*p. Is m > 4/5?
True
Let a be 0 - -1 - (-616)/16. Let w = 153/4 - a. Which is greater: -2 or w?
w
Let u(b) = b**3 + 4*b**2 + b - 4. Let p be u(-3). Which is smaller: 14/13 or p?
14/13
Let p(f) = f - 8. Let o be p(6). Let b = o - -2. Let j = 118/3003 + 8/143. Which is bigger: j or b?
j
Suppose 3*v - 24 = -0*v. Let b = 0 - v. Suppose -u - 3*z = 0, -30 = 3*u - z - 0*z. Is b bigger