ple of 14?
False
Let c = 13093 - 3195. Does 68 divide c?
False
Let z = 6248 + -5114. Is 7 a factor of z?
True
Let x(o) = 13*o - 17. Let n(w) = -14*w + 16. Let p(c) = 3*n(c) + 2*x(c). Let a be p(-5). Suppose 290 = 3*r - 2*q, 3*r - 216 = -2*q + a. Does 20 divide r?
True
Is 10 a factor of 2293*(6 + -14 + 6 + 3)?
False
Suppose 3*z + 10 = 4. Let f(j) = -150*j + 0 - 8 + 23*j**2 + 5 + 149*j. Is 13 a factor of f(z)?
True
Let f(u) = -32*u**3 + 24*u**2 - 2*u - 10. Is 23 a factor of f(-5)?
True
Is 1/(-8)*10*-53108 a multiple of 13?
False
Let d be (2 - 8) + (-10)/5. Let x(i) = -i**3 - 6*i**2 + 2*i - 8. Is x(d) a multiple of 8?
True
Suppose 4*k + 3*c + 54 = 0, 1 = k + 5*c + 6. Let z = -12 - k. Suppose 0 = g - 5*i - 63, 65 = 4*g - z*i - 102. Is g a multiple of 10?
False
Suppose 4*i - 6 = -30. Let o(z) = z**2. Let m(c) = 8*c**2 + 4*c. Let n(k) = i*o(k) + m(k). Is 15 a factor of n(-9)?
False
Let v(y) = -y**2 + 19*y + 6. Let w be v(19). Suppose w*d + 16 = 7*d. Suppose -13*l - 336 = -d*l. Does 28 divide l?
True
Let p(n) = 529*n**2 + 54*n - 3. Does 12 divide p(-3)?
True
Suppose -155*t + 470*t = 5347440. Is t a multiple of 14?
False
Let u(x) = -x**2 - 8*x - 9. Let a(w) = w**3 - 8*w**2 - 35*w + 16. Let n be a(11). Let m be u(n). Suppose 73 = 5*t + o, m*o = 5*t - 44 - 17. Is 5 a factor of t?
False
Suppose -4 = -8*t + 6*t. Suppose -t*f + 310 = n - f, -3*f = 2*n - 622. Let c = 434 - n. Is 18 a factor of c?
True
Let s(y) = y**2 + y. Let d(p) be the first derivative of p**4/4 + 11*p**3/3 + 19*p**2/2 + 4*p + 2. Let i(j) = -d(j) + 2*s(j). Does 14 divide i(-8)?
False
Suppose n + 5 - 6 = -j, -2*j - 4*n = 6. Does 10 divide (-1 - -5)/(-4 - (-21)/j)?
True
Let d = 300 - 300. Suppose -k - 2*m + 176 = d, -3*k + 2*m = -0*m - 544. Does 10 divide k?
True
Does 12 divide ((-1773)/(-45) + -15)/((-478)/240 + 2)?
True
Suppose 39 = a + 43. Is 9 a factor of 5 + (1 - 156/a)?
True
Suppose 12 + 30 = 2*n. Suppose -11*u + 14*u = n. Suppose u*r - 11*r = -32. Does 8 divide r?
True
Is 61 a factor of (-68)/884 + 78508/13?
True
Is 12 a factor of (-7)/(-2)*(-102600)/(-315)?
True
Let j = 4337 + 119. Is 3 a factor of j?
False
Let r = 16 + -9. Suppose 0 = -3*x - 3*q - 9, 3*x = 3*q - r*q - 12. Suppose x = -d + 3*u + 89, -4*u = u - 5. Is 46 a factor of d?
True
Let k = -32 + 26. Let r be 21/k*(1 - 15/7). Suppose 51 = -p + r*p + 3*i, -5*p + 5*i + 135 = 0. Is p a multiple of 11?
True
Let g = 31372 - 28603. Does 13 divide g?
True
Let u = 9177 + 6700. Is u a multiple of 33?
False
Let q(s) = -s**3 - 19*s**2 - 8*s + 222. Is 7 a factor of q(-18)?
True
Let i = 37 + -39. Let f(u) = 2*u**2 - 4*u - 3. Let q be f(i). Suppose q*b - 9*b = 156. Does 5 divide b?
False
Let v(n) be the second derivative of 0*n**3 - 11/2*n**2 + 0 - 2*n + 1/12*n**4. Is v(11) a multiple of 26?
False
Let h(z) = -z**2 - 3*z + 30. Let b(a) = 3*a**2 + 6*a - 60. Suppose x - 3*l = -5, 5*x - 3*l - 2*l - 15 = 0. Let w(k) = x*h(k) + 4*b(k). Does 22 divide w(6)?
False
Let v(g) be the second derivative of -g**5/20 + 19*g**4/12 - 8*g**3/3 - 9*g**2 + 163*g. Is 9 a factor of v(17)?
True
Let d(j) = -j**2 - 7*j - 8. Let c be d(-6). Let u be (2 - (c - -2)*1) + 53. Let k = u + -14. Is k a multiple of 16?
False
Let a = -1993 + 2562. Is a a multiple of 11?
False
Let i = 396 - 164. Let m = i - 99. Is 2 a factor of m?
False
Let j be ((-159)/(-21) + -9)*(0 - 7). Suppose -18*p = -j*p - 2408. Does 34 divide p?
False
Suppose -5*y = 5, -4*z + 3 = 5*y + 4. Suppose -4*g + 3*d + 148 = 0, -g + 3*g - 2*d = 76. Does 35 divide (-2 - -8)/(g/(-36) + z)?
False
Suppose 3*i - 9*i = -6. Let f = 4 + i. Suppose 4*b + 2*v = 436, 4*v - v + 534 = f*b. Is b a multiple of 9?
True
Let a(n) = -218*n**3 + 5*n**2 - 6*n + 11. Does 27 divide a(-4)?
True
Suppose 12190 = 18*q + 1444. Let r = q - 522. Is 7 a factor of r?
False
Suppose -4*x + 4*v + 11024 = 0, 6718 + 4290 = 4*x + 4*v. Is 107 a factor of x?
False
Let b(k) = k**3 + 5*k**2 + k. Let s(l) = -2*l**3 - 2*l**2 + 28*l + 22. Let q(p) = 3*b(p) + s(p). Does 6 divide q(-10)?
True
Suppose -x = 4*x - t - 462, -4*t = -4*x + 376. Suppose -5*d + 7*d = 4. Suppose -22 = d*f - x. Is 7 a factor of f?
True
Let u(l) be the second derivative of -l**5/20 - 5*l**4/6 - 8*l**3/3 + 32*l**2 - 130*l. Is u(-10) a multiple of 7?
True
Let h = 57838 - 36080. Does 46 divide h?
True
Let b(f) = -2*f**2 - 16*f - 24. Let a be b(-6). Suppose -4*c + 3*m + 939 = a, 3*c + 8*m - 5*m = 678. Is c a multiple of 21?
True
Suppose 0 = -15*x + 10*x + 30. Let t be (4/(-3))/((-1)/x) - -4. Is (t + -6)*38/3 a multiple of 7?
False
Let z(x) = 82*x + 2903. Is z(13) a multiple of 10?
False
Suppose 3*k - 4*t - 2219 = 0, -24*k - 744 = -25*k - 3*t. Does 9 divide k?
False
Let o be 4199/39 + 8/6. Suppose 0 = q + 2*k - o, -8*q - 2*k = -5*q - 311. Is 10 a factor of q?
False
Let g = 65 + -65. Suppose g = -7*p + 7. Is -5*3/(-15)*(p + 60) a multiple of 8?
False
Let t(d) = 3*d**2 + 19*d + 19. Let r be t(-7). Let p = 172 - r. Does 3 divide p?
False
Let k(z) = 25*z**2 - 5*z - 4. Let h be k(11). Let r = h + -501. Is 11 a factor of (r/75 - (-4)/30) + 2?
False
Let z(o) = o**2 + 35*o + 102. Let r(y) = y**2 + 52*y + 145. Let g(f) = 5*r(f) - 7*z(f). Let h = -5 - -13. Is g(h) a multiple of 2?
False
Suppose 42 = u + 41. Let n be ((u/1)/2)/((-3)/576). Does 15 divide ((-128)/n)/((-1)/90*-2)?
True
Let u be 6/(-30)*((-2 - -8) + -1). Is u - 1 - (0 + (3 - 47)) a multiple of 5?
False
Let n be (6/6)/(-1 - -2) + 7. Suppose n*h + 407 = -481. Let c = -51 - h. Does 12 divide c?
True
Suppose -11958 + 8585 = -25*q + 180652. Does 5 divide q?
False
Let j(o) = o**3 + 111*o**2 - 337*o - 1105. Does 65 divide j(-112)?
False
Suppose -5*p = -4*f + 65, -f - 12 - 78 = 5*p. Let q(c) = -16*c + 41. Is 22 a factor of q(p)?
False
Let g(k) = 5*k**2 + 142*k - 138. Is g(13) a multiple of 63?
False
Let u = -36 - -29. Let v(g) = -g**3 - 8*g**2 - 6*g + 5. Let c be v(u). Is (-43)/(c*2/4) a multiple of 16?
False
Let i(r) = -33*r**3 - 9*r**2 - 7*r + 11. Let z be i(3). Let k = -663 - z. Is k a multiple of 29?
True
Let s be -128*(0 + 6/8). Let q = -5 - s. Is q a multiple of 21?
False
Suppose -162 = -3*s + 3*b, -2*b + b = 3*s - 166. Suppose -3339 = 14*m + 7399. Is m/(-5) + 33/s a multiple of 14?
True
Let z be ((-49)/3)/(33/9 - 4). Let f be z + (-8)/2 + 5. Suppose -11 = 3*s - f. Is s a multiple of 13?
True
Let k(l) be the third derivative of l**6/120 + l**5/30 - l**4/24 - l**3/2 - 11*l**2. Let a be k(-3). Let u(w) = 3*w + 31. Is u(a) even?
True
Suppose -9*b + 63054 = 27*b - 100386. Is b a multiple of 10?
True
Let h(t) = 563*t - 72. Let y be h(7). Suppose 15*f = 3946 + y. Is f a multiple of 36?
False
Suppose -1479 = -d + 523. Is d a multiple of 13?
True
Let d(y) = y**3 + 6*y**2 - 3*y - 9. Let h be d(-6). Let m = h + -6. Suppose -z + 0*v + 5*v = -105, -m*z + 298 = 2*v. Is z a multiple of 25?
True
Let o be (-2)/(-20) - (2 + 14808/80). Is 16 a factor of (-11628)/o + (-1 - (-18)/22)?
False
Suppose -4*n + 66 = -t, -t + 0*n = 5*n + 39. Let u = t - -81. Suppose u*l - 32*l = -780. Is l a multiple of 52?
True
Is 8 a factor of (459/(-7)*28/8)/(4/(-144))?
False
Let b be 4/(-2)*(2 + 58650). Does 7 divide b/(-645) + 2/15?
True
Let f be (-10)/(-2) - (7 + -1). Does 16 divide f/((-15)/(-6)) + (-1602)/(-5)?
True
Let k(m) = 4*m**3 + 88*m**2 - 49*m + 20. Does 6 divide k(-14)?
True
Let f be ((-28)/(-8) - 1)*(-16)/10. Let b be f/((-32)/462) + 6/(-8). Suppose b = 2*j + 29. Is 7 a factor of j?
True
Let o(q) = -43*q**2 + 275*q**2 + 255*q**2 - 75*q**2 - q. Let j be o(-1). Suppose -7*g = -0*g - j. Is g a multiple of 11?
False
Suppose 0 = -2*n + 5 - 1. Suppose -v = 2*v - 5*k + 84, 5*v + 140 = -n*k. Is 20 a factor of (2 - (0 + 4))/(v/602)?
False
Let c(m) = -2593*m - 16. Let r(y) = 865*y + 6. Let t(n) = -3*c(n) - 8*r(n). Does 20 divide t(1)?
False
Let y(d) = 3*d - 7. Let h(j) = 6*j - 14. Let m(f) = 4*h(f) - 7*y(f). Let c be m(4). Is (2286/30 - c) + (-1)/5 a multiple of 11?
False
Let g(m) = -m**3 + m**2 + 6*m - 3. Let n be g(0). Let u(r) = -93*r + 18. Is 21 a factor of u(n)?
False
Suppose -10 = -2*k - 4*d + 28, -3*d + 60 = 5*k. Suppose 3*n = g + 19 + k, 5*g - 5*n + 160 = 0. Is 3 a factor of ((-8)/6)/(g/153)?
True
Let c = 4933 - 4573. Is c a multiple of 29?
False
Suppose 21*o + 2151 = 24*o. Let d = -15 + o. Is d a multiple of 18?
True
Suppose s = -3*d + 2276, 5*s - 11494 = d + 3*d