) = 524*t**3 + 6*t**2 - 8*t + 16. Is j(2) a multiple of 8?
True
Let b(m) = 11*m**3 - 43*m**2 - 32*m - 22. Does 22 divide b(8)?
False
Suppose 5*v - 13 = -13. Suppose 332 = 2*h + 5*z - 3*z, h + 2*z - 167 = v. Let a = 284 - h. Is a a multiple of 17?
True
Let j be (-5)/((-43)/(-24) - 2). Suppose -j*b + 307 = -53. Is 3 a factor of b?
True
Let j = 103 - 98. Suppose 0 = 2*a - 19 + j. Is a a multiple of 7?
True
Suppose -y + 24*y + 345 = 0. Does 9 divide y/(5 + (-80)/15)?
True
Let s = 5 - 3. Suppose 5*p + 5*x = 825, p + s*x - 173 = -3*x. Is p a multiple of 13?
False
Suppose -c + 2*r + 611 = 32, 4*c - r - 2281 = 0. Is 21 a factor of c?
False
Let c be -1*(2 - -23 - 0). Suppose 9*j - 390 - 159 = 0. Let l = c + j. Is l a multiple of 14?
False
Let i = 52381 - 34843. Does 10 divide i?
False
Is 3 a factor of (-68)/51*((-12957)/6 + 1)?
False
Let c be ((-186)/4)/((-2)/(6 + -2)). Let l = c - 91. Suppose -3*n - 762 = -3*s - n, 5*s = -l*n + 1254. Is s a multiple of 21?
True
Let h = 2182 + -1372. Does 3 divide h?
True
Let k = 6609 + -4303. Does 46 divide k?
False
Let m = 3430 - 710. Is m a multiple of 32?
True
Let d(h) = -21*h**3 - 4*h**2 - 3*h - 5. Suppose l = 2*l - 2. Let y(j) = 10*j**3 + 2*j**2 + j + 2. Let o(z) = l*d(z) + 5*y(z). Is o(1) a multiple of 4?
False
Let u(h) = 10*h - 28. Suppose -2*p = -p + 5*m + 22, -4*p - m = -7. Let r be u(p). Suppose r*n + 2*c - 119 = -c, -2*c - 6 = 0. Is n a multiple of 16?
True
Let q(d) = d**3 - 14*d**2 - 21*d - 36. Suppose 32*o - 16 = 31*o. Let a be q(o). Suppose 0 = -5*k - 2*t + a, t - 21 = 4*k - 120. Is 14 a factor of k?
False
Suppose 2*g - 5*f = 738 + 6838, -5*g + 18940 = 4*f. Is g a multiple of 6?
False
Let b be 1167/30 - (-5)/50. Does 16 divide 1*b*(12 + -7)?
False
Is 25 a factor of (-3)/1 - ((-22)/44)/((-2)/(-6816))?
False
Let g(k) = k + 1. Let v(w) = -2*w - 7. Let t(y) = -3*g(y) + v(y). Let h be t(-12). Suppose -4*q + 0*s + 54 = -s, -s + h = 4*q. Does 4 divide q?
False
Suppose -123672 = -56*z + 371368. Is z a multiple of 13?
True
Let u(w) = 354*w - 2479. Is u(10) a multiple of 190?
False
Let l = 868 - 1864. Let i = 2272 + l. Does 44 divide i?
True
Suppose -4*r + 605 = 4*a - 211, 4*a - 3*r = 788. Let f be (((-6)/8)/(5/a))/(-2). Suppose 0 = -2*i - i + f. Is 2 a factor of i?
False
Let u be (-1 - (-81)/(-6))*(-28)/7. Suppose 2*k - i = -18 - 29, -4*i + u = -3*k. Does 3 divide 186/26 - (2 + 48/k)?
False
Let k = 56 + -51. Suppose -q + 9 = 2*t, 0*q + 5*q = k*t + 15. Suppose 8*j - h - 38 = 3*j, 0 = -3*j + q*h + 14. Is 4 a factor of j?
True
Let t(h) = -34*h**3 - 8*h**2 + 9*h + 30. Let c be t(-6). Suppose -18*a - 6*a = -c. Does 45 divide a?
False
Let p(i) = -5*i**3 - i - 6. Suppose 6*y = 13*y - 14. Suppose -3*s = -3*o + 10 + 8, y*s - o = -8. Is 3 a factor of p(s)?
True
Is 17 a factor of 5177 - ((-1)/1 - -2)?
False
Suppose 3*o - 5*o = 4*o - 57444. Is o a multiple of 24?
False
Let z = -27454 - -48569. Is z a multiple of 279?
False
Let w = 3379 + 299. Is w a multiple of 16?
False
Let g(k) = 33*k + 10*k + 2 + 5. Let n be g(3). Suppose 4*o + 5*z = 1110, -5*o = 4*z - 1528 + n. Is 28 a factor of o?
True
Let m(b) = 35*b - 25*b + 2*b**2 - 23*b + 10. Let v be m(8). Suppose 14*l = 12*l + v. Is 6 a factor of l?
False
Let m = 310 + -311. Does 13 divide 2/3*426/(-4)*m?
False
Let u = -114 + 435. Let y = u + -37. Is y a multiple of 13?
False
Let i(f) = -19*f + 22. Let q be i(5). Let c = -64 - q. Suppose 903 = c*z - 2*z. Does 17 divide z?
False
Let h = 4933 + 2333. Is h a multiple of 6?
True
Let i = 1608 - 845. Let h = i + -659. Is 21 a factor of h?
False
Suppose 4*n - 741 = 5*o, 2*n = 5*o + 833 - 90. Let l be 46096/(-469) - (-2)/7. Let k = l - o. Does 40 divide k?
False
Let u be 597 - -8 - (2 - -3). Let z = 1267 - u. Is z a multiple of 50?
False
Suppose -x - h + 23 = 0, x - 2*h - 27 = -h. Suppose 3*c + 2*c - x = 0. Does 6 divide c*1/(-2)*-14?
False
Suppose 2*u - 8 = -4. Suppose 2*n + u + 0 = 0. Does 14 divide (-4)/1*21/4*n?
False
Does 3 divide 49200/27 - (-108)/(-486)?
False
Let o(s) = -6*s - 27. Let u(f) = f + 1. Let m(r) = o(r) + u(r). Does 33 divide m(-25)?
True
Does 20 divide -4 + (2487 - (1 - 13/((-39)/6)))?
True
Let r(b) = -b**2 + 32*b + 272. Let x be r(-7). Does 11 divide -2*x/((-4)/(-1446))?
False
Suppose -129 + 145 = -4*h. Is 11 a factor of (-794)/h + (-1)/2?
True
Suppose 52*a + 2*o + 33690 = 57*a, -o = a - 6738. Is a a multiple of 9?
False
Suppose -1132*c = -1113*c - 20463. Does 6 divide c?
False
Let s be 3 - (-16)/4 - (4 + 0). Suppose 0 = -s*f + 2*w + 1400, -3*f + 0*w = -3*w - 1404. Does 29 divide f?
True
Let a(h) = -184*h + 338. Is 82 a factor of a(-20)?
True
Let x be (-3)/(5/(-6) - (-20)/(-30)). Suppose 25 - 113 = -4*n + 3*r, x*r = n - 22. Is n a multiple of 2?
True
Suppose 27*m = 139246 - 10672. Does 139 divide m?
False
Let k be (9/6)/(21/4228). Suppose 4*m - 418 = -0*h + 2*h, 0 = -3*h - 2*m - 643. Let l = h + k. Does 11 divide l?
False
Suppose -2*a - 1 = 9, 4*a = 4*h + 96. Let r = h + 33. Suppose r = y, -y = 4*b - 2*y - 60. Is 3 a factor of b?
False
Let i(y) = -2*y**2 - 14*y - 12. Let z = -118 - -112. Let s be i(z). Suppose s = 4*w - 5*w + 200. Is w a multiple of 40?
True
Suppose 4 = -9*y + 49. Suppose y*g = 12*g - 1120. Suppose -g = -h - h. Is h a multiple of 9?
False
Suppose 294*s = 300*s - 25560. Is s a multiple of 5?
True
Let l(j) = -j**2 - 9*j - 3. Let r be l(-8). Suppose -r*a - 23 - 17 = 0. Is 4 - -22*(-4)/a even?
False
Let l(k) = 34*k - 9. Let d = -5 - -10. Let m(q) = -33*q + 10. Let v(z) = d*m(z) + 6*l(z). Does 10 divide v(2)?
False
Suppose -v = 292 - 394. Is v a multiple of 3?
True
Suppose 5*m + 0*u - 35 = 5*u, -2*m = 5*u. Let k be (-10 + 342/33)*11. Suppose -54 = -k*v + 2*h - 3*h, -2*h - 74 = -m*v. Is 3 a factor of v?
False
Let m be 321/535 - (0 + 12/(-5)). Does 15 divide m + (-379 + 10)/(6/(-8))?
True
Let o be 14/4 + 5/(-10) - -54. Suppose 0 = -5*q + 282 - o. Does 15 divide q?
True
Suppose 5*o + 4*w = 18, -o = w + w. Suppose -o + 3 = 3*v. Does 17 divide 132/4 - (1 + -1 + v)?
True
Let j(b) = -552*b + 1371. Is 27 a factor of j(-32)?
True
Let q be 28/(-35)*5/(-2). Suppose -q*h - 162 = -0*h. Does 12 divide (-2)/9 + (-1962)/h?
True
Suppose -205*v = -50*v - 3492615. Does 11 divide v?
False
Does 21 divide ((0 - -1)*98/(-14))/((-1)/84)?
True
Let h(t) = -8*t - 34. Let r be h(-5). Suppose 12 = -i + r. Is 16 a factor of i/36 - (-2354)/12?
False
Let q(v) = v**3 + 8*v**2 - 56*v + 194. Is 29 a factor of q(17)?
True
Let j = 81 + -16. Let b = j - 84. Let g(d) = d**2 + 7*d - 21. Is g(b) a multiple of 46?
False
Let q be (-4)/34 + 28/238. Suppose -4*r - 7 - 17 = q. Let x = 89 - r. Is x a multiple of 31?
False
Suppose -774*d + 780*d - 1188 = 0. Does 6 divide d?
True
Let d(j) = 11*j**2 + 75*j - 4. Suppose -4*f = -4*c - 7 - 45, 0 = 4*c + 5*f + 7. Is 9 a factor of d(c)?
False
Let o = 2376 + 550. Is o a multiple of 8?
False
Let t(q) = q**3 + 8*q**2 + 5*q - 10. Let g be t(-5). Suppose -2*m = 4*x + m + 103, -g = x - 4*m. Does 2 divide 14/x - 2/(8/(-82))?
True
Suppose 5*v - 4329 = -2*a, -1 = v - 4. Does 33 divide a?
False
Let k(q) = 2*q**2 + 12*q - 9. Let o be k(-7). Suppose -o*d = 21 + 14. Let s = 43 - d. Is 5 a factor of s?
True
Let t = -54 - -59. Suppose -l = -t - 0. Is 11 a factor of -1 - (-23 + 0 + 15/l)?
False
Let y(p) be the second derivative of -p**4/12 + p**3/6 + 15*p**2/2 - 12*p. Let n = 47 + -47. Is y(n) a multiple of 12?
False
Let c = -120 - -127. Suppose c*t + 1138 = 4022. Is 14 a factor of t?
False
Suppose -r = 3, -2*h + 5*r = 3*h - 30. Suppose 5*o + 4*w = 761, 0 = h*o - 4*o + 3*w + 137. Is 5 a factor of o?
False
Suppose 0 = -14*j - 8556 + 35464. Is j a multiple of 12?
False
Let a(b) = -3*b - b**3 - 42 + 39 + 33 + 5*b**2. Is a(5) even?
False
Suppose -370045 = -23*f + 7018 + 104649. Is 44 a factor of f?
True
Suppose -2*p + 72*f - 67*f + 58392 = 0, 5*f = -4*p + 116724. Is p a multiple of 8?
False
Is 3805*(-23 + -8 + 34) a multiple of 26?
False
Let p(d) = -d**2 + 33*d - 7. Let q be p(17). Let u = q + -168. Is 3 a factor of u?
False
Suppose -8*z - 90 = -13*z. Let i(c) = 16*c + 6. Let m be i(z). Suppose u - m = -2*u + 3*w, 3*u = w + 290. Is 16 a factor of u?
True
Let n = 300 - 172. Suppose 0 = -514*l + 516*l - 10. Suppose -l*g = -g - n. Does 4 divide g?
True
Let u = -714 + 701. Let n(q) = 9*q**2 + 43*q - 28. Is n(u) a multiple of 34?