uppose -3*j = 2*j + 6310. Let w = -822 - j. Suppose -w = -4*n - 176. Is n a multiple of 11?
True
Suppose 0 = -13*s + 15*s - 8. Suppose s = -d + 12. Let k = 47 + d. Is 16 a factor of k?
False
Let j(v) = 93*v**2 - v. Suppose -2*u = -4*k - 3*u, -k + 2*u = -9. Does 27 divide j(k)?
False
Is (-8)/36 + 67592/252 a multiple of 23?
False
Let b be (0 - 1)/(2 + (-185)/90). Suppose o - 6*o + 3*i + 90 = 0, -o = 5*i - b. Is 18 a factor of o?
True
Suppose 3*i = 4*i - 8. Is 4*59/2*4/i a multiple of 6?
False
Suppose 8*o = 16*o - 16. Suppose -o*x = -r - 112, -4 = 2*r - r. Does 16 divide x?
False
Let p(n) = 24*n + 22. Let f(r) = 8*r + 8. Let x(g) = -17*f(g) + 6*p(g). Suppose -c + 3 + 10 = 0. Is 26 a factor of x(c)?
False
Let s(w) = -3*w**3 - 5*w**2 + w + 5. Let r be s(-4). Let n = -56 + r. Does 19 divide n?
True
Let y(t) = 2*t**2. Let j be y(-1). Suppose 0 = -j*m + 16 - 10. Suppose -4 = -m*s + 5. Is s even?
False
Let m(b) = 207*b**2 - 9*b - 7. Let r be m(-1). Let a = 47 - 186. Let o = a + r. Does 22 divide o?
False
Suppose -3*v + 5*t = v - 17, 0 = 2*v - 2*t - 8. Suppose v*w = -15, x - 66 - 24 = -4*w. Is 22 a factor of x?
True
Let r be (-320)/(-50) + (-2)/5. Does 16 divide (72/60)/(r/80)?
True
Suppose 3*f + f = 0. Let w be (-2)/(-4)*f/5. Suppose w = -2*a + a + 27. Is 27 a factor of a?
True
Suppose 0 = -55*k + 6269 + 8361. Is k a multiple of 21?
False
Let k(m) = 8*m**2 + 3*m - 1. Let i be k(5). Let b = i + -61. Is b a multiple of 16?
False
Suppose 20*v = 24*v - u - 4708, -2354 = -2*v - u. Is 11 a factor of v?
True
Suppose 0 = -3*b + 4*w + 92, -16 = w - 5*w. Does 4 divide (-205)/(-9) + 8/b?
False
Suppose 2*d - 347 - 331 = 0. Does 12 divide d?
False
Suppose 2*g + 2*g - 122 = 3*s, -6 = -3*s. Let t = 34 - g. Suppose -i = t*i - 39. Is 8 a factor of i?
False
Suppose -3*j + 2*s = -2293, 4*s + 1542 = 2*j + 6*s. Is j a multiple of 8?
False
Suppose p - 4*l + 9*l + 4 = 0, -2*l + 16 = -4*p. Is 2 a factor of p/(-18) + 356/18?
True
Let p(s) = s**3 + 7*s**2 + 7*s + 5. Let k be 22 - (0 + 0 - -2). Let j be (k/25)/(2/(-10)). Does 11 divide p(j)?
False
Suppose -3*y + 14 = -y. Suppose -20 = 3*t - y*t. Suppose -t*s = -0*s - 150. Is 15 a factor of s?
True
Let l(f) = -f**2 + 18*f + 14. Let q(m) = m**2 - 17*m - 13. Let v(g) = -5*l(g) - 6*q(g). Is v(10) a multiple of 17?
False
Suppose -4*v - 2252 = -3*r, -26*v + 25*v = 2*r - 1483. Is 13 a factor of r?
False
Let z(t) = -t**3 - 9*t**2 + 8*t - 21. Let j be z(-10). Let w be (6/8)/((-2)/8). Is 10 a factor of (w - -2)/(j/25)?
False
Let h be (-3 + 2 + 2)*5/(-5). Let p = -1 - -10. Is 28 a factor of (-20)/6*p/h?
False
Suppose 0 = -l + 17 - 10. Suppose 4*x = 5*x - l. Is x a multiple of 7?
True
Let w(f) = f - 2. Let r be w(3). Let k(u) = 98*u**3 + u**2 - u. Is k(r) a multiple of 16?
False
Let f be (-9 - -6)*2/2. Let x(q) = -q**2 - 5*q - 4. Let k be x(f). Suppose -k*o = o - 108. Does 10 divide o?
False
Let g(w) = -1 + 7*w - 3 - 6*w. Let i be g(6). Does 6 divide -9*(i - -1)/(-1)?
False
Let i(u) = 2*u**3 - 3*u + 10. Let z be i(4). Let l = z - 75. Is 4 a factor of l?
False
Let x(a) = -26*a - 547. Is 27 a factor of x(-47)?
True
Suppose 4*h + 14 = z, -5*z + 0*h - 5*h = 5. Let s(b) = b**3 + b + 2. Let n be s(z). Does 5 divide 15 + 4/(n/9)?
False
Let d(x) = -x + 10. Let y be d(5). Suppose 282 = -y*a + 4*a. Is 18 a factor of (-12)/(-16) + a/(-8)?
True
Let d be -1 - (2/5 + (-74)/10). Is (-2 - -33)*d + (-12)/(-4) a multiple of 27?
True
Let q = -213 - -380. Let n = 237 - q. Is 16 a factor of n?
False
Suppose -2*l - 3*v + 28 = v, -2*v + 6 = -l. Suppose -2*m + 24 = l*p, -p - 2*p = 3*m - 24. Suppose 0*n - 38 = -5*n - p*w, 17 = 2*n + w. Is n a multiple of 3?
False
Let h = 481 + -330. Does 16 divide h?
False
Let o = -3348 - -6297. Is 23 a factor of o?
False
Let r = 1131 - 926. Does 41 divide r?
True
Let d(m) = -m**3 - 15*m**2 + 14*m - 18. Does 3 divide d(-16)?
False
Let m(p) = 5*p**3 - 3*p + 9. Let g(q) = -14*q**3 - q**2 + 9*q - 28. Let y(r) = 4*g(r) + 11*m(r). Is 41 a factor of y(-6)?
True
Let v(f) = -5*f**3 - 4*f**2 + 0*f**2 - 7 - 2*f**2 - 4*f + 6*f**3. Does 36 divide v(9)?
False
Suppose 25*w - 4027 = 6173. Is 18 a factor of w?
False
Suppose 5*a = -0*a - 25, 2*d = -5*a - 25. Let v(u) = -u**3 - u**2 + 7*u + 299. Does 33 divide v(d)?
False
Let u = 11 + -6. Let d be 1*-7*(-50)/50. Suppose d*f - 200 = 3*f + u*r, -5*f + 4*r = -250. Is f a multiple of 10?
True
Suppose 22*h - 37176 = 12192. Does 59 divide h?
False
Is 12 a factor of 8/(-10) - (-1 + 4170/(-25))?
False
Suppose -3 = 2*u - 11. Suppose 30 = u*h - 3*h. Suppose -2*r - 6 = 0, s - 4*r - 24 = h. Is 7 a factor of s?
True
Is 30 a factor of ((-58)/6 + 3)*(-63)/1?
True
Suppose 0 = -7*s + 4*s - 9. Is 4 - (-1 - (-456)/s) a multiple of 26?
False
Let f be -13 + 15 + (99 - 0). Suppose -4*w + 235 = -f. Let n = w - -12. Does 32 divide n?
True
Suppose -1119 = 4*d + u + 91, 4*u + 1507 = -5*d. Is 25 a factor of d/(-6) - (-1)/(-2)?
True
Suppose 0 = -2*r - 5*y - 42, -r - 3*y = 3*r + 70. Is 16 a factor of (-2)/(1*2/r*1)?
True
Let u be (4/(-4) - -1)/(-2). Let n be (-2*10)/1 - u. Is 16 a factor of (128/n)/((-1)/5)?
True
Suppose -3*k + 3 = 2*g - 4, -5*g + k + 43 = 0. Let h(o) = o**2 - 8*o. Let j be h(g). Suppose -l = -j*l - 49. Is l a multiple of 7?
True
Let u = -29 - -14. Is u/(-90) - (-2698)/12 a multiple of 25?
True
Let m = -35 - -41. Does 30 divide m - 4/(12/9) - -146?
False
Let g be (15/(-6))/((-7)/1666). Let o = -407 + g. Is 18 a factor of o?
False
Let o be 1/3 - 20/(-12). Suppose -o*g = -4*g + 52. Suppose g + 10 = 3*h. Is 4 a factor of h?
True
Let u be ((-4)/8)/(1/(-4)). Suppose s = -u*s + 18. Suppose m - 5*i = 32, m - s - 42 = -3*i. Is 14 a factor of m?
True
Suppose -d - q + 675 = -396, -3*d - 4*q = -3209. Is d a multiple of 5?
True
Let f(s) = -s**3 - 12*s**2 + 7*s - 35. Does 8 divide f(-13)?
False
Is 243 + (-12 - (-30)/5) a multiple of 15?
False
Let y(v) = 4*v + 23. Let o(w) = w + 8. Let u(p) = 7*o(p) - 2*y(p). Let n be u(5). Suppose -5*a - n*f = -3*f - 90, -36 = -2*a - 5*f. Is 9 a factor of a?
True
Suppose -3*i - 3005 = -5*z + 38, 3*z = -4*i + 1849. Does 34 divide z?
False
Let o = 23 - 23. Suppose 3*m - m - 64 = o. Does 13 divide m?
False
Let s be ((-247)/26)/((-2)/4). Suppose 0 = 5*y + 4*u - s, 2*y - 3*u + 9 = 4*y. Suppose -v = -y*h - 26, 5*h = -v + 11 - 1. Is v a multiple of 5?
True
Let y = 1071 - 201. Is 79 a factor of y?
False
Suppose 6*o = -3*o + 27. Suppose -o*v = 45 - 387. Does 35 divide v?
False
Suppose -7*q + 1656 = 5*q. Does 6 divide q?
True
Let l(n) = 24*n**2 + 3*n + 2. Let b = -17 - -16. Does 6 divide l(b)?
False
Suppose 5*g - 1053 = -3*t, 11*t = 2*g + 10*t - 419. Does 11 divide g?
False
Let r(k) = -53*k - 71. Is 25 a factor of r(-7)?
True
Suppose 0 = -4*q + 2*q + 30. Is (-13717)/(-165) - 2/q a multiple of 21?
False
Let g be (-39)/15 + (-4)/10. Let o be ((-156)/16)/(g/36). Suppose 5*r - o - 153 = 0. Is 31 a factor of r?
False
Let n = 1083 - 1046. Does 20 divide n?
False
Let s(d) = 0 + 1 - 2*d - 4 + 0. Let k be s(-4). Suppose -3*l + 99 = 2*x, -k*x - 62 = -l - 12. Is l a multiple of 16?
False
Let u = -12 - -11. Let z be (15/(-10) - u)*12. Is (-244)/6*z/4 a multiple of 14?
False
Let z(k) = k + 6. Let x be z(6). Let g = 17 - x. Suppose 0 = 5*v - 5*h - 155, 3*h = -g*v - 2*h + 175. Is v a multiple of 10?
False
Suppose -m + 2*v = -474, -4*v + 3*v + 3 = 0. Does 24 divide m?
True
Suppose 3*h = -11 - 10. Let l be -2*(1 + h + -1). Let k = 50 - l. Is k a multiple of 8?
False
Let x be (8 + -7)/(-1 - 0). Let y be (-4 + 6)*51 - x. Suppose 2*j + 49 = i, 5*i + 3*j - y = 181. Is 11 a factor of i?
True
Let m = -25 - -395. Is m a multiple of 74?
True
Suppose -4*w = -0*w - 8. Is w + (-1)/((-3)/204) a multiple of 14?
True
Suppose 476 = 5*z + w, -z + w + 67 = -33. Suppose 96 = 6*c - 4*c + 5*h, 0 = 2*c - h - z. Is c a multiple of 15?
False
Suppose 5*g + 58 = 3. Let n(b) = -b**3 - 12*b**2 - 7*b + 12. Let s be n(g). Let q = -17 - s. Is q a multiple of 3?
True
Let n(d) = -d**3 - 4*d**2 + 4*d - 3. Let t be n(-5). Suppose t*o = -b - 0*b + 12, 5*o - 45 = -5*b. Does 4 divide b?
False
Suppose -3*x - 3*s - 2*s + 203 = 0, 0 = -s - 2. Is x*(-1 - -2) - -4 a multiple of 26?
False
Does 42 divide 28224/216*(-18)/(-8)?
True
Suppose -3*g + 6*g = -15. Let c(y) = -24*y + 3. Let a be c(g). Let n = a - 49. Does 11 divide n?
False
Let n(k) = k. Let f(i)