. Suppose -3*l + p = -0*l. Let m be -2*1*(-1)/2. Is l smaller than m?
False
Suppose -a - 4*a + 20 = 0. Suppose -d + a*d = 0. Let z = 75 - 227/3. Is z equal to d?
False
Let x = -3 - -4. Let k be x/4*(-13)/10. Let z = k + 1/8. Do -1 and z have different values?
True
Let b be (-5 - -6)/((-1)/2). Is b not equal to -6?
True
Suppose 5*l + i - 31 + 1 = 0, -2*i + 5 = -l. Suppose -5*f + 0*f + l = 0. Let c be -1*(f + 2 - 2). Which is bigger: c or -2?
c
Suppose 3 = -4*u - 1. Let s be (-6)/(-18) + u/3. Do -1/9 and s have different values?
True
Let z(y) = -y - 6. Let o be z(-5). Let j be (o - -2)*-1*-1. Suppose -3*d = -6 + 3. Is d greater than or equal to j?
True
Let f be (-30894)/(-10299) - 1 - 2. Let c = f + -1537979/17165. Let s = 90 + c. Which is smaller: -1/4 or s?
-1/4
Suppose 5*w = 2*w. Let b be 2/(-5) - (-2)/5. Is w at least as big as b?
True
Let x be 2/16 - 324/1056. Is -1 > x?
False
Let t be (-102)/30 - (-4)/10. Suppose -4 = 3*a + 5. Is t != a?
False
Let b(s) = -s**3 + 6*s**2 + 3*s - 3. Let v be b(6). Suppose 3*g - v = o, 6*g = g + 25. Is -1/3 != o?
True
Let m be 3/3 + -1 + -1. Let v be (1/2)/(m/4). Is -3/4 less than v?
False
Let x = -214 - -213.96. Suppose 8 = -5*j - 2. Is x < j?
False
Suppose 0*w - 16 = 4*w. Let g(m) = -m**2 - 2*m + 5. Let y be g(w). Which is smaller: -4 or y?
-4
Let u = 0 + 1.8. Let s = 0.2 + u. Which is smaller: s or 0?
0
Let c = 10 + -14. Is c >= -3?
False
Let o(j) = j**3 - 7*j**2 + 6*j + 2. Let b be o(6). Suppose 0 = -5*g - 15, -h + 30 = 3*h - b*g. Suppose 0*d + h = -2*d. Is -3 at least as big as d?
True
Let g = 59 - 33. Do g and 26 have the same value?
True
Let p = 5 + -3. Suppose -5*z = m - p, 3*m + 2 - 8 = -4*z. Which is smaller: -2/3 or z?
-2/3
Let l(j) = -j**2 + 8*j + 6. Let p be l(8). Let a be (4/33)/(p/9). Which is smaller: a or -0.1?
-0.1
Let c = 19 - 20. Which is bigger: 0.1 or c?
0.1
Let z be (-2)/(-7) - 9/(-42). Suppose 2*c - 7*c = 15. Is z less than c?
False
Let b(c) = 2*c - 5. Let s be b(2). Is -5/3 smaller than s?
True
Suppose 1 = 5*w - 19. Suppose -w*k = 5 - 1. Which is greater: k or -1/4?
-1/4
Let u = -0.23 - -21.23. Let i = u + -21. Is 2 not equal to i?
True
Suppose c + c = -q - 26, 2*c = -4*q - 38. Let l = -13 - c. Is l smaller than -4?
False
Let s(v) = v**3 - v**2 - 2*v + 1. Suppose -4*c = 4*r - 2*r - 22, 3*r - c = -2. Let w be s(r). Are w and 1/4 equal?
False
Let d = 0.05 + -0.15. Which is smaller: d or 7/6?
d
Let z be 44/10 + 2/(-5). Suppose z*i - 2 - 2 = 0. Are 2/11 and i non-equal?
True
Suppose -2*h - 2*h = 0. Let d(p) = -p + 1. Let l be d(h). Is -1 at most as big as l?
True
Let u = -4 - -12. Suppose -2*j - 2 = -u. Let h = -1 - -3. Which is bigger: h or j?
j
Let h = 1 - -11. Let n = h + -13. Which is greater: -2 or n?
n
Let n = -4.65 - -1.75. Which is greater: n or -2/3?
-2/3
Let u be (2/6)/(-1) - (-5)/15. Are u and 2/77 nonequal?
True
Let a = 18 + -29. Let n be (a - -12)/(1*-1). Is n equal to 4/21?
False
Let k be (-1 - (-2 + -1)) + 0. Suppose -o - k*o = 0. Is -5/4 less than o?
True
Let p(t) = -t**2 + 6*t + 6. Let f be p(7). Suppose 3*q = q + 2. Is f greater than q?
False
Suppose -4*m = -0*s - 5*s + 6, -10 = -2*m - 4*s. Are m and 3 equal?
False
Let q = 51 + -257/5. Which is greater: q or -1?
q
Let l be (-2)/(-7) + 306/(-42). Are l and -8 unequal?
True
Let b be 6/8 - (-1)/(-1). Let v be (-2)/(-2) - (-60)/(-52). Is v at most b?
False
Let u be (-2)/(-3) - 4/6. Is u > -6/5?
True
Let r(m) = -m - 11. Let z be r(-10). Let s = -14 - -8. Let g be (4/s)/(2/1). Which is greater: g or z?
g
Let u = -0.17 - -0.07. Is 11 >= u?
True
Let n(l) = l**3 - 10*l**2 + 23*l - 16. Let x be n(7). Is -3 > x?
False
Let o = 97 - 69. Is o at most -0.1?
False
Let j = -13 - -15. Suppose j*x - 7*x = 0. Which is smaller: 4/13 or x?
x
Suppose -t - 1 = -2*t. Let u be (1 - 1) + 21/9. Is u at least t?
True
Suppose 3*g + 2*y + y - 102 = 0, y = 3*g - 122. Let t be -3 + -1 + g/10. Is t greater than -1?
True
Let k = -4 - 7. Is k >= -34/3?
True
Let s = -0.6 - -0.7. Let i = -59 - -123/2. Which is bigger: i or s?
i
Let q(v) = 2*v**2 - 5*v + 2. Let a be q(3). Suppose -z - a*s = -0*s - 17, -5*z + 2*s = -4. Is 2 < z?
False
Let k = -314/3 - -39244/375. Are k and -1 equal?
False
Let t(u) = -u + 9. Let y be t(-5). Suppose 1 = -f + 4. Suppose v - y = f*v. Are v and -7 non-equal?
False
Suppose 3*j - j - 6 = 0. Let q(g) = -g**3 - 2*g**2 + 1. Let w be q(-2). Suppose w + 2 = h. Are j and h non-equal?
False
Let y(o) = -2*o + 1. Let c be y(6). Let s(z) = -z**3 + 2*z - 3. Let b be s(2). Let u = b - c. Which is greater: 3 or u?
u
Suppose -17 = 4*o + 3. Is 4 at least as big as o?
True
Let z be ((-3)/54)/((-2)/3). Suppose -3*r + t - 1 = 0, 0 = 3*t - 6 + 3. Suppose -4*q + r = 4. Is z less than q?
False
Let o(c) = c**3 + 6*c**2 + 5*c. Let i be o(-5). Suppose g = 3*g. Let x = g + -1. Which is bigger: i or x?
i
Let z = 57585587 - 2937048136/51. Let j = z - -3592. Let b = 8/17 + j. Is -1 at most b?
True
Let m(p) = -p**3 + 2*p**2 + 4*p. Let x be m(3). Suppose -5*h = -x*y - 32, -4*y = 3*h + h. Is h <= 6?
True
Suppose -a = a. Is a greater than -6?
True
Let h = 0 + 3. Let l = 2 + -7. Let q = h + l. Which is smaller: -1/2 or q?
q
Let z = 0.25 + -0.35. Is z > 18?
False
Suppose 0 = 4*h - 3*h - 15. Is 16 at most as big as h?
False
Let w be -2 - (-8)/(1 - 0). Let f(h) = -h**3 + 5*h**2 + 7*h - 7. Let l be f(w). Which is greater: l or -2/9?
-2/9
Let m = -14 - -24. Let f be 8/m*(-8)/(-24). Are f and 1 unequal?
True
Let j = -301 + 1488/5. Which is bigger: j or -2?
-2
Suppose 0 = 4*u + 11 - 3. Is u at least 8?
False
Let q be (-1 + 2)*1 - -2. Let m be 10/3*(-5)/(-10). Which is smaller: q or m?
m
Let o(a) = a - 3. Let d be o(5). Suppose -d*g = 4 - 2. Is g greater than or equal to 2?
False
Let k(y) = -y - 4. Let c be k(-6). Let l = c - 6. Is l >= -2?
False
Let x(a) = -9*a - 1. Let g be x(-1). Suppose g = 2*k + 2*k. Which is bigger: k or 1?
k
Let h = 25.1 + -25. Let d(z) = -1 - 4 + 6 + z. Let y be d(-1). Is h less than y?
False
Let q = 53/3 - 18. Let m = -24 - -34. Let y = -9 + m. Which is bigger: y or q?
y
Let o = -7/6 - -1/2. Let l = -3.88 + -0.12. Which is smaller: o or l?
l
Let y = -0.68 + -0.32. Which is smaller: 1.1 or y?
y
Let r be ((-1419)/(-30))/(1/2). Let q = r + -95. Which is greater: q or 1/7?
1/7
Let w = 0 + -2. Which is greater: -4/3 or w?
-4/3
Let o = 72 - 139/3. Let h = o + -25. Which is smaller: h or 0?
0
Let b be 1/(-13)*(-11 + 10). Is b not equal to 1?
True
Let o = 0.1 - 0.2. Let n = 0.2 - o. Let s = -0.3 + n. Is s smaller than -2/7?
False
Let u = 0.1 - -0.1. Which is bigger: -2/13 or u?
u
Let i = -2/147 - 19/147. Which is smaller: 0 or i?
i
Suppose p + 6 = 2*p. Which is bigger: p or 0.7?
p
Let i = 4.1 + 0.9. Let m = i - 4.9. Which is greater: m or 0.2?
0.2
Let r = 18.1 - 18. Let d = -7.6 + 7. Let i = 0.2 + d. Which is bigger: i or r?
r
Let p(s) = -s - 9. Suppose -f = 5*l - 92, 5*f + 80 = 8*l - 3*l. Let u = 9 - l. Let v be p(u). Which is greater: v or 1?
1
Let g(z) = -8*z - 1. Let j be g(-1). Suppose -3*d - 1 = -j. Which is smaller: 1 or d?
1
Suppose -2*g + 6 + 7 = -k, 0 = -3*g + 5*k + 37. Let p be (-2)/(g/(-6)) + 9. Let b be (2/6)/(16/p). Are -1 and b non-equal?
True
Let i = -0.9 - -1. Let w(b) = -b - 7. Let c be w(-4). Let x be 1/(5*(c - -2)). Which is smaller: x or i?
x
Suppose 2*x = 5*c - 35, x + 1 = 4*c - 24. Suppose 0 = -c*g - 5*z + 30, -5*g - z - z = -15. Is g at least as big as -1/6?
True
Let w be 1*((-6)/20)/((-12)/72). Is w at least as big as 1?
True
Let i = -35 - -35.1. Is -1/2 greater than i?
False
Let u = -2 + 1. Let i be -3*(2 + (-24)/9). Let w be (-1 - 0)/(1/i). Is w not equal to u?
True
Suppose 5*x + 3 + 2 = 5*u, u = -2*x + 13. Let d be u*-1*(-6)/(-15). Which is smaller: -6/5 or d?
d
Suppose -r + 5 = 4*h, h = 6*h - 4*r - 1. Let f be 6 - (h - 0)*2. Let q = f + -5. Which is greater: 2/11 or q?
2/11
Let t(x) = 2*x + 1. Let b be t(-4). Let i = b - -17. Let l be 10/(-8)*(-4)/i. Which is smaller: 0.3 or l?
0.3
Let n = 3552 + -17913/5. Let v = 31 + n. Which is smaller: 0 or v?
0
Suppose 9 = 5*z - 6. Suppose 3*j + 4 = -x, -z*j - x + 4*x - 12 = 0. Are -8/7 and j non-equal?
True
Suppose 4*m + 9*m + 130 = 0. Is -10 greater than or equal to m?
True
Let d(a) be the first derivative of a**2/2 - 6*a - 3. Let g be d(5). Are g and -2 equal?
False
Suppose -6*r - x