eater: 6 or w?
6
Suppose 5*d - 81 = -26. Suppose 1 + d = 2*s. Suppose b + s = h, 5*b - 3*b = 5*h - 27. Is -1 > b?
False
Let b = -2 - -2. Suppose -2*x + h - 7 + b = 0, 2*x + 4 = -2*h. Let g be x*((-24)/9)/(-4). Which is smaller: g or 1?
g
Suppose -11*j + 4*j - 70 = 0. Which is smaller: j or -11?
-11
Suppose 5*q = 5*i - 18 - 7, 0 = -i - 3*q - 3. Suppose -g = -i*g. Is g < -1/11?
False
Let x(i) = i + 2. Let v be x(-6). Let l = -0.4 - -0.4. Is v at most l?
True
Let s(z) = -15*z**2. Let j be s(-1). Which is greater: j or -13?
-13
Let q = 19 + -13. Suppose -20 = -5*w - 5. Which is smaller: w or q?
w
Let j be (5/3)/(16/12). Which is smaller: 0 or j?
0
Let s(d) = 3*d - 23. Let u be s(5). Which is bigger: u or -2?
-2
Suppose 2*p + 4*l = 0, 2*l = 2*p + l + 5. Let o be 1/2 - (-22)/(-28). Do p and o have different values?
True
Let r = -10456/37 - -3222927/11396. Let x = r + 3/44. Which is smaller: x or 0?
0
Let y(j) = j**2 - 4*j - 5. Let z be y(5). Let h be 2 - z - (-147)/(-1). Let l = h + 1301/9. Is -1 smaller than l?
True
Let z = 73/2 + -38. Let x = 77 + -75. Which is smaller: z or x?
z
Let i(c) = 3*c + 2. Let k be i(-4). Let m(n) = n**3 + 10*n**2 + 1. Let l be m(k). Suppose 2 = 3*a - 2*a. Is l > a?
False
Let h(w) = 2 - 2*w**2 + 3*w**2 + 2 - w**3. Let j be h(0). Suppose -5*u = -15, 6 = -l + j*l + 5*u. Do l and -1 have different values?
True
Let x = 20 + -3. Let t = 16.8 - x. Which is smaller: t or 3?
t
Let g = -22 - -22. Which is smaller: 1/4 or g?
g
Suppose -i - 5*x - 26 = 0, -2*i = -3*x - 0 - 13. Let n = -2 - i. Let h be (0 + n/2)*-2. Which is bigger: h or 2?
2
Suppose -5*d + 0*d = 5. Let w = 4/5 + -7/15. Which is greater: d or w?
w
Let m = 23 - 12. Is m < 11?
False
Suppose 5*l - 31 = 3*z + 24, 0 = -5*l + 4*z + 60. Let u be 3 + 4/l*2. Does u = 6?
False
Let q be 2 - (-3 + -1)/4. Let y be -2 - (1 + -3 + q). Let t = -1 - 2. Is t at least as big as y?
True
Let k = 0 - 3/4. Let j = 14 + -13.9. Are j and k nonequal?
True
Let z be (1 + 0)/(777/229). Let c = z - 1/111. Do c and 1 have different values?
True
Suppose 5*u - 4*u - 26 = y, y - 4*u = -32. Let o be (-18)/y*80/(-42). Which is smaller: o or 0?
o
Let n(x) = -x + 6. Let m be n(6). Let k = -0.3 + 2.3. Is m less than k?
True
Let r be 3/5*12/45. Let g = 212/75 - r. Which is smaller: 2 or g?
2
Let s = 1 - -2.2. Let v = s + -3. Let r = v + -0.1. Is r at most 0.1?
True
Let t = -2 - -1. Let w be 0*(0/1 - t). Let r be 2/(-9) + (-40)/225. Are r and w equal?
False
Suppose 0 = -2*c - 1 + 11, -3*d - 3*c = -15. Suppose -5*f = 5 - d. Which is greater: 1/7 or f?
1/7
Let b = -4 + 3. Let r = -1 - b. Which is bigger: r or -1?
r
Let r(n) = 3*n + 13 - 16 + 17 - n**2. Let a be r(6). Is -3 bigger than a?
True
Let k(x) = -x - 3. Let q(r) = -r**3 + r**2 - 2*r + 1. Let m be q(2). Let c be k(m). Suppose -4*n - 3 = -3*n - 2*s, -c*n + 9 = -s. Is n smaller than 4?
True
Let n = 1.6 + -0.6. Let r = -29.6 - -27. Let y = r + -0.4. Which is smaller: y or n?
y
Let y = 8 + -9. Let p be (y/(-4))/((-3)/6). Which is smaller: p or -1?
-1
Let z be (-51 - 3)/(-3) + -2. Is 14 less than or equal to z?
True
Let h = -11 + 11. Suppose 3*f + 2 = 4*u, 2*f = -5*u - 2*f + 18. Does u = h?
False
Let p = 74.4 + -68. Let d = -6 + p. Let c = 18 - 20. Which is bigger: d or c?
d
Let q be 1/(-2) - 30/(-4). Is q at most as big as 8?
True
Let t be 6*-1 - 10/(-5). Is -1/2 greater than t?
True
Let o = 58 + -37. Which is smaller: 22 or o?
o
Suppose -5*y = 10, 4*a - 16 = 5*y - 6. Let p be ((-3747)/15*-1)/2. Let r = -125 + p. Is a >= r?
True
Let w = 168 + -164. Is w at most as big as 18/5?
False
Let c be (8/1)/(2/(-4)). Suppose 64 + 146 = -3*h + a, h - a = -70. Let i be (-1)/(4/(c/h)). Which is bigger: 0 or i?
0
Let o be (-2 - 76/(-18)) + -2. Let x = 1 - 1. Is x equal to o?
False
Let s(p) = 0*p**2 - p**2 - 4*p**2 + 1 - 9*p + 4*p**2. Let t be s(-8). Which is smaller: 8 or t?
8
Suppose 0*p = -p. Let c = -286 - -3149/11. Are p and c non-equal?
True
Let n(k) = 4 - 10*k**2 + 0*k**3 + k**3 + 0*k + 12*k - 3*k. Let i be n(9). Is 5 at most i?
False
Let y = 0.6 + -0.5. Is y > 2/7?
False
Let r(w) = w**3 + 10*w**2. Let i be r(-10). Is i greater than 1/26?
False
Suppose -3*w - 5*z - 89 = -0*z, 2*z = 4*w + 84. Let n = -21 - w. Let j be (-3)/(-2)*8/3. Which is greater: n or j?
j
Suppose 0 = -202*z + 205*z + 120. Which is greater: -2 or z?
-2
Let i = -6 - -8. Let q be 1*i*(4 + -3). Let a be -1*2*q/14. Which is greater: a or -4?
a
Let v = -8 - -10. Suppose x = -v*x - 3. Is -7/4 > x?
False
Let g = 6 + -5. Let y = 627/35 - 91/5. Which is smaller: y or g?
y
Let f = -41.9 + 42. Are f and -7/6 nonequal?
True
Suppose 9 - 3 = -3*f. Is 3/7 equal to f?
False
Suppose n + 24 = -3*n. Is -10 > n?
False
Let i(p) = p**2 + 6*p + 7. Let t be i(-5). Suppose -3*u - t*u + 60 = 5*w, 2*u - 6 = 0. Let r be (-1 + -8)*(-3)/w. Is r greater than or equal to 2?
True
Let u(r) = 3*r - 16. Let b be u(5). Which is greater: b or -2?
b
Let k = 2 - -2. Suppose 64 = s + 3*i, -4*s - k*i = -29 - 243. Let c be 8/20 + (-8)/s. Which is smaller: 0 or c?
0
Suppose 4 = -w + 1, -2*w - 2 = 4*m. Which is bigger: -3/86 or m?
m
Suppose 15*c = 10*c. Suppose 2*s = 5*m + 2, -3*m - 5 = -5*s - c. Are -4 and m equal?
False
Let n(y) = 3*y**2 + 16*y - 35. Let h(u) = u**2 + 8*u - 17. Let k(t) = -5*h(t) + 2*n(t). Let x be k(8). Which is bigger: x or 14?
x
Let m = -31 - -22. Let v(d) = 5*d + 6*d + 10 + d**3 + 7*d - 8*d + 10*d**2. Let r be v(m). Is 1 <= r?
True
Let l(a) = -a - 2. Let r be l(-5). Suppose -13 = 4*n + r. Suppose g + 14 = -3*f, 5*f - 2*g + 3*g + 20 = 0. Which is smaller: n or f?
n
Suppose -q + 5*a = -20, 0 = q - 4*q + 4*a + 38. Suppose 2*w - 4 = 4*y - q, -w = 3*y + 3. Which is bigger: y or 8?
8
Let y = -21.15 - -21. Is y <= -0.2?
False
Let f = -0.11 + 0.21. Let d = 0.39 + -0.39. Which is bigger: f or d?
f
Let o(q) = q + 3. Let f be (-20)/(-5) + 1 + -1. Suppose -4 = 3*h - f*c, 3 = -2*h + 3*c - 0. Let n be o(h). Is n at least as big as 3?
True
Suppose -4*l + 6*l = -b - 2, -b = 4*l - 4. Let d = 26 - 32. Let a = d - b. Which is greater: 1 or a?
a
Let i = 11 + -12. Is -3/20 < i?
False
Let a = -5 + 7. Suppose 4*u + 20 = a*d + 60, 16 = 3*u + 2*d. Suppose -u*y = -4*y + 4. Which is smaller: y or 2/5?
y
Let a(k) = k**3 + 14*k**2 + 12*k - 12. Let f be a(-13). Let q be 4 - ((-2)/(-1) - 1). Which is smaller: f or q?
f
Let r = 0.34 - 0.23. Let y = r + -0.21. Which is smaller: y or 0?
y
Let q be (12/(-3) - -4) + (-7)/(-1). Which is smaller: -0.2 or q?
-0.2
Let w be 0/(-11)*(-2)/2. Is -6 at most as big as w?
True
Let q(a) = 14*a + 1. Suppose -k - 4 = 0, -3*j + 0*k - 4*k = 13. Let p be q(j). Let n be (-25)/p + 2/3. Are n and -2/19 unequal?
True
Let x = 23589 - 400889/17. Let i = 22/3 - x. Which is smaller: 1 or i?
i
Let t = 0.19 - -5.81. Which is greater: 0.1 or t?
t
Suppose 4*x + 27 = 4*w + x, 5*w + 5*x - 25 = 0. Suppose q + 5 = w. Let a(j) = j**2 - 3*j - 4. Let t be a(4). Which is smaller: q or t?
t
Suppose -z + 4*p + 5 = -0, 2*p = -4*z - 16. Is z >= -3?
True
Let d be 42/(-4) - 1/2. Let n be d/(-3) - (-2)/(-3). Let o = 2 - 1. Is n >= o?
True
Let d = -12 - 24. Let q = 35 - d. Let r = -357/5 + q. Which is smaller: 0.5 or r?
r
Let d(q) = 3*q**3 + 5*q**2 + 6*q + 4. Let x be d(-5). Let w be x/14 - 6/21. Let c be (-13)/w - 4/10. Do c and 1/4 have the same value?
True
Let c = -7 + 3. Let o(z) = -z**2 - 3*z + 5. Let t be o(c). Let y be ((-324)/(-195))/(-6) + 5/25. Which is smaller: y or t?
y
Let m be (0 + -2)*(-3)/(-2). Let j = 6 - m. Are 9 and j nonequal?
False
Suppose 0 = -9*o - 3*o - 12. Is -1 at least o?
True
Let o be (-2)/(-9) - ((-6620)/(-45))/(-4). Is o >= 37?
True
Let t be (3/(-2))/(1/(-2)). Let x be (-18)/t*4/(-6). Suppose -3*w + x*f - 3 = 0, w + w + 2 = 3*f. Is -2 <= w?
True
Let t be -3 + (1 - (0 + 0)). Let a(n) = n**2 - 10*n - 2. Let s be a(10). Is s bigger than t?
False
Let n = -6 - -7. Let f be n*-1 - (-2 - -2). Let c(l) = 2*l**2 + l + 1. Let i be c(f). Is i <= 2?
True
Let b be 25/15 + 60/(-9). Which is bigger: -9/2 or b?
-9/2
Let o be ((-18)/(-21) - (-2)/14) + -33. Which is bigger: -31 or o?
-31
Let p(n) = 6*n**2. Let q be p(1). Suppose 24 = 2*y - 4*j - 0*j, 5*j = 2*y - 27. Is y at most q?
True
Let v(z) = -z - 4. Let i be v(-9). Suppose 2 = i*h - 8. Let f be (3/h)/((-6)/(-2)). Which is bigger: f or -1/2?
f
Suppose 0 = -a + 3*a. Let k = 