 2*s - 144 = 0. Does 4 divide n(s)?
True
Let j = 4934 - 3196. Is j a multiple of 22?
True
Suppose -269*y + 160*y = 420*y - 39831055. Is y a multiple of 339?
False
Let b be ((-4)/5)/(224/(-35) - -6). Suppose 5*q = -1 + 6, 42 = 5*g + b*q. Suppose -38 = -3*v - g. Is 9 a factor of v?
False
Let k(u) = 12 - 15*u + 87*u - 33*u + 5*u**2. Is k(-8) a multiple of 4?
True
Let u = -13831 + 33237. Is 313 a factor of u?
True
Let w(o) = 6*o**2 + 2*o. Suppose -2*y + q = 3, 3 = 2*q - 3*q. Let k be w(y). Let j = k + -21. Is j even?
False
Suppose -183*y = -214340 - 117988. Is 21 a factor of y?
False
Let x = -2607 - -2634. Suppose 7*r = 3*r + 128. Suppose -x*j - 280 = -r*j. Does 7 divide j?
True
Let l(p) = p**2 - 3*p - 1. Let b be l(2). Let h be b/(6/6292) - (6 + -2). Is 12 a factor of 2/3*h/(-12)?
False
Let v(i) = 2*i**2 - 6*i + 20. Suppose 0 = 4*z + 2*j - 34, -3*z = 2*z - 2*j - 20. Is 8 a factor of v(z)?
True
Let k(i) = 18*i + 36. Let b(s) = 12*s + 24. Let g(c) = -8*b(c) + 5*k(c). Let f = -41 + 29. Is g(f) a multiple of 17?
False
Let k = -38 + 38. Suppose 4*w = -2*c + 6 - 2, k = 2*c + 2*w - 6. Suppose 4*t - 926 = -p + 3*p, -12 = c*p. Is 43 a factor of t?
False
Suppose 355*o + 280599 = 2497018 + 3608421. Is 14 a factor of o?
True
Let j(v) = 234*v + 496. Is 5 a factor of j(11)?
True
Let b = -8 - 8. Let c be 782/(-15) + -1*(-10)/75. Let s = b - c. Is s a multiple of 9?
True
Let r(l) = 13*l**2 - 11*l + 40. Does 34 divide r(-13)?
True
Suppose 2 = -4*c - 22. Does 22 divide (4 + 15/c)/(5/270)?
False
Let k(a) = 5021*a**2 + 17*a + 34. Does 11 divide k(-2)?
False
Let b(c) = -c**2 - 14*c - 8. Let z be b(-13). Suppose h = -o + 3*h + 260, 0 = 5*o + z*h - 1300. Is o a multiple of 13?
True
Let z(j) = 18 - 6*j**2 + 2*j**2 - 5*j - j**2 + 10*j**2. Let u be z(6). Suppose 0 = 4*k + 4*x - 224, -3*k = -4*x - 0*x - u. Does 22 divide k?
False
Let y(z) = -39*z + 46. Let j(r) = -59*r + 70. Let d(m) = -5*j(m) + 8*y(m). Does 31 divide d(-11)?
False
Let v(b) be the first derivative of 103*b**2/2 - 4*b - 11. Does 8 divide v(1)?
False
Let k(a) = -7104*a**2 - 407*a + 407. Let l(g) = 35*g**2 + 2*g - 2. Let t(c) = 2*k(c) + 407*l(c). Let h be t(-3). Suppose 4*d - 63 = h. Is 21 a factor of d?
False
Let i(b) = 17*b - 3. Let u be i(1). Let a be (-8)/u + 240/28. Suppose -v + 108 = a*v. Is v a multiple of 8?
False
Suppose 98*q = 185*q - 96*q + 31122. Does 19 divide q?
True
Suppose -7003*y + 6990*y = -87815. Is 16 a factor of y?
False
Let j(m) be the third derivative of -4/3*m**3 + 0 - 8*m**2 + 1/60*m**5 - 11/24*m**4 + 0*m. Does 18 divide j(13)?
True
Let c = 17294 + -9754. Does 13 divide c?
True
Let c be 2/(-9) + 52/72*10. Let u(b) = 8*b - 46 + c*b + 39. Is u(3) a multiple of 21?
False
Let b(v) = v**3 - 96*v**2 + 12*v - 42. Does 6 divide b(96)?
True
Suppose 0 = -3*m - 5*i + 1949, -2*m + 5*i + 1292 = i. Let a be (-2)/(-16) - (-69)/24. Suppose -a*r + m = 6*r. Is r a multiple of 30?
False
Let n(u) = -62*u - 81*u - 8 - 72*u + 179*u. Does 8 divide n(-10)?
True
Is 43 a factor of ((-8226)/(-4 + -2))/(1/(-8)*-12)?
False
Let a(q) = 12*q + 2. Let u be a(1). Suppose -3*b - 4 - u = 0. Let j = -2 - b. Is j a multiple of 4?
True
Suppose -t = -3*v + 4, -v = 2*t + 3*v - 22. Suppose -6*q + 5*q = 2, -3*q = t*y - 19. Suppose y*w - 92 = 4*w. Is 23 a factor of w?
True
Let i be (-1)/(29/(-7) + (-2 - -6)). Suppose 0 = -4*q + j + 463, q - 8*j + i*j = 118. Is q a multiple of 25?
False
Suppose -5*u + 20748 = -q, -5*u + 6*u = 4*q + 4142. Is u a multiple of 10?
True
Let p be (-12)/(-42) + (-948)/(-14). Let q = -1187 - -1283. Let i = q - p. Does 3 divide i?
False
Let o = -4 - 0. Let l(u) = -9*u - 2*u**3 + 7 - 1 - 3 - 4*u**2. Does 35 divide l(o)?
False
Suppose 169 + 31 = -5*h. Let i = h - -38. Let q(l) = l + 5. Is q(i) a multiple of 2?
False
Let d(o) = -55*o - 3. Suppose 39 - 33 = -6*q. Does 23 divide d(q)?
False
Let p = -94 - -94. Suppose 0*i - 1215 = -3*i. Suppose p = -0*z + 5*z - i. Is z a multiple of 14?
False
Let q = 63894 - 39900. Is q a multiple of 62?
True
Let h = 41 + -35. Does 13 divide h - (5 + -53 + 4)?
False
Suppose 2*k - 705 = -5*x + 49, -3*k = 3*x - 1149. Let d = 69 + k. Is 46 a factor of d?
False
Suppose -k = k - 8*h - 23800, -4*k + 47535 = -3*h. Is k a multiple of 72?
True
Let s = -1273 - -5665. Is s a multiple of 72?
True
Suppose 3*w + 4*r = 28247, -w - r + 9469 = 7*r. Is w a multiple of 10?
False
Let z = -1496 - -3647. Is 39 a factor of z?
False
Suppose -5*q = -15*q + 1560. Suppose 23*u - 26*u = -q. Is 2 a factor of u?
True
Let w be 4 + (-9 - (1 - 6)). Suppose 2*o + 5*j - 391 = w, 2*o - 8*j + 7*j - 397 = 0. Is 22 a factor of o?
True
Suppose 0 = 3*j + 3*u - 3696, -4*j + 5*u = 1193 - 6103. Let x = -680 + j. Is 10 a factor of x?
True
Suppose 3*c - 2856 = 5004. Does 5 divide c?
True
Let t(a) = a**3 - 5*a**2 - 17. Let z be t(8). Suppose 0 = -5*b + 25, -r + 5*b = r - z. Does 5 divide r/3 + (-8)/6?
False
Suppose 418*k - 3428 = 417*k + 2*p, 0 = -4*k - 4*p + 13664. Does 5 divide k?
True
Suppose 0 = -18*c + 24*c - 444. Let i = c - 72. Is (1*64/i)/1 a multiple of 6?
False
Let j = 231 - 227. Suppose -5*y + 261 = 3*k, y = -2*k + j*k + 47. Is 4 a factor of y?
False
Let h = -181 - -172. Let f(g) = 2*g**2 - 5*g - 8. Is f(h) a multiple of 5?
False
Let l(n) = -n**2 + 63*n + 380. Does 4 divide l(61)?
False
Suppose 7*o - 6*o = -3*f + 483, 0 = o - 2*f - 498. Is o a multiple of 12?
True
Is 230 a factor of (0 - -1)/(12/168060) + 1 + -5?
False
Let a(f) = -3*f**2 - 10*f - 1. Let p be a(-2). Suppose -4*y - 5*u - 160 = -p*y, 92 = 2*y + 4*u. Does 10 divide y?
True
Suppose 40 = 5*i + 4*g, 3 = -10*i + 7*i + 3*g. Let p(w) = 63*w**2 - 10*w + 35. Is p(i) a multiple of 17?
True
Suppose -64 = z - 226. Let i = -112 + z. Is i a multiple of 10?
True
Let b(l) = 26*l - 37. Let q be 2/(-6) + 494/78. Does 7 divide b(q)?
True
Suppose 5*f + 11 = 5*v + 1, 4*v - 2*f - 10 = 0. Suppose -1 = -h + 1, -1101 = -3*b + v*h. Is b a multiple of 85?
False
Let l be ((-20)/6)/(36/(-54)). Suppose -2*h = l*n - 1255, -n - 8*h + 238 = -5*h. Is n a multiple of 23?
True
Let h(f) = -f**3 - 2*f**2 + 3*f - 252. Let c be h(0). Let s = c - -333. Is 3 a factor of s?
True
Let n(y) = 76*y**2 + 26*y - 505. Does 66 divide n(12)?
False
Suppose 26*q + 4*q = 120. Suppose 0*u - 2*u - 5*s = -153, 5*u = -s + 417. Suppose 5*c - 8*y - 135 = -3*y, -4*c - q*y = -u. Is c a multiple of 12?
True
Let y(k) = 4*k - 45. Let i be (0 + 8/(-10))/((-4)/60). Let r be y(i). Suppose 5*f + 109 = r*v, 3*f = -v - 2*f + 43. Does 17 divide v?
False
Is 1216*1*((-930)/20)/(-3) a multiple of 11?
False
Let j(k) be the first derivative of 4*k**3/3 - 7*k**2/2 - 19*k + 11. Let s be ((-9)/(-18))/((-1)/10). Is j(s) a multiple of 15?
False
Does 18 divide (-64256)/(-34) - 264/(-2244)?
True
Let x = 9280 + -3840. Is 8 a factor of x?
True
Let j be (6/8)/((-78)/104). Does 7 divide ((-25857)/(-26) - 14) + j/2?
True
Let r = 214 + -149. Let o(v) = 29 - r*v + 47*v - v**2 - 10. Does 3 divide o(-17)?
True
Suppose -3*p + 37650 = 3*i - 10593, -i + 16066 = 4*p. Is 42 a factor of i?
True
Let a(c) = 34*c - 103. Let x(h) = 3*h - 95. Let q be x(33). Is a(q) a multiple of 33?
True
Suppose -2*v + 55 = -3*d, -4*v = 5*d - 149 - 16. Let b = v + 31. Suppose 0 = 4*y - i - 57, -i - b = -5*y + 2*i. Does 11 divide y?
False
Let o(q) = q**3 + 3*q**2 + 4*q + 16. Let r(u) = -u**3 - 2*u**2 - 4*u - 15. Let i(s) = -3*o(s) - 4*r(s). Let h be i(0). Let j = h + 0. Is j a multiple of 3?
True
Let v be -1*(2 + -17 + -6). Is ((-60)/v)/((-14)/392) a multiple of 11?
False
Let n(l) = 53*l**3 + 3*l**2 + 15*l - 35. Is 30 a factor of n(5)?
False
Suppose -4*q = 3*o - 18, o + 1 = -5*q + 6*q. Suppose 0 = 5*x + q*t + 6 + 90, -90 = 5*x + 5*t. Does 15 divide x/28 + 4/(32/414)?
False
Suppose v + 213 = a, 5*v + 711 + 330 = -3*a. Let k = -130 - v. Is k a multiple of 7?
False
Let j be ((-6)/(-9) + 0)/((-6)/99). Let d(g) = -g**3 - 14*g**2 + 6*g - 9. Let a be d(j). Let y = a - -704. Is 14 a factor of y?
True
Suppose -d + 4*n = -12, -12 = 13*d - 14*d + 5*n. Let o(p) = 38*p - 2. Is o(d) a multiple of 19?
False
Suppose 27 - 17 = -m. Does 3 divide (176/6)/(m/1155*-11)?
False
Let s = -7 + 23. Let p be -3 + (s/4 - 3). Does 2 divide p/(-3) - (104/(-6))/4?
False
Let r(i) = -8*i**3 + 3*i**2 + 3*i - 4. Let v be r(-3). Let u(s) = s**2 + 21*s - 59. Let l be u(-24). Does 6 divide (l/(-3))/(v