ler: 0 or w?
w
Let y(d) be the first derivative of d**4/2 - d**3/3 + d**2/2 - d + 2. Suppose 5*b - x - 6 = 0, 3*x + x = -4. Let o be y(b). Are o and -1/5 nonequal?
True
Let o = -365731/483483 - -1/24794. Let s = -12/13 - o. Is 1 smaller than s?
False
Let w be ((-3)/(-9))/(4/(-36)). Do -3 and w have different values?
False
Suppose -4*q + 4*r - 18 = 2, -4*r + 4 = -2*q. Is -8 <= q?
True
Let o(z) = 2*z**2 - 5*z + 4. Let x be o(3). Suppose 16 = v + 5*r, -v + 2 - x = -2*r. Let t = -244/21 - -34/3. Which is smaller: t or v?
t
Suppose -b + 4*b - 42 = 0. Suppose 0 = 4*o - 9*o + m - b, 0 = 2*o - 5*m + 24. Are o and -3 equal?
False
Let c(g) = -3*g + 8. Let j be c(2). Suppose 0 = 4*u - 2*r - 8, -5*r - 3 = 7. Is j at most as big as u?
False
Let h = 4 - 7. Suppose 2*k + 4 - 2 = 0. Is k >= h?
True
Let o = -30 + 17. Which is smaller: -12 or o?
o
Let y = 2 + -3. Let w be 0*-1*(-2)/(-2). Suppose 0 = -w*p + 2*p. Are y and p nonequal?
True
Suppose -2*s = 3*s - 85. Let l = -18 + s. Which is smaller: -3 or l?
-3
Let w = -7 - -3. Let a = w - -1. Are -1 and a nonequal?
True
Let w(t) = t**2 + 10*t + 13. Let g be w(-9). Suppose 0 = 2*d - 2*s + 6, 3*d - g*s - 2 = -6. Let a be (-4)/d*(-1 + 1). Which is bigger: a or 1/2?
1/2
Let c(b) = -b. Let x be c(3). Let j be 6/9 - 21/9. Which is smaller: j or x?
x
Let l be (-3)/12 + 1/4. Suppose 2*v - 2 = 3*p + 11, -2*p = -v + 8. Suppose -i + 4*w = 8*w + 21, 0 = -v*i + 5*w + 23. Which is smaller: i or l?
i
Suppose -37 + 103 = -3*g. Let d = g + 112/5. Which is bigger: 0 or d?
d
Suppose 3 = 5*a + 8. Which is smaller: a or 1/54?
a
Let l(p) = -p**2 + 3*p. Let j be l(2). Let d be (-3)/(-5)*(3 - -2). Is d less than j?
False
Let b(m) = -m**3 + 2*m**2 + 2*m + 1. Let v be b(-2). Which is smaller: 12 or v?
12
Let l(x) be the third derivative of -x**4/24 - 4*x**3/3 + x**2. Let p be l(-7). Is -1 > p?
False
Suppose 0 = -0*i + 3*i - 18. Let l be (i/16)/((-6)/4). Suppose -5*q - 2*d + 2 = 0, -2*d = 3*q - 0*d + 2. Is l smaller than q?
True
Let k be (-6)/((-10)/2 - -3). Suppose -5*f + k*f = -20. Let n be (-21)/8 + (13 - f). Are 1 and n unequal?
True
Let g(c) = c + 17. Let k be g(-8). Let o = k - 15. Is -6 > o?
False
Suppose -2*w - 3*i = -8, -5*i + 0*i = -10. Let r = 14 - 8. Let q = 8 - r. Is q at most w?
False
Suppose -2*d + 3*d = -28. Is -57/2 > d?
False
Suppose -2*d + 6 = 0, -4*n + 2*n - d + 7 = 0. Let m be (-1 + 1)/n - 8. Let i be (-2)/m*(-8)/14. Which is smaller: 0 or i?
i
Let d(h) = h - 4. Let c be d(5). Which is greater: 10/7 or c?
10/7
Suppose 27*h = 29*h. Is 3/16 at least as big as h?
True
Suppose -3*l + 25 = 2*l. Let v(z) = z + 6 + 8 - l. Let o be v(-7). Which is smaller: 1/2 or o?
1/2
Let m = -4 - -4.6. Let u = -0.4 + m. Let y = -3 - -4. Which is bigger: u or y?
y
Let y be 1106/(-56) + 2/(-8). Let s be -5*(1 - (-36)/y). Which is smaller: 1/3 or s?
1/3
Suppose 1 + 1 = b. Let h = -16 - -22. Suppose -5*n + 3*v = -1, -h*n + v + 5 = -2*n. Is b > n?
False
Let q(u) = 10*u**2 + 3*u + 3. Suppose 0 = h - 3*h - 6. Let k be q(h). Let y = -171/2 + k. Is y <= -3?
False
Let h = -72 + 212/3. Is h greater than -1?
False
Let i = 1.6 - 1.1. Let o = 0.1 - i. Is 0.1 <= o?
False
Let b = -1 - 0. Are b and -2/81 non-equal?
True
Let x(a) = a**2 - 6*a - 3. Let s be x(5). Let g be ((-2)/10)/(s/(-20)). Let v = 5 - 5. Does v = g?
False
Let f = 0 + 0.1. Let u = -70 - -73. Is f at least u?
False
Let v be 6/15 - (-180)/(-475). Is v at least as big as 0.2?
False
Let g = -52 + 51. Which is smaller: 0 or g?
g
Let i(m) = -m**2 - 6*m + 6. Let d be i(-7). Let j = 3 + d. Suppose -3*v - 30 = -2*r, -5*v + j*r - 52 = -2*r. Are v and -8 non-equal?
False
Let t be 2 + (-1)/((-8)/(-15)). Let p = -11 + 15. Let a = 5 - p. Does a = t?
False
Let y(x) = -x**2 + x - 4. Suppose -2 - 4 = 5*d + 2*z, -4*d + 5*z + 15 = 0. Let l be y(d). Let g be (l/(-12))/((-1)/2). Is 0.1 at least g?
True
Let y = 21 + -20.6. Let k = -2.4 + y. Does k = 2/7?
False
Let l = -1.6 + -2.4. Is l less than 0.2?
True
Let i = -1 - -11. Suppose k = -k + i. Suppose 2*j + 0*g - 14 = -2*g, 4*j + 17 = k*g. Is j at least 0.1?
True
Let a(x) = x**3 - 7*x**2 + 5*x + 4. Let l be a(6). Is -0.01 greater than l?
True
Let i be ((-21)/35)/(4/10). Is i < 2?
True
Suppose -24 = l - 13. Which is greater: -16 or l?
l
Suppose 1 = -3*g + 4. Suppose z = 3*q + q, 4*q = 0. Is g >= z?
True
Let m = 0.8 - 1. Suppose 5*c - w - 17 = -0*c, 5*w + 22 = 4*c. Suppose c*d = d. Is m not equal to d?
True
Let w be ((-3)/(-2))/(2/4). Suppose 0 = -2*l - 2*z + 6, 4*l - 4*z = -5*z + 3. Let u(c) = c + 2. Let n be u(l). Is n at least as big as w?
False
Let x = 3 - 4. Which is smaller: x or -4/9?
x
Let a = -5/13 - 55/26. Which is smaller: a or -3?
-3
Let i = -66 + 70. Which is greater: i or 6?
6
Suppose -2*r + 4*a - 162 = 2*a, -r = 5*a + 99. Let b be (27/r)/(3/(-2)). Is 0 >= b?
False
Let s be -9 + 12 + (0 - 1). Let j(g) = -g**2 - 6*g - 3. Let b be j(-4). Suppose -3*u - s*u = -b. Which is bigger: 3/5 or u?
u
Let g = 20 - 20. Let s = 3 - 2. Which is smaller: g or s?
g
Suppose -h - h = 2880. Let q = h - -7239/5. Let z = q - 8. Is z less than 1?
True
Let n = -4.6 + 5. Let h = n - -2.6. Let y = h - 2.7. Is 0 > y?
False
Suppose -8 = -p - p. Suppose 3*n = p - 1. Let t be (-12)/(-4)*n/(-3). Which is smaller: 1 or t?
t
Let j be 2/(2 - (3 - 3)). Let k(a) = -3*a**2 - 1 + a + 0*a + 0*a**2. Let o be k(j). Which is smaller: o or -1?
o
Let q(f) = f**3 + 12*f**2 + 8*f - 7. Let o be q(-11). Let p be (-12)/(-16) - o/56. Suppose -5*c + s - 1 = -s, -6 = 4*c + s. Is c smaller than p?
True
Let p(s) = -6*s - 3. Let k = -2 - -5. Let l be p(k). Let y be 3/(-6) + l/(-6). Is y > 1?
True
Let q = -168/23 - -2777/207. Let r = -6 + q. Let p = -76 + 75. Which is smaller: r or p?
p
Suppose 0 = 2*h + 4 + 2. Let m be (2/h)/(2/6). Let u = -3 - m. Is -1/4 < u?
False
Let l = -4 - -9. Suppose n = -0*n - d - 1, -3*n = 4*d + 2. Let a be n/(-4)*10/l. Which is bigger: -1 or a?
a
Let c(j) = 9*j - 8. Let g be c(1). Do -3/44 and g have the same value?
False
Suppose 6*v = -3*v - 9. Is 2/117 less than v?
False
Let g = -10 + 11. Let x be 3*g - (2 + -1). Which is smaller: 1 or x?
1
Let s = -3 - -3.7. Let z = -0.1 - s. Let o = 0.9 + z. Are o and -3 nonequal?
True
Let x be (3*(-4)/8)/(1/2). Let c = -2 - 1. Is c bigger than x?
False
Let a = 1851/17 - 109. Which is smaller: a or 0?
a
Suppose -4 = -3*n - 34. Is -14 < n?
True
Let k = -0.12 + 0.08. Let u = k - -0.14. Which is smaller: 1 or u?
u
Let t = -0.016 - -0.116. Is t less than -9/8?
False
Let p = 327 - 6216/19. Are p and 0 unequal?
True
Let y = 0.11 + -0.01. Let x = y - 0.5. Do x and -2/5 have the same value?
True
Suppose 4*m + 12 = 7*z - 2*z, z - 6 = -m. Let i = 2 - m. Let v = -703/5 - -141. Which is smaller: i or v?
i
Let b(j) = -j**3 + 7*j**2 - 5*j + 2. Let h = 0 - -6. Let c be b(h). Suppose 0 = -2*s + 6*s - c. Which is smaller: 2/3 or s?
2/3
Suppose -f - w + 4 = 0, -3*w = 2*f + w - 10. Suppose 2*j - 13 = -2*v + 5, -4*v - 4 = -4*j. Suppose -6*n = -4*g - n - 2, -j*g - 3*n = -16. Is g greater than f?
False
Let b(z) = -z**3 + 11*z**2 - z + 6. Let r be b(11). Let n be -13 + 0 + r + 2. Which is smaller: -17 or n?
-17
Let d = -10 - -12. Let t be 0/(d - 2/2). Let h = -58/3 - -19. Which is smaller: t or h?
h
Let b = 6 + -3. Which is smaller: 2 or b?
2
Let n(c) = c**3 - 13*c**2 + 10*c - 8. Let i be n(12). Let u = 34 + i. Let h = 0.3 - 0.1. Which is greater: u or h?
u
Let f = 10.02 - 10. Is f < -0.1?
False
Suppose -4*j + 7 = -25. Suppose 7*t = 3*t - 5*v - 11, -5*t + v + j = 0. Is -1/15 at most t?
True
Let p(v) = -v + 6. Let g be p(6). Let c be (-2 + 2)/(2 - g). Is -4/7 at least as big as c?
False
Let p = 2 + -6. Let s be 4 + p + 6/75. Which is greater: s or 1?
1
Suppose 0*t + 6 = 2*t. Suppose 0 = t*d - 2 - 4. Suppose 0 = d*q - 0 + 4, 0 = 4*k + 2*q + 12. Which is greater: -1 or k?
-1
Let r = -5 + -30. Let g = -24 - r. Are g and 9 non-equal?
True
Suppose -18*s = -12*s + 36. Is s less than or equal to 2?
True
Let f = -0.2 + 2. Let p = f + -2. Let g = p + 0.2. Is g < -2?
False
Let u = -4/195 - 1922/1365. Which is smaller: 0 or u?
u
Suppose 2*r = -3*y - 6, 5*y = -0*y - 5*r - 10. Let l(c) = -c**3 + 6*c + 3. Let p be l(y). Is p > 0.1?
False
Let d be ((-8)/18)/((-10)/(-915)). Let q = 40 + d. Do -2 and q have different values?
True
Let h be (-2 - (-1 - 0))*-3. Suppose h*m - 3*f =