l + 4 = -4. Let c(v) be the first derivative of -v**2 + 7*v - 72. Is c(l) a multiple of 19?
False
Suppose 0 = 3*b + w - 516, -5*w + 504 = 2*b + b. Let t = b + -81. Suppose -4*y + 3*j + 76 = 0, -t = -5*y - 4*j + 3. Is y a multiple of 15?
False
Let s(d) = -6*d - 10. Let l(h) = 3*h + 11. Let g(z) = 11*z + 44. Let x(j) = 2*g(j) - 9*l(j). Let n(p) = 3*s(p) - 2*x(p). Is 10 a factor of n(-6)?
True
Let f be (-2 - 3) + 3 - 5. Let q(o) = -o**2 - 7*o + 2. Let t be q(f). Is 17 a factor of -17*1*(-2)/t?
True
Let q(m) = 29*m**2 + 4*m + 6. Is 69 a factor of q(-4)?
False
Let j(x) = 105*x**2 + x - 2. Does 23 divide j(1)?
False
Suppose -1124 = 9*m - 4949. Is m a multiple of 13?
False
Let g be ((-3)/(-9))/((-1)/(-303)). Let s = g + 88. Suppose -4*f - 4*l = -3*l - s, f - 3*l - 57 = 0. Does 24 divide f?
True
Let u(o) = o + 0 + 68*o**2 - 11*o + 8*o - 1. Does 69 divide u(-1)?
True
Let x = 60 - 30. Let n(a) = a**3 - 6*a**2 + 2*a - 9. Let h be n(6). Suppose 3*i = x - h. Is 7 a factor of i?
False
Suppose -5*c - 4 = -3*c. Let z be 5/(-5) + (-8)/c. Suppose -z*a = -2*a - 32. Is a a multiple of 8?
True
Let o(y) = 3*y**2 - 6*y + 15. Suppose -4*u = 2*p - 34, u - 4*p + 14 = -0*p. Is o(u) a multiple of 7?
False
Let j = -70 + 2. Let q = -29 - j. Is 15 a factor of q?
False
Suppose 0 = -11*d + 29 + 26. Suppose c = -2, -2*c = d*y - c - 403. Is 9 a factor of y?
True
Suppose 14*q - 7342 = 1576. Does 13 divide q?
True
Let k(i) = i + 10. Let z be k(4). Suppose s - z + 3 = 0. Is s a multiple of 7?
False
Is 6293/87 - (-1)/(-3) a multiple of 18?
True
Let k(b) = 34*b**3 + 3*b**2 + 4*b + 2. Let x be k(-1). Is 8 a factor of (440/x)/(2/(-6))?
True
Let y = 6 - -4. Suppose -y + 4 = -3*t. Suppose 45 = q + 2*i, q + t*i = -2*i + 49. Is 11 a factor of q?
False
Suppose 37*i + 6 = 39*i. Suppose 0 = -i*l - 5*v + 53, -4*l - l = -4*v - 76. Is 7 a factor of l?
False
Let p be -3*3/9*1. Let c(t) = 3*t - 1. Let y be c(p). Is 11 a factor of -4 + 2 + (81 - y)?
False
Let v(h) = -58*h + 950. Is v(15) a multiple of 8?
True
Suppose -k + 0 = -48. Is 15 a factor of (-40)/3*(-18)/k*6?
True
Suppose 95 = r - 139. Does 18 divide r?
True
Let y be (-53 + -22)*(-7)/(-3). Let r = y + 256. Is r a multiple of 27?
True
Let z = 196 + -104. Let v = z - 3. Does 17 divide v?
False
Suppose 44 = 2*m - 6*m. Let g(o) be the first derivative of -o**3/3 - 8*o**2 + 8*o - 2. Does 31 divide g(m)?
False
Let v(t) = -t**3 - t**2 + 1. Let c be v(-1). Suppose 14 = 3*o - c. Suppose -2*n - 23 = j - 78, 0 = o*j + 2*n - 315. Is j a multiple of 15?
False
Let u(m) = -11*m + 2. Let k(y) = -y. Let w(b) = -6*k(b) + u(b). Let s be w(-7). Suppose 2*f + 2*n = -2*f + 158, f + 3*n = s. Does 27 divide f?
False
Let o = 117 + -96. Let s = 0 - 7. Let j = o + s. Is 14 a factor of j?
True
Let c(v) = v**3 - 7*v**2 - 9*v + 10. Let t be c(8). Suppose 0 = -0*k - k - 3*h + 66, -112 = -2*k - t*h. Does 7 divide k?
False
Let k = -81 + 22. Let y = 102 + k. Suppose -n + r = -3, -5*n + 0*n = 2*r - y. Is n a multiple of 3?
False
Let g = -2 - -7. Suppose g*w + 12 = -33. Let s = 10 - w. Is s a multiple of 13?
False
Suppose -2*a = -3*a + 12. Let o be (-6)/a + 18/4. Suppose d - 58 = -4*v, o*v + 75 = 5*d - 119. Is 11 a factor of d?
False
Let z(j) = -4*j - 4. Let o(t) = 4*t**3 - t**2 - t. Let q be o(-1). Let g be z(q). Is -2*g/(-8) + 60 a multiple of 20?
False
Is 33 a factor of (24/42)/2 + 13016/14?
False
Let k = 369 - 189. Suppose m = -m - k. Let g = m - -129. Is g a multiple of 12?
False
Suppose 15*w + 2*i + 53 = 18*w, -5*i + 25 = 3*w. Is w a multiple of 3?
True
Let w = -750 + 1180. Is 4 a factor of w?
False
Let n be (1 - -1 - (9 - 7)) + 1260. Suppose 7*r + 8*r = n. Is 28 a factor of r?
True
Suppose 56*v - 1381 = 6851. Is v a multiple of 3?
True
Let d = -561 - -952. Is d a multiple of 23?
True
Let u be 6/(-18) + (0 - 74/(-6)). Suppose 7*y + 60 = u*y. Is y a multiple of 2?
True
Let v be ((-50)/15)/(2/(-27)). Suppose -n + 18 + v = 0. Does 14 divide n?
False
Let l(i) be the first derivative of i**4/4 + 7*i**3/3 + 3*i**2/2 - 4*i + 2. Let o be l(-8). Let n = 188 + o. Does 18 divide n?
False
Does 13 divide (6 + 3318/(-3) + 2)/(-2)?
False
Let o = 2 - -9. Let j = 116 - o. Is j a multiple of 15?
True
Suppose -3*b + 1418 + 646 = 5*r, 5*b = -5*r + 3450. Is 61 a factor of b?
False
Let z(l) = -5*l - 25. Let y(j) = -8*j + 7. Let q be y(2). Is z(q) a multiple of 10?
True
Let n be (-8)/20 + (-26)/10. Let g be n + (-4 - (3 + -14)). Suppose -5*o + 631 = 2*a, -g*a - 398 = -5*o + 215. Is 25 a factor of o?
True
Let o(c) = -3*c. Let d(u) = -1. Let n(t) = -3*d(t) - 3*o(t). Let b = 4 + 0. Is n(b) a multiple of 13?
True
Let q(t) = -2*t**3 + 3*t**3 - 3*t - 29*t**2 + 31*t**2. Let s be q(-3). Let p(n) = -n + 58. Is 15 a factor of p(s)?
False
Let t = -388 - -650. Suppose -266 = -5*i + 3*x, 2*x - t = -5*i + 3*x. Suppose -2*j = -0*j - i. Is j a multiple of 8?
False
Suppose -3 + 1 = 2*y. Let w(o) be the first derivative of -45*o**2/2 + o - 3. Is w(y) a multiple of 23?
True
Suppose -254 = -5*d + 2741. Suppose 8*p - d = 521. Is 20 a factor of p?
True
Suppose 3*j - 553 = -2*m, 9*j - 8*j - 203 = 4*m. Is j a multiple of 11?
True
Let i = -742 - -1300. Does 9 divide i?
True
Let w(t) = t**3 - 11*t**2 + 4*t - 16. Let k be w(11). Suppose 0 = -4*c + 4*v + 4 + 20, 4*c = 3*v + k. Suppose 10 + c = 5*u, -2*u + 38 = n. Is 14 a factor of n?
False
Suppose 5*m = -3*f + 168 + 124, 0 = -3*m + 6. Suppose 5*y + f - 319 = -4*b, -5*y + 225 = -2*b. Suppose -4*w = -7*w + y. Is w a multiple of 3?
True
Let x be (-117)/13 + 2/1. Let v(j) = j**3 + 8*j**2 - 4*j + 9. Is 13 a factor of v(x)?
False
Suppose 4 = 2*o - 4*n - 12, -3*o + 12 = -3*n. Suppose o = 8*q - 6*q - 40. Is 7 a factor of q?
False
Let h = -26 + 31. Suppose 5*r - g - 2*g - 5 = 0, -5*r + 5*g - h = 0. Is r a multiple of 2?
True
Suppose 3*j = -10 + 31. Suppose 5*n + u = 6*u + 20, -4*n - 5*u = -j. Is 2 a factor of n?
False
Let v = 131 + -91. Suppose 3*z - 58 = -y, -3*z = -y - 0*z + v. Does 15 divide y?
False
Suppose 2*a + 0*n - 12 = -4*n, 3 = 3*a + n. Suppose -16*r - 622 = -1518. Suppose a*v + 4*v - r = 0. Is 6 a factor of v?
False
Suppose 4*v - 11 = 1. Suppose -d + 2 - 5 = v*r, 4*r - d = -4. Does 14 divide 21 - (r + 3 + -3)?
False
Let p = 15 + -11. Let j = 3 - p. Is 25 a factor of 5/((-17)/(-16) + j)?
False
Is (17 + 8 + -9)/(1/28) a multiple of 32?
True
Let i be (-7)/(-2)*(-10)/(-5). Suppose 3*y - 403 = w, -i*w + 276 = 2*y - 4*w. Is 8 a factor of y?
False
Let i(g) = g**3 - g**2 + g. Let m(p) = -6*p**3 - 3*p**2 - 11*p - 5. Let v be -1 - 4*(-2)/(-2). Let q(j) = v*i(j) - m(j). Is 12 a factor of q(-7)?
True
Let z(d) be the second derivative of d**3/3 + 5*d**2/2 - 2*d. Suppose 67 = 3*k + 28. Is 12 a factor of z(k)?
False
Is 2952/(-14)*(-105)/30 a multiple of 41?
True
Does 9 divide 2/5 + (-5106)/(-10)?
False
Let f(i) = 2*i**2 + 4*i - 2. Let l(o) = -o**2 + 15*o - 8. Let t be l(13). Let a be t/4 - (-3)/(-2). Is 14 a factor of f(a)?
True
Let r(c) be the first derivative of 2*c**3 + 3*c**2 - 13*c + 5. Let d be r(9). Suppose -z - 3 = -4*z, -5*w + d = -3*z. Does 35 divide w?
False
Let i(w) = -w**3 - 6*w**2 - 2*w + 3. Let p be i(-10). Let n be 3/(-4) + p/4. Suppose -y + n = 2*y. Does 11 divide y?
False
Suppose 5*q - 583 = 2*j - 5*j, 2*q - 390 = -2*j. Is 4 a factor of j?
True
Let n(r) = -r**2 - r + 64. Let f = 6 + -6. Does 9 divide n(f)?
False
Let s(t) = -t - 10. Let b be s(-10). Let y = b + 33. Is 11 a factor of y?
True
Suppose 372 = j + z, -4*j + 600 = z - 882. Is 10 a factor of j?
True
Let h(v) = -3806*v + 2. Let m be h(-1). Does 26 divide m/49 - 4/(-14)?
True
Suppose -2 = 2*j - 62. Suppose -j = -5*r + k, 4*r + 4*k = 8*r - 8. Suppose -236 = 3*t - r*t. Does 18 divide t?
False
Let f = -24 + 14. Is (-132)/(-2)*(2 + f/15) a multiple of 12?
False
Let g(h) = -h**2 + 11*h + 12. Let r be g(12). Suppose 3*b - b - 6 = r. Is (-13)/(-1) + -1 + b a multiple of 4?
False
Let r be -2 + 5/1 + 2. Suppose -2*i = -r*i + 9, -3*i = -c + 3. Suppose -s + c = s. Is 4 a factor of s?
False
Let k = -22 - -25. Suppose -4*b + 4*f = -16, -5*b - k*f - 4 = -4*b. Is -5*b/(-5)*19 a multiple of 19?
True
Does 59 divide -2*(3894/11)/(-6)?
True
Suppose 0*i + 3*k = i + 12, 5*i - 35 = -4*k. Suppose s + 3 = i*n, 2*s - 3*n = -2*n - 1. Suppose 3*z - 58 - 98 = s. Does 26 divide z?
True
Does 6 divide (117/2)/(258/344)?
True
Let g(p)