3*c + c - 6. Let p be 20*1*(-1)/(-2). Suppose -2*b - p = 3*b. Which is smaller: b or j?
j
Let u(k) = -2*k**2 - k + 3. Let z = 4 + 2. Let m be u(z). Let p = 527/7 + m. Which is bigger: p or -1?
p
Let a(w) = -w**3 - 6*w**2 - w - 6. Let p be a(-6). Which is bigger: p or 3/8?
3/8
Let y be 2/(-6) - (-62614)/(-6). Let a be (-1)/(-5) + y/180. Let w = 58 + a. Which is bigger: -0.1 or w?
w
Suppose 1 = 2*x - 7. Let j = x - 7. Which is smaller: -1 or j?
j
Let k = -1 + 1. Let l be -1 + 0 + 4 + -1. Suppose l*h = 3*h. Are h and k unequal?
False
Let t = 127.89 - 126. Let y = -0.11 - t. Is -1 < y?
False
Let v be (3 - 2)/(-1)*(-28)/(-4). Let s be 2/(-14)*(0 - 2). Is s > v?
True
Let c(n) = n**2 - 16*n - 11. Let o be c(15). Are o and 1 nonequal?
True
Suppose -h - 41 + 42 = 0. Which is bigger: h or 2/65?
h
Let i(n) = n - 2. Let k be i(5). Let r be 2/(-6) + 7/k. Let o be r/(-9) - (-38)/(-72). Is 0 at most o?
False
Let w(s) = s - 1. Let a be w(6). Suppose -2*t - n = 4, 3*t - 3*n = -a*n - 7. Which is smaller: t or 2/7?
t
Suppose 0*h + 3*h + 403 = 2*z, -4*h - 404 = -2*z. Let p = z - 1802/9. Is p at most 0.3?
True
Let h be (-8)/(-10)*30/4. Let k = -3 + h. Let n = 6 - k. Is 4 >= n?
True
Suppose -y = -0*y. Let t be (8 + 0)*(-5)/(-10). Suppose 2*i - 22 = -t*k, 5*i = 5*k + i + 5. Which is smaller: k or y?
y
Let a = 50 + -71. Let h = 13 + a. Let d be h/(-5) - (-6)/15. Do d and 3 have the same value?
False
Let w = 5.3 - 0.3. Let h = w - 4. Suppose 5 = 4*n - 3. Which is smaller: h or n?
h
Let p = 3 + 1. Let t = p + -5. Is t <= -6/11?
True
Let k(o) = -7*o - 1. Let g be k(-1). Suppose -5*v = -4 - g. Is v smaller than 3?
True
Suppose 2*k = -3*u + k, 5*u - 2*k = 11. Let q(r) = r**2 - 7*r + 6. Suppose -a - w + 5 = -1, 4*a + 2*w = 24. Let t be q(a). Which is smaller: t or u?
t
Let o = 126 - 113. Is o bigger than -4?
True
Let g = 258 + -7739/30. Let w be (7/1)/(12 - 2). Let t = w - g. Which is greater: 0 or t?
t
Let j = -29 - -15. Which is smaller: -15 or j?
-15
Suppose 0 = -2*t + v - 17, -4*t - 2*v - 2*v = 16. Suppose -5*y + 7 = -2*n - 13, 3*y = -2*n - 4. Let f = t - n. Is -1 greater than f?
True
Let j = 0.8 + -0.3. Let y = j + -0.4. Let c = y - -1.9. Is c > 3?
False
Let h = 4 - 6. Let z be 1916/3*5/(-60). Let m = 53 + z. Are h and m equal?
False
Let y = 52 + -53. Is 5/2 <= y?
False
Suppose 9 = -3*s, s - 3 - 2 = -2*o. Suppose -3*k = 2*h - o*k, -3*k + 4 = -2*h. Are -2/27 and h nonequal?
True
Suppose -2*h + 4*h - 12 = 0. Let k = 10 - h. Suppose 3*i = -2*i + 15. Is k equal to i?
False
Let r be (-12)/(-10) + 3 + -6. Which is smaller: -1 or r?
r
Let o(h) = h + 3. Let b be o(-4). Let j be (-24)/(-80)*4/3. Which is smaller: b or j?
b
Let a = 1/16 + 0. Which is smaller: 1 or a?
a
Let c(h) = -7*h + 3. Let y be c(4). Which is smaller: -26 or y?
-26
Suppose 5*h = 22 - 7. Are h and 6 non-equal?
True
Let s = 6/31 - 47/403. Let h = s - -10/39. Which is smaller: h or -0.2?
-0.2
Let j(p) = -3*p - 8. Let c be j(-6). Let q be 6/15*c/16. Is q less than or equal to 1/4?
True
Let k be 6/(-3)*2/(-4). Let y be (464/(-92))/(-4) - (-2)/(-2). Is y != k?
True
Let l(j) = 3*j - 1. Let r be l(1). Let h be ((-4)/(-7))/(10/35). Do h and r have the same value?
True
Let u = 1 - -3. Let h be 5/(-10) + (-2)/u. Let w be 4/(-14) - (-1 - h). Is w at least -1?
True
Let h = -7 + 10. Let n = 3 - 0. Suppose 4*l - 11 + n = 0. Which is bigger: h or l?
h
Suppose 6*t - 3*t + 6 = 0. Let b = t - -3. Suppose 0 = -7*z + 2*z. Is z smaller than b?
True
Let v = 13.7 + -14.7. Are 1/9 and v equal?
False
Let d = -5 - 2. Let l = 6.7 + d. Let g = l + 0.4. Which is greater: -1 or g?
g
Let j = 9.1 - 10. Let q = -12.1 + j. Which is bigger: -1 or q?
-1
Let g = 0.23 - 2.23. Let p = -1 + 0.9. Let c = 0 + p. Which is smaller: c or g?
g
Suppose 0 = 2*p - 6*p + 20. Suppose 4*w - 15 = 3*h, -p = 2*h - w - 0. Which is smaller: h or -1/14?
h
Let o = 71.8 + -74. Which is smaller: o or -1/4?
o
Suppose 6*g - 8*g = 2. Is -3/37 not equal to g?
True
Suppose 0 = k + 2*x + 2, -k - 4*x + 4 = 3*k. Are k and 19/6 equal?
False
Let c = -19 - -59/3. Which is smaller: c or -1/17?
-1/17
Let f = -14 + 14. Which is smaller: 9/7 or f?
f
Suppose 0 = -2*o - s - 5, -4*s - 12 = -4*o - 28. Suppose 0*x = -2*x - 8. Let h = o - x. Is 1/4 <= h?
True
Let p(x) be the third derivative of -x**6/120 + x**3/6 + 3*x**2. Let h be p(1). Let w be (-3 + h)/((-5)/10). Is 5 < w?
True
Let n be 0 + -1 + -1 + 6. Is 4 equal to n?
True
Let o = 1 + -3. Let z(r) = 2*r - 6. Let b be z(-6). Let n be o + 1 + b/(-21). Which is bigger: n or 1?
1
Let c = 13/6 - 539/246. Let n = c + -77/205. Which is smaller: 1/2 or n?
n
Let i be 90/(-168) + (-2)/(-7). Suppose 5*d = 13 + 2. Suppose 3*v - 16 = -2*m, -4*v - 7 = -d*m - 0*v. Which is bigger: i or m?
m
Suppose -1252 = h - 0*h. Let v = 3620/3 + h. Let o = v + 45. Which is greater: -0.4 or o?
o
Let q = 133/180 - 5/36. Suppose 2*j = 3*j. Does q = j?
False
Let j be (-2)/(-8) - 7/(-4). Let q = -6 + 9. Suppose 6 = -2*o + q*b - 0, b - j = 0. Is o <= 0?
True
Let l be 2/7 + 76/28. Suppose -4 = m, b + 1 = l*m - 3. Let k = 49/3 + b. Is k bigger than -1/3?
True
Suppose -18 = -2*p - 5*x - 3, 4*p + 6 = 2*x. Is -2/5 < p?
True
Let w = -10 - -14. Let c be (-1 - (-5)/10) + (-18)/(-4). Are w and c equal?
True
Let k(j) be the first derivative of j**4/4 + 4*j**3/3 + j**2 - j - 1. Let b be k(-2). Suppose 5*m - 4*v = -15, -b*m + 8*m - v = 0. Which is smaller: 1/4 or m?
1/4
Let g = 23950/62979 + 2/2999. Let w = g - 5/21. Which is greater: w or 2/7?
2/7
Let v(u) = u - 1. Let w = -5 - -6. Let i be v(w). Suppose x - 6*x - 30 = i. Which is smaller: x or -5?
x
Let l = 454 - 17251/38. Is 1 equal to l?
False
Suppose -8 + 5 = -3*z. Are 4 and z equal?
False
Let i be (-62)/(-136) + (-29)/58. Is i smaller than 1?
True
Let l = -6/7 - -5/7. Let j = 4 - 3. Which is greater: l or j?
j
Let h(a) = -4*a - 57. Let w be h(-14). Is -2/151 bigger than w?
True
Suppose 2*x + 3*x = 10. Suppose 6*r - x*r = 4. Let b = -4.1 - -4. Is b smaller than r?
True
Suppose y = -y + 6. Let v = -4 + y. Let f = -3/50 - 79/350. Is f < v?
False
Let i be 1/6*(-27)/2. Is -2 less than i?
False
Let g(j) = -2*j**2 + 3*j**2 - 3*j + 3 - j. Let k be g(3). Is 0 greater than k?
False
Let u(f) = -f**3 - 3*f**2 - 3*f - 1. Let y be u(-2). Let n = y + 6. Suppose 5*s + 3*p - 13 = 0, 0 = -7*s + 2*s + 3*p + n. Do s and 2 have different values?
False
Suppose -3*g + 0*w + 10 = -4*w, -4*g + 4 = -3*w. Let z = g + 2. Let v = 3 + -2.9. Which is greater: v or z?
v
Let f = 2 - 1. Let m = 3 - 3. Let w = f - m. Which is smaller: w or 0?
0
Let n(x) = x. Let t be n(-4). Let s be (t/20)/((-1)/(-2)). Is s smaller than 2/5?
True
Let u(c) = -2 - 2*c - 1 + c. Let f be -2 + 1 + -4 + 2. Let x be u(f). Which is greater: x or 2/5?
2/5
Suppose 26 = -6*v - 4. Suppose 5*t + 15 = 0, -4*o = -2*t + 6*t + 32. Is v greater than o?
False
Let u(p) = -p**2 - p - 1. Let h be u(-1). Let i be 2/h + (8 - 1). Suppose -i*o - 12 = -w - 2*w, o = 2*w - 1. Which is bigger: w or 2?
2
Suppose l = -2*l - 3. Suppose 3*n = -5*k + 27, -2*k - 3*k - 5 = -5*n. Let w be (3*-3)/k*l. Which is smaller: w or 2?
2
Let g = -1.2 + 1.1. Are 2/27 and g non-equal?
True
Let o be ((-2)/(-35))/((-1)/5). Let y = 35/2 - 179/10. Is y bigger than o?
False
Let u = -15 - -8. Let n(v) = -v**3 - 8*v**2 - 5*v + 7. Let i be n(u). Which is bigger: i or -8?
i
Let o(b) = -b**3 - 8*b**2 - b - 2. Let k be o(-8). Let r = 6 - k. Suppose -4*p + r*p = 0. Is p <= -1/6?
False
Suppose c - 4*c = -3. Which is greater: -2/23 or c?
c
Let z(c) = -6*c**2 + 22*c - 6. Let j be z(4). Are j and -9 equal?
False
Suppose o + 3*r = -0*o + 143, 12 = -3*r. Let i be 6/27 + o/(-252). Let x = -1/7 - i. Is 0.1 smaller than x?
True
Suppose -6*m + m + 5 = 0. Let o be 2*m - 0/(-2). Let a be (-3*4/(-6))/o. Are a and -1 non-equal?
True
Let q(a) = -a**3 - 4*a**2 - 4. Let z be q(-3). Which is smaller: -14 or z?
-14
Let u be 2/(-4)*0 + -2. Let l(z) = 6*z + 17. Let o(x) = 2*x + 6. Let k(j) = -6*l(j) + 17*o(j). Let d be k(u). Are d and 0.1 equal?
False
Suppose -24 + 9 = 5*k. Suppose 0*d = 3*a + 5*d + 27, -3*a - 6 = -2*d. Let f = k - a. Is f at least 0?
True
Suppose 0 = 5*d - 17 + 7. Let g(n) = -n**3 + 2*n**2 + 2*n - 3. Let j be g(d). Is 2/7 bigger than j?
False
Let y be 726/18 - 1/3. Let l = y - 161/4. Which is smaller: l or 1/18?
l
Let s = -3/62 - 41/