p) = 6*f(p) - 10*g(p). Is 13 a factor of r(6)?
False
Let w be (4/3)/((-2)/(-3)). Suppose -q + 0*q - 1 = -w*j, 0 = -3*q - j + 18. Suppose 2*d = q*d - 42. Is d a multiple of 3?
False
Let t(d) = 3*d - 4. Let f(n) = -2*n + 5. Let h(i) = 5*f(i) + 4*t(i). Is 15 a factor of h(3)?
True
Suppose -17706 = -13*o + 4589. Does 46 divide o?
False
Is 67 a factor of 256*(-3)/(-6)*1?
False
Suppose -2*x - 6 - 4 = 5*q, q = -2. Does 6 divide (0 + x - -66) + 2?
False
Suppose 6 = 3*s, 2*s = -0*k + 4*k + 132. Does 25 divide (24/k)/(2/(-288))?
False
Suppose x + 87 - 30 = 0. Let q = 89 + x. Is q a multiple of 11?
False
Let y(q) = 4*q + 57. Suppose -10*g - 64 = -2*g. Does 13 divide y(g)?
False
Let u(x) = x**2 + 14*x - 13. Let o be u(-15). Suppose f = -o*f + 150. Is 10 a factor of f?
True
Let q(j) = -j**3 - 8*j**2 - j + 1. Let z be q(-6). Let a be 597/6 - 42/(-28). Let n = z + a. Does 22 divide n?
False
Suppose -8*n + 8526 = 13*n. Is n a multiple of 11?
False
Let m = -23 - -43. Does 3 divide (7 - 164/m)/(2/(-105))?
True
Let p be (27/(-3))/(0 - 3). Let v(y) = -13*y - 2*y**2 - 6*y**2 + y**3 + 0*y**p - 9*y**2 + 25. Does 22 divide v(18)?
False
Let r be 42/(-2)*1/(-3). Let d(t) be the first derivative of 3*t**2/2 + 4*t - 5. Does 4 divide d(r)?
False
Let b(x) = 3*x - 8. Let u be b(16). Let f be (0/(3 + -4))/2. Suppose a = -f*a + u. Does 17 divide a?
False
Suppose -5*m + 16 = -m, m - 17 = -v. Let o = v - -15. Is o a multiple of 25?
False
Suppose 0 = 2557*q - 2553*q - 6708. Is 39 a factor of q?
True
Let v be (2/(-4))/((-13)/442). Suppose 3*m + v = 2*p, -3*p - 3*m - 2*m - 22 = 0. Is 15 a factor of 61 - 8/(4/p)?
False
Is 4 a factor of (-3 - -158 - 7)/1?
True
Let o(i) = i**3 - i**2 + i + 4. Let p be o(0). Suppose 139 = 2*v - 5*d, p*v + 7*d = 3*d + 292. Does 13 divide v?
False
Suppose 17*j - 1320 = 5*j. Is j a multiple of 22?
True
Suppose -6336 = -21*u + 8700. Is u a multiple of 18?
False
Suppose 2*u = 7 + 1, 5*i - 4*u - 4659 = 0. Suppose -14*m + 3*m = -i. Is 16 a factor of m?
False
Let c = 147 - 105. Is c a multiple of 14?
True
Let r be (7 - 232) + (2 - -1). Let w = 153 + r. Let m = w - -113. Is m a multiple of 22?
True
Let g = -4697 + 7849. Is 12 a factor of g?
False
Let q be 10/(-15) + 348/9. Suppose q*y - 39*y = -124. Does 15 divide y?
False
Let z(c) = 506*c**3 - c**2 + 12*c - 11. Does 46 divide z(1)?
True
Let y be 85*(-11 + 15 - 2*1). Suppose -5*l - 3*q + 484 - y = 0, 5*l - 318 = -q. Does 13 divide l?
False
Suppose 50 = -6*v + 1880. Is v a multiple of 35?
False
Let d(k) = -2*k - 2. Let i = -3 + 0. Let b be d(i). Is 0/(b/(-1)) - -7 a multiple of 7?
True
Suppose 0*r = 4*r - w - 21, 5*w = -5*r + 20. Suppose -47 + 7 = -r*s. Does 8 divide s?
True
Let p(i) = 22*i**3 - 23*i**3 + 34 + 0*i + i + 98. Let c be 0/2*(-2)/4. Is 33 a factor of p(c)?
True
Suppose -5*d = v - 75, 5*v + 4*d + 87 - 462 = 0. Let y be ((-14)/(-6))/((-1)/v). Let u = y + 247. Is 24 a factor of u?
True
Let d(x) = -x**2 + 4*x. Let b be d(5). Is (360/(-25))/(1/b) a multiple of 12?
True
Let m(i) = -5*i**2 + 3*i**2 - i - 23 + 13*i**3 + 25. Suppose 0*f + 4 = 2*f. Is 32 a factor of m(f)?
True
Suppose -3*k + 4348 = 4*i, 2*i + 2894 = -0*k + 2*k. Is k a multiple of 5?
False
Is 30 a factor of (-1366 - 0)*(-3 - -2)?
False
Let a(d) = 2*d + 117. Let p be a(-29). Suppose 3*f + 19 = -107. Let q = p + f. Is 6 a factor of q?
False
Let p(g) = 29*g - 32. Let a(l) = 15*l - 16. Let b(n) = -10*a(n) + 6*p(n). Is 20 a factor of b(3)?
True
Is 27 a factor of (-37588)/(-58) - 18/261?
True
Let g(d) = -15*d - 1. Let h be g(0). Let k(p) = p**2 - 4*p + 1. Let r be k(3). Is (h - r)*1 + 38 a multiple of 20?
False
Let d(g) = 12*g - 3. Let u be d(-2). Let t = 103 + u. Suppose t = i + 3*i. Is i a multiple of 19?
True
Let v be ((-6)/(-4))/((-6)/8). Let n be 2 + 0*v/8. Suppose -n*y = 3*y - 300. Is y a multiple of 20?
True
Let o(q) = 80*q**2 + 2. Is 23 a factor of o(-2)?
True
Let s be (-4)/7 - (-18)/7. Suppose s*u - 70 = 238. Is 22 a factor of u?
True
Let n(v) = v**3 + 7*v**2 + 7*v + 8. Let k be n(-6). Suppose k*j - 58 - 48 = 0. Does 9 divide j?
False
Is (-29 - -33)*(1 + 37) a multiple of 5?
False
Let b(u) = u**2 - 8*u + 7. Let z(d) = 3*d**2 - 15*d + 13. Let x(a) = -7*b(a) + 4*z(a). Is x(3) a multiple of 18?
True
Is 36*(1 + (0 - 5) - -26) a multiple of 24?
True
Suppose 0 = 4*z + 4*u, 4*u = z + 1 + 4. Let x be z/(-2)*(1 - 1). Is 84 - (-2 + 6 + x) a multiple of 20?
True
Let v(s) = 2*s**2 - 2*s - 1. Is v(3) even?
False
Suppose o + 147 = -2*o + 3*a, -20 = 4*a. Does 2 divide (o/(-15))/(2/5)?
False
Suppose 5*v - 3 = 7. Let a(j) = -j**2 - 15*j - 54. Let r be a(-9). Suppose -v*w + r*w + 136 = 0. Is 14 a factor of w?
False
Let n(v) = 10 + 5*v**2 - v**2 - 12*v**2 - 4*v + v**2 - v**3. Does 6 divide n(-7)?
False
Suppose -20071 = -12*b + 24641. Is 46 a factor of b?
True
Suppose -14*a = -12*a - 32. Suppose 4*d = -0*d + a. Suppose 0*j + 228 = d*j. Is 20 a factor of j?
False
Let m(p) = -p**3 + 5*p**2 - 2*p - 4. Let q be m(4). Suppose -w - q*a + 68 = 0, 7*a = 2*w + 2*a - 123. Let u = -28 + w. Does 12 divide u?
True
Let t(u) = -2*u**2 + u. Let x be t(-2). Let s(y) be the third derivative of -5*y**4/24 - 7*y**3/3 + 13*y**2. Does 12 divide s(x)?
True
Let j be 1 - 9/(9/(-68)). Let m = -36 + j. Does 9 divide m?
False
Let k(x) = -6*x - 2. Let m be 1*2 - (-16)/(-4). Let t be k(m). Is 4 a factor of (-5)/(-2)*56/t?
False
Let c(b) = -b**3 - 11*b**2 + b - 3. Let p be c(-10). Let d = p + 176. Is d a multiple of 9?
True
Let l = 7 - -2. Suppose 12*s = l*s + 9. Suppose m - s*a - 57 = 0, 5*m - 11 = -5*a + 274. Is 19 a factor of m?
True
Suppose 0 = 26*o - 35*o + 1611. Is 17 a factor of o?
False
Let t(o) = -30*o + 4. Let f be t(-2). Is (135/30)/(6/f) a multiple of 8?
True
Suppose 70*k = -3*m + 72*k + 464, -4*m + 4*k + 624 = 0. Does 4 divide m?
True
Suppose 5 = x - 0*x. Does 4 divide (x - (-76)/(-16)) + 107/4?
False
Let c(m) = 47 + 0 + m - 9. Is 8 a factor of c(26)?
True
Let t(r) = -3*r - 23. Suppose 3*z + 8 = 5*s + 29, -4*s = 12. Suppose 4*f - 37 = a + z*a, -2*f = -4*a - 66. Is 34 a factor of t(a)?
True
Let d(f) = -7*f**3 + 7*f**2 + 3*f - 3. Is 22 a factor of d(-4)?
False
Let r(s) be the third derivative of 0 - s**2 + 0*s + 1/6*s**3 + 1/4*s**4. Does 3 divide r(2)?
False
Let p(a) = -a + 4. Let j(x) = -x - 2. Let l be j(-6). Let u be p(l). Suppose 3*o + u*o = 33. Does 11 divide o?
True
Suppose 0 = -21*c + 18*c - 168. Let l = c - -109. Is 23 a factor of l?
False
Let r = -2433 - -4437. Is 13 a factor of r?
False
Let p = 2753 + -1625. Is p a multiple of 12?
True
Let r(y) = y**3 - 10*y**2 + 19*y - 10. Let i be r(11). Suppose 4*p - 88 = 4*m, -6*m = -2*p - 2*m + 52. Is i/p + 2/9 a multiple of 6?
True
Suppose -12*v - 86 = 574. Is -1*((-1 - 3) + v)*1 a multiple of 12?
False
Let g(y) be the third derivative of -y**5/20 - 11*y**4/12 + 4*y**3/3 + 15*y**2. Is g(-7) a multiple of 2?
False
Does 9 divide -963*((-28)/(-12))/(-7)?
False
Is 14 a factor of 31666/29 - 284/(-4118)?
True
Let f be 159/(-9) + 4/(-12). Does 20 divide (6 - (-348)/f)*6/(-4)?
True
Let l be (-1)/(4 - 5) + -4. Let d be l*(-1 - (-35)/3). Let h = 120 + d. Is 22 a factor of h?
True
Let f = 1742 + -1208. Suppose -10*a + f + 1386 = 0. Does 32 divide a?
True
Suppose 0 = 3*t + h - 217, 0 - 1 = -h. Let g = 45 - t. Let m = g + 46. Does 9 divide m?
False
Let a be (432/(-63))/(-1*4/42). Suppose -3*u = a - 108. Does 12 divide u?
True
Suppose -g + 1 - 39 = 5*b, 3*b - 5*g = -34. Let o(i) = 3 - i - 4 + 2. Is o(b) a multiple of 6?
False
Suppose 11 + 12 = 3*n + 5*u, 0 = -5*n + u + 57. Let b = -24 + 39. Let w = b - n. Is 2 a factor of w?
True
Suppose -n = -3*v + 3*n, n = 0. Let s = 0 - v. Suppose 358 = 3*h - z, 4*z - 8*z - 16 = s. Is h a multiple of 20?
False
Let j = 62 + -63. Is 37 a factor of (j - (-1)/(-5))*370/(-4)?
True
Let o(j) = -29*j + 13. Let a be o(-2). Let p = 49 + a. Is p a multiple of 30?
True
Let g = -19 + 1207. Is 44 a factor of g?
True
Let f be -1 + -2 - -3 - -4. Suppose -f*y - 6 = -3*y. Is (-82)/(-3) + y/18 a multiple of 9?
True
Let i = 155 - -97. Is i a multiple of 18?
True
Suppose 5*r - 25 = 0, 2*c - 908 - 423 = -3*r. Does 18 divide c?
False
Let b be (-24)/56 - (-6)/14. Let h = 0 - -5. Suppose 145 = h*w - 5*n - 0*n, -w - 2*n + 14 = b. Does 10 divide w?
False
Suppose -v - 3*g + 50 = -6, 104 = 2*v + 4*g. Does 4 divide v?
True
Let j be 