 = -17*m**2 - 3*m + 2. Let w be d(3). Let b = 257 + w. Let l = b + -57. Is l a multiple of 19?
False
Let l(x) = -399*x - 1107. Let i(d) = -25*d - 69. Let p(w) = 66*i(w) - 4*l(w). Does 45 divide p(-4)?
True
Let m(g) = -6*g. Let f be m(-1). Suppose -21 = -5*r - f. Does 6 divide r/(-15) + (-464)/(-20)?
False
Let z = -14 + 14. Suppose o - 136 - 3 = z. Suppose 469 = 8*v - o. Is v a multiple of 38?
True
Let k = -20940 + 32701. Does 22 divide k?
False
Let t be 18/15*(-10)/4 + -138. Let f = t - -155. Does 7 divide f?
True
Let g be (-235)/25 - 12/20. Let q be g/(1/1)*(-6 - 2). Suppose -z = 4*z - q. Is 16 a factor of z?
True
Suppose -4*z + 4 = 0, -2*y + 1039 = 246*z - 251*z. Does 6 divide y?
True
Let d be (-2 + -22)/(-4) + (-42)/2. Is 15 a factor of (1 - (-13)/d) + (-2598896)/(-2280)?
True
Let h = 17054 - 16460. Is h a multiple of 66?
True
Let y = -108 + 110. Suppose -11 + 19 = y*i. Is (i/10)/((-5)/(-4100)*4) a multiple of 41?
True
Let x(r) = -r**3 + 5*r**2 + 20*r + 3. Let o be x(-4). Let j = 1002 + o. Is 73 a factor of j?
False
Suppose -10*w + 11*w + 5*z = -70, -328 = 4*w - 4*z. Is 18/((-1)/(w/15)) a multiple of 32?
True
Let c be ((-12)/9 + 2)/((-2)/(-12)). Suppose 2*j + y - c*y - 7 = 0, 2*j - 2 = -2*y. Suppose -92 = -2*b - 2*i, 5*b + 0*i - 202 = j*i. Is b a multiple of 7?
True
Let s = -10235 - -15689. Does 6 divide s?
True
Suppose 0 = -5*h - 4*w + 5, h - 3*w - 5 = 3*h. Let a(q) = -q**3 + 6*q**2 - 3*q - 20. Let v be a(h). Let u = 206 - v. Is u a multiple of 36?
True
Suppose -6*j + 3*j + 18 = 0. Suppose -j*r = 122 + 214. Let q = r - -64. Is 6 a factor of q?
False
Let d = 60 - 48. Let y be 6/9 - 128/d. Is 13 a factor of y/25 + 134/10?
True
Let o(t) = 3*t**2 - 14*t - 6. Let y be o(6). Let p(v) = 11*v**2 - 5*v + 11*v**3 + 3*v - 10*v**3 + y*v. Is 13 a factor of p(-8)?
False
Let m(z) = -2*z**2 - 24*z + 8. Let w be m(-12). Suppose 0 = -5*x + 7 + w. Suppose 436 = 4*r + x*k - 7*k, 106 = r - 4*k. Is r a multiple of 22?
True
Suppose -2*t = -2*f + 14, 5*t - 7 + 24 = -f. Suppose f*w = 7*w - 100. Suppose 28*n - 192 = w*n. Is 16 a factor of n?
True
Suppose 19*n - 7*n - 2100 = -2*n. Is 81 a factor of n?
False
Suppose 9*p + 14633 + 28260 = 5*u, 4*u = -5*p + 34290. Is u a multiple of 25?
True
Let i be 4377/(-15) - 1/5. Suppose -25*r + 1186 = 14561. Let c = i - r. Is c a multiple of 27?
True
Suppose 3*r + 317 + 45 = -4*w, 268 = -3*w - 4*r. Let t = 204 + w. Is t a multiple of 14?
True
Suppose 0 = s + 30 + 38. Suppose -m + 4*v = -5*m + 392, -2*m = -5*v - 224. Let b = m + s. Is 10 a factor of b?
False
Does 8 divide (521430/(-112))/(-65) - (-3)/8?
True
Let j(x) = -9*x**2 - 5*x + 13. Let d be j(7). Is (5 + (-10 - -2))/(3/d) a multiple of 45?
False
Let k = -3970 + 7431. Does 8 divide k?
False
Suppose 3*f = -5*v + 5885, 5*v - 5*f + 1155 = 6*v. Suppose 683*y - 685*y = -v. Is y a multiple of 68?
False
Does 25 divide (-54)/((-11)/(-48) + (-39)/(-4) + -10)?
False
Suppose -4*y - 4*d = 8, -6 = -y - 0*y + d. Suppose 4*p + 19 + 1 = y*o, p - 37 = -3*o. Suppose -13*c + o*c = -45. Does 9 divide c?
True
Let j(u) = -3*u**3 + 10*u**2 - 46*u - 17. Is j(-7) a multiple of 8?
True
Suppose -43 = 4*z - p, z + 2 = -5*p - 14. Is (-14)/77 - 244/z even?
True
Let a(c) be the second derivative of c**5/20 + 3*c**4/4 - 11*c**3/6 - 7*c**2 - 2*c. Let o = -1365 + 1356. Is a(o) a multiple of 6?
False
Let o = 47812 + -22636. Is 46 a factor of o?
False
Suppose -5*s = -2*k - 0*s + 716, -4*k + 1458 = 3*s. Suppose -13*z = -16*z + k. Does 11 divide z?
True
Let v = 4 - 1. Suppose -545 = -5*r - 4*p, 0 = -v*p + p - 10. Is 14 a factor of r?
False
Suppose 3*t - 6*h + h - 82 = 0, -3*h + 4 = t. Let l = t + 77. Is 10 a factor of l?
False
Suppose -5*u = -1807 + 1627. Does 18 divide (-9)/(u/(-944)) - (-4 - -6)?
True
Let a(z) = -20*z - 45*z + 0*z - 157*z - 80. Does 26 divide a(-2)?
True
Suppose 174*u = 83*u + 1601254 + 1307015. Is u a multiple of 159?
True
Let v(b) = 529*b**2 + 3*b + 2. Suppose -2 + 13 = -11*n. Is v(n) a multiple of 24?
True
Let w = -1704 - -9102. Does 27 divide w?
True
Suppose -112*c + 292530 = -14*c. Is c a multiple of 15?
True
Let t = -298 + 301. Suppose -t*n + 2*w + 3659 + 198 = 0, -3*n = -5*w - 3851. Is 40 a factor of n?
False
Suppose 140*m + 750 = i + 138*m, 2*m = -4*i + 2970. Is 31 a factor of i?
True
Let p = 30 - 26. Suppose 8 + 62 = 5*q + 5*v, q - p*v = -11. Suppose 12 = f - q. Is f even?
False
Is (-24 - -21)/(3/(-27302)) a multiple of 10?
False
Suppose 52*f = 60*f + 3656. Let s = -304 - f. Is 9 a factor of s?
True
Let j(g) = 135*g + 419. Let i(c) = 127*c + 418. Let b(u) = 6*i(u) - 7*j(u). Does 22 divide b(-7)?
False
Is 19 a factor of 832*(-45)/(-3) + (5 - 2)?
True
Let o(u) be the first derivative of -u**4/4 - 4*u**3 - 31*u**2/2 - 3*u - 44. Let y be o(-9). Is (13 + -1)*y/12 a multiple of 4?
False
Let h(g) = -g - 33. Let q(j) = 6*j + 166. Let n(s) = -11*h(s) - 2*q(s). Let v be n(-14). Suppose -v*d + 49*d - 252 = 0. Is 10 a factor of d?
False
Is 3/((-12)/28)*(-10 - (12 - -1111)) a multiple of 8?
False
Let r(o) = 2*o**2 - 6*o - 12. Suppose 2*p = -x + 3, -x = -2*p - 0*p - 11. Let q be r(x). Suppose -2*a + q = -40. Does 22 divide a?
False
Let v(x) = 15*x**2 + 10*x**2 - 9 - 4 + 2*x - 17*x**2. Is 35 a factor of v(3)?
False
Suppose -994*t + 1109*t - 225055 = 0. Does 119 divide t?
False
Does 60 divide 8/6 + (-5 - (-13)/(-78)*-66868)?
False
Let j(c) = 11*c**3 - 99*c**2 - 15*c - 22. Is j(14) a multiple of 9?
True
Let z be 2*((-1302)/(-12) - 2). Suppose -3*l = 3*y - z, -l + 4*y + 346 = 4*l. Does 35 divide l?
True
Suppose 5*p - 3*q - 4 = 0, 0*p + 12 = 5*p + q. Let g be ((1 - 5) + 4)*p/2. Suppose g = 4*y - 9*y + 350. Is 7 a factor of y?
True
Let j(k) = -k**2 + 14*k - 19. Let d be j(9). Let a = d + -26. Suppose -3*q - 368 = -4*p - a*q, 2*q = 0. Does 23 divide p?
True
Let f(a) = 2*a + 12. Let x be f(-5). Let s(j) be the first derivative of 7*j**4/4 + j**3 + j**2/2 - j + 41. Is 23 a factor of s(x)?
True
Suppose -3*d = -3*j + 9, -2*j = -6*j - 2*d - 6. Suppose j = 3*r - r - 6. Suppose -r*s + 121 = 2*i, -3*i + 183 = 5*s - 19. Is s a multiple of 24?
False
Suppose -14631 = -2*h - 10*x + 11*x, -5*x = 5*h - 36600. Suppose -69*l + 42*l + h = 0. Does 4 divide l?
False
Suppose -4*h + 90 = 74. Suppose -h*r - 12 = 4*b, -5*b - r = -4 - 1. Suppose b*u - 130 = -2*a + 46, 0 = 2*a + 3*u - 181. Is a a multiple of 25?
False
Suppose -v + 5*c + 7884 = 3*c, -23679 = -3*v - 3*c. Is v a multiple of 15?
True
Let r(g) = g**2 - 7*g - 6. Let d be r(4). Let l = d + 29. Does 3 divide (-6)/33 + 431/l?
True
Let a be (0 + 1)*(5 + 0/3). Suppose -4*c = -9*c - p - 1302, -c + a*p - 250 = 0. Let z = -176 - c. Is 21 a factor of z?
True
Let o be 2*(-5)/20*(-24 + -2). Suppose o*v = 10303 - 1359. Is v a multiple of 14?
False
Let y(f) be the first derivative of 4*f**4 + f**3 - 6*f**2 + 22*f - 208. Does 117 divide y(3)?
False
Let h(p) be the second derivative of -p**4/12 - 25*p**3/6 - 41*p**2/2 - p. Suppose 0 = 3779*u - 3762*u + 374. Is 5 a factor of h(u)?
True
Let x = -446 + -66. Let m = x - -782. Is m a multiple of 15?
True
Suppose 26*d - 5212 = 9*d + 68670. Is d a multiple of 53?
True
Let g = -6244 + 41011. Is g a multiple of 82?
False
Let r = 90 + -82. Let o be -12 + 8 - (1 + -21). Let i = o - r. Is i a multiple of 4?
True
Let k = -1423 - -2278. Is k a multiple of 15?
True
Let y(m) = -m**3 + 7*m**2 + 3*m. Let h be y(6). Let c be (-18 - -52)*(-1 + 0/1). Let w = h + c. Is w a multiple of 5?
True
Suppose -9*w + 3288 = 462. Let j = 320 - w. Is 3 a factor of j?
True
Suppose 32*f = 33*f + 4. Let y be f/(-18) - (-387)/81. Suppose 0 = -y*g - 3*o + 385, 0*o = g + 5*o - 55. Is g a multiple of 10?
True
Let p = 617 + -614. Suppose -112 = -b - 3*b. Suppose 4*v = a - 32, a + 4*v = -p*a + b. Is 12 a factor of a?
True
Let a = 149 - 144. Does 15 divide (a + -5 - 18)*-1?
False
Let i = 164 - 149. Suppose -i + 0 = m. Let x(s) = s**2 + 17. Is 27 a factor of x(m)?
False
Suppose 79*q = 78*q + 607. Suppose 0 = 5*w + 5*z - 2220, -3*w + 725 = -z - q. Does 12 divide w?
True
Suppose -2*l = -97 + 21. Let t = -47 - -43. Is 5 a factor of (l/t)/((-4)/8)?
False
Let m = 50 + -45. Suppose 3*b = -j + 199, m*j = 5*b - 389 + 1364. Is 14 a factor of j?
True
Let u = -174 - -149. Let t = u + 47. Does 8 divide t?
False
Suppose 11*h - 29 = 37. Suppose -h*i - 730 = -3130. Does 50 divide i?
True