 y. Is r a multiple of 8?
False
Let q = 2 + -2. Suppose 0 = 2*h - 6, -5*v + 4*h = 2*h - 199. Suppose q*j + v = j. Does 15 divide j?
False
Let u be 117/15 - 5/(-25). Let m(w) = 2*w**2 - 11*w + 12. Let d be m(u). Suppose g + 0*g - d = 0. Does 17 divide g?
False
Let b(t) = -t**3 + 2*t**2 + 2*t + 6. Let g(j) = j**3 - j**2 - j - 7. Let s(f) = -3*b(f) - 2*g(f). Let v be s(6). Let i = -22 + v. Does 11 divide i?
True
Let n(b) = -6*b + 2. Suppose -3*r = p - 7 + 19, -20 = 4*r. Suppose -2*y - 4 = 2*d, -p*y + 3*d + 2 = 26. Is 8 a factor of n(y)?
True
Does 5 divide 284/(-2*1)*(-52)/104?
False
Suppose 8 = 4*a - 8. Suppose 34 = -2*k - 4*g, -a*k + k - 2*g = 31. Let z = k + 25. Does 9 divide z?
True
Let d = 477 - 213. Does 8 divide d?
True
Let p(n) = n**2 + 3 + 24*n**3 - 2*n**2 + 0*n**2 - 2*n + 29*n**3. Is p(1) a multiple of 7?
False
Suppose -3*y = -2*x + 2*y + 298, 728 = 5*x - 4*y. Is -5*(x/(-20) - 1) a multiple of 25?
False
Let q(j) = -45*j + 138. Is q(-7) a multiple of 80?
False
Let a(m) = -18*m - 86. Does 13 divide a(-7)?
False
Let p(g) = -g**2 - 8*g - 7. Let w be (-2 - -2) + -3 + -3. Let f be p(w). Suppose 0 = -f*q - 10, -2*d + d + 4*q = -14. Does 6 divide d?
True
Let l = 518 + -464. Is l a multiple of 47?
False
Suppose 62 = 4*q - 86. Is 3 a factor of q?
False
Let d(h) = 32*h**2 - h - 2. Let m be d(1). Suppose -5*c + m + 136 = 3*z, -3*z = -2*c - 144. Is 4 a factor of z?
False
Suppose 0 = 3*h - 6*h + 63. Let w = h - 14. Let g(z) = 7*z - 3. Is g(w) a multiple of 15?
False
Let s = 18 + -6. Let t be (249/(-12))/((-3)/s). Suppose -22 - t = -5*z. Is z a multiple of 11?
False
Let q(u) = -u - 3. Let l be q(-5). Suppose 3*x = l*i - 15, 5*i - 6*x - 65 = -4*x. Is i a multiple of 5?
True
Let x be 11/4*(-12)/(-8)*8. Let p = x + 233. Is 19 a factor of p?
True
Suppose z - q = 5*z - 556, -2*z + 2*q + 268 = 0. Does 16 divide z?
False
Suppose -5*h + 6*c - c - 15 = 0, -3*h = -4*c + 6. Let s = -339 + 340. Does 18 divide (9 + s)/(h/(-36))?
False
Is 10 a factor of (-6)/8*(-416)/(-117)*-30?
True
Suppose -21*x - 637 = -3829. Is x a multiple of 6?
False
Suppose 6 = -6*z - 30. Let v(y) = y**3 + 7*y**2 + 3*y + 6. Let m be v(z). Is (1 - m/(-4))*2 a multiple of 3?
False
Suppose a - 4*t = 1333, -2*t = -5*a + 7144 - 425. Does 86 divide a?
False
Let v(h) be the second derivative of 23*h**5/20 + h**4/12 + 21*h. Does 3 divide v(1)?
True
Let a be 24 + -640 + 1 + 3. Does 35 divide -8 + a/(-78) + (-3644)/(-26)?
True
Let s = 78 + -30. Is s a multiple of 16?
True
Suppose -4*i + s = 15, -i + s - 3*s = 15. Let x be 108/(2 + i)*-8. Suppose -3*c - 54 = -x. Is 26 a factor of c?
True
Let k = -36 - -43. Suppose 0 = k*h - 108 - 18. Does 7 divide h?
False
Let p be 2/1*(-705)/(-10). Suppose -3*a + 5*g + 116 = -13, -3*a = -g - p. Is 0 + (0 + a - 1) a multiple of 21?
False
Suppose 4*x = 17 - 1, -2*n + 2992 = -2*x. Suppose 5*r + 0*r - n = 0. Is r a multiple of 30?
True
Is 56 a factor of ((0 - 169) + 1)/((-10)/20)?
True
Let j = -1263 - -1794. Does 27 divide j?
False
Let q = -72 - -128. Suppose 5*a - 481 = -q. Is a a multiple of 5?
True
Let p(f) be the third derivative of 2*f**5/15 - 5*f**4/24 + f**3/3 - 7*f**2. Suppose -4*l - 16 = 2*u + l, -3*l - 12 = 0. Is 14 a factor of p(u)?
False
Let o be 26*(-2 - 55/2 - -4). Let i = o - -953. Does 28 divide i?
False
Is ((-100)/(-3))/2 + (-4)/6 a multiple of 3?
False
Suppose -p + 33 = 4*a, -5*p + 11 = -2*a - 0*p. Let z(q) = q**2 + 8*q - 15. Is z(a) a multiple of 18?
True
Let k(x) = 449*x**2 + 8*x + 9. Does 45 divide k(-1)?
True
Let c(o) = 2*o**2 + 13*o - 20. Does 19 divide c(17)?
True
Let u(o) = -17*o. Let r be u(-1). Suppose r*g - 22*g = -605. Does 13 divide g?
False
Suppose 5*r = -4*k - 47, 0 = k + k + 2*r + 24. Let w = 18 + k. Suppose 4*a + 2 = 3*z + 4, -4*a = -w*z + 10. Is z a multiple of 6?
True
Does 50 divide (-32)/(-8) + -1 + 747?
True
Let o = -137 - -172. Is 24 a factor of o?
False
Let x = -500 - -1122. Is x a multiple of 22?
False
Suppose 81*f - 60*f - 7602 = 0. Is 37 a factor of f?
False
Suppose 5*n - 140 = -2*h - 0*n, 3*h - n - 176 = 0. Suppose 3*j - 174 = -h. Is j a multiple of 13?
False
Suppose -4*l + 814 = -2*r, -62 + 669 = 3*l + 2*r. Suppose 2*v - 71 = l. Suppose v = 4*q - 0*q + 5*i, 3*q + 4*i - 102 = 0. Does 9 divide q?
False
Let f(t) = -t**3 - t**2 - 30. Let a be f(0). Let n = -107 - a. Let l = n - -130. Does 12 divide l?
False
Let t = 58 - 150. Is 14 a factor of -4 + 3 - -2 - t?
False
Let q(u) be the second derivative of u**4/4 + 5*u**3/6 - 19*u**2/2 - 24*u. Is 19 a factor of q(-8)?
True
Let q(l) be the second derivative of -2*l**3/3 - l**2 - 14*l. Does 9 divide q(-5)?
True
Let v = 2 - -6. Let y be 19/4 - 6/v. Is (y/(-5))/(4/(-370)) a multiple of 23?
False
Let g(u) = -17*u**3 + u**2 + u - 1. Let z be g(1). Is 20 a factor of z*(-4 - (-5)/(-5))?
True
Let s(w) = 65*w**3 - 2*w**2 + 2*w - 1. Does 2 divide s(1)?
True
Is 1*-120*5*1/(-10) a multiple of 24?
False
Suppose 510 = 4*i - 290. Suppose 11*w = 6*w + i. Is 10 a factor of w?
True
Let o = -42 + 39. Is o + 18/6 + (-21)/(-1) a multiple of 21?
True
Let y(o) = -4*o - 2. Let s be y(-1). Suppose -5*m - 5*r = -r - 4, 12 = m - s*r. Suppose 2 + m = 2*d, 0 = -5*l + 3*d + 51. Is 12 a factor of l?
True
Let y(w) = 3*w**2 + 13*w + 19. Let p be y(-6). Suppose 0 = -0*v + 4*v + l - p, 43 = 4*v - 5*l. Does 2 divide v?
True
Suppose 0 = 3*l + 3*s - 8 - 16, 0 = 4*s - 4. Suppose 2*m - l = j - 55, 3*j - m = 124. Does 20 divide j?
True
Let g = 48 - 23. Does 5 divide g?
True
Let k be 1/((-607)/(-303) + -2). Suppose 4*n - k = 5*o - 4*o, 3*n + 3*o - 246 = 0. Is n a multiple of 8?
False
Let d(c) = -5*c + 8. Let f be d(-8). Let t = f + 29. Let z = -12 + t. Is z a multiple of 25?
False
Let b(q) = 50*q**2 + 2*q + 4. Does 74 divide b(-4)?
False
Suppose 192 = -2*g + o - 2*o, 2*g = -5*o - 192. Let n = -37 - g. Is n a multiple of 23?
False
Suppose 301 = -619*x + 626*x. Does 17 divide x?
False
Suppose 0 = 3*o - 7*o + 16. Suppose o*p + d = 117, p + 10 = d + 33. Is 21 a factor of p?
False
Let h = 1125 + -711. Does 30 divide h?
False
Let d = 105 + -32. Suppose d - 196 = -3*m. Does 7 divide m?
False
Is 279 + 11/(44/(-16)) a multiple of 53?
False
Let u be ((-78)/(-65))/((-6)/20). Let v(l) = 2*l**2 + 6*l + 10. Is 9 a factor of v(u)?
True
Suppose 3*i - j - 1601 = 0, 5*i + 1103 = -5*j + 3758. Does 41 divide i?
True
Suppose 0 = 6*x - 479 + 59. Does 2 divide x?
True
Suppose 3*a - a - 10 = 0. Suppose 362 - 2 = -a*k. Is 13 a factor of 27/k + (-211)/(-8)?
True
Suppose p - 3*m = -370, 0 = -2*p + 5*p - 3*m + 1128. Let i be (-8)/24 + p/(-3). Let c = 212 - i. Does 24 divide c?
False
Suppose 2*l - 1321 = -r, -3297 = -5*l - 11*r + 3*r. Is 37 a factor of l?
False
Let o(v) = v**3 + 8*v**2 - v - 6. Let t be o(-8). Suppose -15 = -t*j - 1. Is 24 a factor of (-194)/(-4) - j/14?
True
Does 38 divide (-820)/(-2) - (-176)/(-22)?
False
Is -1*3 + (-117 - -343) a multiple of 11?
False
Let p be (-15)/4*(20/15 - 4). Does 32 divide 1538/p - (-1)/5?
False
Let j(p) = 2*p - 7*p + 2*p + 2*p + 68 + p**3. Let k be j(0). Suppose w = -3*w + k. Is 4 a factor of w?
False
Let d = 52 - -140. Suppose 20*g - 17*g = d. Is 16 a factor of g?
True
Let a(s) = -s**3 + 15*s**2 + 17*s - 18. Let w be a(16). Let l be ((w - -6) + 6)/2. Suppose l*z - 148 = z. Is z a multiple of 10?
False
Let f(m) = 3*m**3 - 11*m**2 + 16*m - 110. Does 10 divide f(8)?
True
Does 26 divide -5 - (-2 - -5 - 805)?
False
Let g be (-3)/(0 + -1) + 0. Let q = g + -1. Suppose q*y + 6 - 4 = 2*h, 4*y - 5*h = -9. Does 4 divide y?
True
Suppose 62*y - 58*y = 0. Suppose y*k = -4*k + 232. Is 5 a factor of k?
False
Let m(w) = -3*w + 229. Let v be m(0). Suppose 4*b + 4*d = 272, -115 - v = -5*b - 4*d. Does 24 divide b?
True
Does 8 divide 5096/32 + 9/(-24)*-2?
True
Let b(q) = -23*q - 1. Let x be b(-3). Suppose -3*y = -2*y. Suppose y = -a + x - 18. Is a a multiple of 13?
False
Suppose -12*k = -107 + 8735. Is k/(-9) + 5/45 a multiple of 16?
True
Let x(g) = -g**3 - 7*g**2 + 11*g + 24. Let p be x(-8). Let c(o) = -2*o + 26. Does 13 divide c(p)?
True
Let u = 15 - 11. Let l be 1 + (-12)/u + 140. Let h = l - 38. Is 17 a factor of h?
False
Let f = 158 - 65. Is f a multiple of 13?
False
Let r(b) = 3*b**2 - 12*b - 62. Is 2 a factor of r(-5)?
False
Suppose 4*v + 50 = q, -2*q = v + 2*v + 43. Let i = 4 - v. Suppose 2*d - 3*d - 4*a = -i, 3*a = -2*d 