 = 3*q + 195, 4*k = q + 4 + 56. Let d = -59 - q. Suppose 4*h - 426 = 3*i, d*h = 4*h - 4*i + 97. Is 24 a factor of h?
False
Let t = 10706 - 1787. Is 13 a factor of t?
False
Let b be (-4 + -10)/((-5)/10). Does 57 divide (b/(-16) + 4)*120?
False
Let u(v) = -v**2 + 5*v + 30. Let a be u(9). Is 21 a factor of (1 - 2)*(-50 - (2 + a))?
False
Let d(p) = -13*p**2 - 6*p + 20. Let n be d(-12). Let g = -941 - n. Is 16 a factor of g?
False
Suppose 0 = -2*n + 6*g - 8*g - 204, -3*n - 2*g - 309 = 0. Let p = -105 - n. Suppose k - w = 110, p = -5*k - 7*w + 3*w + 505. Is 17 a factor of k?
False
Suppose 0 = -2*n + 9*n + 210. Let o = n - -23. Is (-639)/o - (-5 - (-185)/35) a multiple of 11?
False
Let m(k) = -k**3 - 3*k**2 + 12*k + 4. Let r = -24 + 40. Let y = -22 + r. Is m(y) a multiple of 20?
True
Suppose 4*r + 0*r - 19 = -m, 23 = 4*r - 3*m. Suppose -4*i + 146 = 3*n - n, -r*i = 3*n - 180. Is i a multiple of 39?
True
Let x(u) = -u**3 - 9*u**2 - 14*u + 21. Suppose -2*g = 4, -6 = 2*m - 0*m - 5*g. Is x(m) a multiple of 7?
False
Let b(l) = 4*l - 3. Let q(d) = -d**3 - 6*d**2 - 5*d + 2. Let c be q(-5). Let w be b(c). Suppose -3*i + 2*f = -75 + 12, 0 = w*i + 5*f - 80. Is 15 a factor of i?
False
Is 31 a factor of (37/(-2) + 3)*(53 - 91)?
True
Let q(m) = -m**3 - 10*m**2 - 8*m + 18. Let z be q(-9). Suppose 4*s - 956 = -3*x, -z + 25 = -4*x. Let h = 395 - s. Is 17 a factor of h?
True
Let a(o) = 13*o**2 + 34 - 28 + 4*o - 4*o - o**3 + 11*o. Is a(12) a multiple of 4?
False
Let c = 553 + -314. Suppose -c = -12*w + 457. Let v = -50 + w. Does 4 divide v?
True
Let r(z) = -z**3 + 5*z**2 - 3*z - 5. Let w be r(4). Suppose -9*o + 52*o + 43 = 0. Is -3*w*(o + 3) a multiple of 3?
True
Let f(v) = -252*v + 336. Is f(-9) a multiple of 28?
True
Let w = -672 - -1479. Is w a multiple of 55?
False
Let p(z) = -z**3 - z**2 + 2*z + 2. Let v be p(-2). Let c(q) = v*q + 15*q**2 + 1 + 1 - 4*q. Is 3 a factor of c(1)?
True
Let y(n) = 36*n - 104*n + 38*n + 34*n + 106. Is y(-13) a multiple of 3?
True
Suppose -8*x = -4*x. Suppose -12*b + 760 + 1112 = x. Suppose -o = 12 - b. Is o a multiple of 8?
True
Suppose 1516 = 5*l + o + 6032, o - 1812 = 2*l. Let d be (-3)/(-9) + l/(-6). Let s = d + 121. Does 34 divide s?
True
Suppose 0 = 7*o - 2 - 12. Let f(i) = 63*i**3 + 4*i**2 - 5. Is f(o) a multiple of 48?
False
Suppose -15429 + 66115 = 5*p + 4*o, -5*p = o - 50704. Does 33 divide p?
False
Suppose 3*m - 16 = 5. Let g = m + -9. Let z(a) = 18*a**2 + 3*a + 4. Does 10 divide z(g)?
True
Suppose -144 = 3*i + 3*u, -3*i - 146 = -0*i + 2*u. Let s = i - -65. Suppose 0*a - 2*a = 3*y - s, 0 = y - 5*a - 22. Is y a multiple of 2?
False
Let o(c) = -c**2 - 17*c - 103. Let w be o(-6). Let i(m) = m**3 - 4*m**2 + 3*m - 2. Let y be i(3). Does 2 divide 8/(y + 4) - w?
False
Suppose b + 793 = 3*w - 345, 0 = 4*w - 5*b - 1510. Let r = -255 + w. Does 20 divide r?
False
Let u = 96 + -108. Does 12 divide ((-3378)/9)/(u/18)?
False
Let n(i) = 98*i**2 - i + 2. Let d(r) = 2*r + 62. Let s be d(-30). Is n(s) a multiple of 28?
True
Suppose 0*m - 18*m - 3258 = 0. Let c = m - -245. Does 16 divide c?
True
Let p be 29/(3/(-4 - -13)). Suppose -2*m = -w - 12 - 15, -2*w - 64 = m. Let d = w + p. Is d a multiple of 8?
True
Let g be 4 + 1*4/(-2). Suppose -2*s + 189 = -9*s. Is 8 a factor of 9/(s/24)*(-8)/g?
True
Let v(x) = 6075*x**2 + 338*x - 338. Does 34 divide v(1)?
False
Let a = -848 - -853. Suppose 2*q - 2*b = 1436, a*q - 1068 - 2506 = b. Is q a multiple of 14?
True
Let n be (495/22 - 9) + (-1)/2. Suppose n*d + 1610 - 10372 = 0. Is d a multiple of 26?
False
Let l be (-50)/(-15)*12/5. Suppose 5*w = -2*c - 6, 4*c = -w + l*c - 10. Is 32 a factor of 336/4 + w - (-1 - 2)?
False
Suppose -577883 = -33*b + 474091. Is 33 a factor of b?
True
Suppose 0 = -5*k - 25, -v - 2*v + 4*k = -626. Suppose -5*w + v = b, -2*b - 5 = -w - 398. Is 29 a factor of b?
False
Suppose -j = -2*w + 4, -2 = -j - 5*w + 1. Does 19 divide (452/(-1))/j + 4?
False
Suppose 0 = 2*k - 1557 - 159. Let w = k - 536. Does 7 divide w?
True
Suppose -3*y + 50 = -5*d, 0 = -d - 2 - 2. Let c = -23 + y. Let f = -7 - c. Does 6 divide f?
True
Let j(s) = -4*s**3 + 167*s**2 - 11*s - 452. Is j(37) a multiple of 6?
True
Let m(o) be the third derivative of o**7/560 - 31*o**6/720 + 13*o**5/20 - 10*o**2. Let a(u) be the third derivative of m(u). Is a(14) a multiple of 23?
False
Let u = -97356 - -136838. Is 58 a factor of u?
False
Let b(a) = -89*a + 825. Does 28 divide b(-3)?
True
Let m(r) = 2*r**3 + 167*r**2 - 140*r - 334. Does 21 divide m(-84)?
False
Let d(f) = -66*f**3 + 6*f + 5. Let b be 140/15 - 9 - 4/3. Is d(b) a multiple of 8?
False
Let z(x) = -1522*x**2 - 4*x - 1. Let o be z(-1). Let t = -928 - o. Does 15 divide t?
False
Does 23 divide (-2 - (-25315)/10)/((-60)/8 - -8)?
False
Let c(k) = -1602*k + 2196. Is 46 a factor of c(-10)?
True
Let c(v) = -v**3 + 5*v**2 + 42*v - 11. Let m(w) = -w**3 - w**2 - 2*w + 1. Let u(o) = c(o) + m(o). Does 95 divide u(-8)?
True
Suppose -17*b + 24 = -5*b. Suppose a + 18 = 4*c + 6, b*c - 5*a = -12. Suppose -c*x = w - 422, -3*x + 328 = -7*w + 2*w. Is 8 a factor of x?
False
Let r be 9 + 4*45/(-36). Suppose -8*k = r*m - 6*k - 4322, -3*k - 1077 = -m. Does 10 divide m?
True
Let j = -11222 + 16510. Is 8 a factor of j?
True
Let y = 674 + -474. Suppose -6*m + 3860 = y. Does 61 divide m?
True
Suppose -4*h + 5*a + 217545 = 0, 3*h - 13891 = -a + 149282. Does 35 divide h?
True
Let f(j) be the first derivative of 2*j**4 - 2*j**3/3 - 3*j**2 - 3*j - 14. Does 59 divide f(3)?
True
Let k(c) be the second derivative of 5*c**4/12 + c**3/2 - c. Let b(n) = -2*n**2 - 4*n + 11. Let i be b(-4). Does 10 divide k(i)?
True
Suppose 19*p = 40252 + 105212. Is p a multiple of 116?
True
Let h(p) = -9 + 1 + 8*p**2 + 0*p**3 + p**3 + 10*p. Let l be h(-6). Suppose n + 338 = 5*t, 4*t - 264 = -0*t + l*n. Is 34 a factor of t?
True
Let o(x) = -33*x + 7. Let v be 0 - (-6)/24*-4. Is o(v) a multiple of 20?
True
Suppose 134*j - 132*j + 578 = 0. Let i = j - -323. Is 3 a factor of i?
False
Suppose -5*i + 4*j + 39751 = j, 4*i = 2*j + 31802. Suppose 26*o = 4970 + i. Is 7 a factor of o?
True
Suppose -10*q + 8*q - 2*y = -17454, 0 = -q + y + 8739. Is q a multiple of 174?
False
Let j be (-4*(-2)/(-20))/(1/(-15)). Suppose -2*s = r + 90, -r + j*r + 425 = -5*s. Is 27 a factor of r/(-12)*351/15?
False
Suppose -11 + 11 = 4*v. Suppose -6 = -v*c - 6*c. Is (-1)/(c*-1) + 2870/35 a multiple of 34?
False
Suppose 38*l = 20*l + 9720. Let c = -390 + l. Is c a multiple of 25?
True
Suppose -57196 = -14*b - 7762. Does 33 divide b?
True
Is 5 + 97*((-4)/6)/(12/(-234)) a multiple of 26?
False
Let f = 32 - 43. Let o(r) = -2*r - 14. Let a be o(f). Suppose a*v - 189 + 13 = 0. Is v a multiple of 5?
False
Let v be (-1 + 16/6 - 2)*0. Suppose 59*x - 58*x - 9 = v. Is 1577/x - -1*6/(-27) a multiple of 12?
False
Let h be (-50)/(-12) + (-128)/768. Suppose 5*a - 4*g - 467 + 10 = 0, -5*a + 455 = -5*g. Suppose h*k - k = a. Is 3 a factor of k?
False
Suppose 3*q + 3*o = -57, q - 5*o + 27 = -2*o. Does 7 divide 49/q*3 - -225?
False
Let r = 453 - 446. Suppose -282 = r*p - 2634. Is p a multiple of 14?
True
Suppose -199*y = -198*y + 475. Let l = -162 - y. Is l a multiple of 6?
False
Let g(j) = 189 - 7*j - 16*j - 211 - j**2. Is g(-16) a multiple of 18?
True
Let i = -151 - -1541. Suppose 5*k - i = 480. Does 11 divide k?
True
Let v = -3 + 260. Suppose -2*u + v = 25. Suppose -3*y = -2*f - u, -8 = -4*f - 0*f. Is y a multiple of 20?
True
Let j(z) = 24*z**2 - 34*z - 29. Is j(10) a multiple of 10?
False
Suppose -952*u + 909*u + 33540 = 0. Is 6 a factor of u?
True
Is 202 a factor of (-2 + 0 - -28)*202?
True
Is 9 a factor of (-72 + (6 - (6 + 7)))*-19?
False
Suppose -460*u + 782936 = -378*u. Is u a multiple of 130?
False
Let t(w) = 2*w**3 + 5*w**2 + 3*w - 4. Let n be t(-5). Suppose 11*m + 2644 = 400. Let u = n - m. Is u a multiple of 12?
True
Let d(r) be the first derivative of 2*r**3/3 - 5*r**2 - 10*r - 25. Does 8 divide d(9)?
False
Suppose -11 = 4*c + 7*c. Let o be (-7)/(-14)*(-254)/c. Suppose 0*u + p - o = -u, -2*u - 5*p = -257. Does 32 divide u?
False
Suppose 89*w + 17 + 6747 = 78231. Does 11 divide w?
True
Suppose -7*l + 2*w + 710 = -3*l, 4*l + 4*w = 680. Suppose -m + 2*p + 514 - 629 = 0, -4*m = -3*p + 440. Let j = l + m. Is 25 a factor of j?
False
Let a = -4 + 1. Let p(s) = -9 + 25