nd -1/17 nonequal?
True
Let n be -16 - (-3)/(-4)*(-8)/12. Is n greater than or equal to -16?
True
Let t be ((-1)/(-2))/(7 + 726/(-104)). Is t at most 29?
True
Let z(j) = j + 8. Let x be z(-5). Suppose -3*n = -w - 23, -2*w + 0*w = 5*n - 20. Suppose d - n = 3*h + 4*d, -20 = -2*h + 4*d. Is x < h?
False
Let l(q) = -q**2 - 6*q - 4. Let x = -9 - -4. Let b be l(x). Which is bigger: -1/4 or b?
b
Let n(j) = -j**3 - 4*j**2 + 7*j + 7. Let p be n(-5). Suppose 7 + 1 = 4*k, 3*h + 6 = -3*k. Let c be 6/h - 3/(-6). Are p and c equal?
False
Let l = 0.08 + -0.08. Let h = l - 0.03. Let y = h + 1.03. Which is smaller: 9 or y?
y
Suppose 6*s - 8*s - 36 = 0. Which is smaller: s or -16?
s
Let j(u) = -u**3 - 5*u**2 + 7*u + 3. Suppose -r + 2 - 8 = 0. Let l be j(r). Which is greater: l or -4?
l
Let u be 6/(-8) - 3/(-3). Let d be (-3)/(10/(-8) + 2). Let j = 3 + d. Are j and u equal?
False
Let s = -0.15 - 2.85. Let a = s - -1. Which is smaller: a or 0.06?
a
Suppose 0 = 5*n + 5*y, n + 3*y + 4 = -0*y. Suppose w = 5 - 2, o - n*w + 4 = 0. Let c be 2/5 + 2 - o. Which is smaller: c or -2/3?
-2/3
Suppose 2 = 2*l + 26. Let m = 5 + l. Which is smaller: -8 or m?
-8
Let z = -15 - -13. Is z < -0.6?
True
Let s = 219 + -1101/5. Is 0 greater than s?
True
Let l = 9 - 16. Is l less than or equal to -0.6?
True
Let v = 8 - -3. Suppose 0*l - 5*l = -5*a - 20, -4*a - v = -3*l. Is a smaller than 2/11?
False
Let u(r) = r**3 - 9*r**2 + 7*r + 10. Let l be u(8). Suppose -l*f + 2 = -f. Suppose 5*z - 4*t = -32, 0 = -4*z + 3*z - 2*t + f. Is -3 smaller than z?
False
Suppose -4*f = f + 2*x - 15, -14 = -4*f - 2*x. Let s = 4.42 - 0.42. Is s less than or equal to f?
False
Suppose 0 = 2*m + c + 8, 0*m = -2*m - 4*c - 14. Which is greater: m or -17/5?
m
Let m = 1/6824 + -64971/975832. Let x = m - 3/26. Let d = 2 - 3. Is d equal to x?
False
Let s = 7 - 13. Which is greater: s or 2/3?
2/3
Let d = -104 + 108. Do 1 and d have the same value?
False
Let k be 768/(-24) - (0 + 4). Which is smaller: -34 or k?
k
Let i(f) = -f**3 - 14*f**2 - 13*f + 1. Let b be i(-13). Let u be -1 + (0 - 3/2). Which is greater: u or b?
b
Let n be 0/2 - -6*(-6)/(-90). Is n < 1?
True
Let f = 0.48 - -0.02. Let p = 3.5 + f. Let q = -3.8 + p. Are q and 0 nonequal?
True
Suppose 2*n - 2*k - k - 10 = 0, -4*k - 4 = 2*n. Let v(y) = y**2 + 3*y - 3. Suppose s = p + 2*s + 1, 35 = -5*p + 5*s. Let z be v(p). Which is smaller: n or z?
z
Suppose 6 + 9 = 5*h. Suppose -w = -5*w + 4*r + 4, 0 = 4*w - h*r - 6. Suppose 4*z - 1 = w*z. Are z and -2/19 equal?
False
Let b be 2 + (96/(-45))/1. Let p = -7.9 + 8. Which is smaller: p or b?
b
Let q(s) be the third derivative of -s**4/12 - s**3/6 - 7*s**2. Let c be q(-4). Is c greater than or equal to 7?
True
Suppose -4*b + 7 = 3*k, 5*k = 2*b + 2 + 1. Is b > -2/9?
True
Let o(k) = 2*k**2 - 15*k + 34. Let z be o(8). Which is smaller: z or 0.1?
0.1
Suppose -2*r + 2*x + 1 = -5, 0 = -3*r + 5*x + 9. Is 3 at least r?
True
Suppose 0 = j - 8 - 7. Let l = -31/2 + j. Suppose -1 = -4*r + 5*r. Which is bigger: r or l?
l
Let n be (-16)/14 - (-3)/21. Does n = 3/13?
False
Let h = -22 - -10. Let s = 11 + h. Is 0.04 <= s?
False
Let m = -103 - -102.97. Which is bigger: -0.1 or m?
m
Let f = 3 - 6. Which is smaller: f or 1?
f
Let w = -0.03 - 1.97. Let c = 3 + w. Let b = c - 1.1. Do -4 and b have the same value?
False
Let a(i) = i**3 - 5*i**2 - 6*i + 8. Let n be a(6). Suppose 4*j = n*j - 4. Let c = 0.2 - 0. Is c less than or equal to j?
True
Let z = -4 + 7. Let d be 0 + z*1/3. Let q be (-4)/2 - (-3 + d). Are q and 1/9 non-equal?
True
Let s = -1238 - -8681/7. Is 3 <= s?
False
Suppose 8 = 6*m - 2*m. Suppose 1 = b - u, 4*b - 3 = -m*u + 1. Is b at most 1?
True
Let v(o) = o - 1. Let b be v(2). Let m be (1/(-19))/(1/(-2)). Are b and m unequal?
True
Suppose j = n - 15, 3*n - 5*j - 11 = 44. Suppose -4*u = -n - 2. Let f be 3/2*16/6. Are u and f nonequal?
True
Let b = -24 - -118/5. Is b greater than -2/5?
False
Suppose -4 + 0 = 2*y, -2*d + 5*y = -12. Is 5 at most as big as d?
False
Let m = -1 + 1.22. Let b = 10.22 - m. Let v = b + -10.2. Is 0 at least as big as v?
True
Let i = -2 - -3. Let d = 22 - 20. Let b be ((-10)/(-20))/(d/4). Is b > i?
False
Suppose 0 = -2*g - i - 18, 4*g + 48 = -7*i + 2*i. Let t = -4 - g. Let u(m) = 4*m**3 - m**2 + m - 1. Let p be u(1). Is p at least as big as t?
True
Suppose 15*g - 11*g = 4. Which is greater: g or -1/74?
g
Let t be -1*(-3)/(-9) + 14/24. Let w = 0.2 - 0.2. Let y = 0.2 + w. Which is smaller: y or t?
y
Let c = -0.81 + -0.14. Let x = -0.05 + c. Which is smaller: 2/3 or x?
x
Let f = -0.04 + -0.26. Let p = -0.7 + 0.9. Let z = f + p. Which is greater: z or 2?
2
Let i(t) = t**3 - 13*t**2 - 13*t - 16. Let c be i(14). Which is smaller: 2 or c?
c
Let p = -83 - -82. Are p and -2/173 equal?
False
Suppose 4*h + 1 = 3*h. Is h less than 3?
True
Let g = 0.12 - 1.02. Let f = 1 + g. Which is smaller: -0.2 or f?
-0.2
Let u = -4 - -3.94. Let c = u + 3.06. Let m = -8.7 - -9.7. Which is greater: c or m?
c
Let p(h) = -h**2 - 7*h - 4. Let w be p(-6). Suppose 0 = i + 4*d + 6, 3*i + i = -d + 6. Suppose -l - i = -2*a, 0 = -4*l + a + 2*a + w. Is 3 greater than l?
True
Suppose 36 = -4*h + 4*a, 0*h - 2*h - 5*a = 32. Let j = -12 - h. Suppose -2*d + 18 = 4*k, d - 3*k = 6 - 22. Is j != d?
False
Let n = 7 - 13. Let h = -0.007 - 6.093. Let x = h - n. Which is smaller: -3 or x?
-3
Let u = -2557/3 + 837. Is -14 smaller than u?
False
Let n = -11 - -26. Which is bigger: n or -2?
n
Let x = -0.7 - -1.3. Let i = x - -0.4. Let y = i + -1. Is y > 0?
False
Suppose -4*s + 26 = 2. Suppose 5*z + 14 = -5*k - 6, -2*k + 5*z + s = 0. Do -4 and k have different values?
True
Suppose -5*o + 2*o = 81. Let w be 2/(o + 6 + -4). Which is greater: 1 or w?
1
Let h = 1627 - 4925/3. Which is smaller: h or -15?
-15
Let h(k) = -k**3 - 7*k**2 + k + 8. Let c be h(-7). Let j = 0 - c. Let m = -6 + 3. Which is greater: j or m?
j
Suppose -5*j = -3*s - 20, -5*s + 50 = 5*j - 10. Suppose 0 = 5*p + j + 3. Let w be 39/(-15) + (-6)/p. Is w smaller than 1?
True
Let d be 2/8*-2*-1. Suppose 4*i + 6 = 2*o, 3*o - 3*i - 8 = 5*o. Let g = 2 + o. Which is greater: g or d?
g
Suppose 6*w - 146 + 854 = 0. Is -119 smaller than w?
True
Let r(j) = -j**2 - 8*j + 6. Let h be r(-9). Let s = 38 + -79/2. Is h at least s?
False
Let b = -2.7 + 2.4. Which is smaller: b or -2?
-2
Let w(v) = v**2 + 4*v + 8. Let n be w(-3). Is n smaller than 3?
False
Let a(r) = 2*r - 9. Let s be a(7). Let j be (-15 - -1)*(-5)/10. Suppose 2*p = 4*k - 12, -4*p + 2*p + 3*k - j = 0. Which is smaller: p or s?
p
Let m = -35 + 25. Which is smaller: m or -9?
m
Suppose -c = -0*c. Let d be 1/1 + 4244/(-3040). Let u = d + 2/95. Which is greater: c or u?
c
Let i = 6 + -11. Let n = -5 - i. Is 2/3 less than or equal to n?
False
Let g be (-57)/(-12) + (-3)/(-12). Suppose g*i - 8*i + 6 = 0. Is i > 1?
True
Let f(j) = 3*j + 1. Let p be f(1). Suppose -d - p*d = 5. Let b = 20/3 + -137/21. Which is bigger: b or d?
b
Let r be (-318)/42 - 4/(-2). Is r greater than -0.1?
False
Let q(i) = i**2 - 10*i + 9. Let f be q(9). Let j be (-5 + 3)*2/8. Is f >= j?
True
Let v = -0.6 + 6.6. Let w = -6.1 + v. Is 0 < w?
False
Suppose -2*y + 14 = 5*o, y + 4*o - 4 = -0*o. Let k be (y/8)/(6/40). Let h be (4/30)/(1/k). Is h < 2?
True
Suppose c - 2 = -3*n, -c = n - 0*n - 2. Let y(h) = -h**3 + h**2. Let s(a) = 4*a**3 - 6*a**2 - 5*a + 4. Let g(l) = -s(l) - 3*y(l). Let o be g(4). Is n > o?
False
Let u be (4/104*-4)/(-2). Is u < 0?
False
Let n be 2/4 + 77/(-126). Let z(a) = -a**3 - 4*a**2 - 3*a. Let q be z(-3). Which is bigger: n or q?
q
Let z = -2/71 + 152/355. Let x = -19888/5 - -4060. Let k = 82 - x. Is k <= z?
True
Let v = -2480 - -39343/16. Let q = -55 + 34. Let h = q - v. Which is bigger: h or 1?
1
Let q = 11 - 11. Which is smaller: q or 5/6?
q
Let y = 18 + -18. Let x be (-130)/(-15) - 1/(-3). Which is greater: x or y?
x
Let z be (-5 + 7)*1/70. Which is smaller: z or -1?
-1
Let q(a) = a**3 + 13*a**2 + 3*a - 3. Let c be q(-6). Suppose 0*z - d = 2*z + c, 143 = -z + 5*d. Let s = z + 592/5. Which is greater: s or 0?
s
Let a(t) = -t**2 - 19*t - 19. Let q be a(-9). Are 72 and q unequal?
True
Let g = -148 + 137. Which is smaller: g or -8?
g
Let b = -4.99 - 0.01. Let y = -5.3 - b. Let n = -54 - -54. Which is smaller: y or n?
y
Let k be (-3 - -5)*(-2)/(-4). Suppose 0*m = -m -