ich is greater: r or b?
b
Let d = 119 + -1189/10. Suppose -3 = 4*o + 1. Is o smaller than d?
True
Let o be -1 - (0 - (0 - -1)). Let p = -3 + o. Do -2 and p have different values?
True
Let r = 0.2 - 0.16. Let b = r - -0.02. Let x = b - -0.34. Which is bigger: 0.1 or x?
x
Suppose -5*v = 2*f + 14, 0 = -f - 2*f - 2*v - 10. Let i be 12/(-9)*3/f. Which is smaller: i or -0.1?
-0.1
Let z(c) = -2*c**2 - 3*c + 4. Let j be z(-3). Let n = j - -7. Suppose 5*y = -17 + n. Are -4 and y unequal?
True
Let n = 0.75 + -0.85. Let d = 0.2 + -0.1. Which is smaller: d or n?
n
Let m = -29 - -59. Let x be (9/m)/(1/(-2)). Is 0 greater than or equal to x?
True
Suppose 3*w - 8 = -w. Suppose -s = w*s. Which is bigger: s or 2/29?
2/29
Let b(h) = h**2 + 2*h + 2. Let q be b(-3). Let m = 8 + -5. Is q bigger than m?
True
Let d = 0.024 + -0.074. Which is smaller: d or -0.06?
-0.06
Let x = -10 + 16. Let g(t) = t**3 - 7*t**2 + 7*t - 4. Let d be g(x). Does 3 = d?
False
Suppose 3*k + k - 4 = 0. Let p(b) = -2*b + 2. Let n be p(k). Which is smaller: n or -1/15?
-1/15
Let x be -1*(0/(-1) - 0). Let a(r) = 5*r - 26. Let m be a(6). Suppose 4*p + x = -m. Is -1 bigger than p?
False
Suppose -3*q + f = 23, -4*q + 5*f = -q + 43. Let l be ((-3)/5)/(q/4). Are -4 and l unequal?
True
Let z be -4 + ((-456)/20 - 1/5). Is z < -26?
True
Let k(y) be the first derivative of -y**3/3 + 4*y**2 + 4*y - 3. Let l be k(8). Is l not equal to 4?
False
Suppose 2*q = -q + 15. Let n = 6 - q. Do n and -1/4 have the same value?
False
Let r(c) = 2*c + 7. Let v be r(-4). Let h = 71/255 - 4/51. Does h = v?
False
Let b(i) = 0*i**2 - 4*i**2 + i**2 - 3*i + 4*i**2. Let s be b(3). Which is bigger: s or -1?
s
Let m = 91 + -90. Suppose 5*f - 14 = 1. Is m at least as big as f?
False
Suppose -3*z + 10*z + 7 = 0. Which is smaller: -2 or z?
-2
Suppose 3 + 5 = 4*a + 3*h, -3*a - 2*h = -5. Let u = -1 - a. Suppose u = 2*k - 3*k. Which is greater: 1/2 or k?
1/2
Let r(c) = 2*c + 4. Let f be r(6). Let w be 2 - (f/(-4) - -1). Suppose 5*g - 18 = -2*t + g, -4*t + 5*g - 3 = 0. Is t at least as big as w?
False
Let d be (76/(-6))/((-8)/12). Is d less than 19?
False
Let z = -25 + 51/2. Let a = -1 + 2. Let t = -1 + a. Is z greater than t?
True
Let i(n) = -n**2 - 5*n + 7. Let l be i(3). Is l < -18?
False
Let n = 0 + -4. Let y(p) = -p**2 - 5*p - 5. Let i be y(n). Is i greater than 1?
False
Let p = -18 + 7. Let d = 4 + p. Is -2 less than d?
False
Let h = -2178/17 - -128. Which is smaller: 0.3 or h?
h
Let v = 100 - 99.93. Is -3/4 at most as big as v?
True
Let h be 0 + 2 + -1 - 28/10. Which is smaller: -2 or h?
-2
Let h = -11 + 43/4. Which is smaller: h or -1?
-1
Let a = 4 - 4. Suppose 0 = -5*r + 4*c - 18, 2*c - 14 = -a*r + 5*r. Is r greater than -1?
False
Let j = 13 + -14. Which is bigger: j or 1/4?
1/4
Let t(a) = a**3 - 3*a**2 - 3*a - 1. Let m be t(4). Let c = 7 + -5. Is c >= m?
False
Suppose -3*k = -0*k. Let q(y) = 3*y**2 - y + 1. Let c be q(1). Suppose 0 = -2*g - i + 4, -3*g + 6*g - c*i + 3 = 0. Which is smaller: k or g?
k
Let j be ((-12)/(-10))/(8/20). Let h be (8/12)/(4/30). Let q be -2 + 1 - h/(-2). Which is smaller: q or j?
q
Suppose -16*h + 18*h + 48 = 0. Is -23 at least h?
True
Let k = -2 + 2.1. Suppose 0 = -4*r + 2*r. Which is greater: k or r?
k
Let p(a) = a**3 - 4*a**2 + 2*a - 8. Let k be p(4). Suppose b - c + k*c = -4, 0 = -5*b - 3*c - 36. Which is smaller: -7 or b?
-7
Let o be 1/(-1) - (-5 - -2). Let h(a) = -a**3 - 7*a**2 - 9*a - 7. Let u be h(-6). Let i(s) = s**3 - 12*s**2 + 10*s + 13. Let l be i(u). Is l equal to o?
True
Suppose 0 = -4*x - 0*l + l + 2, -2*x - 4*l + 10 = 0. Let r = -801/11 - -73. Is r less than x?
True
Let j(l) = 4*l + 1. Let w be j(-1). Let p be w/(-6)*(-4)/2. Which is greater: -2/19 or p?
-2/19
Let q = -4/3 + 4. Suppose -8 = 2*g + 2*g. Let p = g + q. Is p greater than 0.2?
True
Let y be (-5)/(-1) - (-9 + 9). Let x(u) = u**3 - 5*u**2 - 4*u + 11. Let c be x(y). Is -8 at least as big as c?
True
Let m be 2 + (-9)/3 - -5. Suppose -m*j + 5 = -15. Let a(n) = -n**3 + 5*n**2 - n + 5. Let k be a(j). Are -1/3 and k equal?
False
Let j = 9 - 5. Suppose 2*i = -5*d + 8, -j*d + 1 = -i + 5. Is d less than or equal to 1/3?
True
Suppose 0*l - 21 = 3*l. Is -4 equal to l?
False
Let i = -17 - -18. Which is smaller: i or -4/43?
-4/43
Let t(j) = j**2 - j - 4. Let p be t(3). Let n(a) = a + 1. Let f be n(p). Suppose -1 = o + f. Is o > 2/3?
False
Suppose 0 = -0*v - 5*v + 140. Which is smaller: v or 29?
v
Let v(t) = 2*t - 2. Let i be (-4)/(-18) + (-52)/(-9). Suppose x + i = 3*x. Let k be v(x). Which is smaller: k or 3?
3
Let p(f) = f**3 - f**2 - f - 1. Let g be p(0). Suppose 12 = 3*o - 6. Let j be -2 + o/15 - -2. Is g bigger than j?
False
Let s be (-3 - 0) + (-330)/(-108). Let f(y) = y**3 - 4*y**2 - 6*y + 6. Let z be f(5). Is z smaller than s?
False
Let z = 2 + -2. Let n = 1 - z. Which is smaller: 2/5 or n?
2/5
Let g be (-78)/9*-1*-6. Let h = g + 207/4. Let a = -0.3 + 0.2. Which is smaller: h or a?
h
Let r(p) = p**3 - 3*p**2 - 3*p - 3. Suppose -5*l + 0*l = -120. Suppose -8 + l = 5*y + 2*m, 5*y + m = 18. Let a be r(y). Is a less than or equal to 2?
True
Let o be 4/(-20) + 21/5. Suppose -57 = o*w - 9. Which is smaller: w or -13?
-13
Suppose 6*r - r - 15 = 0. Let s(g) = -6*g + 73. Let l be s(12). Do l and r have the same value?
False
Let p(b) = b + 5. Let x be p(-4). Do x and 0.2 have different values?
True
Let z = 4 + 0. Let i be 7/(-28) + (-11)/z. Let s be 0*(i + 6 + -2). Which is greater: 3/8 or s?
3/8
Let p = -1.87 - 0.23. Let h = p + 2. Let u = 1.2 + -0.2. Are h and u nonequal?
True
Let t = -6 + 3. Let i = t - -3. Suppose 5*y = 3*f, -f = -2*y - 3*f. Is y smaller than i?
False
Let k(n) = -2*n**3 + 27*n**2 + 9*n - 12. Let f(i) = i**3 - 13*i**2 - 4*i + 6. Let t(w) = 9*f(w) + 4*k(w). Let c be t(9). Which is greater: c or 5?
c
Let p = 0.22 + -0.02. Let m = p + -0.26. Is m greater than or equal to 0.1?
False
Let y = -0.9 - -0.6. Let z = 35 + -67. Let k = z + 30. Is y less than k?
False
Let u be (53/2)/((-14)/28). Which is smaller: u or 1/2?
u
Suppose -7*x + 9*x = 12. Suppose i = 3*i + x. Which is smaller: 2 or i?
i
Let w = 8 + -7.95. Let l = w - 1.05. Is l at least -2/15?
False
Let c = -77 - -692/9. Which is greater: c or 1/2?
1/2
Let n(k) = k + 10. Let u be n(-9). Is 1/56 smaller than u?
True
Let u be (-319015)/(-525) + (-2)/7. Let i = -4257/7 + u. Let w = i - -8/21. Which is bigger: 0 or w?
0
Let b = -14 + 9. Suppose -4*k = 10 + 2. Let z = b - k. Is z at least as big as -5/4?
False
Let x = -11 + 32/3. Which is greater: x or -0.4?
x
Suppose -3*x - 36 = -0*x. Let o be 0 + -1*(-10)/x. Let a = 13/12 + o. Is a less than 2/7?
True
Let n be 4 - (1 - 0/(-1)). Suppose 0*p + 3*p = -4*r + 11, -4*r + 12 = 4*p. Which is smaller: r or n?
r
Let b be 14*(47/24 - 2). Let y = -1/12 - b. Let n(l) = -l + 2. Let i be n(2). Are i and y unequal?
True
Let l be (-48)/10*10/(-3). Suppose -4*v + 5 = -2*j + 19, -5*v = -4*j + l. Which is smaller: j or -2?
-2
Let y be (1/(-3))/((-4)/12). Let t be y/(-2) + 105/14. Let n be 10/(-35) - (-2)/t. Which is bigger: -2 or n?
n
Let t(i) = i**2 + 5*i + 4. Let p be t(-4). Let u = 3 + p. Is 1 > u?
False
Let w = 0.12 + -0.23. Let a = 1.09 + w. Let x = a - -0.02. Is x <= -2?
False
Let i be -18*(15/3 - 10/(-15)). Is -103 < i?
True
Suppose 25 + 5 = 5*q. Let p = 7 - q. Let b(j) = -j**3 + 4*j**2 + j - 1. Let o be b(4). Is p less than o?
True
Let k = -17 - -12. Which is greater: k or -1?
-1
Let u = -21 + 43/2. Let n = -0.55 + -0.45. Which is greater: n or u?
u
Let t(z) = z**3 + 9*z**2 - 11*z - 10. Let d be t(-10). Let f = 8 + d. Is 8 at most as big as f?
True
Suppose -s + 1 = 2*m - 20, 70 = 5*m - s. Is m greater than 13?
False
Suppose -11*a + 15*a = 4. Is -1 at least as big as a?
False
Let d be 1*(-4)/(3 + 1). Which is bigger: d or -2/3?
-2/3
Let f = 26 - 25.83. Let x = -0.07 + f. Which is smaller: x or -0.3?
-0.3
Let s = 74 + -83.8. Let h = s - -10. Is h equal to 1/4?
False
Let w(m) = m**2 - 8*m + 8. Let i be w(7). Let p be (43 + i)*33/18. Let b = p - 80. Is b less than 0?
False
Let h be 2 - (-1 - -1)*(-5)/10. Let a = 201 - 1002/5. Which is bigger: a or h?
h
Let v(t) = -t**3 - 6*t**2 - 2*t + 5. Let j be v(6). Let m = j - -1747/4. Is -3 bigger than m?
False
Let l be 0*(4 - 8)/8. Which is smaller: 12 or l?
l
Let h be -12*((-3)/(-2) + -2). Le