*i. Is -2 less than or equal to i?
False
Suppose 3*g = -2*z - g, -3*z + g = 0. Let u be 1*72/(-21)*1. Let m = u - -65/21. Which is bigger: z or m?
z
Suppose 0 = -0*d + 3*d - 6. Suppose -d*c + v = -4*v - 37, 5*c - 10 = -4*v. Are 14/3 and c nonequal?
True
Let g(l) = 2*l**3 - 5*l + 5. Let m be g(2). Is m at most 0.1?
False
Let s = 72 + -359/5. Let b = 5 + -2. Suppose -4*j + 2*w = 12, 0 = -b*j - 0*w + 2*w - 11. Which is smaller: s or j?
j
Let a = 0.56 + -0.5. Which is bigger: -1 or a?
a
Let o = -3 + 2.9. Let d = o - 0. Which is smaller: d or -2?
-2
Let b(n) = -n**3 - n - 1. Suppose -3*q + 30 = -5*y, -5*q + 3*y - 20 = -54. Suppose -u - q = 4*u. Let z be b(u). Is z > 2/3?
True
Suppose -2 = -4*l + 2. Let b = 5023/213 + 6/71. Let m = b - 23. Do m and l have the same value?
False
Let t(z) = -z - 7. Let r be t(-3). Which is bigger: r or -2?
-2
Let s(p) = p**2 - 6*p + 7. Let m be s(3). Is m < -17/5?
False
Let y = -2701361 - -11186335759/4141. Let b = -1/101 - y. Is b >= 0?
True
Let h = -11.27 - -11. Let f = h + 3.27. Is -0.2 smaller than f?
True
Suppose -2 - 2 = -4*g. Suppose 5*u = -14 - g. Which is bigger: 0 or u?
0
Suppose 3*x = 2*x. Let s(t) = 5*t**2 - 1. Let c be s(-1). Suppose x = 2*m + c - 0. Is -2 not equal to m?
False
Suppose -4 = -2*x + 4*x. Let w be 2 + -9*x/(-8). Suppose 3*u = -3, d - 2*u - 2 = u. Which is greater: w or d?
w
Let d(r) = -r**3 + r + 1. Suppose 24 = 4*x - 0*x. Let u(c) = 4*c**3 + c**2 - 8*c - 5. Let n(t) = x*d(t) + u(t). Let j be n(1). Which is smaller: -1/2 or j?
j
Let a = 88/3 - 1319/45. Which is smaller: a or 1?
a
Suppose -4*y + 5 = x, -3*y + 1 = 3*x + 2*y. Let v be x*((-20)/(-9) + -2). Which is smaller: -1/5 or v?
v
Suppose -2*y - 864 = -14*y. Which is greater: 71 or y?
y
Suppose 3*w + 33 = -15. Is -16 smaller than w?
False
Let s = -6 - -4. Let u(b) = -7*b + 4*b + b**2 - 3*b**2. Let a be u(-2). Is s greater than a?
False
Suppose -c - 2 = 4*k, c = 2*k - k - 2. Suppose 3*s + 8 = -1. Is k at most s?
False
Let j = -485589955/792 - -613119. Let o = 1/198 + j. Which is smaller: o or -1?
-1
Let b be (4/(-9))/(60/9 + -3). Which is bigger: -1 or b?
b
Suppose 3*d + d = -20, 0 = -5*m + 4*d + 70. Let p = 10 - m. Which is smaller: -1/4 or p?
-1/4
Suppose -7 = 3*w + 47. Let l = w + 12. Let v = -4 - l. Does 1/2 = v?
False
Let s be 3*(-1 - 15/(-9)). Suppose -3 = 3*r - s*r. Let l be 1/2*(r - -2). Is -2 less than or equal to l?
True
Let x be 6/9*(-1 - 115). Let v = x - -78. Which is smaller: v or -0.2?
-0.2
Let j = -47 + 46.05. Let o = -0.05 + j. Let h = 1.1 + o. Which is smaller: 3/5 or h?
h
Suppose 3*b = -5*v + 43, 3*b - v + 11 = 4*b. Suppose b + 6 = 4*w. Let q be ((-2)/w)/(2/(-12)). Which is bigger: 5 or q?
5
Let y = 24 + -40. Let g = y + 15. Which is smaller: -1/10 or g?
g
Let s be (-7)/(-24) - (3/12 - 0). Which is smaller: s or 1?
s
Let x = -1361/9 - -152. Let y = -44/45 + x. Let m = 1 + -2. Which is greater: y or m?
y
Let x(v) = -2*v - 10. Let p be x(-6). Which is bigger: 10 or p?
10
Let j be (-3)/(-2)*(-4 - -2). Suppose -f = -0*f - 3. Suppose -4*w + 6 = 2*n, 0 = -5*w + 12 + f. Are n and j equal?
True
Let a be (-13)/(-20) + 4/(-16). Let p = -18 - -26. Is a smaller than p?
True
Suppose 2*q - 4 = 4*n, 8 = 15*q - 17*q + n. Suppose 3*s + 34 = 13. Let u be 33/s + (-2)/7. Which is smaller: q or u?
q
Let v(w) = -2*w + 15. Let f be v(10). Let a(n) = -n**2 - 4*n + 3. Let c be a(f). Which is bigger: c or 0?
0
Let o = -2666/4459 + -6/343. Is o <= -2?
False
Let b = -13 - -18. Suppose -7*h + b = -2*h. Which is smaller: 1/9 or h?
1/9
Suppose -w + 3*k = -175, 2*k = -5*w - 0*k + 790. Let v = w + -476/3. Is 2 smaller than v?
False
Suppose 4*j + 36 = 2*m, j + 0 = m - 19. Which is smaller: m or 21?
m
Let l be 4/(-18) - -15*26/(-108). Is l at most as big as -5?
False
Let q = 643/3 + -46945/219. Let p = q - 67/219. Is p smaller than 0?
True
Let d = -9 - -11.5. Let v = d - 0.5. Let n = -4 - -6. Is v smaller than n?
False
Let a = 35 - 69. Let s = -49 - a. Let f be ((-21)/s + -1)/(-2). Do f and -1 have the same value?
False
Let u be 6/(-2) + 2075/(-117). Let m = 188/9 + u. Which is greater: 0.1 or m?
m
Let f = -9 + 15. Let y be f/((-2)/(-4) + -2). Let z = 141 - 144. Is z smaller than y?
False
Let a(b) = -b**2 - 4*b + 3. Let v be a(-7). Is -1 equal to v?
False
Suppose 5*p + 30 = -0*p. Let y be p/105*(0 + 1). Does y = 1?
False
Let x(s) = 2*s. Let g be x(-3). Suppose -1 = -2*u + 5. Suppose 2*i + 35 = -u*i. Which is smaller: i or g?
i
Let a = -0.09 - -3.09. Let s be 0 + -1 + (-6)/(-4). Which is greater: s or a?
a
Let i = -33 + 31. Let k = 47/2 + -24. Is i < k?
True
Let g(t) = 15*t. Let a be g(1). Suppose -5*f = c - 3*c - a, -5*f - 20 = 5*c. Is -2 at least f?
False
Let f = 3 - -7. Is 9 at least f?
False
Let f = -2/103 - -212/309. Let p be 3/3*2 - 0. Let x = 9/2 - p. Do x and f have different values?
True
Let o(p) = -p**2 - p. Let n be o(0). Suppose 4*f + 0 - 8 = n. Suppose -4*u + f = 22. Which is smaller: -4 or u?
u
Let s be ((-7)/(-14))/((-2)/(-16)). Suppose -s*z + 2 = -4*a + 2*a, 4*a + 4 = -z. Is 0 equal to z?
True
Let f(g) = -g**3 + 4*g**2 - g + 4. Let o be f(4). Which is smaller: 1/41 or o?
o
Let k be (-2)/3*(-9)/12. Let q = -1 - -2. Let u = q - 1.1. Is k at most as big as u?
False
Let c(y) = -4*y**2 - 7*y + 2. Let k(d) = 9*d**2 + 15*d - 3. Let u(b) = 7*c(b) + 3*k(b). Let i be u(-5). Let z be 2/8 + (-11)/12. Which is smaller: i or z?
z
Suppose 37 + 26 = 3*g. Let n be (g/(-15))/(4/(-20)). Which is smaller: 5 or n?
5
Let l = -6 + 3. Let p = l - -5. Let q be 2*(-1*2)/4. Are q and p equal?
False
Let p be ((-16)/6)/((-1)/(-3)). Let o(t) = -t**2 - 6*t + 9. Let a be o(-8). Which is smaller: a or p?
p
Let k = 13.5 + -0.5. Is 2/5 bigger than k?
False
Let l(r) = -7*r + 2 - r + 9*r. Let g be l(-2). Let n = -50/21 + 8/3. Is g at most as big as n?
True
Let p = -77 + 77. Which is smaller: p or 2/69?
p
Let j = 21 - 35. Are j and -14 equal?
True
Let q = 7 - 8. Which is smaller: -2/7 or q?
q
Let h = 0.08 - 0.29. Is -0.1 smaller than h?
False
Let y(v) = -v**3 - 11*v**2 + 14*v + 15. Let o be y(-12). Which is smaller: -10 or o?
-10
Let a be -1*(12/(-2))/3. Suppose 4 = -2*m + 3*p - 9, -a*m = p - 7. Let q(s) = -s**3 - 1. Let b be q(m). Which is greater: b or -1?
-1
Suppose 3*u - d = -84, -2*u - 4*d = -6*d + 60. Is u <= -27?
True
Let i(g) = g + 27. Let h be i(-17). Which is bigger: -1 or h?
h
Suppose 0 = 3*c - 4*c - 1. Let q be 0 + 1*2/(-8). Which is smaller: c or q?
c
Let u = 69 + -68.9. Is 0 at least u?
False
Let h = -135931/49 - -2774. Is h < 1?
True
Let k(f) be the second derivative of -f**4/12 - 5*f**3/6 - 2*f**2 + 2*f. Suppose r = 4*j + 24, r = -j - 3 + 2. Let s be k(j). Do -4 and s have the same value?
True
Let i = -21/8 - -247/88. Let r = -9 - -11. Suppose 0 = r*t - 5*t. Is t equal to i?
False
Let o(l) = l**2 - 7*l + 8. Let x be o(6). Let r = x + -1. Which is smaller: r or 3?
r
Let f be 3/9 + (8/(-3))/(-4). Let z be 5/(-4)*(-186)/10. Let t = 23 - z. Is t equal to f?
False
Suppose 5*u - 69 = 3*i, 0*i + 64 = 4*u + 2*i. Let c = u + -59/4. Let k = -95 + 189/2. Is k at least c?
False
Suppose 2*p + 4*z = z + 13, 4*p - 23 = -3*z. Let m be 26/(-11) + (7 - p). Let t = -2 - -1. Which is greater: m or t?
m
Suppose 2 = 4*m - 6. Suppose m*x - 8 = 0, 0*f + 4*x = f + 12. Suppose -o - 10 = f*o. Which is smaller: o or 0?
o
Let v(f) = f**2 - f - 2. Suppose -4*a + 10 = 2. Let c be v(a). Suppose 4*h + 32 = 4*n, c = -h + 5*n - 10 - 18. Are h and -3 equal?
True
Let o(t) = -t**3 - 12*t**2 + 13*t - 1. Let a be o(-13). Let d be 2/(-1) - (-94)/52. Let x = d + -4/13. Which is greater: x or a?
x
Let v be (-4)/20 - ((-11)/5 - -2). Is 25 <= v?
False
Let l(y) = -y - 1. Let m be l(-1). Suppose -3*j + 6 + 0 = m. Do j and 1 have the same value?
False
Let i = -29 + 33. Let s(l) = 3*l - 3. Let n be s(2). Is n equal to i?
False
Let n(s) = 2*s + 8. Let q be n(6). Is q greater than or equal to 19?
True
Let q = 24.1 - 40.2. Let o = -16 - q. Is 1/5 at least o?
True
Suppose -a - t = 2*a - 11, 4*t = 5*a - 7. Suppose a + 2 = 5*o. Suppose 0 = -4*b + o + 3. Is -2/9 less than or equal to b?
True
Let o(n) = -3*n**3 + n**2 + n. Let y be o(-1). Suppose 5 = -y*d - 4. Is d smaller than -5?
False
Suppose 2*z = 3*z + 3. Is z != -3?
False
Let s = -0.12 + 0.38. Let a = s - -0.04. Let h = a + -0.2. Which is bigger: 0 or h?
h
Su