et h be g(8). Let f be (-3 - (1 + -3))*h. Which is bigger: 2 or f?
2
Suppose t = 4*u - 3, 0*u - 4*t - 12 = 2*u. Which is bigger: u or 1?
1
Let n(y) = y - 9. Let c be n(7). Which is bigger: -5/3 or c?
-5/3
Let j = -2 + 5. Let y be -3*((-1)/4 + (-10)/(-8)). Is y <= j?
True
Let h be (-49)/14 + 1/2. Let x be -5*(-1)/h*9. Let p be x/(-10)*(-1)/3. Which is smaller: p or 0?
p
Suppose m + 2*m = -27. Let l be (-3)/2*12/m. Suppose -4*h + 4 = 0, -3*h = -l*a - 9 - 0. Are a and -0.2 equal?
False
Let h be -27 + 24 + (-18)/(-7). Which is greater: h or 1?
1
Let u = 185 + -185. Let v = -131 - -1181/9. Do u and v have the same value?
False
Let z = -3/11 + -1/77. Let l = 0.1 + -6.1. Let n = 8 + l. Is n at least z?
True
Suppose -2*g - 3 = -g. Let t be 3 + 0 + (-2 - g). Suppose 0 = 4*w + 2*y, 0 = -t*w + 2*y - 4 - 12. Is w at least as big as 0?
False
Let i(k) = k**2 + 3*k - 28. Let b be i(-7). Which is greater: -0.9 or b?
b
Let r be 6/168*6*(-16)/(-9). Which is greater: r or -1?
r
Suppose 4*v - 3*v = -7. Let s = 6 + v. Is s greater than or equal to 4?
False
Let f = -2 + -1. Suppose 68 = 4*y - 5*d, -5*d - 66 = -5*y + 14. Let v = 10 - y. Is v < f?
False
Suppose -o = -4*x - 22, -2*o - 10 = 2*x - 4. Does o = 2?
True
Let t be (15/(-60))/(9/(-24)). Suppose 0*r = 5*r. Suppose 0 = -p - 3*f + 17, 3*p + 4*f - 21 - 5 = r. Which is greater: p or t?
p
Let h = -12 + 16. Which is bigger: 5 or h?
5
Suppose 4*c + 25 = -3*y, -2 = -2*y + 4*c - 32. Does y = -10?
False
Let b be 24/(-2)*13/13. Is b > -12?
False
Let v = 10 - 9.9. Which is smaller: 1/12 or v?
1/12
Let u be (-1)/2*7/(-28). Let q = -0.4 - -0.5. Is u < q?
False
Let s = -4 + 4.4. Let k = -0.1 + s. Which is smaller: -5 or k?
-5
Let c = -0.03 + -0.07. Let w = 0 - c. Which is bigger: 7 or w?
7
Let m = -5 + 9. Which is smaller: m or 3?
3
Let w be (2/8 - 5/20)/(-2). Is w at least as big as 9/10?
False
Let f = 232 + -2086/9. Is f greater than 0?
True
Let a be (-15)/(-6) + -5 + 2. Suppose -5 = 5*l - 0*l. Which is smaller: l or a?
l
Let g = -56659/53 - -1069. Is 0 < g?
False
Let c be (-2 + 3)*2*1. Let p = c - 0. Which is greater: 3 or p?
3
Let s = -98 + 688/7. Suppose -j - 5 = 0, -5*u - 15 - 15 = 3*j. Let v = u + 2. Which is bigger: v or s?
s
Let r be ((-12)/18)/(8/(-3)). Which is greater: 3/4 or r?
3/4
Suppose 0 = 2*h - 6 + 2. Let m(q) be the third derivative of -q**5/60 + q**4/24 + q**3/6 - q**2. Let f be m(h). Is -1/4 at most f?
False
Let w be -3 - (-3)/((-3)/(-7)). Suppose 4*t = -8 - w. Is t equal to -5?
False
Let n(m) = -m**3 + m**2 - 2. Let u be n(0). Does -1/2 = u?
False
Let t be (56/12 - 0) + -5. Let f(l) = l + 11. Let h be f(-12). Is h >= t?
False
Suppose 2*x = o - x - 4, -2*o + 5 = -3*x. Which is bigger: o or -2/79?
o
Let h(m) = m + 4. Let t be h(-3). Let d be (2/(-6))/(t/(-9)). Suppose -d*x + 2*a = -3, -4*x = -a - 5 + 1. Which is bigger: x or 2?
2
Let b = -4.6 + 5. Let v = 1.4 - b. Let y = -1 - 1. Are v and y equal?
False
Suppose 5*h - 4*x = -9 + 55, 0 = 4*x + 16. Suppose 3 = -3*y + h. Which is bigger: y or 2/3?
y
Suppose -4*c = -3*c, 0 = 3*a + 3*c. Which is bigger: 4/17 or a?
4/17
Let k = -0.331 + -0.069. Which is smaller: 0.8 or k?
k
Let z = 109 + -212. Let s = z + 511/5. Is s smaller than -2?
False
Suppose 12*i + 6*i = 54. Which is greater: -1.6 or i?
i
Let k = -14 - -10. Let m = k + 5. Is -2 equal to m?
False
Let s = -13 - -8. Is s <= -6?
False
Let f(v) = 9*v - 20. Let a be f(-3). Is a at most as big as -47?
True
Suppose 0 = 5*f + k - 7, 5 = -f - 2*k + 1. Suppose 2 = f*r - 2*g, 4 = -g + 5*g. Suppose v = 2*v - 2. Does r = v?
True
Let o = 9.06 + -0.06. Let t = o + -9. Is -4 <= t?
True
Let m be 813/(-21) - 10/35. Is m < -38?
True
Let f = 16 + -16.1. Is -25 less than f?
True
Suppose -n + 8 = 4*v - 4*n, v - 2 = -4*n. Suppose 8*k = -5*j + 3*k, -4*j = -v*k - 12. Which is smaller: 1 or j?
1
Let s(l) be the first derivative of 11*l - 1 - 7/2*l**2 - 1/3*l**3. Let x be s(-8). Which is smaller: -1 or x?
-1
Let x = 0.8 + -0.9. Let m = -0.3 + 0.1. Let r = m - x. Is -1 bigger than r?
False
Let t = 9 + -8. Let o be (t + 0)*9/3. Is o smaller than 3?
False
Let r(j) = 2*j**3 - 27*j**2 + 14*j - 13. Let w be r(13). Which is bigger: w or 1/152?
1/152
Let b(d) = -d**3 - 16*d**2 - 16*d - 1. Let m be b(-15). Is m less than or equal to 14?
True
Let x = -12 - -10. Is x bigger than -7/4?
False
Let h be ((-2)/(-7) - (-12)/(-42))/1. Which is smaller: h or 3/7?
h
Suppose -3*i + 0*b + b = 174, b = 5*i + 288. Are i and -57 equal?
True
Let b = 5 + -3. Suppose 4*w + 4*f = f + 3, -w + 1 = f. Suppose w*m = -m - 2. Are m and b nonequal?
True
Let n(t) = t**3 + 3*t**2 + 2*t + 1. Let p be n(-2). Is -2/31 < p?
True
Let h be 322/10 - (-36)/45. Does h = 32?
False
Let k(r) = 10*r + 42. Let j be k(-4). Which is greater: 14/9 or j?
j
Let p = 8 + -4. Let n = -5 + p. Which is smaller: 2 or n?
n
Let l(y) be the second derivative of y**5/20 + y**4/2 - y**2/2 - y. Let c = -4 + -2. Let d be l(c). Which is bigger: -3/8 or d?
-3/8
Let x(s) = -2*s + 1. Suppose -d + 5*d + 4 = 0. Let c be x(d). Suppose -c*h + 6 = -0. Which is bigger: h or 3/4?
h
Let q(z) = z**3 + 6*z**2 - 5*z + 8. Let p be q(-7). Is -6 >= p?
True
Suppose -86 = 2*d - 10. Let h be -1 + 36/d + 2. Suppose 0 = -5*l + l + 20, -4*q + 3*l - 15 = 0. Is h smaller than q?
False
Let m be 36/(-5)*(-10)/(-3). Suppose 2*r = 5 + 1. Let w be (-6)/m*4/r. Which is bigger: 1 or w?
1
Let i = 19 - 8. Suppose -2*m = m + 4*k - 1, -m + 4*k + i = 0. Which is smaller: 1 or m?
1
Let n be (-21)/(-2) + (12 - 13). Is n != 9?
True
Let v = 2.027 - 0.027. Let p(g) = -g - 2. Let o be p(-3). Which is smaller: o or v?
o
Let m(s) = -s**2. Let q be m(-2). Let n(c) = -c**2 - 3*c**2 + 1 + 9*c - 5*c - 2*c. Let d be n(-1). Is q less than d?
False
Let n be -3*(-5)/(15/4). Let c be (-8)/36*(-3434)/n. Let y = c + -191. Is y equal to -1?
False
Let h = -1710668 - -4020069919/2350. Let b = 1/94 - h. Which is smaller: b or 1?
b
Let x = 2 + -6. Let v be 91/77 - x/(-22). Suppose 4*q - 18 = -0*q + 2*y, 0 = -q + 4*y + 22. Is q > v?
True
Suppose 5 + 0 = -5*j. Let v be (5/(-15))/(j/3). Let d be (-4)/16 - (1 - v). Which is smaller: d or 1?
d
Let z = 136 + -135. Which is smaller: 7/5 or z?
z
Let u = -191/2 - -96. Let h = -101/645 + 1/43. Which is smaller: u or h?
h
Let v(i) = -i**2 - 7*i - 3. Let u be v(-7). Let d(c) = c + 1. Let x be d(u). Let o be 0/((0 - x) + 0). Which is smaller: 1/3 or o?
o
Suppose 0 = -4*p + 3*a - 5*a + 8, p = -4*a - 5. Suppose -4*z + p*n = -6, -3 = -7*z + 4*z + 3*n. Let r = 0.1 - 0.2. Which is greater: z or r?
z
Let a = -2 + 9. Suppose -3*v - a = -1. Let l be (v*(-1)/(-3))/2. Is l bigger than -1/5?
False
Let t be (28/(-6))/(3/18). Which is smaller: t or -27?
t
Let t = -60 + 66. Which is smaller: t or 2?
2
Suppose 10*j - 3*k = 13*j + 27, 0 = 4*j - 2*k + 42. Which is smaller: -9 or j?
j
Let l = -17 - -15. Is -6/11 >= l?
True
Let g = 39/2 - 20. Let k = 1 - 0. Suppose -k = -0*m + m. Are g and m non-equal?
True
Let g be (2 - (3 - 43)) + 1. Let i = -242/317 + 180983/4121. Let y = g - i. Which is smaller: y or 1?
y
Let t(z) = z + 14. Let r be t(-6). Suppose r*o = 4*o - 44. Is o smaller than -12?
False
Suppose 1 = -z + 4. Suppose z*m - 8 = -5*j, m - 2*m = -4*j + 3. Which is greater: 1/3 or m?
m
Let z be ((-8)/10)/(402/(-45)). Is z <= -1?
False
Let o be 3/14*40/(-15). Which is smaller: o or -1?
-1
Suppose -c + 4 = -2*u, c = 4*u - 0*c + 12. Suppose 5*i - 14 - 16 = 0. Suppose 7*x - i*x = -5. Which is greater: u or x?
u
Let u = -109 + 1420/13. Let b(k) = -k**3 + 5*k**2 - 4*k. Let v be b(4). Which is greater: u or v?
u
Suppose -3*n + 4*s + 20 = -8, -4*s - 32 = -4*n. Let y be 2/n*(3 + -5). Do 1 and y have the same value?
False
Let t(q) = q - 5. Let v be t(5). Suppose v*f = 5*f. Let o = 3/7 + 5/21. Is f bigger than o?
False
Suppose 8 = n + 4. Let q be (1 - n)*(-4)/6. Suppose 3*o + 1 = -q. Is o equal to -2?
False
Suppose 0 = 9*b - 3*b + 138. Let r = b + 28. Which is smaller: 1/2 or r?
1/2
Let m = -15 + 11. Let s be m/6*6/4. Is 1/15 at most s?
False
Let f(y) = -y**3 + 3*y**2 + 4. Let x be f(3). Suppose 0 = x*d - 16, r + 5*d = -0*r + 22. Let o be 2 + 1*(-1 - 0). Is r less than or equal to o?
False
Let p be 4/(-3*(-4)/18). Suppose -2*s - s = -18. Is s smaller than p?
False
Let h = -2.1 - -4.1. Is -2/5 at least as big as h?
False
Let i = 0 - -1. Suppose h -