rue
Let t(v) = v**3 - 15*v**2 + v - 7. Is 4 a factor of t(15)?
True
Suppose -s + 1281 = -3*i, -3*s + 6*s + 4*i = 3869. Is 35 a factor of s?
False
Let v(z) = z**2 - 8*z + 4. Let q be v(6). Let s = q + 42. Suppose 0 = 4*h - 4, 4*h = -2*n - 3*n + s. Does 6 divide n?
True
Let d be 56/12 - 1/(-3). Suppose d*y - 7 = -2. Is 14 a factor of 2 - 5*(-11 + y)?
False
Let p(t) = -t**3 + 12*t**2 + 17*t + 20. Let g be p(13). Suppose 16 = h - g. Is h a multiple of 22?
True
Suppose 2*p + 2*j - 3869 = -p, 4*j = -7*p + 9025. Is p a multiple of 39?
True
Let m = -1277 + 1472. Is m a multiple of 39?
True
Let a = -21 + 25. Suppose a*h - 246 = -3*n, -n = h - 0*h - 61. Is h a multiple of 29?
False
Let z = -428 + 2264. Is z a multiple of 6?
True
Suppose -6*w + 3*w + 699 = 0. Is 14 a factor of w?
False
Suppose -198*j + 360 = -195*j. Is 3 a factor of j?
True
Suppose 4*h + 194 = 3*d - 217, 0 = -2*d - 5*h + 297. Is d a multiple of 10?
False
Suppose -3*p + 222 = -21. Does 9 divide p?
True
Does 27 divide 511812/441 + (-3)/(-7)?
True
Let u = -1 - -6. Let z(k) = 8*k**2 - k - 7. Let l be z(5). Suppose u*d - d = l. Is d a multiple of 11?
False
Let b(k) be the third derivative of -k**4/4 - k**3 - 20*k**2. Is b(-22) a multiple of 21?
True
Suppose -142*a - 183 = -143*a. Is 8 a factor of a?
False
Let u = -68 + 74. Suppose -5*n + 126 = -4. Suppose u*m + n = 7*m. Is 13 a factor of m?
True
Let i = -144 + 326. Does 13 divide i?
True
Suppose -2*q - 36 = 2*q. Let n(k) = 11*k**2 - 3 + k**2 + 2*k - 12*k - 13*k**2. Is n(q) a multiple of 3?
True
Suppose 4*o + 28 = -3*t, 4*t + 59 = -o - 0*o. Let l = -12 - t. Suppose -7 = -l*c + 13. Is c a multiple of 2?
False
Suppose 0 = -h - 3*a - 1, 0 = -0*h + 5*h + a - 23. Suppose 0 = -k + h*k - 52. Suppose r = k + 8. Does 16 divide r?
False
Let h be 3/(-1 - -2 - 2). Let p(a) = -4*a**3 - a. Is 28 a factor of p(h)?
False
Suppose 2*b - b = 45. Suppose 3 = -3*q + b. Let c = 30 - q. Is 8 a factor of c?
True
Let l = 17 + -11. Suppose 5*v - l*v = -10. Suppose 0 = -i + v + 6. Is 16 a factor of i?
True
Let g(a) = -a**3 - 9*a**2 - a + 18. Let k be g(-9). Is 13 a factor of 3*1*6/k*111?
False
Let n = 260 - 148. Let q = n - 86. Is 13 a factor of q?
True
Suppose -8*n + 630 = -2*n. Let x = n + -52. Does 6 divide x?
False
Let m = 2853 + 86. Does 26 divide m?
False
Suppose -18*g - 3*g = -12117. Is 3 a factor of g?
False
Suppose 9*t + 5*l = 10*t - 690, 25 = -5*l. Is t a multiple of 19?
True
Let o(y) = 7*y + 2*y**2 + 9 + 0*y**2 - 16 - 10. Is 13 a factor of o(7)?
True
Suppose -3*l + 4977 = 3*i, 0 = -2*i + 3*i - 4*l - 1644. Is 46 a factor of i?
True
Suppose -o + 60 = 3*o. Suppose 5*j = -o - 55. Let k = 51 - j. Does 13 divide k?
True
Let y(p) = -p**2 - 3*p - 10. Let n be y(-7). Let m = n + 58. Is m a multiple of 4?
True
Suppose -4*y - y = 10*y. Suppose -5*h + 3*p + 409 = y, -5*p = 3*h - 172 - 87. Does 6 divide h?
False
Let r = 115 - -18. Suppose 0 = 6*j - 349 + r. Is 12 a factor of j?
True
Let b be (1/(-1))/(4/8). Let z = 6 + b. Suppose -172 = -2*t + 4*m, z*t + 60 = -5*m + 352. Is 26 a factor of t?
True
Suppose -2*r - 84 = 2*r. Let x be ((-6)/(-21))/((-3)/r). Is x/11 - (-722)/22 a multiple of 11?
True
Let s be 55/(-22)*(-18)/5. Let g = -2 + s. Is 3550/70 - (-2)/g a multiple of 13?
False
Suppose 2*c - 13 = q + 7, 4*q = 4*c - 40. Let j be (-48)/(-20) + (-4)/c. Suppose -5*m - j*b + 124 = 0, 37 = 2*m + b - 13. Is m a multiple of 10?
False
Let i be (-424)/(-16)*((-3 - -1) + -2). Let x = i - -153. Is x a multiple of 20?
False
Suppose -4*d = 5 - 1. Is (d/1 - 0)*-164 a multiple of 45?
False
Let m(k) = -3*k**3 + 7*k**2 + 2*k. Is m(-4) a multiple of 4?
True
Let f be (-4 + (-18)/(-2) - 2)/1. Suppose 3*d + 2*d - 2*c = 685, -f*c = 3*d - 432. Is d a multiple of 31?
False
Let s = 171 - 37. Let t = s + -82. Is 37 a factor of t?
False
Let o(l) = -3*l**3 - 8*l**2 + 3*l + 55. Is o(-6) a multiple of 4?
False
Let v(q) = q**3 + 11*q**2 - 11*q + 16. Let g be v(-12). Suppose -2*r = -g, 5*r - 2 = 3*y + y. Suppose 7*k - 120 = y*k. Is k a multiple of 12?
True
Let f(s) = 2*s**2 - 47. Is 8 a factor of f(10)?
False
Suppose 668 = -4*r - 4*c, 2*c = r + c + 173. Let x be (2 + 20/(-8))*r. Let h = x + -58. Is h a multiple of 27?
True
Let a(y) = y + 24. Let w be a(-22). Suppose -w*z = -3*r - 170 - 21, -2*r + 85 = z. Is 10 a factor of z?
False
Suppose -67 + 2 = -5*m. Is 15 a factor of (m - -61) + 2 + -1?
True
Let d = -4 + 6. Let r(b) = 4*b**2 + 4 + 9*b - 8*b - d*b. Is r(4) a multiple of 21?
False
Let z = -20 - -22. Suppose 0 = -2*t + z - 10, -2*j = 2*t - 112. Let d = j - 1. Is 10 a factor of d?
False
Suppose 5*w + 7 = h, 4*h + 0*w + w - 7 = 0. Suppose 3*l + 86 = 2*i - h*l, -i = 4*l - 56. Does 16 divide i?
True
Let b(t) = 3*t**3 - 8*t**2 - 10*t - 12. Does 6 divide b(6)?
True
Does 17 divide ((-90)/(-240) + 2309/8)*9?
True
Let d = -124 - -45. Suppose 0 = -y - 5 - 40. Let u = y - d. Does 17 divide u?
True
Let g(x) = 2*x**2 - 5*x - 2. Let w be g(-5). Suppose 239 + w = 4*j. Is j a multiple of 26?
True
Suppose 4*i + 55 = -13. Suppose -r - 20 = -5*r. Let a = r - i. Is a a multiple of 11?
True
Suppose 0*h - h = -12. Let m = h + 21. Is 10 a factor of m?
False
Let c(l) = 2*l**3 + 19*l**2 + 21*l - 28. Let j(s) = -s**3 - 9*s**2 - 10*s + 14. Let k(i) = -6*c(i) - 11*j(i). Is k(-14) a multiple of 7?
True
Let z(r) = r**2 + 6*r - 7. Suppose -f + 1 = 0, 2 + 5 = 3*o - 2*f. Is z(o) a multiple of 10?
True
Suppose -26250 = -w - 29*w. Is w a multiple of 47?
False
Let f(v) = v**3 + 6*v**2 + 5*v + 3. Let q be f(-5). Suppose 8 = -4*c, 0*c = -4*h - q*c + 26. Suppose -9*y + h*y + 36 = 0. Is y a multiple of 9?
True
Let t(u) = -187*u - 17. Let k be t(-5). Suppose -k = -2*h - 15*h. Is 27 a factor of h?
True
Let o = 658 - 249. Let h = o + -286. Suppose -5*z = -2*b - h, -2*z + 8 = b - 43. Is z a multiple of 6?
False
Let j = -36 + 43. Suppose 195 = j*f - 2*f. Is 19 a factor of f?
False
Suppose 0 = -3*p + 40 - 10. Suppose -p*a = -614 - 2606. Is a a multiple of 46?
True
Suppose -30*c + 208 = -29*c. Is 16 a factor of c?
True
Let o = 29 - 71. Let i = 94 + o. Does 26 divide i?
True
Suppose -2 = 3*t - 17. Let z(k) = 15 + 0 - t*k - 2. Does 13 divide z(-10)?
False
Suppose 0 = -2*t - h + 3, -t + 4*t + h = 3. Suppose -16 = 4*a - t. Is (5/a)/(1/(-52)) a multiple of 13?
True
Let i(v) = v**3 + 19*v**2 - 6*v - 24. Is i(-19) a multiple of 30?
True
Let p(s) = s**3 + 2 - 21*s + 2 - 17 + 11*s**2 + 7*s. Is p(-12) a multiple of 11?
True
Let j(r) = r**3 - 11*r**2 + 7*r - 60. Is 6 a factor of j(11)?
False
Let p be (-238)/(-8) + 4/16. Suppose -3*h + 24 = 4*y + h, 3*y = 3*h + p. Suppose y - 2 = n - 2*r, -3*r = 0. Does 5 divide n?
False
Does 7 divide 33456/39 - -3 - (-60)/390?
True
Let x be (-2)/(-7) - (-3)/((-42)/718). Is 22 a factor of ((-17)/x)/((-2)/(-474))?
False
Let i(y) = 4*y**2 + y. Let c be (-1)/(-6) - 122/12. Let j be (-18)/c - (-6)/30. Is 6 a factor of i(j)?
True
Let n(g) be the third derivative of -g**4/12 - g**3 - g**2. Let d be n(-3). Suppose 5*j - 22 - 148 = d. Is j a multiple of 17?
True
Suppose -4*y + 615 + 3036 = 3*x, 15 = -5*y. Is x a multiple of 11?
True
Let a(o) = 2*o**2 + 8*o - 8. Let d be a(-5). Is 9 a factor of 819/13 + (-4)/d?
False
Let k(l) be the first derivative of l**4 - 7*l**3/3 + 5*l**2 - 4*l + 6. Is 36 a factor of k(4)?
True
Let r = -3 - -16. Let a(c) = -9*c**3 + 2*c - 2 - 13*c**2 + 3*c**3 + 7*c**3 + 18. Is a(r) a multiple of 14?
True
Suppose -4*r - 4 = 0, -4*r + r = -w + 1374. Is w a multiple of 14?
False
Is (633/(-12))/((-42)/8 - -5) a multiple of 13?
False
Let g(l) = 6*l - 14. Let o(d) = -5*d + 14. Let v(r) = 4*g(r) + 5*o(r). Is 10 a factor of v(0)?
False
Let w be (-3 + 0 + (-9)/(-6))*-2. Suppose 3*k - 27 = -x, 0 = -4*x - 5*k - w + 146. Is x a multiple of 6?
True
Let a(j) = j**2 + 6*j - 13. Let p(z) = z**2 - 20*z - 10. Let y be p(20). Does 9 divide a(y)?
True
Suppose 3*z + 2*f - 2582 = 0, -5*f = 4*z - 2206 - 1239. Is z a multiple of 7?
False
Suppose -4*q + 627 = 3*x - 245, -2*x - q + 578 = 0. Is 18 a factor of x?
True
Let q = 1902 - 885. Is 29 a factor of q?
False
Let a = 33 - -15. Let z = 125 - a. Does 4 divide z?
False
Suppose -6*b = -3*z - b + 20, 5*b = -5. Suppose -z*x = -4*d - 324, -x = -d - 12 - 53. Is 9 a factor of x?
False
Let u(g) = -3*g**2 - 127*g + 148. Is u(-41) a multiple of 8?
True
Let u(y) = -221*y**3 - y**2 + y + 2. Le