multiple of 3?
True
Suppose 3*a - 3*l - 446 = 211, 3*l - 1127 = -5*a. Is 3 a factor of a?
False
Suppose -68*i - 8798 = -4*q - 65*i, 0 = -2*q - i + 4394. Does 14 divide q?
True
Let f(q) = -q**2 + 19*q + 12. Suppose 2*z + 3*p + p = 30, 2*z + 2*p - 34 = 0. Let h be f(z). Suppose -11*x - 63 = -h*x. Does 29 divide x?
False
Let l = -479 + 499. Suppose s = -3*j + 1469, -76*j - l = -71*j. Does 14 divide s?
False
Let j(n) = 25*n - 128. Let l be j(10). Let r = 130 + l. Is 84 a factor of r?
True
Let k(g) = 7*g**2 + 7*g + 39. Let l be k(14). Let a = l + -915. Is 18 a factor of a?
True
Suppose 0 = -5*h - 2 + 72. Is 40 a factor of 390/(h/8 - (-20 - -21))?
True
Let g be (-216)/(-40) + -5 - 8/(-5). Suppose i - g*r = 90, r + 0*r = 4*i - 339. Is i a multiple of 13?
False
Let s = 4324 - 3128. Does 14 divide s?
False
Suppose 0 = h + 4*f - 21, 2*f = 2*h + 6*f - 22. Does 6 divide ((-62)/(-31))/((-123)/(-121) - h)?
False
Suppose -12 = -u - 12. Suppose 30*l - 24*l - 36 = u. Let x = l + 124. Does 19 divide x?
False
Let r = 593 + -208. Let l(h) = 292*h + 691. Let o be l(-3). Let k = o + r. Is k a multiple of 25?
True
Let m = 116 + -130. Is (28/13)/m - 9622/(-13) a multiple of 20?
True
Suppose -z - 81 = 2*x, 5*x + 3*z = 3*x - 83. Let m = x + 33. Let n = m - -31. Is 15 a factor of n?
False
Suppose 93*o = 95*o. Suppose o = -253*h + 262*h - 3528. Is h a multiple of 28?
True
Suppose 20*v + 9*v - 6728 = 0. Let q = v + -224. Does 8 divide q?
True
Let j = 46324 + -28738. Does 9 divide j?
True
Suppose -1210151 + 83321 = -200*y + 1198770. Does 17 divide y?
True
Let p(f) = 5*f**2 - 32*f + 24. Suppose -10*t + t + 63 = 0. Is p(t) a multiple of 9?
True
Suppose 0*g = -10*g - 1950. Let f = 317 - g. Does 17 divide f?
False
Suppose -9 = 6*w - 69. Let c be 2/w - 147/35. Does 13 divide (-12)/(-4) + c - -105?
True
Let a(y) = -y**2 - 8*y + 19. Let d be a(-10). Is 16 a factor of d/7*1 - 237480/(-280)?
True
Suppose 6*v - 4 = 5*v. Let i be v + (-6)/3 + 2. Suppose 4*c + 7*m = i*m + 1290, -4*m = -5*c + 1628. Does 48 divide c?
False
Let h(o) be the second derivative of o**5/20 + o**2/2 + 6*o. Let q be h(-1). Does 10 divide (-60)/16*(q - 40)?
True
Suppose 3*i = -2*x, 5*x + 15 = 3*i + 2*x. Let u be -3 + (-58)/(-18) + (-50)/(-18). Does 18 divide ((-1)/u + i)*54?
True
Suppose 4*x = 6*g - 2*g + 90100, -x + 22519 = -2*g. Does 9 divide x?
False
Let c(l) = -37 + l + 9*l + 9 - 26. Let o be c(6). Suppose -o*n + 1260 = n. Is 10 a factor of n?
True
Let j be 57/18 - ((-75)/(-18) - 4). Suppose f + 28 = 4*l + 5*f, -3*f - j = -3*l. Suppose -l = 2*h + p - 6*p, 2*p = 2*h - 8. Is h a multiple of 3?
False
Suppose 18*a + 6600 = 38*a. Let g = 672 - a. Is g a multiple of 13?
False
Let w = 2128 - 1828. Is w a multiple of 4?
True
Let l(f) = 24*f**3 - 2*f + 21*f**3 - 60*f**3 - 3 + 28*f**3. Is 18 a factor of l(3)?
True
Let s = -238 + 152. Let c = 145 + s. Suppose -7 = -2*b + c. Is 8 a factor of b?
False
Suppose 3 = 5*i - 202. Let f = -835 - -839. Suppose 9*b + 4*t = f*b + i, 0 = -3*b + 4*t - 1. Is b a multiple of 5?
True
Let t(y) = -y**3 - 4*y**2 - 4*y + 9. Let n be t(-3). Is -60*8/n*-5 a multiple of 20?
True
Let f(b) = -2*b - 44. Let s be f(-22). Suppose s = d + 2*d - 1749. Suppose 5*y + 3*a - d = -143, y + a - 88 = 0. Is y a multiple of 19?
False
Let n = 1440 + 118. Does 41 divide n?
True
Let l(b) = 2*b**2 - 55*b + 23. Let m be l(25). Let o = 347 + m. Is o a multiple of 49?
True
Suppose 0 = -5*h + 25*s - 28*s + 76173, 2*s = 3*h - 45700. Is h a multiple of 6?
True
Let j(u) be the first derivative of 23*u**3/3 + 43*u**2/2 + 2*u + 47. Does 52 divide j(-6)?
True
Let f be 8/20*145 + (-12)/4. Let t(a) = 31*a**3. Let s be t(1). Let m = f - s. Does 4 divide m?
True
Suppose -13*j + 8*j + 15 = 0. Suppose -4*b = 4*p - 64, 82 = 5*p + j*b + 8. Suppose 8*o - p*o + 60 = 0. Does 4 divide o?
True
Suppose -22*v + 263016 = 4*v. Does 9 divide v?
True
Suppose -p - 22 = -3*t, 6*p = 3*t + 2*p - 25. Let w be 8/28*t + 1 + 0. Suppose 279 = w*c + 2*c - 3*h, -3*c = 5*h - 147. Does 18 divide c?
True
Suppose 2*x + 2*w - 9 = x, 47 = 4*x - 3*w. Let o(s) = -s**2 - 38 + 2*s**2 - 14*s + x. Is o(18) a multiple of 15?
True
Suppose -5*x - 10 = -0*x, -5*c + 5*x + 10 = 0. Suppose c = -2*d - 14*d + 160. Does 5 divide d?
True
Suppose -6392 = -4*u + 4*k, 41*u - 42*u - 3*k + 1614 = 0. Is 6 a factor of u?
True
Let j be ((-11)/(-33))/((-3)/(-81)). Let u(w) = w**3 - 5*w**2 - 20*w + 72. Is 18 a factor of u(j)?
True
Let v = -28 - -2007. Is v a multiple of 26?
False
Suppose -2*f = -3*f + 298. Let h be (6 - 7) + 1050/5. Let x = f - h. Does 10 divide x?
False
Is 32 a factor of 19 + (-17 - (-7 - 17911))?
True
Let q be 1/(1/(3/(-3))). Let w(s) = -s**3 - 9*s**2 - 9*s + 6. Let i be w(-8). Is (q + 0)/(i/(-490)) a multiple of 32?
False
Suppose h = -3*f + 157, 0*f = -2*f - 2. Let j = 124 - 120. Suppose -o + 18 = -5*s, j*o + 4*s - 8 - h = 0. Is o a multiple of 8?
False
Suppose -110*n + 495362 = -145058. Is 41 a factor of n?
True
Let n be 4*(-12)/16*(-2)/3. Suppose -n*u + 4 = 0, -624 + 3521 = x - 5*u. Suppose x = 5*z + 4*z. Is 19 a factor of z?
True
Let r(q) = 8*q**3 + 2*q**2 - 2*q + 6. Let z(l) = -l**2 - 11*l - 15. Let b be z(-9). Let s be r(b). Suppose -5*t - 2*g + s = -g, g = 4. Does 16 divide t?
False
Let i = -192 - -708. Suppose 2*n - i = 5*f, 5*n - 1324 = -0*n + 4*f. Does 67 divide n?
True
Suppose -5*y + 14047 = -u, -y - 13*u = -12*u - 2807. Is y a multiple of 7?
False
Let t(b) be the third derivative of -61*b**4/24 - 113*b**3/6 + 7*b**2. Is t(-11) a multiple of 66?
False
Does 84 divide 6/4 - (-22977630)/492?
True
Let j = 882 + -193. Is 16 a factor of j?
False
Let b(t) = 2*t**3 + 32*t**2 - 3*t - 68. Does 5 divide b(-13)?
True
Let q(b) = -19*b**3 + 27*b**2 + 8*b - 6. Is 67 a factor of q(-8)?
False
Suppose 180*o - 5358 = 161*o. Suppose 38*i - 250 = o. Does 7 divide i?
True
Let k(y) = -168*y - 166. Let o be k(-1). Let q = 7 - 1. Suppose -q*h + o*h + 32 = 0. Is h a multiple of 4?
True
Let w(x) = 22*x**2 + 21*x - 377. Is w(-22) a multiple of 28?
False
Let s be (-13 - 2)*(1 + -2). Let n(o) = o**2 - 130*o + 3047. Let w be n(98). Let x = s - w. Does 52 divide x?
True
Suppose 5*j + 5*w - 300 = 0, 4*w = 2*j - 54 - 78. Suppose 2*h = -3*u + j + 101, -157 = -2*h - u. Is 23 a factor of h?
False
Suppose -5*m + 8*m - 9 = 0. Suppose 0 = 3*s - 2 - 4, 3*s = m*z - 351. Suppose 2*x - 3*d - 103 = -12, -3*x + d = -z. Does 5 divide x?
False
Let k = 6012 - 4285. Is 4 a factor of k?
False
Is (1 - 6411)*(32 + -70 - -30) a multiple of 282?
False
Suppose 386325 = -32*p + 45*p + 38*p. Is 5 a factor of p?
True
Let x = -5580 - -14150. Is 10 a factor of x?
True
Let o = 84 - 76. Suppose 0 = -o*l + 21*l + 13. Is l/((-75)/24 - -3) a multiple of 2?
True
Suppose 221*z - 200*z - 110713 - 68396 = 0. Is 46 a factor of z?
False
Suppose 13*g = 34*g - 53*g + 845856. Is 99 a factor of g?
True
Suppose 9*x = 5*k + 11*x - 29, -3*k - 5*x = -25. Suppose -4*v - 157 = -b, 2*b + k*v - 265 = 75. Is 11 a factor of b?
True
Let j(h) = 28*h - 1048. Is 34 a factor of j(52)?
True
Let j be -1 - (-5)/7 - 6996/(-231). Suppose -5*c + j = c. Suppose -4*o - 334 = -2*y, -c*y - 4*o + 799 = -2*o. Is y a multiple of 11?
False
Suppose -42 = 4*j - 294. Does 14 divide (-3 - (-207)/j)*2093?
False
Suppose 5*o + 3*t = 17609, -o - 52*t = -48*t - 3532. Is o a multiple of 44?
True
Let j(y) be the first derivative of 39 - 7/2*y**2 - 10*y + 1/4*y**4 + 5/3*y**3. Is 13 a factor of j(-5)?
False
Let i be (-7)/((-6)/(-24)*-4). Let q(a) = -a**2 + 13*a + 10. Does 26 divide q(i)?
True
Let j = -24671 - -42207. Is j a multiple of 137?
True
Let m(t) = 15*t - 7. Let b be m(1). Suppose 153 = -25*v + b*v. Let c = v - -61. Is 26 a factor of c?
True
Suppose 0 = -3*g - 2*g - 3*v + 7, 4*g + 2*v = 6. Suppose -b = -0*b - g. Suppose -b*z - 51 = -323. Is 17 a factor of z?
True
Suppose 2850 = 5*f - 2440. Suppose 2*u = 3*l + 522, -4*u - 5*l + f = -4*l. Is 24 a factor of u?
True
Suppose j + 3*j - 8 = 0. Suppose -836 = -2*q + j*r, -4*q + 2501 = 5*r + 847. Is q a multiple of 32?
True
Let z(h) = -h**3 + 11*h**2 + 28*h - 11. Let n be z(13). Suppose -n*m = -33*m + 5112. Does 12 divide m?
False
Suppose -482 = -10*d + 1868. Let m = 526 - d. Is m a multiple of 12?
False
Suppose 0 = -3*z - 0*z. Suppose z = p - 4*y - 4, 20 = 5*p + 2*y - y. Suppose -3*d = -p*u - 0*u - 154, -52 = -d + 