 - 130. Is u a multiple of 28?
False
Suppose 4*d = 2*x - 186, -3*x + 3*d + 257 = -16. Is x a multiple of 12?
False
Suppose 0 = s - 5*h - 81, h + 55 + 230 = 3*s. Is s a multiple of 24?
True
Suppose -32 = l - 5*l - 4*n, 4*n = 2*l + 2. Suppose -48 = q - 4*q + l*g, -5*g - 70 = -5*q. Suppose 2*z + q = 5*v, v + 3*v - 16 = -2*z. Is v a multiple of 2?
False
Let m = 121 - 123. Is 42 a factor of 514*(50/60 - m/(-6))?
False
Let i be 59/(-8)*2*8. Let b = i - -176. Does 9 divide b?
False
Let o(k) = 6*k**2 - k + 1. Let p(i) = -i**2 + 19*i - 17. Let l be p(18). Is o(l) a multiple of 6?
True
Does 11 divide 2/(-12) - ((-11902)/(-12))/(-11)?
False
Let g(f) = -f**3 + 11*f**2 - 4*f - 12. Does 24 divide g(-5)?
True
Suppose 0 = -4*c - 0*c + 2*o + 126, 2*c + 3*o - 51 = 0. Suppose 54 = 5*t - 3*g, -c = -6*t + t - 5*g. Suppose -79 = -2*s + t. Is 11 a factor of s?
True
Let h be 2 + -4*(-1)/4. Suppose -2*m + 3*g - 255 = 0, 5*m + 282 = h*g - 369. Let q = -92 - m. Does 13 divide q?
False
Let y = 78 - 37. Suppose f = 6*f + 3*w + y, 4*w + 8 = 0. Let g = f - -15. Is 8 a factor of g?
True
Suppose 9*g = 13*g - 992. Is g a multiple of 18?
False
Suppose 5*t = 0, -3*a + 0*t = -t. Suppose -5*h + h = -16. Suppose a*f - 28 = -h*f. Does 5 divide f?
False
Let n be (-10)/((-2 - -1)*2). Suppose n*k + v + 35 = 0, k + 21 = -2*k + 2*v. Let a(z) = -5*z - 7. Does 7 divide a(k)?
True
Suppose -178 = -2*i - 8. Let n = 53 + i. Suppose 4*a = 134 + n. Is 12 a factor of a?
False
Let p(g) = 3*g + 4. Let v be p(2). Let t(s) = s**3 + 8. Let z be t(0). Suppose m = v + z. Is m a multiple of 4?
False
Suppose -11*y + 5*y + 528 = 0. Does 4 divide y?
True
Let a(j) = j**2 + 5*j - 2. Let v be a(-7). Suppose 5*d = v + 3. Suppose -2*k + d + 3 = 0. Is k a multiple of 2?
False
Let t be (-3 + 7)*(-7)/(-2). Suppose 18*v = t*v + 32. Does 2 divide v?
True
Let n(f) = 7*f + 2. Suppose -v - 336 = 2*v. Let j be v/(-20) - 6/(-15). Does 22 divide n(j)?
True
Suppose -7 = -2*a + c + 66, 0 = 3*a + c - 97. Is 12 a factor of a?
False
Let z(g) = -g**3 + 9*g**2 + 11*g. Suppose -h - 3*d - 10 = -32, 2*h = 4*d + 4. Is z(h) a multiple of 3?
False
Suppose -4*d = 5 - 17. Suppose 4*w - 2 = d*w. Suppose 4*l = 16, 0 = w*p + 6*l - 2*l - 82. Does 9 divide p?
False
Let u(f) = f**3 - 6*f**2 + 24*f + 8. Does 4 divide u(7)?
False
Let d = -285 - -541. Let w = -115 + d. Is 9 a factor of w?
False
Suppose y - 6*r - 15 = -r, 2*r - 40 = 5*y. Let u(v) = -v**2 - 11*v - 16. Let w be u(-10). Is 27 a factor of 1206/15 + w/y?
True
Does 53 divide (-65429)/(-35) + (-1)/(15/6)?
False
Let m = 14 - 1. Suppose 1343 = 2*u + 1239. Suppose o = 3*t + m, -5*o - 4*t = -o - u. Does 6 divide o?
False
Suppose -29*b = -746 - 646. Is b a multiple of 6?
True
Suppose 3*s = -9*x + 10*x + 292, 3*s - 2*x = 287. Is 2 a factor of s?
False
Let m(x) be the second derivative of -1/12*x**4 + 9/2*x**2 + 5*x + 2*x**3 + 0. Is 6 a factor of m(10)?
False
Does 39 divide -6324*(-3)/66 + 36/66?
False
Let p = -5 - -7. Suppose k - p*b + 1 = -8, -3*k = -3*b + 36. Let t = 4 - k. Is 5 a factor of t?
False
Let v(t) = t**3 + 5*t**2 - 4*t + 14. Let r be v(-6). Suppose -103 = -d + 5*c + 77, 2*d - r*c - 328 = 0. Does 10 divide d?
True
Let p = 100 + -60. Let v = -28 + p. Let f(m) = 4*m. Is 16 a factor of f(v)?
True
Let a(z) = -3*z**2 + 5*z**3 + 0 + 4 + 2*z - 4*z**3. Let y = 110 - 107. Is 3 a factor of a(y)?
False
Suppose -3*r + 72 = -2*r. Suppose -4*b + 2*u - 4*u + 104 = 0, 2*b - 4*u = r. Suppose 5*h = 4*h + b. Is h a multiple of 12?
False
Let t = 2161 + -1216. Is 35 a factor of t?
True
Let q = 114 - -90. Is 34 a factor of q?
True
Let x(y) = -y**3 + 5*y**2 - 6*y + 4. Let r be x(4). Let k be (-7150)/(-40) + (-1)/r. Suppose -4*a + 41 = -k. Does 16 divide a?
False
Let c = -1297 + 640. Let m = -414 - c. Let w = -163 + m. Is w a multiple of 18?
False
Suppose 0 = n - 5, 1101 = 3*o - 87*n + 84*n. Is 124 a factor of o?
True
Let i = 7 + -29. Is 24 a factor of 121 - ((-11)/i)/((-2)/(-4))?
True
Suppose 5*i - 166 = 3*i. Suppose i = 33*a - 32*a. Is 8 a factor of a?
False
Let y be (-2865)/(-5)*4/12. Let w = -59 + y. Is w a multiple of 33?
True
Let u(q) = -q**2 + 3*q - 22. Let s be u(0). Does 20 divide (s - -2)*(-1 - -4 - 9)?
True
Let z = 85 + -47. Let p = 24 - z. Let j = p + 21. Does 2 divide j?
False
Suppose -65*b = -2*a - 63*b + 2354, 2349 = 2*a + 3*b. Is a a multiple of 98?
True
Let y = -21 - -12. Is 8 a factor of (-642)/(-12) + y/6?
False
Suppose 2*x = -2*x + 108. Suppose 4*y - x = -3. Is 21 a factor of (28/y)/(4/36)?
True
Suppose 0 = -2*h - 5*q - 28, -2*h - 2*q - q = 32. Let s be (-34)/(-119) + h/(-7). Does 32 divide (-22 - s)*36/(-15)?
False
Let s = -4 - 38. Let y be (-72)/14*s/(-4). Let p = y + 90. Is p a multiple of 8?
False
Let v(d) = -120*d - 228. Is v(-4) a multiple of 28?
True
Suppose 0 = -6*n + 1926 + 1530. Is 13 a factor of n?
False
Let k(r) = 31*r**2 - 2*r - 2. Suppose 4*o + 8 - 3 = 3*l, -2*l = 4*o + 10. Is 8 a factor of k(l)?
False
Suppose -4*k - 4*b - 3 - 21 = 0, -4*k = 3*b + 22. Let s be k/3*147/(-2). Suppose 3*h - h - 82 = -c, -2*h + 3*c = -s. Is h a multiple of 9?
False
Suppose 0 = -5*d + 10*y - 5*y + 30, -4*d + 8 = 4*y. Does 16 divide (-2004)/(-21) - d/(-7)?
True
Let z be (1 + (-6)/(-3))*-2. Does 16 divide (z/(-9)*-3)/((-4)/226)?
False
Suppose 5*g + 5*v - 6*v - 7351 = 0, -4*g + 5877 = 3*v. Suppose 13*r - 6*r = g. Is r a multiple of 15?
True
Let l(j) = j**2 - j - 8. Let n be l(-5). Suppose -n = -5*m - 2. Suppose 0 = 2*c + m*h - 7*h - 186, -465 = -5*c - 5*h. Is c a multiple of 28?
False
Let p(s) = 25*s + 9. Let t be p(-6). Let b = -66 - t. Does 15 divide b?
True
Let d be 584/(-5) - 2/10. Let k = d + 187. Suppose 0 = 4*o + 3*o - k. Does 2 divide o?
True
Let z(q) = 2*q - 7. Let t be z(16). Suppose 35 = t*w - 20*w. Is 7 a factor of w?
True
Let c = -818 - -1385. Is 13 a factor of c?
False
Let c be (25/(-10))/(15/(-12)). Suppose 4*d + 1182 = -c*d. Let x = d - -297. Is x a multiple of 20?
True
Let x(n) = -6*n - 2. Let l be x(-2). Suppose l*d = 5*d + 55. Is d a multiple of 2?
False
Let l(o) be the second derivative of o**7/504 - o**6/180 + o**5/30 - o**4/4 + 8*o. Let s(y) be the third derivative of l(y). Does 22 divide s(4)?
False
Let c = 91 - 55. Is 6 a factor of 9/(135/320)*c/16?
True
Suppose 4*j - 1478 = -5*c, -5*j + 4*c + 1514 + 354 = 0. Is 62 a factor of j?
True
Let d(i) be the first derivative of 3*i**2/2 - 2*i - 2. Let n be d(2). Is 6 a factor of n/1 + 0 + 3?
False
Suppose -x + 11 = 3. Let i be 876/8*x/6. Let m = -103 + i. Is 27 a factor of m?
False
Suppose 0 = 4*c - 0*c - 92. Let k = -21 + c. Suppose q + 5*f = 2*q - 7, -k*q - 4*f + 28 = 0. Does 12 divide q?
True
Let c = -109 - -101. Let d(a) = -a**3 - 7*a**2 - 5*a + 4. Does 20 divide d(c)?
False
Let t = -51 - -54. Suppose 8*b - t*b = 300. Does 12 divide b?
True
Let j(f) = 17*f**2 + 14*f - 12. Let r(k) = 18*k**2 + 13*k - 11. Let l(w) = -3*j(w) + 4*r(w). Is l(-4) a multiple of 48?
True
Let q(d) = 20*d**2 - 11*d - 6. Is q(-3) a multiple of 14?
False
Suppose 0 = -16*o - 97 + 641. Suppose 34 = -2*i - 0*i. Let s = o + i. Is s a multiple of 10?
False
Let a(f) = -f**2 - 10*f + 12. Let o be a(-9). Suppose j + 0*j = -4*g - o, -j + 2*g = 15. Let y = -7 - j. Does 10 divide y?
True
Let w = 279 - 114. Is w a multiple of 11?
True
Let t(u) = -83*u - 100. Is t(-20) a multiple of 52?
True
Let m be 0*((3 - 4) + 2). Suppose m = 4*y + 3*v - 5, -v - v = 4*y - 6. Suppose y*w - 11 - 57 = 0. Does 14 divide w?
False
Is 282 - (-10 + 5 - 1) a multiple of 9?
True
Let r = 3 - 0. Suppose 10*w - 11*w = -3*w. Suppose -r*x - z + 0*z + 80 = w, 5*z + 104 = 3*x. Is 6 a factor of x?
False
Let c(f) = 72*f**2 - 2*f + 2. Let q be 8 + -8 - 2/(-2). Is c(q) a multiple of 12?
True
Let j(m) be the third derivative of m**5/60 - 7*m**3/6 + m**2 + 17. Let v = 9 - 15. Does 7 divide j(v)?
False
Let g(v) = -v**2 - 1. Let p(c) = c**3 - 11*c**2 - 10*c - 2. Let q(i) = 2*g(i) - p(i). Is 6 a factor of q(9)?
True
Suppose 20227 = 57*n - 15740. Is 6 a factor of n?
False
Suppose -5*g + 3*q = -g + 17, -5*q - 5 = 0. Let s(u) = u + 8. Let l be s(9). Does 5 divide l + 5/(g/2)?
True
Let d = 5888 - 4001. Is d a multiple of 33?
False
Let l = -383 + 975. Is 37 a factor of l?
True
Suppose 0*w + 2*h - 1996 = -5*w, 0 = 4*w - 4*h - 1608. Is 50 a factor of w?
True
Let x(j) = -4*j + 18. Let n(v) = -v - 18. Let w(l) 