 l a multiple of 15?
True
Suppose 109*p + 4*f = 104*p + 8089, -p + 5*f = -1583. Does 44 divide p?
False
Let k(r) = -8*r**2 - 7*r - 5. Let m be k(-3). Let b = -49 - m. Suppose b*x = 6*x + 113. Is 11 a factor of x?
False
Suppose -17 = -a - 15. Suppose -5*o + 8 = -a. Does 5 divide (3/4)/(o/48)?
False
Let b be (-1 - (-7 + 6))/(-3*1). Suppose 898 = 5*g - b*g + 2*w, -5*w = -3*g + 545. Is 5 a factor of g?
True
Let z(o) = 5*o**2 + 1. Let l = 47 - 48. Let k be z(l). Suppose -k*q = -0*q - 576. Is 32 a factor of q?
True
Let p be (-1)/(26/(-36) + 4/18). Let w be 2*-382*p/(-8). Let d = w + -113. Is d a multiple of 13?
True
Let l(r) = -6*r**2 - 26*r - 50 + r**2 - 2*r**2 + 2*r**2. Let v(j) = -2*j**2 - 9*j - 17. Let i(o) = 6*l(o) - 17*v(o). Is i(-3) a multiple of 7?
False
Let b = -5339 + 7883. Does 24 divide b?
True
Let f = 2356 + -1351. Suppose 202 = -3*u - 2*i + f, -3*u + 805 = 4*i. Is 11 a factor of u?
False
Let i = -25816 + 26419. Is 9 a factor of i?
True
Let y = 342 - 344. Suppose 6*k = k + 110. Let i = y + k. Is i a multiple of 15?
False
Let o = -270 - -206. Is (o + 1)/(210/28 + -9) a multiple of 15?
False
Let n(p) = 16*p**2 - p**3 + 15 - 9*p**2 - 16*p + 4*p**2. Is 11 a factor of n(9)?
True
Let y(c) = 473*c**2 + 90*c + 531. Is 36 a factor of y(-7)?
False
Suppose 43*t + 55*t - 972880 - 40048 = 0. Is 34 a factor of t?
True
Let a = 33 - 21. Let t be ((-2)/(-3))/((-8)/a). Is (6 - -72) + t + 2 a multiple of 12?
False
Is 8 a factor of (156/9)/(7/35 + (-1302)/6660)?
True
Let k(a) = -338*a + 7462. Does 33 divide k(17)?
True
Suppose -h = -4*l - 1020, 0 = -l + 5*l + 12. Suppose -q - 3*k = -447, -4*q = 3*k - 2787 + h. Does 11 divide q?
False
Let v = 876 + -115. Is 7 a factor of v?
False
Suppose -5 = i, i - 4*i = -3*r + 48. Suppose 0 = 5*j - 2*g - 282, -3*j + r*g + 173 = 6*g. Is j a multiple of 4?
True
Suppose 0 = -3*y - 23*y - 9*y + 422695. Does 13 divide y?
True
Suppose -9*w + 260 = w. Suppose -3*l + 252 = 3*a, -2*l + 3*a + w = -132. Is 34 a factor of l?
False
Let x(d) = -d**2 - d + 45. Let o be x(-8). Let g = 11 - 13. Is 23 a factor of g/o + 3028/44?
True
Suppose -1046*t + 2146*t = 1080*t + 534000. Does 12 divide t?
True
Suppose -2*g + 534 = 2*k, g + 4*k + 41 = 320. Suppose -4*f - 5*a + 369 = 0, 0 = 5*f - 8*f - a + g. Does 3 divide f?
False
Let p be 28/5 + 44/110. Let a be 99/22*4/p. Suppose -a*s + 79 = 7. Is 12 a factor of s?
True
Suppose -75 - 45 = -20*q. Suppose 0*h = q*h - 8436. Is h a multiple of 50?
False
Does 14 divide ((-86)/8)/(61/(-3416))?
True
Let s(w) = 9*w + 10 + 0 + 280*w**2 + 1 + 0 - 9. Is s(-2) a multiple of 16?
True
Suppose -3 = 3*r + 2*d, 3*r + 0*d = 2*d - 3. Let j be ((-6)/(-4))/((12/16)/r). Let f = 22 - j. Does 12 divide f?
True
Does 4 divide (-867)/(85/(-5))*13/3?
False
Let s(v) = -v**2 + 16*v + 12. Let h be s(16). Let k(p) = p**2 - 17*p + 25. Let d be k(h). Let b = d - -92. Is b a multiple of 39?
False
Let i = -16464 + 72363. Is i a multiple of 27?
False
Let f(h) = 22326*h**2 - 29*h - 8. Does 19 divide f(-1)?
False
Let l = -1004 + 4289. Is (8 - l/(-25))*(5 - 0) a multiple of 41?
True
Suppose -b - 2*m + 0*m - 9 = 0, 5*m = b - 19. Let y = 88 - 50. Is b*(-2)/4*y/1 a multiple of 2?
False
Suppose 8 = -v + 4*u + 2, -5*v + 14 = 2*u. Does 30 divide 13*v/(-5)*-30?
False
Let x(r) = 4*r**2 - 11*r + 4. Let v(b) = 3*b**2 - 13*b + 3. Let c(h) = -3*v(h) + 2*x(h). Is c(13) even?
False
Let l = -37 + -71. Let j = 199 - l. Is 16 a factor of j?
False
Let b = 5 - -345. Is ((-21)/10*-8)/(105/b) a multiple of 4?
True
Suppose 0 = -2*k + 3*k - 1446. Suppose -5*a + 29 = -k. Suppose 245 + a = 5*p + 4*v, -3*p + 3*v + 351 = 0. Is p a multiple of 16?
True
Let x = 86 - 84. Suppose 564 = -3*g + 6*g - 5*f, -4*g - x*f = -726. Let u = g + -26. Is u a multiple of 13?
False
Let l(b) = 15*b - 44. Let d be l(3). Suppose 13*i + d = 118. Is i a multiple of 9?
True
Let j = -332 - -10444. Does 94 divide j?
False
Let k = 34 - 32. Let f be -7*(3 - 1)/k. Is f/(-1 - (-64)/68) a multiple of 24?
False
Let u(j) = -206*j - 1562. Does 22 divide u(-44)?
True
Let j(s) = -s**2 - 11*s - 1. Let q be j(-6). Let c = 22 + q. Does 37 divide 1/3 + 11305/c?
True
Let x = -12051 + 16899. Is x a multiple of 101?
True
Let q = -8706 - -11656. Does 70 divide q?
False
Suppose 4*q + j - 4399 = 0, -2*q + 4*j = -5*q + 3296. Suppose -396 = 16*t - q. Is t even?
True
Let v = 2786 - 1957. Let t = v - 529. Does 17 divide t?
False
Suppose -3*h - 3*d + 4158 = 0, -9*h + 5549 = -5*h - d. Let s = h + -827. Is 20 a factor of s?
True
Is (-5 - -478)*(77 - 49) a multiple of 44?
True
Let p be (4 - 84/18)*(-3 + -3). Let h = -87 + 268. Suppose 4*s + 5*i - h = 252, -p*s + 445 = i. Is s a multiple of 7?
True
Let q be -3 + -14618 + 0 + -4. Is 21 a factor of 3/21 + q/(-35) + 4?
False
Let o be 122*1 + (-10 - -8). Suppose 0 = 3*x - 8*x + o. Let h = x - -27. Is 7 a factor of h?
False
Suppose -5*r = -3*i + 27, r - 12 = 5*r. Let x = -675 - -678. Suppose -5*g + i*u - 8*u + 168 = 0, x*g = 4*u + 120. Is g a multiple of 12?
True
Let v = 71047 + -35539. Is v a multiple of 66?
True
Let g(f) = -31*f + 127. Let p be g(4). Let d(a) = a**2 - 5*a + 3. Let k be d(3). Is 7 a factor of (-27)/((k - 0)/p)?
False
Is 4 a factor of 384/(-160)*540/(-8)?
False
Is 15 a factor of (-132)/(-110) - 23552/(-40)?
False
Let g be (4*20)/(-7*(-4)/42). Suppose 4*r - 294 = -5*z, g = 2*z + 5*r - r. Does 2 divide z?
True
Suppose -4*f - 4*a - 4 = -16, -4 = 2*f - 3*a. Suppose -3*i - 4*n - 5 = -0*n, -35 = -3*i + 4*n. Does 15 divide i - f - 168/(-3)?
True
Let q = -2287 - -1292. Let h = -806 - q. Is 9 a factor of h?
True
Suppose 4*a + 3*n - 83 = 0, -3*a - 2*n + 26 = -7*n. Let t = 5 - a. Let y = t + 46. Is 12 a factor of y?
False
Suppose 112*s - 8 = 104*s. Is -6*(s*(-1484)/8 + -3) a multiple of 87?
True
Does 18 divide 11 - 28*247/(-38)?
False
Suppose -17 = -9*d + 226. Let h = -58 + d. Let i = h - -94. Is 16 a factor of i?
False
Let v be (-11 - 9)/(-2 + (-1 - -1)). Does 78 divide -5 + v + (-3 - -973 - -3)?
False
Suppose 0 = -7*b + 24929 - 20089 + 39281. Is 74 a factor of b?
False
Suppose -3*a = -3*p + 20556, 3*p = 2*a - 1671 + 22223. Is p a multiple of 9?
False
Is 97 a factor of 11 + 17 + 23659 + -19?
True
Let k be (3/(-2))/(-5 - (-119)/28). Suppose 0 = -5*s + t + 58, k*s - t = -s + 34. Suppose g - 2*g + 220 = 4*q, 3*g + s = 0. Does 10 divide q?
False
Suppose 0 = -58*w + 64470 + 56170. Does 20 divide w?
True
Let t be 614 - 6/(18/15). Suppose -t = 3*h - 10*h. Does 29 divide h?
True
Is 41 a factor of 12*(-5 - 291/(-9))?
True
Let b = -11481 - -12333. Does 4 divide b?
True
Suppose 5*z + 2*j - 4*j - 24 = 0, z - 6 = j. Suppose -z*v = -r + 168, -v - 783 = -8*r + 3*r. Is 6 a factor of r?
True
Let f(s) = 8*s**3 - s**2 - s + 1. Let t be f(-1). Let j be t*(10/14 - 2). Suppose -132 = 8*m - j*m. Does 9 divide m?
False
Let n be -1 - -15 - 15/3. Suppose -5*p - 2*q = -1438, 12*p + 4*q = n*p + 860. Does 32 divide p?
True
Suppose -19175 = -4*b + 177*r - 176*r, 4*b + r = 19177. Is 51 a factor of b?
True
Suppose 1158*o = 1176*o - 65790. Is o a multiple of 20?
False
Let a(w) be the third derivative of -7*w**6/120 + w**5/60 - 13*w**4/24 - 17*w**3/6 + 9*w**2 - 2. Does 79 divide a(-5)?
True
Suppose -18*i = -5*n - 23*i + 139705, 5*n = 5*i + 139745. Is n a multiple of 23?
True
Suppose -6*f + 98*t + 74881 = 99*t, -2*f + 24962 = 2*t. Is f a multiple of 120?
True
Let y be -6 - (46/(-14) - (-6)/21). Let t be (y - 5)*(-4)/8. Suppose t*h = z + 757, 0 = -0*z - 3*z + 9. Does 19 divide h?
True
Suppose 5456 = 5*c + 3*i, -3*c - 6*i + 8*i + 3285 = 0. Does 29 divide c?
False
Let k(z) be the third derivative of -17*z**4/24 + 27*z**3/2 - 2*z**2 + 62*z. Is k(-21) a multiple of 16?
False
Let b be 2 + -1 - (-11 - -14). Let x be (0/(-13))/(1*b). Suppose -2*w + 4*w - 72 = x. Is 18 a factor of w?
True
Let w = -24644 - -36692. Does 12 divide w?
True
Suppose q = 4*l, -6*q = l - 7*q. Let t be (-2 - l)/4*0. Suppose 6*n - 91 - 293 = t. Is n a multiple of 9?
False
Suppose -630789 - 148941 = -35*q. Is q a multiple of 141?
True
Let n(q) = 5*q**3 + 15*q**2 + 3*q + 66. Let k(z) = -9*z**3 - 32*z**2 - 8*z - 131. Let g(c) = 6*k(c) + 11*n(c). Is g(28) a multiple of 76?
True
Is 1793067/54 - (29 - (-1046)/(-36)) a multiple of 22?
False
Suppose 6*s = 3*s + 36. Does 2 divide (-546)/(-7) - (s/4 + 1)?
True
Let m be ((-1)/(2/2))/(16/(-32)).