be (-3 + 7)/(-2) - -38. Suppose 5*w - 3*w - p = 0. Is 9 a factor of w?
True
Let w(h) = h**3 + 7*h**2 + 5*h + 2. Is w(-6) a multiple of 3?
False
Let o(i) = i**3 + i**2 - 5*i + 7. Is o(5) a multiple of 22?
True
Let u be (-1)/(22/(-10) + 2). Suppose 2*v - 4*v = -u*j + 7, -3*v = 3. Suppose -f + 3*b - j + 5 = 0, 0 = -b + 4. Does 8 divide f?
True
Suppose -6*g + 3*g + 9 = 0. Is g/(-12) - (-354)/8 a multiple of 11?
True
Let h(r) = 5*r. Let l(i) = -5*i + 1. Let x(o) = -7*h(o) - 6*l(o). Is 12 a factor of x(-6)?
True
Let n(f) = -13*f - 32. Is n(-9) a multiple of 21?
False
Let j be (-60)/(-16) - (-2)/8. Suppose j*l + 60 = -l. Let r = -6 - l. Is 3 a factor of r?
True
Suppose 0*x = 2*x - 8. Let b = x + -1. Is 12 a factor of 22/b*3 - -2?
True
Suppose -3*i = -7*i - 16. Does 6 divide 4/i + 2*14?
False
Let g(y) = 12*y - 9. Let r(t) = t**2 + t + 1. Let f(o) = g(o) - r(o). Is f(7) a multiple of 18?
True
Let i = 5 + -3. Suppose -6 + 2 = i*p. Let g = p + 7. Is 5 a factor of g?
True
Let m be 4/(-1)*(-4)/8. Suppose m*f - 40 = -3*f. Is 9 a factor of -5*2/f*-16?
False
Suppose 0 = s + 5 + 3. Let r = s - -20. Is 4 a factor of r?
True
Suppose 15 = 5*d + 310. Let t = 115 + d. Suppose -3*x - 4*r = -0*x - t, 2*r + 8 = 0. Does 12 divide x?
True
Let q be (-5)/(-4) + 4/(-16). Let g be 523/(-4) + q/(-4). Does 9 divide 10/35 + g/(-7)?
False
Let w(v) = -v - 10. Let k be w(-10). Suppose -4*c + 17 + 7 = k. Does 6 divide c?
True
Let w = -127 - -229. Does 14 divide w?
False
Suppose 2*u = 2*z - 4, 3*z + 3 = 5*u + 9. Let q(v) = 42*v - 3. Does 17 divide q(z)?
False
Suppose 5*n = -6 + 21. Suppose -3*i = -0*t + 3*t + n, 0 = -3*i + t + 9. Suppose 5 = -4*l - 3, -3*q - i*l + 80 = 0. Is q a multiple of 14?
True
Does 6 divide 3/((-6)/(-14) - (-220)/(-595))?
False
Is 13 a factor of (-2 - -1)*(3 - 0) + 76?
False
Let b be 18/(-8) - 3/(-12). Let o be 312/18 + b/6. Suppose -o = -4*u + 3*u. Is 16 a factor of u?
False
Let b(j) = 2*j**2 - 3*j + 1. Let q be b(2). Suppose 3*x - 8 + 2 = 0, -q*x = -4*k + 58. Does 15 divide k?
False
Let x = 5 + -22. Let r = x + 29. Does 11 divide r?
False
Suppose -5*i + 2*f = 0, -i = -0*i - 3*f + 13. Is 3 a factor of -2 + i - (-11 - 1)?
True
Let o(v) = 11*v - 10. Let r be o(7). Let y = r - 20. Does 14 divide y?
False
Let y be (2/4)/(2/124). Suppose -y - 17 = -4*l. Does 4 divide l?
True
Let n(h) be the first derivative of -6*h**2 - 2*h - 4. Does 11 divide n(-2)?
True
Suppose 3*a + 88 = b, 4 = -4*a - 4. Let c = -52 - 1. Let k = c + b. Is 18 a factor of k?
False
Suppose 0 = 5*s - 82 + 22. Does 11 divide s?
False
Let f be 3 - ((-3 - -2) + -127). Suppose -s + 2*k + 28 + 3 = 0, f = 5*s - 2*k. Does 7 divide s?
False
Suppose 5*z + 3*p = 605, -6*z + 4*p + 121 = -5*z. Does 47 divide z?
False
Does 23 divide (2 - (-1184)/12)*(-6)/(-4)?
False
Let c = 0 + 2. Let x(u) = -3*u + u + c + 8*u**2 + 3*u. Does 12 divide x(2)?
True
Let z be 15/20*64/12. Suppose z*r - 15 = r. Is 2 a factor of r?
False
Let z = -77 + 206. Suppose z = 4*s + 33. Does 7 divide s?
False
Let w(x) be the first derivative of x**4/4 - 2*x**3/3 - 4*x - 1. Suppose -4*n + 2 = 2*p, 2*p = -n - 0 + 5. Does 5 divide w(p)?
True
Let r be 2 + 6/(-2) - -6. Suppose -r*c + m + m + 16 = 0, 4*c + 5*m = -7. Suppose -c*z = -2*o - 5 - 37, 3*z - 57 = 5*o. Is z a multiple of 9?
False
Is (-3)/(-6) + 222/4 a multiple of 14?
True
Let k(u) = 24*u**2 + 2*u + 1. Let x be k(-1). Suppose 0 = -5*i + x + 52. Does 8 divide i?
False
Let t(v) = -v**2 - 2*v. Let a be t(-2). Suppose -5*h + 0*h + k + 12 = a, -2*h = -2*k. Suppose u - 13 = 4*m, u + h*m - 7 = 6. Does 13 divide u?
True
Suppose 2*h - 3*f - 11 = 0, -f = 5*h - 0*h - 2. Suppose -h = -3*c + 5. Suppose 5*n = a + 6, c*a = a - 2*n + 22. Is a a multiple of 14?
True
Let n(s) be the first derivative of -9*s**4/4 - 2*s**3/3 - s**2 - s - 1. Let t = -17 - -16. Is 8 a factor of n(t)?
True
Suppose 4*a - 5*w - 7 = 0, 3*a - w + 1 = -2. Let r(k) = -2*k**3 - 2*k**2 - 3*k - 1. Is 8 a factor of r(a)?
False
Is 8 a factor of (-900)/(-28) - 1/7?
True
Let w(l) = -2*l - 1. Let h be w(-2). Is 6 a factor of -3 - (63/(-3) + h)?
False
Let z(v) = -v**2 + 5*v + 2. Let p be z(5). Suppose 0 = -3*c + p*d + 183, -3*c + 198 = 3*d - 0*d. Is c a multiple of 19?
False
Is ((-469)/(-21))/((-1)/(-3)) a multiple of 15?
False
Suppose 97 = -3*z - 4*r, -2*r + 82 + 9 = -3*z. Let q = z + 45. Does 5 divide q?
False
Suppose 7*d - 3*d + 20 = 0. Suppose o - 2 = -0*o. Does 10 divide (d + 4)*(-40)/o?
True
Suppose 141 + 129 = 6*x. Does 3 divide x?
True
Let m = -42 - -48. Does 5 divide m?
False
Let n be 6/(-21) - (-32)/14. Let r = n - 4. Is 6 a factor of (4/(-5))/(r/20)?
False
Let t be ((-8)/(-2) - 1) + 1. Suppose 2*z - z - t = 0. Suppose 2*u - 5*g - 3 - 75 = 0, -5*u + 178 = -z*g. Does 17 divide u?
True
Let w be 4/(-3*(-4)/138). Let y = w + -27. Is 9 a factor of y?
False
Let a(n) = -92*n**3 + n**2 + n + 1. Let o be a(-1). Let w = o + -36. Does 20 divide w?
False
Does 2 divide (6/(-18)*-11)/((-1)/(-3))?
False
Let b = -3 - -5. Suppose 3*r - 9 = -4*p + 6, p - 15 = -b*r. Is 8 a factor of r?
False
Let c = 20 - 8. Does 12 divide c?
True
Is 16 a factor of 2/8 + 3 + 460/16?
True
Suppose 5*m = -2*o + 6 - 1, 31 = 2*m - 5*o. Let f(p) = p**2 - 5*p. Let w be f(5). Let v = w + m. Is v a multiple of 2?
False
Is -1 + -3 + (4 - -120) a multiple of 12?
True
Let m = 4 + 51. Is m a multiple of 11?
True
Suppose -3*t + x = -4576, -x = -0*x - 2. Let h be (-4)/18 + t/(-18). Let b = -47 - h. Is 16 a factor of b?
False
Let g(j) = -7*j + 5. Let i(n) be the first derivative of -18*n**2 + 24*n + 2. Let q(v) = -11*g(v) + 2*i(v). Is 18 a factor of q(5)?
True
Let y(r) = r + 9. Let o be y(-9). Suppose 272 = 4*d - o*d. Is 17 a factor of d?
True
Let r(x) be the second derivative of -x**4/4 - x**2/2 + x. Let m be r(1). Does 17 divide m/(8/(-94)) - 3?
False
Does 17 divide 9/(-12) - 364/(-16)?
False
Suppose 45 + 18 = 3*t. Is 11 a factor of t?
False
Let n = -6 - 6. Let a(y) = y**3 + 12*y**2 + 12. Is a(n) a multiple of 7?
False
Let n(j) = j**3 + 3*j**2 - 4*j + 2. Let w be n(-4). Let g be (-3)/w*30/(-9). Suppose 0 = g*c - 5*k - 75, 3*k - 43 = -4*c + 45. Is 12 a factor of c?
False
Let t(g) = 38*g + 5. Let c be t(5). Suppose 5*j = 5*k + 290, -71 = -5*j - 3*k + c. Is j a multiple of 20?
False
Suppose 0*b - 5*b = 4*n - 4, 0 = 3*n + 2*b - 3. Suppose 0 = f + 1 + n. Does 17 divide (-1)/(f + (-142)/(-72))?
False
Suppose -3*s - 504 = -0*s. Is ((-1)/3)/(4/s) a multiple of 14?
True
Let f(u) = 33*u**2 - 3. Let s(m) = 49*m**2 - 4. Let j(x) = -7*f(x) + 5*s(x). Does 15 divide j(1)?
True
Let w = -14 - -118. Let r = -67 + w. Does 8 divide r?
False
Does 25 divide (51 + -7 + 2)/1?
False
Let h(j) = -j**3 - 10*j**2 + 6*j - 11. Is 11 a factor of h(-11)?
True
Let g(m) = -2*m**2 + 6 - 3*m + 0*m**2 - 8*m + 3*m**2. Let j be g(6). Is 15 a factor of 42/4*(-80)/j?
False
Let p(i) = -6*i**3 + i**2 - 2*i + 3. Let n(g) = -g + 10. Let y be n(8). Let s be p(y). Let x = 70 + s. Is x a multiple of 12?
False
Suppose -3*q + 60 = q. Does 9 divide q?
False
Suppose 0 = 2*f - 5*y - 1 - 12, 2*f = -4*y + 58. Does 9 divide f?
False
Suppose 0 = p - 6*p. Let r = p + 6. Does 2 divide (-3)/(3*(-3)/r)?
True
Let k = 46 - 16. Suppose 4*l - 5*y - 69 - k = 0, 2*l + 5*y = 27. Does 14 divide l?
False
Is (-42 + -4)*(-1)/2 a multiple of 14?
False
Let r(n) = -n - 1. Let f be 17/(-3) - 2/(-3). Let b be r(f). Suppose -m + 2*d = 5*d - 34, 0 = -b*d. Is m a multiple of 17?
True
Let y(r) = r**2 + r**2 + 3*r + 4 + 0*r. Is y(-4) a multiple of 6?
True
Let x be 1/(3/3 + -2). Let p be 3 - (x - (-2 + -1)). Suppose -4*s + 36 = 4*n, -5*s = -n - 4*s - p. Is 3 a factor of n?
False
Suppose -4*v + 2*v + 76 = -a, 2*v = 3*a + 72. Let q = v + -11. Is q a multiple of 12?
False
Let t = -18 + 24. Does 3 divide t?
True
Let w = 4 + 0. Suppose -44 + 16 = 3*d - 4*f, 20 = -3*d - w*f. Let z = d - -26. Does 12 divide z?
False
Suppose -8 = -3*v - 2*i, i + 6 = 2*v + 2*i. Suppose 4*o + m - 27 = 0, v*o + 5*m = -1 + 40. Is 5 a factor of o?
False
Let b(w) be the second derivative of -w**5/20 - 2*w**4/3 - 4*w**3/3 + 9*w**2/2 - w. Let k be b(-7). Let f = k + -8. Does 3 divide f?
False
Suppose 4*x - 10 = -x, -3*x - 6 = 3*n. Is 5 a factor of 4/n + 1*11?
True
Let c(z) = 4*z**3 - z. Let g be 0 + 2/(-2 + 3). Let l be c(g). Suppose -19 = -s + 5*d, -21 - l = -5*s + 3*d. Does 3 divide s?
True
