tiple of 10?
False
Let o(r) = -3*r + 119. Suppose -3*m - 1 = -1. Is o(m) a multiple of 22?
False
Let y = -1 + 4. Suppose y*g = g. Is 19 a factor of -6*(g - 114/9)?
True
Suppose -x = 5*m - 1310, 2*m - 828 = -2*x - 312. Is m a multiple of 4?
False
Let i(a) = -7*a - 3. Let m(k) = k**2 + 11*k + 6. Let c be m(-10). Does 5 divide i(c)?
True
Let l be (-68)/(-51) - 392/(-3). Let w = l + -94. Does 18 divide w?
False
Suppose 29 + 119 = 2*d. Is 2 a factor of d?
True
Suppose -522 = -a - 13*t + 8*t, -4*t = 2*a - 1032. Is a a multiple of 16?
True
Let a = 16 - 16. Suppose z + 0*z = a. Suppose 0 = 5*p - z*p - 320. Is 16 a factor of p?
True
Let d(j) = 3*j**2 - 21*j - 14. Is d(10) a multiple of 19?
True
Let g(t) = 3*t**2 + 8*t - 6 + 0*t**2 + 10*t - 21*t. Let r(s) = -3*s**3 + s - 1. Let y be r(1). Is g(y) a multiple of 16?
False
Let k = -110 - -141. Is 2 a factor of k?
False
Let x(c) = c**3 + 4*c**2 + 2*c - 2. Let r be ((-4)/(-5))/(((-30)/(-25))/(-3)). Is 2 a factor of x(r)?
True
Suppose -7*z + 608 = -4*z - 4*h, 0 = -2*z + 3*h + 406. Is z a multiple of 20?
True
Suppose 11*b = 9*b - 10. Let t = b + 9. Suppose 2*d + 44 = t*d. Is d a multiple of 7?
False
Let d(z) = z**2 - 8*z + 14. Let t be d(6). Suppose -t*c + 207 = 63. Does 18 divide c?
True
Suppose 0*x = x. Suppose 7*o = 2*o + w + 922, x = 3*o - 5*w - 540. Suppose -l - o = -4*k, 2*l = l + 3. Is k a multiple of 17?
False
Let a(u) be the third derivative of -13*u**6/60 - u**4/24 - u**3/6 + u**2. Let z = -5 - -4. Is 10 a factor of a(z)?
False
Suppose 4*r = -5*z + 2615, -5*r - 2*z + 1734 + 1522 = 0. Is 13 a factor of r?
True
Let h be (-4 - 1) + 97 + 23. Suppose -5*v - h = -n, 0 = -v - 3 + 4. Is 12 a factor of n?
True
Let k(i) = 20*i**3 + 6*i**2 + 5 - 2 + 2*i - 21*i**3 + 1. Let b(w) = -3*w - 4. Let h be b(-3). Is 13 a factor of k(h)?
True
Let r(l) = -l**3 - 9*l**2 - 9*l - 10. Does 10 divide r(-10)?
True
Let t = -1313 - -2006. Is t a multiple of 21?
True
Let h(i) = i**3 + 10*i**2 + 18*i + 11. Let c be h(-8). Does 46 divide -3308*c/120 - 1/(-6)?
True
Is 4 a factor of (384/(-112))/(3/(-14))?
True
Let v(a) be the first derivative of 10*a**3/3 - a**2 + 2*a + 2. Let y be v(1). Is 1656/33 - y/55 a multiple of 25?
True
Let f be 0/(-2)*(0 - 1). Suppose 4*d - h = 14, -2*d + f*h + 12 = -3*h. Suppose 0 = 7*p - d*p - 48. Is 5 a factor of p?
False
Let y be 1/4 - (-95)/20. Suppose y*g = t + 208, 3*g - 5*g + 80 = -2*t. Is g a multiple of 22?
False
Suppose 3*m = 5*z - 686, 676 = 5*z - 2*m + 4*m. Suppose 4*y - 310 = -2*p, -4*y = -2*p - z - 162. Is y a multiple of 19?
True
Let p(b) = b**2 - b - 6. Suppose 3*x = 2*q, 3*q - x = 14 - 7. Let l(t) = -t - 2. Let i be l(q). Is 8 a factor of p(i)?
True
Suppose t + 50 = 2*t. Suppose 34 = 4*u + 4*b - t, -u - 2*b = -25. Is u a multiple of 7?
False
Suppose -5*j + 15 = 0, 0 = -v + 3*j + 92 + 279. Is 5 a factor of v?
True
Let g(j) = j**2 + 13*j - 39. Is 3 a factor of g(-17)?
False
Let j = -10 + 34. Let x be 4/(j/45)*-2. Let n = 27 + x. Is 6 a factor of n?
True
Suppose -2*b = 3*c - 2, 5*c - 4*b + 7 = 25. Suppose 0 = -3*k + 2*i + 39, -c*k + 67 = 3*k - 4*i. Is 11 a factor of k?
True
Let m = -267 - -442. Let j = -101 + m. Does 21 divide j?
False
Suppose 2*i = 5*i + 2*g - 106, 4*i - g = 145. Is i a multiple of 36?
True
Let b = -432 + 2214. Is b a multiple of 33?
True
Suppose -14 = -k - 0*k. Suppose -w + 1 = -k. Is w a multiple of 3?
True
Suppose 0*u = -2*u + 30. Let d be (13 - u)*-1*1. Suppose 3*z = -5*s + 35, 6*z = d*z - 5*s + 55. Is z a multiple of 19?
False
Let d = 147 - 32. Let z = d + -219. Let l = z - -156. Does 13 divide l?
True
Suppose 7*a - 2013 = 2719. Is a a multiple of 52?
True
Let h = 10 + -7. Let m be (-1)/(3/((-18)/h)). Suppose 0*p + 105 = 4*p - 3*g, 5*g = m*p - 63. Is p a multiple of 14?
False
Suppose 22*v + 130 = 5*g + 26*v, 3*g - 78 = 4*v. Is g a multiple of 26?
True
Let m(k) be the second derivative of -5*k**3/6 - 25*k**2 + 38*k. Is 15 a factor of m(-16)?
True
Suppose 0 = -3*f + 33 - 3. Let c(x) = 4*x**2 - 20*x - 16. Is 23 a factor of c(f)?
True
Let o = -56 + 69. Is 2 a factor of o?
False
Is (8 + 0 - 6) + 5 + 1196 a multiple of 20?
False
Let o(k) = 15*k**2 + k + 1. Does 7 divide o(-4)?
False
Let o be (-246)/(-36) + -7 - (-778)/(-12). Let y = 79 + o. Does 7 divide y?
True
Suppose 22 = l - 2*x, 146 = l + 4*l - x. Suppose -2*b + l = -24. Is 9 a factor of b?
True
Let y(h) = 93*h**2 - 5*h + 8. Is y(3) a multiple of 30?
False
Suppose 4 = 2*s - 6, 3*s + 153 = 4*u. Let w = -60 + 111. Suppose -3*j = 5*c - 265, -3*c - u - w = -j. Does 15 divide j?
True
Is 18 a factor of 2 + (-3)/(18/(-1716))?
True
Suppose -5*m = -3*n - 5, n + 2*m - 6*m + 11 = 0. Suppose 8*b - n = 3*b. Is 12 a factor of 0 + 24 - 0/b?
True
Suppose 0 = -16*f + 7920 + 1600. Is f a multiple of 47?
False
Suppose -f = 6*f - 3339. Is f a multiple of 53?
True
Let q = 398 - 268. Suppose -4*r + 130 = -q. Is r a multiple of 13?
True
Let u(h) = h**3 + 28*h**2 - 60*h + 3. Let l be u(-30). Suppose l*j - 50 = 7. Does 19 divide j?
True
Let u(g) = -g**2 - 33*g - 62. Let o be u(-29). Let v = 67 - o. Does 4 divide v?
False
Let a(d) = 2*d + 93 - 106 + 7*d. Does 20 divide a(6)?
False
Suppose 0 = 2*j + 3*y - 964, 5*j - 4*y = 4*j + 493. Is 15 a factor of j?
False
Is 26 a factor of 21554/208 - 9/(-24)?
True
Let t = 33 - -55. Is t a multiple of 8?
True
Suppose 0 = -t + 1 + 7. Let v be t*2*15/3. Let z = -44 + v. Is z a multiple of 9?
True
Let z(y) be the third derivative of -y**4/24 + y**3/2 + 3*y**2. Let o be z(0). Does 12 divide o - (4 + -3 - 10)?
True
Let i(a) = a**2 - 15*a - 6. Suppose -2*g - 5 = -g. Let x(l) = -2*l**2 + 31*l + 12. Let r(q) = g*i(q) - 2*x(q). Is r(13) even?
True
Is 4850/15 + (-1)/3 a multiple of 12?
False
Suppose 4*k = 2*z + 7*k - 310, -k - 620 = -4*z. Does 9 divide z?
False
Let k be (-2)/(1/(14/4)). Let x(g) = -5*g - 10. Let c be x(k). Suppose c = 5*s, 3*w + 3*s - 61 = -2*s. Does 6 divide w?
True
Is (-57)/(-19) + (267 - 0) a multiple of 9?
True
Let l(h) = -8*h - 4. Let a be l(-1). Suppose 4*z = -4*m + 68, 3*m - 9*z - 43 = -a*z. Is 6 a factor of m?
False
Suppose 0 = 81*k - 99*k + 20808. Is k a multiple of 78?
False
Let z be -4 - ((-9)/(-6) - (-51)/2). Is (-3441)/z*(-2)/(-6) a multiple of 4?
False
Suppose -2*l = -3*l. Let j(b) = -2*b**2 + 2*b + 25. Is 20 a factor of j(l)?
False
Suppose 5*o - 2*g = 2*g - 637, 0 = -o - 3*g - 135. Let r = o - -289. Is 10 a factor of r?
True
Let k(n) = 34*n - 8. Is k(4) a multiple of 8?
True
Let c be 1/3 + 26/(-6). Is 16 a factor of (64 - 1) + (-4)/c?
True
Suppose -16*a = -20*a + 10276. Does 41 divide a?
False
Suppose -8*w + 10*w = -12. Let t be ((-8)/(-6))/(w/(-369)). Suppose -4*r + t = -46. Does 32 divide r?
True
Suppose -2*a + 25 = 3*s, 2*s = -0*s + 2*a. Suppose -2 = v, s*h - 424 = h + 4*v. Is 13 a factor of h?
True
Suppose -5*r = r + 162. Let f = -7 - r. Is 5 a factor of f?
True
Suppose -f = -0*f - 5, m + 4*f = 31. Let j = m + -11. Suppose 8*z - 6*z - 58 = j. Is z a multiple of 29?
True
Suppose -7*o - 75 = -2*o. Let r = o + 21. Suppose 3*n - r = -0. Does 2 divide n?
True
Let c = 1341 - 985. Does 18 divide c?
False
Let n(s) be the third derivative of -5*s**4/24 - 7*s**3/6 - 2*s**2 - 2*s. Suppose 0 = -4*y - 4*u - 32, y + 2*u + 13 = -0*y. Is n(y) a multiple of 4?
True
Suppose 25 = 7*j - 2*j. Suppose 2*l = 1 + j. Suppose 2*h + 2*h - 4 = 0, -l*h + 173 = 5*q. Is 10 a factor of q?
False
Suppose 119*l = 114*l + 5655. Is 13 a factor of l?
True
Let i be (-4 + 8 - 4)/(-3). Suppose i = -3*z - 27 + 159. Let g = 78 - z. Is g a multiple of 11?
False
Let a(y) be the second derivative of y**4/12 - 17*y**3/6 + 13*y**2/2 - 2*y. Let n be a(16). Is 105/7*(-2 - n) a multiple of 5?
True
Let q = 1392 + -2523. Is q/(-7) - 3/(-7) a multiple of 18?
True
Let z(w) = -2*w**2 + 19*w + 6. Let p be z(14). Is ((-576)/p)/((-6)/(-140)) a multiple of 19?
False
Let d = -2 + -12. Let q = -10 - d. Suppose -p + g = -5, -4*p - q*g = p - 34. Is p a multiple of 2?
True
Suppose 82*n - 6*n - 105412 = 0. Is n a multiple of 23?
False
Suppose -5*d - 13 = -33. Suppose 2*f - 15 = -a + 4, 73 = d*a + 5*f. Is a a multiple of 10?
False
Is ((-168)/588)/(2/(-12943)) a multiple of 36?
False
Let u = 171 + -52. Is u a multiple of 7?
True
Let p(x) = -x - 1. Let b(z) = z**2 + 2*z - 2. Let i(a) = -b(a) - 3*p(a). Let r be i(-4). Is (r/10)/(3/(-82)) a multiple 