 of 21?
True
Let y be (0 - 1)*-1 + 8. Let s(x) = 6*x + x + y*x + 0*x. Does 8 divide s(2)?
True
Let z(f) = -40*f**3 - 5*f**2 - 3*f + 2. Let c(a) = -40*a**3 - 4*a**2 - 3*a + 1. Let l(t) = 4*c(t) - 3*z(t). Is l(-1) a multiple of 16?
False
Let c(z) = 430*z**2 + 8*z + 20. Does 24 divide c(-2)?
False
Suppose -d + 85 = -267. Suppose m - d = -105. Does 13 divide m?
True
Let g = -71 - -119. Suppose -g = 2*t - 4. Is 10/55 + (-744)/t a multiple of 17?
True
Let q(x) = 37*x - 35*x + x**3 - 10*x**2 + 0*x**3. Is 5 a factor of q(10)?
True
Let q = 199 + -69. Is q a multiple of 13?
True
Let d be 4/(-18) + (-1715)/(-63). Suppose 0 = f - 71 - d. Is 14 a factor of f?
True
Let f = 425 + -304. Is f a multiple of 7?
False
Suppose -2*b = -3*x + 1273, 6*x - 854 = 4*x - 4*b. Suppose -3*g - x + 1133 = 4*n, 4*n + 5*g - 700 = 0. Does 15 divide n?
True
Let n be 180/(-24) - (-1)/(-2). Let r be (-2 - -8)*(-28)/n. Let b = r + -16. Is 5 a factor of b?
True
Let r = 28 + -28. Suppose -3*m + 75 = -r*m. Does 6 divide m?
False
Let v(w) = -w**3 - 5*w**2 - 2*w - 7. Let d be v(-5). Suppose 3*j - 594 = -d*j. Is j a multiple of 11?
True
Is 30 a factor of (3 + 35/(-14))/(2/696)?
False
Let p(o) = 3*o**2 + 25*o - 17. Let q(b) = 2*b**2 + 12*b - 9. Let n = -2 - 3. Let x(u) = n*q(u) + 3*p(u). Does 13 divide x(11)?
False
Let d be (-1)/2 - 671/2. Let r = d + 472. Suppose -r - 96 = -3*m - 4*y, 0 = y + 2. Is m a multiple of 20?
True
Suppose 5*y - 1831 = 2484. Does 43 divide y?
False
Suppose -3*v + 974 = 4*w, -984 = 4*w - 8*w + 2*v. Is 35 a factor of w?
True
Suppose c + 12*c + 1196 = 0. Suppose 4*x + 201 = -3*p, p = -p + 10. Let i = x - c. Does 14 divide i?
False
Let t(v) = -73*v**3 + v**2 + 6*v + 6. Is 21 a factor of t(-3)?
False
Let b = -162 - -277. Does 8 divide b?
False
Let v(s) = -13*s**3 + s**2 + s + 1. Does 10 divide v(-4)?
False
Let u(s) = 7*s**2 - 6*s - 3. Let p(b) = -20*b**2 + 17*b + 9. Let n(k) = -6*p(k) - 17*u(k). Let f be n(3). Suppose f*h - 30 = h. Is h a multiple of 6?
True
Suppose 6 = -2*f + 10. Let o(p) = 1 + f + 6*p + 16*p. Is o(2) a multiple of 19?
False
Let w be (-4 - 80/(-25))*-5. Suppose -w*l = -2*p - 418, -5*l + 2*l - 2*p + 296 = 0. Does 19 divide l?
False
Suppose 0 = 4*q - a - 2493, -2*q - 11*a + 1263 = -6*a. Is 13 a factor of q?
True
Let w(z) = -2*z**2 - 53*z - 18. Let c be w(-19). Let y = c + -138. Does 9 divide y?
False
Let r(g) = 2*g - 12. Let v be r(7). Suppose -9*x = -v*x - 189. Is 9 a factor of x?
True
Suppose -7 + 23 = 4*l. Let h(q) = 5*q**2 - 3*q - 3*q - q**3 + 8*q. Is h(l) a multiple of 7?
False
Let r(t) = -t**3 - 10*t**2 + 4*t + 6. Let l be r(-10). Let s be (-4)/(-8)*(2 - l). Suppose -m + 2 + s = 0. Is 11 a factor of m?
False
Let z(r) be the second derivative of -5*r**3/6 - 5*r**2/2 - 9*r. Let g = -1 - 1. Is 4 a factor of z(g)?
False
Suppose 0 = -15*x + 11*x + 732. Suppose -i + 3*s + x = 0, 2*s = -i + 3*i - 366. Let p = i + -106. Is 13 a factor of p?
False
Suppose -5*w - 3*k + 1154 = 14, w = 2*k + 215. Is w a multiple of 9?
True
Let w(a) = -145*a + 555. Is w(-15) a multiple of 21?
True
Let f(x) = 661*x + 56. Does 35 divide f(2)?
False
Let v(b) = -8*b - 36. Let z be v(-4). Does 23 divide (-4)/8*-270 - z?
False
Suppose -3*x - 3*t = -129, x - 7*t - 41 = -10*t. Is 34 a factor of x?
False
Let b be 116/30 + (-32)/(-240). Suppose 7 = b*h - 13. Suppose -2*x - 4*m = -0*x - 4, 2*m = -h*x + 42. Does 8 divide x?
False
Let i = 30 - -6. Suppose -4*n - 12 = -b - 3*b, -3*n - 4*b + 12 = 0. Suppose 6*f - 2*f - i = n. Does 9 divide f?
True
Suppose 1468 = 6*y + 352. Is y a multiple of 19?
False
Suppose -5*f = -110 + 5. Is 4*((-28)/(-6) + 7/f) even?
True
Suppose 28*g = 34*g - 1950. Does 10 divide g?
False
Let a(g) = 38*g**2 - g - 1. Let v be a(-1). Let c = v - -145. Let d = -117 + c. Is 33 a factor of d?
True
Let u = 29 + -17. Let y = 14 - u. Is y/(-3) + (-370)/(-15) a multiple of 12?
True
Let i(o) = -78*o + 20. Let b(q) = 78*q - 21. Let m(t) = 7*b(t) + 6*i(t). Is 37 a factor of m(5)?
False
Does 19 divide 6303/12 - ((-90)/24 - -4)?
False
Let y(l) = 17*l**2 + 2*l + 2. Let m(c) = c - 5. Let t be m(3). Is 24 a factor of y(t)?
False
Let i = -633 + 849. Is i a multiple of 24?
True
Let k(w) = 4*w**2 - w - 7. Let t be k(-5). Suppose 0 = -6*m + 34 + t. Is m a multiple of 22?
True
Let j be ((-70)/(-5))/(2/7). Suppose -3*z + 5 = -2*h - 26, 2*z = -5*h - j. Let f(x) = x**2 + 7*x - 4. Does 20 divide f(h)?
True
Let x(q) = -q**2 + 21*q + 4. Let d be x(17). Suppose 189 + d = 3*y. Is y a multiple of 29?
True
Suppose 3*u - 5 = -2. Let b be 1 - ((-13 - -1) + u). Suppose -68 = -2*w - b. Is w a multiple of 16?
False
Suppose 66*l - 44143 = 3377. Is 3 a factor of l?
True
Let m = 20 - 17. Suppose 0*a + 3*a - 8 = 4*g, -a - m*g = -7. Let c = 1 + a. Is c a multiple of 5?
True
Let n(j) = j**3 + j + 2. Let b be n(0). Suppose -5*h = b*f - 10, -4*h - f = f - 10. Does 13 divide (h - -7) + -3 - -72?
False
Let p(g) = 102*g + 30. Let w(h) = 34*h + 10. Let s(k) = -6*p(k) + 17*w(k). Let r be s(-4). Is 7 a factor of (2/3)/(4/r)?
True
Suppose a + 149 = 2*u, a + 51 = 4*u - 252. Is 7 a factor of u?
True
Let p = -337 + 602. Is 15 a factor of p?
False
Let b = -1 + 6. Suppose b*d - 9 = 1. Suppose -4*f + d*s + 3*s + 65 = 0, -4*f = 3*s - 89. Does 10 divide f?
True
Let d(v) be the second derivative of 2*v**3 + 7*v**2/2 + 12*v. Is d(3) a multiple of 14?
False
Let o = -2044 - -2481. Is o a multiple of 23?
True
Is 6 + -3 + 1265 + -8 a multiple of 14?
True
Let z(x) = 60*x**2 + 2*x + 2. Suppose -3*u + 4*u + 1 = 0. Is z(u) a multiple of 12?
True
Let g be 12/(-72) + 55/6. Is (-14)/(-3)*27/g a multiple of 4?
False
Suppose x - 138 = 126. Let z = x + -153. Is z a multiple of 14?
False
Suppose 5*p - 883 = 222. Does 13 divide p?
True
Suppose 0 = -2*s + 3*n + 214, s + n + 2*n - 116 = 0. Does 5 divide s?
True
Suppose 18*a - 21*a = 6. Let y(o) = -4*o**3 + 3*o**2 + 4*o - 1. Is 26 a factor of y(a)?
False
Let x = -425 + 1209. Is x a multiple of 7?
True
Let q be (12 + -2)*(0 + 1). Let b be q/4*(-8)/(-10). Suppose b*d + 4 = 3*d. Does 4 divide d?
True
Suppose 29*x - 31*x = 4*n - 100, -x + 36 = -5*n. Is x a multiple of 6?
False
Let j = -45 - -49. Does 2 divide j*(20/(-8) - -3)?
True
Let u = -313 + 219. Let c = 155 + u. Is c a multiple of 7?
False
Let w(x) = -x**3 - 2*x**2 - 3*x - 3. Let t be 0 - (-3)/(-3) - 2. Let b be w(t). Suppose 14 = u - b. Is 9 a factor of u?
False
Suppose t + r = 306, -5*r + 16 + 9 = 0. Is t a multiple of 7?
True
Suppose 0 = -7*f + 3*f + 8. Suppose 0*k - f*k = -72. Does 18 divide k?
True
Suppose 2*l - 63 = -5*f - 16, 0 = -2*f + 3*l + 34. Suppose 0 = 4*s - 37 - f. Is 0 + s/(-3 - -4) a multiple of 4?
True
Suppose 928 = 3*u - 5*f, -5*u + 174 = -4*f - 1377. Does 12 divide u?
False
Let r(d) be the third derivative of d**4/24 + 11*d**3/6 - d**2 + 36. Let f = 28 + -17. Does 11 divide r(f)?
True
Let i = 376 + -322. Is 9 a factor of i?
True
Let x(u) = 17*u**2 + 3*u + 21. Let k(b) = -b**2 + 2*b. Let d(h) = 2*k(h) + x(h). Does 9 divide d(-3)?
True
Suppose 3*g + 4*a + 3875 = -a, 5*a + 2590 = -2*g. Is 43 a factor of 1 + (g/1)/(-5)?
True
Let s(y) = 21*y - 7. Let m(j) = 21*j - 8. Let o(n) = -5*m(n) + 4*s(n). Does 39 divide o(-5)?
True
Let r(c) = 2*c**3 - 23*c**2 + 27*c - 8. Is r(12) a multiple of 46?
True
Suppose 0*q + 26 = -3*w - 2*q, -2*w - 2*q = 20. Let x(c) = -c. Let r be x(w). Let y = r + 48. Does 27 divide y?
True
Suppose 0 = -g + b - 3*b + 192, 5*g = b + 960. Is 12 a factor of g?
True
Let y(f) = -f**3 - 5*f**2 - 11*f - 19. Is y(-10) a multiple of 20?
False
Let a be (1*-1)/(8/(-16)). Is 9 a factor of ((-1)/a*-13)/(2/36)?
True
Let a = -34 - -26. Let n(z) = 5*z**3 + 21*z**2 + 14*z + 8. Let k(b) = -3*b**3 - 14*b**2 - 9*b - 5. Let j(s) = a*k(s) - 5*n(s). Does 18 divide j(6)?
False
Does 19 divide (-44)/66 - (-10775)/3?
True
Suppose 4*m + 5*c = 184, 181 = 3*c + 169. Is m even?
False
Let u(s) = s**3 + 2*s**2 - 6*s + 560. Is u(0) a multiple of 8?
True
Let h(z) = 229 - 247 - 6*z + 0*z - 4*z. Is h(-12) a multiple of 17?
True
Suppose -4*f = -f - 9. Let w be (-1 + 0)/(f/(-51)). Suppose w*b = 16*b + 58. Is b a multiple of 16?
False
Let l = -120 + 170. Is 3 a factor of l?
False
Let d = 290 - 159. Let l = d + -67. Is l a multiple of 19?
False
Let p be (-12)/24*(-48)/2. Let a(k) = -k + 12. Let c be a(p). Suppose -2*l - 46 = -y - c*l, 84 = 2*y + 4*l.