 0. Let p = n + 960. Is p a multiple of 15?
False
Suppose -150 = -7*b - 3*b. Suppose 7 - b = -4*t. Is 6 a factor of (-611)/(-26) + 1/t?
True
Let b = -5379 + 7658. Is 53 a factor of b?
True
Let j be 0*(-4)/28 - 1*40. Let n be (96/j)/(6/340). Let l = n - -219. Does 28 divide l?
False
Let c(i) = -i**3 + 20*i + 36. Let u be c(-2). Suppose 0 = -5*l + 280 + 220. Suppose b + l = 4*b - 2*o, -u*b + 105 = 3*o. Is b even?
True
Let h(g) = 3*g**2 - 215*g + 48. Is 4 a factor of h(73)?
True
Let q be (-13)/(65/(-420)) + -1*3. Suppose 3*n - 2*z + q = 0, 4*z - 20 = n + 17. Is 5/n - 391/(-5) a multiple of 13?
True
Suppose -19*w - 25*w - 12387 = -45*w. Is 16 a factor of w?
False
Let h(x) = -3*x - 6. Let v be h(-3). Suppose -v*s + 16 = s. Suppose 4 = y - 2*c - 73, 2*y = -s*c + 138. Is y a multiple of 9?
False
Suppose 2*c - 1727 = 4*g - 209, -c + 5*g + 750 = 0. Let z = c + -289. Does 14 divide z?
True
Let s be (14/(-4))/(2/(-24)). Let g be 165/7 + (-20)/35. Let o = s - g. Is 19 a factor of o?
True
Suppose 205 = 11*s + 337. Let w(i) = i**3 + 13*i**2 - 9*i - 1. Let a(c) = -c**2 - 1. Let g(p) = -2*a(p) - w(p). Is g(s) a multiple of 7?
False
Suppose 19*c + 123*c - 3276224 = 0. Does 103 divide c?
True
Let p = 209270 - 129230. Does 46 divide p?
True
Does 33 divide (66/(-2)*(-1)/(-3))/((-1)/381)?
True
Suppose 4845 = -5*x - p, -4*p = -x - 3*p - 963. Let b = 1818 + x. Is 17 a factor of b?
True
Let n = -30542 - -41610. Is n a multiple of 2?
True
Suppose -4*g = 2*z + 32, 22*z - 25*z = 3*g + 45. Let i(d) = 15 + d**3 + 4*d**2 - d - 15 + 12 + 10*d**2. Is 2 a factor of i(z)?
True
Let j(o) = 116*o**3 + 7*o**2 - o - 3. Let y(v) = -116*v**3 - 7*v**2 + v + 2. Let c(i) = -6*j(i) - 7*y(i). Is 13 a factor of c(2)?
False
Let s(a) = -a**3 + 6*a**2 - 10. Let x be s(5). Suppose 5*m + k = 3, -3*m + 5*k - x = 2*m. Suppose 4*b - 67 - 41 = m. Does 9 divide b?
True
Let j(d) = -1. Let o(p) = -2*p**3 - p**2 + 5*p - 2. Suppose -13*v + 22 = -2*v. Let w(z) = v*j(z) - o(z). Is 26 a factor of w(4)?
False
Let h(b) = -3*b - 5. Let u = -101 + 37. Let o = -68 - u. Is 7 a factor of h(o)?
True
Let j(l) = -l + 12. Let a(q) = 8*q**2 - 3*q + 3. Let m be a(1). Let i be j(m). Suppose i*h - 3*x - 284 - 127 = 0, -5*h + 4*x + 513 = 0. Is 15 a factor of h?
True
Let y(m) = 425*m - 2122. Let c be y(5). Let l(d) = 0*d**2 + 4*d**3 + 5*d + 1 - 6 - 3*d**2. Is l(c) a multiple of 9?
False
Let d be -2*2 + (-1 - -79). Suppose 11 = -5*x - 3*k, -4*x - k = x + 17. Is 7 a factor of 1*d + x + 6 + -6?
True
Let b(h) = -h**2 + 90*h + 27. Let g be b(41). Suppose 0 = 16*f - 13500 - g. Is f a multiple of 7?
False
Let a be -1*((-8)/12)/((-4)/6). Let d be -1*(-2)/(a + -1). Is ((-23)/(-4) + d)/(2/32) a multiple of 41?
False
Suppose -h + 3*j + 64084 = 0, 10*h + j - 623356 = 17298. Is 63 a factor of h?
False
Suppose -3*t + 6 = 92*s - 87*s, -2*s - 8 = -4*t. Does 41 divide ((-56)/(-8) - t) + 1735?
False
Let d = -955 + 971. Suppose 16*s - 20*s = -d, g - 283 = -s. Does 50 divide g?
False
Let a(w) = 2*w + 4. Let c be a(3). Suppose c*p = -3760 + 220. Let g = -114 - p. Does 20 divide g?
True
Let j = 111 - -21. Let w be (-44)/66 + 10/6. Let n = j - w. Does 22 divide n?
False
Let q = 8381 - -7627. Does 71 divide q?
False
Is (-22 + 4 + 3)*(1 + 137/(-3)) a multiple of 26?
False
Let s be 0 + (-736)/72 + 4/18. Let n be s - (2/(-3))/(4/18). Let j(d) = d**2 + 6*d + 14. Does 18 divide j(n)?
False
Let b(g) = -226*g + 1414. Is b(-77) a multiple of 64?
True
Suppose 6*n - 479137 - 398831 = -20*n. Is 134 a factor of n?
True
Suppose 1116*q + 27 = 1125*q. Suppose 2*n + n - 15 = 0, -2*y - 4*n + 140 = 0. Suppose -3*z + 3*r + 60 = -0*r, y = q*z + r. Is 3 a factor of z?
False
Suppose 28*h = 35*h - 4718. Let x = h + -250. Is 53 a factor of x?
True
Let t(d) = d**3 - 10*d**2 + 19*d + 1. Let c be t(7). Is 11 a factor of 778/(-4)*-3 + c/26?
True
Let v be (-340)/6*18*1/(-10). Let l = 136 + v. Does 34 divide l?
True
Suppose -6234*d - 43460 = -6287*d. Is d a multiple of 20?
True
Suppose 18*g - 39038 = -2*v + 14*g, -3*g + 39044 = 2*v. Is 88 a factor of v?
False
Let l(i) = 2*i**2 - 11*i - 75. Let q be l(10). Is 12 a factor of ((72/q)/6)/(10/900)?
True
Suppose -60*z = -64*z - 16, 3*z = 3*a - 21. Let p(v) be the third derivative of v**5/5 - v**4/3 + 2*v**3/3 - v**2. Is 22 a factor of p(a)?
True
Let c(q) = -24*q**2 - 905*q + q**3 - 31 + 953*q - 17. Does 12 divide c(22)?
False
Let b be 2/(20/1418) - (-4)/20. Let s be 54/36 - b/4. Let l = s - -59. Is 6 a factor of l?
False
Let j be (-18 - 2)/(65/(-10) + 6). Suppose -37*o - 1512 = -j*o. Is o a multiple of 36?
True
Let w(n) = 30*n**2 + 169*n + 23. Is w(-10) a multiple of 6?
False
Let x be (-65)/(-2) + 3*(-45)/54. Suppose 1846 = -17*f + x*f. Is f a multiple of 13?
False
Let v(f) = 10*f**3 + 15*f**2 - 22. Let g(q) = 30*q**3 + 44*q**2 - 64. Let t(n) = -6*g(n) + 17*v(n). Is 15 a factor of t(-3)?
False
Let m(s) = -s**3 - 19*s**2 - 49*s + 31. Suppose 5*b + 5*x + 105 = 0, 4*b + x = -66 - 3. Is 17 a factor of m(b)?
False
Let g(l) = -2*l**2 - 20*l + 2. Let i = 20 + -30. Let w be g(i). Suppose -w*n + 234 = 4*q, 0*q + 2*q + 5*n = 121. Is q a multiple of 11?
False
Suppose 4*c = 1028 + 212. Suppose -17*y = -2503 + c. Is 6 a factor of y?
False
Let b(j) = j**3 + 12*j**2 - 3*j + 6. Let m = 26 - 24. Suppose m*h = -5*a - 39, -3*h + 2*a + 2*a = 24. Is b(h) a multiple of 15?
False
Let d(t) = -t**3 + 17*t**2 - 31*t - 18. Let k be d(14). Suppose k = 4*z - 720. Is z a multiple of 8?
False
Let c(b) = 2*b**3 + b**2 - 7*b + 12. Let z(y) = y**3 - 6*y**2 + 14*y - 19. Let w be z(4). Is c(w) a multiple of 36?
True
Let g = 119 - 95. Suppose -12*n = -g*n + 1872. Is 4 a factor of n?
True
Let q(d) = 3163*d**2 - 57*d + 110. Is 204 a factor of q(2)?
True
Let h(j) = 51*j**2 - 36*j. Is h(7) a multiple of 15?
False
Suppose -h + 70 = 2*f, 2*f + h + 2*h = 70. Suppose -3*g - 5*y = f, -y - 9 - 42 = 5*g. Is -3*24/(-5)*(-125)/g a multiple of 36?
True
Let a(j) = -j + 15. Let q be a(13). Suppose 1 = -b, 3*b - 2*b = -q*i + 17. Suppose 5*k - 27 = s, -4*k = -i*k - 2*s + 36. Is k even?
True
Let a(f) = 33*f**2 + 14*f - 73. Does 96 divide a(-40)?
False
Suppose -12 = -3*h, -6*h = -4*j - h + 11532. Does 38 divide j?
True
Let t(j) = 2*j**3 - 24*j**2 + 38*j - 1. Let q be t(11). Suppose -178*i = -q*i - 3636. Does 101 divide i?
True
Let w = -96 - -93. Is 31 a factor of 35/3*109 + 2/w?
True
Is (21 - -78)/(-33) + (1 - (-2950)/2) a multiple of 36?
False
Suppose -45*r + 88128 = -21*r. Does 51 divide r?
True
Let j be -16 + 14 - 0/(-1). Let t be ((-561)/6 + 0)*j. Suppose -d + 3*g + 11 = -12, 3*g - t = -5*d. Does 4 divide d?
False
Let m(x) = x**2 - 10*x + 11. Let b be m(6). Let p(r) = r**2 + 12*r + 63. Is 5 a factor of p(b)?
False
Suppose 0*w - 4*w = -16. Let k = 581 + -576. Is 357/k - 5*w/50 a multiple of 17?
False
Let q(d) = 9*d - 37. Let s(z) = z**2 + 3*z + 28. Let i be s(0). Suppose 0 = t + 3*t - i. Does 3 divide q(t)?
False
Let o be 4/6*(-10 + 16). Suppose -3*d - 5*k - 105 = -5*d, -2*k = o*d - 246. Is d a multiple of 4?
True
Suppose -3*g = 3*i - 1432 - 488, 0 = -4*g - i + 2572. Let c = g + -315. Is 7 a factor of c?
True
Let m(d) = -5 - 50*d - 19 - 10 - 2. Is m(-6) a multiple of 12?
True
Suppose 256 = 12*y - 296. Suppose -4*b + 402 = -y. Does 5 divide b?
False
Suppose -63 = 2*d - 217. Let b = 67 - d. Let z = b - -25. Does 5 divide z?
True
Suppose b + 36*r - 4766 = 37*r, 0 = -3*b + r + 14308. Is 10 a factor of b?
False
Suppose -16*w + 12*w = 20, w = 3*y - 31463. Is 6/15 + (1 - y/(-10)) a multiple of 70?
True
Let o = 399 + -775. Let l = 269 + o. Let t = -73 - l. Is 18 a factor of t?
False
Let v = 4544 - 2946. Let w = v + -1134. Is w a multiple of 17?
False
Let v = -56 - -77. Let u be (-1)/(v/(-6)) - (-502)/7. Let o = -20 + u. Is 13 a factor of o?
True
Suppose 9*k = 32*k - 19504. Is 8 a factor of k?
True
Let h(x) = -2*x**2 + 3*x + 62. Let p be h(-8). Is ((-36)/p + (-3026)/40)*-4 a multiple of 16?
False
Suppose 71*v - 68159 = 68*v - f, -4*v - 3*f + 90877 = 0. Is v a multiple of 32?
True
Let c = -63 + 525. Suppose c = 11*y - 8*y. Suppose o - y = -2*h, 2*o - 2*h + 32 = 322. Is o a multiple of 37?
True
Suppose 120 = 13*z + 7*z. Suppose -z*d = -402 - 1878. Is d a multiple of 20?
True
Let j(b) = 34*b**3 + 4*b**2 + 2*b + 7. Let z be j(-3). Let k = 1327 + z. Does 16 divide k?
False
Let a be (-897)/15 +