- 10. Suppose 8 = 4*s + 2*n, -4 = 2*s - 0*s - 3*n. Suppose 9 - s = -4*f. Are l and f nonequal?
False
Let f = -5 - -7. Suppose -y = -f + 3. Is y > -1?
False
Let u = 4 - 5.8. Let x = 1.2 - u. Which is smaller: 1/5 or x?
1/5
Suppose 0 = 12*i - 839 + 71. Which is smaller: 63 or i?
63
Let g = 7 + -4. Let q be (-2)/3 - 1/g. Is q less than or equal to -1?
True
Let k = -104 - -103.97. Is k less than 0.8?
True
Let g = -33 - -34. Let z be (-2)/(-12)*(-2)/(-2). Which is bigger: g or z?
g
Let d = 0.76 - -0.24. Which is smaller: 0.1 or d?
0.1
Suppose 0*n + n = 2*l + 5, 0 = -n + 5. Let w = 4/31 - 206/155. Which is greater: w or l?
l
Suppose -2*l - 4*w + 36 = 0, 5*l - 5*w - 24 = 6. Let s be (-4 + l)*2/(-4). Is -3 <= s?
True
Let j(v) = v**3 + 6*v**2 + 4*v + 2. Let q be j(-5). Let a = 25 - q. Suppose 0 = -3*g + a. Which is greater: 7 or g?
7
Let r be ((-3)/(-3))/1*1. Is 2/71 not equal to r?
True
Suppose 0 = -5*y + 3*y + 2. Let f be 2/(-7) - (-12)/(-7). Let b be (-10)/8*f/15. Which is smaller: b or y?
b
Suppose -k + 2*w + 0 + 5 = 0, -5*k = 5*w + 20. Which is smaller: 2/43 or k?
k
Let t(z) = 3*z + 1. Let y be t(-1). Let k be ((-4)/(-10))/(y/10). Is k > -2?
False
Let i = 132 - 5414/41. Which is greater: i or 0?
0
Let n(i) be the first derivative of i**2/2 - 3. Let r be n(-7). Suppose -2*t + 10 = 26. Is r smaller than t?
False
Let i(d) = d**2 - 5*d - 2. Let c be i(6). Suppose 0*j = c*j - g + 5, 5*g + 15 = 0. Are j and -2 unequal?
False
Let f(i) = i**3 + 3*i**2 - 2*i - 3. Let h be f(-3). Let t = h - 11. Is t at most as big as -7?
True
Let y(a) = a**3 + 12*a**2 + 13*a + 10. Let c be y(-11). Let d = -9 - c. Is d <= 3?
True
Let h(b) = b - 3. Let g be h(6). Suppose -g*x + 0*x = 3. Which is smaller: x or -11/5?
-11/5
Suppose -2*q - 4 = -0. Are 0 and q equal?
False
Let o be ((-2)/12)/((-4)/(-45)). Let m = -17/8 - o. Is -3 != m?
True
Let m = -22 + 24. Is -6 greater than or equal to m?
False
Suppose -5*a = 4*l - 13, -a + 4*a + 1 = 2*l. Let z be l + ((-45)/4)/5. Let d be ((-2)/(-15))/((-1)/(-5)). Which is smaller: d or z?
z
Let k = 20 - 20.2. Is k at least -1?
True
Suppose 5*u + 3*g = 59, 2*g + 0*g = -2*u + 26. Suppose 5*q + 0*q + 2*b = -u, -q - 2 = b. Which is smaller: 0 or q?
q
Let h(b) = -b**2 + 12*b + 13. Let z be h(13). Is z != -1/3?
True
Let i(v) = -v**3 + 3*v**2 + 3*v + 3. Let d be i(3). Is d smaller than 12?
False
Let u = 7 - 25. Which is greater: u or -1/4?
-1/4
Let b(t) = -3*t + 9. Let m be b(6). Let j = -10 - m. Let g be -1 - 1 - (-46)/24. Is g at most as big as j?
False
Let p = -1 - 0. Let q be p/(9/(-3) - -4). Which is smaller: -2/7 or q?
q
Let c = -3 - -4. Let z = -32/5 + 6. Which is smaller: c or z?
z
Let k = 10 + 5. Suppose -4*j = -q + k, 4*j - q = -3*q - 18. Let h = -7 + 4. Which is greater: j or h?
h
Let i be (6/3)/(8/44). Suppose 8*n - 3*n + 50 = 0. Let v = n + i. Do -2/27 and v have the same value?
False
Let q = 5 - 3. Let v = q + -3. Which is smaller: 3 or v?
v
Let v = -34 + 5. Which is greater: -28 or v?
-28
Let m = -0.8 + 0.7. Let r = -0.03 - -0.12. Let v = r + 3.91. Are m and v equal?
False
Suppose -5*a + 10*a + 34 = 3*h, -18 = -2*h + a. Let g = h + -14. Which is greater: g or 0.1?
0.1
Let v(f) = f**3 - 3*f**2 - 5*f + 2. Let p be v(4). Let r(s) = -3*s + 35. Let g(c) = c - 12. Let z(o) = 17*g(o) + 6*r(o). Let i be z(8). Are p and i nonequal?
False
Suppose j + 2*g = 0, 0*g + 5 = -5*g. Is j less than or equal to 31?
True
Let p = -46/165 + -4/33. Let d = 9 - 5. Suppose 0 = -d*z + 3*z - 1. Is p bigger than z?
True
Let l be (-3 - -1)/(1 + -2). Suppose l*y - 4*k = -20, 5*y + 4*k - 1 - 5 = 0. Let d be y/7 + (-33)/(-42). Is d at most 1/2?
True
Let h = 64 + -64.2. Is 1 at least h?
True
Let q be (1 - 1)*(0 + 1). Suppose q = -n + 3*b + 12, -3*n - 1 = 5*b + 5. Is n bigger than 2?
True
Let t = 26 + -37. Let h = -9 - t. Let b = -1 - 1. Are b and h equal?
False
Let o be (-27 - (3 + -5))*1. Let q be 2/(-5) - 20/o. Let a = 0 - 0. Is q less than or equal to a?
False
Let p = 4.96 + -5. Let o = p - -0.04. Which is greater: o or -4?
o
Suppose -53 = -4*x + 7. Which is smaller: x or 14?
14
Let o(y) = -y**2 - 4*y - 2. Let n be o(-3). Let d(w) = 3 + w**3 - 4 - w + 0. Let m be d(0). Which is bigger: n or m?
n
Let k(c) = c**2 - 4*c + 1. Let d be (15/(-10))/((-2)/4). Let o be k(d). Let l(r) = -r**3 - r**2 - r - 4. Let q be l(0). Is o < q?
False
Let g = 64.22 - 1.22. Is 2/5 < g?
True
Let f(s) = 3*s**3 - s**2. Let u be f(1). Suppose -27 = -b - 4*v - 0*v, -u*b + 24 = -2*v. Let q be (10/b)/(2/(-6)). Is 0 greater than q?
True
Let m(j) = j**3 + 3*j**2 - 5*j. Let a be m(-4). Suppose -a*y + 4*g = -16, 0 = y - 2*g + 5*g + 12. Are 0 and y nonequal?
False
Let w = -0.6 - 1.4. Which is smaller: w or -4?
-4
Let n = 5.02 + -0.02. Which is smaller: n or -3?
-3
Let l be 3/((-30)/4 - 0). Let d = 0.02 - 0.02. Is d <= l?
False
Let g = 0.2 - 1.2. Let h = 16.3 - 16. Is h at least as big as g?
True
Suppose -2*r - 67 = 5*i, 0*r + 26 = -r - i. Let x be r/(-4) - (-2)/(-8). Let t be 2/12 - (-23)/6. Is t less than x?
True
Let o(l) = -2*l. Let m be o(2). Let z be (-4)/12 - (-46)/(-6). Let c be 4/(-10)*m/z. Which is greater: c or 1?
1
Let h be 60/84*(-4)/(-10). Which is greater: h or -7/4?
h
Suppose 0 = -h + 3*h - 90. Let w be 5/25 - (-11)/h. Is w < 0?
False
Let r(v) = v**2 + 2*v - 1. Let m be r(-3). Let y be 0 + m + (-8)/6. Which is greater: 0.4 or y?
y
Let x be (-1 - -2)*(45/(-9) + 6). Suppose 0 = 2*t - 0*t. Is t at least x?
False
Let v = 5 + 2. Which is greater: v or -1/2?
v
Let i(k) = k - 7. Let c be i(5). Let x be (-2)/5*c/(-2). Let u be 49/(-49)*1/1. Which is smaller: x or u?
u
Let p be (-14 + 2)/(-1*6/(-4)). Is 1 at least p?
True
Suppose 4*q - 9 = -3*r + q, -6 = 2*q. Let j(o) = o - 1. Let v be j(r). Is 5 less than v?
False
Let u = 9 + -12. Which is bigger: -0.4 or u?
-0.4
Suppose 3*w - 9 = -5*a, 7*w = 2*w - 10. Let r be 2/a - 3/(-9). Which is bigger: r or 0?
r
Suppose r = -0*r. Let g be ((-6)/46)/((-6)/4). Are r and g equal?
False
Let o = 12 - 21. Is -9 <= o?
True
Let g be 1*(3 + (-76)/20). Suppose 3*v = 1 - 4. Is v at least as big as g?
False
Let y = -5/31 - 11/124. Which is smaller: 0 or y?
y
Let i = 6028/15 + -402. Which is smaller: 0.2 or i?
i
Let c be (-4 + (-23)/(-5))*5. Suppose 0 = -0*y + y - 3. Is y <= c?
True
Let r(k) = k + 1. Let f be -3 - (3 + 0)/1. Let i be r(f). Let x = -15 - i. Which is smaller: -11 or x?
-11
Let m = 7 + -5. Suppose 2*k + m = -2*r, -4*r = -4*k + 3 - 7. Is -2/15 bigger than k?
True
Suppose 5*c - 3 = 3*n, 2*n - 5*c = -2*n - 4. Are n and -1/34 unequal?
True
Suppose 29 = 5*k + 279. Let i = 71 + k. Suppose 0 = 4*h + l - 2*l + i, -2*l = -5*h - 30. Which is greater: -2 or h?
-2
Let w be 1 + 1 - (-15)/(-7). Let s = -18.9 + 19. Are s and w unequal?
True
Let t = -1.57 + 27.57. Which is smaller: 0 or t?
0
Suppose 5*s - 5 - 5 = 0. Let j(z) = z**3 - z**2 + z. Let b be j(s). Let d(g) = -g + 4. Let l be d(b). Is -2/3 greater than l?
True
Let t(s) be the second derivative of -s**4/12 - 3*s**3/2 - 5*s**2 + s. Let c be t(-7). Suppose -5*q + 3*q - c = 0. Is -3 <= q?
True
Suppose -5 - 1 = 4*f + 3*s, -5*s = 2*f - 4. Are f and -3 equal?
True
Let v = -41 + 59. Let w = v - 17.6. Is -1/2 less than or equal to w?
True
Let v = -344 + 339.98. Let c = v - -0.02. Which is greater: c or 1?
1
Suppose 4*j - 36 = 5*i, 4*i - 5*j + 29 = -2*j. Suppose 5*c + 2*p = -55, 3*c + p - 2*p = -22. Is c greater than or equal to i?
False
Suppose 0*q = 3*q + 12. Let d be (-10)/q + 1/(-2). Is 2 at least as big as d?
True
Let w = 0.02 - 15.02. Is w less than or equal to 0?
True
Let i(z) = z - 6 + 0*z - 3*z. Let n be i(-4). Suppose 0 = -3*o - n*o - 5. Do o and -2 have the same value?
False
Let t = 2.29 - -0.61. Which is greater: t or 2?
t
Let o(n) be the second derivative of -2*n**2 - 1/12*n**4 + 0 - 7/6*n**3 + n. Let d be o(-6). Is d at least as big as 2?
True
Let f = 1985/7 + -284. Suppose 59 - 23 = 3*c. Let n be (-6)/8 - 3/c. Are n and f equal?
False
Let r(b) = b**3 - b**2 + 2. Let a be r(0). Suppose 0 = -5*l - 5*u + 18 + 12, -5*u = 2*l - 27. Which is bigger: l or a?
a
Suppose 5*i + 2*b = 316 + 285, 4*i - 488 = -4*b. Are i and 118 equal?
False
Let w(c) = 4*c - 7. Suppose 0 = -3*q + 6. Let h(u) = -u + 1. Let t(m) = q*w(m) + 6*h(m). Let p be t(6). Are p and 3 unequal?
True
Let t be 3/(-4)*2 + 2. Which is smaller: -2