2*f(w). Let h be y(1). Which is smaller: 2 or h?
h
Let m = 3 + -5. Let v(n) = -4*n**2 + 9*n + 3. Let d(i) = i**2 - i. Let c(q) = 6*d(q) + v(q). Let z be c(m). Are z and 6 unequal?
True
Let u = 8 - 9. Which is bigger: u or -7/3?
u
Let i be 2 - (22/6)/1. Suppose 5*j + 2 + 5 = -4*a, -4 = 2*a + 2*j. Are a and i equal?
False
Let c be 33 + 1 + -7 + 3. Let y = -211/7 + c. Which is greater: y or 1?
1
Let i be (((-100)/(-55))/2)/(-2). Is i smaller than 1?
True
Let m = 3/14 + 5/14. Let h = 0 - -1. Is h >= m?
True
Let k = -1.4 - -1.5. Which is bigger: k or -2?
k
Let g be (3/(-3))/((-49)/(-35)). Is g at most -1?
False
Let t be 0 - (4 + -4)/2. Is t bigger than -2/91?
True
Suppose -4*f = -12, 93 = 5*b - 0*f - 4*f. Suppose w - b = -6. Suppose g - 20 = -3*j, -g - g - j + w = 0. Which is smaller: g or 6?
g
Let l be 9*(1 - (-20)/(-15)). Which is greater: -7 or l?
l
Let y = -53 + 63. Which is smaller: 11 or y?
y
Let d be 0/(-2 - (1 - 1)). Suppose l - 2 = -2*t, d*l + 5*t - 5 = -2*l. Is 0 less than l?
False
Let m = 0.5 + -0.4. Let s be 0/1 - 4/(-2). Let j = -2 + s. Which is smaller: j or m?
j
Let v = 2.6 + -0.6. Let h = 4/7 - 34/35. Is v smaller than h?
False
Let d = -0.38 - 0.12. Is 0 bigger than d?
True
Let s be (-88)/(-114) - (-6)/(-9). Is 1 bigger than s?
True
Let y = 11198/3 - 3656. Let q = 76 - y. Let w be 2/8 - 5/(-12). Which is smaller: q or w?
q
Let k be -4 + (5 - (1 - -2)). Is k less than -1?
True
Let m = 9/11 + -49/33. Let q = m + 29/39. Is 1 < q?
False
Let v = 349 + -711/2. Let b = v - -69/10. Are b and 2 nonequal?
True
Let g be (-3)/(-18) - 17/(-6). Suppose -j + 3*j = -2*i - 8, -g*i - 12 = 4*j. Let l = 0 + 0. Is l smaller than j?
False
Suppose -5*y - 4*p + 3 = 0, -2*y + p + 9 = -0*p. Suppose -y*k - 2*k = 0. Is 1/6 at most k?
False
Suppose 55 = -3*z - 2*z. Let i = 7 + z. Is -4 equal to i?
True
Let j be (-60)/(-18)*(-9)/(-5). Let w(l) = -l + 7. Let n be w(0). Is j > n?
False
Let z = 0 + 3. Let l(g) = g**2 + 2*g + 3. Let v be l(-3). Suppose 2*x - v = 3*r, 5*r + 16 = z*x + 5. Is x smaller than -5?
False
Let d = -24 - -58. Which is bigger: d or 35?
35
Let i(x) = x**2 - 3*x. Let w be i(3). Which is smaller: -2/11 or w?
-2/11
Let m = 11 - 7. Let j be 7/(-3) - (-7 + m). Do -0.2 and j have different values?
True
Let g be (-4)/2 + 3/1. Let l be g/(-5)*5/4. Is 2 at most l?
False
Let a be (-2 + 19)*(-1 + 0). Let m = -16 - a. Which is smaller: m or 1/5?
1/5
Let b = -2 - -1.8. Let m = b + 0.3. Let l = -9 - -10. Which is greater: m or l?
l
Suppose 0 = 4*z - 4. Let a be -3 - -2 - z/2. Which is bigger: -3 or a?
a
Let l be (-2)/1 + (-24)/(-13). Let v(q) = q**2 + 4*q + 7. Let d be v(-5). Suppose -5 = -z + 2*k + 2, 3*z + 5*k + d = 0. Is z greater than or equal to l?
True
Let i(z) = 0 + 3*z**2 - 2*z**2 + 3 - 5*z. Let l be i(5). Suppose 5*h - 2*x = -4, h - l*x - 15 = 4*h. Which is smaller: h or -1?
h
Let y(c) = -c + 2. Let h be y(0). Let a be h + 7/(-2) + 2. Which is bigger: a or -2/11?
a
Let g(m) = -m**2 + 14*m + 26. Let l be g(16). Is -4 at most as big as l?
False
Let z = 1148 - 35592/31. Is z <= 0?
True
Let c be 0/1 - (-834)/4470. Let u = -2/149 - c. Is -0.1 bigger than u?
True
Let m(j) = j**2 - 3*j - 5. Let v be m(4). Let u be -3 - v - -2 - -3. Let n be -2*(u + 0)/9. Which is greater: n or -1/4?
-1/4
Let u = 32 + -36. Let a = 3 - 4. Which is bigger: u or a?
a
Let n(a) = -13*a**2 + 9*a + 20. Let z(b) = -3*b**2 + 2*b + 5. Let i = 4 + -13. Let k(m) = i*z(m) + 2*n(m). Let u be k(0). Which is bigger: u or 1?
1
Let s(d) = -10 + 3*d + 8*d**2 + 8*d - 3 - d**3. Let k be s(9). Suppose -5*y - 3 = 6*w - 3*w, k*y - 5 = 5*w. Is y not equal to 0.1?
True
Suppose -1 = q - 3. Let f = -437/3 - -148. Is q smaller than f?
True
Suppose -2*f = -o + 81, 7*o - 66 = 2*f + 3*o. Is -41 greater than f?
True
Let s = 0.2 + -0.18. Let g = s - 4.02. Let b = 5.6 + -5.6. Which is greater: g or b?
b
Suppose 33 = 4*w - y + 5, 0 = -w - 4*y + 7. Suppose 2*n = 1 - w. Suppose 3*f - 3*b + 1 + 8 = 0, -3*f = -4*b + 9. Is f bigger than n?
False
Let n(l) = -l**3 + 1. Let b(z) = -5*z**3 + 3*z**2 - z + 6. Let y(t) = -b(t) + 6*n(t). Let d be y(-3). Let p = -3 - d. Which is greater: -2/5 or p?
p
Let h be 1/(-4) + (-81)/6. Let l = -14 - h. Which is smaller: 0 or l?
l
Let n be ((-169)/(-6))/(2/3). Let m(y) = 3*y - 15. Let o be m(19). Let b = n - o. Which is bigger: b or -3?
b
Suppose m - 3 = 2. Suppose -8 = 5*i + 2, -i = m*c + 17. Are c and -4 unequal?
True
Suppose 1266152 = -4*c + 260328. Let l = c + 2762762/11. Let t = 296 + l. Which is bigger: 0 or t?
t
Let b = -0.01 - 0.04. Let o = 0.05 + b. Let v = -3 + 2. Which is greater: v or o?
o
Suppose -5*a - 8 = -3*a. Let d = 9 - 9. Which is smaller: a or d?
a
Let l(g) = -18*g**3 - g**2 - 2*g + 2. Let n be l(2). Let o be (-4)/(-14) - n/14. Which is smaller: 1/4 or o?
1/4
Let o(n) = n**2 - 4*n + 10. Let a be o(11). Let u = 221 - a. Let h = -944/7 + u. Is 0 >= h?
True
Suppose 0 = -5*v + 32 + 38. Is v > 14?
False
Let p be (4/(-10))/(3/10). Let x(i) = -i**2 + 11*i + 3. Let b be x(11). Suppose b*o - o + 4 = 0. Which is greater: p or o?
p
Let w = -3 + 3. Let n be 1/(1/(-1*32)). Let x be -2 - n/14 - 0. Is w bigger than x?
False
Let z be (5/(-15))/((1/(-1))/(-3)). Which is bigger: z or 1/47?
1/47
Let w be 2*(6/4)/(-3). Let g = 2626577/5009134 + 2/61087. Let r = 1/41 - g. Which is bigger: w or r?
r
Let g be 3/(-6)*-1*0. Which is bigger: 2/17 or g?
2/17
Suppose 0 = -v + 4, 8*v = -4*h + 3*v. Let x be (0 - -1)*-1*-2. Suppose 3*b - 2*k = -14, -4*b + x*k - 14 = 4. Does b = h?
False
Let p(s) = -s**3 - 6*s**2 - s + 8. Let d(o) = -3*o**3 - 11*o**2 - 2*o + 16. Let q(l) = 2*d(l) - 5*p(l). Let h be q(8). Which is smaller: 3 or h?
h
Let z = 126 - 126. Is -1/77 bigger than z?
False
Let u = 0.166 - -4.834. Let t = 0 + -1. Which is smaller: t or u?
t
Let i(z) = -z - 10. Let j be i(-7). Let f = 5 + j. Is 2 at least as big as f?
True
Suppose 5*m - 3*m = -88. Let f be (m/(-231))/((-4)/(-6)). Suppose 5*b = a - 11, 2*a + 3*a - 11 = 3*b. Which is smaller: a or f?
f
Let v = 5.8 + -12. Let j = v - -6. Which is bigger: j or -2?
j
Let c = 1.3 + -1. Let i = 0.4 - c. Let b be 9/27*3*-1. Which is greater: i or b?
i
Let q = 0 - -2. Suppose q*s - 4*w = 20, 3*s - w - 20 = 3*w. Which is smaller: 5 or s?
s
Let r(k) = -k**3 + 5*k**2 + 3*k - 3. Let g be r(7). Let c be 60/g + 13/12. Is c at most 1/3?
True
Let g = -0.11 - -5.11. Let r = g - 4.6. Let t = -0.6 + r. Which is bigger: t or -1?
t
Suppose -4*t + 3*t = -7. Let y = -5 + t. Suppose 0 = 2*u + l - 7, y*u + 3*l = -3*u + 18. Is u at least as big as 1?
True
Let z = -164 + 1478/9. Suppose 1 = n + 7. Let x be (-16)/(-12) - (-2)/n. Is z <= x?
True
Let k(z) be the third derivative of -z**6/120 - z**5/6 - z**4/24 - 5*z**3/3 + z**2. Let b = -139 + 129. Let j be k(b). Does -1/6 = j?
False
Let y = 49.05 + -47. Let i = -0.2 + 0.25. Let q = y - i. Which is smaller: q or -1?
-1
Suppose 5*g + 12 = 52. Let t(n) = -n + 10. Let o be t(4). Is o less than or equal to g?
True
Let z be (-106)/340 + (-2)/(-5). Is -1 at least z?
False
Let n be -24 - (-4)/(4/(-3)). Let o be n/6*(-1)/6. Are o and -0.1 non-equal?
True
Let b = 0.26 + -13.26. Is 1 at most b?
False
Let q be -10 + 7 + 26*-1. Is -27 less than q?
False
Let d = -5 + 8. Suppose 0 = -d*s + 5*s - 10. Which is smaller: 3 or s?
3
Let c(s) = -s**3 - 6*s**2 - 4*s + 6. Let l be c(-5). Let z = l + 0. Let d be (0 + -4 - -3)/4. Is z bigger than d?
True
Let n = 8 + -19. Let c be (-1)/(-4) + n/12. Let b = -5.43 + 5.53. Are c and b nonequal?
True
Let z = -86 + 67. Which is bigger: z or -14?
-14
Let k be ((-34)/(-4))/(4/(-8)). Is k greater than -17?
False
Suppose 15 = -3*j, 4*j + 27 = 2*m + 7. Let l = -111 + 1553/14. Is m < l?
False
Let m = 0.69 - -0.01. Let x = m + 2.3. Let p = x + -3.3. Which is greater: p or -1?
p
Let l(d) = 2*d - 7. Let t be l(-3). Is -14 >= t?
False
Let i be (-6 + 1)*(-1 + 0). Suppose 2*x - 4*b + 5 = 17, -i*x - 4*b = 12. Which is greater: -1/6 or x?
x
Let j(t) = -2*t + 7. Let x be j(5). Let c be (-2)/4 - 21/(-2). Let h be c/(-3) - (-5)/15. Is h greater than x?
False
Suppose 3*n + 11 = 89. Let m = n - 53/2. Which is greater: m or 2?
2
Let u = -0.42 + 1.42. Which is smaller: u or 13?
u
Let l = -8 + 6. Is -3/5 greater than l?
True
Let b = -14 + 14. Let a be b*(-5 - -2)/3. Is a at most as big as -7?
False
Suppose 29 = -3*v 