se -4*x + 5*m = 0, 4*x = 7*x + m. Suppose 2*l - 2*a - 9 - 11 = x, 4*a = -l + 10. Suppose 0 = n - 2 - l. Is n a multiple of 11?
False
Suppose -5*k = 5*p - 50, 0*p + 5*k = -p + 30. Let w(b) = b**3 - 5*b**2 + 6. Does 6 divide w(p)?
True
Suppose 2*c + 250 = 3*f - f, f - 130 = 2*c. Does 24 divide f?
True
Let p(b) = -b**3 + 10*b**2 - 3*b + 4. Let c be p(6). Suppose 0 = -5*g + c. Is g a multiple of 6?
False
Let v(g) be the first derivative of g**3/3 + 5*g**2/2 + 2*g + 2. Let f be v(-4). Is 3 a factor of 5/(-4)*8/f?
False
Does 9 divide 9/2*(-1)/(3/(-18))?
True
Is 3 a factor of (-9)/(((-2)/3)/2)?
True
Let s = 11 + -6. Suppose -3*u = 5*c - 160, 0*u + 110 = 3*u - s*c. Is (2 - u/(-12))*4 a multiple of 14?
False
Is 14 a factor of (-464)/(-7) + 14/(-49)?
False
Let c(i) = i**3 + 8*i**2 + 8*i - 6. Does 7 divide c(-6)?
False
Let t(i) = -2*i + 24. Let n be t(-19). Suppose 4*b = n + 58. Is b a multiple of 7?
False
Let z = -44 - -68. Is 4 a factor of z?
True
Let j = 7 + -2. Let y = 23 + j. Is 21 a factor of y?
False
Let k be (-4)/6*(30 + 0). Let p(h) = -3*h**3 - 3*h - 2. Let v be p(-2). Let j = k + v. Is 5 a factor of j?
False
Suppose 0*m = 3*m - 9. Suppose 5*n + 4 = -5*z + 9, 0 = -m*z - 4*n + 1. Is z a multiple of 2?
False
Let y be ((-6)/(-10))/((-4)/(-60)). Suppose -2*a - y = 5. Let r = a + 30. Is r a multiple of 23?
True
Suppose 12*z - 660 = 8*z. Suppose h = -f - f + 33, 0 = -5*h + f + z. Is h a multiple of 20?
False
Suppose m + 13 = 5*i - m, -2*m + 14 = 4*i. Is 22 a factor of (-3)/(-9)*i*44?
True
Let q(v) = v**3 + 4*v**2 - 5*v - 3. Suppose 2*s - 5*h - 24 = 0, 3 = -3*h - 3. Suppose 0 = 5*y + s*d - 4*d + 32, 0 = 3*y - 3*d. Is 17 a factor of q(y)?
True
Is 11 a factor of 179 - (8/((-8)/(-4)) + -1)?
True
Let z(x) = 5*x + 3. Suppose 2*d - 4 = -2*t, 0 = 3*t + 3*d - d - 11. Does 13 divide z(t)?
False
Let b = 288 + -120. Is 24 a factor of b?
True
Suppose -y - 10 = -x - 0*y, 4*x + 4*y = 8. Does 6 divide x?
True
Suppose -z = -83 - 26. Is 24 a factor of z?
False
Let g = -66 + 104. Is g a multiple of 6?
False
Suppose 0 = 4*f - 18 - 2. Suppose -f*a = -2*a. Suppose a*s = 2*s - 16. Is s a multiple of 4?
True
Suppose 2*h = 5*t + 185, -2*h - h + 225 = 3*t. Suppose 0 = u, 4*r + 3*u - h = -u. Is 20 a factor of r?
True
Suppose -2*m + 0*q - 3*q + 127 = 0, 2*q = -2*m + 124. Is 17 a factor of (-1 - 3/3) + m?
False
Suppose -5*p = 12 + 28. Let k(n) = n + 8. Let j be k(p). Let y(i) = -i + 12. Is 12 a factor of y(j)?
True
Suppose 4*u = -4*f + 32, 4*f + 2*u = -9 + 31. Suppose -k = -f*s - 13, -2*s = -2*k + s + 20. Suppose 2*p - 21 = k. Does 14 divide p?
True
Suppose -3*g + u + 121 = 0, 96 = 3*g + 4*u - 35. Is 15 a factor of g?
False
Suppose -6*n = -5*n - 27. Is n a multiple of 7?
False
Let b = 106 - -77. Is b a multiple of 22?
False
Suppose -6 = -3*p + 6. Suppose 5*r + 5 = -0, -5*i + 144 = -p*r. Suppose -4*f = -i - 48. Is 12 a factor of f?
False
Let j = -18 - -82. Is 16 a factor of j?
True
Suppose 0 = -0*h + 3*h, 40 = -4*k - 2*h. Suppose 2*b + 5*g + 20 = 0, -3*g + 22 - 3 = -5*b. Does 3 divide 2 + b - (k - -1)?
True
Let f be 1 - 0 - -2*47. Let v = f - 50. Is 16 a factor of v?
False
Let b be 1/((-10)/(-3) - 3). Suppose -67 - 20 = -b*y. Is 29 a factor of y?
True
Let n(j) = -11*j**3 + 25*j**2 + 19*j - 9. Let l(i) = -5*i**3 + 12*i**2 + 9*i - 4. Let t(k) = 13*l(k) - 6*n(k). Is 5 a factor of t(-5)?
False
Suppose 2*q + 6 = 0, -4*m - m - 4*q = -3. Suppose 14 = -m*t + t. Let g = t + 11. Is 3 a factor of g?
False
Let t(w) = 10*w**2 - 11. Does 37 divide t(4)?
False
Let w(g) = -2*g**3 - 5*g**2 - 4*g - 1. Let j = -10 + 15. Suppose -10 = j*l + 5. Is w(l) a multiple of 10?
True
Is 9 a factor of 7*4 + 8/(-4)?
False
Let h(d) = 12*d**2 - 4*d + 1. Is 27 a factor of h(3)?
False
Let k = 4 + -4. Let n(c) = -c**2 + 8. Let j be n(k). Let t = j - -1. Is 9 a factor of t?
True
Let n(r) = -r - 15. Let l be n(-9). Let z(k) = k**3 + 6*k**2 - 5*k - 6. Is z(l) a multiple of 12?
True
Let o(n) = n**2 + 7*n - 2. Let t be 12/(-3 + 0) + -1. Let q be o(t). Let u = q + 18. Is 2 a factor of u?
True
Let a be (2/(-3))/((-2)/6). Suppose v - 2*v - 4*f = -18, v = -a*f + 14. Is v a multiple of 10?
True
Suppose -380 = -3*c + 109. Is c a multiple of 14?
False
Let r be (-18)/(-5) - (-2)/5. Suppose -4*f + 136 = 4*y, 0 = -0*f + r*f + 20. Is 23 a factor of y?
False
Let s(d) = -2*d**3 - 6*d**2 - d + 12. Is 20 a factor of s(-5)?
False
Let t be -1 + 14*3/2. Suppose -5*b = t, 4*k - 5*b = 5*k - 9. Let j = -11 + k. Is j a multiple of 10?
False
Suppose -c = -3*c + 12. Let q be (-72)/(-21) - c/14. Suppose -q*y + 10 = -2*y. Is y a multiple of 7?
False
Let x(g) = 2*g**2 - 6*g**2 - g + 22*g**2 + 1. Is 9 a factor of x(1)?
True
Let b(l) = l**2 - 9*l + 11. Let v be b(8). Let h = -9 + v. Is (-8)/h*15/2 a multiple of 9?
False
Let i = 6 + -4. Suppose -i = w - 5. Let j(r) = 3*r + 2. Is j(w) a multiple of 11?
True
Suppose -10*d + 1397 - 317 = 0. Is d a multiple of 9?
True
Let z = -9 - -40. Does 4 divide z?
False
Suppose -9*t - 600 = -11*t. Does 60 divide t?
True
Let s = -23 - -30. Is 4 a factor of s?
False
Let p be 1/(-3) + (-32)/(-6). Let q = 7 - 3. Suppose p*z - f - 25 = -6*f, 4*f = 4*z - q. Is z even?
False
Let r(b) = 20*b**3 + b**2 - b + 1. Suppose 6*o + 3*t - 11 = o, 4*o + 4*t = 12. Is r(o) a multiple of 21?
True
Let y(v) = -v**2 + 1. Let x be y(0). Is 4*x/6*57 a multiple of 19?
True
Suppose -k = 3*y - 136, 0 = -2*y + 4*k - 5*k + 91. Does 10 divide y?
False
Let k be (-2 + 4)/((-2)/(-4)). Suppose -69 = -q + 9. Suppose g - k*g = -q. Is 13 a factor of g?
True
Let k(s) = -s**3 - 15*s**2 - 13*s + 14. Let p be k(-14). Suppose 3*f + 34 - 118 = p. Does 14 divide f?
True
Let x(d) = d + 2. Let f be x(2). Suppose -f*b = 49 - 329. Suppose -u + 18 = a - 4, -b = -4*a + 2*u. Does 18 divide a?
False
Let v(f) = -3*f + 3. Let b be v(2). Let x(d) = d**2 - 4. Let c be x(b). Suppose r + 96 = c*r. Is r a multiple of 8?
True
Suppose -4 = 2*l - 3*s, l = s - 2*s + 3. Let w be 11/((l + 0)/1). Suppose 7 + w = 3*g. Does 6 divide g?
True
Suppose 4*c = -s, -3*s + 5*c - 2 = -4*s. Let d(x) = x**3 + 10*x**2 + 12*x + 11. Let q be d(s). Let n = q - -13. Is 28 a factor of n?
True
Suppose 4*i + h - 6*h + 449 = 0, -4*h = 4*i + 476. Does 13 divide i/(-6) + 6/(-18)?
False
Let s be ((-5)/2)/((-1)/2). Let l(c) = 12 + 3*c**2 + 6*c + s*c**2 + c**3 + c**2. Does 14 divide l(-8)?
True
Is 4 a factor of (-4)/(24/(-32) - 2/8)?
True
Let q(f) = 2*f + 9. Is q(9) a multiple of 6?
False
Suppose 7*s - 10*s + 363 = 0. Suppose s - 45 = 2*n. Is n a multiple of 11?
False
Let a(t) = -t**2 - 5*t - 2. Let z be a(-2). Suppose 1 = -z*r + 9. Is r a multiple of 2?
True
Suppose 5*o - 13 = m, 2*o - m - 3*m + 2 = 0. Let j be ((-35)/(-3))/5*o. Suppose 4*w - j - 13 = 0. Is w a multiple of 2?
False
Let i = 271 - 199. Is i a multiple of 24?
True
Suppose -4*l - 3*j = 227, -225 = 4*l - 0*j + j. Let n = l - 34. Let r = -53 - n. Is r a multiple of 21?
False
Suppose -d = -0*d - 2. Suppose -x - 10 = 5*w, -d*x + 12 = -2*w - 4. Let g(a) = -a**2 - 8*a - 3. Does 12 divide g(w)?
True
Suppose -4*z - n + 75 = 0, 97 = 5*z - 0*n - 2*n. Is 16 a factor of z?
False
Let d = -6 - -26. Does 11 divide d?
False
Suppose 0 = -3*r - 0*r + 6. Suppose -172 = -3*n + 374. Suppose -2*q = -4, -4*h + r*q - 3*q = -n. Is 21 a factor of h?
False
Let g(d) = 2*d**2 - 29*d - 7. Let i(w) = -w**2 + 15*w + 3. Let p(x) = -3*g(x) - 5*i(x). Is p(12) a multiple of 3?
True
Let o = 22 - 6. Suppose 4*n + m = -m + 76, o = -4*m. Does 8 divide n?
False
Let s(u) = -u**2 - 2*u + 3. Let z be s(-3). Suppose -2*n - 4*g + 28 = z, -2*n - 2*g - g + 32 = 0. Is 11 a factor of n?
True
Let k = 208 + -148. Does 12 divide k?
True
Is ((-65)/(-10) - 5)*98 a multiple of 21?
True
Let p = -21 + 63. Is p a multiple of 3?
True
Suppose 0*x + 10 = 2*x. Suppose -i = r - 8, 0*i - 4*i = -x*r + 40. Does 4 divide r?
True
Let v(g) = -10*g**3 + g - g - g. Let n = -1 - 0. Is 5 a factor of v(n)?
False
Suppose -3*h = 5*m - 149, 3*m = -5*h - 1 + 84. Does 31 divide m?
True
Suppose 4*w - 5*u - 1118 = -3*u, -2*w = -5*u - 555. Is w a multiple of 40?
True
Suppose 0*x = -2*x - 2. Let c be (-2 - 0)/((-4)/10). Let f = c - x. Does 3 divide f?
True
Is (2/3)/((-2)/(-126)) a multiple of 4?
False
Suppose 5*t = -15, -3*x + t = x - 419. Is 26 a factor of x?
True
Let y(f) = 0 - 12*f + 10*f + f**3 + f**2 + 1. Is 9 a factor