 4*p = -1. Let d be 0/(1 - (-6)/(-3)). Let t = w + d. Does 5 divide t?
False
Let x(c) = 2*c. Is x(8) a multiple of 4?
True
Let i = -161 + 239. Does 22 divide i?
False
Let d(v) be the first derivative of -3*v**2/2 + v + 1. Let o(l) = -l**2 - 10*l + 4. Let x(r) = 7*d(r) - 2*o(r). Does 14 divide x(3)?
True
Let k(s) = s**3 - 5*s**2 - 5*s - 2. Let m be k(6). Suppose -z - m = -0*z. Let j = z - -27. Is 13 a factor of j?
False
Suppose 3*o - 4*o + 2 = 0. Suppose 32 = o*j + 2. Is j a multiple of 5?
True
Let k = 5 + 0. Let i(d) = -29*d. Let o be i(-3). Suppose w + k*f = -3*w + o, 0 = -2*w + 5*f + 21. Does 18 divide w?
True
Does 2 divide (3 + 4/(-2))*3?
False
Let k(b) = -b - 2. Is 4 a factor of k(-12)?
False
Suppose 3*c - 3*j - 72 = 0, -5*c + 0*j = 5*j - 170. Does 16 divide c?
False
Let i(g) = 19*g - 12. Does 16 divide i(4)?
True
Suppose 3*o = -2*l - 3*l + 52, -3 = -2*o + 3*l. Suppose 0 = -i + 5*x - 7, 5*x = 3*i - 10 - o. Is 13 a factor of i?
True
Let j(f) = -3*f - 8. Let q be j(-16). Let n = q - 17. Is 8 a factor of n?
False
Is 20 a factor of (-116)/(-2) - (2 + 2)?
False
Let w = -1 + 0. Let f = 1 - w. Suppose -f*r + 18 = 3*d - 1, 4*d + 3 = 3*r. Is 5 a factor of r?
True
Suppose -5 = -m + 2*p, -5*m + 4*p + 26 + 29 = 0. Suppose -40 + m = -5*b. Does 16 divide (-8)/(-20) - (-158)/b?
True
Suppose 0*w - 20 = -5*w. Suppose 0 = -4*p + t + 7, 5*p + 4*t - 24 = 11. Suppose 4*m = w*x + 88, 8*m = 3*m + p*x + 118. Is 13 a factor of m?
True
Let v = -11 - -39. Is 14 a factor of v?
True
Let p(i) = -12*i - 2. Suppose -3 = 2*g - m, m = 5*m - 20. Let u be -2*((1 - 1) + g). Does 11 divide p(u)?
True
Suppose -12 = 4*u + 8, -3*u = 5*i - 10. Suppose 60 = 2*q - 4*b, -i*q + 4*b + 52 + 74 = 0. Does 22 divide q?
True
Suppose 6*c - 25 = c. Suppose 0 = y - c*i - 9, -4*i + 1 = y - i. Is y a multiple of 4?
True
Let b(h) = h**2 + 8*h - 2. Let l be b(-7). Does 10 divide (-2 - l/3) + 22?
False
Let g = -2 + 10. Is 2 a factor of g?
True
Let z(j) = j**3 - 17*j**2 - 14*j - 6. Does 22 divide z(18)?
True
Suppose 4*j + 11 = 175. Does 26 divide j?
False
Let b = -4 + 6. Let y = -2 + b. Suppose m + y = 20. Is m a multiple of 10?
True
Let t = -19 - -11. Does 6 divide 15/(-6*2/t)?
False
Let q(y) = y**3 + y**2 - 2. Suppose i - 2 = 0, -s - 12 = -2*s - 5*i. Let r be q(s). Let l = -6 + r. Is l a multiple of 2?
True
Let t(c) = c - 4. Let b be t(7). Suppose 5*j = 3*l + 16 + 9, -3*l = 0. Suppose -j*q = -f - 4*f - 10, 0 = b*q - 12. Is 2 a factor of f?
True
Is (-78)/(-117)*(0 - 447/(-2)) a multiple of 8?
False
Let r(b) be the third derivative of 0*b + 2/3*b**3 + b**2 + 0 + 1/12*b**4. Is 9 a factor of r(3)?
False
Is 8 a factor of 48 + (4 - (4 + -1))?
False
Suppose -1 = -b, 7*w - 517 = 2*w + 3*b. Does 26 divide w?
True
Let p be 72/(-4) + 4/2. Let n be 2 + (p/2)/(-2). Suppose 3*j - n = 60. Is 22 a factor of j?
True
Suppose -66 = -4*i + 214. Suppose -6*r = -7*r + i. Does 23 divide r?
False
Let t(f) = f + 8. Let d be t(0). Let p be 62/(-4) - (-4)/d. Does 4 divide (10/p)/(2/(-12))?
True
Let f(o) = o**2 - 10*o - 7. Let u be f(8). Suppose 4*s + 19 - 7 = 0, -2*s = -3*c. Let p = c - u. Is 9 a factor of p?
False
Let b be 2 + 1 + (-2 - -2). Suppose -2*j + 3*j - 5*t = -17, 3*t = b*j - 9. Is 8 a factor of j?
True
Suppose 6*t - 116 = -20. Is 5 a factor of t?
False
Suppose -3*x + 4*u - 2 = -5*x, 8 = 4*u. Let v = x + 5. Suppose -3*a - 77 = -5*d + 70, 4*d - 100 = -v*a. Is d a multiple of 12?
False
Suppose -10 = -2*m - 4*t + 36, t - 5 = 0. Suppose 35 = 4*g - m. Does 6 divide g?
True
Suppose d + b - 116 = -3*b, 0 = -5*d - 3*b + 563. Is 18 a factor of d?
False
Suppose j - 2 = -0*j. Let b be 8/(-6)*(-3)/j. Let y(f) = 4*f**2 + f - 2. Is 10 a factor of y(b)?
False
Suppose 0 = 7*q - 2*q - 2010. Is 4/(-22) + q/33 a multiple of 6?
True
Suppose 5*c = 595 - 100. Is 11 a factor of c/(-6)*(-8)/6?
True
Suppose -5*h + 72 + 8 = 0. Is h/(0 + 0 + 1) a multiple of 6?
False
Let x = -22 - -33. Let u(w) = -w**2 + 11*w + 15. Is u(x) a multiple of 5?
True
Let d(j) = -2*j + 12. Is 5 a factor of d(-4)?
True
Let d be (0 + -3)/(15/(-25)). Suppose -4*s + 1 = -8*g + 3*g, 3*g = 5*s - 11. Suppose d*j = b + 121, -g*b - 3 = -0. Does 9 divide j?
False
Let w be -1 + 26 + 0 + 0. Let i be w/(-5)*(0 + -1). Suppose 0 = -3*t + 7 + i. Is t a multiple of 4?
True
Let w(b) = 4*b - 2. Is 22 a factor of w(6)?
True
Suppose 5*v - 38 - 17 = -5*d, -3*d - 6 = 0. Is v a multiple of 4?
False
Suppose -3*s = -s. Let r(x) = x**2 + 2*x. Let o(m) = 2*m**2 + 3*m - 1. Let a(y) = -3*o(y) + 5*r(y). Is 2 a factor of a(s)?
False
Let b be (-2)/(2*3/240). Is 96/5*b/(-24) a multiple of 22?
False
Let f(l) = -2 - 5 - 2 + 4 - 2*l + l**2. Let p be f(4). Suppose 4*n = -j + 40, -4 + 107 = 4*j - p*n. Does 16 divide j?
False
Suppose -6 + 21 = 3*j. Suppose 2*w - 17 = -x - j, -w + 36 = 2*x. Let f = x - -18. Is f a multiple of 19?
True
Does 22 divide (-32)/8*-11*1?
True
Suppose -3*q - 7 + 142 = 0. Does 17 divide q?
False
Suppose -1 = -m + 1. Suppose 2*z - z = -m. Is 13 a factor of (-156)/(1 + -4) + z?
False
Suppose 4*q - 401 - 1011 = 0. Suppose 0 = -2*x - 4*y + 122, 5*x + 3*y = 5*y + q. Is 14 a factor of x?
False
Suppose 2*u + 3 = -4*w + 87, 2 = u. Does 3 divide w?
False
Let w = -1 - -5. Suppose w*n + 0*n - 48 = 0. Is n a multiple of 4?
True
Let c(k) be the third derivative of k**6/120 - 2*k**5/15 - 5*k**4/24 + 2*k**2. Suppose 3*g - 32 = -5*l, -2*g + 25 = -2*l + 9. Is c(g) a multiple of 18?
True
Suppose -2*x + 80 = -o - 2*o, 225 = 5*x + 5*o. Is 6 a factor of x?
False
Let u(g) = 68*g + 1. Suppose 2*j + 3 = 5*j. Let m be u(j). Suppose 2*i + 11 = m. Is i a multiple of 10?
False
Is (-15)/2*(-8)/6 a multiple of 7?
False
Suppose -21 = 5*t - 106. Suppose -3*w + t = -4*q, 3*q + 18 = 5*w - 14. Suppose -4*s + f + 6 = -w, 2*f + 17 = 5*s. Is 3 a factor of s?
True
Let t(n) be the first derivative of n**3/3 - 2*n**2 + 3*n + 3. Is 5 a factor of t(6)?
True
Let z(d) = -2*d**2 - 7*d**3 - 3*d + 9*d**3 + 3 + 0*d**2. Does 3 divide z(2)?
False
Let i be (10/20)/(1/(-20)). Let s = i + 22. Does 5 divide s?
False
Is 6 a factor of 23 - -1 - 0/(-19)?
True
Let a = 9 + -9. Suppose -3*n + 66 + 3 = a. Is n a multiple of 5?
False
Let z be (-54)/5*(-140)/21. Let n = -35 + z. Is 11 a factor of n?
False
Suppose -10 = i - 2*i. Is 3 a factor of 62/10 + (-2)/i?
True
Suppose 2*x + 4*a + 4 = 2, -5*x + 4*a - 19 = 0. Let h = x - -27. Suppose 0 = -4*f - 2*z + 54, f + 5*z = h - 6. Is f a multiple of 6?
False
Suppose -4*i + 36 = b, -2*i - i = 5*b - 44. Let q = 13 - i. Does 10 divide (-5)/(((-5)/2)/q)?
True
Let u(g) = 12*g**2 - 2*g - 5. Is u(-2) a multiple of 9?
False
Let s(k) = -3*k**3 - 2*k**2. Is 21 a factor of s(-3)?
True
Suppose -5*a - 127 = u, 0*u + 2*u = a + 32. Suppose -13*d - 1449 = -34*d. Let n = d + a. Is 13 a factor of n?
False
Suppose 360 = 21*r - 18*r. Does 24 divide r?
True
Suppose -32 = -3*i + 2*m, -5 + 13 = 3*i + 4*m. Let o(u) = u**3 - 8*u**2 + u + 1. Is o(i) a multiple of 9?
True
Suppose 2*k + 296 = 6*k. Is k a multiple of 22?
False
Suppose -41 = -3*a + 4*c + 54, 4*a - 3*c = 122. Is a a multiple of 7?
False
Let a = 0 - 5. Let v(z) = -6*z + 7. Let t be v(a). Let i = t + -5. Does 16 divide i?
True
Let b = -32 - -49. Let c = -6 + b. Does 7 divide c?
False
Let d(c) be the first derivative of c**2 + 2*c - 2. Is d(12) a multiple of 13?
True
Let j be (-7)/9 + (-6)/27. Let r = j + 4. Suppose r*q = -q + 40. Does 4 divide q?
False
Let x(q) = 4*q**3 - 3*q**2 + 3*q + 10. Let l(w) = 11*w**3 - 10*w**2 + 10*w + 29. Let u(p) = 3*l(p) - 8*x(p). Let v = 0 + 5. Does 6 divide u(v)?
True
Suppose 0 = -s + 3*s, -2*r + 4*s = -264. Is 12 a factor of r?
True
Suppose 5*u = 3*u + 18. Let a = 0 + u. Is 2 a factor of a?
False
Let c be (-10)/4*(-32)/40. Let k = c + 5. Let a(w) = w**3 - 7*w**2 + 2*w + 6. Does 10 divide a(k)?
True
Suppose -2*g - 148 = -x - 8, 2*g = 3*x - 428. Let z = x - 103. Is 15 a factor of z?
False
Let b(f) = 14*f**2 - f - 24. Is 26 a factor of b(-4)?
False
Suppose 2*w = 6*w + 40. Is 1/((1 - 3)/w) even?
False
Let v = -224 + 136. Let k = 175 + v. Suppose 3*t - 127 = p, -p = -2*t + 2*p + k. Is t a multiple of 21?
True
Suppose -4*a - s = -25, 5*a - 2*a - 23 = -5*s. Does 6 divide a?
True
Let a(g) = 4*g**2 + g - 5. Is 25 a factor of a(5)?
True
Suppose -10 = 5*u + 120. Is 3 a factor of (-4)/(-8) - u/4?
False
Let m(j) = -j**3 + j**2 + 4*j. Let u b