-55) + j/10 a multiple of 2?
False
Let i = -12 - -22. Suppose -14 = -2*u + 2*n, -5*n + n = 5*u + i. Does 11 divide (0 + 5)*(3 + u)?
False
Let b = -37 - -25. Suppose 4*l = -8 - 16. Does 10 divide (-2)/l - 236/b?
True
Let i = 17 + -12. Suppose 0 = i*o - 0*o + 25, 0 = 2*r + 4*o - 260. Suppose -3*c - 48 = -5*c - 2*h, -5*c + r = -5*h. Is c a multiple of 13?
True
Let r = 375 - 251. Is 21 a factor of r?
False
Let d = 315 - 210. Is d a multiple of 21?
True
Suppose -3*q + 2*o + 386 = 0, -2*q + 5*o + 251 = 10*o. Is 16 a factor of q?
True
Let m(v) = -v**2 + 25*v + 2. Does 3 divide m(23)?
True
Let s(f) = -f**3 + 7*f**2 - 4*f - 5. Let l be s(4). Let r = 6 - 4. Suppose l = 5*y - r*y. Is 9 a factor of y?
True
Is 13 a factor of 30/(-5)*9/(-2)?
False
Is 92 - ((-6)/(-27) - 102/(-27)) a multiple of 21?
False
Suppose 319 = 4*j + 5*s + 23, s = j - 74. Is j a multiple of 7?
False
Let p be (22/(-4) + 2)*-4. Is 298/p + (-12)/42 a multiple of 10?
False
Suppose 2*m = -0*m + 180. Suppose -4*n = -9*n + m. Is n a multiple of 16?
False
Let r = 2 + -1. Let q(d) = 4*d**2 + 8*d - 7. Let k(b) = b - 1. Let l(z) = r*q(z) - 4*k(z). Does 21 divide l(2)?
True
Suppose 0 = -5*c + w + 31, -4*c = w - 20 - 3. Let q = -4 + c. Suppose 2*l - 21 = l - q*h, -l - h = -17. Is l a multiple of 13?
True
Let n(m) = 49*m**2 - m. Suppose 3*r - 2*r - 7 = 4*b, -4*r = 2*b - 10. Is 19 a factor of n(b)?
False
Suppose -c = 4*c - 30. Let j be 3/c + (-579)/(-6). Suppose 35 + j = 4*h. Is h a multiple of 12?
False
Suppose 3*z + 12 = -2*g - 2*z, 0 = g - z - 8. Suppose 0 = 5*w - 2*h, -w = -g*w + h. Suppose -3*q - b + 76 = w, 3*q - 39 - 49 = 5*b. Is 13 a factor of q?
True
Suppose -g + 4*g = -9. Let h be g/(-6)*58*1. Does 14 divide 6/8*(h - 1)?
False
Is 4/(((-21)/72)/(-7)) a multiple of 12?
True
Let r(h) = -h**2 + 9*h + 2. Let w be r(8). Suppose 5 = a - w. Does 15 divide a?
True
Suppose 3*j + 156 = 6*j + 3*x, -3*x - 156 = -3*j. Does 18 divide j?
False
Let z = -20 + 14. Let f = z - -6. Suppose f = -5*k - 0 + 15. Is k a multiple of 3?
True
Suppose 0 = g - 5*z - 50, 21 + 129 = 5*g - 5*z. Let c = -15 + g. Is 7 a factor of c?
False
Let a(p) = -p**2 - 6*p + 7. Let r be a(-6). Let w = r - 1. Suppose 0 = -w*i + i + 55. Is i a multiple of 11?
True
Let c(n) = 2*n**2 - 10*n + 6. Let j be c(6). Let k = -11 + j. Let p = -1 + k. Is p a multiple of 6?
True
Let t be (-2)/(2 + 2)*-4. Suppose -t*p - 89 + 297 = 0. Suppose -4*b + p = -0*r + 4*r, 4*r - 42 = -2*b. Does 11 divide b?
False
Let u(n) = -n + 1. Suppose 0 = -0*p + p + 3*b + 2, 5*b = -2*p - 6. Let h be (6/p)/((-4)/(-32)). Does 3 divide u(h)?
False
Let i = 24 - 16. Is 6 a factor of i?
False
Let a(k) = -k + 4. Let w be a(-4). Let v = w - 77. Does 11 divide (v/6)/((-1)/2)?
False
Let f(m) = 58*m - 1. Let d be f(1). Suppose -2*j + d = -5*t + 6, 0 = -t + 1. Does 10 divide j?
False
Suppose 3*j - 134 - 40 = 0. Does 20 divide j?
False
Suppose 5*j - 11 = 4. Suppose -j*w + 2*w = -33. Is w a multiple of 11?
True
Let j(v) = 15*v + 3. Let s be j(-4). Suppose 0*d + 4*d = -100. Let t = d - s. Is 16 a factor of t?
True
Let r(o) = -o**3 + 5*o**2 - 2*o - 5. Let u be r(4). Suppose 3*c + 8 = -4*j + 57, -19 = -j - u*c. Does 7 divide j?
False
Let j = 5 + -10. Let h be 26/10 - 2/j. Suppose -5*x - 23 = -t, h*x = t - 0*t - 17. Does 8 divide t?
True
Suppose -c = -u + 130, 5*c - 320 = -3*u + 70. Let m = 184 - u. Is 14 a factor of m?
False
Suppose d = 8 - 3. Suppose p - 63 = -5*m + 116, 0 = -3*m + d*p + 85. Is 9 a factor of 2/7 + 830/m?
False
Let s = 48 - -338. Is 28 a factor of s?
False
Suppose -4*r + 216 = 2*q + 2*q, -4*q + 171 = -5*r. Is 15 a factor of q?
False
Let k be ((-1 - -4) + 0)*47. Suppose a + 2*a = k. Is 12 a factor of a?
False
Suppose 0*g - 3*g = 0. Let m(o) = o**3 + o**2 - o + 3. Let j be m(g). Suppose 7 = -j*r + 52. Is 9 a factor of r?
False
Let s(b) = b**2 + 13*b + 4. Let y be s(-6). Let f = 6 - y. Is 22 a factor of f?
True
Let b = 6 - 1. Let i = b + 1. Let x = i - -15. Is 7 a factor of x?
True
Does 2 divide ((-60)/3 - 3)/(-1)?
False
Let w(m) = 4 - 3*m**3 - 2*m**3 + 7*m**3 - 3*m**3 - 2*m**2. Let k(b) = b - 3. Let o be k(0). Does 13 divide w(o)?
True
Suppose -3*f + 245 + 85 = 0. Is 21 a factor of f?
False
Suppose -8*q + 4*q = -8. Suppose 30 = q*w - 0*w. Is w a multiple of 15?
True
Let d(v) = v**3 + 4*v**2 - 6*v - 2. Let f be d(-5). Suppose 2*u = u - f*h + 29, 4*h = -4*u + 76. Is 5 a factor of u?
False
Let o(r) = -7*r**2 - 3. Let j(v) = -v**2 - v - 1. Let g(m) = 3*j(m) - o(m). Let h be g(2). Suppose p + 4*p - h = 0. Does 2 divide p?
True
Suppose -9*j = -4*j - 105. Is j a multiple of 7?
True
Let h = -59 - -140. Does 7 divide h?
False
Let x = 94 + -57. Is 23 a factor of x?
False
Let q = -5 + 5. Suppose 166 = 5*m + 5*s - 94, -3*s - 6 = q. Is 18 a factor of m?
True
Let l(y) = -565*y + 3. Let q be l(-3). Is q/42 - (-6)/(-14) a multiple of 17?
False
Let f be 0/(2 - 0 - 0). Suppose 0*n + 2*n + 36 = f. Is 5 a factor of ((-30)/(-8))/(n/(-48))?
True
Let u(w) be the third derivative of 5/6*w**3 + 0*w - w**2 + 1/12*w**4 + 0. Does 13 divide u(4)?
True
Let z = 3 + 1. Let y(n) = 2*n**2 + 3*n. Is y(z) a multiple of 22?
True
Let a(w) = -2*w - 11. Let b be a(-10). Suppose -3*i + 0 = -b. Is 3 a factor of i?
True
Let y(h) = -h**3 + 12*h**2 + 4*h + 16. Is y(12) a multiple of 17?
False
Let p = 96 + -55. Suppose 0 = -5*y - 77 + 222. Let t = p - y. Is 12 a factor of t?
True
Let n = -15 + 50. Is 7 a factor of n?
True
Let v(k) = -k + 1. Let n(f) = -4. Suppose t = -3*t - 4. Let o(z) = t*n(z) + v(z). Is 5 a factor of o(-4)?
False
Suppose 4*w = -0*w - 56. Let g = w + 7. Is 6 a factor of 2 + g/(14/(-8))?
True
Suppose 4*s = 5*g - 37 + 166, -3*g + 189 = 5*s. Is 36 a factor of s?
True
Let o = 253 + -6. Does 13 divide o?
True
Suppose -s - 3 = -2*k, -4*s + 9 + 12 = 3*k. Suppose -6*v + 8 = -2*v - k*w, 0 = 2*v + 2*w - 4. Let m = v - -5. Does 4 divide m?
False
Suppose -112 - 723 = -5*d. Let j = -118 + d. Does 13 divide j?
False
Let b = 1 + -6. Is 1*-1*35/b a multiple of 7?
True
Let j(v) = -16*v - 14. Does 14 divide j(-7)?
True
Let t = 3 + 1. Let k = t + -1. Suppose -2*m + 0*s + 19 = -k*s, 3*m - 34 = -s. Does 8 divide m?
False
Suppose -8*y + 3*y = -420. Let v = -47 + y. Is 13 a factor of v?
False
Let w(y) = -y**3 + 5*y**2 + 4*y - 10. Let z be w(6). Let c = z + 35. Is 4 a factor of c?
False
Let m = 14 + -8. Let p be (-108)/(-14) - m/(-21). Suppose -4*w + p = 0, -i - 3*i - w + 50 = 0. Does 12 divide i?
True
Suppose -1 = -2*p + 7. Let w be 1/p*-2*-10. Suppose -k + 19 - 79 = -4*o, 0 = -w*k. Is o a multiple of 15?
True
Let k = -18 + 19. Does 4 divide (5 - 13)*-2*k?
True
Suppose -3*b = 2*n + n - 39, -b - 35 = -5*n. Let h = n - 3. Does 5 divide h?
True
Let n = -29 + 72. Is n a multiple of 31?
False
Suppose -200 = -3*d - 56. Is 16 a factor of d?
True
Is 5 a factor of -1*-12*9/6?
False
Let t be (450/3)/(-2) + 1. Is 7 a factor of (-4)/12 - t/6?
False
Suppose 3*n - 32 = -y, 0 = 2*y - 3*y + 4*n - 3. Does 5 divide y?
False
Let v = -3 + 1. Is (3/(-2))/(v/16) a multiple of 4?
True
Let b be (-2 - 27/2)*-4. Suppose -c + 2*q = b, 2*c - q + 119 = 2*q. Does 9 divide -2 - (c/(-2))/(-1)?
False
Suppose 5*p - 3 = -2*y + 17, -3*y = -p - 47. Does 8 divide y/6*42/5?
False
Let b(u) be the second derivative of -5*u**3/3 - u**2/2 + 2*u. Does 11 divide b(-4)?
False
Suppose f = -0*l + 2*l - 758, f = -2*l + 750. Is 12 a factor of l?
False
Suppose 7 = -k + 34. Is 27 a factor of k?
True
Let f(w) = w**2. Let x be f(0). Suppose -z + 456 = 5*r, x*z = -3*r + z + 280. Is r a multiple of 18?
False
Suppose 10*t - 132 = 1268. Is 14 a factor of t?
True
Let f(h) = -h**3 + h**2 + 2. Let n be f(0). Suppose -4*r - w + 65 = 0, -2 = r + n*w - 27. Is 15 a factor of r?
True
Suppose 280 = k - 5*j, -3*k + 7*k + 2*j = 1208. Does 20 divide k?
True
Let s be -24*(0 + -3 + 4). Does 11 divide (-484)/s - 1/6?
False
Suppose 0 = -3*o - 3 - 21. Let c = 17 + o. Does 6 divide c?
False
Suppose 4*y = 2*k - 82, 5*k + 2*y - 229 = -0*y. Suppose -2*s + k = -5*s. Is (s/12 - -2)*28 a multiple of 13?
False
Let s = 83 - -7. Is s a multiple of 10?
True
Let n be -3 + 3/1 + -2. Let f be n/(-5) + (-24)/(-15). Suppose -2*s = 5*m - 170, -f*s = -4*m + 46 + 90. Is m a multiple of 9?
False
Let z(d) = 11*d + 5. Let s be z(7). Suppose 2*k = 4, 3*o + 1 - s = -3*k. Is 25 a factor of o?
True
Suppose 4*k - 302 =