
False
Let v(w) = 6*w. Let l be v(-3). Let n = l - -27. Is 5 a factor of n?
False
Suppose 2*s = -5*z - 2*s + 28, -3*z = -s - 27. Suppose q = 5*q - z. Suppose 0*x - 3*x + 54 = 2*f, -2*f - q*x = -56. Is f a multiple of 12?
False
Let o(w) = w**3 + 5*w**2 - 2*w - 2. Does 21 divide o(-4)?
False
Is (2/5)/(3/75) a multiple of 3?
False
Let g be (-22)/(-33) - 116/(-6). Suppose -d = 3*d - g. Does 5 divide d?
True
Let p = 51 + -36. Is p a multiple of 3?
True
Let a = -5 + 10. Suppose -a*p + 18 = -32. Is p a multiple of 10?
True
Let z be 252/48 + 1/(-4). Suppose z*d = -a + 56, -3*d - 2*a + 12 + 16 = 0. Is 6 a factor of d?
True
Let n(k) = 2*k - 5. Does 10 divide n(11)?
False
Let h = 314 - 117. Suppose -2*i + h = 4*g - 3*i, 2*i = g - 44. Suppose -3*z = 6*b - 4*b - g, -2*b + 64 = -4*z. Is 14 a factor of b?
True
Suppose 0 = -3*n + 3*p + 158 + 85, -20 = 4*p. Suppose 3*d + n = 4*g, g = 2*d + 33 - 14. Let j = g - 6. Is j a multiple of 13?
True
Suppose 2 = -2*l - 4. Let o(n) = 7*n**2 + n. Does 33 divide o(l)?
False
Suppose -592 = 3*c - 7*c. Let v be 2 + 0 + (c - 0). Suppose 0 = -0*n - 5*n + v. Does 11 divide n?
False
Let d be (-2)/7 + 214/14. Is 4 a factor of 9/d*(-1 - -16)?
False
Let o(k) be the third derivative of -k**6/120 - k**5/15 - k**4/12 + k**3/3 - 2*k**2. Is 4 a factor of o(-4)?
False
Let h = 3 - 2. Suppose 5*g = -4*w + h, 2*g + 0*g = -5*w - 3. Does 4 divide w/2*(3 - 11)?
True
Is 6 a factor of ((-84)/(-7))/(6/3)?
True
Suppose -4*v = 0, 2*o - 4*v - 2 - 8 = 0. Suppose -2 + 52 = o*a. Is 4 a factor of a?
False
Let a = 13 + -24. Let n(z) = -5*z - 3. Is 18 a factor of n(a)?
False
Let v(w) = 2*w + 8. Let p be (24/20)/((-3)/(-10)). Suppose p*u - 12 = 16. Does 11 divide v(u)?
True
Suppose 3*f - 220 = -2*a, 3*f + 0*f = 2*a + 212. Does 21 divide f?
False
Suppose 0 = 4*m - y + 437 + 23, 3*m = 2*y - 350. Let d = -52 - m. Does 14 divide d?
False
Let g(f) = -f + 15. Suppose -n + 4*n - 24 = 0. Does 2 divide g(n)?
False
Let b be (0/(0 - -3))/(-2). Suppose b*d + 4*f - 1 = d, -f = 3*d - 10. Suppose d*m - 100 = -m. Is 11 a factor of m?
False
Let u(k) = k**3 - 8*k**2 - 9*k + 17. Let v be u(12). Suppose g + 4*g - v = 0. Let x = g - 55. Is x a multiple of 21?
True
Suppose c + 3*c - 12 = 0. Suppose 3 = -n + 2*n + 2*t, 41 = c*n - 2*t. Is 5 a factor of n?
False
Suppose 0 = -2*g + 2*l - 70, -2*g - l = -4*g - 75. Let w = g - -64. Let k = w + 20. Is k a multiple of 15?
False
Let z = -31 - -50. Is z a multiple of 19?
True
Suppose -17*n + 11*n + 138 = 0. Does 5 divide n?
False
Suppose -3*f + u = -143, -4*f - 2*u = -2*f - 98. Does 27 divide f?
False
Suppose 3*w + 14 = 254. Is 20 a factor of w?
True
Suppose -4*s + 309 = -2*v - 3*v, 4*s - 330 = -2*v. Does 9 divide s?
True
Suppose 324 - 1044 = 5*c. Does 5 divide 6/(-21) - c/14?
True
Let g(d) = d**2 - 2*d - 3. Let k be g(4). Suppose -4*s + 52 = 4*o, -o = 2*s - 9 - k. Is 4 a factor of o?
True
Let a = 92 + -48. Is 33 a factor of a?
False
Let u = -67 + 195. Is 23 a factor of u?
False
Let w be (-87)/(-27) - 4/18. Suppose w*v + 2*a - 171 = 0, -v + 2*a = -2*a - 71. Does 16 divide v?
False
Let j be (-42)/(-35)*5/(-2). Let o = 22 + j. Is o a multiple of 7?
False
Let b(g) = -2*g - 5. Let s be b(-5). Suppose 2*i = -s*d + 66, -2*d = 3*d + 5*i - 75. Is 6 a factor of d?
True
Suppose -2 = 3*i - 14. Suppose 3*x - 9 = -i*o + 20, 2*o - 22 = -4*x. Is o a multiple of 5?
True
Suppose 2*s + 368 = 5*x, -75 = -x + 5*s + 17. Suppose 0 = n + n - x. Does 18 divide n?
True
Suppose -37 = -c - 4*f + 5*f, 2*c = 4*f + 84. Is 8 a factor of c?
True
Is 9 a factor of (308/21)/(-3 + (-58)/(-18))?
False
Suppose 5*d - 151 = 179. Is d a multiple of 22?
True
Let v(s) = 2*s**2 + 3*s - 6. Let m be v(-5). Let a = 8 + m. Is a a multiple of 13?
False
Suppose -5*x = -2*x - 48. Suppose -3*s + c + 49 = 0, -2*s + 5*c = c - x. Does 6 divide s/(-8)*16/(-3)?
True
Let y = 9 + -4. Suppose -9*a + 200 = -y*a. Is (18/(-15))/((-4)/a) a multiple of 4?
False
Let f = -69 + 192. Does 37 divide f?
False
Suppose 4*a = -10 + 2. Does 15 divide (-1 - 1)/(a/19)?
False
Let c = -18 - -20. Suppose b = 4*p - 59, p + c*p = 2*b + 43. Is 7 a factor of p?
False
Let i(n) = -n - 2. Let z be i(-7). Suppose z*y - 2*q - 249 = -5*q, y - q = 53. Is y a multiple of 15?
False
Let y = 12 + -8. Let k(c) = -y*c - 12 - 4*c - 2 + 6*c. Is 3 a factor of k(-11)?
False
Let c(a) = 13*a**2 + a - 2. Let m = -7 + 9. Let j be c(m). Suppose -2*r + j + 10 = 0. Is 13 a factor of r?
False
Let g(s) = -3*s**2 - 115*s - 38. Does 22 divide g(-37)?
True
Suppose 2*g - 1 - 5 = 0. Let j be (-2)/(-5) - (-1176)/10. Suppose -g*b = 5*d - j, -5*d - b + 100 = -d. Is 13 a factor of d?
True
Let z be (1/(-2))/(2/(-8)). Suppose -g - v = -20, -z*g + v + 36 = -v. Does 19 divide g?
True
Let u = 11 + -15. Let i = 6 + u. Is 16 a factor of i/5 + (-952)/(-20)?
True
Let g(c) = -c**2 + 3 + 7 + 2 - 3 - 8*c. Let t be g(-7). Suppose 9 = 2*y + o, -5*o + o = 4*y - t. Does 5 divide y?
True
Suppose 5*w + 4*o - 315 = -o, 0 = 3*w + 4*o - 192. Is w a multiple of 9?
False
Let f be -2 + ((-18)/(-3) - 2). Suppose f*u - 5*i + 2 = 0, u - 3*i = 2*i - 6. Is 2 a factor of u?
True
Let w be (-10)/4 - 1/2. Let z = w - -22. Is 13 a factor of z?
False
Suppose -198 = -6*l + 66. Is l even?
True
Suppose 7*u = 2*u + 160. Suppose 0 = q + 2*k - u, 5*k - 23 = 2*q - 3*q. Is 19 a factor of q?
True
Suppose 0*q = 3*q - 4*p - 45, 54 = 3*q - p. Let i = -13 + q. Is 2 a factor of i?
True
Let z(i) be the third derivative of -i**6/120 - i**5/10 - 7*i**4/24 - i**3/3 + i**2. Let n be -10*(-3 + 7/2). Is z(n) a multiple of 4?
True
Suppose 5*d - 3*k = 32, 0 = -5*d - 3*k + 14 + 24. Does 4 divide d?
False
Let w(v) = 5*v - 5. Let z(t) = -t**3 - 8*t**2 - 8*t - 2. Suppose -30 = 3*y - 3*r, -4*y = -3*r + 7*r + 16. Let h be z(y). Does 20 divide w(h)?
True
Let c(x) = -x**3 - x**2 - x + 13. Suppose s - 4 = -2*s + 2*u, -u = 4*s + 2. Does 13 divide c(s)?
True
Is (-2)/7 + 342/21 a multiple of 3?
False
Let s(w) = 13*w**2 + 2*w - 2. Let c(p) = -14*p**2 - p + 1. Let f(n) = -3*c(n) - 2*s(n). Does 8 divide f(1)?
True
Suppose 4*v - 196 = 280. Does 17 divide v?
True
Suppose -g - 4*c = -62, -g + 65 = 5*c - 0*c. Does 10 divide g?
True
Suppose 17 = -4*z - t - 11, -2*z - 14 = 2*t. Let u = 10 - z. Does 11 divide u?
False
Let l(i) = i**3 + 3*i**2 - 2*i + 1. Let h be l(-4). Let b(a) = -a**2 - 8*a + 9. Let o be b(h). Suppose 0 = -2*r - 0*r + o. Is 8 a factor of r?
True
Suppose 3*o + 7 + 5 = 0. Does 12 divide o/(-3)*9*2?
True
Let x(a) = 14*a - 1. Let p be x(-2). Let z be (1 - p) + 8 + -6. Suppose -3*f = -z - 10. Is f a multiple of 14?
True
Let h = -5 - -12. Suppose -h - 5 = -y. Is 10 a factor of y?
False
Let n(p) = -p**3 + 4*p**2 - 4*p - 3. Suppose 0*s + s = 5. Let t be n(s). Let d = 74 + t. Does 13 divide d?
True
Let u = 10 + -24. Let a = u + 20. Is a a multiple of 6?
True
Let d(c) = c - 14. Suppose -9 - 9 = -3*j. Let g be d(j). Is (-206)/g - (-5)/20 a multiple of 11?
False
Suppose -26 = 2*q - 6. Is 4 a factor of (-84)/q + 2/(-5)?
True
Let o = 7 + -5. Does 2 divide o?
True
Let r = 69 + -49. Is 4 a factor of r?
True
Let t = 15 + 16. Is t a multiple of 16?
False
Let b(t) = 5*t + 5. Let h be b(6). Suppose h = -0*q + 5*q. Is q a multiple of 2?
False
Let y(d) be the third derivative of d**2 + 0 - 1/24*d**4 - 5/6*d**3 + 0*d + 1/60*d**5. Does 4 divide y(4)?
False
Let y be 20/15 - 2/6. Suppose r = -5*i + 71, -5*r = -y - 4. Does 14 divide i?
True
Let x = -4 + 4. Suppose 2*w - 4 = -x*w. Suppose 14 = 2*s - w. Is 8 a factor of s?
True
Let f(j) = j**2 + 3*j - 10. Is f(15) a multiple of 13?
True
Let l(h) be the second derivative of h**6/120 - 7*h**5/60 - 3*h**4/8 + 2*h**3 - h**2/2 + h. Let r(a) be the first derivative of l(a). Does 4 divide r(8)?
True
Let g(k) = -5*k - 16. Let b(j) = 2*j + 8. Let q(p) = 7*b(p) + 3*g(p). Is 4 a factor of q(-6)?
False
Let o(b) = b**3 + 5*b**2 + 2*b - 1. Let n be o(-5). Let l = -8 - n. Suppose -f = l*f - 64. Does 8 divide f?
True
Let x be -1 + 0 + -1 + -4. Let k = 7 + x. Let u(n) = 15*n + 1. Does 16 divide u(k)?
True
Suppose -2*c + 28 - 12 = 0. Let l(k) = k**3 - 8*k**2 + 2*k - 5. Is 11 a factor of l(c)?
True
Does 8 divide (-2834)/(-117) - 4/18?
True
Suppose -31 = -3*l - 5*d, -2*l + 0*d = 4*d - 24. Let s = l - -1. Suppose -v = -s*v + 32. Is 8 a factor of v?
True
Suppose 0 = 2*d + r - 6, d + 1 - 4 = 5*r. Suppose -d - 3 