Is u/(-70) - (-8)/z a multiple of 24?
True
Suppose -g - 5*b = -120, 2*g + b - 185 = 2*b. Does 19 divide g?
True
Let s = 49 - 45. Suppose -25 = 2*k - 3*m, -2*k + 4*m - 30 = -0*k. Let p = s - k. Is 9 a factor of p?
True
Is (-7)/(-3) + -3 + 204/9 a multiple of 14?
False
Let j be (2/(-8))/(2/(-8)). Does 27 divide (1 - (-87)/3) + j + -2?
False
Suppose h + 9 = 2*h - n, -h + 15 = -3*n. Suppose -5*p + 8 = -2*j, 3*p + p - h = 2*j. Suppose 30 = p*o - o. Is o a multiple of 10?
True
Suppose 0 = -3*r + 9, g + 70*r = 69*r + 1158. Does 5 divide g?
True
Let q = 1826 - 387. Is 38 a factor of q?
False
Suppose -f + 45 = 4*f. Is 6/f + 0 - 1299/(-9) a multiple of 29?
True
Let j = 11 + -15. Let k(a) = a**3 + 4*a**2 - a - 2. Is k(j) a multiple of 2?
True
Let c(l) = -l**2 - 7*l + 19. Let o be c(-9). Does 14 divide -2 + (-4)/((-12)/51) - o?
True
Let b(d) = d**3 - 35*d**2 + 35*d - 8. Let m be b(34). Let x = m - -30. Does 8 divide x?
True
Suppose -43 = 3*p - 1555. Does 9 divide p?
True
Let f(c) = c**3 - 14*c**2 + 38*c - 7. Does 4 divide f(11)?
True
Suppose 645 = 3*v + 2*a, 0*v = -3*v + 3*a + 630. Suppose -147 = -3*j + v. Is j a multiple of 24?
True
Suppose 4*a - 5*c - 725 = -0*c, -177 = -a - 3*c. Is a a multiple of 30?
True
Let t = -3792 + 7017. Is t a multiple of 11?
False
Suppose -5*f = x + 3*x + 23, 5*f + 11 = -3*x. Let w(t) = t + 13. Let d be w(x). Suppose -h + d = -27. Is h a multiple of 28?
True
Let o(f) = 3*f**2 - 7*f + 14. Let l be o(4). Suppose 0 = 5*x + i - 44 - l, -4*i - 8 = 0. Is x a multiple of 8?
True
Let t(p) = p**3 - 8*p**2 + 7*p + 8. Let i be t(7). Let v(b) = 0 - 9*b**2 - 3 + 2*b**3 - 5*b**3 + 9*b + 4*b**3. Is 5 a factor of v(i)?
True
Does 30 divide 23121/45 + 4/20?
False
Let f(d) = 6*d**2 + 6*d + 15. Is 9 a factor of f(-5)?
True
Suppose 5*k + 2*a = 8, -4*k + 0*a + 9 = -a. Suppose 5*w - 4*h = 10, -k*h + 0*h + 16 = w. Is 4 a factor of (-4)/w - 748/(-33)?
False
Suppose -4*i = -116 - 188. Suppose -132 = -i*f + 72*f. Is 12 a factor of f?
False
Suppose 0*h - 8 = -4*h, 4*x + 2 = -3*h. Let z = x - -242. Does 15 divide z?
True
Let i(j) = 0*j - 4*j + 2 + 5*j**2 + 94*j**3 - 2*j**2. Does 9 divide i(1)?
False
Suppose 0*v - 36 = -2*v. Suppose -3*y + 27 = 3*i, y + 8*i + 11 = 3*i. Does 9 divide v/5*35/y?
True
Is 30 a factor of (-2549)/(-5) + ((-3)/5)/(-3)?
True
Let c be -4 + 7 - (-2 - 2). Suppose c*o = -0*o + 525. Is 15 a factor of o?
True
Let s = 83 - 71. Does 7 divide 40/s*3*15/2?
False
Suppose 3*a - 6 = 0, 4*a + 358 = 4*l + 3*a. Is l a multiple of 11?
False
Suppose -4*l + 411 = -5*r, -2*r + 4*r + 99 = l. Suppose 107 = 3*g - l. Is g a multiple of 18?
True
Let s = 12 + 7. Suppose -3*r = -i - i + 41, 3*i + 4*r - s = 0. Is i a multiple of 6?
False
Suppose 0 = -2*x + 16 - 8. Suppose -s - 285 = -x*s. Suppose 5*l + 0*l - s = 0. Does 7 divide l?
False
Suppose 4*q - 6 = 2*q. Suppose 4*n = 2*z - 48, 0*n = -q*z + 5*n + 77. Is 17 a factor of z?
True
Suppose -11*p + 22*p = 44. Suppose 0 = -p*f - 14*f + 1872. Is f a multiple of 13?
True
Suppose 3*l - 5*c - 365 = -64, 4*l + 2*c - 358 = 0. Is l a multiple of 23?
True
Let i be (6/2)/((-17)/(-51)). Suppose 8*x - i*x = -44. Is x a multiple of 44?
True
Let w be 1430/70 - 6/14. Is 3 a factor of 395/w - 2/(-8)?
False
Suppose 2*a = -4*n + 656, -4*a + 1337 = -0*a + 3*n. Does 13 divide a?
True
Suppose 1441 + 211 = 4*m. Suppose -o - d + m = 2*o, -5*o - 5*d = -675. Let n = -74 + o. Is 13 a factor of n?
True
Let a(f) = 7*f**3 - f**2 + 3*f - 3. Suppose -26 = -5*b - 16. Does 6 divide a(b)?
False
Suppose 18 = 2*s + 4*s. Suppose 2*x = 4*j + 34, -5*j - s = 2. Does 5 divide x?
True
Let a(j) = 22*j + 12. Is 18 a factor of a(17)?
False
Suppose g - 772 = 3*q, 4*g + 3*q - 2979 - 94 = 0. Is 84 a factor of g?
False
Let k = -4 + 6. Suppose -f + 555 = k*s, s - 4*f = 2*s - 288. Suppose -3*q - 19 = -5*d + s, 3*d + 5*q - 211 = 0. Is d a multiple of 22?
False
Let l(a) = -a**3 + 6*a**2 + 6*a + 10. Let m be l(7). Suppose -2*t - 3*s + 1 = -0*s, -t - m*s + 5 = 0. Does 12 divide 32 + 4 + (t - -4)?
True
Suppose 4*c = -t + 1284 + 1569, -2*t - 5*c = -5694. Suppose -16*b + t + 267 = 0. Is b a multiple of 31?
False
Is 1763 - (-3 - -7 - (2 - -3)) a multiple of 63?
True
Let d = -399 + 561. Let s = d - 18. Is 26 a factor of s?
False
Suppose 3*l = 10*l - g - 3053, 3*l - 3*g - 1311 = 0. Is 4 a factor of l?
True
Suppose -16 = -3*s + 380. Suppose p - 5 = -1, 5*p = -4*d + s. Suppose 0*j - d = -4*j + w, w - 4 = 0. Is 3 a factor of j?
False
Let k be 3/(-2)*(-20)/6. Suppose -4*w + 6*w - 323 = 5*b, b - 821 = -k*w. Is 41 a factor of w?
True
Suppose -2*s = -10 - 2. Suppose -g = -15 - s. Is g a multiple of 13?
False
Let n = 894 + -159. Is 15 a factor of n?
True
Let t(b) = 2*b - 34. Let p be t(-6). Let y = -118 + 187. Let l = y + p. Is 4 a factor of l?
False
Suppose -5*a + 5*p = p - 52, -2*a + 28 = 2*p. Let h(i) = -i**2 - 3 + 3*i + 11*i - 13. Is 8 a factor of h(a)?
True
Let i = 234 - 75. Let c = i - 39. Is 40 a factor of c?
True
Suppose -5*l - 7*w + 3*w + 38 = 0, 5*w + 55 = 4*l. Does 8 divide -6 + l + (11 - -1)?
True
Let m(n) = -8*n**3 - 3*n**2 + 6*n + 2. Let t be m(-4). Suppose 0 = 5*c - 38 - t. Is c a multiple of 10?
False
Let t be 10*(4 + 114/15). Suppose -6*h + 4*h = -t. Is h a multiple of 29?
True
Does 20 divide ((-33201)/(-34) - 19)/(1/2)?
False
Let n(u) = u**2 - 6*u + 24. Let s(q) = -2*q**2 + 13*q - 47. Let x(o) = -11*n(o) - 6*s(o). Is 2 a factor of x(11)?
False
Let g(i) = -9*i**3 + 5*i**2 + 2*i + 2. Let t(c) = -16*c**3 + 9*c**2 + 3*c + 3. Let p(r) = -5*g(r) + 3*t(r). Suppose -3*v - 7 + 1 = 0. Is 11 a factor of p(v)?
True
Suppose -12 = 17*q - 13*q. Let t(p) = -25*p - 10. Let n be t(q). Suppose 4*j = -j + n. Does 10 divide j?
False
Suppose -3*w = -u + 354, -3*u - 2*u = -4*w - 1726. Let g = u - 188. Suppose -12*d + g = -10*d. Does 13 divide d?
False
Let z(b) = -b**3 + b**2 + 13. Suppose 3 = 4*t - t. Let p = t + -1. Does 9 divide z(p)?
False
Suppose 63 = -7*w + 4*w. Does 18 divide (108/w)/((-6)/189)?
True
Let z(v) = 1489*v**2 + 7*v - 6. Is z(1) a multiple of 14?
False
Let t = 260 - 228. Is t a multiple of 16?
True
Let v(l) be the third derivative of l**5/60 - l**4/12 - 4*l**3/3 + 14*l**2. Does 2 divide v(-4)?
True
Let n be (-1 + (3/2)/(-3))*-2. Let x be (-3)/2*678/(-9). Suppose 216 = n*c - 3*t, 4*c + t + x = 386. Is 29 a factor of c?
False
Let u(c) = -23*c - 102. Does 3 divide u(-15)?
True
Let j be (-2)/(-5) + 16/(-40). Let o = 34 - j. Suppose 2*s - d - 40 = 3*d, -2*s + o = 2*d. Is s a multiple of 4?
False
Suppose -75*j + 67*j = -3744. Is 26 a factor of j?
True
Let g be 1/2*6 - 12. Let t = 11 + g. Suppose t*x + 5 - 119 = 0. Does 19 divide x?
True
Suppose 0 = 95*f - 110*f + 15000. Is f a multiple of 9?
False
Suppose 4654 = 8*i - 210. Is i a multiple of 15?
False
Suppose 2*n + s = 7*n + 14, 3*n - s = -8. Let x be (-4)/18 + (-1612)/36. Let g = n - x. Does 21 divide g?
True
Let x(i) = i**3 + 4*i**2 - 6*i. Let k be x(-5). Suppose k*c + 9 + 66 = 0. Let j = -3 - c. Does 5 divide j?
False
Let b = 1127 - 1106. Does 7 divide b?
True
Suppose -3*q - 165 = -3*g, -68 + 233 = 3*g + 2*q. Suppose -6*c + g = -c. Does 2 divide c?
False
Let i(z) be the third derivative of z**5/30 - z**4/24 + 43*z**3/6 - 11*z**2. Is 47 a factor of i(10)?
False
Suppose i = -5*x + 1198, i + x - 1234 = -28. Is 8 a factor of i?
True
Let q = -75 + 52. Let y = 84 + q. Is 7 a factor of y?
False
Let a = 918 - 508. Is a a multiple of 26?
False
Let j(b) = -b**2 - 12*b - 13. Let a be j(-10). Suppose a*h - 113 + 15 = 0. Does 9 divide h?
False
Let l be (-22)/77 + 2622/14. Let o = l + -112. Does 15 divide o?
True
Suppose -8*w + 2*f = -4*w - 1204, -2*f = -2*w + 598. Is w a multiple of 13?
False
Let t be 18*((-14)/(-4))/(-7). Let h be 10*(-4)/(t - -1). Suppose j - h*n + 28 = 2*j, 2 = 2*n. Does 23 divide j?
True
Does 5 divide (-1)/(-2)*912/(-3 + 11)?
False
Suppose p + 5*g - 33 = -10, -18 = -2*p - 3*g. Suppose 2*s + k - 6*k - 160 = 0, 0 = -5*k - 10. Suppose -p*z = -s - 42. Is 22 a factor of z?
False
Let q(t) = 370*t - 394. Is 10 a factor of q(7)?
False
Suppose h = -4*m + 3 + 2, 2*h - 10 = -3*m. Suppose 0 = h*t - 9*t + 224. Does 8 divide t?
True
Suppose 0*l = -3*l + 72. Suppose -25*b = -26*b + l. Is 5 a factor of b?
False
Suppose -3*l + 71 = 29. Let r = l - 11. Suppose r*q + 3 = 12. Is q a multiple of 2?
False
Let t(h) = -h**3 + 3*h