/3 - 18*k**2. Is 8 a factor of s(3)?
False
Suppose -3*w = -0 - 18. Is 2513/42 + 1/w a multiple of 10?
True
Is 41 a factor of -412*(-3 - (-90)/40)?
False
Does 32 divide (68*-2)/(8/(-32))?
True
Is ((-11 - -9) + 0)*-281 a multiple of 39?
False
Let x(c) = 417*c**2 + 9*c - 6. Does 14 divide x(1)?
True
Let i = -432 - -1269. Is i a multiple of 9?
True
Let u = -83 + 323. Is 10 a factor of u?
True
Let t = 28 + -37. Let j = -9 - t. Suppose j*p - 126 = -3*p. Is 14 a factor of p?
True
Suppose 0*h - 3*h = v + 5, 2*h + 2 = 0. Let m = 4 + v. Is 5 a factor of 38/4 - m/(-4)?
True
Let k(f) = 125*f - 6. Suppose o = -a - 3, -4*o + a - 4*a = 8. Is k(o) a multiple of 10?
False
Let x(b) = b + 15. Suppose 0 = 5*n + 20 + 20. Does 2 divide x(n)?
False
Let x(f) be the third derivative of -71*f**4/24 + 3*f**3/2 - 7*f**2. Let u be x(-5). Suppose 0 = 6*p - u + 88. Is p a multiple of 23?
True
Let q = 30 - 30. Is 1*(-1 + 55) + 2 + q a multiple of 8?
True
Suppose -7*q = -5858 - 3291. Is 13 a factor of q?
False
Let w(g) = 2*g**3 + 10*g**2 - 8*g + 2. Let r(m) = -m**3 - 9*m**2 + 8*m - 2. Let l(s) = 3*r(s) + 2*w(s). Let z be l(6). Is 14 a factor of (40/(-6))/(z/(-105))?
True
Suppose 0 = 11*x + 325 - 1084. Does 23 divide x?
True
Suppose -d + 11 = 2*v, -3*d = 3*v + 9 - 33. Suppose -15 = v*o, -7*j + 3*j + 2*o = -614. Is 30 a factor of j?
False
Suppose 138 = s + u + 2*u, 0 = 2*s - u - 248. Let q = s - 34. Is 19 a factor of q?
False
Let g(u) = u**2 - 5*u + 5. Let w be g(2). Suppose 2*t + 156 = 6*t. Let n = t - w. Is n a multiple of 10?
True
Let t(k) = k**2 - 3*k - 7. Let c be t(5). Suppose -f = -c*h - 0*f - 296, 5*f + 5 = 0. Let y = h - -148. Is y a multiple of 13?
False
Let n(c) be the third derivative of c**6/120 + 7*c**5/60 + c**4/24 + 31*c**3/6 + 8*c**2. Is n(-7) a multiple of 4?
True
Let c be (36/8)/(3/20). Suppose -27*q + c*q = 39. Does 3 divide q?
False
Let q(x) = x**3 + 8*x**2 - 3*x - 2. Let i be q(-5). Suppose 0*r + i = 4*r. Is r a multiple of 20?
False
Let n(z) = 3*z**2 - 94*z + 28. Is n(37) a multiple of 17?
False
Suppose 0 = -473*s + 466*s + 1064. Is s a multiple of 38?
True
Let b(y) = -3*y**2 + 2*y - 8. Let i be b(5). Let d = -19 - i. Is 18 a factor of d?
True
Suppose -11 = 6*u - 7*u. Suppose -5*q = -u - 29. Is 4 a factor of q?
True
Let b = 51 + -99. Is 5 a factor of (0 - 10)*b/32?
True
Let w(g) = -g + 13. Suppose 5*h - 2*h = -12. Does 7 divide w(h)?
False
Suppose -372 = -4*c + 412. Does 14 divide c?
True
Let y(j) = j**3 - 8*j**2 - 9*j + 4. Let l be y(9). Suppose -l*f + 18 = 2. Suppose f*b = 3*q + 158, -2*b + 2*q = 6 - 86. Is b a multiple of 19?
True
Let f(s) = -s**3 + 4*s**2 + 7*s + 11. Let n be f(6). Is 7*(n/(-4))/((-4)/(-16)) a multiple of 19?
True
Suppose 178 = 4*k - 382. Does 7 divide k?
True
Suppose -3*f - n + 257 = -0*f, -5*f + 440 = 4*n. Is 23 a factor of f?
False
Suppose -669 = 3*y - 6*y. Is 17 a factor of y?
False
Let q be 19 + 0/(-1 - -4). Suppose 5*h - 63 = -r, -479 = -5*r + 4*h - q. Suppose 0 = -p - 3*p + r. Does 9 divide p?
False
Let a = -642 + 807. Is 20 a factor of a?
False
Let x = 36 - 34. Suppose x*c + 2*j - 26 = 0, 3*c - 2*j - 46 = 2*j. Is 14 a factor of c?
True
Suppose -32 + 11 = -3*b - 2*r, 0 = -b - 4*r + 17. Suppose -b*w = -4*n - 101, 7*n - 3*n = w - 17. Does 6 divide w?
False
Let r = 496 - 8. Is 34 a factor of r?
False
Suppose -13*l + 16*l = 15. Let f(w) = 42*w + w**3 - 2 - 3 - 46*w. Is 21 a factor of f(l)?
False
Let r(n) = 4*n**2 - n. Let l(m) = m**3 + 16*m**2 + 14*m - 14. Let v be l(-15). Let d be r(v). Is 8 a factor of ((-2)/(-5))/(d/240)?
True
Suppose 4*r - 841 = -21. Let w = r - -15. Is 44 a factor of w?
True
Suppose 161 = -35*h + 14651. Does 18 divide h?
True
Let o = -47 - -77. Does 2 divide (55/o)/((-2)/(-12))?
False
Let k(o) be the third derivative of o**4/6 + o**3/3 + 6*o**2. Is k(5) a multiple of 7?
False
Suppose -x + 4*y + 207 + 444 = 0, -3*y = -5*x + 3323. Is 25 a factor of x?
False
Is 5 a factor of 21824/(-372)*(-1)/((-2)/(-3))?
False
Suppose 2*p = 3*w + 29, w + 6 = p - 7. Suppose 11*l - p*l = 31. Is l a multiple of 5?
False
Suppose b + a = -3*b - 17, -2*b + 9 = -3*a. Let f(r) = 40*r + 4 + 3*r**2 - 2 - 36*r. Does 9 divide f(b)?
False
Suppose 5*j - 1260 = -4*u, -640 = -4*j - 5*u + 368. Let p = j - 143. Is p a multiple of 39?
False
Suppose 66*q - 828 = 64*q + 2*d, 0 = 3*q + 5*d - 1242. Does 23 divide q?
True
Let u(a) = -a + 7. Let h be u(4). Suppose -h*o = -4 - 11. Suppose -o*q = -0*q - 55. Is q a multiple of 11?
True
Suppose -2*z = -0*z + 16. Suppose 0 = -2*n + 6, 5 + 9 = -5*s + 3*n. Is ((-88)/(-32))/(s/z) a multiple of 11?
True
Let h(n) = -7*n - 45. Let z = -25 + 6. Is 39 a factor of h(z)?
False
Suppose 25 = q - 5*q - 3*r, 3*r = -q - 13. Let t be (-2)/(q*2/20). Suppose -7*k + 4*o = -3*k - 92, -o - 103 = -t*k. Is k a multiple of 10?
True
Let m = 70 + 223. Is 31 a factor of m?
False
Does 3 divide ((-135)/(-25) + -5)*110?
False
Let s(v) = -v**2 + 21*v - 10. Let k(l) = -5*l**2 + 83*l - 41. Let z(d) = 2*k(d) - 9*s(d). Is 14 a factor of z(-15)?
False
Let c = 31 + -24. Let y(x) = -x**3 + 10*x**2 - 2*x - 9. Let u be y(c). Let k = 176 - u. Is 13 a factor of k?
True
Let s = 38 - 21. Let h = -180 + 188. Let x = s - h. Does 3 divide x?
True
Let u(c) = -5*c**2 - 12*c - 1. Suppose 3*o + o + 16 = 0. Let y(a) = 4*a**2 + 13*a. Let n(f) = o*y(f) - 3*u(f). Is n(-9) a multiple of 11?
True
Let o(f) be the first derivative of -f**4/4 + 29*f**3/3 + 16*f**2 + 44*f + 41. Is o(30) a multiple of 28?
False
Suppose 27*h + 676 = 31*h. Is h a multiple of 5?
False
Let w be (-2)/7 + (-4)/(-14). Suppose 0*y + 4*y + 48 = w. Does 6 divide y/15*(-135)/6?
True
Let u be 36 - (0 + (-1 - 1)). Suppose 2*r - r - 77 = 0. Let i = r - u. Is i a multiple of 19?
False
Suppose -g + 316 = 3*g. Let x = 20 + -60. Let m = g + x. Is m a multiple of 13?
True
Suppose -3*t - 847 = -4*j, -4*t = 14*j - 10*j - 812. Does 16 divide j?
True
Let g be (-1435)/63 - (-4)/(-18). Let q be (g/(-2))/((-9)/(-72)). Suppose 2*l + 5*p - q = 0, l + 4*p + 18 = 70. Is l a multiple of 9?
True
Suppose -23 = -4*g - 3. Suppose 4*s - 299 = l, -s + l = -g*s + 301. Is s a multiple of 10?
False
Let p be 2 - 5/(25/10). Suppose 2*k - g - 2*g - 173 = p, -k + 94 = -3*g. Does 8 divide k?
False
Let w(k) be the third derivative of -11*k**4/24 - 7*k**3/3 + 34*k**2. Is 6 a factor of w(-9)?
False
Suppose -2385 + 526 = -11*f. Is f a multiple of 13?
True
Suppose 30 = -7*k + k. Let g = -5 - k. Suppose g = -3*x + 7 + 41. Does 4 divide x?
True
Suppose -3*f - 96 = -3*q, 0 = -q + 2*f - 5*f + 32. Is 2 a factor of q?
True
Suppose 0 = 60*h - 23294 - 52306. Is h a multiple of 63?
True
Suppose -2*y + 46 = -4*z, -3*z - 7 = -3*y + 77. Let g = -31 + y. Does 2 divide g?
True
Let g(n) = n**3 + 24*n**2 + 9*n + 16. Does 78 divide g(-10)?
True
Let b = -583 + 1699. Is b a multiple of 6?
True
Let p = 321 - 99. Suppose 0 = -3*a - 5*n + p, 3*a + a - 307 = -3*n. Does 20 divide a?
False
Let q(v) = 215*v - 74. Is q(2) a multiple of 5?
False
Suppose 3*u - 131 = 3*b + b, b = -u + 53. Let v = -16 + u. Is v a multiple of 11?
True
Let f = -1786 + 1870. Does 3 divide f?
True
Let d(m) = -2*m**2 + 13*m - 18. Let t be d(10). Let n = t + 176. Is n a multiple of 11?
True
Suppose -10*n = 4*n - 42. Suppose -n*u + 246 = 60. Does 31 divide u?
True
Suppose -o + 273 = y - 2*o, 4*o - 268 = -y. Let i = y + -158. Is i a multiple of 19?
True
Suppose 2*r + z = 6, 3*r + 0*z - 4 = z. Suppose -r*b + 7*b = 0. Suppose b*p - 39 = -3*p. Is p a multiple of 13?
True
Let q(l) = -4*l + 13. Let o be q(4). Is 5 a factor of (-1)/(o/(-6)) + 24/2?
True
Let l = 1259 - 168. Is 53 a factor of l?
False
Let m(d) = 7*d**2 + 10*d - 17. Let j be m(-11). Suppose p + j = 10*p. Is 22 a factor of p?
False
Let k be 1/2 - (-2 - 13/(-2)). Let d be (0 - (-4 + 3))*8. Let p = d - k. Is 12 a factor of p?
True
Suppose -2*d + 3*d - 37 = 0. Let x = d - 26. Does 4 divide x?
False
Suppose 40*v - 49*v + 3051 = 0. Does 34 divide v?
False
Let n(g) = g**2 + 6 - 18*g + 29*g - 21*g. Let m be n(9). Is 11 a factor of -2 - (-35 + m + 2)?
False
Let b(o) = -4*o**2 + 3*o - 3. Let f be b(3). Let s(h) = 16*h - 5. Let j be s(5). Let z = j + f. Is z a multiple of 15?
True
Suppose 4*p - 195 = p. Suppose p = y + 4*y. Let u(g) = g**3 - 12*g**2 - 11*g + 1. Is 14 a factor of u(y)?
False
Let q be 8/((-4)/14 + 1032/3514). Does 27 divid