4*n, -2*c - 3*n + 64 = 0. Does 13 divide c?
True
Suppose 0 = -2*q + 2*d - 84, 3*q + 4*d = -0*q - 161. Suppose 23 = -5*o - 332. Let v = q - o. Does 12 divide v?
True
Let z = 10 + 6. Suppose 4*d + 4 = z. Is d a multiple of 3?
True
Let z = -1 - -3. Suppose z*b - 2 = 4. Is 2 a factor of b?
False
Suppose 3*v - 3*f + 4*f + 18 = 0, v - 5*f + 6 = 0. Let o = v + -7. Let p = o - -23. Is p a multiple of 5?
True
Suppose 5*f = 3*f + a + 182, 5*f = 5*a + 460. Is f a multiple of 15?
True
Suppose -190 = -5*g - 5*d, 3*d + 58 = 2*g - d. Is 7 a factor of g?
True
Let i = 29 + -18. Does 10 divide i?
False
Suppose 4*d + 0*m + 8 = -4*m, 3*d = 3*m + 24. Suppose -n - 83 = -3*s, -2*s + d*n - 1 = -61. Is s a multiple of 13?
False
Let a(i) = -23*i - 1. Let h be a(-1). Suppose 2*x + 16 = 4*o, -4*o + 0*x + 4*x = -16. Suppose o*m = 6 + h. Is m a multiple of 7?
True
Suppose 0 = -5*k + 6*k + 8. Let q = k - -6. Let c = q + 5. Is c a multiple of 3?
True
Suppose 0 = 2*i + 3*s + 5, 2*s + 23 - 9 = 4*i. Suppose i*f + f - 14 = -2*d, 0 = -5*f. Does 3 divide d?
False
Let i = 1 + -2. Let o(c) = c**3 - c**2 - 1. Let s(k) = -3*k**3 + 4*k**2 + 5. Let h(j) = -5*o(j) - s(j). Is h(i) a multiple of 2?
False
Let j(v) = -7*v**3 - 2*v**2 - v. Let h be j(-1). Suppose 55 = -y + h*y. Let s = y + -2. Is 9 a factor of s?
True
Let m(c) = -5*c**2 - c - c**3 + 3 + 5*c**2 + 2*c + 8*c**2. Is m(8) a multiple of 4?
False
Suppose 7*k = 2*k - 3*o + 171, 2*k - 72 = -3*o. Let x = 8 - 1. Let q = x + k. Does 20 divide q?
True
Let f be (7 + -2)*4/10. Let r = -24 + f. Let j = 26 - r. Does 20 divide j?
False
Let b = 1 - 0. Let y be (-1)/(-5) + b/(-5). Suppose 0*g = -4*f - g + 104, y = 2*f - 5*g - 52. Does 13 divide f?
True
Let s(a) = -a + 1. Let r be s(-3). Suppose -5*y + 3*p + 0*p + 179 = 0, -2*p = 6. Suppose -3*h + 2*t + t + 111 = 0, -h + y = -r*t. Does 13 divide h?
False
Suppose 4*u - 5*s = 478, 4*s - 460 = -4*u - 0*s. Is 13 a factor of u?
True
Let g = 6 - -19. Suppose -47 = -4*m + g. Let f = m + -10. Is 4 a factor of f?
True
Suppose -4*h + 2*k - 230 = -8*h, 5*k = -2*h + 95. Does 30 divide h?
True
Suppose 0 = -2*p + 6*p - 92. Is 8 a factor of p?
False
Let d be 2/(((-2)/(-4))/1). Let n(b) = 1 + 0 + 2 - d + 14*b. Does 11 divide n(1)?
False
Let k(v) = -v**2 - 9*v - 12. Let g be k(-8). Let o(q) = -q**3 - q**2 + 2*q. Is 20 a factor of o(g)?
True
Let x = -3 + 4. Let i(w) = 79*w**2 + 1. Let f be i(x). Let v = -47 + f. Is 17 a factor of v?
False
Suppose 5*m + 4*i - 70 = 0, 2*m - 28 = 4*i - 2*i. Is m a multiple of 14?
True
Suppose 276 + 574 = 5*o. Does 17 divide o?
True
Suppose -4*j = -7*j + 219. Is 14 a factor of j?
False
Does 10 divide 4*(5 - 4) - -40?
False
Suppose -4*f = 2*j - 410, 0*f - 4*f = j - 213. Is j a multiple of 36?
False
Let a be 10 + -7 + 1 + 0. Suppose 0*r = -4*r + a*z + 456, -2*r + 4*z + 228 = 0. Is 23 a factor of r?
False
Let o = 48 - 14. Does 34 divide o?
True
Let g be 4/10 - 106/(-10). Let i = 23 - g. Is 6 a factor of i?
True
Suppose 466 = 3*d + 2*s, 3*d - 781 = -2*d + s. Let q be 27/(-18)*8/(-3). Suppose 0 = -4*c + q*f + d, -2*f - 36 = -c - 4*f. Is c a multiple of 15?
False
Let v(u) = u**3 + 9*u**2 - u + 6. Suppose 2*k + 8 + 10 = 0. Let x be v(k). Is 5 a factor of 95/x - (-4)/6?
False
Suppose 0*r - 48 = -4*r. Is r a multiple of 6?
True
Let f(s) = -s**3 - 8*s**2 - 11*s + 8. Does 9 divide f(-7)?
True
Let b(z) = z + 5. Let q be ((-6)/(-4))/((-27)/(-72)). Is 9 a factor of b(q)?
True
Does 16 divide (-1)/(-8) - (-1530)/48?
True
Let u(v) = 2*v**2 - 6*v - 5. Is 17 a factor of u(-4)?
True
Let f be (-30)/(-24) - 1/4. Let t be (f - 93/15)*5. Let p = -15 - t. Is p a multiple of 11?
True
Let b be 0*(3 - 4)*1. Let y = b - -7. Does 7 divide y?
True
Let x be (8/(-3))/((-10)/15). Let l(b) = -b**2 + 4*b + 3. Is l(x) a multiple of 3?
True
Let g(s) = 4. Let b(p) = p - 12. Let j(f) = -3*b(f) - 8*g(f). Let a be j(-7). Suppose -2*w = 3*i - a, -w - 3*i = -2*i - 13. Is 8 a factor of w?
False
Suppose 0 = 3*l - 5*a - 140, 0*l - 5*a = 2*l - 60. Let c = l - 25. Does 3 divide c?
True
Is 31 a factor of 6/(-21) + 674/7?
False
Suppose a - 75 = 66. Does 17 divide a?
False
Let t(w) = w**2 - 2*w - 3. Let a be t(-2). Suppose -2*g - 51 = -a*g. Is 3 a factor of g?
False
Suppose 19*h - 23*h + 656 = 0. Is 13 a factor of h?
False
Let j = 17 - -16. Is j a multiple of 26?
False
Suppose -4*p = 12, -5*p - 229 = 5*x - 834. Let l = -75 + x. Let o = l - 17. Is o a multiple of 16?
True
Suppose -5 = -4*y + 7. Let c(i) = i - 1. Let l be c(y). Suppose -4*p + 7*b - 4*b = -95, 5*b = l*p - 37. Is p a multiple of 16?
False
Let g be (-284 - 4)/(-3) + 0. Let m = 147 - g. Does 12 divide m?
False
Let z be 6/(2/((-12)/(-9))). Suppose 3*a = -z*j + 171, 3*j - 2*a = -39 + 146. Suppose -3*d + j = 9. Is 5 a factor of d?
True
Let n(s) = -s - 1. Suppose -m + 2 + 7 = -4*r, 0 = 2*m - 2*r + 6. Is 6 a factor of n(m)?
True
Let a be (-3 - -2)*(1 + -2). Let q = 2 + a. Is q even?
False
Suppose -11*s = -2*s - 189. Is 10 a factor of s?
False
Let q(i) be the third derivative of -i**6/360 - i**5/30 + i**4/8 + 3*i**2. Let g(n) be the second derivative of q(n). Does 5 divide g(-10)?
False
Does 3 divide (-6)/(-8) + 82/8?
False
Suppose 5*o - 24 = l, -3*o - 5*l - 6 = 2. Let u(m) = m**2 - 1. Is 5 a factor of u(o)?
True
Is 4 a factor of (4 - 4)/(-3) - -65?
False
Let w(d) = 3*d - 17 - d**3 + 5*d**2 + 14*d**2 - 7*d**2 + 5. Is 12 a factor of w(12)?
True
Suppose 0 = -2*y + 44 + 12. Does 7 divide y?
True
Is (-16)/(-40) - 1013/(-5) a multiple of 37?
False
Let u = 72 - 32. Is 40 a factor of u?
True
Let x = 20 + -9. Suppose -3*d - 3*y + x = -4, 0 = -4*d - 2*y + 20. Does 5 divide d?
True
Suppose 0 = -2*v + 7*v - 5. Let j be 1 - v - (-52)/4. Suppose -2*p + 16 = 3*a - j, -p = 2*a - 19. Does 9 divide a?
True
Is (-1098)/(-126) - 4/(-14) a multiple of 2?
False
Let m = 100 - -1. Is 16 a factor of m?
False
Let k(d) = d - 11. Let m be -10*(21/(-6) - -2). Is 4 a factor of k(m)?
True
Suppose 2*a - 2 = -12. Is 17 a factor of a*(-3)/((-30)/(-68))?
True
Let s(k) = k**2 - 9*k. Is 12 a factor of s(12)?
True
Let l(w) = -w**2 - 3*w**2 - 3 + 3*w**2 + 6*w. Let k be l(5). Suppose -5*a - 5*y = -190, -y + 0*y = k*a - 75. Is 13 a factor of a?
False
Suppose 2*o - 147 - 1 = 0. Suppose 2*i - 4*p = -0*p + 22, 2*p + 21 = 3*i. Suppose y - 56 = -i*k + 4*y, o = 5*k + 3*y. Is k a multiple of 13?
True
Suppose -17 = -s - 4*m, -2*s + 4*m + 3 = 29. Is 13 a factor of (26/s)/(10/(-15))?
True
Let u be 21*((-21)/9 + 3). Is (-63)/u*(-4)/6 even?
False
Suppose 2*b + 108 = 5*s + 6, 2*b - 118 = -5*s. Does 8 divide s?
False
Suppose -y + 39 = 4*y + 3*g, -3*g = -y + 15. Let n = y - 11. Is 9 a factor of 1 + (n + 6)*2?
True
Suppose 2*b + 103 = 3*a, 4*a + 21 = -2*b - 47. Let y = -12 - b. Suppose 2*n - y = 4*s, 33 = 3*n - 2*s - 35. Does 13 divide n?
True
Suppose 0*i + 54 = 4*i - 2*a, 4*i + 5*a = 19. Does 3 divide i?
False
Is 2 a factor of (-65)/39*-3*1?
False
Let t = 2 + -1. Let x be (-1 - -7)*t/2. Suppose -116 = -4*g - x*o, 2*g + 5*o - 33 = 39. Does 17 divide g?
False
Is (3 - 3 - -3)/1 + 15 a multiple of 9?
True
Let l(r) = -25*r**3 - 2*r**2 + 1. Is 24 a factor of l(-1)?
True
Let t(b) = -5*b - 9. Let f(w) = 1. Let s(r) = 6*f(r) + t(r). Is s(-9) a multiple of 14?
True
Let z = -12 + 28. Does 4 divide z?
True
Let v(l) = 2*l**2 - 2*l - 2. Let j(g) = -g**2 - 7*g - 9. Let q(x) = -2*x**2 + 4*x. Let u be q(3). Let t be j(u). Is v(t) a multiple of 15?
False
Suppose 0 = -s + 3*s. Let l = -13 + 19. Suppose s = -l*r + 2*r + 72. Is r a multiple of 9?
True
Suppose 4*b - 206 = 6. Is 37 a factor of b?
False
Let n = 12 - 7. Let i(c) = 7*c - 2 - c**2 + 0 + 0. Is 3 a factor of i(n)?
False
Let x(c) = -2*c - 2. Let w be x(-2). Let i(l) = 9*l + 2. Let v be i(w). Let t = 50 - v. Is 13 a factor of t?
False
Suppose 0 = 3*f + 3*d + 66 - 18, -4*d = -f - 16. Is 6 a factor of -3 + (f/(-1) - 0)?
False
Suppose 6 = -2*y, -3*q = -5*y - 1 - 20. Suppose p = 2*i - 21, 2*i + q*p = 4*i - 16. Is 4 a factor of i?
False
Suppose 3*d - 5*v = -0*d + 42, 4*d + 2*v = 30. Is 3/d - (-438)/9 a multiple of 8?
False
Suppose -5*f = 2*y - 91, 0*f = -5*y - 2*f + 175. Suppose -5*d + y = 188. Let k = -11 - d. Is k a multiple of 7?
False
Suppose c - 6 = -q - 1, -3*c + 3 = -3*q. Let j = c - 0. Suppose -3*b = -j*v + 21, 2*v + b + 12 = 32. Is v a multiple of 9?
True
Let c be 9/(-6) - 18/(-4). Suppose 