?
True
Let w = -10 + 9.9. Let k = -46018/59 - -780. Let r = k - -53/177. Is r at least as big as w?
True
Let c = 4 - 2. Suppose 0 - 9 = -d. Suppose -y - 3*h = -10 - 7, -c*y - h = -d. Which is smaller: y or 3?
y
Let r = 22.1 + -22. Is -7/2 greater than r?
False
Let n = -1.02 - -0.02. Let l = -1 + n. Are l and 0 nonequal?
True
Let m be (-3 - 0) + 13 + 40/(-4). Suppose -4*o + 45 = o. Suppose 0 = -z + 4*f + 11, -z - 2*z = -4*f - o. Does m = z?
False
Let z be (-2)/11 - 336/(-33). Is 10 less than or equal to z?
True
Suppose 0 = 6*v - 0*v - 6. Does 2/21 = v?
False
Let r be ((-24)/5 - -4)/(4/(-30)). Is -2/9 > r?
False
Let w(c) = c**2 - c - 1. Suppose -j - 5*g + 6 - 17 = 0, 3 = -5*j + g. Let a be w(j). Suppose 5*u - a = -h - 6, 4*u = 2*h - 4. Which is smaller: u or 1/9?
u
Let d be 2/(-8) - 1/4. Let f be (2/4)/(3/18). Suppose -f*l + 15 = 2*z, -5*z - l + 2*l - 5 = 0. Which is bigger: z or d?
z
Let f be (-118)/(-266) + (-10)/35. Which is smaller: f or 1?
f
Let h = 8 + -4. Suppose -h*t + 2*b + 8 = 0, 5*t - t + 4 = -b. Is t equal to 3/16?
False
Let d = 0.12 + 0.02. Let h = 0.04 - d. Is -1 less than h?
True
Suppose 2*r + 2*r = 4. Let n = -17 + 84/5. Is r not equal to n?
True
Suppose 4*z + z = 5. Let d be 4*1 - (36/(-21) - -6). Which is greater: d or z?
z
Suppose 0*j = -2*j. Let u = 10698/5 + -2610657/1220. Let z = u - -2/61. Which is smaller: j or z?
z
Let i be ((-34)/70 - 36/(-126))*-4. Let p be 0 - ((-4)/(-14) + 0). Does p = i?
False
Suppose 79 - 13 = 2*d. Suppose m - 12 = -2*l, -4*l - m - 9 + d = 0. Which is greater: l or 7?
7
Suppose 3*y - 6*y = 0. Let v be 16/6*(-11)/(-44). Which is greater: y or v?
v
Suppose 0*i + 3 = i. Suppose 0 = -0*p + i*p. Suppose p = 4*y + y + 25, 15 = 5*j - 3*y. Which is smaller: j or 2/9?
j
Let g(f) = -3*f - 39. Let v be g(-10). Let c(u) = -u**3 - 4*u**2 + 8*u + 5. Let q be c(-5). Is v less than or equal to q?
False
Let s(c) = c**2 + 4*c - 3. Let m be s(-3). Let x(w) = -2*w + 0*w + w - 6. Let b be x(m). Which is smaller: -2 or b?
-2
Suppose -3 = 3*o, -2*o - o = 5*y - 12. Let z(f) = -f**2 - 10*f - 6. Let a be z(-9). Is y at most a?
True
Suppose 2*k + 0 = -8. Suppose 2*j + 0*o - 14 = -4*o, 4*j - o = -8. Which is bigger: j or k?
j
Let x = -36825/49951 - -1/2629. Which is smaller: x or 0?
x
Suppose 3*p = 5*p. Suppose -d + p*s + 11 = -2*s, 3*d + 2*s = 17. Do d and 6 have the same value?
False
Let o = 4 + -6. Let z be 3*(0 + 1)/(17 - 22). Which is smaller: z or o?
o
Let i(z) = 1 + 1 - 5*z + 6*z. Let d be i(-2). Is d at least as big as -4?
True
Let m be (-29)/(-2) + (-3)/(-6). Let v be m/9 + (-2)/3. Let h be 0/(v/(-1) - 1). Is h at least as big as 2/9?
False
Let d = 0 + 0.2. Let i be (-4)/16*(-1 + -3). Is d < i?
True
Let m = -29 - -41. Suppose 3*r - 5*r = -m. Which is smaller: r or 8?
r
Suppose -f - 30 = -4*f. Let d = f - 7. Do d and 1 have the same value?
False
Let w be ((-2)/(-15))/(12/10). Suppose -4*a = -3*a. Suppose 5*u + a = y - 2, 8 = 5*u + 4*y. Is u < w?
True
Let m = 285/164 + 1/82. Are 2 and m non-equal?
True
Suppose -2*m = m - 3. Suppose -g = -0 - 2. Suppose 0 = -u + g*u. Is m at most as big as u?
False
Let r = 37/18 + -5/9. Let w(o) = -o - 1. Let j be w(-6). Let m = 6 - j. Which is bigger: m or r?
r
Let z be 8 + 4 + -1 + 0. Let k be (-20)/(-15) - z/15. Which is smaller: k or -0.2?
-0.2
Let j = 13 - 13.1. Is -8 less than j?
True
Suppose -2*l - 5 = -1. Let i(y) = -y + 3. Let r be i(6). Which is smaller: l or r?
r
Let j be (24/36)/((-2)/(-9)) - 12. Which is smaller: -10 or j?
-10
Let n be (-9)/(-6) - (-2)/(-4). Which is smaller: n or -1/5?
-1/5
Let a(n) = -3*n - 52. Let y be a(-16). Is y at least -4?
True
Let p = -795595/70893 + 2/7877. Let u = 11 + p. Let t(b) = b**2 + 10*b + 9. Let a be t(-9). Is u > a?
False
Suppose -36 = 7*v + 41. Is -12 > v?
False
Let h(g) = 21*g - 41. Let q be h(4). Is q not equal to -2?
True
Let l be 14 - (3 + -4)*3. Suppose q = -j + 1 + 1, -l = -4*q + 5*j. Suppose -5*x + q*u - 20 = 0, 3*u = 5*u. Is x <= -2?
True
Let n = -1 - -1. Let v = n - 3. Which is greater: v or 1?
1
Suppose 12*z = 8*z. Which is bigger: z or 5/8?
5/8
Let h(s) = -5*s**3 + 2*s**2 + s + 2. Let q be h(-2). Let r be q/(-28) - 4/14. Which is bigger: -1 or r?
-1
Suppose 3*n + 5*o = -14, 5*n = -2*o - 0*o + 2. Suppose 4 = p, 0 = n*h + 4*p - 6*p. Let z be 3/(-6) + 2/h. Is -2/9 < z?
True
Suppose 8*z + 1 = 9*z. Which is greater: -3 or z?
z
Let n(y) = -y**3 + 9*y**2 + 11*y - 8. Let p be n(10). Let o(c) = -2*c**2 + 2*c. Let j be o(p). Which is bigger: 1 or j?
1
Let x = 0.1 + -0.2. Let u = -0.08 - -0.2. Let q = u - -3.88. Is q smaller than x?
False
Let p = -38 + 54. Is 17 > p?
True
Suppose -v - 39 = -5*d, -2*d + 30 = -0*d - 4*v. Suppose -3*h + 8 = 4*x - 2, -5*x + d = h. Is x at least 5/4?
False
Let v = 2825/6 + -469. Is v not equal to 2?
True
Let n = -11 + 20. Let p = 12 - n. Which is bigger: p or 2?
p
Let w(b) = b**2 - 10*b + 4. Let x be w(9). Is -4 greater than x?
True
Let g = 626 + -325. Let y = 6921/23 - g. Which is bigger: y or 0?
0
Let b = 18 - 10. Suppose 4*n + o = 31, 7*n - 29 = 2*n + 2*o. Let l = b - n. Which is greater: -2/7 or l?
l
Let r(z) = -z**2 - 8*z - 3. Let p be r(-8). Let i = -0.37 + 0.07. Which is bigger: p or i?
i
Let n be 6 - 6 - (1 + 1). Let a be 2 - -3*(1 - 3). Is n less than a?
False
Let k = 0.3 + -0.4. Let d = 0.1 - -0.1. Let g = 0 + d. Is g < k?
False
Let d = 0.03 - 12.03. Let v = d + 10. Which is bigger: 0 or v?
0
Let h(i) = -i**3 - 7*i**2 - 2*i - 8. Let b be h(-6). Let d be 4*1*(-10)/b. Suppose -1 = 2*t - 5. Which is smaller: t or d?
d
Suppose 3*j = -38 - 31. Let k = 21 + j. Is -2 greater than k?
False
Let f be (-6)/(12/(-5))*-6. Which is smaller: -1 or f?
f
Let x(j) = j. Let b be x(0). Let k = 211 - 5274/25. Let i = -23/50 - k. Which is greater: i or b?
b
Let g = 2.2 + -0.9. Let l = -0.6 + g. Which is bigger: l or 0.1?
l
Let l be (2/(-126))/(1/2). Is l bigger than 1?
False
Let z = -1 + -7. Is -7 < z?
False
Let m be -2 - -1 - 32/(-8). Let a be -1*3/(m/(-1)). Is a smaller than -1/3?
False
Let u(z) be the second derivative of 4*z + 0*z**3 + 1/2*z**2 - 1/12*z**4 + 0. Let q be u(-1). Are 5/4 and q nonequal?
True
Let z = 2 + -3. Let q be (-16)/z*10/8. Suppose -8 = 3*j - l, -j - l - q = 3*l. Is -2 >= j?
True
Suppose 22 = 4*f - 0*z - 2*z, -3*f - 4*z = 0. Suppose -3*o - 2*o - 15 = h, 0 = -f*o - 4*h + 4. Which is smaller: o or -3?
o
Let z = 18 + -17. Which is smaller: -4/25 or z?
-4/25
Let h = -57521 + 516967/9. Let o = 80 + h. Is 1 less than o?
False
Suppose 0*q + 2*t = q - 2, 3 = -3*t. Suppose -3*b + 4 = 2*s, 0 = -b - b. Is s < q?
False
Suppose 9 + 7 = -2*g. Let w = g + 17. Which is smaller: 8 or w?
8
Let f(i) = i**3 - 9*i**2 + 7*i + 8. Suppose b - 3*j = -7, 2*j + j = -5*b + 55. Let l be f(b). Is 2 > l?
True
Let g = -2/755 - -1556/17365. Let c = 12 + -8. Suppose c*s + 1 = 3*s. Which is smaller: g or s?
s
Let m(b) = -b**3 - 11*b**2 - 1. Let z be m(-11). Let d be ((-2)/33)/(4/(-6)). Is z less than d?
True
Let c = 2 - -2. Suppose 2*j = c*j + 14. Is j less than or equal to -8?
False
Let c = -5 + 4. Let a be (-8)/(-28) - (-31)/(-35). Which is bigger: c or a?
a
Suppose 2*q = n, -4*q + 5*n - 2*n = 0. Let x = q - -2. Let b be (2 - x) + 4/6. Is b <= 2?
True
Let a(z) = 3*z - 5. Let w(i) = -2*i + 2. Let b(g) = 3*a(g) + 5*w(g). Let p be b(-6). Suppose 0*c + 4*v - 12 = c, 0 = -3*c + 3*v - 9. Which is bigger: c or p?
p
Suppose d - 1 = -3*p + 4*p, -5*d + 4 = -4*p. Suppose -4*g + 1 = -3. Let j be g/(-2) + 2/4. Is p less than j?
True
Let s = 42 + -376/9. Which is smaller: s or 2?
s
Let o be 48/(-63) + 15/35. Suppose 2*j - 8 = -2*c, -3*j + 4 = -2*c + 12. Which is bigger: o or j?
j
Suppose 0 = u - p - 17, 3*u = -2*p + 3*p + 41. Which is bigger: 11 or u?
u
Let z = -45 - -46. Is -1/61 greater than z?
False
Suppose -2*s + 40 = 2*w, -w - 18 = -2*w - 2*s. Suppose c + 5 - w = 0. Suppose 0*i - 3*n = 4*i - 8, -3*i - 5*n = -c. Which is smaller: i or 0?
i
Let v be ((-19)/57)/(0 + 1). Which is bigger: v or 1?
1
Suppose c - 10 = -4*c. Let s be 8/10 - (-5)/(75/(-12)). Suppose 3*k + 17 - c = s. Is k greater than -6?
True
Let q = -94 - -1037/11. Is 0 at least q?
False
Let y = 7 - 4. Suppose 3 = 4*t - 5. Suppose 0 = -5*z - t*k - 1, -5*z + y*z - 2*k = 4. Is z less than or equal to 4/7?
False
Suppose -x - 2 = -1. Let d(o) = -4*o - 1. Let s be d(x). Suppose 