m = -4*n - 17 + 6, 4*m - 11 = -n. Let r be (-6)/n - 122/3. Let o = r + 66. Is o a multiple of 25?
False
Let a = 557 - 377. Is 10 a factor of a?
True
Let c(p) = -p + 1. Let r be c(-1). Suppose 3*o + r*b - 246 = -2*o, 3*o = 4*b + 132. Does 18 divide o?
False
Suppose 5*f = -u + 110, 2*u + 192 = 4*u + 3*f. Is u a multiple of 30?
True
Let r be (-1 + 14/(-4))*-10. Suppose -p = 7*p - 32. Suppose 0 = -o - p*o + r. Is o a multiple of 9?
True
Suppose -2*k - 10 + 82 = 0. Is k a multiple of 9?
True
Let h(k) = k**2 + 3*k - 3. Let d be h(-5). Suppose d*w + 8 = 3*w. Let q = 17 + w. Does 15 divide q?
True
Let o = 2 + 3. Suppose 5*p = o*r - 25, -4*p - 20 = -0*r - 5*r. Suppose r = 3*x - 28 - 20. Is x a multiple of 16?
True
Let q be (4 + -32)*(-4 + -1). Suppose -3*j - q = -2*p, 6*j = 2*p + j - 140. Does 19 divide p?
False
Let z = -11 + 1. Let m(w) = w**3 + w**2 - 2*w + 15. Let a be m(0). Does 16 divide (-2)/(6/a)*z?
False
Let n(a) = 3*a**2 + 2*a + 1. Let l be 36/(-27) + 2/6. Let f be n(l). Suppose 9 + 23 = f*g. Does 8 divide g?
True
Suppose -2*p + 102 = -2*f, 0*p - 228 = -5*p - 4*f. Is p a multiple of 27?
False
Let l(x) = -x**3 - 14*x**2 - 2*x - 13. Does 3 divide l(-14)?
True
Is 6 a factor of 2 - (-1)/(1/108)?
False
Let f(h) be the first derivative of -h**2/2 + 2. Let y be f(-3). Suppose 3*g - 7 = v, y*v - 14 = -g + v. Does 2 divide g?
True
Suppose 0 = 4*s + 3*c - 311, 0 = -3*s - 0*c - c + 227. Let u = -40 + s. Is u a multiple of 12?
False
Let t = 161 - 55. Is t a multiple of 20?
False
Suppose 2*h - 6 = 2. Let w(j) = -j - 10. Let u be w(-10). Suppose u*x - 52 = -h*x. Is x a multiple of 7?
False
Suppose -5*b = -1214 - 556. Does 19 divide (-4)/14 + b/14?
False
Let b(o) = -4*o - 20. Does 16 divide b(-13)?
True
Let h(p) = -p**3 + 4*p**2. Let r be h(4). Suppose r = b - 5*b + 56. Let z = -9 + b. Is 3 a factor of z?
False
Is (-1)/(21/22 - 1) a multiple of 11?
True
Let l(d) be the third derivative of -d**5/60 - 5*d**4/24 - d**3/3 - d**2. Let f be l(-4). Is -30*(-1 - (-1)/f) a multiple of 15?
True
Let y(z) = -z**3 - z**2 + 3*z + 4. Let k be y(-4). Suppose -t + k = t. Does 6 divide t?
False
Let v = -24 - -72. Is 16 a factor of v?
True
Suppose 6 = 5*t + 2*l, 3*t + l - 3 = -2*t. Let s = t + -2. Is 0/s - (4 - 17) a multiple of 6?
False
Let n(a) = 5*a**2 - 3*a + 7. Does 49 divide n(-5)?
True
Suppose 5*h + 19 = -i, 4*i + 0 = -3*h - 8. Let j(f) = f - 1. Let q(m) = m - 13. Let n(b) = i*q(b) - 3*j(b). Is n(-8) a multiple of 6?
True
Let v(u) = 34*u + 4. Let k(l) = 34*l + 5. Let t(a) = 4*k(a) - 5*v(a). Is 34 a factor of t(-1)?
True
Let f = 99 + -48. Suppose 2*m + 2*z = -7 + f, -4*m + 86 = 5*z. Is m a multiple of 7?
False
Let p(t) = -t**3 - 5*t**2 - 5*t - 4. Suppose 0 = -3*f + 4*v, -2*v = -4*f - 2 - 8. Let u be p(f). Suppose 5*x - x - 44 = u. Is x a multiple of 8?
False
Suppose 0 = 3*h - 9, -15 = 4*s + s - 5*h. Let r(c) = -c**3 + c + 25. Is 12 a factor of r(s)?
False
Let a = -39 - -19. Let i = a + 26. Is i a multiple of 4?
False
Let n(x) = -x**3 - 5*x**2 - 4*x. Let g be n(-4). Suppose 6 = 2*r - g*r. Suppose -5*s - 22 = -2*w + 23, 3*s + r = 0. Is 12 a factor of w?
False
Suppose 4*s = 10*s - 1044. Is s a multiple of 9?
False
Is 20 a factor of 4/(-14) + 2808/28?
True
Let w(n) = n**3 - 7*n**2 + 7*n - 4. Let i be w(6). Let u be ((-1)/i)/(1/6). Let l(b) = 3*b**2 + b + 2. Is 11 a factor of l(u)?
False
Suppose -5*f = -u + 5, -2*f = 3*u - 3*f - 43. Suppose 3*j = -3 + u, 4*j = -3*i + 322. Is 16 a factor of 9/(i/32 + -3)?
True
Suppose -15 = -0*v - 3*v. Suppose 4*i = -v*j + 30, -i - 1 = -5*j + 4. Does 5 divide i?
True
Suppose 3*p + 3*f - 124 = -f, -5*f + 56 = p. Is -1 + (p + -3 - 2) a multiple of 14?
False
Let r(q) be the third derivative of 0 - q**2 - 1/4*q**4 + 0*q + 1/6*q**3. Does 17 divide r(-4)?
False
Let u(o) = 23 + o**3 + 2*o**2 + 8 - 11 - o**2. Is 10 a factor of u(0)?
True
Let m be 26/12 + (-2)/12. Suppose 4 + m = s. Does 3 divide s?
True
Suppose -4*k = 4*i - 188, -6*i + i = -4*k - 271. Is 51 a factor of i?
True
Let s be -8*(1 - (-9)/(-6)). Let c = 6 - s. Suppose c*u = 12 + 8. Does 10 divide u?
True
Does 6 divide (2*-6)/4 + 19?
False
Let b be 184/(-7) - (-6)/21. Let y = -94 - -144. Let p = b + y. Does 12 divide p?
True
Let y(k) = -9*k + 1. Let m = 22 + -16. Let j(p) = -10*p + 2. Let f(o) = m*y(o) - 5*j(o). Is 10 a factor of f(-6)?
True
Let w = 14 - 9. Is (-21)/(-15)*w/1 a multiple of 4?
False
Suppose 5*t - m + 15 - 40 = 0, -5*t = -3*m - 25. Suppose 6*z = 3*z + t*p + 74, 0 = -5*z - p + 114. Is z a multiple of 14?
False
Suppose -4*p + 102 + 50 = 4*o, 0 = p - 5*o - 8. Is 2 a factor of p?
False
Suppose -4*t + 362 = 18. Is t a multiple of 25?
False
Does 11 divide 2/5 - 1340/(-25)?
False
Let s(q) = 20*q**2. Let r be s(1). Let l = -3 + -5. Let t = l + r. Is 12 a factor of t?
True
Suppose -2*y + 163 + 29 = 0. Suppose -4*o = -2*c + y, 0 = c + c - 2*o - 106. Is 15 a factor of c?
False
Let j(l) = l**2 + 5*l - 6. Does 18 divide j(-8)?
True
Suppose c - 2 = -0. Let a(h) = -h**3 - h**2 + 4*h - 3. Let i be a(c). Is (-2)/i + 162/21 a multiple of 7?
False
Let o = 473 + -333. Suppose 0 = 4*x + x - o. Is 10 a factor of x?
False
Let c(u) = -u**2 - 8*u - 3. Let q be c(-7). Suppose -3*s = -2*h - 0*s - 69, -190 = 5*h - q*s. Is 4/6*h/(-4) a multiple of 2?
False
Suppose 4*s + 18 = 6. Let v be 27/(3/s*-1). Does 10 divide (v/6)/((-1)/(-6))?
False
Let q(t) = -t - 6. Suppose 3*n = n + 10. Let d be q(n). Let x = -8 - d. Is 2 a factor of x?
False
Suppose 4*l + 417 = 1381. Is l a multiple of 32?
False
Let n = 10 + -6. Let v be 2/(-9) - 1588/(-18). Suppose -n*y + 0*y = -v. Is 11 a factor of y?
True
Let d be 0 - 4 - (-4)/2. Let o(h) = -16*h - 2. Let w be o(d). Suppose 8 - w = -v. Is 6 a factor of v?
False
Let y = -2 + 4. Suppose 2*m - 4 = 3*z - 15, -4*z = y*m - 10. Let b = 9 - z. Does 4 divide b?
False
Let q be 1 + 5 + 0 + 1. Let y be (-2)/q - (-1548)/28. Suppose 4*g = -g + y. Is g a multiple of 6?
False
Let q be (-6)/2*1 + 7. Suppose s = -2*v + v + 56, 2*v - q*s - 118 = 0. Does 19 divide v?
True
Suppose -6*w = -9*w + 135. Does 15 divide w?
True
Let z be (-2 + (-15)/(-9))*-9. Suppose 0 = -2*h + 3*d - 78, -z*h + d = 53 + 57. Let q = h + 78. Is 17 a factor of q?
False
Let r(f) = -f + 2. Let n be r(4). Let k = -21 + 34. Let g = n + k. Does 11 divide g?
True
Let m(q) be the third derivative of 5*q**4/24 + 2*q**3 - 3*q**2. Does 21 divide m(6)?
True
Suppose 6*d - 350 = 4*d. Is d a multiple of 35?
True
Suppose -p = 2*k - 2, -k = 5*p - 6*k - 40. Does 3 divide p?
True
Let j = 73 - -31. Let f = j + -63. Does 12 divide f?
False
Suppose -5*c + 3*h + 23 = -12, 1 = -c - h. Let q(x) = -2*x**2 + 0*x**3 + 2 - 6*x + x**3 + 0. Does 5 divide q(c)?
True
Suppose 126 = -2*i - i. Is (108/i)/((-6)/56) a multiple of 9?
False
Let q(t) = -7*t - 9. Let f = 17 + -12. Let l(y) = 10*y + 13. Let h(r) = f*l(r) + 7*q(r). Is 3 a factor of h(6)?
False
Let d be (-2 - (-338)/10)*5. Let j(o) = o**2 - 2*o - 5. Let i be j(-4). Suppose 5*n - d + i = 0. Does 12 divide n?
False
Suppose 6*x - 30 = x. Is 2 a factor of x?
True
Let a = -16 - -17. Suppose 0 = -4*d + 5*r + 4 - a, -4*d - 2*r + 38 = 0. Does 5 divide d?
False
Suppose 4*p + 172 = 4*w, -175 = -5*w + 2*p - 7*p. Suppose -2*j = -j - w. Does 11 divide j?
False
Let p = -13 + 18. Suppose u - 3*n = 61, 0 = -p*u - 4*n + 276 + 48. Is u a multiple of 20?
False
Suppose y - 3*f = -6*f + 68, 2*f = -2. Is 16 a factor of y?
False
Let l(j) = 4*j - 5. Let m(n) = -n + 1. Let i(u) = l(u) + 3*m(u). Let v be i(6). Suppose 0 = v*t - a - 62, 3*t + 3*a - 26 = 28. Does 16 divide t?
True
Is 33 a factor of 2/3 + (-1060)/(-30)?
False
Let m = -14 + 10. Let u(g) = -2*g**2 + 2*g - 1. Let f(k) = k**2 - k + 1. Let a(i) = -3*f(i) - 2*u(i). Does 9 divide a(m)?
False
Let d be -3*(-5)/(5/(-2)). Let c(n) = -2*n + 6. Does 11 divide c(d)?
False
Let f(x) = x - 3. Let h(c) = -2*c + 6. Let q(j) = 5*f(j) + 3*h(j). Let w be q(0). Suppose 5*o - 3*o - 31 = -w*i, 43 = 5*i - o. Is i a multiple of 9?
True
Let m be 20/(-2 + 4) + 0. Let g = m - 4. Does 10 divide ((-30)/4)/(g/(-8))?
True
Suppose 0 = 3*t - 7 + 10. Is 5 a factor of t/3 - 140/(-15)?
False
Is 4 a factor of (-13 + 10)/(3/(-14))?
False
Let r(z) be the second derivative of 0 + 4*z - 3/2*z**3 + 3/2*z**2. Does 13 divide r(-5)?
False
Suppose 30*c + 1440 = 34*c. Does 24 divide c?
True
Suppose 11 = -5