Let x = 233 - o. Suppose 2*h = -2*i + 46, 0 = h + h - 5*i - x. Does 11 divide h?
False
Let c(p) = 0*p**3 + p - 2*p**2 - 4 + 2*p**3 + 2 + 3. Let f(g) = g**3 - 3*g**2 + 3*g. Let x be f(2). Is 11 a factor of c(x)?
True
Let r(n) = -12*n + 4. Let z be r(3). Let q = 26 + -45. Let x = q - z. Is x a multiple of 11?
False
Suppose 0 = h - 4*q - 13, -h + 14 + 1 = -5*q. Let c be (-1)/(-1)*h/1. Suppose c*s - 32 = 53. Is s a multiple of 13?
False
Let g = 121 + -94. Is g a multiple of 6?
False
Let p = -3 - -17. Is 6 a factor of p?
False
Suppose 4*n + 3*z = 183, -2*z + 92 = -5*n + 338. Suppose 2*c = n - 0. Is 12 a factor of c?
True
Let k be (-3 + 0)/((-3)/8). Suppose -2*u = -k, 0*w - 2*u + 110 = 2*w. Does 17 divide w?
True
Suppose -f + 60 - 13 = 0. Is 22 a factor of f?
False
Suppose 0*b = 5*b - 25. Suppose 7 = 2*k + 1, -3*g + 30 = b*k. Is g a multiple of 2?
False
Let o be 2*1 + (-40)/5. Let g = o - -10. Suppose 5*q + g*c - 31 = 0, 4*q + 5*c - 2*c - 24 = 0. Is q a multiple of 3?
True
Let t = -17 - -38. Let l(s) = 3*s + 1. Let f be l(2). Suppose -d + f = -t. Is d a multiple of 14?
True
Let i = -42 - -58. Does 16 divide i?
True
Let l = -9 - -5. Is 15 a factor of (14/l - -2)*-10?
True
Let i = -11 + 16. Suppose 3*j = 2*a + 6*j - 110, 0 = a - i*j - 42. Suppose -t + 6*t = 3*c + 248, -t = -3*c - a. Does 14 divide t?
False
Let u be 10*(-2 + (-21)/(-6)). Suppose 0 = -i + 5*s + u + 33, i + 5*s - 28 = 0. Is 19 a factor of i?
True
Let t = 159 - 244. Let j = -56 - t. Is j a multiple of 7?
False
Is -6 + (-2)/6*-1101 a multiple of 36?
False
Let j be (-156)/10 + 10/(-25). Does 5 divide 6/8 - 116/j?
False
Let m(w) = 108*w**2 - 2*w + 2. Is m(1) a multiple of 10?
False
Let f(z) = z**3 - z**2 + 2*z - 3. Suppose 0 = -4*d + 5 + 3. Let p be f(d). Suppose -4*w = -4*t + t + 70, -p*t + 5*w = -120. Is t a multiple of 13?
True
Suppose 5*l - b = -15 - 4, -b - 2 = 2*l. Let q = 41 + l. Let g = q - 12. Does 13 divide g?
True
Suppose -584 = -5*h - 104. Let k be -3*(-1)/(4 + -3). Suppose 5*i = k*z + 27 + h, z + 23 = i. Does 16 divide i?
False
Let g(w) = -w + 27. Let z be g(0). Let b = -13 + z. Does 13 divide b?
False
Suppose 2*o = 0, 20 = 2*f + o + 4*o. Is 9 a factor of f?
False
Suppose 4*w = 4 + 16. Is (-3)/(-2) + w/2 even?
True
Suppose o - 2*f = -8, 5*o + 5*f + 0 = -10. Let p(i) = 5*i**2 + 7*i - 4. Is p(o) a multiple of 16?
True
Suppose 2*v + 156 = 598. Is v a multiple of 17?
True
Suppose 0 = -5*v - 22 + 77. Let s = -25 - -18. Let z = v - s. Is 8 a factor of z?
False
Suppose m = 4*w - 4*m - 661, -w - 2*m + 149 = 0. Is w a multiple of 15?
False
Let k = 7 + -16. Is 2 a factor of k/(-3)*(-2)/(-3)?
True
Let m be 13 - 1*6/2. Suppose 0 = -3*a - 2*a + 2*l - m, -a + 3*l = -11. Let v(s) = s**3 + 4*s**2 - 5*s - 3. Is 17 a factor of v(a)?
True
Let c(g) be the first derivative of g**4/4 + g**3/3 + g**2/2 + 29*g + 4. Is 9 a factor of c(0)?
False
Let i(z) = -z**3 + 2*z. Let t be i(-2). Suppose 0 = t*c - 7*c + 12. Suppose a - c*w - 21 = -0*a, 5*a = -2*w + 17. Is a a multiple of 5?
True
Let h = 182 + -119. Does 9 divide h?
True
Suppose v = -3*v + 40. Does 3 divide v?
False
Does 2 divide (-4)/8*6*-1?
False
Does 2 divide ((-132)/(-55))/((-6)/(-20))?
True
Suppose -b = 4*u + 19, -4*b + 0*u - u - 76 = 0. Does 8 divide (-12)/8 - b/2?
True
Suppose 0 = -5*y + 2*r + 371, 0*y + 4*r = 4*y - 304. Is 11 a factor of y?
False
Let w be 224/10 + 4/(-10). Suppose -w = -u + y, u = -5*y - 0*y - 8. Is u a multiple of 17?
True
Suppose 5*v - 5*n = 1665, 5 + 7 = 4*n. Is v a multiple of 24?
True
Let x(o) = o**2 - 7*o + 6. Let p be x(7). Is 2 a factor of (-1)/(2 - 15/p)?
True
Let z = 627 - 435. Let s = z + -123. Is 18 a factor of s?
False
Suppose 2*j + 265 = 5*y - 27, 3*j = -y + 72. Is 10 a factor of y?
True
Let p(k) = -6*k**3 + 2*k**2 - k. Let z be p(1). Let b = 11 + z. Suppose -2*v + 20 = b*h - h, 0 = -4*v + h + 18. Is 2 a factor of v?
False
Let k(a) = -4*a**2 + 4. Let i be k(-3). Let d = 53 + i. Is d a multiple of 8?
False
Let h = -3 + 11. Let c be ((-9)/(-12))/(2/h). Suppose -n - x = -33, x = c*n + 6*x - 105. Does 15 divide n?
True
Let a(q) = q**2 - q + 5. Suppose -3*h = -p - 19, -4*p - 36 = -5*h + h. Suppose -1 - 5 = 4*n - 2*j, -j - h = 0. Is 25 a factor of a(n)?
True
Let c be 3/(-5) + (-2)/5 + -32. Let s = -76 - -159. Let d = c + s. Does 25 divide d?
True
Let v be -1*4/((-8)/6). Suppose v*b = -20 + 92. Is b a multiple of 11?
False
Is 16 a factor of (-3 - (-6 + 3)) + 48?
True
Let b(z) = z**2 - 7*z + 4. Let o be b(7). Let c = o + -3. Suppose 2*y = c + 5. Is y a multiple of 3?
True
Let a = -3 - -7. Is 4 a factor of a?
True
Let a be 0*((-15)/(-6))/5. Suppose a = f + 2*f - 27. Is 5 a factor of f?
False
Let m(b) = -52*b - 28. Does 42 divide m(-7)?
True
Let q be (-4)/((-3)/(3/(-1))). Is 4 a factor of (32/20)/(q/(-10))?
True
Let w be 1/2 + 9/(-18). Suppose -3*o = c - 276, w = -0*o - 4*o - c + 367. Is o a multiple of 15?
False
Let k(x) = 2*x**3 + 6*x**2 - 2*x - 1. Does 3 divide k(-3)?
False
Suppose 160 = 2*h - 56. Let d = h + -59. Is d a multiple of 19?
False
Suppose -2*r + 7 = -3*r. Does 9 divide (36/14)/((-1)/r)?
True
Let g(s) be the second derivative of s**5/60 + s**4/8 + 4*s**3/3 - 3*s**2/2 + s. Let f(n) be the first derivative of g(n). Is 26 a factor of f(-6)?
True
Let b be (10 - -2)/4 - 8. Let s(x) = x**3 + 7*x**2 + 5*x - 2. Does 8 divide s(b)?
False
Suppose -119 = 2*c - 4*c - 5*a, -82 = -c + 2*a. Does 28 divide c?
False
Let m(v) = -v**3 - 8*v**2 - 2*v - 2. Does 7 divide m(-8)?
True
Let c(i) = i**3 - 2*i**2 + 2*i + 1. Let p(a) = a + 1. Let l be p(5). Suppose 4*u = u + l. Is 4 a factor of c(u)?
False
Suppose -v = -3*v + 10. Suppose 2*z = n + 8, 0 = 5*z + n - v - 1. Suppose -z = o, -3 = i + 5*o + 1. Does 6 divide i?
True
Suppose -2*g + 0 = -4. Suppose -12 = g*z + 2*z. Let v(m) = -2*m**3 - 4*m**2 - 1. Does 12 divide v(z)?
False
Let n be 692/(-8)*(-2 - 0). Suppose 4*g - n - 3 = 0. Does 15 divide g?
False
Does 45 divide (3933/(-4))/(-3) + 42/(-56)?
False
Let w = -215 + 356. Is 14 a factor of w?
False
Let j = -1 - -11. Is 9 + -7 - j/(-2) a multiple of 3?
False
Let o(h) = -h + 5. Let x(w) = -4 - 3 + 2. Let v(l) = -2*o(l) - 3*x(l). Does 15 divide v(5)?
True
Suppose q + q = 10. Suppose 3*l = -2*l - 2*x + 253, -q*x = -l + 56. Does 15 divide l?
False
Does 4 divide 1 - (63/3)/(-1)?
False
Let p = 0 - -5. Suppose -3*q - p + 14 = 0. Does 3 divide q?
True
Suppose n + 0*m - 13 = 3*m, 3*n - 46 = 2*m. Is 8 a factor of n?
True
Let l = 306 - 510. Let r = -138 - l. Does 22 divide r?
True
Suppose -125 = 3*s + 2*s. Suppose -2*i - 4*g - 10 = -0*g, -5*g - 10 = 2*i. Let d = i - s. Does 10 divide d?
True
Let v(p) = 1 - 2*p**3 + 3*p**3 + 2 + 2*p + 4*p**2 + 4*p. Let c be v(-4). Let o = c - -33. Is 10 a factor of o?
False
Suppose 3*f + 4*i - 16 = 0, f - 5*f - 2*i = -18. Suppose 20 = -5*q, f*w - q - 5 = 7. Suppose 2*s + 71 = 5*k, 4*s + 75 = 5*k - w. Is k a multiple of 12?
False
Suppose 4*p - 392 = -3*y + 2*p, -y = -2*p - 120. Does 8 divide y?
True
Suppose 0 = 4*g + 2*n - 5*n - 44, 0 = 2*n. Let f(z) = z**3 - 10*z**2 - 10*z - 9. Let t be f(g). Suppose -t*q = -5*r + 114, -q - q + 30 = r. Is 9 a factor of r?
False
Let n(k) = -k - 10. Let c be n(-7). Let u = 3 - c. Suppose 78 - u = 2*o. Is o a multiple of 12?
True
Let k(u) = 3*u + 2. Let s(g) = -g**2 + 3*g + 3. Let y be s(3). Is 4 a factor of k(y)?
False
Suppose 4*z = x + 16, -2*x + 3*z - 3 - 9 = 0. Suppose 2*k + w - 49 = -0*k, x = 2*w + 6. Is 13 a factor of k?
True
Let u = -29 + 45. Is 16 a factor of u?
True
Suppose -5*y - 4*i = -860, 2*y - 7*i - 344 = -9*i. Is y a multiple of 38?
False
Is ((-9)/6)/(6/(-196)) a multiple of 21?
False
Let f = 284 - 168. Suppose 6*g - g + 4*l = 119, 5*g - f = -l. Is g a multiple of 12?
False
Let q be (3/(-6))/(3/(-108)). Let l be (61/3)/((-2)/q). Is 3 + -2 + l/(-3) a multiple of 19?
False
Suppose -c - 73 = -3*c - 5*m, 4*c + 3*m - 125 = 0. Is 7 a factor of c?
False
Let v(h) = -h**2. Let p(d) = 6*d**2 - 5*d + 6. Let o(t) = -t**3 - 9*t**2 + 5. Let f be o(-9). Let r(u) = f*v(u) + p(u). Does 10 divide r(7)?
True
Let z be ((-1)/(-3))/(3/63). Let x = z + 2. Is 4 a factor of x?
False
Let u(k) = k - 8. Let q be u(0). Let b be 18/14 + q/28. Is 8 a factor of -2 - (-19 + 0 + b)?
True
Let t = 58 - 31. Is 9 a factor of t?
True
Suppose -2*n - 2*x + 36 = -5*n, 0 = 3*x - 9. Does 8 divide (-265)/n