 h - 6, -4*x - 2*h - 16 = 2*h. Which is smaller: x or 2/27?
2/27
Let j = 3/716 - -1309/29356. Suppose 4*w - 6 = -2*k + 2*w, 10 = 5*w. Is j <= k?
True
Let d = 223 - 222. Suppose -5*n = 4*q - 10 - 2, -n + 14 = -5*q. Let b be q - (-189)/47 - 2. Which is smaller: b or d?
b
Let c(k) = 2*k**2 - 15*k + 29. Let h be c(3). Is h greater than or equal to 17/5?
False
Let s = -2 - -3. Suppose -v - s = -0*v. Suppose 9*h - 9 = -0*h. Which is bigger: v or h?
h
Let m = 4 + -1. Let t(d) = d**2 + 60*d + 61. Let g be t(-59). Are m and g unequal?
True
Let u = 9.87 - -0.13. Let g = -0.99 - -1.09. Which is smaller: u or g?
g
Suppose 0 = 3*a + 5*a - 144. Suppose -2*t + 12 = -28. Let p = a - t. Are p and -1 non-equal?
True
Let s = -5238484/679 + 7715. Which is greater: s or -1?
s
Let v = -91/48 + 11/48. Let y = 4 + -2. Let x = y + v. Is x at least -1?
True
Suppose 23*o = 34*o - 1397. Let k = o + -106. Which is smaller: k or -2?
-2
Let h = -559 + 544. Let p = -2.9 + -13.1. Let r = h - p. Which is greater: r or -1?
r
Let y = 2/65 + 24/65. Let v = 29 - 53. Let b = v + 23.7. Which is smaller: b or y?
b
Suppose -5*x + d - 20 = 0, -2*x - 31*d + 14 = -27*d. Let f(p) = p**3 - 5*p**2 + 4*p + 1. Let n be f(3). Which is bigger: n or x?
x
Let k(d) = d**2 - d. Let w be k(0). Let r = -60 - -15. Let s = r - -45. Are w and s non-equal?
False
Let w be -95*(2/6)/((-1)/3). Is 95 < w?
False
Let v be -1*(-1 - -1)/(-3). Suppose 0*g + 3*s = -g - 13, -3*g + 5*s + 31 = v. Let r be ((-2)/(-3))/(14/g). Is 1 bigger than r?
True
Let i = 97 + -66. Let y = i - 19. Let p = 11 - y. Is -1/6 at least as big as p?
True
Let r = 144 + -143. Which is bigger: r or 563/2?
563/2
Let x = 5392 - 140237/26. Is -2 at least x?
False
Let v = -169 + 172.84. Let l = 3.3 - v. Let i = l - -0.04. Which is greater: i or 0?
0
Let g(d) be the third derivative of -d**6/120 - 3*d**5/20 + 13*d**4/24 - 5*d**3/2 - 31*d**2. Let f be g(-10). Which is smaller: f or -46?
-46
Suppose -9 = -x + 3*h, -h = -0*h. Does x = 11?
False
Let p = 316 + -317. Which is smaller: -4/137 or p?
p
Let u(x) = -17*x - 34. Let j be u(0). Which is smaller: -37 or j?
-37
Let o(p) = -3*p + 18. Let k(c) = c - 8. Let v(s) = 5*k(s) + 2*o(s). Let b be v(-3). Which is smaller: -2/97 or b?
b
Let r(h) = 2*h**2 + 19*h + 24. Let c(u) = u**2 + 1. Let n(v) = c(v) - r(v). Let o be n(-14). Which is smaller: o or 48?
o
Let s(l) = l**2 + 6*l - 11. Suppose -p + 1 - 9 = 0. Let w be s(p). Suppose 0 = 5*y + w*b - 35, y + 1 - 8 = 3*b. Is y equal to -0.1?
False
Let u = 32 + -34. Let f be 3 + u*(-123)/(-54). Suppose 0 = 3*a - 2 + 8. Is f greater than a?
True
Let z = -144653/45 - -3212. Let c = z - -12/5. Is -1/2 greater than c?
False
Let b(o) = -10*o - 23. Let s be b(-8). Let j be s/(-7) - 0/(-5). Which is bigger: j or -8?
-8
Suppose -95*r + 98*r = -180. Is -60 at most as big as r?
True
Let h = -115 + 103. Is 1.3 < h?
False
Let y = -247/20 + -163/220. Which is smaller: -12 or y?
y
Suppose 0 = -3*q - 4 - 8, s - 39 = 4*q. Are s and -2 equal?
False
Let p = 17 + -17. Which is smaller: 7/29 or p?
p
Let l = 653 + -655. Which is bigger: -29/35 or l?
-29/35
Suppose -206 = 3*m + 4*a, 6*m = 7*m - 5*a + 37. Are m and 0 nonequal?
True
Let t(q) = -2*q**2 - 5*q - 17. Let p be t(-5). Is p equal to -83/2?
False
Let g(d) = d**3 + d**2 - d. Let h be g(-2). Let s(u) = -u**3 - 22*u**2 + 23*u + 1. Let o be s(-23). Let y be (-1)/(h/5) - o. Is y greater than or equal to 2?
False
Let d = 572 - 571.795. Is d smaller than -2?
False
Suppose -a + 38 = -2*h - 49, -5*a - 5*h = -375. Is 79 >= a?
True
Suppose 1 = -2*m - 11. Let k be (-315)/(-5)*(-2)/m. Is 22 at least k?
True
Let f be (-2 - -1) + 11*31. Let y = -154 - -16. Let c be -2 - 5/(f/y). Is -1 bigger than c?
False
Let u = -18 + 8. Let y = u - -15. Suppose 0 = -3*h + 3*t - 6, -y*h = -0*h + t + 4. Is 5 greater than or equal to h?
True
Let u(x) = -3*x**2 - 14*x - 78. Let w(i) = -5*i**2 - 21*i - 117. Let o(k) = -8*u(k) + 5*w(k). Let n be o(-6). Which is bigger: n or -1?
-1
Let a(r) = -5*r + 44. Let m be a(6). Suppose -40 - 44 = m*q. Which is smaller: q or 2?
q
Let g = -523/7 - -75. Suppose 6*u = 2*u - 16. Which is smaller: u or g?
u
Suppose -10 - 19 = -29*x. Let q be 66/8 - (-1)/(-4). Suppose -7*g = -q*g - x. Which is smaller: 2/77 or g?
g
Suppose -154 = 22*n - 0. Are n and -11 unequal?
True
Let z = 4.24 + -4.14. Let d be (3/(-5))/(-3)*-17. Which is bigger: d or z?
z
Let u = 22 + -6. Suppose -3*y + u = 13. Let c(s) = s**3 + 3*s**2 - 5*s - 2. Let f be c(-4). Does y = f?
False
Let u be (-954)/(-165) + 12/(-66). Which is smaller: 7 or u?
u
Let m be (-755)/(-510) - (-10)/60. Is 3 >= m?
True
Let n be (72/(-20))/(-3) + -1. Suppose i - 14 = -w, 2*w - 16 = -i - 4. Let l = i - 15. Is n > l?
False
Let k = 60723/38 + -1598. Suppose -3*h - 4 + 1 = 0. Is h < k?
True
Let a = 18.54 - -1.48. Let b = -20 + a. Let p = -0.07 + b. Which is bigger: p or -0.2?
p
Let c = 16/2667 - 425974/2667. Let d = -160 - c. Let o = 5.7 - 6. Is o at most d?
True
Suppose 0 = 5*o + 62 - 7. Suppose -2*b + g - 4*g = 138, -b + 2*g - 69 = 0. Let a = b + 66. Is a < o?
False
Let s(w) = 3*w**3 - 21*w**2 + w - 7. Let m be s(7). Suppose 3*n - 2*n - 3*a = m, n - 2 = a. Are n and 1.7 non-equal?
True
Let p = -1893 + 1892. Are p and 2/857 non-equal?
True
Let v(o) = 8*o**2 - 3*o - 2. Suppose 2*d = 2*l + 74, 3*l + d + 92 = -7. Let a = 33 + l. Let y be v(a). Is y greater than or equal to 5?
True
Let q be (-5)/20 + -1*(-118)/(-8). Let p be (-2)/15*-3 + 6/q. Do p and 4/7 have different values?
True
Suppose -t = 2*a + 2*t - 13, -17 = -a - 5*t. Let g(h) = -4*h**2 - 24*h - 17. Let b(m) = -m**2 - 6*m - 4. Let s(n) = a*g(n) - 9*b(n). Let w be s(-5). Is w < -3?
False
Let y = -634 - -634. Are y and 1/674 unequal?
True
Suppose -1 = -5*f + 14. Let a = -11 + 10.5. Let o = 0.2 + a. Is f not equal to o?
True
Let o(m) = -m**2 + 13*m - 17. Let d be o(8). Let k be d + -21 - 29/16. Are k and 0 equal?
False
Let w = -821/4 + 205. Which is greater: w or -0.01?
-0.01
Suppose 36*d + 15*d = 0. Let s be ((-9)/(-2))/((-3)/(-6)). Which is smaller: d or s?
d
Let s be (-3)/((-60)/112) - (-3)/(-5). Which is smaller: 0.028 or s?
0.028
Let q(f) = f**3 - f**2 - f. Suppose -2 = x - 0. Let t be q(x). Let y = t - -6. Is y smaller than -6?
False
Suppose -7*i = -43*i - 252. Let x be 2/(4/14 - 0). Let d = x + i. Is d > 3/5?
False
Let c = -1221 - -1222. Is c bigger than -1/611?
True
Suppose 3*p + 225 + 309 = 0. Let g = p - -136. Which is smaller: g or -41?
g
Suppose 0 = 4*g - 21 - 11. Suppose -g*c + 12*c + 8 = 0. Which is greater: -5 or c?
c
Suppose 7*v = 6*v - 5. Suppose 0 = -3*k - 10 - 2. Which is greater: k or v?
k
Let t be (5/(-213))/((-30)/36). Let i be -1*(3 + -2)*0. Do i and t have different values?
True
Let v = -1523/3 - -475. Are v and -34 unequal?
True
Let q be ((-224)/20)/(4/(-10)). Suppose -48 = -5*g - q. Do 8 and g have the same value?
False
Suppose -3*k - 3*g + 6 = 0, -3*g + 18 = -3*k - 6. Let i = k + 6. Suppose -j = -5*u + 25, -j = 3*u + 3*j - 15. Are i and u nonequal?
True
Suppose 0 = -2*n - q + 12, 1 = -q + 5. Suppose 3*g = 4*k + 3, n*k = -4*g - 1 + 5. Suppose 2*w + k*w = 0. Which is bigger: 1/6 or w?
1/6
Let m(j) = 7*j**3 + j**2 + j - 2. Let n be m(1). Suppose p + p - k - 4 = 0, 2*k + n = 3*p. Is 1 at most as big as p?
True
Suppose -5 = 17*n - 12*n. Which is bigger: n or -12/29?
-12/29
Let g(k) = -k**2 + 2*k - 1. Let j be g(3). Let q be 6/j*(-2)/3. Let f be -2 + 26/30 - (7 + -8). Is f greater than q?
False
Let m = 39 - 32. Suppose 13*d - m*d = -18. Let s be (-33)/d + 3/3. Are s and 11 equal?
False
Let q = 65.2 - 39.2. Do q and 5 have the same value?
False
Let s be 14 - (-4 + 7)/(-1). Let w = 16 - s. Which is smaller: 0 or w?
w
Let l be -1 - 23*(-2)/18. Let i(o) be the third derivative of o**4/12 + 2*o**3 + 15*o**2. Let s be i(-5). Which is smaller: s or l?
l
Suppose 12 = 386*u - 382*u. Suppose 4*d - 6 = -2*t + 16, 4*t = -3*d + 54. Suppose -2*q = q - t. Is u at most q?
True
Suppose l + 3*l + 16 = 0. Let s be 0/(6/2 + l). Which is greater: -3/5 or s?
s
Let s = -3 - -4. Let v = 4288/875 - -8184817/35875. Let j = -233 + v. Are s and j unequal?
True
Let r be (4 - 2)/(1*-2). Let x = 11891/14 - 849. Which is greater: x or r?
x
Let t(x) = 3*x + x**2 - 4*x + 0*x - 4*x - 2. Let s be t(4). Let p = s - -2. Is p < -6?
False
Suppose -5*f - 