 greater: -1 or u?
u
Let b = -5980/11 - -544. Is -1 less than or equal to b?
True
Let h = -18 + 23. Which is bigger: h or 1?
h
Let k(l) = -l**2 + 7*l - 2. Let b be k(7). Let d be (-12)/(-1)*1/3. Suppose -d*n = 3*v - 0*n + 8, 0 = -2*v - 5*n - 3. Does b = v?
False
Let g(y) = -y - 1. Let i be g(-3). Suppose 4*n = i*n. Let s = -10 + 2. Is s >= n?
False
Suppose 12 + 38 = 5*h. Are 10 and h unequal?
False
Let p = 8 + -10. Let v be (p/(-4))/(3/(-36)). Which is greater: -5 or v?
-5
Let z = -6.42 - -0.42. Is -0.2 greater than or equal to z?
True
Suppose -9 - 7 = 4*d. Let g be (0/d)/((-2)/(-1)). Suppose -l = -g*l + 2. Which is smaller: l or -3?
-3
Let b = -6.2 + -5.9. Let q = -1.1 - b. Does q = -2?
False
Suppose -3*s = -2*i + 1, -5*s + 0 - 3 = -3*i. Let h(o) = o**3 + 2*o**2 - 4*o - 2. Let l be h(s). Let y = l - 3. Which is smaller: y or 0?
y
Suppose 0*h - 4*h = 0. Let n be (4 - 3) + (-8)/10. Which is smaller: h or n?
h
Let u = 10 - 9. Let r = -9 - -13. Let m = 6 - r. Is m <= u?
False
Suppose 16 = -9*j + 25. Suppose -2*f + f = 0. Suppose -2*a - 3*a - 10 = f. Is j smaller than a?
False
Let n be 6/(-15) + 48/20. Let z be 3/n - (-2)/(-4). Is z less than -1/8?
False
Let u be (1 - 2)*2/(-9). Let x = -3.4 + 17.4. Let g = x + -14. Which is smaller: g or u?
g
Let p(l) = l + 5. Let y be p(-4). Suppose y = -b - 2. Is -2 less than b?
False
Suppose -5*w - 4*g + g - 297 = 0, 5*w = -2*g - 293. Is w smaller than -56?
True
Let l = -0.05 - 0.05. Let c be (-10)/(-6)*(-2)/5. Is l bigger than c?
True
Let i be 1/6 + (-11)/(-6). Which is smaller: i or 15/8?
15/8
Let o(c) = -2*c**2 + 18*c - 9. Let k be o(7). Is -3 <= k?
True
Suppose -2*r - 24 = -6. Let z = -17 + 37. Let g = 20.1 - z. Is g less than r?
False
Let c be -2 - -5 - (0 + 1). Let g be 2*-3*(-1)/6. Let f be 3 - (-2 + c + g). Is -1 smaller than f?
True
Let y(i) be the first derivative of -i**3/3 - 7*i**2/2 + 7*i + 4. Let x be y(-8). Let t = -194 + 1356/7. Is t < x?
False
Let i(j) = -j**3 + 5*j**2 + j - 5. Let b be i(5). Suppose -5*m + 5*l - 25 = b, 0 = -m - 5*l - 0*l + 13. Is -2 smaller than m?
False
Let c be 206/3 - (-1)/2. Suppose 2*s = 5*q - 349, -82 = -2*q - 5*s + 46. Let k = c - q. Which is greater: -1 or k?
k
Let a = 9 - 6. Let w be (-10)/4*(-1 + a). Let m be (2/(-1))/((-10)/w). Is m >= 0?
False
Let t be (-1)/5*20/(-66). Does -0.1 = t?
False
Let m = 15.8 - 16. Let h = 1.98 - -0.02. Which is bigger: m or h?
h
Let o = 0.1 - 0. Let b = 1/8 + -5/8. Is b less than or equal to o?
True
Let z = -0.03 + 3.03. Let a = z + -4. Are 1/3 and a equal?
False
Suppose -2*s + 1 = -1. Which is bigger: s or -4?
s
Suppose 10*l - 11*l = 16. Which is smaller: l or -17?
-17
Let v = -2 + 6. Suppose -3*u - 7 = -22. Is v at least as big as u?
False
Let c be 62/(-28)*10/(-15). Let w = 8/7 - c. Does -1 = w?
False
Let o = 12 - 17. Let r = -11 - -9. Let f = o - r. Is -1 smaller than f?
False
Suppose -141 = 4*d - 21. Which is bigger: -29 or d?
-29
Let y(b) = -b**2 - 6*b - 5. Let v be y(-5). Let p be 2/5 + 6/(-15). Suppose 2*z - 7*z = p. Is v <= z?
True
Suppose 4 = 4*x - 0. Let i = 3 + x. Is 4 less than or equal to i?
True
Suppose 3*a - t - 16 = 0, 0*a + 3*a - 4*t = 28. Does 5 = a?
False
Let l = 5 + -10. Let v(p) = -p - 3. Let k be v(l). Which is greater: k or 4?
4
Let x(b) = -b**3 - 3*b**2 - 2*b - 1. Let l = -4 + 2. Let z be x(l). Let s(a) = -a - 11. Let g be s(-9). Which is smaller: z or g?
g
Let b = -0.34 + 0.21. Let f = b + 0.03. Which is bigger: f or -0.2?
f
Let v(k) = k**2 - 4*k. Let t be v(4). Is t >= -4/5?
True
Let i be -4 + 56/8 + (-1)/(-6). Which is smaller: 2 or i?
2
Let j = 206/3 + -68. Which is bigger: -1/12 or j?
j
Let r = 4.44 + -4. Is r at least as big as -0.1?
True
Let j be (1/(-2))/(2/(-12)). Suppose 14 = j*y - 2*q - 2*q, -3*q = 3*y + 21. Is -3/5 at most y?
False
Let d = 1 - -2. Suppose 0 = 2*k + 4*f - 4, -3*f + d = -5*k. Suppose 0 = -5*n + 2*n. Does k = n?
True
Let z = 28 - 30. Is -5 at least z?
False
Let l be ((-1)/(-5))/((-1 - -4)/3). Which is smaller: -14 or l?
-14
Let z be 368/(-60) + (-8)/(-60). Let h(t) = -t**2 - 8*t + 4. Let i(l) = -l - 1. Let q(p) = h(p) - 4*i(p). Let k be q(z). Do -5 and k have different values?
True
Let t = 15 + -38. Let r be 16/154*t/(-2). Let l = r + -10/11. Is l at most as big as -1?
False
Suppose -5*d + 2*d - 33 = 0. Let m be d/2 + (-12)/24. Which is smaller: m or -7?
-7
Suppose -i - 1 = -10. Let v be (-2)/i + (-84)/(-135). Suppose 0 = -2*g - 3*g + 5. Which is smaller: g or v?
v
Suppose -q = q. Let w be ((3 - 2)*q)/1. Is -1/11 at most as big as w?
True
Suppose -2 = -2*z, z + 4*z = -y. Let x be (-15)/10 - y/(-2). Let t = -9 + 6. Is x >= t?
False
Let o(l) = -l**3 - 9*l**2 + 3. Let v = 16 + -25. Let s be o(v). Is 2 < s?
True
Suppose 0 = -3*y + y. Suppose -v = -k, v + 0 - 2 = y. Suppose -2 = -0*i - i. Is k != i?
False
Suppose 0 = y - 13 + 1. Suppose 0 = -5*o + y - 2. Which is bigger: o or 4?
4
Let h = -0.3 - -1.3. Let q be (8/(-14))/(8/(-28)). Suppose f + d = 6*f - 12, -2*f + q*d = 0. Is h < f?
True
Suppose 2*b + 18 = -5*d, 3*b + 4*d = 7*b - 20. Do 1/12 and b have the same value?
False
Let q(r) = r**2 + 10*r + 3. Let i be q(-10). Suppose -i*p = -0 - 3. Which is bigger: 3/5 or p?
p
Suppose h + 38 = 2*b + 2*b, 2*b = 10. Let p = 30 + h. Suppose 3 = 3*m + p. Is m bigger than -4?
True
Let f be 0/((-4 - -3)*-2). Let w be (0 - 1)/(-3 - -2). Let l = w + f. Which is greater: 2 or l?
2
Suppose -2*i + 5 + 3 = 0. Let l be (-16)/33*(-3)/i. Which is greater: -1/4 or l?
l
Suppose 10*z = -z + 11. Is z > -1/167?
True
Let w = -5 + 4. Which is greater: w or -3/4?
-3/4
Let f = 45 + -45.1. Which is smaller: f or -3?
-3
Let p(l) = l**3 - 2*l**2 + l. Let c be p(1). Is c >= -3/23?
True
Let z = -1/3 - -2/3. Is -1 >= z?
False
Let u(p) = p + 10. Let z be 1*(0 + -1) - 9. Let w be u(z). Do 0 and w have the same value?
True
Let f = -2 - -1. Let h be (30/20)/((-354)/(-10)). Let x = h - -121/2714. Which is bigger: x or f?
x
Let y(a) = 6*a + 39. Let l be y(-10). Which is greater: -22 or l?
l
Let l = 263/9 + -29. Which is smaller: 0 or l?
0
Let n be -1 - -3 - 16/1. Is n greater than -15?
True
Let x be 125/(-170)*24/10. Let k = -244/119 - x. Which is smaller: k or 18?
k
Let f(p) = p**2 - 8*p + 5. Let k be f(7). Let v = 0 - k. Suppose 0 = z - 1, v*o + z + 11 = 5*o. Is 4 < o?
False
Suppose -5*o - 4 = -o - 2*z, o = 2*z - 4. Is o smaller than 2/7?
True
Let n = -1.1 + 0.1. Let r = 0.9 + n. Let d = r - 0. Is d greater than -2/3?
True
Let z be (-138)/33 - (-1 + (-6)/2). Which is smaller: z or -1?
-1
Suppose 4*n + 12 = n. Let j(w) = w**3 + 4*w**2 - 2*w - 6. Let r be j(n). Let u be (-2 - 1)*(r - 1). Does u = -2?
False
Let o be (-8)/6*(-12)/4. Let j(h) = -o*h - 4*h - 2*h**2 - 2 + 3*h**2. Let k be j(8). Is k equal to 0?
False
Let f(w) = w**2 + 5*w. Let q be f(-5). Let d = 7 - 6. Which is bigger: d or q?
d
Let s = -382/5 - -76. Let w = -38/145 - 4/29. Is w greater than s?
False
Let y = 0.75 - -0.25. Is y equal to 5?
False
Let u = 10 - 6. Suppose -12 = -z + y - 0, -z - 8 = u*y. Is -0.1 <= z?
True
Let y be (-4 - 3/(-3)) + 13. Let f = -7 + y. Let o = -1 + f. Are o and 2 equal?
True
Suppose 3*a = -2*a. Let j = 1 - a. Which is smaller: 0 or j?
0
Let o be 30/(-21) + 1 + 1. Suppose 25 = 5*l + 5*a, 0*a = 2*l - a - 4. Suppose -5*t + 3*t + l*h = 10, -t = 3*h - 13. Does t = o?
False
Suppose -1 = -2*f + 1. Let c(d) be the second derivative of -d**3/3 + 19*d**2/2 - 10*d. Let w be c(9). Is f greater than or equal to w?
True
Suppose 4*w - 2 - 14 = 0. Suppose 4*d - 2*k + 16 = d, -d + w = 4*k. Let a be (0/2)/((-4)/d). Is 0 at least a?
True
Suppose 0 = -h + 6*h - 20. Let v be (10/(-6))/(h/(-6)). Let g(x) = x + 1. Let c be g(1). Is v smaller than c?
False
Suppose 0 = 4*j - z - 4, 4*j + 11 = -3*z - 1. Suppose 0 = -l - 3*m + 17, -5*m = -j*l - l - 23. Suppose 2*c = l*w - 10, 3 - 12 = -3*w. Which is smaller: 0 or c?
c
Let v = 10 + -8. Which is smaller: v or 12?
v
Let a(b) = b**3 - 2*b**2 - 4*b + 3. Suppose -5*u + 6 = -3*u. Let z be a(u). Which is bigger: z or 4?
4
Let r be 25/11*((-8)/10 + 0). Is -2 equal to r?
False
Let t(i) = 8*i. Let f be t(4). Let q(y) = -y**2 + 11*y - 12. Let g be q(9). Let k be f/(-12)*g/(-20). Which is greater: 1 or k?
1
Suppose 4*r - i - 5 = 0, 3*r - 6*r + 2*i = 0. Suppose 0 + 2 = r*b. Is b bigger than 1?
False
Let a = 24 + -36. Let b be ((-3