Suppose 0*w + w = 4. Suppose -w*t - 3*c = -12, -6 - 3 = -3*t - c. Is 3 a factor of t?
True
Suppose 4*x = 139 + 373. Does 14 divide x?
False
Suppose -c - 5 + 3 = 0, -2*s - 4*c = 2. Suppose -66 = -4*d + 3*b, -10 = -d + s*b + 11. Is 15 a factor of d?
True
Suppose 0 = -5*k + 2*k + 33. Is 11 a factor of k?
True
Suppose 0*m + m = 0. Suppose -7*p + 3*p = -g - 136, g - 4 = m. Does 25 divide p?
False
Suppose 5*s + 3*v + v - 60 = 0, -3*s + 36 = -2*v. Is s a multiple of 6?
True
Suppose 28 - 328 = -4*v. Is 13 a factor of v?
False
Suppose d + 5 + 0 = 0. Let z be (-6)/9*(-45)/2. Is 12 a factor of -1 + z + 0/d?
False
Let p(m) = -32*m + 12. Does 17 divide p(-3)?
False
Suppose -n - 18 + 25 = 0. Is n even?
False
Let s be (-45)/(-2) + (-3)/(-2). Is 16 a factor of -4*2*(-159)/s?
False
Let x be (1/2)/((-2)/(-8)). Is (-2)/4 - (-77)/x a multiple of 20?
False
Let w(y) be the second derivative of y**4/2 - 5*y**3/6 + y**2 + 3*y. Is 14 a factor of w(3)?
False
Let g(w) = 2*w**2 + 4*w. Is 8 a factor of g(4)?
True
Suppose -4*s = -16, s - 6*s = 5*h - 25. Let t = h + 17. Does 5 divide (t/4)/((-2)/(-4))?
False
Let j(s) be the first derivative of s**4/4 + 3*s**3 + 7*s**2/2 + s + 3. Is 9 a factor of j(-8)?
True
Does 9 divide (-28)/7 - (-25 - 0)?
False
Let x be (2 + -2)/(-3 + 4). Let d = x - -3. Suppose 0 = -d*r + 60 + 66. Does 21 divide r?
True
Let g = 13 - 4. Is 2 a factor of g?
False
Let o be (-1)/(50/(-52) - -1). Let t be (-62)/22 + 46/(-253). Let s = t - o. Is 23 a factor of s?
True
Let b = 3 + 16. Suppose v - b = -5*n, 3*n + v + 3 = 4*v. Let t(r) = 4*r**2 - 3*r - 4. Is 13 a factor of t(n)?
False
Let w(k) = -k**2 - 2*k - 11. Let s be w(6). Let v = 125 + s. Is 18 a factor of v?
False
Suppose 2*a - 4*a - 5*x = -5, -5*a + 3 = 3*x. Let v(y) = y**3 + 5*y**2 + 3*y - 4. Let j be v(-3). Suppose 0 = -m + j - a. Is m a multiple of 5?
True
Let y be (3 - -2) + (-2 - 0). Suppose -5*u = -y*m - 12, 4*u - u - 4 = m. Suppose 4*l + u*l = 12. Is 3 a factor of l?
True
Is 31 a factor of 7416/40 - ((-3)/5 + 0)?
True
Suppose 4*o = 3*s + 3, 3*o - o - 4*s + 6 = 0. Is o a multiple of 3?
True
Does 14 divide (-42)/((-1)/4*6)?
True
Suppose -2*v + 2*t + 1 = t, t - 2 = -v. Is 6 a factor of 8/(v - -3) - -4?
True
Let y = -137 - -197. Is 15 a factor of y?
True
Suppose 280 = 5*u - 2*m - 3*m, 2*u - 116 = 3*m. Suppose 5*k = -5*w + 80, -3*w + 2*k = 7*k - u. Is 11 a factor of w?
False
Suppose 4*y + 71 - 195 = 0. Let f = y - 15. Is f a multiple of 16?
True
Let a(v) = -6*v**3 + v**2 + 3*v + 2. Let s be a(-2). Suppose -2*q + s = -172. Is 11 a factor of (q/(-15))/(2/(-6))?
True
Suppose -4*t + 0*t + 656 = 0. Let l = t - 89. Let f = -43 + l. Does 16 divide f?
True
Let q = 3 - -24. Does 2 divide (-4)/16 - q/(-12)?
True
Let n(j) = j**2 + 9*j + 11. Let k be n(-8). Suppose k*p = -p + 16. Suppose 5*x - 3*x = -4*b + 42, 85 = 5*b - p*x. Is b a multiple of 7?
False
Is 10 a factor of ((-34)/(-85))/(4/170)?
False
Suppose q + 25 = 5*l + 9, -5 = -q - 2*l. Let v(f) = -15*f + 1. Is 12 a factor of v(q)?
False
Let c = 8 - 53. Is (198/c)/((-2)/5) a multiple of 3?
False
Let w(j) = -7*j + 4. Is w(-10) a multiple of 21?
False
Suppose q = 3*q - 104. Is 26 a factor of q?
True
Let o(w) = -3*w + 11. Suppose -9 + 1 = -2*d, -4*i - 4*d - 24 = 0. Does 15 divide o(i)?
False
Let o be (-48)/(-15) + 2/(-10). Suppose o*j + 2*j = 95. Is j a multiple of 8?
False
Let u be (1/1)/((-1)/57). Let z be (-2)/8 - u/4. Suppose 2*f - z = -0*f. Is 7 a factor of f?
True
Let v(j) = -j**2 - j - 1. Let n(o) = o**3 + 12*o**2 + 9*o + 8. Let u(z) = n(z) + 6*v(z). Is 11 a factor of u(-4)?
True
Suppose 4*z = -b - 60, -3*z + z = -2*b + 30. Let v be (18/4)/(2/(-4)). Let l = v - z. Does 6 divide l?
True
Let a(m) = -26*m - 2. Let f be a(-4). Let b = f + -53. Does 18 divide b?
False
Suppose z - 46 = -6. Does 10 divide z?
True
Let t(q) be the third derivative of -q**5/60 + 7*q**4/24 + q**3/2 + q**2. Let x be t(7). Does 9 divide -1 + (x + 0)*5?
False
Let u = 70 + -30. Is 8 a factor of u?
True
Suppose 6*h = 2*h + 224. Is h a multiple of 14?
True
Suppose 5*t + 4*n = 746, -3*t + 364 = 4*n - 90. Is 17 a factor of t?
False
Let u(y) = y**3 - 8*y**2 + 8*y - 2. Let o be u(7). Suppose 0 = -2*h + o + 29. Does 16 divide h?
False
Let f(j) = -3*j + 4*j + 9 + 3*j. Is f(8) a multiple of 9?
False
Let m(j) = j**3 - 5*j**2 + 4*j + 1. Let q be m(4). Let y(v) = 131*v - 1. Let p be y(q). Suppose -p = 3*f - 8*f. Is 18 a factor of f?
False
Let u = -4 - -10. Let j(z) = 2*z**2 - 3*z - 4. Does 13 divide j(u)?
False
Let i be 1/2 - 1/2. Suppose -5*t + 20 = -t. Let y = t - i. Is 4 a factor of y?
False
Let u(j) = j**3 + 12*j**2 - 2*j - 4. Does 20 divide u(-12)?
True
Suppose f - 4 = 3*v - 19, 3*v - 4*f - 15 = 0. Suppose o = -4*o + v. Is 6 a factor of (34/4)/(o/2)?
False
Suppose 3*k - 155 + 8 = 0. Does 11 divide 2 + k + -5 + 1?
False
Suppose 4*b - 4*z - 196 = 0, 5*b - 94 = 3*z + 155. Does 11 divide b?
False
Let a be (-4)/(-14) + 2/(-7). Let v(d) = 6*d - 14. Let i be v(3). Let p = a + i. Is p a multiple of 4?
True
Let c(a) = 8*a**3 + 9*a**2 + 2*a + 2. Let q(p) = -23*p**3 - 26*p**2 - 6*p - 5. Let i(g) = 17*c(g) + 6*q(g). Is i(-3) a multiple of 11?
False
Let y(c) be the second derivative of -c**5/20 + c**4/2 + 5*c**3/3 - 4*c**2 + 4*c. Is y(7) a multiple of 8?
False
Is 6 a factor of (2/(-1))/(30/(-735))?
False
Suppose 2*a = 2*b + 176, -434 = -5*a + b + 2*b. Is a a multiple of 17?
True
Let l(p) = -p**2 + 4*p + 5. Let n be l(5). Let c = n + -6. Let r = 28 - c. Is r a multiple of 18?
False
Let i(a) = a**3 - 5*a**2 + 3*a + 1. Let h be i(4). Is 6 a factor of h/(-15) - (-58)/10?
True
Let z = -7 + 11. Suppose 0*n - 3*n - 4 = f, 3*f + 5*n - z = 0. Is 2/(-1*(-2)/f) a multiple of 8?
True
Let h = 3 + 2. Suppose -2*m + 2*f + 68 = 0, -h*m - f = 20 - 196. Is m a multiple of 13?
False
Suppose 127 - 11 = 4*g. Is g a multiple of 6?
False
Suppose m - 4*m + 39 = 0. Suppose 198 = 5*k + m. Is k a multiple of 12?
False
Is 2*17*((-34)/(-4) + -2) a multiple of 25?
False
Let t be -3 + 5 - 22/(-2). Let m = 37 - t. Is m a multiple of 12?
True
Let x(j) = -j**3 + 3*j**2 + 5*j - 1. Suppose 14 + 6 = 5*z. Let u be x(z). Suppose -2*l + 60 = 4*m + 12, -m + u = 5*l. Is 7 a factor of m?
False
Let w(g) = g + 78. Let a be w(0). Suppose -2*x = -4*d - 250 + a, 2*x - d - 160 = 0. Let h = -50 + x. Is h a multiple of 14?
True
Does 13 divide -296*((-18)/12 + 0)?
False
Suppose 5*m + 2 = 7. Let t = m + -2. Is 13 a factor of (29 - t)*(-12)/(-15)?
False
Let a = 41 - 24. Let m = a - 7. Suppose y = 24 + m. Is 13 a factor of y?
False
Suppose -5*v + 0*v = -35. Suppose -2*z + 3*b = 11, -v*b + 2*b = 4*z - 33. Let o = z - -1. Is o even?
False
Let x = -12 + 17. Suppose 4*d = -x*k + 247, -d - 121 + 323 = 4*k. Is 17 a factor of k?
True
Let z(u) = -2*u - 13. Let o(c) = c + 7. Let w be -2 - ((-21)/3 - 0). Let n(g) = w*o(g) + 2*z(g). Does 19 divide n(10)?
True
Suppose -2*o - 29 = 4*f - 189, 4*o = 8. Suppose 3*m - 44 = m + 2*u, -2*m + 3*u = -f. Is m a multiple of 13?
False
Let b be 0*(-1)/((-9)/(-3)). Suppose 0 = -3*u - b*u + 78. Does 26 divide u?
True
Suppose 2*a + 2*a - 400 = 0. Suppose 2*h = 4*q - a, 2*h + 46 = -q + 3*q. Does 15 divide q?
False
Let k = -7 - -13. Is 5 a factor of k?
False
Suppose c = -2*p + 20, c + 2*p + 2*p = 28. Let x(o) = 2*o + 17. Is 18 a factor of x(c)?
False
Suppose -13*w + 12*w - 2*q + 29 = 0, 0 = -w + 5*q + 29. Is w a multiple of 6?
False
Let f(o) = 71*o**2 - 1. Is f(-1) a multiple of 8?
False
Let z = 21 - 35. Let n(j) = 2*j**2 + 36*j - 7. Let s be n(-18). Is z/3*18/s a multiple of 12?
True
Suppose 3*w + 51 = 5*s, w - 39 = -0*s - 3*s. Suppose 0 = -5*h + h + s. Is h a multiple of 2?
False
Suppose -786 = 8*h - 2082. Is 21 a factor of h?
False
Let v(x) = -x**2 - 11*x + 1. Let c be v(-11). Is c - -7 - (-4 - -1) a multiple of 11?
True
Let c(n) = -3*n - n + 3*n - 8*n. Is 9 a factor of c(-2)?
True
Let c be 3 + -6 + 0 - -7. Let r = -1 + c. Is r even?
False
Let w(g) = -3 + 1 + 6 - 6*g - 2. Does 3 divide w(-2)?
False
Let o = 6 - 2. Suppose -5*x = 3*w - 26, 5*x = -o*w - 0*x + 28. Is 14 a factor of 1 + 16*2 - w?
False
Let l(f) = -22*f - 44. Is 44 a factor of l(-16)?
True
Let b = -3 - -73. Is b a multiple of 10?
True
Let l = -80 + 162. Does 12 divide l?
False
Let n(z) = 20*z - 67. Is 9 a factor of n(8)?
False
Let r(s) = -2*s + 16. Is r(0) a multiple of 9?
