 1 + 4 = 0. Which is greater: t or l?
l
Let m(r) = -r**2 + 5*r - 5. Let y be m(4). Let x = 9073/11 - 821. Let f = x - 137/33. Which is smaller: f or y?
y
Let r(p) = 13*p**3 + p**2 - 3*p + 1. Let n be r(1). Is 11 at most as big as n?
True
Suppose 4936911 + 3522013 = -4*q. Let f = -1402068194/663 - q. Let i = -2/221 + f. Which is smaller: i or -1?
i
Let w be 44/68 + 4/(-6). Let c = -97/255 + w. Is c greater than -1?
True
Let q = -24.75 - -25. Is q < -1/2?
False
Suppose 575 = -5*f - 2415. Let y = -11359/19 - f. Is y less than or equal to 1?
True
Let u be (6/4)/(3/(-6)). Let o = u - -2. Suppose 2*t = -2*j - 3*t - 27, 3*j = -3*t - 18. Is o less than j?
False
Let f(d) = -2*d - 11. Let l(q) = q + 6. Let c(b) = 3*f(b) + 5*l(b). Let n be c(-6). Let h = 127 - 124. Is n greater than h?
False
Let g(c) = -c - 1. Suppose u + 4 = 0, -2*y + 0*y + 4 = -3*u. Let h = y - -2. Let p be g(h). Which is smaller: p or 0?
0
Suppose -2*h + 0*h - 2*n = 8, 4*h = -5*n - 20. Let p be 2 + -1 + h + -3. Let y be 0/(1*p/(-1)). Is y at least as big as -1?
True
Let x(f) = -f + f - 1 + 8*f**3 - 2*f**2 + 3*f**2. Let j be x(-1). Let h = 6 + j. Is -2 < h?
False
Suppose 5*m - 5*j - 47 = 3, 3*m + 3*j - 42 = 0. Let a = 5 + 6. Is a bigger than m?
False
Suppose -4*g - 6 - 13 = h, 0 = -4*h + 3*g. Let p = 2 + h. Let a(r) = r**3 + 6*r**2 + 4*r - 5. Let u be a(-5). Is u at least p?
True
Let v be 4/(-5)*(-30)/4. Let l = v - 4. Let b be (-3)/(-4)*l/6. Which is bigger: b or -1?
b
Suppose 3 = 2*h - 15. Let f be (18/(h/3))/(-2). Let s be (-1*12 - f) + 1. Which is smaller: s or -9?
-9
Let u = -0.26 - -11.26. Which is greater: -1 or u?
u
Let h = 8 + -4. Suppose 3*w - h = 2. Suppose 2*c = -0*c + w. Is 0 at least c?
False
Let y = 16 - 2. Which is smaller: y or -0.1?
-0.1
Let r be (-11)/2 - 2/4. Let f(n) = n**2 - 3*n - 2. Let w be f(5). Let y = w - 13. Which is greater: y or r?
y
Let g(d) = -d**3 - 3*d**2 + 3*d + 4. Let s = -10 + 15. Suppose -s*l + 19 = -10*l + n, 0 = -5*l + 3*n - 17. Let i be g(l). Do i and 2/5 have the same value?
False
Let s be (3/10)/(78/65). Let c(q) = -q - 2. Let v be c(-3). Is v greater than s?
True
Let n = 5386/849 - 3/283. Which is smaller: 6 or n?
6
Let c be 262/(-2398) + -6 + 6. Let h = 2/109 + c. Which is smaller: -0.1 or h?
-0.1
Let u(c) = -c**2 + 2*c + 4. Let z be u(4). Let l be (2/(-4))/((-1)/z). Which is smaller: l or -1?
l
Let s(i) = -57*i + 1. Let h be s(1). Let m be (-96)/h + (0 - 2). Let t = 4 + -4. Is t greater than or equal to m?
True
Suppose -5*s = -66 - 4. Is s > 90/7?
True
Let b = -0.3 + 0.6. Let d = 0.2 - b. Let p = 16 - 15. Is p at most d?
False
Let w be 18/(-84)*(2 + 0). Suppose 2*t + 0*t = -5*m, -m + t = 0. Which is bigger: m or w?
m
Suppose 3*z + 35 = 104. Do 22 and z have different values?
True
Suppose -k + 3*k = 2. Let g(u) = 6*u**2 - u. Let j be g(k). Do 4 and j have the same value?
False
Suppose 5*z = 2*i + 8, -4*i = 4*z + 9 + 35. Let g = 8 + i. Which is bigger: g or -2?
g
Suppose -2*g + 5*g + h + 45 = 0, 2*h - 54 = 3*g. Which is smaller: g or -15?
g
Let h = 32.9 - 33. Which is smaller: -0.03 or h?
h
Let r be 3 - 1*(-1 - 0). Suppose 4 = 4*t - r. Is t < -0.1?
False
Suppose p + 4*s = 33, -p - 56 = -3*p + 2*s. Is p at most 27?
False
Let b = 1.5 - -0.2. Let d = -0.7 + b. Is d >= 2/7?
True
Let j = 0.5 - 0.4. Which is smaller: j or 7?
j
Let b = 517/5 + -104. Which is smaller: b or -5?
-5
Let f(w) = w**3 + 6*w**2 + 5*w + 9. Let l be f(-6). Let k = 20 + l. Which is smaller: 2/7 or k?
k
Let s = -23/11 + 49/55. Are s and -1 non-equal?
True
Let a = 0.1 - 1.3. Let g = a + 0.2. Let t = -25 + 127/5. Is t smaller than g?
False
Let h be (2/3)/((-12)/(-90)). Let a = 6 - 4. Suppose -h = -0*l - l - 2*t, l + 3 = a*t. Which is bigger: l or 1/8?
l
Let p(j) = j**3 - 3*j**2 + 4. Let f be p(3). Suppose 5 - 1 = -2*q. Let b be (f/(-4))/(q/(-4)). Is b > -2?
False
Suppose 0 = 4*l + l. Is l > 1/6?
False
Suppose 0 = 5*s + 3*z + 11, 3*s + 4*z = -0*z. Suppose -2*k = v + 3, -4*v - v + 5*k = -30. Suppose 2*o - 4 = v*o. Do o and s have different values?
False
Suppose s - 6*s - 35 = 0. Is -7 bigger than s?
False
Suppose -3*i + 12 = -0*i. Suppose n - r + 2 = 11, 0 = -4*n - i*r + 76. Let m be (-1 - n/(-16))*-2. Do m and -1 have different values?
True
Let g be (2 - 4/2)/(-1). Does g = -5?
False
Let v = -3.87 + 4. Let z = v + -0.03. Let h(n) = -3*n**2 + n. Let k be h(1). Is z at least as big as k?
True
Suppose -2*p = -0*p + 6. Let c(u) = u**3 + 4*u**2 + 5*u + 2. Let b be (-1 + 2/5)*5. Let g be c(b). Which is greater: p or g?
p
Suppose -2*j = 5*u - 21, 0 = 5*u - u - 3*j - 3. Let i be 1 - (-4 - (2 - 3)). Which is bigger: i or u?
i
Suppose 0 = 3*d - 15, 3*x - 5 = -d - 0. Is x at most 1/7?
True
Let z = 3.2 - 0.2. Let w = -2 + z. Let i(s) = -s - 1. Let v be i(0). Which is greater: w or v?
w
Let v = 1.02 + -0.02. Let x = 0.9 - v. Is -2 >= x?
False
Let s(f) = -236*f - 14. Let q be s(6). Let t = q + 11425/8. Which is greater: -2 or t?
t
Let q be 25/10*(-2)/(-20). Let v = -404/1463 - 2/209. Do q and v have different values?
True
Suppose -n = 3*f - 3, -4*n + 5*f = -0*f + 5. Let r be (-2)/(-4) + (-2)/(-4). Is r > n?
True
Let a = -131 - -198. Suppose -3*q + 0*q + a = -2*d, 3*q = -4*d + 91. Suppose 2*k + 10 + 0 = 4*w, -3*w = 5*k + q. Which is bigger: -1 or w?
w
Let g = -31/26 - -9/13. Suppose -2*t = -3*t + 1. Let h be t/(2 + -1) - 2. Is g bigger than h?
True
Let f be (-3 - (-1)/(-1)) + (6 - 9). Which is greater: -42/5 or f?
f
Let n(a) = -a**2 - 4*a. Let p be n(-4). Let j be (-2)/(-3) + 0 + p. Is 2 != j?
True
Let b(w) = w**3 - 2*w**2 - w - 4. Let m be b(3). Suppose 2*i = 2*s + 9 + 5, -m*s + 3*i = 19. Is s greater than or equal to 2?
False
Let a(l) = -7*l + 3*l + 3*l**2 - 2*l**2. Let y be a(4). Let p be 22/(-126) + (-6)/(-21). Are p and y non-equal?
True
Let q be (2 - -1)*(-16)/(-168). Are q and 1 equal?
False
Let v = -7 - -10. Suppose 4*t - 7 = v*w, 3*t = 4*t - 4*w - 18. Let a be (0 + t)*7/(-14). Which is smaller: a or -0.1?
-0.1
Suppose 0 = 3*n + 2*v - 7*v - 23, 4*n + v = 0. Which is greater: n or 15?
15
Let f be 16*(-4)/31 + 2. Is 1 at least f?
True
Let m = -17 - -28. Let w = m - 7. Suppose 0 = 3*b - 0*b + 2*x + 3, w*b - 5*x = -27. Which is bigger: -2 or b?
-2
Let b be (-9)/(-6)*1/(-372). Let n = -1495/1736 - b. Is 0 != n?
True
Let u(r) = r**3 - r**2 + 2*r - 1. Let l be u(1). Suppose -v - 4 = -5. Is l smaller than v?
False
Let h = -2.94 - -3. Let w = 39 - 39. Which is smaller: h or w?
w
Let b(k) = k + 11. Let s be 3 + 1/((-2)/24). Let v be b(s). Suppose -4 + v = -y. Is y greater than or equal to 3?
False
Let r = 25 - 31. Which is bigger: r or -3?
-3
Let s = 0.2 - 0.09. Let h = -0.09 - s. Which is greater: h or 2/3?
2/3
Let d = 50 - 44. Which is greater: -1 or d?
d
Let b be ((-14)/105)/((-20)/(-25)). Suppose 3*j - 2*t = 25, -j - 2*t - 5 + 0 = 0. Suppose 5 = 2*p - 0*p - j*q, 0 = -3*q - 3. Is p > b?
True
Let i = -1880073/25270 + -3/5054. Let c = i - -74. Let g = 9/35 + c. Is 0 at most g?
False
Let a be (-24)/27*2/4. Let r = a - 2/9. Is r less than 0?
True
Let p be 54/(-45)*40/(-26). Is p not equal to 2?
True
Suppose 4*u + 0*u + t - 5 = 0, -3*u + 5*t = -21. Let s be 0 + (1 - u)/(-1). Which is smaller: s or -2/39?
-2/39
Let r be -1*1*(8 + -10). Suppose -r*d = d - 3. Suppose 4*m + 0*l = 5*l - d, m + 5*l = 6. Is 3/7 less than or equal to m?
True
Let d be (-1 - (5 + -3))*1. Let b = d + 19/6. Is -1 smaller than b?
True
Let c = 4.76 - 0.66. Let i = c + -4. Let r = 181 - 2355/13. Which is bigger: i or r?
i
Let a = -2315918/13363 - -43/1909. Let k = -173 - a. Let w be 2 + (-2)/(-1)*-1. Which is smaller: w or k?
w
Suppose j - 3*j = -f + 13, f = -j + 7. Suppose 20 = 4*m - f*m. Is m bigger than -3?
False
Let p be 28/(-7) + 7/4. Is -2 at least as big as p?
True
Let f = 3 - 2.92. Let o = 7 - 6.92. Let a = f - o. Does 4 = a?
False
Suppose 3*x - 3 = -3*k - 0, 0 = -k + 1. Which is smaller: x or -16?
-16
Let g = 1 + -1. Suppose 16*b - 11*b = -20. Let d be 26/60 - b/10. Is g bigger than d?
False
Let s = -24 + 25. Let q = 76 + -111. Let a = -104/3 - q. Which is bigger: a or s?
s
Suppose 2*p - 2*w = 16 + 4, -20 = -p + 3*w. Suppose -y - y = 2*d, -3*y = p*d. Is -0.1 > y?
False
Suppose 0 = i - 7*i - 12. Is -3 >= i?
False
Let l be -12 + 0 + 2 - 1. Let p(x) = -x**2 - 13*x - 13. Let d be p(l). Let r be (-2 + d)*-1 + 1. Is -6 > r