 be (-15)/10 - (-18)/4. Suppose -n = f*n - 32. Does 4 divide n?
True
Does 16 divide (-24)/(1 - (-10)/(-4))?
True
Let q(p) = p**2 + 8*p + 6. Let m be q(-5). Let i = m + 4. Let k = i - -28. Does 8 divide k?
False
Let n(l) = l - 2 + 0*l**3 + l**2 - 2*l**2 - 4*l**3. Let x(c) = -c**3 + 7*c**2 + 7*c + 6. Let u be x(8). Does 12 divide n(u)?
True
Suppose 2*f + f - 3*p - 63 = 0, -5*f = 4*p - 69. Is 3 a factor of f?
False
Suppose 2*p = p + 2. Suppose -5*s - 58 = -p*t - 10*s, -6 = -3*s. Let a = t + -16. Is 3 a factor of a?
False
Suppose 2*q = -0*q + 16. Suppose 0 = -3*k - 15, -312 = -m - k - 83. Is m/q - 1/4 a multiple of 13?
False
Let w = -38 + 60. Is w a multiple of 5?
False
Suppose 303 = 4*w - w - 2*v, -4*w - 2*v = -390. Is 33 a factor of w?
True
Let k(c) = -c**3 + 9*c**2 - 5*c - 11. Let i = -8 - -16. Does 10 divide k(i)?
False
Let r(c) = -4*c**3 - 2*c**2 - c. Let z be r(-1). Suppose 4*k + 12 = 0, z*k = 2*b - 0*b - 107. Let g = b + -19. Is 15 a factor of g?
True
Suppose -i = 2*y - 6, -3*i + 3*y = -0*i - 45. Is 3 a factor of i?
True
Suppose -4*q = q. Let l be q + 1 - 2*-1. Is 6 a factor of ((-3)/l)/((-2)/16)?
False
Let o(q) = -2*q + 6. Does 10 divide o(-7)?
True
Suppose -249 = -5*w + 161. Let z = -258 + 406. Let h = z - w. Is h a multiple of 23?
False
Let g(v) = v**3 + 10*v**2 + 3*v + 15. Let q be g(-10). Let c = q + 37. Does 9 divide c?
False
Let r(o) = o**3 - 13*o**2 - 2*o + 9. Let q be r(13). Let v = q - -25. Does 4 divide v?
True
Suppose 5*z = z. Suppose z*p = -p + 42. Is 14 a factor of p?
True
Suppose -r = -0*q - q - 21, -3*r = 3*q - 45. Let j = 66 - r. Is j a multiple of 24?
True
Suppose -4*v = 5*t - 436, -5*t + 24 = 4. Does 13 divide v?
True
Let r(y) be the second derivative of y**5/20 + 5*y**4/12 - y**3/3 + 2*y**2 + 4*y. Is 14 a factor of r(-4)?
True
Suppose 0 = q + 3*q. Is 16/2 - (2 - q) a multiple of 6?
True
Let a(x) = -2*x - 15. Let h be a(-10). Suppose k - 5*k + h*n + 114 = 0, 3*k - 95 = -n. Does 16 divide k?
False
Suppose 6*y - 8*y + 4 = 0. Suppose -13 - y = -5*l. Suppose 0 = 4*m - 4*c - 84, l*m - 38 = -c - c. Does 8 divide m?
True
Suppose 0 = p - 2*z - 245 - 34, -5*z + 1155 = 4*p. Is p a multiple of 19?
True
Is 20 a factor of (-5)/4 - -1 - 3537/(-36)?
False
Let m(o) = o + 24. Does 7 divide m(-8)?
False
Let h be 0/((-1)/(3/(-6))). Suppose -m + h + 2 = 0. Suppose -2*r - 7 + 3 = 0, 3*r = m*i - 62. Does 14 divide i?
True
Let h(y) = y**3 - 6*y**2 - 8*y + 3. Let a be h(7). Is 266/10 + a/(-10) a multiple of 8?
False
Suppose 3*t = 2*q + 99, -4*q + 2*q = 0. Is t a multiple of 6?
False
Let m(i) = -i**3 - 5*i**2 + 6*i + 3. Let f(t) be the first derivative of -t**3/3 - 3*t**2/2 - 2*t - 2. Let d be f(-4). Does 2 divide m(d)?
False
Let q(u) be the first derivative of u**4/4 + 11*u**3/3 - 9*u - 3. Let l be q(-11). Does 8 divide 370/45 + 2/l?
True
Suppose -15 = -3*j, 4*j - 23 = -0*s - 3*s. Does 24 divide (1 + s)/(5/120)?
True
Let a = -106 + 64. Let u be (-3)/(1*9/a). Suppose 0 = 4*w - u - 22. Is 5 a factor of w?
False
Let v be (-6)/2 + (-160)/(-10). Suppose x + 14 = -v. Is 9 a factor of (-615)/x - 4/(-18)?
False
Suppose -3*b + 25 = -8*b, -2*z - 2*b - 10 = 0. Let r = z - -11. Does 2 divide r?
False
Suppose -3*g + 20 = -1. Let j(i) = -7 + 2*i - 2 + 0. Does 2 divide j(g)?
False
Suppose 4*f - 3*k - 43 = 57, -5*k + 46 = 3*f. Is f a multiple of 5?
False
Let p = -55 - -80. Does 11 divide 3/(-5) + 290/p?
True
Let m be -2 + -26 + -1 + 3. Is 26 a factor of (m/(-8))/(3/36)?
False
Suppose -2*j + 0*m + 2*m = -78, -5*j + 190 = -4*m. Let n = -18 + j. Is 8 a factor of n?
True
Let d = -41 - -69. Is 14 a factor of d?
True
Suppose 2*m - 3*k + 49 + 64 = 0, -m - 46 = -5*k. Let g = m - -124. Is 29 a factor of g?
False
Let n = 1 - 1. Suppose u + n*u - 5 = 0. Suppose u*x - 54 = 26. Is 8 a factor of x?
True
Is -3 + 0/(-2) + 70 a multiple of 30?
False
Suppose 6*p = 3*p - 2*h + 535, -4*p - 2*h + 712 = 0. Let r = 261 - p. Suppose r = 2*v + v. Does 13 divide v?
False
Suppose -3*t = 4*j - 293, 2*j - 2*t + 0*t - 136 = 0. Does 17 divide j?
False
Let j(g) = 9*g**2 + 4*g + 8. Does 12 divide j(-3)?
False
Suppose -r + 21 = 3*b - 21, -b + 124 = 4*r. Does 6 divide r?
True
Suppose 0 = -3*u + 5 + 34. Let t = u - 9. Let b(v) = 2*v - 3. Does 4 divide b(t)?
False
Let x(p) = 2*p**3 + 3*p**2 - 2*p + 4. Let d be x(4). Let m = -76 + d. Suppose 4*n - m = -0*n. Does 12 divide n?
True
Let d(z) be the third derivative of z**6/120 + z**5/30 - z**4/8 + 2*z**2. Let c be d(-3). Suppose c*t + 24 = t. Is 13 a factor of t?
False
Suppose -3*k = -125 - 7. Is k a multiple of 22?
True
Suppose -2*r = 5*n - 80, -3*n - 7*r + 2*r + 29 = 0. Is 18 a factor of n?
True
Let j(n) = -n**3 - n**2 - n + 19. Let a = 5 - 5. Does 5 divide j(a)?
False
Let x be 6/8 - 6/8. Suppose x = -2*a - 2*a + 4. Suppose 0 = f - a, 0 = -4*c - c - 4*f + 24. Is c a multiple of 4?
True
Let n = 16 + -2. Suppose n = -5*h + x, -h - 5 = -0*h + 2*x. Let b = 7 - h. Is 10 a factor of b?
True
Suppose 15*y - 1121 = 2029. Does 15 divide y?
True
Let n(d) = -d**3 - 5*d**2 - 3*d - 12. Does 42 divide n(-6)?
True
Suppose 14 = -0*y + 2*y. Is y a multiple of 4?
False
Let l = 98 - -14. Is l a multiple of 30?
False
Suppose 7*h + 160 = 12*h. Does 8 divide h?
True
Let n(j) = -3*j**3 + 3*j**2 - 4*j - 8. Does 62 divide n(-4)?
True
Suppose 14 = 3*n - 3*k - 37, -3*n = 4*k - 16. Suppose 2*l = -n - 0. Does 18 divide ((-8)/l)/((-4)/(-102))?
False
Let r be 4/(-4) + -5*1. Let v be (9/r)/((-2)/8). Is 32/5 - v/(-10) a multiple of 7?
True
Let s(o) be the first derivative of -o**3/3 + o**2/2 + 2. Let l be s(0). Suppose 3*p + 0*p - 21 = l. Is p a multiple of 7?
True
Let q(i) = 2*i - 1. Let x be (4/3 - 1)*21. Suppose -20 = 3*a - x*a. Is 9 a factor of q(a)?
True
Let k(s) = -s**3 + 6*s**2 - 5*s + 6. Let h be k(5). Let u be h*(-1)/(-2) - 1. Suppose -3*n - u*n + 275 = 0. Is 16 a factor of n?
False
Let h(m) = -m**2 - 18*m. Is h(-8) a multiple of 4?
True
Let q = 6 + -12. Let w(j) = j**3 + 5*j**2 - 9*j - 4. Let l be w(q). Suppose -3*n = -2*h - l, -5*n = -10*n - 4*h + 38. Is 5 a factor of n?
False
Is 23 a factor of 47/2 - 3/6?
True
Let i = 345 - 219. Suppose 0 = -k - 2*j + 30, -3*k + i = 2*k - 2*j. Is k a multiple of 13?
True
Does 24 divide ((-372)/(-30))/((-4)/(-10))?
False
Suppose 2038 + 734 = 11*q. Is q a multiple of 36?
True
Suppose -d - 13 + 2 = 0. Let h(b) = b + 27. Is 10 a factor of h(d)?
False
Is 2 a factor of 4/(-16) - (-3)/(36/291)?
True
Let l = 107 - 33. Suppose -l = -4*n - 22. Does 13 divide n?
True
Let h(f) = f**3 + 7*f**2 - 11*f - 12. Let n be h(-8). Let u = n - -12. Is u a multiple of 8?
True
Suppose 3*u = -4 + 16. Suppose -5*x = -2*v + 188, -3*x - u = 4*v - 328. Is v a multiple of 22?
False
Let i be 36/28 + 2/(-7). Let u be 3*(i - 0)*1. Suppose 0 = 2*a + 4*t + 10, u = 3*t + 15. Does 2 divide a?
False
Suppose 0 = n - 6*n + 3*p + 25, -25 = -5*n - 3*p. Suppose 215 = n*o - 5*b, -5*o + 68 = -3*o + 4*b. Is o a multiple of 23?
False
Is (-627)/(-9) - (-4)/(-6) a multiple of 17?
False
Let c(d) = d**2 + 5*d - 4. Let o be c(-6). Suppose 6*q - o*q - 32 = 0. Is q a multiple of 3?
False
Suppose -27 - 4 = -5*a + 3*l, -5*l = 2*a. Suppose -a*v = 3*p - 56, -v + 3*p = 4*v - 44. Is v a multiple of 10?
True
Suppose 5*k + u - 3*u = 17, 3*k - 14 = 5*u. Suppose k*l + 0*l + 294 = 0. Is 11 a factor of l/(-6) - (-6)/9?
False
Let b(i) = -i - 1. Let v be b(-1). Suppose v*p - 56 = -4*p. Is 7 a factor of p?
True
Does 30 divide (355/(-5))/1*-3?
False
Let x = 47 - 30. Suppose -4*o - x = -5*y + 6, -5*o - 3*y - 75 = 0. Is 11 a factor of o*(33/(-12) - -1)?
False
Suppose 3*v + 19 + 2 = 2*s, -5*v - 5*s - 10 = 0. Let m = 14 + v. Is 9 a factor of m?
True
Suppose -5*q = -2*c + 196, c - 26 = -5*q + 102. Suppose 3*m - c = m. Suppose 4*k - 98 = m. Is 15 a factor of k?
False
Let d(i) = 4*i. Let c be d(1). Suppose 20 = -4*x, -5*o = -3*o + c*x - 136. Is 26 a factor of o?
True
Let i = 158 + -2. Suppose 3*o = -f + 4*f + i, f = 2*o - 99. Does 17 divide o?
False
Let g(r) = -5*r**2 + 3*r**2 - 5*r - 4*r + 1 + 3*r**2. Is 23 a factor of g(11)?
True
Let b(c) = -43*c + 1. Let i = 7 - 9. Is b(i) a multiple of 29?
True
Let q(m) = -84*m**3. Let w be q(-1). Suppose -4*n = -2*n - w. Is n a multiple of 14?
True
Let r = -6 - -8. Let p(n) = 0*n + 2*n**r + 2*n - n**3 + n - 2 + 2*n**2. Is p(3) a multiple of 5?
False
Suppose 0 + 4 = 2*n +