False
Let n(k) = 8*k**2 - 3*k + 4. Is n(2) a multiple of 3?
True
Let j = 142 + -53. Does 23 divide j?
False
Suppose 0 = 2*x - 336 + 100. Suppose -3*j + 29 + x = 0. Does 13 divide j?
False
Suppose -4*r - 12 = -516. Does 42 divide r?
True
Let r(d) = -d**2 - 5*d + 9. Let v be r(-6). Suppose -48 = -v*k - 0*k. Is 5 a factor of k?
False
Let y(u) = -u**3 + 3*u**2 - 2*u + 3. Let x be y(2). Suppose -14 = -4*j + x*j. Is j a multiple of 5?
False
Let a(c) = 2*c**2 - 10*c + 7. Let w = 12 + -5. Does 16 divide a(w)?
False
Let o = -84 - -114. Is 12 a factor of o?
False
Does 13 divide (-104)/4*(-2)/4?
True
Suppose 4*j + 32 = p, -3*p = -0*j - j - 8. Let o(k) = k**2 + 8*k + 8. Is o(j) a multiple of 5?
False
Suppose 3*l = -5*a - 15, 2*l = a - 0*a - 23. Let d = l + 25. Is d a multiple of 8?
False
Suppose -190 = 5*x - 0*y + 3*y, 5*y = 2*x + 76. Let d = x + 59. Is 15 a factor of d?
False
Let z(f) = -2*f**2 - f**3 + 2 - 1 - f + 5*f**2. Let u be z(3). Let r(b) = 6*b**2 - 2*b - 1. Is 9 a factor of r(u)?
True
Suppose -3*d + 5*d = 0. Let z = d + 4. Suppose -5*r - 35 = -h, -2*h + 0*r + z*r + 52 = 0. Is 8 a factor of h?
False
Let k = 1 - 8. Let m(n) = 3*n - 2. Let w be m(k). Does 9 divide w/(-1*(-2 + 3))?
False
Let d = 5 - 5. Let y be -5 - (0 - 0 - d). Let i(h) = -6*h - 4. Is i(y) a multiple of 13?
True
Let f(o) = -o - 13. Let p be f(0). Let z = p - -20. Is z even?
False
Suppose 5*p - 186 = 2*m, p + 2*p + m - 116 = 0. Is 14 a factor of p?
False
Let d = -6 - -4. Let g be (d/(-1))/(-5 - -4). Let j(b) = -7*b. Is j(g) a multiple of 7?
True
Let f = -126 + 222. Does 24 divide f?
True
Suppose 5*g - 3*n - 237 = 0, n - 236 = -5*g + 5*n. Suppose -3*m - 3*p + g = 0, -5*p + 32 = 3*m - 2*m. Does 4 divide m?
True
Let q = 4 + -1. Suppose q*x + 2 = 2*x. Does 12 divide 14 - ((-2)/x - -1)?
True
Let l = 10 + 20. Does 12 divide l?
False
Suppose 2*j = 200 - 24. Is 6 a factor of j?
False
Let b(o) = o**2 + 13*o + 25. Is b(-12) a multiple of 13?
True
Let x(u) = u - 7. Let b be x(7). Suppose -f + 31 = 5*v, 0 = -b*f + 5*f - 5*v - 35. Does 4 divide f?
False
Let r = 29 - 26. Is r*-6*(-8)/6 a multiple of 5?
False
Suppose 4*q - 2 = -2*z, 2*z + 6 = q + 18. Let t be (-8 + 5)*5/3. Does 4 divide q/t - (-76)/10?
True
Let i(n) = n**2 + 7*n + 13. Is 7 a factor of i(-8)?
True
Let n be (-1046)/6 + (-2)/(-6). Does 15 divide 18/12 - n/4?
True
Suppose 3 = v, 4*m - 374 = 5*v + 507. Is 7 a factor of m?
True
Let o(u) = -11*u + 2. Is 17 a factor of o(-6)?
True
Let d(u) = -47*u**2 + 7*u + 4. Let c(i) = 16*i**2 - 2*i - 1. Let y(p) = 7*c(p) + 2*d(p). Does 7 divide y(-1)?
False
Suppose -5*s - 4*r = -26, 4*s + 2 = r + 6. Is s even?
True
Suppose -34 = -q - 3*f, -q - 5*f = -19 - 19. Does 7 divide q?
True
Let j be (4/(-2))/((-7)/133). Suppose -2*z - 2 = -j. Is z a multiple of 9?
True
Is (-8404)/(-33) - 2/(-6) a multiple of 12?
False
Suppose 11 = 3*p + 2. Suppose 0*d - 9 = -r + 2*d, -p*r + 11 = 2*d. Suppose -r*o = -3*z - 0*z - 24, 0 = o - 3*z. Is o a multiple of 6?
True
Suppose -58 = -t + 2*w, 0 = 5*t + w - 111 - 190. Is t a multiple of 10?
True
Let n(o) = o**2 - 19. Does 14 divide n(9)?
False
Suppose k + 150 = 3*r + 567, k + 283 = -2*r. Suppose 0 = -5*u + 3*y - 32, -5*u - 31 = -4*y. Does 18 divide ((-24)/(-10))/(u/r)?
False
Suppose -3*c = d - 27, -3*c = 3*d - 4*d + 9. Does 3 divide d?
True
Suppose 3*i = -g - 2, g + 4 = -g - 4*i. Is (-1146)/(-42) - g/(-7) a multiple of 13?
False
Let r(a) = -a**3 + a - 6. Let x be r(0). Let y be (-64)/(-10) - x/(-15). Suppose y = f - 5. Is 11 a factor of f?
True
Suppose 5*z + 14 = 3*y, 5*y - 3*z + 8*z - 10 = 0. Is y a multiple of 2?
False
Let s(b) = -3*b + 3*b**2 + 1 + b**2 - 3. Suppose 6*h + 15 = h. Does 16 divide s(h)?
False
Let n(j) = 7*j - 1. Let a be n(4). Suppose 0*x + 3*x - a = 0. Does 3 divide x?
True
Suppose -45 = -11*n + 6*n + 4*q, 0 = -4*n + 2*q + 36. Does 5 divide n?
False
Let i be 2*-1 + 4 + 2. Suppose o + i*b = -17, 2*o + 20 = 7*o - b. Suppose 97 = o*d + 13. Does 16 divide d?
False
Let r = 4 + -2. Let v be -2 + 12*r/(-2). Let w = -2 - v. Does 12 divide w?
True
Let x(c) = c**3 - 7*c**2 + 3*c - 5. Suppose -25 = -4*t - 9. Let m be x(t). Let b = 58 + m. Does 8 divide b?
False
Let j(u) = -2*u**2 - u - 1. Let f be j(-1). Let t be (f/(-5))/(3/90). Suppose 46 = b + t. Does 14 divide b?
False
Suppose -4*b = b + 4*t + 20, -b + t = -5. Let p(h) = h + 54. Does 18 divide p(b)?
True
Let p(w) = w**3 - 6*w + 1. Let x be p(4). Suppose -3*s + x + 88 = 0. Does 15 divide s?
False
Let x be -1 + -1 - -8 - 3. Suppose -x*d = 5*c - 60, -4*c + 2*c - 9 = -d. Is 4 a factor of d?
False
Suppose -l + 24 = -5*l. Does 3 divide l/(-15)*(-4 + 24)?
False
Let v = -15 + 18. Suppose 78 = -0*s + v*s. Does 4 divide s?
False
Let g be 71/1 + (6 - 9). Suppose -g = -5*p - 18. Is 5 a factor of p?
True
Let p(g) = -g**2 - 3*g. Let a be p(-2). Let x(u) = 0 - 8*u**3 + u**a + 20*u**3 - 1 + u. Is x(1) a multiple of 13?
True
Let o be -1 + 0 - 33/3. Let p = -7 - o. Suppose 37 = -p*g + 147. Is g a multiple of 11?
True
Suppose -9 + 13 = b. Suppose -1 = -b*l + 7. Suppose -d + 39 = l. Is 15 a factor of d?
False
Let i(f) = -f**3 - 8*f**2 - 7*f + 1. Suppose -2*c + 3 = -c + 5*s, -16 = 2*c - s. Let b be i(c). Does 10 divide 22/(b + 0 - 0)?
False
Suppose -7*p + 28 = -3*c - 3*p, 0 = 3*c + 2*p + 4. Is (5 - 13)*9/c a multiple of 6?
True
Let y = -24 + 62. Is y a multiple of 19?
True
Suppose 2*k = -0*k + 20. Does 7 divide k?
False
Let n = -42 - -54. Is n even?
True
Let t(s) = -32*s**3 + s**2 - s. Let y be t(1). Let o = 69 + y. Does 13 divide o?
False
Let o = -23 - -44. Is 3 a factor of o?
True
Let v be (-16)/(-7) + (-2)/7. Suppose -35 = -5*k - 3*s, -3 = k + 5*s - 32. Suppose v*z = k*n - 98, -n - 2*z = -5 - 7. Does 11 divide n?
True
Let x(c) = c + 18. Does 3 divide x(-15)?
True
Suppose 0 = 11*x - 10*x - 54. Does 9 divide x?
True
Let k = -90 - -139. Let o = -22 + k. Is o a multiple of 9?
True
Let l be (-78)/10 + 4/(-20). Let t = l + 18. Does 3 divide t?
False
Let m = 56 - 29. Does 9 divide m?
True
Suppose -2*t - 4*m = -36, -3*m = 3*t - 61 + 16. Suppose -a - 3*o + 2 = 0, -a + 8 = -o + 2. Let h = t + a. Is h a multiple of 12?
False
Let n(p) = 50*p**2 - 3*p + 8. Is n(2) a multiple of 25?
False
Let g = 47 + -22. Is g a multiple of 5?
True
Suppose q - 2*p + p = -6, -2*q = 3*p + 12. Let x = q - -38. Is 12 a factor of x?
False
Suppose 0 = 5*u - u + 4*m - 32, 5*m - 4 = 4*u. Suppose 5*l - 5*w = 135, 3*l - 4*l - u*w + 22 = 0. Does 13 divide l?
True
Suppose -3*l = -8*l + 3*p - 33, 4*p = -2*l - 8. Let n be 6/(-3) + 12/3. Is l/1*(-6)/n a multiple of 7?
False
Let j = -4 - -3. Is 2 a factor of 5/(-2)*2*j?
False
Let n(i) = 7*i**2 - 5*i - 3. Is n(3) a multiple of 15?
True
Let p(c) = 30*c + 1. Let g be p(-5). Let d = g + 232. Is d a multiple of 23?
False
Let u = 854 - 578. Is 35 a factor of u?
False
Suppose 0 = i - 25 - 25. Is i a multiple of 25?
True
Let v(p) = p**2 - 2. Does 5 divide v(5)?
False
Let m(w) = 2*w**3 + 16*w**2 - 5*w - 10. Is 15 a factor of m(-8)?
True
Let h(f) = 5*f - 3. Suppose -6*q + 2*q = -20. Is 14 a factor of h(q)?
False
Does 21 divide 16/(-6) + 2 - (-7630)/42?
False
Let g(s) = -s. Let j be g(-3). Suppose 0 = j*b + 12, -7 = 3*l - 5*b - 33. Is l/(-2)*-11 - 0 a multiple of 4?
False
Suppose -4*m - m = -885. Does 22 divide m?
False
Let c(q) = -11*q**2 - 2*q. Let a = 2 + 0. Let v be c(a). Let j = -27 - v. Is j a multiple of 8?
False
Suppose 4*o = 83 + 85. Suppose o + 88 = 5*k. Is k a multiple of 10?
False
Suppose 3*f - 194 + 5 = 0. Suppose -2*m = x - 42, 3*m = x + x - f. Does 12 divide x?
True
Let q = -7 + 3. Is (q/(-6))/(1/69) a multiple of 21?
False
Suppose 4*b = 4 + 60. Suppose -5*g - 5*z = -95, 2*z + b = -g + 2*g. Is g a multiple of 9?
True
Let t(m) = m**3 + 61. Let i be t(0). Let b(p) = -p - 1. Let c be b(-3). Suppose -i = -5*y + c*x, 4*x = -y - 2 + 23. Is 6 a factor of y?
False
Let s(m) = m**3 + m**2 + 80. Let l be s(0). Let f = l + -6. Is 21 a factor of f?
False
Let z = -25 + 29. Does 3 divide z?
False
Does 18 divide 30*(78/(-4))/(4 + -7)?
False
Suppose -c + 64 + 51 = 0. Does 23 divide c?
True
Let c(d) = -d**2 - 2*d - 1. Let n be c(-1). Let b = n + -4. Is 13 a factor of 72/(b/(-2)) - 1?
False
Let y(d) = 6*d**2 + 3*d - 11. Let o(r) = -r**2 - r - 1. Let l(z) = -5*o(z) - y(z). Is 16 a factor of l(0)?
True
Suppose -2*t - t = 0. Suppose t = -2*m