5
Let h(u) = -u**2 + 4*u + 7. Let j be h(5). Let l be (-15)/(-18)*27/18. Which is smaller: j or l?
l
Let x be (0 - -1)/(4*5/(-40)). Let a be ((-2)/(-6))/((-2)/10). Is x less than a?
True
Let x be 0 + -1*(-2)/(-6). Which is smaller: -0.3 or x?
x
Let z = -20 - -19.87. Is z at most as big as -2?
False
Let w(x) = -x**3 + 4*x**2 + x. Let f be w(4). Suppose -3*i = -4*l + 13, 2*i = -f*l + 15 + 3. Let j = -32 - -162/5. Which is smaller: i or j?
j
Let s = -32 + 31. Are 2/41 and s equal?
False
Let o = -0.3 - 0.7. Let x = -16.72 + 16.7. Which is smaller: o or x?
o
Suppose 0 = -7*s + 4*s - 15, 0 = -3*j - 4*s - 20. Let h(l) = l**2 + 8*l + 15. Let g be h(-6). Is g greater than j?
True
Suppose 2*h + h = 0. Let z = -2 - -2. Suppose -5*k + 2*k = z. Is k less than or equal to h?
True
Suppose -r + 15 = 3*f + 2*r, -f + 2*r - 1 = 0. Which is greater: 12/7 or f?
f
Let f(a) = -a**3 + 7*a**2 - 7*a - 4. Let h be f(6). Let l be (-24)/h + (-4)/10. Suppose l*z + 5 = -3*z. Which is bigger: z or -2?
z
Let n be (1174/(-30))/((-1)/(-3)). Let f = -118 - n. Let k = f - -4/5. Which is greater: k or 0?
k
Suppose 4*l - 32 = -0. Let p = l + -4. Suppose -5*i - 10 - 5 = 0, -4*i - 18 = -2*x. Which is bigger: p or x?
p
Let h = -48 - -25. Let z = h + 8. Is z equal to -16?
False
Suppose 2*d = 4*q - 34, -3*q = 2*d - 8 - 0. Let f be q/3*(-1)/4. Is -2 smaller than f?
True
Let v = 2503/15 - 167. Which is greater: v or -0.1?
-0.1
Let f(y) = -3*y - 3*y + 3*y**2 + y**3 + 1 - 7. Let o be f(-4). Suppose 0 = 3*m - o*j, m - 2*m + j = 1. Which is smaller: 1/2 or m?
1/2
Suppose -6*x + 99 = -39. Are x and -1 non-equal?
True
Suppose -7 + 9 = 2*x. Is 1/6 != x?
True
Let q(x) = -x + 2. Let b(y) = -y**3 + 5*y**2 + 6*y + 4. Let l be b(6). Let j be q(l). Let n be (5/(-15))/(j/18). Is 1 equal to n?
False
Suppose 2*s + 20 = 6*s. Suppose 4*u - s*u = 3. Does -9/4 = u?
False
Let i be (-12)/152*(-8)/(-6). Which is smaller: -0.06 or i?
i
Let m = 6 + 6. Is 7 bigger than m?
False
Suppose -6 = -g - g. Suppose g*z - 26 = -4*n, z = -2*z + 3*n - 9. Suppose z*o = o. Is 2/9 at least as big as o?
True
Suppose -4*z = -8*z + 8. Which is smaller: z or 1?
1
Let x be ((-66)/(-55))/((-3)/(-10)). Let i be 2/4*8/2. Suppose -i*t + j = x, -t - 2*j = j + 16. Do -4 and t have the same value?
True
Let r be (75/20)/((-1)/4). Is -15 less than or equal to r?
True
Suppose -2*z + 4*z - 2*o = 12, z = -3*o + 10. Let k(r) = -7*r - 1. Let g be k(-3). Suppose 2*s = z*s - g. Does s = 3?
False
Let w(o) be the second derivative of o**3/2 - 9*o**2/2 + 3*o. Let f be w(6). Let k be (-3)/(-12) - f/12. Which is smaller: k or -2?
-2
Suppose v + v + 6 = 0. Let a be 0/(0 + 3/v). Are 0 and a nonequal?
False
Suppose 3*v - 3*s + 1 = -2*s, -13 = -5*v - 2*s. Is v equal to -3/17?
False
Suppose -4*i + 4*w = -2*i + 2, 0 = 2*i - w + 5. Which is smaller: -3/2 or i?
i
Suppose -y + 2 = 3. Let z be (y/(-2))/((-5)/10). Which is greater: z or -2/17?
-2/17
Let w(g) = g - 3. Let b be w(3). Suppose 0*s - 5*s = -4*n, b = -2*s + 5*n. Let j = -1/4 - s. Is j != -1?
True
Let p = 383981179/741 + -518193. Let u be 16/38*1/6. Let c = u - p. Which is bigger: c or 0?
0
Suppose -3*t = -5*c - 7, -4*t - 2*c - 2 + 46 = 0. Let l = 3 - t. Is -5 > l?
True
Suppose 2*i = -b - 0*i - 4, -10 = 3*b + 4*i. Let t be (b/8)/((-14)/(-8)). Let n(g) = -g**3 + 5*g**2 + 6*g. Let w be n(6). Is w less than or equal to t?
False
Suppose -n = 2*j, 2*j + 5 + 5 = 4*n. Which is bigger: -26/5 or n?
n
Let d be 4 - 9/2 - -1. Are d and 3/5 unequal?
True
Suppose -5*q + 4*h = 0, 0*q - 5*h + 29 = q. Suppose -4*v + 7*v + 3*m - 3 = 0, 4 = q*v - 5*m. Is v less than or equal to 1?
True
Let a(l) = -l**2 - 6*l + 2. Let p be a(-7). Let r be 9/(-3) - (0 + p). Let n be 20/(-6) + r/6. Which is greater: n or -4?
n
Let p(z) = z**3 + 5*z**2 + 1. Let g be p(-5). Let a = -19/2 + 10. Which is bigger: a or g?
g
Let p = 7.59 + -7.5. Let z = -2.69 + 2.5. Let y = p + z. Which is smaller: 0.3 or y?
y
Suppose -14 = -4*n - k, -4*n + 3 = -3*k - 3. Let m be (-7)/(-15) + (-2)/n. Is m at most as big as -1?
False
Let l = -1 + 1. Let c be ((-2)/3)/((-153)/27). Is l equal to c?
False
Suppose 0*z + 17 = z - 4*p, 0 = 3*z - 3*p - 6. Let w be 0 + -2*z/6. Is 1/4 greater than w?
False
Let q be 0 - -1 - -1*1. Suppose 3 - 1 = r. Let t = q - r. Which is greater: t or -2?
t
Let v be 2 + -3*1 + -7 + 10. Suppose 4*f - 19 + 3 = 0. Is f less than or equal to v?
False
Suppose 2*d - 5*i = 14, 2*d - 12 = 5*i - i. Suppose d*l = l + 4*v - 6, l + 2*v - 12 = 0. Let b = -4 + l. Is b at most as big as 2?
True
Suppose 4*y = 2*n - 26, 4*y - 2*n = 2*y - 14. Is -6 less than y?
False
Let a = -7.1 + 9.1. Is -5/7 bigger than a?
False
Let u be (-8)/(-224) + 3/12. Is u > 0?
True
Let b be (5/(-25))/(2/5). Suppose -5*f + 4*f = 1. Which is bigger: f or b?
b
Let t = -4.7 - -3.7. Let q be (2/(-4))/((-2)/(-4)). Is q at most as big as t?
True
Suppose 2*v - 2*h = 8, 13 = 4*v + v + 2*h. Let d = 1 - v. Let c(g) = 4*g + 4. Let q be c(-2). Is d > q?
True
Let j be 6/(-52)*(-3013714)/(-9). Let u = -38640 - j. Let m = 30/13 + u. Is 1 less than or equal to m?
False
Let q be ((0 + 0)*1)/1. Let c = 83 - 7. Let d = 530/7 - c. Is q smaller than d?
False
Let s = 0.41 + -0.5. Let z = s + 0.09. Is z equal to 6?
False
Let d = 25657/6844 - -2/1711. Is 4 < d?
False
Let d = -397/7 - -57. Which is bigger: d or -3?
d
Let t = -2.1 - -1. Let h = -0.1 + t. Let q = h - -1. Which is smaller: -0.1 or q?
q
Let b = 6 - 7. Which is smaller: -2/7 or b?
b
Let g be 0/(-2) + (-1)/1. Let n be ((1 + g)/(-2))/(-2). Suppose 3*s + 6 = -3*m, 3*s = -n*m - 5*m - 6. Is s greater than or equal to -3?
True
Let x = -1/59 - -416/177. Suppose -12 = 3*n - 3. Let q = n + 4. Which is smaller: q or x?
q
Suppose -66 = -6*z - 0*z. Let k = -7 + -1. Let l = k + z. Which is smaller: l or 2?
2
Let q = -20 - -14. Let z(y) = y**2 + 6*y + 9. Let d be z(q). Let g = 15 - d. Does 5 = g?
False
Let d(l) = l**3 - 5*l**2 + 3*l + 6. Let r be d(5). Suppose 4*z = r + 43. Suppose 2*u - z = 4*i, -i + 5*u = i. Is -1 greater than i?
True
Suppose 8 + 7 = 5*t. Suppose 0*c = 2*c + 102. Let d be (t - c/(-18))*8. Does 2 = d?
False
Suppose -16*r = -11*r. Is -1/71 bigger than r?
False
Let f = 7/30 - -1/10. Which is greater: -1 or f?
f
Let x = 7 - 5. Suppose -g + 6 = g. Which is bigger: g or x?
g
Let p(d) = -d**2 - 4*d + 3. Let v be p(-5). Let l be (4/(-6))/(6/9). Let a = -3 - l. Are v and a nonequal?
False
Suppose 3*d + 2*d = 65. Let q be (-2 - d/(-4))*4. Let s be 2/q + 12/20. Which is smaller: s or 1/4?
1/4
Let s(y) = -y - 7. Let j be s(-8). Let x be (1 - 0) + -4*j. Let p = -4 - x. Is p < 1?
True
Suppose 4*u - 7*u = -6. Let n = -1 + u. Is 0 less than n?
True
Let r = -4/3 - -13/12. Which is greater: r or 1?
1
Let h = 97/22 - 32/11. Let b be (-10 + 10)/(1*3). Suppose -4*w + 3*g + 18 = 0, 0 = -b*w - 3*w - 2*g + 5. Is h > w?
False
Let s be 1/(-4) + 3188/48. Let u = s + -66. Are 0 and u nonequal?
True
Let v be (((-1)/11)/1)/(-8 - -9). Are v and 3/8 unequal?
True
Suppose 0 = -3*o - 13 + 16. Do 3/13 and o have the same value?
False
Let k = -139 - -139. Let j = 1.3 - 7.3. Which is bigger: j or k?
k
Let x = 4 + 1. Suppose x + 10 = -5*s. Let w = 5 - 8. Is w at least as big as s?
True
Let w be (85/15 - 5)/(-3). Let i = -0.05 - 0.35. Which is smaller: i or w?
i
Suppose 7*s - 127 - 27 = 0. Do 22 and s have the same value?
True
Let g be (9 - 1)/(6/(-62)). Let z = g + 82. Which is bigger: z or -2?
z
Let a be (-33)/30 + 4/(-10). Suppose -5*t = -2*j + 1, 8*t = 3*t - 4*j + 17. Let d = -2 - t. Which is greater: d or a?
a
Let g = 5 - 4. Suppose -2*o + a + g = -0, 2*a = -4*o + 14. Let s be (-20)/(-6) - o - 0. Which is smaller: 0 or s?
0
Let n(i) = -6*i - 3. Let j be n(-2). Suppose 3*g - 3 = -j. Suppose 0*h = -2*h + 5*h. Is g bigger than h?
False
Let s = 85 + -2293/27. Which is smaller: -1 or s?
-1
Let u be 1/(-3) + (-156)/(-144). Suppose -y - 5*r + 24 = 0, 0*y = y + 3*r - 16. Suppose y*a - 4 = 2*a. Is u at most a?
True
Let n be 0 - -1*(-2)/(-2). Let x = -63 - -127/2. Is n < x?
False
Let v = -17 + 17.1. Let i be 3/(-4) + 2/2. Is v smaller than i?
True
Let p(t) = t - 1. Let k be p(0). Let b be 0*2/4*k. Suppose -4 = 4*u - b. Is u not equal to -2/3?
True
Let d be (-21 - -16) + (19 - -1). Suppose 4*w - w - 45 = 0. Is w smaller than d?
False
Let b(x) = -x**3 - x**2 + x - 4. Let v be b(0). 