 0 + -8 + 4 + -2. Let k be (5/18)/(w/(-48)). Suppose -5*i + 4*d - 9 = -40, -3 = 3*i + 3*d. Which is smaller: i or k?
k
Let z(a) = 2*a**3 - 27*a**2 + 12*a + 17. Let q be z(13). Let r be (-3)/(6/q)*527/62. Which is smaller: -15 or r?
r
Let q = -27.18 + 12.35. Let a = q + 15. Let z = a - -0.03. Which is bigger: z or -1?
z
Suppose -5*n - c = 1485, 4*n + 5*c = 4*c - 1188. Let r be (-84928)/(-286) + 10/(-55). Let k = r + n. Is k less than or equal to -1?
False
Let p = -1.382 + 1.412. Which is smaller: -2/43 or p?
-2/43
Let i = 2529252/335 + -7550. Which is bigger: i or 0?
i
Let i be (5 + 9 - 19) + 984/197. Which is smaller: 1 or i?
i
Let c be 0 + (-2)/44*4. Are c and 0 unequal?
True
Suppose 3*g - 3*s - 177 = 0, g - s - 62 = s. Suppose -4*p = -64 + g. Which is smaller: -2 or p?
-2
Let b(x) = -2*x**3 - 11*x**2 + x - 12. Let m be b(-6). Let k = 38 - m. Is 20 equal to k?
True
Let m(f) = 6*f + 3. Let x be m(-15). Let d = x - -26. Do d and -60 have different values?
True
Suppose -w = 4*s - 5*s + 1, 3 = s - 3*w. Which is bigger: s or -2/1315?
s
Let s = 245 + -127.9. Let b = s - 117. Which is bigger: b or 31?
31
Suppose 144*z = 150*z + 324. Is -215/4 > z?
True
Suppose 4*x - 10 = 2*x. Suppose 55 = -7*p + 2*p + x*g, -p + 1 = 2*g. Let q = -7 - p. Is q at least as big as 2/41?
False
Let a = -16.3 + 18.3. Which is bigger: -0.02 or a?
a
Suppose 5*c - 4*q = -9*q + 465, 0 = -c - 3*q + 93. Let v = 79 - c. Is v less than or equal to -14?
True
Let f be 44/168 + (-1)/(-6). Let i be 1/3 - (-1)/3. Which is smaller: f or i?
f
Let g = 4 + 6. Let r = 35 - 100. Let d = 64.9 + r. Is g < d?
False
Let p = 5214129/607 - 8590. Are p and 0 non-equal?
True
Let c = -11 - 1. Let d = c + 12.3. Let w = d + -0.2. Is 1/2 bigger than w?
True
Let d = -0.212 - -0.152. Which is smaller: 0 or d?
d
Let t = -3 - 2. Let b(f) = f**3 + 3*f**2 - 12*f - 1. Let s be b(t). Suppose 3*u + 4*k + s = 0, 4*u - u - 3*k = 12. Which is greater: u or -2/41?
u
Let s be 13671/(-1540) + 9 - 3/12. Which is smaller: s or 1?
s
Let n(l) be the first derivative of 1/2*l**2 + 7 - 2*l. Let y be n(-3). Are y and -6 equal?
False
Suppose 2*d - 124 = 3*n - 2*d, d = -n - 32. Let m be n/34*13/39. Which is bigger: 1 or m?
1
Let c(s) be the second derivative of 1/6*s**3 + 0 + 6*s + 11/2*s**2. Let i be c(-12). Which is greater: i or 1/16?
1/16
Let i = -7 + 32. Let x be 1/5 - (-70)/i. Let f be 2 - (38/(-36) + x). Which is smaller: f or 0?
0
Let a = 124 - 96. Suppose -6*k + 10 - a = 0. Which is smaller: -4 or k?
-4
Let r = -1586 + 2044. Is r != 2?
True
Let d be 1/(12/(-22) - 67599/6930). Is -1 <= d?
True
Let m(v) = v**3 + v + 1. Let a be m(0). Let i be (1/(-2) + a)*-2. Is i smaller than -2/39?
True
Let a(o) be the second derivative of o**5/20 - o**4/6 + o**3/6 + 4*o. Let g be a(2). Do 2 and g have different values?
False
Suppose l - 21 = 4*l. Let w(n) = -6*n**2 + 6 - 6*n + 0*n**3 - n**3 + 0 - 2*n**2. Let v be w(l). Is v greater than or equal to 2/7?
False
Suppose -190 + 60 = 13*f. Suppose -7 = -5*i + 18. Let m be (i/f)/((-5)/(-20)). Which is greater: -1 or m?
-1
Let f = 1.32 - 1.72. Does f = 0?
False
Suppose 4*r - 2*s - 18 = 0, 2*s = -0 + 2. Are r and 10 non-equal?
True
Let n = 8/27 + -2/189. Are n and 1/5 unequal?
True
Let t = 0.01 - 0.11. Let u = -46 + 49. Let d be u*-1 - 246/(-81). Which is greater: t or d?
d
Let x = 669/32045 + 1/377. Let a = -1 - -2. Which is smaller: x or a?
x
Suppose -6*q + 25*q + 912 = 0. Which is smaller: -4/9 or q?
q
Suppose -3 = -6*b + 3*b. Suppose 4*p - 2*i = p - 29, -4*p = 4*i + 72. Let a = p + 11. Is a at least as big as b?
False
Let u = 506/9 + -7093/126. Which is smaller: -5 or u?
-5
Let v be (3 - (2 - -2))*-1. Let y = 8 - 23/4. Which is bigger: v or y?
y
Let v = 321 - 148625/463. Let g = v - -3714/2315. Which is greater: g or 1?
g
Let r(m) = m + 1. Let i be r(-1). Suppose 3*f - 967 - 287 = i. Let u = 7108/17 - f. Which is greater: u or 1?
1
Let j be (-6)/21 + (-2)/(-7). Suppose 4*x - z = -422, 0 = -3*x - 4*z + 76 - 383. Let r be x/(-27) + (-4 - 0). Which is smaller: r or j?
r
Let k = 890 + -553. Is -2/3 at most as big as k?
True
Let c(u) = -u - 5. Let x(b) = 2*b + 10. Let p(y) = 5*c(y) + 2*x(y). Let o(v) = 2*v + 36. Let j be o(-14). Let h be p(j). Is -12 at most h?
False
Let y = 585 + -2916/5. Let t(p) = 2*p**2 - 1. Let o be t(-1). Is o != y?
True
Let a = 0 - -19. Suppose 3*o - 126 = -6*o. Suppose q = 14 - o. Which is smaller: a or q?
q
Let v(n) = n + 11. Let l be v(-11). Suppose 0*t - 4*t = 3*g - 24, -2*t - 4*g + 12 = 0. Suppose -2*i + 4*i = 2*k + 6, t = 3*i. Which is smaller: k or l?
k
Let k(v) = -v**3 + 27*v**2 + 32*v - 112. Let w be k(28). Suppose -3*y = 4*d - 1, -2*d = 4*y - 1 + 3. Which is bigger: w or y?
w
Let i = 96 - 94. Let x = 2 - 4. Let a = x - -2.1. Which is bigger: i or a?
i
Let r(m) = 12*m + 0*m**2 + m**2 + 25 - 9*m - 22. Let u be r(-2). Is u at least -1/59?
True
Let c = 2/1789 - 1799/8945. Let k(v) = -v**3 - v**2 + v - 1. Let o be k(0). Which is smaller: c or o?
o
Let i be 2/(-7) + (-46)/(-14). Let z be (14/(-6))/(92/(-30) + 3). Let n = z - 31. Which is greater: i or n?
n
Let n(l) be the second derivative of l**4/12 + 5*l**3/3 - 5*l**2 + 4*l. Let b be n(-9). Are b and -19 unequal?
False
Let c = 0 - 5. Let n = -5 - c. Let y = 53.9 - 53.72. Which is bigger: y or n?
y
Let f be -2 + 4 - 408406/630. Let m = f - -9938/15. Let t = m - 117/7. Which is greater: 1 or t?
1
Let y be -4 + (-85)/(-30) - (-4)/24. Which is smaller: y or 2/2041?
y
Let j(u) = u**2 - 24*u + 39. Let k(z) = 2*z**2 - 49*z + 77. Let t(c) = -7*j(c) + 3*k(c). Let l be t(17). Is l >= 27?
False
Let z = 1541 + -1679. Is -277/2 < z?
True
Let l(n) = n - 4. Let t be l(0). Let d = 1015 - 5088/5. Which is greater: t or d?
d
Let t be 1/(3179/19380 + (-2)/12). Is -380 not equal to t?
False
Suppose 43 - 3 = 2*b. Let d = -12 + b. Suppose -d*y + 25 = -3*y. Which is bigger: y or 6?
6
Let m = 1 + 4. Let k = 7 + -9. Let l = k + 7. Is m equal to l?
True
Let n = -17.9 + 22.9. Is n less than 5/6?
False
Let y be (2 - 3)/(1/(1/1)). Which is smaller: 0.07 or y?
y
Suppose -5*x - 4 = -19. Suppose 18 = -x*y - 0*y. Let n be (-4)/24 + 65/y. Which is smaller: n or -12?
-12
Suppose -2*z - 12 = 2*z. Let r be 1/z + (-15)/9. Let g(b) = -24*b - 28. Let c be g(-1). Which is bigger: r or c?
r
Let h be (0/14)/(1 - -1 - 3). Which is bigger: 38/67 or h?
38/67
Let t = 8 - 7. Let y(g) = -3*g**3 - g + 1. Let k be y(t). Let o = -73/16 + 17/16. Which is greater: k or o?
k
Let q be 5/(-2)*(-1284)/40*4. Is 321 at least q?
True
Suppose -2*q = 3*r - 5 - 0, -r + 6 = 5*q. Suppose -s - q - 8 = 0. Let k = -1 + s. Which is bigger: -1/4 or k?
-1/4
Let c = 1043 - 38587/37. Let j = 86/111 - c. Is -4 <= j?
True
Suppose -14*w = -328 - 64. Which is smaller: w or 134/5?
134/5
Let k = 0.21 + 0.49. Let v = -0.5 + k. Let h = -18 - -71/4. Are h and v equal?
False
Suppose -14 = -4*a + 3*w, 5*a - 4*a - 4 = w. Suppose -2*i - a*i = -3*z - 19, z + 6 = i. Which is smaller: -1/5 or i?
-1/5
Let v(t) be the third derivative of -t**5/20 + t**4/24 + t**3 + 33*t**2. Let n be v(-2). Is -25/3 bigger than n?
False
Let p be 170/330 - 6/33. Is p less than -5?
False
Suppose l - 7 = -s + 2, 0 = -s + 3. Let c be l/(-14) - (-8)/(-14). Which is smaller: -4/7 or c?
c
Suppose 15*k - 11*k - 76 = 0. Let u be (-7)/(7/(-20)) - 2. Which is greater: u or k?
k
Let d(h) = h**3 + 9*h**2 + 9*h + 8. Let f be d(-8). Suppose f = 2*o + 4, 0*s = 3*s + 5*o + 10. Suppose s = -10*z + 15*z. Which is greater: z or -1/49?
z
Suppose 5*j - 12*j = -770. Which is greater: 111 or j?
111
Let d be (-20)/4 + 4 + 5. Let y = 5 + d. Let l be (8/(-12)*y)/2. Do -2 and l have the same value?
False
Let w = 1226/693 + 2/231. Which is smaller: 3 or w?
w
Let l = -13 + 23. Let q = l - 7. Suppose q*i + 17 = -1. Which is smaller: -7 or i?
-7
Let z = 22 + -23. Let d(n) = -12*n + 2. Let a be d(z). Let h be ((-1)/(-49))/(a/(-28)). Which is smaller: 1 or h?
h
Let o(x) = x - 10. Let r(c) = c**2 - 8*c + 1. Let b be r(9). Let q be o(b). Let t be -1*q*2/(-4). Which is greater: t or -14?
t
Let v = 17.9 - 26.9. Suppose 48 = 5*s - 152. Let x be (-13)/20 - (-16)/s. Which is smaller: v or x?
v
Let n be (8/(-2) - -8) + -5. Let f(u) = -u - 1. Let y be f(n). Is y < 0?
False
Let d be ((-10)/6)/(2/(-6)). Let z be d*(-1)/((-3)/(-3)). Let v(w) = w**2 - 9*w + 8. Le