multiple of 5?
False
Let n(a) = -2*a**3 + 13*a**2 - a - 6. Let u = 39 - 33. Is n(u) a multiple of 3?
True
Suppose -5*d + 40 = -3*d. Let h = -16 + d. Suppose -2*a = -h*a + 78. Is a a multiple of 13?
True
Let k(g) = -4*g - 63. Let l be k(-16). Let o = 15 + l. Is o a multiple of 8?
True
Suppose -1134 = -5*n - 2*r + 4350, -5*r = -5*n + 5470. Is n a multiple of 17?
False
Suppose h - 6*h + 31 = -4*g, -5*g + 26 = 3*h. Suppose 0 = -2*t + 5*p + 110, -h*t = -6*t + 3*p - 44. Is 17 a factor of t?
False
Let l = 40 - 39. Let w(f) = 60*f**3 - 2*f**2 + 2*f. Is w(l) a multiple of 15?
True
Let r = 160 - -265. Does 26 divide r?
False
Let y(u) = u**2 + 4*u + 3. Suppose 4*z + 14 + 18 = 0. Let j be y(z). Let r = 59 - j. Is r a multiple of 10?
False
Suppose 2*s + 4 = 8. Suppose 272 = 4*h - 2*f, f + 136 = 2*h - s*f. Is 17 a factor of h?
True
Let f = -52 + 53. Suppose -f = 2*q - 229. Is 21 a factor of q?
False
Let p = -763 + 1108. Is 23 a factor of p?
True
Does 15 divide (3 + -2)*(-2 + 8 - -437)?
False
Does 5 divide (-404)/(-1) - 1/((-1)/(-4))?
True
Let q(y) = -369*y + 13. Is q(-1) a multiple of 89?
False
Let l = 6101 - 2945. Does 31 divide l?
False
Suppose -123 = -2*x + 3*g, 0 = 3*x - 5*g - 50 - 135. Suppose 0*u - x = -2*u. Suppose -2*a + 14 = -u. Is a a multiple of 11?
True
Suppose -11*h - 7 = -975. Is 17 a factor of h?
False
Suppose -c = -5*t + 2*c + 909, 2*c - 736 = -4*t. Is t a multiple of 4?
False
Let j = -30 - -25. Is (-19 + 2)/(j - -4) a multiple of 17?
True
Let n be (-15)/(-6)*-2*-1. Does 4 divide (n/10)/(-2*(-2)/384)?
True
Suppose 275 + 1958 = 7*w. Is 11 a factor of w?
True
Suppose 2*h = -5*t + 4*h - 2, -3 = 2*t - 3*h. Let f = t + 13. Is 7 a factor of f?
False
Let z(q) = 2*q - 6. Let f be z(8). Suppose 0 = 4*o - 9*o + f. Suppose 2*y + 44 = o*n, n - 4*y + 12 = 2*n. Is n a multiple of 8?
False
Let s = -5 + 67. Let b be s/4 - 2/(-4). Let g = b - 5. Is 11 a factor of g?
True
Let b = 24 - 7. Suppose -b*o + 716 = -13*o. Is o a multiple of 28?
False
Let b = 86 - 86. Suppose -4*s - 2*g + 72 = b, 2*s + s - 55 = -g. Is 17 a factor of s?
False
Let v be 6*4/(-6) - -6. Suppose -j = v*x - 16, -88 = -5*j + 5*x + 52. Is j a multiple of 8?
True
Let w be 48/10 - (-2 - 28/(-10)). Let j = -4 + 7. Suppose 9 = w*y - j*y. Does 5 divide y?
False
Let h be 6/4 + ((-10)/4 - -1). Suppose 66*z - 64*z - 364 = h. Is 22 a factor of z?
False
Let b(j) = 196*j**2 + 9*j - 4. Is 14 a factor of b(2)?
True
Let g(q) be the second derivative of -q**7/2520 + 7*q**6/360 - 17*q**5/120 - 5*q**4/12 + 5*q. Let z(n) be the third derivative of g(n). Is 8 a factor of z(11)?
True
Suppose 4*a - 20 = 5*u + 3*a, -25 = 3*u + 2*a. Let y = u - -35. Does 10 divide y?
True
Suppose 0*d + s = -5*d + 2030, -d - 4*s = -425. Does 15 divide d?
True
Let o(h) = 72*h**2 + 1. Let m be o(1). Let g = m + 65. Suppose 2*a = g - 48. Is a a multiple of 15?
True
Suppose -39*q + 38*q = o - 3569, 2*o + 3566 = q. Is 54 a factor of q?
False
Suppose -155 = -3*z + 106. Let d = z + 39. Does 14 divide d?
True
Let w = 1323 - 743. Is 29 a factor of w?
True
Let y be -2*21/(-56) + (-3)/4. Let a(p) = p - 1. Let i be a(5). Suppose -4*z - 3*t = -y*t - i, 0 = t + 4. Is z a multiple of 4?
True
Let h = -80 - -81. Is 13 a factor of 108*((-4)/(-3))/h?
False
Suppose -4 = y - 7. Suppose y*f = -0*t - 3*t + 24, -3*t = -5*f - 24. Is (-9)/36 + 26/t a multiple of 2?
False
Let h = -196 - -3692. Is h a multiple of 19?
True
Suppose -106*r + 101*r + 6090 = 0. Does 58 divide r?
True
Let i(a) = a**3 - 6*a**2 - 4*a. Suppose -5*m + 31 = k, -5*m + 3*m + 26 = -3*k. Is 7 a factor of i(m)?
True
Suppose 2351 = -11*i + 16013. Is 94 a factor of i?
False
Suppose 3*u - w - 861 = 0, 0 = u - 2*u - w + 291. Is 18 a factor of u?
True
Suppose 0*f = 3*b - 2*f, 0 = -2*b + f - 1. Does 36 divide (3 + 3)*38*1 + b?
False
Suppose 0 = 4*b + 4*i - 4, 3*b - 4*i + 0 = 10. Let p = b - -22. Is p a multiple of 7?
False
Suppose -2*f + 528 = 2*w, -3*w + 268 = -2*w + 5*f. Let v = -183 + w. Is 16 a factor of v?
True
Let x be 4*((-35)/14)/(1/8). Let r = 205 + x. Is r a multiple of 25?
True
Let i(y) = -74*y + 1748. Is 76 a factor of i(0)?
True
Let l(w) = w**2 - w. Let i(a) = 4*a**2 - 2*a - 2. Let m(f) = i(f) - 3*l(f). Let h be m(2). Does 10 divide (21/(-2))/((-2)/h)?
False
Let r(u) = u**2 - 4*u + 6. Let f = 39 + -36. Let b be r(f). Suppose b*c - 48 - 54 = 0. Does 34 divide c?
True
Let n(v) = -v**3 - 21*v**2 - 37*v - 123. Is n(-22) a multiple of 10?
False
Let p(j) = 579*j**2 + 6*j + 5. Is p(-1) a multiple of 21?
False
Suppose 13*i = 16*i - 5112. Is i a multiple of 28?
False
Let p = -1335 + 2270. Is p a multiple of 11?
True
Suppose 0 = 3*m - 5*z - 0*z + 27, -2*m + 4*z = 20. Is (4 + m)/(-1) + 44 a multiple of 11?
True
Let a = -14 - -16. Let t = 18 - a. Is 4 a factor of t?
True
Let t(y) = -348*y + 3. Is t(-6) a multiple of 41?
True
Let r(z) = -38*z - 1161. Is r(-46) a multiple of 25?
False
Let x be 8/(-20) + (-2)/(-5). Suppose 0 = 2*w - x*w - 4. Suppose -3*k + 26 - w = 0. Is k a multiple of 8?
True
Let t(s) = -s + 7. Let m be t(4). Let r(l) = -l + 19*l**2 - 4 + 11 - l**m - 28*l**2. Does 18 divide r(-10)?
False
Let o(f) = -f**2 - f. Let d(r) = -2*r**2 - 4*r + 1. Let v(g) = 2*d(g) - 6*o(g). Let s be v(1). Suppose -s*q + 8 = -4*a, -2*a = 3*q - 6*a - 16. Does 8 divide q?
True
Let t(j) = -j**3 + 13*j**2 - 12*j + 17. Let r(z) = -1. Let p(y) = -r(y) + t(y). Is 32 a factor of p(11)?
True
Suppose -4*b = 348 - 120. Let i = 60 + b. Is i a multiple of 2?
False
Suppose -3*d + 3*w + 114 = 300, 3*d + 192 = -3*w. Let a = d + 108. Is a a multiple of 9?
True
Let n(x) = 4*x**3 - 2*x + 2. Let c(b) = -8*b**3 + b**2 + 4*b - 4. Let u(g) = -3*c(g) - 5*n(g). Is u(3) a multiple of 8?
False
Is 82 a factor of 126/49*(-4 + 578)?
True
Suppose 0 = -9*c + 5*c + 12. Suppose 285 = 5*q + 2*y, q + c*y - 34 = 10. Suppose 15 - q = -4*s. Is s a multiple of 6?
False
Suppose 1417 = -72*f + 85*f. Is 8 a factor of f?
False
Let r = -27 - -32. Suppose -4*j + 7*x + 523 = 2*x, -x + 690 = r*j. Does 15 divide j?
False
Let u(n) = n**3 - 6*n**2 - 6*n + 3. Let d be u(7). Suppose -c + 1386 = d*c. Is 18 a factor of c?
True
Let h(w) = -37*w - 85. Is 5 a factor of h(-6)?
False
Suppose 0 = 9*j - 17*j + 1408. Is 22 a factor of j?
True
Let c(o) = o**3 + 2*o**2 + o + 2. Let m be c(-2). Let f be 0 - (-1 - 7) - 4 - -1. Suppose m = f*x - 16 - 114. Is 13 a factor of x?
True
Suppose 2*k + 30 - 56 = 5*q, 4*q + 4 = -4*k. Let t(w) = 78*w + 1. Let c be t(1). Suppose k*f = 50 + c. Is f a multiple of 9?
False
Let t = -9 + 13. Let b be (t - 3) + 7 + 1. Is (-6*1)/((-2)/b) a multiple of 9?
True
Let k = 89 - 110. Is 6 a factor of 69 - (18/(-21))/(6/k)?
True
Suppose -4*s = 20, 2*p - 448 = p + 5*s. Suppose 117 + p = 5*i. Does 11 divide i?
False
Suppose -11 = 5*n - 31. Suppose n*i = a + a + 306, 0 = 5*i + 5*a - 420. Is 5 a factor of i?
False
Is (-3 - 4) + 2254 + 17 a multiple of 55?
False
Let s(w) be the third derivative of -w**5/20 - 7*w**4/8 - w**3/3 + 3*w**2. Is 16 a factor of s(-6)?
True
Let x(m) = -29*m + 25. Let v be x(-8). Suppose 5*z + 80 = -k + v, -2*k - 186 = -5*z. Is z a multiple of 32?
False
Suppose 3 = 5*u - a, 0*a + a + 3 = -4*u. Suppose u = -4*c - c - 3*k + 175, -3*k = -15. Is 6 a factor of c?
False
Suppose 4*r - 16 = 32. Suppose -27 - r = -2*n - 3*t, -3*n - 5*t + 60 = 0. Is n a multiple of 7?
False
Let n = 89 - 87. Is n/(-4) - (-1)/((-6)/(-417)) a multiple of 5?
False
Suppose 7*r = -10 - 53. Let t(h) = -2*h - 18. Let x be t(r). Is x - (-3 - 8*14) a multiple of 19?
False
Suppose -k - 68 = -2*i, 5*i - 4*k - 165 = k. Let l = 25 - 12. Suppose l = 2*b - i. Does 6 divide b?
True
Suppose -2*a - 72 = -4*k, a + 3*k = -3*a - 100. Let o = a + 33. Does 2 divide o?
False
Let t(m) be the second derivative of m**4/6 - m**3/6 - m**2/2 + 3*m. Let n be t(2). Suppose n*p - 100 = -2*d + 60, 3*p + d - 95 = 0. Is p a multiple of 15?
True
Is 7/14*3/((-6)/(-2384)) a multiple of 18?
False
Let p = -876 - -1396. Does 10 divide p?
True
Let i = 486 + 171. Suppose 2*p = 2*j - 0*j - 434, -p = -3*j + i. Is j a multiple of 55?
True
Let u = 417 + -266. Let n = u + -14. Does 17 divide n?
False
Is 23 a factor of (10 - 149/15) + (-10244)/(-15)?
False
Let q be 1 + -1 + 0 + -2. Suppose -6 = -3*l - 3*o, -3*l - 13 = -4*o + 16. Is 3 a factor of (1 + l)/(q/3)?
True
Let w(s) = -2*s**3 - 3*s**2 + 1. Let 