Is l a multiple of 15?
False
Suppose 17*t + 30 = 19*t. Let c(h) = h**3 - 16*h**2 + 13*h + 26. Let x be c(t). Does 34 divide ((-15)/3 - x - 33)*-6?
True
Suppose 0 = 23*y - 635 - 906. Let c = -13 + y. Does 9 divide c?
True
Suppose 4 - 10 = -3*h. Suppose -182 = -h*j - 3*r, 0 = -j + 5*r + 59 + 32. Suppose m = 5*v + j, 3*v + 182 = -m + 3*m. Does 13 divide m?
True
Let o be 55/(-9) - (34/18 + -2). Is 3 + 2 + o + 391 a multiple of 65?
True
Let u(a) = -3367*a - 5262. Is u(-5) a multiple of 32?
False
Suppose 441383 = 120*j - 32257. Is 28 a factor of j?
False
Let d(r) = -16*r**3 - 21*r**2 - 75*r - 9. Is 84 a factor of d(-9)?
False
Suppose 5*n = -q + 9611, 124*n + 8 = 122*n. Is q a multiple of 17?
False
Suppose 0 = -3*z + 4*z + 58. Let f = 189 - z. Is f a multiple of 30?
False
Suppose -4*w = 3*b - 62, w + 58 = 4*b - 50. Suppose -5*q - 9 = -5*m + b, -4*m - q = -43. Is 5 a factor of m?
True
Let i = 656 - 366. Suppose -7*t + 8*t - 98 = w, 3*t - i = w. Does 17 divide t?
False
Let k = 14050 - 5869. Does 81 divide k?
True
Let z(h) = 141*h**2 - 4*h - 2. Let g = -74 - -73. Does 13 divide z(g)?
True
Is 8 a factor of 2748 + 0 - ((-21)/21 - (3 + 2))?
False
Let b(q) = -q**2 + 31*q + 65. Suppose 0 = 2*k + 4*s - 16 - 16, k = -3*s + 14. Is b(k) a multiple of 15?
True
Is 585/117*(1644 - 1) a multiple of 155?
True
Suppose 78 = 5*n - 4*a - 5, -3*a + 54 = 4*n. Let i(c) = 35*c**2 - 19*c + 18. Let l be i(1). Suppose -u + p + 0 = -l, 5*p + n = 0. Does 5 divide u?
False
Let s(k) = -5*k - 37. Let i be s(-8). Suppose -2*f - o + 324 = 0, -i*o = -o. Is f a multiple of 8?
False
Suppose 0 = -6*a + 3*a - 3, 3*a = -3*r + 3780. Let q = r + -751. Is 13 a factor of q?
False
Let j(s) = s**3 + 122*s**2 + 106*s + 145. Is j(-121) a multiple of 7?
True
Suppose 0 = 11*w - 26 - 62. Let t(d) = -d**3 + 11*d**2 - 10*d + 8. Does 2 divide t(w)?
True
Suppose 13297 = 3*i + 5*w, -14382 - 3354 = -4*i - 5*w. Is 3 a factor of i?
False
Suppose 2*h = 2*f - 326, 2*h - 169 - 177 = -2*f. Suppose 34*z - 10791 = z. Suppose -5*y + f = -z. Does 22 divide y?
False
Let y(q) = 3*q**2 - 11*q + 10. Let b be y(1). Suppose -4*j + 2*d = -1996, b*j + j - d - 1498 = 0. Is j a multiple of 5?
True
Suppose -3312 = 5675*z - 5683*z. Is z a multiple of 23?
True
Suppose 2*k - k = -3*f + 4, 2*k - 2*f - 8 = 0. Suppose m = 3*x - k*m - 679, -x + 253 = 5*m. Does 34 divide x?
False
Let h be (345/(-460))/(1 + (-315)/316). Let x = h - -542. Is x a multiple of 5?
True
Suppose 0 = 14*d - 317518 + 138864. Is 17 a factor of d?
False
Let y = 16 + -14. Suppose 0 = y*l + 10, -3 = u + 2*l + 7. Suppose -9 = -3*h, 4*n + u*h - 273 = 5*h. Does 9 divide n?
True
Let x(l) = 6611*l**2 - 35*l - 6. Is x(-1) a multiple of 16?
True
Suppose -19444 = -5*k - 3*d, 3*d = k - 5*k + 15557. Suppose 12038 = 11*m + k. Is 48 a factor of m?
False
Suppose 2*a + 12 = 5*v, 4*v = a + a + 10. Suppose -r = -v*i - 3 + 11, 0 = -i - 3. Is 9 a factor of r/(4*1/(-18))?
True
Let g be 375 + 6/3 + (4 - 7). Let b(i) = 3*i - 1. Let r be b(3). Suppose -r*u + g = -506. Does 11 divide u?
True
Suppose 3*z + a - 11 = 0, -25 = -z + 4*a - 4. Suppose -x + 30 = z*x. Suppose 24 = -x*f - 3*l + 177, 5*l - 79 = -3*f. Does 3 divide f?
True
Let c be (105/2)/(9 - 3213/360). Suppose -4*k = 2*l - c, -2*l = -k - 4*k - 655. Is 34 a factor of l?
True
Let f be (90/8)/15 - 118/8. Is (-259)/f*-19*-2 a multiple of 32?
False
Let x = -35 + 103. Let a = x - 86. Does 21 divide (-910)/a - 68/(-153)?
False
Suppose 14*i + 756768 - 292458 = 91*i. Is 11 a factor of i?
False
Suppose 4 = -v, 5*w - 3*v - 14211 + 3754 = 0. Is 29 a factor of w?
False
Does 14 divide 284*(1 - 2)/3*(-129645)/430?
False
Let r(g) = -1970*g - 1006. Does 22 divide r(-5)?
True
Suppose 9*w - 4153 - 20111 = 0. Is w a multiple of 41?
False
Suppose -130*k + 128*k + 2*d + 15602 = 0, -5*d = 5*k - 39025. Does 27 divide k?
True
Let o(q) = -197*q**3 + 1. Let a be 16/(-20) - 2/10. Let r be o(a). Suppose -6*f + r = -180. Is f a multiple of 21?
True
Suppose -171 = k - 182. Suppose k = 4*b - 121. Is b a multiple of 30?
False
Let d = -15796 - -32716. Is 20 a factor of d?
True
Is 14879/20 - 64/(-1280) a multiple of 3?
True
Let n(k) = -k**3 + 3*k**2 + k + 5. Let b be n(0). Suppose 5*a = -i + 225, -b*i + 18*a - 21*a = -1015. Is 10 a factor of i?
True
Suppose 117 = 20*y - 33*y. Does 9 divide 829/7 - y*(-8)/168?
False
Let u(f) be the first derivative of 24*f**2 + 20*f + 88. Is u(6) a multiple of 9?
False
Let j(l) be the third derivative of l**6/120 + l**5/3 + 19*l**4/24 - 37*l**3/6 + 185*l**2. Is j(-17) a multiple of 6?
False
Let s(b) = -28*b - 5. Let n be s(-3). Let g(j) = -j - 13*j**2 - 2*j**3 - 80 + n + j**3. Is g(-13) a multiple of 5?
False
Suppose -3*g + 6565 = 5*q, -2*q - g + 3414 = 787. Does 67 divide q?
False
Suppose -3*p - 16 = -b + p, 4*b - 2*p - 50 = 0. Let o(n) be the third derivative of n**6/120 - n**5/5 + 3*n**4/8 + 8*n**3/3 + 4*n**2. Is 17 a factor of o(b)?
False
Suppose -3*w + 4*y + 8 = -10, -3*w - 5*y - 9 = 0. Suppose -w*j = -6*l + 2*l + 506, 3*j + 507 = 4*l. Is 6 a factor of l?
True
Let z(d) = d**2 + 7. Let s be z(0). Suppose -q - 60 = -s*q. Let r = 114 + q. Is r a multiple of 16?
False
Suppose -8*r = 15*r + 7383. Let i = r + 337. Does 8 divide i?
True
Suppose -37612 = -3*n - 8992. Is n a multiple of 114?
False
Does 26 divide 916/687 - (109644/(-63) + 2/(-7))?
True
Suppose -40*s = -43*s - 4*u + 6955, 0 = 2*s + u - 4635. Does 89 divide s?
False
Let g = 23232 + -6799. Is 57 a factor of g?
False
Suppose -4*k = -2*r + 73540, -3*r - 464*k + 467*k + 110286 = 0. Does 90 divide r?
False
Suppose 0 = -3*d - 10*d + 5830 + 1775. Is 14 a factor of d?
False
Let w be (-4)/18 - -85*1145/(-45). Is -5*w/175 + (-1)/(-5) a multiple of 16?
False
Let y(z) = 191*z**2 - 29*z + 520. Is 8 a factor of y(11)?
True
Suppose -31*w = -35686 + 3942. Suppose -12*v = -w - 200. Is v a multiple of 17?
True
Let p = -3162 - -5609. Is 6 a factor of p?
False
Suppose c - 5*d = 4025, 63*c - 8086 = 61*c + 4*d. Is c a multiple of 16?
False
Let n be 85/35 - ((-150)/42 + 3). Is 21 a factor of 4 + 4 + (499 - n)?
True
Let q(v) be the second derivative of -8/3*v**3 - 5*v + 0 - 2*v**2 - 1/20*v**5 - 7/6*v**4. Is 6 a factor of q(-13)?
False
Let g be (10 + -8 + -1)*4. Suppose -1354 = -g*a + 1350. Does 27 divide a?
False
Let i be ((-3)/1)/3*-3. Suppose 0 = -5*r + 7 + 13, -5*r = i*f - 23. Is ((-63)/(-3) + -2)*f a multiple of 3?
False
Let n = 14294 - 8246. Is 48 a factor of n?
True
Let d = 3559 - 3202. Is 51 a factor of d?
True
Does 24 divide -6 - 480/(-78) - -3*(-278415)/(-117)?
False
Let g(q) = -q**2 - 15*q + 3. Let u be g(-14). Suppose u = 12*p - 7. Is (-30)/8*p*-2 a multiple of 3?
True
Suppose 108*x - 10 = 103*x. Suppose 0 = -q + 5*g + 575, -7*g - 1105 = -x*q - 6*g. Is 11 a factor of q?
True
Suppose 0 = 2*j + 14. Let o(f) = -f**3 - 6*f**2 + 3*f + 12. Is 25 a factor of o(j)?
False
Suppose 5*v = 2*r + 78, -4*r = -5*v + 38 + 38. Let k(b) = -3*b**3 + 52*b**2 + 23*b - 1. Is k(v) a multiple of 56?
False
Let n be 60/(-40)*(-42)/(-9). Let j(h) = -6*h + 0*h + 10 - 2*h. Is 6 a factor of j(n)?
True
Is 2/(-3)*(11 - 10) - 9910/(-6) a multiple of 13?
True
Suppose 152 = 15*k - 58. Let r(w) = 57*w - 78. Does 12 divide r(k)?
True
Does 35 divide ((-183)/9)/((-60)/(-75) - 341/420)?
False
Let p be 4*((-18)/(-14) + (-16)/56). Suppose 0 = -4*h - 4*o + 332, 5*h - p*h + 3*o - 93 = 0. Is 3 a factor of h?
True
Let v(r) = r**3 - 73*r**2 + 18*r - 3459. Is 155 a factor of v(77)?
False
Let v(k) = 17877*k**3 - 4*k + 5. Is 29 a factor of v(1)?
False
Suppose 5*z - k = 7, -k = -4*z - 6*k - 6. Let b be (-1 - (-1 - z)) + -2465 + -24. Is 42 a factor of b/(-14) + ((-8)/14)/(-2)?
False
Let r = -9742 + 12918. Is 13 a factor of r?
False
Suppose -12*j + 49386 = -4566. Does 15 divide j?
False
Let t(u) = -u**3 - 16*u**2 - 28*u + 8. Let y be t(-14). Suppose 15*h + y*h = 6325. Is h a multiple of 30?
False
Let r be ((-1)/2)/((-6)/(1128*6)). Is r - (12/3 + 0) a multiple of 70?
True
Suppose -2477 = -7*j - 713. Suppose -u + j = 8*u. Suppose -u = -f - 2. Is f a multiple of 13?
True
Let l be 6/(-18)*-12*(-25)/(-10). Let h(v) = 37*v - 248. Is 61 a factor of h(l)?
True
Let v = 91 - 210. Let p = -93 - v. Is 26 a factor of p?
True
Let c(z) = -516*z**2 + 20*z + 37. Let g be c(-2). Let b = -1227 - g. Is 82 a factor of b?
False
Let x(n) = 20*n - 4. Suppos