j be (15 - 14)/(1/3). Suppose -4*g + h + 87 = 0, -4*h + 0*h - 62 = -j*g. Does 5 divide g?
False
Suppose 9*m + 168 = 13*m. Does 7 divide m?
True
Suppose -h + 4*f = -21, -5*h + 4*f + 60 = -h. Does 13 divide h?
True
Suppose -5*g - 4 - 6 = 0, -24 = -4*n + 2*g. Let a be -2 + n*3 + -2. Suppose -u = -a + 4. Is u a multiple of 3?
False
Let r = 62 + -34. Does 14 divide r + -1 + -3 + 4?
True
Suppose -g + 6 - 52 = -4*y, 5*g - 23 = -3*y. Is y a multiple of 6?
False
Let v be -5 - -2 - -4*29. Suppose v = 2*t + 13. Does 19 divide t?
False
Suppose 0 = -11*p + 9*p + 304. Is p a multiple of 30?
False
Suppose -3*g + 2*s + 0*s = -5, 35 = 2*g + 5*s. Suppose -b - g*c + 2 = -0, -3*c = b - 6. Is 12 a factor of b?
True
Let a = -63 + 12. Let d = -33 - a. Is 9 a factor of d?
True
Let v(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let b be v(-2). Suppose -b*i + 51 = -13. Let h = i - 10. Is 3 a factor of h?
True
Let m = -26 + -22. Let o = -27 - m. Is o a multiple of 21?
True
Suppose 3*m - x + 6*x = 52, 3*x - 33 = -2*m. Is m a multiple of 9?
True
Let o be ((-2)/2)/(3/(-183)). Let x = -41 + o. Does 13 divide x?
False
Let n(z) be the third derivative of -z**4/12 - 5*z**3/6 - 2*z**2. Let r be n(-5). Suppose 0 = -5*a - 5*l - 26 + 96, 0 = r*a + 2*l - 76. Is a a multiple of 7?
False
Suppose 3*d + 9 + 13 = -4*b, -16 = 2*d + 3*b. Is (2 - (-28 - 3)) + d a multiple of 5?
False
Suppose 0 = 5*u - u - 16. Suppose 3*v + 17 = u*v. Is 7 a factor of v?
False
Let f = 6 + -4. Suppose 0 = -o - 4 - f. Let r = o + 11. Is 5 a factor of r?
True
Let a(x) = x**2 - x. Let m(j) = j**3 + 3*j**2 - 8*j + 4. Let l(y) = -5*a(y) + m(y). Suppose -3*s = -2*s - 3. Does 2 divide l(s)?
True
Suppose 3*p = 3*d + 6, 4*p - 2*p = 10. Suppose 0 = -d*o + 7*o - 12. Suppose o*z - 43 = 65. Is z a multiple of 13?
False
Let u be 7/(-14) + (-2)/(-4). Suppose u = -5*d + d - 2*p + 162, -12 = 4*p. Does 21 divide d?
True
Let d(w) = -31*w + 1. Let x(b) = b + 13. Let h be x(-6). Suppose 0*p + 9 = -3*p - 3*l, h = -p - 3*l. Is 16 a factor of d(p)?
True
Let q = 1 + 2. Suppose 9 = q*y - 0*y. Suppose c - 24 = -y*c. Is 4 a factor of c?
False
Suppose -4*w = 2*l - w + 43, -4*l + 3*w = 77. Let i be (2/(-5))/(4/l). Suppose -i*t = -t - 12. Is t a multiple of 6?
True
Suppose h - 2*h + 11 = 0. Let c(i) = i - h*i**3 - 19 + 19. Is c(-1) a multiple of 5?
True
Let t(b) = -38*b**3 - 4*b**2 - 4*b - 2. Let h be t(-2). Suppose 4*d - h = 138. Suppose -3*m - 4*o + d = 0, 5*o = 4*o + 3. Is 14 a factor of m?
False
Suppose -405 = -12*r - 21. Is r a multiple of 4?
True
Let c(b) = b - 1. Let s be c(4). Let y = -6 - -53. Suppose s*u = y - 17. Is u a multiple of 10?
True
Is -6 + (-3 - -5)*143 a multiple of 35?
True
Let r(m) = -3*m + 5. Let g be r(4). Let b(p) = -p**3 - 6*p**2 + p - 7. Does 9 divide b(g)?
False
Suppose 9 = 4*l - 11, -3*x + 225 = -3*l. Does 8 divide x?
True
Let n(o) = -19*o**2 + o. Let m be n(5). Is 24 a factor of m/(-8) + (-2)/(-8)?
False
Is 10 a factor of 8/(-36)*3*-66?
False
Let n(g) = 5*g**3 + g**2 - 3*g + 2. Is 10 a factor of n(2)?
True
Let p = -12 - -14. Does 14 divide (-2943)/(-36) + p/8?
False
Does 16 divide ((-15)/2 - 2)/(1/(-12))?
False
Let t(n) be the first derivative of -3*n**2 - 2*n - 2. Is t(-1) a multiple of 4?
True
Let n(r) = 2*r**2 - r - 1. Let x be n(2). Suppose a - 10 = 21. Suppose -25 = x*z, -3*l + 4*z + 34 = -a. Does 5 divide l?
True
Let h(t) = t - 1. Let y(r) = r**2 + 12*r + 7. Let p(s) = -h(s) - y(s). Let o(v) = -v**2 - 7*v + 2. Let c be o(-8). Is p(c) a multiple of 13?
False
Suppose 3 = 5*o - 17. Let j = -4 + o. Suppose j*l - 123 = -3*l. Is 15 a factor of l?
False
Is (5/(-4))/(10/(-200)) a multiple of 21?
False
Let g(r) = -4*r**2 + 5*r**2 - 5 + 8*r + 1. Does 12 divide g(-10)?
False
Suppose 2*q + 0*q - 32 = 0. Does 16 divide q?
True
Let f = -8 + 10. Suppose -3*m - f*i - 4 = 3*i, 2*i = 2*m - 24. Is 7 a factor of m?
True
Let y be ((-8)/5)/((-3)/15). Is 26 a factor of (-104)/(-6)*36/y?
True
Let m(u) = 0 - 3 + 3*u**3 + 5*u - 4*u**3 - 3*u**2. Let h be m(-4). Let f(r) = -r**2 - 9*r - 3. Is 11 a factor of f(h)?
True
Is 2 a factor of ((-52)/12)/((-2)/6)?
False
Let m(r) = 7*r + 5. Let d be m(4). Let h = 63 - d. Is h a multiple of 15?
True
Let m(y) = 42*y - 5. Does 20 divide m(3)?
False
Let m(z) = z**3 + 6*z**2 - 7*z. Let c be m(-7). Suppose c = -o + t - 22, -3*o - 66 = 4*t + t. Let l = o + 52. Does 11 divide l?
False
Suppose 2*o - 840 = -3*o. Suppose 4*p - o = -5*n, 2*p - 5*n = 3*p - 42. Does 20 divide p?
False
Let x(f) = -f + 78. Does 13 divide x(0)?
True
Let u(q) = q**2 + 3*q + 4. Let x be u(-3). Suppose 2*l - x*l = 552. Is 4/(-10) + l/(-15) a multiple of 9?
True
Suppose 0 = -5*n + 164 + 96. Is n a multiple of 11?
False
Let c be 4/(-14) + 23/7. Let z(q) = 8*q + 3. Is 27 a factor of z(c)?
True
Let c = -9 - -12. Suppose 3*q - 21 = -c*n, 0*n - 21 = -3*n + 4*q. Does 2 divide n?
False
Let o = 78 - 72. Is o a multiple of 3?
True
Suppose -3*y + 2*v + 12 = 0, -2*y = -y + v + 1. Suppose l - y*p - 56 = 0, -2*p - p = -5*l + 287. Does 20 divide l?
False
Suppose 10 = -4*a + 30. Suppose a*f - 3 - 47 = 0. Is f a multiple of 4?
False
Suppose 13 + 2 = 3*t. Suppose -t*s + 66 = -134. Is s a multiple of 13?
False
Let s(z) be the first derivative of 17*z**2 - z - 7. Is 11 a factor of s(1)?
True
Suppose 0 = 4*n - 4, 2*n = 5*y - 3*n + 55. Let k = -6 - y. Is k a multiple of 4?
True
Suppose -4*x - 192 = -r, -1024 = -5*r - 0*x + 4*x. Is 26 a factor of r?
True
Let o be 22/6 - 3/(-9). Suppose o*b - 62 = -14. Suppose 2*f + b - 52 = 0. Does 10 divide f?
True
Does 13 divide 298/8 + (-1)/4?
False
Let p(b) = -b**2 - 7*b + 4. Let u be p(-8). Let a = u + 7. Does 15 divide (-16)/a*(-15)/2?
False
Suppose 92*y - 94*y + 80 = 0. Does 6 divide y?
False
Suppose -2*z = 2*z + 64. Is 17 a factor of 270/24*z/(-6)?
False
Let l(a) = 12*a + 16. Is l(14) a multiple of 31?
False
Is (6/(-1))/(6/(-22)) a multiple of 11?
True
Let q = -409 + 590. Does 14 divide q?
False
Suppose 8*m - 3*m - 80 = 0. Is m a multiple of 4?
True
Let y(h) = -10*h - 10. Let u be y(-6). Let j = u - 34. Is 5 a factor of j?
False
Let r = 5 - 3. Is 15 a factor of 46 + r*(-9)/(-6)?
False
Let g(p) = p**2 - 4*p + 29. Is g(-9) a multiple of 5?
False
Let i be ((-12)/((-6)/2))/2. Let n(v) be the third derivative of v**4/2 + v**3/3 - v**2. Is 13 a factor of n(i)?
True
Let b = 26 + -17. Is b a multiple of 3?
True
Let n(k) = k**3 + 3*k - 4. Suppose -11 = -b - 4*c, 4*b + 1 = 5*b - c. Does 9 divide n(b)?
False
Let x = 48 - 7. Let j = -68 + x. Let b = -17 - j. Does 10 divide b?
True
Let y(h) = 17*h + 2. Let l(r) = 8*r + 1. Let p(g) = 9*l(g) - 4*y(g). Does 2 divide p(1)?
False
Suppose 0 = -j + 12 + 42. Is j a multiple of 12?
False
Let c be 24/(-5)*(-120)/36. Is -1*1 - (-7 - c) a multiple of 7?
False
Is 2 - 4/4*-36 a multiple of 6?
False
Let j(g) = -3*g**3 + 3*g**2 + 6*g + 7. Does 3 divide j(-2)?
False
Let u be 23/7 - 2/7. Suppose u*w = 52 + 38. Is w a multiple of 15?
True
Suppose -4*z + 0*z = 4*p - 52, p = 5. Suppose -4*n + 160 = -4*u, z*n + 4*u - 182 = 3*n. Is n a multiple of 19?
True
Suppose -4*k + 228 = -3*q - 114, -3*k = 4*q - 244. Is k a multiple of 7?
True
Let x = -13 - -22. Let r(c) = 7*c - 7. Let z be r(-5). Is 3 a factor of z/x*3/(-2)?
False
Let i(f) = -51*f**3 + f**2. Let r be i(-1). Is 7 a factor of ((-1)/(-1))/(2/r)?
False
Let p(h) = -7*h - 2. Is 5 a factor of p(-3)?
False
Let i(o) = -12*o - 2 + o**2 + 3 - 1. Does 6 divide i(13)?
False
Let k(t) = -t - 1. Let m be k(0). Let r be (-4 - -4) + (0 - m). Is 6 a factor of 3*(-2 - r*-5)?
False
Is 1/(-3) - (-8 - (-79)/(-3)) a multiple of 13?
False
Let i = -22 - -166. Is i a multiple of 45?
False
Let g(u) = -u**3 - 3*u**2 + 5*u + 5. Let j be g(-4). Does 7 divide (j + (18 - 2))/1?
False
Let x = 146 + -208. Let f = x + 103. Let o = f + -15. Does 15 divide o?
False
Let q(l) = -l**3 + 10*l**2 + 3*l - 12. Let u be q(10). Let v be (-4)/u - (-587)/9. Suppose 5*n + 5*j = 144 + 31, 3*j = -2*n + v. Does 20 divide n?
True
Is (3/((-6)/14))/(1/(-17)) a multiple of 31?
False
Suppose 3*k = 1393 - 466. Is 37 a factor of k?
False
Let y(u) = u - 2. Suppose 1 = 2*x - 3. Let w be y(x). Suppose -z = -w*z - 13. Is z a multiple of 10?
False
Suppose 2*c = 5*c - 459. Is c a multiple of 20?
False
Let n be (-48)/(-10) + (-5)/(-25). Suppose 0 = -n*i - 5*o + 17 - 2, -2*o = -5*i + 50. Is i a multiple of 4?
