8*z**2 + 7*z + 15. Let p(d) = 2*d**3 - 4*d**2 - 4*d - 8. Let k(a) = 5*p(a) + 3*r(a). Let g be k(-3). Is 9 > g?
False
Suppose 0*m = m + 9. Let s be (-2)/(-3)*m/(-6). Let t be 2 + s + (-28)/7. Is t greater than -1?
False
Suppose -26 = -3*w - 2. Let f(p) = -p**2 + 1 + 6*p + 0*p**2 - w*p. Let n be f(0). Are n and 0.1 equal?
False
Let k be -4 + (-3 - -2 - -5). Suppose -4*w = 4, 4*t = -k*w - 3*w + 29. Which is smaller: 10 or t?
t
Let l = 1483 - 1573. Which is bigger: l or -357/4?
-357/4
Let v be (-30)/(-12)*16/10. Let g = 218 + -214. Is g less than or equal to v?
True
Let q be (-1 - 3/(-6))*(-3 - 5). Let c be (q/(-6))/((-460)/(-207)). Are -1 and c unequal?
True
Suppose -19*a = -8 + 1300. Is -65 smaller than a?
False
Let l = 1691.87 + -1700. Let c = 9.2 + -1.2. Let b = c + l. Are b and -1 unequal?
True
Suppose 0*h = -h. Suppose -4*w = 2*f + 2, -5*f = -h*w + w + 14. Let r(x) = -x - 3. Let u be r(-5). Which is greater: w or u?
u
Suppose 4*r = -a - 32, -2*a - 4 = -3*a. Let f be (r*(-3)/9)/((-150)/(-8)). Is 1 > f?
True
Let v = -6 + 44. Which is smaller: v or 34?
34
Let q = 13 + -7. Suppose q*t - 3*t = -9. Let x = 8 + -9. Is x greater than or equal to t?
True
Let d(j) = 376*j - 478. Let q be d(6). Is 1778 less than or equal to q?
True
Let c be 1239/(-3010) + (-4)/(-10). Let l = c + 695/602. Suppose 2*b - 12 = -3*x + 5*b, x = -5*b - 20. Is x smaller than l?
True
Suppose n + g + 5 = 0, 4*n + 9 = -2*g - 11. Let t be 1*n/65*3. Is 0 <= t?
False
Let x(w) be the third derivative of -w**5/60 + w**4/4 + w**3/3 + 3*w**2. Let n be x(6). Suppose 0 = -10*p + 4*p. Do n and p have different values?
True
Let v(y) = -15*y**2 - 30*y + 1. Let a be v(-2). Do -15/59 and a have different values?
True
Let b be ((-5)/((-60)/(-141)))/(1/(-16)). Is 189 at most b?
False
Let k be 0/(2/(-3)*-6). Suppose 8*o - 3*b = 3*o - 3, k = -5*o - b + 1. Which is smaller: 2/67 or o?
o
Suppose 32 - 156 = -4*p. Suppose -2*l - p = -5*o - l, -4*l + 30 = 2*o. Suppose 6*f = 7*f + o. Is f < -7?
False
Let p(o) = -165*o + 41. Let z be p(2). Is -289 equal to z?
True
Let g = 147 + -146.063. Let k = -0.137 + g. Is -5 != k?
True
Suppose -2*d + 2*s = d + 2, d + 5*s = 22. Let p be -1*(1*(-8 - 0) + 4). Is p greater than d?
True
Let f = -19 - -25. Suppose f*u + 16 = 52. Is 4 smaller than u?
True
Suppose 3*r = 5*x - 2*r + 75, -3*r = -4*x - 56. Let z be 2/x - (-765)/396. Does 1 = z?
False
Let r = -4 - -1. Let b be 0 - (14/(-2))/(-2 + 1). Which is smaller: b or r?
b
Suppose k - 15 + 10 = -h, k - 5 = 4*h. Is h < 44?
True
Suppose -5*f = -3 - 2. Let q be ((-13)/63)/((-6)/90). Let l = -8/3 + q. Is l smaller than f?
True
Suppose -240 = 3*v - 264. Do v and 27/4 have the same value?
False
Suppose -13*i + 6 = -7. Which is greater: -1 or i?
i
Let n(q) = -q**2 - 7*q - 3. Let x(p) = -p**3 - 9*p**2 - 6*p + 10. Let w be x(-8). Let o be n(w). Let g be (-71)/(-46) + o/(-2). Which is smaller: -1 or g?
-1
Let k = 10/143 - 776/7007. Do k and 0 have the same value?
False
Let z be 12/(-3) - -5 - 6. Is 0 at least as big as z?
True
Let u = 14.98 - -0.02. Let m = 0.686 - 0.386. Is m at most u?
True
Let j = -12187 - -377965/31. Which is smaller: j or 6?
j
Suppose 57*m + 4620 = -20*m. Which is bigger: -61 or m?
m
Let n(d) = d**2 - 5*d - 6. Let l be n(6). Let w = 0.065 - 35.065. Let u = w + 34.1. Is u at most as big as l?
True
Let x(j) be the third derivative of j**5/60 - j**4/4 - j**3/3 + 7*j**2. Let h be x(7). Suppose -4*w = -h*z + 76, 5*w + 123 - 43 = 5*z. Does 11 = z?
False
Let f be (1 - 1*15)/(96/(-192)). Is 27 at most as big as f?
True
Let z = 263 + -262. Are z and 6/355 non-equal?
True
Suppose 4*w + 742 = 334. Suppose 4*y + 323 = -81. Which is bigger: y or w?
y
Let f be (-37)/11 + 3 + 0. Suppose 0*z + 3*z = -v + 1, 0 = -5*z - 3*v + 7. Is z at most as big as f?
True
Let z = -11 - -12. Suppose 0 = -5*w - 5*x - 20, -5 - z = 3*w - 3*x. Let u be ((-6)/40)/(13/364). Which is greater: w or u?
w
Suppose -10 = -5*c - 10. Let b = -0.07 - 0.01. Are c and b non-equal?
True
Let r be ((2 - 5)/66)/(-19). Is 1 < r?
False
Let u be (-6060)/(-39520) - 2/19. Is u not equal to 0.2?
True
Suppose -u - 2*w = -4, -72*u - w - 5 = -68*u. Is -0.19 <= u?
False
Let n(b) = b**2 - b + 1. Let l(s) = 5*s**2 + 6*s - 4. Let u(r) = l(r) + 5*n(r). Let f be u(2). Suppose 0 = 3*i + 5*k + 31, -4*i - 2*k - 3*k - f = 0. Is -13 < i?
True
Let k = -52 + 32. Let w = 49 - 69. Is k smaller than w?
False
Suppose i + 39 = -0*i. Let w = i + 60. Suppose -2*l + 56 = -4*h, -2*l + 29 = 5*h + 9. Are l and w nonequal?
True
Let k = 3661 - 545487/149. Is -1 != k?
True
Let g(p) = -33*p - 36. Let h be g(-4). Let f = h - 84. Which is smaller: f or 11?
11
Suppose 8*b - 18 = -18. Let z be 3*(-10)/(-48) - 0. Which is greater: b or z?
z
Let x(p) = 4*p - 28. Let u be x(6). Let t be ((-4)/78)/(-1 - u/6). Are t and -2/11 equal?
False
Let m = -19 - -19. Suppose m = 5*a + v + 6 + 13, 0 = 3*a - v + 13. Is -3 <= a?
False
Suppose 0 = 2*z + z + 6. Let p(w) = w - 25. Let r be p(23). Let v be r*(-10)/(-8) + (-5)/(-10). Is z at least v?
True
Let v be 12/(-20) + 492/20. Is v bigger than 24?
False
Let c = 1.953 - 0.173. Let h = c + 0.22. Which is smaller: h or 19?
h
Let r = -1.61 + 1.7. Let x = r - -5.91. Let q = 4 - x. Which is bigger: q or 3?
3
Let r be (-8 - 482)/7 + 3. Is -65 smaller than r?
False
Let v be ((375/(-210))/(-25))/(2/(-7)). Suppose 7*k = 2*k + p - 6, 3*k + 5*p = 2. Are k and v equal?
False
Suppose 7*x - x - 24 = 0. Let l be (-16)/(-12)*42/x. Suppose 5*p - 5*k + 4*k + 11 = 0, -2*p - 2*k = l. Is -2 at most as big as p?
False
Let a(v) = 7 - v**2 + 0 - 6*v - v**2 + v**3. Let l be a(5). Let j be (l/(-24) + 2)*1. Are -1 and j unequal?
True
Let f(m) = -4*m**2 - m + 1. Let l be f(-3). Let i = 725.9 + -726. Are l and i nonequal?
True
Let f = -21165/38 + 557. Let d(l) = l**3 + 61*l - 56*l - 13 - 2*l**3 - 6*l**2. Let a be d(-7). Which is bigger: f or a?
a
Let b = -0.0064 + 0.1864. Which is smaller: -2/7 or b?
-2/7
Suppose 0 = 23*o - 50*o + 27. Is 1/95 at least as big as o?
False
Let n = -28 - -46. Suppose 7*o - n = 10. Let x be 0 - (-2)/6*8. Is o > x?
True
Let v(b) = 7*b**3 + 238*b**2 + 6*b - 75. Let l be v(-34). Is 0.2 equal to l?
False
Let i = 1057.3 + -1059. Is 3/10 bigger than i?
True
Let z(n) = -n**2 - n - 2. Let p = 10 + -10. Let c be z(p). Suppose -2*h - h = h. Which is smaller: c or h?
c
Let h = 103 + -109.05. Let b = -83 - -77. Let d = h - b. Which is bigger: d or -1/2?
d
Let j = -30 + 26. Let c be (-30)/j*13/(-65). Is -1 != c?
True
Let b = -0.3 - 0.09. Let f = 0.49 + b. Let p = -1.27 - -1.4. Which is bigger: p or f?
p
Let d be 1*((-42)/(-196))/(-1 + -2). Which is smaller: d or 1/33?
d
Suppose -6 + 3 = -q. Suppose -2*r - q*r = 35. Let w be ((-2)/r)/((-90)/42). Which is smaller: -1 or w?
-1
Let k be (7/(-5) + 1)*5. Let b(u) = 4*u - 18. Let n be b(5). Let q be (0 - (-3 + 0))*n/(-8). Is q smaller than k?
False
Let b = 288 + -411. Let d = b + 123. Which is bigger: -98 or d?
d
Let u be (8*(-8)/(-10688))/(5/(-15)). Which is bigger: u or -1?
u
Let r be (0 - 2)*(-1)/(-2). Let w(m) = m**2 + 2*m. Let d be w(0). Let h = -1/14 - d. Which is greater: h or r?
h
Let v = -1450 - -1452. Are v and 237 nonequal?
True
Let t(d) = -2*d**2 - 21*d - 29. Let z be t(-9). Let w be z + (-44)/(-28) + (-2)/(-14). Is w at least 2?
False
Let t = 1225 + -1224.423. Let b = t - -0.023. Is b != -0.4?
True
Let o = 122.302 + -0.302. Let n = o + -73. Which is greater: 1 or n?
n
Let s = -4 + -26. Are -1/3 and s nonequal?
True
Let c be (4 - 8) + 4 + (-26)/108. Is c < -1?
False
Let f = 39 + -63. Let b = f + 25. Are b and 2/3 unequal?
True
Let r = -163 + -53. Let z be r/52 + (7 + -3)*1. Which is bigger: -1 or z?
z
Let u = -0.2 + 0.2. Let q = -50 + 50.01. Does q = u?
False
Let z = 13 + -15. Let y be (-129)/z*46/(-69). Is y less than -42?
True
Let t = -12.29 - -8.29. Which is bigger: 44 or t?
44
Suppose -3*p + 2*k - 111 = -290, -4*p + 241 = -5*k. Is 63 at least as big as p?
True
Let i = -262 + 268. Which is smaller: i or -0.7?
-0.7
Let v = -849 + 649. Are v and -201 equal?
False
Let l = 145/2 - 75. Let x = -89.2 - -89. Which is smaller: x or l?
l
Let x = 328/501 + 2/167. Which is greater: 1.83 or x?
1.83
Suppose x = -3*x - 264. Let m be (2 - 0) + x/21. Let w be (-2)/(6/(-3))*2/(-2). Is m bigger than w?
False
Let y = -52 - -58. Suppose 16*