ppose 0 = k + 3*k. Suppose 4*v + 4 = -k. Let l be v/(-2) - (-5)/(-6). Are -0.2 and l non-equal?
True
Let o(m) = m**2 - 5*m - 6. Let t be o(7). Is 7 less than t?
True
Let u(d) = -d**2 - 10*d - 3. Let y be u(-7). Let p be (3/y)/((-2)/(-3)). Is p greater than 1?
False
Let z(l) = 4*l + 24. Let o be z(-6). Is o greater than or equal to 0.4?
False
Let n = -2.9 + 3. Let r = -0.1 - n. Is 0.2 less than or equal to r?
False
Let t = -0.02 - -0.02. Let j = -0.4 - -0.3. Let s = j + 1.1. Is s at least t?
True
Suppose -3*j = 2*j. Let l(v) = -4*v**2 + 11*v - 12. Let x(y) = -3*y**2 + 10*y - 11. Let c(k) = -4*l(k) + 5*x(k). Let s be c(-7). Is j not equal to s?
False
Let n = -13 + 21. Let j = 10 - n. Let f = 2/737 - -12/67. Is j less than f?
False
Let c = -0.12 - -11.02. Let l = 11 - c. Which is greater: -0.7 or l?
l
Let r = -8.7 + 9. Is r < -3?
False
Let n = -83 - -83. Is n less than or equal to 3?
True
Let y(h) = -h**3 + 5*h**2 - h + 3. Let l be y(5). Let p(r) = r**2 - 8*r + 6. Let w be p(8). Let c = w - 7. Which is greater: c or l?
c
Let i = 7 - -10. Let n = 16.9 - i. Suppose j - 4 = -1. Does j = n?
False
Let n = -0.01 - -0.08. Let i = -1.3 + 1.53. Let u = i + n. Which is greater: u or 0?
u
Let l(z) = z**3 + 5*z**2 + 5*z + 6. Let v be l(-4). Which is bigger: v or 4/7?
v
Suppose 17 - 27 = 2*t. Is -6 < t?
True
Suppose -r + 0*r = 0. Let f be (3/3)/(r - -1). Is f equal to -1/17?
False
Let u = 21.44 + -21. Let p = -0.04 + u. Is p bigger than 1?
False
Let g be (-52)/(-9) + (-8)/(-36). Let b be g/(-10) - 1/3. Let k = 4/3 + b. Which is smaller: k or 0?
0
Suppose -4*f + 1 = -3*a - 13, 2*a + 16 = 4*f. Is 4/7 > a?
False
Let c = 14 - 1. Let v be (-2)/8 + c/4. Suppose 0 = -2*y, -f - 2*y + 6 = 2*f. Is f equal to v?
False
Let i = 5 - 3. Suppose 0 = 5*p - 0*l + 4*l - 9, 2*l = -2*p + 4. Which is smaller: i or p?
p
Suppose 0 = 3*s - 4*h - 14, -2*h = 5*s - 47 - 11. Is 11 equal to s?
False
Let i = 0.04 + -2.04. Let w = -2 - -1. Is i < w?
True
Let a(b) = 8*b + 14*b**2 + 6*b**3 - 5*b**3 + 5*b - 1. Let l be a(-13). Let q(r) = -r + 4. Let s be q(6). Which is smaller: s or l?
s
Let v = -3 + 3.4. Let d = 0.6 + v. Let b = d + 1. Is 0.2 at most b?
True
Let c = 0.4 + -0.5. Let m = c - -0.2. Let r = -2 - -4. Which is bigger: r or m?
r
Suppose 5 = -f + 2*f. Suppose 80 = -5*u + 5*h, 5*u - h + 78 = 2*h. Let x = u - -20. Is x at most f?
True
Suppose -u = -0*u. Suppose -2*n - 2 - 10 = u. Let z be (-4)/(-2)*(-3)/n. Is z < -2/9?
False
Suppose 0 = z + 4*c - 20, 5*c + 4 - 24 = 0. Is z less than 1?
False
Suppose -2*s - 1 + 7 = 0. Suppose -q = s*q - 4. Which is smaller: 1/4 or q?
1/4
Suppose -4*q + 12 = 2*i - 0*i, 4*i - 36 = 4*q. Let n be (1/2)/(14/i). Is n less than 0?
False
Let h = 96 - 73. Which is bigger: 21 or h?
h
Let h be (2 - (-2 + 4))/1. Let s be 0/(0 + 1) + -105. Let b = s + 736/7. Which is smaller: h or b?
h
Let v be 10/(-12)*2/(-50). Let h be (-77)/220*4/(-6). Let j = v - h. Is -0.3 equal to j?
False
Suppose 2*x + 3 = -2*w - 3, -2*w = -x. Is x >= 4?
False
Let y be 12/8*20/6. Suppose 0*m + y*m = 0. Suppose 5*f + 10 = -m. Is f equal to 1?
False
Suppose 3*y + 28 = 7*y. Suppose -y*l = -l + 12. Is l bigger than 0?
False
Suppose -5*i = 2*c + 2, -3*i = -2*c - 0*c - 2. Which is bigger: -1 or i?
i
Let o = 0.8 + -0.5. Let w = 0.2 - o. Let v = -5.8 + 5.9. Is w greater than or equal to v?
False
Suppose -7*h = -4*h - 5*h. Which is bigger: 1 or h?
1
Let a be (-2)/(8/(-2))*2. Which is greater: a or -2/281?
a
Let a = 2 + -1.9. Do 2/7 and a have the same value?
False
Suppose -3*n + 1 = -2. Does 0 = n?
False
Suppose -3*v + v - 8 = t, 4*v = 3*t - 26. Let f be (-2 - -1) + t - 4. Which is smaller: f or -0.1?
f
Let s = -89 - -715/8. Which is bigger: -1 or s?
s
Let w(s) = s**3 + 4*s**2 - s - 2. Let g be w(-4). Let q(v) = -v**2 + 3*v. Let b be q(3). Suppose 2*a + b*a = 0. Is a != g?
True
Let m(d) = -d - 5. Let b be m(-7). Suppose -b*v + 4 = -0*v. Let f = 5 - v. Is f less than 2?
False
Suppose 8 = -8*u + 3*u + 3*p, -5*u - 2*p - 3 = 0. Let f be -10*(2/5)/u. Suppose j = -3*j - f. Is j greater than -1?
False
Let c(l) = l**2 - l + 8. Let a be c(0). Suppose -q - 2*b - 6 = 0, -4*q + b - a = q. Which is greater: q or -4/7?
-4/7
Suppose 5*m = -14 + 29. Let p be 1 + (-3)/81*m. Is p at least 0?
True
Let z = -5 + 7. Suppose 2*u + 12 = -2*g, 5*g = 3*g + z*u + 8. Is g at least 0?
False
Let i be (1 + 1)*-2*4/(-88). Is i smaller than -0.04?
False
Suppose -3*g - 3*m + 24 = 0, 3*g + 5*m = -4 + 34. Is -3 != g?
True
Let f = -0.51 + 0.01. Let o = 5.5 + f. Do 2 and o have the same value?
False
Suppose n + n + 2*c = -6, 0 = 4*n + 5*c + 15. Let b be 576/(-272) - (-2 - n). Does -1 = b?
False
Let l(g) = g**3 + 7*g**2 + g + 7. Let b be l(-7). Let y = -4.6 + 1.6. Which is bigger: b or y?
b
Let a = 14 + -14. Is a equal to 0?
True
Let n(l) = 2*l - 7. Let i be n(5). Let j be i - 2/(2 - 1). Is 6/5 >= j?
True
Let y = 9137/14 + -652. Let b = y - -43/42. Is b not equal to 1?
True
Let u(x) = x**2 - 3*x - 1. Let a be u(4). Let g(n) = 2*n - 4. Let h be g(a). Which is bigger: h or 2/3?
h
Let t(m) = -m**2 - 3*m - 12. Let v be t(-6). Which is smaller: v or -31?
-31
Let s = 8 + -6. Let u be 7/s - (-5)/(-10). Is 1 < u?
True
Suppose -6 = 2*v + 2*d, -3*v - d - 5 - 4 = 0. Let b = v - -6. Suppose -x - 2*x = -b. Which is greater: -1/3 or x?
x
Suppose 4*y - 2*u = 3*u - 2, -u = -y. Suppose -3 = -3*v + 2*v. Suppose 3*j - 5*t - 6 = -4*t, 4*t + 6 = v*j. Is j > y?
False
Suppose -7*b + 55 = -2*b - r, r + 31 = 3*b. Is b at least 21/2?
True
Let c = 17 + -18. Which is smaller: c or 5?
c
Let b = 36 + -13. Suppose 3*k = -2*o - b, -o + 5 = -6*o + 3*k. Which is smaller: -3 or o?
o
Suppose 4*f = -f - 10. Let l(s) = s**3 - 6*s**2 + 4*s + 3. Let y be l(5). Is f smaller than y?
False
Let n be (4/40)/((-1)/4). Suppose 4*t - 3*o - 19 = -0*t, 1 = -t - 5*o. Let a = t + -4. Which is greater: n or a?
a
Let f be 1314/2079 - 8/14. Which is smaller: f or -1?
-1
Let h = 13 + -27/2. Let n = 1/4 + h. Let a = -0.2 + -0.8. Do n and a have the same value?
False
Let b be (-16)/7 - 10/(-35). Let m = -548/5 + 109. Is b bigger than m?
False
Suppose -5*l + 3*t + 95 = 18, 5*t + 46 = 2*l. Which is bigger: l or 7?
l
Let c = -4.1 - -28.1. Let q = c + -17. Is q >= 2/3?
True
Suppose 2*y - 4*y = -6. Suppose 2*l = n - 2, 4*l + 0 + 4 = y*n. Are n and -3/5 unequal?
True
Let q be (-1 + 3)*1/2. Let y(i) = -i**3 - i**2 + 2*i + 2. Let l be y(0). Which is greater: l or q?
l
Suppose -20 = 5*k - 5. Let l(w) = -w - 3. Let d be l(-3). Let x be k - (d + -1 + 2). Is x greater than -4?
False
Let t = -2/63 + -1/63. Let m = -7 - -7. Which is smaller: m or t?
t
Let l = 0.03 - -1.17. Let x = 1 - l. Let r be ((-3)/(-11))/(3/2). Which is smaller: r or x?
x
Let b(m) = 4*m - 24. Let w be b(7). Which is smaller: w or 17/4?
w
Suppose 0 = -2*q - 0*q. Let h = -2.9 - -0.6. Let a = h - -0.3. Which is greater: a or q?
q
Let d be (-25)/(-20) + 1/(-4). Let o(p) = p + 5. Let j be o(-5). Which is smaller: d or j?
j
Let d(q) = q**3 - 9*q**2 - 11*q + 13. Let c be d(10). Which is bigger: c or -2?
c
Let z(u) = -u**3 + u**2 + 3. Let n be z(-3). Let t be (-8)/24 - (-10)/n. Let l = -1 - -2. Which is smaller: l or t?
t
Let k = 1 + -2. Let m = 66400/51 + -1302. Which is greater: m or k?
m
Let w(g) = g**3 + 8*g**2 - 2*g - 4. Let d be w(-8). Suppose 5*q + 4*i + 4 = 3*i, 4*q + 3*i = -d. Which is greater: -10/7 or q?
q
Let i = -3.04 - -3. Let f = 0.09 - 7.09. Let p = -6 - f. Which is bigger: p or i?
p
Let z = -10 + 7. Let y be -1*2/z*15. Suppose 3*k - y = -2*k. Which is smaller: 4 or k?
k
Let q(s) = -2*s + 6. Let l be q(5). Let t = 6 + -7. Let g be l/((2/(-5))/t). Which is bigger: g or -11?
g
Let a be 6/(-1 + (1 - -2)). Suppose 2*o - 5*m = 333, 4*o - 2*o + a*m = 373. Let n = o + -1256/7. Which is greater: n or 1?
1
Let z(t) = t - 5. Let r be z(4). Suppose 6*g = 7*g - 1. Which is bigger: r or g?
g
Let t(s) = -2*s + 5. Let p be t(4). Let l be p/(-14)*16/12. Let f = -0.1 + -0.2. Which is smaller: f or l?
f
Suppose -20 = -0*d - 5*d. Let k = 6 - d. Suppose 2*a - 74 = -72. Which is greater: k or a?
k
Let p = 1 - 5. Let b = p - -3. Let u = b + 1. Are -2 and u nonequal?
True
Let i be 0/(9/(-3)*-1). Let p = i + 2. Let l be (-4)/2 + p/(-2). Which is bigger: l or -2?
-2
Let a = -21/32 - 1/96. Let k(o) = -o**3 - 5*o**2 - 5*o - 1. Let m be k(-4). Suppose 0