**2/2 - 5*t + 1. Let l be q(-4). Is z equal to l?
False
Let r be 0/(((-2)/(-4))/((-2)/(-4))). Is r at most 2?
True
Let g(q) = 2*q + 8. Let o be g(6). Let f be o/(-9) + 2 - 0. Which is greater: 0 or f?
0
Let l = 31 + -7. Let b be (2/(-5))/(l/(-15)). Let i = 0 + 0. Is i equal to b?
False
Let r(p) = -p**3 - 4*p**2 - 4*p - 2. Let b be r(-2). Let n be 1/(-2)*0/1. Suppose -4*l + 6*l = n. Which is bigger: l or b?
l
Let s be ((-4)/8)/((-1)/2). Suppose k - s = -0*k. Let u be (-32)/(-12) + k*-2. Is 0.2 equal to u?
False
Let v = 5 + -1. Let m = v - 5. Is m equal to -2?
False
Let c be -1 + (-16)/(-6) - 1. Let w = 5 + -5.1. Let g = w + 0.2. Which is bigger: g or c?
c
Let m = -79 + 43. Let v be ((-8)/m)/((-5)/3). Which is bigger: 1/2 or v?
1/2
Let k be ((-440)/30)/((-4)/6). Is k greater than or equal to 20?
True
Let s(w) = -w**3 - 14*w**2 + 14*w - 10. Let c be s(-15). Suppose -15 = -4*f + 2*p - 5, 0 = -2*f + c*p - 7. Is f greater than 2?
True
Let z = -21.06 - -21. Let y = z - 0.04. Which is smaller: y or -2?
-2
Let j be (3 + 0 + -20)*-1. Suppose -3*s - 4*r + j - 7 = 0, -3*r + 8 = 2*s. Let h be (s/3)/((-5)/15). Which is smaller: h or 3?
h
Let l be (-2)/(-8) - 26/(-24). Let m = 6 + -6. Which is smaller: m or l?
m
Let b(i) = i**3 + 3*i**2 + i - 2. Let y be b(-2). Let s = -18 - -37/2. Is y >= s?
False
Suppose -4*n = 5*z + 11, 0*n - 4 = n. Which is smaller: -3/19 or z?
-3/19
Let s = 3 + 2. Suppose 2*k = k + s. Let u(i) = i**2 - 4*i - 5. Let r be u(k). Is r less than or equal to -1/10?
False
Let j be (6/(-4))/(6/8). Is 4 > j?
True
Suppose -7 = -3*d - 31. Let g = -6 - d. Suppose 0*a + g*a = 0. Which is bigger: a or -2/3?
a
Suppose 3*q + 2*q - 15 = 0. Suppose -4*p = -p - q. Suppose -4 = 3*r - p. Is -2/9 > r?
True
Let z be (-1)/3*(-4 + 4). Are z and 2/25 unequal?
True
Let k = 9508 + -104432/11. Is 15 equal to k?
False
Suppose 0 = 3*g - 4 - 8. Which is bigger: g or -0.4?
g
Let g = 50 - 30. Which is bigger: g or 0.1?
g
Suppose -5*d - 4*p - 30 = 0, d - 6*d = 5*p + 35. Which is smaller: d or -7/3?
-7/3
Let f(o) = 5*o**2 + 9*o - 8. Let a(d) = 4*d**2 + 8*d - 7. Let k(m) = -6*a(m) + 5*f(m). Let u be k(2). Suppose 2*h + 2*h + 16 = u. Is h at least -3?
False
Let o = 0.18 + 8.82. Let v = 9.91 - 0.31. Let j = o - v. Are 1 and j equal?
False
Let o(g) = -g**3 + 8*g**2 + 8. Let h be o(8). Let x be (-4)/(-12)*(-6)/h. Which is bigger: x or -8?
x
Let r = 109 + -113. Are -4 and r non-equal?
False
Let x = -0.04 + 1.04. Let v = x - 2. Let c = v + 1.1. Is -4 >= c?
False
Let d be 48/56*14/3. Suppose -d*n + 0*n = -5*v - 22, -4*v = 3*n - 1. Is 0.8 less than v?
False
Let g be ((-4)/(-10))/(90/(-25)). Let i = 0 - -0.2. Which is smaller: g or i?
g
Let y = 1.12 - 0.12. Let f = -4 - -3. Is f greater than y?
False
Let m = -1 + 5. Suppose 0 = -3*p + 4*g - 19, -4*g + 18 - 6 = m*p. Let z be (2 - 2 - p) + 0. Which is greater: z or 1/6?
z
Let a(k) = k**3 + 16*k**2 - 17*k + 16. Let u be a(-17). Which is bigger: u or 17?
17
Suppose 8 = -2*j + 6*j. Which is smaller: j or 6/7?
6/7
Let t be 3/(-6) - 25/(-10). Suppose -4*z - t = 2. Which is smaller: z or 1?
z
Suppose -5*k - 13 - 2 = 0. Is k at most -6?
False
Let d be 3*6/387*1. Which is smaller: d or -1?
-1
Let z = 2356/65 - 182/5. Let t be 10/20 - (-1)/(-2). Is z less than or equal to t?
True
Let u be ((-1)/(-3))/(10/(-30)). Let k be (-4)/18 - 12/27. Which is greater: k or u?
k
Suppose 3*b - 4*b = -3*i - 23, -5*b - 3*i = -25. Is 38/5 != b?
True
Let d(f) = -f**2 + f - 1. Let a be d(0). Let k be (4 + -2 - 0)/(-9). Which is smaller: k or a?
a
Suppose -s = 2*s + 3. Let v = -0.01 - -0.31. Let d = v - 0.2. Which is smaller: d or s?
s
Let r be (-366)/5 - 4/(-20). Let a = r + 509/7. Is a at most -3?
False
Suppose -3*o + 10 = 25. Let s be 5/((0 - -1)*-1). Is o greater than s?
False
Let u = -63 + 62. Is u greater than 1/4?
False
Let n = -29/60 + 3/20. Which is smaller: n or 1?
n
Let d be (0 - 2)*(-8)/4. Which is smaller: d or 26/7?
26/7
Suppose -3*d = 5*l - 25, 7*l - 4*l - 3*d + 9 = 0. Let q = 2483/7 + -354. Is q at least l?
False
Let f(y) = y**2 + 2*y + 3. Let x be f(-2). Let m = 8 + -4. Is m <= x?
False
Suppose -2*c = -5*i + 13, -2*i = i - 3. Let f be (c/3)/((-14)/3). Which is smaller: -1 or f?
-1
Let l = -6 - -8. Suppose -2*g = k - 4 - 0, g - l*k + 3 = 0. Let z(w) = -w**3 + w**2 + 3*w - 2. Let d be z(2). Is d > g?
False
Suppose 0 = -0*y - 3*y - 15. Suppose 4*j + 17 = -4*d - 11, -2*j + 4 = -d. Which is smaller: d or y?
d
Suppose 4*b - 3*g - 36 = 0, -b - g - 2*g - 6 = 0. Which is smaller: 4 or b?
4
Suppose -4*v = 2*o + 62, -5*o + v - 5*v = 173. Which is smaller: -36 or o?
o
Let q(u) = -4*u + 4. Let r be q(5). Which is bigger: -17 or r?
r
Let l = 4.02 - 0.02. Let b = -8 + 3. Let k = b + l. Is k bigger than 0.2?
False
Let b = -476/3 - -20945/132. Which is greater: b or 0?
b
Let v = -14 - -16. Which is smaller: v or -2?
-2
Let h = -9.18 + 0.18. Let r = 6 + h. Let i = r + 4. Is 0.2 less than i?
True
Suppose 0 = 2*g - 0*g - 48. Let t be (-2)/(-9) - g/(-378). Is t < -1?
False
Let k = -10 + 2. Let w = k - -8. Is w less than or equal to -1/8?
False
Let x(q) = 2*q**3 - 4*q**2 + q + 2. Let w be x(2). Let c be 0/w*1/(-2). Is c less than -1/3?
False
Let b = -14.9 + 15. Is b at most as big as -3/8?
False
Let q = 625/7 - 89. Which is bigger: 1/5 or q?
q
Let g(d) = 3*d**2 + 8*d + 5. Let w(n) = n**2. Let v(a) = g(a) - 2*w(a). Let u be v(-8). Let x be (-2)/(-2 - u/(-2)). Is -3 greater than x?
True
Suppose 4*w + 0 = -j - 11, -j = -1. Which is smaller: -1 or w?
w
Suppose 0 = -0*p + p. Let v(b) = -b**2 + b - 1. Let i(q) = -6*q**2 + 17*q - 15. Let t(c) = -i(c) + 5*v(c). Let u be t(11). Which is greater: u or p?
p
Let d be (2 - -2)/4 - -2. Let v(s) = -s**2 - 4*s + 1. Let w be v(-4). Let u = w + 1. Which is smaller: d or u?
u
Let w = -1.4 - -4.4. Let q = -1782/7 - -255. Does w = q?
False
Let r = 0.35 - 0.05. Let h = 5.8 - 6. Which is greater: h or r?
r
Let w be ((-8)/4)/(1/2). Let x = w - 1. Is x at most as big as 0.1?
True
Suppose -5*y + 57 = -43. Let d = 21 - y. Is -1 < d?
True
Let s = 0.5 - 0.64. Let a = s - 0.1. Let o = 0.04 + a. Do -0.1 and o have the same value?
False
Let v be (-9)/15 - (-1)/5. Let x = -2 + 8. Let f = x - 6.1. Which is smaller: v or f?
v
Let w(v) = -v**2 + 7*v - 1. Let q be w(6). Suppose 0*c + q = 5*z + 2*c, 3*z - 3 = 2*c. Is 1 at most z?
True
Let j be (-164)/(-1050) - 1/7. Which is smaller: j or 0?
0
Let v(n) = n + 9. Let w be v(-7). Suppose 0 = 3*m - w - 1. Is 1/4 bigger than m?
False
Let y = 0.14 - 0.14. Is -4 bigger than y?
False
Let n = -14 + 15. Suppose -3*a = -4*w - 4*a + n, 0 = -3*w + 5*a - 28. Is w less than or equal to 1?
True
Let u be -1 + 0 + -82*5. Let c be u/1890 - (-6)/27. Let f = c + -41/35. Is f greater than or equal to 0?
False
Let t be 2/2 - (-81)/(-99). Which is greater: t or -1/4?
t
Let z(a) = 4*a**2 - a + 1. Suppose 2 = 3*u - 1. Let r be z(u). Let q = r + -4. Which is smaller: -2/7 or q?
-2/7
Let k = -0.44 - 18.66. Let g = k + 20. Let v = 1 - g. Are v and 0 equal?
False
Let a = 11570876/66363 + 38/6033. Let c = 174 - a. Is 0 <= c?
False
Let r be -2*(-4)/(-48) - (-2)/(-60). Let z = 1 + 2. Suppose 5 = 5*g, -z*s = 2*s - g - 4. Which is smaller: r or s?
r
Let i(h) = -h. Let q be i(0). Suppose q = -6*o + 3*o. Suppose -5*t - 5*a + 5 = 0, 3*t = a - 5 - o. Are t and -4/5 equal?
False
Let x = -0.07 + -0.53. Let q = -0.4 + x. Let w = q - -0.7. Which is smaller: w or -0.2?
w
Let i = 2.9 + -1.8. Let x = -1 + i. Is x equal to 2/21?
False
Suppose 0 = -2*v - 3*v. Suppose -5*x + 1 = -3*a - v, -2*a - 3 = -x. Let c = 0 - -1. Which is smaller: x or c?
x
Let s(g) = g**2 + 4*g + 8. Let t be s(-6). Suppose 5*m - t = m. Is 6 not equal to m?
True
Let z = 468/7 - 67. Let p = z + -11/21. Which is bigger: p or 1?
1
Suppose -3*b - 2*b + 5 = 2*s, 0 = 2*b + 2*s - 8. Let k be 6/(-4) - (-114)/108. Let m = 1/9 + k. Which is bigger: m or b?
m
Suppose 0 = q - 4 + 5. Are q and -4/5 nonequal?
True
Let q be 85/(-136) + 3/(-8). Which is smaller: -9/5 or q?
-9/5
Let n = 32 - 30. Does n = 2/3?
False
Let p = -16202 + 729167/45. Let j = p + -1/9. Is j less than or equal to 1?
False
Let h = -48916504 - -484224474100/9899. Let p = -2/521 - h. Is -1 at least as big as p?
False
Let j = 0.1 - 0.6. Which is smaller: j or 3/11?
j
Let d(f) = -3*f**2 - 2*f - 1. Let a be d(-2). Let x be 4/