 s(-1). Let u(h) = h + 2. Let w be u(-8). Which is smaller: w or n?
w
Suppose -12 = -2*m - 0*m. Suppose 4*a - m = -22. Which is greater: a or -1?
-1
Suppose 11*r + 155 = 16*r. Which is bigger: -2 or r?
r
Let x = 185/133 - 21/19. Is x < -1?
False
Let v = -1 - -3. Suppose 2*x + 0 + v = 0. Which is bigger: -2 or x?
x
Suppose 5*y + 3*s = 27, 2*s = -0*s + 8. Suppose 5*r = y*x - x + 26, -4*r + 1 = 5*x. Let g be 0/(x/(9/(-6))). Is -1/5 greater than g?
False
Let j = -18.8 - -19. Let h be (2 + 1)*2/(-14). Which is smaller: j or h?
h
Let a = -4 - -4.1. Let p(c) = -5*c - 35. Let h(u) = 3*u + 23. Let k(t) = -8*h(t) - 5*p(t). Let x be k(8). Which is smaller: x or a?
x
Suppose 3 = -4*v - 17, 5*t = -2*v - 5. Which is smaller: t or -1/3?
-1/3
Suppose m + 5 = 2*m. Let r = m - 7. Which is greater: -3/2 or r?
-3/2
Let d = 11 + -31/3. Suppose -5*y = -2*y. Suppose 5*t - 1 = j, j = -y*t - 3*t - 1. Which is greater: t or d?
d
Let z = -0.1 - -0.07. Let n = z - 0.27. Let x = 1.3 + n. Is 2 less than x?
False
Let d(a) = a**3 + 4*a**2 + a - 3. Let f be d(-3). Suppose -f*h = -2*h + 15. Let b be (20/h)/(2/3). Is b equal to -1/2?
False
Let a = 2.7 + 0.3. Let q = 229/5 - 46. Let z = q + -3/35. Which is greater: z or a?
a
Suppose 40 = -4*a - 4*s - 0, -4*s + 44 = -3*a. Let w be -5*(a/(-5) + -2). Which is bigger: -4 or w?
w
Let c be 2 - (-2 + 3732/1161). Let m = c + 14/43. Let x = m - 41/45. Is 0 > x?
False
Let z = -12 - -12.1. Is 0.01 less than or equal to z?
True
Suppose 4*w - v - 3*v - 28 = 0, -3*w + 25 = -v. Which is smaller: 8 or w?
8
Let l = 0.028 - 0.018. Is -2 < l?
True
Let d(m) = 2*m**2 - 1. Let c be d(-1). Let v be (-5)/(-330)*(0 + c). Let g = v + -139/462. Which is greater: 1 or g?
1
Let x = -6 + 6. Let c be x - -1 - 18/27. Let s = -0.1 + 0.2. Does s = c?
False
Let i = 0.9 + -1.9. Let o = 0.11 + -1.01. Let k = o - i. Which is smaller: k or 2/7?
k
Let q(h) = -h - 13. Suppose 2*n + 2 = 2*u - 8, 4*n - 70 = -5*u. Suppose p = -0*p - u. Let c be q(p). Are c and -1 nonequal?
True
Let m = -6 + 16/3. Suppose -3*j + 2 = -4*j. Which is smaller: m or j?
j
Suppose 3 = -5*c - 12. Which is bigger: c or -18/7?
-18/7
Let t = -0.09 - -4.09. Let c = t + -7. Let q be (5/10)/((-3)/6). Which is smaller: q or c?
c
Let n be (-10 + 1)*2/(-6). Let q = 21 + -7. Let m = q - 15. Which is smaller: m or n?
m
Let c = -10 + 11.6. Let d = 0.6 - c. Do d and -2 have different values?
True
Let t(b) be the third derivative of -b**6/120 - b**5/10 + 7*b**4/24 + b**3/2 + b**2. Let u = -26 - -19. Let o be t(u). Is 4 <= o?
False
Suppose 27 = 2*t - 2*s + 1, 0 = 5*t - 4*s - 62. Is 0.1 != t?
True
Let m = 5 + 0. Let h = 1.4 + -1.33. Let x = h - -0.03. Which is bigger: x or m?
m
Let v(m) = m**3 - 8*m**2 + 8*m - 1. Let a be v(7). Suppose a = 2*w + 8. Let n(r) = -r - 1. Let y be n(0). Is w smaller than y?
False
Suppose 3*u - 11 = 3*w - w, 3 = -3*w. Suppose 0 = 5*x - u*x + 6. Let q be 0*(x/(-2) - 1). Is q > -1?
True
Let p = -272 + 4082/15. Let t = -35 - -35. Which is smaller: t or p?
t
Let y = 27 + -20. Is 7 less than or equal to y?
True
Let t = -6 + 10. Suppose 5*d + t = 3*d. Is 2/7 less than d?
False
Let a = -8 + 17. Is 7 greater than a?
False
Let s = 65/4 + -16. Suppose j = 2, f + 1 + 3 = 2*j. Let t be ((-1)/(-3))/(-1 - f). Do s and t have different values?
True
Let q be 37/(-5) - 4/(-10). Let n(l) = l**3 + 6*l**2 - 7*l - 4. Let g be n(q). Which is smaller: g or -6?
-6
Suppose 0*g - 1 = -g. Let y be (-2284)/42 + (-4)/14. Let i = -1154/21 - y. Which is greater: g or i?
g
Suppose -4*o = -2*o - 12. Suppose d = o*d + 5. Which is bigger: d or -2?
d
Let b = 1 + -16. Let n = b - -14. Is 2/7 not equal to n?
True
Let l(z) be the third derivative of z**6/120 + z**5/5 - z**3/3 - 16*z**2. Let b be l(-12). Let v be 1 + (1 - 26/10). Is v at least b?
True
Let c = 90 - 899/10. Let v = 17 + -17. Which is smaller: v or c?
v
Let k be 22/2 - 9/3. Suppose v - 5*v = -k. Suppose v*l - 12 = -2*l. Is l at least 2?
True
Let z be (7 + -11)*(-1)/(-4). Which is greater: 2/19 or z?
2/19
Let k(w) = w**2 + 12*w + 29. Let h be k(-9). Does h = -2.9?
False
Suppose 10*x - 5*x = 0. Which is bigger: x or 4/9?
4/9
Suppose 214 = -3*a - 1046. Let l be (-6)/4 - 606/a. Which is bigger: 0 or l?
0
Let r be (-1)/(-18)*(-330)/(-22). Which is greater: 1 or r?
1
Suppose -2*t - 5*i = 8 + 1, 5*i + 15 = -5*t. Which is bigger: -5 or t?
t
Suppose f + 3*f = 4. Suppose 3*r + 2*r = 3*v, -5*r = 3*v. Let q = f + r. Which is greater: q or -1/8?
q
Let g = 35 + -25. Which is smaller: 11 or g?
g
Let a = 1.2 - 5.2. Which is smaller: -2/5 or a?
a
Let a(m) = -m**2 + 5*m - 4. Let n be a(4). Suppose 3*x - x = 2*f - 16, -x - f + 2 = n. Let h be x/4*2/(-3). Which is greater: 0.2 or h?
h
Suppose -5*p + 7 = -3*s, -5*p + 2*p + 17 = -5*s. Which is smaller: s or 1?
s
Let m be 40/6*(4 - 27/6). Suppose 4 = 5*u + 19. Is u equal to m?
False
Let h = -1300 - -97498/75. Which is smaller: 0 or h?
h
Suppose -2*a + 4 = 2, 21 = -m + 2*a. Which is smaller: 4/5 or m?
m
Let i = 0.8 - 0.8. Let u = -17 - -4. Which is smaller: u or i?
u
Suppose 2*d - 275 = 7*d. Let r be 1/3 + d/30. Is r less than -2?
False
Let f = -2 + 3. Let j = 24 + -121/5. Which is smaller: j or f?
j
Let u = -0.16 + -9.84. Let h = -12.9 - u. Let l = 3 + h. Does 0.2 = l?
False
Suppose -3*w + 3 + 3 = 0. Suppose 0 = t - w*t + 4. Let q be t/(-16)*(-4)/(-5). Is 0 < q?
False
Let u(r) = 2*r + 15. Let y be u(-11). Is -7 < y?
False
Let p(f) = f**3 + 3*f**2 - 5*f - 5. Let l be p(-4). Let u = 1 + l. Let o(i) = -i + 2. Let z be o(3). Which is smaller: u or z?
z
Let f = -4 - -4. Which is bigger: f or 6/11?
6/11
Let b = 9/28 + -1/14. Let h be -1*(-2 + -2) + -2. Suppose 2 = h*z - 0. Are z and b equal?
False
Let m be 2 - -2*(-1 + 0). Let r be ((-4)/2 - m) + 3. Are 4/5 and r nonequal?
True
Let t be (-1)/3 - (-534)/90. Which is smaller: 6 or t?
t
Suppose -26 = -4*u - 0*p - 2*p, 5*p - 15 = 0. Suppose 0 = -z + 2*c - 3, -u*c + 15 = 5*z - 0*c. Suppose -h + z + 0 = 0. Is h > 0?
True
Suppose -4 = -3*m - 10. Let p = 38 - 37. Let i = m + p. Is 0 smaller than i?
False
Let a = -91/3 + 31. Which is smaller: 13 or a?
a
Let v = -39 - -118/3. Is -8/5 less than v?
True
Suppose -153 + 1 = 8*h. Is h greater than -18?
False
Let c = -8 + 21. Let x = c + -14. Is x < 6?
True
Suppose -4*k = -7*k + 6. Suppose -k*u = -9*s + 4*s - 19, 4*s + 18 = 3*u. Is -3 greater than s?
False
Suppose -3*c + 90 = 2*c. Let p = c - 26. Let m = p - -11. Is m less than 2/3?
False
Let f = -192 - -2110/11. Suppose -3*t - 2*t + d + 11 = 0, 5*t = 2*d + 7. Suppose s - 4 = -t. Which is greater: s or f?
s
Let i be ((-7)/(-14))/(2/4). Which is bigger: i or 0?
i
Let u = -67 + 68. Let z = 4.3 - 4. Which is bigger: z or u?
u
Let n = 1/501 + -6017/2505. Is -1 greater than n?
True
Let k = 28 - 24. Let i(t) = -t - 1. Let g be i(-5). Is g less than k?
False
Let r be 6/21 - (-52)/14. Let l be 3*2/108*r. Is 0 greater than or equal to l?
False
Suppose 47 = 2*r - 5*p, 88 = 3*r + 5*p + 30. Let c be (-2)/7 + (-8)/r. Which is smaller: c or 1?
c
Let f(g) = g. Let d(c) = -c + 4. Let j(u) = d(u) + 2*f(u). Suppose -8*w - 15 = -3*w. Let i be j(w). Are 2/3 and i equal?
False
Let i(y) = -y. Let p be i(0). Suppose 8*d - 4*d = p. Suppose 2*t - 3*h + 3 - 5 = d, -2 = -2*t + 2*h. Which is smaller: 2 or t?
t
Suppose 2*o - 10 = -4*d, -o + 4 = 4*d - 1. Is d not equal to -5/9?
True
Let t = 49 - 45. Is t less than 3?
False
Suppose -n - 2 = h, -n + h + 10 = -2*h. Let q(b) = 7*b - 1. Let u be q(n). Suppose u - 3 = 3*d. Is 2/3 < d?
True
Let o be (-15)/(-3) - (0 - 0). Let f(i) = i. Let w be f(-2). Let j be w/o - 26/10. Is -5 <= j?
True
Let r be 2/(-6) + (-20)/(-15). Let w(u) = -u**2 + 2*u + 17. Let q be w(5). Which is smaller: q or r?
r
Let y = -28.8 + 23. Let a = y - -6. Is a <= 0?
False
Let f(x) = x**2 - 2*x - 1. Let s be f(2). Which is smaller: s or -8?
-8
Let a = 18 + -14. Is a >= 3?
True
Let t = -4 + 3. Let d = 1267/10 + -257/2. Is d < t?
True
Suppose 0 = -5*q - x - 317, 0 = 5*q - 4*x - 49 + 356. Let p be (8/6)/(14/q). Let c be (-10)/(-6)*p/15. Is c not equal to -0.1?
True
Suppose n + 4*x = -2*n + 35, 0 = 5*n - 5*x. Let z = 7 - n. Suppose w = -z*w. Is w greater than 4/9?
False
Let g = 3078/11 + -280. Which is smaller: 0 or g?
g
Let x = -5893/3 + 1931. Let c = -34 - x. Let q be ((-6)/(-52))/(9/(-12)). Is c at most as big as q?
Tr