69196 = 0. Is k a multiple of 356?
False
Suppose -14*s = 3 - 45. Is s + 4 + -6 + 29*3 a multiple of 21?
False
Suppose -32*q + 27099 + 29829 = 0. Is 40 a factor of q?
False
Let b(j) = j**3 - 30*j**2 + 8*j + 118. Is 15 a factor of b(34)?
False
Let j(w) = 4*w**3 + 2 + 1 + 1 - 4*w + 16*w**2 + 3*w. Let q be j(5). Suppose 16*u - 3299 = -q. Does 10 divide u?
True
Suppose 11*c - 4*c = 49. Let t(h) = 3*h**3 - 15*h**2 + 16. Let b(o) = 10*o**3 - 46*o**2 + 47. Let u(r) = c*t(r) - 2*b(r). Is u(13) a multiple of 2?
True
Suppose h - 2*h + 65 = 2*g, -5*h - 4*g + 355 = 0. Let l = h - 75. Suppose l = -5*k - 0 + 70. Is k a multiple of 14?
True
Let z(c) = -47*c + 106. Let w be z(-3). Let b = 613 - w. Is b a multiple of 7?
False
Let n(p) = 41*p + 155*p**3 - 156*p**3 - 9*p**2 - 42*p - 10. Does 18 divide n(-10)?
False
Let o(j) = 5*j**2 + 13*j - 192. Is o(31) a multiple of 38?
True
Suppose 3*d + 6 = 5*d. Let o be (-36)/10*90/(-216)*4. Is o + 14 + (-1 - 3/d) a multiple of 6?
True
Suppose -2*n = -3*b - 6145, -2*n + 6322 = -4*b + 176. Suppose d = 3*k - n, 4*k - 2*d = -k + 5118. Is k a multiple of 32?
True
Suppose -499 - 1229 = -6*l. Suppose -47*o + 55*o = l. Is o a multiple of 9?
True
Does 208 divide 17669 - (5*7/35)/(3/9)?
False
Let g(q) = 4*q - 2*q**2 + 2*q - 4*q**3 - 10*q + 7*q. Let d be g(2). Is 17/d*(1 - 169) a multiple of 43?
False
Suppose -7*a = -2866 + 745. Let n = 156 + a. Does 17 divide n?
True
Let q(k) = -6*k - 72. Let n be q(-19). Is (-1356)/(-14) - n/49 a multiple of 32?
True
Let m = -18113 - -37982. Does 48 divide m?
False
Suppose -c = 0, -379 = -5*s + 2*c + 346. Suppose -7*v + 93 + s = 0. Does 7 divide v?
False
Suppose 0 = 2*b - a - 18 + 10, 4*b + a - 10 = 0. Suppose -x + 467 = b*v, 3*x + 25 = 8*x. Is v a multiple of 7?
True
Suppose 35*i - 113*i = -43*i - 2590490. Is 181 a factor of i?
False
Suppose -12*y = -13*y + 4*y. Suppose 2*z = 4*u + 10, y + 2 = -z - 5*u. Suppose -128 = -z*k + 61. Is k a multiple of 7?
True
Suppose -3584 - 324 = -4*a + 3*y, -2*y - 972 = -a. Let j = a + -410. Is j a multiple of 15?
True
Let f(n) be the first derivative of -n**4/2 - 2*n**3 + n**2 + 15*n + 30. Does 2 divide f(-4)?
False
Is 2776/3*(-12)/48*-6 a multiple of 22?
False
Let x = 12623 - 6833. Does 6 divide x?
True
Suppose 3*d = 43 - 4. Suppose d*w + 640 = 21*w. Is 20 a factor of w?
True
Suppose 0 = 2*f - 4. Suppose 0 = -f*v - 4*l - 6, v - 6*v = 2*l - 9. Suppose v*j + 3*j = 78. Does 13 divide j?
True
Suppose -f + 22 = -2*b + 6*b, 5*f = 3*b - 5. Let t be 4 - b - (-24 - -1). Does 17 divide (2 - (-3590)/t) + (-4)/22?
False
Let c(i) = i + 2. Let j be c(0). Suppose j*s + 6 = -6. Does 13 divide ((-12)/(-15))/(s/(-390))?
True
Suppose f + 3*f = -436. Let s(p) = -2*p + 175. Let t be s(-18). Let o = f + t. Is 36 a factor of o?
False
Let z(d) = 3 - 3 - 4 + 76*d. Suppose 2*r + 4*n + 6 = 0, -17*r + n + 6 = -13*r. Does 16 divide z(r)?
False
Let g = 209 + -14. Suppose g = 15*i - 10*i. Let j = 65 + i. Does 12 divide j?
False
Suppose -4*p + 3*z = -8, -2*z = -0*p + 2*p - 18. Suppose t = p*d + 20, 3*d + 0*d + 24 = 3*t. Suppose t*x - 280 = 5. Is x a multiple of 10?
False
Suppose 5*b - 2*y - 5699 = 0, -462 - 682 = -b - y. Let t = b + -428. Is t a multiple of 31?
True
Let f(u) = -5*u - 121 + 55 + 3*u**2 + 41. Is 17 a factor of f(16)?
True
Let n(d) = 2292*d**2 - 51*d + 296. Is n(4) a multiple of 52?
True
Let t = 7620 + 3430. Is t a multiple of 13?
True
Suppose 168 = -23*b + 30*b. Suppose 5*z - 4*f - 527 = 0, 5*z + 2*f - 97 = 4*z. Let s = z - b. Is 32 a factor of s?
False
Let f(t) = -t**3 + 33*t**2 + 108*t. Let k be f(36). Suppose 43*b - 53*b + 8160 = k. Is 24 a factor of b?
True
Let k(z) = -5*z**3 + 10*z**2 + 33*z + 22. Let r(j) = 9*j**3 - 21*j**2 - 64*j - 44. Let g(s) = 7*k(s) + 4*r(s). Does 5 divide g(16)?
True
Suppose 415*x - 34*x - 4320297 = 782055. Is x a multiple of 6?
True
Let g(p) = 5*p - 15. Let c be g(4). Suppose 0 = -c*x + 25, -4*x - 4 = 3*z - 93. Does 4 divide z?
False
Suppose 0 = -4*m + 11*l - 15*l + 1228, -l - 901 = -3*m. Suppose 0*k + 2*v + 1180 = 4*k, -k = 3*v - m. Does 37 divide k?
True
Let w(p) be the first derivative of p**3/3 - 25*p**2/2 + 14*p + 68. Is w(-6) a multiple of 40?
True
Let s be (156/(-2))/(-1) + -13 + 13. Let k = 82 - s. Suppose -k*d - 340 = -2*r, 3*d - 319 = 5*r - 7*r. Is r a multiple of 22?
False
Is (1/(-8) + (13888269/(-136))/43)*-13 a multiple of 8?
False
Suppose 3*b - 11 = -5*p + 9, -p + 5*b + 4 = 0. Suppose -3*l + p*t = 3*t + 4, t = l. Is l - -12*16/6 a multiple of 10?
True
Let k = 75 - 72. Suppose k*u + 80 - 86 = 0. Suppose -10 - 58 = -4*n - 4*w, u*n + 3*w = 35. Does 16 divide n?
True
Let j = 4849 + 3344. Is j a multiple of 9?
False
Let w(t) = 1209*t**2 + 19*t + 92. Is 29 a factor of w(-5)?
False
Let i(u) = u**3 - 6*u**2 + 12*u - 17. Suppose 2*g - 19 + 3 = 0. Does 23 divide i(g)?
True
Suppose -5*p = -10, 3*y + 0*p = 2*p + 47. Let b = 28 - y. Does 10 divide 54*1 + (b - 15)?
True
Let m(r) = r**2 + 35*r + 94. Let y be m(-31). Is ((-104)/(-6))/(y/(-225)) a multiple of 5?
True
Let j(x) = -x**3 - 5*x**2 + 5*x + 9. Let b = 24 + -4. Let w = b - 27. Is j(w) a multiple of 13?
False
Let q(s) = 10*s + 6. Let b(x) = -x**2 + 15*x + 19. Let c be b(16). Let v be q(c). Let n = 70 + v. Is n a multiple of 8?
False
Let q(o) = 2*o - 6. Let k be q(3). Suppose 7*h - 148 + 22 = k. Does 6 divide h?
True
Suppose 0 = 5*i - 4*w - 59980, -4*w = 3*i - 6*i + 35980. Is 10 a factor of i?
True
Suppose 5*v - 10 = -8*u + 3*u, -5*u - v + 26 = 0. Let s(t) = 42 - 73 + 10 + 7*t. Does 21 divide s(u)?
True
Let t be 276/69 - 1121/1. Let u = t + 1768. Does 46 divide u?
False
Let u(a) be the first derivative of 7*a**4/4 - 4*a**3/3 + 7*a**2/2 + 21. Is 13 a factor of u(5)?
False
Let d(f) be the second derivative of -19*f**5/2 + f**4/12 - f**3/6 + f**2/2 - 25*f. Let m be d(1). Let z = 404 + m. Is 29 a factor of z?
False
Let z = 9 - 3. Is (-96)/z*44/(-16) a multiple of 10?
False
Suppose 206*p - 51056 = 23104. Does 3 divide p?
True
Suppose 4*c - 6*i + 28 = -4*i, 5*i = -c - 18. Let u(m) = -19*m + 43. Is u(c) a multiple of 15?
True
Let w(a) be the first derivative of 3*a**4 + 2*a**3/3 - 5*a**2/2 - 3*a + 116. Does 54 divide w(3)?
True
Suppose -10*g - 372 - 68 = 0. Let v = 36 - -17. Let j = v + g. Does 9 divide j?
True
Let u = 289 - 283. Let d(v) = 3*v**3 - 7*v**2 - 2*v - 1. Let m be d(5). Suppose z - m = -u*z. Is 17 a factor of z?
False
Suppose -2*d = -4 - 28. Is ((d - 72) + 5)/(-3 - 0) a multiple of 3?
False
Let h(b) = b**3 + 13*b**2 + 18*b - 32. Suppose 9*w - 5*w = -52. Let i be h(w). Is ((-1)/(-1))/(2 - (-530)/i) a multiple of 9?
False
Let n(m) = 23*m - 17. Let l(f) = -12*f + 10. Let i be l(4). Let w = -34 - i. Is n(w) a multiple of 15?
True
Let z(v) = v**3 - 63*v**2 + 394*v + 548. Is 13 a factor of z(56)?
False
Let l be ((-6)/4)/(3/(-618)). Suppose -45*n - l = -46*n. Is n a multiple of 47?
False
Let g(n) = 28*n + 6. Let w be g(4). Let o = w - -170. Is 15 a factor of o?
False
Suppose 13*b - 2*b - 147840 = b. Is 154 a factor of b?
True
Let w(t) = 5246*t**3 + 8*t**2 - 17*t + 7. Is w(1) a multiple of 46?
True
Suppose 89*n = 310*n + 99*n - 1653120. Does 42 divide n?
True
Suppose 3*s + h + 1192 = 0, 3*s + 3*h + 576 = -618. Let b = -382 - s. Does 2 divide b?
False
Suppose 0 = -2*n + 4*n - 34. Let f = n + -14. Suppose 0 = 2*d - 2*l - 10, 2*d + f*l + 7 = 4*d. Is 2 a factor of d?
True
Let r(z) = -z**2 + 4*z + 1. Let b be r(6). Let p(t) = t**3 - 10*t**2 + 12*t - 13. Let f be p(8). Let c = b - f. Does 6 divide c?
False
Let j = -651 - -11073. Is j a multiple of 27?
True
Suppose -193*c - 44 = -191*c. Suppose b = -q + 53, 3*b - 4*q + 3*q - 147 = 0. Let n = c + b. Is 8 a factor of n?
False
Suppose 9*w = 5878 - 1774. Suppose -a - 3*d - 109 = -5*d, -4*a - w = 2*d. Let c = -63 - a. Is c a multiple of 11?
False
Let v = 163 - 58. Suppose 4*b - 82 = 3*m - 56, 5*m + 55 = -5*b. Is 27 a factor of (108/m)/((-14)/v)?
True
Let v be (-18)/(-5)*(-6510)/(-12). Let c = v - 1082. Does 8 divide c?
False
Suppose -20*w - 14*w = -170. Suppose 58 = w*f - 2*m - 326, m = 2*f - 153. Is 9 a factor of f?
False
Let n = 16999 - 14843. Is 28 a factor of n?
True
Suppose -8*p + p + 21 = 0. Suppose -67 - p = -10*n. Does 24 divide ((-36)/n)/(48/(-224))?
True
Suppose 3*a = -2*a + 4*y + 1240, -4*y = 2*a - 524. Does 2 divide a?
True
Let x(t) = -214*t - 2