be (8/16)/(b/2). Is y greater than 1?
False
Let h be (1 + 6/(-2))/(-1). Suppose -h*k - 2 - 4 = -2*g, 3*k = -3*g + 15. Let a(p) = -p - 14. Let j be a(-15). Is k at least as big as j?
True
Suppose 0*r - r + 2 = 4*o, -o = 2*r - 18. Let d = r - 2. Let w(x) = x**3 - 7*x**2 - 9*x + 3. Let i be w(d). Which is smaller: i or 1?
i
Let w(h) = 12*h + 22. Let l be w(-3). Which is smaller: l or -12?
l
Let w = -2.9 + 3. Let n = 0 + 5. Let x = -1 + n. Which is greater: w or x?
x
Let p = 0.5 + -0.29. Which is greater: p or 0.1?
p
Suppose 35 = 8*n + 59. Let q(a) = a**3 + 3*a**2 + a + 2. Let x be q(-3). Let b = -3 - x. Is b at most as big as n?
False
Suppose -5*v = 5*s + 10 + 20, 4*s - 2*v = -24. Which is bigger: s or -5?
-5
Let m(g) = 2*g**2 - 2. Let b = -16 - -14. Let w be m(b). Is w less than 6?
False
Suppose 5*m - 10 = -5. Does m = 7/4?
False
Suppose 3*c - 3*n - 21 = 0, 0 = 2*c - 4*n + 15 - 37. Suppose 2*s + c + 1 = 0. Let k(h) = h**3 + 7*h**2 + 7*h + 3. Let q be k(-6). Is s at most as big as q?
False
Let t = -6.9 - 0.1. Let o = 1.41 - 0.41. Which is bigger: t or o?
o
Let r(m) be the first derivative of m**4/4 - m**3/3 - m**2 - m + 2. Let x be r(-1). Let q be (2 + -2)*x/(-2). Is 1/3 != q?
True
Let d be (-2 + -4 + 12)*(-8)/102. Is d greater than or equal to 1?
False
Suppose -2*f = -5 + 5. Which is greater: -12 or f?
f
Suppose w + 3*w = 4*k - 196, 0 = 5*w - 3*k + 253. Let d = w + 213/4. Is 0.1 bigger than d?
False
Let j(p) = -p - 6. Let k be j(-11). Let t be 2/k - (-16)/10. Is 2/3 greater than or equal to t?
False
Suppose 0*o + 3 = 3*o. Let s be 1/28 - (-16)/(-56). Do o and s have the same value?
False
Suppose 4*a = c - 10, -3 - 23 = 3*c + 2*a. Which is smaller: c or -5?
c
Let k(q) = -q - 1. Let p be k(-6). Let d be (16/4)/(-8)*-10. Is p less than d?
False
Let u = 1.4 + -0.4. Let x = u - 0. Let o = 0 + x. Are -0.2 and o unequal?
True
Let q = -2 + -4. Let a be ((-22)/q)/((-1)/(-3)). Let k be a/15 + 1/(-3). Which is smaller: 1 or k?
k
Let a be -2*5/25*-10. Which is smaller: a or 10?
a
Let m = 4 - 2. Let s be (m/(-5))/((-25)/(-10)). Is s at least 0?
False
Let f be (-3)/(15/(-6) - -1). Let h be (28/(-4) - f)/1. Is -8 smaller than h?
False
Let i be -1*(-2 + (-67)/(-33)). Let l = -292 + 291. Which is smaller: l or i?
l
Let i be (-3)/3 + 0/4. Let d = -3.14 - -0.24. Let v = d + 3. Is i > v?
False
Let y be (-7 - -3) + (-234)/(-60). Are y and 0 equal?
False
Let p(f) = -f**2 + f + 1. Suppose n + j = 5, -27 = -4*n + j - 7. Let k = 6 - n. Let i be p(k). Is 1 not equal to i?
False
Let y = 1.98 - -0.02. Let j = 3.96 + 0.04. Let q = j + -4. Is q >= y?
False
Let p be ((-1)/3)/(6/90). Which is greater: -4 or p?
-4
Let r(y) = -y**3 + 4*y**2 + 6*y - 6. Let o be r(5). Let j be (o/6)/((-9)/(-18)). Is -2 at most j?
True
Let i = 0 - -1. Suppose -3*a + 12 = -6*a. Which is greater: a or i?
i
Let z be 9/22*(-10)/30. Which is greater: -2/3 or z?
z
Let h = 47/38 - 4/57. Let l(w) = 2*w**2 - 3*w. Let o be l(2). Is o bigger than h?
True
Let u be (-13)/(-3) - (-4)/6. Let h be -1 + 2 + (2 - -2). Is u greater than h?
False
Suppose -q = -5*k - 7, k + 4 = -q + 5. Suppose q*b = -2*b + 8. Suppose i - 3 = 5*d, -5*d - b*i + 12 = 2*i. Is -2/7 at most as big as d?
True
Let l = -5 + 31. Suppose 3*s + l = -5*r, s + r = -9 - 1. Which is greater: s or -11?
-11
Let k be 6*(-1 - (-14)/(-6)). Let v = 30 + k. Are v and 10 nonequal?
False
Let c(d) = -d**2 + 7*d + 9. Let i be c(8). Suppose -i = -4*n + 3. Let y be 1/n + (-28)/20. Which is greater: y or 2?
2
Suppose -3*u + 2*i = -8*u + 60, u - i - 19 = 0. Suppose -3*y - 2*y = -n, 4*y + 2*n - u = 0. Suppose 0 = 3*r - 4*r - y. Which is smaller: 1/3 or r?
r
Let p = -19/286 + -3/26. Which is smaller: 1 or p?
p
Let r be (12 + -18)*1/7. Are r and 0.2 equal?
False
Let n = -23/6 - -7/2. Let o be (-8)/6 - (-1)/3. Which is bigger: o or n?
n
Let k be ((-10)/25)/((-2)/5). Let l = -6 + k. Is -6 smaller than l?
True
Suppose -4*c - 3 = t + 9, -2*t - 4*c - 8 = 0. Suppose 8*y = t*y. Suppose -4*l = u - 7, -5*l - 2*u = -2 - 9. Is l at least as big as y?
True
Let x = 3 + -4. Let k be (-1)/(-2)*0 - x. Which is greater: k or 2?
2
Let o(a) = a**2 - 7*a + 7. Let f be o(6). Let q = 1 - f. Let b be 8/(-6)*(-1)/6. Are q and b non-equal?
True
Let f = 1221/1729 - -2/247. Which is smaller: f or 1?
f
Let o be (85/(-36))/5 - 1. Let r = 5/4 + o. Let g be (2/(-6))/(1/(-3)). Is g < r?
False
Suppose 0 = -2*m - m + 6. Let s(x) = x**3 - x**2 + x + 4. Let y be s(0). Suppose -y*l = -6*j + j - 17, -l - 2*j = -1. Which is smaller: l or m?
m
Let n be 8/(-6) - 2/(-6). Let h be (-522)/40 + 2/8. Let b = h - -13. Which is greater: n or b?
b
Let q be -6*12/63 - 4/(-14). Are q and -1 unequal?
True
Let x = -55 - -23. Let p be ((-8)/410)/(x/80). Suppose -2*o = -0*o. Which is bigger: o or p?
p
Let d(p) = 3*p**2 + 2*p - 1. Let h be d(1). Suppose -3*a - z - 3*z = -37, 0 = 4*a - z - 43. Suppose 0 = i - l + 6*l + 17, -5*i - l + a = 0. Is i smaller than h?
True
Let m = 18 - -11. Do m and 29 have different values?
False
Let o = -39645967/3225 + 36880/3. Let l = o + 3/43. Which is smaller: l or 0?
0
Let o(m) = m**2 - 10*m + 5. Let q be o(-9). Let b be 2 + (q/(-4))/4. Which is greater: b or -8?
-8
Let h = 7.89 + 0.11. Let b = h + -7.9. Let u = 0.46 - 0.06. Is u at most b?
False
Let k = -2394 - -1324. Let d be (-2227)/k + -1*2. Let l = d - -2/107. Which is smaller: l or 1?
l
Suppose -x = -4*x - 4*l + 55, 0 = -4*l + 4. Let y = -12 + x. Which is greater: y or 7?
7
Let j = 5.9 + -6.9. Is j >= 1?
False
Let f(t) = 5*t - 61. Let w be f(9). Is w less than or equal to -16?
True
Let c be (-4)/(-14) - 363/21. Is -17 less than c?
False
Let o(x) = -x - 18. Let a be o(-16). Is a greater than or equal to -1?
False
Suppose 2*v + 60 = 4*h + 6*v, -3*h - v + 37 = 0. Let p be (-2)/h - (-175)/55. Suppose p = -3*z - 0. Is z at most 3?
True
Let x = 26 + -27. Let v be 6 - (-2)/(1/(-1)). Let f be v*(1 + (-4)/6). Which is smaller: x or f?
x
Let t(d) = -d - 5. Let j be t(-11). Which is smaller: 8 or j?
j
Let n = -0.3 - -2.3. Which is greater: n or 0.3?
n
Let a = 224 - 903/4. Let s = 13/12 + a. Let j = -173/9 + 19. Do j and s have the same value?
False
Suppose 3*a + 2*t + 626 = 0, -a - 4*a - t - 1048 = 0. Let d be (-186)/a + (-4)/14. Does 1 = d?
False
Let g = 4 - 5. Let f = 0.01 - -8.99. Which is bigger: f or g?
f
Let t be 9/(-54) + 274/(-12). Are -22 and t equal?
False
Let r = 4 + -2. Suppose 0 = -5*t + a - 10, -r*a + 15 = -6*t + t. Do t and -0.3 have the same value?
False
Let h(m) = -m**3 - 7*m**2 - 7*m - 6. Let v be h(-6). Suppose -3*n + 8*n = v. Let d = n - -2. Is d less than or equal to 0?
False
Let a = 6 - -18. Let p be -3*((-10)/a)/5. Which is bigger: p or -2?
p
Suppose 5*b = 2*r + 5, 0*r - 3*b = -r - 3. Is r equal to 3/34?
False
Suppose 6*a - a = -5*n + 40, -19 = 2*n - 5*a. Which is greater: n or 9/5?
n
Let c(g) = g**2 - 13*g - 25. Let z be c(15). Let n be 1 - (-8)/((-4)/(-2)). Is z smaller than n?
False
Let r be (-2)/(-6) - (-57)/(-117). Is 1 at least r?
True
Let p = -22.57 + 0.57. Is -0.1 > p?
True
Let f(d) = -d**2 + 4*d - 2. Let k be f(1). Let u(t) = t**3 - 2*t**2 - 3*t + 1. Let p be u(3). Are p and k equal?
True
Let w = -5 - -5. Suppose o + a = -w*o + 1, -2*a = -3*o + 18. Which is smaller: o or 5?
o
Let l = -0.45 + 0.4. Let y = 0.35 - l. Let s = y - 0.3. Is s greater than 0.1?
False
Let u be (3 - (-1 - 10)) + 2. Let x = -16 + u. Is -1/6 at most as big as x?
True
Let i = -5.6 - -6. Let c = i - 0.3. Is 1 at least c?
True
Let r = -21 - -21. Which is greater: r or -82?
r
Let y(l) = l**3 - 4*l**2 - 4*l - 2. Let s be y(5). Suppose -14 = -s*n - 5. Which is bigger: 4 or n?
4
Let x(o) = 1. Let w(y) = y**3 - 7*y**2 + 5*y + 9. Let r(m) = -w(m) + 3*x(m). Let t be r(6). Let n be (-13)/(-20) + 3/(-12). Which is bigger: t or n?
n
Let o(b) = -b**2 - b. Let g be o(-1). Suppose 2*x - 2*u + 27 = -7*u, 4*u = -20. Which is smaller: g or x?
x
Suppose -3*c + 26 = 4*m + 2*c, -c = -2. Which is smaller: 3 or m?
3
Let v be 2/14 + 48/(-42). Is v >= -4/11?
False
Suppose 5*q - 3*o + 1 + 7 = 0, 2*o = 3*q + 5. Let f be (2 - 1)*(1 + -3). Let t be f + (-8)/(-2) + -3. Is q not equal to t?
False
Suppose 3*y = 4*i - 36, 3*y = 3 - 15. Is i at most 7?
True
Let o(f) = 2*f**2 + 3*f + 1. Let m be o(-2). Suppose -m*i = 14 - 2. Is i at least as big as -5?
True
Suppose -3*q - 1