3. Suppose -4*p = -o*p + 164. Is 6 a factor of p?
False
Let a(r) = -15*r**2 - 24*r + 30. Let q be a(6). Let m = 711 + q. Is m a multiple of 5?
False
Let z(c) = 2*c + 204. Let h be z(28). Does 25 divide 3952/h*(-45)/(-2)?
False
Suppose -3*q + 3*h + 876 = 0, -h + 201 = 3*q - 683. Let b = 355 + q. Does 59 divide b?
True
Let l(z) be the third derivative of z**5/3 - z**4/8 - 5*z**3/2 + 53*z**2. Is 10 a factor of l(-5)?
True
Is 21 a factor of 226/2825 - 56/75 - (-22144)/6?
False
Let y be 1*(-3)/2 + 15/2. Suppose -4*k = 2*o - 392, o + k + 199 = 2*o. Suppose y*b - 330 - o = 0. Is 22 a factor of b?
True
Let z(r) be the second derivative of r**5/20 + r**4/3 - 4*r**3/3 - 7*r**2/2 + 22*r. Let s be z(-5). Suppose -s*n = -19 - 93. Does 5 divide n?
False
Let l(y) = -y**3 + 2*y**2 - 2*y + 17. Let k(g) = g - 19. Let d be k(19). Let j be l(d). Let n(q) = -q**2 + 21*q + 23. Is 14 a factor of n(j)?
False
Suppose 27*s - 13*s - 17486 = 0. Let f = -750 + s. Is 78 a factor of f?
False
Suppose 0 = 71*y - 10865 - 11571. Does 4 divide y?
True
Let n(d) = -229*d + 234. Does 9 divide n(-28)?
False
Let c(g) = 12*g**2 + 57*g - 385. Is 47 a factor of c(-45)?
False
Let o(i) = -166*i - 10. Let x be o(-4). Suppose 5*u = -5*z + 1456 + 164, 2*z + 5*u - x = 0. Is z a multiple of 46?
True
Suppose 7*l = -3*l + 70. Let x(a) = -a + 18. Let b be x(l). Suppose b*c - 10*c = 59. Is 10 a factor of c?
False
Suppose -10*g - 13 = -733. Suppose 69*i = g*i - 1074. Is i a multiple of 46?
False
Let p = -398 + 521. Suppose -2108 + p = -5*t. Is t a multiple of 19?
False
Let b(w) = -732*w + 90 + 737*w + 68 + w**2. Is b(0) a multiple of 20?
False
Suppose -408*l - 1554 = -402*l. Let r = 384 + l. Is 7 a factor of r?
False
Let h = -48603 + 73056. Does 247 divide h?
True
Let x be 75/(-60) - ((-11037)/4 - -1). Suppose -6*i = -x - 2085. Does 75 divide i?
False
Let n(z) = -z**2 - 16*z - 35. Let d be n(-13). Suppose 0 = -3*s + 3*i + 213, i + 335 = s + d*s. Is s a multiple of 22?
True
Let j = 24776 + 2040. Is 40 a factor of j?
False
Let s(z) = -11*z**2 - z**3 + 3 - 19 + 10*z - 2*z. Let c be (-308)/(-88)*48/(-14). Does 16 divide s(c)?
True
Let o = 6566 + -174. Is o a multiple of 47?
True
Suppose 16*m - 3957 - 11112 + 1869 = 0. Is m a multiple of 12?
False
Suppose 0 = 2*g + 41 + 175. Is g*((-91)/(-21) - 5) a multiple of 9?
True
Let n(t) = t**2 + 7*t - 7. Let r be 5/(-3 + 3 + -1). Let c be n(r). Is 31 a factor of (c/(-1))/((-1)/(-2))?
False
Let m(d) = -d**3 - 12*d**2 + 5*d + 34. Let j be m(-11). Let h = j - -188. Is 30 a factor of h?
False
Let y = 6 + -4. Suppose 4*t - 149 = n - t, -2*n = y*t + 286. Let q = -109 - n. Is q a multiple of 3?
False
Let o = -775 + 418. Let u = 377 + o. Does 18 divide u?
False
Let l = -17593 - -17591. Let g(u) = 9*u**3 - 2*u + 1. Let v be g(1). Is v/(l - -4)*10 even?
True
Does 15 divide (-16)/(-3)*107529/146?
False
Let d = 2935 + -1388. Does 13 divide d?
True
Suppose 0 = -8*t - 91 + 1795. Suppose -206*a - 1750 = -t*a. Does 25 divide a?
True
Let w = -24806 + 48506. Does 50 divide w?
True
Let d = -1128 + -5169. Is (8/(-10) - -1) + d/(-15) a multiple of 15?
True
Suppose 5*j + 3 = w - 5*w, 0 = 2*w - 5*j + 9. Is 32 a factor of ((-48)/w)/(11/(1936/6))?
True
Let m be (-4)/6 - (-4)/6. Let h(n) = -n**3 - 7*n**2 + 21*n - 20. Let t be h(-12). Suppose m*w - 4*w + t = 0. Is w a multiple of 16?
True
Let x(t) = -444*t - 1503. Is x(-6) a multiple of 20?
False
Suppose 53*w + w - 1034748 = 0. Is w a multiple of 60?
False
Does 4 divide (52/(-5))/(8/(-480))?
True
Let a = 16852 + -8870. Is a a multiple of 21?
False
Let c(w) = w**3 + 18*w**2 + 3*w + 12. Does 13 divide c(-14)?
True
Suppose 4*v - 10 = -2*n, -5*v + 19 = 3*n - 3*v. Let f(z) = -z**2 + 7*z + 17. Let h be f(n). Suppose -5*m + h*m - 1500 = 0. Does 25 divide m?
True
Suppose 4*r = -3*s + 29021, -41*s + 44*s + 36256 = 5*r. Does 84 divide r?
False
Is 71 a factor of ((-35)/30)/(424/48 - 9) + 1129?
True
Suppose -5*j + 10 + 25 = 0. Let l(o) = 8*o**2 + 6*o + 36. Let m(s) = 7*s**2 + 5*s + 35. Let p(n) = j*m(n) - 6*l(n). Is 4 a factor of p(0)?
False
Suppose 0 = -19*d - 2200 + 9933. Is 5 a factor of d?
False
Let u be (-8)/(-6) - -140*24/(-9). Let w = u + 757. Is w a multiple of 55?
True
Suppose 0 = 3*g + 18, -g - 14019 = -37*k + 34*k. Does 19 divide k?
False
Suppose 0 = -17*s + 2911 + 5113. Let x = s + -370. Does 7 divide x?
False
Let r(l) be the second derivative of -l**5/20 - 2*l**4/3 + 43*l**3/6 - 8*l**2 + 4*l + 8. Is 45 a factor of r(-13)?
True
Is (56/6)/((-22)/43329*-1) a multiple of 14?
True
Let b(g) = -21*g - 53. Let d be b(-9). Does 23 divide d/((5 - 4)/1)?
False
Let q be 83/17 - (-26)/221. Is 15 a factor of 45/(q - 2)*95?
True
Suppose 13 = 5*r - 2. Let l(i) = 8*i - 13*i - 2*i**3 + 3*i**r. Is l(5) a multiple of 12?
False
Let t be (-1)/(-5) + -134*(-9)/(-30). Let j be ((-17)/4)/((-2)/t). Does 15 divide (1 - 4) + 0 - -5 - j?
False
Let n(p) = p**2 + 2*p + 1. Let s be n(2). Suppose -2*k + f + 34 = -7*k, -k = -2*f + s. Let b(o) = -17*o + 18. Is b(k) a multiple of 16?
False
Suppose -6*n = -5*n - 3*f + 108, 5*f = 0. Let x = 111 + n. Does 6 divide 700/7 + -7 + x?
True
Let j = 503 - 290. Suppose j*u = 207*u + 312. Does 30 divide u?
False
Is 39/(-26)*(48605/(-15) - 7) a multiple of 132?
False
Let w(x) be the first derivative of -1/4*x**4 - 4*x + 3/2*x**2 + 5/3*x**3 - 4. Is 5 a factor of w(3)?
False
Let c(t) = 55*t**2 - 16*t - 71. Does 50 divide c(-4)?
False
Suppose -205 = -5*a + 5*j, 4*a = 3*j - 8*j + 155. Suppose 1780 = -35*z + a*z. Is 23 a factor of z?
False
Let n be (0 - 1)/((-9)/(-3717)*7). Let v = n + 76. Suppose -v*q + 132 = -6*q. Does 2 divide q?
True
Suppose 819*w = -q + 817*w - 317, -5*q = -w + 1530. Suppose -v = -5*t + 158, 0*v + 484 = -3*v + 5*t. Let a = v - q. Does 18 divide a?
True
Let k(w) = -195*w + 4 + 17 + 193*w. Let y be k(8). Suppose 0 = -y*n - 46 + 166. Does 6 divide n?
True
Let a be ((-1)/1)/((-1)/23). Suppose -4*d = 4*g + 4, a = 4*d - 5*g - 0. Suppose 5*r - 2*r + 5*v - 296 = 0, -3*r + 302 = d*v. Is 18 a factor of r?
False
Let h(u) = 194*u**3 + 6*u**2 - 41*u - 5. Is h(5) a multiple of 322?
False
Let n be 72/8*((-237)/(-1))/(-3). Suppose -11 + 39 = -4*v. Does 45 divide v/(21/n)*1?
False
Let m(z) = 62*z**2 - 3*z + 5. Let w be m(-6). Suppose -w = -13*a - 695. Does 5 divide a?
True
Suppose 5*t - 12698 = 4*h, -4*t + 52*h + 10144 = 56*h. Is 9 a factor of t?
True
Is ((-99)/(-165))/((-1)/(-3450)) a multiple of 6?
True
Suppose 5*i = -4*c + 27, -5*i - 2*c + 4 + 17 = 0. Let x(u) = -12*u + i - 5*u - 3*u - u. Is 9 a factor of x(-2)?
True
Suppose -14*g + 58936 = -4*g - 2*g. Is 10 a factor of g?
False
Is (-404)/707*(1 - 330*71) a multiple of 155?
False
Let g(l) be the third derivative of l**5/5 + l**4/3 - l**3/2 + 34*l**2. Is 13 a factor of g(4)?
True
Let m be 1 + 7/(-14)*(-6)/1. Suppose 6*o - 3*r = 5*o + 131, 0 = -4*o + m*r + 508. Does 25 divide o?
True
Let p be (-100)/(-14) - 5 - (-1)/(-7). Suppose 0 = 2*i + 2*y - 2814, -2*i = i + p*y - 4217. Is i a multiple of 12?
False
Let l(s) = s + 11. Let f be l(-8). Suppose 2*w = 5*i - 704, -4*i = f*w + w - 552. Suppose -141*m + i*m + 97 = 0. Is 11 a factor of m?
False
Suppose 190*y + 18081 = 231*y. Is y a multiple of 4?
False
Let x(c) = -582*c + 582*c + 2*c**2 + 304. Let g be x(0). Suppose 5*n - j + g = 744, -5*n = 4*j - 415. Does 13 divide n?
False
Suppose z - 3682 = h, -3*z - 6*h = -3516 - 7548. Does 9 divide z?
False
Let q(f) = 835*f + 1937. Does 10 divide q(8)?
False
Let v = -14 - -16. Let g(o) be the third derivative of o**6/60 + o**5/30 - o**4/24 + 18*o**2. Is 5 a factor of g(v)?
False
Suppose -3*j = 4*a - 35583, -2*j + 3*a - 9310 = -33049. Suppose -33*c - j = -54*c. Does 21 divide c?
False
Let c(n) = -4*n - 1. Let p be c(-1). Suppose -p*z - 57 = -6*z - 4*g, 4*z + 5*g = 75. Is 1191/z + (-3)/(-5) a multiple of 20?
True
Let s = 14820 - 7296. Is 66 a factor of s?
True
Suppose 0 = 38*d - 27*d - 24090. Is 15 a factor of d?
True
Let x be (-2*1)/((-9)/9). Let l be 20/5 + 566 - (-1)/(-1). Suppose x*u - 228 = -v, 3*v - 106 = -3*u + l. Does 45 divide v?
False
Suppose 4*s + 83 = -121. Let p = 43 + s. Is 52/12 - (-1 - p/6) a multiple of 4?
True
Let o be 1*12*(-6)/(-18). Suppose -o*g = 159 - 39. Does 38 divide (5 - g)/1 - (-1 - 2)?
True
Let w(z) be the third derivative of -z**7/720 - z**6/24 + 2*z**5/15 + 20*z**2. 