s. Is p a multiple of 3?
False
Let s(d) = -27*d**3 + 3*d + 4. Suppose -5*n = n + 6. Does 23 divide s(n)?
False
Let v(f) be the second derivative of -f**5/20 - f**4 + 4*f**3/3 - 5*f**2 - 3*f. Is 13 a factor of v(-13)?
False
Does 79 divide (-18)/15*(-1580)/6?
True
Does 25 divide 2/(22 + -18)*120*2?
False
Let p = 212 - 138. Let j = 94 - p. Is j a multiple of 20?
True
Suppose 3*u = 5*v + 32, -4*u + 1 = 5*v + 5. Suppose -5*w - u*x = -365, 2*w - 5*w + 3*x = -246. Is w a multiple of 4?
False
Let w = 28 - -19. Let b = w + -75. Let p = -5 - b. Is 5 a factor of p?
False
Suppose 0 = -2*o + 5 + 1. Suppose 0 = 5*y + 20, y - 1 = o*a - 14. Suppose a*u + 3*g - 46 = 92, -3*u + 118 = -2*g. Is 12 a factor of u?
False
Let b be (-2)/4 + 18/(-4). Suppose 2*m = -2*o, 3*o - 18 = 8*o - 4*m. Is o/5*50/b even?
True
Let r = -289 + 284. Let l = 2 - -13. Does 4 divide (-4 - (-48)/l)*r?
True
Let p(l) = 52*l - 40. Is p(7) a multiple of 18?
True
Suppose -164 = -2*t - 5*y, -5*y + 4 - 14 = 0. Suppose t = w - 12. Is 33 a factor of w?
True
Suppose 3*a + 3 = -3*s, 3*a + 3*s + 3 = -2*a. Suppose a = -3*m + 8 + 1. Is -2 - -43 - (-2 + m) a multiple of 16?
False
Let t(f) = -f**2 - 7*f - 9. Let s be t(-6). Let h be 3*((s - -1) + 3). Is 24 a factor of (14 - 5)/(h/16)?
True
Let n(m) = 20*m - 5. Let x(u) = -39*u + 11. Let i(k) = -10*n(k) - 4*x(k). Does 14 divide i(-4)?
True
Suppose 5*t - 998 = 4*t - p, 2*t - 2*p - 2000 = 0. Is 16 a factor of t?
False
Suppose 2*o + 11*o = 78. Suppose -o*q + 2*q + 228 = 0. Does 19 divide q?
True
Suppose -85*k + 79*k + 1668 = 0. Does 37 divide k?
False
Suppose 70*x - 15*x = 44000. Is x a multiple of 16?
True
Suppose -3*l = -l - 392. Is l/(-5*(-4)/10) a multiple of 14?
True
Let z(b) = b**2 + 8*b - 16. Let u be z(-12). Let f = u - 13. Suppose 22*w = f*w + 54. Does 6 divide w?
True
Let z(i) = 11*i**2 + 7*i - 1. Let p be z(-5). Let v = -97 + p. Is v a multiple of 13?
False
Suppose 3*t = q + 133, 2*q = 3*t - 2*q - 118. Suppose t + 19 = 5*o. Is 10 a factor of o?
False
Suppose 0 = -18*o + 38*o - 29340. Does 106 divide o?
False
Suppose -4*g = -5*y + 91, 3*g = -4*y + 5 + 43. Suppose y*x - x - 1260 = 0. Is x a multiple of 30?
True
Let g = 1313 - 1309. Let p(v) = -11*v - 17. Let y(l) = -23*l - 35. Let m(i) = -5*p(i) + 2*y(i). Is 15 a factor of m(g)?
False
Suppose 2 = -5*r + 12. Suppose -3*p + 13 = r*k - 1, 0 = -4*k + 5*p + 50. Is k a multiple of 10?
True
Let q(t) = -872*t - 4. Let d be q(-7). Does 13 divide ((-6)/4)/(-3) + d/40?
False
Let i(p) = p - 5. Let x be i(7). Let c(z) = 7*z - 3 + 5*z - 1 + x. Does 9 divide c(3)?
False
Suppose -3*j + 2*h + 2*h + 372 = 0, -2*j + 259 = h. Suppose -4*a + 3*o + 138 = 0, 3*a + a + 2*o - j = 0. Does 22 divide a*(0 + 12/9)?
True
Let q(w) = w**3 - 7*w**2 - 13*w + 21. Let a be q(9). Is 10 a factor of (-21)/(1/(-4)*a/55)?
True
Let p(a) = a**2 - 6*a - 14. Let u be p(8). Suppose -2*r + q = 2*r - 803, -u*r + 398 = -4*q. Let f = r + -141. Is 12 a factor of f?
True
Let w = -25 - -20. Let t(f) = -f**3 - 6*f**2 - 5*f. Let j be t(w). Let z(s) = -s**3 - s**2 + s + 29. Is 17 a factor of z(j)?
False
Let c(h) = 190*h + 154. Is c(5) a multiple of 24?
True
Suppose -6*v + 3*v = -189. Suppose -11*r + 8*r + v = 0. Is 4 a factor of r?
False
Is 20 a factor of 5 - (-372)/(-72) - 4538/(-12)?
False
Let r(w) = -w**3 + 10*w**2 + 11*w + 11. Let q be (-33)/1*3/(-9). Let o be r(q). Suppose -3*u = -o - 4. Is 5 a factor of u?
True
Suppose 25 = 9*q - 4*q, 0 = 3*g + q - 2237. Is 12 a factor of g?
True
Suppose 4*z + 48 = -2*q, 2*z - 14 = 4*q + 52. Let s = 22 + q. Is 17 a factor of -3 - (-19 - 4/s)?
True
Suppose 5*k = 8*d - 7*d + 5628, 0 = 3*d - 6. Does 4 divide k?
False
Let i = 121 + -171. Let a be 4/10 - (-270)/i. Is ((-4)/a)/(2/60) a multiple of 12?
True
Let i = 7 + -25. Let t(z) = 7*z + 66. Let s be t(-10). Let l = s - i. Is 4 a factor of l?
False
Let x(b) = -2*b**3 + b**2 + 2*b + 72. Let o = -49 + 49. Does 8 divide x(o)?
True
Let u be (-4 + 3/1)/(-1)*443. Suppose -5*d = -u - 642. Does 19 divide d?
False
Let y(g) be the second derivative of -43*g**3/3 - 4*g**2 + 23*g. Does 13 divide y(-2)?
False
Suppose -18*t + 0*t + 3348 = 0. Is t a multiple of 44?
False
Suppose -197 + 2837 = 4*b. Is b a multiple of 20?
True
Suppose -6*z + 4*z - 96 = 0. Let c = 100 + z. Does 14 divide c?
False
Let a = -5 + 11. Let m be (-18)/12*(-16)/a. Suppose m*t + 156 = 7*t. Does 13 divide t?
True
Let v(a) = a**3 + 13*a**2 + 6*a - 48. Is v(-6) a multiple of 21?
True
Suppose 0 = 4*o + 3*p - 16, 0 = -5*o + 4*p - 0 + 20. Let w(u) = -2 + 2*u - 11*u - 4 - o + u**2. Is 6 a factor of w(12)?
False
Let v = -123 + 285. Suppose 2*j + v = 3*d + j, -3*d = -4*j - 153. Does 5 divide d?
True
Let a = 157 + 143. Suppose -506 = -8*v + 3*v + i, -3*v - 3*i + a = 0. Is 17 a factor of v?
False
Suppose -2387*w + 2374*w = -20254. Is 38 a factor of w?
True
Let t(x) = -x**3 - 14*x**2 - 41*x + 11. Does 21 divide t(-10)?
True
Suppose 0 = 3*r - o - 197, 5*r - 2*o - 372 = -44. Suppose -406 + r = -4*n. Is 11 a factor of n?
False
Let g(p) = p**3 + 3*p**2 - p + 4. Let s be ((-24)/9)/4*6. Let d be g(s). Let y = d + 22. Is 6 a factor of y?
False
Let m(j) = -34*j**2 - 2*j - 8. Let v be m(-2). Does 17 divide (3 - v/(-21))*(-50 + -1)?
True
Let n(w) = -6*w**2 + 4*w + 3 + 18*w**2 - 11*w**2 - w. Does 4 divide n(5)?
False
Let b(u) = -u**2 - 10*u + 14. Suppose 0 = -10*w + 5*w - 50. Does 7 divide b(w)?
True
Let i(k) = 6*k**3 - k**2 - 3*k - 2. Let g be i(-2). Let u = g + 237. Is u a multiple of 27?
True
Let f be ((-38)/(-4))/((-7)/(-14)). Suppose -2*y - 5*o + 3 = 0, f = 5*y - y - 3*o. Let s = y - -3. Is s a multiple of 5?
False
Let h = 9 + 13. Suppose 0 = -4*g - 4*j - 26995 - 1493, -3*g = -3*j + 21336. Is 4/h - g/121 a multiple of 15?
False
Is (-56)/(-21)*(-1539)/(-12) a multiple of 19?
True
Let z = -39 - -481. Is 26 a factor of z?
True
Let o(z) = -z**2 - 11*z + 2. Let u be o(-12). Let r = -5 - u. Suppose -k = 2 - r. Is 2 a factor of k?
False
Let o be (-1)/(-2) - (-10)/(-4). Is 25 a factor of o/5 - 2008/(-20)?
True
Suppose -415*u + 413*u + 3664 = 0. Is u a multiple of 21?
False
Let n be 4*4*(0 - (-2)/8). Suppose -n*r + 70 = 4*x + r, 5*x = -3*r + 94. Does 20 divide x?
True
Suppose -4*n = -1620 - 64. Is n a multiple of 28?
False
Let o be 56/10 + 6/(-10). Suppose 95 - 25 = -o*f. Does 3 divide 4/f + (-65)/(-7)?
True
Let z(x) = -69*x + 679. Is z(-58) a multiple of 13?
False
Suppose 0 = -4*l + 38 - 6. Suppose 4*j = -5*n + 80, 5*n - 2*j = -0*j + 50. Suppose -4*i + n = -l. Is i a multiple of 3?
False
Let b be 0/(-1 + 4/(-2)). Suppose -m + 179 = -4*r, 702 = 4*m - 2*r - b*r. Does 25 divide m?
True
Let n = 1207 + -976. Is 13 a factor of n?
False
Let u = -998 - -1670. Is 22 a factor of u?
False
Suppose 946 = 5*o + 186. Suppose 5*z - z = o. Is 13 a factor of z?
False
Let t = 5 + 0. Suppose 3*g = g + 3*b + 17, 0 = 3*g + t*b + 3. Does 3 divide ((-12)/(-20))/(g/40)?
True
Let y be (11 + -12)/((-1)/1). Is 9 - 0/(y + 1) a multiple of 2?
False
Suppose -d - 4*d = 4*h - 108, -3*d + 70 = 5*h. Let m = -16 + d. Suppose -4 = -o + x, -4*o + 33 = -o + m*x. Does 3 divide o?
False
Suppose -5*i + u = 128, -3*i - 141 = -5*u - 51. Let x = 33 + i. Suppose 3*t + 187 = 5*f, 4*t = -x - 8. Is f a multiple of 20?
False
Suppose 0 = 20*k - 41309 + 4149. Is k a multiple of 70?
False
Does 23 divide (-10)/255*3 - (-151118)/187?
False
Suppose -84 + 2 = -2*d + 4*h, h + 136 = 4*d. Suppose 3*a + 2*z - 55 - d = 0, -4*a - z = -119. Let w = a - -25. Is 8 a factor of w?
False
Suppose 8*s + 140 = 1540. Is 35 a factor of s?
True
Let g = 480 + -252. Let v = 366 - g. Is v a multiple of 15?
False
Let r = 50 - -249. Does 34 divide r?
False
Suppose -4*k = -k + m - 211, k - m = 77. Does 2 divide k?
True
Suppose 2*k - 4 + 0 = 0. Suppose -4*r - 28 = 3*d, -r + 4*d + 4 = k*r. Is 11 a factor of 536/16 - 6/r?
False
Let u(m) = -8 + 7*m + 3 + 2 - 8. Does 17 divide u(4)?
True
Suppose 0 = -2*c - 3*c + 2*t + 4722, -t + 943 = c. Is 59 a factor of c?
True
Suppose 23*o - 278 = 25*o. Let n = -83 - o. Is n a multiple of 8?
True
Suppose -d + 1586 = 12*d. Suppose -3*j + 5*o - d + 344 = 0, 2*j - 148 = 5*o. Is j a multiple of 27?
False
Suppose 0 = 3*w - 2*g - 182 - 222, 0 = -4*g - 4. Does 13 divide w?
False
Let m(v) = v**3 - 10*v**2 + 3. Let h be m(10). Suppose 0*a - a + 126 = h*u, 5*u + 3*a = 210. Is 13 a factor of