 = 0, 0*k - k + 2 = 0. Is j not equal to u?
True
Let m(d) = d**3 + 7*d**2 - 4*d - 13. Let u be m(-7). Which is smaller: u or 0?
0
Let b = -16762/33 - -508. Is -1 smaller than b?
True
Suppose 0 = l + 2*b - 2 + 1, 2*b = -3*l + 11. Suppose 8 = -q + l*q. Let x be -3 + 4*(-3)/(-4). Which is greater: x or q?
q
Let k be (12/9)/(14/3). Is 2/13 > k?
False
Suppose 0*k = 4*k + 2*g + 2, 4*g = -4. Suppose 2*q - 3 + 11 = 0. Let d = q + 2. Do d and k have the same value?
False
Suppose 15 + 5 = 5*l. Suppose -5*s = 4*x + 1, 3*x + l*s = 3*s + 2. Let j be (-1)/x*(-2 - -2). Is j greater than or equal to 0?
True
Let d = 13 - 15. Let u(r) = r**2 - r - 2. Let o be u(d). Are 2 and o unequal?
True
Suppose 0*f + 4*g = -f - 18, 4*f = 3*g + 4. Suppose 0 = -4*h + 2*t - t - 8, 2*t = 4*h + 4. Are h and f equal?
False
Suppose 4*a - 1 = -13. Let c = 1 - 1. Let i be 1/(-1)*(1 + c). Is a > i?
False
Suppose 4*r + 19 = -9. Let w(l) = -l**2 - 6*l + 3. Let g be w(r). Is 0 less than or equal to g?
False
Let r be (-3)/(-15) - 8/(-10). Is -3 <= r?
True
Let p = -55 + 55. Which is smaller: p or 18/5?
p
Let g be ((-40)/(-15))/(-8) + (-3)/(-8). Let i be 1 + (-1 - 0/1). Are g and i equal?
False
Let q = 832.78 - 840. Let f = -4.23 - q. Let j = -0.01 - f. Which is greater: j or 0.1?
0.1
Let g be (-12)/(-124) + (0 - 0). Is g greater than or equal to 1/4?
False
Suppose 9 - 3 = -3*k. Which is smaller: -8/9 or k?
k
Let h(y) = -4*y**3 + y**2 + y**3 + 0*y**2 + 1 + 2*y. Let v be h(-1). Which is greater: 2 or v?
v
Suppose b - 6 = -3*t + 5, 4*b = 4*t - 20. Is -1 >= b?
True
Let m(d) = -d**2 - 11*d + 3. Let q be m(-10). Let n be 1/1 + (-9)/q. Is -1 smaller than n?
True
Suppose 0 = -3*y + 5*p + 23, 7 = -y - 4*p + 2*p. Suppose -5 = -c - y. Suppose -2*h = 4*k - 6*h - c, -k - 4*h = 4. Which is smaller: -1 or k?
-1
Let k be -2*(10/40)/((-211)/4). Which is bigger: -1 or k?
k
Suppose 3*j = j. Let x(m) = -m**2 - 6*m + 0 - 3 + 0*m + j. Let v be x(-6). Which is bigger: v or -4?
v
Let v(j) = j**3 - 3*j**2 + 2*j. Let w be v(1). Which is bigger: -1/14 or w?
w
Let c(n) = n**3 - 7*n**2 + 5*n + 2. Let r be c(6). Suppose 5*v = -5*p + 25, 2*v - 13 = v - 3*p. Let l = v + r. Is -3 equal to l?
True
Suppose -3*z + 3*d + 6 + 0 = 0, -z + 2*d = -1. Suppose -5*k + 2*k + 6 = z*t, 5*k + t + 10 = 0. Is -3 < k?
False
Suppose 2*o = 3*o + 1. Let l(d) = -d - 1. Let y be l(o). Is y greater than or equal to 0?
True
Suppose o = -3*o + 16. Let j be 2 + (2 - (2 - 1)). Suppose o*d = j*d. Is d < 1?
True
Let l = -72728/20205 + -2/4041. Let g = 56/15 + l. Is 0 > g?
False
Let z be (0 - -2)/((-4)/(-6)). Are z and 17 unequal?
True
Let t = -30 - -32. Let u = 4 - 3. Let r = t - u. Which is bigger: r or -1/9?
r
Let l be (-1 - (-1 + 0))/(-3 + 5). Is l bigger than 1/40?
False
Let s = 4 + 2. Is 3 smaller than s?
True
Let p = 120002 - 838142/7. Let q = 8707/63 - p. Let t = q - -129. Which is smaller: t or 1?
t
Let s be (14/7)/(43 + 0). Let x = 6387/8 - 274829/344. Let j = s + x. Is 2/5 not equal to j?
True
Let c = 38 + -40. Is -3/5 smaller than c?
False
Let d be -2 - 12/(-32) - -2. Which is smaller: d or 0?
0
Let w(a) = a**3 - a - 26. Let s be w(0). Let u = -16 - s. Suppose 4*b + r = -u, 0 = 2*b - 4*r + 16 - 2. Is -3 greater than or equal to b?
True
Let n = 45 + -47.1. Let a = n + 2. Which is greater: a or -0.2?
a
Let r = -9/77212 + 26881179/97827604. Let w = r + 2/181. Suppose -2*o = 2*o. Is o smaller than w?
True
Let l = -60 - -50. Which is bigger: -13 or l?
l
Let z = -4.7 - -4.68. Let g = -0.48 + 0.4. Let t = g + z. Which is greater: t or -1/3?
t
Let p be ((-2)/(-2))/(2/4). Let h be ((-8)/(-6))/((-4)/p). Which is greater: h or -2?
h
Let j be 8/28 + (-48)/70. Is j >= 3?
False
Let x = 24 + -815/34. Which is bigger: 0 or x?
x
Let y = 35 + -34.97. Is y <= 0.1?
True
Let k(d) = -d**3 + 6*d**2 - 6*d + 7. Let m be k(5). Suppose 5*s + m = -3. Let h = 79/3 + -26. Which is bigger: s or h?
h
Suppose 5*x = -2*i + 65, x + 2*i = 3*i + 20. Let b be 3/x*10/(-6). Is 0 bigger than b?
True
Let r be ((-15)/(-6) - 1)*6. Let h = 11 - r. Which is smaller: h or 3?
h
Suppose -3 = -3*d - 3*p + 3, -d + 5*p - 4 = 0. Which is bigger: d or 0?
d
Suppose -f = -0*f. Let r be ((-4)/(-5))/(3/15). Let z = r + -30/7. Which is bigger: z or f?
f
Suppose -16 = -3*k + 1361. Let y be ((-21)/k)/(3/18). Let r = y - 1/17. Which is smaller: r or -1?
-1
Let l(h) = -h**2 - 4*h - 2. Let t be l(-2). Suppose -3*y = 8 - t. Is -6/5 equal to y?
False
Let i = -206 - -205. Let v(j) = -j**2 + 1. Let f be v(0). Is f at least i?
True
Let v(a) = -2*a - 1 - 1 + 1 + 5. Let w be v(6). Do -9 and w have different values?
True
Let j = 0.3 + 0. Let b = 0 - j. Let q(u) = u**2 + 2*u. Let d be q(-2). Is d at least b?
True
Let y = -0.11 - -0.05. Let p = -0.56 - y. Is p at most as big as 0.1?
True
Suppose 21 = -5*v + 6. Let i be (23/(-5) - v)*5. Let c = i - -8. Which is bigger: c or 4/9?
4/9
Let o be 1941/42*2/5. Let w = o - 129/7. Which is greater: 1 or w?
1
Suppose -k + 8 = k. Let i = 1 - k. Which is greater: -13/5 or i?
-13/5
Suppose 19 = 2*w + 5*s - 14, 5*w + 5*s - 45 = 0. Let j be (0 - -5) + 0 + -2. Let b be (1/2)/(j/18). Do b and w have the same value?
False
Let t(q) = -q**2 + q - 1. Let l(a) = -9*a**2 + 8*a - 5. Let f(j) = -l(j) + 6*t(j). Let x be f(-1). Let w be (2/x)/(-2 + 4). Which is smaller: 0 or w?
0
Let r = 81 - 73.8. Let f = -6 - 1. Let z = f + r. Is z at most as big as -1?
False
Suppose 3*n + 2*f - 80 = -2*f, -5*f - 110 = -5*n. Let v = 24 - n. Does 0 = v?
True
Suppose 7*t = -6 - 8. Is t < -2?
False
Let v(z) = 5*z + 60. Let w be v(0). Is 59 at most as big as w?
True
Let d be (2 + 1)*(-12)/(-1782). Do d and 1 have different values?
True
Let g = 2 - 1.8. Let z(i) = -i**2 + 4*i + 7. Suppose -4*s - 4*b + 20 = 0, -2*s + 6 + 4 = -b. Let l be z(s). Which is bigger: g or l?
l
Suppose -m = -3*f + 169, -5*f + 212 = -5*m - 83. Let l be (2 + f)/((-3)/10). Let x be (4/l)/((-3)/(-15)). Is 1 at most as big as x?
False
Let y = 13.4 - 13. Is y not equal to -0.1?
True
Suppose 2*z = 3*z - 3. Suppose -p + 1 = z. Let b be (3 - 2)/(p/(-8)). Is b smaller than 4?
False
Suppose -7*y + 2*y - 10 = 0. Let m = 1 + 1. Let f = y + m. Which is smaller: 0.1 or f?
f
Suppose -4*v = -3*n - 1, -5*v = n + 11 + 2. Is -11/5 != v?
True
Let v = -6 + 10. Suppose -3 - 5 = v*z. Is z bigger than -3?
True
Let p(z) = 3*z. Let r be p(1). Let h = r + 1. Let t be (3/7)/((-6)/h). Which is smaller: 0.4 or t?
t
Let b be 1/((3/14)/3). Suppose 3*u + b - 2 = 0. Let j(x) = -x**3 - x - 4. Let z be j(0). Are z and u non-equal?
False
Let u = 91.9 + -88. Let t = -1.1 - u. Let s = 2.9 + -3. Is s >= t?
True
Let r = -48 - -48. Let t = -3 + 2.8. Which is smaller: r or t?
t
Suppose -3*v = -12 - 0. Suppose 2*f - v = -5*l, f + 4*l - 1 = 1. Let n be f/15 + 6/9. Is 1 at most n?
False
Let v = -16 - -15. Which is smaller: v or 3?
v
Let k be 6/8 + (-69)/(-4). Suppose -g + 8 - k = 0. Let y be (-8)/(-5) + (-4)/g. Is y greater than 0?
True
Suppose -4*j + 20 = l + 3*l, -5*l = -2*j + 10. Let z be (4/8)/(5/2). Is l >= z?
False
Let s(r) = r + 2. Let h be s(-1). Which is greater: -4 or h?
h
Let y(n) = n**2 - 2*n + 3. Let t be y(0). Is t equal to 1?
False
Let k be (-6)/(-4)*8 + -2. Let m be (-4)/k - 6/10. Let u be ((-6)/10)/((-6)/(-8)). Which is smaller: u or m?
m
Suppose 0*r + 4*r - 4*q - 16 = 0, 2*r + 4*q = -10. Do r and -2/51 have different values?
True
Let j = 54 - 160/3. Is j less than -0.03?
False
Let w(l) = 5 - 7 + l - 2. Let x be w(5). Which is smaller: -1/4 or x?
-1/4
Let l be -2 + 87/66 - (-3)/6. Which is greater: l or 1?
1
Let g(r) = -r - 12. Let k be g(-10). Let f(h) = h**2 - 4*h + 4. Let v be f(3). Let y = v + -3. Is y greater than k?
False
Suppose 0 = -5*x + 2 + 3. Which is bigger: 3/4 or x?
x
Suppose 0 = -2*d + 4. Suppose -d*a = -a. Which is bigger: 4 or a?
4
Let u = 9 - 10.2. Let s = u + 1.21. Which is smaller: -1/2 or s?
-1/2
Suppose 0 = -8*y - y - 27. Let k be 4/10 - 29/10. Is y at least as big as k?
False
Let l = -13 + -6. Let a = l - -18.9. Is -5 at most as big as a?
True
Let t = 6 + -6. Suppose t = -f - 0 + 2. Let w = -2 + 5. Are f and w equal?
False
Let z be (3 - (-1 - -2))/(3/120). Which is smaller: -0.1 or z?
-0.1
Let f = -0.43 + 12.43. Which is smaller: 2/9 or f?
2/9
Let n = 29.1 + -28. Let r = -0.03 - -1.03. Let h = r - n. Which is bigger: -2/7 or h?
h
Let b