f(b). Suppose -a = -3*d - 18. Is 7 a factor of d?
False
Suppose -3*h = -2*s - 390, 147*h - 148*h = 5*s - 147. Let y = 8 - 5. Suppose -26 = -n - u, 2*n - h = -y*n - 3*u. Is 2 a factor of n?
False
Let x(v) = 201*v - 14. Let u be x(6). Suppose 4*s - 2*s - r = 596, 0 = 4*s - r - u. Is s a multiple of 18?
False
Let s = 4872 + -3840. Does 129 divide s?
True
Suppose 0 = 156*m + 49*m + 187*m - 4310040. Is 32 a factor of m?
False
Let x be 12/(-16) - 2*(-6)/16. Let g be (2 - (-2 + x)) + -4. Suppose 2*s + 0*s - 10 = g. Does 5 divide s?
True
Suppose 0 = 2*p - 5*y + 15, 6 = -5*p + 4*y - 2*y. Suppose -2*c + 277 = 5*u, -3*u + 23 - 8 = 0. Suppose 2*t + 5*t - c = p. Is 5 a factor of t?
False
Let i be 93*(-3)/(-27) + (-2)/6. Suppose i*x = 6*x + 240. Let w = x - 16. Does 11 divide w?
True
Let p = -8654 + 8822. Is 84 a factor of p?
True
Let t be 2 - (6/(-2) + 19). Let z be -1*t/(-1)*-6. Suppose 0 = -c - 3*c + z. Is c a multiple of 3?
True
Let p(m) = -m**3 + 79*m**2 - 223*m - 228. Is p(76) a multiple of 8?
True
Let l(f) = -f**2 + 5*f + 17. Let c be l(6). Suppose -70 + 1027 = c*q. Is q a multiple of 3?
True
Let s(o) = 39*o**2 - 22*o - 47. Does 15 divide s(7)?
True
Let l = -181 + -11. Let y = 837 + l. Is 15 a factor of y?
True
Suppose 0 = 145*n - 783149 - 19716. Does 4 divide n?
False
Let u(x) = -2146*x - 6294. Is u(-20) a multiple of 207?
False
Suppose -3*m + j + 48375 = 0, -3*m + 34137 + 14226 = -5*j. Is m a multiple of 20?
False
Suppose -112104 = -20074*l + 20050*l. Does 159 divide l?
False
Let z(g) be the second derivative of g**4/12 - 2*g**3 - 109*g**2/2 - 75*g. Is 6 a factor of z(19)?
True
Let u = 1539 + 18767. Does 71 divide u?
True
Let d(z) = -z**2 + 68*z - 299. Is 4 a factor of d(61)?
True
Suppose 4*b - 57 - 89 = -2*z, 2*b - 2*z = 58. Let i(c) = c**2 - 3*c + 3. Let g be i(3). Suppose 4*u + b = -2*r + 4*r, 3*r - 15 = -g*u. Is r a multiple of 9?
True
Let h = 167 - 168. Is 50 a factor of h - (0 + 1) - -71?
False
Let c be ((-4)/8)/((-3)/(-210)). Let i be -3*(-1)/6 - c/14. Suppose j = -i*j + 176. Is j a multiple of 11?
True
Suppose -j - 3*d + 285 = 0, -4*j - 5*d + 881 = -266. Let s = 528 - j. Does 24 divide s?
True
Let w be (-302)/(-1812) + (-1286)/12. Suppose -4*a - 534 = -7*a. Let f = w + a. Is 6 a factor of f?
False
Suppose -4*o + 4*r + 126624 = 0, 94950 = 73*o - 70*o + 3*r. Is o a multiple of 123?
False
Let k(p) = -31*p + 5 - 95*p - 9*p + 5. Let h be k(-1). Suppose 350 + h = 5*g. Is 11 a factor of g?
True
Let x = 25 + -25. Suppose 4*m - 6*m + 8 = x. Is 4 a factor of m?
True
Let s be ((-26)/(-4))/(12/8 - 2). Let g = 16 + s. Suppose 0*z - 177 = -3*z + g*k, -2*z = k - 130. Is 21 a factor of z?
True
Suppose t - 355 = -2*t + 2*c, 4*t - 2*c = 474. Let w be (-205139)/t - (-2)/(-14). Is w/(-8) - 2/(-4) a multiple of 36?
True
Let k(x) = 13*x**2 - 7*x + 11. Let n = 70 - 53. Suppose -1 = 8*r - n. Is 8 a factor of k(r)?
False
Suppose -4*k = q - 2*q + 17, -7 = q + 2*k. Let m(c) = -184*c - 5. Let d be m(q). Let b = d + 279. Does 23 divide b?
False
Is 8 a factor of (-110349127)/(-9646) - 6/(-52)?
True
Does 18 divide ((-5136)/(-56))/((-7)/(-147))?
True
Let s = 21955 + -12996. Is s a multiple of 31?
True
Let f = -131 + 134. Suppose n = f, -a - 11*n + 121 = -9*n. Suppose t - 44 = -j + 6*t, -a = -2*j + t. Is j a multiple of 7?
False
Suppose -3*a = -3*k - 375, -a - 4*k + 176 = 36. Suppose 0 = -41*t + 37*t - a. Does 3 divide (-20)/(-14)*(t - -46)?
False
Suppose -m - 8 = 0, -4*z - 19*m = -13*m - 66528. Is z a multiple of 114?
True
Let d(b) = -b**2 - 6*b - 8. Let w be d(-2). Does 18 divide -3 + 402 + (w - 3)?
True
Let q = -6 - -11. Let h(o) = 2 + q*o**2 + o - 3*o**2 + o**2 + 8. Does 17 divide h(-3)?
True
Suppose -23*r + 18*r = 0. Suppose -3*t + 208 + 284 = r. Suppose 0 = -u - 30 + t. Is u a multiple of 12?
False
Suppose -8*i + 2*z = -4*i - 7984, -1978 = -i + 5*z. Let b = i - 1318. Does 85 divide b?
True
Let w = -7248 + 16360. Does 134 divide w?
True
Suppose 118*y - 347664 = 96252. Is y a multiple of 33?
True
Suppose -5*s - 3786 = -4*c, s = 9*c - 14*c + 4689. Does 16 divide c?
False
Let b be -1*(-8 + 9) - 281. Let o = 866 + b. Is o a multiple of 8?
True
Let g = 750 + -1067. Let f = -308 - g. Is f a multiple of 5?
False
Suppose -3*f - 6741 = -2*o, o - 3339 = -29*f + 26*f. Is o a multiple of 4?
True
Let b(h) = 2*h**3 - 12*h**2 + 2*h - 9. Let z be b(6). Let p be (196 - -3 - 0) + -4. Suppose -3*l + 102 + 148 = 4*x, -z*x = -2*l + p. Is l a multiple of 10?
True
Suppose -34*p + 24478 = 3330. Is p a multiple of 3?
False
Let o(n) = 4*n - 55. Let c be o(15). Is 6 - ((-335)/c + -2) a multiple of 15?
True
Suppose -3*j - 6 = 3*s, -2*j - 3*j = -5*s. Is 66 a factor of s/(4/(-2031)) - (-2)/8?
False
Let x be (0 + 1)/((-2)/(-20)). Suppose -o - x = -14. Suppose 0*k = -3*w + 5*k + 170, o*w = -4*k + 280. Does 5 divide w?
True
Let n be (-2)/(-3) + 112/84. Suppose n*v + 6*b - 4*b = 1200, 0 = 4*v - 4*b - 2416. Is v a multiple of 63?
False
Suppose -n + 1481 = -2456. Does 26 divide n?
False
Suppose -p - 4 = -3, 2*d - p = 3473. Suppose -5*r - 436 = -d. Does 20 divide r?
True
Let a = 6784 - -17167. Does 15 divide a?
False
Let i(s) = -s**2 + 45*s - 20. Let g be (-1)/(4 + (-228)/56). Does 46 divide i(g)?
True
Is 39 a factor of (9/6)/(261/1668660)?
False
Let z(r) = 0*r**2 + 25*r**2 + 5*r + 2 - 4*r. Let v = -368 - -367. Is z(v) a multiple of 26?
True
Let a = -36163 - -62107. Is 7 a factor of a?
False
Let b(z) be the third derivative of -5*z**6/144 - 2*z**5/15 + z**4/8 - 4*z**2. Let a(d) be the second derivative of b(d). Is a(-4) a multiple of 14?
True
Suppose 4*l - 172 = -3*c - 0*l, 4*c = l + 204. Suppose 114 + 0 = 2*p - 4*n, 3*p + 4*n = 201. Let t = p - c. Is 10 a factor of t?
False
Let f(o) = -5*o + 29. Let n(v) = -6*v + 28. Suppose -4 = 2*m + w + 6, 4*m + w + 22 = 0. Let s(d) = m*n(d) + 7*f(d). Is s(0) a multiple of 7?
True
Let u(i) = -6*i - 65. Let a be u(-5). Is 38 a factor of (a/(-2))/7*98?
False
Let x(w) be the first derivative of w**4/4 - 13*w**3/3 + 5*w**2 + 27*w - 29. Let z be x(11). Let t = 145 + z. Is t a multiple of 20?
True
Let w(u) = 78*u**2 + 8*u + 11. Let v(z) = -2*z**3 - 6*z**2 + z. Let g be v(-3). Is w(g) a multiple of 13?
True
Let o be 2 + (-68 - 0) + 4. Let d = o + 62. Suppose -3*m = -2*t - 154, m - 2*t = -d*t + 58. Is 15 a factor of m?
False
Let a = -277 + 282. Suppose -a*y + 2 = v - 101, 5*v + 2*y = 423. Does 5 divide v?
False
Let g(x) = x**3 + 17*x**2 + 15*x - 14. Let s be g(-16). Suppose s*b - 277 = 5*y, -2*b + 99 = y - 148. Suppose 5*o - 114 = b. Does 7 divide o?
False
Let d = 360 - 362. Is 15 a factor of (-4)/d - (2 - (352 - 0))?
False
Is 137 a factor of 2461 + -6 + -3 - (-9 + 4)?
False
Let h = -746 + 942. Suppose -4*y + 71 = -n + h, -2*n - y = -241. Does 11 divide n?
True
Suppose -4*o + 7410 = 2*o. Suppose 4*k - 109 = o. Does 10 divide k?
False
Let g be 1874/(-2)*(-32 + 31). Let x = -769 + g. Is 12 a factor of x?
True
Let v be 11/22 - 33/6. Let c(i) = -4*i**3 + 5*i**2 + 2*i - 27. Is c(v) a multiple of 21?
True
Let q(r) = 4*r + 1. Let i be q(1). Suppose -1303 = -2*y - 5*g, -291 - 373 = -y - i*g. Let f = -338 + y. Is 43 a factor of f?
True
Let z be (44/6)/(22/(-33)). Let q(r) = -7*r - 67. Is 5 a factor of q(z)?
True
Let s(m) be the first derivative of -13*m**2/2 - 76*m - 21. Does 8 divide s(-13)?
False
Let h = 14456 + -13292. Does 97 divide h?
True
Suppose 82*j - 59*j - 19982 = 108542. Does 11 divide j?
True
Let s be (-1 - (-2)/4)/((-7)/3052). Let b = 731 - s. Does 19 divide b?
True
Let m = 55 - 52. Suppose -8 = 4*c, c + 0*c = -m*j - 8. Is j/4*-2 - 7*-3 a multiple of 11?
True
Let o(w) = 24*w - 6. Let v be o(7). Let t = v - 10. Is t a multiple of 38?
True
Let l(u) = -4*u - 20. Let z(n) = 2*n. Let h be z(-3). Let p be l(h). Suppose t - 33 = p*a + 12, -a - 130 = -5*t. Is t a multiple of 25?
True
Suppose -165*n + 59*n = -275600. Is n a multiple of 50?
True
Let v(b) = b**3 + 27*b**2 + 32*b - 58. Let w be v(-25). Suppose -5*f + w = 2*n, 0*n + f = 4*n - 784. Is 14 a factor of n?
True
Let p = 380 - 386. Let w(j) = -26*j + 78. Does 18 divide w(p)?
True
Let n be (-17)/(-68) + 7438*3/24. Let r = n - 810. Is r a multiple of 20?
True
Let r(a) = 49*a - 6. Let t be r(4). Let i(c) = -c**3 + 4*c**2 + 18*c - 65. Let p be i(7). Let z = t + p. Is z a multiple of 26?
True
Suppose -7*o = -2*o + 4*z - 29,