 Which is smaller: -4/9 or l?
-4/9
Let p be (1557/(-12))/3 + -1. Let u = p - -44. Which is smaller: u or 1?
u
Let y = 159 - 8743/55. Suppose -3*z - 9 = -3*h, z + 1 = -2*z + h. Is z equal to y?
False
Let t(k) = k**2 + 12*k + 13. Let h(s) = -10*s**3 - 2*s + 1. Let n be h(1). Let i be t(n). Which is bigger: i or 4/7?
i
Let t = -8094/25 + -3103/75. Let o = t + 365. Are 1 and o non-equal?
True
Let c = -18 + 11. Suppose 5*i = u - 37, i - u = 2*u + 1. Which is smaller: i or c?
i
Let y = 0.71 - 0.6. Let z = y + 0.09. Is 1 less than z?
False
Let q be (-5)/2*(0 - -2). Let x = 246 - 251. Is q > x?
False
Let o = 18 - 18. Is o bigger than -1?
True
Let m = 1 + -2. Let j be 32/6 + 2/(-6). Suppose -2 = j*i - 3*i. Is i < m?
False
Let q(i) = -i**2 - 13*i - 4. Let a be q(-12). Which is smaller: 6 or a?
6
Let w(f) = -f**2 - 2*f. Let q be w(-2). Which is smaller: -1/3 or q?
-1/3
Let x = 88 - 90. Which is smaller: x or 7?
x
Let a = 0.5 - 0.5. Let l = -0.4 - 0. Let f = a + l. Which is greater: -1 or f?
f
Let q = 3931 - 1890813/481. Which is smaller: -1 or q?
-1
Suppose 0*c - 5*c + d + 2 = 0, -5*d - 10 = 0. Suppose -2 = -h - c*h. Suppose -3*i = 4*g + 2, -i = -4*g - 3 + 9. Is g equal to h?
False
Suppose -2 = -2*s - 0. Does s = 2?
False
Suppose -4*l = t + 38, -l - 8 = t - 3*l. Is -17 greater than or equal to t?
True
Let t = 9 + -5. Suppose 55 = -5*p + 180. Suppose g = -t*g + p. Is 5 greater than or equal to g?
True
Let q = 1/76 + 417/76. Which is smaller: 5 or q?
5
Suppose 0 = -2*j - 0*j. Let q be (-2)/(-10)*10/24. Which is smaller: j or q?
j
Suppose 0*u - 15 = 5*u. Let d(l) = -l**2 - 4*l - 2. Let r be d(u). Which is greater: 2/5 or r?
r
Let q = 160 + -151. Which is smaller: q or 0.02?
0.02
Suppose 3*b = -2*b. Suppose -4*i - 32 = -2*v, 0 = i + v - b*v + 2. Let z(q) = q**2 + 4*q - 6. Let d be z(i). Is 5 equal to d?
False
Let n be 3/9 + 6*(-4)/(-36). Which is greater: n or -2/13?
n
Suppose 4*d + 6 = d. Let j be (-1)/6 + (-1)/d. Let k(t) = 9*t - 17. Let h be k(2). Which is greater: h or j?
h
Let o = 10 - 9. Is -2/35 < o?
True
Let l(y) = y**3 - 3*y**2 + 2*y + 1. Let c(q) = q**2 - q - 1. Let p(o) = 3*c(o) - l(o). Let k be p(4). Let n = -3 + 10. Are n and k non-equal?
True
Let v = -17/4 + 1453/340. Which is smaller: v or 1?
v
Let s be 3/6*(-1 - (0 + -1)). Is 2 equal to s?
False
Let n = -0.9 + -5.1. Let c = 2 + n. Let x = -4 - c. Are x and 0.3 nonequal?
True
Let d = 1 + -15. Let r = d + 21. Which is greater: r or 1/3?
r
Suppose -5*v + 19 = -2*t, -5*v + 13 = -t + 2*t. Suppose v*x + 13 = c, c + 3*x = 4*c - 15. Is -6/17 at least as big as c?
False
Suppose -1 = -a - 3*x - 12, 2*a - 3*x = 23. Suppose -11*b - 9 = -2*b. Which is greater: a or b?
a
Let o(k) = 4*k + 29. Let i be o(-7). Are i and 4 non-equal?
True
Let n be (4/(-3))/((-12)/(-18)). Which is smaller: 9 or n?
n
Let b = -6 + 9. Suppose i - 5 = -5*c, -15 = -4*c + c - b*i. Suppose 0 = -3*u - c - 3. Which is smaller: 2/9 or u?
u
Let g = -0.1 - -0.1. Let i be (-33)/(-171) - (-1)/3. Let j = 107/95 - i. Is j < g?
False
Suppose 5*u = a + 12, -5*u + 0*u = -15. Suppose -4*z + 4*h + 4 = 0, -2*z - 1 = a*z - 3*h. Which is greater: -3 or z?
z
Let x = 5.3 + -5.4. Is x less than 67?
True
Let f = -3.2 + 2.3. Let q = 0.5 - 0.4. Are f and q equal?
False
Suppose -r = -0*w + 3*w + 9, 0 = -2*w - 4. Let u be ((-5)/((-5)/2))/(2/(-5)). Which is smaller: u or r?
u
Let b = -5/227 + 4151/2951. Is b less than or equal to 0.3?
False
Let k(h) = 7 - 20 + 3 + 3*h - 2*h. Let n be k(10). Is -1/4 smaller than n?
True
Let c(u) = -u**3 - u. Let h(s) = 2*s**3 + 3*s**2 + 6*s + 3. Let y(x) = 3*c(x) + h(x). Let b be y(4). Which is smaller: 1/34 or b?
b
Let t be (-1)/((-20)/(-28)) - -1. Which is bigger: -1 or t?
t
Suppose 5*j = -4 - 6, 0 = 2*h + 2*j + 2. Let s(q) = -5*q**3 + q. Let m be s(h). Do m and -4 have different values?
False
Let c be 15/10*(-16)/(-3). Let y = -4 + c. Which is smaller: 3 or y?
3
Let m be (3 + -1)*(-1)/(-5). Is m < -0.5?
False
Suppose 2*h = -2*m + 338, m + 0*m + 4*h - 175 = 0. Let b = m - 2503/15. Are 1 and b equal?
False
Let m = 8 + -8. Let q be 58/(-20) + 27/9. Which is smaller: m or q?
m
Suppose -c = -h + 9, -1 = 3*h + 2*c - 13. Suppose -2*k - 36 = -h*k. Let y be ((-8)/10)/(k/15). Which is smaller: y or -1?
y
Suppose 0 = 4*w - 18 - 34. Suppose 3*x - 14 = w. Let c = -10 + x. Which is smaller: c or -1/3?
c
Let z(f) be the second derivative of -f**4/12 + 5*f**3/6 - f**2 + 2*f. Let d(a) = -a**2 - 5*a - 2. Let i be d(-3). Let r be z(i). Is 2 less than r?
False
Let v = 3021344 + -21207682/7. Let k = v + 8426. Let r = 101 - k. Is r at least as big as 0?
False
Let z = -10 - -13. Let l be ((-2)/4)/(z/(-12)). Which is greater: 1/2 or l?
l
Let l(a) = 5*a - 2*a - 4*a. Let x be l(0). Let m be x + (-42)/(-15) - 3. Is 3 >= m?
True
Let n(i) = i**3 - 4*i**2 + 3*i - 2. Let c be n(4). Let k be (-6)/(-27) - 338/(-18). Suppose -3*u - m + k = u, c = u + 2*m. Which is greater: u or 5?
5
Suppose -2 = 4*d - 26. Suppose -d = 4*w - 2. Is w at most as big as 3/11?
True
Let q be (-920)/20*(-1)/(-2). Which is smaller: -20 or q?
q
Suppose 0 = -2*f + 6 + 2. Suppose 27 = -f*y + 11. Is -4 less than or equal to y?
True
Let r be (-3)/18354*38319/6. Let y = -66/437 - r. Let k = 8/7 - y. Which is bigger: 3 or k?
3
Let j(l) = l**3 - 7*l**2 - 10*l + 14. Let n be j(8). Is n at most as big as 28?
True
Let x(n) = -7*n. Let k be x(-5). Let s = 2 - 1. Suppose m + 3*d = d + s, 5*d = 5*m - k. Do 4 and m have different values?
True
Let t = -0.28 - 0.02. Are -1 and t nonequal?
True
Let m = 5 - 8. Let w be (2/m)/((-4)/(-6)). Which is bigger: -2 or w?
w
Suppose 0 = 3*q - q - 18. Suppose -2*g = -5*g - q. Let o = g - -2. Which is bigger: o or 2/5?
2/5
Let h(m) = -m**2 - m + 1. Let u be h(-3). Let s(b) = -b**2 - 2*b + 4. Let t be s(-4). Let c = t + -1. Is u < c?
False
Let n be -4*((-1)/1)/1. Which is smaller: n or 6?
n
Suppose -3*u + t + 12 = 0, -4*u + 16 = 2*t + t. Suppose -u*n + 15 = -n. Suppose 4*o = 5*v - 1, 0 = -5*o - 2*v + n*v + 2. Is 1 at most as big as o?
True
Let l be ((-26)/(-91))/(40/7). Which is smaller: l or 2/9?
l
Let p = -25 - -18. Let n(g) = -4*g - 4. Let w(k) = 11*k + 13. Let u(j) = 8*n(j) + 3*w(j). Let t be u(p). Is 3 greater than or equal to t?
True
Let u = 2 + -2.5. Let o = 0.5 - u. Let g = o + -1.1. Is -0.1 < g?
False
Let k = -17 + 15. Let i(t) = t**2 + 5*t + 2. Let v be i(-4). Let f = -2 + v. Are f and k equal?
False
Let m = -21 + 22.5. Which is smaller: m or 2?
m
Let j = 3 - 6. Let x(g) = -3*g**3 + 2*g**2 + g. Let v be x(-1). Suppose -v*i + 3*l = 3, 0*l + 3 = -l. Is j greater than i?
False
Let w be 9/4 - (-6)/(-24). Suppose 0 = b - w*b. Which is smaller: 1/6 or b?
b
Let o(n) = 2*n + 1. Let c be o(-1). Suppose -2*s + 10 = 3*s. Let j = c + s. Which is greater: 2/5 or j?
j
Let n(p) = 3*p**2 - 1. Let s be n(1). Suppose -c + u = 1 + 2, -c + 3*u - 13 = 0. Suppose -3*t + c = -4. Is s at most t?
True
Let p be (-1)/(4/((-24)/(-6))). Is p at most as big as -2/135?
True
Let r be ((-4)/(-3) + -2)*-48. Let k be r/(-30) - 3/9. Which is greater: k or -2?
k
Let j = -13 + 4. Let t = 9.1 + j. Which is smaller: -9 or t?
-9
Suppose -3*s + 0*s + 9 = 0, 4*t = 2*s - 38. Let f be (-1 + (-18)/t)*4. Suppose -4*p = -5*o + 10 - 25, f*o - p = 0. Which is greater: o or 4/9?
o
Let s = 54 + -484/9. Is -0.7 at least s?
False
Suppose -2*o + 40 = -4*v + 2*o, -v - 5*o + 2 = 0. Is v >= -8?
True
Suppose z - 2 = -7. Which is smaller: z or -50/9?
-50/9
Let x = -125 + 120. Which is greater: x or -0.1?
-0.1
Let j = 4 - 6. Let v = 3.9 + -1.6. Let t = -1.3 + v. Which is greater: t or j?
t
Let a be ((-2 + 6)/(-4))/(-1). Is -1 at most as big as a?
True
Let j = -2.2 - 0.8. Let c = j - -7. Let o = c - 4. Is -0.03 < o?
True
Let i = -1 - -0.8. Suppose 3*n = 8 - 2. Is n bigger than i?
True
Let b be (1 + (-2)/3)*3. Suppose 7 = -2*z - b. Let s be z/8 - (-9)/10. Which is smaller: s or 1?
s
Suppose 101 = k - 6*k - 2*o, -48 = 2*k - 3*o. Let h be 22*(-3)/((-54)/k). Let d = 26 + h. Which is greater: 1 or d?
1
Let u = -0.08 + 1.28. Let k = -1.5 + u. Which is greater: k or 0?
0
Let w be (-378)/(-1320) - (-1)/(-4). Which is smaller: 1 or w?
w
Let v be -2 - (2 + -2) - -5. Let w(n) = -n**2 + 4*n + 1. Let f be w(v). Let r = f + -4. Which is bigger: r or 2?
2
Let t = 0.06 + -5.06. Let p = -0.06 - 0.94. Does p = t?
False
Let u = 