(-8)). Which is smaller: 9 or n?
9
Suppose -4*b + 0*k - 2*k = -10, 0 = 3*b - 2*k + 10. Suppose 5 = -q - f, b*q + 2*q + 8 = -f. Which is smaller: -4 or q?
-4
Suppose -5*z + 0 + 5 = 0. Let b be 3/((-2)/(-4) - z). Let p be (2/6)/(9/b). Is 0 bigger than p?
True
Let f(y) = y**2 + y + 5. Let d be f(0). Suppose 0 = d*b + 4*c - 13 + 5, -4*b = 4*c - 8. Which is bigger: -10/7 or b?
b
Suppose 21 = -12*d - 111. Do -31/3 and d have different values?
True
Let x be ((-74)/4 - 2) + 8/16. Do -75/4 and x have the same value?
False
Let y be ((-9)/(-6))/((-1)/6). Which is greater: -5 or y?
-5
Let f = -1 - -1. Suppose 8*c - 39 = 5*c. Let r = c + -14. Which is bigger: r or f?
f
Let l(i) = -2*i**3 - 5*i**2 + 8. Let b(a) = a**3 - 1. Let c(f) = -b(f) - l(f). Let x be c(-5). Let z be 4/(-14) - 2/x. Is z > -1/4?
True
Suppose -11*s + 6*s = 0. Suppose 4*y - 41 = 5*g, 3*g + 13 = 2*y + 2*g. Suppose -a + y = 0, -5*a + 6 + 10 = -4*z. Do z and s have the same value?
False
Suppose 0 = 4*o + 14 + 6. Let z = -6 - o. Which is bigger: z or -3/7?
-3/7
Let f be 4478*(-1823)/(-9012) - -1. Let l = 5441/6 - f. Let p = l - 4484/8261. Which is smaller: p or 0?
p
Let o = 34 + -18. Let m = 15 - o. Are m and -3 unequal?
True
Let y be (-138)/(-9) - 2/6. Suppose 3*q - y = -6. Suppose 4*v + q*u - 5 = 0, -2*v + 6 = v + 3*u. Is 0 at least v?
True
Let u(l) = -5*l. Let n be u(-1). Suppose 0 = -n*g + 3 + 12. Is g at least as big as 1?
True
Let x be (-58)/(-5) + (6 - 168/30). Which is smaller: 2 or x?
2
Let x = 4 + -4. Let y = -1 - 1. Let j = y - -1.7. Which is bigger: x or j?
x
Suppose l + 4 = z - 1, 4*l = 20. Which is smaller: z or 12?
z
Let q = 0.06 + 0.04. Which is bigger: q or -1?
q
Let l(t) = -2*t - 9. Let b = 2 + -8. Let y be l(b). Suppose c - 4 = -2. Is c smaller than y?
True
Suppose -45 = -g - 2*g. Suppose g = -a - 4*z, -5*a + 4*z + 27 = -18. Suppose -a = -3*r + 2*r - 5*l, 5*r = 3*l + 25. Which is smaller: 4 or r?
4
Suppose -5*l - 5*q = 90, q = -5*l + 5*q - 99. Are l and -20 nonequal?
True
Let q = -0.9 + -0.1. Let h = 0.2 + -0.1. Does h = q?
False
Let k(l) = 8*l + 4. Let g be k(-2). Let r = g - -13. Which is bigger: -2/7 or r?
r
Let a = -0.4 + 0.6. Let n = a - 0.3. Suppose k - 3 = p, -2 = -p + 3*p + 2*k. Is p at least as big as n?
False
Let r be (-28)/12 + 2 + 3/9. Let g(q) be the third derivative of q**5/60 - q**3/3 - q**2. Let d be g(2). Is d < r?
False
Let m(q) = -q - 9. Let z be m(-7). Suppose -30 = -3*s + 5*s. Let v be 3/2*5/s. Which is bigger: v or z?
v
Let j be 1*((-9)/3 + 2). Let n be 6/(-4) - (-2)/(-4). Which is bigger: n or j?
j
Let v = -16.74 - 0.26. Let x = v + 15. Is -2 not equal to x?
False
Let l = 3 + -3. Let x = l + 0. Is 2 < x?
False
Let s(r) = -6*r + 8. Let c be s(-6). Let l be (-33)/c - 22/(-40). Which is smaller: l or 0?
l
Let f = -6 + 6. Which is smaller: f or -5/6?
-5/6
Suppose 8 = 3*m + 2*q, -m + 9 = -2*m - 3*q. Let y = m - 9. Is -3 less than or equal to y?
True
Let t = 5 - 6. Suppose 0*o + 8 = -2*o. Is t at most as big as o?
False
Let t = -9 - 28. Let j = t - -52. Is 15 smaller than j?
False
Let s(p) = 3*p**2 - 3*p + 2. Let k be s(2). Is k > 9?
False
Suppose 0 = 4*t - 2*o - 58, 7*o = -5*t + 2*o + 95. Is 16 smaller than t?
False
Let f = 80 - 101. Is -41/2 at most as big as f?
False
Let q = -0.1 - -0.1. Let v = 0.2 - q. Is -2/3 >= v?
False
Let j be ((-5)/(-3))/(1/3). Suppose 0 = -2*h + 3*l - 4, 0 = j*h - l + 3*l - 9. Let t = 462/5 + -92. Is h greater than t?
True
Let y be 0*(2 - 1) - -1. Suppose -y = o + 2. Is o at least -11/4?
False
Suppose 3*g + 33 = 3*v - 6, 14 = -2*g - 4*v. Which is greater: -3 or g?
-3
Let o(w) = -2*w - 1. Let m be o(0). Let x be (0 + m)/((-3)/9). Is x less than or equal to -1?
False
Let s = -0.9 + 1. Let l = 0.1 + -0.8. Let f = l - 0.3. Which is smaller: s or f?
f
Let n be -2 + 2/7 + 1. Which is smaller: n or -2?
-2
Let g be 2/(-68)*6 + 0. Is g equal to 0?
False
Suppose 0 = -4*c - 20, 0 = -3*n + 6*c - 3*c + 9. Let z be (8/(-6))/(1/(-3)). Suppose 4*b = -4*f + z, -3*b + 6*f + 3 = 5*f. Which is greater: b or n?
b
Let i be ((-2)/14)/((-84)/(-49)). Which is smaller: 0 or i?
i
Let l = -3911/72 + 399/8. Is l greater than -3?
False
Let w = -3384/19 - -178. Which is bigger: -1 or w?
w
Let b(k) = -k**3 + 3*k**2 - k. Let o be b(3). Suppose -2*w + 6 = -14. Suppose -11 = u - w. Which is bigger: u or o?
u
Let t be (-1 + 2)/(4 - 0). Suppose -2*k - 4*k - 6 = 0. Which is smaller: t or k?
k
Let s be -2 + (-2)/(-102)*106. Let k = 10/17 + s. Which is smaller: k or 1?
k
Suppose -4*d = 4, 0*y - y - 5*d - 21 = 0. Let i = y + 17. Is 3/4 < i?
True
Let i be -2 + (-2 - -4 - -2). Let m be (-1 + 2)*i - -1. Let p = -3 + m. Are 0 and p unequal?
False
Let v = -3 - -4. Let o be (2/3)/(v/21). Which is smaller: o or 13?
13
Let m = -15 - -20. Let c = 0.3 + -5.7. Let x = c + m. Which is greater: x or 0?
0
Let u(t) = -t + 2. Let c be 20/6 + 6/(-18). Suppose -4*w - 4*k = 0, 35 = -3*w + k + c*k. Let y be u(w). Is y >= 7?
True
Suppose -4*p + 104 = 9*p. Which is greater: 9 or p?
9
Let n(b) = -3*b + 4. Suppose 2*j = 4*k - 8, -3*j - 7 = -3*k - 2*j. Let h be n(k). Let v = 0 + -5. Is v bigger than h?
False
Let w be 8/12 + 21/9. Let q be (-2)/(-6) + (-1)/w. Is q bigger than -7/5?
True
Let z = -0.03 + 0.02. Let y = 0.31 + z. Which is smaller: y or -0.1?
-0.1
Let q = 0.093 - 1.093. Which is bigger: q or -39?
q
Let t = 0.2 - 0.26. Let u = t + 0.1. Let i = u - 0.04. Which is smaller: 0.1 or i?
i
Let u = 5 + -2. Suppose u*q + 2*g + 12 = 0, -3*q - g - 1 = -4*q. Which is smaller: q or 0.2?
q
Let a(u) = -u - 4. Let c be a(-8). Suppose q = 5*q + c. Is q <= 0.1?
True
Let j(w) = 3*w + 1. Let c be j(0). Let b be 27/(-42) + 1/2. Which is greater: b or c?
c
Let q be (2/2)/(7/(-112)). Let g be (-56)/(-187) - q/(-88). Which is smaller: g or -1?
-1
Let o(z) = -5 + 6 - z**2 - 11 + 7*z. Let v be o(6). Which is bigger: -8/3 or v?
-8/3
Let l be 0/(-2) + (-9)/(-12). Let f = 4 + -3. Let n = f + 0. Which is bigger: n or l?
n
Let o = 27 + -73/2. Is -9 at most as big as o?
False
Let p = 3.6 - 3.7. Which is bigger: p or 42?
42
Let k(u) = -u**2 + 9*u. Let r be k(8). Suppose -r = 5*f - 7*f. Is f less than 6?
True
Let m be 20/12 - 8/12. Let i be (1 - m)*3/6. Is i at least 4/5?
False
Let c(z) = -2*z - 1. Let w be c(-6). Suppose 3*k + 2*k + 10 = 0, -5*f = -3*k - w. Is 1 at most as big as f?
True
Let f(g) = g**2 - 11*g + 12. Let y be f(10). Let r = -6 - -15. Suppose 5*x - r = 1. Is y at most x?
True
Let d be (-2)/(-10) - 7/(-15). Let h = 0.6 + -0.5. Are h and d nonequal?
True
Let c = -99.74 - -100. Do c and -0.2 have different values?
True
Suppose h + h - 4 = -3*w, -4 = h. Suppose w*z = -5*i + 13, -6 = 3*i + i - 5*z. Which is greater: -1 or i?
i
Let b = -325/4 - -81. Is -7 less than or equal to b?
True
Suppose 4*z - 4 = 3*x, 0 = 4*z + 5*x + 3 - 39. Are z and 4 non-equal?
False
Suppose -5*m = 5*z - 20, -z = -m - 3*z + 5. Is 8 less than m?
False
Let b(u) = 4*u**2 + 1. Let n be b(-1). Suppose -y - n + 1 = 0. Is -4 at least as big as y?
True
Suppose -2*y + 0*y = 0. Which is bigger: 1 or y?
1
Let i be -3*1*(-5 - -3). Does i = 4?
False
Suppose 2*x + 2*m = -4, -4*m - 3 = 2*x + 7. Which is bigger: -1/38 or x?
x
Let x(l) = l**3 - 6*l**2 - 7*l - 2. Let t be x(7). Let m be ((-14)/10 - t)*-5. Is m less than -4?
False
Let h = -0.31 + 0.3. Let n = h - -0.01. Is n at most as big as 1/5?
True
Let h = -5.9 + 5.59. Which is smaller: -0.1 or h?
h
Let k(p) = p**3 + 8*p**2 - 3*p + 2. Let g be k(-7). Suppose 0 = -0*f + 2*f - 5*h - 36, 4*f - g = -5*h. Does 19 = f?
False
Let v = 83/4 - 20. Which is smaller: v or -2?
-2
Let x be ((-34)/(-18) - 2) + 558/2106. Which is greater: x or 17?
17
Suppose 26*p - 13*p + 377 = 0. Is p less than or equal to -27?
True
Let f = 21 - 14. Is f bigger than -1?
True
Let c = 1.02 - 0.02. Let m = 5 - 10. Are c and m non-equal?
True
Let p be -1 + -3 - (5/20 - 4). Let s be 0/(2 - 0 - 0). Suppose s*n = n. Which is bigger: n or p?
n
Let n = 51 + -51.2. Which is bigger: 1 or n?
1
Let f = -12 + 10. Let n be -5 + ((-2)/f - -1). Is n bigger than -3?
False
Suppose -3*b = -7*t + 3*t - 12, -2*b - 5*t - 15 = 0. Let r be (-16)/(-72) + (-4)/(-63). Which is greater: r or b?
r
Let c(w) be the second derivative of -w**3/6 + 15*w**2/2 - 10*w. Let k be c(16). Let x = -47/35 - -8/7. Do k and x have different values?
True
Let m be (0 + -