
Let b(g) = -g**3 + g**2 + 9*g + 17. Is b(-5) a multiple of 4?
False
Let u(h) = -301*h + 8. Does 22 divide u(-2)?
False
Suppose -2*q + 11 = -n, 2*q + 5*n + 2 = -5. Suppose 5*v = 4*m - 68, -8*v + q*v = -m + 6. Is 17 a factor of m?
False
Suppose 62 = 4*y - 322. Does 24 divide y?
True
Suppose -4*s - 7 - 13 = 0, -122 = o - 4*s. Let m = o - -100. Does 2 divide (12/14)/((-6)/m)?
True
Let b(r) = 27*r - 270. Does 9 divide b(16)?
True
Suppose -4*h = 4, 0 = 2*t + 2*t + 4*h - 256. Suppose -70 = -3*a + t. Is a a multiple of 15?
True
Let z(d) = d**3 + 17*d**2 + 13*d + 23. Let g be z(-16). Let a = 6 - 3. Suppose 4*s - 10 = 5*w + g, 3*w + a = 0. Does 7 divide s?
False
Let i(d) = d**3 + 5*d**2 - d. Let k be i(-2). Let v be (-1)/(-3) - 16/(-6). Let y = v + k. Is 4 a factor of y?
False
Let s = 10 + -16. Let g(k) = k**3 + 6*k**2 - k - 6. Let o be g(s). Suppose -3*d - 3*x + 2*x + 59 = o, -d = 5*x - 1. Does 21 divide d?
True
Suppose d - 25 = -3. Is 11 a factor of 1522/d - 10/55?
False
Let l(s) = -7*s - 14. Let k(u) = 8*u + 14. Let h(p) = 4*k(p) + 3*l(p). Is h(6) a multiple of 22?
False
Let b(s) = -s**3 + 9*s**2 + 15*s - 14. Let t be b(10). Is 16 a factor of 1/(-2) + 594/t?
True
Is 5/(25/(-20)) - -388 - -2 a multiple of 10?
False
Suppose 3*o - 5*j = 508, 2*o - 458 = 4*j - 120. Does 21 divide o?
False
Let w(h) = 4*h + 8. Let t be w(-7). Let p be (-30)/t*(-4)/6. Let n = p - -19. Does 6 divide n?
True
Let d(c) be the first derivative of 33*c**2/2 - c + 13. Let o be ((-2)/(-4))/((-1)/(-2)). Is d(o) a multiple of 16?
True
Suppose 0 = -5*i + 25, -10*i = 5*c - 13*i - 3515. Does 6 divide c?
False
Suppose 3*n + 15 = -z, -2*z = 3*n - 5 + 29. Is (4/(-6) - 4)*z a multiple of 9?
False
Let h(d) = -d**3 + d**2. Let o be h(0). Let j = o - -7. Let q(y) = y**2 - 3*y + 4. Is 16 a factor of q(j)?
True
Suppose t = 2*w - t - 20, 8 = 4*t. Suppose -4*z = 4*k - 28 + w, -k = -4*z + 16. Suppose -5*o + 5*r - 7 + 77 = k, 5*r - 120 = -5*o. Is 19 a factor of o?
True
Let v(y) = -y**3 - 3*y**2 - 3*y + 1. Let a be v(-2). Suppose -u + 34 = -a. Let h = -25 + u. Does 12 divide h?
True
Suppose -3*k + 4 = -k. Suppose 3*g + 2*r + 0 = 4, 0 = 4*g - k*r - 10. Suppose g*c - 58 - 26 = 0. Is 14 a factor of c?
True
Let i be (-14)/(-18) + 12/54. Let p(l) = 9*l + 2. Is 11 a factor of p(i)?
True
Suppose -4*y + 1378 = -1034. Suppose 5*b = -3*h + y, -4*b - 5*h = -2*h - 483. Suppose -2*u = -4*u + b. Is u a multiple of 15?
True
Let a(f) = -f + 6. Let w be a(6). Suppose -h = 5*x + 4*h - 5, w = 4*h + 16. Let k(b) = -b**2 + 8*b - 7. Does 2 divide k(x)?
True
Suppose -2*j - 11 = 5*o, -o - 2 - 1 = 0. Let b be (-4 + 6)/(1*j). Does 16 divide -36*((-4)/3)/b?
True
Suppose 5*l + 25 = 0, l = -5*q + 4*l + 30. Suppose k + q*k = 0. Suppose x + k + 3 = 0, 3*s - 30 = -2*x. Does 12 divide s?
True
Suppose 5*s = 5*j + 35, 4*j + 0*s + 43 = s. Is j/(-30) + 2/10*558 a multiple of 26?
False
Let g(h) = 5*h**2 - 2*h + 3. Let i be g(-4). Let b = i - -8. Does 33 divide b?
True
Suppose -37*d + 38*d = 60. Does 54 divide d?
False
Let p = 0 - 4. Let y(t) = -8*t - 4. Let g be y(-3). Let j = g + p. Does 16 divide j?
True
Suppose 6*b + 6*b - 3432 = 0. Is 12 a factor of b?
False
Let z(v) be the third derivative of -v**6/60 + v**4/8 - 2*v**3/3 - 6*v**2. Is z(-3) a multiple of 41?
True
Suppose 3*t - 8*t = 15, -f + 3*t + 252 = 0. Does 15 divide f?
False
Let r(b) = -b**2 - 26*b + 59. Let o be r(-21). Let d = o + -66. Does 14 divide d?
True
Let s = 15 - 17. Let d(x) = -4*x + 5. Is 2 a factor of d(s)?
False
Let x be 171/(-6)*32/(-24). Let c = x + -24. Does 14 divide c?
True
Let k(v) = v**3 - 7*v**2 + 3*v + 5. Let r(w) = -w**3 - 18*w**2 + 20*w + 26. Let n be r(-19). Is k(n) a multiple of 9?
False
Let n = 1355 + -744. Is n a multiple of 64?
False
Let m = 184 + 4. Is m a multiple of 17?
False
Suppose -10*i + 15620 - 2770 = 0. Does 40 divide i?
False
Let l be 81/5 + (-8)/40. Suppose -8*j + 280 + l = 0. Suppose 4*m - 5*k - 35 - j = 0, 0 = 2*m - 5*k - 46. Does 11 divide m?
False
Let o be (-4)/(-8)*-6 - 0. Let x = o + 15. Let a = x - 4. Is 8 a factor of a?
True
Suppose 0 = 2*o + 48 - 220. Suppose 91*c - 150 = o*c. Is 10 a factor of c?
True
Let d be 0 + 3*4/6. Suppose d*v = -w + 42, -v - 148 = -3*w + 4*v. Suppose 3*j - 14 = w. Does 10 divide j?
True
Suppose 19*y - 31631 + 1991 = 0. Is y a multiple of 11?
False
Let f(n) = 2*n**2 + 38*n + 92. Does 9 divide f(-28)?
False
Let n be (4/2)/((2 - -10)/6). Is 8 a factor of 102/2 + 5/n?
True
Suppose -2*a + 5*q - 10 = -39, 2*q = 4*a - 18. Suppose 3*l = -t - 13, -7*t + a*t - 5*l = 15. Suppose 3*x + t*x = 30. Is 5 a factor of x?
False
Does 113 divide ((-678)/(-10))/(32/1760)?
True
Let u(f) = 6*f**3 - 2*f**2. Suppose 0 = 2*x + 5 - 9. Does 4 divide u(x)?
True
Suppose i - 18 = 4*i. Let u = 9 + i. Let p = 18 + u. Is p a multiple of 9?
False
Let y be (2/(-2))/(2/(-4)). Suppose -y*t - 18 = 2. Is t/20 - 374/(-4) a multiple of 31?
True
Let s(y) = -y**3 - 11*y**2 + 7*y - 28. Let f(i) = i**2 + 15*i + 17. Let u be f(-7). Let m = u + 27. Is 16 a factor of s(m)?
True
Suppose 5*v + 9 - 19 = 0. Suppose v = 2*h, h = 2*u + u - 116. Suppose l - 23 = -3*q + u, -5*q = -3*l + 130. Does 10 divide l?
True
Does 41 divide (-32)/(-6)*(3 - (-468)/8)?
True
Suppose -l - 4*f - 12 = 0, 2*l + 5*f + 36 = 6*l. Let o(h) be the third derivative of 7*h**4/12 - h**3/3 + 3*h**2. Does 19 divide o(l)?
False
Let b be (-3)/(-1) + 0 + 15. Let w = b - 12. Suppose 0 = -3*r + w*i - 4*i + 101, 2*i - 64 = -2*r. Is r a multiple of 20?
False
Let q(u) = 7*u**3 + 11*u**2 - 25*u - 3. Let x(c) = 3*c**3 + 6*c**2 - 12*c - 1. Let z(g) = -4*q(g) + 9*x(g). Let f = 5 + 4. Is 3 a factor of z(f)?
True
Let i(j) = -8*j**3 + 7*j**2 - 3*j - 2. Let c be i(5). Is 10 a factor of 1/(-5) - 4/(40/c)?
False
Suppose 27 + 13 = 5*v. Suppose v*q + 1340 = 12*q. Suppose 0 = p + 4*p + 5*c - q, 321 = 5*p - 2*c. Is p a multiple of 30?
False
Suppose -s - 9 + 12 = 0. Let i(o) = 52*o + 14. Is i(s) a multiple of 34?
True
Suppose 100 = 10*i - 0*i. Let d(x) = -x**3 + 12*x**2 - 7*x + 35. Is d(i) a multiple of 15?
True
Let v(k) = k**3 + 4*k**2 - 4*k + 7. Let t be v(-5). Suppose 161 = 3*d + t*i - 40, d - i = 62. Is 5 a factor of d?
True
Suppose -3*a + 5726 = -1465. Does 13 divide a?
False
Let c be 6/(-4)*(-40)/(-12). Let o(p) = -p**3 - 2*p**2 - p + 12. Does 11 divide o(c)?
False
Let t = 22 + -19. Let y(z) = 3*z**2 + 10. Let k(a) = -4*a**2 - a - 10. Let m(v) = t*y(v) + 2*k(v). Does 21 divide m(7)?
False
Is 12 a factor of -2 + 1 + 2 - (5 - 135)?
False
Let r(u) = 4*u**3 - 69*u**2 + 26*u + 34. Is r(17) a multiple of 26?
False
Suppose 2*i + 426 = 5*i + 3*a, -i = -5*a - 124. Is i a multiple of 7?
False
Let k be (-5)/((-70)/4) + (-1342)/(-7). Suppose k = 11*t - 3*t. Does 6 divide t?
True
Let j be (-54)/(-36)*28/6. Suppose -8*a + 37 = -j*a. Suppose 0 = 2*h + 3 - a. Does 13 divide h?
False
Suppose 2*l - p - 262 = -6*p, l - 141 = -5*p. Does 26 divide l?
False
Suppose 9*y + 1972 = 43*y. Is 5 a factor of y?
False
Suppose -27*d + 10 = -32*d. Does 8 divide (d + 1 + -1)*-37?
False
Let y = -240 + 254. Is y a multiple of 14?
True
Let o be 4/6*(-2 - (-10 + -4)). Does 7 divide (-7 + o)/((-1)/(-38))?
False
Let m(l) = -2 + 5*l + 20*l**2 - 17*l**2 + 0. Is 22 a factor of m(4)?
True
Suppose -4*q = -4*y - 2604, -q = -48*y + 45*y - 655. Is 29 a factor of q?
False
Let i = 1318 - 777. Is 6 a factor of i?
False
Suppose 4*u - 5*s + 0*s = -60, -5*s = -2*u - 30. Is ((-6192)/(-15))/3 + (-6)/u a multiple of 18?
False
Suppose 8*g + g - 675 = 0. Does 3 divide g?
True
Let s(r) = 15*r**3 - 6*r**2 + 5*r - 4. Is 88 a factor of s(4)?
True
Suppose -4*p - 5*a + 89 = 0, -a - 1 = -p + 19. Suppose -p*m = -25*m + 272. Is m a multiple of 17?
True
Let c = 711 + -662. Is 2 a factor of c?
False
Suppose -111 = -13*u + 708. Is u a multiple of 6?
False
Let m be -38 - ((0 - -2) + -2). Let v = 111 + -58. Let q = v + m. Is 8 a factor of q?
False
Let u = 745 + -723. Is u even?
True
Let i(t) = -t**3 + 5*t**2 + 3*t + 8. Let f be i(7). Let y be (f/3 - -1)*-7. Is (-3)/(7/(y/(-3))) a multiple of 5?
False
Suppose 63 - 18 = 5*g. Let i = -4 + g. Does 5 divide i?
True
Suppose -2*h + 1 = -5. Suppose -7*g + h*g = -36. Is g a multiple of 3?
True
Suppose 1356 = 4*h - 372. Is h a multiple of 8?
True
Let u(r) = -124*r + 2. Let h(t) = 123*t - 2. Let m(p) = -3*h(p) - 2*u(p). Is m(-1) a mu