((-20)/47820). Suppose -35*p + 36*p - b = 0. Is p a multiple of 16?
False
Suppose -49 = y - 75. Suppose -13*z - y = -702. Suppose -z = -k + 11. Is k a multiple of 21?
True
Let c(b) = -835*b + 208. Is c(-5) a multiple of 9?
True
Let n = 1189 + -292. Does 13 divide n?
True
Does 8 divide (-46 + -25262)*26/(-117)?
True
Let k(l) = 1754*l**3 + 4*l - 5. Let x be k(1). Let t = -791 + x. Is t a multiple of 26?
True
Let z be (-6)/2*866/(-6). Let j(k) = 7*k**2 + 3*k + 27. Let w be j(6). Let g = z - w. Is g a multiple of 33?
False
Let r(p) be the third derivative of p**5/20 - p**4/24 + p**3/3 - 21*p**2 - p. Does 2 divide r(-2)?
True
Let c be (-148)/(-8) + (-1)/(-2). Is 19 a factor of c*(128/10 + (-17)/(-85))?
True
Suppose d = -d - 12. Let b be 68 + (-6 - (-6)/2). Let v = b - d. Does 19 divide v?
False
Suppose -6*u - 73 = -91. Let i(z) = -13*z**3 + 6*z**2 + 12*z - 36. Let p(f) = 6*f**3 - 3*f**2 - 6*f + 18. Let r(c) = -3*i(c) - 5*p(c). Is 8 a factor of r(u)?
True
Suppose 941192 = -92*w + 148*w. Is 72 a factor of w?
False
Let n(v) be the first derivative of v**4/4 + 16*v**3/3 - 29*v**2/2 - 101*v + 222. Is n(-17) a multiple of 6?
False
Suppose 7*w - 4*j = 10318, 3*j = -6*w + 7*w - 1474. Does 39 divide w?
False
Suppose 12 = -3*r, -5*b - 4 = r - 10. Suppose b*k = -2*p + 494, -2*p + 0*p = 4*k - 992. Let x = k + -53. Is x a multiple of 21?
False
Suppose -5253 - 227 = 5*t. Let h be (80/36 - 2) + t/(-9). Suppose 2*o + 125 = b - 2*o, -5*o - h = -b. Does 18 divide b?
False
Is (((-4)/(-25))/((-6)/510))/(4/(-14950)) a multiple of 85?
True
Let b be 3/(6/(-2144))*(7 + -8). Let i be b/20 + 2/5. Suppose -i*g + 44 = -52*g. Does 22 divide g?
True
Let l(y) = y**3 + 15*y**2 - y - 7. Let i be l(-15). Suppose -v + i*v = -238. Let t = v + 45. Does 5 divide t?
False
Let v be (-1632)/20 + (-3)/(60/8). Let k = v + 446. Does 7 divide 12/(-30) + k/10?
False
Suppose -14*g = -2*y - 10*g + 692, -4*g = -20. Let x = y + -160. Is 14 a factor of x?
True
Let v be ((-16)/6)/((-26)/78). Let b be 12/9*((-132)/v)/1. Let f = 164 + b. Does 27 divide f?
False
Let d = 42326 - 25297. Is d a multiple of 20?
False
Let c = 36603 - 24353. Is 98 a factor of c?
True
Suppose n - 265 = -3*w, -1043 + 278 = -3*n - 3*w. Let u = 450 + n. Is 28 a factor of u?
True
Let w = 142 - 137. Suppose -w*j = -533 - 1507. Is 8 a factor of j?
True
Suppose 429901 = -322*c + 15*c + 2050247. Does 14 divide c?
True
Let m(q) = -q**3 + 4*q**2 + 7*q - 7. Let b be m(5). Suppose 48*d - 44*d = -4*t + 2340, 3 = b*d. Does 39 divide t?
False
Suppose 5*j = -2*x + 30324, 72*j + 18188 = 75*j - 2*x. Is j a multiple of 9?
False
Suppose -9812 = -11*i + 15950. Suppose -674 = -8*f + i. Is f a multiple of 36?
False
Let r(w) = 1763*w**3 + 2*w**2 - w + 1. Let c be r(1). Suppose 11*j = 5297 + c. Is 6 a factor of j?
True
Suppose 279*g = 2676674 - 211151. Is g a multiple of 48?
False
Let g(v) = -v - 14. Let i be g(0). Is 3/(-6) - -1*(-9625)/i a multiple of 10?
False
Let t(x) be the second derivative of -7*x**3/6 - 11*x**2/2 - 26*x. Let a(p) = -84*p - 133. Let y(l) = -4*a(l) + 49*t(l). Is 14 a factor of y(-3)?
True
Let q = -345 - -20. Suppose 0 = -98*y + 101*y + 1542. Let p = q - y. Does 21 divide p?
True
Let g = -13 - -16. Let h be (g*4/3)/((-2)/(-19)). Suppose 3*v - v = h. Is 16 a factor of v?
False
Suppose -3*w - 3*c + 6633 = 0, -17*w - 4*c + 4428 = -15*w. Does 8 divide w?
True
Let q be 40/16 - 9/(-6). Suppose 1520 = 5*l - 5*o, 2*l + 3*o + 612 = q*l. Is 60 a factor of l?
True
Suppose -55*j = -60*j - 3*u + 35232, -2*j + 2*u = -14080. Is 12 a factor of j?
True
Let w = -8452 + 13699. Does 66 divide w?
False
Let p be (-3101)/(-49) - 4/14. Let l = p + -55. Suppose -4 - l = -o - b, -5*o + 42 = -b. Is o a multiple of 3?
True
Let k be (-4)/(-12) + (-708)/18. Suppose d - 3*d = 16. Is 35 a factor of (-5291)/k + d/(-6)?
False
Does 65 divide 76/((-1 - -8) + (-1644)/236)?
False
Suppose -r - 961 = -3*v + 64, -v + 350 = -2*r. Suppose 3*u = -2*u + v. Let z = 122 - u. Does 9 divide z?
True
Let x = -30 - -27. Let b be (0 - 4) + 3*x*-1. Does 23 divide -23*b/10*-14?
True
Let o(a) = -a**2 + 13*a + 70. Suppose 5*z + 5 = -k, 2*z = -0*k + 2*k - 2. Does 11 divide o(k)?
False
Let v(z) = 6*z + 1. Let f be v(4). Let n = f + -40. Let x(h) = -h**3 - 12*h**2 + 32*h - 20. Is x(n) a multiple of 25?
True
Let a(o) = 2*o**2 - o + 2. Let n(b) = -b**2 - 8*b + 3. Let z be (-3)/((-2)/3 - -1). Let l be n(z). Is a(l) a multiple of 40?
True
Suppose 5*q + y = 19, -2 + 6 = -4*y. Let i(z) = 90*z - 9. Is 39 a factor of i(q)?
True
Suppose 135 = -5*o - 4*k + 3*k, -4*k - 92 = 4*o. Is (-27 + o)/((-1)/12) a multiple of 12?
True
Let g(p) = 2*p**2 - 4*p + 3. Let n(s) = s**2 + 8*s + 13. Let w be n(-6). Let z be g(w). Suppose x = 9 + z. Does 2 divide x?
True
Let g(r) = -82*r - 18. Let m be g(-3). Suppose 12*p - m = 1692. Does 14 divide p?
False
Suppose -v = 2*c - 842, 2508 = -8*v + 11*v - 3*c. Is v a multiple of 4?
False
Let h = 33 + -27. Let p(v) = h - 90*v + 8 + 96*v. Is 8 a factor of p(7)?
True
Let b = -472 + 646. Let t = 321 + b. Is 7 a factor of t?
False
Is 6/(-4) - (15 + (-1243)/88)*-4436 a multiple of 27?
False
Let o(t) = -t**3 + 26*t**2 - 67*t + 34. Does 5 divide o(-13)?
False
Let w(z) = 1099*z - 1752. Is w(2) a multiple of 2?
True
Let v = 101606 - 54224. Is v a multiple of 295?
False
Suppose 1281 = 12*c - 6507. Is c a multiple of 19?
False
Suppose 0 = 123*z - 40*z + 53*z - 3480104. Is 36 a factor of z?
False
Suppose 0 = -53*g - 712*g + 18371475. Does 187 divide g?
False
Let h(f) = 13*f**3 + 9*f**2 + 2*f + 4. Let w(u) = -12*u**3 - 8*u**2 - u - 4. Let l(b) = -2*h(b) - 3*w(b). Is l(4) a multiple of 50?
False
Let z(v) = -5*v**3 - 4*v**2 - 14*v. Let w = -59 - -55. Does 39 divide z(w)?
True
Suppose -29 + 21 = -4*i. Suppose 4*s = -i*h + 3128 - 102, s - 770 = -5*h. Suppose 0 = -6*u + s - 41. Is u a multiple of 7?
True
Let y = -706 - -475. Let i be (y + 13)/(1*(-4)/2). Let q = i - 88. Does 3 divide q?
True
Let c = -14841 + 26664. Does 35 divide c?
False
Suppose f - 6923 = -13*k + 16*k, -4*f + 3*k + 27647 = 0. Does 55 divide f?
False
Let s(h) = h**2 - h. Let k(v) = -2*v**2 + 1. Let y(c) = -5*k(c) - 6*s(c). Let f be y(-10). Suppose -5*t = 5*m - f, t = -0*m + 3*m - 221. Does 4 divide m?
True
Suppose 3*z - 6*z + 774 = 0. Suppose 0 = -3*c + 36 - z. Let s = 170 + c. Is s a multiple of 22?
False
Does 170 divide 32627 + -184 + -1*3?
False
Let i(g) be the second derivative of g**4/3 - 10*g**3/3 - 27*g. Let s be i(5). Suppose -p + 4*p = -2*m + 143, s = 4*m + 5*p - 289. Is 24 a factor of m?
False
Let v = 4348 + 339. Is 5 a factor of v?
False
Suppose 2*m + 205 - 409 = 0. Does 18 divide (16/68)/(-2) + 7968/m?
False
Suppose x - 3955 = 7*r, -9*r + 11985 = 3*x - 10*r. Does 2 divide x?
False
Suppose 3908 - 509 = 11*q. Let y = q - 209. Is 20 a factor of y?
True
Let i(m) = -3*m - 36. Let v be i(-13). Let u be (-42)/(-4)*-1*20/v. Does 9 divide (-2)/10 + (-4844)/u?
False
Let h(z) = 7*z**2 - 30*z + 224. Is h(11) a multiple of 24?
False
Let q(b) = b + 105. Let i(j) = -7*j - 106. Let a be i(-13). Is 18 a factor of q(a)?
True
Suppose 16*c + 20 = 20*c. Let l(j) = -j**3 - 12*j**2 + 90*j + 1. Is 12 a factor of l(c)?
False
Let k = -513 + 293. Let q = k + 387. Does 13 divide q?
False
Let r be (4/18)/((-462)/(-2079)). Let d(z) = -z**3 - 3*z**2 + 4*z + 3. Let s be d(-4). Let o = s + r. Is 4 a factor of o?
True
Let s = 69 + -66. Suppose x - 40 = -s*x. Suppose -230 = -5*g + x. Is g a multiple of 3?
True
Let t = 3357 + -3343. Is 14 a factor of t?
True
Let u(z) = -z**2 - 6*z + 45. Let j be u(4). Let g = j + 166. Does 57 divide g?
True
Let n = -2854 + 4808. Is n a multiple of 108?
False
Suppose -14*d + 10*d + 30109 = -5*t, -2*d + t + 15059 = 0. Is d a multiple of 127?
False
Let k(b) = 12*b - 93. Suppose -5*q - 6 + 71 = 0. Is k(q) a multiple of 3?
True
Let z(i) = 998*i**3 + 2*i - 2. Let f be z(1). Suppose 0 = -2*s - m + 812, 3*s = m + f + 230. Is 67 a factor of s?
False
Suppose -31*a - 240 = -37*a. Is 45 a factor of -120*a/(-16) + (-8)/(-2)?
False
Let a(u) = -10*u + 5. Let m be (0 + 2)/((-4)/16). Let p(r) = r**2 + 8*r - 8. Let t be p(m). Does 26 divide a(t)?
False
Let z(c) = 104*c**2 - c + 2. Let b be z(1). Let d(j) = -17 + j**2 + 4*j - b*j**3 + 11 + 9. Does 10 divide d(-1)?
False
Let c = -9 - -15. Suppose d - 8 = -c. Suppose 6*y = -d*y +