h - 40 - 20 = 0. Let d be q(h). Let k be ((-6)/14)/(6/(-4)). Which is smaller: k or d?
k
Let y(v) = -v**3 - 12*v**2 - 21*v + 8. Let s be y(-10). Suppose -16*n + 6 = -s*n. Which is greater: -6 or n?
n
Let q be (-2304)/9*(-4)/(-6). Let g = -9692/57 - q. Which is bigger: g or 1?
1
Let j = -7.91 - -8. Let a = j + -4.09. Let n = a + 3. Is n bigger than -1?
False
Let y = 4622/3 + -1516. Is 26 at most y?
False
Let m = 59 - 197. Let i = 137.9 + m. Which is smaller: i or 48?
i
Let d(x) be the first derivative of -x**4 + 4*x**3/3 - x**2 - x - 8. Let n be d(2). Which is greater: -19 or n?
-19
Suppose -206*x + 955 = -201*x. Which is smaller: x or 194?
x
Let u = 913/5 + -108622/595. Is 0 at most u?
True
Suppose 5*n + 960 - 3758 = -3*x, -x = 3*n - 1682. Is 562 > n?
False
Let p be -1 - -5 - (-560)/(-136). Suppose -3*x - 29 = -2*o, o - 22 = -0*o + 4*x. Let k = o + -9. Is k < p?
False
Let u be (0 - 21)/(16/(-12)). Suppose -11*v + 7*v = 64. Let g = u + v. Which is smaller: g or 0?
g
Let s(d) = -d**2 + d + 70. Let u be s(16). Do -176 and u have different values?
True
Let p = -0.00031 + 445.90031. Let u = p - 408. Let m = u + -36. Is 1 at least m?
False
Suppose 0 = 27*c + 23*c - 150. Is 32/5 <= c?
False
Let p(t) = -t**2 + 5*t - 2. Let q be p(7). Let k = 163 + -178. Which is greater: q or k?
k
Suppose -j + 8 = 3*h, -10*h + 10 = -4*j - 8*h. Is -11/10 less than or equal to j?
True
Suppose 5*q + 2*b + 80 = 0, 3*q + b + 56 = 7. Let a = -10 + -7. Which is greater: a or q?
a
Let s = -0.05 - -0.05. Let f = -8 - s. Let y = 7.7 + f. Does 0 = y?
False
Suppose -50 = -2*n + 5*d, 6*d = 3*n + 2*d - 89. Let j be (-963)/n - 2/10. Let y = -28 - j. Which is bigger: y or 8?
8
Let k be ((-18)/21)/(-3) + 912/(-546). Let d = 111 - 113. Which is smaller: k or d?
d
Let w = -1269.84 - -1270. Is -0.15 less than or equal to w?
True
Let p(w) = w**3 + 5*w**2 + 39*w + 136. Let n be p(-5). Is n > -54?
False
Let o = 1636 - 8183/5. Does o = -19/4?
False
Let o = -610 - -840. Is o not equal to 230?
False
Let i = -13 + 12. Let b be (4 - (-49)/(-17)) + i. Are b and 1 nonequal?
True
Let v = -69 - -70. Suppose -n - 3*c = 62, -5*n + 5*c = -11 + 421. Let w be n/(-25) - 3 - 0. Is w not equal to v?
True
Suppose -a - 4*b - 10 - 34 = 0, -239 = 5*a + b. Let g = a - -246/5. Which is smaller: g or 2?
g
Let s = -732 + 733. Let g = -1/15 - -11/15. Which is smaller: g or s?
g
Suppose 4*g - 2*c - 5 = 179, g + 5*c - 68 = 0. Suppose 0 = 8*n - 4*n - g. Let t = -16 + n. Is -4 not equal to t?
False
Suppose q = -5*a - 975, -2*a - 2*q + 4*q = 390. Let k be (-5)/(-8) - (a/20)/(-13). Suppose 4 = 2*n + 6. Is n greater than k?
False
Let z be (-30)/35 + (7 - 1). Which is smaller: z or 6?
z
Let s(k) = 119*k - 832. Let l be s(7). Are -13/88 and l unequal?
True
Let q(r) = 4*r + 6. Let j be q(5). Let y be (0/(-1))/(((-14)/(-56))/((-2)/8)). Which is bigger: y or j?
j
Let o(l) = 52*l - 487. Let h be o(7). Are -123 and h nonequal?
False
Suppose 2*c = -33 - 1. Let q(d) = -d. Let b(y) = -5*y - 18. Let f(n) = -b(n) + 4*q(n). Let g be f(c). Which is bigger: g or 0?
g
Let d = -5/3 + 11/4. Which is smaller: d or 0?
0
Suppose -5*v = -2*j + 44, j - v - 4 = -3*v. Let x = -9 + 4. Let b(c) = -c**3 - 4*c**2 + 4*c + 6. Let r be b(x). Is j > r?
True
Suppose 0 = 2*y + y. Let n be 2 + -2 + 1036/(-4824). Let s = -1/134 + n. Are y and s nonequal?
True
Suppose -s + 4*s + 4*k = -8, -2 = 2*s + 2*k. Let b(j) = 5*j - 15. Let m be b(s). Suppose -4 = 5*t + 6, 4*t + 2 = -v. Which is smaller: v or m?
m
Suppose -q - 3*x - 2 = 0, 23 = -5*x + 3. Let o be 6/q - ((-92)/(-5))/4. Which is smaller: -13 or o?
-13
Let f(x) = x**2 - 4*x + 2. Let j = -55 - -59. Let q be f(j). Are 4 and q nonequal?
True
Let a = 11.394 - 0.394. Which is smaller: -0.3 or a?
-0.3
Let s = 531 - 536. Is -6 smaller than s?
True
Suppose -494*s + 138 = -500*s. Is s <= -70/3?
False
Let d(g) = -g**2 + 4. Let q be d(0). Suppose 1 = -q*x + 5*j, 5*j - 2 = 3*x - 0. Let t = -124/3 + 42. Which is smaller: x or t?
t
Let r = -36.16 + 36. Let f = -7 + 7.26. Let i = r + f. Which is smaller: 2/25 or i?
2/25
Let j = -401887/166 + 2421. Is 1 >= j?
True
Suppose 182 - 17 = -3*i. Let h = -170 - -115. Is i at least as big as h?
True
Let z = 1.5 - 1. Let n = -0.622 - -0.022. Let w = z + n. Which is smaller: w or -3/8?
-3/8
Let z = -227 - -245. Which is greater: z or 10?
z
Let h = 27 - 5. Let y = h + -40. Let q = y + 18. Which is smaller: q or 2?
q
Let l = -20269/7 - -2905. Which is bigger: 8 or l?
l
Let k be (-4)/(-12) + 112/(-48). Which is smaller: k or -61?
-61
Let w = 4 + -3. Suppose -9 = d + 2*d, 2*a - 1 = -d. Let n be (-45)/(-18)*a/4. Is w less than or equal to n?
True
Let j = -34 + 40. Let w be -1 + (-10)/(4 - j). Suppose -5*a = -w*d - 4, -a - 1 = 5*d + 4. Does a = -3/19?
False
Suppose -3*d = 16*d. Is d not equal to 5/13?
True
Suppose -5*p - 3*t + 8 = 0, -p = 2*t - 4 + 1. Let m = -11/56 + 15/14. Is p smaller than m?
False
Let l = -13 + 7. Let b = 0.0899 + -6.0999. Let w = l - b. Are w and -1 nonequal?
True
Let w be 138/(-12) + 12 - (-90)/(-176). Is 1 < w?
False
Let k be (-12)/(-6) - 147/(-3). Let a = k - 63. Is a less than -12?
False
Let u(o) = 2*o + 19. Let q = 35 - 45. Let m be u(q). Let p be -6 + (17 + m)/4. Which is greater: -3 or p?
p
Let v = 6.9 + -7. Let i = -22 + 46. Let f = 30 - i. Is v greater than f?
False
Suppose -q + 2 = 2*y - 9, -4*y - 4*q = -32. Let s be 1*(y + -2) + 19. Suppose 5*z + s + 45 = 0. Is -12 at most as big as z?
False
Let t = 1.7086 + 0.2914. Is -281 <= t?
True
Let c = -15.36 + 1.36. Which is smaller: c or -27?
-27
Suppose 0 = 5*w, 3*b = 6*w - w. Which is smaller: 4/41 or b?
b
Let h be (2/(-231))/((-5)/90). Let t = 74/1463 - h. Let m = t - -73/152. Which is smaller: -1 or m?
-1
Let g = -429.2 + 397. Let c = 32 + g. Which is greater: c or 2?
2
Let d = -19 - -24. Suppose d*q - 3*u - 20 - 2 = 0, -10 = q + 3*u. Let c be 3/15 + 74/30. Which is smaller: q or c?
q
Suppose -39 = -3*f - 4*h, -5*h + 6*h = 3*f - 24. Suppose 3*m = 4*z + f + 8, -z - 2 = 0. Let p be (-2 + -1)/((-3)/2). Is m greater than p?
True
Let h = -18 - -32. Suppose 0 = 5*j - 10, 6*k - 2*k - 3*j + 82 = 0. Let o = k + 33. Is o < h?
False
Let v = 860 - 3415/4. Which is smaller: v or 7?
v
Suppose 5*h - 18 = 2. Let y = 16 + -30. Let m = y - -15. Is h greater than or equal to m?
True
Let b = 6 + -6. Suppose 3*y + 9 = b, 5*y - 210 = -3*a + 3*y. Let h = 218/3 - a. Which is smaller: -16 or h?
-16
Let b = -2.96 - -1.96. Is b less than 318?
True
Let w(z) = 9*z**2 + 6*z - 8. Let o be w(2). Let n = o + -41. Do -3/4 and n have the same value?
False
Let x be (-18)/4 + (-3)/(-6) + 515. Is x less than or equal to -1?
False
Let i = -42 - 196. Is -239 at least as big as i?
False
Let m(g) = -g**3 + 6*g**2 - 9*g + 4. Let a(b) = -b**2 + b - 1. Let d(q) = 3*a(q) - m(q). Let v be d(8). Let f = v - 126/5. Which is smaller: 1 or f?
f
Let v(g) = -g. Let y(a) = -3*a - 5. Let t(n) = -4*v(n) + y(n). Let d be t(12). Suppose 5*h - 2*x - 3 = 0, 5*h - 3 = -5*x + d. Which is smaller: 10 or h?
h
Let t = 519.1 - 519. Are t and -102 nonequal?
True
Let g = 2859/4 + -20437/28. Which is bigger: -14 or g?
-14
Let v be (0 + (-16)/12)*(-147)/35. Which is bigger: v or 7?
7
Let f = -5 + 0. Let a(k) = -k**2 + 6*k - 6. Let u be a(4). Suppose 0 = n - u + 6. Which is bigger: n or f?
n
Suppose 0 = 8*x - 6*x - 2*r + 110, 0 = -x - 3*r - 59. Is x greater than -58?
True
Let z(x) = -2*x**3 - 3*x**2 + 2*x + 4. Let g be z(-2). Suppose 3*n = 3*f - 21, 3*f - g*n - 16 = -2*n. Which is greater: 5/4 or f?
f
Let u be ((-670)/60)/((-2)/(-6)). Let g be (-268)/8 + (-6)/12. Is u smaller than g?
False
Let r = -64 - -40. Suppose 5*v - 3*g = 164, -3*v + 64 = 4*g - 17. Let u = v + r. Which is bigger: u or 6?
u
Let l = -4051/22313 - 3/421. Is -1 < l?
True
Let q be 9/(-11) + (-26)/143. Which is bigger: q or -86?
q
Let l = 150 + -152. Let s be l/(-3)*15/(-815). Which is bigger: s or 0?
0
Let q be 12/8*(790/(-6) + 3). Which is smaller: q or -196?
-196
Let q(h) = 4*h + 15. Let l be q(8). Suppose 5*j + l = 2. Suppose 2*z = -0*z - 18. Is j greater than z?
False
Let t = -515 + 566. Is 56 smaller than t?
False
Let g = 56 - 49. Let s(t) = -2*t**2 + 10*t - 6. Let w be s(g). Is -1/3 != w?
True
Let j be 123 - (-3)/(-2)*2. Which is bigger: 119 or j?
j
Let o = -0.788 + -4.402. Let d = 5.2 + o. Which is big