 + 3836 = 5*t, -4*t - 5*z + 3854 = 0. Is 35 a factor of t?
False
Let f(z) = -3*z**3 + 2*z**2 - 1. Let v be f(-1). Suppose 0*s + v = s. Suppose -5*c + s - 15 = -3*a, 0 = -2*a - 3*c + 39. Is a a multiple of 5?
False
Let f(c) = 157*c**2 - 3*c + 2. Let y = -22 + 23. Let o be f(y). Let p = -104 + o. Is p a multiple of 13?
True
Suppose -5*h + z = -639 - 3259, z - 2 = 0. Is h a multiple of 30?
True
Let k(q) = -80*q + 13. Does 2 divide k(-2)?
False
Is 6 a factor of (3*27/45)/(6/2060)?
True
Suppose 5071 + 2834 = 17*c. Does 12 divide c?
False
Let t(i) = i - 29. Let p be t(14). Let c = 35 + 5. Is 10 a factor of c/6*p/(-10)?
True
Let s(n) = n**3 - 7*n**2 - 14*n + 19. Let z be s(9). Is z/(-10)*(-4 + 2) a multiple of 3?
False
Let r(a) = 946*a**2 - a. Is 45 a factor of r(1)?
True
Let r(f) = 8*f**2 - 2*f + 6. Let y be r(-4). Suppose -4*q + 86 = -y. Is q a multiple of 11?
False
Suppose -10*w - 99 = -879. Is w a multiple of 13?
True
Let z(l) = 6*l**3 + 5*l**2 + 2*l + 24. Let g be z(-4). Let y = g - -589. Does 43 divide y?
True
Suppose 0*v - 1 = 2*f + 5*v, 5*v - 23 = f. Let m = 10 + f. Is (-6)/(-3 + 3 - m) a multiple of 2?
False
Let h be 14/(-2) + 0 - 5. Does 9 divide h/(-9)*5/(15/198)?
False
Let l = -508 - -2848. Is l a multiple of 6?
True
Let s be (-44)/(-8) + (-1)/(-2). Let a be s/39 + 171/(-13). Let l = a + 20. Does 2 divide l?
False
Suppose 18*k - 6055 = 11. Is k a multiple of 19?
False
Let v be (-6)/10 - 24/60. Is (-3 - v - 0) + 53 a multiple of 16?
False
Suppose 4*j = 6*j - 18. Suppose 0 = -6*t + 3*t + j. Suppose -2*g + t*g = 7. Is 7 a factor of g?
True
Let w = -905 - -1314. Suppose 446 = 19*u - w. Is 20 a factor of u?
False
Let c be 272/44 - (-2)/(-11). Suppose 0 = -m - 2*s - 56, 3*s - c + 3 = 0. Let w = m + 86. Is w a multiple of 11?
False
Suppose 0*x = x + 3. Let h = x + 52. Is 19 a factor of h?
False
Suppose -52 - 3 = -5*r. Suppose 15*u - 52 = r*u. Is 13 a factor of u?
True
Let s(f) = 81*f**2 - 10*f + 22. Is s(4) a multiple of 16?
False
Let s(i) = -25*i + 3. Let w be s(-4). Suppose 5*b - 420 = 4*g, -4*g + 37 + w = 2*b. Suppose -2*n - 20 = -j, 0*j - n - b = -3*j. Is j a multiple of 28?
True
Suppose 3 - 8 = -d. Let y(b) = 2*b - 7. Let r be y(d). Suppose r*t = 84 + 21. Is 20 a factor of t?
False
Suppose 44*b - 71*b + 35694 = 0. Is b a multiple of 52?
False
Suppose 17*m = 21*m + 4. Let q(c) = 20*c**3 - c**2 - c - 1. Let i be q(m). Is 10 a factor of (-7)/i + 59/3?
True
Does 4 divide -7*((-75)/(-21) - (-30)/(-6))?
False
Suppose -10 = 3*f - 19. Suppose f*c = -c + 188. Is c a multiple of 18?
False
Let x(s) = -s. Let i(u) = 30*u + 4. Let p(m) = -i(m) - 5*x(m). Is p(-2) a multiple of 23?
True
Is 11 a factor of -1 - (0 + (-4 - (178 - -5)))?
False
Let k be (8/(-12))/(4/18). Let r be k*2/(2/(-1)). Suppose -o + 48 = 2*b + r, -3*o + b = -170. Does 8 divide o?
False
Let f be 3/(-6)*48/3. Let b(q) = -q**2 - 10*q - 7. Let t be b(f). Let d(l) = -l**2 + 9*l + 12. Is d(t) a multiple of 12?
True
Let r(y) = y - 8. Let f be r(11). Suppose f*a = a + 8, 2*a + 2 = -5*l. Let p = l - -8. Is 6 a factor of p?
True
Let y = -50 - -54. Suppose -y*z = -2*z - 238. Is 17 a factor of z?
True
Let p(j) = 32*j**2 - j + 5. Let n be ((-4)/14)/((-6)/42) - 4. Is 45 a factor of p(n)?
True
Let b(s) = 7*s - 43. Let l be b(7). Does 33 divide ((-30)/(-8))/(l/176)?
False
Let i = 149 + 281. Does 43 divide i?
True
Let s = -8 + -13. Let n = s + 38. Is n a multiple of 10?
False
Suppose -130 + 1282 = 8*c. Let v = -7 + 11. Suppose -4*s + c = v*h, 2*s = 4 + 2. Is 11 a factor of h?
True
Let o be 660*4/(-8)*-1. Suppose -2*h - o = 3*h. Let p = 92 + h. Is p a multiple of 6?
False
Let p(a) = 9*a**2 - 2*a - 1. Suppose 0 = 2*f + 2*h - 4*h - 24, 2*h = 8. Suppose -5*l - f = x, -4*x + 5*l + 7 = -4. Does 3 divide p(x)?
False
Let s be (0/(-7))/(-2*1). Suppose 5*u - 446 = -p + 5*p, 5*p - 2*u + 566 = s. Does 19 divide (p/(-4))/3*2?
True
Suppose 0 = -5*x + a + 2 - 12, -5*a + 26 = -x. Is 3 a factor of 3/(x - -4) - 4/(-1)?
False
Suppose 21040 = 17*j - 2556. Is 8 a factor of j?
False
Suppose -5*c = l - 800, 4*c = -2*l + 1066 + 504. Suppose l + 245 = 6*z. Is 12 a factor of z?
False
Let l(u) = 7*u**2 - 13*u - 86. Is l(25) a multiple of 37?
False
Suppose -3*y + 3*l = -l - 112, 3*y - 80 = -4*l. Suppose j + 2*k = 11, -5*j + j - 4*k = -y. Suppose r = j*o - 2, -o - 3 = -3*r + 19. Is 2 a factor of r?
True
Let o(m) = -m + 2*m**2 - 7 - m + 3 - m - 7*m**3. Is 14 a factor of o(-2)?
False
Let z = 575 - 296. Is 9 a factor of z?
True
Let x(c) = -40*c - 15. Let d(r) = -10*r - 4. Let b(q) = -22*d(q) + 6*x(q). Let i be b(-1). Let v = -12 + i. Is v even?
True
Suppose 5*m + u = 215, 3*u = -5*m + 360 - 135. Let j(d) = m*d**2 + 20 - 10 - 11. Does 12 divide j(-1)?
False
Suppose 33*t = 29*t + 1380. Is t a multiple of 15?
True
Let a be (1/2)/((-2)/(-12)). Suppose 0 = 5*u + 15, -42 = a*d + 3*u - 168. Does 9 divide d?
True
Let y(p) = p + 6. Suppose -4*a + 6*a = 20. Does 8 divide y(a)?
True
Let x = 327 - 251. Is 15 a factor of x?
False
Suppose -9*q + 14*q = 380. Is q a multiple of 9?
False
Is 650/75*(-522)/(-12) a multiple of 24?
False
Let p = 14 + 150. Does 7 divide p?
False
Suppose 3*i - 2*o - 3291 = 0, 4*i + 5*o - 2*o - 4388 = 0. Does 25 divide i?
False
Let g(c) = 2*c**3 - c**2 + 6*c - 10. Does 49 divide g(5)?
True
Suppose -j + 0*j + 39 = 0. Suppose 3*a - 209 = -c, -a + 19 + j = -2*c. Let d = a + -38. Does 10 divide d?
True
Let d(f) be the first derivative of -f**3/3 + 18*f + 3. Suppose 3*s = -0*s. Is d(s) a multiple of 9?
True
Let n(l) = -2*l**2 - 1. Let g be n(1). Let b(p) = -2*p + 3*p + 2*p**2 + 4*p**2 + 1 + 0. Does 13 divide b(g)?
True
Suppose -2*p = -3*f + 5, 7*f - 4*f = -2*p + 13. Suppose -f*b + 2*b + 4 = -y, -b + 1 = 2*y. Suppose -2*x = -b*g - 3*x + 60, -6 = -2*x. Is 14 a factor of g?
False
Suppose 3*z - 85 = -2*d, 2*d = 6*z - 5*z + 89. Is d a multiple of 13?
False
Suppose -b - y = -4*b + 32, -4*b + 2*y + 44 = 0. Let n be 1*3 - (b - 13). Is 9 a factor of -3 + n + -1 - -42?
False
Suppose -x - 10 - 8 = 0. Is 5 a factor of 9/(x/(-8))*5?
True
Suppose -18*p = -2028 - 13902. Is 15 a factor of p?
True
Let f(p) = p**3 + 5*p**2 - p + 1. Let m be (-10)/3*(-3)/(-2). Let t be f(m). Does 13 divide t/(4/(832/12))?
True
Let m = 6 - 4. Let y(n) = n**2 - n + 1. Let o be y(m). Does 2 divide (o + 1)*28/16?
False
Let y = 276 - 181. Is 44 a factor of y?
False
Let y(q) = q**2 - 7*q - 7. Let z be y(6). Let a = z + 78. Is 8 a factor of a?
False
Let k(g) = 31*g**2 - 2*g + 1. Is 11 a factor of k(3)?
False
Let m = 447 + 114. Suppose 2*z + 3*u = 5*z - m, 4*z + u - 748 = 0. Does 11 divide z?
True
Let t = -32 - -36. Is 17 a factor of (-2720)/(-35) - t/(-14)?
False
Suppose 75*n - 4720 = 71*n - 4*w, -2*n = -5*w - 2367. Is 11 a factor of n?
False
Suppose -13*m - 792 = -5*m. Let f = m + 141. Is f a multiple of 5?
False
Let a be (-3)/3*17*-8. Let i = a + -66. Let h = i + -28. Is 26 a factor of h?
False
Let h(t) = -2*t**2 + 6*t - 7. Let y be h(-9). Let i = -155 - y. Is i a multiple of 13?
False
Suppose 72 = -0*u + 6*u. Suppose -7*a + u = -9. Suppose -f - 10 = -a*f, 0 = 5*p + 5*f - 115. Is 9 a factor of p?
True
Let q = -54 + 25. Let g = 45 + q. Is g a multiple of 4?
True
Suppose -u - 4 = -2*u, 3*q + 25 = -2*u. Let x(n) = -n**3 - 9*n**2 + 13*n + 5. Let f be x(q). Suppose -10*l = -14*l + f. Does 12 divide l?
False
Suppose 0 = 5*i + 10 + 15. Let w(n) be the second derivative of -n**5/20 - n**4/2 - 7*n**3/6 + n. Is 5 a factor of w(i)?
True
Let y = -8 - -11. Suppose 2*x + 3*j - 223 = 6*j, -y*j = 3. Suppose -4*q + 10 = -x. Does 16 divide q?
False
Suppose 0 = 4*h - 20*d + 16*d - 688, 8 = 2*d. Is 4 a factor of h?
True
Suppose 12 = 4*k, -2 = o + 4*o - 4*k. Let m be (-1 - -5) + 24/3. Suppose 0 = -o*u - 2 + m. Does 5 divide u?
True
Let o be (-4)/(-3)*588/8. Is 2 a factor of o/8 + (-21)/(-28)?
False
Let y(k) be the third derivative of k**6/120 - k**4/24 + 5*k**3 - 10*k**2. Is 10 a factor of y(0)?
True
Let a be 7*(4 + -3) - 2. Suppose p = -a*h - 42, -2*p - 60 = -0*h + 4*h. Let k = 61 + p. Is k a multiple of 10?
False
Suppose 24*h + 7856 = 19592. Does 7 divide h?
False
Let s = -2084 - -3515. Is 60 a factor of s?
False
Suppose 2*l = -l + 69. Suppose 5*g + 4*b + 5 = 0, 2*g + 3*b - 3 = 2. Let x = g + l. Is x a multiple of 10?
False
Suppose -3*m - 4*y - 161 = 0, 3*m + 4*y + 220 = -m. Let z = 