t z = b - -0.06. Which is smaller: t or z?
z
Let b(h) = h - 3. Let t be b(4). Let y be 6/t + -3 + 3. Let k(u) = u**2 - 5*u - 5. Let m be k(y). Is m not equal to 1?
False
Let n be -1 - -1*(3 + 4). Suppose 0*s - 31 = -5*a - s, -2*a + 2*s = -22. Let i = a - n. Which is smaller: -0.04 or i?
-0.04
Let n = -106 - -744/7. Let k = 17 + -24. Let p be 0 - 0 - (k + 8). Is p less than n?
True
Let v = -2/279 - 827/1395. Suppose 5*u = w + 75, -3*w + 0*w = 3*u - 45. Suppose -3*o + u = 3, -14 = 5*p - o. Is p < v?
True
Let t = 14 - 18. Which is smaller: -3 or t?
t
Let q = 0 - -8. Suppose -f - 2*f = -4*t - 1, -4*f = -2*t - q. Let v = -2 + t. Which is bigger: 1 or v?
1
Let g = 11 + -7. Suppose 2*h - 24 = -o + g*h, -3*o + 3*h = -63. Suppose -i + 4*k + k = -o, -3*k = 3*i. Does 4 = i?
False
Let p be -5*1/(10/(-4)). Let l = 2 - -1. Suppose 0 = d - 2*y - 1, -d + 8*y - l*y + 1 = 0. Which is bigger: d or p?
p
Let c be (-10)/(-55) + (-6)/33. Are 2/69 and c unequal?
True
Let h = 10 - 9.9. Let x = 8763/26 + -337. Let r = x - -11/52. Are h and r equal?
False
Suppose 2*a = -10*a - 420. Is -33 not equal to a?
True
Let t = 0.36 - 0.21. Let u = -1 - -0.95. Let h = u - t. Which is greater: 0.1 or h?
0.1
Suppose -2*g + 5*g = 3, 4*g = 2*i + 4. Let o(q) = -q - 5 + 3 + 4. Let b be o(i). Is b at most as big as 2?
True
Let i = 1/105 - 31/105. Suppose 3*p - 5*p - 2 = -x, 4*p - x + 2 = 0. Is i smaller than p?
True
Suppose 2 = 4*h - 3*h. Suppose 8*b - h*b = 0. Is b greater than or equal to -4/3?
True
Suppose 3*w - p + 3 = w, 5*w + 13 = -3*p. Is -5/6 bigger than w?
True
Let c be 1334/(-266) - (-12 - -7). Is c equal to -1?
False
Let u = 37 - 36. Which is bigger: u or 1/92?
u
Let n be (8/20)/((-1)/1). Let g = 19/10 + n. Is 1 at most as big as g?
True
Let b be (0 - 2) + (-2 - -1). Suppose 5*x = -5*m + 3*x + 131, -3*m = -x - 83. Let a be b/(-1)*(-2)/m. Is 0 at least as big as a?
True
Let y(d) = d**3 - 6*d**2 - d + 6. Suppose 4*a = -a + 70. Let h = a - 8. Let r be y(h). Is -1 != r?
True
Let b = 263 - 3417/13. Is 0 at most b?
True
Suppose 2*c = 2*m, 2*c - 35 = -4*m - c. Is 4 at least as big as m?
False
Let b = 1 - 1. Let y = 3 - b. Suppose -2*d + 10 = 3*d. Which is smaller: d or y?
d
Let f be 90/(-27)*(-12)/5. Let h be (2 - 4)/(f/(-3)). Is 2/5 less than h?
True
Suppose p + 4*w = 1 - 7, -3*p - 2*w = 48. Let s = p + 14. Which is bigger: s or -3?
-3
Suppose -4 = 3*r - 1. Let t be ((-6)/4)/((-1)/2). Suppose f - t*f = 6. Which is smaller: r or f?
f
Let o = 2.1 - -0.3. Let p = -2 + o. Which is bigger: -1 or p?
p
Let s be 0 - (-1 - 0)*2. Let b = s + 1. Let n be 18/(-8) - b/(-12). Which is bigger: -2/3 or n?
-2/3
Let s = -344923/14 - -24653. Let y = 85/7 - s. Which is greater: -4 or y?
y
Let z(d) = -d**3 + 4*d**2 + 7*d + 6. Let r be z(6). Let n = 7 + -15. Let x be ((-1)/(-3))/(n/r). Which is smaller: x or -1/3?
-1/3
Let w be (-4)/6 + (-14)/6. Let h be w/(18/15) + 2. Which is smaller: 1 or h?
h
Suppose -2*j + 0*j = -2. Let k be (-2)/8 + (-84)/(-16). Let h = 7 - k. Which is smaller: h or j?
j
Let i(g) be the first derivative of g**3/6 + g**2/2 + 2*g - 4. Let x(y) be the first derivative of i(y). Let u be x(0). Is u at least as big as -1/3?
True
Let c = 5 + -3. Suppose 0 = -r - c - 1. Which is smaller: -2 or r?
r
Let d = 11 - 18. Let r = d - 1. Let i = r - -10. Which is smaller: i or -0.2?
-0.2
Let l be (-8)/56 + (-4)/(-126). Which is greater: 1 or l?
1
Let m = -0.4 + 1.4. Let v = -3 - m. Let z = -6 - v. Is 2 > z?
True
Let g be 15842/(-84) - (-1)/(-3). Let b = g - -189. Is -1 at least as big as b?
False
Suppose 4*i - 7 = r, 5*r - 13 = -4*i - 0*r. Is i smaller than -40?
False
Suppose 3*t = -6, -5*t - 14 = 4*c + 44. Let k be 26/(-8) + (-3)/c. Is k != -3?
False
Let c be (-4)/10 + 157/5. Suppose -14 = -5*v + c. Is v not equal to 9?
False
Let h(z) = z**2 + 1. Let r be h(-1). Let a be (-50)/(-228) - 1/r. Let u = 1/19 - a. Which is smaller: u or 1/5?
1/5
Let r = 0.05 - 9.05. Which is bigger: r or 0.2?
0.2
Let y be 20/(-42)*3/(-2). Suppose -n - 4 = -6. Suppose -n*f + 6 + 6 = g, -5*g = -4*f + 10. Which is greater: y or g?
g
Suppose 3*c + 9 = 3*p, 5*p = -5*c - 14 - 1. Let t be 5 - 9/((-9)/(-4)). Which is smaller: p or t?
p
Suppose -13 - 11 = -4*z. Suppose -3*b + 9 = -z*b. Is -3 > b?
False
Let w = -1 + 7. Let f = 4 - w. Let h = -0.3 + 0.3. Which is smaller: h or f?
f
Let w = -2.9 - 0.9. Let t = 0.2 - w. Is -0.1 smaller than t?
True
Let k = 18 + -8. Let v = k + -9. Is v less than 1/5?
False
Let f = 0.42 + 1.58. Which is greater: -11 or f?
f
Suppose 5*g - 18 = -y + 7, 2*y = 4*g - 20. Suppose -d - 3*q - 4 + 3 = y, -3*q = -3*d - 3. Is -2/9 at least as big as d?
True
Suppose -2*n + 7*n = -275. Let a be 33/n*1/12. Let i be ((-1)/(-1))/(0 + 1). Which is bigger: i or a?
i
Suppose -4*w = -6*w + 4. Suppose 0 = -5*b + 4*k + 11, -5*b + 0*k - w*k = -17. Are 3 and b non-equal?
False
Let z(x) = 9*x + 4 - 11*x + 2. Let s be z(5). Let p be s/20 + 3/5. Is p greater than 0?
True
Let b = -42 + 21. Let q be 3 + 0 + b/3. Which is smaller: 1 or q?
q
Suppose 2*c + 33 = -0*c + 3*x, c + 3*x + 3 = 0. Let p be (-10)/c*5/(-25). Which is greater: p or 0?
0
Let f(u) = u + 1. Let c(q) = 5*q + 4. Let p(a) = c(a) - 4*f(a). Let x be p(6). Let n be (-21)/(-12) - x/4. Which is smaller: 1 or n?
n
Let h be ((-3)/(-6))/((-9)/(-24)). Is -0.3 at most as big as h?
True
Let c = 7 - 10. Let q = c - 0. Let m = q - -2. Do 0.1 and m have different values?
True
Let p = 24 + -19. Let j = p + -5. Is -2/51 less than or equal to j?
True
Let m = 0.18 + 0.12. Which is smaller: m or -2/17?
-2/17
Suppose -4*r - 3*v - 21 = 0, 3*v = 3*r + 8*v + 24. Let h(q) = -q**3 + 5*q**2 + 2*q - 5. Let o be h(5). Suppose o - 20 = 3*x. Is x at most r?
True
Let m(l) be the third derivative of 0 - 3*l**2 - 1/6*l**3 + 1/6*l**4 + 1/60*l**5 + 0*l. Let q be m(-4). Which is smaller: 0 or q?
q
Let p be ((-68)/76 - -1)*1. Is -1 equal to p?
False
Suppose 0 = -3*k + 8*k - 30. Suppose v - k*v + 3*x + 11 = 0, -4*v + 2*x = -10. Let r be (v - 3)/((-2)/18). Do r and -9 have different values?
False
Let a(s) = -5*s - 9. Let b be a(-5). Let l = 12 - b. Let f be (-22)/6 - 1/3. Is f at most l?
True
Let n(u) = -9*u**2 - 3*u + 1. Let y be n(2). Let p = -25 - y. Let b be ((-4)/(-10))/(p/20). Is 1 > b?
True
Let z = 67 + -403/6. Is 0 at most z?
False
Let x = 2 - -1. Let t = 11 + -22. Let b(k) = -k - 9. Let y be b(t). Which is smaller: x or y?
y
Suppose -2*s = -4*s - l + 2, 4*s = 5*l + 18. Let o be ((-9)/6)/((-1)/s). Let q = -0.2 - -1.2. Which is greater: q or o?
o
Suppose 5*z = h + 9*z + 22, z = -5. Which is smaller: -34/11 or h?
-34/11
Let b = -19.93 + 18. Let q = -0.07 + b. Is -2 equal to q?
True
Suppose 3*y = y + 3*s, 2*s = 3*y + 10. Let d be (-1)/y - (-85)/30. Suppose 5 = -5*f - 5*q, 4*f + 5*q + d = -0*f. Does -2 = f?
True
Let b = -2.9 - -3. Let a = 9.6 + -9. Let w = a + -0.9. Is b > w?
True
Let j be (2/(-12))/(35/45). Let y = j + 37/42. Which is greater: y or 1?
1
Let q be -1*(-2)/(-4)*2. Let t(l) = -6*l**2 - 1. Let n be t(q). Suppose s - m + 3*m = 0, -4*s - 3*m - 20 = 0. Which is greater: s or n?
n
Let u be (-86)/(-11) - (-6)/33. Let d be ((-2)/(-20))/((-6)/u). Let f = d + 44/105. Which is smaller: f or 0?
0
Suppose -4*h - 2*m + 5*m + 11 = 0, -m = -h + 3. Let x be (-3 - -7)*7/(-4). Let r(f) = f**3 + 7*f**2 - f - 4. Let i be r(x). Is i > h?
True
Let c be (-2 - -2)*(-2)/4. Suppose 5*i = q, 3*i = -c*q - 4*q. Let d be 1*2*(-3)/(-6). Which is greater: q or d?
d
Suppose 0 = -u + 4*n + 63, 80 = 2*u - 2*n - 34. Which is smaller: 56 or u?
u
Let g be 86/6 - (-12)/18. Let i = -17 + g. Is -16/5 > i?
False
Let u = -5 - -9. Suppose w = 5*y - 0*w - 4, 4*y = -3*w + 7. Is u > y?
True
Let j = -6 - -6. Are j and -1/7 unequal?
True
Let l(f) = f**2 - 10*f + 17. Let s be l(8). Let h be (8/10)/(2 - 0). Are h and s unequal?
True
Let q = 34 + 7. Let c = q - 38.9. Let b = 2 - c. Is b less than -2/3?
False
Suppose 6*y - 4*y - n = -57, 5 = -5*n. Which is greater: y or 1?
1
Suppose 10 = -8*q + 3*q. Let z(c) = c + 2. Let i be z(-2). Let x = i + -3. Which is bigger: x or q?
q
Let q = 0.048 + -0.448. Which is bigger: q or -0.2?
-0.2
Let a = 0.01 - -0.09. Let h = a + -0.3. Let t = 11/2 - 5. Which is bigger: h or t?
t
Let z = 18 - 11. Is 8 < z?
False
Suppose -j - 2 = -6*j - 3*g, -5*g = 2*j + 3. Let z be (-4)/(-6)*114/(-8). Let s = 221/