ose 361*d - 7371309 + 970057 = 0. Does 26 divide d?
True
Let l(c) = c**3 + 1. Let r = 32 - 33. Let h be l(r). Is 11 a factor of (-44 + h)/((40/15)/(-4))?
True
Let v(n) = n**3 + 12*n**2 - 27*n + 7. Let f be v(-14). Does 30 divide (-2679)/f - (-72)/252?
False
Suppose -13*m + 244787 = 37*m + 60387. Is m a multiple of 7?
False
Let u(j) = -j**3 + 8*j**2 + 292*j - 34. Is 166 a factor of u(17)?
False
Let w = 493 + -555. Does 2 divide 4/6*(-1209)/w?
False
Suppose -5*t = 4*l - 3, -2*t - 3*l + 3 = 2*t. Suppose -4*x - 4*n + 224 = 0, 0 = -5*x + 3*x - t*n + 117. Does 11 divide x?
False
Let p = -1266 + 2444. Let m = -638 + p. Is m a multiple of 36?
True
Is 28352/24*((-99)/6)/(-1) a multiple of 6?
False
Suppose -18 = -5*c + p, -2*p - 2 = -3*c + 3*p. Suppose c*o = -8*o + 432. Is 9 a factor of (-282)/(-7) - o/126?
False
Let z(h) = 3*h**2 + 13*h + 28. Let d(t) = -1. Let g(y) = -3*d(y) + z(y). Suppose -l - o - 13 = 4*o, 3*l - 4*o = 37. Does 16 divide g(l)?
False
Is 22 a factor of 3/30 - 3980679/(-310)?
False
Let w(j) = -916*j - 7463. Is 2 a factor of w(-9)?
False
Let y be 4 - 4 - 10*(-5)/10. Suppose 4*q + 3*n - 24 = -0*n, -3*q - 5*n = -18. Suppose -38 = -z + 5*p, 0 = z - q*z + y*p + 250. Is 13 a factor of z?
False
Suppose q + 0*q = 5*l - 12, 0 = -4*q + 3*l - 31. Does 11 divide -77*(-12 - q - 6)?
True
Suppose -5*x = 5*l - 2*l - 59211, 5*x - 5*l - 59235 = 0. Does 94 divide x?
True
Let p(z) = -3*z - 15. Let i be p(-4). Let y be 14 - (-1)/((i/6)/1). Suppose 0 = 2*k - y - 68. Does 10 divide k?
True
Let a(b) be the first derivative of 11/2*b**2 + 24 + b**3 + 14*b. Is a(-6) a multiple of 4?
True
Let h(x) = x**2 + 6*x + 12. Let p be (-2)/((14/5)/7). Let b be h(p). Does 2 divide (-4)/b - (-474)/21?
True
Let n(p) = 2*p**2 - 19*p - 4. Let j be 8*(1 + (-4)/(-8)). Let b be n(j). Suppose b = -0*k + k. Is k a multiple of 14?
True
Let h be (-48)/64 + (-2182)/(-8). Let j be 4/34 + (-32)/h. Suppose 3*a + 3*t - 288 = j, 0*a = -4*a - t + 387. Is 25 a factor of a?
False
Does 25 divide 21/(-9)*(-360)/140 + 2 + 3666?
False
Let b(j) = -15*j + 7. Let c be b(-5). Suppose -134 = -3*z + c. Does 6 divide z?
True
Let v be 4/(-6) - (-2626)/(-39). Let q = 3 - v. Does 6 divide q?
False
Let g = -6861 + 11657. Is 20 a factor of g?
False
Let q = 71498 + -27515. Does 243 divide q?
True
Is 12 a factor of 4185/4 - (-22)/(-88)?
False
Let w(t) be the second derivative of t**4/4 - 7*t**3/6 + 6*t**2 - 86*t. Is w(7) a multiple of 11?
True
Let g = -85 + 88. Is 51 a factor of (g + 1)*(1463/14 + -6)?
False
Let k = -279 + 306. Does 19 divide (-554)/(-6) - 36/k?
False
Let v = -13 + 21. Suppose v*g - 1348 = 6*g. Suppose -g - 51 = -5*j. Is j a multiple of 32?
False
Let u = 20 + -24. Let d(j) = -3*j**3 - 5*j**2 - 1. Is d(u) a multiple of 9?
False
Suppose 0 = -2*t - 58 + 12. Let u(o) = o**3 + 24*o**2 + 18*o + 50. Is u(t) a multiple of 33?
True
Suppose -4*u - s + 53416 = -5*s, s = -5*u + 66758. Does 91 divide u?
False
Suppose 124 = -10*t + 6*t. Let w = 72 + t. Let s = 25 + w. Is 33 a factor of s?
True
Suppose v + o - 743 = 0, 3*v - 2533 + 307 = -2*o. Suppose 385 = 4*t - d - 207, 5*t - v = -3*d. Does 37 divide t?
True
Let o = 18 - 13. Let r = 7423 - 7218. Suppose -o*j + 310 + r = 0. Does 7 divide j?
False
Suppose q - 1 = -u, 3*u + 0*q - 11 = 5*q. Suppose -27 = u*y - 315. Does 18 divide y?
True
Let c be (-6)/(-3 - (-186)/66). Let b(g) = 10*g - 290. Is 8 a factor of b(c)?
True
Suppose -8 = 4*f - 5*h + 1, -f - 21 = -5*h. Let j be (((-203)/f)/(-7))/((-3)/(-12)). Does 16 divide 3 + 2*j/2?
True
Suppose -2947 = -2*x + 4*v + 3401, 3*x = 5*v + 9519. Suppose 6*p - x = -0*p. Is p a multiple of 47?
False
Suppose -2*t = -21 - 29. Suppose 4*m = -a + t, -5*a + a - 2*m = -72. Suppose 0 = -3*g - 4*l + 22, -4*g + 4*l + a + 3 = 0. Is 3 a factor of g?
True
Let r = -43791 + 73203. Is 44 a factor of r?
False
Let d = -12485 - -53962. Does 123 divide d?
False
Let o = -93 - -96. Suppose 376 = -o*p + 7*p. Let r = p - 66. Does 12 divide r?
False
Let j = 213 + -35. Let g = j - 129. Is g a multiple of 3?
False
Let n = 4262 + 1348. Is n a multiple of 55?
True
Let u = -211 - -235. Let d = u - -12. Is 18 a factor of d?
True
Let y(x) = -x**2 + 8*x - 13. Let q(j) = 1. Let m(n) = -4*q(n) - y(n). Let w be m(7). Suppose b - 4*d = 95, 5*b - 793 = w*d - 264. Is b a multiple of 33?
False
Let y(o) = 9*o**2 - 5*o + 10. Let i(x) = -8*x**2 + 5*x - 9. Let b(a) = -4*i(a) - 3*y(a). Let r = -12818 + 12823. Is b(r) a multiple of 10?
False
Let o = -2970 - -4042. Is 8 a factor of o?
True
Suppose -52 = -5*j + 108. Is 243/(-18)*j/(-12) a multiple of 18?
True
Suppose 44*l - 11*l = 26895. Let t = l - 378. Is t a multiple of 19?
True
Suppose 0 = -31089*h + 31072*h + 352631. Does 149 divide h?
False
Suppose 1392 = 6*a + 516. Let f = a - 82. Does 8 divide f?
True
Let f be 60/(12/(-2))*(-3 + 4). Let y(h) = h**3 + 21*h**2 + 50*h - 7. Is 25 a factor of y(f)?
False
Let d(f) be the first derivative of f**4/4 - 5*f**3 + 6*f**2 + 16*f + 106. Does 7 divide d(15)?
True
Is (96/30)/4*-43*4500/(-9) a multiple of 8?
True
Suppose 4*i + 5*c = 7*i - 432, -5*c + 646 = 4*i. Is 3 a factor of i?
False
Suppose -2*x - 53667 = -10*c + 5*c, 3*c = 2*x + 32197. Does 50 divide c?
False
Let o = 1912 + -276. Let x = -696 + o. Does 10 divide x?
True
Suppose 12*l - 3*x + 168346 = 17*l, 4*x + 134664 = 4*l. Does 58 divide l?
False
Let g(v) = 13*v**2 + 36*v - 352. Does 87 divide g(-25)?
True
Let s(c) = 6*c**3 + 17*c**2 - 5*c + 18. Let y(u) = 5*u**3 + 17*u**2 - 6*u + 18. Let l(h) = -3*s(h) + 4*y(h). Does 18 divide l(-9)?
True
Let o(u) be the third derivative of u**6/12 + u**5/5 - u**4/8 + 5*u**3/6 - 4*u**2. Let p be o(5). Is 11 a factor of (p/21 + 0)*(-6)/(-4)?
True
Let f(j) = -j**3 + 16*j**2 - 25*j + 43. Is f(9) a multiple of 21?
False
Suppose 36*g + 4270 = 50*g. Suppose -v + g - 171 = 0. Is v a multiple of 21?
False
Does 11 divide 60/(-40)*16962/(-9)?
True
Let f(j) = 4*j + 74. Let t be f(-18). Suppose -5*m + 210 = t*n, 5*m - 7*m - 8 = 0. Is 9 a factor of n?
False
Let t(o) = 2*o**2 + 4*o - 10. Let s be t(5). Suppose -2*a + s = 4*a. Is 14 a factor of 24/a*(980/(-6))/(-7)?
True
Let d = 150843 - 94863. Does 18 divide d?
True
Suppose -22*v + 195466 = -189754. Is v a multiple of 12?
False
Let h(f) = 656*f - 338. Does 26 divide h(29)?
False
Suppose -5*c = -16*s + 21*s - 5680, s - 1136 = -2*c. Is s a multiple of 71?
True
Let d(y) = y**3 + 5*y**2 - 6*y. Suppose -2*l + 3 = 5. Let c be ((0 + 5)*l)/(2 - 1). Does 12 divide d(c)?
False
Suppose -9*i - 490 = 5*i. Is 10 a factor of (i/7)/(2*(-1)/64)?
True
Suppose p - 24672 = 2*x, 0 = 60*x - 56*x + 24. Is 15 a factor of p?
True
Let t = -44 - -47. Suppose 2 + 4 = t*j. Suppose -a - 32 = -n, -107 = -4*n - j*a - a. Is n a multiple of 6?
False
Is 5 a factor of 24/(-16)*35140/(-21)?
True
Suppose 1126 = 5*t + 2*v - 3424, -1821 = -2*t - v. Is 4 a factor of t?
True
Let t(f) = 10*f**2 + 1. Let d be t(1). Let h(u) = 249*u - 119*u - 125*u - d. Is 17 a factor of h(9)?
True
Let d(o) = 6*o**2 + 5*o - 13. Let v be d(-8). Let s = v - 137. Suppose -5*p + 2*j - j + 463 = 0, 4*j = -2*p + s. Is 10 a factor of p?
False
Let v be 30/20*(2 - 8). Let k = -5 - v. Is 122/3*6/k a multiple of 10?
False
Suppose -k = -2*i - 3767, 4*i + 12120 - 805 = 3*k. Does 48 divide k?
False
Suppose 3*y + 4*q = -14, 0*y + 5*q = y - 27. Suppose 3*v = 3*h - 333, 8*h - y*v = 3*h + 567. Is h a multiple of 23?
True
Let x(u) = 14 + u + 19 - 55 - 3*u. Let s be x(-13). Suppose -s*o + 13 = 1. Is o a multiple of 2?
False
Suppose -3*d + 5*o = -2*d - 109, o = 5. Suppose -2*l = -364 + d. Is l a multiple of 58?
False
Let w(f) = -6*f**2 - 19*f - 23. Suppose 7*x + 0*x + 28 = 0. Let i(g) = -3*g**2 - 10*g - 12. Let n(z) = x*w(z) + 7*i(z). Does 3 divide n(-3)?
False
Let h(w) = 3*w**2 - 23*w - 17. Suppose -t - 4*p = -2, 0 = 2*t + 2*t + 2*p - 36. Is 53 a factor of h(t)?
True
Let t = 24095 - 14701. Does 17 divide t?
False
Suppose p + 4*t + 16 = 0, -2*t - 3 = -2*p + 5. Let o be (1 + -2)*(p + -4). Let d(y) = y**3 + 3*y**2 - 7*y + 6. Is 30 a factor of d(o)?
True
Let m(s) = -226*s - 4684. Is m(-53) a multiple of 31?
False
Suppose -x = 5*j - 284, -49*x + 5*j = -52*x + 782. Is x a multiple of 13?
False
Let g = -2676 - -2819. Is g a multiple of 13?
True
Let z = -3762 + 5850. Is 18 a factor of z?
True
Suppose 0 = 7*j - 33 - 16. Suppose 12*n -