 second derivative of q**4/12 - 2*q**3/3 - 9*q**2/2 - 55*q. Let a be (-4)/(2/(-4) - -1). Is h(a) a multiple of 29?
True
Suppose 3*i = 3*t - 18, 2*t + 7 - 19 = -2*i. Is ((-10)/(-3) - 2)*387/t a multiple of 3?
False
Let r = 98 - 89. Let o(u) = -2*u - 7. Let a(h) = -3*h - 14. Let q(m) = 3*a(m) - 7*o(m). Is 12 a factor of q(r)?
False
Let m(w) = w**2 + 14*w - 40. Let b be m(-18). Suppose c + 5*k = 26, -b = -c + 5*k + 24. Is c a multiple of 15?
False
Let l(d) = 2*d**2 + 7*d - 9. Let f be l(5). Is 16 a factor of (-2)/6 + -7*f/(-12)?
False
Let t(u) = 2*u**3 - u**2 - 2*u - 3. Suppose -2*n = d - 3, -4*d + 0*d - n = -33. Suppose 4*y + d = 3*r, 4*r + 4 = 4*y + 16. Does 18 divide t(r)?
True
Let k(z) = -z**3 - 2*z**2 + 15*z - 18. Is 4 a factor of k(-8)?
False
Let v(i) = -1. Let h(m) = m - 53. Let t(d) = -h(d) - 4*v(d). Is t(-28) a multiple of 12?
False
Suppose 0 = -h + 3*g + 54, 0 = 3*h - h - g - 93. Let p = h - 33. Is 4 a factor of p?
True
Does 63 divide 42/35*2205/6?
True
Is 31*(-65)/10*-2 a multiple of 13?
True
Suppose -j - f + 669 = 0, 0 = 5*j + 4*f - 9*f - 3315. Does 7 divide j?
False
Let u = 366 - 201. Is u a multiple of 15?
True
Let o be 2 - (-4)/2 - -288. Suppose -7*f - o = -1167. Is f a multiple of 13?
False
Suppose 530*y - 529*y = 232. Is 10 a factor of y?
False
Let g = -3 + 37. Suppose -k = 4*o - 77, -4*k - g = o - 282. Suppose 3*h - k = 23. Does 13 divide h?
False
Does 81 divide 6/12*-8 - -59*13?
False
Let t = 269 + -85. Does 19 divide t?
False
Let k = -541 - -1101. Is k a multiple of 16?
True
Let s = -791 + 1142. Is 27 a factor of s?
True
Let i = -739 - -1521. Does 35 divide i?
False
Let r(d) = d**2 - 2*d + 1 + 3 - 9 - 5. Let u be r(8). Let q = 58 - u. Does 10 divide q?
True
Let v = 79 - 56. Does 15 divide (v + 7)/((-1)/(-1))?
True
Let c = 4 - 12. Suppose 0 = q - 3 - 11. Is c/(-28) - (-80)/q a multiple of 3?
True
Let p be (-2)/4 - 4455/(-10). Let t = p + -185. Is 18 a factor of -5*13/(t/(-216))?
True
Suppose -462 = 2*y - 8*y. Is y a multiple of 6?
False
Let m(w) = -w**2 - 55*w - 42. Is 34 a factor of m(-28)?
True
Does 32 divide (-19 - -13) + (-226)/(-2)?
False
Suppose -r - 3*r - 17 = -x, -2*x = r - 70. Is x even?
False
Suppose -2*z = -0*k - 4*k + 116, 5*z = 3*k - 94. Is 14 a factor of (k/3)/((-11)/((-660)/8))?
True
Suppose d - 6 = -d. Suppose l = -y + 1, -4*l - d = -6*l - y. Suppose 5*t - 4*r + r - 40 = 0, 0 = l*r. Does 3 divide t?
False
Suppose 8*r = 25*r - 12529. Is 67 a factor of r?
True
Suppose -j = 3*g + 6, j - 6*g - 18 = -g. Suppose -3*a = 3*u - 8*u, -j*a + u = 0. Let f = 7 + a. Is f a multiple of 5?
False
Suppose t + 3*v = 20, -19 = 3*t + 3*v - 49. Suppose -6*m = -t*m - 55. Does 11 divide m?
True
Suppose 7*f - 11*f - 3*v + 2724 = 0, 2*f - 5*v = 1362. Is f a multiple of 20?
False
Suppose -1952 = -4*y + 4*z, 13*y = 16*y + 5*z - 1432. Is y a multiple of 23?
False
Let w(y) be the first derivative of -y**4/2 - 5*y**3/3 + 3*y**2 - 10*y - 10. Is 17 a factor of w(-5)?
True
Suppose s - 104 = -4*l, -l + 30 = 2*s - 185. Suppose i = s - 16. Does 13 divide i?
False
Let r be (-28)/(-5) - 6/10. Suppose 0 = -4*n + 12, -r*i - 5*n - 44 = -184. Is 12 a factor of i?
False
Let q(n) = n - 18. Let g be q(16). Let u be (-4 - -38)*g/4. Let d(m) = m**2 + 15*m - 20. Is d(u) a multiple of 4?
False
Suppose -664 = -3470*v + 3466*v. Is 7 a factor of v?
False
Does 15 divide -2*(1 - (-559)/(-2))?
False
Let o(r) = -497*r - 128. Is 62 a factor of o(-4)?
True
Suppose -6*i = 4*c - 2*i - 36, -3*c = -2*i - 7. Let s(k) be the third derivative of k**4/3 - k**3/3 + 305*k**2. Does 8 divide s(c)?
False
Let s = -2269 - -3720. Is 9 a factor of s?
False
Let y = 574 - 314. Is y a multiple of 6?
False
Suppose -7*i + 207 = -178. Let s = i - -2. Does 3 divide s?
True
Suppose 2*u - 50 = -5*m, 0*u + 4*m = 2*u - 32. Is 4*(u/4 - -51) a multiple of 16?
True
Is 6 a factor of 3/(-7) - (-8154)/14?
True
Let p(d) = -d + 7. Let s be p(5). Suppose -5*j - 20 = -0*u + 4*u, -5*u = 4*j + 16. Suppose u*v + 74 = s*v. Does 24 divide v?
False
Suppose 9*j - 1138 = -148. Let c = j - 48. Is c a multiple of 31?
True
Let i(p) = -2*p**3 - 2*p**2 + 5*p - 25. Does 103 divide i(-7)?
False
Let q = 20 - 16. Suppose -c + 412 = q*r - 3*c, -4*r + 4*c + 408 = 0. Does 25 divide r?
False
Let m(w) = -7*w**3 - 9*w**2 + 2*w - 5. Does 15 divide m(-6)?
False
Suppose 150*z - 146*z - 3980 = 0. Suppose z - 266 = 9*n. Is n a multiple of 27?
True
Let w(b) = -b**2 - 9*b + 17. Let j be w(-10). Suppose -42 = -5*x - j. Is x a multiple of 7?
True
Let j(w) = 68*w**2 + w - 1. Is 13 a factor of j(2)?
True
Let d = -94 + -1. Is 39 a factor of (-38)/d + (-344)/(-5)*2?
False
Let w(f) = -15*f**3 - 1 + 11*f**2 - f + 5 + 14*f**3 + 3. Is w(8) a multiple of 16?
False
Let h = 125 - -145. Is 18 a factor of h?
True
Let t = 78 + -39. Suppose t = -4*z + 7. Does 8 divide (-144)/z*(-6)/(-4)?
False
Let a(g) = -g**2. Let m be a(-1). Let y = -2 - m. Let t(u) = -8*u**3 - 2*u**2 - 2*u - 1. Is t(y) a multiple of 2?
False
Let c be (-11)/(-2)*(-11 + 9). Let y = c + 4. Let v(q) = -5*q - 12. Is 18 a factor of v(y)?
False
Let b be 16/(-120) - (-124)/30. Suppose 0 = b*d - 9*d + 70. Is d even?
True
Let w = 613 - 181. Is 10 a factor of w?
False
Suppose 377 = 9*b + 44. Is b a multiple of 2?
False
Let f = 225 + 27. Is f a multiple of 21?
True
Let i(j) = -48*j**2 + 3*j - 3. Let a be i(1). Let d be (2 - (0 + 2)) + -8. Is ((-66)/d)/((-12)/a) a multiple of 8?
False
Suppose 0 = -3*o - 4*p + 55, -2*o + 5*p + 29 + 23 = 0. Suppose -22*h = -o*h - 3. Is 3 a factor of h?
True
Suppose -3*s = -h - 569, 565 = 3*s + 18*h - 23*h. Does 95 divide s?
True
Let p(z) = 2*z - 22. Let c be p(10). Let f be c/(-4) - 15/(-6). Suppose 8*w - 395 = f*w. Is w a multiple of 21?
False
Suppose 8*z = 5*z + 6. Suppose -2 = -z*g - 5*v - 7, -4*g = -3*v - 29. Let j(b) = -b**3 + 4*b**2 + 6*b + 4. Is j(g) a multiple of 9?
True
Let f(d) be the second derivative of d**3/2 - 3*d**2 - 6*d. Let y be f(3). Suppose y*g - 164 = -62. Does 16 divide g?
False
Let r = 6 - 11. Let o = r - -16. Suppose -2*j + o = -27. Does 19 divide j?
True
Let s = 445 - 265. Suppose 2*z + 81 + 54 = 3*v, -4*v - z = -s. Is v a multiple of 15?
True
Let o = -7 - -9. Let g be (-51)/2 - 1/2. Is -1 + (6/o - g) a multiple of 10?
False
Suppose -6*j - 2*j + j = 0. Suppose j = -8*v + 327 + 393. Is 15 a factor of v?
True
Let c be (-4426)/(-8) + 1/(-4). Let g = c - 276. Suppose 3*p + g = 5*t, -143 = -3*t - 3*p - p. Is t a multiple of 21?
False
Suppose 456 - 18 = -6*w. Let t = -106 - w. Let s = 48 + t. Is 5 a factor of s?
True
Is 13 a factor of 39/(2/((-70)/(-7)))?
True
Let m(l) = -5 - 10*l + 10 + 4 + 0*l. Is 19 a factor of m(-5)?
False
Let v(k) = 63*k - 9. Let x be v(2). Suppose -3*d - d + 2*l = -108, 2*l - x = -5*d. Does 25 divide d?
True
Suppose 2*g + 3*p = 2*p + 9, -p + 12 = 3*g. Let b(s) = 22*s + 10. Is b(g) a multiple of 38?
True
Suppose -2*o = 5*t - 10, -5*o - t = -0*t - 2. Suppose o = 2*f - 451 + 69. Is f a multiple of 43?
False
Let y(w) be the second derivative of w**4/3 - 19*w**3/6 - 2*w**2 - 12*w. Is 25 a factor of y(8)?
True
Let g be 2 + (27/(-6))/((-3)/(-4)). Is 90*(-2 + 1)*g/3 a multiple of 12?
True
Let u be 4/6 - 37/(-3). Let v = -42 - -70. Let b = u + v. Is b a multiple of 28?
False
Suppose -5*w = p - 20, 3*w - 5 = -2*w - 4*p. Suppose -9 - 81 = -w*j. Is j a multiple of 4?
False
Let d = -31 - -63. Let n be 1 + 22/(-18) - 318/27. Let g = n + d. Is 5 a factor of g?
True
Let b = -29 - -34. Let s = b + 41. Does 23 divide s?
True
Suppose 0 = -7*z - 54 + 152. Let v(k) = -k**3 - k**2 + k + 4. Let q be v(-3). Let r = q + z. Is r a multiple of 7?
False
Suppose -16*v = -18*v + 8. Is 12 a factor of (-2 + (-10)/v)/(7/(-56))?
True
Suppose 0 = -5*s + 20*s - 915. Does 5 divide s?
False
Suppose 7*g = 10*g - 9. Is (-16)/(-12) - (-104)/g a multiple of 4?
True
Suppose -3*t - 9 = 0, 4*t = 3*j - 8*j - 12. Suppose j*r = -10*r + 860. Is 22 a factor of r?
False
Suppose -3*t + 0*t = -9. Suppose -t*p - p + 59 = 5*h, 17 = 2*p + 5*h. Let g = 0 + p. Is g a multiple of 19?
False
Let f(d) = 55*d**2 - 45*d - 6. Does 13 divide f(5)?
True
Suppose 7*x + 991 = 2*x - 2*s, -x = 4*s + 191. Let u = 459 + x. Is 39 a factor of u?
False
Let f = -781 - -1020. Does 18 divide f?
False
Let m(s) = s**2 + 8*s - 8. Let l be m(-10). Let o be 1/((-2)/l*-2). Suppose -o*n + 2 + 22 = 0. Is 