Is 3 a factor of p?
False
Let g be 2496/16 - -2*2. Suppose -4*d + 0*d + g = 0. Does 6 divide d?
False
Let o = 210 - 126. Is o a multiple of 14?
True
Suppose 22*v + 2*b - 73 = 21*v, 5*v - 5*b - 395 = 0. Is 7 a factor of v?
True
Suppose -8 = -2*z + 2*a, -4*z - 4*a + 7 = 23. Let d = 336 + -176. Suppose z = -b + 5*b - d. Is 20 a factor of b?
True
Let n(y) = -2*y**2 - 15*y + 8. Let d be n(-8). Suppose w + 98 = k + 28, d = 5*k + 3*w - 358. Is 13 a factor of k?
False
Let c(t) be the first derivative of t**4/12 - t**3/6 - 13*t**2/2 + 7*t - 11. Let m(a) be the first derivative of c(a). Is m(-6) a multiple of 12?
False
Let n(r) = r**3 - 6*r**2 - 19*r + 17. Let l be n(8). Let y(w) = w**3 + 10*w**2 + 16*w + 2. Is y(l) a multiple of 34?
False
Does 10 divide (-360)/9*(-82)/8?
True
Suppose 0 = -5*z - 5*d + 3215, 0*z - d = -2*z + 1301. Is 54 a factor of z?
True
Suppose -4*b - 17 = -3*j, 5*j - 5*b - 25 = -0*b. Suppose -j*m + 43 = -3*q - 14, 3*m + 3*q - 39 = 0. Is m a multiple of 12?
False
Let n(j) = -93*j + 114. Is n(-6) a multiple of 12?
True
Let t = 317 + -12. Is t a multiple of 61?
True
Let r = -4 + 16. Suppose 0 = -2*o + r - 4. Suppose -o*c + 6*c - 90 = 0. Does 11 divide c?
False
Let c be (-1)/((-21)/(-12) - 2). Suppose 5*j = c*j + 1. Suppose 0 = -5*p + 106 - j. Is 6 a factor of p?
False
Let n(r) = 43*r + 367. Is n(-8) a multiple of 4?
False
Suppose 6*a = 14 + 10. Suppose -35 = -k - a*k. Is 6 a factor of k?
False
Let h = 3105 - 1880. Is h a multiple of 25?
True
Let d be 11 + -3 + (-1 - 4). Suppose -g + 173 = 6*i - d*i, 3*g - 4*i - 506 = 0. Is g a multiple of 17?
True
Suppose -7*w - 97 = -265. Is w a multiple of 12?
True
Suppose 3 - 35 = -4*f. Suppose 2*u + f = 4*u. Suppose v = j - 2*j + 25, -j + u*v + 35 = 0. Is 8 a factor of j?
False
Suppose -4*d + 8*d = -2*t + 4004, 5*d + 4040 = 2*t. Does 37 divide t?
False
Suppose -27*a + 10050 + 561 = 0. Is 7 a factor of a?
False
Suppose -16*r + 18 = -30. Suppose r*w = 29 + 10. Is w a multiple of 2?
False
Let g be (-368)/2*(-3)/6. Let l be 1 + (36/3)/3. Suppose -l*m = -g - 128. Is m a multiple of 9?
False
Let f(u) = -6*u + 65. Let r(p) = 19*p - 194. Let s(y) = 11*f(y) + 4*r(y). Does 15 divide s(8)?
False
Let b be 4/(-6)*(-2415)/14. Let a be ((-5)/(-4))/(7/28). Suppose -a*s + b = 30. Is s a multiple of 4?
False
Let u be (-174)/(-18) - (-2)/6. Suppose -u = n - 2*n. Is 385/n - 9/(-6) a multiple of 22?
False
Let u(w) = 5*w**2 - w - 13. Suppose 0*f - 24 = 3*f + 3*k, 0 = 3*f - 4*k - 11. Is u(f) a multiple of 9?
False
Is 4 a factor of 39/(-117) + (-1754)/(-6)?
True
Suppose -36*g + 54947 = 7103. Is 10 a factor of g?
False
Let c be (-3)/(5/((-20)/(-4))). Is 50 a factor of ((-140)/c)/(-7)*150/(-4)?
True
Let z be (-1)/(-2) - (-30)/4. Suppose z*f = 3*f + 10. Suppose -i + 144 = f*i. Is i a multiple of 12?
True
Let k = 0 + -15. Let o be 4/6*18/(-1). Is 22 a factor of k*o/9 + 2?
True
Let f(d) = 3*d**2 + 6*d - 8. Let w = -29 - -23. Is 18 a factor of f(w)?
False
Let u(d) = 6 + 1 - 4*d + 1 + 5*d. Let w be u(-8). Suppose w = 5*c - 46 - 44. Is c a multiple of 6?
True
Let h be ((-224)/12 - 2/(-3)) + 3. Is 8 a factor of (h/(-10)*-2)/((-3)/64)?
True
Let a(d) = 3*d**2 + 6*d + 2. Let w be a(-3). Suppose 0 = s - 17 + w. Does 3 divide s?
True
Let w(x) = 7*x**3 - 5*x**2 - 5*x + 11. Does 14 divide w(4)?
False
Suppose 3*j + 21*m = 19*m + 1655, 3*j - 5*m = 1690. Is j a multiple of 35?
False
Suppose -2*m + 4*w = 0, -2*m + 2*w = -w - 2. Suppose -4*v + 508 + 68 = m*p, -4 = -2*v. Suppose p = 4*f + 46. Is 11 a factor of f?
False
Suppose -h + 3 = -1. Suppose -4*f + 6*f - 196 = 4*a, -5*f + h*a = -508. Is 23 a factor of f?
False
Let p be ((-5)/(-2))/(8/(-32)). Let t = p - -10. Does 16 divide (-9)/(-3) - t - -52?
False
Suppose -4*x + 16 = 2*n, 2*n + x + x - 6 = 0. Does 8 divide (n - 36/(-30)) + 1548/10?
False
Let s = 5 + 3. Suppose s = -4*g + 104. Let v = g + -17. Is v a multiple of 2?
False
Let q be (-1 + (-1)/2)/((-16)/32). Suppose -q*w = 0, -5*i + 7*i - 20 = -5*w. Is i a multiple of 9?
False
Is 43 a factor of (-313650)/(-123) + (1 - 14)?
True
Is 314/1 + -5 + 11 a multiple of 14?
False
Let j(a) = a**3 + 4*a**2 - 3. Let w be j(-3). Suppose -2*o + 2*m = -w*o + 18, 13 = -o + 3*m. Suppose -x = -3*u + 37, -o*x = -6*x - 4. Is 12 a factor of u?
True
Let p(u) = u**3 + 4*u**2 + 2*u + 4. Let n be 2/((-7)/(-2) + -4). Let l be p(n). Does 9 divide (-115)/(-2) - (-2)/l?
False
Let x be (3/(-6))/(1/14). Let y be ((-35)/(-4))/x*52. Let m = -35 - y. Does 5 divide m?
True
Let x(s) = 104*s**3 - 3*s**2 + 4*s - 13. Is 20 a factor of x(2)?
False
Suppose -g - 13 + 6 = 0. Let b(o) = o**2 + 5*o - 13. Let x be b(g). Is (-9)/2*(-7 - x) a multiple of 9?
True
Let b be 8/(16/(-14))*-1*1. Suppose -3*z = -b*z + 140. Is z a multiple of 5?
True
Let l(g) = 681*g - 36. Does 43 divide l(1)?
True
Suppose -26*y + 230 = -160. Is 15 a factor of y?
True
Is 16 a factor of (-512)/(-8)*(-132)/(-16)?
True
Suppose 10 + 2 = -3*p, -5*f = -p - 29. Suppose -23 + 7 = -4*s. Suppose 0 = -4*l - f*h + 262, 364 = s*l + 4*h + 104. Is l a multiple of 21?
True
Let o(i) = -i**2 - 7*i - 10. Let c be o(-4). Suppose -c*n = -n - 11. Is 11 a factor of n?
True
Is 140051/86 + 7/(-2) a multiple of 25?
True
Let z = -22 - -32. Let i = 31 - z. Is i a multiple of 14?
False
Let d(i) = 21 + 19*i**2 - 2*i + 0*i - 18*i**2. Is d(7) a multiple of 40?
False
Let r(n) = -5*n - 9. Does 8 divide r(-8)?
False
Let i be 21/2*(-16)/12. Let x = i - -19. Suppose 8 = x*s - 277. Is s a multiple of 20?
False
Let u(d) = 3*d**2 - 15*d - 12. Let c be u(8). Let h = 84 - c. Is h a multiple of 24?
True
Let c = -416 + 742. Suppose 0 = 4*p - 34 - c. Suppose -p = -2*h - v, -4*v = -h - h + 100. Is h a multiple of 11?
False
Let a = -10 + 14. Suppose 0 = -y - a + 2. Is (y*7)/(10/(-35)) a multiple of 11?
False
Let a be (7/3)/(1/3). Suppose a*n = 127 + 41. Is n a multiple of 8?
True
Let n = 2226 + -172. Is 79 a factor of n?
True
Let g(o) = -o**2 - 6*o - 11. Suppose 5*i - 5*x = -20, -5*i = -2*x + 8 + 15. Let j be g(i). Is 168/j*1/(-1) a multiple of 14?
True
Let a(p) = 35*p - 60. Suppose -2*q + 3 = -3, 4*i + 3*q = 33. Is a(i) a multiple of 10?
True
Suppose -4*t + 4*l + 400 = 0, 5*l = -15*t + 17*t - 194. Does 5 divide t?
False
Suppose s + 5*g - 923 = 125, -2*g = s - 1033. Is s a multiple of 31?
True
Let b(u) = -10*u - 23. Let a be b(-11). Suppose a = 6*s - 309. Is 33 a factor of s?
True
Let z(x) = 12*x - 130. Is z(12) a multiple of 14?
True
Suppose -2*k - 91314 = -40*k. Is 27 a factor of k?
True
Let y(x) = -x**2 + 4*x + 9. Let z be y(0). Suppose -z*f + 240 = -f. Is f even?
True
Let y = -14 + 104. Suppose 20*s = 21*s - y. Does 18 divide s?
True
Let w be (2 + (-24)/9)*3. Let k be -4*(w - -3)*-13. Let v = k + -35. Is v a multiple of 13?
False
Suppose -5*b = -18 + 13. Is 6 a factor of -8*(((-135)/(-6))/(-3))/b?
True
Suppose 57 + 83 = 7*w. Does 20 divide w?
True
Let y = -543 - -1386. Is 17 a factor of y?
False
Suppose -5*s - 27 = 8. Let n(r) = 5*r**2 + 5*r - 36. Is n(s) a multiple of 29?
True
Let w = -925 - -1565. Does 8 divide w?
True
Let g(k) = k**2 + k - 2. Let j be g(2). Let n be (-4)/8 + 14/j. Suppose 4*m + t - 3*t = 226, 3*t = n*m - 162. Is 11 a factor of m?
False
Suppose 0 = -6*s - 546 + 1134. Is s a multiple of 7?
True
Suppose -11*k + 12*k + 4 = 0. Let f = 12 + k. Suppose 0 = -m + f - 1. Is 7 a factor of m?
True
Let a be 550/(-20) + 1/2. Let w be (-18)/a + 8/6. Suppose -3*l = -w*l - 6. Is 6 a factor of l?
True
Suppose 5*t = 6*t + 13. Let w = t - -12. Does 7 divide (14 + 10)*(w - -2)?
False
Suppose -4*j = -3*c + 1439, 9*c - 5*c - 1877 = -3*j. Is 11 a factor of c?
True
Is 19 a factor of -1394*(20/(-160))/(1/4)?
False
Let q(b) = 2*b - 9. Let u be q(7). Suppose 3*m = 11 - u. Does 19 divide (16/(-20))/(m/(-145))?
False
Suppose 5*z = 195 + 340. Suppose 2*k - 227 = -v + z, 1679 = 5*v + k. Suppose 4*s + 2*s = v. Does 20 divide s?
False
Let g(l) = -12*l**2 + 42 + l + 2*l**3 + 11*l**2 + 1. Is 10 a factor of g(0)?
False
Let m(j) = 0*j - 2*j + 4 - 2*j. Let p(n) = -15*n + 67. Let s be p(5). Does 9 divide m(s)?
True
Suppose -4*v + 4*l = -932, -3*v + 431 = -v + 5*l. Does 21 divide v?
False
Suppose -12 = -v - c - 2*c, -4*c = -3*v - 16. Suppose 4*r - 104 = -4*f, 2*f + 0*f - 2*r - 60 = v. Does 16 divide 0 + f - (-5 - -1)?
True
Suppose -39*w = 3*w - 22260. Does 17 divide w?
F