a factor of n(27)?
True
Let x(v) = -214*v - 439. Does 19 divide x(-4)?
False
Let t be (2 - 3) + 3*119. Let o = t + -229. Let h = -91 + o. Is h a multiple of 5?
False
Let h(s) be the third derivative of 16*s**2 + 0 - 1/24*s**4 + 0*s + 7/3*s**3. Is 12 a factor of h(-10)?
True
Let o be (4 - 3)*(-4 + 10). Suppose -o*w - 33 = -417. Does 16 divide w?
True
Suppose -4*d = 5*n - 34438, 5*n = -31*d + 35*d + 34462. Is n a multiple of 27?
False
Suppose -35*g + 5534 - 3788 = -25484. Does 42 divide g?
False
Let k = -286 + 288. Suppose -3*v + 89 = b + k*v, -428 = -4*b - 2*v. Does 55 divide b?
False
Let r(k) = 3*k + 39. Let d be r(-12). Suppose -d*b + 20 = 2*b, 10 = -3*y + 4*b. Suppose 8*l - 600 = -y*l. Is l a multiple of 10?
True
Let u be 8/(64/824) + 5. Suppose -5*j = b - 20 - u, -5*j + 113 = -4*b. Does 3 divide j?
False
Let s(p) = 108*p**2 + 30*p - 6. Is s(3) a multiple of 22?
True
Let s(m) = 99*m**2 - 7*m - 7. Let j be s(-1). Suppose -3*q + 5*w - 8*w = -j, 9 = 3*w. Is 6 a factor of q?
True
Suppose 0 = w - 12*w + 44. Suppose w*f + 11*a - 6*a = 1380, -f + 336 = -a. Does 32 divide f?
False
Let u = 24 + -17. Suppose 0*f + u*f = 0. Suppose f = -4*k + 8, -k + 67 = p - 2*k. Is p a multiple of 13?
False
Let b = -2297 - -5084. Suppose 0 = -38*z + 6029 + b. Is 21 a factor of z?
False
Let l(t) = t**2 - t - 16. Let w be l(5). Suppose a - w*q - 62 = 0, -7*a - 74 = -9*a - 2*q. Does 16 divide a?
False
Let b(i) be the second derivative of 5/3*i**3 + 24*i + 0 + 1/3*i**4 - 6*i**2. Is 10 a factor of b(5)?
False
Let k be (0/(-3) + -235)/(4/4). Does 30 divide 7917/27 + 5 + k/45?
False
Suppose 56*o = 57*o - 774. Suppose 3*t = 3*d + o, -3*t + 295 = -4*d - 482. Is t a multiple of 4?
False
Suppose 0 = 25*u + 1098005 - 3098705. Does 18 divide u?
True
Let h be 50/14 + (-6)/(-14). Suppose h*d - 165 - 79 = 0. Is 6 a factor of d?
False
Let s = 28038 + -13256. Does 19 divide s?
True
Let b(y) = 5*y**2 - 4*y - 7. Let s be b(-2). Let g(t) = -t**3 + 22*t**2 - 19*t + 28. Let x be g(s). Is 21 a factor of 20/x - 145/(-7)?
True
Suppose -j + 5*t + 50539 = 0, -5*t - 104556 = -2*j - 3473. Is j a multiple of 108?
True
Let b(p) = 5*p**2 - 6*p - 18. Let z be (27/(-18))/(3/(-32)). Let g be 40/z*((-36)/(-10))/(-3). Is 17 a factor of b(g)?
False
Let f be -2 - (-12 - -3) - (-2 + 4). Suppose -b + p + 5 = 0, 4*p = -f*b - 2 - 18. Suppose 38*s - 43*s + 420 = b. Is s a multiple of 12?
True
Let q(a) = 281*a**2 - 6*a + 6. Let z be q(1). Let t = z - 142. Is 26 a factor of t?
False
Suppose -40*p - 6 = -42*p. Let u be 12/6*(-1)/(p/3). Is 48 + 0/(4*u/(-8)) a multiple of 5?
False
Suppose a + 2280 = 5*a. Let l be a/4 - (0 - 2/(-4)). Suppose 2*u = -4*o + l, -o + 0*u = 5*u - 40. Is 26 a factor of o?
False
Let o = 11757 - 9311. Is 29 a factor of o?
False
Let r = -16795 + 29105. Is r a multiple of 28?
False
Suppose 3*c - 5*w = 5*c - 4475, 5*w = 3*c - 6775. Suppose t + 4*b + 556 = 0, 5*b + c = -4*t + 2*b. Is t/(-18) - (-2)/3 a multiple of 16?
True
Let c(z) be the third derivative of 1/120*z**6 + 0 + 11/2*z**3 + 11/30*z**5 + 0*z - 23/24*z**4 + 11*z**2. Is 11 a factor of c(-23)?
True
Let y(q) = q**2 + 9*q + 9. Let v be y(-6). Let s be -1 + v/(-7) + 8130/14. Suppose s = 7*w - 0*w. Is w a multiple of 17?
False
Let s be 0/(-2) + (-3 - (7 + -8)). Let h be 0/(-1 + (1 - -3) + s). Suppose -p + 4*a = -48, -4*a = -h*a. Is p a multiple of 2?
True
Suppose 580*n = 558*n + 6248. Does 29 divide n?
False
Let d(t) = 3*t + 3. Let l be d(2). Suppose 14*c = l*c + 820. Is 6 a factor of c?
False
Let s = 26455 + -5527. Is s a multiple of 135?
False
Let g(o) = 54*o**2 + 8*o + 81. Let s be g(-8). Suppose 0 = 9*v - 289 - s. Is v a multiple of 11?
True
Is -4*(0 + 5 + ((-3596)/(-8))/(-1)) a multiple of 4?
False
Let l = 3923 - 2679. Let b = l - 768. Is b a multiple of 14?
True
Let d(g) = -g**3 - 16*g**2 - 2*g - 146. Let b be d(-18). Suppose 3454 = 18*n + b. Is 18 a factor of n?
True
Suppose 0 = 612*n - 617*n - 3050. Let r = -282 - n. Is r a multiple of 37?
False
Let l be (-10)/5*(-6)/4. Suppose -l*d = -5*a + 877 + 391, -3*d = a - 268. Suppose g = -4*q + a, -3*g - 272 = -3*q - q. Is q a multiple of 9?
False
Suppose -35*w + 451387 = -68993. Is 14 a factor of w?
True
Suppose 2*h = 3*o + 7582, 0 = -3*h + 2*o + 4845 + 6528. Is h a multiple of 17?
True
Let l = 856 + -106. Let b = l + -344. Is b a multiple of 26?
False
Let q(j) = 2*j**3 + 45*j**2 - 31*j + 26. Does 63 divide q(-20)?
True
Let r = -21659 - -37518. Is 80 a factor of r?
False
Let p be (-63)/(-57) - (-4)/(-38). Suppose 0 = -t - p, 2*t = -6*d + 4*d + 14. Suppose 185 = d*w - 3*w. Is w a multiple of 26?
False
Suppose -y - 15 = 5*n - 2*y, 2*y + 3 = -n. Is 4010/40 - (n + 26/8) a multiple of 25?
True
Let n = -153 - -157. Suppose -4*v + 205 + 547 = 2*o, -2*o - 736 = -n*v. Does 18 divide v?
False
Let u(w) be the third derivative of -w**4/12 + 25*w**3/3 - 5*w**2. Does 2 divide u(15)?
True
Suppose 207*a - 2462755 - 3970771 = -823619. Is 71 a factor of a?
False
Suppose 5*w = -18*w + 21275. Let f = w + -519. Is 3 a factor of f?
False
Suppose 9*i = 20145 + 47211. Does 37 divide i?
False
Suppose -12*z - 2*z = -7476. Let h = z - 258. Does 54 divide h?
False
Suppose -2*p = -2*d + 2*p + 20, -3*d = 2*p + 10. Suppose d*u + 196 = 4*u. Let w = -32 + u. Is 3 a factor of w?
False
Let k(r) = 3*r + 7. Let x be k(-5). Let j(s) = -12*s - 5*s**2 - 5*s + 2*s**3 - 15 - 3*s**3 + 15*s - 2*s**2. Is j(x) a multiple of 44?
False
Let r(p) = -4*p**2 - 3*p + 13. Let j(f) = 2*f**2 + f - 7. Let n(w) = -5*j(w) - 3*r(w). Let q be n(1). Suppose -q*x - 75 = -315. Is x a multiple of 20?
True
Let m(z) be the second derivative of -z**5/10 - z**4/2 + 2*z**2 - 131*z. Is m(-4) a multiple of 9?
True
Suppose 0 = 3*p + 5*r - 2, -12 = -3*r - 18. Suppose 5*o + 20 = 2*t, -2*t = -0*t + 2*o - 6. Suppose 250 = p*f - t*y, f - y + 0*y = 63. Is f a multiple of 8?
False
Let o = 57 + 529. Is o - (-12)/(-10)*140/42 a multiple of 21?
False
Let c(i) be the first derivative of 128*i**3/3 + 2*i**2 + 6*i - 138. Is 26 a factor of c(3)?
True
Let u = 174 - -109. Suppose u = -62*k + 9831. Is 7 a factor of k?
True
Let z = 191 - 185. Let t(w) = 2*w**3 - 7*w**2 - 4*w + 2. Does 7 divide t(z)?
False
Let w = 171 - 115. Let m = w + -29. Let i = m + 10. Does 4 divide i?
False
Suppose -5*p + 95871 = 3*f, 4*p = 2171*f - 2170*f + 76707. Is 204 a factor of p?
True
Let g(l) = l**3 + 6*l**2 - l - 12. Let s be g(-6). Let o be ((-3)/s + -1)*-3212. Does 16 divide o/14 - ((-18)/63 - 0)?
False
Let c(k) = -16*k**2 - 5*k - 3. Let b(s) = -11*s**2 - 3*s - 2. Suppose -48 + 0 = 6*z. Let h(t) = z*b(t) + 5*c(t). Does 5 divide h(-1)?
True
Let b(y) = -175*y - 38. Does 13 divide b(-4)?
False
Suppose 5*h + 2*l = 206918, 64*h + 165512 = 68*h - 4*l. Does 22 divide h?
True
Is -2 + 40/25 + 5025281/215 a multiple of 159?
True
Let z(h) be the third derivative of -15*h**4/4 - h**3/2 - 3*h**2 + 17. Is 29 a factor of z(-1)?
True
Let k(r) = r**3 + 24*r**2 + 4*r + 21. Let n be k(-14). Suppose -5*s = -2*u - n, 5*u + 187 = -4*s + 1760. Does 25 divide s?
False
Let b = 95 - 90. Suppose -b*d - 78 = -2173. Does 21 divide d?
False
Let w(o) = -11*o**3 - 15*o**2 - 2*o + 1. Let i(s) = -34*s**3 - 43*s**2 - 5*s + 2. Let g(x) = 6*i(x) - 17*w(x). Does 5 divide g(-3)?
True
Let j = 38566 - 30797. Is j a multiple of 46?
False
Suppose 3*i = 4*g - g + 45, 3*i = -g - 19. Let b = g + 19. Suppose -5*s + 67 = z - b*s, -254 = -4*z - s. Is z a multiple of 21?
True
Let g(d) = -d**2 - 2*d + 1. Let c(j) = -j**2 - 19*j + 88. Let y(s) = c(s) - 2*g(s). Is 10 a factor of y(17)?
True
Is 19 a factor of -2 - 2/(11/(-252153)*6)?
False
Is 4*((-9)/(-18) + -1) - -935 a multiple of 2?
False
Let a be (6 + 0/(-5))*58/3. Let p = a - -68. Let y = p + -116. Does 4 divide y?
True
Suppose -4*v = -54 - 10. Suppose 9*c - 13*c = -v. Suppose 0 = 8*j - 7*j - c. Does 3 divide j?
False
Let q be (0/(-2 + 10))/(-2 - -1). Suppose 23*u - 24*u + 270 = q. Does 6 divide u?
True
Let i be ((-3)/(-1))/(-16 - -13). Let a = 68 + i. Is 10 a factor of a?
False
Suppose -639 = -5*y + 4*q, 4*y - 509 = 4*q - 3*q. Is 23 a factor of y?
False
Suppose 0 = -42*f + 5269 + 129971. Does 28 divide f?
True
Let m(q) = -19*q**3 + q**2 + 37*q**3 - 5*q - 19*q**3 + 400. Is m(0) a multiple of 28?
False
Let a(m) = 24*m - 237. Let g be a(10). Suppose -42*s - 1233 = -44*s + g*o, -5*o = -5*s + 3