(-4)/(-10)). Suppose -t*r = -0 - 153. Does 13 divide r?
False
Let n = 67 - 59. Suppose -2*m - 2*t + n = 0, -4*m - m = -t - 32. Does 5 divide m?
False
Let y = 111 + 309. Is y a multiple of 15?
True
Let k(y) = 350*y**3 - 3*y + 1. Is k(1) a multiple of 12?
True
Suppose -l - 4*x + 405 = 0, 0 = -2*l + 5*l + x - 1204. Is l a multiple of 4?
False
Let u(b) = -b**2 - 16*b - 18. Let h be u(-13). Let x = 15 + h. Does 9 divide x?
True
Suppose -5*w = -t - 2948, 5*w + 0*t - 2954 = -2*t. Does 59 divide w?
True
Let l(f) = -48*f + 2. Let w be l(-1). Suppose -6*m + w = -4*m. Suppose b = -4*j + m, -5 = -2*b - 2*j + 3*j. Is b a multiple of 5?
True
Suppose -27*l + 26*l + 3 = 0. Is 6 a factor of l + 0 + 198/6?
True
Let s(y) be the first derivative of y**4/4 - 10*y**3/3 - 5*y**2/2 - 10*y + 2. Let l be s(10). Let t = l + 106. Is t a multiple of 19?
False
Suppose -6368 = -4*x + 2*y, -7*y = -5*x - 4*y + 7962. Does 78 divide x?
False
Let w be -1*(-2)/(-6)*-69. Let v = w + -21. Suppose 0 = -5*x - v*j + 136 + 101, 5*j = x - 69. Is x a multiple of 22?
False
Let w = 24 + -24. Suppose w = 2*i + j - 67, -i = j - 6*j - 61. Does 9 divide i?
True
Let z be -1*(-25)/(25/5). Suppose 2*h = -0*h + 5*s + 62, 42 = 2*h + z*s. Is 7 a factor of h?
False
Let l(n) = -2*n**2 + 58*n + 36. Is l(15) a multiple of 12?
True
Let q(p) be the third derivative of p**6/120 - p**5/30 + p**4/8 - 3*p**3/2 + 16*p**2. Does 6 divide q(3)?
False
Let f = -777 - -2761. Does 64 divide f?
True
Suppose -3*m - 166 = -3*q + 65, -4 = 4*m. Is q a multiple of 15?
False
Let q(h) = -2*h**3 - 8*h**2 + 17*h. Does 7 divide q(-7)?
True
Let l = -3 + -46. Let g = -21 - l. Is g a multiple of 4?
True
Let m be (-6 - 270/(-42)) + 1268/14. Suppose 0 = -3*k + 6, -t + m = 2*k + 3. Is 7 a factor of t?
True
Let m(n) = n**3 - 8*n**2 + 9*n - 12. Suppose 2*c - 18 = -2. Is m(c) a multiple of 12?
True
Does 11 divide (-9 + (-474)/12)*-16?
False
Suppose 3*o = 4*l - 47 - 19, -5*o - 70 = -4*l. Suppose -5*p = -2*p - l. Is 2 a factor of p?
False
Suppose 2*o - 5*u - 29 = 0, -17 = -o + 4*u - u. Suppose -o*c + f - 4*f = -101, -5*f = -25. Is c a multiple of 7?
False
Suppose -250 = 3*h + 2*f, 0*h = -h + 5*f - 72. Let w = h + 203. Is w a multiple of 11?
True
Let n(x) = 2*x**3 - 2*x**2 - x - 1. Let w be n(2). Suppose 133 = 5*h + 5*i + 33, -w*i = -3*h + 36. Is 7 a factor of h?
False
Let m be 4*((-28)/(-8) - 3). Let a(v) = 5*v**3 - 6*v**3 - 1 - 4*v**2 + v**2 - m*v. Is 12 a factor of a(-4)?
False
Let k(m) = m**2 - 4*m. Let d be k(5). Suppose 0 = -d*i - 47 + 2. Let n(p) = p**3 + 9*p**2 - 8*p - 12. Does 20 divide n(i)?
True
Let y = 41 + -85. Let b = 9 - y. Is 18 a factor of b?
False
Let f(l) = 28*l - 36. Let o be f(5). Suppose -i = -x + 19, -2*x - 4*i = 3*x - o. Is 10 a factor of x?
True
Let p(h) = h**3 - 18*h**2 + 23*h + 3. Let r be p(17). Is 14*(r/(-9))/(2/(-3)) a multiple of 44?
False
Let w(m) = m + 38. Let t(c) = c - 1. Let f(l) = -2*t(l) + w(l). Is 3 a factor of f(19)?
True
Suppose 0 = -5*f + 2*f - 9. Let z be f/(-2)*(-352)/(-24). Let y = 42 - z. Is y a multiple of 6?
False
Let m = 14 - 12. Let q(p) = 8 + 2*p**m - 38 + 17*p - 3*p**2. Does 22 divide q(13)?
True
Suppose 3*w = -389 - 331. Is 2 a factor of (w/(-45))/(2/3)?
True
Suppose 3*s = 2*n + 207, s = 9*n - 4*n + 56. Is 2 a factor of s?
False
Let v(t) = 3*t**3 - t**2 - 6*t + 1. Let g(h) = h**3 - 2*h. Let u(o) = 7*g(o) - 2*v(o). Let k be u(-2). Suppose -c = k*c - 36. Is 4 a factor of c?
True
Let a = -29 + 31. Suppose -3*u = a*u - 395. Is 18 a factor of u?
False
Let b(u) = u**2 - 7*u - 9. Let d be b(9). Suppose -d = -6*o + 5*o. Does 9 divide o?
True
Let g(j) = j**3 - 9*j**2 - 5*j - 69. Is 9 a factor of g(13)?
False
Suppose 3*r = 6*r + 12. Is 8 a factor of 304/32 + 6/r?
True
Let z = 287 - 95. Is 16 a factor of z?
True
Suppose -19 + 3 = -a. Let l = a + -13. Suppose -72 = -2*x - 0*x - 2*h, -12 = l*h. Is x a multiple of 10?
True
Suppose -t + 54 = y, -6*t = y - 2*t - 39. Is y a multiple of 16?
False
Suppose -8*u - 2167 = -19*u. Is u a multiple of 3?
False
Suppose 0 = -3*f - 5*w + 46, 2*w = 3*f - 0*w - 74. Let t(c) = -7*c - 9. Let v be t(-1). Let m = f + v. Does 10 divide m?
True
Suppose 4*d - 6*d = -4. Suppose -3*a - 9 = 0, -d*a - a - 75 = -3*y. Is 11 a factor of y?
True
Let k(w) = w**3 + 43*w**2 - 44*w + 230. Does 4 divide k(-44)?
False
Let u(q) = -q**3 + 9*q**2 + 9*q - 2. Let g be u(10). Is 12 a factor of 213/g*(2 - 6)?
False
Let y be 1242/(-45) + 4/(-10). Let r = y + 41. Is 10 a factor of r?
False
Suppose 0 = 30*t + 6689 - 29249. Is t a multiple of 9?
False
Let f = -22 - -24. Suppose f = 5*c - 8. Suppose 112 = 4*i - c*i. Is i a multiple of 14?
True
Let c(t) = t**3 + t**2 + 3*t + 130. Let o be c(0). Let n = 227 - o. Is 10 a factor of n?
False
Suppose -663 = 5*y + d, -2*d - 3 = 3. Let h = 225 + y. Is h a multiple of 31?
True
Let n = -36 + 41. Suppose 0 = 4*w - 428 + 44. Suppose y = -4*q + 4*y + w, -n*q + 120 = -5*y. Is 12 a factor of q?
True
Suppose -10 = -5*i - 0. Suppose -5*z = i*d + 35 + 20, -5*z = -3*d + 30. Let q = 16 + z. Does 7 divide q?
True
Suppose -i = -0*i - 24. Suppose -6*d = -2*d - i. Suppose -d = o - 30. Is 12 a factor of o?
True
Suppose -4*r = f + 9, -2*f = -r - r + 58. Let n = 30 + f. Suppose 14 = p - n*k, 2*k - 1 = 3. Is p a multiple of 12?
True
Let d = -2 + 4. Let q be (0 - (d - 1)) + 331. Suppose 0*u + 3*u = q. Is 22 a factor of u?
True
Let v = 21 + -18. Let q = -1 + 5. Suppose -65 = v*n - q*n. Does 28 divide n?
False
Let y be (-6)/((-4)/(16/6)). Suppose 0 = y*a - 6*a. Is 13 a factor of (a - 3)*26/(-2)?
True
Let b(c) = 9*c - 5. Let q(w) = w. Let n(d) = -b(d) + 6*q(d). Is n(-2) even?
False
Suppose i = -4*z - 6, 2*i + 3*z = 6*z + 21. Let k(w) = 4*w - 6. Let y be k(i). Let a = 26 - y. Does 5 divide a?
False
Let i(w) = 4*w**2 - 10*w - 20. Is i(10) a multiple of 26?
False
Does 2 divide 1121/38 + (-1)/(0 + 2)?
False
Let o(u) be the third derivative of u**5/30 + u**4/12 + 11*u**3/6 + 7*u**2 - 4. Let p be -1 + 2 - (-1 + 7). Does 13 divide o(p)?
False
Let l be (0/1 + -2)/((-18)/630). Suppose 3*j + 60 = 2*w, 5*j + 52 + l = 4*w. Does 15 divide w?
False
Let d be (0/4)/(-4 - -2). Suppose 4*x - 29 - 79 = d. Is x a multiple of 5?
False
Let d(o) = 9*o**2 + 5*o - 26. Is d(-8) a multiple of 51?
True
Let t(k) = 48*k + 15. Let a be t(7). Suppose 2*l = -101 + a. Does 25 divide l?
True
Suppose 0 = -0*l + l. Suppose k - 6*k = l. Suppose k = 3*u + n - 76, 0*n - 3*n = -2*u + 36. Does 8 divide u?
True
Let o(v) = 90*v**2 + v + 3. Let n(w) = 271*w**2 + 3*w + 8. Let b(g) = 3*n(g) - 8*o(g). Is b(-1) a multiple of 23?
True
Let w(c) = -c**3 - 3*c + 113 + 7*c**2 - 112 - 5*c. Is w(5) a multiple of 11?
True
Suppose -3*b + 4*i + 2 = 14, -4*b = -3*i + 9. Suppose 2*c = 2*m, -m + 5*m - 2*c + 6 = b. Let v = m - -19. Does 4 divide v?
True
Let n be 3/(-2) - 63/(-18). Let g(f) = -f**2 - 10*f - 2*f**n + 1 + 6 + 4*f**2. Is g(12) a multiple of 19?
False
Let l(n) = -3*n - 15. Let v be l(-8). Suppose 16 = y + 4*p, -14 = -y - v*p + 4*p. Is y a multiple of 24?
True
Suppose -5*l + 16*n + 1204 = 17*n, n = 3*l - 716. Is 6 a factor of l?
True
Let n(p) = -3*p**2 + p + 2. Let z(f) = f**2. Let k(j) = 2*n(j) + 5*z(j). Let h = -3 + 3. Does 3 divide k(h)?
False
Suppose -59*m = -90571 - 8667. Is 26 a factor of m?
False
Suppose 2*q + 3*i = 4*i + 718, -5*q = 2*i - 1777. Does 12 divide q?
False
Let q be (-16)/(-56) - (-164)/14. Suppose 2*i + q = -i. Let w = i + 10. Does 3 divide w?
True
Let q be (-3*8)/(-3) - 2. Let z be q - 1 - (1 + -4). Suppose z*i - 3*i - 75 = 0. Does 4 divide i?
False
Suppose 0 = w - s - 4*s - 122, 2*s - 315 = -3*w. Let f(c) = 2*c**2 - 12*c + 4. Let x be f(6). Suppose -w = -x*z + 25. Is z a multiple of 6?
False
Suppose 207 + 136 = 2*o - 5*g, 832 = 5*o - 4*g. Is o a multiple of 4?
True
Suppose -2*h - 4*v = 27 - 5, -3*v + 11 = -4*h. Let y = 18 - 10. Let j = y + h. Does 3 divide j?
True
Let f(j) = -81*j**3 + 13*j**2 - 7*j + 79*j**3 - 2 + 4. Does 19 divide f(5)?
False
Suppose 4*m = -w - 916, 3*w - 604 = 5*m + 558. Let f = m + 326. Does 8 divide f?
True
Let q(i) = i**2 + 3*i - 2. Let y be q(0). Is 13 a factor of (58 - 2 - -1) + 2/y?
False
Let o(n) = 3*n - 5*n + 3*n + 0*n - 1. Let w be o(1). Suppose 2*q = -4*m + 84, -3*q + 8*q + 2*m - 186 = w. Is q a multiple of 12?
True
Suppose n - 2*n + 1409 = 3*w, -5*w = -2*n - 2330. Is w a mult