 3 divide k(-4)?
False
Let q be 5/(-3)*(-5 - -2)*1. Suppose -7*w + q*w + 80 = 0. Is 8 a factor of w?
True
Does 10 divide 4960/12*3/2?
True
Let a(y) = -27*y + 104. Is 10 a factor of a(-18)?
True
Suppose -674*t + 696 = -666*t. Is t a multiple of 3?
True
Let j(k) = 5*k**3 - 2*k**2 - 3. Let l(h) = 11*h**3 - 3*h**2 - 5. Let d(a) = 11*j(a) - 6*l(a). Let s be d(-4). Is 6 a factor of (-2)/10 - s/(-35)?
True
Let p be (-16)/56 - (-150)/(-14). Suppose 3*u - 3*x - 141 = -2*u, 0 = 4*u - 5*x - 118. Let y = u + p. Is y a multiple of 4?
True
Suppose 2*i + 9 + 1 = 4*a, -i = 2*a - 15. Suppose -2*c - 2*f = -i*c + 4, -2*f + 4 = -c. Suppose -4*m - 136 = -2*l, -2*l + c*m = -4*l + 104. Is 15 a factor of l?
True
Suppose -2*s - 2*s + 2*j = 178, j + 121 = -3*s. Suppose 5*u + 2*c = 5, 13 = 2*u - 4*c - 13. Is u/((-3)/s*2) a multiple of 7?
True
Suppose -4*u - 201 = -5*p - 7*u, 4*u + 70 = 2*p. Let n = p + -35. Does 4 divide n?
True
Let o = 26 - 24. Suppose -o*z - 25 = -5*l, -4*l + 7 = 4*z - 41. Is 3 a factor of l?
False
Let w be (24/(-21))/((-10)/35). Suppose -5*b + 3*i - 5*i = -60, w*b + 4*i = 48. Is (-3)/b + 1085/20 a multiple of 9?
True
Suppose -2*d + 52 = -5*m, 0*m - 27 = -d + 3*m. Let h = d + -13. Suppose 4*c - h*c + 48 = 0. Does 4 divide c?
True
Suppose 5*g - 10 = 0, -5*k + 0*k - 158 = g. Let b be 3/4 - 12136/k. Is 15 a factor of 2/4 - b/(-8)?
False
Suppose -44 = 7*b - 3*b. Let v(p) = -p - 8. Let h be v(b). Suppose 5*f + 5 - 175 = -5*l, -22 = -f + h*l. Is 20 a factor of f?
False
Let a = 397 - 243. Is 77 a factor of a?
True
Let f(v) = v**2 + 7. Let h be f(0). Let w(x) = -2*x**2 + 8*x**2 + 10 + 8*x - x**2 - x**3 + x**2. Is w(h) a multiple of 13?
False
Suppose 3*j - 5*j + 18 = 0. Let f be 822/j - (-10)/15. Suppose f - 7 = 5*l. Does 17 divide l?
True
Suppose 4*l - 2*l = -z + 12, -3*l = -4*z + 4. Suppose 5*c + l*g - 484 = 3*c, -3*c + 706 = -4*g. Does 40 divide c?
False
Let s(w) = w + 13. Let m be s(-13). Suppose 5*n - o - 200 = -m*o, 4*o + 59 = n. Is 13 a factor of n?
True
Suppose -3*y = 4*c - 45, -7*c - 4*y + 48 = -3*c. Let x be (-11)/9 + 2/c. Is 10 a factor of (x - -2)*140/14?
True
Suppose -3*m = 5*o + 19, 3*m - 1 = 2*o + 3*o. Let t be (-1)/2 + (-13)/o. Is 546/9 - t/9 a multiple of 21?
False
Suppose -t + 5*r + 20 = 0, -3*r - 13 - 6 = -2*t. Suppose -2*k + 42 = 2*d, 4*d + 27 + 33 = t*k. Is 4 a factor of k?
True
Let o be 1*(-3)/(-2)*2. Suppose 0 = -4*c - c - 5, o*q + 2*c = 478. Is q a multiple of 15?
False
Suppose 449*i - 180 = 461*i. Let m = 46 + -83. Let c = i - m. Is c a multiple of 21?
False
Let r be (-4)/(-6) + (-65)/(-15). Suppose 5*z + 8*o = 4*o + 24, -23 = -r*z - 3*o. Suppose z*i - 136 = -4*b, -3*i + 0*b + 104 = 2*b. Does 9 divide i?
True
Let b(v) = 305*v + 5. Does 45 divide b(5)?
True
Suppose 288*q = 297*q - 8370. Is 9 a factor of q?
False
Let f(d) = 2*d**3 - 3*d**2 + 16*d - 21. Let l(u) = u**3 - u**2 + 8*u - 11. Let k(n) = -4*f(n) + 7*l(n). Let r be k(5). Let x = r - -81. Is 16 a factor of x?
True
Let q be 4/(-6) + 8/3. Suppose 2*m + 32 = 4*b + 4*m, q*b + 3*m - 16 = 0. Let x = b - -10. Is x a multiple of 6?
True
Let n(h) = 19*h**2 - h + 2. Let s(f) = -20*f**2 + 2*f - 3. Let i(k) = 3*n(k) + 2*s(k). Suppose -6*y + 2*p + 13 = -3*y, -4*p = -3*y + 23. Is 6 a factor of i(y)?
True
Suppose -2*n = -4 + 2. Let j be n*(-1 - -3) + 2. Suppose 0*t + 24 = j*t. Does 5 divide t?
False
Suppose -2*w = -3*l - 196, -3*w + l + l + 294 = 0. Is 3 a factor of w?
False
Let a be 3/6*(-50)/(-5). Suppose -a*t + 14 = -3*t. Let v(w) = w**3 - 8*w**2 + 7*w + 5. Is v(t) a multiple of 4?
False
Suppose 0 = 2*m + 3*g - 82, -2*m + 3*g + 70 = -0*m. Let y = m + -35. Suppose o = -y*i + 154, -5*i + 45 = -5*o - 245. Is 22 a factor of i?
False
Let i(q) = q**3 - 13*q**2 - 21*q + 119. Is 4 a factor of i(14)?
False
Let g = -43 + 106. Let q = -15 + g. Is q a multiple of 4?
True
Let l = 1124 - 800. Does 18 divide 4/(-3)*l/(-6)?
True
Suppose -9*n + 5*n - 8 = 0, 5*n = -k + 7. Suppose -k*s + 2448 = -5*s. Is 17 a factor of s?
True
Suppose 2*i = 4*z, 5*z + 2 = 3*i - 0*i. Suppose -c + o + 671 = 2*c, c - i*o - 220 = 0. Is 7 a factor of c?
True
Suppose 3*j + 25 = 10. Let r be (-90)/(-1)*(j - -6). Suppose c = -2*c + r. Is 10 a factor of c?
True
Suppose 8 = 2*a - 0*a. Suppose 0 = -5*w + 269 - a. Is w a multiple of 17?
False
Let a(v) = v**2 - v - 3. Let t be a(-3). Let q(u) = -u + 31. Is q(t) a multiple of 5?
False
Suppose q = -4*u + 52, q = -2*u + 38 + 14. Suppose q = 2*t - 206. Let h = t - 91. Is h a multiple of 25?
False
Suppose 0 = g - 3*f + 5*f - 25, 0 = -3*g + 3*f + 30. Let l be (g/(-18))/((-1)/6). Suppose 4*n + l - 73 = 0. Does 4 divide n?
False
Let c be 2/17 + 208/(-34). Let q be 2/c - 320/(-24). Suppose -5*a + 2*z + 34 = 0, -2*z - q = -a - 3. Is a a multiple of 2?
True
Is 8 a factor of (-6279)/(-42) - 5/(-2)?
True
Let s(l) = -l**3 + 9*l**2 + l - 10. Let f be s(9). Is (-3 + (4 - 28))*f a multiple of 3?
True
Suppose 5*l + k + 1282 = 0, -1014 = 4*l + 5*k - 10*k. Let b = l - -418. Suppose -2*d + 3*s = -6*d + b, 2*d - 4*s = 92. Is d a multiple of 11?
False
Let j(i) = 7*i + 219. Is 25 a factor of j(-19)?
False
Suppose -a + 3608 = 3*t + 1116, -3*t + 2480 = -5*a. Is 83 a factor of t?
True
Let u(d) = -3*d**2 + 19*d - 33. Let f(l) = -l**2 + 10*l - 17. Let x(q) = -5*f(q) + 2*u(q). Is x(-13) a multiple of 6?
True
Let d = -10 + 51. Suppose 43*x - 40*x - 237 = 0. Let n = x - d. Is n a multiple of 19?
True
Let m = -230 + 534. Let o be 1*(-3)/(9/(-15)). Suppose 0 = o*g - m + 124. Is 12 a factor of g?
True
Let h = 3675 - 2316. Is h a multiple of 9?
True
Suppose -2399 + 6099 = 5*v. Is 6 a factor of v?
False
Let t = 40 + -5. Suppose -t = -2*i + 151. Is i a multiple of 31?
True
Let m be (9/(-6))/((-6)/72). Suppose -r = -20 + m. Does 21 divide (-696)/(-18) - r/3?
False
Let p = -72 - -1323. Is 139 a factor of p?
True
Let g be 2 + 1 + -3 + (607 - -1). Suppose 43*a = 47*a - g. Is 38 a factor of a?
True
Let i(u) = -u**3 + 5*u**2 - 2*u - 4. Suppose 3*q + 12 = -q + 5*t, 22 = 3*q + 4*t. Let a be 57/21 - q/(-7). Is 8 a factor of i(a)?
True
Suppose 4*b + 15 = 5*b. Let l = 41 - b. Is 13 a factor of l?
True
Let f(z) = -z**3 + 7. Let h be f(0). Suppose -19 + h = -3*c. Suppose -20 = c*x, -x - 8 = -r + 6. Is r a multiple of 3?
True
Suppose 0 = -x - h + 1, 5*h - 2*h = -6. Let s be ((-27)/(-9))/(x/98). Suppose -s - 64 = -6*z. Is z a multiple of 9?
True
Suppose 0 = 2*t + 5*y + 6, -5*t - y - y + 27 = 0. Let o be 4/(-7) + 4/t. Suppose 4*i + l - 106 = o, 4*i - 149 = 3*l - 35. Does 9 divide i?
True
Let y be (-1)/((-28)/(-60) - 6/9). Suppose 2*q + l + 68 = 305, 0 = -y*q - 5*l + 605. Does 21 divide q?
False
Let p(w) = w**3 - 2*w**2 + w - 2. Let f be p(2). Suppose -5*j = 2*s - 49 + 10, f = -2*s - 2*j + 30. Does 12 divide s?
True
Suppose c + 2 = 2*c. Is 3 a factor of 0 - (-2)/c*26?
False
Let q(n) = n - 20. Let v be q(11). Let z(p) = 3*p**2 + 12*p - 11. Is z(v) a multiple of 26?
False
Let c = -42 - -158. Suppose 26*k - 22*k = c. Is 6 a factor of k - (-2 - (1 + -2))?
True
Suppose d + 3*c - 34 = 0, 2*d - 89 = -0*d + c. Let m = d - 25. Is m a multiple of 4?
False
Let j = 3 - -47. Let q = j - -255. Is 12 a factor of q?
False
Let n(s) = -93*s - 325. Is 8 a factor of n(-17)?
True
Suppose -4*u + 6 = -2*u + 4*b, u - 2*b = -5. Suppose 3 = 7*j - 4*j. Is 9 a factor of 18/4*(j - u)?
True
Suppose -b + 6 = x, 3*b - 2*x = -9 + 2. Let h = 170 - 292. Is 3/((-6)/h) - b a multiple of 12?
True
Suppose -8*f = -6*f - 1196. Is 13 a factor of f?
True
Let r = -236 + 3468. Is r a multiple of 101?
True
Let x be 116*5/30*-3. Let g = -21 - x. Is 37 a factor of g?
True
Let w = 13 - 2. Suppose 6*u + 560 = w*u. Is 28 a factor of u?
True
Let g(l) = 2*l**2 - l - 2. Let u be (0 + -3)/(3/(-2)). Let k be g(u). Suppose -52 = -k*x - 5*d, 3*x - 2*d - 5 - 11 = 0. Is x a multiple of 4?
True
Suppose 0 = 33*u - 45334 + 15502. Is u a multiple of 6?
False
Suppose -23*p - 10962 = -30*p. Is p a multiple of 9?
True
Suppose 315 = 3*w - 264. Let x = 283 - w. Suppose -5*u - 10 = -x. Does 4 divide u?
True
Let n be 388/14 + 6/21. Suppose t + 0*t = -n. Let p = t - -43. Is p a multiple of 15?
True
Is (17/34 - (-1)/2) + 339 a multiple of 10?
True
Let v = -4224 - -6206. Is 21 a factor of v?
False
Let d(o) = -4*o**2 - 37*o - 18. Does 3 divide d(-8)?
False
Let p(s) be the first derivative of s**5/10 - s**4/4 + 2*