 k - 17 + 1 = -c. Let x be c/(-63) + q/1170. Which is smaller: x or 1?
x
Let q(b) = b**3 + 3*b**2 + 4*b + 56. Let n be q(-5). Which is greater: -74/5 or n?
n
Let p be (-28)/21 - 1/(-3). Suppose -3*v - 5*t - 144 = -34, 0 = 3*v - 3*t + 78. Let b be 3/v*1 + 0. Which is bigger: b or p?
b
Let t(q) = -q**3 - 32*q**2 - 10. Let s be t(-32). Which is smaller: s or -18?
-18
Let s be 1/(-1*6/22). Let h(y) = -9*y - 51. Let v be h(-8). Let c(a) = -3*a + 60. Let n be c(v). Which is greater: s or n?
n
Suppose -3*k + 48 = 3*k. Which is smaller: k or 4?
4
Let i be 4/13 - (-1 + 1). Let f(y) = -3*y - 18. Let z be f(-7). Suppose 3*c - 2*l - l = 6, -z*l + 2 = 5*c. Which is greater: i or c?
c
Let d = -11 + 5. Let x be -4*3/d + 0. Let c be 0 + 0 - x/(-29). Which is smaller: 0 or c?
0
Let b = 0.531 + 1.269. Which is greater: -2 or b?
b
Let o(r) = r + 6. Suppose -l + 0*l - 13 = 0. Let a be o(l). Let m = 7 + -14. Are a and m equal?
True
Let n = -931 + 680. Which is smaller: -503/2 or n?
-503/2
Suppose -31*n + 56*n + 175 = 0. Does -2.7 = n?
False
Let i(m) = m**2 - 4*m - 44. Let f be i(-5). Let k be f + 35/(-15) + (-35)/3. Let p = 31 - 43. Is k < p?
True
Let b be 1*2/(-8) - (-8919)/60. Let s(a) = 2*a**2 + 5*a - 1. Let f be s(-10). Let c = b - f. Which is bigger: c or 0?
0
Let r = -479.7 + 533. Let d = 54 - r. Which is smaller: -1/3 or d?
-1/3
Let x = 475 - 475.7. Is 1.1 greater than x?
True
Let k be (188/(-141))/(8/(-6)). Let v be ((-66)/(-8))/((-9)/(-24)). Let d be -2 + 8/v + 2. Which is smaller: k or d?
d
Suppose 5*f + 15 = -0*f - 5*b, f - 9 = 2*b. Which is smaller: 3/37 or f?
3/37
Let k = -19.83 - -20. Let q = -0.18 + k. Which is smaller: 1/3 or q?
q
Let z = -35 - -34.9. Let i = 28.77 - 2.77. Is z at most as big as i?
True
Let r be (-2 + (-36)/(-16))/(6/408). Is 17 < r?
False
Let m(i) = 78*i + 233. Let a be m(-3). Which is smaller: a or 1/548?
a
Let o(b) = -b**3 + 6*b**2 + 7*b + 7. Let y be o(7). Suppose y = 2*w - w. Suppose x + 14 = -u, 3*x - 3 - w = u. Which is greater: u or -14?
u
Let t be 100/651 - (170/(-35) + 5). Which is bigger: 0.01 or t?
t
Let w(z) = -2*z**2 + 51*z - 26. Let p be w(25). Does -1/205 = p?
False
Let z(s) = 3*s - 3. Let a be z(3). Let f(h) = -5*h**2 + 6*h - 1 + 0*h**3 + h**3 - 2*h**2. Let c be f(a). Are 1/4 and c non-equal?
True
Let a = -193 - -157. Which is bigger: a or -3?
-3
Let o(f) = 4*f + 12. Let k be o(-10). Let x be 11/k - 1/(-7). Which is bigger: -2/3 or x?
x
Let p be (4/5)/((-74)/(-3145)). Is p at most 29?
False
Let n = 11 - 9.48. Let v = n + -0.02. Let c = v - 1.5. Which is greater: 0.1 or c?
0.1
Suppose 5*n + 2*f - 80 = 0, -2*n - f = -4*n + 23. Let x be 4/n + 3252/(-14). Let t be 2 + x/60 - -2. Which is bigger: -1 or t?
t
Let r = -37 + 90. Suppose -r - 25 = 6*m. Is m greater than or equal to -13?
True
Let f = 9790 - 2065686/211. Is f at most as big as 1?
True
Let b = -381 + 3434/9. Is b >= 0?
True
Suppose 0 = 6*d - 9*d. Suppose -2*q + d*b = -5*b - 10, 4 = -4*q - 2*b. Let j(i) = i**3 - i**2 + i + 4. Let v be j(0). Is v at most as big as q?
False
Let q = -54.12 + 1.12. Let m = q + 52.8. Are -2/65 and m nonequal?
True
Let t(j) be the third derivative of -j**6/120 + j**5/6 - j**4/24 + 5*j**3/3 - 10*j**2 + 4*j. Let a be 40/(-6)*9/(-6). Let c be t(a). Is c > -2/43?
True
Suppose -2*a - i + 14 = 0, -4*a + 2 = -2*i - 34. Suppose 3*c - a + 2 = 0. Suppose -b = c*j - 1 - 1, -3*b + 2*j = 2. Is 3/17 > b?
True
Let l be 2/(-6) + (-28 - -28). Let f be -3*1/(-1 - 0). Suppose 4*b = f*d + 5 + 7, -9 = -3*b + 5*d. Is l equal to b?
False
Let s(j) = j**3 - 4*j**2 + j - 3. Let i be s(4). Suppose -i = -2*u + 1. Is 2 at least u?
True
Let w be (8/(-371))/((-820)/574). Is w <= 0?
False
Suppose 2*c + 69 = 3*r, -4*c + 61 + 8 = 3*r. Which is greater: 22 or r?
r
Suppose 0 = 2*a + a - 12. Let q = 0.626 - 0.826. Which is greater: a or q?
a
Let r(k) = -4*k**2 - 15*k + 9. Let v(l) = 9*l**2 + 31*l - 17. Let a(z) = -7*r(z) - 3*v(z). Let y be a(-10). Let g = 253/8 + y. Is 0 smaller than g?
False
Let n = -20 + 55. Suppose g + 4*g + n = 0. Suppose -4*j - 41 + 11 = -3*r, 15 = -j - 3*r. Which is bigger: g or j?
g
Let z = -26 + 79/3. Suppose 19*u - 11*u = 216. Let d be (-126)/105*20/u. Is z > d?
True
Let b = -3.04 - -3. Suppose -39*w + 44*w + q = -6, 4*w = q - 3. Do b and w have different values?
True
Let a be (-7)/(-184) + (-155)/1240. Which is greater: 5/38 or a?
5/38
Let u(z) = -z**3 - 8*z**2 - 11*z + 2. Let q be u(-6). Let p = 237 - 237.3. Is p smaller than q?
False
Let o be 1/(-2)*(-55 - -5). Suppose 3*k = 11 + o. Let c be (-28)/k - 0 - -2. Does c = 17?
False
Let l = -2017 + 2016.18. Which is greater: 0 or l?
0
Let c = 165 + -164. Suppose -6*x = -5*x - 318. Let n = -4136/13 + x. Is n greater than or equal to c?
False
Suppose 3*a - 35 = -5*d, -4*d = -9*d + 20. Let z = 1364/5 - 273. Is z less than a?
True
Let b(i) = i**2 - 13*i + 27. Let r be b(11). Suppose 4*q - 13 = -c - 0*q, -r*q + 10 = 0. Which is smaller: c or 0?
0
Suppose w - 19 = 3*j, -3*j - 3 = -3*w + 24. Let l be j/(115/44) + 2. Which is greater: -0.1 or l?
l
Suppose -n + 72 = l - 4*l, -5*l = 4*n - 339. Let o = 52 - n. Is -28 > o?
True
Let r = 0.03 + -0.51. Let n = -0.04 + 0.12. Let t = n + r. Are 2 and t nonequal?
True
Let b be 0 + -13 + 4/(-2). Let i be 1/(1 - (-12)/b). Suppose -i*z = -5*x + 35, 3*x = 21 - 6. Are z and -6 equal?
False
Let v = -1642 - -1667. Which is greater: 249/10 or v?
v
Let m(c) = -c + 3. Let w be m(5). Let r be (-20)/8*4/w. Let a(k) = k**2 - 6*k + 4. Let p be a(r). Which is smaller: 1/5 or p?
p
Let w = -11.1 + 11. Let x = 0.274 + 0.026. Is w greater than x?
False
Let k = 17308315412/295 + -58672458. Let f = k - -1012/5. Let m = 24 - 23. Are m and f unequal?
True
Let t = 12 - 67. Let c = -49.6 + 49.5. Which is greater: t or c?
c
Let l = -4 - -5. Let u be (-72)/153 - (3 - 2 - 1). Which is smaller: l or u?
u
Let m(f) be the third derivative of 11*f**4/4 + f**3/6 - 29*f**2. Let b be m(-1). Are b and -65 nonequal?
False
Let k be ((-8)/20)/(3/30). Let d be ((2 - -3) + k)*7. Suppose -5*h - 24 = -5*i + 26, -4*i = -h - d. Are h and -10 equal?
False
Suppose 4*c - 4 = 0, -2*k - k - c - 20 = 0. Let x be k/(-7)*((-48)/38 + 1). Which is bigger: x or 1?
1
Let a = -681 - -681. Is a smaller than 24/79?
True
Let z = 14 - 32. Let c be 0 - (4 - z/(-4)). Is c at most as big as 17?
True
Suppose 29*a = 123*a - 94. Which is bigger: a or 20/53?
a
Let t be (-464)/56 + (-4)/(-14). Let b = t - -10. Suppose b*d = 3*d. Is d not equal to 1/3?
True
Let i be (-12)/(-4) - 4 - (0 + 0). Let w be (-160)/(-28) - i - 1. Which is greater: w or 5?
w
Let v be (-8 + 616/33)/(2/6). Suppose 3*c - 60 = -2*r, -128 = -5*r - c - c. Let z be (-6)/4*v/r. Which is greater: -2/3 or z?
-2/3
Let u(a) = 3*a**2 - 27*a + 248. Let l be u(17). Which is smaller: 657 or l?
l
Let k(x) = 29*x + 2. Let l(h) = -10*h. Let w(i) = 3*k(i) + 8*l(i). Let j be w(3). Is j bigger than 28?
False
Let l be 2/(-2)*(6 - 9)/1. Suppose l*t + 34 = 2*o, 13*o - 4*t = 8*o + 71. Is -2 less than o?
True
Let l = 120.063 + -120. Let z = 0.053 - l. Is -2 at least z?
False
Let y(k) = -3*k + 18. Let r = 17 + -10. Let u be y(r). Suppose 2*f - c + 16 = 0, f - 2*c + 8 = -6. Which is bigger: f or u?
u
Suppose -q = -n - 1, 12*n - 13*n + 2 = -4*q. Which is greater: q or -10/127?
-10/127
Let h = 27 - 299. Which is smaller: h or -270?
h
Let p = 203 + -201. Suppose 2*c - c - 6 = 0. Suppose 2*r - 4*r = -c. Is r < p?
False
Suppose -h = 5*m + 22, -4*h - m - 8 = 3*m. Let r be 3/((-36)/(-160)) - h/9. Do r and 14 have the same value?
False
Let x = 57 + -61. Let w be 5/(-2) + 3 + (-2)/x. Which is greater: w or 3/31?
w
Let s be 3558/894 + 4/(-1). Which is greater: -1 or s?
s
Let a(m) = -m**2 - 5*m - 5. Suppose 32*y - 35*y - 9 = 0. Let f be a(y). Which is smaller: f or 1/4?
1/4
Let n be 22/6 - (-21)/63. Suppose -o + 4 = -5*q - n, 3*q + o = 0. Let j = -0.04 - 2.96. Which is smaller: j or q?
j
Let z be ((-8)/(-6))/((-1)/3). Let w = -15 - -13. Let j be 35/(-14) - 0/w. Is z < j?
True
Suppose 29 = -9*l + 74. Suppose r + 3*m = 1 - 9, -2*m = r + 4. Suppose 0*q - q = -r. Is q != l?
True
Suppose 0 = 4*x - 0 - 12. Let f(b) = b - 4 + 4*b**2 - x*b**2 + 0*b**2. Let r be f(-3). Which is bigger: -1/3 or r?
r
Let p = -20 - -17. Let v = 7 - p. Let n(y) = y**3 - 4*y**2 + 2*y + 1. Let g be n(4). Is v bigger than g?
T