-10*a**3 - a**2 - 2*a - 2. Let q be b(-2). Let y be (-7)/(-2)*q/13. Suppose -o + y = 1. Does 9 divide o?
False
Let r be -1*(8/(-4) - -2). Suppose -6*b - b + 392 = r. Is 16 a factor of b?
False
Suppose -2*t + 5*t = 9. Suppose t*k - 132 = -36. Let s = k + 2. Is 17 a factor of s?
True
Suppose 5*z - 5 = -4*a, -2*a - 4 = 5*z - 19. Is ((-14)/5 + 1/a)*-21 a multiple of 19?
False
Does 7 divide ((-650)/30)/13 - 8232/(-9)?
False
Suppose 2*k + 4 = 0, -k + 22 = 4*m - 8. Does 7 divide ((-35)/10)/((-2)/(m - 0))?
True
Let g(p) = 15*p**2 + 5*p + 10. Is 40 a factor of g(3)?
True
Let k(i) be the first derivative of 4*i**2 - 21*i + 7. Let w(s) = -23*s + 62. Let z(h) = -11*k(h) - 4*w(h). Is 5 a factor of z(8)?
True
Suppose 6582 = -28*p + 23242. Is 11 a factor of p?
False
Let w(l) = 33*l - 77. Is 14 a factor of w(7)?
True
Suppose 0 = 2*l - 0*q - 4*q, -2*l + 3 = -q. Is l/((-1 + 2)/(44 + -4)) a multiple of 40?
True
Let i be (-80)/15*(-36)/8. Is (-56)/(-6)*i/16 a multiple of 3?
False
Let q(r) = 16*r - 14. Suppose s - b - 20 = -2*s, -3*s - b = -16. Is 41 a factor of q(s)?
True
Let x(s) be the third derivative of -5*s**4/6 + s**3/6 - 4*s**2. Let l be x(-1). Suppose -18 = -5*w - 4*o, 0 = -3*w - o + 2*o + l. Is 2 a factor of w?
True
Let y be (35/(-42) - -1) + 950/(-12). Let p = y - -190. Is 13 a factor of p?
False
Let j(x) = 7*x**3 - 11*x**2 + 4*x + 5. Let p(f) = -20*f**3 + 33*f**2 - 13*f - 16. Let z(t) = 17*j(t) + 6*p(t). Is 15 a factor of z(9)?
False
Let q = 50 - 47. Suppose -f + q*y + 82 = -0*f, f = 4*y + 83. Does 6 divide f?
False
Suppose -5*h + 136 = -89. Let z = -35 + h. Is z a multiple of 10?
True
Let n(a) be the third derivative of a**5/60 - 5*a**4/12 + 5*a**3/6 + 8*a**2. Let h(j) = j**2 - 9*j + 6. Let b(t) = 6*h(t) - 7*n(t). Does 14 divide b(12)?
False
Suppose -8*b = 148 - 1588. Is b a multiple of 10?
True
Suppose m + 2*m = -5*u + 25, 2*m + 10 = 2*u. Is 5 a factor of -2*(-3 - (m - -8))?
False
Suppose 10*t = 5*t - 130. Is (4 - -1) + -2 - t a multiple of 9?
False
Let s = 1156 - 74. Does 3 divide s?
False
Let v be 64/(-48) - 40/(-3). Let a = v - 9. Is 21 a factor of (5 - a - 23)*-2?
True
Suppose 130 = 5*m - m + 3*t, -3*m - 5*t + 103 = 0. Is m a multiple of 7?
False
Let k(m) = -15*m - 6. Let t be k(-5). Suppose 5*v + 5*y = -0*v + 55, 4*v - t = y. Does 13 divide v?
False
Suppose 0 = -5*i + 5*k + 10, -3 = -3*i - 4*k + 10. Suppose -i*s - 85 = -16. Let v = s - -53. Does 13 divide v?
False
Suppose -5*f = 5*r, 12 = -0*r - 3*r. Suppose 5*w = -f*w + 549. Does 19 divide w?
False
Let m be 15/12*-42*20/(-3). Suppose 0 = 10*l - m - 290. Is 11 a factor of l?
False
Let b = -39 + 57. Let t = b - 6. Suppose -c = t - 49. Does 16 divide c?
False
Let k(l) = 9*l - 1. Let d be k(1). Let c = -9 + d. Is 14 a factor of (c - 1 - 1) + 37?
False
Is 8 a factor of (-553)/2*30/(-35)?
False
Let j be (5/3)/((-4)/(-60)). Suppose q - 5*x = 5*q + j, 0 = -4*q - x - 5. Suppose -90 = -5*d - f - 6, q = -3*f + 12. Is 6 a factor of d?
False
Suppose -k + 6*a - a = -272, 5*k = -2*a + 1252. Let x = k - 152. Is 30 a factor of x?
False
Suppose i - 56 = -31. Does 10 divide i?
False
Let s = 17 + -12. Suppose -2*p - 190 = -s*z, 5*z - z + 4*p - 152 = 0. Does 10 divide z?
False
Suppose -7*g - 1758 = -10*g + 2*r, 0 = -g - r + 581. Is 31 a factor of g?
False
Suppose 354*j + 3996 = 363*j. Is j a multiple of 5?
False
Let i(k) = 3*k + 6. Let w be i(-6). Is (-2 - (-15)/w)*-4 a multiple of 4?
False
Suppose 2*v + 75 = 5*v. Let h = -11 + v. Suppose 0 = -5*d + 89 - h. Is d a multiple of 6?
False
Let y be 0 + 5 - (-2 + 3). Let u = y + -4. Let l = u - -32. Is 14 a factor of l?
False
Is 23 a factor of -70*1*460/(-50)?
True
Let q = -53 + 58. Suppose q*r + 3*a = 150, 4*r - 6*a = -a + 83. Is 9 a factor of r?
True
Let x(a) = -5*a - 13. Let g = 10 - 7. Suppose g*h + 9 = -15. Does 27 divide x(h)?
True
Let n be 1/(((-8)/(-94))/4). Suppose -5*d - 2*o = -d + 34, -4*o - n = 5*d. Is (-2 - d)*-12*-1 a multiple of 18?
False
Suppose 185 - 1810 = -i. Is i a multiple of 13?
True
Suppose w + 0 - 4 = g, -2*w = -4*g - 6. Let x = 9 - w. Let r(z) = 2*z + 4. Is 4 a factor of r(x)?
True
Suppose 6*d = 3*d + 15, -d = 4*n - 7445. Is 60 a factor of n?
True
Let c = -21 + 23. Suppose c*f = -5*h + 61, 2*f - 68 = -h + 3*h. Suppose -5*v - 3*a = -59, 4*v - f = -3*a + 16. Is v a multiple of 10?
True
Let l = -1480 + 2571. Is 15 a factor of l?
False
Suppose 0 = -4*i + 5*s + 49, i + 2*s - 3*s - 13 = 0. Let z = 17 - i. Is 16 a factor of (-48)/((-2 - 0) + z)?
True
Let x(t) = t**2 - 6*t - 1. Let h be x(7). Suppose 3*r - 69 = h*r. Let s = r - -35. Is s a multiple of 3?
True
Let g(q) = -138*q + 194. Is 78 a factor of g(-7)?
False
Does 10 divide (-21509)/(-9) + -3*(-9)/243?
True
Let j(p) = p**2 - 15*p - 5. Let b be j(12). Is 4/(-6) - b/3 a multiple of 11?
False
Let b = 16 + -109. Let z(o) = -o**2 + 29*o - 23. Let h be z(21). Let x = b + h. Is 13 a factor of x?
True
Suppose 2*c + 8 - 6 = 0. Let l be 1/c*(-3 - -3). Suppose n + 3*n - 36 = l. Does 3 divide n?
True
Let b(d) = 2*d - 9. Suppose 2*k = -2*k + 28. Let s be b(k). Suppose 5*j - s*t - 220 = 0, -5*t + 10*t + 181 = 4*j. Is 13 a factor of j?
True
Suppose -3*j + 21 = -4*q, j = 2*j - 5*q - 18. Suppose j*n - 145 = -2*n. Is n a multiple of 12?
False
Let f(r) = -r**3 - 2*r**2 - 2*r - 2. Let p be f(-2). Suppose -238*k = -237*k. Suppose 0*h = p*g + 2*h - 50, k = -5*h + 15. Is 11 a factor of g?
True
Suppose -2*g = g + 351. Let u = -13 - g. Is u a multiple of 19?
False
Suppose 66 = -5*r + 1. Let w = r - -11. Is (1/(-2))/(w/100) a multiple of 18?
False
Let i(c) = -5*c**2 + 2*c**3 + 0*c**2 - 11 + 3 - c**3 - 7*c. Is i(7) a multiple of 5?
False
Let k be -6 + -337 + 2*1. Let i be 8/28 + k/(-7). Let l = i - 34. Is 15 a factor of l?
True
Let c = 59 - 30. Suppose 4*v - v = 4*t - c, -v + 16 = t. Suppose 3*q - 5*h - 132 = 0, -4*h + 94 = 3*q - t. Is 13 a factor of q?
True
Suppose 2*w - 5*c + 6 = -9, 5*w + 9 = 3*c. Is (-1)/3*-3*(w - -164) a multiple of 41?
True
Let m = -1379 + 4129. Is 84 a factor of m?
False
Let n(m) = m**2 - 21*m + 41. Let z be n(19). Let h = z - -6. Does 2 divide h?
False
Suppose -31 = 4*j - 7. Is 32 a factor of j*7/((-63)/174)?
False
Suppose -v + 585 = -366. Is v a multiple of 35?
False
Suppose -5*k + 45 = 2*n, -4*k + 7*k + 4*n = 27. Suppose -14*c + k*c + 400 = 0. Does 11 divide c?
False
Let m = -6 - -4. Let h be (5 + -24)*(-1 + m). Suppose 2*c + f - 76 = 33, c = 2*f + h. Is c a multiple of 14?
False
Let t = 159 - -171. Is 13 a factor of t?
False
Let d = 231 + 341. Is d a multiple of 14?
False
Suppose 25*u = -10*u + 70. Suppose 50 + 65 = 5*a. Suppose 25 = u*o - a. Is 12 a factor of o?
True
Suppose -2 = z, -3*p = -2*z - 17 + 1. Suppose -2*y + 50 = 2*m - 120, 95 = y - p*m. Is 28 a factor of y?
False
Suppose 5*w = -w + 270. Suppose -120 = -47*u + w*u. Does 12 divide u?
True
Let v(g) = -8*g + 42. Suppose -3*c - 29 = 4*d + 18, -4*d = -4*c + 68. Is v(d) a multiple of 14?
True
Let v(t) = 6*t + 5. Let b(p) = p - 1. Let i(h) = 6*b(h) + v(h). Let y be i(-9). Let f = 163 + y. Is f a multiple of 18?
True
Let f be -8 + 5 + (-48 - 0). Let i = -20 - f. Let l = i - 15. Is l a multiple of 8?
True
Suppose 2*c - 5*c = -990. Suppose c = v + 4*v. Does 24 divide v?
False
Let m = 216 - 106. Suppose -7*i + 3*i + g + 455 = 0, 0 = -i + 4*g + m. Does 14 divide i?
False
Suppose 0 = -i + 5*i - 3*v - 4572, 4*i - 4540 = -5*v. Does 12 divide i?
True
Let y(c) = -c + 10. Let g be y(6). Let v be (1 + (-1)/g)*4. Suppose -v*u + 57 = 3. Is u a multiple of 6?
True
Let r(p) = -96*p - 378. Is 126 a factor of r(-21)?
True
Let w(a) = a**3 + 8*a**2 + 9*a + 23. Does 11 divide w(-5)?
False
Let z be (108/(-10))/(24/(-180)). Let v = z + -28. Does 18 divide v?
False
Suppose 6*k + 180 = 9*k. Suppose -4*l + k = 2*l. Does 13 divide (-8)/l + (-294)/(-5)?
False
Suppose -15 = -2*j - j. Suppose -5*m + 24 = -4*m + 2*s, 5*s = j. Is m a multiple of 11?
True
Is 30 a factor of 20/(-2)*1/((-34)/19907)?
False
Let r = 21 + -24. Is 12 a factor of 61 - (r + 12)/3?
False
Let j be 15/40*(-20)/(-6)*-4. Let c = j - -57. Does 15 divide c?
False
Let a be 12/(-1*12/112). Let o = a - -220. Does 12 divide o?
True
Suppose -w + 5 = 3. Is (-2 - (-6)/w)*12*7 a multiple of 28?
True
Let l be 4/(-14) + 352/7. Is 7 a factor of l + 3 + 0/(-4)?
False
Let a = -9 - -7. Let v be 1/a + (-20)/(-8). Supp