l = -5*h + 4484. Is h a multiple of 14?
True
Let o(y) = -y**2 + 20*y + 36. Let f = -19 - -39. Is 6 a factor of o(f)?
True
Suppose 0 = -2*a - 105 - 29. Let t = 25 - a. Suppose o - t - 70 = 0. Is o a multiple of 34?
False
Let b(c) = 13*c**2 + 28*c - 273. Is b(13) a multiple of 11?
True
Suppose -2*m = -s + 2*m + 29, -s - 2*m = -59. Suppose 4*o + 99 + s = 3*c, 2*c = -4*o + 72. Is 9 a factor of c?
False
Let h(t) = t**3 + 13*t**2 - t + 6. Let d be h(-13). Suppose 58 = 3*w + d. Is w a multiple of 4?
False
Suppose -5*t + 6 - 26 = 0. Let o be (t/6)/((-2)/9). Is 25 a factor of ((-141)/12)/(o/(-12))?
False
Suppose -4*u = 26*u - 12900. Is 7 a factor of u?
False
Suppose 13540 = 7*w + 2620. Is 49 a factor of w?
False
Suppose 0 = -3*a - x + 816 + 174, -3*x - 990 = -3*a. Let h = 494 - a. Does 11 divide h?
False
Let i(d) = 2*d**3 - 26*d**2 - 22*d + 15. Is 9 a factor of i(14)?
True
Suppose -2*y + 23 = 3*y + g, 4*g = y - 13. Suppose -2*f = -3*f + 2*m + 26, y*f + m = 163. Is f a multiple of 16?
True
Suppose 9*v = -12*v + 2331. Does 13 divide v?
False
Suppose -25*l = 25*l - 81900. Does 63 divide l?
True
Let p = 824 + -660. Is 14 a factor of p?
False
Let y = 74 - 71. Suppose -3*a = 0, 3*b - a = -y*a + 696. Is 14 a factor of b?
False
Let z be ((-468)/8)/9*2*-16. Suppose 278 = 6*f - z. Is 19 a factor of f?
False
Let l(t) = -t**3 - 14*t**2 - 19*t - 13. Let y be l(-14). Suppose 76 = s - y. Is s a multiple of 47?
True
Suppose -28693 = -60*l + 53807. Does 14 divide l?
False
Let q(o) = 3*o**2 - 34*o + 32. Let v be q(20). Suppose 4*s - 414 = -3*p, -3*p - p = -2*s - v. Is 23 a factor of p?
True
Let o = 149 - 66. Suppose -o + 403 = 2*b. Does 18 divide b?
False
Let b = 12 + 15. Let k be 2/9 - 6/b. Suppose k = -x + 4*x - 66. Is 19 a factor of x?
False
Let g be (32/(-5) + 1)*-5. Suppose 0 = z - g + 1. Does 26 divide z?
True
Suppose 3*f + 5*t - 162 = 499, 0 = f + 5*t - 217. Does 16 divide f?
False
Let l(p) = 8*p**2 - 11*p - 33. Is 13 a factor of l(13)?
False
Let b = 1 - -5. Suppose -b*z = -z - 25. Suppose 57 = z*p - 4*f, 2*f = p - 11 + 2. Is 3 a factor of p?
False
Does 19 divide -3 + 2398 + (-18 - -17)?
True
Let s be -4 - 1/((-6)/(-9) - 1). Is 20 a factor of s*(-40 + 3 - 3)?
True
Suppose -t = -5*z + 10, 4 = -2*t + 3*z - 2. Suppose 2*s = 3*x + 117, -x = 2*s - t*x - 97. Does 6 divide s?
False
Is (-13 - -1630) + 16/(-8) a multiple of 16?
False
Let z(y) = 64*y**3 - 3*y**2 + y + 2. Is 21 a factor of z(2)?
True
Suppose 16*r - 20*r = -1492. Let d = r - 165. Is d a multiple of 26?
True
Is ((-480)/5)/((-24)/84) a multiple of 6?
True
Suppose -3*a - 2 + 10 = 2*c, -3*c + 12 = -3*a. Suppose f = c*f - 246. Is f a multiple of 12?
False
Suppose 0 = -4*b - 3*y - 35, 2*b - 6*b - 32 = 4*y. Let i = -43 - b. Let q = 44 + i. Is 2 a factor of q?
True
Suppose 0*x + 25*x - 18775 = 0. Does 10 divide x?
False
Suppose 5*a - 4*q = 39 + 33, 3*q = 3*a - 45. Let w = a - 6. Does 14 divide (w/18)/((-2)/(-84))?
True
Let o be -8*(8/6)/(5/(-15)). Does 3 divide (-3)/2*(-7)/(14/o)?
True
Let z(k) be the third derivative of k**6/120 - 11*k**5/60 - k**4/12 - 4*k**3/3 - 17*k**2. Is z(12) a multiple of 16?
True
Let t = -824 - -815. Suppose -2*f + 120 = 2*f. Let i = f + t. Does 15 divide i?
False
Let f(n) = 112*n**2 + 26*n + 117. Is 39 a factor of f(-5)?
False
Let x(l) = 2*l + 23. Let d be x(-16). Let b = 20 + d. Let s(j) = j**3 - 9*j**2 - 15*j + 1. Does 13 divide s(b)?
True
Let r(v) = v**3 + 3*v**2 + 2. Let n = -4 + 1. Let a be r(n). Suppose -7*s = -f - a*s, f - s - 12 = 0. Does 10 divide f?
False
Suppose 5*p - 7 = r, 5*p + 2*r = 21 - 5. Suppose -6 = -p*m + 202. Is 26 a factor of m?
True
Let q(x) = 33*x**2 + 2. Is q(-1) a multiple of 12?
False
Suppose -3*c = -5*w + 19, -c - w - 3 = -2. Let r be 1*2*3/c. Let g(x) = -25*x. Is g(r) a multiple of 25?
True
Suppose -3*f + 14*m - 10*m + 1788 = 0, -601 = -f + 3*m. Is f a multiple of 8?
True
Let d(o) = o - 45. Let a be d(-23). Is 17 a factor of (7*(-10)/(-35))/((-2)/a)?
True
Does 30 divide (4 - 8)/(-4) + 4112?
False
Let u(l) = -l**2 + 1. Let q be u(-2). Let f be q + 9 + -3 + -3. Suppose 5*z - 170 = 2*v, f*v = 2*z - 2*v - 62. Is 12 a factor of z?
True
Suppose 4 = -2*h - 5*o - 23, -4*h - 119 = -3*o. Is 2 + 3 + -2 - (2 + h) a multiple of 5?
False
Let i = -4342 - -6234. Is 33 a factor of i?
False
Let w(z) = -z**2 - 6*z - 4. Let o be w(-3). Suppose 5*x - 15 = -o. Suppose x*q + 0*q - 78 = 0. Is 16 a factor of q?
False
Let a = 240 + -191. Does 29 divide a?
False
Suppose -4*y = -4*u - 12, -7*u = -y - 3*u. Let b(i) = 2*i**2 - 3*i - 3. Does 14 divide b(y)?
False
Let l be (-4)/2 - (-2)/(-1) - -7. Suppose -3*q + l*u + 98 = 2*u, -130 = -4*q + u. Is q a multiple of 16?
True
Let s(g) = -2*g**3 + 22*g**2 + 23*g - 35. Let h(q) = -q**3 + 11*q**2 + 12*q - 17. Let j(o) = 5*h(o) - 2*s(o). Let b be (9 - 3)/(2/4). Is 9 a factor of j(b)?
True
Suppose -3*t - 68 = -5*t. Suppose 38 = 2*k - t. Is 4 a factor of k?
True
Let y be (36/(-14))/((-2)/(-14)). Let s(x) = -4*x - 48. Does 2 divide s(y)?
True
Let j = 15 - 13. Suppose j*l - 2*a + 15 = 3, 2*l + 4*a - 6 = 0. Is 8 a factor of 7 - 1*l/3?
True
Suppose m - 506 = 3*y + 197, -934 = 4*y - 3*m. Let i = -31 - y. Is 27 a factor of i?
False
Let d(j) = -j**2 - 4*j + 3. Let n be d(-4). Let a be (-9)/(-5) - n/(-15). Suppose s = x - 20, 2*x + s = -a*x + 80. Is x a multiple of 20?
True
Let m = -40 + 162. Suppose 0 = 5*r + m - 917. Suppose 3*i - r = -3*p, 3*p - 226 + 64 = -2*i. Does 21 divide p?
False
Suppose 0 = -2*m - 4*z - 640 + 2480, 3*m - 4*z = 2810. Is 93 a factor of m?
True
Let d be (-14)/(-35) - (-26)/10. Suppose -2*p = -4*n - 58, -d*n = -p - 0*p + 32. Let b = -10 + p. Is b a multiple of 9?
False
Let f(q) = -q**3 - 16*q**2 + 19*q + 23. Let p be f(-17). Let u = 14 + p. Suppose u*m - 83 + 23 = 0. Is 20 a factor of m?
True
Let y(b) = 26*b + 70. Is 41 a factor of y(32)?
True
Let r(n) = 2*n**2 - 4*n**3 + 0 - n + 0. Let x(i) = i**2 - 12*i + 30. Let k be x(8). Does 11 divide r(k)?
False
Let a(i) be the third derivative of -i**5/60 - 7*i**4/12 + i**3/3 - 5*i**2. Is a(-14) even?
True
Suppose 5*q + 44 = 3*w - 2*w, -3*w + 60 = 3*q. Let o be w/30 - 276/(-5). Suppose 0 = 2*v - 4*l - 40, -3*l - o = 3*v - 152. Is 6 a factor of v?
False
Let c = 2417 - 2369. Is c a multiple of 7?
False
Let f be ((-16)/6)/(3/(-72)). Suppose 3*g + 95 = -f. Let j = -18 - g. Does 22 divide j?
False
Suppose 0 = -28*g + 18*g + 3540. Is g a multiple of 59?
True
Suppose 0 = -3*s + 4*u + 135 - 34, 0 = -4*s - u + 103. Let i(n) = n**3 - 9*n**2 + 7*n + 32. Let o be i(8). Let d = s + o. Does 17 divide d?
True
Suppose -k - 115 = -3*w, -3*w + 127 = -0*w - 4*k. Let d = w + -33. Is d a multiple of 2?
True
Let z(s) = s**2 + 6*s - 11. Suppose -2*o + 25 = -5*o - r, -2*o = -4*r + 12. Is z(o) a multiple of 4?
False
Let a(x) = 6*x**2 + 3*x + 5. Is a(2) a multiple of 5?
True
Let k = 46 + 56. Does 20 divide -6*(k/(-9) + -2)?
True
Suppose 7*d + 4*d - 2123 = 0. Is d a multiple of 32?
False
Let z be (-1 + 2)*-3*56/(-6). Suppose 0 = -2*m + 5*y + z, 5*m - 112 = 2*y - 0*y. Is m a multiple of 8?
True
Suppose 7*l = l + 24. Suppose l*a - 2*a - 11 = -5*o, -4*o + 5*a = -22. Suppose 2*k = o*b + 57, 2*b + 27 = k + b. Is 15 a factor of k?
False
Let m(a) = a**2 - 18*a + 31. Let i be m(15). Let l(f) = f**3 + 15*f**2 + 29. Is 32 a factor of l(i)?
False
Let r be 8/10*(-25)/(-10). Suppose -5*b = r*k + 6, 5*b - 4*b + 2*k + 6 = 0. Suppose b = -5*s - 9 + 194. Does 6 divide s?
False
Let z = 7607 - 5082. Is z a multiple of 21?
False
Let g = -105 + 107. Let q(a) = 6*a**3 - 3*a**2 + 3*a - 5. Is 5 a factor of q(g)?
False
Let t = -24 + 17. Let k = 17 + t. Suppose -2*c + k = 0, 10*n = 5*n + 3*c + 30. Does 9 divide n?
True
Let v(c) = c**2 - 6*c + 6. Let p be v(6). Suppose p*k = 4*k + 8. Suppose k*j + 120 = 12*j. Is j a multiple of 5?
True
Let f(b) = b**2 + b - 4. Let i be f(-3). Suppose 3*o - 5*q = 185, 2*q = -2*o - 0*q + 102. Suppose i*x - o = x. Does 11 divide x?
True
Let n = -1 - -18. Let w = 20 - n. Suppose -4*k + w*l = 4 - 36, -k = 5*l + 15. Does 5 divide k?
True
Let u be (2/4)/(2/8). Suppose 8 = -u*o - 2*o. Is o/(-7) - (-270)/35 a multiple of 8?
True
Let a(z) be the third derivative of 5*z**4/24 - 9*z**3/2 + z**2. Does 12 divide a(15)?
True
Let b(p) = -p + 12. Let l be b(10). Suppose 5*v - 45 = -4*a, -5*v - 10 = -l*v - 5*a. Is v a multiple o