vide m(-5)?
True
Let b(z) = z**3 - 104*z**2 + 247*z + 167. Is 9 a factor of b(102)?
False
Suppose 0 = -x + 2, 4*z + 9*x - 22 = 6*x. Does 46 divide -1 - (-54)/z*(-1230)/(-45)?
True
Let u(r) = -r**2 + r + 9. Let z be u(-3). Let q be (1 - (3 + 2)) + 517. Is 31 a factor of (4/z)/((-18)/q)?
False
Let l = 1558 + 5094. Is 7 a factor of l?
False
Let h(v) = -v - 7. Let w be h(-11). Suppose 5*q - 7 = d, -1 = w*d - d + 5*q. Does 16 divide ((-65)/d)/((-16)/(-32))?
False
Let u be 4 - 4*(-3)/(-6). Let h(b) = 3*b - u + 6*b - 12*b. Is h(-5) a multiple of 3?
False
Let k = 759 + -1254. Let u = -67 - k. Does 20 divide u?
False
Let j be (-9 - 270/(-20))/(1/(-26)). Let i = j + 293. Is 5 a factor of i?
False
Let l = 466 + -461. Suppose -3583 + 463 = -l*q. Does 63 divide q?
False
Let j = -3989 - -6789. Let d be -1 - 3 - j/(-8). Is (-3)/6*d*-1 a multiple of 37?
False
Let b(c) = -c**3 + 4*c**2 - 2*c + 10. Let t be b(3). Let i(q) = 0*q - 11*q - q**3 + 20 + t*q**2 + 0*q**3 - 16. Is i(12) a multiple of 14?
False
Suppose -2*n - 3*n + 181495 = 3*u, 0 = -5*u + 3*n + 302469. Is 15 a factor of u?
True
Does 24 divide 0*(-13)/78 - 333/(-6)*192?
True
Let o(l) = 2753*l**2 + 3*l - 1. Let b be o(1). Let q be b/35 + (-6)/(-21). Suppose 2*p + 5*n = 229, q = p + n - 34. Is p a multiple of 16?
True
Let h(x) = -20*x + 44. Let y be h(2). Suppose l + y*b + 284 = 3*l, 0 = b. Does 8 divide l?
False
Suppose 3*s - 4*m = 7*s - 243260, 4*s = -m + 243278. Is 255 a factor of s?
False
Let m be 6 + -4 - (3 + -6). Suppose m*d + 11 = -39. Is 23 a factor of 1725/d*(12/(-5))/3?
True
Suppose -18 = 6*c - 8*c. Suppose -4*i + i = -c. Suppose i*u - 469 + 93 = v, 4*u - 488 = -2*v. Is 31 a factor of u?
True
Suppose 2*d - 215 = d. Suppose 5*l + 495 = -5*h - 0*h, -l + 4*h - 94 = 0. Let c = d + l. Is c a multiple of 33?
False
Suppose 2*m - 5*h = 20, 0 = m - 2*h + 17 - 25. Suppose m = 2*y - 247 - 335. Does 25 divide y?
False
Suppose -24*w = 653 - 6797. Is 3 a factor of w?
False
Let t(f) = 30*f - 70. Does 4 divide t(10)?
False
Let u(f) = -f**3 - 24*f**2 + 25*f. Let i be u(-25). Suppose i = 7*r - 15*r + 4944. Suppose -3*a = 3*x - 381, -4*a + 4*x + r - 110 = 0. Is 39 a factor of a?
False
Let u(y) = y**2 - 1. Let z(q) = 4*q**2 + 12*q - 4. Let h(j) = -5*u(j) + z(j). Let x = 894 - 885. Is 10 a factor of h(x)?
False
Let v = 329 - 326. Suppose 45 = v*j - 3*i, 5*j - 39 - 28 = 3*i. Is j a multiple of 3?
False
Suppose 37*r + 105 = 58*r. Suppose -j = -6*j + 15. Suppose -r*g + 89 = j*v, 0*g + 5*v = g - 29. Does 11 divide g?
False
Suppose -3*d + 29978 = 2*n, 74906 = 5*n + 4*d - 3*d. Does 10 divide n?
True
Suppose 0 = -31*d + 32*d - 10. Let v = d - 16. Is -53*(-4)/(-6)*v/4 a multiple of 8?
False
Let l(s) = -45*s + 29. Let i be l(-5). Does 5 divide (-2 - i/(-6))*18?
False
Suppose 3*d - 2746 = 2*t + 1061, 4*t + 6345 = 5*d. Is 47 a factor of d?
True
Suppose -2*k + 23*k + 147 = 0. Let a(b) = -4*b**3 - 24*b**2 - 4*b + 17. Is a(k) a multiple of 45?
False
Let c(w) = 54*w**2 + 2*w - 5. Let p = 228 + -226. Is c(p) a multiple of 7?
False
Let r = 215 - 213. Suppose 290 = 2*o + 4*c, r*o = 2*c + 164 + 126. Does 12 divide o?
False
Let c(t) = t**3 - 3*t**2 - 4*t - 4. Let z be c(4). Let g(p) = -19*p - 4. Let m be g(-4). Let j = m - z. Is j a multiple of 19?
True
Let j(b) = -b**2 + 13*b + 4. Let k be j(10). Suppose k = -2*h - 2*n, -2*h + 7*h = 4*n - 58. Let a(v) = 3*v**2 + 33*v + 7. Is a(h) a multiple of 19?
True
Let h(s) = 47*s + 2825. Is 26 a factor of h(-33)?
True
Let j(a) be the first derivative of -a**3/3 + 17*a**2/2 + 16*a - 10. Let p be 4/(-16) + 122/8 + 2. Does 3 divide j(p)?
False
Suppose -135 + 10 = -25*v. Suppose -4*x = -v*b - 88 + 13, 3*x = 3*b + 57. Is 4 a factor of x?
True
Suppose 0 = -v + 3, 2*v + 16101 = -31*p + 34*p. Is 16 a factor of p?
False
Suppose -88*v + 61*v = -72*v + 153405. Is v a multiple of 26?
False
Let j be (-2)/7 + 322/98. Is 3 - 53/j*-3 a multiple of 7?
True
Suppose -24337 = 13*j - 23*j - 9367. Is j a multiple of 6?
False
Let w(b) = 3 + 0 - 4*b - 2 + 3*b. Let s be w(0). Is -1 + s/(1/85) a multiple of 12?
True
Suppose 9*u - 760 = -3*d + 4*u, 3*u = -2*d + 505. Suppose 2*r = -4*w - d + 29, w = 5*r - 76. Is 18 a factor of (1 - w)/(-1 + 66/48)?
False
Is -1*6 - (30 - 1)*-97 a multiple of 5?
False
Let a(w) = -w**3 - 26*w**2 + 28*w + 30. Let i be a(-27). Does 29 divide 435/i*(-8)/(-20)?
True
Is 17 a factor of ((-24)/(-80))/(-3) - 511533/(-30)?
True
Let i(u) be the third derivative of -u**5/10 - u**4/2 + 2*u**3/3 + 5*u**2. Let g(v) be the first derivative of i(v). Does 11 divide g(-6)?
False
Let n = 25 + -20. Suppose f = -n*f + 540. Does 28 divide f?
False
Suppose -4*d = 2*p + 9 - 65, 5*p = -2*d + 140. Suppose -2*t + 16 + p = 2*h, -t - 4*h = -31. Let z = 51 - t. Is z a multiple of 5?
False
Let o = 2775 + -4783. Let s = -1238 - o. Is 35 a factor of s?
True
Let y = 777 - 358. Suppose 429*h - 5020 = y*h. Is 23 a factor of h?
False
Let y(k) = 2*k**2 + 5*k - 16. Let q be ((-21)/(-12) - 3)*4. Let p be y(q). Suppose 173 = a + p. Is 33 a factor of a?
False
Let t(r) be the third derivative of -53*r**5/60 + r**4/12 - r**3/3 - 12*r**2. Let s be t(2). Does 30 divide s/(-4)*24/20?
False
Suppose 3*h + 4*x = 9 - 17, -4*x - 8 = -2*h. Suppose 2*a = 4*d - 20, -2*d = -h*a - 4*a + 2. Is 3 a factor of d?
False
Let b be (-161)/(-23) + 991*2. Let c = 2796 - b. Is 13 a factor of c?
False
Let c be (-16 + 4)*502/(-8). Suppose -3*h + 4*n + 761 = 2*h, -2*n = -5*h + c. Let d = h + -62. Is d a multiple of 21?
False
Let j be ((-528)/55 + 9)/((-2)/(-10)). Is j*((-25900)/15)/7 a multiple of 10?
True
Let u(q) = -2*q**2 + 9*q - 7. Let r be u(3). Let z be -9*-3*r/18. Suppose 0*p - 4*p = z*l - 553, 0 = 3*l - 4*p - 521. Is l a multiple of 9?
False
Suppose -71*r = -65*r - 474 - 22566. Does 16 divide r?
True
Suppose -11*l = 2*l - 35061. Suppose l - 219 = 7*w. Is 9 a factor of w?
False
Let v = -13534 + 19737. Does 47 divide v?
False
Does 8 divide 14/49 - (233550/(-42) - -1)?
True
Suppose -3*z - 5*o + 3759 = 0, 63*o = -5*z + 59*o + 6239. Does 21 divide z?
False
Let j be -65*(-13)/((-520)/(-64)). Suppose -248 = -6*q - j. Does 8 divide q?
True
Let f(u) be the first derivative of 7*u**3/3 - 11*u**2/2 + 26*u - 55. Does 16 divide f(2)?
True
Let t(c) = 8*c**2 + 16*c + 384. Is 8 a factor of t(-25)?
True
Let a(r) = -r + 2. Let m(z) = 3*z - 36. Let v be m(16). Let o be a(v). Does 43 divide 776/6 + o/30?
True
Let x(u) = 615 + 10*u**2 - 621 + 16*u + 4*u**2 + u**3. Let t be x(-13). Let f = t + 140. Is f a multiple of 14?
False
Suppose -2*b - a + 2046 = -2566, -5*b + 11527 = 4*a. Is b a multiple of 7?
False
Is (4931 - (0 - 1)) + (3 - -2) + -4 a multiple of 12?
False
Suppose 35*u - 28*u = 1274. Let l = u - 90. Does 23 divide l?
True
Let j(y) = 34*y**2 - 3*y + 3. Let u be j(3). Let q(c) = 2*c**2 - 6*c - 1. Let m be q(6). Suppose 30*b - m*b = -u. Does 9 divide b?
False
Let w(d) = d**3 + 22*d**2 - 24*d - 16. Let x be w(-23). Suppose p - 2*p + 4 = 0. Suppose -p*v - x*q = -5*q - 194, -4*v + 3*q = -189. Is v a multiple of 12?
True
Let x(i) = 2*i**2 + 11*i - 37. Let o be x(-15). Suppose -y - o = -4*y + 4*k, 3*y - k - 242 = 0. Suppose 7*r + y = 12*r. Does 3 divide r?
False
Let m(v) be the first derivative of v**4/2 - 4*v**3/3 + 3*v**2 + 12*v + 65. Is 8 a factor of m(6)?
True
Let s(k) = 4*k**2 + 2*k - 20. Let u be s(11). Suppose 4*b + 3*l - 60 = u, 5*b = -5*l + 685. Is 4 a factor of (b/(-5))/(-3) + 1*-3?
False
Suppose 19486 = z + 5*t - 21843, -z + 41344 = 2*t. Is 62 a factor of z?
True
Suppose 13*q - 33163 = 10*q - 5*o, 2*q + o = 22111. Does 16 divide q?
True
Suppose -5*v - 10*p = -4*p - 23939, -4*v + p = -19157. Is v a multiple of 4?
False
Suppose n + 2*a + 2 = 0, -4*n - a + 0*a = 1. Suppose -4*o + 6*o - 862 = n. Suppose 10*v - o = 259. Does 22 divide v?
False
Let k = -319 + 1450. Is k a multiple of 22?
False
Let u = 1578 - -4862. Does 140 divide u?
True
Suppose -s = -6 + 11. Let b be s + (-141)/(-27) + (-11)/9. Does 4 divide (-158)/(-5) + b - 10/(-25)?
False
Suppose 0 = 4*z + 4*i + 420, 0*i + 2*i = 3*z + 300. Let q = z - -115. Suppose q*g = 21*g - 1200. Is g a multiple of 10?
True
Suppose 30*r + 19848 = 5*u + 29*r, 0 = -5*u - r + 19842. Is 147 a factor of u?
True
Suppose -18*u - 4824 = -36*u. Let p = 288 - u. Is p a multiple of 3?
False
Let y(l) = 80*l - 807. Is y(12) a multiple 