Is 20 a factor of p?
False
Suppose -131076 = 440*k - 3652836. Is 27 a factor of k?
False
Let g(w) = 2*w**3 + 3*w**2 + 8*w - 14. Let a be g(5). Let q = 852 - a. Is q a multiple of 19?
False
Let p(w) = -2*w**2 + 13*w + 13. Let l be p(11). Let s = 135 + l. Is 7 a factor of s?
True
Let f = 7497 - -2899. Is 108 a factor of f?
False
Let u = -271 - -291. Suppose -u*j - 2507 = -13627. Does 8 divide j?
False
Let t(d) = 267*d - 7845. Does 50 divide t(35)?
True
Let a(u) = u**3 + u + 15. Let w = 5 - -8. Let y = w - 13. Is a(y) a multiple of 3?
True
Let l be -1 - -185 - 0*6/(-78). Let p be 3/((-30)/8)*-5. Suppose 5*i + 280 - 35 = p*k, l = 3*k - 4*i. Is k a multiple of 10?
True
Let g(a) = a**3 + 2*a**2 - 7*a + 24. Let y be g(7). Let v = y - 359. Is v a multiple of 57?
True
Suppose 286 = -4*o + 3*o. Let y = 384 + o. Does 14 divide y?
True
Suppose -r + 723 = -2*l, 4034 - 377 = 5*r + 4*l. Suppose 4*w - r = w. Is w a multiple of 27?
True
Suppose p + 3*p + 3*v - 31815 = 0, -4*p = -2*v - 31790. Is p a multiple of 15?
True
Suppose 10*q + 5 = s + 7*q, 4*q = 2*s. Let t(n) = 3*n**3 + 29*n**2 - 14*n - 16. Does 4 divide t(s)?
True
Suppose 5*k + 31174 = 150646 + 33703. Is k a multiple of 53?
False
Let q(x) be the second derivative of x**4/12 + x**3 + 6*x**2 + 7*x - 4. Is q(10) a multiple of 12?
False
Let o = -7824 - -11118. Does 61 divide o?
True
Is (2670/120*-130)/((-1)/2) a multiple of 89?
True
Let l(p) be the second derivative of p**5/20 - 13*p**4/12 - 5*p**3/3 + 9*p**2 + 54*p. Does 23 divide l(14)?
False
Suppose -45 = -w + 2*f, 7*w - 10*f = -5*f + 351. Suppose -o + 4*j - 10 = 0, 3*o + 2*o - 22 = -4*j. Suppose -o*s = -301 + w. Is 31 a factor of s?
True
Is 400 + (-2)/13 + (-106)/(-13) a multiple of 4?
True
Let a = 9361 - 4129. Does 48 divide a?
True
Let k be (4 - 8) + 3*203 + 1. Suppose -3*m = o - 6*m + k, -5*o = 4*m + 3087. Let t = -435 - o. Is t a multiple of 47?
False
Suppose 3 - 6 = -3*o - 3*z, -o = -z - 1. Let d be (3 + o/(4/(-8)))*-10. Does 3 divide (-14 - -19)*(-44)/d?
False
Let d = 11774 - 8462. Is d a multiple of 9?
True
Is 8 a factor of (-2 - -1) + -13 + (2895 - -13)?
False
Suppose 0 = -4*j - 4*h + 11112, 4*j - h - 3245 = 7847. Is 2 a factor of j?
True
Suppose -z - 4*r - 20 = -2*z, -4*z = 4*r. Suppose 464 = -z*m + 5*m. Does 17 divide m?
False
Let s(q) = 53*q + 11 + 10 - 56*q. Let k be s(6). Is ((-1164)/18)/((-2)/k) a multiple of 21?
False
Let h = -938 - -7298. Is h a multiple of 53?
True
Let t(p) = p**3 - 7*p**2 + 2*p - 4. Suppose 0 = 5*h + 4*x - 12, 8 = -2*x - 2*x. Let y be t(h). Let u = y - -68. Is 11 a factor of u?
False
Does 11 divide (18 + 38107 - -23) + (-1 - -12)?
True
Suppose 3*p + 5725 = -2*b + 16225, 4*b - 17500 = -5*p. Is 35 a factor of p?
True
Suppose 72*s - 50660 - 54406 = 13734. Does 22 divide s?
True
Suppose 8 = 7*f - 13. Suppose -f*l + 492 = 5*u - 0*l, l = -5*u + 494. Does 11 divide u?
True
Let g(p) = -5*p**3 - 21*p**2 - 2*p + 114. Does 18 divide g(-9)?
False
Let p(v) = v**2 + 3*v - 10. Suppose -6*o + 7*o = -13. Let r(l) = -l**3 - 15*l**2 - 28*l - 22. Let m be r(o). Is 18 a factor of p(m)?
True
Let x = 40658 - -2462. Is 220 a factor of x?
True
Let y = -6130 - -15750. Is y a multiple of 28?
False
Let l(y) = 3592*y + 43. Does 17 divide l(5)?
True
Suppose 0 = v + 4*u - 54, 52*u - 48*u = -3*v + 162. Is v a multiple of 2?
True
Let z(u) = -272*u**3 - u**2 + 1. Let d be z(-1). Is 18 a factor of -4*(32/d - (-920)/(-17))?
True
Suppose -3*d - 4*d - 140 = 0. Does 14 divide (-3770)/d - 10/(-4)?
False
Suppose -941110 + 5673 = -314*z + 269381. Is 19 a factor of z?
False
Let j(m) = m**2 - 17*m + 9. Let h be j(10). Let f = h + 61. Suppose 3*d + 2*x - 44 = f, 4*x = -d - 2*d + 34. Does 3 divide d?
True
Is (8271/(-4))/(135/(-180)) + 3 a multiple of 20?
True
Let m be 2*(9/(-10))/((-12)/20). Let b be ((40/12 - m)*0)/(-3). Suppose 8*r = -b*r + 416. Is 26 a factor of r?
True
Is 41 a factor of (-487 - -5 - -9)/((-3)/24)?
False
Suppose 0 = -w - m + 3, w + 24*m = 26*m. Suppose w*a - 426 = 652. Is 40 a factor of a?
False
Does 18 divide 81985/2 + (2 - 1)*(-30)/(-60)?
False
Suppose -21*u = -16*u - 460. Suppose 0 = 4*b + 4*w, -b - 4*b + 12 = w. Suppose -b*d + 350 = d - 2*o, -2*o - u = -d. Is 9 a factor of d?
False
Suppose 10*d + 42 = 182. Suppose 0 = -d*t + 4564 + 1288. Is 32 a factor of t?
False
Suppose -2*r + 150 = 148. Does 10 divide ((-6)/(-18))/(r/891)?
False
Suppose l - 4 = -1. Let y be (-36)/(-15) - (l - 52/20). Suppose -3*s - y*p - p + 168 = 0, -p = -5*s + 250. Is s a multiple of 9?
False
Let l(k) = 14 + 33*k - 13 + 0*k**3 - 6 - 31*k - k**3 + 5*k**2. Suppose t = -2*p + 7, -6*t + p = -t - 24. Is l(t) a multiple of 5?
True
Suppose 0 = -s + 3*w + 1, -9 = -2*s - w. Suppose 1 = -s*h - 7. Is (8/(-10))/(h - (-488)/245) a multiple of 19?
False
Suppose 0 = 315*y - 2537023 - 1083587. Is 16 a factor of y?
False
Let o(z) = -10*z + 27. Let j be o(-19). Is j*(-5 - -8) + -5 a multiple of 17?
True
Let u(g) = 4*g**2 + 3*g + 7. Let q be u(5). Let h = 208 - q. Suppose -j + h = j. Is 8 a factor of j?
False
Let l(d) = d**3 - 21*d**2 + 4*d - 45. Let s be l(21). Suppose 13*f = -13 + s. Suppose -f*w - 14*w = -192. Is w a multiple of 4?
True
Let x(v) = 620*v**3 - 14*v**2 + 21*v + 4. Is x(2) a multiple of 10?
True
Let a be 3 + (4/(-12))/(3/9). Let l be (-3 + a)*(-2 + 0/3). Suppose -s + 30 = -3*h + h, l*s + h = 40. Is 22 a factor of s?
True
Suppose 1191 + 1203 = r + 4*h, -11970 = -5*r - 3*h. Is r a multiple of 14?
True
Let x be (-24)/(-10)*4/(-8)*-5. Suppose -1021 = -x*j + 617. Let f = j - 133. Is f a multiple of 28?
True
Let r(k) = -k**3 + 27*k**2 - 27*k + 25. Let m be r(26). Let v(t) = 39*t + 3. Let b be v(m). Let p = b - -43. Is 6 a factor of p?
False
Let m = -75 - -77. Suppose -9 = -2*h + 3. Suppose h*g - 208 = -m*g. Is 26 a factor of g?
True
Let f(t) be the first derivative of t**2 + 13*t - 3. Let y be f(-4). Suppose 40 = y*o - o. Does 4 divide o?
False
Let o(w) = -5*w + 124. Let n = -401 - -417. Is 16 a factor of o(n)?
False
Suppose -4*x = -133 - 243. Suppose 2*s = -r + x, -5*r + 6*s + 461 = 7*s. Does 23 divide r?
True
Let k(h) = -h**2 + 6*h - 9. Let a be k(3). Suppose 20*q + q - 5292 = a. Is 14 a factor of q?
True
Does 141 divide 70/(-20)*-47*5/((-140)/(-1104))?
True
Suppose 722*y + 8198 = 5*p + 724*y, 3*y - 3288 = -2*p. Is 19 a factor of p?
False
Suppose -5*z + 326 - 1916 = 0. Let d = -129 - z. Does 21 divide d?
True
Let p = 3685 - 3625. Does 20 divide p?
True
Let z be (-9 - (-2190)/20)/((-3)/(-16)). Let b = z - 93. Is b a multiple of 27?
False
Let c = 13100 + -12191. Does 4 divide c?
False
Suppose 0 = 3*x + 4*n - 15694, 58*x - 57*x = -4*n + 5242. Is 78 a factor of x?
True
Let i(w) = 9*w**2 - 9*w - 54. Let d be i(-14). Suppose -2184 = -6*c + d. Is c a multiple of 67?
True
Suppose -2*y - 2315 = -3*n, -5776 = 5*y - n + 5*n. Let o = -311 - y. Is o a multiple of 44?
False
Suppose -831 = -18*m + 789. Is 27840/m + (-2)/6 a multiple of 18?
False
Let y(v) = 1174*v + 2210. Is 8 a factor of y(2)?
False
Suppose 2*j + 473 = 537. Suppose j = 5*y - 1148. Is 8 a factor of y?
False
Does 70 divide 504/672 + (-7101)/(-4)?
False
Is 8 a factor of 37954/(-98)*-112*(-1 - -2)?
True
Let g = 144 + -139. Let a(l) = l**3 + 8*l**2 + 4*l - 50. Is a(g) a multiple of 13?
False
Let y be ((-3)/2)/((-63)/3822). Does 17 divide (-14)/4*(-27066)/y?
False
Let n(w) = w. Let s be n(4). Suppose i - 5*i + 5484 = -s*t, 4*i = -2*t + 5514. Is 86 a factor of i?
True
Let p(d) = -d**3 + 41*d**2 + 40*d - 109. Does 57 divide p(39)?
False
Let s(y) = 4*y**3 - y**2 + 5*y - 5. Let v be (6 + (1 - 1) + -4)/2. Let q be s(v). Suppose l - 845 = -4*z, -q*z = -z - 2*l - 420. Is 24 a factor of z?
False
Let m(u) = -26*u - 196. Let w be m(-27). Suppose 4*z = 3*z + 3*b + 265, 2*b - w = -2*z. Is z a multiple of 13?
False
Suppose 795 = -13*d + 14*d + 4*v, -3*d + 2340 = 3*v. Is 21 a factor of d?
False
Suppose 4*v - 16 = 4*w, -8 = -w - 3*w - 4*v. Let p be (-5997)/(-12) - w/4. Suppose 13*d + p = 18*d. Is 20 a factor of d?
True
Suppose 489601 = -210*u + 2118151. Does 55 divide u?
True
Suppose 0 = 22*b - 56*b + 10880. Let t = b + 130. Is t a multiple of 14?
False
Let s be 0/(-8 + 3) - 5/(-1). Suppose 1600 = 5*b - 0*b + s*d, b - 3*d = 308. Is 7 a factor of b?
False
Let g be 2*17*(-33)/66. Is (21250/(-8))/g - 3/(-4) a multiple of 15?
False
Let a(s) =