2
Suppose -3*b + 106 - 43 = 0. Suppose 2*s = v + 2*v - b, -3*s + 3*v - 27 = 0. Let d = s + 4. Is -2 bigger than d?
False
Suppose -a + 5*a = 0. Suppose -5*p - 2*x + 9 = 0, 4*x + 27 = -0*p + 5*p. Let t = -2 + p. Which is bigger: a or t?
t
Let i = 39 - 116/3. Which is smaller: -0.15 or i?
-0.15
Suppose -108*h + 107*h - 1 = 0. Which is greater: h or 8/17?
8/17
Let s be 13/5 + 6/15. Suppose -s*z - 22 = -52. Let j be z/(-12) - 4/(-8). Which is smaller: 0 or j?
j
Let s = 27 + -25. Are s and -1 non-equal?
True
Let i be ((-3)/12)/(1/(-98)). Let u = i - 24. Does u = 0?
False
Let c(n) = -5*n - 5*n**2 - n**2 + 5*n**2 - 7. Let t be c(-5). Which is bigger: t or -9?
t
Let q(b) = 8*b + 1. Let l(p) = -p - 1. Let t(v) = 6*l(v) + q(v). Let j be t(5). Suppose 0 = -3*m - j - 1. Is 0 < m?
False
Let r be 2 + (1 - 3) + 0 + 11. Which is bigger: r or 12?
12
Let k = 12 - 10. Let v = -0.1 + 0.1. Is k at least v?
True
Suppose 2*j = 4*j. Is 2/67 at most as big as j?
False
Suppose 0 = -5*d - 5*r + 15, 11 = -6*d + 3*d + 2*r. Let m = -0.3 + 0.5. Are d and m equal?
False
Let c = 11/1844 - -70981/156740. Let o = c - 1/17. Do o and 0 have the same value?
False
Let x = -0.08 - 4.92. Which is greater: x or -6?
x
Let n = 6 - 6. Suppose n = -3*i - 6. Let j be -1 + (i - 0) - -2. Is -2 > j?
False
Suppose q = 5*q - 92. Suppose -2*i = -4*b - 20, 7*b - 2*i = 2*b - q. Which is smaller: 2/7 or b?
b
Let y(k) = k**3 + 8*k**2 - 3*k - 9. Let f be y(-8). Is f at most 14?
False
Let c(g) = g - 2. Let w be c(5). Let b = w - -5. Suppose 3 = -3*p, -t + b = -4*t - 5*p. Which is greater: t or 2/13?
2/13
Suppose -4*q = -2*m + 18, -3*q - 2*q = -4*m + 21. Is -1/31 at least m?
True
Suppose -j + 0*j = -3*h + 11, -4*h = 5*j - 21. Suppose -4 = -0*b + h*b. Are b and -3/2 non-equal?
True
Suppose t + 116 = 3*t. Is 58 smaller than t?
False
Suppose 4*l + 0*l - 12 = 0. Let b = -5 + l. Let c be (-2)/12 - 18/(-108). Which is smaller: b or c?
b
Let p = 14 - 14. Which is smaller: -10 or p?
-10
Let v be (-1 - 0)*(-3)/111. Is 0 at most v?
True
Let o(j) = j**3 - j**2. Let i be o(0). Let p = -1 - i. Let r(w) = -w**2 + 7*w + 7. Let h be r(-1). Are p and h equal?
True
Let u = -0.1 + 0. Let c = u - 0. Let q = 97 - 487/5. Is q at least c?
False
Suppose -i + 6*i - 3*s - 1 = 0, -5*i + 13 = s. Let c be 9*i*(-2)/6. Let m be (-9)/(-6) - c/(-8). Which is smaller: 1 or m?
m
Let y = -77 + 76. Which is smaller: y or 3/7?
y
Let p(b) = -b**3 + 2*b - 1. Let u be p(-2). Let j be (u/(-2))/(21/(-14)). Is 2/9 > j?
False
Let d be -53 - (2/6)/((-4)/24). Is d less than or equal to -52?
False
Let o = -34 + 30.8. Let p = o - 0.6. Let d = p - -4. Are -2 and d unequal?
True
Let m = 166 + -153. Is m not equal to -1?
True
Let h(o) be the third derivative of -o**4/24 + 7*o**3/6 + 2*o**2. Let q be h(7). Do -5/6 and q have different values?
True
Let z be (0/(-3))/(-1*2). Let k be ((-215)/(-55) - 2) + -2. Is z at most as big as k?
False
Let y(q) = -q**2 + 10*q - 6. Suppose -30 = -2*t - t. Let z be y(t). Is -6 bigger than z?
False
Let q = -13 - -14. Which is smaller: 1/7 or q?
1/7
Let o = -335 - -489. Let q be (-18)/99 - (-6)/o. Which is greater: -1 or q?
q
Let m be 4*(-4)/(-10)*15. Suppose m = r + 5*z, -2*z + 10 = -5*r - z. Let w be (-1)/(-2) + 1/(-4). Is w greater than r?
True
Let k = 15 - -1. Let d = 15.8 - k. Suppose 2*n + 1 + 3 = 0. Is n greater than d?
False
Suppose -14*b + 11*b = 75. Is b at most as big as -25?
True
Let n = -0.8 - 15.2. Which is smaller: n or 1/5?
n
Let f be 3075/345 - (-6)/69. Suppose 0 = 2*d - 2. Is f at most d?
False
Let l(k) = -2*k**2 - 6*k + 8. Let j be l(-8). Let r = j + 1221/17. Is -1 < r?
True
Let p be ((-1)/(-1) + -6)/(-3). Suppose 21 = 3*q - 4*o, -1 - 2 = o. Which is smaller: q or p?
p
Let b = 14 + -11.6. Let t = -6.6 + 6. Let i = b - t. Which is smaller: i or -2/7?
-2/7
Let h = -105.14 + 113. Let k = 1.56 - h. Let t = k + 6. Is t less than -0.1?
True
Let b = 2/1101 + 349/9909. Are 1 and b unequal?
True
Let b(f) = f + 4. Let i be b(-4). Let h = i + 5. Let p(l) = -2*l - 9. Let r be p(-7). Is r <= h?
True
Let m = -40 - -41. Which is smaller: 7/3 or m?
m
Let c be (-14)/4*48/(-84). Which is bigger: c or 18/35?
c
Let x(v) = -9*v + 2. Let y be x(1). Which is smaller: -9 or y?
-9
Let m(p) = -p**3 - p**2 + 2*p - 4. Let v be m(-3). Suppose -2*k - 2*k = v. Let w be (k/(-14))/(2/(-4)). Which is smaller: -2 or w?
-2
Let w(f) = f + 9. Let i be w(-5). Let j(t) = t**2 - 5*t + 4. Let u be j(i). Suppose 4*d + 11 = 23. Is d equal to u?
False
Let v be (2/5)/((-1)/(-5)). Let y be 6/(-165)*-5 + (-84)/(-22). Suppose 4 = -v*z, -y*z - 7 = -t + z. Which is greater: -4 or t?
t
Let k be -1 + 11 - 0/4. Let j = k + -8. Suppose 0 = j*z - 6 - 6. Is 5 < z?
True
Let b(n) = 6*n**2 + 2*n. Let u be b(-2). Suppose -5*f = 5*c - u, 3*f = 2*c - 0 + 2. Which is bigger: c or 3?
3
Suppose 3*n = -0*n - 42. Let j = -15 - n. Which is smaller: j or 1?
j
Let t be (24/(-16))/((-1)/2). Let f be ((-30)/9 + t)*3. Is -2/21 at most as big as f?
False
Let r be 9/6*10/3. Suppose -4*x + 5*g = x - 35, x + 3*g + r = 0. Suppose -4*q - x = -3*o + 5, 0 = 2*o + 4*q + 14. Is 0 not equal to o?
True
Let c be 6 + -2 + (-2)/(-2). Let m(u) be the third derivative of -u**5/60 + u**4/4 - u**3/3 + u**2. Let r be m(c). Is 2 < r?
True
Let q = -587/7 + 84. Let g = 4/21 + q. Let v = 0.3 - 0.2. Does g = v?
False
Let u(v) = -v**2 + v. Let f be u(-1). Let q be (-2)/6 - f/18. Which is smaller: q or 0?
q
Let t be (-4)/(16/46)*(-4)/(-6). Which is smaller: -7 or t?
t
Let j(l) = l**3 + 3*l**2 - 5*l - 1. Let b be j(-4). Suppose 2*c - 7*c = -b*h - 294, 0 = -5*h + 10. Let d be 104/c + (-2)/5. Which is smaller: 0 or d?
0
Let u = 58 + -34. Let j be (1/2)/(3/u). Which is bigger: j or -1?
j
Let l = 7.132 + 0.168. Let f = -8 + l. Which is smaller: f or 0?
f
Let a be 115/(-15) - (-2)/3. Let j = -6 - a. Which is smaller: j or 0?
0
Let k = -6 - -9. Suppose k*x = -x. Which is smaller: x or 1/7?
x
Suppose -2*w - 5*n = -58, -w = -4*w - 2*n + 76. Suppose 2*m + 2*m = w. Let s be (2/m)/((-5)/15). Which is greater: s or 1/6?
1/6
Let t(r) = 2*r + 9. Let n be t(-9). Which is smaller: -12 or n?
-12
Let c(y) = y + 4. Let k be c(-5). Let q be ((-15)/(-6))/((-3)/2). Are k and q equal?
False
Let c(n) = -n**2 + n + 6. Let f be c(0). Let b = f - 6. Suppose 3*o = 7*o. Is b at most o?
True
Suppose 5*v + u - 3*u = -1, 2*u = 6. Is v < 1/9?
False
Let l(c) = c**3 - 16*c**2 + 15*c - 3. Let j be l(15). Do j and -4 have different values?
True
Let g(s) = s - 7. Let y be g(5). Suppose 0 = -3*o + 3*h - 0*h - 21, -3*h + 15 = 0. Are o and y equal?
True
Suppose -14*s + 15*s = -4. Is 4 less than or equal to s?
False
Suppose 0 = -4*t + 5*t. Which is smaller: t or -5/6?
-5/6
Suppose q = -0*q - 2. Let z be 2*-2 - 27/(-12). Is z at least q?
True
Suppose 2*d = -16 + 12. Let u be 2*1/8 - 1. Are d and u non-equal?
True
Let b be (1 - 0) + (-3 - -2). Suppose -2*w = 0, -6 = 5*g + 5*w - 21. Suppose b = -g*x + 4*v + 6, 3*x - 5*v = -0*v + 6. Which is bigger: 3 or x?
3
Suppose -4*x - x + 20 = 0. Which is smaller: x or 1/4?
1/4
Let a = 38/21 - 8/7. Suppose -w = 4*p - 13, w - 3 = 2*p - 2. Let q be p/(-6) + 11/15. Is a bigger than q?
True
Let t be 13/4 - 1/4. Let f(h) = h - t*h + h. Let r be f(-4). Does r = 2?
False
Let l(k) be the third derivative of 1/30*k**5 + 0*k + 1/6*k**3 + 0 + 0*k**4 + 1/120*k**6 + 3*k**2. Let p be l(-2). Which is smaller: 3 or p?
p
Let v(s) = s**2 + 12*s - 5. Let p be v(-12). Which is greater: -4 or p?
-4
Suppose -5*t + 21 = 2*g - 8*t, 0 = -3*g - 5*t + 60. Is 15 smaller than g?
False
Let n(m) = -90*m - 702. Let b be n(-8). Let u = -40 - -59. Is b at most u?
True
Suppose -5*f = 5, f - 2*f - 1 = -a. Which is bigger: a or 2/11?
2/11
Let t = 110/3 + -1421/39. Is 0 greater than or equal to t?
False
Let d = 0.2 - 0.2. Let m = 23.4 - 22.4. Which is smaller: m or d?
d
Suppose -36 = 2*k + 2*k. Let s be ((-6)/2)/(k/(-6)). Do s and 1 have the same value?
False
Suppose -1 - 8 = 3*s. Let u = 1 + -1. Are s and u non-equal?
True
Let h(w) = -w**3 - 3*w**2 + w - 2. Let a be h(-4). Let v = -6 + a. Which is bigger: v or 5?
5
Let u(t) = -t**3 + 10*t**2 - 5*t - 6. Let h be u(9). Which is greater: 29 or h?
h
Suppose -19 = -2*l + i, -1 + 32 = 3*l + i. Is l not equal to 15?
True
Suppose -f - 4 = 4*p, 0 + 4 = -f - p. Let d be 1/f + 2/8. Is -1 at most d?
True