y(s) = -652*s - 3716. Is y(-13) a multiple of 20?
True
Suppose -2*c + 45 = 7*c. Suppose 2*l = -2*q - 18, 2*q + c*l + 35 = -2*q. Does 6 divide (q - -12)*(-1 + 78/4)?
False
Suppose 0 = -4*d + 2*q + 2*q + 392, 1 = q. Does 7 divide d?
False
Let r(b) be the second derivative of -b**3 + 167*b**2/2 + 64*b. Is r(-6) a multiple of 5?
False
Suppose n - 3*n - 1382 = -3*u, 0 = -2*n - 8. Does 101 divide u?
False
Suppose 64*x - 2*t - 197 = 61*x, -5*x + 4*t = -327. Is 6 a factor of x?
False
Let b(v) = -589*v - 72. Let m be b(-3). Suppose -4*x + z = -1447, m + 101 = 5*x + 3*z. Does 5 divide x?
False
Is 80 a factor of -40578*(-10)/30 + -14?
False
Is 29 a factor of (2/(-4))/(-4 + (-336390)/(-84100))?
True
Let c be (-2 + 1)/(17 - 16). Let y be (-22)/77 - 32/(-14). Does 15 divide (c - y) + 93 + 0?
True
Suppose -16 = -2*b - 6. Suppose -4*l = -s - 197, 2*s + b*l - 197 = 3*s. Let y = 292 + s. Does 25 divide y?
False
Let v = -24 - -45. Suppose 2*o = v*o - 4180. Is 24 a factor of o?
False
Suppose -156310 = 10*q - 68*q + 162690. Does 125 divide q?
True
Let a(i) = 1615*i**2 - 31*i + 48. Is a(3) a multiple of 21?
True
Let n(w) = -w**3 + 14*w**2 - w + 16. Let u be n(14). Suppose 3*q + 2265 = 3*y, 6*q = 2*y + u*q - 1516. Is 15 a factor of y?
False
Let c be -9*(11/(-3) - -2). Let f(k) = 2*k**2 + 19*k + 63. Is f(c) a multiple of 15?
False
Let p(w) be the first derivative of w**4/4 - 4*w**3/3 - 2*w**2 - 10*w - 1. Suppose 13*t + 4 - 82 = 0. Is 19 a factor of p(t)?
True
Suppose 2*u - 13 = -m - 6, 4 = 4*m + 2*u. Let d(n) = -n + 1. Let j(f) = -48*f - 2. Let r(w) = m*j(w) + 3*d(w). Does 10 divide r(1)?
True
Let m(s) = -14*s + 7. Let y(o) = -5*o - 165 + 169 - 2*o. Let g(l) = 4*m(l) - 10*y(l). Is g(19) a multiple of 22?
False
Let z = 69 + -82. Let j = -11 - z. Suppose 3*g = -j*y - 2*y + 671, 0 = 3*y - 5*g - 467. Is 41 a factor of y?
True
Let a = -18615 - -23483. Does 204 divide a?
False
Suppose 2*k + 2*h = 12, -19 = 10*k - 14*k + h. Suppose 0 = -4*a + 2*r + 4816, 4*r - 6042 = -k*a + r. Is 18 a factor of a?
True
Suppose 5*o - 25 = 0, -5*o + 82 = -5*d + 7. Let i(y) = -2*y**3 - 12*y**2 + 16*y - 19. Is 25 a factor of i(d)?
False
Suppose 0 = l - a + 144 - 4530, -5*l + 21910 = 5*a. Is l a multiple of 14?
False
Suppose i + 4*q + 13 = 0, -6*i + 3*i - 3 = 3*q. Suppose -2*t + i*n = -372, -4*t - 3*n = -2*n - 716. Is t a multiple of 18?
True
Let a(m) = m**3 + 7*m**2 + 6*m. Let j be -8 - 0 - (2 + 2 + -6). Let g be a(j). Suppose -4*r - 2*b + 812 = g, -4*b + 418 = -2*r + 4*r. Is r a multiple of 11?
False
Let w(j) = 498*j**2 - 84*j - 960. Is w(-12) a multiple of 230?
True
Let v(x) = 8*x - 104. Let w be 36 + (-4)/(-8)*-6. Is v(w) a multiple of 40?
True
Let i be 11/(-176) - 154558/32. Is 30 a factor of (-1)/(-2 - 9653/i)?
True
Let p(f) = -2*f + 53. Suppose -2*v + 8 = -l - 15, v - 7 = -4*l. Is p(v) a multiple of 11?
False
Let z = 460 + -727. Let f be (z/(-4))/((-6)/4)*-4. Let n = 349 - f. Is n a multiple of 19?
True
Let i(f) = -f**3 + 24*f**2 - 23*f + 38. Is i(22) a multiple of 17?
False
Suppose 0 = -0*s - 5*s + 4*o + 31, 4*s + o = 8. Suppose -1064 = -2*x - 0*m - 3*m, s*x - 1596 = 4*m. Is x a multiple of 15?
False
Let y be (630/(-280))/(2/(-8)). Does 16 divide 30/y*1104/5 - 0?
True
Let u(p) be the second derivative of p**5/20 + 5*p**4/6 + 11*p**3/6 + 10*p**2 + 3*p. Let z be u(-9). Suppose 3*k - 12 = z*k. Is 12 a factor of k?
True
Is 2 a factor of 3*-1 + 2398/18 - (-96)/(-432)?
True
Let p be (2 + 5 + -6)*2*-54. Is ((-837)/p)/((-2)/(-32)) a multiple of 72?
False
Let n = -498 - 6. Let d = n - -538. Is d a multiple of 34?
True
Let r = -35 + 39. Suppose -r*v + 14 = 2*q, q = -0*q + 3*v + 2. Suppose -q*k = -4*s - 380, -s - 4*s - 375 = -5*k. Is 8 a factor of k?
True
Let h = 333 + 55. Suppose 18*t + h = 22*t. Let c = -45 + t. Is 13 a factor of c?
True
Let v(l) = -l + 2. Let g be v(-8). Suppose -g*w = -22*w - 48. Is 4 a factor of -1 - -6*(0 - w)?
False
Suppose -55*h + 56*h = 22. Let k = h - 13. Does 9 divide 1541/k - 6/27?
True
Let k = 119 + -120. Let z be (2/3 - k)*(6 + -3). Suppose -7*a + 4*t = -10*a + 479, 5 = -z*t. Is a a multiple of 23?
True
Let p(v) = 13*v - 26. Let k(y) = -y - 2. Let o(z) = -z**3 - 6*z**2 + 2*z + 11. Let c be o(-6). Let g(u) = c*p(u) - 5*k(u). Is 13 a factor of g(-10)?
False
Let b(v) = -2*v**3 - 13*v**2 + v + 6. Let f be b(-9). Suppose -u - f = -k, -3*k + 1298 = -2*u + 97. Is 10 a factor of k?
False
Let v(o) = -2*o**2 - 8*o + 10. Let k be v(-5). Let a(q) = -q**3 + 2*q**2 + q + 172. Is a(k) a multiple of 15?
False
Let q = 4729 - 4689. Let y = 7 - -2. Suppose 0 = 7*n - y*n + q. Does 11 divide n?
False
Let h be (4/(-8))/(3*(-3)/(-2574)). Let f = 44 - 127. Let x = f - h. Is 12 a factor of x?
True
Let u(a) be the first derivative of 47*a**2/2 - 140*a - 8. Is u(7) a multiple of 27?
True
Let s(l) = 4*l - 2. Let n be s(1). Let x be (4/2)/1 - 12/n. Is 34 a factor of 36 + x + (-2)/(-1)?
True
Let z(q) = -24*q - 2*q**3 + 19*q + q**3 - 6 - 4*q**2. Suppose 5*h + 22 = -3*i, -2*h - 27*i + 24*i = 7. Is 11 a factor of z(h)?
True
Let k(q) = 10*q. Let o be k(3). Let j = -26 + o. Suppose 0 = j*b + 148 - 508. Is b a multiple of 30?
True
Let w(q) = -171*q + 1985. Does 41 divide w(-24)?
False
Let u = 13 - 26. Let b(i) = -i**3 - 12*i**2 + 11*i + 25. Is 14 a factor of b(u)?
False
Let l(b) = -861*b**2 - 2*b + 861*b**2 + b**3 + 1. Let y be l(2). Suppose -2*u - d + 133 = 2*u, 5*d = y. Does 11 divide u?
True
Suppose -88*l + 83*l = -155. Suppose 2*s + 4*k - k = 71, l = s + 3*k. Is 5 a factor of s?
True
Suppose 3*m + 6*d - 8*d - 31 = 0, -4*m + 3*d + 43 = 0. Is 13 a factor of (m - 49/5)*-55?
False
Let r be ((-105)/(-25))/((-560)/(-400)). Let l be (-2)/8*-117*-4. Let p = r - l. Does 24 divide p?
True
Suppose 0 = 7*j + 4*j - 660. Let d = j - 18. Suppose 4*h = 138 - d. Is 8 a factor of h?
True
Suppose 4*j = -5*l + 132, l + 8 = j - 25. Suppose 5*c = -3*h + j, -7 = -h - c + 4. Does 33 divide 0 + 5439/33 - (-2)/h?
True
Is 5663787/203 - (-5)/((-245)/21) a multiple of 5?
True
Let w = -49 + 54. Suppose 2*k - z = 13, 5*z + 24 + 6 = 3*k. Suppose 4*s - 43 = -a + 6*a, w*a - k = 0. Is 12 a factor of s?
True
Let j = 98 + -84. Let s(w) = 19*w - 49 - 20*w + j*w + 17*w. Is 23 a factor of s(7)?
True
Let l = -1184 + 3354. Does 62 divide l?
True
Suppose -4*z - 2*a + 16480 = 0, a - 12353 = -3*z + 5. Is z a multiple of 42?
False
Let v = -9085 + 39565. Does 80 divide v?
True
Suppose 15*s = 389 - 89. Let z be 2/(-6) + 1/((-12)/s). Let u(i) = 31*i**2 + i + 4. Is u(z) a multiple of 18?
True
Suppose 2*c - 315 = -d + 41, c = -3. Let n be (-5 + 1 + 126)*1. Let u = d - n. Is u a multiple of 38?
False
Is (-30)/(-8)*(-152)/(-114) + 20 a multiple of 4?
False
Is (1225/(-50) - -24)*-89306 a multiple of 20?
False
Let w be (0/(-2))/(48/(-6) + 3). Suppose w = -175*m + 168*m + 56. Is 8 a factor of m?
True
Is ((-8)/(-72) - 4515100/(-180)) + (1 - -1) a multiple of 21?
False
Suppose -14*s = -9*s + 980. Let w = s + 308. Is 19 a factor of (-2)/(-14) - (-10624)/w?
True
Is 2*4 - (12 + -5)*-68 a multiple of 20?
False
Suppose 2*u + 1968 - 22494 = -s, 3*u - 30798 = -3*s. Is 19 a factor of u?
True
Let p(f) = -f**2 + 148*f - 2010. Is p(75) a multiple of 11?
True
Let k = 404 + 5772. Is k/192 - (14/12 + -1) a multiple of 8?
True
Let m(l) = -l**3 + 17*l**2 + 29*l - 94. Is m(8) a multiple of 22?
False
Suppose -28*b + 27*b + 58 = 0. Let x = b + -52. Suppose -4*i + 2*n + 427 = -571, x = -2*n. Is 31 a factor of i?
True
Let o(g) = g**3 + 6*g**2 + 14*g - 7. Let d be o(6). Let l = d + -241. Does 5 divide l?
False
Does 86 divide (-76764)/9*(1/(-6) - (-44)/(-33))?
False
Let y(o) = -o**2 - 2*o. Let s be y(-3). Let z be 21/(-14)*4/s. Suppose 48 = 3*l + z*r, -3*r - 99 = -3*l - 2*l. Is 6 a factor of l?
True
Let x(c) = 7*c**3 + 32*c**2 + 8*c + 24. Let j(y) = 13*y**3 + 63*y**2 + 15*y + 48. Let o(l) = -6*j(l) + 11*x(l). Is 14 a factor of o(-26)?
True
Let i(s) = 9*s**3 - 153*s**2 + 32*s + 35. Does 69 divide i(18)?
False
Suppose 0 - 10 = 5*b. Is (17 - 11)/(195/(-98) - b) a multiple of 49?
True
Suppose -2*i = -4*b + 12, 5*i = 4 + 6. Suppose 7*s - 2*s + 25 = 5*h, -b*s - 4 = 0. Suppose 315 = 3*n + 2*n - 5*p, -3*n = -h*p - 192. Is 20 a factor of n?
True
Does 6 divide 396167/29 + (-700)/(-10150)?
False
Let n(m) = -m**2 - 8*m - 12. Let q be 3/9 + (-1 - 32/6). Let a be n(q). Suppose 9*w - 1433