 Let l be 17045/42*b/(-5). Let g = l + -81. Are g and 1 non-equal?
True
Let i = -3/4 - -1/12. Is i bigger than -5?
True
Let d be ((-22)/8)/((-18)/24 + 4). Which is smaller: d or -2?
-2
Suppose 0 = 3*i - 11 + 5. Suppose -4*o + 7*o + 5*s + 20 = 0, -o + 5*s + 20 = 0. Let l be o/((-1 - 0)/(-1)). Is l at least i?
False
Let h be (1002/3)/(0 + 3). Let b = h + -110. Which is greater: b or -0.1?
b
Let q = 0.13 + -0.03. Which is smaller: q or -0.06?
-0.06
Let l(d) = d + d**3 + 8*d**2 + 7 + 3*d**3 - 3*d**3. Let k be l(-8). Are k and -2 equal?
False
Let s = -19 - -15. Let j = -0.11 + 5.11. Let k = s + j. Which is smaller: k or 0.1?
0.1
Let s be (4/7)/(14/49). Let a(x) = 2 + 3 - 2 - s - 7*x. Let w be a(1). Are -5 and w equal?
False
Let f = 0.143 + -10.843. Let r = 10 + f. Let b = r + 0.7. Which is smaller: b or -1?
-1
Let l be (3/2)/(12/88). Which is greater: 13 or l?
13
Let p = 10 - -15. Suppose -p = t - 6*t. Is t greater than or equal to 5?
True
Let j = -3 - -2. Let z = -6 + 3. Is j less than z?
False
Let k = -586/6453 + 4/239. Is 0 smaller than k?
False
Let c(h) = 5*h - 3. Let j be c(2). Let v = -6 + j. Let x be (-8)/(-7)*-1 - -2. Which is smaller: v or x?
x
Suppose 0 = 38*t - 43*t + 5. Let m = 215 - 855/4. Is t at most as big as m?
True
Let b(q) = -4*q - 1. Let u be b(-1). Let n = 3 - u. Let a = -4 + 6. Is n bigger than a?
False
Suppose 38*j - 72 = 41*j. Is j equal to -25?
False
Let d = 10 - 7. Suppose 2*k - d*k = 5. Let c be 2/(-6)*1 + 0. Which is bigger: c or k?
c
Let n be 6 - (2 - (-2)/(-1)). Suppose -4*r = l + 8, -2*r = 3*r + l + 9. Let z be (1 - r)*(-5)/(-2). Which is smaller: z or n?
z
Let i(u) = -u**2 - 4*u + 3. Let f be i(-4). Suppose -f*y = 5*h + 13, -4*h + 0*y - 13 = 5*y. Let q = 0.03 + -0.03. Is h >= q?
False
Suppose 2*o = 3*o + 3. Let f be (98/(-4))/7 - o. Is -16 smaller than f?
True
Suppose -3*g = -4*s + 23, g + 2*g + 25 = 5*s. Let b be (-2)/12 - (-2 + s). Is 1 <= b?
False
Suppose 5*n - 4 - 16 = 0. Let h(p) = -n*p + 0 + p**2 - 5*p + 7*p - 4. Let u be h(4). Are u and 4 non-equal?
False
Let g = -4.6 - -0.6. Let w = -3.6 - g. Let x = 0.4 - w. Is 1 bigger than x?
True
Let u = 3 + 7. Suppose -4*n - n = -4*g - 1, -5*g + u = 5*n. Which is smaller: -3 or g?
-3
Suppose -3*a = 2*o + a + 24, o + 4*a = -22. Suppose -w = 3*w + 32. Let r = 5 + w. Does r = o?
False
Suppose -3*l = -0*l - 3. Suppose 0 = -x - l + 2. Let r = x + -8/7. Which is smaller: r or -1?
-1
Suppose 4*s = 2*m - 16, -5*m + 4*s = 6*s - 4. Suppose 3*f = -0*f - 2*r - 3, r + 1 = -m*f. Let d be 2*f/(-44)*-4. Is d at most 0?
False
Let y be (-2)/(-5) + (-8)/(-5). Let o be (y/3)/(2/(-6)). Let j = o + 2. Which is smaller: j or 1?
j
Let y be 0/(1*(-3 - -1)). Suppose 0 = -3*b - y - 9. Which is smaller: b or -2?
b
Let a = -10 + 9.45. Let x = -0.05 - a. Let s = 3.5 + x. Which is smaller: -1/3 or s?
-1/3
Let h(m) = m**3 - 4*m**2 + 3*m - 7. Let k be h(4). Do k and 5 have the same value?
True
Let g(m) = 7*m - 8. Let o be g(5). Let w be 5 + -1 - o/9. Which is greater: w or -4/9?
w
Suppose 10 = -2*q + 34. Suppose 3*i = 4*s + q, 3*s - 2 + 11 = -5*i. Does i = -2?
False
Suppose z + 0*z = -60. Let r = z - -239/4. Let l be (3/3)/(2 - 1). Which is bigger: r or l?
l
Let t = -8 + 8.1. Is t greater than or equal to -0.09?
True
Let h = 10 + -28. Is h smaller than -18?
False
Let a = -14.12 + 0.12. Let s = 7 + a. Is 1 < s?
False
Let f(w) = w**2 + 3*w - 1. Let o be f(2). Let v = o - 5. Suppose 4*y = -v*u + 16 - 4, -2*u + 6 = 4*y. Is u > 2?
True
Let q = 0.1 - -0.2. Let n = -0.36 + q. Let d = n + 0.16. Is -5 >= d?
False
Let p = 22 - 28. Is -9/2 less than p?
False
Let c(u) = -u + 10. Let q be c(13). Let d(p) = -p - 7. Let f be d(-3). Which is smaller: q or f?
f
Let l(s) = -s**2 - 12*s - 9. Let p be l(-11). Is p >= 3?
False
Suppose -2*r + 4*r = -2. Let t be r + 1 + -1 - -1. Which is smaller: t or -1?
-1
Suppose 0*o - 2*o = -4. Let j be -1*(3 - o - 3). Let z = -79 - -875/11. Is z < j?
True
Let r(c) = c**3 - 4*c**2 + 2*c + 3. Let l be r(3). Let k = 0.4 - 0.1. Let v = k + -0.2. Is v not equal to l?
True
Let r = -10.51 - 0.49. Are r and -3 unequal?
True
Let n = -2 - -2.3. Let c = n + -0.2. Let m = c + 0.1. Is m at least as big as -1?
True
Suppose 0 = -2*g - 3*s - 15, 3*g + 3*s + 0*s = -15. Is -7/12 at most as big as g?
True
Let j(g) = g**3 - 6*g**2 + 5*g. Suppose 2*f + 3*v - 22 = 0, -3*f + 3*v + 0 = -3. Let z = f - 0. Let p be j(z). Which is smaller: p or 2/5?
p
Let b be (-44)/3*(-1 + (-15)/(-6)). Is -22 bigger than b?
False
Let j = -2 + 3. Is j at most 1?
True
Let q = -15 + 20. Suppose 3*v + 2 = -w, q*w + 8 = -2*v - 2. Which is smaller: 2/47 or v?
v
Let a = 0.36 - 0.23. Let r = a - -1.67. Does r = 0.1?
False
Let g = 78 - 75. Is g >= 11/6?
True
Let a(s) = s - 8. Let l(t) = t - 8. Let f(g) = -2*a(g) + 3*l(g). Let j be f(7). Suppose -15 = 5*n + 5. Do j and n have different values?
True
Suppose -q = -4 + 2. Which is greater: -3 or q?
q
Let t = -90 - -88. Let j = 12 + -7. Which is bigger: j or t?
j
Let h be (2 - 0)/(-1 + 0). Let d be 6 - (0/(-2) - h). Suppose o = -3*o - d. Which is greater: 0 or o?
0
Let u be (24/(-28))/((-40)/98). Which is greater: u or 2?
u
Let f be (8/28)/(2/14). Let w be f/(-4)*3/(-1). Which is greater: w or 3?
3
Let p(s) = -s**2 - 8*s - 3. Let t be p(-4). Suppose m + t = -7. Let o be m/24*(-2)/10. Is o smaller than 1?
True
Suppose -6 = 4*x - 2*x, 2*s - 3*x = -1. Let p be (1 + -2)*(-6 - s). Is 1 at least p?
True
Suppose 6*n = n + 5. Let g be 254*(-2)/100 - (-5)/1. Which is greater: n or g?
n
Let m be (2 + 0)*(-2 + 0). Suppose -2 = n + 2. Let p be 1/n + (-2)/m. Which is greater: 2/7 or p?
2/7
Let u = 0.02 + -0.42. Let o = 2.6 + -4. Let r = o - u. Which is greater: 3 or r?
3
Let p be 1*(6 + -9) - -7. Let v = 33.9 - 37. Let a = v - -3. Are a and p non-equal?
True
Let t = -14 + 13. Is t greater than 0.04?
False
Let x be ((-3)/12)/(27/(-48)). Which is bigger: -1 or x?
x
Let c be 2/(-8)*(-32)/612. Let f = c + -104/153. Suppose -3*k = -k + 4*s, -4*s = -2*k. Does k = f?
False
Let t = 18 + -12. Let m be ((-2)/t)/(1/2). Let c be ((-4)/(-3))/((-12)/18). Are m and c equal?
False
Suppose 2*m - c + 2*c = 3, c = 4*m - 15. Let p = m - 0. Suppose 8*i - p*i - 25 = 0. Which is greater: 6 or i?
6
Let p be (0 - 1)*(-6 + 6). Suppose d + p = 8. Is 6 <= d?
True
Let u = -983/12 + 82. Is u > 0?
True
Let h(m) = -m + 7. Let u be h(4). Let o be u - (-3)/(6/4). Suppose -4*y = 3*p - o, 7 = -2*y + 5*y - p. Which is greater: 6/7 or y?
y
Let o(g) = -g**3 + 4*g**2 - 2*g - 3. Let c(b) = 2*b**2 + b. Suppose 0 = -2*v + 2 + 6, -4*p - v = -8. Let k be c(p). Let f be o(k). Which is smaller: 1 or f?
f
Suppose -7*g = -5*g + 12. Let y be ((-3)/(-2))/((-2)/8). Is y greater than or equal to g?
True
Let f be (0 - 2/2)*7. Are -8 and f equal?
False
Let h be (-16)/30*6/4. Let f = -9 + 9. Is h bigger than f?
False
Let x be 3/63*2*3. Let l = 3 + -2. Is l != x?
True
Let l = -8.3 + -0.7. Let g = l - -10. Is 2/13 greater than g?
False
Suppose a - 3 = 2*a. Suppose 0 = 2*g + 3 + 5. Which is smaller: a or g?
g
Suppose 4*r + r - 20 = 0. Suppose 3*q = -t + 3, -r*q + t - 3*t = -6. Is -2/5 smaller than q?
True
Suppose 2*s = 13 - 7. Suppose q = p + s, -7*p = -3*p - q + 3. Is p less than or equal to 0?
True
Let m = 6 - 3. Suppose 1 = m*u - 11. Suppose -2*y - 2*h = 4 - 0, 0 = u*y - 5*h - 10. Which is smaller: y or 4/5?
y
Let w = -3/19 - 13/38. Let u = 98.73 - 97. Let y = 0.27 + u. Which is smaller: w or y?
w
Suppose 2*h - 7*k + 2*k - 4 = 0, 2*k + 6 = 3*h. Are 0 and h equal?
False
Let i = -819/2882 + 3/262. Which is smaller: -1 or i?
-1
Suppose -2*w - 51 = 5*y, -w + y - 5*y = 30. Let t = w + 19. Which is bigger: t or -1/30?
t
Suppose 5*l = 6*l. Do -2/7 and l have different values?
True
Suppose -2 = 4*w - 2*s + 4, 4*w + 1 = -3*s. Let f be w/1 - 20/(-16). Are 1 and f unequal?
True
Let t = 64 + -62. Let o = -2123/3555 - 2/711. Is o at most t?
True
Let m be 231/(-15) - 4/(-10). Which is smaller: m or -16?
-16
Suppose 2*j - 4*w + 8 = 0, 3*w - 6 = -3*j + 7*j. Which is bigger: j or 9/28?
9/28
Let x = -0.086 + -0.014. Which is smaller: 4 or x?
x
Suppose -x = 3*x. Suppose x = -y - 4*y - 20. Which is bigger: -5 or y?
y
Let x(i) = -i**3 - 2*i**2 - 5*i + 3. Let d(l) = l**3 + l**2 + 4*l - 3. Let m(v) = 5*d(v) + 4*x(v). Let t be m(3). Are -2 and t nonequal?
True
Let h = -782/451 + 