- 7*o**2 + o - 9. Let y be c(7). Which is greater: y or b?
b
Let x be (-16)/(-6) + (-3)/(-9). Let b = -2 + 4. Is b less than or equal to x?
True
Let c = 1.4 + 12.4. Let j = c + -16. Let y = j - -2. Which is bigger: y or -0.1?
-0.1
Let x(s) = 6*s**2 - 3*s + 1. Let d(y) = 7*y**2 - 4*y + 1. Let u(z) = 3*d(z) - 4*x(z). Let g be u(-1). Let q = -3 - -3.1. Which is smaller: q or g?
g
Suppose 6*x = 4*x + 8. Let i be ((-5)/5)/(6/x). Which is smaller: i or -0.12?
i
Let h = 0.04 + -0.34. Let p = 1.3 + h. Which is greater: 3 or p?
3
Let h = 2.4 + -1.4. Which is bigger: -5 or h?
h
Let t be ((-2)/9)/(1/3). Suppose 0*a = 5*a + 40. Let z be (4/16)/(9/a). Which is bigger: z or t?
z
Let i be (10/(-5))/((-10)/(-5)). Let p = -1/3 - -2/3. Which is greater: p or i?
p
Let v be ((-30)/(-4))/(-5)*-2. Let s be v + -1 - (-2 - -2). Is 2 greater than s?
False
Let w = -24.09 - -22. Let z = w - -0.09. Let o = 2.1 - 2. Is o at most z?
False
Let y = 9 - 8. Let j be y/(-5) - 39/5. Let b be (2/(-54))/((-4)/j). Is 1 smaller than b?
False
Let b = -14.7 - -15. Let n = 3/62 + -139/310. Is n greater than b?
False
Let o be (-1 + 1)/((-14)/(-7)). Let d be (o + 1)*(-1 + 2). Which is bigger: d or 1/2?
d
Suppose 4*o - 7*w + 4*w = -4, w = -4*o - 4. Does o = -2/71?
False
Let b = -2 - -2.15. Let k = b - 6.15. Which is greater: -2/7 or k?
-2/7
Suppose -10*b = -11*b - 6. Which is bigger: -5 or b?
-5
Let o = 0.4 - 1. Let p = -0.13 - 0.27. Let c = o + p. Is c < 2/5?
True
Let x(t) = -t**3 + 4*t**2 - 4*t + 3. Let s be x(3). Let w = 4 - 2. Suppose -b - w*b + 12 = s. Which is greater: 2 or b?
b
Let n(z) = -8*z - 1. Let p be n(1). Is p at most -9?
True
Let d(f) = f**3 - f - 8. Let i be d(0). Let n = -13 - i. Do -5 and n have different values?
False
Let k(s) = s**3 + 22*s**2 + 22*s + 1. Let c be k(-21). Which is smaller: -15 or c?
c
Suppose -q + 0*q = -4. Let w(d) = -d - 1. Suppose -2*s - 5 = f + 8, f - 11 = 4*s. Let p be w(s). Are q and p equal?
False
Let c(k) = k**3 - 7*k**2 - 8*k + 3. Let x be c(8). Suppose -4*y + q = 6 + 19, -x*q = -3*y - 12. Which is smaller: y or -6?
y
Let s = 123 + -124. Which is smaller: s or 10/21?
s
Let k be -4 - (-7)/3 - -2. Is k at least as big as -2/5?
True
Let z = -28 - -25. Let g(m) = 4*m. Let y be g(-1). Is y at most as big as z?
True
Let p(l) = 11*l**3 - 7*l**2 - 13*l - 1. Let c be p(-2). Is -91 at most as big as c?
True
Let p = 1.023 + -0.023. Which is greater: 4/7 or p?
p
Let z = 185 - 1663/9. Which is smaller: -1 or z?
-1
Let x = -4.2 - -3.62. Let h = x + -0.02. Let n = h + -0.4. Which is greater: n or 2/19?
2/19
Suppose k + 0*k - 4 = 0. Let l(s) = s**2 + s + 4. Let b(f) = -f**2 - 2*f - 5. Let q(w) = -5*b(w) - 6*l(w). Let h be q(k). Which is bigger: h or 1/7?
h
Let f = 35.99 + -36. Which is greater: 1/4 or f?
1/4
Let d(r) = 2*r - 2. Let n be d(2). Is 4 less than or equal to n?
False
Let b = -6 - -9. Suppose -13 = 2*t - 3*c, -b*t - 2 - 10 = 3*c. Let f be (-18)/(-24) + t/(-4). Do 3/4 and f have the same value?
False
Suppose -z + 10 = -6*z. Let r be (z/5)/((-9)/5). Is r greater than or equal to -1?
True
Let i = -2.696 - 0.004. Which is greater: -2 or i?
-2
Let y = 21788/84595 + -1/2417. Which is smaller: y or -1?
-1
Suppose 0*h - 8 = -2*h. Suppose 3*g - h = -g. Which is greater: g or 3/4?
g
Let u = -2.3 - -2.67. Is u not equal to 1/3?
True
Let c be 1 + 4 - (-3 - -1). Let p(w) = -8*w**2 + 9 - 6 + w**3 - 4 + 8*w - 6. Let s be p(c). Which is greater: s or 2/7?
2/7
Suppose 2*d = q - 7, 2*d - 23 = 5*d - 4*q. Suppose -5*a + 2 - 12 = 0. Is a greater than or equal to d?
False
Suppose 9 = d + 4*u, -4*u + 2*u + 27 = 3*d. Let b = 2 - 0. Suppose 3*q - 2*x - d = 0, 4*x + 10 + b = 0. Which is greater: 2/13 or q?
q
Let x = 16/9 + -61/36. Let v(a) = a**2 - 4*a + 4. Let l be (-14)/(-6) - 8/(-12). Let p be v(l). Is p < x?
False
Let g = -24 - -34. Let l = g - 9. Which is smaller: 6/5 or l?
l
Let a(y) = -y - 4. Let s be a(-7). Let z be s + (1/(-1) - 2). Is 8 bigger than z?
True
Suppose -24 = -d - 39. Is d at most as big as -16?
False
Let c = 8/3 - 3. Let n(q) = q**2 + 11*q + 1. Let s be n(-11). Suppose 3*k - s = -4. Which is bigger: c or k?
c
Let c = 13 - 14. Which is bigger: 1/4 or c?
1/4
Let u(j) = 2*j + 4*j - 7*j + 11. Let z be u(10). Which is smaller: 2/13 or z?
2/13
Suppose 22 = -m + 3*m - 4*b, -8 = 2*b. Let f = m - 0. Suppose 0 = f*w + l - 2*l - 9, 5*w = 3*l + 19. Which is greater: 0.3 or w?
w
Let l = -6 + 3. Let c = l + 2. Let t = -2 + 5. Is c at least as big as t?
False
Suppose -19 = -3*f + 17. Let p = -1/214 - -54/107. Which is greater: p or f?
f
Let p = 1279/20 + -251/4. Let c(w) = w**2. Let z be c(0). Is p smaller than z?
False
Let n(h) be the third derivative of 0 + 2*h**2 + 3/2*h**3 + 0*h + 1/24*h**4. Let s be n(-9). Do 2 and s have different values?
True
Let r be 3/(330/(-5))*(1 - 29). Is 1 greater than r?
False
Let s = -1 - 2. Let q be ((-1)/s)/((-4)/(-36)). Which is smaller: 2 or q?
2
Let u = 1.1 - 0.1. Let o = 12 + -8. Suppose 2*g + 2 = o. Is g at most as big as u?
True
Let f(y) = y**2 + 4*y + 1. Let n be f(-3). Suppose 6 = -2*p - 0*p. Let i = p - -2. Is i greater than n?
True
Let d be -2*(-1)/11 - (-28)/3234. Is 1 bigger than d?
True
Suppose 0 = 4*p - p + 9. Let l be p/(45/3)*3. Let w = 11 + -11. Which is smaller: l or w?
l
Let t = 14 - 6. Let a(s) = s + 1. Let u(r) = r**2 - 7*r + 1. Let p(j) = a(j) - u(j). Let f be p(t). Which is bigger: -2/7 or f?
f
Let x be ((-595)/(-125) - 1) + -4. Which is smaller: -1 or x?
-1
Let j be (-216)/99 - (-1 - 1). Which is bigger: j or -1/2?
j
Suppose 4*t = 5*t. Let w = -2 - t. Is -1 bigger than w?
True
Let f = -30 + 69. Which is smaller: f or 40?
f
Let w = 9 + -7. Suppose -4*h + 2 = -2*f, 4*h = -4*f + 20 + 24. Suppose 0 = 3*o - f*o + 4. Are w and o unequal?
True
Let a be 3/(-6) + 46/(-4). Are a and -12 equal?
True
Let y = -1 + 0. Let s = -1 + 2. Let o = y + s. Is o at most 0?
True
Let m(z) = z - 7. Let l be m(7). Suppose l*q - 6 = -3*q. Do 0 and q have the same value?
False
Suppose 2*t - 3*p - 3 = 3, 3*p = -2*t - 6. Suppose 4*f - 15*f = -33. Suppose -4*o + 2*l - 6 = -8*o, -f*o + 5*l - 2 = t. Which is bigger: 2/7 or o?
o
Let b = -26 + 33. Which is greater: b or 1?
b
Let l be (36/66)/(3/(-4)). Which is smaller: -2 or l?
-2
Let n be -5 + 5/20*3*6. Let x be 0/(2*(-2 - -1)). Which is greater: n or x?
x
Let g(r) = r + 6. Let d be g(3). Suppose -23 = -2*m + 19. Let x be 6/4 - m/d. Which is bigger: x or 0?
0
Suppose -3*x + 4*h + 2 = 0, -2*h = 2*h - 4. Suppose x = l + 1. Suppose -4*d = 2*c + 16, -3*c = -8*c + d - 7. Which is smaller: c or l?
c
Let s = 6.23 - 0.23. Are -0.1 and s equal?
False
Suppose 48*p = 47*p. Is 1 at least as big as p?
True
Let c(k) be the first derivative of k**4/4 - 2*k**3 + 1. Let o be c(6). Is o at most as big as -2?
False
Let m = -11 - -5. Let t(z) = z + 6. Let s be t(m). Suppose s = o - 1, -4*n - 2*o - 23 = -o. Are n and -5 non-equal?
True
Suppose 2*u + u = 3*x + 6, -u = 5*x + 10. Which is bigger: u or 1/12?
1/12
Let n = -0.2 + 0.3. Let t = -0.2 + n. Which is smaller: t or 0.06?
t
Suppose -l - l = -6. Let g = 15 + -8. Suppose v = 4*c - 12, -v + 3 = g. Does l = c?
False
Let q(s) = s**3 - 5*s**2 + 3*s + 1. Let y be q(4). Let d(p) = p**3 - 6*p + p**2 + 3*p + p**2. Let c be d(y). Is c < -2?
False
Suppose 3*s = 5*z + 8*s + 375, 3*s - 219 = 3*z. Is z at least as big as -75?
True
Let z = 7 + -15. Let w = z + 13. Are w and 3 unequal?
True
Let f = -1 + 1. Let d = f + 3. Let k = d + -3. Which is smaller: k or -2?
-2
Suppose 0 = -5*l + 2*t + 23, -3*t - 8 = -3*l + 4. Is l smaller than 5?
False
Suppose 3*o + 2 - 6 = -t, 5*o + 10 = 0. Suppose 0 = -6*n + n + t. Let c be -4*(4 + (-140)/32). Are n and c equal?
False
Let h(s) = 3*s + 4. Let z(y) = y**2 + 8*y + 4. Let w be z(-7). Let v be h(w). Is 2 greater than or equal to v?
True
Let a(t) = -t**2 - t + 2. Let f be a(0). Let j be f*(-86)/(-60) + -3. Which is smaller: j or 1?
j
Let m be (3 - (3 - 1))*-1. Let g = -4 - -1. Let r be (3/(-24))/(g/6). Which is smaller: m or r?
m
Let y be (-15)/(-22) + 1/(-2). Let f(v) = v**3 - 26*v**2 + 8*v - 209. Let w be f(26). Which is smaller: w or y?
w
Let b = 8 + -10. Let v = b - -1.9. Is 3/5 >= v?
True
Let m be 9/(3/1) + -1. Suppose -m*a = -0*a. Which is smaller: a or 0.3?
a
Let w = -5 - -9. Let a be 11/7 + w/(-2). Suppose 0 = 2*l + 2 - 0. Is l sma