8) + -1. Which is smaller: v or 5?
5
Let k(b) = 2*b**2 - 1. Let a be k(1). Let r = 4/25 - 59/525. Which is bigger: r or a?
a
Suppose -14 = -l + 3*l. Is l > -7?
False
Let p be (-170)/(-6) - 1/3. Suppose -p = 2*u - 3*n, u + 4*n = -3*u - 16. Let v be (-2)/(-3)*2/u. Are v and 0 unequal?
True
Let m be (-15)/18*(-9)/10. Is m >= -2/15?
True
Let s be (-3)/((-4)/(0 + 2)). Is s at least as big as 1/2?
True
Let j be (-5)/((-21)/15 + 2). Let l = -184/21 - j. Which is greater: 1 or l?
1
Let n be ((-1)/2)/((-12)/51). Let x = -749/360 + n. Let i = x - 49/90. Which is greater: i or 1?
1
Let z(a) = -a**2. Suppose -5*o + 2 = -g, -3*o - o + g + 2 = 0. Let d be z(o). Which is bigger: -1 or d?
d
Suppose 3 = -4*p - 1. Let o be p/(-2) - (-4)/(-8). Let z = -24 - -23. Which is bigger: z or o?
o
Let g = 99 - 497/5. Which is smaller: g or 0?
g
Let c = -9 - -5. Let v be (3/c)/((-1)/44). Let w be v/(-21) + 1 + 1. Which is greater: 0 or w?
w
Let p(s) = -4*s - 1. Let v be p(1). Suppose -5*o - 35 = -10. Is v greater than o?
False
Let p = -197/134 - 2/67. Let y(i) = -i + 10. Suppose 0 = 4*d - 2 - 42. Let w be y(d). Which is greater: p or w?
w
Let b be ((-40)/(-80))/((-1)/(-22)). Let d = 18 + -8. Is d <= b?
True
Suppose b + 2*b - 3 = 0. Let r(p) = -2*p - 7. Let f be r(-5). Suppose -f*u = -c + 13, -5*c - 3 = -3*u - 20. Is c at least b?
True
Suppose -4*l + 28 = -4. Let w be -5*(2 - l/5). Let o(n) = n**3 + 3*n**2 - 4*n - 2. Let a be o(-4). Do a and w have the same value?
True
Suppose 1 = -5*u + 6. Let x be -3*(-92)/48 + -4. Which is smaller: u or x?
u
Let u be 21/(-7) + (1 - -1). Is u > -3/23?
False
Suppose -3*w + p = -7, 2*w + 2*p = 16 + 2. Let y be (2/(-20))/((-2)/w). Suppose 0*k = -3*k, 0 = -3*i + 2*k. Which is bigger: i or y?
y
Suppose -3 = 3*v - f, 2*v - 2 = 4*v - f. Let j be (v - -2) + -2 - 2. Which is smaller: j or -4?
-4
Let i be 6/1 - 0/(-5). Suppose 0*k - k - 3*f + 3 = 0, i = 3*f. Let n(c) = -c**2 - 3*c + 7. Let h be n(-5). Is k at least as big as h?
True
Let k be (8 + -9)*1/(0 + -1). Which is smaller: k or -4/9?
-4/9
Let g(f) = f**2 + f - 2. Let u be g(-2). Let n = 0 - u. Suppose 4*r = 20*r - 16. Is n at most r?
True
Suppose -n = n + 12. Let k = 7 + n. Is k bigger than 3/4?
True
Let i = 37.4 + -34. Let g = -0.6 - i. Let u = 4 + g. Which is smaller: 2 or u?
u
Let y be ((-2)/(-5))/(5/50). Suppose y*f - 13 = 7. Suppose f*l = -4*s + 16, 5*s = 2*l - 0*l - 13. Which is bigger: s or 0?
0
Suppose 399 = v - l, 2*l = -2*v + l + 786. Let k = v + -3947/10. Are k and 1 equal?
False
Let v = -86 - -59. Which is bigger: 2/5 or v?
2/5
Suppose 0 = 5*z - 2*i - 14, 0 = -0*z + 3*z - 3*i - 12. Let p(g) = -2*g**2 + 25*g + 15. Let u be p(13). Is z >= u?
True
Let a = -0.1 - 0.9. Let d = 3 + a. Which is smaller: 0.1 or d?
0.1
Let s = -34 + 32.88. Does 1/3 = s?
False
Suppose 5*z - 30 = -0*z - 3*w, 0 = 3*z + 4*w - 29. Let j(u) = u**2 - 3. Let f be j(0). Let d = 2 + f. Which is smaller: z or d?
d
Suppose 0 = -4*u - 2 + 18. Suppose 2*a + u*l = -8, -l - 4 = l. Which is greater: -1 or a?
a
Let c(i) = i + 3. Let t be c(-1). Suppose -4*a = t + 2. Is -1 at least a?
True
Let w = -12 + 14. Suppose -4*q + t - 1 = 0, -3*q + w*t + 0*t = 2. Which is smaller: 1/4 or q?
q
Let s = -12.32 + 12. Let g = -0.02 - s. Which is greater: g or -1/4?
g
Let k(n) = -n**3 + 7*n**2 + 10*n + 34. Let l be k(9). Which is smaller: -75/2 or l?
l
Let q be (-4)/(-1030)*(9 + -4). Let z = q + -323/721. Which is greater: z or 0?
0
Let v be 2/9 + (-128)/90. Let i = v - -64/45. Is i < 0.2?
False
Suppose 4*b = 2*x - b - 29, 3*b + 51 = 4*x. Let w be (-6)/x + 2/(-12). Is w > 0?
False
Let f be (4/5)/((-1)/20). Let i = f - -11. Are i and -5 equal?
True
Let x(o) be the third derivative of -o**6/120 - 7*o**5/60 - o**4/24 - 7*o**3/6 - 4*o**2. Let k be x(-7). Is -3/19 < k?
True
Let z be (23/10)/((-3)/(-24)). Suppose v = -2*w + 2*v - 37, 4*w - 4*v + 76 = 0. Let g = z + w. Which is smaller: -3 or g?
-3
Let y = -0.02 - 0.08. Let i = y - 0. Let r = 3 - 3. Which is smaller: r or i?
i
Let u = 6.83 - -0.17. Let j = -12 + u. Let o = 593/7 + -85. Is o bigger than j?
True
Let m = -36 + 37. Which is greater: m or -3/31?
m
Suppose 0 = -4*v - 0*v + 56. Suppose -v = 4*i + 2. Let u be i/(-2)*(-1)/2. Is 0 >= u?
True
Suppose -10*c + 35 = -9*c. Which is greater: c or 39?
39
Let m = -12 + 14. Which is bigger: -4 or m?
m
Suppose 4*m - i - 2*i = 264, -m = -2*i - 71. Is 62 != m?
True
Let x = 203/2 + -101. Which is smaller: -1 or x?
-1
Let p(d) = -d - 1 + 3 - 4. Let c be p(-3). Is c at most 2?
True
Let g = -1 + 2. Let a be g*((-1 - -1) + 2). Suppose a*u = -0*u - 2. Which is smaller: u or 0?
u
Suppose x + 9 - 26 = -5*z, -3*x + 7 = 4*z. Suppose 12 = -u + z*u. Suppose 0 = c - 5*c + u. Which is smaller: -2/7 or c?
-2/7
Let o = -4.1 - -0.1. Which is bigger: o or 0?
0
Suppose 0 = -2*x + x - 9. Let c = 9 + x. Let t = -1794/11 + 163. Do t and c have the same value?
False
Let x = 8 + -14. Is x greater than or equal to -5?
False
Let b = -0.36 + 0.06. Let v = -1.6 - -2.7. Let q = -0.1 + v. Is q bigger than b?
True
Let q = -8 + 6. Let i = -10 - q. Let y(t) = -t - 8. Let n be y(i). Is n less than or equal to -1?
False
Let u = 13 + -7. Suppose u*v = v. Are v and 1/4 equal?
False
Suppose 0*g = 5*g. Suppose 4*s - 2 - 6 = g. Let q be 0 + (0 + s)/(-12). Is q at most as big as 0?
True
Let u be 0 + ((-2)/(-6) - 1). Let g be (-4)/2*(-2)/4. Suppose -3*i = -2 - g. Which is greater: u or i?
i
Suppose 5 = -5*v + 60. Suppose -v - 3 = 5*w - 2*m, 4*w = m - 10. Which is smaller: w or 0.2?
w
Let n = -8 + 9. Suppose 2 = 2*a - 2. Are n and a nonequal?
True
Let p = 31 - 10. Does 22 = p?
False
Let j = 143/2 - 235/4. Which is smaller: j or 13?
j
Let p = -20 - -10. Is 1/2 < p?
False
Let h = 1.1 - 0.1. Let y = 4 - h. Let c = -5 + y. Is 1 at most as big as c?
False
Suppose -2*f - 5 + 3 = 0. Let a be 4*(f + (-1)/(-2)). Is 0 bigger than a?
True
Suppose 0 = 4*m - 80 - 0. Let j be -2 - ((-112)/m - -4). Which is greater: -4 or j?
j
Let n(g) = -2*g**2 + 4*g - 3. Let k(r) = -r**3 + 8*r**2 + r - 7. Let z be k(8). Let t be n(z). Which is bigger: t or -1/19?
-1/19
Let i = -72 + 220/3. Suppose -3*k + 6*k - 2*x + 3 = 0, 0 = 2*k - x + 1. Let v = i - k. Is v smaller than 1?
True
Let f be 4/10*10/(-2). Let i be 2/(-10)*(2 - f). Suppose 4*n - 4 + 12 = 0. Is n < i?
True
Let l be (-6)/27 - (-43)/(-9). Let t be (3/l)/((-21)/(-14)). Is 0.2 >= t?
True
Let g = -14423/23 - -627. Is 0 smaller than g?
False
Let y = 130838/5 + -26276. Let q = y + 108. Suppose 0*v - v = 0. Is v smaller than q?
False
Suppose -3 - 1 = -y. Suppose -6*q + 3*q + 9 = 0. Suppose -g + 14 = q*d - 2*g, d - 2*g = 8. Is y <= d?
True
Let h = -7 + 62/9. Suppose 3 = -4*k + k, -3*t = 2*k - 7. Let d = t + -4. Is h >= d?
True
Let y be (9/(36/8))/(-5). Which is smaller: y or -0.3?
y
Let i = 26 + -25. Which is bigger: i or 1/28?
i
Let r be (-6)/(-2) + ((-1)/1 - 2). Which is bigger: r or -2/21?
r
Let h = -1 - -6. Let i(p) = p**2 - 3. Let w be i(-4). Suppose -y + 45 = 5*k + 4*y, 0 = -2*k - y + w. Which is greater: h or k?
h
Let h be 1/(-3)*-3*0. Is -6/11 greater than or equal to h?
False
Let q = 4/1573 - -51889/7865. Let n = q + -26/5. Is n bigger than 2?
False
Suppose -c = 2*c - 45. Let d be (1/c)/(8/(-20)). Is 1 bigger than d?
True
Let o = -14.02 - -14. Let p = o + 0.02. Let m = -3 + 7. Is p bigger than m?
False
Let d = 2562 - 187022/73. Let o = d - 137/1168. Which is smaller: o or 1?
o
Let w be (0 + 1)*(0 + 6). Let m be (2/(-3))/(4/(-30)). Let n = m - w. Is 2/5 equal to n?
False
Let g be -3*6/(-9)*13. Which is smaller: 25 or g?
25
Let n be (-2)/(-4) - 91/14. Let x(j) = -j**3 - 8*j**2 + 19*j - 17. Let c be x(-10). Is n != c?
True
Let m(a) be the first derivative of a**3/3 + a**2/2 + 1. Let n be m(0). Let y be -1*((1 - n) + -4). Which is greater: 2 or y?
y
Suppose 2*c = -2*f - c - 14, 2*f - 5*c = 18. Which is greater: f or -11/5?
f
Suppose -m + 6*m + 5 = 0. Is m greater than or equal to 2/37?
False
Let c = -2.999 + -0.001. Is c <= 5?
True
Let m = 0.05 + -0.25. Which is smaller: m or 2/11?
m
Let p be 23/2 + 2/4. Let b be 1 + 0 + p/(-9). Let z(u) = u**2 - 3*u + 1. Let q be z(3). Are b and q equal?
False
Let u(g) = -g**3 + 7*g + 3*g**2 - 2*g - 4 - 2*g. Let t be u(3). Suppose -5*p + t = -5. Is p less than 1?
False
Suppose 5*o = -2*j + 111, 9*j - 4*j - 312 = -o. Let w b