**2 + 4*j + 5. Is o(d) a multiple of 9?
True
Suppose -2*n - 34 = -4*n. Let v = n - -9. Does 26 divide v?
True
Let i = 659 - 455. Does 67 divide i?
False
Let d(s) = -s**3 - 5*s**2 + 6*s + 5. Let n be d(-6). Suppose 0 = -n*r - 0*r - 10, 2*a + 2*r = 172. Suppose b - a = -3*b. Is 22 a factor of b?
True
Let l = -123 - -184. Is 12 a factor of l?
False
Let p(h) be the second derivative of -h**3/6 - h**2/2 + 5*h. Let m be p(1). Is (-2 - m) + 27 + -3 a multiple of 12?
True
Suppose 0 = 2*b + h + 10, -3*b + 0*b + h - 15 = 0. Let r(o) = 5*o + 14. Let t(w) = -11*w - 29. Let x(m) = -5*r(m) - 2*t(m). Does 2 divide x(b)?
False
Suppose 0 = -2*y - 13 + 1. Suppose 0 = -16*f + 10*f - 12. Is ((-28)/y)/(f/(-6)) a multiple of 14?
True
Let l = -44 + 60. Let f = l - -82. Does 7 divide f?
True
Let y(l) = -l**3 + 4*l**2 + 8*l - 2. Let c be y(6). Let m = c + 50. Does 11 divide m?
False
Let d = 1798 - 1144. Is d a multiple of 6?
True
Suppose 0 = 18*k + 4187 - 13763. Is 15 a factor of k?
False
Is (-3)/18 + 22132/24 a multiple of 12?
False
Suppose -5*s - 1745 = -5*d, -d - 3*s - s + 369 = 0. Suppose -5*g = -d + 88. Does 30 divide g?
False
Let p = 73 - 57. Is p a multiple of 8?
True
Let f(d) = -d**2 + 7*d - 6. Let a be f(6). Suppose -v - 70 = -3*b, 3*v + 3 = -a*v. Is 6 a factor of b?
False
Let o(n) = -13*n + 39. Let m(l) = -2*l**2 + 6*l - 6. Let i be m(3). Is o(i) a multiple of 39?
True
Suppose -331*s = -337*s + 48. Is s a multiple of 4?
True
Suppose 5*o - 2*x - 1702 = 0, 1024 = 4*o - o - 4*x. Is o a multiple of 20?
True
Suppose -5*j + 624 + 421 = u, -836 = -4*j - 2*u. Suppose -5*i + 629 - j = 0. Is i a multiple of 12?
True
Let a(h) = h**2 + 7*h - 51. Is a(9) a multiple of 35?
False
Let s(o) = 2*o**3 + 27*o**2 - 17*o + 16. Is s(-14) even?
True
Suppose 25*j = 4453 + 4397. Is 59 a factor of j?
True
Is 67 a factor of 445 + 26 + 6/(-2) + 1?
True
Suppose -26*g + 67400 = -63432. Is g a multiple of 37?
True
Let l(y) = 466*y**2 - 7*y - 10. Does 18 divide l(-1)?
False
Suppose 0*s = s. Let c = 657 - 649. Suppose s*q = -q + c. Is 4 a factor of q?
True
Let p = 12 - 15. Let o be (-1)/(-3) + (-1031)/p. Does 19 divide o/6 - 1/3?
True
Suppose 12*q + 64 = 8*q. Suppose -3*i = -6*i + 60. Let b = q + i. Is b a multiple of 4?
True
Let u be 28/35 - (-14)/(-5). Let q be 5 + -1 + (u - -1). Suppose 0 = -5*x - i + 78, 5*x - q*i - 90 = 2*i. Is 4 a factor of x?
True
Is ((-80)/(-2))/((-42)/(-1050)) a multiple of 40?
True
Let q = -55 + 167. Let h = -79 + q. Suppose -f + 4*f - h = 0. Is 11 a factor of f?
True
Suppose -2*o = -0*o + 2*p - 240, 0 = 4*p + 16. Suppose -3*u + o = -2. Is u a multiple of 7?
True
Suppose 0 = -5*s + s + 1500. Is s a multiple of 2?
False
Let x(q) be the second derivative of q**5/20 - q**4/12 + q**3 - 2*q**2 + 6*q. Is 17 a factor of x(4)?
True
Suppose 13 = 6*v - 5. Is 6 a factor of (8 + 1)/(v/6)?
True
Suppose -2*x - k + 136 = x, 4*x + 3*k = 183. Suppose 40*w - x = 35*w. Is 3 a factor of w?
True
Let m(l) = -l - 6. Let z(a) = 2*a + 13. Let s(c) = 5*m(c) + 2*z(c). Let r be s(-6). Suppose 0*f - y - 17 = -r*f, 2*y + 43 = 5*f. Is 9 a factor of f?
True
Let h(a) = -a**3 + 9*a**2 + 11*a - 6. Suppose 1 = 4*x - 3*x, -4*w + 44 = 4*x. Let q be h(w). Suppose -r = -q*r + 126. Does 14 divide r?
True
Let n = 60 + 14. Let y = n - 66. Is y even?
True
Suppose -10 = -s - 5. Suppose s*c = -4*q + 10, -q - 4*c = -3*c - 2. Is (-869)/(-11)*(q - -1) a multiple of 10?
False
Is 11 a factor of (-1 + -1)/6*-90?
False
Let o be 492/(-2)*(-1 + 0). Let x be ((-25)/(-5) - -4) + -3 + -3. Suppose 2*l = -x*l + 4*m + o, -2*l = 5*m - 72. Does 23 divide l?
True
Let i(y) = y**3 - 13*y**2 + 14*y + 7. Let p(x) = -2*x**3 + x**2 - x + 2. Let j be p(-2). Suppose -3*g + 5*g = j. Is 17 a factor of i(g)?
False
Suppose 2*p = 3 + 3. Suppose p*z = -z + 68. Suppose -z = -10*u + 9*u. Does 11 divide u?
False
Let y be ((-2)/(-4))/((-1)/(-6)). Let v be 1 + (-72)/60*40/(-6). Does 16 divide 81*(y - 24/v)?
False
Let f be (-6)/(-24) + (-11)/(-4). Suppose -5*x - f*b = 750 + 633, -b = x + 277. Is (-12)/(-15) - x/5 a multiple of 13?
False
Let d(b) = -68*b**3 + 8*b**2 - 4*b - 5. Let m be d(5). Is 21 a factor of m/(-81) - 2/(-9)?
False
Let u = 9 - 13. Let z be (3 - 33)*6/u. Let b = z - 19. Does 5 divide b?
False
Suppose -4*q - 12 = 4, -5*q + 1996 = -4*j. Let x be 8/(-2) + j/(-8). Let u = x - 32. Is u a multiple of 5?
False
Suppose -l = -4*h + 10245, 0 = -13*l + 9*l + 12. Is 122 a factor of h?
True
Let m(x) = -16*x**2 + 12. Let r(h) = -1. Let d(n) = -m(n) - 8*r(n). Is d(3) a multiple of 9?
False
Let y(d) be the third derivative of -d**5/15 + d**3/6 - 4*d**2. Let a(b) be the first derivative of y(b). Is a(-2) a multiple of 14?
False
Suppose p - 5*n + 16 + 13 = 0, -5*p = 4*n. Let j = 8 + p. Suppose j*o + 4*k = 168, 3*k + 0*k = -2*o + 88. Is o a multiple of 11?
False
Let j(o) be the first derivative of -33*o**2/2 - 3*o + 20. Does 12 divide j(-3)?
True
Let y(f) = f**3 + f - 21. Let m be y(0). Let v be 540/m + 2/(-7). Is 8 a factor of (-3)/2*(v - -2)?
False
Suppose y + 34 = 2*f, -3*y - 12 = 3*f + 45. Suppose -3*i + 96 = 2*m, 0 = i - 0*m + 5*m - 19. Let v = i + y. Is v a multiple of 3?
False
Let d be -9 - ((2 - 6) + 1). Let n = -11 - d. Is 4*n/((-60)/147) a multiple of 10?
False
Suppose 0 = -4*n - s + 46, -3*n = 2*n + 4*s - 52. Suppose -18 = -3*z - n. Suppose 3*o + 4*p = z*p + 96, 4*p - 162 = -5*o. Is 8 a factor of o?
False
Suppose 3*v + 12 = s, 4*s - 21 = 2*s + 5*v. Suppose s*g - 6 = g. Suppose -4*q - g*k + 54 = -33, k = -5*q + 117. Does 15 divide q?
False
Let u be ((-12)/(-9))/((-14)/42). Let p(f) = -6 + 4 - 41*f + 9*f. Does 28 divide p(u)?
False
Let f(s) = 11*s**2 + s - 1. Let p(y) = y**2 + 7*y + 12. Let m be p(-5). Does 15 divide f(m)?
True
Suppose -4*r + 2*r + 16 = 0. Suppose 2*k + 2*g = -r, -g - 23 + 1 = 4*k. Is ((-27)/k)/((-5)/(-30)) a multiple of 6?
False
Let v(z) = 325*z - 249. Is v(3) a multiple of 11?
True
Let l be (-10)/(((-1)/(-17))/1). Let r = l - -274. Is 11 a factor of r?
False
Let d = 482 + -335. Let r = -91 + d. Is 4 a factor of r?
True
Let j = -364 + 382. Is 3 a factor of j?
True
Let s = 3617 - 977. Is s a multiple of 11?
True
Suppose 2*g = -g + 4*k - 25, -g + k = 9. Let d = 13 + g. Suppose -l + 178 = 5*r, 0*l - d*l = 4. Is 12 a factor of r?
True
Let n be (-4 + 4)/(0 + 2). Suppose n = f + f - 8. Suppose -7 + 27 = -5*j, -4*j = -f*r + 248. Is 22 a factor of r?
False
Suppose -5*x - 1925 = -2*g, 2*g + 6*x = 3*x + 1917. Does 32 divide g?
True
Let k(r) be the first derivative of -2*r**3/3 + 31*r**2/2 + 2*r - 12. Does 11 divide k(14)?
True
Suppose -7*u = -2*q - 3*u - 8, -3*q = 4*u - 28. Suppose 0 = q*f - 84 + 32. Let l = f + 30. Is l a multiple of 12?
False
Let l be -1 + 3 - (0 - -3). Let v be l/(-3) + 124/6. Let h = v - 18. Is 2 a factor of h?
False
Let k(z) = -2 + 2 + 5 + 5*z**2 + 6*z - 4. Does 7 divide k(-3)?
True
Let k be 1 - (2 - -1) - (-12 - -2). Suppose -k*d - 33 = -225. Does 8 divide d?
True
Suppose 2*t - 57 = 7. Let r = -38 + t. Let m(c) = -c**3 - 3*c**2 + 16*c + 9. Is 7 a factor of m(r)?
True
Let b(f) = -f - 3. Let g be b(-8). Suppose -16 = -2*m + g*z, -z - 2*z - 21 = -5*m. Suppose 167 + 13 = m*h. Is 19 a factor of h?
False
Let f(o) be the first derivative of -2*o**2 - 14*o + 7. Is 3 a factor of f(-7)?
False
Suppose 6 = -47*i + 49*i. Does 30 divide (i - 6)/(-9) - 233/(-3)?
False
Is 6 a factor of 862/16 + 57/456?
True
Let d(l) = -3*l + 51. Let q be d(15). Suppose 0 = 4*c + 2*n - 822, -c - 1034 = -q*c + 4*n. Is c a multiple of 20?
False
Let m(c) = -16*c - 68. Does 10 divide m(-28)?
True
Let f(m) = -m**2 + 2*m - 3. Let c be f(-3). Let r be c*(-2)/(-10)*15. Let b = 128 + r. Is 20 a factor of b?
False
Suppose s = 5*g + 192, -3*g + 359 = -5*s + 1341. Is 21 a factor of s?
False
Let k = 6179 + -4271. Does 21 divide k?
False
Let d(q) = 81*q**2 + 3*q + 3. Is d(-1) a multiple of 9?
True
Let c = 68 + -65. Suppose -k - c*w - 2*w + 2 = 0, -4*w - 104 = -4*k. Is 11 a factor of k?
True
Let l = 2071 + -1493. Is 34 a factor of l?
True
Let z be 3*(-6)/(-9) + 63. Let r be -2*(z/(-2))/(-5). Let b = -7 - r. Is 2 a factor of b?
True
Let m(b) be the second derivative of -b**5/20 + 5*b**4/12 + 7*b**3/6 - 9*b**2/2 - 4*b. Does 17 divide m(5)?
False
Does 13 divide (-4356)/(-15)*(420/36 + -5)?
False
Suppose 3*x = -5*t + 930, 310 = -x + 2*x - t. Is x a multiple 