 -97/6?
False
Let v = -3841/26280 - -28/365. Let z = 41/727 + 45581/261720. Let w = v - z. Which is smaller: w or -1?
-1
Let z(m) = -m**2 + 6*m + 77. Let k be z(-6). Let s(o) be the third derivative of o**5/30 - o**4/6 + 2*o**2. Let y be s(3). Are y and k unequal?
True
Let r(x) = -x**2 - 11*x + 23. Let f be r(-14). Let w(k) = -k**3 - 19*k**2 + 2*k + 18. Let q be w(f). Are q and -21 unequal?
True
Suppose y + 2*z = -z + 10, 2*z = -4*y + 10. Suppose -69 + 123 = 6*l. Which is greater: l or y?
l
Let z(b) = -b**3 - 6*b**2 + 4*b - 11. Let r be z(-7). Suppose 25 = 2*i + j, i - 6*j = -2*j - 1. Which is smaller: i or r?
r
Let p = 6 - -6. Let s = p + -14. Let g be (-1)/s*-6 + 2. Is -1 <= g?
True
Suppose 0 = 2*q + q - 6. Let r be (q/(-6))/(1/1). Let o(v) = v**2 - 14*v + 50. Let w be o(7). Is r greater than w?
False
Let y = 31 + -52. Let q be 9/(-21) - 93/y. Let j be -4 + 2 + (-12)/q. Is j > -4?
False
Let i be (558/(-564) + 1)*(-3)/30. Which is bigger: i or -1?
i
Let g = -138 - -135. Let x be (20/(-240))/(2/g). Is -1 less than x?
True
Suppose 9197 = -51*u + 1037. Which is smaller: -161 or u?
-161
Let l be 0 - -60 - (13 + -12) - 0. Suppose 0 = -3*r - 3*z + 180, r + 5*z - 68 = -0*z. Which is smaller: l or r?
r
Let s(k) = k**2 - 16*k + 4. Let f be s(16). Let b be (6/f)/(4/(-32)). Are -11 and b non-equal?
True
Let i = 701/39 - 30/13. Which is smaller: 15 or i?
15
Let g = -0.662 + 1.062. Is 8 greater than g?
True
Let d be ((-2)/4)/(-6 - 33). Let v = d + -1/6. Suppose 0*u + u = -1. Are v and u unequal?
True
Let j be (11 + -25)/((-4)/2). Let i(v) = -3*v - 6. Let d be i(-4). Let m = j - d. Is 2/5 <= m?
True
Let b = 33 - 33.9. Let n = 0.7 + b. Is n not equal to -4?
True
Let d(s) = s + 2. Let p be d(-2). Suppose -2*b - 676 = -j + 684, -b = -j + 678. Let r be (-4)/22 - 80/b. Which is bigger: r or p?
p
Let b = -16471 - -3837749/233. Is b less than 1?
True
Let t = 0.17 + -20.37. Is 0 > t?
True
Let g = 1831 - 1833. Let u(q) = q**3 - 2*q**2 + 2*q + 2. Let r be u(2). Suppose -30 = 5*v + 5*l - 0*l, 0 = 3*l + r. Is v bigger than g?
False
Let d = 20115/34 - 1183/2. Which is greater: 0 or d?
d
Let s(w) = -w**3 + 7*w**2 - 2*w - 14. Let p be s(7). Let k = p + 37. Which is smaller: 16 or k?
k
Let l = 30 - 31. Let f be l + (3 - 4) + 2. Are f and 3/4 equal?
False
Let c = 1 + -2. Suppose -7 = z - 12. Let u be ((-10)/475)/((-1)/z). Is c less than u?
True
Let c = -371 + 376. Let s = 0 + 0. Is c less than s?
False
Suppose 12 = -3*r + 3*w, 0 = -5*w + 2*w + 12. Let s be ((-1)/1)/((-15)/(-42) - r). Is s less than -2?
True
Suppose 2 - 1 = -5*c - 3*x, -3*c = 3*x + 3. Is c <= 1/13?
False
Let q = -471630 + 168371738/357. Let p = -10/51 - q. Let h = 0.07 + 1.13. Is h at least p?
True
Let p = -866 - -877. Which is smaller: 10 or p?
10
Let w = -817/20 + 178/5. Is -5 less than w?
False
Let z(q) = 23*q + 507. Let a be z(-22). Which is bigger: a or 2/249?
a
Let n be (-1)/1 - (213 - 218). Which is greater: n or -177?
n
Suppose 4*h - 12 = 20. Suppose 5*s = s + h. Let g be 1 + (-51)/105 - (-6)/21. Which is bigger: s or g?
s
Let m = -6.9 + 7. Let z = -2.29 - -0.39. Let y = z - m. Is 0 less than y?
False
Let w = 17 - 19. Let t be 22/(2/w + -1). Suppose -3*h + 3*j = 42, -h - 26 = -0*h - 4*j. Which is bigger: h or t?
h
Let s be ((-4)/40*4)/((-2)/(-5)). Let d = 172/621 + -29663/94392. Let g = 3/38 + d. Which is smaller: g or s?
s
Let p = 1.87 + 0.13. Let i = 3 + p. Let x = i + -2. Which is greater: x or -1/4?
x
Let a = 16 - 10. Suppose -3*l = -2*w - 4, -5*w - 4*l = 5*l - 56. Is a at most as big as w?
False
Suppose 11*f - 10*f = 5*r + 492, 1443 = 3*f - 4*r. Which is greater: f or -1?
f
Suppose 3*m + u - 6 = 14, -u = m - 8. Suppose 2*v + 2 = m. Suppose -3 = -r - v. Are r and -2 non-equal?
True
Let y = 78 + -236/3. Let t = 12.24 - 12. Let o = 5.76 + t. Is o less than or equal to y?
False
Suppose 4*m = 6 + 6, m + 65 = -h. Which is bigger: h or -67?
-67
Suppose 12*c + 5 = 13*c - 4*r, 2*c + 2*r - 10 = 0. Which is smaller: c or 60/11?
c
Let r(x) = -6*x - 169. Let b be r(-38). Which is greater: 57 or b?
b
Let n(g) = g**2 + 8*g + 10. Let t be n(-7). Let s be (2 - t)*(-1 - -1). Which is greater: -1/6 or s?
s
Let i(q) = 452*q**2 - 7*q - 6. Let z be i(-1). Let a be (z/(-90) - -5)*8. Which is bigger: 0.2 or a?
0.2
Let s(x) = -x**3 - 11*x**2 + 41*x + 15. Let a be s(-14). Suppose -2*v = -0*v - 52. Let k = v - a. Which is smaller: -4 or k?
-4
Let r = 453 - 453.7. Which is smaller: -1 or r?
-1
Let p be ((-29)/(-2))/(7/(-14)). Let x = p - -27. Which is greater: x or -1?
-1
Let d(x) = 38*x - 13. Let o be d(12). Let u be o/(-7) - (-20)/70. Let m be 82/450 - (-14)/u. Are -1 and m equal?
False
Suppose 5*v - 5 = g + 2*v, 2*g + 4*v - 30 = 0. Let p(i) = -2*i**2 + 16*i + 3. Let f be p(g). Is 16 smaller than f?
True
Let m = -0.4 + 0.1. Let k = 1.4 - m. Let s = k - 1.68. Is -1/2 greater than or equal to s?
False
Let y(s) = -4*s**3 + s**2. Let r be y(1). Let v be (r/9)/((-208)/252). Let i = 2/13 - v. Are i and 4 equal?
False
Let o be (-12)/84 - 1/(21/144). Which is greater: o or 0?
0
Let c = 127 + -218. Is c <= -91?
True
Let t = 49523/9 + -5495. Which is greater: 8 or t?
8
Let t = 2678 + -2692. Which is bigger: t or -7.4?
-7.4
Let t = 31/9 - 421/117. Let j = 0 + 0. Do t and j have different values?
True
Suppose 0 = -8*s + 11*s - 306. Let q be s/(-9) + 1*0/1. Which is smaller: q or -11?
q
Suppose 3*r + 31 = -2*r - 2*d, -4 = 2*r + 5*d. Let m(q) = q**2 + 8*q + 10. Let i be m(r). Let v be (-2)/(-2) - (7 - i). Is v smaller than -3?
False
Let r = 83.095 + -83. Is r at most -2?
False
Suppose 0 = 8*p + 25*p - 990. Which is bigger: 28 or p?
p
Let p be ((-1)/3)/(4/9). Let z be -13 + 4 + -2 + 1. Let q be (-4)/z - 6/15. Is q smaller than p?
False
Let r be -4 - -4 - 12/(-2). Let n be 199/(-26) + r/39. Let j(i) = i**2 - 17*i + 22. Let v be j(15). Which is greater: v or n?
n
Let p(o) be the first derivative of o**5/30 - o**4/24 + 8*o**3/3 + 6. Let x(n) be the third derivative of p(n). Let z be x(1). Does z = 3?
True
Let n = 11329/64 + -177. Which is smaller: -1 or n?
-1
Let s be (-180)/(-27) - 4/6. Suppose -6*q + 4*q = s. Let o be (-15)/(-2) - q/(-6). Is o > 6?
True
Let a = 23.059 - 0.059. Let z = 0.41 + 16.59. Let w = a - z. Which is smaller: 4 or w?
4
Let q be (-54)/15 + (-3)/(-5). Let k be (14/(-8) - q)/1. Which is smaller: 2 or k?
k
Let l(u) be the third derivative of u**4/24 - u**3 - 7*u**2. Let y be l(12). Suppose 2*o + 5*r + y = 3*r, -2*o + 3 = -r. Are o and 1 nonequal?
True
Let z = -339 - -497. Suppose -593 = 5*l - z. Let n = l + 607/7. Is n bigger than -6?
True
Let q = -41699 - -41700. Suppose -5*d = -4*s - 15, -3*s - 12 = -4*d + 2*s. Let u be 54/(-100) - d/(-6). Is q <= u?
False
Suppose -5*f + 85 = 3*x + 2*x, 2*x = 4*f + 4. Let c be -2 - (-12)/9 - (-116)/x. Is c > 1?
True
Let s = 89.8 - 78. Let i = 0.8 - s. Let k = i - -10. Which is bigger: k or -0.03?
-0.03
Suppose -10 = 5*h - 40. Suppose 4*t - c + h = 0, -4*c + 11 = -5*t - c. Let y = 7 + -9. Which is smaller: t or y?
y
Let r = 42/83 - -6513/415. Is r >= 17?
False
Let t(h) = h**3 - 13*h**2 - 15*h + 15. Suppose 5*k = 11 + 4. Suppose -g = k*g - 56. Let r be t(g). Which is bigger: r or -1/8?
r
Let v = -25 - -73/3. Let l = -22784416/183323 - 2/26189. Let d = -124 - l. Does v = d?
False
Let y = 80 + -157. Which is bigger: y or -392/5?
y
Suppose -2*z + 4*z + g + 6 = 0, 5*z - g = -29. Suppose -24 = 7*q - q. Which is bigger: q or z?
q
Suppose -5*q - 8*i + 7*i + 169 = 0, -q + 37 = -3*i. Suppose q - 78 = -4*h. Is h != 0?
True
Let s(m) = m - 7. Let i be -3 + (2 + 5 - -5). Let y be s(i). Which is smaller: 9/14 or y?
9/14
Let n = -35 - -36.06. Is 0 greater than or equal to n?
False
Let v = -797 + 5582/7. Is 35 bigger than v?
True
Let c(n) = -n**2 + 6*n - 4. Let g be c(5). Let d(f) = -7*f**3 - 2*f - 2. Let x be d(-1). Suppose 0 = x*i - 12*i + 15. Which is smaller: g or i?
g
Let g be 23/(3404/576) + -3. Are g and 1 equal?
False
Suppose -4*l + 42 = -7*l. Suppose 4 = 2*p - 0*p. Let o be 7/l*1/p. Is 0.1 smaller than o?
False
Suppose 11*i - i - 830 = 0. Let u be i/(-20) - 10/(-25). Do -5 and u have the same value?
False
Let h(c) = -c + 2. Let v be h(5). Let d = -3531/5 - -702. Do d and v have different values?
True
Let n = -119.5 + -16.5. Let j = -134 - n. Which is smaller: j or -1/35?
-1/35
Let h = 1