4 = -5*l. Suppose k = l*a + 30, 3*k + 2*a = 50 + 8. Does 11 divide k?
True
Let l(a) = a**3. Let q(j) = 4*j**3 + 8*j**2 - 7*j + 6. Let f(g) = 3*l(g) - q(g). Is 3 a factor of f(-9)?
True
Let i = -13 + 16. Let j(u) = -3*u - 2 - 2*u**3 + 5*u**2 + 3*u**3 - 2*u**3. Does 7 divide j(i)?
True
Suppose -3*z = -4*l + 60, -5*l + 3*z = -2*l - 48. Let q = -4 + l. Is 4 a factor of q?
True
Let n(d) = 2*d - 1. Let j be n(2). Suppose -5*y - 4*w + 83 + 4 = 0, 0 = -w + j. Suppose -3*v = -6 - y. Does 7 divide v?
True
Let n(l) = l**2 - 7*l + 6. Is n(12) a multiple of 11?
True
Let a be ((-16)/(-5))/(4/20). Suppose 3*q + a = -q. Let d = 2 - q. Does 4 divide d?
False
Let t = -158 - -276. Is t a multiple of 16?
False
Suppose 36 = 4*i - 4*o, -5*i - 5*o + 1 = -4. Let x = 4 + i. Is 7 a factor of x?
False
Let u(h) = -h**2 + 6*h - 6. Let g be u(4). Suppose -g*r - r = -78. Is 14 a factor of r?
False
Let j(a) = -6*a - 6. Does 8 divide j(-5)?
True
Suppose d = 3*n + 6, 5*d = n - 5*n - 8. Let j be -8 - (2 + (-2 - d)). Does 12 divide (j/(-6))/(3/27)?
True
Suppose -3 = -i + 5. Let z be (i/(-10))/(2/(-10)). Let n(x) = x**3 - 3*x**2 - 4*x + 5. Does 2 divide n(z)?
False
Let j be (-8)/(0 + (-3)/(-6)). Let n = j - -31. Does 4 divide n?
False
Let w = 166 - 76. Is w a multiple of 18?
True
Let a(j) = -j + 7. Let z be a(4). Let y(d) = 5*d**2 - d + 4 + 1 - d**z - 4. Is y(3) a multiple of 6?
False
Let z be ((-6)/5)/((-6)/40). Let u(d) = -d - 3*d - z + 0*d. Is 8 a factor of u(-6)?
True
Let p(f) be the third derivative of -f**4/6 + 17*f**3/3 + 2*f**2. Let o(q) = -3*q + 23. Let x(k) = -7*o(k) + 5*p(k). Does 4 divide x(-5)?
True
Suppose w - 4*w = 18. Is (w/8)/((-2)/32) a multiple of 8?
False
Suppose d - 35 - 217 = -2*k, -2*k = 4*d - 252. Does 18 divide k?
True
Suppose 0*h - 58 = h. Is h/(-3) - 8/(-12) a multiple of 15?
False
Suppose -35 = -4*b + 149. Does 6 divide b?
False
Let n be (-4)/10 + (-162)/(-5). Suppose -4*p - 2*g = -64, -p + 4*g = p - n. Does 7 divide p?
False
Is 0 + 2 - (-1 + -172) a multiple of 43?
False
Let u(l) = l**3 + 9*l**2 + 8*l + 10. Let r be u(-8). Suppose 3*o - 4*p - 79 = 0, 23 = o - 3*p - r. Is o a multiple of 16?
False
Suppose -3*r - 11 - 1 = 0, 5*r = -2*f + 212. Is 27 a factor of f?
False
Let j = 45 + 40. Is j a multiple of 13?
False
Suppose 0 = 2*o - 3*o. Suppose 0 = -b + 2 - o. Is 2 a factor of b?
True
Suppose -58*z + 61*z - 957 = 0. Does 29 divide z?
True
Let f(a) be the second derivative of a**5/5 + a**4/6 - a**3/3 + a**2/2 - a. Does 5 divide f(1)?
True
Let c = -41 - -57. Does 8 divide c?
True
Does 6 divide (-1)/((11/(-18))/11)?
True
Let n be (-1 + 4721)*20/(-50). Is 13 a factor of (-2)/9 + n/(-72)?
True
Let g(m) be the third derivative of -m**4/24 - 3*m**3/2 - m**2. Is 5 a factor of g(-16)?
False
Let u(m) = -3*m**2 + 6*m - 2. Let l(a) = -7*a**2 + 13*a - 4. Let n(k) = -4*l(k) + 9*u(k). Let j be n(-6). Let p = -2 + j. Is p a multiple of 7?
False
Suppose 84 = -4*v - 2*f + 4*f, -v + f - 21 = 0. Let k = v - 25. Is 13 a factor of 1 + (-1)/(2/k)?
False
Suppose 2*l + 3*t + 6 = -t, -4*l - t + 9 = 0. Is l a multiple of 2?
False
Let f(h) = -51*h - 2. Is 25 a factor of f(-2)?
True
Let j(s) = -s**3 - 10*s**2 - 9*s + 7. Let n be j(-9). Let o be 26/n + 4/14. Suppose 20 = -o*g, 6*y = 3*y + 4*g + 71. Is 17 a factor of y?
True
Let z = 127 + 145. Does 16 divide z?
True
Suppose o = -0*o. Suppose -52 = 3*g - 8*g + 2*q, -2*g + 4*q + 8 = o. Is 6 a factor of g?
True
Let f be 1/4 + (-556)/(-16). Let n = f - 20. Is n a multiple of 5?
True
Let r = 13 + -11. Suppose -r*m = h - 13, 2 = -m - 1. Does 19 divide h?
True
Suppose 5*p - 7 - 4 = i, 3*p = i + 5. Suppose w - 19 = 4*v, 3*w - v - 25 = p*v. Suppose 3*b - 9 = w, -5*s + 5*b - 5 = 0. Is 3 a factor of s?
True
Let n = -47 + 67. Is 5 a factor of n?
True
Suppose -3*d + 3*x + 228 = -x, 0 = -x. Does 16 divide d?
False
Let z(y) = -y. Let f(a) = 46*a - 1. Let b(r) = f(r) + 6*z(r). Is b(1) a multiple of 13?
True
Is 4 a factor of 182/9 + 10/(-45)?
True
Suppose a - 14 = 52. Is a a multiple of 51?
False
Suppose 16 - 134 = -2*f. Is 18 a factor of f?
False
Let k(a) = -a**2 + 16*a + 5. Is 10 a factor of k(8)?
False
Let u(o) = -o**2 - o + 1. Let w(v) = 6*v**2 + 12*v + 1. Let y(t) = -5*u(t) - w(t). Let p be y(-5). Is 27/2*p/6 a multiple of 9?
True
Let i be (1 + (-23)/3)*3. Let f(o) = o**3 - 5*o**2 - 9*o + 1. Let v be f(7). Let t = v - i. Is t a multiple of 20?
False
Suppose -2*c + 7*c + 4*m + 18 = 0, 5*m = 2*c - 6. Does 15 divide (-4)/c + 11 + 2?
True
Suppose -4*t + 224 = -2*p - 2*p, -t - 2*p + 41 = 0. Does 8 divide t?
False
Let k = 155 + -96. Does 9 divide k?
False
Suppose 209 - 897 = -4*d. Suppose -4*j = 28 + d. Is (24/(-10))/(4/j) a multiple of 10?
True
Let u(a) = a**3 - 5*a**2 + a + 5. Let l be u(5). Suppose 0 = w - 10 - l. Is w a multiple of 10?
True
Suppose -5*i + i = -4*b, -5*b = -4*i - 4. Suppose 4*g - 68 - b = 0. Is g a multiple of 5?
False
Suppose h - 10 = -h. Suppose h*r + w - 13 = 2*r, -5*w = -r - 17. Is r a multiple of 2?
False
Is (-662)/(-5) + 26/(-65) a multiple of 18?
False
Suppose 12*w = 1910 + 322. Is 13 a factor of w?
False
Suppose -41 - 7 = -5*r + 2*u, 5*u = 3*r - 25. Suppose -2*c - 3 = -z - 4, 4*c = -2*z - r. Is 8 a factor of c + 19/(1/1)?
False
Let q = 61 - -7. Is q a multiple of 17?
True
Suppose 0 = 6*z - 3*z. Suppose -5*r + z*q - 2*q = -56, -5*q = -15. Does 3 divide r?
False
Suppose 0 = 3*v - 8 - 7. Let z = 11 + v. Is 8 a factor of z?
True
Suppose -3*p + 0 = b - 8, p - 3*b = 16. Let w be (p/(-6))/(4/(-12)). Suppose 3*r - w*d - 3*d = 65, -r = 4*d - 16. Is 10 a factor of r?
True
Let b(l) = -l + 12. Let i be b(13). Let u = -4 + 3. Is 12 + -1 - u/i a multiple of 10?
True
Is (-4)/((-48)/4)*-3 + 4 a multiple of 2?
False
Let l(y) = -y + 7. Does 4 divide l(-6)?
False
Let t(p) be the third derivative of p**6/120 + p**5/60 - p**4/8 + p**3/2 - 3*p**2. Let u be t(-3). Does 7 divide (u/(-15))/((-2)/(-70))?
True
Let x be -2*6/(-4) - 3. Suppose x = -5*g - 1120 + 450. Does 17 divide g*((-5)/2 - -2)?
False
Let t(c) = 2*c**3 - c. Let a be t(1). Is -1 + a - -4*2 a multiple of 8?
True
Let p(n) = n + 6. Let s be p(-4). Suppose 2*k - 3*v - 57 = s*v, 0 = 5*k - 3*v - 133. Is k a multiple of 8?
False
Let y be (-1)/(-1 + 0) - 41. Is 6/4*y/(-30) even?
True
Suppose 0 = -4*t + z + 290, -5*t = -0*t + 4*z - 373. Let f = -46 + t. Does 14 divide f?
False
Let j be -1*(-3)/(-3) - -5. Let q be (8/j)/(2/5). Suppose -q*c - 50 = -10*c. Does 3 divide c?
False
Suppose 4*u = 493 + 143. Let h = 11 + u. Suppose 5*d + 0*d - h = 0. Does 13 divide d?
False
Let r(j) = j**3 - 2*j**2 - 5*j + 2. Let a be r(3). Let x(w) = 3*w**2 + 5*w - 1. Does 9 divide x(a)?
True
Does 37 divide (-2 - -3)*(368 + 11)?
False
Let o = -21 + 44. Does 23 divide o?
True
Let h(g) = g**2 - 4*g - 6. Let a be h(5). Let y be (1/(-1) + a)/(-1). Suppose -5*l = -42 + y. Is l a multiple of 8?
True
Let k(b) = 2*b**2 + 9*b + 5. Suppose 18 = -6*l + 3*l. Does 12 divide k(l)?
False
Let t(x) = -8*x - 33. Is 17 a factor of t(-19)?
True
Let x(a) = 13*a + 2. Let v be x(3). Suppose -4*y + 43 = -v. Is y a multiple of 7?
True
Suppose a + 0*a + 45 = 0. Let z = -27 - a. Does 18 divide z?
True
Let j(m) be the first derivative of 4*m**3/3 - 3*m**2/2 - m - 4. Does 9 divide j(3)?
False
Suppose u - 90 = 3*q, 6*u - 486 = u - 3*q. Does 32 divide u?
True
Suppose m + 10 = 2*n, m + n = -3*n - 34. Let x = m - -38. Is 8 a factor of x?
False
Let g = -230 + 343. Let a = g + -73. Does 10 divide a?
True
Let f(b) = b**3 + 3*b**2 - 7*b - 1. Does 10 divide f(-3)?
True
Suppose 2*p = 5 + 9. Let h(m) = m**3 - 8*m**2 + 8*m + 5. Does 6 divide h(p)?
True
Suppose -27 = -s - 2*s. Suppose -6 = -z + s. Is 15 a factor of z?
True
Suppose -3*g + 2 = c - 3*c, 4*c + 22 = -3*g. Is g/8 + 267/12 a multiple of 11?
True
Let b(z) = z + 10*z**3 + z**2 - 19*z**3 + 8*z**3. Does 5 divide b(-2)?
True
Let x(y) = -y**2 - 4*y + 5. Let r be x(-4). Let i be r/2 + (-2)/4. Suppose 3*p - 4 = i*p. Is p a multiple of 4?
True
Let j(x) = -x**3 + 7*x**2 - 7*x + 8. Let k be j(6). Is 48/k*1/2 a multiple of 5?
False
Let k(j) = -j - 4. Let a be k(-6). Suppose -a*p - 3*p = -35. Let v(w) = -w**3 + 6*w**2 + 10*w - 7. Does 7 divide v(p)?
True
Let k = 30 + -25. Suppose 177 = k*z - 73. Is z a multiple of 10?
True
Let u be 4/12 + (-4)/(-6). Let n be 1 + (-2 + u - 6). Let x = n + 10. Is x a multiple