2 + a + 12. Let u(h) = g*q(h) - s(h). Is 9 a factor of u(6)?
True
Let k(u) = 84*u + 124. Is k(5) a multiple of 34?
True
Let h = -10 + 5. Let g(m) = m**2 + 3*m - 7. Let p be g(h). Suppose 0 = -p*x + 9, k + k - 75 = x. Is k a multiple of 13?
True
Let k(y) = -3 + y + 2 + 2 - 119*y**3 + y**2. Does 18 divide k(-1)?
False
Let x = 15 - 17. Let l be 0 + 10*(-1)/x. Suppose -2*t - 2 = -3*a - 1, -4*a - l*t + 32 = 0. Is a a multiple of 2?
False
Let b = -42 + 161. Let j = -37 + b. Is j a multiple of 18?
False
Suppose 215*q - 3024 = 207*q. Is q a multiple of 27?
True
Suppose -5*l - 55 = -2*g, -2*g - 2*l + 22 = -12. Suppose -21*k + 36 = -g*k. Is 12 a factor of k?
True
Suppose 2*f + f = -4*w + 874, -584 = -2*f - 2*w. Is f a multiple of 14?
True
Suppose 7*j - 12 = j. Suppose -5*u + 520 = -5*t, -4*u + 443 = j*t + 3*t. Is u a multiple of 36?
False
Let r be (-3)/(-2)*(-80)/(-24). Suppose -r*w + 12 = 3*b, 3*w + 12 + 4 = 4*b. Does 19 divide 19*(w + -1 + 2)?
True
Let m(r) be the third derivative of -5*r**4/24 - 2*r**3 + 11*r**2. Does 15 divide m(-8)?
False
Suppose -n - n = -4*a - 50, 85 = -5*a - 5*n. Let y = a + 58. Does 11 divide y?
True
Let q = 1 - 5. Let s = q + 5. Is s/5 + (-162)/(-15) a multiple of 5?
False
Suppose q - 349 = -351. Let a(s) = -5*s - 4 + 2*s**2 + 2*s + 2*s - 2*s**3. Does 22 divide a(q)?
True
Let d = 1211 + -151. Is 11 a factor of d?
False
Let t(h) = -5*h**2 + 53*h + 23. Let m(j) = -j**2 + 13*j + 6. Let o(y) = -9*m(y) + 2*t(y). Let s be o(-10). Suppose -102 = -5*n + s*n. Is n a multiple of 9?
False
Suppose -7 - 47 = -3*a. Suppose 0 = -13*b + a*b - 350. Does 14 divide b?
True
Let o be (-2 - -25) + 1 - -3. Is 2 + o + (7 - 5) a multiple of 8?
False
Let t = -21 + 24. Suppose 0 = -2*a + 5*l - 58 + 155, 0 = 5*a - 3*l - 233. Suppose t*m = -5*b + a, 7 + 9 = -4*b. Is m a multiple of 10?
False
Let o(q) = 71*q**2 - 10*q - 33. Does 83 divide o(-3)?
False
Suppose -17*p + 6480 = -8*p. Is p a multiple of 66?
False
Suppose g = -i, -8*i = g - 3*i + 8. Suppose -3*n + 25 = g*n. Suppose -f = 1, 3*w = 2*f - n*f + 288. Is 26 a factor of w?
False
Suppose 11*h - 4541 - 2851 = 0. Is 28 a factor of h?
True
Let m(q) = -q**2 - 4*q + 3. Let c be m(-4). Suppose c*s = -s + 360. Is 18 a factor of s?
True
Let u(h) = 120*h + 198. Is u(6) a multiple of 9?
True
Suppose 258*o - 269*o = -72116. Is 149 a factor of o?
True
Let r(y) = 5*y**2 - 5*y + 11. Does 40 divide r(-5)?
False
Is 20/(-9) - -2 - 3856/(-18) a multiple of 36?
False
Let u(c) = c**2 - 30*c + 15. Is u(-15) a multiple of 30?
True
Suppose -231 = -5*b + 2*a, 0 = 3*b - b + 3*a - 81. Does 15 divide b?
True
Suppose -12 = 3*m - 4*d, 0 = 3*m + 8*d - 6*d + 30. Is ((-54)/m)/((-6)/(-80)) a multiple of 9?
True
Let b = -100 - -186. Let j = 149 - b. Is 21 a factor of j?
True
Suppose 0 = 7*p + 5*d + 642 - 4305, -5*d = -3*p + 1577. Is p a multiple of 5?
False
Let p(m) = -19*m + 6. Let q be p(-4). Let a = q - 59. Is 15 a factor of a?
False
Let a(p) be the second derivative of p**4/12 + p**3/6 + 3*p**2 - 7*p. Does 6 divide a(-6)?
True
Let j(p) = -6*p - 220. Is 8 a factor of j(-47)?
False
Suppose 20*h - 17*h = 15. Suppose 3*d - 812 = h*z, 2*z - 830 = -3*d - 2*z. Is d a multiple of 50?
False
Let h = 1690 + -1537. Is h a multiple of 9?
True
Suppose 78 = 36*w - 33*w. Let b = w + 37. Is 24 a factor of b?
False
Let y(f) = -f**2 - 16*f + 20. Suppose 0 = 2*w + 4 + 14. Does 25 divide y(w)?
False
Suppose 3*f = p + 192 - 77, 5*f - 495 = 4*p. Let y = 239 + p. Is y a multiple of 21?
False
Is 10 a factor of 370 - (-3 + (16 - 10))?
False
Let w(y) = -26*y - 5. Let v be w(-1). Let a be -2 - 4/(4/(-9)). Let q = a + v. Is 11 a factor of q?
False
Suppose 5*t = 4*d, d - t = 5*d. Suppose -5*s + 0*s - 4*u + 560 = d, 0 = u. Does 11 divide s?
False
Suppose 2*y = -8*h + 4*h + 1282, 954 = 3*h + 4*y. Is 40 a factor of h?
False
Suppose 0 = 12*c - 769 - 2975. Is 12 a factor of c?
True
Let m be 146/10 + 8/20. Let u = 7 - m. Let s = u - -15. Is 4 a factor of s?
False
Is 63 a factor of (-1 - 27)*(-34 - -2 - 4)?
True
Let l(j) = 5*j**2 - 7*j + 12. Let o(q) = -14*q**2 + 22*q - 35. Let f(y) = -11*l(y) - 4*o(y). Let v be f(10). Does 17 divide (-34)/(((-16)/(-12))/v)?
True
Suppose 2*w + 9 - 15 = 0. Suppose -w*v + 18 + 267 = 0. Does 15 divide v?
False
Suppose -269 = 6*o - 935. Let w = o + -60. Is 3 a factor of w?
True
Let s be (-15)/(-3) - (3 - 0). Let t be s*-1*(-682)/44. Suppose -n + 4*p = -t, -20 = -9*p + 4*p. Is 9 a factor of n?
False
Is (-1040)/(-30) - ((-10)/(-6) - 1) a multiple of 34?
True
Let p(v) = v**3 - v**2 + 3*v - 2. Let h be p(1). Let z = -1 - 0. Is (1 + h)/(z/(-10)) a multiple of 9?
False
Suppose 0 = f - 2 + 1. Let j be f + -4 - (-10 + 1). Is 22 a factor of 8/(-12) - (-346)/j?
False
Suppose -6 + 7 = -z. Let m be 11 + (z - (-3 + 3)). Suppose -g + 37 = m. Does 9 divide g?
True
Let n(b) = 8*b + b - 6*b. Let o be n(4). Suppose 4*l = -i + 21, 3*l - 3*i = -0*i + o. Is l a multiple of 5?
True
Suppose 8*i - 13*i = -350. Suppose -26 = 2*x - i. Is 22 a factor of x?
True
Suppose -2*r + 3*o = -3606, 5*r - o - 8996 = -3*o. Does 25 divide r?
True
Let d = 2010 - -2628. Does 22 divide d?
False
Let t(h) = 22*h**2 - 17*h - 43. Is 5 a factor of t(-3)?
False
Let t(f) = 5*f - 4*f**2 + 3*f**2 + 147 - 148. Suppose -s = -2*b + 1, 0 = -b + 1 + 1. Does 2 divide t(s)?
False
Suppose -4 = n - 3*l, n - 8 = -0*n - 3*l. Suppose 5*t + 3*r - 1186 = -341, n*r = -3*t + 508. Does 22 divide t?
False
Let z(i) be the third derivative of i**6/60 - i**5/12 + 5*i**3/6 - i**2. Let s(m) = 6*m**2 + m - 1. Let y be s(-1). Is 11 a factor of z(y)?
False
Let n(g) = 897*g**3 + 3*g**2 - 5*g + 1. Is 16 a factor of n(1)?
True
Suppose n = 5*n - 40. Suppose 2*w - n = w. Is 2 a factor of w?
True
Let n(s) = -405*s**3 + 3*s - 3. Does 20 divide n(-2)?
False
Let r = 58 - -37. Is 3 a factor of r?
False
Let y(n) = n**3 - 5*n**2 + 6*n - 7. Let b be y(3). Let r(p) = -2*p - 2. Is 6 a factor of r(b)?
True
Let l(j) = j**3 + 4*j**2 - 2*j - 2. Let v be l(-4). Let h(y) be the first derivative of 3*y**2 - 7*y + 4. Does 16 divide h(v)?
False
Let w = -86 + 84. Is w*3/45 - 13349/(-105) a multiple of 16?
False
Let x(f) be the second derivative of f**3/3 - f**2 - 8*f. Does 6 divide x(7)?
True
Let t(f) = -6*f**2 + 19. Let q(w) = -5*w**2 - w + 19. Let s(g) = 4*q(g) - 5*t(g). Does 26 divide s(-4)?
False
Let i = -109 - -479. Is 37 a factor of ((-24)/30)/((-2)/i)?
True
Let f = 7155 + -3933. Does 75 divide f?
False
Let q = -31 - -33. Suppose w - 56 = -n + 39, q*w + 475 = 5*n. Is 16 a factor of n?
False
Let a be 8/(-6) + (-1)/(-3). Let r be a - 11/(44/288). Let j = -24 - r. Does 13 divide j?
False
Suppose 0 = -22*f + 23*f - 5. Does 46 divide f - 7 - -233 - 1?
True
Let n(l) = l**3 + 10*l**2 + 9*l + 5. Let v be n(-9). Suppose -2*u = -5*f - 40 + 185, -v*u = f - 2. Is f a multiple of 14?
False
Let d be ((-3595)/20)/(3/(-12)). Suppose -2*f = -3*l + d, 5*f - 2*l = 2*l - 1815. Does 19 divide f/(-4) - 4/(-16)?
False
Let n(k) = -11*k - 27. Let l be n(-5). Does 13 divide (36*2/l)/(9/336)?
False
Let w be (32/28)/(6/21). Suppose 0 = l - 5*l + 5*z - 236, w*z = -5*l - 254. Let f = 92 + l. Is f a multiple of 19?
True
Suppose -130 = 3*q - 940. Does 18 divide q?
True
Let b = 1553 + -1523. Does 15 divide b?
True
Suppose -7*h + 1658 + 4726 = 0. Does 38 divide h?
True
Suppose -o + 2*f + 51 = 0, f + 13 = -4*o + 190. Suppose -4*s = -5*s + o. Suppose s = 2*z - 7. Is 7 a factor of z?
False
Let m(y) = 3*y**2 + 11*y + 20. Let w be 2 + -12 + 3 - 0. Does 18 divide m(w)?
True
Let s(y) = 2*y**3 + 13*y**2 + 5*y + 14. Does 10 divide s(-6)?
True
Let x(r) = 4*r**3 - 27*r**2 - 11*r + 10. Is x(9) a multiple of 32?
True
Suppose -3*l - 5*k + 3 - 4 = 0, 5*l - k = 17. Let b(f) = 18*f**2 + f - 1. Let s be b(l). Suppose -4*z - g = -5*g - 160, -4*z + 2*g = -s. Is 21 a factor of z?
True
Let d(x) = x**3 - 36*x**2 - 65*x - 68. Does 5 divide d(38)?
True
Suppose 56*m - 4*m - 143780 = 0. Is m a multiple of 34?
False
Let o = 28 - 25. Suppose -79 = -2*s + 4*z - 7, -o*s + 90 = 3*z. Does 16 divide s?
True
Suppose -6*h + 161 = 41. Let k(r) = -r**2 + 26*r - 37. Is 17 a factor of k(h)?
False
Let m = -45 - -55. Is (8/m)/((-2)/(-30)) a multiple of 3?
True
Let b(q) = q**3 - 13*q**2 - 25. Let s be b(13). Let a = s - -58. Is 11 a factor of a?
True
Let k(y) = 20*y**2 + 21*y + 77. Does 103 divide k(-11)?