 b. Is 2 > f?
False
Let j be 2/(-3) - 76/(-6). Let y be (4/(-12))/((-22)/j). Is y less than -1?
False
Let d(w) = -w**2 + 1. Let j be d(1). Suppose -3*s + 0 - 3 = j. Let h be s/(-2) + 20/(-8). Is -1 equal to h?
False
Let v = -1 + 1.2. Let s = -0.2 + v. Let o = 12 + -9. Which is smaller: s or o?
s
Let n be (-1 + 0)*(-8)/4. Let y be (2/3)/(8/60). Suppose 5*f + y = 0, 3*f + 3 - 8 = -4*c. Do c and n have the same value?
True
Let a(j) = 2*j - 2. Let h be a(2). Is 1 < h?
True
Suppose -7 = 5*b + 28. Is b smaller than -3?
True
Let j = -852 - -75822/89. Let s = j - -56/3471. Which is smaller: -1 or s?
-1
Let g be -2*(1 + -2 - 0). Let r = g + -2. Are r and 1/6 nonequal?
True
Let w be 60/(-18)*(-18)/10. Let v(j) = 2*j - 4. Let t be v(w). Let p be t + -5 - (-26)/(-10). Do -4 and p have the same value?
False
Let x = -37 - -36.9. Suppose 4*b = m - 18, -5*m = 3*b + 2*b + 10. Suppose j + 2 = m*a, -a + j - 3 + 2 = 0. Is a < x?
False
Let g(w) = -w - 4. Let o be g(-6). Let c be o/(3/3 + 1). Are -1 and c nonequal?
True
Let v be (-3)/((-9)/(-6)) - 4. Let g = v - -9. Let o = 4 - g. Which is smaller: o or -3/7?
-3/7
Suppose -9*m + 1 = -10*m. Are -2/237 and m nonequal?
True
Suppose 0 = -5*k + 3*y + 15, -y + 17 = 2*k - 0*k. Suppose -q = -4*c + 2*c + k, 0 = -q. Which is greater: 2 or c?
c
Let i be 1/2*18/(-387). Do i and 0 have different values?
True
Let h = -20 + 21. Is -2/59 at most h?
True
Let x = -5.13 - -0.13. Let o = x + 5.06. Is o > -0.1?
True
Let r = 9 + -7. Suppose -3*q + 5*w + 8 = 0, 5 = 3*q + r*w - 4*w. Let h = 9/7 - 52/35. Are q and h equal?
False
Suppose -3*o = 1 - 7. Suppose -z + o*k = -14, 24 = 3*z + k + 10. Is 5 at most as big as z?
True
Let a be (-19)/9 - (-26)/(-117). Which is greater: -3 or a?
a
Suppose -y + 5 = -0*h - 3*h, 5*y - 25 = 4*h. Let u = h - 1. Let t be (0/u)/(-3)*1. Which is bigger: -2/7 or t?
t
Suppose -4 = -m - 3*j - 1, 2 = m + 2*j. Which is smaller: 2/45 or m?
m
Let v = -22 - -32. Let f = v + -17. Let b be 2/(-3)*3/f. Is b < 1?
True
Let x(k) = k**2 + k - 13. Let d be x(-4). Suppose 4*l - n = 8*l + 4, 18 = -5*l + 2*n. Is l greater than or equal to d?
False
Let n = -4 + 18/5. Which is bigger: -2/13 or n?
-2/13
Let p = 1.3 + -0.3. Let t = -0.6 + 4.6. Let g = t + -7. Which is greater: p or g?
p
Let u be 1*5*5/(-5). Is u != 0.02?
True
Suppose q + 4 = 0, -4*a + a - 4*q = 10. Suppose -5*p + 4 = 14. Do p and a have the same value?
False
Let x(r) = r + 3. Let b be x(-2). Which is smaller: 2/13 or b?
2/13
Let j = 15 + -2. Let c = -12.9 + j. Which is smaller: c or 1/6?
c
Let q = 74 - 53. Is q < 21?
False
Let d = 48 + -6. Which is smaller: 41 or d?
41
Suppose 6*w - 9*w - 3 = 0. Which is smaller: 2/33 or w?
w
Suppose 3*i + i - 24 = 0. Let q be ((-8)/78)/(i/9). Is q < -1/2?
False
Let l = -16 + 15. Which is smaller: 18 or l?
l
Let q = -0.5 - -0.53. Let h = 141/4 + -35. Which is smaller: h or q?
q
Let z be (2 + 1)*2/(-9). Let b = -15 + 10. Let h = b - -5. Is z greater than or equal to h?
False
Let n be ((-2)/6)/1*0. Let d be 2/(-24)*8/3. Is d less than n?
True
Let z be -1*((2 - 9) + -1). Let w = 5 - z. Let v(j) = j - 2. Let p be v(0). Which is smaller: w or p?
w
Let k = -10 + -9. Let a = k - -19.06. Is 1/2 at most a?
False
Suppose 2*o + 1 = o. Let w be o/8*2/(-3). Is -1 at least w?
False
Let d = -0.11 + 5.11. Let m = d + -5.1. Let j = m - -2.1. Is -1 less than j?
True
Let c = 9 - 9.1. Let l = 0 - c. Which is greater: l or -2/5?
l
Let s be ((-4)/(-6))/((-164)/(-6)). Let g = 29580/23 - 20619537/16031. Let a = s + g. Is -1 less than a?
True
Let y be ((-1)/(-5))/((-3)/9). Let m(b) be the third derivative of -b**4/24 - 5*b**3/6 - 2*b**2. Let k be m(-3). Is k at least as big as y?
False
Let r = 8 + -4. Let z = r + -3. Let a be (1*-3)/(9/(-6)). Do a and z have different values?
True
Let u be (-24)/20*(-8)/6. Which is greater: u or 3?
3
Let y = 4 - -3. Let i be 15/(-21) + (-2)/y. Let b = 144/5 - 29. Which is smaller: i or b?
i
Let b = -45 - -37. Is b at most 1/5?
True
Suppose -4*o = 7 - 23. Suppose o = 4*g - 8. Let h = 18 + -16. Which is smaller: h or g?
h
Let r = -12 + 11.84. Let k = -3.16 - r. Is k greater than 3/2?
False
Let z = 1.087 - 0.087. Let h be 2*(-9)/6 + -1. Which is bigger: h or z?
z
Let w = 0.15 + 0.55. Let c = w - 0.6. Which is greater: c or 1?
1
Let l = 8.1 - 13.1. Which is bigger: -1.5 or l?
-1.5
Let o = -5 + 9. Let i = 5 + o. Let m = i - 28/3. Which is bigger: 1 or m?
1
Let k(c) = 2*c - 3. Let t be k(5). Let u = -6 + t. Let z = 1 - 1. Is u < z?
False
Suppose 7*f = 4*f - 3. Let l be -2 + (2 + -1)/1. Are f and l unequal?
False
Let c(a) = -3*a - 20. Let d be c(-7). Which is greater: d or 2/13?
d
Let q be 3 + 2/(-2)*1. Suppose 4*g = -14*g + 18. Is g > q?
False
Suppose 0*p + 3*p = -18. Let w be (3 + p/3)*-1. Suppose 6 = 3*h, -4*h + 8 = -2*i - 0*h. Which is greater: w or i?
i
Let u be (0 + 1)*(-2 - -1). Suppose 0 = -5*r - 4*a + 6 - 209, -r - 46 = -a. Let m = 173/4 + r. Which is smaller: u or m?
u
Suppose -3*o = -4*c + 19, 0 = c + 2 - 0. Is o at least -9?
True
Let w = 4 + -2. Let f(o) = 8*o**2. Let k be f(w). Let i = k - 351/11. Which is bigger: 0 or i?
i
Suppose 29 = -k - h + 4*h, h - 27 = k. Is -26 > k?
False
Let t = -4 - -6. Suppose -s + t*s = -5*b, 0 = -2*s + 3*b. Let j = s + 2. Is j not equal to 1?
True
Suppose 4*w + 3*p - 5 - 2 = 0, 0 = -3*w - 4*p. Suppose -2 = -w*n + 6. Is n less than or equal to 0?
False
Suppose -4 + 8 = 2*h. Let c = 49 - 25. Suppose -3*l + c = 3*y, y = 2*l + 4 - 5. Which is bigger: h or l?
l
Let r = 4.03 - 4. Let z(j) = j + 17. Let s be z(-18). Which is smaller: r or s?
s
Let y be 30/(-40) + (2 - 141/100). Are -1 and y unequal?
True
Let y be (-2)/(-11) - 76/176. Which is smaller: y or 1/5?
y
Let k = -0.18 - -0.29. Let n = -0.19 - k. Let d = 0 + 0. Is n > d?
False
Let f(u) be the third derivative of -u**4/24 - u**3/2 + 6*u**2. Let w be f(6). Which is bigger: -10 or w?
w
Let j = 24.1 + -22. Let y = j + -2. Are y and 0 non-equal?
True
Let z(h) = h**3 - 5*h**2 + 3*h - 13. Let j be z(5). Are -1 and j equal?
False
Let q be 812/4 - 6/2. Suppose -5*i + 0*i = -q. Let a = i - 159/4. Which is bigger: a or 0?
a
Let p = 143466/79 + -1816. Which is smaller: p or 0?
0
Let n be (-6)/(-3)*(-35)/(-10). Is n greater than 4/3?
True
Let h = -16.13 - -16. Let m = h + 0.18. Which is greater: m or 2/9?
2/9
Let k = 0.2 + -1.5. Let j = k - -1.6. Which is greater: 1 or j?
1
Suppose 0 = -2*z - k + 31, z + k = 5*z - 59. Suppose z = 4*b - 5. Is 4 at least b?
False
Suppose 3 = s + 2*a - 0, s - 5*a = 10. Let b be 2/5 + 38/s. Suppose -5*y - b = 7. Which is smaller: y or -2?
y
Suppose 5*p + 8 = -2. Let j(h) = -3*h - 1. Let s be j(p). Suppose 3*b = -0*b - 4*x + 13, -3*x = s*b - 18. Which is greater: 2 or b?
b
Let n be (1/2*-2)/1. Suppose 0 - 2 = u. Which is greater: n or u?
n
Suppose -4*l - l = 25. Let k be (-342)/30 + (-2)/l. Which is greater: k or -10?
-10
Let a = 41 - 39. Which is smaller: a or 0.02?
0.02
Let x = -9 + 29. Let y = -131 + 117. Let f = x + y. Which is bigger: f or 1?
f
Let p = 6 + -6.5. Let w = p - -0.47. Let m = 0.97 - w. Do m and -3 have different values?
True
Let s = -3 + 2. Let u = -0.31 - -0.01. Let q = u + 0.4. Which is smaller: s or q?
s
Let w = 1.907 - -0.093. Is w equal to 8?
False
Let x = 3 + 2. Let w be (-3)/(-15)*-2*-10. Do x and w have the same value?
False
Let a be (-80)/(-25) - 4/20. Let l be (2 - a)*(-2)/5. Are -1 and l non-equal?
True
Let q = 0.32 - 0.12. Let f = 0.3 - 0.8. Let u = f + q. Is 1/4 bigger than u?
True
Let g = -2 + 1. Let r be -1 - 8/(-5 - -1). Let b = r + g. Which is smaller: b or -2/7?
-2/7
Let w be 8*1 + -7 + 4. Suppose -w*u = -u. Which is bigger: 2/17 or u?
2/17
Suppose 0 = m + 2*n - 5, 0 = 5*m + 2*n + 1 - 10. Let x be m/2 + 9/2. Let s(f) = f**3 - 6*f**2 + 4*f + 6. Let d be s(x). Which is smaller: d or 0?
0
Suppose a - 2 = 1, 2*a + 14 = -4*i. Are i and -27/5 equal?
False
Let c = 110 - 552/5. Is c less than or equal to -1?
False
Let n = 1.2 + -3. Let t = n - -0.8. Let w be (-24)/14 - (-6)/(-21). Is t not equal to w?
True
Let z(q) = q**2 - 9*q + 1. Let j be z(9). Which is bigger: j or -1/5?
j
Let h = 55 - 54.2. Which is bigger: h or -6?
h
Let q = 11 + -7. Is q at least 1?
True
Let c(x) = -x**2 + 5*x - 6. Let r be c(4). Let f be (-1)/r + 15/(-6). Let i(h) = h**3 - 7*h**2 - 3. Let n be i(7). Which is bigger: