g) = g**3 - 7*g**2 - 16*g - 3. Is 5 a factor of t(9)?
True
Let c = 84 - 233. Suppose 2*h + h + 3*j + 9 = 0, -15 = 5*h + 3*j. Is 16 a factor of 4/(-6) + c/h?
False
Suppose 0 = -2*b + h + 2*h + 320, 0 = 2*b + 2*h - 300. Is b a multiple of 26?
False
Suppose -n - c = -2 - 4, -4*n + 2*c + 6 = 0. Let r be ((-30)/(-4))/(n/(-6)). Let s = 21 + r. Does 6 divide s?
True
Let y = -10 - -16. Suppose 0 = -y*v + 3*v + 42. Does 8 divide v?
False
Suppose 4*r = u + 3*u - 20, 4*u + 4*r + 4 = 0. Suppose 5*f + 0*o = 2*o + 151, -u*o - 64 = -2*f. Let s = f - 15. Is s a multiple of 6?
False
Suppose 9*i = 8*i + 17. Is 12 a factor of i?
False
Suppose -2*q + 121 = -95. Is q a multiple of 27?
True
Let z(i) = i**3 + 4*i**2 - 12*i - 7. Does 21 divide z(-5)?
False
Suppose -4*v + 4*z + 204 = 0, 4*z + 120 = 2*v + 8*z. Does 5 divide v?
False
Suppose -3*l = -l - 4. Suppose z - 54 = -l*z. Does 9 divide z?
True
Let i = 12 - 8. Suppose -21 = -i*a - u, 0*u - 5*u = 5*a - 30. Does 5 divide a?
True
Let p = -1 + 3. Suppose p*y = 97 - 13. Is y a multiple of 21?
True
Let t(w) = -w**3 - 12*w**2 + 10*w - 19. Does 20 divide t(-13)?
True
Is -4*1*-141*4/16 a multiple of 47?
True
Let b(u) = -6*u - 10. Suppose -8 + 18 = -d. Is 14 a factor of b(d)?
False
Suppose m = -2*i + 295, -9*i + 5*i = 3*m - 591. Is 37 a factor of i?
False
Let x(p) be the third derivative of p**6/120 + p**5/20 + p**4/8 + 2*p**3/3 - p**2. Let l be x(-3). Let u(g) = g**3 + 7*g**2 + 2*g - 6. Is u(l) a multiple of 12?
False
Let o = 64 + -45. Suppose -5*a = k + 13, -3*k - a + o + 12 = 0. Is 9 a factor of k?
False
Let o = 18 - -1. Let p = o + 1. Is 11 a factor of p?
False
Suppose 2 = 2*m - 2. Let d(f) = 2*f**2 + f + 1. Let c be d(m). Is (-4)/22 - (-123)/c a multiple of 5?
False
Let i = 16 + -8. Let p be 1 - 1 - (-3 - -7). Let w = i + p. Is w a multiple of 3?
False
Let l(p) = 4 + 2*p + 0 - 6. Suppose 0 = 4*n - 23 + 7. Is l(n) a multiple of 5?
False
Suppose 0 = -3*q - 0*q - 5*g + 56, q + 8 = 5*g. Let z(b) = -b**3 + 13*b**2 - 10*b - 5. Is z(q) a multiple of 8?
False
Let j(h) = -97*h - 1. Is j(-1) a multiple of 14?
False
Suppose 7*t - 8 = 27. Does 5 divide t?
True
Suppose -37 + 12 = -5*o - 5*w, 0 = -o + w - 1. Let u be (-1 + 37)*o/3. Suppose 2*g - 6*g = -u. Does 6 divide g?
True
Suppose u + 21 - 5 = 0. Does 13 divide u/12*(-2 - 37)?
True
Suppose -90 = -13*g + 10*g. Suppose -g = -3*s + 24. Does 3 divide s?
True
Suppose -1197 = -5*d + 3*c, -4*d = 7*c - 2*c - 965. Let t = d + -152. Does 22 divide t?
True
Let y = -75 - -89. Is y a multiple of 10?
False
Suppose 4*o = 5*o. Suppose o = -4*j + 33 - 5. Is 4 a factor of j?
False
Suppose -r = -3*r - 3*a + 6, -5*r + 8 = 4*a. Suppose -4*d = -5*z + 33, 4*d + r*z + 39 = 3*z. Let g = 12 - d. Does 16 divide g?
False
Let p = -212 + 367. Is p a multiple of 26?
False
Suppose 3*u = 3*z - z + 13, 4*z - 3*u = -17. Does 8 divide z*(7/(-2) + -2)?
False
Suppose 3*n + 180 = 7*n. Suppose 2*m + 19 = -23. Let d = n + m. Is d a multiple of 9?
False
Let k(y) = y - 6. Let b be k(9). Suppose 3*n - 11 = 55. Suppose -i - 2 = -2*i, b*i = 4*r - n. Does 3 divide r?
False
Suppose 3*k - 512 = -k. Is k a multiple of 32?
True
Let n(j) = -69*j + 12. Does 10 divide n(-3)?
False
Suppose -5*h + 160 = 4*d, 4*d + 3*h = 5*d - 23. Does 7 divide d?
True
Let r = -6 - -15. Is r a multiple of 9?
True
Is ((-10)/3 - 2)*(-36)/8 a multiple of 6?
True
Suppose 0*r - 2*r + 198 = 0. Suppose r + 51 = -2*q. Let w = q + 113. Does 19 divide w?
True
Does 11 divide 3 - ((4 - 8) + -71)?
False
Suppose v + 71 = 2*v. Let z = -51 + v. Does 20 divide z?
True
Let l(k) = 83*k + 4. Does 34 divide l(2)?
True
Let j(c) = c**2 + 4*c. Suppose b + 3 + 2 = 0. Let v be j(b). Suppose 3*m = -5*l + 27, v*m - l + 3*l = 45. Does 9 divide m?
True
Let j = 4 - 1. Suppose 43 = -2*q - j*s, 62 + 12 = -3*q + 5*s. Let p = q + 49. Is 9 a factor of p?
False
Let n = 6 - 6. Suppose 0 = -3*q - n*q + 117. Suppose -5*m + q = -2*m. Is m a multiple of 13?
True
Is -6*(48/(-9) - -2) even?
True
Let d = 16 - 9. Suppose -2*h = -d*h + 75. Suppose h = q - 0*q. Does 8 divide q?
False
Let s(b) = -b**2 + 8*b - 9. Let w = 5 - -1. Does 2 divide s(w)?
False
Suppose -k = 3*k - 8. Suppose -p + 10 = k*o + 2*o, -o + 2*p = 2. Suppose -o*h = 2*h - 44. Is 11 a factor of h?
True
Let i = 59 - 35. Does 15 divide i?
False
Suppose 19 = x + 2*o - 13, -x = -o - 20. Is x a multiple of 6?
True
Suppose 4*u + u = -170. Let c = -19 - u. Does 8 divide c?
False
Suppose -y - 9 = -4*y. Suppose -8 = y*m - 5*m. Suppose 5*v + 9 = g, -m*g + 2*v + 58 = 4*v. Is g a multiple of 6?
False
Let w(z) = z**2 - 12*z + 20. Does 10 divide w(12)?
True
Let s(l) = -l**2 - 17*l - 2. Let t be s(-7). Suppose 4*n = -256 + t. Let k = -33 - n. Does 12 divide k?
False
Suppose 2*f = 137 - 17. Does 12 divide f?
True
Is 15/(-4)*32/(-24) a multiple of 5?
True
Suppose 1 = 3*s - 5, -2*s = -3*g - 10. Is 3 a factor of (-6)/4*(g + 0)?
True
Let p = 1 - 1. Suppose p*d = -2*d + 42. Suppose -i = -3*x - 4*i + d, 3*x = 5*i + 21. Is 7 a factor of x?
True
Suppose 745 = 3*n - 359. Is 2/(-6) + n/24 a multiple of 5?
True
Let k = 9 + -7. Suppose 4*b - 4*z - 40 = 0, -k*b = 3*b + 4*z - 23. Does 4 divide b?
False
Let g = 56 - 16. Suppose -5*l = -l - g. Does 5 divide l?
True
Is (104/16)/13*(107 - 1) a multiple of 10?
False
Let q be 8/(-20) - (-272)/5. Let r = q + -8. Does 19 divide r?
False
Let l be 3 - ((-3)/3 + -1). Suppose -2*t - 426 = 4*x, -2*t - l = 1. Is 13 a factor of (x/(-9) - -1)*3?
False
Let n be 6/9 - (-20)/6. Suppose -b = j - n, -b + 5*j - 9 + 1 = 0. Suppose -3*h = 5*x + 13 - 36, -b*x - 4*h + 12 = 0. Is 2 a factor of x?
True
Let h(f) = -3*f + 12. Suppose -2*q - 30 = q. Is 23 a factor of h(q)?
False
Let k be 8/2*70/(-8). Let i = k + 50. Suppose -b + 4*b = -n + i, n - 5 = 2*b. Is 3 a factor of n?
True
Suppose -5*d - 2259 = -14*d. Is d a multiple of 19?
False
Let z(x) = 4*x + 114. Does 6 divide z(0)?
True
Let f = -7 - 1. Does 17 divide ((-17)/2)/(f/16)?
True
Suppose -8*y = -9*y + 80. Is 8 a factor of y?
True
Let o = -11 + 12. Let s(x) = 7*x**3 + 31*x**3 + x**2 + x**3. Is 20 a factor of s(o)?
True
Let y(c) = -c**3 + 6*c**2 + 7*c + 5. Is y(7) a multiple of 5?
True
Let m(h) = -3*h**3 - h**2 - 2. Let q be m(-2). Suppose -5*g = -3*s + 29, 3*g + s + 2 = -7. Let k = q + g. Is k a multiple of 14?
True
Suppose 5*l + 25 = 0, -c - 5*l = 31 - 6. Suppose n - 29 - 30 = c. Let a = 83 - n. Is a a multiple of 9?
False
Suppose 2*q - q - 2 = 0. Suppose -4*x - 3*b = -7*x + 15, q*x - 16 = 5*b. Suppose -5*s - 2*z + 89 = 0, 0 = s + 2*z - 10 - x. Is s a multiple of 17?
False
Let x(h) = h**3 - 5*h**2 - 16*h - 5. Does 15 divide x(8)?
False
Suppose -3*h = h - 100. Does 12 divide h?
False
Is 94/8 + (-4)/(-16) a multiple of 12?
True
Suppose -23 = -3*v - 8. Is 13 a factor of ((-39)/(v + -2))/(-1)?
True
Is 17 a factor of (-152)/2*1/(-2)?
False
Suppose 17 + 3 = 5*b. Suppose b*p + 32 = -0*p + 4*i, -2*p - 2*i + 4 = 0. Is 7 a factor of 1/(1/(-42)*p)?
True
Suppose 8*t - 78 = 218. Does 11 divide t?
False
Let v(z) = z**3 - 8*z**2 + 7*z + 4. Let m be v(7). Let r = 1 + m. Suppose r + 55 = 2*w. Is 15 a factor of w?
True
Let d(v) = v**3 - 6*v**2 + 3*v - 8. Let b be 1/(-4) - (-39)/12. Suppose h + b = 3*z, 2*h - h + 3*z = 15. Is 9 a factor of d(h)?
False
Let l(b) = b - 7. Let o be l(5). Let a(y) = -2*y**3 - 3*y**2 - y - 1. Let x be a(o). Suppose -x*n + 75 = 5*i, 26 = n - 4*i - 4. Is n a multiple of 9?
True
Suppose 3*q + 0*q - 91 = -2*s, s + 5*q - 35 = 0. Is 25 a factor of s?
True
Let x(w) = -w**3 + 10*w**2 + 3*w - 8. Is 36 a factor of x(8)?
True
Let t be (122/(-4))/((-3)/6). Let y = t - 21. Does 10 divide y?
True
Let c = 14 - 8. Suppose -67 - 5 = -2*o. Suppose c*k - 44 = 4*k + 5*f, -2*k + o = -3*f. Does 12 divide k?
True
Let b = -9 + 4. Is 22 a factor of (4/b)/(-2)*165?
True
Let p(k) = -4*k + 1. Let n be p(-1). Suppose 0 - 40 = -n*w. Is 7 a factor of w?
False
Let p(q) = 4*q. Let a(g) = g**2 + 8*g. Let w be a(-8). Suppose c - 4 + 2 = w. Is p(c) a multiple of 3?
False
Let m = -265 + 546. Is 21 a factor of m?
False
Is 17 a factor of (-1352)/(-20) - 2/(-5)?
True
Suppose -n = 3*t - 60, 3*t = -3*n + 56 + 94. Does 15 divide n?
True
Let q(h) = h**3 - 20*h**2 + 30*h - 29. Is q(19) a multiple of 31?
False
Suppose -4*n - 4*i + 247 = -5*i, 0 = 5*i - 5. Does 2 divide n?
True
Let h be (-8)/12*426/4. Let r = h + 119. Is