 5*n + 4*n + 91 + n**2 + 2*n. Is 15 a factor of p(0)?
False
Suppose -2*r = 3*r - 4*c - 520, 0 = -2*r - 4*c + 180. Does 27 divide r?
False
Suppose 0 = -4*q - 3*x + 241, 2*q = 4*q + 3*x - 119. Is q a multiple of 57?
False
Let b = 30 - -12. Let c = 3 - 1. Suppose w = -c*v + 17, -w - 3*w = -2*v + b. Is 3 a factor of v?
False
Let c = 25 - -71. Does 24 divide c?
True
Let s = 15 - 3. Suppose -5*q + s = -q, -3*r + 3*q = -9. Is r a multiple of 3?
True
Let j(d) = d**3 - 7*d**2 + 6*d - 4. Let l be j(6). Is (-36)/(-8) + 2/l even?
True
Is 31 a factor of (-17 - -17) + (0 - -367) + 0?
False
Let j(r) = r + 7. Is j(15) a multiple of 11?
True
Let w = -11 + 33. Is 5 a factor of w?
False
Let h = 52 + -37. Let o = 165 - h. Suppose -2*q + 3*i = -37, o = 5*q + 5*i - i. Does 10 divide q?
False
Let b = -7 - 3. Let g = b + 18. Is g a multiple of 4?
True
Let l(o) = -8*o**2 + 4*o - 8. Let w(i) = i**2 - i. Let c(j) = l(j) + 10*w(j). Is c(7) a multiple of 16?
True
Suppose b - 3*b = 2*w - 8, 12 = 3*w. Is (-148)/(0 - 4) - b a multiple of 33?
False
Let j(u) = 2*u - 3. Let p be j(6). Let k(z) = -13*z - 1. Let q(v) = -7*v - 1. Let y(h) = -6*k(h) + 11*q(h). Is 4 a factor of y(p)?
True
Let n = 6 + -1. Let v = 29 - n. Is 8 a factor of v?
True
Suppose -3*x = -4*x. Suppose -b + x*b = -1. Does 9 divide (-12)/(-8)*6*b?
True
Let b(m) = -41*m**3 + m. Let z = 3 + -4. Let l be b(z). Let u = -14 + l. Is u a multiple of 13?
True
Let y be 0 + 1*(3 - 3). Suppose -5*q - g - g + 90 = y, 0 = 2*g. Is 13 a factor of q?
False
Let u = 1 - -1. Let f be -1*(u - 1) - 23. Does 8 divide 33/f*2*-4?
False
Let c be -1 + -11 - (-18)/6. Is 10 a factor of (-10)/45 - 92/c?
True
Let w(r) = -4*r - 10. Is 21 a factor of w(-13)?
True
Suppose 2*r + 4 - 2 = 0, -3*y - r + 5 = 0. Is 13 a factor of 1 + (-1)/y*-50?
True
Does 7 divide -3*((-3)/(-9))/(4/(-92))?
False
Suppose -8*r + 15 = -5*r. Suppose -r*t = 75 - 285. Is 11 a factor of t?
False
Let s = 3 - 0. Suppose -5*q - 3*r = -257, q + q - s*r = 107. Is q a multiple of 13?
True
Let s = -2 - -2. Suppose -3*w + 0*w + 48 = s. Is 6 a factor of w?
False
Suppose 0 = 7*o - 221 - 80. Is o a multiple of 22?
False
Let u(t) = -t**3 - 6*t**2 - 3*t - 2. Let c(y) = y - 6. Let o be c(0). Is u(o) a multiple of 11?
False
Let s(t) = -t**2 - 4*t - 3. Suppose 0*o - 3*i = 3*o + 6, 2*i + 16 = -5*o. Let g be s(o). Is 18 a factor of (g - 0)*160/(-15)?
False
Suppose 0*g + g = 46. Let d = -24 + g. Is 22 a factor of d?
True
Let y = -10 - -25. Is y a multiple of 5?
True
Is 13 a factor of ((-910)/4)/(-7)*(-4)/(-5)?
True
Let r(t) = 19*t - 2. Let w be (3 - 4)/(2/14). Let x(k) = 9*k - 1. Let p(g) = w*x(g) + 3*r(g). Does 13 divide p(-2)?
True
Suppose -2*s + s + 7 = 0. Let f be (s - 2) + (0 - 0). Suppose a = 3*k + 39, 5*k - 8 = -f*a + 147. Is a a multiple of 11?
True
Let a = 36 + -16. Is a a multiple of 4?
True
Let j(n) be the second derivative of n**4/24 + 13*n**3/6 - 3*n**2/2 - 3*n. Let p(d) be the first derivative of j(d). Does 13 divide p(0)?
True
Let i(h) = -4 + 12*h**2 + 2*h**2 + 2*h + 2*h**2. Let j be i(3). Is 5 a factor of j/12 - (-2)/(-12)?
False
Let z = 135 + -63. Does 6 divide z?
True
Let r(k) = -6*k - 4. Does 10 divide r(-4)?
True
Let q(t) = -t**3 + 6*t**2 + 2*t. Let m be q(6). Let y = 25 - m. Is y a multiple of 4?
False
Does 5 divide (70/3)/(20/30)?
True
Does 17 divide (-5)/2*318/(-15)?
False
Suppose i - 10 = 32. Is i a multiple of 14?
True
Suppose -4*q = 2*m - 3*q - 6, -8 = -m - 3*q. Let l be -2 - (8/m - 0). Is 2 a factor of (l/(-4))/(6/16)?
True
Suppose 2*o + 37 + 1 = 0. Let j = o - -32. Is 14 a factor of 4*(j/2 + -3)?
True
Let y = -76 - -140. Suppose -n + 2*j = 30, n - 3*j - 85 = 6*n. Let d = y + n. Does 22 divide d?
True
Suppose 4 = r + 2. Suppose r + 2 = 2*z. Suppose -7*y + z*y + 190 = 0. Does 19 divide y?
True
Let n(q) = q**3 + 5*q**2 + q + 1. Let f be n(-5). Suppose -t - 4*t + 95 = 0. Let u = t + f. Is u a multiple of 15?
True
Suppose -2*f = 3*f - 15. Let o(b) = b**2 - 4*b + 3. Let d be o(f). Suppose -53 = -p - d*p. Is 18 a factor of p?
False
Let t be (10/(-4))/(2/(-4)). Suppose 255 = 5*d + t*l, -4*d + 115 = l - 77. Is 10 a factor of d?
False
Let x = 21 - 19. Is -1 - x - 1 - -17 a multiple of 3?
False
Let j(r) = -r**2 + 6*r + 2. Let o be j(6). Suppose -2*v = -3*k - 51, 0*v + o*v - 86 = -4*k. Is v a multiple of 18?
False
Let d be (-1)/(0 + 3/6). Let y be 4 + 169 + 0 + d. Suppose -5*s - 3*m + 256 = 0, 3*m + y = 3*s - m. Is 17 a factor of s?
False
Let w be 3/((-4)/(-8) - -1). Suppose -w*r + 105 = -i + 1, 8 = -4*i. Does 24 divide r?
False
Suppose 0*p - 5*p - 205 = 0. Does 11 divide (-2 + 4)/((-2)/p)?
False
Let g(c) = 3*c + c - 2*c + 8. Is g(5) a multiple of 7?
False
Is 18 a factor of 4 + (-2)/(3 + (-309)/102)?
True
Suppose 9*g + 4*f - 28 = 7*g, -3*f + 71 = 4*g. Is g a multiple of 4?
True
Suppose -4*r + o = -12, -8 = -5*r + 3*r + o. Let d be ((-3)/(-2))/(r/4). Suppose 0*m + 29 = 3*t - 5*m, -5*t + 27 = -d*m. Does 3 divide t?
True
Suppose -96 - 9 = -5*b. Is 151/7 + 9/b a multiple of 6?
False
Let u(w) = -44*w - 5. Is u(-1) a multiple of 14?
False
Let n(k) = 36*k - 16. Let y be n(8). Suppose 4*p + 16 - y = 0. Is p a multiple of 32?
True
Let m(i) = 0*i**2 + 3*i**2 - 4 + 2*i**2 + i**3 + 3*i. Let l be m(-4). Suppose -h - 2*x + 0 - 1 = 0, l = h + 4*x + 11. Does 7 divide h?
False
Let h(k) = -k**3 - 7*k**2 - 2*k - 2. Let n(m) = -m**2 - 5*m - 1. Suppose 0 = -3*f - 26 + 8. Let p be n(f). Does 7 divide h(p)?
False
Let m = 15 - 7. Suppose -m = -t + 3. Is 6 a factor of t?
False
Let d(k) = -6*k - 31. Is 35 a factor of d(-11)?
True
Let b = 25 - -6. Let v = b - 21. Does 3 divide v?
False
Let z(r) = 3*r**3 - 3*r**2 + 3*r - 3. Suppose v + 2*v - 21 = 0. Let l = v - 5. Is z(l) a multiple of 15?
True
Suppose -f - 2*f + 9 = 0. Let l be (f/1)/(-2 - -3). Suppose -5*b - o = l*o - 30, -5*o = -5*b + 75. Is b a multiple of 10?
True
Let j(g) = g**2 + 14*g + 11. Let r be j(-8). Let h = r + 59. Is h a multiple of 18?
False
Suppose 5*o - 205 = -2*m, -2*o - 2*o = -m - 177. Suppose 4*q - 73 = o. Is 9 a factor of q?
False
Suppose -5 = -t - 1. Suppose b + 21 = t*b. Does 4 divide b?
False
Suppose 0 = 4*k + c - 661, -3*c = 4*k - 0*c - 655. Is 13 a factor of k?
False
Let w be ((-153)/18)/(1/4). Is (7 - 6)/((-2)/w) a multiple of 12?
False
Suppose y - m - 43 = 58, 0 = 2*y + 4*m - 196. Does 20 divide y?
True
Let p(u) = -11*u - 2. Let n be p(-1). Suppose -4*l + n = -103. Is 10 a factor of l?
False
Is ((-40)/28)/((-3)/21) a multiple of 5?
True
Let m be (0 + 0)/2*1. Suppose m = 4*o - o - 45. Does 6 divide o?
False
Let u = -1 + 7. Let h(r) = -r**2 - 4*r - 8. Let b be h(-6). Let a = u - b. Is a a multiple of 13?
True
Let d(s) = 2*s**3 - 2*s**2 - 2*s - 15. Is d(4) a multiple of 34?
False
Let u be -2 - ((-57)/1 - 2). Suppose -5*w - 2*y = 9 - u, -5 = -w - 5*y. Is 10 a factor of w?
True
Suppose 4*p = 5*t - 50, 4*t = 2*p - 0*t + 28. Let v = p - -48. Is v a multiple of 19?
True
Let o = 12 - -9. Does 4 divide o?
False
Let p be -8*3/(-12)*2. Let m(j) = p*j + 11*j + 3*j. Does 18 divide m(1)?
True
Is 15 a factor of (-3 - -3) + (0 - -30)?
True
Let i be (-14)/3*(-24)/28. Suppose i*k - 315 = -k. Is 21 a factor of k?
True
Let p be (-4)/(-6) - 28/(-12). Let r(d) = -d**2 + 5*d - 2. Is 2 a factor of r(p)?
True
Is 13 a factor of ((-1410)/25)/(3/(-15))?
False
Let d = 86 - 52. Suppose 35 = 2*j - u, 2*j = -u + 3*u + d. Is j a multiple of 6?
True
Let k(s) = -3*s + 1. Let j be k(6). Let v = j + 10. Let d = 19 + v. Is d a multiple of 6?
True
Suppose 2*v + 3*x = -2*x + 41, 0 = -3*v + x + 19. Suppose -8*g = -4*g - v. Suppose 3*n + 20 = g*o - 2*n, 4*n + 23 = 3*o. Does 2 divide o?
False
Let q(x) = 3*x - 12. Suppose 9 = -3*h - 3. Let k(i) = -3*i - 3. Let s be k(h). Is 11 a factor of q(s)?
False
Is 25 a factor of -108*(-4 + 26/8)?
False
Let l(z) = z**3 - 4*z**2 + 4*z - 1. Let b be l(3). Let y be -24*(b/2 - 2). Suppose 4 - y = -2*d. Is d a multiple of 5?
True
Let h(q) be the second derivative of q**5/20 - 5*q**4/12 - q**3/2 + 3*q**2/2 - q. Suppose 4*s - 27 = -3. Does 10 divide h(s)?
False
Suppose 0*h - h - 5*x = 22, h + 4*x + 17 = 0. Suppose h*i + i = 168. Is 14 a factor of i?
True
Suppose 10 = -5*n + 3*o, -3*n = -0*n - 4*o - 5. Let v be 0 - n/(15/(-18)). Let m = v - -14. Is m a multiple of 8?
True
Let p = 20 - 16. Let o(g) = 0*g + 4*g + 3 + 0*g. Is o(p) a multi