- 2*p + k - 4. Suppose p = 2*u + u + 21. Let r(t) = t**2 - 2*t - 3. Is 15 a factor of r(u)?
True
Let a(q) = -q**2 + 8*q - 12. Let y be a(6). Let b(u) = 3*u + 80. Is 16 a factor of b(y)?
True
Let r(x) = x**3 + 3*x + 2*x**2 - 6 + 11*x**2 - 4*x + 2*x**2. Is 3 a factor of r(-15)?
True
Let b(a) be the second derivative of a**5/20 + 2*a**4/3 + a**3/6 - 3*a**2 - 6*a. Does 12 divide b(-6)?
True
Suppose 0 = -5*q + 2*f + 4676, 4*q - 26 - 3710 = 4*f. Is q a multiple of 72?
True
Suppose -v = -1179 + 746. Does 25 divide v?
False
Let v be 1658/12 - (-4)/(-24). Let l = v + -61. Is l a multiple of 18?
False
Suppose 4*q + 7 = -5*j, q = 2*j + 6 + 2. Does 6 divide j/(2 - (-295)/(-140))?
False
Let q be (-4)/(-6) + (5 - (-68)/(-12)). Suppose q*p + 5*o = -3*p + 120, -o - 3 = 0. Is 15 a factor of p?
True
Let n(o) = -o + 21. Suppose 7 = -5*f - 33. Does 7 divide n(f)?
False
Suppose 0*p = -5*p + 3*w + 2160, 0 = 3*p + 2*w - 1296. Is p a multiple of 6?
True
Let t = 8 + -8. Suppose t = 5*s - 5*h - 35, 4*h = 2*h - 6. Is (s/(-5))/((-2)/95) a multiple of 19?
True
Let y(n) = -3431*n - 28. Does 108 divide y(-1)?
False
Let v(a) = a**2 - 6*a - 14. Let d be (-13 - 3)/(-4)*1. Suppose -3*j + 15 = 0, 30 = 4*g + 2*j - d*j. Is v(g) a multiple of 8?
False
Suppose 242 = 5*w - 678. Is 23 a factor of w?
True
Let j be 18/48 + 1551/24. Let n = j + 43. Is n a multiple of 6?
True
Suppose 2*b = -2*b + 12. Is 10 a factor of (-6)/((-63)/20 + b)?
True
Let y = 2 - 16. Let c = 38 + y. Does 3 divide (-4)/3 - (-224)/c?
False
Let w = 1968 - 1453. Does 13 divide w?
False
Suppose -f + 884 = f. Is 50 a factor of f?
False
Suppose -5*i = -700 + 55. Suppose -7*a - i + 437 = 0. Does 22 divide a?
True
Let n(c) = 5*c - 50. Let l be n(11). Suppose 4*z + l*a = 144, -2*z - 3*z - 2*a + 180 = 0. Is z a multiple of 4?
True
Is 29 a factor of (-6 - (-33)/(-2))*132/(-10)?
False
Suppose -8 = a - 11. Let t be 1*a*(-2)/3. Is (-15)/(12/112*t) a multiple of 14?
True
Suppose v + 4*g - 9 = 0, -v + 4*g + 3 = -6. Let r be 3/6 - (-3)/2. Suppose -n + 36 = m, 0 = r*m + v + 1. Does 9 divide n?
False
Suppose -5*f = -8*f + 9. Suppose -f*m + 6 = -0*m - 5*p, 0 = 5*p. Suppose -w + 31 = -m*s - 3*s, -w + 4*s + 28 = 0. Is 14 a factor of w?
False
Suppose h = -4*a + 1 - 10, -3*h = 3. Let o(t) = -6*t + 1. Is o(a) a multiple of 13?
True
Let t(g) = 44*g**2 + 40*g - 12. Is 92 a factor of t(-8)?
True
Let k = 1995 - -1079. Does 106 divide k?
True
Suppose -60 = 3*j - 7*j. Suppose 4*w - w - j = 0. Suppose -c = -0*c + 4*t - 104, -374 = -4*c + w*t. Is 14 a factor of c?
False
Let k = -260 - -498. Is k a multiple of 34?
True
Let f = 997 + -601. Is (-2 + (-22)/4)*f/(-55) a multiple of 18?
True
Let u(q) = 51*q**2 - 21*q + 48. Does 21 divide u(5)?
True
Let l(a) = -1 - 2 + 3*a**3 + 4*a + a**2 - 6*a**2 + 3*a**2. Let q be l(2). Suppose 5*g = 19 + q. Is 2 a factor of g?
True
Let v(y) = -y**3 - 16*y**2 + 17*y + 9. Let m(w) = -w**3 - 6*w**2 + 19*w + 7. Let a be m(-8). Does 2 divide v(a)?
False
Let u(v) = -2*v + 20. Let t be u(12). Let i(h) = -h**2 - 11*h + 10. Let c be i(-13). Is t/c + 1581/12 a multiple of 33?
True
Let s(b) = -b**3 - 17*b**2 - 20*b - 16. Is s(-19) a multiple of 77?
False
Suppose 45*u - 4105 = -5*n + 40*u, 4*u = 16. Is 11 a factor of n?
False
Let q(c) = -c**3 + 13*c**2 + 14*c + 4. Let u be q(14). Suppose 0 = -3*f - u*d + 523, 0 = 3*f - 2*f - d - 179. Is 38 a factor of f?
False
Let m(k) = k**3 - 11*k**2 + 13*k + 1. Let i be m(11). Let h(n) = 16*n + 4. Let y be h(6). Let w = i - y. Is w a multiple of 11?
True
Let a(f) = f**2 - 2 - 2*f**2 + 16*f - 9 + 0. Does 2 divide a(14)?
False
Let m be (-4)/3 + 876/9. Suppose f - 16 = -b - f, 2*f = -5*b + m. Is 10 a factor of b?
True
Suppose 200 = -3*q + 4*q. Is 5/(-15) - q/(-6) a multiple of 17?
False
Suppose 3*r - 176 - 55 = -5*u, 5*u - 159 = -2*r. Suppose 2*k - m - 119 = 5*k, k = -4*m - 47. Let j = k + r. Is j a multiple of 10?
False
Let k be 214/(-4) - 3/(-6). Suppose -16*h + 1209 = -199. Let w = k + h. Is 12 a factor of w?
False
Suppose -7*q + 3*q - 112 = 0. Does 9 divide 3 - q - 16/4?
True
Suppose -6 = 3*l + 6. Does 2 divide l/(-14) + (-52)/(-14)?
True
Does 13 divide (-15)/(-195) + (-7382)/(-26)?
False
Is (6 - (-365)/(-10))/((-2)/112) a multiple of 42?
False
Suppose -9*g - 32 = -11*g. Let v = 21 + g. Let y = v - 0. Is 18 a factor of y?
False
Suppose -12 = 3*n - 7*n. Suppose n*j = j. Suppose 4*q - 224 = -5*o, j*q - o - 309 = -5*q. Is 13 a factor of q?
False
Suppose -15*o + 10*o + 720 = 0. Does 36 divide o?
True
Let i(k) = 3*k**3 - 5*k - 2. Let x(f) = -16*f**3 + f**2 + 26*f + 11. Let s(m) = 11*i(m) + 2*x(m). Let w be s(-3). Suppose g - 10 - 8 = w. Is 9 a factor of g?
True
Let k = 0 - 10. Let f(t) = t**3 + 10*t**2 - 5*t + 23. Is 7 a factor of f(k)?
False
Suppose -i + 5*t + 10 = 0, -5*t + 0 = -5*i + 10. Suppose 0*b - 4*b + 2936 = i. Is 12/54 + b/18 a multiple of 12?
False
Suppose -6997 = -4*a - 5*c, 56*c - 7015 = -4*a + 57*c. Does 6 divide a?
False
Suppose 5*t = 10, -113 + 887 = 2*s + t. Suppose 0 = -4*h + s + 274. Is h a multiple of 15?
True
Let f = 1034 - 698. Suppose -15*u - f = -19*u. Is 18 a factor of u?
False
Suppose -11*c + 6183 = 3466. Is c a multiple of 2?
False
Let x(d) = -d**2 + 3. Let q be x(0). Suppose p + 4*p = -q*i - 5, 5*p = -5. Suppose i = 3*n - 6*n + 66. Is 15 a factor of n?
False
Let l(m) = m**2 - 1. Let t be l(0). Let i be (-13)/(-2)*(1 - t). Suppose 3*n - 149 - i = 0. Is 17 a factor of n?
False
Let n = 8 + 34. Let p be n - 14 - (1 + -5). Suppose 0 = i - 0 - p. Does 8 divide i?
True
Let a(b) = -18*b + 6. Let t(s) = 1. Let r = -13 - -8. Let z(m) = r*t(m) + a(m). Is z(-5) a multiple of 25?
False
Suppose -5*w - 3*q + 31 = 0, 3*q = 3*w + 5*q - 19. Suppose -8 = -3*v - 3*a - 20, -5*v = -a - 4. Suppose -3*d + 32 = w*g, -4*d - g = -v*d - 54. Does 7 divide d?
True
Let a = -2816 + 3992. Is 13 a factor of a?
False
Does 2 divide 77 + (-3 + 7 - 6)?
False
Let p be (-1803)/(-15) + (-5)/25. Suppose 0*i - p = -5*i. Is 12 a factor of i?
True
Suppose -2 = -g - 0. Let x(u) = u**3 - 2*u**2 + 4*u - 2. Does 2 divide x(g)?
True
Is 101 a factor of 3119/(-1)*3/(2 - 5)?
False
Let j(z) = 3*z**3 + z**2 - 3*z - 12. Does 6 divide j(4)?
False
Let c(b) = -104*b**3 + 2*b**2 + b - 1. Let g be c(-1). Suppose -169*q - g = -171*q. Is q a multiple of 13?
True
Suppose 2*o - z = 299, -3*z + 103 = -o + 250. Is 15 a factor of o?
True
Suppose -4*i + 3498 = -f - 1425, 0 = -4*i - 2*f + 4914. Suppose k = -9*k + i. Is k a multiple of 24?
False
Let h = -5 - -9. Let m be 115/(-46)*7*2. Let u = h - m. Is 8 a factor of u?
False
Suppose 218 = 3*t - v, 0 = -11*t + 16*t + 2*v - 356. Is t a multiple of 6?
True
Is 21 a factor of (12/(-10)*1)/(8/(-140))?
True
Let a = 3 + -1. Let t = -497 + 513. Let l = t + a. Is l a multiple of 12?
False
Suppose 4*j - 9 + 38 = m, 4*m + 4*j - 56 = 0. Suppose 15*a + 8 = m*a. Suppose 0 = 3*u + 3, -a*s - 3*u + 5*u = -30. Is s a multiple of 6?
False
Let c be (8/(-12))/(4/(-24)). Suppose h + 112 = 3*h + c*o, 0 = 2*h + 3*o - 112. Is h a multiple of 19?
False
Suppose -109*s = -94*s - 13785. Does 10 divide s?
False
Is 32 a factor of (-4030)/(-9) + 60/270?
True
Suppose 18*d - 317 = 3085. Does 21 divide d?
True
Let m = -144 - -266. Suppose -1 = -u, 7*r - 3*u - m = 2*r. Does 5 divide r?
True
Let q be (-54)/(-3)*(-2)/3. Is 8 a factor of 4*(-4)/(q/33)?
False
Let i = 37 - 32. Suppose 9*w + 32 = f + 5*w, 0 = -f + i*w + 31. Is f a multiple of 9?
True
Let g(a) = -8*a + 122. Is 20 a factor of g(11)?
False
Let p(r) = r**2 - 8*r - 19. Let w be p(10). Is 2 + -3 - w*-37 a multiple of 12?
True
Let q(k) = 3*k**3 + 12*k**2 + 6*k - 6. Let m(l) = -l**3 - l**2 - l. Let t(w) = 2*m(w) + q(w). Is t(-9) a multiple of 13?
True
Suppose b = -4*f + 121, 9*b - 4*b - 513 = 3*f. Suppose 4*n - b = -n. Is n a multiple of 5?
False
Suppose 1699 = 5*o + 3*q - 4*q, -2*o = -4*q - 694. Is 9 a factor of o?
False
Let l = 529 + -396. Is 9 a factor of l?
False
Is 66/627 - 3492/(-38) a multiple of 3?
False
Let t(g) = -2*g**2 + 6*g + 3. Let f be t(-2). Let w = -17 - f. Let z(p) = -p**2 - p + 26. Is z(w) a multiple of 7?
False
Let q(k) = -k**2 + 4*k + 5. Let l be q(8). Let i = l - -56. Let t = 63 - i. Is t a multiple of 17?
True
Let x(n) = 48*n**2 + 5*n. Is x(-4) a multiple of 41?
False
Suppose -2*z + b + 3245 = 0, 2*z + b - 1507 - 1728 = 0. Is 60 a factor of z?