uppose -m + y*r + 14 = 0, -4*m + 0*m + r + 63 = 0. Does 5 divide m?
False
Let k(o) = -o**3 + 24*o**2 - 22*o + 2. Let w be k(23). Let z be (25/(-2))/((-2)/8). Let l = z - w. Is 6 a factor of l?
False
Let s(g) = 4*g**2 + 6*g + 5. Let y be s(-1). Suppose -183 = -k - 4*l + l, -y*l + 768 = 4*k. Is 20 a factor of k?
False
Let j = 1791 + -995. Is 31 a factor of j?
False
Is (-6444)/(-54) - (-1)/(-3) a multiple of 23?
False
Let a = -19 - -19. Suppose -2*p + 4*p - 2*m - 262 = a, 0 = 3*p + 4*m - 386. Suppose 10 = -2*i, -5*i = -2*v - i + p. Is v a multiple of 18?
False
Suppose 367 = 4*h - 1473. Does 46 divide h?
True
Suppose 0 = -5*x - 3*h + 1735, -355 = -x + 10*h - 9*h. Is 25 a factor of x?
True
Let g = 12 + -13. Let o be 2 - (0 - (g - 8)). Let a = o - -11. Is a a multiple of 4?
True
Let k(v) be the second derivative of 5*v**4/12 + 23*v**3/6 + 6*v**2 + 36*v. Is k(-6) a multiple of 6?
True
Suppose -31 - 5 = 9*r. Let f = 33 - r. Does 13 divide f?
False
Suppose 4*o = -5*z - 2, -5*o + z = -4*o - 4. Suppose -2*k = -2*h - 30, -42 = -4*k - o*h - 0*h. Is 2 a factor of k?
True
Let r be ((-12)/(-15))/(6/(-15)). Let i = r - -102. Does 25 divide i?
True
Let k = 13 + -19. Let s = k + 5. Is 15 a factor of ((-10)/(-2))/(s/(-9))?
True
Let m = 95 + 480. Is m a multiple of 23?
True
Let p be (-6)/(-21) + (-2)/7. Suppose 4*h - 4*z - 120 = p, -7*h = -2*h + 4*z - 186. Is 17 a factor of h?
True
Suppose 587*v + 25296 = 595*v. Is 17 a factor of v?
True
Let p = -96 - -595. Suppose 2*o = -167 + p. Is o a multiple of 12?
False
Let x(w) = w**3 - 10*w**2 + w - 5. Let n be x(10). Suppose 4*v - f = v - 5, n = 4*v + f. Suppose 2*i = -4*r + 10, 2*i - r - 24 - 6 = v. Does 9 divide i?
False
Suppose -3*j + 5*o = -0*o + 9, -o - 3 = -3*j. Does 6 divide 1/(j/75) - 1/(-2)?
False
Suppose 4*u - 3*v - 72 + 0 = 0, -5*u + 90 = 4*v. Does 3 divide u?
True
Does 22 divide 10 - (-975 - -6) - 11?
True
Let n be (19/((-152)/96))/(1 + 0). Is 2/n + (-2 - 1505/(-30)) a multiple of 4?
True
Suppose 4*q + 2*j - 1040 = 0, 5*q - 1422 = j - 122. Is 10 a factor of q?
True
Let q(a) be the third derivative of a**6/120 - a**5/5 + a**4/2 - a**3/3 + 11*a**2. Is q(11) a multiple of 3?
True
Let k = -32 + 19. Let z = k + 16. Does 6 divide ((-4)/z)/(10/(-135))?
True
Suppose 4*g - 4 = 3*g. Suppose 0 = 5*v - 2*q - 3*q - 460, 0 = -5*v - g*q + 487. Is 15 a factor of v?
False
Suppose 0 = y + 108 + 56. Let j = -56 - y. Is j a multiple of 36?
True
Does 18 divide 5 - (7/3)/(2/(-492))?
False
Suppose q - 333 = -5*g, 5*q - 3*g - g - 1607 = 0. Let t = q - 184. Suppose 0*b - h - 91 = -2*b, 0 = 3*b + h - t. Is 23 a factor of b?
True
Suppose -3*o + 1015 = 5*r, 0 = -3*r + 2*o - 5*o + 615. Does 3 divide r?
False
Let h(r) = 2*r**3 + 10*r**2 + r + 5. Let j be h(-5). Suppose j = -2*k + 2, 0 = 3*l - 0*l + 3*k - 219. Is l a multiple of 25?
False
Suppose 5*q = -5*k + 235, -4*k + 2*q = k - 242. Suppose k = -2*x + 386. Does 35 divide x?
False
Suppose -9*a + 6540 = -3*a. Is a/30 + (-2)/6 + -3 a multiple of 4?
False
Let p = 1414 + 242. Is p a multiple of 18?
True
Suppose -4*y = 2*q - q - 8, -3*q - y = -13. Suppose 84 = q*k - 16. Is 5 a factor of k?
True
Let v = 1324 + -1114. Is v a multiple of 30?
True
Suppose 2 + 2 = 2*q. Does 29 divide (5/5 - q)*-29?
True
Let y(r) = r**3 + 2*r + 231. Does 6 divide y(0)?
False
Let z(t) = -19*t**3 - 4. Let n(y) = -y**3 - 1. Suppose 8*f - 4*f + 20 = 0. Let s(i) = f*n(i) + z(i). Is 3 a factor of s(-1)?
True
Does 55 divide (1533 - -7)*2/4?
True
Let u = 34 - -36. Suppose -x - u = -6*x. Is x even?
True
Let p(h) be the second derivative of h**5/20 - h**4/4 + 2*h**3/3 - h**2 + 54*h. Let q be (0 - (1 + -2)) + 2. Does 4 divide p(q)?
False
Does 36 divide (-5 + 36/8)/(2/(-2448))?
True
Let f = -70 - -60. Let a = 86 + f. Is 3 a factor of a?
False
Let u = 116 - 48. Is u a multiple of 34?
True
Let g(c) = 87*c**2 - 4*c - 4. Does 29 divide g(-1)?
True
Let w(x) = -x**3 - 5*x**2 + 7*x + 6. Let i be w(-6). Let u be (i/((-6)/(-3)))/(-1). Suppose 5*r - 101 - 104 = u. Is r a multiple of 13?
False
Let k be 3/9 - (-208)/(-3). Let u = k - -144. Does 17 divide u?
False
Suppose -2*j - o = 3, 2*j + 0*o - 2 = 4*o. Is 13 a factor of (j - 12/4) + 147?
True
Let l be ((-46)/6 + 0)*-6. Suppose 64 = a - 15. Let i = a - l. Does 10 divide i?
False
Let h(p) = -p**3 + 5*p**2 - 4*p - 5. Let i(l) = l**2 - l. Let a(s) = h(s) + 4*i(s). Suppose -2*t + 37 = -5*k, 4*t - 4*k + 0*k - 44 = 0. Is 12 a factor of a(t)?
False
Let l(a) = 4*a - 2. Let g be l(-8). Let z = 44 + g. Is z a multiple of 5?
True
Let u = 501 + -252. Let t = 597 - u. Is 58 a factor of t?
True
Let f(t) = 41*t**2 - 21*t - 77. Does 13 divide f(-5)?
True
Let d(a) = 2*a**2 - 3*a - 27. Let m be d(18). Suppose 12*j - m = 3*j. Is 3 a factor of j?
True
Let x be (-2)/5 + 98/(-5). Is 37 a factor of ((x/4)/5)/(2/(-520))?
False
Suppose -3*f + 8*f = -25. Suppose -5*v + 4*v - 2 = 0. Is v/5 + (-212)/f a multiple of 14?
True
Suppose 3*r - 5*n + 83 = 558, n = 4*r - 605. Does 5 divide r?
True
Let s(y) = y - 10. Let r be s(10). Suppose -4*p - 3*b + 119 = 0, 0 = -p - r*b + 3*b + 26. Is p a multiple of 9?
False
Let u = 194 - -131. Suppose -15*z + u + 425 = 0. Does 20 divide z?
False
Suppose -5*l = -3*r - 8, 4*r = -2*l + 7*l - 4. Let u be 2/r*(4 - 0). Suppose 5*w - 2*s - 137 = 0, -u*s = 4*w - 4*s - 110. Is 10 a factor of w?
False
Suppose -v - 594 = -4*m + 298, -3*v + 684 = 3*m. Is m a multiple of 28?
True
Let g be (-340)/(-7 + 3) - 1. Suppose k = -79 - g. Let u = k + 311. Is u a multiple of 30?
False
Let y(q) = 20*q - 12. Does 5 divide y(5)?
False
Suppose 4*m = 4*y - 772, -183 = -7*y + 6*y + 3*m. Is 9 a factor of y?
True
Let s(o) = 2*o**2 + 6*o + 3. Let v be s(-2). Is 3 a factor of 54/4 + 6/(-12) + v?
True
Let l(c) = 3*c**2 - 15*c + 17. Let v(j) = -2*j**2 + 8*j - 9. Let s(k) = -4*l(k) - 7*v(k). Is s(-4) even?
False
Let r = -18 - -21. Suppose 5*n + 81 = 3*b, -3*n = -r*b - 4*n + 81. Let l = 41 + b. Is 13 a factor of l?
False
Let y = -183 + 419. Is 15 a factor of y?
False
Let s be 1/(((-2)/18)/(-1)). Suppose -f = s - 10. Is 6/(-2) - -91*f a multiple of 22?
True
Suppose -5*n = -4*y - 5448, 124*n - 121*n - 3*y - 3270 = 0. Is 7 a factor of n?
False
Suppose 2*v = -5*z + 690, -3*z - 485 - 529 = -3*v. Is v a multiple of 20?
True
Let g(l) = l - 3. Let z be g(9). Suppose -z*k + 3 = -9. Is (-29)/(-2)*(k - -4) a multiple of 20?
False
Let x be 24/10*100/6. Suppose q - 2*q = -x. Is q a multiple of 10?
True
Let v = -3 + 8. Let f(j) = 8*j**2 - 6*j**2 + v*j**2 - 9 + 2*j**3 + 6*j - 3*j**3. Is 21 a factor of f(6)?
True
Let u = -5 + 9. Suppose -u*n - 115 = -5*n. Is 23 a factor of n?
True
Let x(y) = -3*y + 40. Is x(-9) a multiple of 11?
False
Suppose 425 = 2*y - 43. Suppose -l = -4*l + y. Does 10 divide l?
False
Suppose 265 = 2*q - 555. Does 25 divide q?
False
Suppose 2 = -3*q + 8. Suppose -4*g = -q*m - 4 - 4, g = 3. Suppose 3*j - 53 = m*j - 5*h, 0 = -4*h. Does 19 divide j?
False
Let k(r) = 9*r + 7. Let w(a) = -10*a - 8. Let y(p) = -7*k(p) - 6*w(p). Does 4 divide y(-7)?
True
Is 29 a factor of 6/108*-87*-54?
True
Let q be ((-3)/(-1) - 7) + 2916. Suppose i = -13*i + q. Is i a multiple of 11?
False
Suppose k + 3*o = -7, o = 5*k - 3*k. Does 14 divide 5 + (k - -4 - -76)?
True
Is 29 a factor of (-6400)/(-12) - 6/18?
False
Let w = -27 - -31. Suppose w*q = 10 - 2. Does 14 divide 27 - ((0 - 3) + q)?
True
Let h be ((-6)/18)/((-1)/9) - -102. Is h + -2 + (-4 - -4) a multiple of 14?
False
Suppose -2*j + 5*m = 664, -j - 76 = -3*m + 256. Let f = j + 523. Does 18 divide f?
False
Let k(q) = q**3 + 1. Let w(f) = 2*f**3 + 5*f**2 + 2*f + 5. Let l(c) = 4*k(c) - w(c). Is l(4) a multiple of 11?
False
Let d(c) = c**3 - 9*c**2 - 9*c - 14. Let i be d(10). Let p be i - (-81)/(-3)*-1. Suppose -3*x - 8 + p = 0. Is 5 a factor of x?
True
Let v(k) = -k**2 - 9*k - 2. Let n be v(-10). Let b be (9/12)/((-1)/n). Suppose -3*i + w = -64 - b, -i = -5*w - 1. Is 22 a factor of i?
False
Let o be (-1)/(-4) - 195/60. Does 4 divide o + 3 - 1 - -12?
False
Let t(r) = -14*r**3 + r**2 - 6*r - 9. Let s be 5/2*4/(-5). Is 17 a factor of t(s)?
True
Let x(i) = i**2 + 12*i - 39. Is x(-16) even?
False
Suppose 150 = 5*z - 4*t, 2*z - 20 = 5*t + 23. Suppose -2*c = -402 + z. Is c a multiple of 8?
True
Suppose -4*x = -u + 36 - 9, 0 = -4*u + 2*x + 38. Let v = u - 2. Suppose -68 = d - 5*d - 4*j, 4*d 