-9*c - 13. Let i be p(-7). Suppose 0 = -j + 56 + i. Does 9 divide j?
False
Let a(c) = 11*c**2 - 2*c + 20. Is a(7) a multiple of 82?
False
Suppose -4*t + 0*t = 0. Let d be (t/2)/(-3) - -14. Suppose 2*v - 8 = d. Is v a multiple of 5?
False
Let m be (-3)/(36/(-16))*-12. Let q(h) = -h**2 - 18*h + 8. Is q(m) a multiple of 10?
True
Let i = 3 - -1252. Does 16 divide i?
False
Let b(k) = -2*k**3 - 2. Let d be b(-2). Does 3 divide (d + 1)*(15 + -14)?
True
Suppose -265 - 155 = -4*n + 4*p, 5*p = 3*n - 315. Is n a multiple of 50?
False
Suppose 5*g + 3*z = -1 + 16, 0 = -2*g - 4*z + 6. Suppose -3*b - 81 = -g*m, b + 3*b - 2*m + 110 = 0. Let q = b + 52. Does 15 divide q?
False
Let k(s) = -4*s - 1 - 2 - 5 - 1. Is 3 a factor of k(-6)?
True
Let p(f) = -2*f**2 + 10*f + 9. Let i(x) = -2 - 2*x + x**2 + 2 - 5 - 3*x. Let g(m) = -7*i(m) - 3*p(m). Is 2 a factor of g(6)?
True
Suppose 4*q + 0*z - 828 = -2*z, 0 = -4*q - z + 828. Is q a multiple of 12?
False
Let j(c) = -16*c**3 + 5*c**2 + 5*c. Is j(-2) a multiple of 3?
True
Let m = 20 + -17. Let a be 50*(3 - -1 - m). Suppose 2*z + 4*b = a, 2*z - 7*z = -2*b - 173. Is z a multiple of 11?
True
Let b(p) = 23 + 8*p - 46 + 32 + 4*p**2. Let o be b(-6). Suppose 5*q = -0*q + o. Does 5 divide q?
False
Let g = 3 + -11. Let j be (-2)/(-9) - 25578/(-81). Does 16 divide (-1 - 1)*j/g?
False
Let v be (-2)/9 - 7/((-378)/(-204)). Suppose 5*j - 105 = 3*x, 3*j = 5*j + 5*x - 73. Is 12 a factor of v/(-6) - (-944)/j?
False
Let b = -24 + 27. Suppose -b*z + 85 = 22. Let v = 89 - z. Does 17 divide v?
True
Suppose 67*q = 62*q - 4*s + 3838, -q + 782 = -4*s. Does 10 divide q?
True
Let x be 2/14 + 2/(-14). Suppose x = -2*k + 5*w - 29, -2*k - 5*w + 16 = -w. Is k - 1 - (-11 + 2) a multiple of 5?
False
Let p(b) = -8*b - 65. Let z(u) = -u**2 - u + 33. Let y be z(-7). Is 7 a factor of p(y)?
True
Let t(v) = 3*v - 15. Let g be t(13). Suppose 6*c - 96 = -g. Is c a multiple of 12?
True
Let s be 1/((-4)/(-64)) - 2. Let a = -7 + s. Let z = a - 3. Does 4 divide z?
True
Suppose -23*d + 2518 = -2312. Does 105 divide d?
True
Let l = 0 + 2. Suppose 3*m + 5*i = -m + 90, -3*m + l*i + 56 = 0. Is m a multiple of 5?
True
Suppose -5*v = -18 + 3. Suppose 28 = 7*f - v*f. Let r = 4 + f. Is 2 a factor of r?
False
Let f(r) = 3*r**3 - 5*r**2 + 8*r - 1. Let x be f(4). Let d = x + -44. Is 18 a factor of d?
False
Let f be (168/(-10))/((-8)/40). Suppose 0 = -3*g + f + 120. Is 17 a factor of g?
True
Suppose 29*u - 27*u - 2*i = 2510, 4*u - i - 5011 = 0. Does 35 divide u?
False
Let j be (4/(4 + 4))/((-1)/(-10)). Suppose -j*d - 3*k + 287 = -7*k, 4*k + 232 = 4*d. Is d a multiple of 15?
False
Let v(b) = 19*b**3 + 10*b**2 - 22*b - 16. Is 16 a factor of v(4)?
False
Let i = 42 - 39. Suppose 5*b + i*u - 2*u = 527, -b + 100 = 2*u. Does 17 divide b?
False
Let i(u) = 3*u**2 + 12*u - 10. Let x(p) = -5*p**2 - 24*p + 19. Let r(m) = -7*i(m) - 4*x(m). Let w be 123/12 - (-3)/(-12). Is 7 a factor of r(w)?
True
Let a be (-3)/(-9) - (-35)/21. Suppose -l - a*l = -39. Is 13 a factor of l?
True
Let c(y) = 7*y + 91. Let n be c(-8). Let a = -252 + -468. Is (a/n)/((-6)/28) a multiple of 32?
True
Suppose -2*f - 7 = -27. Let v be ((-6)/f)/((-8)/40). Suppose 0 = -v*s - 2*s + 80. Does 14 divide s?
False
Suppose 0 = -2*g + 5*k + 11, 7*g - 2*g + 5*k = 10. Suppose g*l - 7*l + 8 = 3*c, c - 6 = -3*l. Is 16 a factor of 22*l/(0 + 2)?
False
Suppose 0 = -3*m - s - 0*s + 19, 5*s = 5*m - 25. Let j = m + -3. Suppose -j*y + 146 = -7. Is y a multiple of 17?
True
Is (-4)/22 + (69588/132 - 10) a multiple of 11?
True
Let i(f) = -58*f**3 - 2*f**2 + 7*f + 17. Is 51 a factor of i(-2)?
True
Let h = 1301 - 586. Is h a multiple of 65?
True
Let v = -34 + 59. Let s = -5 + v. Is s even?
True
Is 38 a factor of 281 + -2*(8 + -4)?
False
Let f(k) = k**2 - 3*k + 1. Let c be f(2). Let t be 20/(-25)*(-11 - c). Let q = t + 2. Is q a multiple of 10?
True
Let a = 747 - 417. Does 18 divide a?
False
Suppose -3*z - 5 = 2*z. Let l be (z + 0)*0/(-9). Suppose 3*y - 76 - 41 = l. Does 8 divide y?
False
Let k(s) be the first derivative of -s**2/2 - 2*s + 2. Let q be k(-5). Suppose q*x + 5 - 1 = 2*y, -2*x = 4*y - 24. Is 2 a factor of x?
True
Suppose 3*n + w = 9, 3*w = -n + 2*n + 7. Suppose -n*h - 2*j + 166 + 56 = 0, 3*h - 4*j = 333. Is 11 a factor of h?
False
Let a = 7742 + -4812. Does 10 divide a?
True
Is 1/((-9)/((-122805)/5)) a multiple of 100?
False
Suppose 32 - 8 = -4*i. Is (i/8)/3 - 4405/(-20) a multiple of 15?
False
Is 6 a factor of 1081/19 + (-46)/(-437)?
False
Let o = 8 + -5. Suppose 7*b + 3*q - 1 = 2*b, o*b + 2*q - 1 = 0. Is 4 - -10 - (0 + b) a multiple of 7?
False
Let z(c) = c**2 - 5*c + 18. Let i be z(7). Suppose -2*f = -4*l - i, -3*f - 10 = -4*f + 5*l. Does 5 divide f?
True
Let g(k) = -6*k**3 - 10*k**2 + 6*k + 10. Is g(-5) a multiple of 15?
True
Suppose -92*p + 91*p + 1445 = 5*k, 289 = k - 4*p. Does 17 divide k?
True
Let w = 56 - 55. Is 240/(-9)*(2*-1 - w) a multiple of 5?
True
Suppose -95 = -t - m + 62, 3*t + 5*m = 473. Is 40 a factor of t?
False
Let z(a) = -a**3 - 6*a**2 + a + 1. Let j be z(-6). Let v = 83 + j. Is 23 a factor of v?
False
Let a(b) = -b**3 + 4*b**2 + 20*b + 11. Is a(-13) a multiple of 82?
True
Suppose 0 = 4*k + k - 10. Let w be 3/((-12)/4) - (-240 + 1). Suppose k*u - w = -5*u. Is u a multiple of 12?
False
Let m(u) = -u**3 - 12*u**2 + 8*u + 6. Let x be m(-12). Let c = x - -155. Does 13 divide c?
True
Suppose -16 = -2*z - 5*u, -3*u = -3*z - 8*u + 19. Suppose y + 2*f - 5 = 0, z = 4*y + 5*f - 32. Does 15 divide y?
True
Let g(s) = 394*s - 261. Does 9 divide g(5)?
False
Let b be 2/5 - (-3)/15*-567. Let g = b + 163. Is 11 a factor of g?
False
Suppose 5*j = -5*d - 15, -4*j - 2 = -d - 0*d. Let t(w) = 2*w**2 - 4*w - 5. Let a be t(d). Is 5 a factor of (-108)/(-11) - (-2)/a?
True
Let u be (6/(-4))/((-1)/2). Suppose 2*d = -2*i + 16, -2*d - u*i + 24 = 4. Suppose -d*t = 2*k - 22, 0 = 2*k - 3*t - 0*t - 36. Is k a multiple of 5?
True
Let i(s) = -s**2 + 78*s - 100. Is 18 a factor of i(43)?
False
Suppose -1736*h + 1728*h + 1336 = 0. Does 9 divide h?
False
Let k(m) = 7*m**2 + 80*m + 5. Does 3 divide k(-17)?
False
Let w = -13 + 13. Let n be w/(-4) + 2 + -148. Let c = 223 + n. Does 17 divide c?
False
Is 18 a factor of 2 - 1 - (7 + -2) - -562?
True
Suppose -5*c = -119 + 959. Is c/(-9) + (-2)/3 even?
True
Let v = -24 + 20. Is 10 a factor of (132/(-4))/(6/v)?
False
Let s be 1 + 17 + 30/(-15). Let t(p) = p**3 + p**2 - 3*p - 1. Let w be t(3). Let n = w - s. Is n a multiple of 6?
False
Suppose 2*y - 526 = -32*k + 29*k, 0 = 5*k + 20. Is y a multiple of 5?
False
Let x(k) = 86*k - 4. Let b be x(7). Suppose -304 = -2*l + 2*i, 0*i - b = -4*l - i. Is 28 a factor of l?
False
Suppose 0 = -5*f - 25, -2*f + 0*f = k + 10. Let q = -649 + 652. Suppose 5*s - 20 = k, q*s + 65 = 3*x - s. Does 16 divide x?
False
Let h = 299 + 145. Is h a multiple of 36?
False
Let f be (18/(-30))/(1/(-5)). Suppose -f*j + 6 = -0. Suppose 0 = -m - d + 9, j*d = m - 0*m - 12. Is m a multiple of 3?
False
Suppose -7*u + 3*f = -6*u - 196, -4*f = 0. Let t = u - 146. Is t a multiple of 5?
True
Suppose 2*p - 3*m - 502 = m, 0 = 3*p - 4*m - 747. Suppose p - 33 = 3*l - d, 0 = 3*d + 6. Does 14 divide l?
True
Suppose 3*p - 81 = -3*j, -4*j + 99 = 2*p - p. Let r = j - 6. Is r a multiple of 9?
True
Is -5 - 7/(70/(-16430)) a multiple of 26?
True
Suppose -9*g - 9*g + 252 = 0. Does 7 divide g?
True
Let p(j) = j**2 - j - 1. Let m(f) be the first derivative of -f**4/4 - 4*f**3/3 + 3*f**2 - 3*f + 7. Let u(n) = -m(n) + 4*p(n). Is u(-9) a multiple of 3?
False
Let d = 95 + -187. Let x = -53 - d. Is x a multiple of 8?
False
Suppose 0*m - 5*m - 2*h + 10 = 0, -2*m + 3*h + 23 = 0. Suppose 3*v - 3 = 5*p + 21, 2*p + m = 4*v. Let i = p - -23. Does 17 divide i?
True
Let a be 1 + -2*36/8. Let w be (-1)/(-4) - 214/a. Let v = -14 + w. Is 13 a factor of v?
True
Let v(i) = i**3 - 19*i**2 - 18*i + 120. Is v(21) a multiple of 10?
False
Suppose m + 10 = v, 0*v - 5*v = 5*m - 10. Let b = v + -20. Let i = 14 - b. Is 14 a factor of i?
True
Suppose 0 = -47*s + 6*s + 123. Let w(f) = 2*f**2 - f + 5. Let p(y) = -y**2 + y - 1. Let h(z) = -5*p(z) - w(z). Does 6 divide h(s)?
False
Suppose 3*l + 15 = 0, 3*l + 17 = u - 0*u. Let t(k) = k + 13. Let r be t(-9). Suppose -u*c = q - 39, r*c - c = -q + 57. Is 16 a factor of c?
False
Suppose 3*h - 529