 -5*q + 3*p = -u. Is 33 a factor of q?
True
Suppose -10*p - 798 = -29*p. Suppose 2*m - 116 = p. Is m a multiple of 7?
False
Let h be (1/(-3))/(1/3057). Let d = 1685 + h. Suppose -8*o + d = 146. Is o a multiple of 20?
False
Suppose s + 13 - 3 = 0. Is 9 a factor of 3 - (1500/s - (2 - 3))?
False
Let a(z) = z + 140. Let y be a(0). Suppose -m - 2*r + 0*r = -35, 4*m - 4*r - y = 0. Is 24 a factor of 2*(m + (4 - 3))?
True
Is (-1 + -2 + 25)*((95 - 3) + -1) a multiple of 154?
True
Suppose -41*y = -2*k - 37*y, -4*k + 12 = -5*y. Let p(b) = b**2 + 31*b. Is p(k) a multiple of 6?
True
Let m = -2650 - -5003. Is 29 a factor of m?
False
Let d(s) = 3*s**3 + 24*s**2 - 21*s + 26. Is d(13) a multiple of 52?
True
Suppose -19*d - 1686 = -f - 16*d, 5113 = 3*f + 2*d. Is 2 a factor of f?
False
Let g(u) = -2*u - 17. Let f be g(-15). Let z(o) = 7*o - 23. Is z(f) a multiple of 9?
False
Let i(d) = 5*d**2 + 32*d - 59. Let z(u) = 9*u**2 + 63*u - 112. Let n(x) = 7*i(x) - 4*z(x). Suppose 130 - 46 = -4*c. Is 27 a factor of n(c)?
False
Let y(c) = -6*c - 190. Let s(d) = 3*d. Let m(u) = -5*s(u) - y(u). Is 25 a factor of m(0)?
False
Let h(l) = 486*l + 5748. Is 69 a factor of h(-7)?
True
Let n = 3 + 143. Suppose -n = -5*d + 864. Is 3 a factor of d?
False
Let b(u) = u + 7. Let t(d) = 3*d + 14. Let g(o) = -5*b(o) + 2*t(o). Let x = -98 + 110. Does 2 divide g(x)?
False
Suppose 56*o = -45*o + 101505. Is o a multiple of 5?
True
Let r = 28 + 6. Does 16 divide -4*32/(-24)*(2 + r)?
True
Suppose 3*y - 3128 = -y + 49320. Is y a multiple of 22?
True
Let r(w) = -433*w + 658. Is r(-1) a multiple of 22?
False
Let f(q) be the third derivative of -7*q**4/24 - 13*q**3/6 + 77*q**2. Let c = -11 - -7. Is 5 a factor of f(c)?
True
Let z = 2126 - -6. Is 7 a factor of z?
False
Is 118 a factor of 4/(960/517932) + (-4)/80?
False
Let k(d) = 21*d + 10. Let v(r) be the first derivative of -10*r**2 - 9*r - 8. Let m(g) = 3*k(g) + 4*v(g). Does 14 divide m(-2)?
True
Let j(r) = 4 + 290*r**2 + 6*r - 288*r**2 - 3 - r**3. Let o(c) = c - 3. Let y be o(6). Does 4 divide j(y)?
False
Suppose -o + 2*o - 38 = 0. Suppose 4*z - o = -14. Suppose z*t - 50 = t. Is t even?
True
Suppose 2*b = -5*k + 10 - 9, 12 = 3*b + 4*k. Suppose 0 = b*d - 6103 + 31. Is 12 a factor of d?
False
Suppose 253135 + 136881 = 8*w. Does 11 divide w?
True
Let x = -68 - -73. Suppose 0 = -x*k + 3*c + 2779, 3*c - 710 = -2*k + 389. Is k a multiple of 43?
False
Let q be (-24)/3 + 1/(-2)*-8. Does 2 divide 4/(295/(-75) - q)?
True
Let y be ((-18)/15)/((-6)/800 - 0). Let h = -58 + y. Let k = 175 - h. Does 9 divide k?
False
Let a(j) = j - 27. Let b be a(19). Does 8 divide (-13)/((b + 3)/80 + 0)?
True
Suppose 16*m + 18 = 18*m. Let t(l) be the second derivative of -l**4/12 + 5*l**3/2 - 7*l**2 + 14*l. Is t(m) a multiple of 12?
False
Let p(a) = -4*a**2 - 15*a + 3. Let w be p(6). Let h = -165 - w. Does 5 divide h?
False
Let x(v) = 126*v + 88. Let u be x(-4). Let d = 222 - u. Is d a multiple of 29?
True
Let h = -663 + 1407. Suppose 4*s - 8*s = -h. Suppose -3*f = -s - 204. Does 10 divide f?
True
Let j = -127 + 145. Suppose -147 = -25*s + j*s. Does 3 divide s?
True
Suppose 0 = -6*z + 12. Suppose -z*b + 2*w - 6 = 0, -4*w + 0*w + 10 = -5*b. Suppose 4*d - b*d = 166. Is 16 a factor of d?
False
Let t(a) be the second derivative of -a**3/2 + 11*a**2 - 12*a. Let w = -25 - -11. Does 16 divide t(w)?
True
Let d = 102 + -72. Let r be (-2)/10 + 6/d*46. Suppose -5*b = -r*b + 268. Is 17 a factor of b?
False
Let t = 64 - 54. Suppose t - 9 = -u. Is 176/28 + u - (-4)/(-14) a multiple of 2?
False
Let z = 738 - 526. Let c = 386 - z. Does 13 divide c?
False
Suppose 8*a = 12*a + 4. Is 4 a factor of 189/27 - a*113?
True
Let k = 6428 - 2828. Does 36 divide k?
True
Let p(u) = -102*u - 5. Let q = 34 + -28. Suppose -4*j = 3*a + 6, 16 = -5*a - 2*j + q. Does 43 divide p(a)?
False
Suppose -21*p - 24 = -17*p. Is 22 a factor of p/(0 + -2) + 1680/60?
False
Let r(l) = l**3 - 2*l**2 - 2*l + 427. Let z be r(0). Let a = z + -255. Is a a multiple of 11?
False
Suppose 1680 = 83*p - 76*p. Does 7 divide p?
False
Let m = 36634 - -10391. Is 60 a factor of m?
False
Let u be 4/(-3)*39*(-5)/10. Suppose -u*z + 28*z = 540. Suppose 0 = -5*o + 2*o + z. Is o a multiple of 15?
True
Let g(p) = -7*p - 250. Let z be g(-36). Is 3 a factor of 4/(-8)*z*(-15 + 2)?
False
Let u(n) = -14*n + 0*n + 13*n - 1. Let z(p) = 2*p - 9. Let d(i) = -2*u(i) + z(i). Is d(8) a multiple of 5?
True
Let n(x) = x**3 + 4*x - 4. Suppose -12*p + 23 = -13. Let t be n(p). Suppose -c + 2*d + t = -3*d, 5*c - 175 = -4*d. Does 11 divide c?
False
Let i(m) = 5*m - 95. Let u be i(19). Suppose -j - 5*o + 178 = u, -482 = 2*j - 5*j - 2*o. Is 4 a factor of j?
False
Let q(f) = -2*f**3 - 5*f**2 - 2*f - 33. Let o be q(-5). Suppose 31*t = 146 + o. Does 2 divide t?
True
Suppose -4*u - 6*u = -30. Suppose i + 2*b = 1 + 1, -2*i - b + 1 = 0. Suppose -4*f + 4*z + 36 = i, u*z = 4*f - 2*z - 40. Is f a multiple of 5?
True
Suppose 2*z - 5*c = -6996 - 287, -4*c = 3*z + 10982. Let d = z + 6826. Suppose 11*x - d + 312 = 0. Is 52 a factor of x?
True
Let l = 9517 - 3457. Does 101 divide l?
True
Suppose l - q - 16 = -15, 2*l - 4*q + 8 = 0. Let w(o) = 11*o**2 + 23*o + 6. Is 29 a factor of w(l)?
False
Suppose 7*a - 2610 - 16911 = 863. Does 9 divide a?
False
Let f be (-5)/((-561)/(-281) - 2). Let j = -379 + f. Is j a multiple of 38?
True
Let a(z) = -39*z**2 + 26*z + 19. Let u be a(-13). Does 47 divide u/(-5) + (12 - 5)?
False
Suppose -233*f = -134*f + 162*f - 1683450. Does 129 divide f?
True
Let q(d) = d**3 - 25*d**2 - 91*d + 641. Does 34 divide q(29)?
False
Let k be (-50)/(-6)*(-108)/(-30). Is 220/16*12/k*108 a multiple of 21?
False
Suppose 26382 = 182*p - 179*p. Is 72 a factor of p?
False
Suppose 12*g = 11*g + 2. Suppose 4*c - 806 = -5*d, -g*d - 19*c + 327 = -22*c. Is d a multiple of 15?
False
Let x = 24 - 82. Let q = x - -60. Suppose q*p - 151 - 137 = 0. Does 16 divide p?
True
Suppose 5*p = 26 - 1. Suppose 38 = v - 3*s, -2*s + p = v - 38. Is v a multiple of 4?
False
Let x(y) = -y**3 - 12*y**2 + 33*y - 34. Let k be x(-16). Suppose 2*m + 2*m - 2*i = 1844, m = i + k. Is 14 a factor of m?
False
Suppose 5*k = -3*h + 53, h = 5*k - 4*h - 45. Suppose 318 - 38 = k*o. Is 25 a factor of 1/1 - (-187 + o/(-7))?
False
Suppose 5*a - 125*y - 85080 = -120*y, 3*y - 68043 = -4*a. Is a a multiple of 14?
False
Let m(w) = 8969*w**2 + 238*w - 472. Is m(2) a multiple of 13?
True
Let w be 4 + -2 + (-2 - -2). Let g be 80/24*9/1. Suppose 5*l + 5*c = g, c = -w*l - 3*c + 4. Is l a multiple of 5?
True
Suppose 5 = b + 3*y + 18, -4*b - 2*y - 2 = 0. Suppose 227 = 2*u - u - 5*k, -b*u = -2*k - 470. Does 3 divide u?
True
Let u = -144 + 201. Suppose 237 = -4*d + u. Let s = d + 117. Is s a multiple of 8?
True
Let r = 3623 + -2463. Suppose -3*a = 5*j - r, -j + 4*a + 464 = j. Does 58 divide j?
True
Suppose -7*n = -2657 + 935. Suppose -809 = -o - 3*l - n, 0 = 2*o - 2*l - 1086. Is o a multiple of 29?
False
Suppose 4*p = -1524 + 38536. Is p a multiple of 36?
False
Suppose -6*g = 85 - 445. Suppose -56*u = -g*u + 644. Is u a multiple of 8?
False
Suppose -5*k + 1100 = -2*b - 596, 0 = 4*k - 4*b - 1352. Suppose -z - x = -k, -4*x = z + 2*z - 1020. Does 20 divide z?
True
Let d = -625 - -1969. Suppose 6*h + 8*h = d. Is 5 a factor of h?
False
Suppose -5*w - 4*t + 2900 + 3088 = 0, 2*t - 5984 = -5*w. Suppose -4*o + 4*v + w = 0, -v + 6*v + 905 = 3*o. Does 12 divide o?
False
Suppose v + 94 = r, -2*r = 3*v - 136 - 77. Suppose -4*p + z + 85 - 280 = 0, 2*p = -z - r. Let a = p - -69. Is 10 a factor of a?
True
Does 46 divide 37737/14*4 + -11?
False
Suppose -39 = 6*y + 171. Does 16 divide -585*(3 - (-119)/y)?
False
Let x = -940 - -1633. Suppose -x - 217 = -5*h. Is h a multiple of 13?
True
Is 62 a factor of 5/9 + 29064900/3753?
False
Suppose 22688 = 11*j - 13689. Does 19 divide j?
False
Let s = -7024 - -7525. Is s a multiple of 16?
False
Let t(p) = p - 4. Let s be t(2). Let x be 3 - (s + -1 - 35). Let o = x + 21. Is o a multiple of 7?
False
Let w(q) = 9*q**3 - 4*q - 15. Let s be w(-3). Let h = 88 - s. Does 11 divide h?
False
Suppose -10*l + 6*l - 3*p + 40271 = 0, 4*p + 20130 = 2*l. Does 89 divide l?
False
Suppose -245*l + 377029 = 232667 - 811138. Is 18 a factor of l?
False
Let u(f) = 28*f - 42. Suppose -6 = -7*n + 141. Is 15 a factor of u(n)?
F