ppose -5*s - 5*f = -250, 3*s - i*f + 2*f - 130 = 0. Is s a multiple of 10?
False
Let z(o) = -2*o**3 - o**2 + 3*o - 8. Let r(u) = -3*u**3 - 2*u**2 + 5*u - 15. Let x(f) = -3*r(f) + 5*z(f). Does 2 divide x(0)?
False
Suppose -2*w = -2*b + b - 141, -351 = -5*w + b. Let g = -23 + w. Does 17 divide g?
False
Suppose 365 + 127 = 12*g. Suppose -26 = j - g. Is 6 a factor of j?
False
Suppose -2*j - 3*d = -441, 2*d - 485 - 634 = -5*j. Does 9 divide j?
True
Let o(r) = 229*r**2 - 57*r - 8 - 6 - 233*r**2. Is 47 a factor of o(-12)?
True
Suppose 8 = 4*w - a, -2*w + 5*a - 12 - 2 = 0. Suppose 3*y - 89 = -2*j, -w*j - y + 0*y + 123 = 0. Does 13 divide j?
False
Let j = -10 - -13. Suppose 103 = j*a - 170. Is 34 a factor of a?
False
Let a(r) = -30*r + 204. Is 17 a factor of a(-17)?
True
Let j(k) = 219*k**2 + 2*k - 3. Suppose 4*q - 6 + 2 = 0. Does 24 divide j(q)?
False
Suppose b - 8 = -2*h, h + b = -b + 7. Suppose -z = h*z. Suppose -2*s + 16 = 2*q - z*q, -q = 1. Is s a multiple of 9?
True
Suppose -8*a + 486 = a. Suppose a + 66 = 2*g. Is 5 a factor of g?
True
Let j = 450 + 210. Is 12 a factor of j?
True
Let y = 5 - 3. Suppose 10*g - 384 = y*g. Is 24 a factor of g?
True
Let d = 862 + -614. Does 4 divide d?
True
Suppose -3*c + 1189 = 8*r - 3*r, r = c + 241. Does 3 divide r?
False
Let g(b) = -12*b + 2*b - 5*b - 3*b - 2. Does 28 divide g(-6)?
False
Let t(u) = 2*u + 0 + u + 2*u - 2. Let a be t(4). Is 9 a factor of (-3)/a - 1055/(-30)?
False
Let v be -3 - (49 + 5)/(-1). Let l = 285 - v. Is l a multiple of 15?
False
Suppose 8*b = 4*b + 20. Suppose -5*a + 4*g + 445 = -0*a, -b*a - 4*g = -445. Let n = -20 + a. Is 18 a factor of n?
False
Let j = 179 - -445. Is j a multiple of 26?
True
Let p be (1/3)/(14/2856). Suppose -5*w + 2*o + p = 0, 3*w - o + 5*o = 46. Does 11 divide w?
False
Suppose 424 + 186 = 5*i. Suppose 5*y = -i + 427. Is 4 a factor of y?
False
Let a be (0/(-1))/((-2)/2). Suppose a = 4*s - 0*n - n - 185, -2*s - 5*n + 87 = 0. Is 7 a factor of s?
False
Let m be (-2)/5*(-14 + 4). Suppose q - 2*q = -m. Suppose 4*b + q = -j + 44, 2*b = -2*j + 74. Does 18 divide j?
True
Let r = -1163 - -1762. Does 7 divide r?
False
Let j = 75 - 75. Suppose j*l + v - 58 = -l, 177 = 3*l + 2*v. Is 13 a factor of l?
False
Let v = 48 - 35. Let c be ((-2)/4)/((-1)/(-2)). Does 8 divide v - (c + -1 + 1)?
False
Suppose -3*a + 244 - 700 = 0. Let c = a + 317. Does 15 divide c?
True
Let s(n) = -n**3 + 20*n**2 + 72*n - 33. Is s(23) a multiple of 4?
True
Suppose 5*h - 2*h - 336 = 0. Let i be 2 + 2*-13*-1. Suppose 0 = -2*j + h + i. Does 15 divide j?
False
Let p(s) = 2*s - 13. Let c be (-2)/4 + 37/2. Is p(c) a multiple of 4?
False
Suppose 0 = -0*x - x + t + 181, -950 = -5*x - 4*t. Is x a multiple of 30?
False
Let i = 3 + -8. Let q(h) = h**3 + 4*h**2 + 2*h - 1. Let r be q(i). Let v = -21 - r. Is v a multiple of 5?
True
Let h(d) be the second derivative of -4*d**5 + d**3/6 - d. Let n be h(-1). Suppose 2*l - 82 = -4*b + 30, 3*b = -4*l + n. Is b a multiple of 7?
False
Let f = -18 - -25. Let c = 157 - 158. Let x = c + f. Is x a multiple of 3?
True
Let l(r) = 2*r**2 - 15*r + 7. Let w = 8 + -2. Let i be l(w). Let j = i - -26. Is 15 a factor of j?
True
Let c = -2055 + -483. Does 9 divide c/36*4/(-6)?
False
Let t(p) be the third derivative of p**6/120 + p**5/12 - p**4/4 - p**3/2 - 4*p**2. Let j be t(-5). Let m = j + 2. Is 10 a factor of m?
False
Let z = 50 + -46. Suppose 0 = 2*h - 2*o - 3*o - 77, o + 163 = z*h. Does 5 divide h?
False
Is (456/(-10))/((-24)/240) a multiple of 24?
True
Let r(j) = -452*j + 324. Is r(-4) a multiple of 17?
False
Let k(f) = -4*f - 2. Let o be k(13). Let h = -25 - o. Is 5 a factor of h?
False
Suppose 4*s = 3*t + 992, 4*t = -4*s + 3*t + 992. Let f = s + -160. Does 22 divide f?
True
Suppose -320 = 3*g - 11*g. Does 8 divide g?
True
Let w(g) = -3*g + 26. Let z be w(9). Let t(f) = -71*f - 4. Is 18 a factor of t(z)?
False
Let i be (4 - (2 - 2))/2. Does 46 divide ((-3)/9)/(i/(-276))?
True
Suppose 3*h + 3*b - 695 = h, 4*h = -2*b + 1370. Is h a multiple of 5?
True
Suppose 608 = -6*p + 14*p. Is p a multiple of 2?
True
Let a(t) = 4*t + 9*t + 14*t - 21*t - 63. Does 11 divide a(16)?
True
Let k(w) = 4*w - 8. Is 4 a factor of k(25)?
True
Suppose -2*k - 7*t + 1674 = -9*t, -2529 = -3*k - 3*t. Is 20 a factor of k?
True
Is (-1)/(-1) + 189 + 16/16 a multiple of 42?
False
Let q = 32 - 29. Suppose -44 = -i - i - 2*x, 0 = -q*i - 5*x + 62. Let l = 59 - i. Is l a multiple of 5?
True
Suppose s = 5*j - 545, 0 = 3*j + 2*s - 5*s - 327. Suppose j = 9*w - 350. Is 18 a factor of w?
False
Let g be 24/30*10/4. Suppose g*j - 11 = -j - n, 2*n = -j - 3. Suppose j*a + 2*b = 261, 2*a - 2*b - 93 = b. Does 17 divide a?
True
Let z(i) = -7*i + 4. Let k = -28 + 45. Let w = 11 - k. Does 11 divide z(w)?
False
Let o(i) be the third derivative of i**5/20 - i**4/12 - i**3/3 - 20*i**2. Is o(-1) a multiple of 3?
True
Suppose -7*x + 2578 = -3008. Suppose 30*p - 33*p = -x. Is p a multiple of 40?
False
Suppose 944 + 1576 = 4*r. Is 10 a factor of r?
True
Is (-6)/(1/1)*-4 a multiple of 8?
True
Let u = 85 - 49. Suppose -3*k - 7 = -5*j - u, 0 = -j + 2. Does 4 divide k?
False
Suppose 66 = 296*g - 302*g. Let s(d) = -2*d**2 + 12 + 4 - 6*d - 18*d. Is 19 a factor of s(g)?
True
Let d(x) = -x**2 - 3*x. Let t be d(-4). Let w be ((-126)/t)/(-3)*2. Let q = 9 - w. Is q a multiple of 17?
False
Suppose 84*n = 12934 + 7310. Does 15 divide n?
False
Let k(d) = -d**3 + 7*d**2 - 7*d + 6. Let p = -25 + 30. Does 7 divide k(p)?
True
Let q be 4/(-1)*5/(-5). Suppose q*r = -26 + 114. Is 22 a factor of r?
True
Let p(c) = -8*c**2 + 7*c - 16. Let z(s) = s**2 - s + 1. Let y(x) = -p(x) - 2*z(x). Is 21 a factor of y(5)?
False
Suppose -5*n + v + 50 = -10, 4*n = 4*v + 48. Suppose -8*f + n = -4*f. Suppose -3*z - f + 33 = 0. Is z a multiple of 7?
False
Let g(m) = 1481*m + 21. Is g(1) a multiple of 105?
False
Let l(s) be the second derivative of s**5/20 + 3*s**4/2 + 7*s**3/3 - 11*s**2/2 + 21*s. Does 10 divide l(-17)?
True
Let f(u) be the third derivative of -u**6/120 + 2*u**5/15 - 7*u**4/24 + 4*u**3/3 - 18*u**2. Is f(7) a multiple of 6?
False
Suppose 23*g - 21*g = 0. Is 4 - (g + -4 + 4) a multiple of 4?
True
Suppose 2*q + 88 = -94. Let p = q + 175. Is 8 a factor of p?
False
Let h(c) = -17*c + 0*c + 3 - 2. Is 7 a factor of h(-2)?
True
Let c(p) be the second derivative of -p**4/12 - p**3/3 - 3*p**2/2 - 12*p. Let u(s) be the first derivative of c(s). Does 8 divide u(-7)?
False
Let o(v) = -316*v + 3. Let j be o(-2). Suppose 5*b = 26 - 1, -b - j = -5*f. Is f a multiple of 28?
False
Let v(j) be the first derivative of 19*j**2/2 + 17*j - 28. Does 18 divide v(8)?
False
Let s = -1345 - -3642. Is 8 a factor of s?
False
Let j be 4/((-3)/4 + 1). Is (-2)/8 + 612/j + -4 a multiple of 34?
True
Let i(w) = -16*w + 4. Suppose 14 = -3*f + 8. Does 12 divide i(f)?
True
Let i = 741 + -480. Is 7 a factor of i?
False
Let z(o) = 0*o + 40*o**2 + 32*o**2 - 6*o + 1 + 5*o. Let m be z(1). Let x = 112 - m. Is x a multiple of 10?
True
Suppose 9*o = 12*o - 1413. Is 34 a factor of o?
False
Let m(o) = 5*o + 3. Let c be m(-2). Let n be ((-33)/55)/(2/10). Is 2 - c - (-6)/n a multiple of 3?
False
Suppose -4*b + 229 = -71. Suppose 2*h = -0*a - a + b, -3*a - 3*h = -234. Is 28 a factor of a?
False
Let d = -150 + 235. Suppose -3*n + 5*t = -0*t - d, -5*t = 4*n - 90. Suppose o - 6*o = -n. Does 5 divide o?
True
Let l(b) = b - 9 - 10 + 0*b + 24. Let a be l(0). Suppose 7*o - 26 = a*o. Does 6 divide o?
False
Suppose -102*o + 42*o = -22260. Is o a multiple of 53?
True
Let o be ((-1)/5 + 1)*5. Let s(l) = -l**3 - o*l**2 + 16*l + 0*l**2 - 22*l - 4. Does 4 divide s(-4)?
True
Let i(a) = a**2 + 26*a - 47. Does 46 divide i(-39)?
True
Is -2*(638/(-4))/1 a multiple of 29?
True
Suppose -67*o - 5436 = -76*o. Is o a multiple of 16?
False
Let n(m) = -15 + 10 + m**2 - 7*m + 11. Let g be n(8). Suppose -g + 5 = -r. Does 2 divide r?
False
Let q = -8 + 11. Let i be 3/(6/(-2)) + q. Suppose b - 72 = 2*s - 6*s, -i*s = -3*b - 50. Is 6 a factor of s?
False
Let k = 668 + -547. Is k a multiple of 2?
False
Suppose -10*d - 5*d = 255. Let m(z) = -z**2 - 17*z + 32. Is 8 a factor of m(d)?
True
Suppose v + 4*v - 350 = 0. Suppose -q = -4*q - 129. Let k = v + q. Does 19 divide k?
False
Let w(b) = -33*b**2 + b - 1. Let d be w(-2). Let k = 193 + d. Let f = -24 