*2 - 4. Let d be f(o). Suppose 0 = -4*v - 2*l + 78, 5*v = -2*l + 114 - d. Does 8 divide v?
False
Suppose 9*m - 690 = 336. Let j = m + -9. Is j a multiple of 21?
True
Suppose -1 = q + 4*r - 3, -r + 105 = 5*q. Suppose 0 = -2*v - q + 292. Does 11 divide v?
False
Let t = 167 - 118. Let m = 241 - t. Is 12 a factor of m?
True
Let x be 7 - -3 - (1 + -1). Suppose -x*i + 266 = -3*i. Is i a multiple of 8?
False
Let r(m) = 3*m**2 - 9*m - 6. Let a(v) = -v**2 + v. Let b(p) = -4*a(p) - r(p). Suppose 3*i - 25 = 8*i. Does 3 divide b(i)?
True
Let h(s) = -4*s**2 + 1. Let j be h(1). Is j - (-5)/5*7 a multiple of 4?
True
Let p(f) = 2*f**2 - 9*f - 27. Is p(28) a multiple of 100?
False
Let w be (112/10)/((-1)/10). Let d = -18 - w. Does 25 divide d?
False
Is 14 a factor of (-22)/55*-1390 + (-4)/(-1)?
True
Suppose -2*z + 462 + 150 = 0. Does 17 divide z?
True
Suppose 2*p + 4*f = -2*p + 4, 2*p + f = 4. Suppose -3*a + 8*a - 90 = -5*i, -8 = -i - p*a. Does 23 divide i?
True
Suppose 8*x - 32 = -0*x. Suppose -x*z + 6*z + 450 = 4*m, 3*m = 3*z + 339. Is 25 a factor of m?
False
Suppose -21*g + 10*g = -2475. Is 27 a factor of g?
False
Let y be ((-2)/4 + 1)*0. Let h(q) = q**2. Let r be h(y). Is -12*(r + 1 + -2) a multiple of 3?
True
Let t = 452 - -159. Is 47 a factor of t?
True
Let o(p) = -18*p + 3. Let t(w) = -19*w + 4. Let x(r) = -6*o(r) + 5*t(r). Does 26 divide x(3)?
False
Let f = 80 - -10. Let n = 69 + -32. Let j = f - n. Is j a multiple of 16?
False
Suppose -17*v + 13*v - 24 = 0. Let k be (-32)/(-6)*(0 - v). Suppose -4*n - k = -5*n. Is n a multiple of 16?
True
Suppose -j - 7 = -4. Let c be j*-36*(2 - 3). Let l = -14 - c. Is l a multiple of 24?
False
Let c = 5 + -5. Suppose -4*a + 52 = i - c*a, -i = a - 43. Is 12 a factor of i?
False
Let k(b) be the first derivative of b**3/3 + b**2/2 + 2*b - 2. Is k(0) a multiple of 2?
True
Let r(d) = 11*d**3 - 3*d**2 + 2*d. Let s be -2 - ((-6)/(-3) + -5). Is 5 a factor of r(s)?
True
Suppose 0 = 5*z - 2*z - 72. Suppose 5*t + 2*f = 2*t - 13, z = t - 5*f. Is ((-20)/t)/(-4 - -6) a multiple of 2?
True
Suppose 12*u - 7*u + 5*l = 4200, -5*l = 10. Does 13 divide u?
False
Let b = -20 + 22. Suppose -153 = -3*z - 4*s - 0*s, 5*s + 79 = b*z. Does 26 divide z?
False
Let m(g) = g**3 - 2*g**2 + 2*g + 1292. Is m(0) a multiple of 38?
True
Suppose 0 = 7*r - 2*r. Suppose m + 4*y = -0*y + 38, r = 5*m + 2*y - 154. Is 11 a factor of m?
False
Let b(m) be the second derivative of 13*m**5/20 - m**4/4 + m**3/3 + 2*m. Let c be b(2). Let u = 164 - c. Is u a multiple of 17?
True
Let s(u) = 9*u**2 + 5*u - 15. Let i be s(7). Let v = i + -308. Is v a multiple of 34?
False
Let k = 623 - 491. Does 11 divide k?
True
Let c(m) = -m + 32. Suppose -3*t + 21 + 21 = -3*n, 6 = -t - 4*n. Suppose -t*z = -6*z. Is c(z) a multiple of 8?
True
Let w(h) = -h**2 - 4*h + 2. Let t be w(-4). Suppose -5*y = 2*m - 4, m - t*y = -m + 18. Suppose -11*v = -m*v - 272. Is v a multiple of 17?
True
Suppose 5*q + 3165 = 5*k, 0*q = -4*k - 4*q + 2524. Suppose -n = 5*f - 2*n - 636, k = 5*f - 2*n. Is f a multiple of 8?
True
Suppose 2*z - 2 = 4*c - 12, 0 = -4*z + 3*c. Suppose -z*x - 8 = x, 2*x = -3*v + 62. Is 13 a factor of v?
False
Suppose -782 = -9*n + 3079. Is n a multiple of 13?
True
Let q(h) = 2*h**3 + 2*h**2 - h + 688. Is q(0) a multiple of 43?
True
Let g be 6*-4*2/(-16). Let i be -32*(-1)/(g/21). Is 12 a factor of (-108)/14*i/(-48)?
True
Let n be (-18)/(-12)*(-4)/3. Let g(h) = 14*h**2 + 2*h - 1. Let u be g(n). Let m = u + -29. Is m a multiple of 11?
True
Let y(f) = -f**3 - 5*f**2 - f + 16. Let t be y(-4). Does 5 divide 10/3*(0 - t - -13)?
True
Let l(v) = 15*v**2 - 7*v - 2. Is 6 a factor of l(11)?
False
Let i be (-1)/(2 - 1)*-11. Suppose -8*s + i*s - 12 = 0. Suppose s*w + 136 = 8*w. Does 17 divide w?
True
Let m(p) = 2*p - 1. Let g be m(3). Let w be 35/11 - 3 - 265/(-55). Suppose -52 = -z + w*v - 4*v, -g*z - 4*v = -305. Is 23 a factor of z?
False
Let v(y) = -8*y - 3. Let u(s) = -3*s**3 - 4*s**2 - s - 2. Let j be u(-2). Let w be j + (-5 - -1) - 11. Is 9 a factor of v(w)?
False
Let f(t) = t**2 - 2*t - 4. Let s be f(-3). Suppose 0 = 14*m - s*m - 189. Is 21 a factor of m?
True
Let c(s) = -4*s + 35. Let m(z) = -z**2 + 12*z + 2. Let h be m(13). Does 19 divide c(h)?
False
Suppose 2*k = -4*f + 274, -3*k - 4*f + 7*f + 402 = 0. Is 73 a factor of k?
False
Let g be (-3)/5*(-1 - 4). Suppose 2*u - 2*v = 18, -4*v - 16 - 7 = -g*u. Is u a multiple of 13?
True
Let s(b) = -4*b - 29. Let k = -7 - 7. Does 21 divide s(k)?
False
Let a(d) = -d + 4. Let m be a(13). Let k = m + 13. Suppose -t = 2*r - 3, t + 3*r - k = 2*r. Is 5 a factor of t?
True
Let l(s) = -s**2 + 8*s + 6 + s - 5*s. Let m be l(3). Let u(k) = 4*k - 22. Is 7 a factor of u(m)?
True
Let u(j) = -3*j + 26. Is u(-28) a multiple of 5?
True
Let j be 10/125*-5 + (-164)/(-10). Suppose 0 = -3*x - 4*m + j, -2*m + 3*m = x - 17. Is 3 a factor of x?
True
Let g(l) = l**2 - 3*l - 6. Let a be g(4). Let d = 82 + a. Is 20 a factor of d?
True
Let u(o) = 6*o**2 + 8*o - 5. Suppose 0*h - 4*h = -20. Let j be u(h). Suppose 5*q + 3*b = j, q + 3*q + b = 148. Does 7 divide q?
False
Suppose -4*d + 51 - 20 = 3*y, d = 2*y - 6. Suppose y*w = w + 772. Is 15 a factor of w?
False
Let g = -28 + 12. Let m = g - -82. Is 18 a factor of m?
False
Let w be ((-4)/(-5))/(10/(-175)). Let a(z) = -z**3 - 11*z**2 - 3*z - 1. Let u be a(-10). Let i = w - u. Is 19 a factor of i?
True
Let w be 8*(-1)/2*-2. Let v = 16 - w. Does 10 divide (20/(-3))/(v/(-48))?
True
Suppose 3*v - 2*f + 4*f - 67 = 0, 0 = -4*v - 2*f + 90. Let d = v + -20. Suppose -7 = -4*j - d, 0 = -2*y + j + 59. Does 6 divide y?
True
Does 12 divide (-2*125 + -4)/(-1)?
False
Suppose -1428 = -2*y - 5*y. Let f = 4 - 3. Is y/3 + (-2)/f a multiple of 18?
False
Suppose -2061*n + 2062*n = 362. Is n a multiple of 2?
True
Let x = 2983 - -2880. Does 11 divide x?
True
Let l be (8/(-8))/(1/(-3)). Let v = l - 0. Is 2 a factor of (-1)/v*(-81)/3?
False
Does 13 divide ((-15)/9 - 1)*25599/(-28)?
False
Is 37 a factor of -4 + 258 + (8 - 4)?
False
Suppose n + 53 = -0*o - 5*o, -99 = 3*n + 3*o. Let k be (-8)/n - (-248)/14. Suppose -2*a - k = -4*a. Is a a multiple of 9?
True
Let o(r) = 4*r**2 - 2*r + 2. Suppose -8 = -5*n + 7. Let y be o(n). Let g = -23 + y. Is g a multiple of 3?
True
Let c(w) = 18*w + w**3 - 21*w**2 + 7*w**2 + 2 - 5*w. Let d be c(13). Suppose -58 = -d*t + 62. Does 17 divide t?
False
Let h(a) = -a**2 + a - 3. Let j be h(4). Let m = 16 + j. Is 23 a factor of (-4 - -5)*49*m?
False
Suppose v + 9 - 25 = 0. Let p(y) = 2*y + 34. Is 22 a factor of p(v)?
True
Let j = 4342 + -3043. Is 9 a factor of j?
False
Let q = 1739 + -1439. Is q a multiple of 15?
True
Does 48 divide 20*534/36*3?
False
Suppose -2*g + g + 9 = 0. Let q(o) = o - 3. Let b be q(g). Let s = b + 9. Is 15 a factor of s?
True
Let d(j) = j**3 - 2*j**2 - 4. Let o(z) = z**3 + 5*z**2 + 3*z - 1. Suppose 4*g - n + 13 = 0, -5*g + g - 3*n = 25. Let k be o(g). Is 3 a factor of d(k)?
False
Let i(g) = -g. Let t be (-22)/(-6)*(2 + 1). Let a be i(t). Let x = 21 + a. Is x a multiple of 3?
False
Suppose 26 = -5*i - 4*b, 3*i - b - 8 = -27. Is (-116)/(-3) - (-1 - i/9) a multiple of 5?
False
Let v be (-2)/(4 + (-68)/18). Let f = -5 - v. Suppose -3*j + f*j - 7 = 0. Is 3 a factor of j?
False
Suppose -8*r - 3904 = 5824. Is r/(-24) + (-2)/(-6) a multiple of 36?
False
Let n(v) = 192*v - 63. Is 41 a factor of n(10)?
False
Let y = 5460 + -1630. Is y a multiple of 64?
False
Suppose 5*l - 6100 + 720 = 5*a, 0 = 5*a - 15. Is 13 a factor of l?
True
Let d(y) be the second derivative of -y**4/12 + 3*y**2/2 + 4*y. Let i be d(3). Let w(s) = -s**2 - 7*s + 8. Is w(i) a multiple of 14?
True
Suppose u = 5*a + 655, 5*u - 3242 = -5*a + 123. Is u a multiple of 67?
True
Let v(y) = 343*y - 915. Is 85 a factor of v(8)?
False
Let y(u) be the third derivative of -u**6/120 - u**5/15 + u**4/6 - u**3/6 + u**2 + 2. Let o = -8 + 3. Is 4 a factor of y(o)?
True
Does 35 divide 301/42*39*2?
False
Is 28 a factor of 12*(-6)/(-9)*98?
True
Let n be ((-2)/(-10) + (-81)/(-45))/(-2). Does 18 divide 0 - n - -60 - (7 + -4)?
False
Let r = -3 - -12. Let j(w) = 2*w - 10. Is j(r) a multiple of 4?
True
Let b(r) = -9*r + 16. Let q be b(4). Let y be (-1)/5 - (-56)/q. Is ((-2856)/36)/(2/y) a multiple of 31?
False
Let u(d) = 21*d + 47. Is 10 a factor of u(3)?
True
Let k = -