- 1564 = -2*j, -5*t = -3*j + 767 + 1612. Suppose 0 = 6*r - j - 52. Is r a multiple of 30?
False
Let k = 337 - 49. Is 48 a factor of k?
True
Suppose -2*m - i - 5 = 0, 16 = -5*m - 3*i + 1. Suppose m = -6*l + 4*l - 102. Is 12 a factor of (-12)/(-4) - 6 - l?
True
Let i(z) = 30*z - 568. Does 12 divide i(30)?
False
Suppose 21*m - 24*m + 15 = 0. Suppose m*b = 9*b - 56. Is b a multiple of 4?
False
Let q = -2 - -6. Let j(i) = 0 + 2*i**2 + i + 0*i**2 + 6. Is 7 a factor of j(q)?
True
Suppose -3*n - 4*l + 8 = 0, -5*l - 14 = -3*n - 3*l. Let r = 830 - 433. Suppose 4*h - 311 = a, 4*a + 81 - r = -n*h. Is 26 a factor of h?
True
Let w(p) = -4*p**2 - 113*p**3 - 9*p**2 + 114*p**3 - 10. Let l be w(13). Let u(s) = 2*s**2 + 13*s - 10. Does 10 divide u(l)?
True
Suppose s - 3*n + 11 = -n, 0 = -3*s + 4*n - 25. Let v be s*((-1 - 0) + 0). Suppose 4*t + 5*p - 100 = 2*t, 3*p - 132 = -v*t. Is t a multiple of 10?
True
Let v(f) = 2*f**3 + 4*f**2 - 5*f - 7. Let a be v(4). Let z = -144 + a. Does 3 divide z?
True
Let z(s) = 0*s + 2*s + 21 + 3*s + 4. Is 29 a factor of z(5)?
False
Let h = -10 - -15. Suppose -h*z + 44 + 16 = 0. Let p = z - -9. Is p a multiple of 7?
True
Suppose -38 - 52 = -4*x + n, -5*x + 5*n + 105 = 0. Suppose 20*l = x*l - 162. Is 21 a factor of l?
False
Let d(k) = 2*k**2 + 4*k + 2. Let x be d(-2). Suppose 0 = 6*s - x*s - 220. Is 2 a factor of (-1)/(-3) + s/15?
True
Is 15/(-3) - (-149 + (-2)/2) a multiple of 8?
False
Suppose 2*o = y - 13, -5*o = 3*y + y - 13. Let d = y + 4. Suppose 0 = 3*r - 95 + d. Does 9 divide r?
False
Let m(c) = -c**2 - 7*c + 9. Let x be m(-7). Let h be 63/(-3 - x/(-2)). Let w = -25 + h. Is w a multiple of 6?
False
Suppose 3*a - 11 = -2*d - 157, 58 = -a - 3*d. Let q = a + 68. Does 6 divide q?
False
Let v(j) = -353*j - 7. Let f be v(-4). Let z be 1/3 + f/15. Suppose -z = -3*d - 25. Does 10 divide d?
False
Suppose 10 = -5*z, 2*p + 42*z - 3574 = 46*z. Does 11 divide p?
False
Let w be 7 - 5 - (1 - -2). Let r be 1 - (w + 0)*32. Suppose 3*j + h = r, 5*h = j + 3*j - 25. Is j a multiple of 2?
True
Let i(v) = 54*v**3 + v**2 - 2*v + 3. Let j be i(2). Suppose 45 = -5*f + j. Does 26 divide f?
True
Suppose 6 + 4 = 2*o. Let u(t) = t**2 - 7*t + 6. Let p be u(o). Is 13 a factor of 7*(-2 - p) - 1?
True
Let q(g) = -g**2 - g + 2. Let l(f) = f + 7. Let c be l(-9). Let r be q(c). Let t(u) = u**3 + 66. Does 22 divide t(r)?
True
Let r(d) = -8*d + 12. Let v be r(-4). Suppose v*a = 47*a - 162. Does 18 divide a?
True
Let h(i) = i**2 - 2*i + 3. Let s be h(5). Suppose m = -0*m + s. Let v = m - 9. Does 3 divide v?
True
Does 5 divide 204*(-6)/(-15)*(-45)/(-18)?
False
Suppose -9*j + 3570 = 6*j. Suppose -j = -3*y - 4*y. Is 17 a factor of y?
True
Let m(g) = -1. Let i(u) = 12*u + 8. Let l(d) = i(d) + 12*m(d). Is 20 a factor of l(2)?
True
Suppose 0 = -5*h - 3*t - 255, 0*t = h + 2*t + 44. Let k = h - -224. Is 41 a factor of k?
False
Let i be 3*-1 + (-13 - 5). Let f be (-30)/i*70/2. Suppose -5*j = -300 + f. Does 28 divide j?
False
Suppose 3*m = m + 260. Suppose -2*v - 5*j + m = -v, 4*v - 586 = 2*j. Let g = v - 78. Is 27 a factor of g?
False
Let l(t) = 36*t + 1. Let x be 2 + ((-3)/3)/(-1). Let d be l(x). Suppose -d = -5*k - 4. Is 15 a factor of k?
False
Let l = 149 - 111. Does 11 divide l?
False
Suppose -19 = p - 24. Suppose 0 = p*n - i - 2*i - 226, -46 = -n + i. Suppose -r - 13 = -n. Does 15 divide r?
False
Suppose 19*n - 16*n - 891 = 0. Is 8 a factor of n?
False
Suppose -560 - 1186 = -6*i. Is i a multiple of 21?
False
Let k be ((-63)/15)/((-1)/(-20)). Let j = k + 303. Is j/15 + (-6)/(-15) a multiple of 15?
True
Suppose 0 = -6*y + 34 + 2. Suppose 172 + 188 = y*j. Is j a multiple of 4?
True
Let l = -32 - -32. Let x(s) = -s**3 + s + 21. Is x(l) a multiple of 10?
False
Suppose 5*f + 0 = -3*t - 2, 5*t = -5*f. Let d(c) = 48*c + 2. Is 10 a factor of d(t)?
True
Let b(v) = v**2 + 8*v + 6. Let l be b(-8). Let t(d) = -6*d + 4*d + 5*d + l*d. Does 9 divide t(3)?
True
Let d = 958 + -741. Does 31 divide d?
True
Let t = 56 + 1597. Does 87 divide t?
True
Suppose -12 = k - 5*k. Does 21 divide (6/k - -58) + 3?
True
Suppose -5*u = -2*u + 12. Let i be 0 + 0/(-7 - u). Suppose 2*o - 4 - 152 = i. Is o a multiple of 39?
True
Let i be (-2 - 1) + (-8)/(-1). Suppose j = 5*m - 465, 3*j + 122 = -i*m + 587. Does 7 divide m?
False
Suppose -7*q + 264 = -1024. Is 23 a factor of q?
True
Let n(v) = -84*v**3 + 3*v**2 - 2*v. Is n(-2) a multiple of 9?
False
Let k(j) be the second derivative of 5*j**4/12 - j**3/6 + 5*j**2/2 - 5*j. Does 9 divide k(4)?
True
Let s(v) be the first derivative of 2*v**3/3 - 5*v**2/2 + 5*v - 5. Let p be s(5). Let b = 54 - p. Is b a multiple of 18?
False
Let h = 46 - 18. Suppose -122 = -5*l + h. Is l a multiple of 21?
False
Suppose -t = 3, 5*l - 4*t - 35 = t. Let x be (-111)/(-21) - l/14. Suppose x*c - 228 = 3*y + y, 4*c - 2*y - 186 = 0. Is c a multiple of 16?
True
Let h = -192 - -467. Is 11 a factor of h?
True
Let l = 28 + -14. Let m be l/4*(-20)/(-35). Is (4/m)/(8/44) a multiple of 6?
False
Suppose -4*l = -l + 45. Is 2 a factor of 1/(-2) + l/(-2)?
False
Let y = 323 - 153. Suppose -3262 = -13*j + y. Is 12 a factor of j?
True
Let o(i) = -i**3 + 9*i**2 + 10*i + 2. Let d be o(10). Suppose -d*k - 5*k = -805. Is k a multiple of 27?
False
Suppose 480 + 60 = 4*a - v, -a + 144 = 2*v. Is 4 a factor of a?
True
Suppose -229 = -5*z + 2*s + 350, -4*z = -5*s - 453. Is 3 a factor of z?
True
Let l be 3 - 8/(-4)*15. Suppose l = k - 3*q, 132 = 4*k + 5*q - 34. Is 7 a factor of k?
False
Let p(k) = 11*k - 3. Let y be p(-1). Is y*(2 + 60/(-8)) a multiple of 15?
False
Suppose -3024 = -105*g + 98*g. Is 8 a factor of g?
True
Let o = -98 - -250. Suppose 0 = -2*s - 2*s + o. Is 19 a factor of s?
True
Let g(a) = -5*a**3 - 22*a**2 + 10*a + 16. Is g(-5) a multiple of 4?
False
Suppose -f = f. Let r(j) = 0*j**2 + 39 + 0*j**2 + 2*j**2. Is r(f) a multiple of 13?
True
Let s(u) = -u**2 - 33*u - 18. Let z be s(-17). Suppose -3*d - 4*m + 100 = 0, 4*m + z = 4*d + 74. Does 15 divide d?
False
Let c(v) = v**3 - 11*v**2 - v. Does 15 divide c(12)?
False
Let v(t) be the second derivative of t**5/20 - t**4 + t**3/3 - 9*t**2/2 + t - 3. Suppose -2*p = 5*q - 19, -p - 4*q + 17 = -9*q. Is 3 a factor of v(p)?
True
Let x(p) be the first derivative of 7*p**3/3 + 2*p**2 + 3*p + 9. Suppose 0 = l - 1, -3*c - 2 = l + 3. Does 11 divide x(c)?
False
Suppose -5*s - 2*q = -4, 3 = 4*s + q + 1. Suppose -4*c - 5*d = -41, s*d + 15 = 3*d. Suppose -4*t + 65 = 5*p, c*p = -t + 79 - 27. Is 13 a factor of p?
True
Let y be (-4 - (2 + 2))*1. Let d(b) = -4*b + 25. Is d(y) a multiple of 19?
True
Is 57 a factor of (19/(-38))/(1/(-2132))?
False
Let h(b) = -b - 14. Let t be h(-18). Does 7 divide (2/t)/((-892)/112 + 8)?
True
Suppose 3*p = -i - 2*p + 637, -4*p - 646 = -i. Is i a multiple of 23?
False
Suppose -1320 = -3*j - 41*j. Is j a multiple of 30?
True
Let t = 78 + -15. Is 9 a factor of t?
True
Let p(y) = -7*y + 103. Let s be p(8). Let j be -2*(-2)/(-4) - 19. Let g = j + s. Is g a multiple of 10?
False
Let v = -225 + 441. Is 9 a factor of v?
True
Let p = 33 + 231. Is p a multiple of 22?
True
Suppose -3*q - 5*n = -42, -n - 41 - 1 = -3*q. Let s = q + -10. Suppose 12 = s*l - 8. Is 2 a factor of l?
False
Suppose -6*v = -5*z - 5*v + 1083, 4*v = z - 228. Does 2 divide z?
True
Suppose 5*q = q - g + 1456, 379 = q + 4*g. Suppose 2*m = 10, -2*h - 4*m - 27 = -q. Let z = h - 107. Does 15 divide z?
False
Let b be 238/12 + (-8)/(-48). Suppose 300 = -b*j + 22*j. Is 25 a factor of j?
True
Let d = 4 - -131. Suppose 9*k + d = 12*k. Does 3 divide k?
True
Suppose -5*u + 18*t = 15*t - 6778, -4*t - 6774 = -5*u. Does 97 divide u?
True
Let v(u) = u**3 + 5*u**2 - u - 5. Let q be v(-5). Suppose -b + 5*b = 4*t - 476, q = 3*b - 6. Suppose 4*j - t = -2*a + 5, -3*j - 354 = -5*a. Does 15 divide a?
False
Suppose 0 = y - 0*y - 2*h - 577, -2*y = -h - 1145. Is 8 a factor of y?
False
Let t be (-15*4/(-36))/((-3)/(-1890)). Suppose -y + 11*y = t. Is y a multiple of 15?
True
Suppose 1275 = 5*q - 4185. Suppose -1487 + 396 = -5*l - 4*i, 0 = 5*l + 3*i - q. Suppose -4*s + 7*v - 4*v = -l, 0 = 3*s - v - 158. Is s a multiple of 15?
False
Let w = 1143 + -289. Is 23 a factor of w?
False
Suppose -5*w + 0 + 5 = -5*b, 23 = 2*b + 3*w. Let s be b + -4 - (-2 + 0). Suppose 4*c - 65 = -u, -3*c - 40 = -5*c - s*u. Is c a