**2 - 6*q. Suppose -3*u = 2*p - 266, 8 + 282 = 2*p - 3*u. Suppose p*w - 143*w = -16. Is 20 a factor of x(w)?
True
Suppose -2*l + 36 + 32 = 0. Is 10 a factor of -20*(-2 + l)*-1?
True
Suppose 3*t + 4*z - 13011 = 1018, 0 = -2*t - 3*z + 9353. Suppose 43*r + t = 68*r. Is r a multiple of 17?
True
Is 67 a factor of (4757/2)/(((-65)/20)/(-13))?
True
Let v = 44073 - 31274. Suppose -8476 - v = -37*q. Does 15 divide q?
False
Let n(x) = x**2 - 10*x - 1. Let i be n(9). Let q be (48/(-40))/((-4)/i). Does 4 divide (1 + q)/(-4 + (-284)/(-72))?
True
Let j(w) = -174*w - 511. Is 3 a factor of j(-5)?
False
Suppose 44*j = 16785 + 20439. Does 18 divide j?
True
Suppose 12 = 25*m - 138. Does 44 divide m/(-33) + 64168/88 + 1?
False
Let g = -85 - -241. Let h = -446 + g. Let o = h + 459. Does 13 divide o?
True
Suppose 2*m + 162 = 4*m - 3*p, 5*p = 5*m - 395. Suppose -3 = -c - 0*c. Suppose c*y - x - m = -4*x, 0 = -y + 5*x + 55. Does 3 divide y?
True
Let m(d) = 4*d**2 - 112*d + 40. Let c(i) = i**2 - 28*i + 10. Let q(u) = 18*c(u) - 4*m(u). Let t be q(28). Let a = t - -64. Does 14 divide a?
True
Suppose 79*i - 70444 = 362002. Does 34 divide i?
True
Let m be (-1 - -1)/(-2) - (-2 - 0). Suppose -4*g + 14 = -m. Is (g/10)/(-4 - 5844/(-1460)) a multiple of 19?
False
Suppose -169268 = 110*t - 113*t - 2*w, 5*w - 169244 = -3*t. Is 291 a factor of t?
False
Suppose 0 = -2*r + 599 + 103. Suppose -2*z + 11*z = r. Does 13 divide z?
True
Let a = 68 + -74. Let l be 4/a*(-33)/22. Is ((-345)/92)/(l/(-4)) a multiple of 4?
False
Let u be 0/(-4) - 3 - (-90)/1. Suppose -l + 69 = -4*m, -4*l = 4*m + l + u. Does 11 divide (-290)/(-3) + 4/m*3?
False
Let c = -8532 - -15011. Is 29 a factor of c?
False
Suppose 5*o + 43*t = 41*t + 23398, -4*o - t + 18722 = 0. Is 17 a factor of o?
False
Let y(b) = -b**3 + 34*b**2 + 35*b + 168. Is 9 a factor of y(35)?
False
Let n(l) = -2*l**3 + 40*l**2 + 43*l - 109. Does 11 divide n(15)?
False
Let f = -68 - -99. Let x = 36 - f. Suppose 75 = 6*h - x*h. Is 20 a factor of h?
False
Let w = 41 - 37. Suppose -u = w*z - 356, -4*u - 104 = -z - 8*u. Let n = z + -38. Is 10 a factor of n?
True
Let r(q) = 15*q**2 - 21*q - 81. Is 37 a factor of r(19)?
False
Let o(b) = -b + 41. Let h be ((507/(-6))/13)/((-1)/(-2)). Is o(h) a multiple of 2?
True
Let s = -89 - -96. Suppose s*y - 18 = -2*y. Suppose y*d - c - 109 = -d, -d + 58 = 4*c. Is d a multiple of 19?
True
Let b(y) = 103*y**3 - 2*y**2 + 8*y - 4. Let q be b(4). Is 6 a factor of (-4)/(-5) - q/(-90)?
False
Let z be -4*(-6)/(-8) - -83. Suppose 78*c - z*c + 98 = 0. Is c a multiple of 4?
False
Suppose 4*g = -3 - 29. Let z be (-3224)/(-12) + (g/(-6))/(-2). Suppose 5*k - z = 17. Is k a multiple of 19?
True
Let f(p) = 3*p - 4. Let g be f(5). Suppose 18*x - 1372 = g*x. Is 14 a factor of x?
True
Let p = -159 - -173. Is (-24)/p*(-120 - 6) a multiple of 3?
True
Let j be -4*2/4*(0 + 1). Let n(g) = 222*g**2 - 4. Does 52 divide n(j)?
True
Suppose 10*z - 4*z = 66. Let a = z - -3. Is a a multiple of 4?
False
Let g(m) = 86*m**2 + 66*m + 538. Does 4 divide g(-9)?
False
Let h = 181 + -149. Suppose 1122 = -29*z + h*z. Is 29 a factor of z?
False
Suppose 4*s - 30034 = -3*n, -1107*s + 30044 = -1103*s - 2*n. Is s a multiple of 11?
False
Suppose 22*z - 72 = 14*z. Suppose -4028 - 166 = -z*w. Is 33 a factor of w?
False
Let s = 853 + -216. Is 7 a factor of s?
True
Let h(a) = -3*a**3 - 16 + 10 + 8 + 2*a**3 + 14*a**2. Is 19 a factor of h(11)?
False
Let j(q) = -5*q - 180. Let y be j(-36). Suppose y*d + 1200 = 12*d. Is d a multiple of 3?
False
Suppose 5*f + y = 193, f + 0*y = -4*y + 50. Suppose -32*o + f*o - 432 = 0. Is o a multiple of 9?
True
Suppose 0 = -5*h, 17*m - 16*m + 176 = 5*h. Let d = 266 + m. Is 3 a factor of d?
True
Let h be 86/30 - 2/(-15). Let c be h + (1 + 3 - (-4 + 29)). Is 4 a factor of 4 + (-26)/(-10) + c/(-45)?
False
Let x = -5 + 15. Let r be (13/(-3))/(x/(-90)). Let g = r + -25. Is g a multiple of 13?
False
Let w = 48 + -43. Let s(u) = 2*u**3 + 3*u**2 - 5*u - 12. Is s(w) a multiple of 3?
True
Let f(v) = -4*v**3 + 264*v**2 + 27*v + 16. Is f(66) a multiple of 4?
False
Suppose 6*o = -4*u + 2*o + 40, 5*o - 44 = -4*u. Suppose -u*c = -c - 325. Let v = -52 + c. Is v a multiple of 13?
True
Suppose -2*r + 3*r - 4 = j, r - 5 = 0. Is 2 a factor of -3 + 4/(j + -5)*-25?
True
Let q(a) = 23*a**2 + 15*a - 20. Let v be q(5). Suppose 612 + v = 9*u. Does 13 divide u?
False
Suppose 3*c + 5*y - 3402 = 476, 2*c + 2*y = 2588. Suppose 3*s = 12*s - c. Is s a multiple of 12?
True
Is 53 a factor of (-10 + -32298)*7/(-14) - (-2 - -4)?
False
Suppose 28*l - 2019 = 27*l. Let f = -1149 + l. Is 74 a factor of f?
False
Suppose -39*u = -547667 - 42013. Does 54 divide u?
True
Is 90 a factor of 12*(10 - 29)*1125/(-15)?
True
Let x be ((-12)/(-5))/((-18)/855). Let s = 580 - x. Does 27 divide s?
False
Suppose 3*i = -4*x + 84, 7*x - 2*i = 2*x + 105. Suppose 0 = 2*r + 5 + x. Let o = r + 43. Does 6 divide o?
True
Suppose -13012 = -2*i - 4*a, i - 34*a + 31*a - 6501 = 0. Is i a multiple of 112?
False
Let z(x) = -77*x**3 + 2*x + 3. Let v be z(-1). Let o = v - 86. Let d = o - -17. Is d a multiple of 9?
True
Is (-2)/(-22) + (-347700)/(-836) a multiple of 2?
True
Let v(b) = 210*b**2 + 10*b - 7. Let g be v(4). Suppose 18*o - g = 9*o. Does 13 divide o?
True
Let l(y) = 34*y**3 + 5*y**2 + 20*y + 1. Let u(q) = 14*q**3 + 3*q**2 + 9*q. Let w(t) = 2*l(t) - 5*u(t). Let p be (-1 - 1/(-3))*6. Is w(p) a multiple of 3?
False
Let u = -4 - -11. Let t(j) = j**3 + 9*j**2 - 4*j - 34. Let n be t(-9). Suppose -2*q = s - u*q + 16, n*s = 2*q. Does 2 divide s?
True
Let a(j) = 3*j**2 + 7*j + 3. Let w be a(-3). Let g(h) = 5*h - 1. Let k(i) = -11*i + 2. Let m(d) = w*g(d) + 4*k(d). Does 3 divide m(13)?
True
Is 136 a factor of 273520/10 + -14 + 1 + -3?
True
Let t = 12266 - 2046. Is 10 a factor of t?
True
Suppose 3*i - 28647 = -5*v, -4*i + 109*v = 113*v - 38204. Is 31 a factor of i?
False
Let f be (34 + 42/6)/1. Suppose -j - 3*n + f + 162 = 0, 4*j - 732 = 4*n. Does 6 divide j?
False
Let p = -1 - -3. Let h(w) = w**3 + 0*w**2 + 0*w**2 - 1 + 9*w**p - 3*w. Does 29 divide h(-8)?
True
Let x(t) = 8*t - 20*t + 9*t + 38. Let i be x(11). Suppose 4*u - i*u = -45. Is u a multiple of 6?
False
Let r = 24 + -17. Let i(f) = f**3 - 2*f**2 + f + 1. Let x(s) = -3*s**3 + 14*s**2 - 12*s - 10. Let z(q) = -i(q) - x(q). Does 50 divide z(r)?
False
Suppose 274*n - 329*n + 51975 = 0. Is 21 a factor of n?
True
Let u be ((-86)/6)/(2/(-36)). Suppose -5*w + 63 = u. Let l = 46 + w. Does 4 divide l?
False
Suppose -74 - 136 = -14*p. Suppose -9*k = p*k - 6000. Does 10 divide k?
True
Let g = 2 + 28. Does 31 divide (-62)/(-3)*225/g?
True
Does 47 divide 102594/24 - (-36)/(-48) - -5?
False
Suppose 72552 - 3690 = 4*y - 29214. Does 65 divide y?
False
Suppose -3*o - 5*y = -20972, -17*o = -12*o - 5*y - 34860. Is o a multiple of 39?
False
Let j(y) = y**2 - 22*y - 1. Let u(h) = -11*h. Let q(n) = 4*j(n) - 9*u(n). Is q(-5) even?
False
Does 26 divide (14112/(-980))/(2/(-820))?
False
Suppose 5368 + 3073 = 23*t. Let z = -235 + t. Is z a multiple of 11?
True
Does 34 divide (-6)/(-150) - (-5171388)/300?
True
Suppose 5*a - 40816 = 3*a - 4*l, 4*l = 16. Is 16 a factor of a?
True
Let r be (-16)/6*54/(-24). Let f = 11 - r. Suppose -f*w + 57 = -8. Is w a multiple of 2?
False
Let s = -40017 + 58332. Is 111 a factor of s?
True
Let s be (-1)/3 - (-3)/(9/10). Suppose s*h = -7*h + 560. Is 4 a factor of h?
True
Let f(m) be the third derivative of -1/12*m**4 + 0*m + 4/3*m**3 + 0 + 1/12*m**5 + 27*m**2 + 1/120*m**6. Does 2 divide f(-5)?
True
Let w(s) = 10*s**2 - 71*s - 133. Is w(-6) a multiple of 4?
False
Let g(r) = -r**2 + 6*r + 9. Let c be g(7). Suppose 0 = 3*u - 4*z - 370, 29 = u - 5*z - 87. Suppose 3*t - u = -2*v, -52 = -c*v + v + 4*t. Is v a multiple of 20?
True
Let m(t) = -t**2 + 14*t + 13. Let z be m(13). Let v be z/((-1)/(-80)*5). Suppose 2*b - v = -6*b. Is b a multiple of 8?
False
Suppose 186687 + 7459713 = 450*n. Does 72 divide n?
True
Let j = 10 - 8. Suppose j*h = 7*h + 3*y + 6006, 3*h - 2*y + 3596 = 0. Does 24 divide (-4)/(-2) + h/(-8)?
False
Suppose 2*l - 2*m = -708, -l + 5*l + 3*m = -1381. Let y = -193 - l. Is y a multiple of 22?
False
Let r(q) = 3*q**3 - 5*q**2 - 38*q + 5. Let d be r(11). Suppose -4*k + k + d = 5*g, 4*k - 578 = -g. Is 22 a factor of g?
False
Let l(k) = 95*