. Let g(p) = -p**2 - 17. Let r(u) = g(u) + 4*j(u). Is 25 a factor of r(-7)?
False
Suppose 0*o + 2*o = -3*g + 150, -2*g + 4*o = -84. Is g a multiple of 21?
False
Is (-16524)/(-85) + 2/(-5) a multiple of 10?
False
Let o = -153 - -7. Let k = o + 216. Is 25 a factor of k?
False
Let t(j) = j**2 - 4*j - 9. Let c be t(-2). Suppose 150 = 2*f + c*r, 2*r - 220 = 4*f - 7*f. Does 17 divide f?
False
Let f = 764 + -393. Suppose 2*w - f = -23. Let t = -78 + w. Is 20 a factor of t?
False
Let h = -7 - -12. Suppose 0 = 2*w - 3 + 5, 0 = h*b + 5*w - 10. Suppose -28 = -b*i + 23. Is 2 a factor of i?
False
Suppose 0*r = -3*r + 84. Let u = r + -8. Is u a multiple of 5?
True
Let d = 15 - 18. Is 10 a factor of (4/d)/(30/(-225))?
True
Let l be -1*15 + (3 - 4). Let s(f) = f**2 + 13*f - 18. Is 6 a factor of s(l)?
True
Suppose 0 = -5*d - 4*z + 745, 5*d - 4*z + z - 710 = 0. Suppose -3*h = -6*h - 5*q + d, h - 43 = q. Is 6 a factor of h?
False
Let p = 32 + -20. Suppose -a + 5*l = -p - 13, 0 = -3*l - 15. Suppose -13*b + 11*b + 80 = a. Is b a multiple of 7?
False
Let o(p) = -71*p**2 + 11*p - 24. Let a(r) = 35*r**2 - 5*r + 11. Let y(h) = 9*a(h) + 4*o(h). Is 3 a factor of y(1)?
True
Let u = -439 - -625. Suppose 0*y = -3*y + u. Does 41 divide y?
False
Suppose -4*w = -743 - 57. Does 20 divide w?
True
Let n(h) be the second derivative of h**5/20 - 5*h**4/12 - 4*h**3/3 + 21*h. Does 32 divide n(8)?
True
Let g be 25/10*(-4)/(-5). Let b(l) = -31*l + 1. Let r be b(g). Does 7 divide (-8)/(-36) - r/9?
True
Suppose -2*m = -3*h + 3*m + 16, 5*m - 33 = -4*h. Suppose -h*o + 286 = -6*o. Is o a multiple of 22?
True
Let z(s) = 29*s**2 + 3*s + 4. Let v be z(-2). Suppose -v = -5*l + 111. Is l a multiple of 3?
True
Suppose -4*t - 2*f = -2, -5*t + 2*f - 3 = -f. Let g(v) = v**3 - 9*v**2 + 10*v + 6. Let i be g(8). Suppose t*p = -p + i. Is 11 a factor of p?
True
Is 49 a factor of (860/(-8))/((-3)/12)?
False
Let j = 32 - 15. Suppose -57 = -n - 2*m - j, -2*n + 52 = -3*m. Is 14 a factor of n?
False
Suppose -8 = -2*r - 0*r - o, o - 20 = -5*r. Is (65/r - -2)/(1/4) a multiple of 20?
False
Let u = -1 + 129. Suppose 52 = t - u. Is t a multiple of 30?
True
Let h = 0 - -2. Suppose 4*w - 248 = -h*v, -2*v - 220 = -4*w + 3*v. Does 30 divide w?
True
Let q be 3 + (-4 - -1) + -1 - -2. Suppose 229 = 2*r - 5*a, 0 = -2*r + a + q + 208. Does 34 divide r?
True
Let b = -149 + 150. Let s(n) = 189*n**2 + 3*n. Is s(b) a multiple of 24?
True
Suppose 6*c + 0*c - 1110 = 0. Let l = c - 112. Does 14 divide l?
False
Let y(l) = -l**2 - 5*l + 3. Let w be y(-11). Let t = 25 - w. Is 8 a factor of t?
True
Let l be (-3)/(4/8*-3). Let k be 2 - (-106)/4*l. Suppose -m - k = -6*m. Is m a multiple of 3?
False
Suppose -16101 = 40*w - 51621. Does 12 divide w?
True
Let h = -569 + 401. Is h/10*70/(-21) a multiple of 8?
True
Let g be 1 + 177/((-6)/(-2)). Is 12 a factor of (-18)/(-4)*560/g?
False
Let z be 4 - (-2 - -8) - -197. Suppose z = 4*d + 11. Is d a multiple of 15?
False
Does 7 divide 2 + (-1101)/((3 - -3) + -7)?
False
Let p(b) = -3*b**3 + 4*b**2 + 5*b - 7. Is 5 a factor of p(-3)?
True
Let b be ((-50)/1)/(-18 - -20). Let s = -16 - b. Is 3 a factor of s?
True
Suppose -3*z + 107 = 5*q, z + q - 103 = -2*z. Let c = z + 23. Is 9 a factor of c?
False
Let y(g) = -6 + 6 - 12*g. Suppose -3*h - 11*h - 28 = 0. Is 8 a factor of y(h)?
True
Let t = 233 - 99. Is 5 a factor of t?
False
Suppose -7*c + 2454 = -2537. Is 48 a factor of c?
False
Let g(c) = 10*c**2 + c - 4. Let s be g(-2). Let t = s - 15. Suppose -t = -4*l + 13. Does 3 divide l?
False
Let j(v) = 22*v - 15. Let n(a) = 23*a - 17. Let h(m) = 6*j(m) - 5*n(m). Let z be (-3)/((-2)/(-4) + -2). Is 14 a factor of h(z)?
False
Suppose -6*k = -0*k - 432. Let g = -48 + k. Is 8 a factor of g?
True
Let t = -179 - -606. Does 27 divide t?
False
Suppose -28*i - 2*i + 25380 = 0. Is 21 a factor of i?
False
Let r(d) = 2*d**2 - 2*d - 5. Does 52 divide r(33)?
False
Suppose 63 = 3*n + 9. Let f = 12 + n. Does 15 divide f?
True
Let j(b) = 20*b - 32. Let h(m) = -19*m + 32. Let t(p) = 2*h(p) + 3*j(p). Is t(4) a multiple of 28?
True
Let k(r) be the first derivative of r**4/4 - 10*r**3/3 - 2*r**2 - 18*r - 60. Let n = 16 + -5. Does 19 divide k(n)?
False
Is (8 + 2 + 0)/(78/12675) a multiple of 13?
True
Suppose 0 = -4*q - 2*b - 26, -2*q + 6*b = b - 5. Let p(h) = 6 + 6*h - 2 - 5*h - 5*h. Does 12 divide p(q)?
True
Let b(x) = x**3 + 7*x**2 - x - 2. Let w be b(-7). Suppose -5*i + 125 = w*g, 0 = 5*g - i - 42 - 71. Does 7 divide g?
False
Does 47 divide (-6)/27 - -1492*(-129)/(-54)?
False
Let s(c) = 6*c**2 + 3*c - 2. Let l be s(2). Suppose 0*j - 3*j = -5*i + 92, -i + 3*j = -l. Is (32/6)/(i/24) a multiple of 2?
True
Let h(p) = -5*p - 3. Let i be h(-5). Let u be 11/2 - 33/i. Suppose -3*z + 3 = -0*z, u*t - z = 23. Is t a multiple of 2?
True
Suppose -5*u + 14 = 3*m, -2*m - 7 = 5*u - 6*m. Let y(c) = -4*c**3 + 8 + 11*c**2 + 5 - 15*c - u + 5*c**3. Is y(-12) a multiple of 16?
True
Suppose -3*t + 2*t = -5*j - 1753, 3*t - 5285 = 2*j. Is 10 a factor of t?
False
Suppose -102*k + 8945 = -97*k. Is 32 a factor of k?
False
Suppose 3*t + 339 = 2*l, 0 = 4*t - t + 3. Suppose -j = -7*j + l. Is j a multiple of 23?
False
Is 16 a factor of (-160)/(-3)*(-1254)/(-95)?
True
Let d = 187 + -10. Is d a multiple of 73?
False
Let z be (-5)/((-60)/(-28)) - 4/(-12). Let v(d) = -17*d**3 - 2*d**2 + 4. Does 22 divide v(z)?
True
Is (56/(-8) - -5)/(2/(-68)) a multiple of 34?
True
Suppose 0*x - 6 = -2*x - 4*z, 2*x - 6 = 2*z. Suppose 2*u + 2*c - 6 - 18 = 0, -4*u + 47 = 3*c. Let g = x + u. Is g a multiple of 11?
False
Is 18 a factor of ((-34)/3*-2)/((-90)/(-1215))?
True
Suppose 315 = -201*h + 202*h. Is 45 a factor of h?
True
Let c(f) = f**2 - 6*f + 2. Let m be c(5). Let o be m/4 - (-315)/20. Suppose 0 = p, 5 = 4*g - 3*p - o. Does 2 divide g?
False
Let u be 672/9 + 4/(-6). Suppose -5*v - u = -7*v. Is 8 a factor of v?
False
Let c(w) = -w**2 + 1. Let x(u) = -2*u**2 - u + 2. Let k(i) = 3*c(i) - 2*x(i). Let z be k(-5). Suppose 3*n - 16 = -p + 5*p, -2*p - z = -2*n. Does 5 divide n?
False
Let d(n) = -n**2 - 2*n - 4. Let g be d(0). Let x be g/(-1) - (4 - 2). Suppose 4*m - 99 - 20 = -5*i, -94 = -4*i - x*m. Does 23 divide i?
True
Let x(u) = u - 2. Let y be x(11). Let n = y + -14. Is 3 + 0 + (-85)/n a multiple of 8?
False
Let w be (-40)/12*15/(-10). Suppose 5*s + 49 = 2*l, 2*l + w*s = 2*s + 41. Does 3 divide l?
False
Let x(n) be the third derivative of -n**6/120 - n**5/4 - 7*n**4/8 - 4*n**3/3 - 8*n**2. Is 30 a factor of x(-14)?
True
Suppose 2*u - 6*u + 36 = 0. Suppose i - 1 + u = 0. Let p(k) = -2*k. Is p(i) a multiple of 8?
True
Let g be (-77)/(-28) + 3/12. Suppose g*q = 4*s + 4*q + 257, -3*s - 198 = -q. Let z = s - -176. Is 26 a factor of z?
False
Let w = 1005 - 431. Is 41 a factor of w?
True
Suppose 4*w + 347 = 3*n, 4*n - 30*w - 504 = -35*w. Is 11 a factor of n?
True
Suppose -17 = -t + 3. Let n be (-68)/t + 4/10. Is 10 a factor of 1183/21 + 1/n?
False
Let d = -1478 + 2918. Suppose d = 3*r + 6*r. Does 20 divide r?
True
Let u = 16 - 12. Let t(g) = g**2 - g + 4. Is t(u) a multiple of 4?
True
Does 117 divide (-2591)/(10 - (1 + 10))?
False
Let x = 83 - -1122. Is 22 a factor of x?
False
Is 34 a factor of (-4)/(343/119 + -3)?
True
Suppose r - 2 = 1, 19 = -5*t + 3*r. Let n be (270/(-63))/(t/84). Suppose -n = -0*p - 3*p. Is 20 a factor of p?
True
Let d(j) = j**3 + 11*j**2 - 17*j - 11. Suppose -5*y + 5 = 0, 3*y - 41 = 3*f - 2*y. Is d(f) a multiple of 11?
False
Suppose 3*t - 133 = -622. Does 16 divide (-9)/15 - t/5?
True
Suppose 0 = 19*i - 23231 - 5345. Is i a multiple of 13?
False
Let n = 9 + -9. Let g be 314/12 - (-11)/(-66). Suppose g = k - n. Does 7 divide k?
False
Let h be (-6)/(-4) - (-18)/4. Suppose 4*g - 10 - h = 0. Suppose g*x - 102 + 10 = 0. Is x a multiple of 6?
False
Is ((-3)/6)/((-1)/542) a multiple of 8?
False
Let m be (-2 + 2 - -43)/(7/(-7)). Is 13 a factor of ((-612)/30)/(m/20 - -2)?
False
Suppose 0*l = -l + 2, -4*l = 5*x - 4288. Is x a multiple of 78?
False
Suppose -131 = -2*d + 3*i, -2*d - 2*i + 138 = 2*i. Suppose -z = 3*k - 6*k + 109, -2*k - 5*z + d = 0. Is 12 a factor of k?
True
Let q(w) be the first derivative of w**2/2 - 3*w - 4. Let v be q(3). Suppose s - 19 = -v*s. Is 14 a factor of s?
False
Suppose -19*k = -15830 - 2087. Does 41 divide k?
True
Suppose -3*g + 6*g - 71 = 