= -4*n, 5*n - 60 = 2*l. Is n a multiple of 12?
True
Suppose 2*t - 6 = -t. Let r be ((-3)/6)/(t/(-4)). Suppose 13 = 4*d + r. Is d a multiple of 2?
False
Suppose 0 = 2*r - 3*b - 38, 8*b + 12 = 11*b. Is r a multiple of 8?
False
Is (-18 + -3)*(-2 + 1) a multiple of 6?
False
Let q = 1 - -10. Does 2 divide q?
False
Suppose 5*d = -s - 1170, -3*d - 5*s = -0*s + 680. Let b = -152 - d. Is b a multiple of 28?
False
Let v = -40 - -73. Is v a multiple of 3?
True
Suppose b + 5 = 2*r - 2, -4*b = 3*r - 27. Suppose b*d - 4*v = -2*v + 145, 5*v + 198 = 4*d. Is 8 a factor of d?
False
Let c = 68 + -38. Is c a multiple of 6?
True
Let x = 13 - 10. Does 10 divide 0 - x/(3/(-20))?
True
Let d = 63 - 27. Is d a multiple of 8?
False
Let g = 2 + 3. Let u(s) = 2*s**2 - s + 12. Let c(b) = b**2 + 6. Let d(x) = g*c(x) - 2*u(x). Does 15 divide d(-6)?
True
Suppose 4*l + 16 = 5*j, 16 = -0*j - j - 4*l. Let n(k) = -k**2 + 29. Is 29 a factor of n(j)?
True
Suppose -4*q + 104 = 4*t, -4*q + 2*t + 68 = -3*t. Is q a multiple of 11?
True
Suppose 2*b + 6 = -2. Let i be (-6)/b - (-92)/8. Suppose -l + 11 + i = 0. Is 9 a factor of l?
False
Let s(o) = -o**3 + 8*o + 2*o**2 - 3 - 10*o**2 + 4*o**2. Let c = 13 + -19. Does 7 divide s(c)?
True
Let c(m) be the first derivative of m**4/6 - 7*m**3/6 - 2*m - 3. Let u(s) be the first derivative of c(s). Does 11 divide u(6)?
False
Let y(f) = -f**3 + 6*f**2 - 4*f - 2. Let d(o) = -o**3 + 6*o**2 - 3*o - 1. Let l(p) = -3*d(p) + 2*y(p). Does 5 divide l(6)?
True
Let j = -16 - -27. Let v(a) = 3*a - 15. Does 6 divide v(j)?
True
Suppose -z + 94 = 4*h, -z + 275 = 2*z + 5*h. Is 18 a factor of z?
True
Let q = -3 - -2. Is 5 a factor of 9/3*q*-2?
False
Let x = 151 - 88. Suppose -4*i - 3*n + x = -40, 4*i + 5*n = 105. Does 25 divide (i - -1 - 1) + 0?
True
Let v(i) = i**3 + 7*i**2 + i - 2. Let g(s) = 5*s**3 + 35*s**2 + 5*s - 10. Let p(f) = 2*g(f) - 11*v(f). Is p(-7) a multiple of 9?
True
Let h(j) = -3*j - 14. Is 13 a factor of h(-9)?
True
Let w be (-2)/5*(-5)/2. Let d = w + 33. Is d a multiple of 22?
False
Let z = -40 + 102. Does 23 divide z?
False
Let y(u) = -3*u**2 + 1. Let o be y(-1). Suppose i - d = -1, d - 7 = -4*i + 4. Is (-2 + -13)*i/o a multiple of 15?
True
Does 11 divide (-213)/(-4) - (-6)/(-24)?
False
Let w(y) = y**3 - 3*y**2 - 11*y + 15. Let j be 12/18 - (-16)/3. Is 19 a factor of w(j)?
True
Suppose 8 = m + m. Let f(h) = -h**2 + 7*h - 6. Let u be f(m). Does 10 divide -10*u/(-3 - 0)?
True
Let v be 1/3 + (-4)/(-6). Let z = 18 - v. Suppose -8 - z = -5*k. Is 3 a factor of k?
False
Let s be 2/((-3)/9 + 1). Suppose -12*d = -7*d - 380. Suppose 4*w = w + f + d, s*f = -w + 22. Is w a multiple of 11?
False
Let u(d) = d**3 + 4*d**2 - d - 2. Let x be u(-4). Suppose 2*a = -x*a + 236. Suppose a + 93 = 4*b. Is 21 a factor of b?
False
Let m(j) = -129*j**3 - j**2 - 2*j - 1. Does 23 divide m(-1)?
False
Suppose s - 3 = 0, 0 = 2*a - 2*s - 4 + 8. Let u be a/2 - (-31)/2. Suppose -2*h + 0 = -u. Is h a multiple of 8?
True
Let y(z) = -5*z - 10. Suppose 2*k + 0 = 2. Let a be -1*(k + 3 - -3). Is 12 a factor of y(a)?
False
Let g(b) = b + 9. Let v be g(-7). Suppose -v*d + 29 = z + 4, 137 = 5*z - 2*d. Is z a multiple of 10?
False
Let o(n) = 6*n + 6*n**3 - n**3 - 3*n**2 - 4*n**3 + 5 - 6. Does 13 divide o(4)?
True
Let v = 9 - 0. Does 6 divide v/15 + 64/10?
False
Let k(g) = -g**2 + 10*g - 11. Let d = 27 + -19. Let q be k(d). Suppose -15 = -5*n + a, n + q*a = 4 - 1. Is n even?
False
Let t(x) = -8*x - 9. Is t(-5) a multiple of 23?
False
Let q(d) = -d**3 + 10*d**2 - 9*d - 7. Let j be q(7). Let n = -32 + j. Is 15 a factor of n?
True
Suppose -45 + 165 = 5*n. Is 12 a factor of n?
True
Let u = 10 - -3. Let i = u - 6. Is 6 a factor of i?
False
Suppose -2*w - 48 = 2*y, -4*y + 2*w - 3*w = 81. Let c = y + 43. Suppose -c = -0*l - 3*l. Is l a multiple of 4?
True
Let k(w) = -6*w - 6. Suppose -8 = q - 1. Is 11 a factor of k(q)?
False
Suppose -3*c + 0*c - 42 = 0. Does 14 divide c/(-1*(2 - 1))?
True
Let o = 12 + -9. Suppose 0 = y + y. Suppose 4*r - 2*r + 55 = 3*i, -o*i - 2*r + 47 = y. Is i a multiple of 17?
True
Let i(l) = -l**3 + 2*l**2 - 1. Let m be i(-1). Let v be (-31)/1*m/2. Let n = v + 67. Is n a multiple of 18?
True
Let x be -1*354/(-2 - 1). Suppose 0 = -3*m - 3*v + x - 7, -3*v + 6 = 0. Is m a multiple of 24?
False
Suppose -3*a = -5*r + 17 + 2, 2*r - 12 = -a. Is 5 a factor of (-6)/(-4)*(1 + r)?
False
Is 11/2*(-30)/(-15) a multiple of 11?
True
Suppose y + 318 = -y. Let r = y - -232. Suppose 4*i - 57 + 167 = 5*c, -r = -3*c + i. Does 13 divide c?
True
Suppose -1 = -o - 10. Let d be -3*1 + 8/(-4). Let z = d - o. Does 2 divide z?
True
Let u be (-10)/(-5) - (1 - 92). Suppose 4*b - 56 = -3*j, -3*j - u = -5*b - j. Suppose b = -3*g + 59. Is g a multiple of 7?
True
Suppose 0 = 5*t + 25, -3*t = -5*a - 0*t + 125. Is 3 a factor of a?
False
Let d be 56 - 3*(-3)/(-9). Let p = d + -19. Suppose 0 = 2*v + 4*u - u - p, -3*v + 3*u = -69. Is 11 a factor of v?
False
Is 6 a factor of (-12)/(-3 - (-2 + 1))?
True
Let o be 6/4 - (-348)/8. Suppose -3*m + 24 = -o. Does 6 divide m?
False
Let p(a) = 2*a - 13. Let i(o) = -o + 1. Let h(l) = 6*i(l) + p(l). Suppose -5*v = -0*x + x + 1, 0 = 5*v - 5. Does 17 divide h(x)?
True
Suppose -4*m + 5 = j - 3, 0 = -4*m - 4*j - 4. Let f = m - -22. Does 9 divide f?
False
Suppose -9 = -3*q - 3, -b - 78 = -4*q. Let v = b - -98. Does 14 divide v?
True
Let k(w) = -w**2 - 7*w - 3. Let p(x) = -x**3 - 7*x**2 - 5*x + 3. Let d be p(-6). Let l be (1 + (-4)/(-6))*d. Does 7 divide k(l)?
True
Let o be (3/(-2))/((-2)/8). Let x(u) = o + u**2 - 2*u**2 + 1 - 6*u. Does 5 divide x(-6)?
False
Let x = -7 - -6. Does 10 divide 210/49*(8 + x)?
True
Is 12 a factor of 9/1 - (-6)/2?
True
Suppose -2*c + 0*c - 2*d - 10 = 0, -3*c - 7 = -5*d. Let t(x) = x**2 - 4*x - 6. Is t(c) a multiple of 13?
True
Let d be (3 + 0 - -2)*1. Let r be (d/1)/(1/4). Suppose r = 5*t + 4*q - 9, -3*t + 10 = -5*q. Is t a multiple of 3?
False
Suppose 3*f = 6*f - 12. Suppose -f*u = 4*r - 64, 4*u - 40 + 9 = -r. Does 11 divide r?
True
Let b(q) = 63*q**2 - 1. Let w be b(1). Suppose -v - 3*v = 5*s - w, 0 = -s - 2. Is v a multiple of 6?
True
Suppose -5*o - 137 = -3*u - 423, -4*o - u + 222 = 0. Is o a multiple of 14?
True
Let z(h) = h**2 + 2*h + 2. Is 9 a factor of z(3)?
False
Suppose 5*y - 5*u = 7 + 28, 0 = -2*u - 8. Let f be -11 + (-3)/y - 0. Let s = f - -28. Is s a multiple of 8?
True
Suppose t = 4*w - 3 + 17, -2*w - 10 = -t. Let u = 8 - t. Is 10 a factor of (u/4)/((-4)/(-80))?
True
Let u = 95 + -71. Is 3 a factor of u?
True
Let q = -50 - -28. Is 10 a factor of 4/(-22) + (-224)/q?
True
Let z(v) = 2*v + 1. Let y be z(1). Suppose 2*u + 3*q + 7 - 34 = 0, 33 = 3*u - y*q. Is u a multiple of 6?
True
Let q = -7 + 11. Suppose -158 - 15 = -3*h - q*i, -3*i - 36 = -h. Is 16 a factor of h?
False
Let t(a) = a**3 + 7*a**2 + 5*a - 3. Let b be t(-6). Suppose -h + u = 2*u + 2, 11 = -b*h - 4*u. Is h even?
False
Suppose 3*b - 36 = -3*y, b = 2*y - b - 20. Let g = y + -16. Let u = -1 - g. Is 2 a factor of u?
True
Suppose 4*m = -3*b - 101, -4*b + 82 = -5*m - 52. Let x = m - -46. Is 5 a factor of x?
True
Let c = -188 - -272. Is c a multiple of 14?
True
Let t = 11 + -8. Suppose -a - 36 = -t*a. Is 18 a factor of a?
True
Suppose -2 = 4*g - 2*g - 3*d, -d = 4*g + 18. Is 19 a factor of ((-38)/g)/((-3)/(-6))?
True
Suppose 7 + 9 = -2*f. Let s = f - -13. Is 12 a factor of 21*((-60)/(-9))/s?
False
Let s(b) be the third derivative of 0*b - b**3 - 1/6*b**4 + 0 + 2*b**2. Is 18 a factor of s(-6)?
True
Let y = 43 - -13. Is 19 a factor of y?
False
Let n be (-7 - -5) + (0 - -2). Suppose -5*l + 4*a = 5, -2*a + 1 = -l - 2*l. Let f = l - n. Is f a multiple of 3?
True
Let r = -7 + 13. Let u(p) = 10*p + 4. Does 18 divide u(r)?
False
Does 2 divide 5*6/5 + -4?
True
Let v(o) be the second derivative of o**6/72 - o**4/24 + o**3/3 - 2*o. Let i(u) be the second derivative of v(u). Is 8 a factor of i(2)?
False
Let w be 27/(-3)*4/6. Does 17 divide 4/24 - 203/w?
True
Let x(b) = b**3 - 8*b**2 - 13*b + 9. Is 43 a factor of x(10)?
False
Let z = -12 - -23. Does 8 divide z?
False
Suppose 2*g = 47 - 227. Does 11 divide (g/(-25))/(4/30)?
False
Let f(h) = 37*h**2 + 1. Suppose -d + c - 4 = -3, 2*d - c = -2. Is f(d) a multiple of 19?
True
Suppose -3*i - 2*o + 5*o = -186, -4*i + 242 = 2*o. Is 10 a factor of i?
False
