se 2*u - 259 = 3*k, a*k = 6*u - u - 651. Suppose -4*o + 5*y = -u, -87 = -2*o + 4*y - 29. Does 13 divide o?
True
Suppose w - 4 = -4*x, 4*x = 2*w + x - 8. Suppose -p - 3*t = -37, -3*p + 116 = w*t - 0*t. Does 4 divide p?
True
Suppose -471 = d - 6*d + 3*j, -99 = -d - j. Is d a multiple of 8?
True
Is 21/(-91) - 7665/(-91) a multiple of 10?
False
Suppose 54*s - 2470 = 44*s. Does 3 divide s?
False
Let m = 949 + -522. Does 6 divide m?
False
Let j = 234 + 382. Does 8 divide j?
True
Let c = -14 - -22. Does 20 divide (-9120)/(-28) + (-5)/((-140)/c)?
False
Let u(f) = -4*f + 66. Let l(g) = -3*g - 1. Let i(j) = -2*l(j) + u(j). Suppose 0*m - 5*m = -5*s + 5, 4 = 5*s - 4*m. Is i(s) a multiple of 14?
False
Let d(i) = -7*i**3 - 3*i**2 - 20*i - 10. Let x(r) = -3*r**3 - 2*r**2 - 10*r - 5. Let f(l) = -2*d(l) + 5*x(l). Is f(-4) a multiple of 7?
True
Suppose 12*v + 5 = 41. Suppose -5*u = -2*q, -q = 5*u + 2*q. Suppose -v*c = 5*i - 51, 4*i - 28 = -u*i + 4*c. Does 4 divide i?
False
Let q = -183 - -289. Let d = -3 + 5. Suppose q = 4*x - 0*x + 2*h, d*h - 22 = -x. Is x a multiple of 10?
False
Let k be 18/(-4)*(8 - 6). Let u = k - -12. Suppose u*m + 95 = 4*m. Is 24 a factor of m?
False
Let v(q) = q + 1 + 4 - 3*q + q**2. Let x = -35 + 42. Is 10 a factor of v(x)?
True
Let a = 141 - 96. Let i = -33 + a. Suppose 4*w + i = 88. Is 15 a factor of w?
False
Suppose -99 - 13 = -4*i. Let c = 1 - 1. Suppose -33*p + i*p + 85 = c. Does 10 divide p?
False
Suppose m = f - 5, -m + 0 = f - 5. Suppose 124 = f*p - 581. Does 6 divide p?
False
Is (-57)/(-9) - 6 - 3562/(-6) a multiple of 9?
True
Let u = 3362 - 1729. Is 71 a factor of u?
True
Let h be (2/6)/((-7)/21). Let c be (-5 - 4)*4/((-4)/3). Is 9 a factor of ((-3)/9)/(h/c)?
True
Let v = -16 + 25. Let m be (8 - v)*(-4 - 0). Suppose 144 = 2*p + m*x, 3*p + 3*x = 373 - 148. Is p a multiple of 20?
False
Let j(n) = 21*n**3 + n**2. Let c(p) = -p**2 + p - 1. Let i(o) = 4*c(o) + j(o). Is 8 a factor of i(2)?
True
Let k(v) = 43*v - 44. Is 10 a factor of k(28)?
True
Let w(n) be the first derivative of n**3/3 - 13*n**2/2 - 32*n - 32. Is 41 a factor of w(19)?
True
Suppose 652 = 3*q - 11. Suppose 7*j = q - 60. Is j a multiple of 8?
False
Let o be (-256)/(-18) + 4/(-18). Let a = o + -29. Let g = -3 - a. Does 8 divide g?
False
Suppose -2*i = 2*i + 3*h - 228, 0 = i + h - 56. Is 3 a factor of i?
True
Let l(z) = z**3 + 10*z**2 - 16*z - 3. Let u be l(-11). Let o = -41 + u. Does 11 divide o?
True
Does 3 divide 105 - (-12)/(-16)*4?
True
Let r(v) = v**3 - 9*v**2 + 26*v + 48. Is r(11) a multiple of 12?
True
Let h(c) = -5*c + 78. Is h(8) a multiple of 2?
True
Suppose -5*c = -0*c - 2255. Is 27 a factor of c?
False
Suppose 4*r - 3*r - 3 = 0. Suppose r*p = -5*v + 145, -v - 3*v = -5*p + 217. Is 15 a factor of p?
True
Suppose -v - 195 = 2*h, 280 = -3*h - 0*h + v. Suppose s + 0*s - 199 = 0. Let r = s + h. Does 13 divide r?
True
Let i be -1 + (3/(-3) - -2). Suppose -2*n + 4*v + 54 = i, -5*n + 0*n - 5*v = -150. Let t = -14 + n. Is 15 a factor of t?
True
Suppose -16 = -2*l + 8. Suppose -5*d + 6*t - 2*t = -867, 4*t = -l. Suppose -3*m + d = -0*m. Is 19 a factor of m?
True
Let y = -37 + 25. Let c = 10 + y. Is c/(-4)*(89 + 1) a multiple of 8?
False
Suppose 5*q - 2*q = 1284. Is q a multiple of 10?
False
Let w(q) = q**3 - 3*q**2 - 4*q + 2. Let l be w(4). Let r be l - (3 - 2 - 3). Is 0 + 1 - (0 - r) a multiple of 2?
False
Let o = 35 - -325. Does 18 divide o?
True
Is 3 a factor of (-5644)/(-8) + (-14)/(-4) + -7?
True
Let r = -1090 - -1555. Is r a multiple of 45?
False
Let m = -382 - -4837. Does 135 divide m?
True
Suppose 10 = 5*q + 4*u, 4*q + 0*q - 5*u = -33. Let n = 46 - q. Does 16 divide n?
True
Is 11 a factor of (-1 - -3)*344/4?
False
Suppose 6*a = a + 25. Suppose a*m = 2*b - 1, 3*b + m = 8*b - 14. Suppose b*o - 45 = -18. Does 5 divide o?
False
Let p(o) be the second derivative of 11*o**3/6 - o**2/2 - 3*o - 4. Let m = 7 - 5. Is p(m) a multiple of 7?
True
Suppose 2198 = 3*v - 2*x, 2*v - 5*x = 665 + 782. Does 23 divide v?
True
Suppose -5*d + 1 = -9. Let o be 0/(d/(-2 + 4)). Suppose 0 = -i, -5*i + 22 = g - o*i. Does 6 divide g?
False
Suppose b = -m + 1282, 2*m = 3*m - 4*b - 1277. Does 10 divide m/42 + 2*1/(-4)?
True
Suppose -9 = 8*n + 55. Let q(r) = -5*r - 34. Is q(n) a multiple of 5?
False
Let u(v) = 3*v + 8. Let c = 25 - 29. Let t be u(c). Does 21 divide (-72)/(-4)*(-14)/t?
True
Suppose -3*g + 370 + 224 = 0. Is g a multiple of 33?
True
Let s(l) = -3*l**2 + 11. Let n(p) = -2*p**2 - p + 12. Let x(w) = 4*n(w) - 3*s(w). Is 5 a factor of x(7)?
False
Let f(i) = i**2 + 12*i + 3. Let b be f(-12). Let l = 6 + b. Let a(x) = 2*x - 12. Is a(l) a multiple of 6?
True
Suppose 5*v + 398 = -102. Does 19 divide (-186)/(-5) - 80/v?
True
Suppose 0 = 9*m - 44466 + 15486. Is 20 a factor of m?
True
Let r = 122 + -20. Let i be (8/(-6))/((-4)/r). Let h = 55 - i. Is 7 a factor of h?
True
Suppose -3*a + 70 = -2*k, 7*a = 5*k + 3*a + 189. Suppose -4*b + 3*b = -77. Let j = k + b. Does 12 divide j?
True
Let z = -31 - -6. Let u = z - -55. Let j = u + 12. Is 11 a factor of j?
False
Suppose -5*m = 4*z, 2*m = -0*z - z. Suppose z = -4*v + 9*v. Suppose 2*g = -0*g + 2*c + 16, v = -4*g - 2*c + 2. Is g a multiple of 3?
True
Is 16/20*3310/4 a multiple of 24?
False
Let o be 2*(0 + -3)/(-3). Let m(n) = -n**3 - 6*n**2 + 7*n. Let v be m(-7). Suppose 8*z - 3*z - 3*k - 141 = v, -2*k = o*z - 66. Is 15 a factor of z?
True
Let t(n) be the second derivative of 17*n**5/20 + n**4/12 + n**3/6 - n**2/2 + 4*n. Let r be t(1). Let d = r - 0. Is d a multiple of 7?
False
Let h = -128 + 190. Let l = h - 15. Is l a multiple of 6?
False
Is 11 a factor of (22/(-88))/(1*1/(-428))?
False
Let j(v) = -2*v - 13. Let r be j(-9). Let m(b) = 11*b. Let p be m(r). Suppose -4*l = -a - 0*a + p, 5*a = 4*l + 259. Is a a multiple of 12?
False
Let i(m) = -m - 1. Let d = -6 - -5. Let u be i(d). Suppose 13*o - 12*o - 35 = u. Does 7 divide o?
True
Suppose 2*u + 70 = 3*u. Suppose 2*f - u = 10. Is f a multiple of 6?
False
Suppose z = 3*s + 134, -s - 8 = -5. Is z a multiple of 25?
True
Let r(f) = -f**3 + 18*f**2 - 4*f + 15. Is 33 a factor of r(12)?
False
Suppose -3*j - 4*z = -444, -j - 5*z + 140 + 8 = 0. Let l be (2826/(-12))/((-3)/4). Suppose 3*r + 4*y - j = r, -l = -5*r + 4*y. Is 22 a factor of r?
True
Let h = 22 - 16. Suppose 0 = h*a - 2*a. Suppose 3*d - 32 - 40 = a. Is 24 a factor of d?
True
Suppose -4*o + 5 + 3 = p, -4*p - 5*o + 76 = 0. Suppose -p = 5*m - 8*m. Does 13 divide (-39)/(-6)*m/2?
True
Suppose 15*j = 12*j + 1755. Is 13 a factor of j?
True
Let j be (-10)/(-6) + (-16)/(-48). Suppose 5*l = -d - 3, -7*l = -j*d - 4*l + 20. Does 4 divide d?
False
Suppose -6*c - 42 = -30. Let j = 10 - 6. Let y = c + j. Is 2 a factor of y?
True
Let v = -76 - -81. Is 4 a factor of (-26)/(-130) - (89/v)/(-1)?
False
Let u(r) = 4*r**2 - 2*r + 11. Let w be u(5). Suppose -h + w = -j - 152, 0 = 5*h + j - 1247. Suppose 2*g + 3*g = h. Does 17 divide g?
False
Suppose 1398 = -0*q + 2*q. Suppose 0 = 5*m - 0*t - t - q, -3*m - 2*t + 409 = 0. Is m a multiple of 30?
False
Let h = 7 + 11. Suppose t + 2*b - 6 = 0, b - 4*b + 23 = -2*t. Is (h/t)/(3/(-6)) a multiple of 3?
True
Let l = 16 - 7. Suppose 0 = x - 37 - l. Let f = x - 23. Does 10 divide f?
False
Is -60*64/(-24) - 5 a multiple of 23?
False
Is 12 a factor of 106 - (5 + -12 + 5)?
True
Suppose -55740 = 51*y - 185790. Is 51 a factor of y?
True
Does 15 divide (318 - -1)/((-3)/6 + 1)?
False
Let v(x) = 35*x - 65. Does 23 divide v(21)?
False
Suppose 11*j - 150 = 125. Let v = -21 + 8. Let l = v + j. Is 4 a factor of l?
True
Let q(m) = -m**2 + 3*m + 3. Let n be q(3). Suppose 4*u - 11 = n*u. Does 12 divide 7 + u - (-4 + 1)?
False
Let y = -7 + 16. Suppose y*g = 5*g - 276. Let v = g - -98. Is v a multiple of 11?
False
Suppose -2*g - 11*n = -8*n - 154, 5*g = 4*n + 362. Suppose 5*a - g = -5*y + y, -90 = -4*y + 3*a. Does 15 divide y?
False
Suppose 4*o - 24 + 88 = 0. Let s be o/10*25/(-10). Suppose 0*r + r + 1 = 0, -138 = -s*n + 2*r. Is n a multiple of 17?
True
Suppose -3*a + 2*j = -11643 + 1072, a + 3*j - 3531 = 0. Does 15 divide a?
True
Suppose -234 = 5*j - 3*j. Let y = j + 253. Is y a multiple of 27?
False
Suppose 0 = 4*x + 4*v - 6682 + 1062, x - 4*v - 1410 = 0. Is 12 a factor of x?
False
Let h = 17 - 9. Suppose 0 = 4*f - h, 164 = 3*r - r - 4*f. 