- 3*y - 3. Let z be o(0). Suppose 4 - 20 = 4*k. Is z less than k?
False
Let m be (-5)/4 - (-1 + 0). Let l = 2.01 + -0.01. Let x = 0 + l. Which is bigger: m or x?
x
Let g(b) = -6*b + 1. Let n be g(3). Let a = n + 15. Is a <= -4?
False
Let t = 85 + -37. Which is smaller: t or -2?
-2
Suppose -b = -p - 1, 6*p + b + 24 = 2*p. Suppose -4*h = -81 - 19. Suppose -v + h = -5*u, 14 = u - 7*v + 3*v. Which is bigger: p or u?
p
Let q be (-2 + 3 - 0)*-2. Let j(v) = -2*v**2 - 3*v - 1. Let z be j(-2). Is z greater than q?
False
Let n = -43 - -37. Which is smaller: 2 or n?
n
Let o be ((-76)/(-1120))/(-1) - (-1)/7. Which is smaller: -1 or o?
-1
Let f = 1.33 - 0.13. Is -1/2 at most as big as f?
True
Let h = -177 + 2994/17. Are -1 and h equal?
False
Let q = -1753/5 - -353. Which is bigger: q or -3?
q
Suppose 0 = -2*w + 3 - 9. Let j be (16/(-4) - w)*4. Is j less than -6?
False
Let q(k) be the third derivative of k**6/120 - k**5/10 + k**3/3 - 4*k**2. Let m be q(6). Are m and 0.3 nonequal?
True
Suppose -2*m + 2*q - 9 = -q, -4*q + 5 = -5*m. Is -2 < m?
True
Let n = -12 - -23. Suppose 3*s - 7 = n. Is 5 greater than s?
False
Let q = 4.5 + -6. Let w = q - -0.5. Is w less than -1?
False
Suppose -u + 3*a = -0 - 9, 4*u = a - 8. Let h be u + 0 + 20/8. Is -1 smaller than h?
True
Suppose 2*d - 5*z + 4 = 0, 4*d - 3*z - 24 = -z. Is d <= 9?
True
Let t = -46 - -46.03. Which is smaller: 0.1 or t?
t
Let j = -131/6 + 22. Which is smaller: j or 0?
0
Let u(s) be the third derivative of -s**6/120 + 7*s**5/60 + s**4/24 - s**3/2 - 2*s**2. Let i be u(7). Which is smaller: 5 or i?
i
Let l = 18 + -20. Which is smaller: -3 or l?
-3
Let v(g) = -g**2 + 10*g - 15. Let k be v(8). Let i = 0.3 + -0.22. Do k and i have the same value?
False
Let v(i) = 39*i + 2. Let o be v(1). Which is smaller: o or 42?
o
Let u = -9.13 - -0.13. Let p = 9.5 + u. Which is bigger: 2 or p?
2
Let j = -3 + 2. Suppose -3*p + 0*o - 3*o = 6, -32 = -4*p + 4*o. Suppose 0 = -2*q + p*q. Is j greater than or equal to q?
False
Let g = 22 + -67. Let b be 5/13*18/g. Which is smaller: 0 or b?
b
Suppose 0 = 3*q - 5*q + 38. Let x = -75/4 + q. Let r be 0/(4*3/6). Is x bigger than r?
True
Let g = 55 + -62. Which is smaller: g or -46/7?
g
Let g be (-4)/(-20) + 26/(-30). Let f = 8/21 + g. Which is smaller: 0 or f?
f
Let y be 2/6*(-51)/(-119). Which is bigger: -1/4 or y?
y
Let g be (1/7)/(1/(-915)). Suppose j = 6*j - 655. Let q = g + j. Do q and -1 have the same value?
False
Suppose 0 = -4*b + 22*b - 144. Suppose 2*q - 2 = -0*q. Are q and b equal?
False
Let k = -11 + 10. Does k = -2?
False
Let r = -9 + 8. Are 6 and r non-equal?
True
Let t be 3/(-9)*3 - 0. Which is greater: -2 or t?
t
Suppose 0 = 4*p - 5*p - 1. Is -5/27 less than p?
False
Let x = -2/215 - -673/3010. Which is smaller: 1 or x?
x
Let l = 118.9 + -125. Let f = 6 + l. Is -1 > f?
False
Let k = -31 + 60. Suppose -13 = -3*b + k. Does 15 = b?
False
Let d = -1.2 + 0.6. Let u = -0.5 - d. Let z be (-5)/10 - 1/(-10). Is u >= z?
True
Suppose 2*c - 4*c = -4. Let i(w) = w**3 + 5*w**2 - 2. Let p be i(-5). Let v be 2 - p*(-1)/2. Which is bigger: c or v?
c
Let j be 2/(18/21)*-12. Let k = j + 123. Let r = 477/5 - k. Which is greater: r or 1?
1
Suppose -44 = 5*z - 144. Suppose 0 = 4*a + 4*q + z, 0*a - 2*q - 12 = 3*a. Let y be a + -1 + 4/1. Which is bigger: y or 1/11?
y
Let l = -42.37 - -42. Is l bigger than 1?
False
Let f = -3 - 6. Let k(t) = -t**3 - 10*t**2 - 8*t + 6. Let q be k(f). Which is greater: q or -1/3?
-1/3
Let o = 0.12 - 0.12. Which is greater: 10 or o?
10
Let c(f) = -f**2 - 9*f + 3. Let w be c(-9). Suppose -1 = -2*z + w. Let v(h) = -h**3 - h**2 - h + 3. Let k be v(0). Is z greater than k?
False
Let a(o) = -o**3 + 7*o**2 + o - 4. Let l(x) = -x**3 + 8*x**2 - 4. Let d(q) = -5*a(q) + 4*l(q). Let h be d(4). Let s = 2/31 - -52/155. Is h < s?
True
Let p(g) = g + 6. Let m be p(-5). Let n be (2 - (-24)/(-10))*1. Which is smaller: m or n?
n
Let s be 3495/(-99) - (-10)/15. Let u = s + 35. Which is smaller: -1 or u?
-1
Let q = 40 - 39. Let a be 5 + (1 - (0 + 0)). Suppose -q = 5*l - a*l. Is 2 bigger than l?
True
Let y = 1 + -2. Let o be 1/2 + y/2. Let z = -2 - -2. Is z bigger than o?
False
Let n be 152/320 + 6/(-10). Is n at most 0?
True
Let h(m) = 85*m + 2. Let t be h(-1). Let u = 1972117/23634 - -1/2626. Let f = t + u. Is f less than -1?
False
Let f = -12 - -16. Is f bigger than 3?
True
Let d(p) = -p**2 + 3*p + 4. Let n be d(4). Let m be (-2)/4*(-6)/(-1). Let l be (-48)/(-22) + m + 1. Which is smaller: l or n?
n
Suppose b + 18 = -3*b + 3*d, 0 = -b + 3*d - 9. Let p be b - (-3)/(-3 - 0). Let q(l) = l**3 + 4*l**2 + 3*l + 6. Let z be q(p). Which is smaller: z or -7?
-7
Let j = -44.7 - -11.7. Is 0.1 bigger than j?
True
Let u = -13543/43 + 315. Is -1 smaller than u?
True
Let g(v) = v - 14. Let p be g(6). Let k be p/(-12) + 6/(-10). Is k less than or equal to 1?
True
Let k(t) = -t**2 - 3*t - 2. Suppose 3*c - 9 = -0*c, 4*i = -2*c - 10. Let a be k(i). Let d = a - -5. Is -2 equal to d?
False
Let c = 1.35 - 0.05. Let l = c - 1.4. Let d be 8/10 + 0 + -1. Which is smaller: d or l?
d
Let v = -1288/50765 + -2/715. Let s = v + -63/284. Let l be 2/(1/(2/8)). Which is greater: l or s?
l
Let m(j) = 2*j - 4. Let d be m(3). Let f = 2 - d. Let i = -307 + 6445/21. Is f at most i?
False
Suppose -17 = -v + 5*n, -n = 4*v - 2*n - 11. Suppose 2*r + 3*f - 2*f + 3 = 0, -10 = v*f. Is r less than or equal to 0?
False
Let k be (-24)/63*6/8. Which is bigger: k or -2/3?
k
Let b = 13/4 - 47/12. Let r = -136 - -1226/9. Is r bigger than b?
True
Let t(g) = -g - 6. Let p be t(-6). Which is smaller: 1/14 or p?
p
Let n = 65 + -58. Which is greater: 8 or n?
8
Let b = 5 - -8. Is 15 at most as big as b?
False
Let v = 1/206225 - 763857419/3918275. Let c = 195 + v. Which is greater: 0 or c?
c
Let y = 2.34 - -0.26. Let v = -8 - -8.6. Let a = v - y. Is a less than or equal to 0.1?
True
Let h = -0.389 - 0.041. Let w = -3.13 - h. Let l = 0.7 + w. Which is smaller: l or -0.4?
l
Let l(v) be the first derivative of v**4/4 + 5*v**3/3 + 5*v**2/2 + v + 1. Let m be l(-4). Let d(s) = s**2 + 3*s - 4. Let g be d(m). Are g and -1 equal?
False
Suppose 5 = 8*u - 3*u. Let r = 2 + u. Let b be (-1)/(r/(-6) + 1). Which is bigger: -1 or b?
-1
Let q = 469/22 + -21. Is -1 >= q?
False
Let m = 53/3 - 19. Are -1 and m non-equal?
True
Let m = 4 - 3. Let z = 13/63 - -2/9. Is m at most as big as z?
False
Let g = -71/5 - -913/65. Are 1 and g unequal?
True
Let w = 55 + -25. Which is greater: 29 or w?
w
Let p be -1 + 2 - (0 + 3). Which is smaller: p or -10/13?
p
Suppose -2*x - 3*h + 43 = 0, -h = x + x - 41. Let j be 4/(-8)*x/(-14). Is j < 1?
True
Let c be (-10)/30 - 8/(-6). Do c and 1 have the same value?
True
Let x be (-2)/(0 - (-4)/6). Let f = 2 + x. Let i be (1 - (-3)/3) + f. Is -1/4 smaller than i?
True
Suppose -2*s = -2*t + 2, 4*s - 12 = 8. Suppose -h - 4*h - 3*o + 6 = 0, -3*h - 2*o + 3 = 0. Let n be (1/(-3))/(h/t). Which is bigger: n or 0?
0
Let z be 1 + 0*(-1)/4. Suppose 0 = -k - 4 + 5. Is k < z?
False
Let f = 13 + -11. Let x(w) = -w**3 - 6*w**2 - w - 3. Let p be x(-6). Let a = 3 - p. Which is bigger: a or f?
f
Let t(f) be the first derivative of f**3/3 - 3*f**2 + f + 5. Let c be t(6). Is 1/2 less than c?
True
Suppose -1 = -g - 0. Suppose -2 = 4*b - 10. Suppose x + 4*a = a + b, a + g = -2*x. Which is bigger: x or -2/5?
-2/5
Suppose 6*x = x + 20. Let h be -1 + 1 + 0 - 0. Suppose -4*o + 4 + 4 = h. Which is smaller: o or x?
o
Let q(x) = x**2 - 8*x + 4. Suppose -3*b + 9 = -3. Let t be q(b). Let y be (2/(-5))/(t/10). Is 1 less than or equal to y?
False
Suppose 378 = -4*x + 118. Which is smaller: -66 or x?
-66
Let s = 161977/592371 - -1/15189. Let o = -12991/78 - -333/2. Let r = o + s. Are r and -1 equal?
False
Let s be ((-1)/2)/((-3)/18). Let k be (-3)/4 - 6/(-8). Suppose k = i - s*i. Is i at most as big as 1?
True
Let h be ((-46)/(-3))/((-10)/30). Are h and -48 equal?
False
Suppose 3*q = 8*q. Let u = 1.4 - 0.8. Let t = 0.1 - u. Is q at most t?
False
Let u = 0.11 - 0.91. Let n = 1 - 0. Let p = n + u. Which is smaller: 2 or p?
p
Let i = -4 + 2. Let f(k) = -k**3 - 3*k**2 + k - 2. Let q be f(-4). Suppose -5 = 3*d + q. Which is smaller: i or d?
d
Let f be (-1)/((-1)/(-66)*-1). Let g be 0 + -2 + 2*f. Let y be (-6)/g + 2/10. Which is bigger: 0 or y?
y
Let c(y) = -y**3 + 6*y