18). Let d = f + 467. Suppose 289 = 5*r - d. Is 29 a factor of r?
True
Let v(b) = b**3 - 106*b**2 - 87*b - 462. Is v(107) a multiple of 37?
False
Suppose -12*t - 26 = -158. Suppose -7*d - t*d + 3186 = 0. Suppose 5*c + g = 4*c + 35, 5*c + 4*g - d = 0. Is 2 a factor of c?
False
Let y(d) be the first derivative of -d**4/4 - 5*d**3/3 + 6*d**2 - 29*d + 234. Is 17 a factor of y(-12)?
False
Let q = -515 + 515. Suppose -3*t + 2*t + 341 = q. Is 5 a factor of t?
False
Does 28 divide (-9)/117 + 607156/52?
True
Let y be (12/(-42))/(-1)*203. Let i = -28 + 17. Let u = y - i. Is 20 a factor of u?
False
Let t = 145 - 174. Is 10/50 + t/(-5) - -4 a multiple of 10?
True
Suppose 57*y - 55*y - 6998 = -4*o, 0 = -y - 5*o + 3517. Does 79 divide y?
False
Let y = 89 + -80. Suppose y = 50*u - 47*u. Suppose -u*o + x + 121 = 0, -3*x = -x - 10. Does 6 divide o?
True
Does 19 divide (29 - 27)*(-9)/(-3) + 2331?
True
Let c be 0 - 1 - 40 - 20/(-10). Let w = c + 117. Suppose -11*f + 5*f + w = 0. Does 13 divide f?
True
Let u(i) = 2*i + 53. Let q be u(-25). Suppose 150 = 5*p - 0*k - q*k, 0 = p - k - 32. Is p a multiple of 8?
False
Let a = 167 - 101. Let j = 14 + a. Let m = j + -70. Is 9 a factor of m?
False
Let v be -11 - ((-6 - -3) + 4)*3. Let h be v - (1 - 2 - -2). Let r = 11 - h. Does 13 divide r?
True
Suppose -3 = 5*d - 4*o + 104, 0 = 2*d + 5*o + 23. Let a(l) = -l**3 - 20*l**2 - 17*l - 25. Let i be a(d). Let z = -54 - i. Is 9 a factor of z?
True
Let v = -6283 - -12534. Is v a multiple of 12?
False
Let b be 22/55 + ((-628)/(-5))/1. Suppose 0 = 2*n - 5*i - b, 3*n = 3*i - 4*i + 189. Suppose o - 143 = -2*u, -n = -u + 5*o - 8. Is u a multiple of 15?
False
Suppose -99*w + 48*w = -227970. Is 10 a factor of w?
True
Let l(a) = a**2 + 6*a - 3. Let t be l(-7). Suppose -f - 26 = -5*c, 3*c - t - 9 = -2*f. Suppose -c*h = -97 - 568. Does 19 divide h?
True
Suppose -y - 32 + 2336 = 2*v, -y = -v + 1161. Does 11 divide v?
True
Let i(d) = 17*d**3 + 9*d**2 - 25*d + 4. Is i(6) a multiple of 10?
True
Let x(f) = 3*f**2 - 28*f + 101. Let p be x(15). Suppose -1172 = -16*q - p. Is 3 a factor of q?
True
Suppose -4*m + 4565 = -21475. Is m a multiple of 42?
True
Suppose -z = -v + 47832, 0 = -4*v - 180*z + 183*z + 191334. Does 67 divide v?
True
Suppose 14*z - 15*z = -9. Suppose 0*k + 9 = z*k. Is 4 a factor of k/1*(-5 - -9)?
True
Suppose -24*y + 28*y = 52. Let i(z) = -2*z**2 + 27*z - 15. Let w be i(y). Does 8 divide 1 + -15*(-3 - w)?
True
Let r be (-30)/(-18)*18/10. Suppose -4*l + 24 = r*t - l, -t - 5*l + 28 = 0. Let q(h) = 8*h**3 + 2*h**2 + 2*h. Is q(t) a multiple of 24?
True
Suppose -64 = -5*p - 4*o, -2*o - 46 = -4*p - 0*o. Suppose -m - 2*m + 4*h - p = 0, m - h + 3 = 0. Let t(f) = -f**3 + 3*f + 78. Is t(m) a multiple of 13?
True
Let j = 23612 - 5011. Is 328 a factor of j?
False
Suppose 0 = 5*c + 2*n + 3*n + 220, -3*c + 4*n - 139 = 0. Is 5 a factor of 944/10 + (-27)/c?
True
Suppose 142 = -8*b - 1162. Let c = b + 6. Let u = c - -267. Is 11 a factor of u?
True
Let y = 3578 - 279. Suppose -x + 662 - 7 = 2*l, -5*x = 4*l - y. Is 8 a factor of x?
False
Is 10 a factor of (-192)/960 + (-3451)/(-5)?
True
Let g be (-1)/(((-14)/(-1294))/7). Let x = 784 + g. Does 2 divide x?
False
Is 93 a factor of -310*(-8 + -67)*((-15)/(-25) - 0)?
True
Let t = 2465 + -1649. Is 92 a factor of t?
False
Suppose -13025 + 1614 = -z. Is z a multiple of 203?
False
Let b(s) = -9*s - 158. Let d be b(14). Let y = 656 + d. Is y a multiple of 6?
True
Let t be 0 - 572 - 7 - 2*1. Let r = t - -950. Suppose p - r = -2*s + 4*p, s - 4*p = 177. Is 27 a factor of s?
True
Let k = -165 - -2556. Is k a multiple of 21?
False
Suppose -4*b - t = -6*b + 7, 0 = b - 5*t - 8. Let z(f) = 7*f**2 - 3*f - 1. Let n(g) = -20*g**2 + 10*g + 4. Let d(l) = 2*n(l) + 7*z(l). Is 5 a factor of d(b)?
False
Let f = 50 + -48. Let d = -6 + f. Does 51 divide 3 - ((-143 - 3) + d)?
True
Suppose -270*k = -497*k + 809709. Does 4 divide k?
False
Let c(z) = 9*z**2 - z - 2. Let t be c(-1). Let u(m) = -t*m + m + m**3 - 12*m**2 + 6*m - 17. Is 19 a factor of u(14)?
True
Suppose r - 2576 = -6*r. Let g = r - 223. Is g a multiple of 29?
True
Suppose 258*b - 31302 = 221*b. Is 47 a factor of b?
True
Suppose 174 = 7*a + 237. Let h(k) = 3*k**3 + 32*k**2 + 7*k - 28. Is h(a) a multiple of 23?
False
Suppose -7886 = -5*j - x + 17761, -j - 5*x = -5115. Is j a multiple of 45?
True
Let c(a) = 2553*a**3 + 2*a**2 - 14*a + 11. Does 44 divide c(1)?
True
Let j(y) = -y**2 - 8*y + 2. Let t be j(-8). Suppose 0 = 9*d - t*d - 224. Is 8 a factor of d?
True
Does 32 divide 25157*16/88*(-2)/(-4)?
False
Let f(j) = -j**3 - 2. Let k(x) = x**3 - 4*x**2 - 5*x + 10. Let i(v) = 6*f(v) + k(v). Is i(-5) a multiple of 48?
False
Let x = 69149 - 16433. Does 46 divide x?
True
Let n = 71 + -55. Suppose -2*r - 3*t - 12 = -8*t, -5*t + n = -r. Suppose -91 = r*z - 295. Is z a multiple of 17?
True
Let l be (1 - -76*1) + 0. Let u = l + -68. Let q(d) = -d**3 + 11*d**2 + 2*d - 1. Does 14 divide q(u)?
False
Is (-21 - 7995/9)/(4/(-18)) a multiple of 22?
True
Suppose 3*w - 1014 = -3*d, -301 = 4*d - w - 1678. Let x = d + -183. Is x a multiple of 12?
False
Let m(a) = a + 36. Suppose -2*y = 4 + 10. Let n(v) = -v**3 - 8*v**2 - 10*v - 9. Let p be n(y). Is m(p) a multiple of 4?
True
Let q(l) = -30*l + 273. Let z be 0 - (6 + -2) - (26 + 6). Does 12 divide q(z)?
False
Let x(f) = 2*f**3 - 3*f**2 - 12. Let l be x(3). Suppose -l*t - 1180 = -9790. Let b = t - 406. Does 28 divide b?
True
Let o be 3*(-6 - -6 - -1). Suppose -o*p + 2*p + 30 = 3*b, -3*b - 105 = -4*p. Is 8 a factor of p?
False
Let r(k) = -1253*k**2 - 1. Let i be r(1). Let f = -74 - -169. Does 5 divide (i/f)/(3/((-15)/2))?
False
Suppose 4*f + 75 - 79 = 0, 2*f - 29 = -3*z. Let k(y) = -7*y**2 + 19*y - 13. Let j(x) = 8*x**2 - 18*x + 13. Let t(u) = -4*j(u) - 5*k(u). Is 28 a factor of t(z)?
False
Let p(i) = -2*i**2 - 13*i + 2. Let t = 7 - 13. Let w be p(t). Suppose 91 = -7*j + w*j. Is 39 a factor of j?
False
Is (3283280/(-6))/(-8) + ((-605)/33)/11 a multiple of 12?
True
Let l(j) = 13*j - 92. Let q(u) = 2*u**2 + u + 1. Let h(i) = -l(i) + 4*q(i). Does 5 divide h(6)?
True
Let o = 46 - 93. Let d = 126 + o. Does 8 divide d?
False
Let c(y) = 5*y**2 + 21*y - 137. Let z(d) = -7*d**2 - 19*d + 138. Let q(g) = -3*c(g) - 2*z(g). Does 6 divide q(-29)?
False
Let b(x) = -7*x**3 - x**2 + 10*x - 5. Let r(q) = -q**3 + q**2 + q. Suppose 0 = -4*m + 3*m + 1. Let j(o) = m*b(o) - 6*r(o). Is 4 a factor of j(-8)?
False
Suppose -5*o - 25 = -2*c, -7*c + 3*c = -o - 23. Suppose y = -5*t + c + 10, 3*t + 4 = 2*y. Suppose t*d = r - 23, -2*r - 2*r = d - 119. Does 29 divide r?
True
Let f be (14/3)/(-2 - (-28)/12). Let r(n) = n**3 - 16*n**2 - 4*n + 27. Let j be r(f). Let m = -255 - j. Is m a multiple of 43?
False
Let b be (-2)/(((-3)/8)/(-3)). Suppose 3*s - 2*w = -4*w + 301, 2*s - w - 203 = 0. Let h = s - b. Is h a multiple of 9?
True
Let m(b) = 2*b**2 - 12*b + 5. Let y be m(6). Suppose 2*r = 0, y*r + 7 = k + 6. Does 7 divide ((-1)/(k/(-40)))/(4/4)?
False
Suppose 2*i - 6*i + 3*a + 4800 = 0, 1200 = i + 4*a. Let m = -9402 - -9399. Is (m*2 + 2)*i/(-32) a multiple of 30?
True
Suppose 56*b + 5038 = -30*b + 22324. Does 67 divide b?
True
Let x be (-15)/(-90) + 69/18 - -26. Is 14 a factor of x/(-5) - 4/((-20)/4115)?
False
Let t(l) = -l**2 - 9*l - 8. Let r = -21 - -13. Let p be t(r). Suppose p = 5*q - 10*q + 350. Is 14 a factor of q?
True
Let w be (2*(-2 + 6))/((-16)/472). Let y = w + 372. Is 17 a factor of y?
True
Suppose 3*s - 5*s + 35 = 3*n, 0 = -5*n + 25. Is 265/((2/10)/(2/s)) a multiple of 16?
False
Suppose -8*w - 16 = -12*w. Let h(k) = k**3 + 2*k**2 - 1. Let f be h(-1). Suppose f*n + b - 165 = -5*n, w*b + 132 = 4*n. Is 11 a factor of n?
True
Suppose -2*m + 12 = 5*a, 0*m = m - 2*a + 12. Let d = -20 - m. Is 4 a factor of 62*(-1)/(-8) + (-4)/d?
True
Let t(s) = s**3 + s**2 + 5*s + 39. Let o be (3/3*(-8 + 8))/(-3). Is 9 a factor of t(o)?
False
Let b be 66/(-3) + (1 - 0). Let i = 27 + b. Suppose -5*n + 120 = 5*v, 3*v - i*n - 65 = -2*n. Is 7 a factor of v?
False
Let i(u) = u**3 - 7*u**2 - 6*u + 56. Let z be (-2)/(-7) + (-1312)/(-112). Is 11 a factor of i(z)?
True
Let r = -735 - -303. Is 4 a factor of (7/3)/((-3)/r*4)?
True
Let t(x) = 24*x + 328. Let p(f) = -17*f - 219. Let n(z) = -8*p(z) - 5*t(z). Is 13 a factor of n(32)?
True
Suppose x + 