Let m(q) = -q + 9. Let b be m(y). Suppose 5*d - 2*z = 521, b*d + 4*z + 412 = 4*d. Is d a multiple of 10?
False
Let n be 1/1 + -10 + 12 + 5. Suppose 0 = f + 5*a - 365, n*a + 688 = 2*f + 4*a. Does 50 divide f?
True
Let l be (-4)/3*78/52. Let z(c) = 82*c**2 + 4*c + 3. Is 17 a factor of z(l)?
True
Suppose -66*y = -17*y - 124607. Suppose y + 10617 = 20*i. Is 7 a factor of i?
True
Suppose 3*v = -4*n + 4*v - 5, 2*n + 2*v + 10 = 0. Is (221/(-68))/(n/48) a multiple of 6?
True
Let g(h) = 140*h**3 - 27*h**2 - 9*h. Is 161 a factor of g(5)?
False
Let z(y) = 21*y**3 + 10*y**2 + 16*y - 46. Is 3 a factor of z(5)?
False
Let x(k) = k**3 + 14*k**2 + 20*k. Let v = 16 - 28. Let m be x(v). Suppose -6*p + p + 3*u = -51, 0 = -3*p - 4*u + m. Is 4 a factor of p?
True
Let s = -5747 - -8586. Does 17 divide s?
True
Let v = -14817 - -19462. Is v a multiple of 5?
True
Let l = -337 - -6038. Is l a multiple of 19?
False
Suppose -4256 = -2*r - 4*k, -9*r - 5*k = -10*r + 2107. Does 30 divide r?
False
Let q(x) = -47*x - 263. Let s be q(-6). Suppose 0 = -s*w + 280 + 176. Is w a multiple of 12?
True
Let v(a) = 5*a**2 - 15*a - 31. Is v(12) a multiple of 61?
False
Let j(s) = 70*s**2 + 78 + s - 43 - 35. Is 32 a factor of j(3)?
False
Let m(r) = -16*r. Let b(y) = -y**3 - 9*y**2 - 13*y - 1. Let z be b(-7). Let i be z/(-40) + (-12)/10. Does 8 divide m(i)?
True
Suppose 0 = 164*g + 106228 - 839428 - 76304. Does 11 divide g?
False
Let o = 443 - 440. Suppose -7*t + 3*t = o*i - 946, -1585 = -5*i - 5*t. Is i a multiple of 23?
True
Let c = 104 + -127. Let j(k) = k**2 + 19*k + 8. Let u be j(c). Suppose 101*p - 220 = u*p. Is p a multiple of 36?
False
Let z(i) = i**3 + 3*i**2 + 4*i - 3. Let l(c) = -c**2 - c + 1. Let j(x) = -6*l(x) - z(x). Let w be j(4). Let h = 35 + w. Is 6 a factor of h?
True
Let m = 27713 + -24561. Is m a multiple of 4?
True
Let m(r) = r. Let c be m(0). Suppose c = 8*s - 10*s - 106. Let f = s + 118. Is f a multiple of 13?
True
Let u(g) = 976*g**2 + 25*g - 24. Is u(1) a multiple of 11?
False
Let u(n) = 10*n + 53. Let l(s) = -60*s - 221. Let j(z) = -31*z - 111. Let o(v) = 11*j(v) - 6*l(v). Let d(c) = -4*o(c) + 7*u(c). Does 2 divide d(-10)?
False
Does 4 divide ((-84)/(-98))/2*24542?
False
Let k(m) = 7*m**3 - 9*m**2 + 13*m - 9. Let x(s) = 3*s**3 - 4*s**2 + 6*s - 4. Let r(u) = -4*k(u) + 9*x(u). Suppose 6*t - 3*t = -9. Is r(t) a multiple of 17?
False
Let b(i) = 28*i + 36. Let d be b(7). Is 35 a factor of (3 - 4)*d/(-4)*2?
False
Let j(p) = 3*p**2 - 5*p + 2. Let t be j(2). Suppose -2*f = 2*q - 18, -47 = -5*f - 3*q + t. Suppose 3074 = f*r + 758. Does 23 divide r?
False
Let t = 101 - 101. Suppose 2*k - 3*q - 170 = 0, t = -4*k + 3*q + 2*q + 344. Is k a multiple of 14?
False
Let q = 8564 + -7462. Does 10 divide q?
False
Let n = 91 + -88. Let l be (-7)/2 - n/(-6). Let i = 79 + l. Is 12 a factor of i?
False
Suppose 0*s = -5*t - 2*s - 2625, 0 = 2*t - 4*s + 1026. Suppose -1488 = 29*a - 25*a. Let h = a - t. Is 16 a factor of h?
False
Suppose -2*b + 3*b = 4. Suppose -4*h = b*d - 0*h - 60, 3*h - 9 = 0. Is 9 a factor of -3*(-4)/d*40?
False
Suppose -2*h + 556 = -7*m, -4*m = h - 4*h + 808. Does 33 divide h?
True
Suppose -2*d = 2, -6*a + 5*d = -2*a - 325. Let z = a + -168. Let w = z - -146. Does 6 divide w?
False
Suppose 0 = -2*z + 1614*n - 1615*n + 82712, -3*z + 3*n = -124068. Does 49 divide z?
True
Let r = -1699 + 187. Let q = 11 + -4. Is (r/98)/((-1)/q) a multiple of 18?
True
Let n(u) = u**3 - 15*u**2 + 18*u + 17. Let m = -27 - -29. Let c be 29/m + (-6)/12. Is n(c) a multiple of 10?
False
Let h(j) = -21*j + 22 - 47 + 31. Is h(-9) a multiple of 30?
False
Suppose 2830 + 6605 = 15*z. Does 17 divide z?
True
Suppose -4*f + 112245 = k, 4*f - 36284 = -6*k + 75966. Does 11 divide f?
True
Suppose 30*f - 7845 = 3045. Is 33 a factor of f?
True
Let t(q) = 5*q**2 - 10*q + 21. Let f(i) = -i**3 + 10*i**2 + 14*i - 25. Let w be f(11). Is 13 a factor of t(w)?
False
Suppose 0 = -5*u + 174*o - 171*o + 83454, 0 = -2*o + 4. Is 12 a factor of u?
True
Let l = 156 + -154. Suppose -63 = -l*a + 93. Does 3 divide a?
True
Suppose -2*o + 9 + 69 = 0. Let s(q) = 3*q**3 - 3*q**2 + q + 5. Let i be s(3). Let t = i - o. Does 16 divide t?
False
Suppose -5*k + 93 = 5*n - 72, -5*n - 105 = -4*k. Suppose m - 30 = -3*f - 2*f, 5*f = m - k. Is m a multiple of 10?
True
Is (-21 - -1)*(-1561)/(-56)*-10 a multiple of 25?
True
Let s = 16275 + -12351. Is s a multiple of 12?
True
Let j(p) = -p**3 + 6*p**2 - 6*p + 17. Let m be j(5). Suppose -4*o - c + 127 = 0, 4*o = -4*c - m + 148. Is 6 a factor of o?
False
Let r(s) be the second derivative of -s**4/12 + 17*s**3/6 + 6*s**2 + s. Let m be r(14). Suppose -m = -2*d - d. Is d a multiple of 4?
False
Suppose -11*m + 9 + 13 = 0. Does 13 divide 312/39 - (-410 + m)?
True
Suppose 65*o = 160328 + 180727. Is 41 a factor of o?
False
Let k(j) = 592*j**2 + 83*j + 16. Does 90 divide k(-9)?
False
Suppose 428685 - 688093 - 1332944 = -304*y. Does 54 divide y?
True
Let b be (30/(-12) - (2 - 4))*0. Suppose -3*j + 2*j - 183 = -2*t, 4*t + 2*j - 354 = b. Is t a multiple of 10?
True
Let a be (-45)/(-135) - (-853)/(-3). Let s = a + 599. Does 9 divide s?
True
Is 13 a factor of (2840 - -1) + 8/24*18?
True
Is 4 a factor of -72*(-115)/15 + 8?
True
Suppose -8*g = 9*g + 14246. Is 15 a factor of ((-18)/12)/(-3) + g/(-4)?
True
Let x be -87*(4 + (3 - 17)). Suppose x = 2*z - 266. Does 33 divide z?
False
Suppose 5*y = 138 + 27. Let f(x) = -x**3 + 35*x**2 - 65*x - 7. Is f(y) a multiple of 5?
False
Let r = -383 - -790. Let q = r - 223. Is 7 a factor of q?
False
Let r = 2647 - -6101. Is 54 a factor of r?
True
Suppose 146*c = -66*c + 28*c + 1392144. Is 13 a factor of c?
True
Does 84 divide 2/12 + ((-80436027)/18)/(-119)?
False
Suppose 5*t + 85 = -5*f, -17 + 8 = 3*f. Let l = t - -326. Suppose j + l = 5*j. Is 26 a factor of j?
True
Suppose 0*d = -2*i + 3*d - 4563, 0 = -d + 1. Let f be i/(-36)*(-6)/(-5). Suppose -f = -2*r + r. Does 19 divide r?
True
Let f = -7193 + 9400. Does 8 divide f?
False
Does 43 divide 45172/((950/(-25))/(-19))?
False
Suppose 141768 = 799*p - 755*p. Is p a multiple of 6?
True
Suppose 4*l - 3 = 3*l. Suppose j + 21 = 22. Suppose j = l*v - 32. Is v a multiple of 2?
False
Let d = -2439 + 7815. Is d a multiple of 128?
True
Let f(s) = s**3 + 11*s**2 - 2*s - 19. Let z be f(-11). Let h(j) = -4*j**2 - 2*j**2 + 3 + 8*j**2 + 5*j**3 - 8. Does 11 divide h(z)?
False
Let r be (-3)/18 + (-23)/6. Let y be r/(-10) - 8264/(-40). Let h = 319 - y. Does 28 divide h?
True
Let j(h) = -7*h - 30. Let n be j(-5). Suppose n*o - 9*o = -28. Suppose o*a - 6*a = 12. Is 6 a factor of a?
True
Is 21 a factor of 55/(-33)*-9 + 489?
True
Suppose -2*r + 2*g = -g, -2*g = 4*r. Let s(b) = 4*b + 129. Let m be s(r). Suppose 2*y - 21 = m. Is 25 a factor of y?
True
Suppose 2*n + 1 = -d, -4*n + 17 = -4*d - 11. Let o be 11/((n + 0)/(2 - -20)). Let i = o + -43. Is i a multiple of 13?
True
Let g be -189*((-15)/9 - -1). Suppose 0*z = -6*z - g. Is 20 a factor of (-41)/(-2) - (z/6)/7?
False
Suppose -8*m = -5*t - 6*m + 20665, 2*t - 3*m = 8266. Is t a multiple of 12?
False
Let j = 995 + 610. Does 32 divide j?
False
Suppose 4*n = 3*a - 21, -6*a + 4*a + 18 = -4*n. Suppose -3*c + x = -743, -4*c + 0*c + 1008 = a*x. Is 1*((-2)/(-8) - c/(-12)) a multiple of 3?
True
Let t(l) = -6*l**2 + 8*l + 511. Is t(0) a multiple of 7?
True
Suppose 15*v - 20*v + 71977 + 30758 = 0. Does 9 divide v?
True
Let k(v) = 114*v**3 - 3*v**2 + 17*v - 14. Let u be k(4). Suppose 14*x = 3716 + u. Is x a multiple of 30?
False
Let m = -13 + 20. Suppose -4*u + m*u + 3 = 3*o, 2*u = 8. Suppose -o*s + 3*z = -z - 365, 5*z = 25. Is s a multiple of 19?
False
Suppose -4*q + 13 + 7 = 0. Suppose -j - y + 110 = 0, -4*j - 5*y = -q*j + 116. Suppose j = 3*p - 3*d, 8*p - 132 = 5*p - 4*d. Is 40 a factor of p?
True
Let g be (69/(-92))/((-1)/(-36)). Let s = -1 - g. Is 13 a factor of (2 - 48/s) + (-1515)/(-39)?
True
Suppose 4*v + 3*g - 550 = g, 2*g - 10 = 0. Is (-15)/(-5) + v + 0 a multiple of 6?
True
Let l be ((-12)/14)/(-6*5/140). Let o(c) = -c**3 + 4*c**2 + c - 1. Let d be o(l). Suppose -d*s + 0*s + 66 = 0. Is s a multiple of 4?
False
Suppose -4*u = -26 - 18. Let o(v) = 6*v**2 - 19*v + 6. Let t(p) = -3*p**2 + 9*p - 3. Let m(d) = u*t(d) + 6*o(d). Is m(6) a multiple of 15?
False
Suppose 1 = -j + 1. Suppose -4*m = -3*b - j*m 