+ 3*-1. Which is bigger: -1/3 or b?
-1/3
Let n be (3/(-9) - 0)*21. Let k be 16/n + (-18)/(-63). Let o = -1 - 0. Which is smaller: k or o?
k
Let u(o) be the second derivative of o**5/20 - o**4/3 - o**3/2 + 3*o**2 - 3*o. Let j be u(4). Let r be 0*(-3)/j + -1. Are r and -1 nonequal?
False
Let h = -2/443 - -944/12847. Which is smaller: 1 or h?
h
Let t(y) = y + 7. Let l be t(-6). Is l not equal to 3/4?
True
Let o = -8 + 3. Let m = -8 - -12. Let f be (m/10)/((-4)/o). Do f and 0 have the same value?
False
Let y(k) = k - 3. Let c be y(7). Suppose -2*h + 14 = 3*p + 2*h, 0 = -p + c*h + 26. Suppose -v + 2*o = 8, 4*o - p = 5*v - 0*v. Is v != 4?
True
Let l(v) = -v**2 + 12*v + 6. Let d be l(13). Is -8 != d?
True
Let v = 10/11 + -31/22. Let q = 3 - -1. Which is smaller: v or q?
v
Let z be (4 - 6) + ((-4)/2 - -5). Which is smaller: 17 or z?
z
Let u = 0.21 + 22.79. Which is smaller: 3/2 or u?
3/2
Let x = 22 + -23. Let c be x/5 - 91/(-105). Which is smaller: c or 13?
c
Let u = 4 - 4. Suppose 2*p - 10 = u, 3*p - 12 = -5*x + 18. Let w be x/12*4/(-7). Which is smaller: w or -2/5?
-2/5
Let z = -68 - -73. Is 0 smaller than z?
True
Suppose 1 + 0 = 2*k - 5*y, -3*k - 3*y + 12 = 0. Let w(o) = o + 4 + 1 - k. Let b be w(-2). Which is smaller: b or 1?
b
Let m = -0.13 - 0.07. Is m at least as big as -3?
True
Suppose -5 + 1 = 4*i - 4*v, -i - 4 = -4*v. Let t be 2 + -4 + i + 2. Let n = -7/5 + 1. Is t > n?
True
Let g = 10 - 7. Let f be (4/(-16))/(1 - -1). Let h = -5/8 - f. Which is smaller: h or g?
h
Let j = -7 - -7. Suppose j = 2*i + 2 + 6. Which is smaller: i or -2?
i
Let q = 3 + -2. Let d = -2 + q. Let z be ((-2)/(-14))/((-8)/(-28)). Is d != z?
True
Let v(s) = -s + 6*s - 4*s**2 - 7 + 11*s**3 - 12*s**3. Let t be v(-5). Which is bigger: t or -5?
-5
Let w(r) = -r**2 + r + 4. Let z be w(0). Let f(d) = d**3 + 11*d**2 + d + 15. Let c be f(-11). Are z and c equal?
True
Let o = 0.77 + -0.07. Let f = -0.4 + o. Is -0.1 less than f?
True
Suppose 4*q - 5*r - 4 = 0, 2*q = 2*r + 3 - 1. Suppose g - q = -0*g. Suppose 2*b - 4*y = 18, 12 = b - 2*y - y. Which is greater: b or g?
b
Let u = 808 - 23435/29. Is -1 greater than u?
False
Let r = 0.8 + -0.8. Let x be (6/(-10))/(33/22). Which is greater: x or r?
r
Let k = 1.6 - 2. Let f = 12.8 + -13. Let r = f - k. Which is smaller: 1/2 or r?
r
Let l = 4 - -4. Suppose w - l = t, -5*t + 2*w = 3*w + 10. Let i be t + 4/6*3. Is i < 3/7?
True
Let s(j) = -j + 37. Let p be s(11). Which is smaller: 25 or p?
25
Suppose 0 = 3*m - 4*m + 2*m. Is -73 at least as big as m?
False
Let u = 0 + 2. Suppose -2*t = u*z - 2, -2*t = 2*z - 6*z - 2. Is 2 greater than t?
True
Suppose -5*d - 32 = -2. Let k be (-26)/(-28) - d/(-4). Is -2 >= k?
False
Let w = 43/300 - 1/100. Which is greater: -0.1 or w?
w
Suppose 3*c - 13 = -1. Suppose 0*o = -c*o - 4. Is o greater than -1?
False
Let m = -1 - -0.9. Let o = -0.4 + 0. Is o at least m?
False
Let j = 29 + -28.9. Which is greater: -7 or j?
j
Let d = 2.3 + -4.3. Which is smaller: d or 0.05?
d
Suppose 4*i + 0*i - 5*o - 6 = 0, -i - 4*o + 12 = 0. Let a be i/(-14) + -2 - -2. Is a at least -2/5?
True
Let m = 0.24 - 2.64. Let g = m + 0.4. Is g > 5/3?
False
Let s(n) = n + 7. Let h be s(-6). Let b(j) = 3*j + 2 - j - j. Let a be b(-2). Is a not equal to h?
True
Suppose -2*y = -5*y - 84. Is -28 greater than y?
False
Let z be 4 + -1 + (-1 - -2). Suppose l = -5, d - z*d = 5*l + 19. Suppose -2*i = -5*a - 10, -a + d = -i + 7. Is 0 less than or equal to a?
True
Let z be (-3)/5 + (-4)/10. Suppose k - h + 11 = 2*k, -5*k = -4*h - 28. Let y be 27/(-396) + 2/k. Is y smaller than z?
False
Suppose 0 = 5*h - 27 + 77. Which is smaller: -7 or h?
h
Let n(a) = -a**3 - 5*a**2 + 4*a - 3. Let m be n(-4). Is m bigger than -35?
False
Suppose 5*d = 10 - 5. Which is smaller: d or 0?
0
Suppose 0 = -5*w + 2*w + 9. Let g(l) = l**2 + 36. Let s be g(0). Let c be 4/10 + s/10. Which is bigger: c or w?
c
Let c = -247/63 - -29/7. Which is greater: 4 or c?
4
Suppose 4*s + 7 - 3 = 0. Suppose x + x = -6. Let l be (-12)/9 - (-2)/x. Is l greater than s?
False
Suppose 9 = -3*f + 12. Which is smaller: 1/40 or f?
1/40
Let x(h) = 4*h**2 + h. Let v be x(-1). Let s be (-26)/(-5) + v/(-15). Let y(m) = -m - 4. Let a be y(-8). Is a <= s?
True
Suppose -2*d + 5*q + 41 = 0, -3*d + 20 = -d + 2*q. Suppose 0 = b + 3, -3*s = -2*s - 3*b - d. Suppose 0*o = o - 5. Is o at least s?
True
Suppose -5*d + 2*d + 6 = 5*j, 3*d + 6 = -j. Suppose 13 - 4 = j*c. Do 0 and c have different values?
True
Let c = 16 + -44. Let y = c - -27.99. Which is bigger: 2 or y?
2
Let s = -54.05 - -58. Let o = s + -4. Let r = -1052/7 + 150. Is o <= r?
False
Let u be ((-19)/(-190))/(2/5). Which is smaller: -4/9 or u?
-4/9
Let d be 2/(-4)*(-11 - 3). Suppose 4 - d = -r. Let g(t) = -2*t - 6. Let x be g(-4). Is r less than x?
False
Let k be (1/(-13))/(11/55). Does k = 1?
False
Let o = 3.2 - 3. Let g = -1.2 + o. Let t be 10/8 + 1/(-4). Is g bigger than t?
False
Suppose 0 = 12*k - 0*k + 288. Is k at most -24?
True
Suppose 3*g - 4 = 2. Is g <= 1?
False
Let a = -7.2 - -0.2. Let h = a - -7.05. Is h >= -2/7?
True
Suppose g = -4*g. Let f(l) be the second derivative of -l**3/6 - l**2/2 - l. Let r be f(g). Which is smaller: r or 0?
r
Let c = 9 - 15. Let y = -9 - -7. Let w be y/3 + (-16)/c. Which is smaller: w or 1?
1
Suppose 0*l = 4*l - 32. Suppose 2*m - l + 0 = 0. Is m greater than 2?
True
Let t = 1 + -1. Let v = -1.09 - -0.19. Let s = v + -2.1. Is t greater than s?
True
Let o = -1 - -1.1. Let t = o - 0.1. Let m = -1/4 + -1/28. Is t <= m?
False
Let c be ((-1680)/(-175))/(4/10). Which is smaller: 21 or c?
21
Let n be 0/(4 + 1 - 3). Suppose n = 3*u - 2*m - 5 - 14, -m - 11 = -2*u. Suppose 0 = -3*q - u. Are q and -3 equal?
False
Let c(h) = -5*h**2 - 9*h**2 + 4 + 4*h + 13*h**2. Let t be c(5). Is t > -11/6?
True
Let c = 12.9 + 42.1. Let z = c + -60.6. Let s = z + 6. Is s > -2/3?
True
Let c be (2/2)/((-3)/(-9)). Suppose -2*p - c = -p, -5*w - 5 = 5*p. Let h be (3/w)/((-2)/4). Is -4 >= h?
False
Let z be ((-50)/3)/((-18)/27). Let v = z + -13. Is v at most 13?
True
Suppose 0 = -3*g, -6 = -3*d + g - 4*g. Suppose -6 = -2*u + d, 4*j - 28 = -5*u. Are j and 2 nonequal?
False
Let n = -2 - -7. Let h = n - 6. Is -2 < h?
True
Let x be (2 + (-21)/6)*6. Let f = x - -9. Which is smaller: f or -2/27?
-2/27
Let q = -16 + 14.8. Let n = q - -1. Do 2/3 and n have different values?
True
Let a(f) = f**2 - 7*f - 7. Let z be a(8). Is 1/17 greater than or equal to z?
False
Suppose 2*y - 9 = 1. Let g = 10 - y. Suppose g*l = -15 + 5. Is -2 >= l?
True
Let f be ((-16)/3)/(4/(-6)). Which is greater: 1/2 or f?
f
Let j = -19.95 - -20. Does j = 1?
False
Let x be -1*(0 - 1)*-1. Let g be x/(6/4 + -2). Let c be 3/12*(6 + -4)*-1. Is g equal to c?
False
Let p(g) be the first derivative of g**2/2 + 11*g - 2. Let i be p(-12). Let h = 8 + -9. Are h and i equal?
True
Let n = -12 - -11. Which is bigger: 2/7 or n?
2/7
Let b be (2 - -1) + 0 + -4. Suppose 0 = -2*k + 2*q - 8, 0 = k + q - 1 - 3. Does k = b?
False
Let r = 0.14 - 0.15. Let n = 0.9 - -0.1. Which is smaller: r or n?
r
Suppose -2*f - 4 = -2*n, 0*f - 4*f + 10 = 2*n. Let m be n/9 - 4/3. Let v = 2 + m. Which is bigger: v or -2/7?
v
Let t = 0.1 + -0.1. Let j = 2.2 - -6.8. Is t at most j?
True
Let l = -37 - -43. Suppose -5*m + 34 = 4. Is m greater than l?
False
Let n be ((-4)/(-3))/((-26)/(-6)). Is 1 greater than n?
True
Let f = -169/102 + 99/17. Let c = -313/78 + f. Let k = 6 + -6. Which is smaller: k or c?
k
Let x(j) = -j - 3. Let r be x(-4). Is r greater than 1?
False
Suppose -3*x - 2 = 5*s - 17, -4*x = s + 14. Suppose 3*h = -g + s, -5*g - 3 = -g + 3*h. Let t(q) = q**2 + 3*q - 4. Let w be t(g). Which is bigger: w or -2?
-2
Suppose -5 = -6*j + j. Suppose -3*g = 5*x + 27, 3*x + 16 - 3 = -5*g. Let a be ((-9)/4)/(0 + x). Is a bigger than j?
False
Let g = -5 - -8. Suppose 0 = 3*m + 4*r - 21, g*m + 0*r - 18 = -3*r. Let p be 6/(-27)*m/(-4). Is -1 greater than or equal to p?
False
Suppose 0 = 4*o + 2*a + 3*a + 1, -29 = 5*o - 3*a. Let h = 17 + o. Which is smaller: h or 14?
h
Let p = 22.2 + -22. Is 1/5 less than p?
False
Let h = 11 + -6. Suppose y - h = -1, 4*r - 3*y = -8. Is r at least -1?
True
Let c be (3 - -1)*(-33)/(-36). Which is smaller: c or 4?
c
Let p be 4 - (0 + 36/21). Which is bigger: 3 or p?
3
Let n(s) = -s**2 - s. Let c(t) = t + 2.