Let z be k(b). Let v be 10/(-2)*(-8)/z. Which is greater: 0 or v?
0
Let s(x) = x**2 - 5*x + 5. Let v(b) = -7*b**3 + 2*b**2 - b. Let j be v(1). Let c = j - -10. Let p be s(c). Is 0 at least as big as p?
False
Let u = -5447/68 - 283/17. Let h = 96 + u. Let z = 126 - 127. Is h smaller than z?
False
Suppose 0 = 4*k - k. Are k and 1/2 equal?
False
Let h = -2 - -1.9. Let l = -18 - -13. Do l and h have the same value?
False
Let k = -40.81 + 41. Is k less than 1?
True
Let o = -20 + 29. Let l = o - 5. Let k = l - 4. Which is greater: k or 2/3?
2/3
Let z be 70/(-25)*(-5)/(-17). Which is greater: 0 or z?
0
Let i(h) = -8*h - 19. Let r be i(-2). Which is bigger: r or -16/9?
-16/9
Suppose 3*m - 6*m + 2*k - 1 = 0, 5*m = -4*k + 13. Suppose -3*n - 2 = m. Let u = -92/9 + 10. Which is bigger: u or n?
u
Let k = -2.06 + 0.06. Let r = -153.8 - -142. Let z = r + 12. Which is smaller: z or k?
k
Suppose -2*b - 5*q = -0*b - 10, -3*b = -4*q + 8. Is b at least -1/3?
True
Let v = -0.3 + 6.3. Let l = 0.03 - 4.03. Let b = v + l. Is 0.1 greater than or equal to b?
False
Let f be 981/4095 - 4/26. Is f < 1?
True
Let s = 8.89 + -9. Let v = s + 0.41. Which is smaller: v or 4?
v
Let z = -19 + 15. Which is smaller: -3 or z?
z
Let h = 38 + -50. Is h != -66/5?
True
Let m(w) = w**3 + 7*w**2 + 5*w - 2. Let k be m(-6). Suppose k = -0*q - 2*q. Let z be (-8)/(-52) - 96/117. Is q smaller than z?
True
Let y(m) = m**3 + 3*m**2 - 5*m - 3. Let o be y(-4). Let t be (-4 - (-2)/1) + -1. Let i be t/(-12) - 1/(-28). Which is smaller: o or i?
i
Let v(z) = -z - 4. Let x be v(-4). Is 1/8 at least as big as x?
True
Suppose 9 = -3*y + 3. Suppose -2*o = -5*o + 6. Suppose -3*s = -g + 8, 0*g - o*g - 2*s - 16 = 0. Is g >= y?
False
Let a be 1 - 6*2/(-4). Suppose -a*v - 6 = 2*v. Which is bigger: v or -1/16?
-1/16
Let a(k) = -2*k + 6. Let o be a(5). Let t = o - -4. Let g = -1 + t. Which is smaller: -3 or g?
-3
Let l = -0.16 - 1.84. Which is smaller: 0.1 or l?
l
Let m = 19 - 11. Suppose -m = 2*a - 16. Is a at least 3?
True
Suppose 1 + 2 = 3*l. Let v(h) = 3*h - 4. Let d(y) = -y. Let z(f) = l*v(f) + 2*d(f). Let q be z(4). Is q <= 0?
True
Suppose -g + 13 = -3*k, 0*k - 10 = -2*g - 2*k. Is g not equal to 9?
True
Let d = 4 + -2. Let y = -0.03 - -2.03. Let x = 1.9 - y. Are d and x non-equal?
True
Let h = -3 - -5. Let w = 3 - h. Let y be -5 + 4 + (w - 1). Is 2/9 > y?
True
Let m be ((-15)/9 - -2)/(2/6). Which is smaller: 4 or m?
m
Let x = -542/7 - -22194/287. Are x and -1 non-equal?
True
Suppose -2 = -p - 0. Suppose 4*z - 9 = 3*o, 5*o + 14*z + 7 = 18*z. Is p at most as big as o?
False
Let p = 7.9 + -8. Let c = 15 - 15.7. Let y = 0.73 + c. Which is smaller: p or y?
p
Suppose o = 4*o. Suppose 0*k = -w + 2*k - 7, o = -4*w + 4*k - 12. Are 3/5 and w nonequal?
True
Let j(r) = -r + 4. Let i(t) = -2*t + 9. Let z(w) = -3*i(w) + 7*j(w). Let s be z(5). Is -3 bigger than s?
True
Let h be (1 - -5)/(3 + -2). Let p be 5/1*(5 - 4). Is h != p?
True
Let k = 143/392 - -1/98. Suppose 2*h + 55 = 7*h. Let j be h/22 - (-3)/(-2). Do k and j have the same value?
False
Suppose -6 = -h - 0. Let q be 4 - (1 - (-3 + 3)). Suppose 0 = -5*b + q*c + 30, -2*b + 5*c = b - 18. Is h smaller than b?
False
Let s = 13.84 + 0.16. Is s <= -1?
False
Let l(f) = f**3 + 4*f**2 + f - 1. Let r be l(-4). Let c = 10 + -16. Is r greater than or equal to c?
True
Suppose u = -3 - 36. Let p be (-45)/u - (-3 - -4). Is 0 >= p?
False
Let c be (20/50)/((-1)/65). Which is bigger: -24 or c?
-24
Suppose 5*n - 60 = -0*n. Suppose 3*y + n = 4*j, 2*y + 6 + 2 = 0. Are j and 1/11 non-equal?
True
Let o(v) = -v**3 - 16*v**2 - 45*v + 35. Let g be o(-12). Let j(q) = -q**3 + 4*q**2 + 5*q. Let c be j(5). Let l be ((-8)/(-7))/(-2) - c. Are g and l equal?
False
Let w(j) = j**2 - 6*j + 4. Let x be w(6). Suppose 0 = -5*v + 5, -6*q - x*v = -3*q - 1. Let p = -4 + 2. Which is smaller: q or p?
p
Let l(i) = 2*i - 12. Let b be l(9). Is 6 < b?
False
Let b be 46/(-42)*-9*1/3. Is b bigger than 4?
False
Let y be (2/(-4))/(25/50). Is y less than -2/113?
True
Let t be 0*(0/(-3) - -1). Suppose t = -f - 4*f. Which is smaller: f or 1/3?
f
Let p = 1 + 2. Suppose p*x + 48 = 3*k, 20 = -6*k + k. Let a be (-3)/(-1) + 68/x. Is 1 < a?
False
Let j be (-15)/10 + 50/36. Let g = j - -13/36. Which is greater: g or 0.1?
g
Let u = 97 + -97. Suppose -88 = -3*v - v. Let d be -4*(-1)/v*1. Is u >= d?
False
Let t = 12 - 11. Let l be (2 - 2)/((-6)/(-3)). Are l and t equal?
False
Let p be 35/42*2/(-10). Let i = p - -5/3. Is 2 != i?
True
Let t = 6 + -6. Let v be (-3)/((-6)/(-8)) - 3. Let q = -6 - v. Which is greater: t or q?
q
Let x be (6/(-9))/((-4)/6). Let n = 35/117 - 1/13. Which is smaller: n or x?
n
Let z(r) = r**2 - r - 2. Let t be z(2). Let b = -0.85 + -0.15. Which is smaller: b or t?
b
Let n = -34 + 57. Is 22 at most as big as n?
True
Let o be 2*((-6)/(-4))/(-3). Let y = -46 - -16. Let p be (5/y)/((-1)/(-2)). Which is smaller: o or p?
o
Let h be 2*4/(-40) - 2. Is h at most as big as -2?
True
Let f(j) = j**3 + 7*j**2 + j - 1. Let p be f(-6). Let d = -21 + p. Suppose -2*h - d = -2. Is h at least -3?
True
Let h(q) = q**2 - 14*q + 53. Let v be h(9). Is v less than 57/7?
True
Let x = 65 - 72. Is x less than or equal to -7?
True
Let c = 97863/434 - 451/2. Which is greater: -1 or c?
c
Let a be ((-8)/6580)/(3/644). Let p = a + 6/47. Is 0 > p?
True
Let d be (0 - -4) + -7 + 5. Suppose -a = d*a + 6. Is -5/7 bigger than a?
True
Let r = -0.11 + 0.21. Let n = 0 + r. Which is greater: n or 1?
1
Suppose 0*h - 3*h = -18. Suppose -2*z - 3*y + 7 = 0, -5 = -4*z - 3*y + h*y. Is 0 smaller than z?
True
Suppose i = -4*i. Let z = -21/10 + 2. Which is greater: z or i?
i
Suppose -3*m + 5*m = 44. Which is smaller: 21 or m?
21
Suppose 0*v = -5*v - 75. Let b = v + 14. Are -6/11 and b equal?
False
Let u be 1 - 3/(2 + -5). Let f = 0 + 2. Suppose u*z - 6 = -f. Is -2/15 >= z?
False
Let c be ((-1)/(-17))/((-11)/11). Are c and -1 non-equal?
True
Let x = -559 + 4487/8. Is 2 equal to x?
False
Let x = 2/527 + 10534/1581. Let k = 3 + 3. Let o = k - x. Is -2/3 at least o?
True
Let l = -0.2 + -0.4. Let g = -1.6 - l. Is -2 < g?
True
Let o be (-4 - -2)*2/2. Which is bigger: o or -1?
-1
Let x = 2 + -2. Let f = 150 - 1651/11. Which is smaller: x or f?
f
Let i be -1 - ((-18)/(-30))/(1/5). Which is smaller: i or 1?
i
Let n = 13 + -7. Let z be 5/n + (-6)/(-36). Which is smaller: 1/2 or z?
1/2
Let f be 70/(-9)*(-44)/154. Is f less than or equal to 1?
False
Let q = 2.763 + -0.063. Let n = -3 + q. Suppose -v = h, -h + 5 - 2 = 4*v. Is n less than h?
False
Suppose 0*c = 4*c + 176. Let r be (-1 - -1) + (-262)/6. Let w = c - r. Are w and 4/3 equal?
False
Let u(f) = -3*f - 2. Let m(c) = -2*c - 1. Let j(h) = -5*m(h) + 4*u(h). Let z be j(-3). Let y = -3 - -8. Which is smaller: z or y?
z
Let b = 202 - 183. Which is greater: b or 15?
b
Let h be 9/(-888)*14 + 8/32. Which is greater: 0 or h?
h
Let m be ((-8)/(-52))/(4/(-2)). Is m greater than or equal to 0?
False
Suppose -10 = 2*i, -4*i = 2*n + 3*n + 15. Let f be (-487)/(-12) + 2/(-8). Let y = 41 - f. Which is greater: y or n?
n
Let v = -9.98 - -10. Let o = -0.08 - v. Let u = -6 - -3. Do u and o have different values?
True
Let f(q) be the second derivative of q**5/10 - q**4/3 + q**3/6 + q**2 + q. Let t be f(2). Let y be (-3)/45 - t/(-6). Which is greater: y or 1?
1
Let m be 4 + (-3 - -3) + -1. Suppose 3 = m*t - 6*t. Suppose o - 3 = 4*o. Is t smaller than o?
False
Suppose -12 + 0 = -4*o. Suppose -7 - 8 = o*p. Which is smaller: -16/3 or p?
-16/3
Let r(i) = -i + 6. Let t = -7 - -14. Let q be r(t). Which is bigger: q or -1/14?
-1/14
Let o(c) = -c**2 + 8*c - 3. Let n be o(7). Suppose -n*d + 6 = -2. Is d >= 2?
True
Let t = -7/9 - -4/9. Let o(m) be the first derivative of -m**4/4 - 4*m**3/3 + 2*m**2 - 5*m - 1. Let r be o(-5). Which is greater: t or r?
r
Suppose 3*x - 2*x = -2. Let p be (x - 1)*(-4)/6. Suppose 0 = -3*b - 2*b + 10. Are p and b unequal?
False
Let y be 4 - 2/2*-1. Let r be (-2)/4*50/(-5). Is y != r?
False
Suppose 1 = 16*g - 15*g. Which is smaller: -2/53 or g?
-2/53
Let c = -3.6 - -3.8. Let g = 0.4 + -0.3. Let k = g + -0.1. Which is greater: k or c?
c
Let m = 4 + -59/14. Is m equal to -1?
False
Let d be (-3 + 5 - 4) + 3. Which is smaller: -4/11 or d?
-4/11
Let x be (-24)/14*126/(-20). Let z = 444 + -1300/3. Let o = x - z. Wh