pose -5*b - 144 = -p*b. Is 24 a factor of b?
True
Suppose -w + 113 = -2*f, -w - f - 44 = -163. Does 9 divide w?
True
Suppose -4*n = -4*h + 280 - 860, -3*h - 723 = -5*n. Is 8 a factor of n?
True
Let l(w) = -w**3 - 10*w**2 - 7*w + 6. Let g be l(-6). Let i be 3/(-2)*g/9. Let j = -4 + i. Is j a multiple of 6?
True
Let z(n) be the second derivative of -n**4/12 + 11*n**3/2 + 63*n**2/2 - 25*n. Is z(26) a multiple of 33?
False
Let s(u) be the first derivative of 23*u**5/60 - u**3/6 + 3*u**2/2 + 4. Let a(t) be the second derivative of s(t). Is 22 a factor of a(1)?
True
Suppose -5*s + 4*x + 12 + 72 = 0, 36 = 2*s - 4*x. Let b = 6 - s. Does 7 divide 3/1 - (b - 2)?
False
Let c = -2 - -25. Suppose -u + c = -5*f, -2*u + 4*u = -5*f + 46. Suppose -z = -73 + u. Is z a multiple of 25?
True
Let k(g) be the third derivative of 11*g**6/360 + g**5/30 + g**4/6 - g**3/2 - 4*g**2. Let m(q) be the first derivative of k(q). Is 17 a factor of m(-3)?
False
Let a = -16 + 204. Is a a multiple of 3?
False
Suppose 2*v + 21 = -g, -5*v - 37 - 8 = g. Let u = -12 - v. Let l(y) = -y + 2. Is 5 a factor of l(u)?
False
Let y be 38/9 - 6/27. Suppose y*o + 5*z = o, -3*z = 4*o. Suppose 5*j + 20 - 320 = o. Is j a multiple of 12?
True
Let n = 7 - 2. Suppose -n*d = x + 4, 3*x + 4 = -d + 2*x. Suppose 2*g + g - 18 = d. Is 6 a factor of g?
True
Suppose 2*m - 152 = -0*m. Let c = -70 + m. Is c a multiple of 3?
True
Let p = 26 - -40. Is (-18)/1*p/(-18) a multiple of 10?
False
Let k be (-1 + 3)*30/20. Suppose -k*p = 1 - 37. Suppose 24 = p*u - 8*u. Is 6 a factor of u?
True
Suppose 0 = -x - x + 8. Suppose -12 = -x*b + 4. Suppose 3*f + 5*h - 96 = 0, b*h + 96 = 4*f - 0*h. Is f a multiple of 10?
False
Suppose -65*g - 809 = -69*g - x, -3*x = 4*g - 811. Is g a multiple of 7?
False
Suppose 0 = 4*i - 12 - 0. Suppose 5*r - 3 = -g - 0*g, -58 = -4*g + i*r. Is 2 a factor of g?
False
Suppose 0 = -119*o + 193*o - 129278. Does 4 divide o?
False
Suppose 4*t - 32 = 5*a - 2*a, -5*t + 17 = 2*a. Suppose t*u - 668 + 238 = 0. Does 20 divide u?
False
Suppose -238 = 2*k + 188. Let c = 303 + k. Is c a multiple of 12?
False
Let j be (8/(-6))/2*72/(-16). Let b(y) = 8*y**2 - y - 7. Does 4 divide b(j)?
False
Suppose 4*d = -5*d + 5193. Does 8 divide d?
False
Let x(l) = -l + 6. Let m be x(4). Suppose s + 2 = m*s. Suppose -3*f - 4*r + 40 = 0, -s*f + 2*r + 21 = -r. Does 6 divide f?
True
Is -1 + 77/56 + (-30305)/(-40) a multiple of 54?
False
Let v be (-16 - -15 - (-2 - -1))/(-2). Suppose -12*d + 2*d + 400 = v. Is 9 a factor of d?
False
Let w(q) = 274*q**2 - 18*q - 28. Does 4 divide w(-2)?
True
Let g(b) = -3*b - 19. Let p be g(-9). Let u be (7/(-2))/7*p. Let i = 16 - u. Does 5 divide i?
True
Let z(c) = c + 1. Let l be z(2). Let y(g) = 4*g**2 - 9*g**3 - 17*g**l + 1 + 6*g**3 - 6*g**2. Does 19 divide y(-1)?
True
Suppose -19 = -2*g - 51. Let s = g - -21. Suppose 0 = h, s*m + 4*h - 127 = 128. Is 17 a factor of m?
True
Let f be (-8)/24 - 1622/(-6). Suppose -2*y = 5*o + 131, -5*y - f = -4*o + 5*o. Let a = y + 89. Is 12 a factor of a?
True
Let l(q) = -q**2 + q + 218. Let c be l(0). Let y = -119 + c. Does 22 divide y?
False
Suppose 17 = -2*d - 5*g, 2*g - 25 = 7*g. Let c be d/(-1) - 5/(-1). Let v(z) = 27*z**3 - z**2 + z - 1. Does 26 divide v(c)?
True
Let o = 50 + -74. Let v(w) = -2*w + 17. Let n be v(7). Let y = n - o. Is y a multiple of 16?
False
Suppose 11*t - 6 = 9*t. Suppose 0 = -3*f + h + 8, -2*f + t = -h - 2. Suppose p - 56 = f*z, 5*z = 6*p - p - 240. Is p a multiple of 22?
True
Let v = -17 - -19. Let s be v/4 + 334/4. Is (s/(-10))/((-8)/40) a multiple of 14?
True
Suppose -3*r + 50*t + 1175 = 45*t, 0 = 5*r - 4*t - 1980. Is 22 a factor of r?
False
Suppose 0 = 2*l - c - 11, -4*l = c + 6 - 19. Suppose 2*v = -l*b + 41 + 33, 4*v = -2*b + 124. Let d = v - -4. Does 11 divide d?
True
Let o(m) = -3*m**3 - 11*m**2 + 2*m - 6. Let g be o(-6). Let j = g - 167. Does 17 divide j?
False
Let m(h) = 3*h**3 - 2*h**2 - 5*h - 5. Let f be m(-3). Let w = -21 - f. Does 17 divide w?
True
Let c be 8/60 - 64/30. Is 8 a factor of (c + (-8)/(-10))/(6/(-160))?
True
Suppose 3*b = 0, 0 = -5*m - 3*b - 16 + 46. Suppose -9 = m*a - 93. Is a a multiple of 14?
True
Let c = 507 + -100. Is 44 a factor of c?
False
Suppose 884 = 22*i - 1030. Does 12 divide i?
False
Let r(i) = 5*i**3 + 11*i**2 - 28*i + 4. Is r(3) a multiple of 13?
False
Let v(j) = 3*j**2 + 3*j - j**2 + 2*j**2 - 3 - 3*j**2. Let a be v(-4). Is 0/3 + 41 + a a multiple of 14?
True
Suppose -72*x + 75*x = 3894. Is 87 a factor of x?
False
Suppose -52*i - 756 = -58*i. Let s(x) = -71*x + 1. Let w be s(-1). Let f = i - w. Is 9 a factor of f?
True
Let d = 2331 + 431. Is d a multiple of 11?
False
Let y(x) = -x**2 - 5*x + 16. Let z be y(-7). Suppose -z*s + 23 + 35 = 0. Is 13 a factor of s?
False
Suppose -2*h - 2*m = -744, h = 6*h - 5*m - 1910. Is 16 a factor of h?
False
Let q(w) = 31*w**2 + w. Let y be q(-1). Let g be 54/(-297) - 922/11. Let m = y - g. Is 19 a factor of m?
True
Suppose 17*x - 15*x = -8, 0 = 3*u + x - 1718. Does 41 divide u?
True
Let m(x) = -2*x + 13. Let c = -22 - -9. Let r be m(c). Suppose -4*n = -n - r. Is 4 a factor of n?
False
Suppose 0*l + 4*l = 4. Let h be (-2)/2*l*-4. Is (-112)/(-5) + h/(-10) a multiple of 11?
True
Suppose 4*y = -3*k + 1440, 3*y = -10*k + 6*k + 1913. Is k a multiple of 34?
True
Let w(i) = 1121*i + 103. Does 28 divide w(1)?
False
Suppose -5*u - d - 4*d + 20 = 0, 2*u - 29 = 5*d. Suppose u = -t + 5*g, g - 4 - 65 = -5*t. Does 13 divide t?
True
Let y(p) = -4*p - 3 + p + 7. Let z be (-10)/4*(-160)/(-100). Is 8 a factor of y(z)?
True
Let r(f) = f**3 + f**2 + f - 7. Is 3 a factor of r(3)?
False
Suppose -6 = -2*j + 2. Suppose -j*w - 2*w = -198. Is w a multiple of 11?
True
Let t be (4 - 5)/((-1)/2). Suppose -c + 2 = 0, t*v = 3*v + c - 72. Is v a multiple of 14?
True
Let r(v) = -v**2 - 5*v + 4. Let h = -15 - -10. Let a be r(h). Suppose 0 = -a*p + 195 + 69. Is 22 a factor of p?
True
Suppose 4*x = 12*x - 176. Suppose -6*v + x = -458. Is 23 a factor of v?
False
Suppose 5*g = s + 10*g - 1313, 0 = 3*g + 6. Is 38 a factor of s?
False
Suppose 3*j - 24 = -4*v, -5*v = -0*v - 3*j - 57. Let g = v - -13. Does 7 divide g?
False
Suppose b + x + 2 = 0, -2*b - 5*x + 4 = b. Let p = b + 9. Suppose -p*s + 3*v + 132 = 0, v - 88 = -s - 3*v. Is s a multiple of 12?
True
Suppose -18*x + 256 = 22. Is 3 a factor of x?
False
Let g be 2*5 - (-2 - -3). Let q be ((-20)/(-30))/(2/g). Suppose -3*l + 95 = 2*x, -4*l = 4*x - q*x - 40. Is 13 a factor of x?
True
Let v = -6 + 8. Is (v - -1)*-3*40/(-12) a multiple of 10?
True
Let g be 12/(-2) + 2 - -2. Suppose 2*w - 34 - 6 = 0. Is (-45)/g*24/w a multiple of 8?
False
Let h(l) = l**2 + 2*l + 1. Let t be h(-1). Suppose t*g = -5*c + 3*g + 441, 4*g - 102 = -c. Does 15 divide c?
True
Does 10 divide ((-51)/15)/(6/(-1590))?
False
Let j = 626 + -390. Is j a multiple of 6?
False
Does 5 divide (-1 - -51) + (-330)/(-66)?
True
Let x(t) be the first derivative of t**4/4 + 5*t**3/3 - 4*t**2 - 9*t - 1. Let c be x(-6). Suppose 4*g - 3*j + j = 114, -g = c*j - 25. Is 9 a factor of g?
False
Is 16 a factor of 12810/9 - (36/(-27))/2?
True
Suppose -5*y + 11*y - 2094 = 0. Is y a multiple of 17?
False
Let c = 159 - 227. Suppose -21*a + 24*a + 138 = 0. Let v = a - c. Does 10 divide v?
False
Let j be (-41)/3*(-1 - 2). Let w = -93 + j. Does 6 divide (-103)/(-4) + (-13)/w?
False
Let y = -29 + 63. Suppose -y = -j - 12. Does 4 divide j?
False
Let r(p) = -4*p**3 + 2*p**2 + p - 1. Let b = 60 + -40. Let v = -22 + b. Does 11 divide r(v)?
False
Let o be (7/(-2))/((-5)/(-10)). Let t = -2 - o. Let m(a) = a**2 + 2*a + 7. Is 14 a factor of m(t)?
True
Suppose 4*s + 3*q - q - 172 = 0, 3*s - 3*q - 138 = 0. Does 6 divide s?
False
Let m(y) = -23*y - 20. Suppose 7 = -3*n - 5*j + 2, -35 = 5*n - 5*j. Does 16 divide m(n)?
False
Let f = 1925 - 900. Is f a multiple of 25?
True
Suppose -2*f + 24 - 152 = 0. Let i be f/(-9) + 4/(-36). Does 8 divide (i/(-7))/(2/(-70))?
False
Let g be -2 + 5 - (-1732)/4. Suppose 5*k + a = -2*a + 752, -2*a - g = -3*k. Suppose 56 + k = 4*i. Does 17 divide i?
True
Let s(x) = -x**3 + 13*x**2 + 15*x + 18. Let l be s(13). Suppose -5*i + l = 5*u - u, 0 = i + 5*u - 30. Is i a multiple of 25?
False
Let r be 3/6*(-28)/7. Does 7 divide (304/(-64))/(r/16)?
False
Does 60 divide (-16 - -1)*-240 - -12?
False
Let t(