*c. Let m(w) = 2*w + w - 3 - 6*w + w**2. Let p be m(3). Which is smaller: p or z?
z
Let p(b) = b**2 + b. Let o be p(-2). Let k = -3 - -7. Suppose 3*f + k*y - 10 = 0, 2*y = -4*f + f + 8. Is f smaller than o?
False
Let z = -512120/207 - -2474. Which is smaller: z or 1?
z
Let z = -24 + 17. Let i be (-3)/6 - z/(-2). Let p be 2/i*(-6)/9. Is 1/3 <= p?
True
Let d be ((-10)/(-2))/(0 + 1). Suppose 3*k + 8 = d*k. Suppose -9 = -3*t - 3*o, 0 = o - k*o + 9. Which is smaller: t or -1/4?
-1/4
Let b = -3 - -2. Let w be (15 - 18) + (28/6)/2. Is w greater than b?
True
Let f = -0.01 + -0.04. Let s = f + -0.05. Which is smaller: s or 2/7?
s
Suppose 224 = -4*c - 4*a, c + 2*c + 2*a + 172 = 0. Let j be (c/(-35))/((-1)/(-7)). Suppose -v = 2*v + j. Does -4 = v?
True
Let x(w) = -w**2 + 5*w + 2*w + 2*w**2 + 5. Let q be x(-7). Does q = 5?
True
Let a = 24.9 - 0.9. Let n = a + -25.6. Which is smaller: n or 0.1?
n
Let s(r) = -r**3 + 3*r**2 - 2*r. Let g be s(2). Let a = -1 - -3. Suppose -a*t - 2*c - 10 = 2*c, -t + 4*c = -13. Which is greater: g or t?
t
Let p = 284/14615 - -3/395. Let o = p - -35/74. Which is bigger: -1 or o?
o
Let j be (5 - 2979/597)*(1 - 0). Is 0 < j?
True
Let j = 7.17 + -0.17. Let a = j + -6.9. Are a and -2 unequal?
True
Suppose 0 = -2*i + 6 - 0. Do i and 4 have different values?
True
Let j = -49/416 + 286453/2080. Let v = 138 - j. Suppose -4*s + 2*l - 4 = -s, 3*l = s + 6. Which is greater: s or v?
v
Let c(k) = k**3 + 6*k**2 + 3*k - 10. Suppose -i - 10 = i. Let g be c(i). Is g <= 2?
True
Suppose -27 = 5*x + 23. Is x <= -10?
True
Suppose -211 = -14*g + 139. Which is greater: 2 or g?
g
Suppose -12 - 8 = -4*z. Let v(o) = -o - 1. Let d be v(z). Let g be -1 - (2 - (-5 + 0 - -1)). Which is smaller: d or g?
g
Let z(t) = -t - 2. Let d be z(-4). Let y be d - -1*10/(-2). Let m be (-2)/2*(-6 - -8). Which is bigger: y or m?
m
Suppose 2*r + 3*j + 5 = 0, -r + 2*j = -0*r + 6. Let f = 83 - 88. Is f bigger than r?
False
Let s be 3/(-7) + 60/140. Do -3/8 and s have different values?
True
Suppose 10 = -5*c - 0. Which is bigger: -4/3 or c?
-4/3
Let d = 0 - 0. Suppose d = -a - 0 + 1. Let m be 1*(-6)/(-9) - a. Which is smaller: m or -1?
-1
Let t = -5 - -4. Let d = 0.17 + -0.17. Is t at most d?
True
Let j be 6/(-8) - 21/(-28). Let l(k) = 3*k**2 - k + 3. Let t(h) = -h**2 - 1. Let z(b) = -l(b) - 2*t(b). Let s be z(1). Is s greater than or equal to j?
False
Let l = -1155 + 1692. Let t = -9126/17 + l. Which is smaller: t or 0?
0
Let h be 4/(-1 - -9)*2. Let p = -731/7777 + 8/77. Let y = p + -105/404. Is y greater than h?
False
Suppose 29 = -5*g + 2*i - 131, 5*i + 93 = -2*g. Let s = -114 - g. Let u be (-92)/s - 2/5. Is -0.1 bigger than u?
False
Let p be (1/4)/((-21)/1956). Let k = 23 + p. Which is greater: k or -1?
k
Suppose 0 = -6*i + 3*i - 3*o + 12, 2*i - 2*o = -4. Is i not equal to 4/31?
True
Suppose 4*f + 3*s = -35, 0*f - 5*f = -3*s + 37. Which is smaller: f or -64/7?
-64/7
Let l = -1.5 + 2.5. Is 16 < l?
False
Let d = -9 - 3. Is d at most as big as -13?
False
Let m = -5 - -5. Let p = m + 2. Suppose p = g + g. Is g greater than or equal to 1?
True
Let g be -2 + 8/3 - 2. Suppose 28 = 3*s + 4*d, 0 = s - 0*s + d - 11. Let p = 16 - s. Is p at most as big as g?
False
Suppose 4*i - 4*p = -20, -3*i + 4*p - 24 + 5 = 0. Let l(n) = -n + 1. Let g be l(i). Let x = 3.8 + 0.2. Which is smaller: g or x?
g
Let p be -2*(-2 + -1)/6. Is -3/8 <= p?
True
Let h(c) = -4*c + 7. Let b be h(-9). Are b and 43 nonequal?
False
Let r = -0.1 + -0.9. Let x = -418.93 - -419. Is r bigger than x?
False
Let v be 1 - (8 - (4 - 3)). Suppose -2*f = -3*f - 4. Which is smaller: v or f?
v
Suppose -10*l = -5*l - 5. Is -2/17 bigger than l?
False
Suppose -5 = -4*f + 3. Let l = f + -6. Which is bigger: l or -3?
-3
Let t = -15 + 12. Are 2/5 and t nonequal?
True
Let f = 40 - 42. Which is smaller: -1 or f?
f
Suppose -10 = 2*h - 3*h. Suppose 3*u = u - h. Is u greater than -6?
True
Suppose 5*y + 17 + 0 = 3*f, -5*y - 4*f = -11. Let m be (2 + 2/y)/2. Suppose 4*r = -5*s + 20, -s + m*s = -4. Which is bigger: 1 or r?
1
Suppose -8*m + 6 = -2*m. Do m and -2 have the same value?
False
Let u(i) = 5*i + 2. Let t be u(-1). Let l be 4/90*t*-3. Which is smaller: 0 or l?
0
Let x = 139.3 + -140. Which is greater: x or 0?
0
Let u(a) = 20*a - 1. Let y be u(-1). Is y at most -21?
True
Suppose -2*q + 11 + 9 = 0. Which is smaller: q or 11?
q
Let y be (2/4)/(8/(-64)). Let l be (-2)/y - 6/8. Let b be (4/(-2))/(-1 - 1). Is l equal to b?
False
Let g(b) = -2*b + 9. Let n be g(7). Let q(z) = -z**2 - 3*z + 22. Let k be q(-7). Which is smaller: n or k?
k
Suppose 7*p + 8 = 3*p. Let k be (2 + p + 1)*2. Suppose -4*u = k*n - 7 + 15, 0 = 3*n + 3*u + 9. Does n = -1?
False
Let x = 3 - -1. Suppose 4*s + 24 = 4*u - 4, x*s + 3*u + 7 = 0. Is -5 != s?
True
Suppose 8 = 4*o + x, 3*x - 14 = o - 3*o. Let b = o - -5. Is b smaller than 5?
False
Let d = -3/29 + 115/1392. Which is greater: d or 0?
0
Let n be 0/(-3 + (-1)/(-1)). Suppose 5*g - 26 = w, -g = -n*g - 5*w + 14. Is g > 5?
True
Let a = -1.8 + 1.8. Is a less than 2?
True
Let y be -2*((-2)/(-8))/(-1). Let f = -174 - -167.1. Let w = f - -7. Is y <= w?
False
Suppose 5*k + 10 = 0, 4*k + 6 + 10 = 2*s. Is s less than or equal to 4?
True
Suppose -6*z = -3*z + 78. Let g = -22 - z. Which is smaller: 2 or g?
2
Let v = 0.28 - -0.02. Let y = v + -0.3. Let s = -33 - -97/3. Which is greater: s or y?
y
Let n(y) = -y**3 - 4*y**2 - 3*y + 2. Let b be n(-3). Suppose -b*x + 6*x - 20 = 0. Suppose x*l + 5 = 0, 2 - 5 = -4*d + 3*l. Is -3/7 equal to d?
False
Let t(g) = 2*g - 2. Let m be t(-3). Which is smaller: -9 or m?
-9
Let n(q) = q**2 - q - 2. Let y be n(3). Let a be (10/6 - 2)*y. Are -2 and a unequal?
True
Let j = 5 - -1. Let u = -4 + j. Is 1 bigger than u?
False
Let w(c) = 25*c - 2. Let k be w(2). Let v be (1/(-3))/((-4)/k). Let y(m) = m**2 + 5*m - 3. Let t be y(-6). Which is smaller: t or v?
t
Let j be 0/(-7 + 2 - -4). Suppose -5*f - 14 = 61. Let z be (3/f)/((-4)/10). Is z less than or equal to j?
False
Let w = 3 - 1. Let i = w + -3. Let l = -21.9 - -22. Which is greater: l or i?
l
Let o(i) = -i + 11. Let f be o(24). Do -14 and f have different values?
True
Let i = 1 + -1. Let j be 1/(-21)*(2 + -3 + -5). Which is smaller: i or j?
i
Let s be (3 + 2)*(-2)/5. Suppose -4 + 2 = x. Let k be (-2 + 1)*x/(-4). Which is smaller: s or k?
s
Let l = -2 + 8. Let d(z) = -z**2 + 6*z. Let s be d(l). Let r = 0.1 - 0.1. Is s less than r?
False
Let d = 47/18 - 5/2. Let v(b) be the second derivative of b**5/20 - 2*b**4/3 - b**3/6 + 4*b**2 + 2*b. Let u be v(8). Is u not equal to d?
True
Let d(v) = -2*v - 10. Let s be d(-7). Let f = 3 - s. Is f != -1?
False
Suppose -5 = -5*h - 4*u - 0, 20 = -h - 5*u. Let q(x) = -x**3 + x**2 + 6. Let s be q(0). Which is smaller: h or s?
h
Suppose h = 5*h + 4. Which is smaller: h or -2/115?
h
Let r(f) = -6*f + 13. Let t(d) = 5*d - 12. Let p(z) = -6*r(z) - 7*t(z). Let g be p(-7). Which is greater: -3 or g?
g
Let y = -1 + 1.1. Let z be (2 - 0) + 52/(-28). Which is smaller: y or z?
y
Let x be 0/((0 - 0) + 1). Suppose -2*d = -4*d + 4. Let b = d - 1. Which is greater: b or x?
b
Let i = -35 - -35. Is i greater than 1.7?
False
Let i(v) = -6*v**2. Let f be i(-2). Which is greater: -27 or f?
f
Let s be 6/((-10)/(-4) + 2). Which is bigger: 1 or s?
s
Let p(u) = -2*u - 2. Let k be 3/12 - (-13)/(-4). Let b be p(k). Which is greater: 1 or b?
b
Let m = -0.3 + 3.3. Let p = -85 - -85. Which is smaller: m or p?
p
Let a be (2 - (-15)/(-6))*0. Suppose 16 = -4*x - 5*p, 5*p = -0*x + x + 4. Let u = 4 + x. Do a and u have the same value?
True
Let r(d) = -2*d + 32. Let z be r(16). Are -3 and z non-equal?
True
Let q be ((-11)/2 + 5)*-6. Which is smaller: q or 4?
q
Let h = -37 - -147/4. Suppose -q = -0*q - 1. Let b = 0 - q. Do h and b have the same value?
False
Let f be ((-4)/12 + (-1)/(-2))*-4. Which is smaller: 3/7 or f?
f
Let g be (-1838)/(-28) + 10/(-70). Let z = g - 63. Is 3 <= z?
False
Let i(d) = d**3 - 9*d**2 + 8*d + 2. Suppose z = 5 + 3. Let l be i(z). Let w be (0 - l) + (-16)/(-7). Is 1 bigger than w?
True
Suppose 6 = -3*s + 12. Let f be 1/2*(-4)/10. Which is bigger: f or s?
s
Suppose -4*x = -10 - 10. Which is greater: x or 4?
x
Let x = -4 - -9. Suppose -x*v + v = 0. Do v and -2/11 have different values?
True
Suppose -2*u - 3*u = 0. Suppose -4