 + 195. Is b a multiple of 16?
False
Suppose -3*p = -2*z - 5, z + z + 5*p - 35 = 0. Let q = 40 + z. Is q a multiple of 9?
True
Let t(i) = 4*i**3 + 2*i - 1. Suppose 0 = 3*v - 7*v + 44. Suppose -h - 1 = -2*q - 0*q, -q + v = 3*h. Does 13 divide t(q)?
False
Let k(a) = a**2 - 3*a + 1. Let v be k(4). Suppose -3*y + v*c = -25, -2*c - 2 = -2*y + 12. Suppose -b - w - 13 = -48, -y*b + w = -205. Is b a multiple of 20?
True
Let l = 1 + 2. Suppose -3*o - 2*q + 74 = -o, l*o - 3*q = 81. Does 15 divide o?
False
Let o(x) = 28*x**3 + 2*x - 1. Is o(1) a multiple of 29?
True
Let s be 54/15 + (-4)/(-10). Suppose -s*o + 177 = 1. Is 11 a factor of o?
True
Let o = 107 - -201. Is 20 a factor of o?
False
Suppose -j - 4 = 3*j. Is 8 a factor of j/(-5) + (-690)/(-50)?
False
Let m(w) = -2*w**3 + 6*w**2 - 19*w + 17. Let k(q) = -q**3 + 3*q**2 - 10*q + 9. Let s(x) = 11*k(x) - 6*m(x). Let d be s(2). Is 0/5 - (d - 8) a multiple of 4?
False
Suppose -110 = -2*y + 168. Does 10 divide y?
False
Suppose -d = 4*d. Let i = d + 30. Is 14 a factor of 1 + -2 - (1 - i)?
True
Is 59/3 + 4/12 a multiple of 5?
True
Suppose -5*q - 168 = -7*q. Is q a multiple of 28?
True
Let r(c) be the second derivative of -c**3 - c**2 - 18*c. Suppose 3*u - 15 = 0, -2*v - 3*u + u + 6 = 0. Does 10 divide r(v)?
True
Suppose d - 224 = -3*d. Suppose -5*p = -154 - d. Does 21 divide p?
True
Let m(r) = 2*r - 2 + 2 + 1 - r**3 + 2*r - 3*r**2. Let z be m(-4). Suppose -d + 9 = -z. Does 5 divide d?
True
Suppose 0*s = -3*s - 18. Is 12 a factor of 488/12 - (-4)/s?
False
Let n(f) = -2*f. Let w be n(-6). Suppose -w = -3*d - 0*d. Is d a multiple of 4?
True
Suppose -3*c = -0*c - 90. Is 6 a factor of c?
True
Let g(v) = -v**3 - 2*v**2 - 3*v + 4. Let x be g(-4). Suppose -x = -2*t + 5*m, 5*t + 4*m = -2 + 122. Is 8 a factor of t?
True
Suppose -20 = -2*l - 3*l. Suppose 2*z + 104 = 4*y + z, -l = -z. Does 27 divide y?
True
Let h(p) be the third derivative of -p**4/24 + 4*p**3/3 + 2*p**2. Let t be h(4). Let b(m) = m + 2. Does 4 divide b(t)?
False
Suppose 0 = -n + 6 + 4. Is 11 a factor of 294/n + (-8)/20?
False
Suppose 3*b - 5 = -n, 4*n - 6*n = -5*b + 12. Suppose -2*l - 3*l = -4*h - 35, b*h = -l - 7. Suppose -v - 86 = -3*y, 89 + 21 = l*y + 5*v. Does 15 divide y?
True
Let u be -26*(-2 + (-1 - -2)). Suppose 5*g - x + 20 = 63, -5*x - u = -4*g. Let k = g - -3. Is 6 a factor of k?
True
Let r = -181 - -277. Is r a multiple of 15?
False
Let d = -75 - -291. Does 36 divide d?
True
Let r = -14 - -42. Does 4 divide r?
True
Let g(d) = 3*d - 6. Let h be g(6). Let y = -30 - -30. Let t = y + h. Does 6 divide t?
True
Suppose -16 = -4*v - 0*v. Suppose -v*p + 10 = -2. Is 11 a factor of 10 - (6/p)/(-2)?
True
Let m(f) = -6 - 1 - 4*f**2 - 5*f - f**2 - f**3. Suppose -4*r - 11 - 9 = 0. Is m(r) a multiple of 12?
False
Let o(f) = -3*f + 5*f - 3*f - 7*f**2 + 3*f + f**3 - 8. Is 3 a factor of o(7)?
True
Let p be ((-159)/9)/((-4)/12). Let i = -31 + p. Is i a multiple of 11?
True
Let s(x) = -x**2 + 1. Let z be s(-1). Suppose z = -2*r - 7 - 49. Let i = -5 - r. Is 9 a factor of i?
False
Let u(x) = -9*x**2 + 14*x + 8. Let p be 3/15 + 42/(-10). Let v(r) = -5*r**2 + 7*r + 4. Let j(m) = p*u(m) + 7*v(m). Does 13 divide j(10)?
True
Suppose 0 = 4*c - 3 - 53. Let o be (-2*(-2)/4)/(-1). Is 10 a factor of (1 - 0)*(c - o)?
False
Suppose 40 = -p - 2*n + n, 3*p - n = -124. Let g = p + 97. Is g a multiple of 22?
False
Let d(x) = -x**2 - 6*x + 9. Let v(b) = b + 2. Let q be v(-7). Is 3 a factor of d(q)?
False
Suppose -4*z + 5*z + 10 = 0. Let w be (-17)/(-5) + 4/z. Suppose 0 = -4*f - 4*g + 80, -w*f - 4*g + 60 = -5*g. Is f a multiple of 6?
False
Does 24 divide 1/((-2)/(-6)) - -86?
False
Is (12 + -14)/((-2)/7) a multiple of 2?
False
Suppose -h - 13 = -3*y - 2*y, 3*h = -2*y + 12. Suppose 7 = y*a - 5. Is -1 - 7*(2 - a) a multiple of 13?
True
Is 7 a factor of (4*4/(-48))/((-1)/147)?
True
Let r = -150 + 211. Does 11 divide r?
False
Let t be (3/9)/(2/(-12)). Let j(l) = -18*l + 3. Is j(t) a multiple of 13?
True
Let m(f) = -f**3 - f + 20. Suppose -3*v = -5*k - 10, -2*k + 10 = -7*k. Is 10 a factor of m(v)?
True
Let l(q) = -20*q + 29. Is l(-8) a multiple of 34?
False
Suppose -14*m = -7*m - 420. Is 4 a factor of m?
True
Let w = -12 - -23. Suppose 4*p + w = 35. Suppose -y + p = 2*y. Is y even?
True
Let z(x) = 6*x. Let k = 1 + 2. Let d be k*6/9*1. Is z(d) a multiple of 8?
False
Let a(s) be the first derivative of 0*s**2 - 4*s + 1 + 2*s**3 + 1/4*s**4. Is 15 a factor of a(-5)?
False
Let r be 3/(-12) - 244/(-16). Suppose -4*y + 10 = -9*y. Does 3 divide (6/(-9))/(y/r)?
False
Suppose 1 = 5*v + 3*y, -4*v - 5*y = -2*y + 1. Suppose v*p = 43 - 3. Is 19 a factor of p?
False
Suppose -5*i + 100 = -i. Is i a multiple of 7?
False
Suppose 5 = 2*b - 1. Suppose -b*f + 42 = -f. Is 21 a factor of f?
True
Let k = -2 + 47. Is k a multiple of 8?
False
Let l(h) = -7*h**3 - 16*h**2 + 9*h + 20. Let u(x) = 4*x**3 + 8*x**2 - 5*x - 10. Let a(r) = -3*l(r) - 5*u(r). Is 6 a factor of a(-8)?
True
Suppose 5*q - 140 = -0*f - 3*f, -f = 0. Is 7 a factor of q?
True
Suppose 4*l = -3*g + 49 + 84, -5*l - 5*g = -160. Is l a multiple of 18?
False
Let g(o) = o + 3. Let f = -3 + 3. Let h be g(f). Suppose h*r = 23 - 8. Is 3 a factor of r?
False
Suppose -5*h + 5*a = -20, -a = 4*h - 3*h - 8. Let y(s) = -3*s - 3*s + 3*s - h. Does 9 divide y(-5)?
True
Let d(h) = 4*h - 3. Does 15 divide d(7)?
False
Let f be (-6)/(-4)*(-3 + 5). Let t(l) = 0*l + 8*l + 1 - f*l + l. Is t(1) a multiple of 7?
True
Is (-7)/(-28) + (-286)/(-8) a multiple of 18?
True
Let a = 40 + -2. Does 19 divide a?
True
Let o(h) = h**2 + 1. Let y(t) = t**3 + 3*t**2 - 2*t - 3. Let s be y(-3). Does 10 divide o(s)?
True
Let c be ((-1)/3)/((-3)/441). Suppose r + c = 12. Let o = 53 + r. Is 5 a factor of o?
False
Suppose w = 5*h - 15, 3*h + 4 = -w - 3. Let m(c) = c**3 + 11*c**2 + 11*c + 13. Let b be m(w). Suppose -2*n + b = -13. Is n a multiple of 3?
False
Let o(k) = -k**3 - 8*k**2 - 6*k + 7. Let c be o(-7). Suppose -5*d = -c*d + 10. Let q = d + 16. Is q a multiple of 7?
True
Suppose 0 = 2*j + 3*t - 312, -3*j = -0*t + t - 468. Does 13 divide j?
True
Suppose 0 = -0*z - 4*z + 584. Let w be (-4)/4 + z/2. Suppose 3*p - w = -p. Is 9 a factor of p?
True
Let v(h) = 4*h. Let d(k) = -4*k**3 - 2*k**2 - 2*k - 1. Let w be d(-1). Does 4 divide v(w)?
True
Let x be 0*1*3/6. Suppose x = -3*g - 2*c + 153, 3*c + 0*c = 0. Is g a multiple of 14?
False
Let m(o) = 2*o**2 + 13*o - 2. Is m(-12) a multiple of 29?
False
Let b(a) be the second derivative of a**7/280 + a**6/720 + a**5/120 + a**4/12 - 2*a. Let i(s) be the third derivative of b(s). Is 8 a factor of i(-1)?
False
Let l(q) = q**3 - 8*q**2 + 9*q. Let s be l(7). Suppose 2*r - s = 4*z - 0, 0 = -r - 2*z - 1. Suppose -8*u = -r*u - 80. Is u a multiple of 9?
False
Let s(r) = -r**3 + 7*r**2 - 2*r + 3. Let i(o) = o**3 + o + 6. Let a be i(0). Is s(a) a multiple of 11?
False
Let i(x) = 2*x**2 + 5*x - 12. Is 5 a factor of i(-5)?
False
Let y be ((-312)/(-2))/3 + 2. Let a = y - 33. Is 7 a factor of a?
True
Is 5 a factor of 4 - 21/((-3)/1)?
False
Suppose 3*v - 2*z + 4*z = 79, 140 = 5*v + 5*z. Is v a multiple of 2?
False
Suppose 0 = -6*y + 3*y + 9. Suppose 0 = -y*r + 15, 0*d - 138 = -2*d - 4*r. Is 18 a factor of d?
False
Let o(p) = p**3 + 5*p**2 + 4. Let r be o(-5). Let m(s) = -s**2 + 6*s - 4. Is 2 a factor of m(r)?
True
Let d be (-4 - -3)*0 - -3. Let n be -1*(-24)/9*d. Let b(l) = l**3 - 8*l**2 + 5*l + 8. Is b(n) a multiple of 13?
False
Let m = 99 + -67. Is m a multiple of 12?
False
Let c(l) = -l**3 - 9*l**2 + 3*l + 8. Is c(-10) even?
True
Let m(p) = -p**3 - 7*p**2 + 6*p - 1. Is 3 a factor of m(-8)?
True
Let b = 1212 - 843. Does 41 divide b?
True
Suppose 0 = 6*r - 0*r - 48. Is r a multiple of 4?
True
Let j be (1/(-1) - -3)*1. Suppose -3*v = -14 - 4. Suppose -v = -z + j. Is 4 a factor of z?
True
Suppose 2 = -5*n + 6*n. Suppose 3 = -g + n*g. Is g a multiple of 2?
False
Let l(j) = 5*j**2 - 4*j - 1. Let o(y) be the first derivative of -y**2/2 - 2*y - 3. Let h be o(-5). Is l(h) a multiple of 14?
False
Let c be (0 - 2) + 4 + 13. Suppose 3*t - 2*m = 7*t - 142, -c = -3*m. Is t a multiple of 9?
False
Let a = 6 - -2. Suppose 0 = 2*w - 0 + 6. Let x = a - w. Does 10 divide x?
False
Suppose 2*s = -2*s - 32. Let a = 6 + 5. Let y = a + s. Is 2 a factor of y?
False
Suppose 4*i = -5*f - 