-8 + a. Suppose 0*p - 4*p + 50 = 5*x, 0 = u*p + 2*x - 71. Is 15 a factor of p?
True
Let t be (4/(-10))/(4/100). Let h = t - -20. Suppose -3*n + h = -n. Is n a multiple of 2?
False
Let f(w) = -w**2 + 2*w + 1. Let b(n) = 2*n - 2. Let c be b(2). Let r be f(c). Let j = 4 - r. Is 2 a factor of j?
False
Let k(r) = -r**2 - r + 1. Let w be k(-2). Let c be (w/2)/(3/(-18)). Suppose -o + c = -5. Is o a multiple of 4?
True
Suppose 60 = -0*m - 2*m. Let d = 43 + m. Is d a multiple of 13?
True
Let r = 9 - -49. Does 17 divide r?
False
Let g = -2 - -5. Suppose p + 228 = 5*o, g*p = 2*o - p - 102. Is 15 a factor of o?
True
Suppose 230 = 7*u - 5*u. Is 23 a factor of u?
True
Suppose 40 = 2*h - 34. Does 7 divide h?
False
Let l(i) be the second derivative of i - 2/3*i**3 - 3/2*i**2 + i**4 + 0. Does 22 divide l(-2)?
False
Let q(x) = 4*x**2 - 8*x - 12. Is q(-5) a multiple of 19?
False
Let v = -8 - -4. Let o(q) be the second derivative of q**4/6 + q**3/6 + q**2 + q. Is o(v) a multiple of 12?
False
Suppose 0*y + 37 = y. Suppose -5 = 4*l - y. Let k = -4 + l. Is k a multiple of 2?
True
Let s(f) = 4*f**2 + 3*f + 1. Does 7 divide s(-3)?
True
Let r(q) = -2*q**2 - 2*q - 17*q**3 - 33*q**3 - 1 - 15*q**3. Let o be r(-1). Suppose 3*y + 4*u + 23 - 84 = 0, -2*u - o = -2*y. Is y a multiple of 9?
True
Let t be 204/(-8)*(-4)/3. Suppose -l = l - t. Let r = 52 - l. Does 16 divide r?
False
Let z = 8 + -11. Is (-4)/((6/8)/z) a multiple of 15?
False
Let m = 0 - 5. Does 3 divide (m/(-15))/((-2)/(-54))?
True
Let g(h) = -3*h - 7. Let s = 11 - 18. Is 6 a factor of g(s)?
False
Let p = 287 + -203. Let i be -59*(-2 + 0 + 3). Let b = p + i. Is 10 a factor of b?
False
Is 9 a factor of ((-1)/(-4) - (-54)/(-24)) + 57?
False
Let o = -256 - -360. Does 26 divide o?
True
Let n = 35 - 25. Is (-2 - -12)/(4/n) a multiple of 9?
False
Let z = -473 + 266. Is (-3)/6 + z/(-6) a multiple of 16?
False
Suppose m - 209 + 179 = 0. Is m a multiple of 6?
True
Let i(w) = 6*w**2 + 14*w + 9. Does 15 divide i(-5)?
False
Let g = -11 - -13. Suppose g = q - 7. Does 9 divide q?
True
Suppose 3*t = -t + 208. Is 26 a factor of t?
True
Suppose -x - 4 = -2*x, -5*x - 243 = j. Let k = -146 - j. Suppose k + 43 = 4*z. Is z a multiple of 15?
False
Let k(j) = -21*j + 26*j - 9 - 2 + 1. Does 21 divide k(10)?
False
Suppose 2*c + 0*c = 10. Is (-5)/((-50)/56)*c a multiple of 14?
True
Does 18 divide 47 + -2 + 6 + -5?
False
Let x = -20 + 34. Is 3 a factor of x?
False
Let h(c) = 7*c**2 - 25*c + 31. Let z(n) = 3*n**2 - 12*n + 15. Let l(x) = -4*h(x) + 9*z(x). Let t be l(-9). Does 7 divide ((-15)/t)/(-5)*12?
False
Let g(d) be the first derivative of -d**2/2 + d - 3. Let r be g(-2). Does 11 divide 2/(r/(-3)) + 18?
False
Suppose q + y + 1 = 0, 4*q + 2*y + 2 = 8. Suppose q*n - 16 = 12. Is 3 a factor of n?
False
Suppose -k + 9 = 7. Suppose 53 = -n + 4*n + k*d, -4*n + 59 = 5*d. Does 5 divide n?
False
Let s = 164 - 98. Is s a multiple of 22?
True
Suppose 74 = 2*y + 4*k, 2*y + 0*y - k = 49. Does 9 divide y?
True
Let s be 32/12*(-9)/(-4). Suppose -s*v + 105 = -v. Is 21 a factor of v?
True
Let m = 7 + -4. Suppose -3*i - m*h - 255 = 0, -4*i = 5*h + 56 + 281. Let w = -46 - i. Is 12 a factor of w?
False
Suppose -4*f - 390 = -10*f. Is 10 a factor of f?
False
Suppose -195 = a - 2*a. Does 56 divide a?
False
Is (-1)/((-11 + 12)/(-13*2)) a multiple of 17?
False
Let z = 11 - -36. Let y = z + -33. Does 7 divide y?
True
Let i(x) = 25*x + 1. Let m be i(-2). Let h = m + 33. Let g = h + 24. Is g a multiple of 8?
True
Let s(q) = 10*q + 2. Suppose -5*o - 2*w = -22, 6*w - 2*w + 16 = 5*o. Is 21 a factor of s(o)?
True
Let c = 1 + 58. Does 13 divide c?
False
Let o(p) = 11*p - 39. Does 10 divide o(9)?
True
Suppose 4*d + 4*w = 128, 0*w + w = -5*d + 164. Does 5 divide d?
False
Suppose 65 = -15*b + 20*b. Does 13 divide b?
True
Suppose -5*r + 71 = 3*j + 4, -j = -4*r - 28. Suppose f - j = -2*q - 2*f, 0 = -4*q - 3*f + 36. Suppose -28 = -q*d + 4*d. Does 14 divide d?
True
Suppose p = -2*p + 12. Let h(u) = 3*u - p*u - 1 + 3*u - u. Does 3 divide h(6)?
False
Let k be (-1)/2 + (-28)/(-8). Suppose 5*o - 48 + 178 = 5*z, -k*o - 3 = 0. Let b = 53 - z. Does 14 divide b?
True
Suppose -2*t - t = -231. Does 12 divide t?
False
Let f(x) = -2*x. Suppose 3*s - 3*g = -15, -2*s - 65 = 3*s + 5*g. Is f(s) a multiple of 18?
True
Let m(t) = -33*t**2 - t - 2. Let s be m(-2). Does 5 divide (-4)/(-6)*s/(-8)?
False
Let f(i) = -i + 119. Let l be f(0). Suppose 3*c + l = 11. Let n = -17 - c. Is 7 a factor of n?
False
Let p(u) = 2*u - 21. Is 19 a factor of p(20)?
True
Let q = -11 + 8. Let v be q/(-12) - (-261)/12. Suppose 4*r - v = -2*t + 78, -r = -3*t - 11. Is 11 a factor of r?
False
Let p(d) = 10*d + 6. Let c(k) = -15*k - 9. Let a(w) = -5*c(w) - 7*p(w). Is a(4) a multiple of 9?
False
Suppose -y - 8 = g - 5*g, -6 = -3*g + 5*y. Suppose -g*q + 4*m = -106, -103 = -2*q + m + 2*m. Is q a multiple of 12?
False
Does 5 divide -2 + (355/25 - 4/(-5))?
False
Let n(a) = a**2 - 6*a + 15. Let x(i) = -4*i - 9. Let p be x(-4). Is 8 a factor of n(p)?
False
Let i(z) = -z - 4. Let y be i(-7). Suppose -9 = -y*t + 45. Does 6 divide t?
True
Suppose 0 = 3*t - 0*t + 12. Let w be 10/t*528/(-40). Suppose -241 = -5*y - g + 5*g, -y + w = 3*g. Is y a multiple of 17?
False
Suppose -2*b = 2*u - 75 + 3, 4*b = 4*u + 104. Does 18 divide b?
False
Suppose 3*l - 5 - 49 = 0. Is 7 a factor of l?
False
Suppose h = 3*k - h - 104, h = 2*k - 70. Is k a multiple of 14?
False
Is 14 a factor of (-30)/20*(-424)/6?
False
Is 16 a factor of ((-3)/(-1))/((60/256)/5)?
True
Suppose b = 5*x + 61, -2*b + 0*b + 115 = -3*x. Is 14 a factor of b?
True
Suppose 3*j - 40 - 14 = 0. Is j a multiple of 6?
True
Let d(f) = 7*f + 1. Is 6 a factor of d(5)?
True
Suppose 0 = 5*d - 20 - 65. Does 6 divide d?
False
Let i be (2 + (-5)/2)*-6. Let g be (i + -3)*1*-1. Suppose q - 15 - 24 = g. Is 14 a factor of q?
False
Suppose -117 = -3*a - 33. Is 7 a factor of a?
True
Suppose -4*n = 4*u + 104, -3*n - 5*u - 37 = -n. Let v be ((-63)/(-4))/3*16. Let r = n + v. Is 17 a factor of r?
False
Suppose 0 = -2*i + 682 + 124. Suppose -68 = 5*q - i. Is 14 a factor of q?
False
Let k(b) = 4*b**2 - 9*b + 9 - 3*b**2 - 3 + 1. Is 3 a factor of k(9)?
False
Suppose -3*f + 78 + 90 = 0. Does 38 divide f?
False
Suppose 2*a + 57 = -5*q, q + 55 = -2*a - 2*q. Let x be 4/(-26) + 74/a. Is 12 a factor of (-40)/(-2) - (x + 1)?
False
Suppose -3*r - 1215 = -57. Is 16 a factor of r/(-6) + (-3)/9?
True
Suppose -9 = -2*g + w, -2*w + 11 = 5*g + 2. Let p(y) = -y**3 + 4*y**2 + y + 1. Let i be p(2). Suppose g*s - 38 = -i. Is 4 a factor of s?
False
Let y = 0 - -2. Let t = y + -1. Let l(v) = 12*v - 1. Is 9 a factor of l(t)?
False
Let p be 2/(4*1/4). Suppose -p*q = -6*q + 200. Does 25 divide q?
True
Suppose 8 = -4*g + 8*g. Suppose 0 = -t - 0*t + 25. Let z = g + t. Is 12 a factor of z?
False
Let f = -21 + 13. Let c(t) = -6*t - 11. Is 11 a factor of c(f)?
False
Suppose 0 = 2*f - a - 131, 9*f - 325 = 4*f + 2*a. Is 14 a factor of f?
False
Let q(v) = v**3 + 17*v**2 - 2*v + 22. Does 28 divide q(-17)?
True
Suppose -2*o - 5*i + 101 = -2*i, 5*o - i = 295. Does 24 divide o?
False
Let b(t) = -3 - t + 2*t - 4*t**2 + 6*t**2 - t**3 + 2*t**2. Is b(3) a multiple of 3?
True
Let m be 2/6*132/11. Let i = m + -2. Suppose 18 = q + 2*b, 4*q - i*q - 2*b = 36. Does 18 divide q?
True
Let c = -151 - -253. Is 20 a factor of c?
False
Let j(k) = k**2 - 9*k - 15. Is 11 a factor of j(-8)?
True
Let m = -142 + 298. Is m a multiple of 23?
False
Let y(a) = -a**3 + 5*a**2 + a + 5. Let d = 5 - 0. Is y(d) a multiple of 4?
False
Let j = -10 - -14. Suppose -2*q + 0*q + j = 0, -5*q = -4*f - 2. Suppose f*a + 22 - 110 = 0. Is a a multiple of 19?
False
Suppose -5*i - 79 = -3*m, -4*m + 2*m - 3*i + 78 = 0. Suppose 0*j - 4*j + 252 = 0. Let p = j - m. Is 11 a factor of p?
False
Let n(q) be the first derivative of q**5/60 + q**4/8 - 5*q**3/6 - q**2 - 3. Let l(t) be the second derivative of n(t). Is l(-6) a multiple of 6?
False
Suppose 41 + 101 = 2*l. Is l a multiple of 5?
False
Let p(k) = 3*k - 1. Let o be p(1). Let n be (2 - o) + (1 - 8). Let m(h) = h**3 + 6*h**2 - 9*h - 1. Is 13 a factor of m(n)?
True
Suppose -b = 2*b - 642. Suppose 5*w = -f - b, 4*f = -w - 19 - 20. Let u = -30 - w. Is u a multiple of 5?
False
Let z(h) = 4*h**3 + 2*h**2 + 2*h. Let m be z(-2). Let t = m + 58