= 52*p, -4*p + 18 = 2*v. Let f(s) = 20*s**2 - 15*s - 5. Is 60 a factor of f(p)?
True
Let h(g) = g**2 - g. Let n(b) = -12*b**2 + 4*b + 43. Let q(v) = -6*h(v) - n(v). Is q(-9) a multiple of 17?
True
Suppose 3*n - 17*y = -8*y + 1182, 3*n - 1196 = 2*y. Is n a multiple of 10?
True
Let m be 10/4*(-20)/25. Let s be 2 + 1 + (-28)/(2 - m). Is 6 a factor of 41 + 3 + (-4)/s?
False
Let t(g) = -2*g**3 - 2*g**2 + g. Let w be t(-2). Let d(b) = -14*b + 4. Let v(o) = -7*o + 2. Let m(q) = 4*d(q) - 9*v(q). Does 10 divide m(w)?
True
Suppose -10*n + 7*n + 1305 = -5*l, 5*l = -5*n + 2175. Suppose 5*y - 3*s = -0*s + 435, -n = -5*y + 4*s. Let x = y - 79. Does 4 divide x?
True
Suppose r - 3*n - 75 = -6*n, 0 = -2*r + 2*n + 182. Let b = -87 + r. Suppose x = 5*s - b*s - 536, -s + 5*x + 88 = 0. Is 12 a factor of s?
True
Suppose -7*b = -2*z - 2*b + 60, 150 = 5*z + b. Let h be (1 - 0) + -3 - -4. Suppose -z = -h*p + 186. Is 9 a factor of p?
True
Let y be (-30)/75 + 6374/10. Suppose -40*t + y = -27*t. Does 9 divide t?
False
Let t(f) = f**2 - 5*f + 6. Let q be t(4). Is -1 - q - ((-66)/2 + -5) a multiple of 9?
False
Let i = 1496 - 825. Suppose -4*z + 5 = -i. Is z a multiple of 46?
False
Let z = -10954 + 34717. Is 45 a factor of z?
False
Let g(c) = -7*c + 2. Let j be g(-2). Suppose -4*i = -12, 3*x - 2*x + 5*i - j = 0. Does 26 divide -1*(-707)/7 + x*3?
True
Suppose 141*v = 146*v - 259 - 136. Let o be 0 + 0/1 - -2. Suppose -f = 3*m + o*f - 207, m + 3*f = v. Is m a multiple of 8?
True
Let t(a) = -6*a + 39. Let v(b) = -25*b + 155. Let o(x) = 9*t(x) - 2*v(x). Let h be o(9). Suppose -4*p = 3*q + p - 359, 133 = q - h*p. Does 11 divide q?
False
Let n(z) = z**2 + 13*z - 22. Let k be n(-15). Let d(v) = 3*v**3 - 15*v**2 - 6*v. Does 11 divide d(k)?
True
Let n(i) = i - 6. Let z be n(-6). Let j(s) be the second derivative of -7*s**3/6 - 51*s**2/2 + 375*s. Does 33 divide j(z)?
True
Let z(l) = 10*l**2 - 11*l - 28. Let k be z(-2). Suppose -6*b + k + 20 = 0. Is 4 a factor of b?
False
Let x be (-2 + 186/24)/((-2)/8). Let b = 58 + x. Let u = b - -25. Is 10 a factor of u?
True
Let j(r) = 49 + r**2 - 115 + 21*r + r**2 + 48. Does 56 divide j(13)?
False
Suppose 0 = 3*m + 12 - 18, -2*u - 4*m = -12658. Is 11 a factor of u?
True
Suppose 5*p + 2*s = 9*p - 60, -3*p - 4*s = -45. Suppose 4*x = p*x - 682. Is 11 a factor of x?
False
Suppose -4 - 8 = -6*r. Suppose -2*n + r*g = -3*g - 21, 0 = -3*g - 3. Let m(a) = 5*a + 3. Is m(n) a multiple of 8?
False
Let h be (-2*(-2 - -1))/((-10)/(-45)). Suppose -h*g = 6 - 51. Suppose 2*m + m - 148 = -p, -g*p + 701 = 2*m. Is 8 a factor of p?
False
Suppose -4 = -3*r + 8. Suppose -12*q + 13*q = -3*p + 215, 0 = r*q - 3*p - 890. Does 17 divide q?
True
Let z = -703 + 1182. Suppose -z + 119 = -6*s. Is 5 a factor of s?
True
Suppose -4*z + 106 = 874. Suppose -4*q + c - 428 = 0, 3*c + 520 = -5*q + 8*c. Let g = q - z. Does 28 divide g?
True
Let c(o) = -24*o - 34. Suppose 0 = 2*m - 24 + 8. Let u = -19 + m. Is 10 a factor of c(u)?
True
Suppose -5*m + 5 = 0, 2*d = 3*m + 8423 + 9354. Is d a multiple of 70?
True
Let n = 12706 - -5243. Is 15 a factor of n?
False
Suppose -110*f - 41154 = -116*f. Is f a multiple of 19?
True
Let x = 154 + -142. Suppose -q + 2*r = -156, x*q = 13*q + 5*r - 142. Is 7 a factor of q?
False
Suppose -17*j + 18*j + 13 = 0. Let i = j - -17. Suppose -g + i*y = -155, -2*g - y - y + 360 = 0. Is g a multiple of 35?
True
Let s(d) = -5*d - 15. Let w be (-16)/(-6)*33/(-22). Let p be s(w). Suppose a - 186 = -p*a. Is 3 a factor of a?
False
Let q be (0 - 5)*(-4)/(-10). Let o be 4*1/(q - -1). Does 46 divide 133 + 2*(-2)/o?
False
Suppose -478620 = 98634*h - 98670*h. Is 19 a factor of h?
False
Let n be 4/8*-2 + (-1)/(-1). Suppose 2*p = -n*p + 98. Is 6 a factor of p?
False
Let f = -15403 - -18657. Does 6 divide f?
False
Suppose 0 = 9*c - 5*c - 92. Suppose -c*j + 14*j = 42480. Is j/(-60) - 1/(-3) a multiple of 11?
False
Let q = 28255 + -20123. Does 6 divide q?
False
Suppose 91*p = 39*p + 289120. Is p a multiple of 20?
True
Let n = -4 - -47. Let p = n + -39. Suppose 0*f - p*f + 468 = 0. Does 13 divide f?
True
Let r(n) = 32*n - 73. Let p be r(20). Let d = p + -237. Is 30 a factor of d?
True
Suppose g + 647 = 747. Suppose m - g = 120. Does 44 divide m?
True
Suppose 5*j - 262 - 38 = 0. Suppose 5*z - j = 4*z. Is z a multiple of 4?
True
Let z = -5878 + 10792. Does 11 divide z?
False
Let g(l) = 22*l - 2 + 4*l**2 - 2*l**2 - 16*l - 9*l**3 - 8*l. Is 41 a factor of g(-2)?
True
Let w(r) = 142*r + 1. Let q be w(2). Suppose q + 594 = 3*h. Let a = h - 153. Does 35 divide a?
True
Let u be (-1)/(-1*(-5)/(-380)). Suppose 2*b = 692 + u. Is 34 a factor of b?
False
Let b = -904 - -1672. Suppose 4*l = 0, b = 3*z + 3*l - 2*l. Is 8 a factor of z?
True
Let q(b) = 63*b**2 - 144*b - 553. Is 8 a factor of q(-4)?
False
Suppose 0 = -9*l + 4*l - z + 6420, 5*l + 3*z - 6420 = 0. Is l a multiple of 12?
True
Suppose -2*c + 3*m = -88 - 85, m - 325 = -4*c. Let d = c - 89. Is 5 a factor of 22/d*(-2 + -12)?
False
Suppose -6*h + 7659 = d, 5*d - 4*h - h = 38120. Does 141 divide d?
False
Let q(f) = -3*f**3 - 7*f**2 + 4*f + 7. Suppose 0 = 4*b - 17*b - 52. Does 7 divide q(b)?
False
Let i be (-6)/24 - 451/4. Suppose 7*c + 3*c - 1760 = 0. Let r = c + i. Does 9 divide r?
True
Let q = 33 - 39. Let p(r) = r**3 + 3*r**2 - 7*r + 9. Let u be p(q). Let c = u + 83. Is 6 a factor of c?
False
Let u(z) = 2*z**2 + 49*z - 56. Let w(q) = q**2 + 24*q - 28. Let d(f) = 3*u(f) - 7*w(f). Does 21 divide d(-7)?
True
Suppose 5*w - 8 - 6 = 3*t, 0 = w - 4*t + 4. Suppose w*b + 203 = 1015. Is 32 a factor of b?
False
Is 22 a factor of 883/8 - (-645)/(-1720)?
True
Let q(g) be the third derivative of -1/3*g**4 - 3/2*g**3 - 1/120*g**6 + 0*g + 3/20*g**5 + 0 + 10*g**2. Is q(6) a multiple of 9?
False
Let l = -1881 - -4114. Does 67 divide l?
False
Let k(l) be the third derivative of 1/8*l**4 + 0 + 0*l + 17*l**2 + 23/6*l**3. Is k(17) a multiple of 6?
False
Let b = -684 + 504. Is (b/7)/((-72)/63 + 1) a multiple of 60?
True
Let o(x) = 43*x - 199. Let n be ((-24)/14)/(6/(-21)) - -13. Is 6 a factor of o(n)?
True
Let j(f) = -f**3 + 12*f**2 + 8*f + 21. Suppose -5*d + 35 = -5*w, -4*d + 3*w + 29 = -1. Let z be j(d). Let o = z + -228. Does 26 divide o?
False
Let p be ((-3080)/(-84))/(((-2)/(-1))/(-6)). Let s = -49 - -23. Let q = s - p. Is q a multiple of 14?
True
Suppose 0 = -33*k + 29*k. Suppose 5*w + 4*w - 45 = k. Suppose 4*s + 5*b = b + 840, 3*s - w*b = 622. Is 33 a factor of s?
False
Suppose 3*g + 54 = 21. Let q = 17 + g. Is 34 a factor of 177/q*(-2 - -4)?
False
Let z be (-13)/(-26) - (-41)/2. Let s(n) = -n**2 + n - 1. Let m(y) = y**3 - 22*y**2 - 19*y - 21. Let u(p) = -m(p) + 2*s(p). Does 9 divide u(z)?
False
Suppose -5*p - 5*u + 19985 = 0, u = 1356 - 1364. Does 15 divide p?
True
Let h be 81/(-54) + 79/(-2). Let j = h + 217. Is 44 a factor of j?
True
Let s be (-3)/((-9)/24*2). Suppose -s*n = -5*w + 17, n - 3*w + 0 + 6 = 0. Let j = n + 27. Is j a multiple of 4?
True
Does 34 divide (-48)/56 + 1 + (-388014)/(-21)?
False
Let h(m) = 2*m + 8. Let x be h(-7). Let p(y) = y**2 + 17*y + 109. Is 2 a factor of p(x)?
False
Suppose 3*f - 61 = -5*q, 5*f - 93 = -4*q - 0*q. Let i(b) = -f - 15*b + 7 - 4 - 13*b. Is i(-5) a multiple of 18?
True
Suppose 0 = -a + 316*n - 313*n + 7040, -5*n = 0. Is 21 a factor of a?
False
Let v be 1/3 - (10/(-15) + -1). Suppose -3*t = 0, 3*x = 8*x + v*t - 30. Is -246*1*(-6)/x a multiple of 41?
True
Let p be 45/10*(-16)/(-36). Suppose -6 = -p*d, 3*o - 7 = 7*o - 5*d. Suppose 0*a = -4*a - o*s + 110, -5*a + 5*s + 145 = 0. Is 14 a factor of a?
True
Let x = -230 - -349. Let a = 150 - x. Does 31 divide a?
True
Let z(s) = s**2 - 5*s - 5. Let a = -60 - -60. Let m be z(a). Let y(l) = l**3 + 6*l**2. Is y(m) a multiple of 4?
False
Suppose 4*a - 2*k - 20 = 0, -3*a + 0*a = 3*k - 33. Suppose -a*d = -4*d - 45. Suppose -200 = 11*u - d*u. Is 44 a factor of u?
False
Let z(o) = o**3 + 4*o**2 + 3*o + 16. Suppose 2*m - 8 = -16. Let c be z(m). Suppose 320 = 4*b + c*t, 0 = -0*t - t - 4. Is b a multiple of 12?
True
Suppose -1 = -2*s + 5. Suppose s*x - 2 = 2*d + 52, -4*d = -4*x + 68. Suppose 3*p + 4*h - 108 = 0, 2*p - h - x = 41. Does 7 divide p?
False
Let j = -2090 + 4835. Is 15 a factor of j?
True
Let m(v) = -14*v + 156. Let g be m(-18). Does 15 divide 1*(2 + g - 2)?
False
Suppo