 k(15). Let g = j - -132. Is g a multiple of 16?
False
Let c(r) = r + 32. Let x be c(15). Let o = x - 41. Is o a multiple of 5?
False
Let q(v) be the second derivative of 5*v**3/6 + 3*v**2/2 + 9*v. Is 12 a factor of q(9)?
True
Let l(w) = -w - 13. Let x be l(-6). Let i(q) = 2*q**2 + 5*q + 7. Is 9 a factor of i(x)?
False
Let a(r) = 12*r - 45. Let n be a(4). Suppose -826 = -2*k - n*k - 4*p, 0 = -k + p + 158. Is k a multiple of 27?
True
Let f = 5 + 22. Suppose -2*c + 5*p = f, -4*p + 0*p + 23 = -3*c. Is 5 a factor of 20/(-12)*3/c?
True
Suppose 2*u - 988 = -2*c, -5*u - 1278 - 1202 = -5*c. Does 33 divide c?
True
Suppose -1 = -0*w - w, -4*w = s + 44. Let v = -21 - s. Is v a multiple of 9?
True
Let y(o) = o**2 + 4*o + 35. Is y(-9) a multiple of 2?
True
Suppose -31*p + 27*p = -1056. Is p a multiple of 12?
True
Let a be (-1)/6*0 + (-6)/(-2). Does 7 divide (a*5/15)/(2/102)?
False
Suppose 260 = 8*n - 3*n. Suppose -3*z + k = -n, 0 = 4*z - k - 4*k - 84. Does 8 divide z?
True
Let c(j) = j**3 - 18*j**2 - 19*j + 11. Let s be c(19). Suppose -15 = s*p - 12*p. Is p a multiple of 7?
False
Suppose -5 + 0 = -5*s. Let c(l) = l**3 + 4*l**2 + l - 3. Let d be c(-4). Is (39 - s)*(d - -8) a multiple of 22?
False
Suppose 3*z - 8*z - 5*d = 60, -d = 0. Let y be (8/12)/((-2)/z). Let w(i) = 5*i - 2. Does 18 divide w(y)?
True
Let c(d) = d**3 + 13*d**2 + 12*d + 7. Let n be c(-5). Let h = n - 105. Is 14 a factor of h?
True
Suppose 3*h = -4*p + 8, -3*h + h = -5*p - 13. Suppose 19*u = 1790 - h. Is u a multiple of 8?
False
Let w = -633 - -760. Is 4 a factor of w?
False
Let l = 260 + 92. Does 16 divide l?
True
Let g = -468 + 771. Let f = g - 208. Is f a multiple of 12?
False
Suppose -8*o = -1118 - 8882. Is 41 a factor of o?
False
Let s = 2345 - 1218. Is 38 a factor of s?
False
Let h = -1 + -8. Let q be 3*(-3)/h*1. Is 29 a factor of (-319)/(-33)*3*q?
True
Let c be 7 - (0 + 2 - -2). Suppose c*r + 74 = 4*r. Does 15 divide (1 + -4)/(-3) + r?
True
Is 24*((-7)/28)/(5/(-585)) a multiple of 62?
False
Let l(z) = 3*z - 19. Let p be l(8). Suppose 33 = 5*a - p*f + f, 2*a + 3*f = 4. Suppose -t - q = -5*q - 67, -a*t - 2*q = -247. Is 17 a factor of t?
True
Suppose -734 - 2257 = -3*m. Is m a multiple of 17?
False
Suppose -4*w = 2*y + 2*y - 20, -4*y = -w - 15. Let k = w - -2. Let m = 2 + k. Is 5 a factor of m?
True
Suppose -4*i = -2*j - 9 - 353, -2*i = -5*j - 201. Is 6 a factor of i?
False
Suppose 2*u + 5*b = 1429, 22*b - 17*b = 4*u - 2783. Is u a multiple of 18?
True
Let l(t) = -9*t + 28. Is l(-8) a multiple of 20?
True
Let j(q) = -q. Let i(d) = -3*d**2 - 9*d - 1. Suppose 0 = -0*b - 4*b + 12. Let m(w) = b*j(w) - i(w). Is m(3) a multiple of 26?
False
Suppose -21*n + 17*n = -20. Suppose 10 - 20 = -n*w. Suppose w*q + 3*p = 56, p = -4*q + 197 - 65. Is q a multiple of 5?
False
Let l = -63 - -61. Let y(v) = v**2 - 4*v - 3. Let c be y(5). Is 21 a factor of 4/l + 21 + c?
True
Let x = 101 - 53. Suppose 3*a = 6*a + x. Let b = a + 30. Does 14 divide b?
True
Let d = 0 - -4. Suppose d = 2*g - 8. Let u = g + 4. Does 3 divide u?
False
Let x(v) = 3*v**3 - 22*v + 50. Is x(5) a multiple of 11?
False
Suppose 36*o - 56*o + 5020 = 0. Does 29 divide o?
False
Let g(o) = -o + 11. Let n be g(4). Suppose -110 = -12*q + n*q. Is 3 a factor of q?
False
Let w = 980 - 692. Is w a multiple of 6?
True
Let y(v) = -2*v**2 - 12*v - 7. Let x be y(-5). Suppose 5*n = -4*t + 295, -5*t - x*n + 18 = -354. Is 25 a factor of t?
True
Let s(h) = -h**2 + 7*h + 6. Let a be s(6). Let i be (-2)/(-6) + 68/a. Suppose -l - 65 = -i*l. Does 13 divide l?
True
Let n = -22 + 102. Is n a multiple of 4?
True
Is ((-209)/57)/(2/(-156)) a multiple of 62?
False
Let b be (-10)/8 + 21/84. Let y = b + 21. Is y a multiple of 10?
True
Let a be (-6)/30 - (-182)/10. Let r = a + -15. Does 2 divide 8 - 2 - 9/r?
False
Is 12 a factor of ((-15291)/(-81) - -3) + (-4)/(-18)?
True
Suppose w = -5*z - 0*z + 23, w + 9 = 3*z. Suppose -w*l + 11 + 1 = 0. Does 2 divide l?
True
Suppose -k + 2*h + 95 = 0, 0*k = -3*k + 2*h + 265. Is 17 a factor of k?
True
Let z(s) = 407*s - 414*s - 7 + 4*s**2 - 2*s**2. Suppose 0*v + 28 = 4*v. Does 21 divide z(v)?
True
Let y(s) = 29*s**2 - 7*s - 1. Let p(j) = j**2 - j - 1. Let x(c) = -4*p(c) + y(c). Is 19 a factor of x(2)?
False
Let o be ((-356)/6)/((-34)/51). Let m = o + -22. Is m a multiple of 16?
False
Let z(q) be the second derivative of 19*q**4/12 - q**3/3 - q**2/2 - 24*q. Does 16 divide z(1)?
True
Let o(m) be the first derivative of m**2/2 + 5*m + 1. Let l be o(-5). Suppose 2*v - 3*q + 5*q - 84 = l, 5*v - 5*q = 190. Does 10 divide v?
True
Let w = -23 + 39. Suppose 0 = w*y - 19*y + 612. Suppose -y = -4*g - 4*q, 0 = -2*q - q - 12. Is 11 a factor of g?
True
Suppose 0 = -14*v + 39*v - 4400. Does 16 divide v?
True
Suppose 0 = -43*s + 19*s + 192. Is 3 a factor of s?
False
Let z = 523 + -293. Is z a multiple of 29?
False
Let p(w) = -22*w - 323. Does 17 divide p(-17)?
True
Suppose 43*v - 176 = 41*v. Suppose 16*u - 20*u + v = 0. Is 11 a factor of u?
True
Suppose 0 = y - 224 - 96. Does 29 divide (6/2)/(-2 + 645/y)?
False
Let r be -2 + 273/6 - (-3)/(-2). Let o = r - 22. Is o a multiple of 20?
True
Suppose 21175 + 20633 = 16*r. Is 67 a factor of r?
True
Suppose -a = 2*r + 129, r + 70 = a - 2. Let g = -18 - r. Let y = -28 + g. Is y a multiple of 18?
False
Let j(i) = 11*i**2 - 8*i + 129. Suppose 0 = -s + 8 - 5. Let h(m) = 4*m**2 - 3*m + 43. Let k(b) = s*j(b) - 8*h(b). Is k(0) a multiple of 13?
False
Suppose -33*b - 14732 + 45752 = 0. Does 10 divide b?
True
Let i(o) = -9*o - 9. Let y(u) = u**2 + 9*u + 10. Let b be y(-7). Does 27 divide i(b)?
True
Suppose -2*h - c = -137 - 60, c = -3*h + 296. Does 9 divide h?
True
Let n = 640 + 179. Is n/15 + ((-32)/20 - -2) a multiple of 5?
True
Let j(t) = -t. Let y(v) = -v - 2. Let r(a) = 2*j(a) + y(a). Let z be r(6). Is (20 + 1)/((-15)/z) a multiple of 28?
True
Suppose 0 = 4*h - 0*h - 12. Suppose -j + h = 1. Is 11 a factor of j*2/(-4) - -37?
False
Let o(q) = 3*q**2 - 3*q + 3. Let n(v) = 16*v**2 - 14*v + 14. Suppose 3*s + 26 = -5*f, 5*s + 4*f + 22 = f. Let m(w) = s*n(w) + 11*o(w). Does 17 divide m(7)?
False
Suppose 5*a + 3*u = 2896, -113*a + 5*u = -110*a - 1758. Is 9 a factor of a?
False
Suppose -o - 85 = 3*r - 946, 5*o - 4285 = 5*r. Is 66 a factor of o?
True
Let g = 4 - 2. Suppose -12 = -4*t - g*u, -4*t - 3*u + 8 = -0*u. Suppose 4*s - 5*s = j - 13, -j - t*s = -13. Is 13 a factor of j?
True
Let c = 23 + -13. Suppose 0 = -3*l - 2*p + 26, -3*l - 2*l + c = -5*p. Is 7 a factor of 0 + 25 - 6/l?
False
Suppose -16*w - 3*w = -11115. Is w a multiple of 13?
True
Suppose l = 2*c - 7493, 3*c - 2*l = -2*c + 18730. Is 4/7 + c/63 a multiple of 15?
True
Suppose -2*q = -4*w - 236, 0 = q + w - 129 + 11. Is 25 a factor of q?
False
Let h = -172 + 380. Let z be (1/(-2))/((-4)/h). Suppose 3*u - z = -5*v + 15, 3*u - 1 = 5*v. Is u even?
False
Suppose -10*m - 5360 = -2*b - 8*m, -2*b - m = -5354. Is b a multiple of 25?
False
Let n(s) = -s - 187. Let m be n(0). Let l = m + 371. Suppose 2*t = 4*i - l, -4*t = 2*i - 3*i + 53. Is i a multiple of 15?
True
Let l(q) = -2 + 6 + 1 + 3*q - q. Let n be l(4). Suppose n*s - 88 = 11*s. Is s a multiple of 16?
False
Let t be 8/(-20)*5*-3. Suppose 0 = -3*b - 0*p - 5*p - 6, t = 5*b + 3*p. Suppose 2*j = b*j - 24. Does 24 divide j?
True
Suppose 0 = 4*d - 93 - 191. Let s = d - 15. Does 14 divide s?
True
Let z(g) = -g**2 + 14*g + 8. Let x be z(8). Suppose j + x = 5*j. Is j a multiple of 7?
True
Let t = 46 - 43. Suppose 0*r + t*s - 84 = -3*r, -13 = -r - 4*s. Does 33 divide r?
True
Let t = 29 - 23. Suppose -q - t = -12. Is 3 a factor of q?
True
Let q(j) = -4*j - 34. Let w = 3 - 25. Is q(w) a multiple of 27?
True
Let z(i) = 2 - 23*i + 1 + 19*i + 4*i**2. Is z(1) a multiple of 2?
False
Suppose 334 = -2*c - 36. Does 14 divide (-3 + 0)/(15/c)?
False
Suppose 12*s - 1416 - 504 = 0. Is 8 a factor of s?
True
Suppose -2*k + 121*r + 1044 = 118*r, -4*k = -r - 2068. Is k a multiple of 13?
False
Suppose -4*t = -4*b - 1824, -t + 3*b + 456 = 4*b. Is t a multiple of 24?
True
Let g(m) = 13 - 2*m - 2*m - 5*m. Let z be g(-6). Suppose -3*v + z + 14 = 2*p, -v + 3 = 0. Is 11 a factor of p?
False
Let k = 15 + -15. Suppose 76 = -k*r + 2*r. Suppose -o - 14 = -u + 2, r = 2*u + 4*o. Is u a multiple of 7?
False
Let l(a) be the second derivative of 2*a**