3528. Is u a multiple of 102?
True
Suppose 51*h = 163*h - 3941 - 3003. Let c be (-4)/14 + 5296/14. Suppose -59*n = -h*n + c. Does 7 divide n?
True
Suppose 5 = -y + 4. Is 14 a factor of -23 + 27 - (640/(-2) + y)?
False
Let q(s) = 6743*s - 16465. Is q(9) a multiple of 45?
False
Suppose 0 = -11*k - 52*k - 19*k + 1773168. Is 318 a factor of k?
True
Let o(p) = -5*p - 36. Let h be o(-8). Let r be (h + (-48)/30)*20/(-6). Is 38 a factor of 5/((3/24)/((-38)/r))?
True
Let s(a) = -a**3 - 15*a**2 - 20*a + 27. Let r be s(-15). Let d = r - 172. Is d a multiple of 36?
False
Let l = -158 - -161. Suppose 7*k + 3*p - 1633 = l*k, 5*k - p = 2046. Is k a multiple of 9?
False
Let w = 22 + -22. Suppose w = 5*t - t + 2*n - 262, t - 4*n - 43 = 0. Suppose 73 = 2*p - t. Is 16 a factor of p?
False
Let g = -612 - -1820. Is 151 a factor of g?
True
Let b = 2194 - 146. Does 8 divide b?
True
Suppose -185*d + 45*d + 2838386 = 266586. Is 39 a factor of d?
False
Let b = -834 + 2008. Suppose -5*f + 7*s + b = 8*s, -2*s - 694 = -3*f. Is 18 a factor of f?
True
Suppose -127*z + 38743 = -120888 - 135. Is z a multiple of 11?
False
Suppose -m - 9*m + 580 = 0. Let h be (22/(-33))/((-4)/(-18)). Let g = m + h. Is g a multiple of 11?
True
Does 100 divide (-19)/(247/46709)*-2?
False
Suppose -5*g - 35 = -5*a, 0 = g - 1 - 1. Suppose -a*m = -947 - 4309. Is 8 a factor of m?
True
Let g(f) be the second derivative of f**4/6 + 5*f**3/3 - 19*f**2/2 + 35*f. Is 48 a factor of g(-12)?
False
Let p(l) = -3*l**3 + 12*l**2. Let j(z) = -2*z**3 + 11*z**2 + z. Let g(i) = -7*j(i) + 6*p(i). Let k(f) = 8*f - 51. Let t be k(6). Is 11 a factor of g(t)?
False
Let h be (-3)/(0 - (-1)/(-19)). Let p be h/(-2 - -3)*1. Does 8 divide p + ((-6)/1 - -2)?
False
Suppose -68 = 7*c - 3*c. Suppose -4*y - 4 = -16, -2*y = 2*b + 228. Let g = c - b. Does 20 divide g?
True
Let w(l) = 7*l**2 - 67*l - 975. Is w(-15) a multiple of 3?
True
Let f(m) = 5*m**2 + 23*m - 10. Let s be f(13). Suppose 339*j - 342*j = -s. Does 42 divide j?
True
Suppose -4 = u, -8*v + 976 = -6*v - 5*u. Let c = 1543 - v. Is c a multiple of 71?
True
Let a = -14633 + 24678. Does 11 divide a?
False
Let r be 12*((-10)/40 + (-1065)/12). Let l = -620 - r. Is l a multiple of 28?
True
Let g(w) = w**2 + 8*w - 18. Let z be -20*(1/(-2) + 1). Let y be g(z). Suppose -3*p = y*p - 295. Does 9 divide p?
False
Suppose 2*k - 2*b = 2536, -6324 = -8*k + 3*k - 3*b. Let h = k - 826. Is h a multiple of 11?
True
Let h = 1787 - 2545. Let a = -434 - h. Does 18 divide a?
True
Let c(u) = -u**2 - 8*u - 4. Let i be c(-1). Suppose -5*h + 5*r = -6*h + 36, 0 = -2*h - i*r + 93. Does 3 divide h?
True
Let m(s) = -9*s**2 - 9*s + 56. Let h be m(6). Does 12 divide -1 - 1 - (-4)/1 - h?
True
Suppose 49*i - 2134 - 610 = 0. Suppose -2*u - 3*u = -25. Suppose 2*h + 8 = 4*n + i, 0 = u*h - n - 147. Is h a multiple of 30?
True
Let k(t) = 2*t - 29. Let q be k(5). Let j(z) = -z**3 - 20*z**2 - 17*z + 30. Let g be j(q). Is 8 a factor of (-1*(-36 - 6))/((-6)/g)?
True
Let a = 23 + -19. Suppose -a*t - 5*u + 1388 = -3*u, t = u + 347. Is t a multiple of 16?
False
Let d be 66/(-12)*(0 - -2). Let i(y) = y**2 + 10*y - 7. Let n be i(d). Suppose -444 = -10*s + n*s. Does 38 divide s?
False
Let m(g) = 76*g - 12. Suppose -4*r = -4*u + 52, 2*r = -9*u + 6*u + 24. Is 20 a factor of m(u)?
False
Let r(v) = 147*v**2 - 112*v + 890. Is 5 a factor of r(7)?
False
Let m = 492 - 701. Let h = m + 292. Does 2 divide h?
False
Let h = 5525 - 3303. Does 6 divide h?
False
Suppose 6*l = -4*q + 4*l + 1042, -4*q = l - 1041. Let p = q - -93. Does 5 divide p?
False
Suppose 15573*j - 15576*j + 82845 = 0. Is 21 a factor of j?
True
Let y = -258 - -350. Let s = 181 + y. Is s a multiple of 8?
False
Let c(z) be the first derivative of -3*z**2 - z**2 + 0 + 2 + 6*z**2 - 60*z. Is 7 a factor of c(21)?
False
Let m(q) = -3*q**3 + 7*q**2 - 5*q + 14. Let u(x) = x**3 - 4*x**2 + 2*x - 7. Let n(f) = 2*m(f) + 5*u(f). Let c be n(3). Let d = -52 - c. Is 18 a factor of d?
True
Let w(g) = g**3 - 4*g**2 - 5*g - 3. Let u be w(6). Let d = u - -6. Let h = d - -75. Is h a multiple of 30?
True
Is (-230023)/(-146) + 22/4 a multiple of 32?
False
Suppose 4*r = 4*w - 8, 4*r + 6*w - 17 = 5*w. Suppose r*j = v + 1553, -v + 13 = 15. Does 47 divide j?
True
Let x be (7 - 3)/((-5)/((-145)/(-2))). Let i = -55 - x. Suppose -3*h = -5*n + 621, -i*n - 5*h + 0*h + 393 = 0. Does 14 divide n?
True
Suppose -5*j = 5*n - 55, -5*j - 3*n = -15 - 42. Let q = -11 + j. Is q/(-3) - 134/(-6) a multiple of 5?
False
Let h be (-1)/2*(-20 - -20). Suppose 23*s - 34*s + 121 = h. Is 3 a factor of s?
False
Suppose 3*z + 171 = -2*q, -q + 11 - 14 = 0. Does 23 divide 276/(14/10 - (-22)/z)?
True
Suppose 4*a = -4*l + 12, -4*l - 9 = -2*a - 27. Suppose 2*z - l*o - 320 = 0, 4 = 5*o - 1. Does 9 divide z?
True
Let w = -8347 - -16507. Is 51 a factor of w?
True
Suppose -o = -4*d - 227, -3*o - 22*d + 648 = -23*d. Does 17 divide o?
False
Let o = -11560 - -16474. Does 54 divide o?
True
Let b(z) = -17*z - 270. Let p be b(-16). Is (-3 - p) + (6 - 12) + 53 a multiple of 6?
True
Let j(z) = 21*z**2 + 21*z + 9. Let i be j(-3). Let y = 219 - i. Is y a multiple of 12?
True
Let m(x) = -2*x**2 + 19*x + 30. Let n be m(10). Suppose 3*w = -w + n. Suppose 275 = w*h - 0*h. Is h a multiple of 17?
False
Does 32 divide 4/(-38) - (43648240/(-2128) - 25/35)?
True
Let p(h) = -3*h + 16. Let b be p(6). Let n be b/3*(1 + -19). Suppose -5*o + 106 = 4*x - 53, 3*x = -n. Is o a multiple of 9?
False
Let i be 7 + -7 + (2 - 1 - 5). Let w be 2*3/(4*(-3)/i). Suppose 3*l + 228 = 2*b + b, -w*b = l - 158. Does 17 divide b?
False
Let j = -15 - -87. Let q(y) = 9*y - 127. Let d be q(11). Let z = j + d. Is z a multiple of 5?
False
Let t = 1264 + -500. Suppose 3*b - t = -8. Suppose -4*y + b = -0*y. Is 8 a factor of y?
False
Suppose 2*a + 0 = -4*x - 6, 5*x + 2*a = -8. Is 14 a factor of (-2 - x) + (1 - -279)?
True
Let u = 94 + -134. Let f = u + 40. Suppose 3*n - 53 - 265 = f. Is n a multiple of 10?
False
Let l = -4263 - -9265. Is l a multiple of 16?
False
Suppose 0 = -2*w + 13*w - 44. Suppose -2*l - 4*b - 400 = -6*l, l + w*b - 80 = 0. Is l a multiple of 4?
True
Let a = -85009 - -122107. Is a a multiple of 17?
False
Let c(b) be the second derivative of b**5/20 + 4*b**4/3 + 5*b**3/6 - 15*b**2/2 + 22*b. Let g be c(-13). Let y = g + -245. Is 13 a factor of y?
True
Let s(v) = v**3 + 6*v**2 - 11*v + 10. Let x(q) = -2*q**3 + 22*q**2 + 24*q - 7. Let k be x(12). Is s(k) a multiple of 4?
False
Let j = 86 - 83. Suppose v - x = 6, -5*v + j*x + 11 = -9*v. Is 9 a factor of (-2 - -71 - (-1)/v) + 2?
True
Suppose -2*q = -101 - 1. Let o = -78 + q. Does 14 divide o/(-1) + -2 - -3?
True
Let x(j) be the third derivative of 2*j**2 + 0 + 2*j**3 + 22*j - 23/24*j**4. Is 4 a factor of x(-2)?
False
Suppose 0 = -2*u + 856 + 524. Suppose 1130 = -7*s - u. Let a = 384 + s. Does 11 divide a?
False
Let b = -2706 + 4540. Is 131 a factor of b?
True
Suppose 238 = -4*k + 1910. Let i = k - 243. Does 7 divide i?
True
Suppose 2*h = -6, -2*h = -4*y - 414 - 200. Let u = y - -200. Is 9 a factor of u?
True
Suppose 21*y - 16799 - 18838 = 0. Suppose -o = -f + 5*f - y, 2*f = -4*o + 866. Does 17 divide f?
False
Let t(b) = 89*b + 205. Let o be t(-9). Let d = -464 - o. Is d a multiple of 33?
True
Suppose -x + 9 = 7, l - 4*x - 1350 = 0. Suppose -l = -4*o + 3*a, -5*o - 2*a - 78 + 1787 = 0. Is 6 a factor of o?
False
Let p(k) = 16*k - 98. Let z be ((-143)/(-4) - 3) + 13/52. Is 43 a factor of p(z)?
True
Suppose 2*t = -10, -7*a + 87 = -6*a - 3*t. Suppose 29*b - a = 27*b. Does 18 divide b?
True
Let s be 3 + -2 + 0/(-2). Let j be 3/(9/204) + -4 + s. Let l = -48 + j. Does 14 divide l?
False
Let c = -306 + 490. Suppose 3*w + a - c = 0, w = -3*w - 4*a + 232. Is w a multiple of 5?
False
Let d be (-16)/(-6)*-3 - -2. Is 7 a factor of 12*((-1)/2)/(d/189)?
True
Let v(w) = 16*w + 5. Let c(o) = -o. Let k(d) = -4*c(d) - v(d). Let m be 12/40*-8*(-215)/(-86). Is k(m) a multiple of 35?
False
Suppose u = -0*u + 2200 - 99. Is u a multiple of 14?
False
Suppose -10 = 33*f - 35*f. Suppose -11*c + 2*k + 66 = -9*c, -f*k = c - 63. Does 11 divide c?
False
Let b(q) = 194*q. Let f be b(-1). Let s(o) = 3*o + 254. Let u be s(12). Let m = f + u. Is 14 a factor of m?
False
Suppose 4*i + 2*z = -10, 0 = -3*i + 2*i + 2*z + 5. Let v = 90 + i. Let j = v + 