r - 2 = -4*o. Suppose -b + 1 - 3 = o. Is 63*(4/(-3))/b a multiple of 11?
False
Let s be (-373)/(-2) + (-2)/(-4). Suppose -d = -2*t - 53, 4*d - s + 8 = -3*t. Is d a multiple of 16?
False
Let r(z) = 8*z**2 - z. Let q be r(2). Suppose 0*l = 5*l + q. Let p(v) = -6*v. Does 12 divide p(l)?
True
Suppose 139 - 1568 = -5*b + m, -3*b + m + 859 = 0. Suppose -10*t = -5*t - b. Is t a multiple of 27?
False
Let c be (6/5)/(3/(-10)). Let w(s) = -s**3 - 3*s**2 - 5*s - 2. Is w(c) a multiple of 17?
True
Suppose -4*c = -68 - 132. Suppose c = -5*v + 295. Is 22 a factor of v?
False
Let t be 4/22 - 20/(-11). Suppose 0 = -t*i + 3*c - 0 + 29, -i + 2*c = -17. Suppose 30 = -2*o + i*o. Is o a multiple of 3?
True
Let s = 9 - 9. Suppose s = -5*i + 10 + 155. Is 11 a factor of i?
True
Suppose -4*h + 5*h - 1 = 0. Suppose 0 = 3*n + h - 13. Is 4 a factor of (-4)/(-8) - (-18)/n?
False
Suppose -2*c - 4*i = -6*c + 188, -2*c + 96 = -3*i. Suppose -3*f - 2*f + c = 5*b, -2*f = -4. Is 58/7 + (-2)/b a multiple of 4?
True
Let a(z) = 4*z + 6. Let v be a(-3). Let m = 3 - v. Is m a multiple of 2?
False
Suppose -3*r - 7*m + 3*m + 75 = 0, 0 = -r + 4*m + 9. Is r a multiple of 5?
False
Suppose 5*g = 4*p - 107, -2*g - 29 = 2*p - 3*p. Let k = p - 44. Let v = 46 + k. Does 25 divide v?
True
Let c = -264 - -460. Does 27 divide c?
False
Suppose 52 = 5*g - 4*m, -m + 5*m = 3*g - 28. Is g a multiple of 3?
True
Suppose -5 = 5*m, 4*w + 0*m - 2 = 2*m. Let d(j) = 12 - j - j**3 + j**2 - j**2. Is d(w) a multiple of 6?
True
Let j = 89 + 51. Does 15 divide j?
False
Let k(w) = -10*w**3 - w**2 + w - 1. Let x(r) = -9*r**3 - r**2 + r - 1. Let o(m) = -6*k(m) + 7*x(m). Does 17 divide o(-2)?
True
Suppose 4 = -3*i + 5*i. Suppose -5*d + 1 = 16. Let h = i - d. Is 4 a factor of h?
False
Suppose 0 = -t + 3*y + 21, 5*t - 5*y - 83 = 2. Is t a multiple of 15?
True
Let y be (-13)/(-5) + (-10)/(-25). Suppose -2 = -4*h - g, 0 = 2*h - g + y*g - 4. Suppose 5*m + 4*j = -14 + 33, h = -m + 4*j + 23. Is m a multiple of 7?
True
Let w = 3 + -2. Is (w - 13)/((-6)/4) a multiple of 3?
False
Let n(t) = -2 + 0*t + 3*t + 2*t - t. Does 6 divide n(2)?
True
Let a = 3 - 3. Suppose 5*t + 5 = a, -3*s - 7*t + 3*t - 13 = 0. Does 8 divide 18/s*8/(-3)?
True
Let c = 4 - 1. Let r = c - 1. Suppose 2*g - 24 = -r*g. Does 4 divide g?
False
Let l = 0 + 4. Suppose -5*n + l*n = -14. Does 7 divide n?
True
Suppose 6*s - 1783 + 229 = 0. Does 23 divide s?
False
Suppose -4*i + 5*d + 72 = 0, -i + 3*i = -3*d + 36. Does 9 divide i?
True
Does 15 divide (3 - 22*-2) + 3?
False
Let c(t) = -3*t**2 - t**2 + 4*t**2 + 10*t**2. Does 21 divide c(2)?
False
Let s(i) = -i**2 + 20*i - 7. Does 11 divide s(14)?
True
Let g be (0 + -1)/((-5)/10). Suppose -5*j + 0*b + 4*b + 35 = 0, 0 = -3*j - g*b - 1. Suppose -4*z = s - 145, -5*z + j*s + 77 = -100. Is z a multiple of 18?
True
Is 2/(-8) - 385/(-20) a multiple of 12?
False
Let u(m) = 6*m - 60. Is u(26) a multiple of 8?
True
Suppose -5*h - 5*f + 10 = 0, 5*h - 8 - 2 = 5*f. Suppose -2*o - 86 = -4*g + 2, h*g - 3*o = 40. Is 7 a factor of g?
False
Let i(u) = -u**3 + u**2 + 48. Is i(0) a multiple of 12?
True
Suppose 2*b + 3*b = 440. Is 22 a factor of b?
True
Suppose 180 = 278*h - 273*h. Does 18 divide h?
True
Let g be ((-10)/(-4) - 3)*-4. Suppose 0 = s - 2, 4*p - g*p = 5*s + 112. Is p a multiple of 35?
False
Let h = 7 - -10. Suppose -h = -4*p + 7. Let q = p - 1. Does 2 divide q?
False
Suppose o = -2*o + 45. Let a = o - -8. Is a a multiple of 6?
False
Let m = -341 - -504. Suppose -4*d + 7*t - 3*t = -140, -t + m = 5*d. Is 15 a factor of d?
False
Let i = 25 + -13. Let v be (i/5)/(3/15). Is 6 a factor of (27/v)/((-6)/(-16))?
True
Suppose -t = 2*q + 6, 3*t + 4 = t - 2*q. Does 2 divide t?
True
Let k(j) = j - 4*j**3 + 3*j**2 - j**2 + 1 - 4*j. Let c be k(2). Let s = -13 - c. Does 8 divide s?
True
Let t(a) be the third derivative of a**6/120 + a**5/10 - 3*a**4/8 - 2*a**3/3 + 3*a**2. Is t(-7) a multiple of 6?
False
Let p(c) = 6*c**2 - 1. Let d be p(1). Suppose 93 = d*h - 2*h. Does 17 divide h?
False
Does 18 divide 6/(-15) + (-1360)/(-25)?
True
Let w be 12/(-5) + 2/5. Suppose -4*g - g = 75. Let y = w - g. Is y a multiple of 5?
False
Suppose 15 - 47 = -2*s. Is s a multiple of 4?
True
Suppose 0 = -5*a - 5*i - 25, 0 = 2*a - 5*i - 0 + 3. Let y(d) = d**3 + 6*d**2 + 5*d + 6. Is y(a) a multiple of 7?
False
Suppose -m = 4*g - 18, 5*g - 13 = 5*m - 3. Suppose 15 = 3*q + 3*i, -q - m - 3 = -i. Does 18 divide 23 + q - (0 + 2)?
False
Let d(y) = 37*y**3 + 4*y**2 + 8*y + 5. Let l(o) = -75*o**3 - 7*o**2 - 15*o - 9. Let j(c) = -11*d(c) - 6*l(c). Does 20 divide j(1)?
False
Let u(f) = -f**3 + 5*f**2 - f + 6. Let b be u(5). Let h(p) = 25*p**2 - p. Is h(b) a multiple of 16?
False
Let h be 42 + 4 - (2 - 1). Let b = h - 6. Suppose -5*i + 26 = -b. Does 13 divide i?
True
Let s(a) be the third derivative of -a**6/120 + 7*a**5/60 - 5*a**4/24 - 2*a**3/3 + a**2. Suppose 3 = -5*u + 33. Is s(u) a multiple of 2?
True
Suppose 254 = 6*p + 20. Is 13 a factor of p?
True
Let l(s) = 12*s - 25. Is l(7) a multiple of 14?
False
Suppose -18*a = -15*a - 39. Suppose -20 = 3*c + 2*c. Let p = c + a. Is p a multiple of 9?
True
Suppose -2*n + 5*c = -75, 4*n + 4*c + c = 135. Does 15 divide n?
False
Let a(i) = i**2 + 5*i - 2. Let k(h) = -h**2 + 4*h - 2. Let g be k(5). Is 11 a factor of a(g)?
False
Let z(h) = 6*h - 7. Is 13 a factor of z(11)?
False
Suppose -3*v + 39 = -2*v. Is v a multiple of 29?
False
Suppose u - 45 - 187 = 0. Does 12 divide u?
False
Let p be 729/18 - 2/(-4). Suppose o - p - 3 = 0. Does 15 divide o?
False
Let d be 10*(-3)/(1 - 7). Suppose -d*s + 20 = -220. Does 12 divide s?
True
Suppose 4*q = 3*x + 12, 0 = 5*q - 3*q - 6. Suppose -p - 5*s = 7, 3*p + 5*s + 1 = -x*s. Suppose 2*o = y - 14, y - 4*o - 7 = p. Is y a multiple of 7?
False
Let q = 98 + -14. Is 10 a factor of q?
False
Let g be 17/(-3*(-1)/3). Let z(v) = -v**3 + v**2 - v + 12. Let w be z(0). Let i = g + w. Is i a multiple of 8?
False
Let f(s) = s**2 - 9*s - 4. Suppose -2*k + 3*k - 11 = 0. Is f(k) a multiple of 9?
True
Suppose 0 = 4*f - 3*h - 307, -3*h = -5*f + 211 + 175. Suppose -2*k + 4*k = 5*v + 71, -f = 5*v + 2*k. Let j = v - -36. Does 7 divide j?
True
Let m be (1/(-3))/((-1)/12). Suppose o + 4*r + 18 = 0, 0*r - 16 = 2*o + m*r. Suppose 3*t = 2*p + o*p + 36, 0 = t - 3*p - 17. Does 4 divide t?
True
Suppose -j + 435 = 2*j. Suppose -6*z + z + j = 0. Does 11 divide z?
False
Let k be 3/(-6)*-2*5. Suppose -k*j - 13 = -3*x, -2*x - 4 = 4. Let u = 9 + j. Is u a multiple of 3?
False
Suppose -3*x + t + 206 = 0, -5*x - t + 270 = -x. Let l = -38 + x. Is 15 a factor of l?
True
Let l(g) = 89*g**3 + 1. Let d be l(-1). Let m = -60 - d. Is 14 a factor of m?
True
Let p(w) = -w**2 + 6*w - 1. Let y be p(7). Does 16 divide y/44 - 519/(-11)?
False
Let m(z) = z**2 - 4*z - 5. Let g be m(5). Let l be -2 + -3 + (-1 - g). Is 14 a factor of (-106)/(-6) + 4/l?
False
Is 13 a factor of 104*(2/3)/(2/3)?
True
Is 2/(-5) - (-1902)/30 a multiple of 21?
True
Suppose 0 = y - 0 - 7. Suppose 0 = 3*j + 1 - y. Suppose -5*q - j*i = -5 - 93, 0 = -3*q + i + 61. Is 7 a factor of q?
False
Let r = -43 - -29. Let l be 21 - (-4 - -3 - 0). Let n = l - r. Is n a multiple of 12?
True
Let t be (120 - 4)*(-2)/(-4). Suppose -2*f + 0*z = 2*z - t, 5*f - z - 127 = 0. Is f a multiple of 13?
True
Suppose -4*m - 25 = -9*m. Suppose -m*r + 2*r + 126 = 0. Does 9 divide r?
False
Suppose -4*l + 891 = 315. Is 30 a factor of l?
False
Let n(t) = -t**3 + t**2 - 5*t - 4. Let f(o) = -3*o**3 + 3*o**2 - 14*o - 11. Let w(y) = 3*f(y) - 8*n(y). Is 4 a factor of w(-2)?
False
Let p = 39 + -15. Does 13 divide p?
False
Let m(g) = 8*g + 17. Does 27 divide m(8)?
True
Let u(o) = -o**2 + 5*o - 2. Let d be u(5). Let g be (1/2)/(d/(-72)). Suppose g - 86 = -2*t. Does 17 divide t?
True
Let p(k) = k + 1. Let i be p(2). Suppose 0*q + 20 = i*u + q, 5*q - 10 = 3*u. Does 5 divide u?
True
Is 21 a factor of 1365/9 + 3/9?
False
Let n(d) = 12*d - 36. Let l(q) = 4*q - 12. Let c(r) = -14*l(r) + 5*n(r). Does 7 divide c(10)?
True
Suppose 3*f = 76 + 260. Suppose -f = -4*g + 68. Is 20 a factor of g?
False
Suppose -6 = o - 16. Suppose -17 = -3*j - 4*u, 0 = -2*j - 0*j - 3*u + o. Does 11 divide j?
True
Suppose 107 = 3*m - 4*d - 197, 5*d = -20. Does 32 divide m?
True
Does 10 divide (-5*2/6)/(15/(-270))?
True
Is (3/6)/((-3)/(-384)) a mul