-4*z - 14. Let j be d + -1 - (-170)/80. Is -1 less than or equal to j?
True
Let c be 5 + (-210)/12 + 1/2. Which is bigger: -10 or c?
-10
Suppose -4*u - 4*h + 32 = 0, -3*h - 4 = -4*u - 0*u. Suppose s = -u*s + 30. Are 5 and s equal?
False
Suppose 0 = 4*n + 5 + 3. Let l be (n/(-4))/(1/(-2)). Suppose -2*k = -3*k + 3*m + 9, -5*k - 19 = m. Which is bigger: k or l?
l
Let r = -3/9347 + 9935876/46735. Let k = -214 + r. Is k greater than 0?
False
Suppose 0*c = 3*g + 5*c + 4, -4*g - 3*c - 20 = 0. Which is greater: g or -9?
g
Suppose -x - 1 + 0 = 0. Let s = x - -1. Suppose 1 = -s*r + r. Which is smaller: 3 or r?
r
Let s = 1.93 + -0.23. Let l = -6.7 + s. Which is smaller: 0 or l?
l
Let y(d) = 3*d**2 + 3*d + 1. Let p be y(-2). Let o = -25 - -32. Do o and p have the same value?
True
Let r = 17 + -10. Let x = r - 7. Is -2 not equal to x?
True
Let d(y) = -1 - 2*y - y**2 - 3 + 0*y + 2. Let p be d(-1). Is p at most 1/4?
True
Let l = -33.1 + 35. Let z = l + -9.9. Let g be 0/(1 - (1 + 2)). Do g and z have the same value?
False
Let m(a) = 2*a + 4. Let q be m(-4). Let s be q/(-14) + 4/(-14). Is -2/7 less than or equal to s?
True
Suppose -4*g = -64 + 16. Which is smaller: g or 11?
11
Let h = 82465/4 - 20468. Let o = h + -147. Which is greater: 0 or o?
o
Suppose 2*u + 51 - 11 = 0. Let m be 8/u*10/8. Is m greater than -1?
True
Let q = 13 + -11. Let i = -2 + q. Is -3/7 at least i?
False
Let p(w) = w - 26. Let i be p(18). Which is smaller: -0.1 or i?
i
Suppose -3*u - u - 84 = 0. Let v be 2/8 + u/52. Suppose 2*z - z + z = 0. Is v > z?
False
Suppose -5*c + c = 0. Let m be -1*c/(1 - 2). Let x be (-2)/((0 - 2) + m). Is x smaller than 1?
False
Suppose -33 = -4*j - 5*z, -3*z + 20 = z. Let d be (j + -2)*1*-1. Is d less than 1?
True
Let x(k) = -k**2 - 2*k + 1. Let h be x(2). Is -7 at least as big as h?
True
Let a = -15 + 5. Let z = a - -4. Let d be z/7*(-3)/9. Which is smaller: d or 4?
d
Suppose 2*l = 5*l - 5*s + 47, -4*s = 4*l + 20. Let n be 1/(1*l/6). Suppose 0*r + 8 = -4*r. Which is smaller: n or r?
r
Let f = 12 - 11. Let x = f - 3. Which is smaller: x or -4/5?
x
Let m be 1*-1 - (-1)/1. Suppose 2*h - 34 = 56. Let j be (-9)/h - (-2)/(-10). Is j at most as big as m?
True
Suppose 0*b + 5*b + 25 = -5*u, -2*b + 2 = -u. Let l = -47 + 142/3. Is b smaller than l?
True
Let w = 5 - -6. Suppose -o - w + 3 = 0. Which is greater: o or -9?
o
Let g be 10*1 - (11 + -10). Is 8 smaller than g?
True
Let p = 12/187 + 2/17. Suppose 2*y + 5 = -3*o, -4*y - 4*o = -0*o. Suppose 7*a - y*f + 5 = 2*a, 2*a - 6 = -2*f. Which is bigger: a or p?
a
Let o be 45/3*(1 + -2). Let v be (-47)/o + (7 - 10). Which is greater: 0 or v?
v
Let s(r) = -r**2 - r - 1. Let p be s(7). Let f be -2 + 5 - p/(-9). Which is smaller: -4 or f?
-4
Let q = -79 + 43. Let o be 34/(-18) - 8/q. Which is smaller: -2 or o?
-2
Let m be 2/(8/2)*0. Suppose 0 = 2*t - 2 - m. Is t less than or equal to 1?
True
Suppose 3*x + 5 = q, -2*q + 4*x = 3*x. Which is smaller: q or 2/81?
q
Let m = -20 + 20. Which is greater: m or -1/7?
m
Let i = 12 + -21. Let l = i - 0. Is l greater than or equal to -0.1?
False
Suppose 3*u + 5 = 5*m, -2*u + 5*u + 5*m - 5 = 0. Does 3/5 = u?
False
Let d be ((-10)/3)/((-6)/18). Which is smaller: d or 11?
d
Let b be (-35)/20 + (1 - -1). Is b bigger than -2?
True
Let j = -71/132 - -4/33. Let d = -1/12 - j. Which is smaller: d or -1?
-1
Suppose -5*c + f = -15, -4*f + 45 = 5*c + f. Let g = c - 1. Suppose -k - 7 = -3*t, -g*k - 9 = -5*t - 4*k. Which is smaller: t or 3?
t
Suppose -2*h - 4*n - 2 = 0, -h - 2*h - 4*n = 5. Suppose 5*f = 2*a - 3, f = 2*a - 0*f - 7. Let z = a + h. Is -2/13 equal to z?
False
Let g = -38.73 + 36.7. Let h = -0.02 + -0.01. Let a = g - h. Which is smaller: a or -1/4?
a
Suppose 3 = -2*k - 1. Let j be (-1 - k/6)*3. Which is smaller: -1/2 or j?
j
Let v(z) = 3*z - 1. Suppose -5*p + 1 = -4. Let m be p - 0*1/1. Let s be v(m). Is s less than 0.1?
False
Let c be (11*-1 - 0) + 0. Let f = 7 + c. Which is bigger: f or -5?
f
Suppose -2*b - 10 = 0, -b + 2*b + 11 = -2*a. Is -1 > a?
True
Let c be (-18)/(-12)*(-20)/(-6). Suppose 6 - 16 = -2*k. Is k equal to c?
True
Let c = -23 + 41. Suppose d - 3*r + c = 3*d, -2*r = -4*d + 4. Let k = d + -2. Does 2 = k?
False
Let u(q) = -q - 9. Let i be u(9). Let y = i + 10. Let n be 4/y*10/3. Which is bigger: n or -1?
-1
Suppose -2*p = 2*p. Let t = 29 + -29. Suppose p = -t*k - 5*k - 5. Are 3/2 and k non-equal?
True
Suppose 3*n + 3*m + 3 = -0, 5*m - 11 = 3*n. Suppose -4*s = -20, 3*s + 11 = -x + 5*s. Which is smaller: n or x?
n
Suppose -5 = z - 2*z. Suppose 0 = -z*j + j - 28. Suppose -17 = -4*q - 45. Is j less than q?
False
Let l = 3.05 + -3. Let k = l + -1.05. Let z = -0.9 - -1. Which is smaller: z or k?
k
Let q be (3/2)/(5/40). Suppose 0*a + 2*a = -q. Which is smaller: -7 or a?
-7
Let m = -31 + 152. Let c = 1087/9 - m. Which is bigger: c or 0?
0
Let a = -0.1 + 4.1. Is a > 4?
False
Let b = 6 + 0. Let v be -3 - 1 - (0 - -1). Let z = v + b. Is z greater than or equal to -1/4?
True
Suppose -2 = f, 3*f = -4*y + 2*f - 22. Let x = y + 5. Which is greater: -2/17 or x?
x
Let i(u) = -u**2 - 7*u - 7. Let l be i(-5). Let y = 1 - l. Let a = 5.1 + -5. Is a < y?
False
Let r = 0 + 1. Let a = 3 + r. Suppose 3*u - 4 = -a*p, 4*u + u + 1 = p. Are p and 3/5 non-equal?
True
Let z(i) = 5*i - 4. Let l be z(4). Is l smaller than 15?
False
Let f = 29 - 37. Do f and -7 have different values?
True
Let b be ((-2)/3)/(5/60). Which is greater: b or -9?
b
Suppose -2*d - 3*g + g = 0, -2*d = -3*g. Suppose -2*q = 2*q. Does d = q?
True
Let t(x) = x - 9. Let l be t(11). Let c be 3*((-39)/9 + l). Does -6 = c?
False
Let f = -103 + 517/5. Is f greater than or equal to -0.6?
True
Let p(o) = o**3 - 7*o**2 - 9*o + 4. Let c be p(8). Let j be (8/(-4))/((-2)/8). Let u = j - 12. Is u greater than c?
False
Suppose 0 = -2*b + 12 + 4. Suppose -3*s + 7*s - b = 0. Which is greater: 4 or s?
4
Suppose 5*m + 5*x = -45, 2*x = -2*m - 3*m - 36. Let p = m + 8. Let q be (p - 1)/((-10)/5). Is -2/5 >= q?
True
Suppose 3*q = 3*y - 123, -3*y - 4*q + 52 = -y. Let f be 2/9 + (-32)/y. Which is greater: f or 0?
0
Let i(k) = k - 3. Let b be i(4). Let u = -2 - 1. Let v(t) = -t**2 - t + 2. Let g be v(u). Is g > b?
False
Suppose 5*k + 0 = -2*d - 1, -5*d - 3*k = -7. Suppose -3*u = -2*u, -u = t - d. Do 2 and t have the same value?
True
Let b(j) = j**3 - 2*j - 1. Let c be b(2). Suppose -h - 4*h = c*m + 6, 2*h - m - 2 = 0. Which is smaller: h or -4/5?
-4/5
Let r = 10.8 - 0.9. Let a = r + -10. Which is greater: a or -2?
a
Let w be -4*4/72 - 38/(-9). Are w and 5 non-equal?
True
Let h = -0.25 - 0.05. Let o = -116/7 - 69/14. Let c = o - -22. Which is greater: c or h?
c
Let f be 6/((-4)/(-2)*1). Let a(j) = j**2 + 6*j + 7. Let c be a(-5). Suppose -4 = -c*g - 0. Which is smaller: f or g?
g
Let b = -31 - -30. Which is smaller: b or 0?
b
Suppose -6 + 6 = -13*p. Is p smaller than 4?
True
Let z = 5.9 + -6. Which is smaller: z or 73?
z
Let u = 0 - 0. Let c = 31 - 30. Which is smaller: c or u?
u
Suppose -6*d + 101 = 65. Is d not equal to 6?
False
Let c(o) = o + 2. Let w(x) = -2*x - 5. Let n be w(-5). Let f be c(n). Is 7 < f?
False
Let p be 0/((-4)/2 + -2). Are 2/17 and p equal?
False
Suppose 17 = -4*h + 49. Suppose -2*w - 2*j = 0, -3*j = -5*w + h + 16. Suppose 0 = 4*p - 2*p - 4. Which is smaller: w or p?
p
Suppose -k + 5 = 0, -284 = -5*c + k + 101. Which is smaller: c or 77?
77
Let j = -105 + 128. Is 22 less than j?
True
Suppose -5*g + 3*j + 68 = 0, -22 - 20 = -3*g + 3*j. Let r = g - 245/19. Which is smaller: r or -1?
-1
Let k(u) = u**3 - 10*u**2 + 8*u + 12. Let x be k(9). Let i be -1 - (-1)/(-2 + x). Which is smaller: 4/27 or i?
i
Suppose 0*b = -b, 16 = w + 5*b. Which is greater: w or 59/4?
w
Let u = -14 - -43. Let o = u - 142/5. Let l = 145 - 1017/7. Which is greater: l or o?
o
Let k = -18 + 14. Which is smaller: k or -2?
k
Let y = 25/24 - 27/8. Let z(l) = -l**3 + 3*l**2 + 3*l - 2. Let c be z(4). Let t = -7 - c. Is t equal to y?
False
Let d be (-46)/(-14) - (-4)/(-14). Let i be 1/(-2) - d/6. Let n be (i/((-3)/6))/7. Which is smaller: n or -1?
-1
Let f(m) = m**2 + 2*m + 2. Let l be f(-2). Let q be (l/(-4))/((-5)/2). Which is smaller: 1 or q?
q
Let m = 35/18 - 137/126. Let y = 3 - 5. Let x = -1 - y. Is m less than or equal to x?
True
Let x be ((-1)/(-2))/((-3)/37). Let p be 