et z(r) = 2*r**3 - 19*r**2 + 35*r - 4. Let a(o) = -o**3 + 10*o**2 - 17*o + 2. Let c(h) = 9*a(h) + 4*z(h). Let m be c(13). Which is smaller: m or 16?
m
Let g be 28/441 - (40/(-18) + 2). Let n = -7.3 + 0.3. Which is smaller: g or n?
n
Let g = 0.9 + -7.9. Let h = 1.2 + -4.6. Let x = h - -3.2. Which is bigger: x or g?
x
Suppose 0 = 5*v - 5 - 20. Suppose -4*g + 5*g + 2*c + 5 = 0, 15 = -v*c. Let t be (-1)/((-4 - -2)/(1 - -3)). Which is smaller: g or t?
g
Let s = -15 + 15. Suppose -m + g - 1 - 10 = s, 0 = 2*m + 4*g + 28. Let h = m - -13. Do 3 and h have the same value?
False
Let p(s) = s**2 - 21*s + 9. Let k be p(18). Let d = 40 + k. Which is bigger: d or -7/2?
-7/2
Let r be 9 + -5 - -3 - 8. Which is smaller: r or 1/4?
r
Suppose s = 3*i + 304, -4*s + 2*i + 135 = -1071. Which is greater: s or 299?
s
Let i be (-14)/(-49) - 27129/113792. Let a = i - 7/127. Let t = a + 263/896. Is t at most as big as -1?
False
Let n(s) = 2*s - 1. Suppose 35 = 5*a + 4*v + v, 5*a - 15 = -v. Let k be n(a). Suppose k*g = 4*g. Is g less than -1?
False
Let n = -1760334/269 + 6544. Which is smaller: n or 0?
0
Let p(l) = -l**3 - 8*l**2 - 4*l + 9. Let n be p(-7). Let g(t) = -2*t - 36. Let q be g(n). Is -12 equal to q?
True
Suppose -5*z - 10 = w + 12, 2*w = -2*z - 4. Is -38/9 != z?
True
Let o = 9 + -10. Let q = o + 0. Which is greater: q or 21?
21
Let p = 0.01 + -0.11. Let y = -0.02 - p. Let t = -1.08 + y. Does 0.3 = t?
False
Let v = -0.1156 - -231.1156. Which is smaller: v or -0.3?
-0.3
Suppose -4*q + 4*a = -2*q + 12, -5*q + a = -6. Let w be 3 - (1 + -1 + q). Let o be 7/(84/8) - 4/15. Is o > w?
False
Let x = 394/1007 + -4/53. Which is smaller: -22 or x?
-22
Let a be (-2)/3 - 20/(-12). Let y be a/21 - (-14)/49. Let k = 15.047 - 0.047. Which is smaller: k or y?
y
Suppose 4*s = -20, 0*p = -3*p + 2*s - 161. Let d = -66 - p. Which is smaller: d or -0.3?
d
Let b(i) be the second derivative of i**5/20 - i**4/3 - 5*i**3/6 + 3*i**2 + 13*i. Let r be b(4). Is r at most -13?
True
Let m be (-1 + 9)*1 + 0. Suppose -10*c + 8*c = -6. Suppose 5*g = 4*z - 47 + 1, -c*z + 29 = -g. Do m and z have the same value?
False
Suppose 2*i - 34 = -32. Which is smaller: 17/39 or i?
17/39
Let q = -105 - -103. Which is smaller: 22 or q?
q
Let x = -1.774 - 3.026. Which is smaller: -1 or x?
x
Let d = -1199 + 1201. Which is smaller: 46.5 or d?
d
Let d = 343 - 342. Which is smaller: -2/537 or d?
-2/537
Suppose -2*f + 4486 = 2*c, -1 + 3 = -2*f. Let o = -850 + 854. Let r be 425/c + (-1)/o. Which is greater: r or 0?
0
Suppose 0 = 5*t + 5*y - 10, 3*y + 2*y = t + 10. Let v = 53/135 - 16/27. Is t less than or equal to v?
False
Suppose -656 = 4*l - 2*r, -3*l - r - 4*r - 518 = 0. Which is smaller: l or -165?
l
Let r = 0 - 0.02. Let i = -15.98 + r. Let k = i + 15. Is k at most as big as -2?
False
Let d = -7 + 9. Suppose 2*u = 4*u + d. Let i be -2 + (-16)/(-10) + (-2)/5. Is u > i?
False
Let j(n) = 2*n**2 + 2*n - 2. Let u be j(-2). Let c(a) = a**2 - 3*a + 1. Let f be c(u). Let o = 88/5 - 1114/65. Which is bigger: o or f?
o
Let j = -819 - -988. Are 2 and j non-equal?
True
Let t = 4.8 - 0.8. Let l = 4 - t. Let w = 4.34 + -1.34. Is w greater than l?
True
Suppose 0 = 13*a - 10*a + 6. Let m be -2 + a + (-56)/(-35). Which is smaller: m or -1?
m
Let o = -40.082 - -0.082. Let g = o - -34. Which is greater: 1 or g?
1
Let b(m) be the third derivative of m**5/60 - 17*m**4/24 + 9*m**3/2 - 22*m**2. Let f be b(16). Are f and 10 nonequal?
True
Let t be 4/6*(1 + 77/(-44)). Which is greater: t or -68/3?
t
Let r be 268/(-148) - 6/(-3). Let v = -442/185 + r. Suppose 5*u - 3*h = -16, -u - 4*u - 8 = h. Is u > v?
True
Let a = -1748/9 - -194. Is a less than -1/13?
True
Let g = -0.99 - -1. Let h = 17 - 17.07. Let n = g + h. Which is smaller: n or -1?
-1
Let f = -2374 - -206530/87. Do f and 0 have different values?
True
Let g be (-6)/(-30) + 1432/(-410). Let u = 100927/30627 + g. Let m = u + -2263/8217. Is m smaller than 0?
True
Let x be 0 + (-2)/(-8) - (-249)/(-68). Is -3 less than or equal to x?
False
Let k = 163.8 + -163.9. Let x = -1.5 - -5. Which is greater: x or k?
x
Let a = 15 - 11. Suppose 4*i + 11 + a = -o, -5*o + 25 = 0. Let f = 1 - 5. Which is smaller: i or f?
i
Let y be (-19)/(-1) + 4/(-4). Suppose 2*q = 3*q - y. Is 18 bigger than q?
False
Let u = -25 - -29. Let o be ((-2)/u)/((-3)/21). Which is smaller: 4 or o?
o
Let z(x) = -14*x + 3. Let j be z(-1). Which is bigger: j or 10?
j
Let k = -3 + 10. Let a(r) = r**3 - 7*r**2 + r - 17. Let g be a(k). Let q = -12 - g. Is q less than 2?
True
Suppose -3 + 4 = n. Let z(x) = -x**3 + 7*x**2 + 5. Let d be z(7). Let l(k) = k - 5. Let i be l(d). Is n at most i?
False
Let u be 7897*(-1)/4 - (-42)/168. Let y be ((-14)/u)/((-4)/6). Which is smaller: -1 or y?
-1
Let v = -182/5 - -1057/30. Which is greater: -2 or v?
v
Let h = -21.2 + 19.2. Is h at most -9?
False
Suppose 15 - 14 = b. Let i be -2*(-2)/(-2) - (-156)/77. Is b <= i?
False
Let b be (4/(4/(-15)))/(-4). Let x = -233/60 + b. Which is bigger: 0 or x?
0
Let t(u) = -u + 8. Let g be t(3). Suppose 3*v = 2*y + 3*y - 5, 0 = 3*y - g*v - 19. Which is smaller: y or 0.3?
y
Let v = 16 + -8. Suppose 5*f = -5*i + 2*i + 9, -3*i + 9 = -f. Suppose p - 9 + 2 = f. Which is smaller: p or v?
p
Let v = 106/639 - -4/71. Let c = -12 - -7. Which is bigger: c or v?
v
Let c(o) = o**3 + 9*o**2 + 9*o + 17. Let t be c(-8). Suppose -55 = 2*k - 5*h, -60 = 3*k - 3*h + t. Is k at most -20?
True
Suppose -2*o - 71 = -9. Let l = o + 91/3. Let p = 1.4 + -0.4. Which is smaller: p or l?
l
Suppose -4*l - 4*c + 28 = 0, -4*l = l - 3*c - 11. Let g be (-6)/l*18/27. Which is smaller: -3 or g?
-3
Let x = -4673/14 - -334. Is x less than 0?
False
Suppose -4*x + 4*w + 16 = 0, 30 = -x + 6*x + 5*w. Suppose -5 = -4*u + 31. Let f = -5 + u. Which is smaller: x or f?
f
Let k = 9/154 + -353/770. Which is smaller: k or -0.023?
k
Let a = -141 + 21294/151. Which is smaller: a or -1?
-1
Let m(k) = -k**2 + 6*k - 5. Let d be m(3). Let l be d + (-199)/22 + 5. Which is smaller: l or -1?
-1
Suppose -3*t - 4*j = 17, -3*t + 4*j = 2*t + 71. Let v be 4/t*1/(-2). Let u = 361 + -360. Which is bigger: u or v?
u
Let o(x) = -3*x**3 + 16*x**2 + 13*x - 6. Let f be o(6). Which is greater: f or -2/461?
f
Let w = 162 - 488/3. Which is greater: -2/691 or w?
-2/691
Let x(h) = 2*h**2 - 38*h - 240. Let u be x(24). Let b be 0 + -2 - 74/(-56). Let v = -3/7 - b. Is u less than v?
True
Suppose -4*v + 5*d - 5 = 4*d, -4*d + 20 = v. Suppose v = c + 2. Is c < -5?
False
Let f = 30.066 + -0.066. Let o = 2.001 - 0.001. Is o <= f?
True
Let d = 5.63 + -6.63. Is -5/42 < d?
False
Let x be (-3)/21*-2 - 681/(-42). Which is greater: x or 17?
17
Let m be 18/(-4)*4/(-6). Suppose -3*v = -2*v - m. Suppose -8*y = -13*y + 10. Are v and y non-equal?
True
Let h = -2548 + 63741/25. Which is bigger: 1 or h?
h
Let r(d) = 13*d**2 - 2*d - 4. Let w be r(-2). Suppose -y - 48 = 2*o, y + 8*o + w = 5*o. Is -40 bigger than y?
False
Let q = 0.36 + -0.2. Let f = 0 + q. Is -0.1 less than f?
True
Let l be (-6)/(-4) + (-21)/(-6). Suppose 0*m - l*m = 25. Let p = 1 + -1.1. Is p > m?
True
Suppose 6 = -2*c - 4. Let s(z) = -2*z. Let m be s(c). Suppose 4*h + h - 22 = -3*j, h - m = 5*j. Do -2/23 and j have different values?
True
Let x = 63 - 60. Let f be (-2)/(-3) + 19/3. Suppose f - x = -4*y. Which is greater: -1/5 or y?
-1/5
Let i be (-158)/(-2) - (1 + -5). Which is smaller: 1/3 or i?
1/3
Let t = 30 - 28. Suppose 4*d = 5*n - 45, -5*n - 7 = t*d - 22. Suppose 6 = -2*i, 38 = n*u - i - 0*i. Is 7 at most u?
True
Let b = 213 + -215.78. Let d = b + 2.8. Which is bigger: d or -2?
d
Let i(v) = -312*v**2 - 3*v. Let q be i(-1). Which is smaller: q or -308?
q
Suppose 2*h - 328 = x - 30, -4*x - 1180 = -5*h. Which is smaller: x or -289?
x
Let x = 1/4504 - 9203/878280. Is -1 bigger than x?
False
Suppose 4 = -3*s - 2*s + j, 5*j = -5. Let a be (-34)/152 - (-2)/(-112)*-14. Is s at most a?
True
Let w = 167 + -158.9. Let y = 0.9 + w. Let a = y - 4. Do a and -2 have different values?
True
Let w be 91/(-474) - 3/(-18). Which is bigger: -1 or w?
w
Suppose -3*i - 4 = b - 2*i, 5*b + 5 = -2*i. Let y be -1*(-1)/b + (-210)/66. Which is bigger: -2 or y?
-2
Let b = 311 + -310. Which is greater: 2/745 or b?
b
Let j = -2179/5 + 436. Which is smaller: j or 1?
j
Suppose 13*r - 8*r = -70. Let w = r - -1. Let 