30 + z**4/12 + z**3/3 - z**2. Let w be r(3). Suppose 9*a = 10*a - w. Is a a multiple of 8?
True
Let u(f) = -8*f - 350. Let v be u(-48). Is (-3 + 5)*3825/v a multiple of 45?
True
Let v be (-7479)/(-153) - 6/(-51). Is 12 a factor of -140*(1 + (-133)/v)?
True
Let o(y) = y + 13*y - 7*y + 0*y + 3*y - 140. Is 14 a factor of o(21)?
True
Let h(w) = 2*w. Let i(f) = f. Let s be i(4). Let t be h(s). Let b(g) = -2*g**2 + 17*g + 11. Is 7 a factor of b(t)?
False
Suppose -23*v - 829350 = -80*v. Does 122 divide v?
False
Let a(y) = -31*y + 2137. Is 48 a factor of a(-97)?
False
Let i(j) = 2*j**3 + 29*j**2 - 4*j + 16. Let d be i(-16). Does 14 divide 3 - (-184)/(-56) - d/7?
True
Let a(z) = -z**3 - 4 + 303*z - 7*z**3 + z**2 - 301*z. Let m be a(2). Let r = m - -100. Is 8 a factor of r?
True
Suppose -4*p = -i + 1, -3*i - 27 = 6*p - 3*p. Let j(q) = -9*q + 9. Does 12 divide j(i)?
True
Suppose -d = 8*d - 3*d. Suppose d = -2*o + x - 319, 164 = -0*o - o - 4*x. Does 33 divide 3 + o/(-1) + 2?
True
Let y = 375 - -94. Suppose y + 1755 = 4*l. Is l a multiple of 28?
False
Suppose 2*b + 5 = -4*d + 9, 4*b = -8. Suppose 2 = v - m, -3 - 1 = -d*v - 2*m. Is 5 a factor of ((-510)/60)/(v/(-4))?
False
Let k(c) = c**3 - 8*c**2 - 50*c + 12. Is k(16) a multiple of 28?
True
Let x(m) be the second derivative of 97*m**4/12 + m**3/2 - 2*m**2 + 48*m. Is x(-2) a multiple of 18?
True
Suppose -5 = 2*x + 3*u, -7*u + 6*u - 10 = -x. Is 74 a factor of 27384/32 - x/(-20)?
False
Suppose -3*z + 5*t + 4854 = 0, 29*t = -5*z + 30*t + 8090. Is z a multiple of 5?
False
Let c(f) = 997*f**3 - 12*f**2 - 4*f. Does 25 divide c(4)?
True
Let j(n) = n**2 - 6*n - 22. Let u be j(9). Suppose w = -12 - u. Is (-3 + (2 - 0))*w a multiple of 17?
True
Let g = 8576 - 3198. Does 5 divide g?
False
Suppose 2*j + 7567 = 3*h, 2*h + 8*j - 11*j = 5033. Does 19 divide h?
True
Let z be (15/(-12))/(1/(-4)). Suppose 0 = 8*v - z*v - 69. Suppose -v*m = -27*m + 240. Is m a multiple of 6?
True
Suppose 0 = 45*w - 47*w + 138. Let g = 75 - w. Is (-3)/(-2)*-2*-8*g a multiple of 27?
False
Let p = 121 + -116. Suppose 2*i = -p*d + 15, -5*i + 5*d = 3*d - 23. Does 16 divide (30/i)/18*834?
False
Suppose -31*q + 1011816 = -9*q + 47*q. Does 13 divide q?
True
Let w be (-10 + 60/5)*4. Let x(p) be the second derivative of -p**4/6 + 8*p**3/3 + 7*p**2 + p. Is x(w) even?
True
Let j = -35 - -105. Is ((-10)/j - 6030/(-21))*3 a multiple of 15?
False
Is (-3)/(3530/3540 - 1) a multiple of 6?
True
Let b(r) = 88*r**3 + 7*r**2 - 4*r + 4. Let i(d) = -176*d**3 - 12*d**2 + 7*d - 7. Let s(q) = -7*b(q) - 4*i(q). Is s(1) a multiple of 29?
True
Suppose -24*k - 9*k + 260994 = -169161. Is 15 a factor of k?
True
Let u = -121 - -123. Suppose 3 = -u*r + 13. Suppose -11*m - r*m + 352 = 0. Is 7 a factor of m?
False
Suppose -4*h + 191 + 53 = 0. Let a = 124 + h. Let k = 394 - a. Is k a multiple of 19?
True
Suppose 4*j + 113 = 5*c, c - 3*j = -0*c + 27. Suppose 663 = 24*y - c*y. Is y a multiple of 13?
True
Let p(k) = -98*k + 33. Let g be p(-9). Let y = g - 382. Is 8 a factor of y?
False
Suppose -1 = k - 0*k. Suppose 3*l - 37 = -31. Does 14 divide ((-3)/k - -25)*l?
True
Let k(g) = 11*g + 28. Does 146 divide k(24)?
True
Let o = -2 + 2. Suppose 15*x + 9 = 16*x. Suppose -3*n = o, x*a - 64 = 5*a - 3*n. Is a even?
True
Let r(t) = t**3 - 11*t**2 - 42*t + 2. Let p be r(14). Does 19 divide ((-57)/p)/((-144)/672)?
True
Suppose -2*k - 132 + 389 = -5*g, -2*g + 478 = 4*k. Does 121 divide k?
True
Let d(r) = -18*r - 3. Let y be 1 - (-2)/(-2) - 0. Suppose -n - 2 - 1 = y. Is d(n) a multiple of 17?
True
Let g(o) = o + 7. Let p(z) = 7*z**2 - 5*z - 14. Let j(f) = -4*f**2 + 3*f + 7. Let c(l) = -5*j(l) - 3*p(l). Let q be c(0). Is 14 a factor of g(q)?
True
Let y(v) = v**3 - v + 4. Let s be y(0). Suppose s*n - 738 = 898. Let t = n + -249. Does 27 divide t?
False
Let s(a) = 59*a**2 - 6*a - 13. Let j be s(-6). Suppose -20*n - j = -2*v - 23*n, 4*v - n = 4273. Does 12 divide v?
False
Let v(k) be the first derivative of 62*k**2 + 16*k + 13. Does 22 divide v(2)?
True
Suppose y - 193 = 4*t, 0*y - 2*t = -4*y + 786. Suppose 4*b - y = 75. Does 17 divide b?
True
Let w be (-9 - -7) + 2/(-2). Let c = w - -9. Is 6/((-2)/c*-3) a multiple of 3?
True
Let b be (-3)/(18/12) - -5. Suppose -b*a + 148 = 4*y, -3*a + 158 = -0*a + 2*y. Is 14 a factor of a?
True
Is 28 a factor of (-70)/(-28)*((-23592)/(-80))/(6/488)?
False
Suppose 4*x = y + 18, -16*y + 11*y = 30. Suppose -3*i = -809 + 341. Suppose -2*t + 2*p = -86, t = -x*t - 4*p + i. Is t a multiple of 3?
False
Suppose -3*n + 255 = -21. Let q be 215/(-45) + 3 + 2/(-9). Let h = n + q. Is h a multiple of 10?
True
Suppose 0 = -50*m + 145*m - 13965. Is 2 a factor of m?
False
Let w be (-2)/(-4)*(6 + -6). Suppose 82 = -2*h - w*h. Is 22 a factor of h/4*(-20 - -16)?
False
Let u(l) = -l**3 - 7*l**2 + 5*l - 8. Let q be 26/(-39)*6/1. Let h be u(q). Let m = -7 - h. Does 23 divide m?
True
Suppose 12*t = b + 7*t - 12633, -3*b + t + 37815 = 0. Does 23 divide b?
False
Let j be (-1)/(26/(-80) - 16/(-128)). Let l(h) = 8*h**3 - 5*h**2 - 10*h + 12. Is 27 a factor of l(j)?
True
Suppose -28706 + 5178 = -17*a. Let j = a - 908. Is j a multiple of 8?
False
Let k(f) = -f**3 + 39*f**2 - 63*f + 34. Suppose 24*i - 35*i + 407 = 0. Is 10 a factor of k(i)?
False
Let z = -4403 + 7548. Does 85 divide z?
True
Is ((-36)/20)/(5/(75/(-9))) + 873 a multiple of 9?
False
Let p be (1 - 30/20)/(1/(-6)). Suppose -2*x - 3 = -x. Does 33 divide 3 - 4 - (-100 - (x + p))?
True
Suppose 73*m = 77*m. Suppose m = 4*h + 5*l - 867, 2*h + 0*l = -5*l + 421. Does 27 divide h?
False
Let t be (3/3 - 257/2)*-2. Suppose 4*v - 20 = 0, 670 = 3*l - v - t. Let a = 568 - l. Is 43 a factor of a?
True
Let u(r) = r**3 + 3*r**2 - 4*r - 7. Let d be u(-3). Is (25/d - -1389)/2 a multiple of 18?
False
Let p be -1*0*(-2 - -3). Suppose p = -3*y + 5*v - 7320, -2*y + y - 2440 = 5*v. Is (2/2)/3 + y/(-24) a multiple of 17?
True
Let y = -38 + 32. Let q = -1 - y. Suppose q*t - 4*r + 216 = 864, -6 = 3*r. Is t a multiple of 18?
False
Suppose -3*r - 17 = -8. Suppose 0 = 43*i - 41*i - 8. Does 10 divide (i + 11)*(-23)/r?
False
Is 145 a factor of ((-2587)/(-2))/((-12)/(-144)) - 7?
True
Let h(v) = -62*v - 111. Let c(p) = -41*p - 74. Let s(g) = -7*c(g) + 5*h(g). Let f = -1780 + 1772. Is s(f) a multiple of 21?
True
Suppose 0 = -5*w + 5*x + 100, -3*x = -w + 18 - 2. Suppose -n + w = -3*m, 2*m = 5*n + 38 - 135. Suppose -n*v = -14*v - 1000. Is v a multiple of 25?
True
Suppose -749564 = -25*t - 15*t - 106*t. Does 164 divide t?
False
Suppose 0 = -4*r + 46 - 2. Is (11115/33 - -1) + 2/r a multiple of 13?
True
Let h(s) = -s**3 + 2*s**2 - 3*s + 164. Let z be 1/((-3)/6) + 12 + -10. Is h(z) a multiple of 41?
True
Let i(q) = 26*q + 10. Let k be i(6). Suppose -t + b + 93 = 2*b, 2*b + k = 2*t. Does 10 divide t?
False
Let q(c) = -1 + 2*c**2 + 3 + 7*c + 7 + 5*c**2 + c**3. Let b be q(-6). Suppose -5*v - 133 = -a, b*v = -4*a + 5*v + 586. Is a a multiple of 9?
False
Let m = -90 + 299. Suppose -210*t + m*t + 114 = 0. Is t a multiple of 19?
True
Let p(a) = -a**2 - 5*a + 10. Let h be p(-6). Let v be (h/3)/((-2)/(-6)). Suppose v*s = 83 + 201. Is 18 a factor of s?
False
Let t = 15 - 9. Suppose -t*w = -4*w - 10. Suppose w*b - 2603 = -758. Is 35 a factor of b?
False
Suppose -7*c + 4*c = n, 4*c = 3*n. Let m(d) = d**2 + 6*d + 12. Is m(n) a multiple of 5?
False
Let p = -167164 + 246463. Is 9 a factor of p?
True
Let p = -3415 + 4440. Is 5 a factor of p?
True
Let o(n) = 60*n - 6 + 57*n**2 - 21*n - 30*n - 17*n. Is 6 a factor of o(-3)?
False
Let o = -3409 + 6297. Is 46 a factor of o?
False
Is (-780)/40 - -18 - 20823/(-2) a multiple of 17?
False
Let r(v) = -17*v - 21. Let z be r(-6). Suppose -2 = -2*x, 5*l + x + z = 7*l. Is 8 a factor of l?
False
Suppose n + 696 = -3*z, -z = 2*n + 1726 - 319. Let a = 915 + n. Is 7 a factor of a?
True
Suppose -18*f + 78*f - 131160 = 0. Is f a multiple of 5?
False
Let l(x) = -97*x + 3085. Is l(-8) a multiple of 10?
False
Suppose -5*c + 443 = -4*u - 894, 3*u + 9 = 0. Suppose 0 = -8*h + 75 - 43. Suppose -h*j + c = -187. Is 10 a factor of j?
False
Suppose -96*x = -b - 100*x + 19526, -2*b = -4*x - 39112. Does 29 divide b?
True
Let a = 14513 - 7555. Is 28 a factor of a?
False
Let u be 2/(-4 - 116/(-28)). Suppose 16*n - u*n = -54. Let i = 35 + n. Is i even?
True
Let s(x) = -