5 = 0. Suppose -2*i + 0*i + 26 = a. Is i a multiple of 13?
True
Let g = 5 + -2. Suppose -20 = -g*o + o. Is o a multiple of 10?
True
Let h be 2/((-10)/4 - -3). Is 8 a factor of 79/7 + h/(-14)?
False
Let o = -33 + 48. Is 17 a factor of (-40)/o*(-30)/4?
False
Let b(r) = r**2 - 2*r + 4. Let l(o) = 2*o**2 - 8*o + 4. Let s be l(5). Let q be s/3 + 6/(-9). Does 5 divide b(q)?
False
Let l be (-1 - 0) + (4 - -5). Let f(o) be the third derivative of -o**5/60 + 11*o**4/24 + o**3/6 + 2*o**2. Does 10 divide f(l)?
False
Let h be 5/1*(-4)/10. Let d be -2*(h - -3)*-1. Suppose -d*z = -29 - 11. Does 7 divide z?
False
Suppose -4*c - 20 + 72 = 0. Suppose f + 0 = -4*i + 7, -3*f + c = 4*i. Is ((-24)/(-9) - 0)*f a multiple of 4?
True
Is 13 a factor of ((-4)/(-6))/((-6)/(-333))?
False
Let m = 7 + -6. Let t(y) = 2*y - 11 + 3 - m + y. Is 6 a factor of t(9)?
True
Let g(w) = w + 3. Let r be g(-3). Suppose v + 2*o - 49 = -4*v, 4*v - 3*o - 53 = r. Let a = v - -8. Is a a multiple of 7?
False
Let k be (10/(-6))/((-20)/24). Suppose -k*c = -62 - 124. Does 16 divide c?
False
Suppose u = -9 - 1. Does 15 divide 4/u - (-304)/10?
True
Suppose 780 = 48*l - 43*l. Does 14 divide l?
False
Suppose c - 2*r = -0*r, 5*r - 55 = -3*c. Suppose -3*p - 26 = -7*m + 2*m, -c = -m - p. Is 7 a factor of m?
True
Let w(q) = -q**2 + 9*q - 10. Let l(h) = h**2 - 2*h. Let z be l(-2). Suppose -3*t + z = -13. Is w(t) a multiple of 2?
True
Let l(i) = i**3 - 3*i**2 - i + 1. Let w be l(3). Is 5 a factor of w/6 + 34/3?
False
Let x(p) = -6*p + 5. Let q be x(-6). Let v = q - 19. Is 576/v - 2/11 a multiple of 13?
True
Is 14 a factor of (-56)/(-6)*(-27)/(-6)?
True
Suppose 768 = 8*a + 8*a. Is a a multiple of 22?
False
Suppose 2 = -4*g + 5*g. Suppose -3*r + 66 = -0*r + g*j, 2*j = 4*r - 88. Suppose -d - r = -3*d. Is 11 a factor of d?
True
Suppose 3*f + f + 25 = -3*l, 3*l = 3*f + 3. Let b be (-7)/14 + (-226)/f. Does 14 divide b/4 - -1*2?
False
Let x(n) = -n**3 + 3*n**2 + 3*n + 4. Let u be x(4). Is 12 a factor of 13 - (u + 0 + 1)?
True
Suppose -3*y = -0*y - 4*s - 51, -y - 3*s = -4. Does 2 divide y?
False
Suppose -2*w - r - 91 = -23, -64 = 2*w + 2*r. Let z be w/(-4)*1/1. Does 16 divide ((-48)/z + 0)*-3?
True
Let a(y) = -2*y + 16. Let z be a(10). Let r(n) = -6*n + 9. Does 9 divide r(z)?
False
Let m = -57 - -56. Suppose 2*n + 3 = -n. Is 16 a factor of (-42)/(m/(n/(-1)))?
False
Suppose 3*w - 79 = 5*u + 45, 0 = -4*w - 5*u + 212. Is w a multiple of 24?
True
Suppose 3*a = -4*c - c + 265, a - 111 = 4*c. Is 19 a factor of a?
True
Suppose 0 + 15 = 5*o. Suppose 3*i - 16 = 4*n, 4*i - o*n = -0*n + 33. Does 12 divide i?
True
Suppose -4*z + 2*x + 1 = -3, 1 = z + 3*x. Suppose 2*q = 7*q + 10. Is 9 a factor of q + 0 + z - -21?
False
Let s(n) = n**2 + 12. Let b be s(0). Let u = -1 + 5. Suppose -u*r + b = -2*r. Is 4 a factor of r?
False
Let z(s) = s**3 + 10*s**2 - s - 16. Is 46 a factor of z(-7)?
True
Is -13*(10/25 + 21/(-15)) a multiple of 2?
False
Let o(g) = g**3 + 13*g**2 + g + 9. Is 30 a factor of o(-11)?
True
Suppose 5*f = -5, -4*i + 2*i - f = -5. Suppose 2*z + 5*m - 8 = 0, 0*m = z - i*m - 15. Does 9 divide z?
True
Suppose -4*b + 66 = -2*b. Does 6 divide 3/6 - b/(-6)?
True
Suppose 2*m - 3*i = 10, 0 = -8*m + 3*m + 4*i + 18. Suppose m*n - 5 = n. Does 5 divide n?
True
Let o(s) be the second derivative of 3*s**3/2 + s**2 - s. Let r be o(8). Suppose 3*g - 15 - r = -x, -2*g - 2*x = -62. Is 14 a factor of g?
False
Suppose 3*m - 285 = -5*x, -3*m - 260 = -4*x + m. Is x a multiple of 12?
True
Suppose o + 16 = 5*o. Suppose 5*b - 2*y = -4*y + 127, o*y = b - 21. Does 12 divide b?
False
Suppose 2*w - 196 = -4*s, -311 = -5*w + 5*s + 164. Is w a multiple of 32?
True
Suppose -3*j + 12 = 3*r - 2*j, 12 = -4*j. Suppose -3*z = s + 2 - 9, -5*z + r*s + 5 = 0. Suppose 42 - 201 = -5*a - 2*m, -z*m = a - 27. Is a a multiple of 13?
False
Is (-12)/(-8) - 194/(-4) a multiple of 12?
False
Suppose -4*u = -s + 10, -2*s + 4 = 2*u + 2*s. Let c(k) = -59*k. Is c(u) a multiple of 28?
False
Let t = -163 - -115. Suppose a + 5*l - 99 = 0, 4*a - 2*l - 246 = a. Let k = a + t. Is 18 a factor of k?
True
Suppose 0 = -0*d - 2*d + 12. Suppose -16 = -4*v + 36. Let z = v - d. Is z a multiple of 3?
False
Let d be ((-2)/(-3))/((-10)/(-195)). Let b = d + 35. Is 17 a factor of b?
False
Suppose q = d - 158, 3*q - 750 = -5*d - 0*q. Is d a multiple of 41?
False
Suppose 3*i - 30 = 4*w, -2*i - w = 3 - 23. Is 7 a factor of (-136)/(-10) - 6/i?
False
Let t = -9 - -37. Does 6 divide t?
False
Suppose -101 - 124 = -5*d. Is 9 a factor of d?
True
Suppose -24 = -0*z - 2*z. Is z a multiple of 3?
True
Is 19 a factor of 1/4 - -2734*(-1)/(-8)?
True
Let q(i) = -i**2 + 9*i - 3. Is 2 a factor of q(8)?
False
Let r(d) be the second derivative of d**4/12 + d**3/6 - d**2 + d. Suppose 4*l - i = -22, -6*i = -3*l - 3*i - 21. Is 11 a factor of r(l)?
False
Suppose -12 = -4*j - 4. Suppose -5*p + j*p + 21 = 0. Is p a multiple of 7?
True
Let d(c) = c**2 + 8*c + 3. Let u be d(-5). Let i be ((-296)/u)/((-2)/3). Let x = i - -58. Does 11 divide x?
False
Let o(p) be the third derivative of p**5/60 + p**3/6 + 3*p**2. Suppose -5 = -3*v - 2. Is o(v) a multiple of 2?
True
Let n = 132 - 117. Is n a multiple of 6?
False
Let y = -25 - -61. Is y a multiple of 11?
False
Let l = 5 - -2. Suppose 0 = -5*m + 20, -76 = -4*f + l*m - 2*m. Is 7 a factor of f?
False
Let u(m) = -2*m - 23. Is u(-18) a multiple of 13?
True
Let q(u) = 4*u + 6. Suppose -5*o + 0*t - 2*t = -24, -21 = -3*o + t. Is 10 a factor of q(o)?
True
Is ((-244)/(-6))/((-60)/(-450)) a multiple of 61?
True
Let d(z) be the third derivative of -z**4/24 - z**3/2 + 2*z**2. Let s be d(-2). Is 13 a factor of s/5 - 252/(-10)?
False
Let d(j) = 4*j - 5. Suppose t = 2*z + 5*t - 2, -2*z + t + 22 = 0. Let a be d(z). Is -1 + a + 2/(-2) a multiple of 10?
False
Does 9 divide (54/(-5))/((-6)/15)?
True
Is 27 a factor of -1 + (-2 - 648/(-3))?
False
Suppose h - 5*t - 2 = 0, 0 = -6*h + 3*h + 3*t + 54. Is 11 a factor of h?
True
Let l = 22 + 20. Is l a multiple of 11?
False
Let r(q) = -18*q - 12. Is r(-4) a multiple of 6?
True
Let w = -1 - 1. Let i(b) = -27*b + 2. Let t be i(w). Suppose -3*g = -4*h + 45, 3*h = -2*h + 4*g + t. Is h a multiple of 6?
True
Let l(j) = -j**3 + 10*j**2 + 3*j - 15. Does 5 divide l(10)?
True
Let k = 6 - 3. Let b be 5/15 + (-130)/k. Let s = -31 - b. Does 12 divide s?
True
Suppose -2*h - 5*p + 92 + 14 = 0, 0 = -4*h + 5*p + 212. Is 53 a factor of h?
True
Let o(n) = n**2 - 12*n + 20. Let x be o(10). Let f be -4*((-3 - 2) + 2). Suppose -y - y + f = x. Does 2 divide y?
True
Let f(p) = -1 + 16*p**3 - 2*p + 2*p + p + 0. Is 16 a factor of f(1)?
True
Let v(x) = x**2 + 3*x - 3. Let z(k) = -k**3 - 8*k**2 + k + 3. Let n be z(-8). Does 7 divide v(n)?
True
Let j = -169 + 178. Is j a multiple of 3?
True
Let a(g) = 14*g + 10. Let r = -13 + 18. Does 17 divide a(r)?
False
Let n(i) = -i - 3. Let q be n(-5). Let x(r) = 4*r + q - 3*r + r**2 + r**3 + 2*r - 2*r. Is x(2) a multiple of 8?
True
Let p(r) = 1 - 2*r - 1. Let g be p(-2). Does 5 divide 0 - (-2*g + 2)?
False
Let h(k) = -k**3 + 6*k**2 + 1. Let f be h(6). Suppose -9 = 3*c, -2*l + 5*c = f + 18. Let y = l + 26. Is 9 a factor of y?
True
Suppose 5*l - 19 = -y, -2*l = 3*y - 7*l - 57. Suppose 4*u = -3*f + 14, 4*u - 4*f - 26 = -f. Suppose r + u = y. Does 7 divide r?
True
Suppose -3*j + 86 = -19. Is 7 a factor of j?
True
Let a(s) = s**3 - 2*s**2 + 2*s + 2. Let j be a(2). Suppose y + 22 = q + j*y, -4*q + 3*y = 4. Suppose -q*h = -h - 18. Is 15 a factor of h?
False
Let h = -5 + 9. Suppose h*q + 180 = 9*q. Is q a multiple of 18?
True
Suppose j + l - 303 = 0, 1212 = 3*j + j + l. Does 37 divide j?
False
Let p(z) be the second derivative of -z**3/6 + z**2/2 + 2*z. Let k be p(0). Let r(l) = 29*l**3 + l. Does 15 divide r(k)?
True
Let d = 7 - 3. Suppose 0*r - 3*r = 5*v - 175, -44 = -2*v + d*r. Does 16 divide v?
True
Suppose 0 = 3*b - 8 + 2. Suppose -5*i - 4*g = -3*g - 66, -b*i = 4*g - 12. Is 4 a factor of i?
False
Suppose a - 12 = -a. Suppose -5*p - a = -21. Does 3 divide p?
True
Let t be ((-2349)/18)/(2/(-4)). Is t/(-1 + 4) - 3 a multiple of 24?
False
Let p(i) = 4*i + 8. Is 10 a factor of p(13)?
True
Suppose -3*g - 3 = 12. Let l be g*((-3)/5 - 1). Suppose -l = -4*f + 3*f. Does 8 divide f?
True
Suppose 4*f - f - 564 = -a, f - 5*a = 204. Let c = f + -117. Is 