 12*u - 5. Let n be y(3). Let v = n - 19. Is v a multiple of 9?
False
Let s = 6003 - 3328. Is s a multiple of 79?
False
Let c(d) = -d**2 - 8*d + 859 - 824 - 9*d. Let w be c(-16). Let n = w + 26. Is n a multiple of 13?
False
Suppose 0*i - 9*i + 97056 = 0. Suppose -7*o + 23*o - i = 0. Is 27 a factor of o?
False
Let a = -121 - -141. Suppose 14*r - a*r = -4794. Is r a multiple of 47?
True
Is 31/(372/72) + 55749 a multiple of 135?
True
Let z = -8 - -4. Let w be (-3170)/z + 19/38. Let s = w + -537. Is s a multiple of 32?
True
Suppose -3*u + 5*x - 4*x = -427, 161 = u - 5*x. Suppose -282 = -3*o + 3*m, 3*m = -4*o + 207 + u. Is 6 a factor of o?
True
Let i(n) = 6*n**3 - 5*n**2 - 93*n + 238. Does 62 divide i(14)?
False
Let w(v) = 8*v**2 + 3*v + 20. Let a(h) = h**2 - h - 1. Let k(d) = -3*a(d) + w(d). Is k(9) a multiple of 12?
False
Let h be -5*(3/4 - 4/(-16)). Let g be (8/(-2))/(-6 + 10 + h). Suppose 9*o - 150 = g*o. Is 7 a factor of o?
False
Let b = 6633 - 5177. Is 16 a factor of b?
True
Let k = 118 - 248. Let h = k - -188. Does 12 divide h?
False
Suppose 2*h + 3399 = 5*h - 12846. Does 46 divide h?
False
Suppose 18*g = 20*g - 8. Suppose 3*l + g*v = -0*l + 1056, 2*l - 3*v = 704. Is l a multiple of 14?
False
Let l(g) = 151*g**2 + 107*g - 547. Is l(5) a multiple of 71?
True
Let q = -44692 - -75867. Does 43 divide q?
True
Let d be (3 + -3 + 1)/((-3)/(-33)). Suppose -m = 2*x - d, -m - 2*x = 4*m - 63. Is m a multiple of 2?
False
Let w(c) be the second derivative of c**4/12 + 7*c**3/6 + c**2 - 23*c. Let b be w(-7). Suppose -338 = -2*y + 4*m, -m = -5*y + b*m + 859. Is 20 a factor of y?
False
Suppose -6*z - 20 = -3*z - 5*u, -5*z - 5*u = -20. Suppose 155 = 5*q - z*q. Let x = q + -26. Is x a multiple of 3?
False
Suppose 3610 = 8*s - 3046. Is 4 a factor of s?
True
Is 6 a factor of (12/(-45))/((-12)/150)*117?
True
Let v be 1*((5 - 2) + 0). Suppose f + v*f - 36 = -2*o, -3*f = -3*o + 27. Suppose 0 = -3*d + o, d + 35 + 43 = 2*h. Does 12 divide h?
False
Let m = 79 + -39. Let n = -37 + m. Suppose 225 = n*k + 63. Is k a multiple of 18?
True
Suppose -1238 + 114922 = 4*t + 2*s, 0 = -5*t - 3*s + 142105. Does 32 divide t?
False
Let u(q) = -q**3 + q**2 + q. Let v(j) = 5*j**3 + 11*j**2 - 36*j - 1. Let p(h) = -6*u(h) - v(h). Is p(17) a multiple of 10?
False
Suppose -4*u - 13*x + 19057 = -8*x, -3*u = 5*x - 14289. Suppose 2*t + 14*t = u. Is t a multiple of 35?
False
Suppose 5*b + 20 = -5*j + 10, 5*b + 2*j - 2 = 0. Suppose -2*u = -2*k - 66, 0*u + u + b*k = 33. Is 4 a factor of u?
False
Let t(d) = 27*d - 44. Let l = -78 - -87. Let v be t(l). Suppose 10*m - 11*m + v = 0. Is 28 a factor of m?
False
Let t = -51 + 66. Let h(s) = -s**3 + 16*s**2 - 8*s + 6. Let v be h(t). Let n = -48 + v. Is n a multiple of 8?
False
Let i(j) = j - 1. Let q(x) = x**2 - 17*x + 21. Let n(k) = 4*i(k) + q(k). Let u be n(11). Does 20 divide -1*(u - 251) - -3?
False
Let k = -151 - -107. Suppose 0 = -10*u + 147 - 347. Let m = u - k. Does 6 divide m?
True
Suppose -k = 7*k + 336. Let t be 8/(-6) + 28/k. Is 2 - (6 + t) - -110 a multiple of 27?
True
Let r(a) = 6*a + 70. Let s be r(-23). Does 31 divide 0 + 1 + -7 - s?
True
Let l = -75 - -67. Let a be (6/l)/((-8)/32). Suppose 0 = -4*x + a*y + 814, 1027 = 4*x - 5*y + 217. Does 28 divide x?
False
Suppose 0 = 30*g + 81*g - 2759904. Is 28 a factor of g?
True
Suppose 169*a - 164*a = 10. Does 21 divide (a/4)/(4/704)?
False
Let h be (702/90)/((-1 + 3)/(-40)). Let s = h - -285. Is s a multiple of 4?
False
Let q = -366 + 560. Let g = -124 + q. Is g a multiple of 31?
False
Suppose 0*f = -f - 21. Let r = f + 22. Let m(y) = 162*y**3 - 2*y**2 + 2*y - 1. Does 15 divide m(r)?
False
Let w be 57/9 + (-4)/12. Let l(d) = -d**3 + 5*d**2 + 9*d - 14. Let u be l(w). Suppose 0 = u*q - 13 - 11. Is 3 a factor of q?
True
Let z(g) = -44*g + 114. Let h = -81 + 57. Is 78 a factor of z(h)?
True
Let s = -19 - -98. Suppose 12 = 4*n + 3*b - 20, -15 = n - 5*b. Let v = n + s. Is 12 a factor of v?
True
Let b be 9454/30 - (-20)/(-150). Suppose 12*r - b = 5*r. Is r/15 - (-1 - 32) a multiple of 4?
True
Suppose 0*j + 502 = 5*z - j, z - 113 = -4*j. Suppose 5*v + z = -49. Let o = 38 - v. Does 10 divide o?
False
Suppose 0 = -8*o + 1237 + 643. Suppose -4 = 2*b, -3*p - 2*b = -4*p + 294. Suppose 2*x - p = -5*n, -4*x + o = 4*n - 3*x. Is n a multiple of 20?
True
Let c(q) = 3668*q - 30. Is 5 a factor of c(5)?
True
Let c = 4545 - 529. Is 13 a factor of c?
False
Let k(r) = 603*r - 311. Is k(9) a multiple of 26?
False
Suppose 0*g - 550 = -5*g. Let k = 332 - 365. Let t = g + k. Is 11 a factor of t?
True
Is 4 a factor of (10 + -11 - 6) + (2168 - -1)?
False
Let d be 4/((-7 - -9)/(-1)). Let r(b) = -62*b + 17. Is r(d) a multiple of 5?
False
Suppose y - 52 - 587 = 0. Let k = -278 + y. Is 18 a factor of k?
False
Suppose -53*w = -63*w + 820. Is w*286/65*(-10)/(-4) a multiple of 33?
False
Suppose 12 = -24*r + 27*r. Suppose 0 = 6*t - r*t - 72. Is 11 a factor of t?
False
Suppose 0 = -33*k + 42*k - 7272. Suppose 377*s - 378*s + k = 0. Is s a multiple of 69?
False
Suppose 0 = 3*j - 4*g - 969, -15*g = -4*j - 11*g + 1300. Is 5 a factor of j?
False
Let u = 54 + -9. Let r = u - 43. Is r/(1 - 148/152) a multiple of 15?
False
Let a(c) = -c**2 + 63*c + 922. Does 54 divide a(72)?
False
Suppose 8385 = 5*f - 3*j, f + 189*j - 192*j - 1665 = 0. Is 12 a factor of f?
True
Let n(h) = 161*h + 510. Does 48 divide n(18)?
True
Suppose -3*z = 9, -2*j - 15*z + 22772 = -19*z. Does 20 divide j?
True
Is 68 a factor of 389124/(-5 + 17) - -9?
True
Suppose 8*x - 3*x - 30*x = -12500. Is x a multiple of 66?
False
Let q = 61 - 58. Suppose 3*n = 5*m - 3087, 2*n = q*n + 4. Does 41 divide m?
True
Let x = -119 - -211. Suppose 0 = z - x + 8. Suppose 1104 + z = 6*s. Is 11 a factor of s?
True
Let z = 29676 - 22557. Is 7 a factor of z?
True
Let o(d) = -2*d**3 + 18*d**2 + 18*d + 24. Let v be o(10). Suppose 5*a + 8 - 170 = -2*l, -v*a - 126 = -2*l. Does 4 divide l?
False
Let i(u) = 7*u**2 - 1. Let y be i(-1). Let h be (y - (-63)/14)*(-9 + 1). Let k = h + 131. Is k a multiple of 3?
False
Let k = 1549 - -1461. Does 7 divide k?
True
Let i = -116 - -196. Suppose -i*q = -26*q - 39312. Is 32 a factor of q?
False
Let m(k) be the second derivative of -k**4/12 + 5*k**3/6 - k**2 - 7*k. Let s be m(2). Suppose -5*p - 2*a = a - 100, s*p - 2*a - 80 = 0. Does 7 divide p?
False
Let p(z) = z**2 - z - 4. Let h be p(4). Let n(f) = -f**2 + 18*f - 3. Let u be n(h). Suppose 6*s + u = 7*s. Does 13 divide s?
False
Let t be 2403/(-351) + (-2)/13. Let d(g) be the third derivative of -5*g**4/12 - 7*g**3 - 15*g**2. Does 5 divide d(t)?
False
Suppose 171068 + 168855 = 29*i + 282*i. Does 4 divide i?
False
Suppose -83767 = -201*f + 3365393. Is f a multiple of 11?
True
Let c(k) = 9*k**3 + 6*k**2 - 9*k - 36. Is c(3) a multiple of 16?
False
Let h be ((-35840)/12)/4*18/(-4). Suppose -19*d + 31*d = h. Is d a multiple of 13?
False
Let h(r) = r**2 - 4*r - 2. Let q be h(5). Suppose 3*j = 8*j + q*m - 22, -4 = 2*j - 2*m. Suppose 0 = -j*l + 5*n + 22 + 63, 175 = 3*l + 2*n. Does 5 divide l?
True
Let d(n) = 202*n**3 - 2*n**2 - 2*n + 3. Let g be d(1). Suppose -g = -3*p + 3*w, p - 3*w = 5*p - 303. Does 37 divide 3/((-21)/p*(-6)/63)?
False
Suppose 0 = -9*w - 18 + 9. Let d(y) = 1955*y**2 - 12*y - 1. Does 41 divide d(w)?
False
Let l be (-4 - (-33)/6)*(246 + 0). Suppose -o + 435 = 5*t - l, -2*o - 2*t = -1624. Does 16 divide o?
False
Let u(a) = 38*a - 13 - 16 - 6 + 20. Is u(3) a multiple of 13?
False
Let h(u) = -u**3 - 5*u**2 - u - 1. Let m(a) = -2*a**2 + 8*a - 14. Let x be m(5). Let r = -29 - x. Is 4 a factor of h(r)?
True
Suppose -426*z + 3149762 = -245*z. Is z a multiple of 25?
False
Let a(r) = 12*r**3 - 51*r**2 + 113*r - 24. Is 5 a factor of a(7)?
False
Let c = 16502 - 8176. Is c a multiple of 181?
True
Let f(k) be the first derivative of -2*k**3/3 + 27*k**2 - 6*k - 70. Is 8 a factor of f(22)?
False
Let c = -9282 + 15717. Does 45 divide c?
True
Let c be (-2 + ((-234)/(-5) - 2))*-5. Let n = 222 + c. Is n a multiple of 4?
True
Suppose 3*a = -s - 3*s + 7, a + 4*s + 3 = 0. Suppose 5*h + 35 = -4*z - 13, 0 = -z + a*h + 13. Is 36 a factor of 1 + (-5 - z) + 69?
True
Let x(y) = y**3 - 97*y**2 - 356*y - 50. Is 213 a factor of x(102)?
False
Let y(x) = -246*x - 3696. Is y(-66) a multiple of 15?
True
Suppose -b - 43983 = -4*r, 28 =