 0 + 36. Is a a multiple of 12?
True
Let s be (-4)/6*18/(-4). Suppose -2*r + 3*r + 1 = -5*c, -5*r + 105 = s*c. Is r a multiple of 19?
False
Suppose 0 = -3*u - v + 362, 0*u + 2*u = -5*v + 250. Is u a multiple of 12?
True
Let i be 1*3 + (-4 - -4). Suppose 2*r - i*l + 74 = 0, 3*r - 3*l + 100 = -5. Is 17 a factor of 0 - 1*(r + 2)?
False
Let f(p) = 73*p**2 - p - 3. Let g(x) = 364*x**2 - 6*x - 16. Let v(y) = 16*f(y) - 3*g(y). Does 26 divide v(1)?
True
Let c = -5 + 2. Is 9 a factor of (15 - c) + (-6 - -4)?
False
Suppose 5*l - l = 3*c - 1031, 3*c - 1055 = -2*l. Does 21 divide c?
False
Let c = 12 + -10. Suppose -c*y - 4*s - 40 = 2*y, 5*y = -s - 34. Let h = y + 11. Is h a multiple of 5?
True
Suppose 5*a = -135 + 465. Is a a multiple of 22?
True
Let k be 68 - (6 - 6/2). Suppose k = 2*f - 19. Does 18 divide f?
False
Suppose m = -4*x - 8, 2*m + 4 = -2*x - 0. Let f(w) = w + 44. Is 11 a factor of f(m)?
True
Suppose l = 6*l - 20. Suppose 69 = 2*g + y, -l*g + 4*y + 120 = -g. Is 12 a factor of g?
True
Let g = -9 + 16. Let c(x) = 0*x + x - 4 + g. Does 2 divide c(4)?
False
Let g = -6 + 1. Let d(x) = -x**3 - 4*x**2 - 5. Let v be d(g). Let n = 33 - v. Does 13 divide n?
True
Suppose 2*t - 22 = -o - 0*t, -109 = -4*o - t. Suppose 2*f - o = -2*f. Is 4 a factor of f?
False
Let i = -25 + 41. Let p = i - -10. Is p a multiple of 9?
False
Let t be (0 - (0 + 397))*-1. Suppose 83 = j - 4*s, t = 3*j + 2*j - 2*s. Does 21 divide j?
False
Does 7 divide (-4)/(-10) - (-618)/30?
True
Let j(s) = 8*s**2 - 3*s - 1. Let x be j(-2). Let i = 2 - 0. Suppose i*u - 9 = x. Is u a multiple of 10?
False
Suppose -4*a + 4 = -48. Is a a multiple of 3?
False
Is (-1 + 2)/(2/14) a multiple of 7?
True
Let r(x) = -10*x + 2. Suppose -4 = -0*j + j. Is 24 a factor of r(j)?
False
Let b(f) = -f + 0*f**3 + f**2 - 1 - f**3 + 2*f. Let n be b(1). Suppose -3*v + 7 = -2*v - x, n = -2*v + x + 19. Is 5 a factor of v?
False
Let u(h) be the first derivative of h**4/4 + 2*h**3 - 9*h**2/2 - 1. Is 8 a factor of u(-7)?
False
Let t(g) = g + 5. Let f be t(5). Suppose -17 - f = -v. Suppose 5*u - 28 = v. Does 6 divide u?
False
Let r(u) = -4*u + 58. Is 15 a factor of r(-14)?
False
Suppose 143 = 2*u + 17. Does 26 divide u?
False
Suppose 2*q - 6 + 0 = 0. Let m(x) = x - 1. Let f be m(q). Is 2 a factor of f/(-10) - (-44)/20?
True
Let j(c) = -c**2 + 11*c - 10. Suppose -5*n = 5, -3*n + 5*n + 26 = 3*s. Is j(s) a multiple of 4?
False
Suppose c - g - 288 = 0, 0*g = -2*c - 3*g + 576. Does 16 divide c?
True
Let o be -1*(3 + 78*-1). Suppose o = 4*l - l. Does 14 divide l?
False
Let c(z) = -z**2 + 2*z - 1. Let t be ((-2)/3)/(6/(-9)). Let p be c(t). Suppose 4*s + 12 = 0, 3*o + p*o - 42 = -2*s. Does 5 divide o?
False
Let l(n) = -n**3 + 6*n**2 + 4*n - 9. Let h = 15 + -9. Does 4 divide l(h)?
False
Suppose -4 = -5*c + 11. Suppose 2*u - 4 - 3 = -i, -c*u - 3 = -3*i. Suppose -u*n = -8, -l - 4*n + 56 = 4*l. Does 3 divide l?
False
Let y be 84/22 + 4/22. Let z be ((-192)/(y - 1))/(-1). Let s = -38 + z. Does 15 divide s?
False
Let m(g) = -g - 4. Suppose 4*w = -w - 20. Let v be m(w). Suppose c - 5*c + 80 = v. Is 10 a factor of c?
True
Suppose -3*p = 9*h - 4*h - 67, -4*p + 104 = 3*h. Suppose 224 = 5*t + p. Is t a multiple of 13?
True
Let q = 18 - 1. Let k = q - -10. Suppose 0 = 5*l + 5*w - 55, -4*l + k = 2*w - 25. Is 11 a factor of l?
False
Let n(z) = -z**3 + z**2 + z. Let w be n(0). Suppose -4*a = -4*i + 32, -4*i - a + 57 = -w*a. Is i a multiple of 7?
False
Let d(v) = v**2 - v + 8. Let a be d(0). Suppose 5*k - 5*t = 55, 4*k + 5*t - 97 = -a. Is k a multiple of 8?
True
Let o = -9 - -14. Suppose -o*t - 25 = 0, 0*i - t + 58 = i. Suppose -2*j + 36 = 5*k, -5*j + k = -0*k - i. Is j a multiple of 6?
False
Let j(n) = -n - 1 + 6 + 2*n. Is j(7) a multiple of 6?
True
Let p = 120 - 79. Is p a multiple of 17?
False
Let x(h) = 3*h + 12. Let k be (4/(-5))/((-12)/150). Is x(k) a multiple of 12?
False
Let n(l) = 11 + l - 4 - l**3 + 2*l**2 - 7*l**2. Let u be n(-5). Let g(a) = 8*a. Is 6 a factor of g(u)?
False
Let a(q) = q**3 + 3*q**2 - 5*q - 6. Suppose 2*d + 8 + 2 = 0. Let m be a(d). Is m/(-2) - (-2)/4 a multiple of 8?
True
Suppose -3*m - h = 192, 4*m + 3*h + h = -256. Let k = -30 - m. Is k a multiple of 17?
True
Let f = -7 - -5. Is 12 a factor of (-28)/(-1 + f/(-6))?
False
Suppose 4 = 2*i + 6. Let m = i + 7. Does 2 divide m?
True
Is 9 a factor of (45/(-20))/((-2)/24)?
True
Suppose -3*x = -0*x - 126. Suppose 0 = -7*b + 4*b + 21. Suppose -b*n = 4*k - 5*n - x, 0 = -3*k - 5*n + 35. Is 5 a factor of k?
True
Suppose 0 = -5*v - j + 150, -73 = -2*v + 2*j - 25. Suppose 3*c - 20 = -c. Suppose -c*k - 99 = -5*z - v, k = 5*z - 54. Is 5 a factor of z?
True
Let j(w) = -11*w + 14. Let i be j(14). Let a = -85 - i. Is 14 a factor of a?
False
Let g(b) = 65*b**2 + 2*b - 1. Is 22 a factor of g(1)?
True
Suppose -p + 2 = -0. Let k be 10/((1/4)/(2/(-4))). Is 15 a factor of 9/p*k/(-6)?
True
Let b(g) be the third derivative of 13*g**5/60 + g**3/6 - g**2. Does 10 divide b(-1)?
False
Suppose 2*i + 20 = 2*c, -c + 2 = -0*i - 5*i. Does 6 divide c/20 - (-171)/15?
True
Let w be 3*(2 - -3)/1. Let m = 2 - 4. Does 16 divide m/10 - (-243)/w?
True
Suppose 2*l - 12 = 12. Let c be 4/16 + 21/l. Suppose -3*x = -c*x - 6. Is 5 a factor of x?
False
Does 4 divide (-1 + -4 - -2) + 8?
False
Let v(m) be the third derivative of -m**4/2 + m**3/6 + 6*m**2. Is 8 a factor of v(-2)?
False
Let m = -59 + 63. Is m a multiple of 4?
True
Suppose -39*a + 31*a + 608 = 0. Does 22 divide a?
False
Let l(s) = s**2 - s - 4. Let n be l(3). Let q be ((-9)/(-6))/(n/(-12)). Is 22 + -3 + (-3 - q) a multiple of 12?
False
Let h(n) = n + 12. Let r be h(-9). Suppose q = -0*q - r. Let b = 4 - q. Is b a multiple of 7?
True
Let m = 112 + -56. Suppose 4*k - 268 = -m. Does 14 divide k?
False
Let v(o) be the third derivative of 3*o**4/8 + o**3/6 - 4*o**2. Is 10 a factor of v(1)?
True
Let x(o) = 13*o. Let p(j) = 52*j. Let z(r) = -2*p(r) + 9*x(r). Does 14 divide z(3)?
False
Let r be (9/(-15) + 1)*5. Suppose 0*l - r = 2*l. Let x(w) = -28*w**3 - w**2 - 2*w - 1. Is 14 a factor of x(l)?
True
Suppose -l - 5*m = -0*m - 34, 3*l + 3*m - 42 = 0. Let v(y) = -5*y - 1. Let f be v(l). Let d = f + 82. Is d a multiple of 12?
True
Let c(d) be the second derivative of -d**5/20 + 5*d**4/12 - d**3/6 + 5*d**2/2 - d. Let b be c(5). Let x = 23 + b. Is 8 a factor of x?
False
Suppose x = -3*n + 285 - 39, -4*x - n + 929 = 0. Suppose k = -2*d + 62, 0 = 3*k + d - x + 20. Suppose 0 = -5*z + k + 3. Does 15 divide z?
True
Suppose -5*x = -2*u - 35, -u - 5*x + 95 = -6*u. Let r = u - -37. Is 6 a factor of r?
False
Suppose 0 = -3*n - 0*c - 3*c + 48, c = 0. Is 4 a factor of n?
True
Suppose -2*m = -5*m + 12. Suppose 4*c + 4 = -m*j, 3*j - 3*c = -0*c + 21. Suppose h - 4*z = z + 26, j*z + 31 = 2*h. Is 3 a factor of h?
False
Suppose 153 = -4*p + 5*p. Does 17 divide p?
True
Let m(p) = -p**2 - 15*p + 8. Let k be m(-13). Suppose 0 = 4*q - 5*q - 2*h + 2, -2*h - k = -2*q. Is q a multiple of 5?
False
Let m(f) = 31*f**2 - f. Does 10 divide m(1)?
True
Let f(z) = z**3 + 15*z**2 + 13*z + 19. Does 10 divide f(-14)?
False
Let y(l) be the first derivative of 3*l**4/2 + l**3 - 3*l**2/2 + 3*l - 1. Is 31 a factor of y(2)?
False
Suppose -5*q + 130 = -0*q. Does 11 divide q?
False
Let c(r) = -5 + 3*r + 4 - 3*r + 18*r**2. Is c(-1) a multiple of 8?
False
Suppose -6 + 0 = -2*s - 5*p, -4*p = -2*s + 6. Suppose 7 = o - 4*c + 17, -s*o + 2*c = 0. Does 16 divide 11*2 - 2 - o?
False
Suppose -w = 3*w + n - 25, -2*w = n - 15. Suppose -4*k + 8 = -2*b - 6, b + k - w = 0. Suppose u - b = 9. Is 10 a factor of u?
True
Let i(g) = -11*g - 14. Does 12 divide i(-10)?
True
Let u = -2 + 4. Suppose 7*n - 18 = u*n + b, -2*b = -n. Suppose 0 = n*a - 2 - 30. Is a a multiple of 8?
True
Suppose 3*s + 36 = 5*s - 4*b, 0 = -s - 4*b + 42. Does 13 divide s?
True
Suppose 7*m + 18 = -24. Let v(y) be the third derivative of -y**4/12 - y**3/2 - y**2. Is 3 a factor of v(m)?
True
Let v(d) = -d. Let i be v(1). Is 9 a factor of (1 + 0)*(-19)/i?
False
Let p be (-2)/(-2) - (-33)/3. Suppose p = 3*z - 6. Is z a multiple of 4?
False
Let h(t) = -4*t**3 + 4*t**3 - 2*t**3 + 3*t + 3*t**2. Let s be h(3). Let u = s + 28. Does 5 divide u?
True
Does 15 divide (-177)/(-2) - (-21)/14?
True
Suppose 4*x = -x - 35. Let r = 17 - x. Is r a multiple of 7?
False
Let g(