(f)?
False
Let l be 240*(12/10)/3. Suppose -3*q - l = -3*k + 207, 5*k + 4*q = 487. Suppose -56 = -3*t + z - 5, 3*z = -5*t + k. Is 8 a factor of t?
False
Let z(v) = -3*v**2 - 16*v - 1. Is z(-4) a multiple of 10?
False
Suppose -3*r - 6 = y + 2*y, 4*y + 4 = -2*r. Let h = 6 - y. Suppose 3*i + h - 15 = 0. Does 3 divide i?
True
Let f = 50 + 129. Is 35 a factor of f?
False
Let x = 74 + -41. Is 7 a factor of x?
False
Is 39 a factor of (81/5)/(4/20 + 0)?
False
Let m(k) = k**3 - k**2 + 2*k - 1. Let y be m(1). Suppose 5*n + 0*n = 60. Let g = n + y. Does 8 divide g?
False
Let i(t) = 19*t + 1. Is 6 a factor of i(1)?
False
Let r(s) be the first derivative of -s**5/40 + s**4/6 - 2*s**3/3 - 4. Let l(o) be the third derivative of r(o). Does 11 divide l(-5)?
False
Suppose -h = -23 + 3. Suppose -2*y - x = -5, 9*y - 4*y = 4*x - h. Suppose 0 = 4*c + 2*q + 2*q - 8, y = -5*c - 2*q + 16. Does 4 divide c?
True
Suppose 0 = -c + 3. Suppose -b = c*b - 92. Is b a multiple of 4?
False
Let t(a) = -14*a + 12. Let x be t(-6). Let p = x - 44. Is 26 a factor of p?
True
Let j(o) = o**2 + 3*o - 1. Is j(-5) a multiple of 9?
True
Suppose -3*s + 0*s - 12 = 0. Does 3 divide (-34)/s - 9/(-18)?
True
Let u(o) = 9*o**2 + o + 2. Let d be (-4)/(2/(-6)*-3). Let g be u(d). Suppose 2*m - g + 36 = 0. Is m a multiple of 21?
False
Suppose 2*x + 4 = 3*x. Suppose 0*z = x*z. Let g = 5 - z. Is g even?
False
Suppose -2*s + 15 + 61 = -3*r, -2*r - 4*s - 40 = 0. Let x = r - -43. Does 16 divide x?
False
Suppose -5*l - 3*h = 239, -2*h = 3*l - 0*h + 144. Let k = 66 + l. Is 0 + k + 0 + 0 a multiple of 10?
True
Does 20 divide (-15 + 138)*2/3?
False
Let l = 39 + -30. Is l a multiple of 2?
False
Let h be (-3)/12 - 21/(-4). Let w(a) = 6*a**3 + 11*a**2 + 5*a + 10. Let d(b) = 5*b**3 + 10*b**2 + 4*b + 9. Let s(q) = -7*d(q) + 6*w(q). Does 13 divide s(h)?
False
Suppose -3*j + 79 = -38. Is 13 a factor of j?
True
Suppose -4 = 2*i - 0*i. Let z be 2*(2 + -3)*i. Suppose g = -g + z*n + 2, -3*n = 5*g - 31. Is 5 a factor of g?
True
Suppose 0 = -4*a + 5*i + 214, i = 5*a - 60 - 218. Is 7 a factor of a?
True
Suppose -2*z = 2*z - 264. Suppose 5*v - 114 - z = 0. Suppose 3*j = v + 15. Is j a multiple of 9?
False
Let d(f) = 2*f**2 + 4*f - 6. Does 16 divide d(4)?
False
Let t = -171 - -351. Suppose 5*q - t = -0*q. Is 18 a factor of q?
True
Let z(a) = -a**3 + 14*a**2 - 10*a - 7. Is 12 a factor of z(13)?
False
Suppose 3*p = -2*b + 2, 3*b + 3*p = 6*p + 18. Let c be 2/b + 14/(-4). Does 15 divide 135/(-6)*4/c?
True
Let u(j) = j**2 - 3*j - 5. Let s be u(4). Is (2/(4/(-6)))/s even?
False
Let q(g) = -2*g. Let t be q(-2). Suppose s + t*x - 5 = x, 0 = -s - x + 11. Is 7 a factor of s?
True
Suppose -5 = 5*p + 5*k, -8 = p - 2*k + 2. Does 11 divide 9/1 - (2 + p)?
True
Suppose -3*l + 54 = -l. Does 8 divide l?
False
Let g be (-2)/(-10) + (-320)/(-25). Suppose g = f + 2. Is 7 a factor of f?
False
Let p(c) = -3*c + 7*c**2 - 6 - 2 - c**3 - c. Let x be p(6). Suppose 0 = 4*w - 2*a - 43 - 43, x*a + 46 = 2*w. Is w a multiple of 16?
False
Let d(s) = s + 5. Let v(l) = 6. Let p(t) = -6*d(t) + 5*v(t). Is p(-2) a multiple of 6?
True
Let o be 94/(-18) - 4/(-18). Let b be 1 - 0 - 15/o. Suppose 0*p + 84 = b*p. Is 9 a factor of p?
False
Let l = 90 - 33. Is l a multiple of 19?
True
Let g = -1 + 4. Suppose -4*o - 3*y = 171, 2*o + 2*y = 3*y - 93. Is o/(-6)*2/g a multiple of 5?
True
Is 63 - 4*(-5)/10 a multiple of 18?
False
Let g(l) = -31*l + 1. Let s be g(-1). Suppose 3*u + 3*m = u + 29, 2*u + 4*m = s. Does 10 divide u?
True
Let h(g) = -g**3 - 13*g**2 + 11*g - 12. Is 6 a factor of h(-14)?
True
Let q(o) = 18*o**2 - 4*o. Let h be q(3). Suppose 3*n + 0*n - h = 0. Let m = n + -28. Does 11 divide m?
True
Let j(k) = 14 - 3 - 4*k**2 - 7*k + 5*k**2. Does 5 divide j(6)?
True
Let u(p) be the second derivative of -p**4/12 + p**3/6 + 33*p**2/2 - p. Is u(0) a multiple of 9?
False
Let a(o) = 4*o**2 - 3*o - 3. Suppose -w + 4*b = -17, -2*w + 11 = w - 4*b. Is 21 a factor of a(w)?
True
Let c = -233 + 425. Does 12 divide c?
True
Let c(v) = -3*v - 9. Let f be 84/22 - 2/(-11). Let d(h) = 2*h + 8. Let s(x) = f*d(x) + 3*c(x). Is 2 a factor of s(0)?
False
Suppose 0*k + 2*k + 3*n = 28, -44 = -3*k - 4*n. Is 20 a factor of k?
True
Suppose 0 = -0*s - 2*s. Is 10 a factor of 2*(2 - s - -8)?
True
Is 4 a factor of (-1 - (-266)/8) + 21/28?
False
Is ((-12)/(-28))/(-3) - 106/(-7) a multiple of 3?
True
Let a = 9 - -5. Is 6 a factor of a?
False
Let s = 2918 + -1751. Let d be s*(5/(-3))/(-5). Suppose 5*i + 119 = d. Is i a multiple of 18?
True
Suppose 0*u - 2*u = -84. Does 14 divide u?
True
Does 11 divide ((-4480)/15)/(-7)*3?
False
Let c = 43 + -31. Is c a multiple of 7?
False
Let w = -4 + 2. Let y be w/(-4) + (-12)/8. Let f(q) = 16*q**2 - 2*q - 1. Is f(y) a multiple of 15?
False
Suppose 3*c - 215 = -4*l + 307, -2*c + 4 = 0. Suppose -4*i - l - 15 = 0. Does 7 divide (i/14)/(1/(-7))?
False
Suppose 0 = -l - 2*l + 255. Does 5 divide l?
True
Let u = -65 + 110. Let q = u - 3. Let z = q + -28. Is z a multiple of 12?
False
Let o = -67 + 130. Suppose -7*m + 3*m + 4*t = 176, 67 = -2*m - 5*t. Let a = o + m. Is a a multiple of 9?
False
Suppose -q + 2 = 0, y - 5*y - 5*q = -18. Suppose a - 10 = -4*a, -y*a = 5*d - 144. Is d a multiple of 28?
True
Let d = 143 - 47. Is d a multiple of 24?
True
Let x = 200 + -115. Is x a multiple of 11?
False
Let q(n) be the third derivative of -n**5/60 + 2*n**4/3 + n**3/6 - 2*n**2. Is q(8) a multiple of 12?
False
Let i = 0 + 2. Suppose -i = -d - 0. Suppose -5*u = -3*u + d*x - 22, -12 = -3*x. Is 3 a factor of u?
False
Is 2 a factor of (2/(-1))/((-2)/8)?
True
Suppose b = n - 12, 4*n + 7*b = 3*b + 16. Is n a multiple of 6?
False
Suppose 0*k - 28 = -2*k - 5*b, 12 = 4*k - b. Let u be 1/(-4) + 5/k. Is 6 a factor of (4/5)/(u/15)?
True
Suppose -4*j - 4*z - 2 + 106 = 0, -3*j + 71 = -4*z. Is j a multiple of 21?
False
Let x = 31 + 47. Does 12 divide x?
False
Let r = 33 + 14. Let d = r + -17. Is 10 a factor of d?
True
Suppose -4*u - 5*c + 1 = 0, -3*u - c - 23 = -2*c. Is (-214)/u + (-4)/6 a multiple of 13?
False
Suppose -142 = -0*o - 2*o - 2*s, -4*o + 287 = 5*s. Is 7 a factor of o?
False
Let p(h) = -2*h**3 + 15*h**2 + 2*h - 20. Does 12 divide p(7)?
False
Let v(c) = -15*c**3 - 2*c - 1. Let i be -3 + 0/(-1) + 2. Does 16 divide v(i)?
True
Does 29 divide 33 + (-5)/(5/4)?
True
Let t = 236 + -151. Is 17 a factor of t?
True
Let z = -29 + 19. Let b = -6 - z. Is b a multiple of 4?
True
Let f(h) = -3*h**2 + 0 - 3 - 3*h + 5 + 8*h**2. Suppose -2*i + 1 = -3. Is f(i) a multiple of 14?
False
Let n = 8 + -6. Is 24 a factor of ((-10)/25)/(n/(-120))?
True
Suppose -h - 5 = 2*q - 5*q, h = -3*q + 1. Suppose 0 = -2*y + 9 - q. Is y a multiple of 2?
True
Let w = -7 + 38. Does 31 divide w?
True
Let d(x) = -x**3 + 2*x**2 + x - 2. Let n be d(-2). Suppose -o = -v + 4, v = -0*v - 3*o - n. Suppose 3*z + i - 57 = 0, 4*z = -v*z - 3*i + 81. Is 9 a factor of z?
True
Suppose -23 - 52 = -3*q. Is 13 a factor of q?
False
Suppose -5*c = -5 + 25. Let f = 7 + c. Suppose 5*p - f*p = 32. Is p a multiple of 6?
False
Suppose 5*m = -5*n + 20, -n - 8 = m - 6*m. Suppose 2*p = -m*p - 16. Is 2/p + (-15)/(-6) even?
True
Let u = 99 - 84. Is u a multiple of 5?
True
Let y(f) be the first derivative of -10/3*f**3 - 5*f**2 + 3 + 11*f - 1/4*f**4. Does 14 divide y(-9)?
False
Let f = 149 - 25. Is f a multiple of 31?
True
Let o(v) = v**2 - v. Let h be o(-1). Suppose -h = -2*s + 8. Is s even?
False
Suppose -k + 13 = -0*k + 3*g, -5*g = -3*k + 53. Is k even?
True
Let j be 4/14 + 99/(-77). Does 4 divide (9 - j)/(0 + 2)?
False
Let m(c) = c - 2. Let f be m(2). Suppose 4*z - 6*z + 16 = f. Is 3 a factor of z?
False
Suppose -2*a = -4*u - u + 8, u - 4*a + 2 = 0. Suppose -18 = -i - u*i. Is (i - -2) + -2 + 0 a multiple of 2?
True
Let x be (2/3)/((-6)/(-45)). Suppose -x*t = -4*a - 60 - 93, -5*t = -a - 147. Does 20 divide t?
False
Let x be 1/(2 + -1 - 0). Is 9 a factor of 33 + 3 - 2 - x?
False
Suppose -9*g + 3225 - 1110 = 0. Is g a multiple of 37?
False
Let h = -6 - -181. Is 35 a factor of h?
True
Suppose -3*j = t + 15, 9 = -2*t - 2*j - 5. Let o be 1*(t + 1 + 3). Suppose o = d - 4. Is 2 a factor of d?
False
Suppose -f + v + 17 = 0, 1 = -v - 3. Suppose -4*g = -7 - f. Is g a multiple of 3?
False
Let r be 1/(-1) + (-2 - 0). Let b be 1 - 4/6*r. Suppose -5*m + 3 + 3 = q, -b