 d = u + x. Does 12 divide d?
True
Let z be (-2)/4 + 3/2. Does 5 divide z*(3 + -3 + 13)?
False
Let c(p) = -p**3 + 5*p**2 + 7*p + 1. Let x be c(5). Let v = 86 - x. Does 25 divide v?
True
Suppose 3*i - 19 = -1. Suppose -5*v = -2*p - i - 3, 2*p + 4*v = -54. Let y = 29 + p. Is 6 a factor of y?
True
Let f(s) = -s**2 + 9*s. Let d be f(9). Suppose 0*c - 5*y = 2*c - 82, d = c - y - 27. Is c a multiple of 8?
False
Let l(k) = 12*k - k**2 + 1 + 13 + 3 - 4. Does 8 divide l(11)?
True
Is (-4)/(-18) + 0 + 10578/27 a multiple of 27?
False
Suppose -5*h = 5*v - 560, 4*v + 4*h = h + 445. Is v a multiple of 38?
False
Suppose -3*x - 1 = 2. Let o be (x*1)/((-5)/10). Suppose o*b - 46 = -12. Is 6 a factor of b?
False
Suppose 4*h - 218 = 3*y, -6*h + 2*h + 232 = 4*y. Is 14 a factor of h?
True
Is ((-45)/12)/(3/(-48)) a multiple of 28?
False
Let k(l) = l**3 - 2*l**2 + 4. Let r = 9 + -6. Does 13 divide k(r)?
True
Suppose 3*g + 21 = 4*z, -4*z + g - 2 + 17 = 0. Suppose -z*w + 55 = -2*h, 1 = 4*w - 3*w - 5*h. Does 21 divide w?
True
Suppose -2*i + 2*z + 43 = i, -5*z = 25. Does 6 divide 2/(3 + -1) + i?
True
Let d(i) = -i**3 - 8*i**2 - 2*i - 9. Let n be d(-8). Suppose -66 = -3*l + n*p - 3*p, 0 = -2*l - 3*p + 27. Is 9 a factor of l?
True
Let o(n) = 4*n**2 - 21*n - 13. Let s(u) = -u**2 + 5*u + 3. Let c(y) = -2*o(y) - 9*s(y). Is 3 a factor of c(4)?
True
Suppose 3*j - 3*g - 165 = -0*g, -67 = -j + 5*g. Let d be (j/6)/((-4)/(-18)). Suppose 5*b + 2*s = d, 2*b - s - 13 - 8 = 0. Is 9 a factor of b?
True
Let y(u) = 5*u - 1. Let g be y(2). Let i be (-58)/(-6) + 3/g. Let k = 26 - i. Is k a multiple of 8?
True
Suppose -3*z = -d + 2*z - 19, -4*d - 7 = 3*z. Let n be d*(10/4)/5. Let w = n - -10. Is w a multiple of 4?
True
Let o be ((-6)/12)/((-2)/36). Suppose 3*n = o, 4*j + 4*n + 12 = -0*n. Is 5 a factor of 12 + (-1)/(-2)*j?
False
Suppose 2*g - 52 = 8*c - 3*c, 0 = -g - c + 12. Is g a multiple of 16?
True
Let x = 167 + -44. Is x a multiple of 31?
False
Suppose -85 = 5*t - 490. Is t a multiple of 25?
False
Suppose h + 9 = -2*b, 3*b - b + 15 = 5*h. Let c = h + 11. Does 12 divide c?
True
Is 33 a factor of (-1)/(-4) + (68952/32)/17?
False
Suppose 2*a - 46 = 164. Is a a multiple of 21?
True
Suppose s + 17 - 59 = 0. Is s a multiple of 14?
True
Let f = -32 - -55. Suppose -4*k + 3*g = 14, -3*g - 26 = 3*k - 5. Let x = f - k. Is x a multiple of 14?
True
Let q = -19 + 27. Suppose -3*j + 7*j = 5*z + q, 2*z + 17 = -3*j. Does 16 divide 17 - 0 - (-2 - j)?
True
Let z = 78 + -30. Is z a multiple of 13?
False
Suppose -3*q = -2*q - 3. Suppose -135 = -3*a + 3*w, 6*w = q*w + 6. Let z = -21 + a. Is 16 a factor of z?
False
Let w(j) be the first derivative of j**4/4 + 5*j**3/3 - 7*j**2/2 - 2*j + 2. Let v be w(-6). Suppose -s - v*s = -25. Is s a multiple of 5?
True
Let f be 3 + -1 + -2 - -2. Suppose 66 = k + f*k. Is 14 a factor of k?
False
Suppose -4*w = 2*l + 30, 2*w - w = 5*l + 119. Does 21 divide (l - -5)*14/(-4)?
True
Let f(z) = 20*z - 12. Is 32 a factor of f(7)?
True
Let f be ((-2)/(-5))/(3/30). Let w be (18 - 0)/(f/10). Let r = w - 27. Is 9 a factor of r?
True
Is 9/6*8/6 - -114 a multiple of 29?
True
Suppose 4*d - 42 = 26. Is 17 a factor of d?
True
Let h(v) = 4*v**2 - v - 1. Let l(s) = s - 8. Let b be l(7). Is h(b) a multiple of 4?
True
Suppose -o + 660 = 5*g, 3*g = -g + 2*o + 528. Does 21 divide g?
False
Let x = 4 + -2. Is 3 a factor of (0 - x) + (0 - -5)?
True
Let l(k) be the first derivative of -k**5/60 + 5*k**4/24 - k**3/6 - k**2 + 2. Let v(s) be the second derivative of l(s). Is v(4) a multiple of 3?
True
Let p be ((-2)/4)/(2/(-24)). Let v = -51 + 191. Suppose -j + p*j = v. Is 14 a factor of j?
True
Suppose 0 = -w + 3*v + 132, 4*w + 9*v - 492 = 12*v. Is w a multiple of 20?
True
Let p(g) = 3*g - 4*g + 3 + 1 + 3. Does 11 divide p(-4)?
True
Suppose 7*i + 72 = 436. Is i a multiple of 26?
True
Suppose 1 = -5*c + 4*c, 4*t = c + 373. Is t a multiple of 24?
False
Let h(g) be the first derivative of 2*g - 4 + 1/4*g**4 + 7/3*g**3 + 5/2*g**2. Does 10 divide h(-4)?
True
Suppose -5*j + 45 = -5*k - 5, -5*k = -4*j + 51. Let u = -9 - k. Suppose 26 = 2*f + 5*y, -u*y - y + 6 = -2*f. Is f a multiple of 3?
True
Suppose -12 = -w - 2*y, -w + 2*y - 44 = -4*w. Suppose 0 = o - 2*o + w. Is 13 a factor of o?
False
Let p(r) = r**3 - 10*r**2 - 15*r - 3. Is p(12) a multiple of 21?
True
Does 16 divide 9/(-18) + 1422/4?
False
Suppose 99 = d + n - 104, 3*d + 5*n - 613 = 0. Does 14 divide d?
False
Suppose -207 - 58 = -5*b. Let c = b - 4. Is 13 a factor of c?
False
Suppose -3 + 0 = -3*v - 4*r, 13 = 2*v - r. Is v a multiple of 3?
False
Does 5 divide (24/20)/((-15)/(-125))?
True
Let l = 149 - 85. Is l a multiple of 16?
True
Let n be 6*1/((-3)/(-3)). Suppose -n = q + 9. Does 6 divide q/2*(-8)/10?
True
Does 11 divide (33/(-4))/((-3)/8)?
True
Suppose -1980 = 6*a - a. Is 13 a factor of (-1)/5 + a/(-30)?
True
Let k = 20 + -35. Let r = -11 - k. Suppose -3*c + 4*c + 3*a = 6, 0 = -4*a + r. Does 3 divide c?
True
Let o(s) = 3*s - 7. Let c be (-6)/(-9) + (-21)/(-9). Suppose f + 2 = 4*k + 4, -3*f + c*k + 15 = 0. Is o(f) a multiple of 7?
False
Let k be (4/3)/(4/6). Suppose 0 = m - a - 14, 0*m - k*a + 11 = m. Let y = 42 - m. Is y a multiple of 15?
False
Let i(z) = -5*z**3 + 6*z**2 + z. Let l(v) = 9*v**3 - 13*v**2 - 2*v. Let r(s) = 13*i(s) + 6*l(s). Is 5 a factor of r(-1)?
True
Suppose 4*j = 6*j + 10, 0 = 5*p + 2*j + 25. Let o = p + 19. Is 16 a factor of o?
True
Suppose -3*f - 3*t = -2*f - 8, -t = -f + 4. Let w = f - -21. Is w a multiple of 18?
False
Let q(u) = u**3 + 7*u**2 + 7*u + 9. Let p be q(-6). Let l = p - -2. Suppose 2 = r - l*h, 5*r + 0*h - 52 = 4*h. Is 6 a factor of r?
True
Let u be -6*(-2 - 4/(-3)). Suppose z - u*t - 120 = 6*z, -5*z + 3*t = 85. Is ((-5)/2)/(2/z) a multiple of 24?
False
Suppose v + 0*v + 382 = -3*b, -2*b = -3*v + 240. Let i(t) = -73*t**2. Let u be i(1). Let l = u - b. Is 14 a factor of l?
False
Let i = -12 - -17. Suppose 0 = -3*v - g - 16, -2*g - 4 = i*v - 3*v. Let d(j) = -j**3 - 7*j**2 - j + 5. Is d(v) a multiple of 6?
True
Suppose -7*u + 427 = -77. Does 18 divide u?
True
Does 13 divide -2*(-6)/24 + (-155)/(-2)?
True
Let k(t) = 3*t**2 - 7*t - 6. Suppose 0*j + 4 = -j. Let d be k(j). Suppose i + d = 6*i. Does 14 divide i?
True
Suppose 0 = -5*n + 67 + 208. Is 13 a factor of n?
False
Is (-2)/(-9) + 13897/117 a multiple of 17?
True
Let h be 11/(((-2)/4)/(-1)). Does 3 divide (-10)/55 - (-70)/h?
True
Suppose -6 = -3*u - 0. Let r(v) = -11*v**2 + 6*v**2 - 2*v**3 - u + 0*v**3. Does 23 divide r(-4)?
True
Suppose 4*f - 10 = 3*j - j, 0 = -f - 3*j - 15. Suppose 2*p = -x + 41, 2*x + p - 79 = -f*x. Is x a multiple of 13?
True
Suppose -6*k + k + 4 = -2*q, k - 2 = q. Let u be 0/(2 - (q - -5)). Suppose u = z - 5*z + 88. Is z a multiple of 8?
False
Let d(h) = 50*h. Let n be d(-2). Is 12 a factor of (-1)/2 + n/(-8)?
True
Does 45 divide 4 + (-2)/5*(-1 - 189)?
False
Let t be -2 - -2 - (2 + -13). Let v = 11 + -15. Let i = t + v. Does 3 divide i?
False
Suppose -h + 6*h = 0, -4*h = l - 15. Is 6 a factor of l?
False
Is 11 a factor of (-4)/(-14) - 1460/(-35)?
False
Let n be (0 - -2)*(6 - 1). Let s = -6 + n. Let k(v) = v**2 + v + 2. Does 11 divide k(s)?
True
Let n = 18 + -13. Suppose n*a = -2*y + 103, 3*a = y + 3*y + 67. Does 7 divide a?
True
Does 4 divide 21 + (-2)/(-2) - -1?
False
Suppose 0 = -4*f - 3*n - 0*n + 214, -4*f = -5*n - 198. Suppose f = 2*v - 12. Does 14 divide v?
False
Let v = -83 - -104. Is 7 a factor of v?
True
Let p(s) = s**2 + 3*s. Let v(t) = 2*t**2 + 6*t. Let n(x) = -11*p(x) + 6*v(x). Is 8 a factor of n(-5)?
False
Let h be 2/(-5) - (-32)/5. Suppose c - v = -2*v + 3, -4*v + h = c. Suppose 7 = -4*s - 4*u + 51, -u = c*s - 27. Does 8 divide s?
True
Let r = 9 - 5. Suppose -k + r*k - 45 = 0. Is k a multiple of 15?
True
Let q = 25 - -14. Is 13 a factor of q?
True
Suppose 8 = -3*c + c. Suppose -3*x - 8 = -2, -3*x - 10 = 2*g. Is 8 a factor of g/c*22 + -3?
True
Suppose -3*f + 25 = 2*f. Suppose f*a - 237 = -87. Is a a multiple of 10?
True
Let z(p) = -p - 10. Let j be z(-7). Let w(m) = -17*m. Is 13 a factor of w(j)?
False
Suppose -d + 0*d + 18 = 0. Is d a multiple of 9?
True
Is 17 a factor of 84/4 + -3 + 1?
False
Suppose 3*r - 7 + 28 = 0. Is (-114)/r + 2/(-7) a multiple of 14?
False
Let f(r) = -9 - 4*r - 16 - 11*r + 19. Is 27 a factor of f(-4)?
True
