ative of k**4/6 + 25*k**3/6 - 13*k**2. Let g be z(0). Which is greater: g or 24?
g
Suppose 4*c - 4*g = 2*c - 32, -g = -4. Suppose -3*a = 1 - 7. Suppose 10 = -2*p - a. Is p equal to c?
False
Let j be 9/81 - (-382)/18. Let g = -21 + j. Are 1/4 and g nonequal?
True
Let i = -10 + 8.51. Which is smaller: i or 1?
i
Let i = -223 + 192. Is i less than or equal to -29?
True
Suppose -2*h = 2*n - 77 + 13, -5*h - 2*n + 160 = 0. Suppose -m - 14 = -2*m. Let i be m/(-35) - h/(-55). Which is smaller: i or 1?
i
Suppose -5*l - 105 = -0*l. Suppose -21*c = -9*c + 264. Which is smaller: c or l?
c
Let x(n) = 42*n - 144. Let u be x(-17). Which is bigger: -857 or u?
-857
Let v(r) = -r**3 + 4*r**2 - 2*r + 3. Let f be v(4). Let m be (-1)/(((-112)/88)/(-7)). Is m less than f?
True
Suppose 0 = 9*v - 6*v - 132. Let g = v - 34. Which is smaller: g or 11?
g
Suppose 8*u - 4*u - 40 = 0. Let l be 24/u + (-8)/2. Which is smaller: l or 0?
l
Suppose 5*v - 12 = v. Let h(o) = 1 - 2*o**2 - v*o**2 + 11*o + 6*o**2 + 1. Let g be h(-11). Which is bigger: 0.5 or g?
g
Let c be 18 + 4 + -3 + -6. Suppose x + 3*n + 2 = -9, -4*x + 16 = -3*n. Let k be ((x - 2) + -10)/(-1). Which is greater: c or k?
c
Let s = -3/161 - 295/1449. Let d be (2/10)/(2/(-9 + 19)). Which is smaller: d or s?
s
Let b = 0.35 + 1.15. Let q = 9.4 - 8. Let j = b - q. Which is smaller: j or 5?
j
Suppose 211*n + 80 = 195*n. Suppose 47 = -2*b - 5*i, -3*b - 5*i - 38 = -4*i. Are b and n equal?
False
Let s = 237 + -236. Which is smaller: 130 or s?
s
Let d be -3*5/(-45)*-6. Let k be 1 + (-4 - (d + -2)). Which is greater: 1/20 or k?
k
Let n = -664.7 - -689. Is 2/9 at most n?
True
Let h = 97.9 + -99.6. Which is greater: h or 0.11?
0.11
Suppose 3*p + 5*o = -p + 10, 2*p - 4*o = -8. Let a = 0 + -8. Let l = -7.97 - a. Is l less than p?
False
Let f = 297 + -423. Which is greater: f or -124?
-124
Let k = 4.2 - -0.8. Let m = -24 + 24. Let u be 1 - (-8)/(-12) - m. Which is smaller: u or k?
u
Let r(h) = -8*h + 392. Let v be r(49). Do -9 and v have the same value?
False
Let h be ((-135 - 5)/7 - -3)/(2 - 1). Let b = 0.4 - 0. Which is smaller: b or h?
h
Suppose -4*m + 227 = 59. Let x = m + -37. Let l = -2 - -4. Which is smaller: x or l?
l
Let i(x) = -x**3 + 3*x**2 + 6*x - 8. Let m be i(4). Let j be 20/(-4) + m + 0. Is -2 > j?
True
Let x be -20 - (1 + (3 - 4)). Let y = -24 - x. Which is smaller: -1 or y?
y
Suppose -2*x - g - 2*g - 14 = 0, -5*g = 5*x + 40. Let d be 200/48*1*(-3)/x. Is d < 0?
False
Let y be 210/206 + (-3 - -2). Suppose -10 + 14 = 2*g. Suppose -4*l - 5*u = -6, 2*u - 5 = -l + g*l. Which is smaller: l or y?
l
Let y(l) = 8*l**3 - 1. Let i be y(-1). Suppose -2*q - 2*u = 6, 4*u + 69 = 2*q + 63. Is i != q?
True
Let v be (-2)/9 + (-475)/171. Suppose 3 = q - 2*b - 15, -3*q + b + 49 = 0. Suppose 5*r = -0*r - 2*t - 28, 0 = -r + 5*t + q. Which is smaller: v or r?
r
Let q(v) = v**2 - 9*v - 1. Let z be q(4). Let c be 9/(162/12)*z/10. Suppose -h - 1 = 1. Is h at least as big as c?
False
Suppose 2595 = -39*j - 356*j - 170. Let c = 0 + -8. Is c >= j?
False
Let u = 108 - 131. Let a = -14 - u. Which is smaller: a or 1?
1
Let n(o) = 4*o**3 + 4*o**2 + 8*o - 2. Let t(y) = -3*y**3 - 5*y**2 - 7*y + 3. Let b(m) = -2*n(m) - 3*t(m). Let i be b(-6). Is 1 smaller than i?
False
Let t be (-13)/21 - (-4)/14. Let g = -63 - -63.039. Let k = -0.861 - g. Which is smaller: t or k?
k
Suppose m - z = 58, -2*z = -m - 3*z + 52. Let l be 3/(-4)*(5 + (-195)/m). Is -1 > l?
True
Suppose -7*k + 150 = 150. Which is smaller: 3/85 or k?
k
Let r(i) = 165*i**3 - 2*i**2 - 7*i + 6. Let z be r(1). Which is smaller: 163 or z?
z
Let m be 1/2 - (-114)/(-16). Let a = -731/120 - m. Which is smaller: 0 or a?
0
Let o be (-6538)/42*(-24)/(-20). Is -187 smaller than o?
True
Suppose -14*j = -19*j + 5. Which is smaller: j or 28/15?
j
Suppose -5*z + 5 = -g, -46*g - 4*z = -42*g - 28. Which is smaller: g or -104?
-104
Suppose 3*p + 12 + 4 = g, p = 3*g - 24. Let d be 119/(1*10/(-1)). Let a = d + 23/2. Is a greater than or equal to g?
False
Let b(c) = -32*c - 33. Let y be b(-1). Which is bigger: y or 2/2413?
2/2413
Let w(k) = k**3 - k**2 - 3*k - 4. Let p be w(3). Suppose 104 = p*q + 24. Let r = 16 + q. Are r and 0 equal?
False
Let r = -18109/22 - -823. Is 1 greater than r?
True
Let c be ((-325)/(-162) + -2)*8. Let w = c - -134/567. Let m = -4754 - -4736. Which is bigger: w or m?
w
Let n = 1017 - 2526. Which is smaller: -1508 or n?
n
Let t = 125 - 129. Do t and -38/9 have the same value?
False
Suppose 5*s - 9 = 16. Suppose g = s*z + 102, z - 5*g = -4*z - 110. Does z = -0.1?
False
Suppose -5*g - 9 = 2*v - 2*g, -6 = -5*v + 2*g. Let q = -4743/48704 + 102170057/78656960. Let m = 1/646 - q. Which is smaller: m or v?
m
Let s = 1038 - 19728/19. Which is greater: s or -1?
s
Let r = 2642/1465 + -1/293. Let y be (3/(-18))/((-4)/(-1386)). Let o = y + 58. Is r bigger than o?
True
Let k be ((-108)/90)/(1668/15). Which is bigger: 0.2 or k?
0.2
Let d be -2 + (-19)/(76/(-8)). Which is smaller: 78 or d?
d
Let o be 12*(-8)/1728*-8. Suppose -3*b + 8 = -1. Let r = -4 + b. Is r at most o?
True
Suppose -25 = 5*w, 0*w + 3 = -c + 3*w. Let i be (c/(-15))/((-2)/1470). Let r be 133/i + (-4)/(-18). Which is bigger: r or 1?
1
Let y = -0.08 + -0.12. Let x = -0.6 + 1. Let z = x + -0.4. Is y greater than z?
False
Let r = -44/2755 + -2/285. Let k = -238 + 239. Are k and r equal?
False
Let s = -42 + 47. Suppose s*o + 12 = -3*h, -2*h + o - 2 = 6. Is -4 at least h?
True
Let j be (-1 - 0)/(1/2). Let f be (-5 - j) + (-220)/(-65). Let q = -3/26 - f. Which is bigger: -2 or q?
q
Let x = -121.051 - -121. Let w = x - 6.949. Which is bigger: w or 2?
2
Let y(s) = -18*s + 54. Let c be y(3). Which is bigger: c or 23?
23
Let j(q) = q**2 - 6*q + 3. Let v be j(6). Suppose -v*c + 0*c + 18 = 0. Suppose -5*w + c*w + 4 = 0. Is w >= -5?
True
Let b = 3337 - 1434911/430. Which is greater: 1 or b?
1
Let w be ((-492)/7 + (-2)/(-7))/1. Let p be ((-8)/w)/(6/(-15)). Which is smaller: p or 0.2?
p
Suppose 0 = -2*r + 2*u + 240, 16*u - 14*u - 129 = -r. Is r <= 123?
True
Let a = 1333.52 - 1308. Let f = a - 0.52. Are 0.1 and f unequal?
True
Let b = 39 + -54. Which is smaller: b or -11?
b
Let y be 2/((-3)/(-9)*-3). Let l be (123/(-3) - 3)*(-3 - y). Which is smaller: 45 or l?
l
Let o = -17872/23 + 756905/1012. Let l = o - -180/11. Which is smaller: -13 or l?
-13
Suppose -5*g + 3*x + 85 + 149 = 0, -5*g + 213 = 4*x. Let w be 70/g - 2/9. Let v be 0*4/(-8)*1. Is w > v?
True
Let a = -17.1172 + -0.2928. Let f = a - -17. Which is smaller: f or 1?
f
Let k = 0.015 - 0.133. Let z = -0.059 - k. Which is smaller: 2 or z?
z
Suppose -4*i + 88 = 7*i. Suppose 2*u = -i*u + 120. Which is smaller: u or 9?
9
Let y(a) = -4*a**2 + 2*a + 1. Suppose -3*n = -0*n - 9. Suppose -3*t - 11 = -4*s, 5*t + 0*s - n*s = -11. Let x be y(t). Is x smaller than -3?
True
Let w = -775 + 795. Which is greater: w or 1?
w
Let z = -512138/7 + 73026. Which is bigger: z or 0?
0
Let o(v) = v**3 - 9*v**2 + v + 6. Let w be o(9). Let b be (-2 + 8)/(6/(-16)). Let k(u) = -4*u - 50. Let s be k(b). Which is greater: s or w?
w
Suppose 13*y = 169 + 910. Is 86 not equal to y?
True
Suppose 3*v - v - 3*d - 33 = 0, -2*d = 2. Suppose g + v = 2*g. Let m = g - 15. Which is greater: -1 or m?
m
Let z be 20/3*(-9)/(-6). Let n be z/(-4) + 0/14. Which is smaller: -4 or n?
-4
Let z = 80.3 + -25.3. Which is smaller: 2/3 or z?
2/3
Suppose -258 = 10*b + 232. Is -97/2 <= b?
False
Suppose -38 - 11 = -7*h. Let q = -10 - -10. Which is smaller: q or h?
q
Suppose -3*q = t + 8, 4 = 3*q + 8*t - 4*t. Which is bigger: -3 or q?
-3
Suppose -5*f + 3*f = 32. Let u = f + 22. Let c be (-4)/12*-10*u. Which is smaller: c or 19?
19
Let t(r) = -20*r + 66. Let d be t(4). Suppose 0 = -b, 5*b = -2*y + y - 5. Let x = -19 - y. Is d equal to x?
True
Let h = 206.4 - 155. Let p = h + -51. Is p greater than 0.12?
True
Let w(c) = -5*c - 166. Let l be w(-33). Which is smaller: l or -17/7?
-17/7
Let u be 0 - ((-10)/(-30))/((-10)/(-54)). Is u at least as big as -3?
True
Let c = 393 - 446. Is c less than or equal to -42?
True
Let a(x) = 2*x**2 - 3*x - 1. Let f be a(7). Suppose 0 = 5*q - 7*q - f. Is -38 <= q?
True
Let q = -88 + 147. Let u = q - 37. Suppose -39*p = -25*p - 322. Is u less than p?
True
Let q(c) = -11*c**2 - 5*c + 7. Let y be q(-3). Let v = -769/10 - y. Whi