ose 0 = p + 4*c - 239, -8*p + 3*p = -2*c - 1129. Is p a multiple of 5?
False
Let b(t) = -727*t + 572. Does 17 divide b(-5)?
False
Let k be (3/6)/(2/48). Let a = 12 - k. Suppose -2*l - 4*f + 25 + 35 = a, -4*f - 192 = -5*l. Does 14 divide l?
False
Let b = 6 + -13. Let t(u) = 3*u**2 + 8*u + 17. Let y be t(b). Let d = y - 40. Is d a multiple of 21?
False
Let r(o) = o**2 + o + 14. Let p = -37 + 37. Is 8 a factor of r(p)?
False
Let d = 429 + -180. Is 13 a factor of d?
False
Suppose 816 = h + 11*h. Does 7 divide h?
False
Let q(x) be the first derivative of x**2/2 - x - 3. Is q(7) even?
True
Let i be 5/(20/88) + 0. Suppose -q - i = -123. Is 13 a factor of q?
False
Suppose -3*u + 36 + 243 = -3*v, v + 357 = 4*u. Does 11 divide u?
True
Let m(n) = 7*n**2 + 2*n + 2 + 6*n - 6*n + n**3. Let j be m(-5). Suppose 66 = 2*r - j. Is 18 a factor of r?
True
Is 15 a factor of 4179/9 - -1 - 3/9?
True
Let s = 23 + -25. Is 4 a factor of ((-264)/20)/(s/10)?
False
Suppose 0*c + 7*c = 315. Suppose x = 46 + c. Does 17 divide x?
False
Let g(h) = -2*h. Let p(u) = -u - 4. Let j be p(0). Does 8 divide g(j)?
True
Suppose -6*t - 43 + 253 = 0. Suppose -2*m + 49 + t = 0. Is m a multiple of 14?
True
Let q(w) = -5*w + 13. Let v(h) = h. Let y(b) = q(b) + 6*v(b). Is y(-3) a multiple of 4?
False
Suppose -z = a - 16 - 84, 4*a - 16 = 0. Is 8 a factor of z?
True
Suppose 5*f = 2*a + 16, 3*a + 24 = -f + 5*f. Let w(x) = -x**3 - 8*x**2 - 3*x + 8. Does 7 divide w(a)?
False
Suppose 7*n - 24 = 11. Suppose -262 = -3*i - n*x, 164 = 3*i - i - 2*x. Does 28 divide i?
True
Let f(i) = 0*i**2 + 4*i - 6 - 7*i**2 + 8*i**2. Is f(-10) a multiple of 9?
True
Suppose 5*y = -2*o + 232, -3*y + 175 - 33 = 4*o. Suppose 3*j + 2*w = y, 5*w = -j + 4*j - 53. Is 4 a factor of j?
True
Let r = -15 - -32. Let n = -10 + r. Suppose 4*d + 5*w = 94, -4*d + 5*w + 67 = -n. Is d a multiple of 11?
False
Let i(u) = 124*u**3 + 2*u**2 - 5*u + 7. Let m be i(2). Suppose 6*o - m + 169 = 0. Is 23 a factor of o?
True
Let f(r) = -r**3 - 11*r**2 - 7*r + 31. Let s be f(-10). Does 22 divide 1185/9*s + 3/9?
True
Suppose -3*s - 2109 = -3*u, 0 = -34*u + 31*u + 5*s + 2105. Is u a multiple of 15?
True
Suppose -4*x - 3*w = -1726, 2*w = 3*x + 3*w - 1292. Suppose -4*o + 603 = -5*d + 37, 0 = -3*o + d + x. Does 12 divide o?
True
Let x = 697 + -366. Is x a multiple of 51?
False
Let k(w) = w**3 + 21*w**2 + 21*w + 23. Let c be k(-20). Suppose 0 = -4*j - d + 28, -c*d + 28 = 3*j - 2. Does 3 divide j?
True
Suppose -134 = -16*z + 170. Let h be 9/((-14)/15 - -1). Suppose h = m + z. Is m a multiple of 29?
True
Let h be (-2 - -2)/(-2) - 0. Let m = -60 - -157. Suppose -3*t + 4*f = -h*t - 148, -f - m = -2*t. Is 24 a factor of t?
True
Let r = -122 - -113. Is 20 a factor of (-2)/r + 15824/72?
True
Suppose -5*z + 2*q - 148 = 0, 5*q = -2*z + 6*q - 60. Let b = z + 36. Is 4 a factor of b?
True
Let n(i) = 12*i - 1. Suppose 2*p - 26 = -2. Suppose 0 = 13*s - 15*s + p. Is 21 a factor of n(s)?
False
Let y(v) = v**3 - 3*v**2 - 7*v + 7. Let n(l) = -l**2 + 9*l + 27. Let i be n(11). Does 21 divide y(i)?
False
Let o(h) be the third derivative of h**5/10 + h**4/12 - h**3/6 - 11*h**2. Does 15 divide o(3)?
False
Let s(p) = -51 - 6 - 859*p + 878*p - 1. Is s(10) a multiple of 33?
True
Let h(b) be the first derivative of -b**4/2 - b**3/3 - 9*b**2/2 - 6*b + 9. Is h(-3) a multiple of 22?
True
Suppose -5*d = -2*t - 113 - 90, -t - 121 = -3*d. Suppose 0 = -2*x - x + d. Does 13 divide x?
True
Let k(h) = 577*h - 7. Is k(1) a multiple of 15?
True
Let f(h) = -h**2 - 8*h + 2. Let n be f(-8). Let b be 3/3 + n + 4. Suppose -q + b = -7. Is q a multiple of 10?
False
Let y(r) = 100*r + 67. Does 21 divide y(16)?
False
Let x(b) = 14*b + 7. Let a be x(3). Is 23 a factor of 126/a*((-140)/(-6) - 0)?
False
Suppose -31*y + 22*y = -468. Is y a multiple of 6?
False
Let l(d) = d. Suppose 4*h + 5*a = 8, -6*a + a = 0. Let j be l(h). Is 28 a factor of (j/(-4))/((-10)/840)?
False
Let w(m) = 2*m**3 + 3*m**2 - 3*m - 36. Is w(6) a multiple of 21?
False
Suppose 10*d + 11 = 31. Suppose -4*n + p + 3*p + 96 = 0, -92 = -5*n - d*p. Is n a multiple of 14?
False
Let l(d) = 88*d - 40. Is l(3) a multiple of 32?
True
Is 1440 + (-920)/(-280) + 2/(-7) a multiple of 14?
False
Let v = -205 + 81. Let q be 3/(-2 - v/56). Suppose -h = -4*d - 7, -2*h + 4*d + 0*d = -q. Does 2 divide h?
False
Let h be -1 + 1 + (-5 - 112*-1). Let n = h + -57. Does 7 divide n?
False
Let g(u) = -u**3 - 3*u**2 + 4*u + 2. Let q be g(-4). Suppose 19*c - 26*c + 35 = 0. Suppose c*k - 81 = q*k. Is 9 a factor of k?
True
Let q(j) = -j**2 + 16*j + 44. Let w(c) = -c**2 + 15*c + 43. Let d(l) = 5*q(l) - 4*w(l). Does 7 divide d(16)?
True
Let y be 0/2 + 1 - -2. Suppose h + 15 = y*h - 5*f, 3*f + 9 = -3*h. Suppose h*l = -p + 4*l + 63, 0 = -4*l - 20. Is p a multiple of 19?
False
Let v(l) = l - 1. Let m be v(-3). Let c be m/(-2)*(-20)/(-8). Suppose 14 = -c*t + 214. Does 10 divide t?
True
Let d = -61 - -37. Let t = -45 - d. Does 16 divide (90/t)/(2/(-28))?
False
Let f = -11 - -16. Suppose l - u = u - 2, f*l = u + 35. Does 14 divide (-4)/(32/(-60))*l?
False
Let f(a) be the third derivative of a**4/8 - a**3/6 + 3*a**2. Let o be f(7). Let z = o - 17. Is z a multiple of 3?
True
Is 3 + 1928/4 - 5 a multiple of 12?
True
Suppose -20 = -f + 8*h - 3*h, -4*h = -5*f + 16. Suppose -32*l + 29*l + 477 = f. Is 53 a factor of l?
True
Let y be (-1152)/(-45) + (-2)/(-5). Suppose -p = -3*t - y, 20 = -t - 3*t. Is 2 a factor of p?
False
Suppose 45*a - 21 = 44*a. Does 3 divide a?
True
Let f(u) = 2*u - 16. Let i be f(10). Suppose 0 = -n - 4*k + 30, 5*k = n + i*n - 200. Is n a multiple of 2?
True
Suppose v = 4*r - 3*r + 24, 0 = -3*r + 9. Let c = 16 + -1. Let k = v - c. Is 6 a factor of k?
True
Let f(j) = -11*j**2 + 6*j - 7. Let w be f(2). Let c = 129 + w. Does 9 divide c?
True
Suppose 5*v + 2472 = 3*k + 8*v, 5*k + 3*v = 4128. Is 18 a factor of k?
True
Suppose -3*l + 199 + 188 = 0. Let k = -81 + l. Let j = k - 22. Does 14 divide j?
False
Let f(k) = -11*k + 35. Is f(-10) a multiple of 32?
False
Suppose 0 = 5*d + 3*z - 16, -6*z + z = 3*d - 16. Let l be 46/d + 1 + -3. Is 5 a factor of (l/4)/(3/8)?
False
Suppose 3*m + 0*m = 0. Suppose m = -s + 4*s - 249. Suppose -37 = -3*k + s. Does 20 divide k?
True
Suppose -2*b = -5*q + 6722, 2*q + b + 198 = 2885. Is q a multiple of 64?
True
Let p = 6 + -2. Is 11 - (12/p + -7) a multiple of 13?
False
Is (3/4)/((-6)/(-8928)) a multiple of 18?
True
Let r(y) = 3*y + 0*y - 5*y + y - 109*y**3. Let m be r(-1). Suppose 0 = 3*v - 5*a - m, 4*v + a + 4*a = 100. Is v a multiple of 8?
False
Let d = 1003 - -76. Does 13 divide d?
True
Let z(n) = -n**2 + 6*n + 18. Let h be z(8). Suppose 0 = 5*m - 48 - h. Does 4 divide m?
False
Let o = -16 + 10. Let k be (-126)/(-4) + o/(-12). Suppose u = 5*u - k. Is u a multiple of 7?
False
Let c = -8 + 11. Suppose -18 = -c*u + 3. Suppose -w - 2*r = -15, -4*w + 5*r + 27 = -u. Is 4 a factor of w?
False
Suppose 0 = -k - 4*k - 1185. Let c(r) = -2*r**2 - 5*r + 15. Let l be c(-6). Is k/l - 2/(-9) a multiple of 5?
False
Suppose -t + 5*t = -5*r + 7, -5*r - t - 2 = 0. Is (1716/(-60))/(r/5) a multiple of 11?
True
Let a(n) = -6*n**3 + 5*n**2 - 7*n - 2. Is 12 a factor of a(-4)?
False
Let m(o) = o**2 - 21*o + 22. Let u be m(20). Does 7 divide 27 - u*(-5)/10?
True
Is (-18)/54 - 1362/(-9) a multiple of 3?
False
Suppose -2*y + 698 = -4*n, -1700 = -11*y + 6*y - 5*n. Is 3 a factor of y?
False
Suppose 2*u - 5*p = 61, -p + 5 = -0. Suppose -160 = -i + u. Does 12 divide i?
False
Let o be (-6)/(-4)*(6 - 88/12). Is (-98)/(-8) - o/(-8) a multiple of 12?
True
Let j(n) = 3*n**2 + 33*n + 68. Is j(16) a multiple of 62?
True
Let m = 117 - 113. Suppose m*q - 95 = 3*q - 3*t, -196 = -2*q - 3*t. Is q a multiple of 6?
False
Suppose 5*b + 2*g - 2424 = -320, 4*g = 3*b - 1252. Does 70 divide b?
True
Let f(t) = -3*t**3 + 4*t**2 + 25*t + 76. Is f(-3) a multiple of 2?
True
Suppose 0 = -4*q - 6*w + 4*w + 36, 5*q + 5*w - 55 = 0. Suppose -q*j = -6*j - 60. Does 15 divide j?
True
Suppose 1781 - 14091 = -10*g. Is 36 a factor of g?
False
Let n be (0/1)/(-6 - -8). Suppose r + b + 0 + 97 = n, 5*r = -2*b - 482. Let z = -65 - r. Is 14 a factor of z?
False
Let v be ((-208)/(-65))/(2/40). Suppose -3*n + 4*n + v = 4*m, 4*m = 4*n + 64. Is m a multiple of 13?
False
Suppose 72 = 2*q + 3*u - 0*u, -2*u 