0 = 4*r + 201 - 25. Let s = 46 - r. Does 30 divide s?
True
Let u(g) = 481*g**2 - 35*g + 79. Is u(3) a multiple of 30?
False
Suppose 0 = 3*b - 0*v - 2*v - 1500, -3*v = 3*b - 1485. Let p = 745 - b. Is 19 a factor of p?
True
Let a = -405 + 682. Suppose m - 599 = 4*w, -w = -2*m + 1461 - a. Is 19 a factor of m?
False
Let m = 6677 - -1581. Is 54 a factor of m?
False
Let o(a) be the third derivative of -59*a**5/60 - a**4/8 + 19*a**2. Let w be o(-1). Let r = 104 + w. Is r a multiple of 3?
True
Suppose -11*r = -254 - 10. Suppose -30 = 5*w - 5*z + 30, -3*z = 2*w + r. Is 48 a factor of (-6)/8*-1 + (-2295)/w?
True
Does 35 divide (-56)/6*32175/(-30)?
True
Let n(i) = -i - 40. Let l be n(-42). Suppose -1975 = -4*m - 5*q, m - l*q = -2*m + 1487. Does 15 divide m?
True
Let c be (1 + 92/(-16))*-4. Suppose c*n - 22*n + 180 = 0. Is n a multiple of 5?
True
Let v = 16949 - 16126. Does 11 divide v?
False
Let m(l) = l**2 - l. Let t be -6 + 132/18 + 1/(-3). Let p(y) = 60*y**3 + 5*y**2 - 6*y + 1. Let q(h) = t*p(h) - 5*m(h). Is q(1) a multiple of 6?
True
Let v(a) = a**3 - 6*a**2 + 8. Let i be v(6). Suppose i = -4*q + 28. Suppose 5*c = -0*z + q*z + 470, -3*z - 192 = -2*c. Does 16 divide c?
False
Let t = 192 + -176. Suppose -t*w + 1474 = -2846. Does 18 divide w?
True
Let f = -107 - -132. Suppose -f*g + 76 = -24*g. Does 8 divide g?
False
Suppose -4*y + 3*d = 4*d - 76, 2*y + 5*d = 56. Suppose -23*r + 110 = -34*r. Does 5 divide 18*y/8 + (-15)/r?
False
Let o(i) = 25*i - 41. Let x = 64 + -44. Suppose 40*g - 36*g = x. Is 5 a factor of o(g)?
False
Let k be 680/(-255)*(-3)/2. Is 12/32*k*(134 - -8) a multiple of 13?
False
Let z(h) = 7*h**3 + 5*h**2 + 12*h + 29. Is z(7) a multiple of 89?
True
Let z be (-12)/3 + -34 - -1. Let v = -19 - z. Suppose -6*f - 58 = -4*b - 7*f, -5*f - v = -2*b. Is b a multiple of 14?
True
Suppose 0 = -4*b + 6*b - 10. Suppose -b*u + 0*u = 4*i + 17, -3*u - 15 = 0. Suppose 6*o - 80 = i*o. Is o a multiple of 4?
True
Let x = 2805 - 461. Let j = -1158 + x. Is j a multiple of 9?
False
Let g = 292 + -207. Let r = 59 + -104. Let y = r + g. Does 10 divide y?
True
Let k = -33 - -33. Let j(f) = f**3 - 13*f**2 + 25*f - 3. Let q be j(11). Suppose -32*x + q*x + 470 = k. Does 14 divide x?
False
Let w(s) = 8*s - 1. Let p be w(2). Suppose -p*x = -16*x. Suppose c - 12 = -j, x = -0*j - j - 5. Does 2 divide c?
False
Suppose -15*l = 17*l. Suppose l = -3*k + 11*k - 6400. Is k a multiple of 56?
False
Let i(a) = 101*a**2 + 6*a + 5. Let p be i(5). Suppose z + 9*z - p = 0. Does 9 divide z?
False
Suppose q - 24*q + 34569 = 0. Suppose -q = -k - 285. Is 58 a factor of k?
True
Let x be 6/3*(-3 + 5). Suppose 5*z + x*t = -40, -5*z - 10 = -t - t. Is (186/z)/((-6)/8) a multiple of 10?
False
Suppose 429*l = 390*l + 514878. Is 13 a factor of l?
False
Let u(d) = -d**3 + 65*d**2 + 42*d - 16. Is u(62) a multiple of 25?
False
Let f be 56/(-70)*(-7 + 2). Suppose -4*l + 4*u = 600, -5*l + 7*u = f*u + 754. Let v = l + 241. Is v a multiple of 5?
False
Suppose 5*h + 0 - 30 = 0. Suppose q + 2901 = h*q - d, -3*d - 3 = 0. Does 29 divide q?
True
Suppose 15145 = 2*t - 2*s - 5651, 2*t - 5*s = 20805. Does 11 divide t?
True
Let j = 2593 - -4046. Does 26 divide j?
False
Suppose 49 = f - c, 0 = 3*f - f + 5*c - 112. Suppose f*t - 37*t = 574. Is 13 a factor of t?
False
Let i = 1770 + 2234. Suppose -i = -32*o + 39996. Is 16 a factor of o?
False
Is 1009560/3290 + 6/(-7) a multiple of 2?
True
Let a be (-13)/((-52)/(-8)) - 328. Does 39 divide 10/((-2643)/a + -8)?
False
Suppose -62*p + 60*p + 96 = 0. Let k(y) = -15*y + 3. Let j be k(5). Let n = p - j. Does 42 divide n?
False
Let x be ((-336)/9)/4*30/20. Let h(d) = -d**2 - 14*d + 15. Let o be h(x). Let f = 19 - o. Is f a multiple of 2?
True
Let y(c) be the second derivative of c**5/20 + 5*c**4/12 + c**3/3 - 3*c**2 + 25*c. Let f be y(-4). Does 6 divide -1 + (6/f - -4)?
True
Let d(s) = s**3 + 16*s**2 - 23*s - 7. Let n(z) = z**2 - 9*z + 16. Let j be n(7). Suppose -p - 4*l = -j*l + 11, -4*p = -5*l + 83. Does 13 divide d(p)?
False
Let k(r) = r**2 + 30*r + 58. Let v be k(-28). Suppose -4*m + v*m = 5*u, 5*u - 2*m + 20 = 0. Is u/3*(1 - -5 - 249) a multiple of 40?
False
Suppose -685 + 13 = 2*w. Let d = w - -665. Is 50 a factor of d?
False
Suppose 0 - 2 = -a. Suppose 0 = 5*h + 3*q + 439, -a*q = -4*h - 0*q - 338. Let v = -53 - h. Is 5 a factor of v?
False
Let s be -90*(-5 + 69/15). Is 1255/6 - 6/s a multiple of 8?
False
Let g(p) = -2*p**3 + 7*p**2 - 7*p + 10. Let j be g(4). Is 6 a factor of 4/j - (-5988)/34?
False
Suppose -10 = -2*d - 6. Suppose -a + d*a = 2*h + 17, -4*a + 83 = -3*h. Suppose 4*p + a = 119. Is p a multiple of 10?
False
Let k = 443 - 8. Is k a multiple of 67?
False
Let z = -1984 - -3055. Is z a multiple of 63?
True
Suppose -28 + 92 = 16*k. Suppose 3*g - 212 - 193 = 5*p, 0 = -3*g + k*p + 408. Is 14 a factor of g?
True
Suppose -11 = b - 2*b + 3*r, -r + 5 = 4*b. Suppose 0 = 2*i + b*v - 696, 48*i = 45*i + 2*v + 1059. Is i a multiple of 9?
True
Suppose -781 = 3*m - 8*m + 2*i, -3*i = m - 146. Let g be (m/4)/(3/12). Suppose -g = -6*r + 5*r. Is 24 a factor of r?
False
Suppose 2*w + 10 = 3*b + 2, -16 = -5*b + 2*w. Suppose y - b*m = m + 11, -20 = 4*m. Let f(r) = -r**2 - 17*r - 7. Is 4 a factor of f(y)?
False
Let h(c) = -c**2 - c - 1. Let o(w) = -15*w - 34*w**2 - 5 + 15*w - 74*w**2. Let t(m) = 3*h(m) - o(m). Is 13 a factor of t(1)?
True
Let a(o) = 114*o**2 - 34*o - 7. Let v be a(-4). Let p = -1235 + v. Does 13 divide p?
False
Let g = -203 - -183. Let k = g + 537. Does 27 divide k?
False
Let f = -9257 + 22697. Is 60 a factor of f?
True
Suppose 9*g = -20*g - 406. Is 14 a factor of ((-20)/g)/((-1)/(-112))?
False
Is 16 a factor of 189330/8 + 15*10/200 + 7?
False
Let g(c) be the second derivative of -c**4/4 - 47*c**3/3 - c**2/2 - 94*c. Is 78 a factor of g(-5)?
False
Let b(o) = 92*o**3 + 104*o**3 - 4*o + 5 - 25*o**3 + o**2 + 32*o**3. Let h(k) = k**3 - k + 1. Let f(a) = -b(a) + 5*h(a). Is 22 a factor of f(-1)?
True
Suppose 0 = -5*m + 3*b + 34962 + 5579, 3*m + b = 24319. Is 11 a factor of m?
True
Suppose -168 = 2*r - 12. Let t = 79 + r. Does 9 divide 456/30 - t/5?
False
Suppose -8302 = -2*w - 3*c, 2*c + 6905 = w + 2733. Does 17 divide w?
False
Suppose 13 - 37 = 2*o. Is 10 a factor of (5 + 56/o)/((-2)/(-2022))?
False
Let k(l) = 105*l + 32. Let o(t) = 209*t + 65. Let j(i) = 14*k(i) - 6*o(i). Is 31 a factor of j(2)?
False
Let t(l) = 14*l + 24. Let z be t(18). Let w = 99 + z. Is 15 a factor of w?
True
Suppose -6264 = 172*o - 181*o. Suppose 2*h + o = 8*h. Is h a multiple of 58?
True
Is 44 a factor of (-21*(-5)/(-15) + 8)*(-1 - -5853)?
True
Let o(u) be the third derivative of -5*u**4/24 + 11*u**3/3 - 37*u**2. Let k be o(5). Is ((-1)/k)/((-13)/(-195)) a multiple of 2?
False
Let v(a) = -114*a**3 - 33*a**2 - 9*a + 57. Is 63 a factor of v(-8)?
True
Suppose 0*l + 4*l = 60. Suppose 7*s + 13 = 23 - 38. Does 12 divide (9 - l)*(-6)/s*-4?
True
Let d(m) = 5*m**2 + 9*m - 1. Suppose 0 = 4*f + 54 - 62. Let p be -5*(f/3 + (-5)/75). Does 6 divide d(p)?
False
Let n be (-24)/9*27/(-18). Let x(m) = -m**3 - 3*m**2 + 3*m + 7. Let c(r) = 3*r**3 + 6*r**2 - 6*r - 15. Let d(o) = 2*c(o) + 5*x(o). Is d(n) a multiple of 11?
True
Suppose -7*p - 517 = -18*p. Let g = -5 + 15. Let a = p - g. Is a a multiple of 6?
False
Let p be (-41)/(3116/(-57)) + 1874/8. Let c(s) = 360*s + 1. Let j be c(1). Let t = j - p. Does 21 divide t?
True
Let a = 356 - 352. Suppose -3*h + 1564 = -a*c, 45*c - 46*c - 523 = -h. Is 8 a factor of h?
True
Suppose 0 = -3*j + 5*b + 2325, b = -9*b + 9*b. Is 18 a factor of j?
False
Suppose 5*z + 2*u + 6 = 0, -u - 2 = 4*z + 1. Suppose 8*b - 10*b - 10 = z, 2*b - 228 = -g. Does 11 divide g?
False
Let w be 10*-1 - (4 - 5). Let u(l) = -l. Let z(q) = -26*q - 6. Let x(c) = -10*u(c) + z(c). Is x(w) a multiple of 24?
False
Let u(z) = -z**2 - 9*z - 15. Let a be u(-4). Suppose 22 - 7 = a*o. Does 7 divide 1/((-796)/266 + o)?
True
Let g = 347 - 364. Let a(n) = -n**3 - 5*n**2 + 10*n + 3. Let j be a(-7). Let i = g + j. Is i a multiple of 7?
True
Let i = 137 - 134. Suppose 0 = 5*t + 3*x - 544, i*t + 3*x = 326 - 2. Is t a multiple of 22?
True
Let n be (-20)/(-5) - (-19 + -1) - -2. Suppose n*r - 28*r - 3*f + 844 = 0, -4*r = 2*f - 1672. Is 10 a factor of r?
False
Let y(z) = -58*z + 60. Suppose 1 = -3*h - 14, 4*h = v - 8. I