 h be n(-2). Is -14/335 less than h?
True
Let z = 1737/11 + -315/2. Which is greater: 0.6 or z?
0.6
Let b be -3 + ((-99)/(-63) - 6/(-14)). Is b >= -4/101?
False
Suppose 0 = -5*i + 7 - 12. Let p = 1.6 + -18.6. Which is smaller: i or p?
p
Let b = -10442/9 - -1160. Let h(t) = t - 6. Let p be h(6). Let g be 0/(p + (-2)/2). Which is bigger: g or b?
g
Let c(x) be the first derivative of x**3/3 - 8*x**2 - 17*x + 10. Let g be c(17). Is 6/25 < g?
False
Suppose 52 = -f - 3*s, 6*f - 152 = 10*f + 4*s. Let v = 43/12 - 13/4. Which is smaller: v or f?
f
Suppose -44*p = 9*p - 159. Which is bigger: p or 40/23?
p
Suppose 5*f + 233 = d, -3*d + 3*f - 201 = -4*d. Is 212 bigger than d?
False
Let j(g) = 2*g - 2. Let x be j(17). Suppose -x = -6*o + 10*o. Let n be (-36)/o + 5/10. Which is smaller: 1/6 or n?
1/6
Suppose -2*t = 11*n - 7*n + 14, -3*t - n - 6 = 0. Let x = -1 - -1. Let i be t/(-1)*x/2. Which is bigger: i or -2/19?
i
Let i(a) = a**2 + 5*a - 5. Suppose m - 2 = 3. Let c be m/((-15)/6) + -5. Let h be i(c). Is h at most as big as 8?
False
Let a = -1 - -8. Suppose 0 = 2*d + 117*j - 115*j - 22, -5*d = -2*j - 20. Which is bigger: a or d?
a
Let i = 78 + -79.38. Let x = 1.7 - 2.02. Let b = x + i. Which is bigger: b or 2/5?
2/5
Let l(s) = -s**3 + 2*s**2 - 3. Let r be l(0). Let o be 6/12*24/(-5) - r. Is 0 > o?
False
Let t(z) = -z**2. Let j be t(1). Let u = 2.77 - 2.87. Which is bigger: j or u?
u
Let v be (-10 - -7) + 0 - (-47 - 1). Suppose 21 = 6*a - v. Which is smaller: a or 7?
7
Suppose 3*i = -i + 20. Suppose 4*r = -3*w + 2, 4*r - 7 = 2*w + i. Let l = 2 - r. Are -4/9 and l non-equal?
True
Let r be -3*(-4)/(-490)*(-20)/18*3. Let s be (-1 + 1)*1/(-2). Is s > r?
False
Let b = -1 + -0.1. Let k = 1.03 + -0.13. Let o = k + b. Is o equal to -3?
False
Suppose 0 = 2*y + 11 - 1. Let j = 1 - y. Let i = 5 + 0. Does i = j?
False
Suppose 6 = 3*f - 3*b, f - 2*b = -5*b + 6. Which is bigger: 2 or f?
f
Suppose -f - 28 = f. Suppose 0 = 2*d - 4, 26 = -m - 4*d - 4. Let z = 23 + m. Which is smaller: z or f?
z
Let d = -105 + 104. Which is smaller: d or 302?
d
Let h = 1308 + -1173. Are h and 129 equal?
False
Let n = -246 - -145. Let j = n + 101.82. Which is bigger: 1/3 or j?
j
Let y = 164 + -44. Suppose l = -3*l - y. Which is smaller: l or -31?
-31
Let s = -7/19001 - 7144131/665035. Let h = s + 78/7. Which is smaller: -0.9 or h?
-0.9
Let h be (-1 - -1)/((-4)/2). Let z(y) = y**3 - 3*y**2 - 13*y + 7. Let t be z(6). Suppose 5 = -t*q + 32*q. Which is smaller: q or h?
q
Let d be (1 - -4) + 3 + 4. Let f be ((-38)/57)/((-2)/42). Is f less than or equal to d?
False
Suppose 5*v - 10 - 5 = 0. Suppose v*g = -140 + 23. Is g greater than -0.1?
False
Let o be -1 + 3 - 2380/7. Let t = o - -4396/13. Let r be (-4)/(-14) - (-9)/(-7). Which is greater: r or t?
t
Let x be -3*(-2)/6 + -2. Let b(a) = -19*a - 1. Let f be b(x). Let j be ((f/(-3))/(-3))/(-5). Which is smaller: -1/6 or j?
j
Let i = -7 - -8.5. Let x = 7 + -5.48. Let s = i - x. Which is smaller: s or -0.1?
-0.1
Let f be 12/(-4) + (-154)/4*2. Let q = -81 - f. Let d be 3/2*(-4)/(-22). Which is bigger: d or q?
d
Let r = 1.12 + 0.98. Let f = r - 1.9. Which is bigger: 1 or f?
1
Let p = 35 + -92. Let c be p + 53 - 2/(-170)*338. Is 1 at least as big as c?
True
Let h = -8 + 8.7. Let c be (-4 + (-120)/(-28))/1. Does h = c?
False
Let z = -36 - -25. Let p(m) = m**2 - 13*m + 12. Suppose -35*q - 44 = -39*q. Let b be p(q). Which is smaller: b or z?
z
Let u(a) = -5*a**2 + 22*a + 27. Let s be u(-12). Let p be 3839/s - 1*-4. Which is smaller: 0 or p?
p
Suppose 0 = -15*g + 20*g - 85. Suppose -j + g = 6. Which is greater: j or 10?
j
Suppose -5*q + 250 + 50 = 0. Let z = q + -79. Which is smaller: -20 or z?
-20
Let x = -2314 + 2309. Which is greater: -0.151 or x?
-0.151
Suppose -l + 167 = 161. Which is greater: 62/9 or l?
62/9
Suppose -506 - 124 = -6*b. Which is smaller: 106 or b?
b
Let d = 243 + -245. Which is greater: d or -17/16?
-17/16
Let m = -95.078 + 95. Let a = m + 0.278. Which is smaller: a or 0.1?
0.1
Let i(f) be the first derivative of -f**2/2 + 9*f - 4. Let c be (2/(-4))/(1/(-18)). Let g be i(c). Does 1 = g?
False
Let c = 31 + -30. Suppose -3*r - x = 40, -x = 7 - 3. Let b be (r/8)/((-3)/(-4)). Is b > c?
False
Suppose 28*w = -41*w + 61*w. Which is smaller: w or -1/1277?
-1/1277
Let d = -10.754 - -10.6. Let s = -8.546 + d. Let k = s + 9. Which is bigger: k or -0.1?
k
Let o(x) = 5*x + 1. Let n be o(1). Suppose b = -3*b + 16. Suppose -5*i = -g - 17, -4*g - b*i + 36 = -2*g. Are n and g unequal?
True
Suppose 2*t - 4*z = 20, -5*t + z + 0*z = -41. Let b be (0 - t/(-30))*-7. Is 0 bigger than b?
True
Let u(w) = w**3 - 25*w**2 + 144*w - 17. Let o be u(15). Which is smaller: o or -105?
o
Suppose -d - 26 = d. Let j(m) = -m**3 - 13*m**2 + m + 16. Let q be j(d). Suppose 4*n = q*n. Is n not equal to -2?
True
Let r = 123 - 73. Let h = r - 54. Which is smaller: h or -5?
-5
Let q = 4 + -7. Let s be (-2)/9 + 336/(-189). Which is bigger: s or q?
s
Let p(y) = 20*y. Let g be p(-1). Let n be (12/(-50))/((-6)/g). Which is smaller: n or -1?
-1
Suppose 20 = 5*w, w = 5*n - w - 2. Suppose n*j = -y + 1 + 4, -3*j = -9. Let l be (-2)/(y - (-9 + -2)). Which is smaller: l or 1?
l
Suppose -8 = -106*s + 98*s. Are 10/29 and s equal?
False
Let a be (-2)/(-6)*(-34 + 55). Which is bigger: 45/8 or a?
a
Suppose -2*r + 7 = 21*x - 18*x, 2*x - 4*r + 6 = 0. Which is greater: 2/99 or x?
x
Let q = 90568/553 - 50/79. Let s = q - 35360/217. Which is greater: s or 0?
s
Let c be (49 - 49) + (1 - 1). Let v be ((-116)/5478)/((-3)/(-18)). Let m = v - -3/83. Is c > m?
True
Suppose -6*y + 2*y = -476. Let h be (-34)/y + (-8)/21. Which is smaller: -2/19 or h?
h
Suppose 17*w - 5 = 22*w. Let v be (-2)/3 + 7/(-3). Which is smaller: v or w?
v
Let o(z) = 2*z**3 - 29*z**2 - 17*z + 42. Let j be o(15). Is 13/6 equal to j?
False
Let s = -2.3 - -4.7. Let l = s + -2.84. Let g = l - -0.14. Does g = 0.1?
False
Let y = -1273 - -1272. Let w = 1967/9 + -219. Which is greater: y or w?
w
Let g = -7 + 8. Let w be (-3)/(g + (-5)/2). Let i(z) = 4*z - 6. Let u be i(2). Is w at most u?
True
Let v = 0.8 + 6.2. Let t = -24 - v. Is t at most as big as -1?
True
Let w(s) = -8*s - 1 + 2*s**2 + 3 + 4 - 7. Let d be w(4). Which is greater: d or -0.19?
-0.19
Let o(r) = -r + 1. Let f be o(-2). Suppose -z = f*z - 24. Suppose -i + z = 2*i. Do i and 0 have the same value?
False
Let p = 301 + -304. Are -26 and p equal?
False
Let a(y) = -185*y - 10. Let s be a(-8). Let v = s + -51364/35. Let r = -55/7 + v. Is r less than -4?
True
Suppose -25 = -2*i - 3*i + 5*v, v = 3*i - 9. Suppose -x = -5*x - 8. Let w = x + i. Is -5 at most w?
True
Let z(t) = t**3 - 8*t**2 + 6*t + 8. Let m be z(7). Let h be ((-10)/(-6))/(22/18). Let f = h + -169/132. Are m and f unequal?
True
Let m = -156 + 186. Suppose 8*z = 38 - m. Which is smaller: -6/89 or z?
-6/89
Suppose -4*b + 0 + 24 = 0. Let k = 62 - 57. Does k = b?
False
Suppose -5*r - 27 = 2*w + 7, -3*w - 4*r - 44 = 0. Let q(d) = -15*d**2 - 2*d + 1. Let j be q(1). Let v = j + 4. Are w and v equal?
True
Suppose 7*o - 5*o - 2 = -r, 0 = 2*r - o - 4. Which is smaller: r or 12?
r
Let v be ((1 - 5) + -3)*-3. Let q = v - 21. Let f be (-1)/(4/3 + 1). Is q > f?
True
Suppose -5*x = 1 + 24, -4*x - 5524 = 4*k. Is k at most as big as -1376?
True
Suppose -4*q + 5*f = -344, -3*f = 2*q + 65 - 259. Are 89 and q equal?
False
Let j be 27/15*(-50)/(-10)*7. Is j greater than or equal to 64?
False
Let x be (-12)/(-6) - 110/6. Which is greater: -2/5 or x?
-2/5
Suppose -3*f - 13 = 2*w, -16*w + 2*f = -18*w - 8. Is 9/14 <= w?
True
Let j = -9.7 + -31.3. Let f = -42 - j. Which is smaller: f or 6?
f
Let n(b) = -b**3 - 6*b**2 - 9*b - 1. Let w be n(-4). Let h be -2 - 4*(-2 + w). Is -5 bigger than h?
True
Suppose 3*c + 12 = 0, 8*c - 11*c = -2*i + 76. Let u = i - 32. Let p(k) = k**2 - 7*k + 8. Let q be p(6). Is u at most q?
True
Let p be (-2)/((-2)/(-115)) + -1. Let m = 115 + p. Which is greater: m or 1/67?
1/67
Suppose 17*u = 5*u + 3756. Which is smaller: 312 or u?
312
Suppose -8*l + 12*l - 484 = 0. Let f be (-15 + 1)*(-30)/20. Let u be l/7 - 6/f. Which is smaller: 18 or u?
u
Let q = -74 + 79. Let p = -8 + 8.3. Let x = -0.7 - p. Which is smaller: x or q?
x
Let z = -342.1 + 340. Let n = -23 + 20.8. Let b = z - n. Is b less than 0.05?
False
Suppose 0 = 3*a