eater: 0 or n?
0
Suppose 0 = -2*b + k - 122, -b + 6*k - 61 = 4*k. Is b < -62?
False
Let o(r) = -r + 4. Let y be o(-3). Let q = 13 - y. Let u = q + -5. Is -1/7 <= u?
True
Let g(m) = -m**3 - 6*m**2 + 7*m - 6. Let v be g(-7). Let y be 15/v*60/325. Is y < -1?
False
Suppose -z - 4*z = 2*g, 4*z - 3*g = 0. Let u be (-2)/4*(-2 + z). Let t be (-1)/5 + (-8)/(-40). Is t at most u?
True
Suppose -3*p + 27 = 3*x, x + 0*p - 14 = -2*p. Let n = -9 + 7. Let f be 2 + 0 - (x + n). Which is bigger: 2/5 or f?
2/5
Let k be ((-4)/1 + 6)/((-26)/(-4)). Which is bigger: -1 or k?
k
Suppose 0 = -10*k + 11*k. Let u be 1/3*(-3)/1. Let b = u - k. Is b bigger than -1/3?
False
Let t(k) = k**3 + 7*k**2 + 5*k + 6. Let a be t(-6). Let d be 51/a + 2/(-8). Which is smaller: d or 1/2?
1/2
Suppose -13 = 3*u - 4. Let b be (0 - 146/(-50)) + u. Which is smaller: b or -1?
-1
Let j be (-1 - 1180/(-585)) + -1. Which is greater: j or 0?
j
Let l = 11 - 7. Suppose 4*q - 8 + l = 0. Let w = 1 + -1. Is q less than or equal to w?
False
Let j = -5 - -2. Do -2 and j have different values?
True
Let f(k) = k**2 + 29*k + 29. Let u be f(-28). Which is greater: -1/70 or u?
u
Let z be (97/(-75))/((-8)/(-12)) - -2. Which is smaller: z or 1?
z
Suppose 2*b + 15 = 7*b. Let l(f) = -f**3 + 2*f**2 - f + 4. Let u be l(b). Let r be (u/12)/((-13)/(-3)). Is r <= 0?
True
Let k(c) = c**3 - c - 1. Let i be k(-2). Let g = -5 - i. Suppose 4*t - w = -g, -3*w - 2 = 4. Is -0.3 at most as big as t?
False
Let x = 35 - 69/2. Which is smaller: 0 or x?
0
Suppose 4*z - 6*z = 0. Let w = -89/7 + 12. Is w at most as big as z?
True
Let j(x) = x**2 - 3*x + 1. Let y be j(4). Suppose 3*t - y*t = -2. Which is greater: -2 or t?
t
Let c = 13 + -89/7. Let s = 20 - 20. Is s at least c?
False
Suppose -2*i - q = -4*i, -4*i - 3*q = 10. Is i != 1/142?
True
Let i = 47 + -49. Let a = 2.65 - -0.15. Let w = a - -0.2. Which is bigger: i or w?
w
Let o(f) = -f - 8. Let z be o(-6). Let p be (7/(-70))/(1/z). Which is smaller: -1 or p?
-1
Let r = 1 - 4. Let b = 16 + -18. Is b less than r?
False
Let x be ((-2)/8)/(-1 + 22/24). Which is greater: 0.1 or x?
x
Suppose -3 = -l - 2. Let g = 14 + -32. Let q be 4/10 + g/120. Is q != l?
True
Let d be 3/(3/2)*2. Suppose 0 = d*q - 6*q. Let b = 307/10 + -61/2. Which is smaller: q or b?
q
Suppose 7*n + 20 = 2*n + 4*j, 4*n + 25 = 5*j. Suppose n = -3*o + 5*o. Let k = -70/3 + 24. Is o < k?
True
Let x be ((-1)/(-3))/((-1)/3). Suppose -5*k = -4*s - 211, -168 = -4*k + 3*s - 0*s. Let p be 0 + ((-6)/k - 0). Is p at most as big as x?
False
Let p be -1*4/4 + 5. Suppose 5*v - 4*j + 10 = 0, 5*v + 10 = -0*j - 3*j. Is v less than or equal to p?
True
Let u = 277/117 + -4/117. Which is greater: 3 or u?
3
Let i be 11/33 - (-40)/(-66). Let t = -10 + 9. Is t less than i?
True
Suppose -4*t = -3*q - 20, -4 = 2*q - 2*t + 6. Suppose -2*d - 5*s - 5 + 2 = 0, -d - s = q. Does d = -2/11?
False
Let n(p) = p**2 - 3*p + 1. Suppose 7*q - 2*q - 4*u + 7 = 0, 0 = 3*q - u. Let l = 4 - q. Let x be n(l). Is x > 3?
False
Suppose y - 5*n = -6 + 2, -2*y + 16 = 2*n. Suppose y*t = t + 3*l - 2, -5*l - 3 = -2*t. Let w = -5/46 + 127/322. Which is greater: t or w?
w
Suppose -3*k = 1 + 5. Let c be (-1)/4*-14 + k. Suppose -3*w + 2*w - 2*t - 3 = 0, 3*w + 2*t + 1 = 0. Is c > w?
True
Let j = -16 - -16.1. Let y = 501.89 + -506. Let b = y - -0.11. Which is bigger: j or b?
j
Suppose -5*u = 0, -4*j + 0 = 2*u - 4. Let f be (-3 + 8)/(-25) + 18/15. Is f at most as big as j?
True
Let k = 8 - 2. Are 8 and k unequal?
True
Let x = -218 + 215. Which is smaller: 1/15 or x?
x
Suppose 3*z + 26 = 2. Let p = 7 + z. Which is smaller: p or 2/7?
p
Let t = -35 + 20. Let s(m) = m**3 - 15*m**2 - 5*m + 60. Let u be s(15). Is t greater than u?
False
Suppose -3*g - 6 = 2*b, -2*b - 3*g - 6 = -5*g. Let x be (-4 - b - 0) + 0. Are 0 and x equal?
False
Let t = -2.7 - -3.6. Which is bigger: -2 or t?
t
Let k = -3 + 8/3. Is 0.5 at most k?
False
Suppose -3*q - 38 = 2*z, -6*q + q - 70 = 2*z. Is q less than -18?
False
Let x = -3 + 3. Let q = -0.3 - -0.2. Let k = q - 0.1. Which is bigger: k or x?
x
Let g(f) be the second derivative of -5*f**3/2 - 3*f**2/2 + f. Let l be g(3). Let t = l - -143/3. Which is bigger: t or 0?
0
Let b = 0.014 + 0.986. Which is smaller: b or -48?
-48
Let f = -0.26 + 0.16. Are 2/47 and f nonequal?
True
Let b be 2/((1 + -11)*1). Which is smaller: b or 1?
b
Suppose -21*i = -11*i + 380. Is -37 >= i?
True
Suppose i - 6 = -0*i. Let f be 48/105 + i/(-15). Which is smaller: 1 or f?
f
Let u(p) = p**2 - 2*p - 4. Let w be u(0). Let s = 5 + -9. Is s less than w?
False
Let u(a) = a - 1. Let t be u(-1). Is -3/2 < t?
False
Let g(c) = -c**3 + 2*c**2 + 2*c - 2. Let q be g(2). Suppose 0 = -o - t + 6, 10 - 1 = -2*o + 5*t. Let x = q - o. Is -1 < x?
False
Suppose -4 = 4*k - 0. Let y = 11038 - 44393/4. Let r = -60 - y. Which is bigger: k or r?
r
Let y be 4/6 + 24/(-9). Let u = -0.32 + 0.12. Is y != u?
True
Let y(t) = -t**2 - 8*t - 4. Let a be y(-7). Let n be (-1)/a - 14/(-24). Let x = 0 - 1. Is x > n?
False
Let m = -79 + 709/9. Suppose 0 = -2*w + 3*b + 15, -5*b = 3*w - w + 25. Which is smaller: w or m?
m
Let s be 4/1 - 1 - 157. Which is greater: s or -153?
-153
Let t(i) = -i**3 + 5*i**2 + 3*i - 7. Let q be t(5). Let x = 11 - q. Is 3 not equal to x?
False
Suppose -h + 2*i = 5*i + 1, -7 = -h + 5*i. Let k(m) = 4*m**3 + 5*m - 4 + 2*m**2 - 5*m**3 - 7*m**2. Let p be k(-6). Is p greater than or equal to h?
True
Let p be 19/5*15/6. Let u = -61/6 + p. Which is greater: u or -7?
u
Suppose 5*w - 5*l = 8 + 7, 0 = 4*w - 5*l - 17. Let b be (0/(w/2))/3. Are b and 1 unequal?
True
Let t be -1*(-4)/3*(-4)/(-24). Is t at most 12/5?
True
Let y(u) be the first derivative of -u**2 - 4. Let w be y(-2). Let k(p) = p**2 + p + 2. Let q be k(-2). Is w less than or equal to q?
True
Let s(o) = -o + 6. Let h be s(5). Let d = h - 2. Which is greater: d or -1/3?
-1/3
Let c be ((-8)/10)/((-2)/(-5)). Let b = 36 - 215/6. Is c at most as big as b?
True
Let s = 0.73 - 0.75. Let j = -1080/7 + 154. Which is greater: s or j?
s
Let n(t) = -21*t**2 - 6*t + 0*t + 20*t**2 - 1 - 3. Let l be n(-3). Suppose -l*h - v = -9, -4*h + v - 4*v + 16 = 0. Which is smaller: h or -1/3?
-1/3
Let l = -9 + 5. Let q = l - -4.1. Is 0 at least q?
False
Let w = 15 - 10. Let r = w + -5.3. Is -2 at least as big as r?
False
Suppose 1 - 3 = -2*n. Let v = 2 + -2. Is v smaller than n?
True
Let v be (-44124)/18186 + 1/2. Let y = v + -1/433. Let k = y - -24/7. Which is greater: 3 or k?
3
Let n = -0.7 + 0.86. Let p = n - 7.16. Let q = p + 6.8. Which is smaller: 0 or q?
q
Suppose -2*q - 2 + 0 = c, 3*q + 3 = 0. Are c and 10/11 non-equal?
True
Let r = -2.36 - -3. Let m = -0.14 + r. Which is greater: m or 0.2?
m
Let w(c) = c**3 - 8*c**2 + 5*c - 12. Let g be w(8). Suppose -4*l + 2*l + g = 0. Let y = l + -27/2. Do y and 2 have different values?
True
Let o = -297/7 - -42. Suppose -3*k = 3 + 3. Let y = k + 2. Is y at least as big as o?
True
Let q(d) = 3*d + 1. Let p be q(-1). Let f = 9.78 - 0.58. Let b = f - 9. Do p and b have the same value?
False
Suppose -2*w + 24 = 4*u, 4*w + 4 = 5*u - 0. Suppose -u*o - 20 = o, -r + 3*o + 15 = 0. Let c be -2*r/(-12)*0. Is -1/12 at least c?
False
Let p be 1 + -5 + (-1 - -3). Let g(h) = -h + 3. Let w be g(0). Suppose o - 6*o = w*z + 17, 3*o - 3*z - 9 = 0. Are p and o equal?
False
Let q = 0.1 + -0.1. Let f = -0.1 - q. Do f and -2 have the same value?
False
Let c be 64530/1736 + 1/(-4). Let u = 258/7 - c. Which is smaller: 0 or u?
u
Let o(d) = -d + 1. Let c = 1 + 0. Let p be o(c). Suppose -2*v + 3 = v. Are p and v equal?
False
Let k be -4 - (-1)/((-116)/(-462)). Is 1 < k?
False
Suppose -4*i - 17 = r, 3*r = -0*r + 5*i - 17. Is r smaller than -9?
False
Let y(u) = u + 2. Let v = 9 + -11. Let o be y(v). Which is smaller: 4/11 or o?
o
Let v = -3 - -3. Let s be (-2)/(-4) + (-565)/3850. Let r = 6/35 - s. Which is greater: v or r?
v
Let p = 8.09 - 0.09. Let w = -10 + p. Let k = 0.7 - -0.3. Is k greater than or equal to w?
True
Let a be (-20)/12*(-2)/2. Suppose o = 3*o - 2. Which is smaller: a or o?
o
Suppose -4*q - 15 = -7*q. Let x be 0 + 3 - (8 - q). Let p = 92/9 + -994/99. Which is bigger: x or p?
p
Suppose -k - 8 = 3*k. Let h = k + 1. Do -6 and h have different values?
True
Suppose 0 = 2*q - 5*u + 17, 5*q - 3*u + 34 = -37. Let n be 18/63 + q/7. Let c