60. Suppose l + j - 690 = 6*j, -c*j = 5*l - 3510. Is l a multiple of 25?
True
Suppose -3*h + 18 = -z, -h - 2*z + 4 = -2. Let r(b) = -b**3 + 7*b**2 - 2*b - 18. Let k be r(h). Let g = k - -25. Is 11 a factor of g?
False
Let p(i) = 0*i**2 - 33 + 5*i - 13*i - 9 + i**2. Let c be p(-18). Suppose 9*t - c = 708. Does 29 divide t?
False
Let s = -1991 + 1350. Let u = -566 - s. Is 6 a factor of u?
False
Let x(t) = 4*t - 16. Suppose 13 + 2 = 3*z. Let m be x(z). Is 26 a factor of ((-80)/15)/(m/(-90))?
False
Let r = -38 + 47. Suppose l - 2*l = -k + r, -l = 2*k - 9. Suppose 4*o - 2*d + k*d = 168, 38 = o + 3*d. Does 11 divide o?
True
Suppose -3*m + 3*c = -0*c - 3732, 5003 = 4*m + 5*c. Let t = m - 683. Does 12 divide t?
True
Suppose -3*c + 1590 = 3*x, 2*x + c = -3*x + 2650. Let y be 16/(1/(95/10)). Suppose 0 = -3*v - y + x. Is 18 a factor of v?
True
Let s = 75 + 74. Let w = -145 + 65. Let a = w + s. Does 12 divide a?
False
Let h(j) = 9*j**3 + 7*j**2 - 35*j - 3. Let k(l) = 7*l**3 + 8*l**2 - 36*l - 4. Let g(m) = 3*h(m) - 4*k(m). Is 7 a factor of g(-14)?
True
Let k(m) = -m**3 + 6*m**2 + m - 2. Let y be k(6). Suppose -3*a + y*j = 2*j - 589, -2*a = -4*j - 390. Is a a multiple of 9?
False
Let b(f) = -23*f + 46. Let r be b(-19). Suppose -q - 957 = 4*s, 0*s + 2*s + r = -5*q. Let x = s - -431. Does 22 divide x?
False
Let x(d) = -970 - 2*d**2 + 2*d + 975 + d**2 - 4*d. Let f be x(-10). Let l = f - -79. Does 2 divide l?
True
Suppose 16 = 4*t, -4*n + 0*t = 5*t - 44. Suppose 17*l = n*l + 1386. Is 6 a factor of l?
True
Suppose 38 = 2*o - 16. Let h = o - 27. Suppose -2*m + 170 = -h*m. Is m a multiple of 15?
False
Let k(s) be the second derivative of -s**4/12 - s**3 + 25*s**2/2 + 99*s + 2. Is k(-8) a multiple of 3?
True
Suppose -4*q = -93 + 237. Let b = q + 39. Suppose -5 = b*v - 59. Is v a multiple of 9?
True
Let q(x) = -5*x**3 - 21*x**2 + 19*x. Let r(n) = 43*n**2 - 28*n - 1 - 31*n + 21*n + 9*n**3 - 2*n**2. Let c(o) = 7*q(o) + 4*r(o). Is c(-18) a multiple of 3?
False
Suppose 47100 = 62*r - 87253 - 38503. Is 12 a factor of r?
False
Let p(l) = 4*l**2 + 2*l + 2. Let q be p(-1). Suppose 0 = r + r + 2*t - 124, q*r + 2*t - 256 = 0. Suppose -4*g + g = -r. Is 3 a factor of g?
False
Suppose -4*v - 4*h - 44 = 0, 10*h = -v + 5*h - 23. Let k = v + 93. Is 5 a factor of k?
True
Let y(n) = -7*n. Let g be y(-2). Suppose 4*s - 3*j - g = 0, -3*s + j = -5*s + 12. Suppose -5*z + 10 = s*b - 70, 2*b - 8 = 4*z. Is 8 a factor of b?
False
Suppose 3*s + 42 = 6*s. Suppose -20*w + 96 = -s*w. Does 6 divide w?
False
Let z(b) be the second derivative of -b**5/20 - 3*b**4 - 6*b**3 + 12*b**2 + 10*b + 4. Does 51 divide z(-35)?
False
Is (117/52)/(6/4)*11026 a multiple of 149?
True
Suppose 558*w = 554*w + 11024. Suppose -w = 7*l - 6004. Does 16 divide l?
True
Let i(f) = f**3 + 25*f**2 + 47*f - 14. Let m be (-444)/20 - (-2 - 9/(-5)). Is i(m) a multiple of 20?
False
Is 777 - (-12 - -4) - (8 + -2) a multiple of 19?
True
Let k(q) = 38*q + 5. Let u be k(8). Let z = -138 + u. Is z a multiple of 14?
False
Let p be 10/((-8)/(-4)) + 3. Suppose -p*x + 603 + 69 = 0. Does 4 divide x?
True
Let t be ((-12)/(-20))/(2/60). Suppose 0 + t = -3*r. Is 7 a factor of (r/(-4) + 0)*(-336)/(-18)?
True
Suppose 22 = 3*k + 3*y - 476, 2*k + 3*y - 330 = 0. Suppose -k = -15*s + 7*s. Does 3 divide s?
True
Is 79 a factor of -2 + 6 - (4 - 2 - 3079)?
True
Suppose 9*l - 417 = -2163. Suppose 0 = 4*o + 4*d + 20, -2*d - 1 = o + 2. Is (l/o - (-11 + 13))*7 a multiple of 12?
True
Let j(u) = -u**2 - 38*u + 276. Is 3 a factor of j(-31)?
False
Suppose -15 - 9 = 3*t. Let o(w) = w**3 + 13*w**2 + 6*w - 25. Is 13 a factor of o(t)?
True
Suppose 0 = 11*q + 2339 - 35790. Is q a multiple of 48?
False
Suppose -3*v - i = -3*i + 1213, -2*i - 391 = v. Let r = v + 606. Is 15 a factor of r?
False
Let g(y) = -2*y**3 - 18*y**2 + 75*y + 1997. Does 16 divide g(-19)?
True
Let s(v) = -173*v + 646. Is s(-18) a multiple of 6?
False
Let v(n) = -n**3 - 86*n**2 - 302*n + 281. Is v(-86) a multiple of 17?
False
Let b = 27857 - -708. Does 145 divide b?
True
Let x(j) = 19*j - 13. Let t be x(-18). Let n = t + 524. Is n a multiple of 33?
False
Is (-1636)/8*(5 - (28 + 2 + 1)) a multiple of 18?
False
Suppose -3*s - 4*p + 50 = -2, -2*s + 28 = p. Suppose -d + s = 2*n, -d = -0*n + n - 8. Suppose -q + 0*z = -z - 80, -4*q + 352 = d*z. Is q a multiple of 8?
False
Let n be -7 - (-2122 - (3 + -4)). Suppose -5*k = -n - 566. Does 15 divide k?
False
Suppose 5*s = 19*s - 18732. Suppose t - 685 = 4*b - 7*b, -2*t + 2*b = -s. Is t a multiple of 23?
False
Let u(s) = 51*s**2 + 198*s + 2048. Is 8 a factor of u(-10)?
True
Suppose -17*u = -44588 - 1501 - 17457. Is u a multiple of 6?
True
Let x(v) = -2*v**3 - 6*v**2 - 33*v - 213. Does 33 divide x(-9)?
True
Suppose -5*w + 3745 = -466 - 89. Is w a multiple of 10?
True
Let h = -66 - -44. Let d = h + 27. Suppose -464 = -d*w + 286. Does 10 divide w?
True
Let a be (5/(-15))/((-8)/(-9) - 1). Suppose 14*z = 12*z - 2*i + 342, a*z - 2*i = 533. Does 35 divide z?
True
Let r(x) be the third derivative of x**6/12 - x**4/12 - 3*x**3/2 - 2*x**2 + 7. Is r(4) a multiple of 6?
False
Let d(h) = h**2 - 6*h + 8. Let x be d(5). Suppose g - x = 1. Is -2 + (3 + 14/8)*g a multiple of 17?
True
Let v(b) = -509*b + 5134. Is 17 a factor of v(0)?
True
Suppose -2*i - 3*d = -19868, -3*i + 29780 = 128*d - 129*d. Does 6 divide i?
False
Let c(z) = -2*z**3 - 8*z**2 - 5*z - 5. Let h be c(-8). Suppose -3*s + 5*l = -226, 105 = s - 2*l + 30. Suppose 6*o - h = s. Does 26 divide o?
True
Let u be (-4)/1*(-4)/8. Suppose -3*j - 4*t + 978 = 0, -5*j + u*j + 978 = -3*t. Does 10 divide j?
False
Let w(m) = -2*m - 30. Let o be w(-20). Suppose -4*x + 378 = o*x. Let r = 51 + x. Is r a multiple of 26?
True
Let a be (-9)/(-2) - 18/12. Suppose 171 = 5*s - 0*s + a*z, s - 4*z = 25. Is 33 a factor of s?
True
Let r = 11939 - 7746. Is r a multiple of 12?
False
Let u = -33 + 46. Suppose 1 = 3*m + u. Is 4/(4/(68 - m)) a multiple of 36?
True
Suppose 3*y = 2*u - 41 - 226, -5*u - y = -659. Is 43 a factor of u?
False
Let s = -627 - -634. Suppose 6240 = -s*v + 19*v. Does 13 divide v?
True
Let x(p) = -2*p**3 + 4*p - 4. Let s be x(-2). Suppose -4*u - 132 = -s*c, -u - 4*u - 127 = -4*c. Does 20 divide c?
False
Suppose -5*o - 2*u = -1212, 2 = 2*u - 0. Let l be (-4)/22 + (-1892)/o. Let r = 116 - l. Does 21 divide r?
False
Suppose 46*v - 243387 = -4969. Is v a multiple of 11?
False
Let z(v) = 34*v + 67. Suppose 462 = -5*n + 38*n. Is z(n) a multiple of 13?
False
Let y(i) = -50 - 4*i + 254 - 3*i + 2*i + 3*i. Is 76 a factor of y(-12)?
True
Let l be (180/(-8))/(21/28). Suppose 0 = -6*a + a - 90. Is 23 a factor of l/135 + (-2812)/a?
False
Is 47 a factor of ((-198)/(-12))/(9 - 407715/45304)?
False
Let q = -165 - -263. Is 7 a factor of (1/(6/q)*3)/1?
True
Let f be 4 + (597 - -5) + -2. Suppose 4*h - f = 620. Is 18 a factor of h?
True
Suppose -2*s - 4 = 0, f - 3*s = -2*s + 23. Let d(p) = 4*p - 6*p - 3 - 7 - f*p. Is d(-2) a multiple of 6?
True
Suppose 41 = -4*y - 59. Let c be -4*6*y/(-40). Let r(n) = -n**2 - 19*n + 18. Does 33 divide r(c)?
False
Suppose 2*c - 332 + 40 = 0. Let k = 278 - c. Is k a multiple of 4?
True
Let b(l) = -2*l**3 + 48*l**2 - 30*l + 30. Let p be b(23). Let s = 416 - p. Is 18 a factor of s?
True
Let g be -1*((-2)/2 + -4). Suppose 2*w + 2*i = -0*w + 10, w + 3*i = g. Let n = 27 - w. Is 22 a factor of n?
True
Let j(o) = o**3 + 19*o**2 + 21*o + 26. Let l be j(-18). Let m be 28/6*(-24)/l. Is 8 a factor of 1/((-6)/(-90)) - m*1?
False
Let n be (4/10)/(2/(-40)). Let z(k) = k**3 + 12*k**2 + 2*k + 3. Is 27 a factor of z(n)?
True
Does 6 divide (1/1 - 7)*5528/(-48)?
False
Suppose 2*i - 4*j = 54, 0 = 3*i + 2*i + 4*j - 65. Let u(z) = 4*z - 66. Let r be u(i). Suppose -2*y = -4*y - 2*x + 20, r*y = -3*x + 17. Does 9 divide y?
False
Let i(n) = -8*n**3 + 41*n**2 - 3*n + 41. Let w(a) = -3*a**3 + 14*a**2 - a + 14. Let k(g) = -4*i(g) + 11*w(g). Let v be k(-10). Does 11 divide 4*((-455)/v + -2)?
False
Let f(g) = g**2 - 2*g + 1280. Let l be f(0). Suppose 51*y = 41*y + l. Does 8 divide y?
True
Let t(i) = -53*i + 4861. Is 14 a factor of t(60)?
False
Suppose -r + 178 = 2*j + 837, 3*r = 4*j - 1967. Is (r/(-3))/((-1)/(-6)*6) a multiple of 12?
False
Suppose x + 2*b = 723, b + 4*b = -20. Suppose 0 = -3*y + 2*z + x, 0*y = 4*y + 4*z - 988. Does 49 di