*c - 3*c = -41, 4 = -4*n + 4*c. Let y(o) = o**3 - 4*o**2 - o + 5. Let k be y(n). Let t(u) = 21*u**3 - u**2. Is t(k) a multiple of 15?
False
Let r(a) = 3*a - 1. Let p be r(1). Suppose 0*m = p*m - 8. Does 9 divide 120/9*9/m?
False
Let w be 1 - (-1 + (-436)/2). Let y be (4 - 0 - 5) + 4 - 1. Suppose 0 = -7*k + y*k + w. Is k a multiple of 11?
True
Let j(g) = -g + 1. Let v(h) = h + 6. Let a(u) = -j(u) + v(u). Is 9 a factor of a(11)?
True
Let v(p) = -2*p + 57. Suppose 3 = -3*b, -4*b = -3*i + 49 - 6. Suppose 15*j = i*j. Is 19 a factor of v(j)?
True
Is 117 a factor of -6 + ((-36)/(-60) - 10557/(-5))?
True
Suppose 3*w - 15 = -9. Let v = -2 + w. Suppose 3*h = -v + 9. Is h even?
False
Let p(o) = 7*o + 63. Let g(w) = -2*w - 21. Let z(j) = -8*g(j) - 3*p(j). Let q be z(-11). Suppose -q + 2 = -2*v. Is v a multiple of 5?
False
Let w be (3/(-6))/((-5)/(-20)). Let i = w - -5. Suppose 5*y + 5*d - 3*d - 23 = 0, -i*y = -4*d - 19. Does 5 divide y?
True
Let s(r) = 125*r**2 + 19*r - 9. Is 2 a factor of s(-3)?
False
Let i be 24/60 - 227/5. Let g = i + 158. Is 30 a factor of g?
False
Suppose -2*f - 2*f = 20, 0 = 3*y - f + 208. Let q = 46 - y. Does 13 divide q?
True
Let k(p) = -p**3 - 21*p**2 - 22*p - 8. Let a be k(-20). Suppose 120 = 4*m + a. Is m a multiple of 5?
False
Let p(o) = 5*o + 4. Let u be p(3). Suppose -8 = -n + 5*j + u, -j = -2*n + 9. Suppose 93 = n*v + 2*v + 5*y, 5*v = 2*y + 75. Is 17 a factor of v?
True
Let x = 40 - 177. Let l = x - -197. Is l a multiple of 15?
True
Suppose -3*b + 0*b = w - 11, -3*b + 21 = 3*w. Is 14 a factor of (0 + b)/(22/1617)?
False
Let l(q) = q**3 - 5*q**2 + 2*q - 2. Let t be l(4). Is (t/15)/((-6)/81) a multiple of 7?
False
Let f be (-100)/(-30) - (-2)/3. Suppose 0 = -4*p - f*y + 660, -5*p + y = -1176 + 351. Is 33 a factor of p?
True
Let q = -22 - -31. Let u = q - -47. Suppose f - u = -f. Is 7 a factor of f?
True
Let h(w) = w**3 + 36*w**2 - 96*w - 150. Is h(-38) a multiple of 15?
False
Let f = -528 + 1426. Is f a multiple of 23?
False
Is 54 + -1 - ((-14)/(-2) + -4) a multiple of 12?
False
Suppose 0*h + 25 = -5*u - h, 0 = 4*u - 5*h - 9. Let m = 1 - u. Suppose 0 = -5*v - 5*w - 0 - m, -v - 5*w = 21. Does 2 divide v?
True
Suppose -4*t + 7*t = 4896. Suppose 0*q = 17*q - t. Is 16 a factor of q?
True
Let x be (-41854)/(-272) - (-1)/8. Suppose 50 = o + g, 0*g + g - x = -3*o. Is o a multiple of 5?
False
Let w(t) = 38*t + 60. Is 11 a factor of w(10)?
True
Does 52 divide 1/2 + -2433*(-55)/66?
True
Suppose -2*f + 366 - 119 = -5*u, -4*f = -2*u - 534. Suppose -f = -2*i + 84. Is 20 a factor of i?
False
Does 14 divide (274/4)/(13/4 - 3)?
False
Let a = -33 - -19. Let p = a - -14. Suppose p = -9*o + 5*o + 176. Is 22 a factor of o?
True
Let q be 168/27 + (-4)/18. Let a be (q/9)/(5/15). Suppose -46 = -3*p + a. Is p a multiple of 16?
True
Let p = 2 + 5. Let n be 80/(-140) + 25/p. Suppose -2*m - 5*c + 155 = 0, -4*c = 2*m - n*c - 159. Is m a multiple of 11?
False
Let w = 1193 + -845. Suppose -x - 5*x + w = 0. Is x a multiple of 16?
False
Let s = -50 + -5. Let i = s + 85. Let h = -8 + i. Is h a multiple of 11?
True
Suppose -78*i + 604576 = 34*i. Does 29 divide i?
False
Let a = 344 + -152. Is 12 a factor of a?
True
Is 7 a factor of 526/6 - (-8 + (-207)/(-27))?
False
Let q(h) = 2*h**2 + h - 5. Let g be q(-5). Suppose g = 2*d - 16. Suppose 5*l = d - 3. Is l a multiple of 4?
False
Let f(w) = 23*w + 15. Does 59 divide f(25)?
True
Let n = 336 + -180. Is n a multiple of 13?
True
Let g = 3658 - 1778. Does 17 divide g?
False
Is 3 a factor of 8/6 - ((-225)/(-27) + -10)?
True
Let a(i) = -15 - 7*i**2 + 1 + 14*i + 6*i**2. Let p(n) = n**3 - 15*n**2 - 16*n + 9. Let f be p(16). Is 4 a factor of a(f)?
False
Suppose -5*d + 315 = 7*h - 2*h, 15 = -5*d. Suppose -4*a - 37 - 47 = 2*p, -3*a = 3*p + h. Is 18 a factor of 9/((-1)/a*4)?
False
Let y(g) be the third derivative of g**5/30 + 7*g**4/24 + 7*g**3/6 + g**2. Let v(t) = t**3 - 24*t**2 + 22*t + 18. Let j be v(23). Does 11 divide y(j)?
True
Let w = -184 + 520. Is 15 a factor of w?
False
Let r = 44 + -39. Suppose -3*s - 60 = -r*s. Is s a multiple of 6?
True
Let b be -6 + ((-2)/(-6) - (-2)/(-6)). Is (b - -3)/(9/(-534)) a multiple of 37?
False
Is 19 a factor of -1 + (-5 + 2456/12)*6?
True
Does 78 divide 512 + 5/(20/16)?
False
Suppose 25 = 5*w, -2*l - 3*w = -6*w - 111. Let x be -1 + 5 + 96/(-12). Is x/14 - (-4995)/l a multiple of 19?
False
Let v(w) = -w**3 - 5*w**2 - 4*w. Let o be v(-4). Suppose -q + 15 = -o*q. Suppose -g + 7 + q = 0. Is 19 a factor of g?
False
Let m = -1270 + 2514. Does 21 divide 5/(50/m) - 18/(-30)?
False
Let j(o) = -o - 4 + 0 + 3*o - 3*o. Let r be j(-8). Suppose -r*m = -263 - 17. Does 19 divide m?
False
Let w = -10 + 6. Let t be (-6)/((18/w)/3). Suppose -t = -i + 18. Does 11 divide i?
True
Let f = 18 - 13. Suppose -3*n - w = -19, -2*w - 12 = -5*n + f. Suppose -24 = -n*r + 16. Is r a multiple of 8?
True
Suppose 5*x - 18975 = -20*x. Is 69 a factor of x?
True
Suppose -10*d + 9*d = -2. Suppose d*c - 550 = -5*p, 64 = 3*p + 2*c - 262. Does 7 divide p?
True
Let y(p) = p**3 + 11*p**2 + 10*p - 7. Let f be y(-10). Let q be (f + 4)/((-9)/12). Suppose 120 - 8 = q*z. Does 14 divide z?
True
Let j = -348 - -238. Let f = -42 - j. Is 17 a factor of f?
True
Does 14 divide (-13 + 135/12)*-1240?
True
Suppose p - 15 = -2*p. Let y be ((-2)/(-4))/(p/(-730)). Let m = y - -126. Is m a multiple of 12?
False
Let m be -9*(-6)/3*-3. Is 11 a factor of (m/45)/((-4)/370)?
False
Let s(z) = 3*z - 13. Let v(c) = 9*c**2 + 3*c + 2. Let o = -29 - -28. Let l be v(o). Is 11 a factor of s(l)?
True
Let j(u) = u + 4. Let f(z) = z + 5. Let c(g) = -6*f(g) + 7*j(g). Let i be c(5). Suppose o - 11 = 3*v + 13, -i*o - 2*v = -50. Does 9 divide o?
True
Suppose -2 = -10*v + 12*v. Does 4 divide 44 + (3 - v) + (-6 - -3)?
False
Let l be (2/4)/(12/144). Let z(g) = g**2 - 5*g - 7. Let w be z(l). Is 29 a factor of 3 - w - 54/(-1)?
True
Let o(r) = -r**3 + 7*r**2 - 5. Let x = -16 - -28. Let m = 18 - x. Does 14 divide o(m)?
False
Suppose 2*m - j - 21 = 0, 0 = 3*m - 2*m + j - 3. Let a be ((-86)/8)/((-1)/m). Let g = a - 59. Does 14 divide g?
False
Suppose -10 = -s - s. Suppose g - 7 = s. Is 0/(-1) + 6 + g a multiple of 9?
True
Let a = -50 + 59. Suppose -4*b + a*b = -v + 96, 0 = 3*v + 4*b - 288. Does 6 divide v?
True
Suppose 3*y = -2*c + 50, 3*c - 4*c + 95 = 5*y. Does 20 divide y?
True
Suppose -44*d - 17438 = -58402. Does 10 divide d?
False
Suppose a - 48 = -3*a. Let q = -10 + a. Suppose -q = -o + 13. Is 15 a factor of o?
True
Let g = 16 - 9. Suppose g*n - 5*n = 160. Is 20 a factor of n?
True
Suppose -6*x + 3 = 33. Let c = x + 40. Is c a multiple of 5?
True
Suppose -7 = 2*x + o, x - 4*o + 18 = -8. Let r be x/(-15)*-1*20. Does 5 divide (92/r - 0)*-2?
False
Let b = 651 - 345. Is b a multiple of 9?
True
Suppose -2*b = -2*z + 342, z - 3*b + 7*b = 156. Is 14 a factor of z?
True
Let j = 33 + -19. Suppose -4*o + 2*t = -j, 3*t + 12 = 5*o - 6. Suppose 0 = -0*m + 2*m - q - 49, 3*m = o*q + 66. Is m a multiple of 8?
False
Let q(g) = -2*g**3 - 50*g**2 - 2*g - 29. Is q(-26) a multiple of 25?
True
Let b be (20/(-6) + 2)*-21. Suppose 282 = b*g - 26*g. Is 47 a factor of g?
True
Let b(l) = l**3 + 7*l**2 + 6*l + 5. Let f be b(-6). Suppose -2*c = -j + f, j + 2*c + 9 = -3*c. Is (-20)/(j - (-28)/(-20)) a multiple of 14?
False
Let n be -12*(33/9 + -4). Suppose -3*y = -n*y + 6. Does 5 divide y?
False
Let q = 364 + 628. Is q a multiple of 62?
True
Suppose -4*c = -362 + 94. Let y = -12 + c. Is 18 a factor of y?
False
Let o be 476/70 - 1/(-5). Let b(x) = 4*x**2 - 9*x + 3. Let u be b(o). Suppose -3*z + 144 = 3*n, -4*n = 5*z - 373 + u. Is z a multiple of 16?
False
Suppose -2*z - 3*z + 1469 = y, -5*z + 3*y + 1473 = 0. Is 21 a factor of z?
True
Suppose 27 = 5*r + 2. Suppose r*k - 93 = 2*k. Is 14 a factor of k?
False
Let v(l) = l**3 - 14*l**2 - 15*l + 8. Let k be v(15). Suppose -3*j - j + k = 0. Suppose -2*w + 156 = j*w. Is w a multiple of 18?
False
Suppose 2*r = 2*x - 24, -5*r + 12 - 40 = 3*x. Let n(g) = -8*g - 14. Is n(r) a multiple of 27?
False
Let v be (-34)/(-14) - (-12)/(-28). Suppose d = v*d. Is (-2 + d)/(8/(-36)) a multiple of 4?
False
Let t(f) = -25*f**3 - 2*f**2 - 2*f. Suppose 0 + 2 = -2*v. Is 12 a factor of t(v)?
False
Let b(j) be the third derivative of -25*j**4/12 + j**3/2 + 6*j**2. Let v be b