11) a multiple of 13?
True
Suppose z = -c + 13257, 2*z - 11*c + 18*c = 26469. Is 24 a factor of z?
False
Suppose -33787 = -2*p - p + 5*y, -3*p = 4*y - 33742. Is p a multiple of 35?
False
Suppose -1212 = -0*s + 6*s. Let q = s + 335. Suppose 5*l + 4*t = q, 0*l + 131 = 4*l - 5*t. Does 12 divide l?
False
Let x(o) = 1295*o + 220. Is 30 a factor of x(4)?
True
Let u(w) be the second derivative of -13*w**3/6 + 74*w. Suppose -5*m + 15 = 4*l + 61, 0 = 4*l - 2*m + 32. Is u(l) a multiple of 39?
True
Suppose w - 12 = -2*w + 2*k, 3*k = 0. Suppose 0 = -w*l + 1691 - 179. Suppose -x - l = -3*x. Does 27 divide x?
True
Suppose 5*i = 0, i + 23350 = 5*p - 0*p - 3*i. Is p a multiple of 80?
False
Let p be 25/9 + 1 - (-4)/18. Suppose -4*d - h = -222, -p*d + h + 105 = -113. Suppose -4*k = -6 + 22, -d = -w - 5*k. Is w a multiple of 15?
True
Let s(g) = 7*g + 43. Let r be s(-21). Let q = r + 110. Suppose -q*n + 7*n - 39 = 0. Is n a multiple of 7?
False
Let l(i) = 3100*i - 658. Is 27 a factor of l(4)?
False
Let n(i) = -3*i**2 - 47*i - 45. Let u be n(-19). Let m = 347 + u. Does 14 divide m?
True
Suppose 0 = -3*c - 3, -1 - 6 = -q + 2*c. Suppose 4*k = 2*i + 2622 + 3750, 5*i + 15870 = -q*k. Does 10 divide (4 - 2)/((-28)/i)?
False
Suppose 108865 - 59361 = 55*w - 101196. Is w a multiple of 43?
False
Let d be (-20)/(-24)*(1 + 5). Suppose -794 = -2*g + 2*i, 2*i = g + d*i - 393. Is 37 a factor of g?
False
Let a(c) = -21*c**3 - 16*c**2 - 41*c + 12. Does 30 divide a(-6)?
False
Let j be (-2 - -19) + (-2 - -2)/4. Suppose -15*b - 10 = -j*b. Suppose b*x + 8 = 773. Is 9 a factor of x?
True
Suppose 0 = -51*s + 50*s. Suppose -2*h - 9*h + 847 = s. Is 11 a factor of h?
True
Let m(b) = -5*b**3 + 2*b**2 + 3*b - 3. Let i be m(2). Let w = i + 57. Suppose -5*g + 27 + w = 0. Is 5 a factor of g?
False
Suppose -40*q + 39*q - 35*q + 6300 = 0. Is q a multiple of 2?
False
Suppose 37 - 23 = j. Suppose 9*u + 35 = j*u. Suppose 0 = u*t + t - 672. Is t a multiple of 21?
True
Suppose -1743979 = -70*d + 244503 - 504692. Is 11 a factor of d?
True
Let g(p) = -7690*p - 15981. Is g(-8) a multiple of 31?
True
Let p(k) = k**3 + 6*k**2 + 2*k + 12. Let u be p(-6). Suppose -14*i + 22*i - 176 = u. Let j = i + -8. Is j a multiple of 7?
True
Suppose -4*z = -4, 3*n - z = -0*z + 44. Suppose 111*o + 15*o = 378. Is 23 a factor of ((-68)/(-10))/(o/n)?
False
Suppose -5*b - 4159 = -4*a, -a = 4*b - 754 - 270. Let t = a + -114. Does 23 divide t?
False
Let r be (-30)/16 + 8/(-64). Is 19 a factor of 4*(r/(-13) - (-2423)/52)?
False
Suppose 6*n = 43 + 11. Suppose 0 = -n*v + 7*v + 40. Is 58 a factor of (-172)/(-3) - v/(-30)?
True
Let o = 31 + -52. Does 15 divide (-1)/7 - 1578/o?
True
Let v(s) = -s**3 - 7*s**2 - 2*s + 28. Let q be v(-6). Suppose r = u - 49, 4*r = 3*r + q. Does 4 divide u?
False
Let k = -30 - -13. Let q = -8 + k. Is 15 a factor of 4 - 4*q - -1?
True
Let n(a) = -2*a + 600. Is 8 a factor of n(4)?
True
Is 9 a factor of 7/21 - (-8)/(-72)*-54933?
False
Let c = -5134 - -9358. Does 16 divide c?
True
Suppose -2*d + 3*d = 28. Suppose 3*a - d = -2*h, 3 = 5*a - 5*h - 2. Suppose -a*s = -357 - 555. Does 8 divide s?
True
Suppose 7197 = 3*w + 50*r - 46*r, w = -4*r + 2391. Is w a multiple of 5?
False
Suppose 2*x + 194 - 345 = -3*c, 3*c - 179 = 5*x. Does 10 divide c?
False
Suppose -26*w + 25*w + 51 = 0. Let t = w - 24. Suppose -i - t = -120. Is 20 a factor of i?
False
Suppose a - 758 = 2*p + 906, a + 3328 = -4*p. Let t = 1462 + p. Is 5 a factor of t?
True
Let n(q) = 36*q - 7. Let g(z) = -18*z + 3. Let k(o) = 9*g(o) + 4*n(o). Suppose -113*d = -109*d + 12. Is 20 a factor of k(d)?
False
Let t = -3992 - -6436. Does 47 divide t?
True
Suppose 2*s + 2850 = j, -16*s + 11*s = -3*j + 8543. Is 10 a factor of j?
False
Let q be 96/(-72) - 1208/(-6). Let u = 625 - q. Is u a multiple of 32?
False
Suppose -v = -b + 1372 - 4504, -9*v - 3*b = -28104. Is v a multiple of 64?
False
Let n(d) = -38*d**3 - 12*d**2 + 53*d - 34. Let y(m) = -13*m**3 - 4*m**2 + 18*m - 12. Let k(o) = -4*n(o) + 11*y(o). Does 21 divide k(4)?
True
Let f(n) = -3*n - 9. Let w be f(-5). Let y be (40/w)/(-5)*(-42)/(-4). Is 17 a factor of (8/y)/((-6)/231)?
False
Let v(h) = -270*h - 2. Let y(p) = -540*p - 4. Let j(s) = 7*v(s) - 4*y(s). Let c be j(1). Suppose 0 = 10*z + 6*z - c. Is 12 a factor of z?
False
Let h = -5432 + 9692. Is 60 a factor of h?
True
Let u(p) = -p - 5. Let m = 80 - 85. Let n be u(m). Suppose -5*k = r - 196, -2*k - 3*r - r + 82 = n. Is k a multiple of 13?
True
Suppose -15*v = -159*v + 3649536. Is v a multiple of 192?
True
Suppose 150*j - 840 = 142*j. Is j*-30*3/(-21) a multiple of 16?
False
Let j(s) = 3*s**2 - 26*s - 138. Is j(20) a multiple of 79?
False
Let q = 90 - 81. Let z(t) = -t**3 + 10*t**2 - 6*t - 22. Let u be z(q). Suppose f - 90 = i, 0 = f + 3*f - u*i - 363. Does 10 divide f?
False
Let n(j) = -8*j + 122. Let t be n(-30). Suppose 0 = -3*q - 4*u + 206, -2*u = 4*q + 74 - t. Is 37 a factor of q?
True
Let q = 9192 + -5804. Does 154 divide q?
True
Let k = 2747 - 2334. Does 10 divide k?
False
Let u = -119 + 121. Let z(v) = 195 + 5*v**2 - v**3 + v**u + 125 - 4*v**2 + v. Does 32 divide z(0)?
True
Suppose -5*w + 15 = 0, -4 - 30 = -5*t + 2*w. Suppose t*f = 14 + 18. Suppose 2*u - 3*z - 12 - 91 = 0, f*z + 64 = u. Is u a multiple of 11?
True
Suppose -5*a + 379 = -3*o, 5*o + 2*a + 53 = -589. Let d be ((o/24)/((-1)/(-3)))/(-2). Suppose d*n = 10*n - 256. Is 29 a factor of n?
False
Suppose -2*c = 5*f + 326, f + 0*c + c = -67. Let y(j) = -j**2 + 32*j + 41. Let q be y(24). Let m = f + q. Is 40 a factor of m?
False
Let m = 27 - 25. Suppose 13 = d - 5*z - 67, -m*z + 206 = 3*d. Suppose 14*n = 15*n - d. Is 14 a factor of n?
True
Let i be (-4)/12*-6 - 0/4. Is i + -3 - (-124 - -9) a multiple of 19?
True
Suppose 40*t - 144*t + 1293600 = 28*t. Is 10 a factor of t?
True
Let h(x) be the second derivative of x**5/20 + 2*x**4 + 10*x**3/3 - 53*x**2/2 - 13*x. Let g be h(-23). Suppose 4*z - g = -z + d, -2*d = 5*z - 28. Is z even?
True
Let c(b) = 2*b**2 - 16*b - 3. Let x be c(8). Let a be (-3)/(x/(-4)) + 9. Suppose 0*o - 4*o - 16 = 0, 3*o - 198 = -a*w. Is w a multiple of 19?
False
Let b be ((-8)/(-12))/((-1)/(-6)). Suppose -10 = -5*x, s - b*x = 3*s - 218. Is 33 a factor of s?
False
Suppose -3*j = -7*j. Suppose 8*d - 11*d + 15 = j, -3*d = 5*z - 255. Is 4 a factor of z?
True
Let b = 15650 + -2486. Is b a multiple of 84?
False
Let z = -581 + 583. Suppose 30*g = -f + 31*g + 223, -227 = -f + z*g. Is f a multiple of 15?
False
Suppose 0 = -5*z + 5, -3*z - 74 = 5*v - 17. Let d(j) = -j**2 - 16*j - 15. Let s be d(v). Let k = 58 - s. Is k a multiple of 7?
False
Suppose 4*z + 4*g = 12, -z - 3*g + 9 = -2*z. Suppose -u - 17 - 40 = z. Is 4 a factor of 4 - (0/5 + u)?
False
Suppose -25 = -5*h, -4*d + 13*h = 8*h - 17179. Does 76 divide d?
False
Is 9 - (16*-729)/9 a multiple of 9?
True
Let m(n) = -n**3 - 10*n**2 - 29*n + 5. Let f be m(-9). Suppose -325 = -3*v + f. Does 17 divide v?
True
Suppose -88*m = 119*m - 61*m - 1646880. Is m a multiple of 16?
True
Suppose 0 = 3*u + 37 - 34. Is 15 a factor of ((-1)/(-2))/(-8*u/3696)?
False
Let m = 5453 + -3343. Is 31 a factor of m?
False
Is (32/5*-174)/(-1) + 3684/(-6140) a multiple of 56?
False
Let t be (10/(-20))/((-154)/76 - -2). Suppose 18 = -13*d + t*d. Let k(b) = 13*b + 18. Is 27 a factor of k(d)?
False
Let t(l) = 7*l - 170. Let v be t(25). Let n be 3/(0 + 6/(-4)). Is 21 a factor of (n - -1) + v/((-5)/(-106))?
True
Let q = 5360 - 1208. Does 6 divide q?
True
Let l be (18/36)/(1/334). Let c = l - -74. Does 57 divide c?
False
Suppose 2*s - 10*s = 16. Let i be (70/(-15))/(s/3). Let d = 17 - i. Does 5 divide d?
True
Let d = 753 - 417. Does 5 divide (36/16)/(3/d)?
False
Suppose -181*o = 6491151 - 22039775. Is 364 a factor of o?
True
Let q(t) be the second derivative of 53*t**4/12 + 2*t**3 + t**2 - 12*t - 4. Is q(-3) a multiple of 8?
False
Let l be (3/(-4))/(-3 - 21/(-8)). Suppose -13 = 4*m + l*k + 3*k, 4*m - 3*k - 27 = 0. Suppose m*n - 401 = 187. Does 47 divide n?
False
Suppose -268*p + 33173 = -108*p - 111*p. Does 8 divide p?
False
Suppose -5*d + 3*k = 6*k + 7203, -5*k + 4349 = -3*d. Let c = d + 2579. Is 24 a factor of c?
False
Let b(n) = -4*n - 2*n - n - n**2 + 0*n. Let p be b(-6). Is 166/p + (-6)/9 a multiple of 9?
True
Let a be 2/(-12) - 278657/(-354). Let s = -751 + a. 