*o + 11, -2*o = -n + 11. Is 4 a factor of n?
False
Let p = 65 + -61. Suppose -p*h = -6*h + 6. Suppose -h*d = 12, -5*j + 2*j - 2*d = -49. Is 2 a factor of j?
False
Let v(g) = 3*g**2 + 3*g + 2159. Is 5 a factor of v(43)?
True
Let l be (-8)/((-64)/(-988)) + (-1)/(-2). Let g = 46 - l. Does 13 divide g?
True
Suppose 0 = -3*z, 3*h + 27*z - 28*z - 31215 = 0. Is 126 a factor of h?
False
Let h(f) = 2*f + 3. Suppose 7*b + 5 + 23 = 0. Let l be h(b). Let z(s) = 2*s**2 - 10*s + 3. Is 7 a factor of z(l)?
False
Let g = -80 - -42. Let b = g - -52. Let r = b - -138. Is 50 a factor of r?
False
Let d(l) = -l**2 - 7*l - 5. Let u be d(-4). Let q(w) = -w**2 + 7*w - 2. Let g be q(u). Is 10 a factor of (3 + 59/g)*-2?
False
Let f(t) = t + 2*t + 0 - 6*t**3 + 0 - 4 - 3*t**2. Let v be f(-4). Suppose 0 = -4*l + v + 156. Does 7 divide l?
True
Suppose -123*z + 129*z - 123686 - 1282 = 0. Does 46 divide z?
False
Suppose -29*s + 21060 = 25*s - 36*s. Does 30 divide s?
True
Suppose 2*m + v - 49898 = 0, 5*m - 142*v = -139*v + 124778. Does 19 divide m?
False
Let a = -73 - -76. Suppose -j + 226 = a*x, 0 = 2*x - 6*x - 12. Let p = j + -79. Is 13 a factor of p?
True
Let g = 74 + -142. Does 8 divide (-2)/(-8) - 43503/g?
True
Let q be ((-4)/(-10))/(1/(-5)). Let m = -640 + 604. Is m/q - 0 - (11 - 9) a multiple of 8?
True
Let i = 88 - -168. Suppose -30*j = -29*j - i. Does 33 divide j?
False
Let o(n) = n**3 - 3*n**2 - 15*n - 5. Let g be o(6). Let q = 117 + g. Does 10 divide q?
True
Suppose 5*q = 2*y - 35, 3 = 3*y - q - 17. Suppose 3*c - 307 = -y*j, -7 = 2*j - 5. Let a = c - 84. Is a a multiple of 2?
True
Let v(d) = d**3 + 2*d**2 + 5*d + 4. Let n be v(-1). Suppose n = -2*p - 4*g + 491 + 665, -3 = -3*g. Does 72 divide p?
True
Suppose 14*j - 82524 + 53147 = 135459. Does 37 divide j?
False
Is 11*(-16)/1760 - (0 - 59922/20) a multiple of 11?
False
Let u(p) be the first derivative of -16*p + 14 - 2*p**2 - 7/3*p**3 - 1/4*p**4. Is 33 a factor of u(-8)?
False
Let a(m) = m**2 + 57*m + 394. Let r be a(-49). Let s be -2*(0 - 10) - -1. Suppose -r*n = n - s. Does 6 divide n?
False
Let g(c) = 48*c - 643. Does 7 divide g(28)?
False
Let n = -2597 - -4707. Let m = -1013 + n. Is m a multiple of 85?
False
Suppose 3609*p = 3421*p + 5133716. Is 101 a factor of p?
False
Is (3/((-42)/4) + 2442/(-28))*-16 a multiple of 14?
True
Let c(q) = -647*q - 1161. Is c(-13) a multiple of 58?
True
Suppose -32*v - 10 = -34*v. Let q(d) = 48 - 5*d - 12 - v*d - 19. Is 8 a factor of q(-5)?
False
Suppose -2*u = -4*u + 20. Suppose o - 3*j = -3, -5*o + 33 - u = 4*j. Suppose o*k - 379 = -2*v, -354 = -3*k + 6*v - 3*v. Is 14 a factor of k?
False
Suppose 233 = 4*a - 1027. Is 65 a factor of (a - (-2 - -4)) + 2?
False
Let l(t) = 455*t + 4748. Is 34 a factor of l(-10)?
False
Suppose -18*q = 42*q - 10080. Suppose 5*x + 87 + 77 = -w, -48 = x + 4*w. Let v = x + q. Is v a multiple of 34?
True
Let r(v) = 406*v**2 - 93*v - 452. Is r(-13) a multiple of 51?
False
Let b(h) = 2*h**3 + 9*h**2 + h + 4. Let t = 100 - 94. Suppose x = t*x + 20. Is b(x) a multiple of 9?
False
Let p = 219 + -152. Let o = 69 - p. Is 14 a factor of ((-15865)/30)/(-19) - o/(-12)?
True
Let l be (5/(-50) - (-13323)/30) + -3. Let j = -316 + l. Is 25 a factor of j?
True
Let c be -11 + 6*(-5)/(-5). Let j(z) = -53*z + 50. Is j(c) a multiple of 72?
False
Let u(q) = 4*q**2 + 17*q + 4. Let r be u(-4). Suppose -4*t - 812 = -4*f - r*t, -8 = 4*t. Is f a multiple of 37?
False
Let v(m) = 1123*m - 623. Is 86 a factor of v(4)?
False
Suppose 0 = -3*t + 12, 4*t = -3*q + 30 - 2. Suppose -3*c = c - q*i - 1516, 5*i + 383 = c. Is 14 a factor of c?
True
Let o = -2361 - -2577. Suppose 575 = 5*l - 3*w, 5*w - 6 = -5*l + 529. Let a = o - l. Is a a multiple of 26?
True
Suppose -4*d + 117 = 5*r, -r + 3*r = -2*d + 48. Suppose 32*z - 25*z = r. Suppose z*k - 3*m = 4*k - 94, 5*m + 221 = 2*k. Is 10 a factor of k?
False
Let h(v) = -2*v**2 - 8*v - 13. Let b(l) = l**2 + 18*l - 4. Let c be b(-18). Let z be h(c). Let d(y) = y**2 + 9*y - 22. Does 2 divide d(z)?
True
Let x(j) = 1425*j - 2205. Is x(7) a multiple of 35?
True
Suppose -31*j + 28*j - 7*m + 23101 = 0, -3*j - 2*m + 23126 = 0. Does 32 divide j?
True
Let v = 621 - -2752. Is 8 a factor of v?
False
Suppose 18*n - 11*n - 50624 = -21*n. Is n even?
True
Let k be -1*15*2176/(-48). Suppose 1729*h - 1733*h = -k. Does 64 divide h?
False
Let w(r) = 281*r**3 + 11*r**2 - 47*r - 8. Is w(3) a multiple of 9?
False
Suppose q + 4*r - 4848 = 0, 0*q - 4*r = -2*q + 9624. Does 33 divide q?
False
Let i(t) = t**2 + 11*t - 30. Suppose -p - 32 = 2*n, -2*n - 2*p = -7 + 43. Let h be i(n). Is h/(-8)*-62 + (-1)/1 a multiple of 23?
True
Let i be (-10 + 7 + -4)*10/(-14). Let a(k) be the second derivative of 3*k**3/2 + 3*k**2/2 + k. Does 9 divide a(i)?
False
Let p(d) = 22*d**2 - 131*d + 4140. Is p(36) a multiple of 12?
True
Let y = 23418 - 22083. Is y a multiple of 11?
False
Let g(w) be the second derivative of w**4/12 + 7*w**3/6 + 13*w**2/2 - 1798*w. Let i(r) = 4*r + 9. Let y be i(-6). Does 21 divide g(y)?
False
Suppose -3*p + 4*t = -559, -2*p + 88 = 5*t - 300. Is p a multiple of 3?
True
Let l = -28 + 28. Suppose y = -f + 6*f + 260, l = y - f - 240. Does 21 divide y?
False
Let p(a) be the first derivative of 11 - 5/2*a**2 + 3*a. Is 13 a factor of p(-12)?
False
Suppose 0 = -r + 38*r + 148. Is 97 a factor of 3/(18/r)*52503/(-22)?
False
Let a(c) = -c**3 - 8*c**2 - 42*c - 251. Let x be a(-7). Let o = 1127 - 583. Does 15 divide 8/(-12) - o/x?
True
Let a be ((-4)/10)/(4/(-20)) + 331. Suppose 7*i = 3*i + 20, -a = -g + 2*i. Is g a multiple of 24?
False
Let j = -4322 - -7255. Does 7 divide j?
True
Let h(k) be the first derivative of -11*k**4/2 - 7*k**3/3 - 13*k**2/2 - 8*k - 157. Does 42 divide h(-3)?
False
Let d(j) = -50*j + 15. Suppose 3*u - 13 = 4*u + 4*a, 2*a = -4. Let w be d(u). Suppose 0 = 5*r - 295 - w. Is 20 a factor of r?
False
Let a(r) = -19*r - 51. Let k be a(-3). Let o(s) = 2*s**3 - 11*s**2 + 3*s. Is o(k) a multiple of 9?
True
Let u(l) = -88*l - 17. Let q be u(11). Let s = q - -1520. Suppose -4*t + f = -s, 119 = t + 4*f - 19. Is t a multiple of 12?
False
Let w(x) = -6*x**2 - 5*x - 5. Let t be w(-1). Let j(r) = -2*r**2 - 10*r + 22. Is 2 a factor of j(t)?
True
Let q(c) = 6*c + 104. Let x be q(-16). Is 2/x + (-363)/(-132) a multiple of 3?
True
Suppose -10*o + 616 = 696. Let w(g) = 3*g**2 - 6*g + 2. Let v be w(5). Is (1/((-2)/v))/(2/o) a multiple of 6?
False
Is 522/348*(-1)/(6/(-42952)) a multiple of 14?
True
Let c(y) = 9*y**3 + 41*y**2 - 57*y - 35. Let n(s) = 5*s**3 + 20*s**2 - 28*s - 18. Let t(l) = 4*c(l) - 7*n(l). Does 17 divide t(-25)?
False
Suppose 8*m = 4 + 4. Suppose -z - 2*o - o - m = 0, -o + 13 = 3*z. Suppose 3*j + 2*j = l - 222, -3*j + 1082 = z*l. Is l a multiple of 22?
False
Suppose 21*q - 23*q - 14468 = -52884. Does 14 divide q?
True
Suppose -315*g = -328*g + 15470. Does 17 divide g?
True
Let u = 37484 - 24104. Is u a multiple of 60?
True
Let b be (-2)/7 + (-61)/7. Let y be (b/(-4))/((-75)/(-100)). Suppose 5*a - 5*l = a + 47, -3 = -y*l. Is a a multiple of 13?
True
Let b be -6 + (-3 - -48 - 7). Suppose -t + 617 = 3*l, -2*l - b*t + 30*t = -410. Is l a multiple of 2?
True
Let a = -137 - -161. Let b = a + -161. Let n = -103 - b. Is 13 a factor of n?
False
Let v be (-2)/7 + (-51184)/(-98). Let k = 940 - v. Does 38 divide k?
True
Suppose 0 = 4*l - z - 45, -z = l + z. Suppose l*v + 182 = 12*v. Let w = -54 + v. Is 23 a factor of w?
False
Suppose 15*h + 114 = 12*h. Let x = h - -38. Suppose x = -0*t + 3*t - 201. Does 18 divide t?
False
Suppose f - 4*i = -7*i, 5*i = 0. Suppose -q + 68 + 221 = l, -3*l - 2*q + 865 = f. Is 40 a factor of l?
False
Suppose 10 = -6*a + 34. Suppose -4*f + 0*f + 1029 = 3*y, a*f - 2*y - 1054 = 0. Is f a multiple of 29?
True
Suppose 76*b = 81*b + 190. Is 4 a factor of 1/(-3) - (-1)/(-6)*b?
False
Let s(t) = -t + 20. Let p be s(27). Let a(o) = -35*o - 19. Does 31 divide a(p)?
False
Let r(u) = -5*u**2 + 5*u - 1. Let i be r(2). Let n = 18 + i. Does 8 divide (-10)/35 + 954/n?
True
Let h = 135 - 147. Is 6 a factor of (-6)/h*95*2?
False
Suppose 5*o - 86 = -3*r + 119, 107 = 3*o + 5*r. Let a = -10 + o. Let w = -27 + a. Is 2 a factor of w?
False
Let z(c) = 20*c - 51 + 56*c - 12*c. Is z(2) a multiple of 11?
True
Suppose 0 = 5*g - 12*g - 147. Suppose -2*f + 16*f - 1120 = 0.