*j = -336. Is 4 a factor of h(j)?
True
Suppose 0 = -5*j - 5*b + 575, -j - 4*j + 570 = 4*b. Is (2 - 0) + j + -2 a multiple of 8?
False
Let k = 196 + -112. Does 7 divide (7 + 13)*k/15?
True
Suppose 722 = -9*b + 2234. Does 51 divide b?
False
Suppose -2503 = -10*v + 1717. Does 4 divide v?
False
Let a(j) = j**3 + 7*j**2 - 3*j - 10. Let k be a(-7). Let r(n) = 5 + 6 - 1 + 0 - 5*n + n**2. Does 26 divide r(k)?
False
Let k = 18 + -10. Is k/10 + -1 + 543/15 a multiple of 6?
True
Suppose 18*h = 21*h. Suppose 765 = 3*j - g - g, j - 4*g - 255 = h. Is j a multiple of 17?
True
Let y(d) = 7*d**3 + 4*d**2 - 18*d - 3. Is y(3) a multiple of 28?
True
Suppose 5*h - 2*w = 155, -5*h = -0*h - 4*w - 165. Let l = h + -29. Suppose 0 = q - 3*m - 23, 5*q + 5*m - 160 - 55 = l. Is 19 a factor of q?
True
Let h = 537 + -879. Let a = 496 + h. Is a a multiple of 14?
True
Let h = 2045 + -1668. Does 11 divide h?
False
Let k(f) = -66*f - 300. Does 12 divide k(-22)?
True
Let v be (-10)/4*(-167 + 1). Suppose -5*z - 425 = t - 6*t, -v = -5*t + 3*z. Is t a multiple of 12?
False
Let z be (-1592)/(-44) + 2/(-11). Let c be ((-4)/3)/(2/33). Let g = c + z. Is 7 a factor of g?
True
Is 6 + -26 - -72 - (-8)/2 a multiple of 28?
True
Suppose -b - 25 = 3. Let m = b - -172. Is 36 a factor of m?
True
Let g(l) be the first derivative of -9/2*l**2 - 1/4*l**4 - 5 + 3*l + 13/3*l**3. Is g(12) a multiple of 11?
False
Let q(l) = 4*l - 10. Let c be (8/3 - 2)*-6. Let v be c/(-1) + (-11 - -11). Is q(v) a multiple of 6?
True
Let x(s) = -s**2 + 14*s. Suppose -7 = -j - 2*b, -2*j - 5*b - 3 = -18. Let o = 11 - j. Does 20 divide x(o)?
False
Let i(n) = 3*n**3 - 23*n**2 - 11*n - 9. Is 4 a factor of i(9)?
True
Suppose -y - 3 + 1 = -2*d, -5*y - 24 = 4*d. Let x(o) = o**3 + o**2 - 1. Let k(j) = -5*j**3 - 3*j**2 - j + 2. Let c(l) = k(l) + 3*x(l). Does 2 divide c(d)?
True
Suppose -5*i + 13 = -c, -20 = -4*c - 7*i + 3*i. Is 2 - (c + -1 + -32) a multiple of 11?
True
Let l = -17 - -19. Suppose 37 - 359 = -5*c + 2*o, l*c = -3*o + 125. Is c a multiple of 32?
True
Let x = 390 - 80. Suppose -5*j = 5*n - x, -3*j = n + 60 - 248. Is 21 a factor of j?
True
Let o(z) = z**2 - 54*z + 766. Is 9 a factor of o(25)?
False
Let b = -1104 - -1858. Does 29 divide b?
True
Suppose 2*i = 3*l - 472, 0 = 3*l - 7*l + 3*i + 630. Does 12 divide l?
True
Suppose -3*u = a + u - 9, 5*a - 5*u = 20. Suppose 0 = -2*b - 2*r + 70, r = -0*r + a. Is b a multiple of 30?
True
Does 114 divide 3632/(-1 - -3) + (-32)/(-4)?
True
Let l(j) be the second derivative of j**3/6 + 57*j**2/2 - 4*j. Is l(0) a multiple of 5?
False
Suppose -4*n = 4*a, 4*n - 2*a + 4*a = 0. Let z(b) = -5*b**2 + 8 - 2*b**2 + b**3 - 3 + 7*b + n. Does 7 divide z(6)?
False
Suppose -3*i + 3*t - 5 + 2 = 0, -5*t + 17 = -2*i. Let s(g) be the second derivative of g**4/12 - 5*g**2/2 + 2*g. Is s(i) a multiple of 2?
False
Let n = 232 - -487. Does 41 divide n?
False
Let b(c) = -2*c - 10. Let k(v) = v**3 + 11*v**2 + 10*v - 9. Let o be k(-10). Let w be b(o). Let j(i) = i**2 - 2*i - 10. Does 13 divide j(w)?
False
Let s(t) = -t - 1 + 0 - 4*t**3 + 0*t - t - t**2. Let v be s(-1). Suppose v*a = -2*r + 60, -5*r + 0*a + 5*a + 150 = 0. Is r a multiple of 15?
True
Suppose 3*i - l = 3097, -31*i = -28*i - 4*l - 3109. Is 53 a factor of i?
False
Let c = -362 + 812. Does 14 divide c?
False
Suppose -2*y + 554 = -4*t, -545 = -5*y - t + 851. Is y a multiple of 9?
True
Let j = 23 + -19. Suppose 4*q + 0*q = -4*w + 108, j*w + 153 = 5*q. Does 4 divide q?
False
Suppose -23*k = -21*k. Suppose k*u + 892 = 4*u. Suppose t - 70 = 4*o, -t - 2*t + u = o. Is t a multiple of 12?
False
Is 73 a factor of 292/9*(-369)/(-82)?
True
Suppose 2 + 2 = 2*o. Suppose 3*g - 3*s = -9, -3*g = -o*g - 2*s + 8. Let l(k) = k**3 + k + 2. Is 7 a factor of l(g)?
False
Let g(y) = -3*y**3 - 5*y**2 + y - 4. Let r be g(-4). Let b = r + -68. Let z = b + -9. Does 6 divide z?
False
Suppose 5*r + 0*r - 2*k = 50, -r + 4*k = -10. Let l(q) = -2*q - q**2 - 4*q - q - 3 + 2*q**2. Is l(r) a multiple of 7?
False
Suppose -9*y = 3*y + 132. Let h(t) = 3*t**2 + 22*t - 1. Is h(y) a multiple of 15?
True
Let p(a) = a**3 + 21*a**2 - 23*a - 22. Let r be p(-22). Suppose -25*i + 21*i + 460 = r. Is i a multiple of 29?
False
Let u = -985 - -1497. Suppose -5*o + o + u = 0. Does 14 divide o?
False
Let o = 67 - 37. Let d be (13/(-2) - 1)/(81/216). Let h = d + o. Is h a multiple of 3?
False
Suppose r + 4*r = -30. Let s(i) = -4 - i**2 + 2*i**2 + 3 + i**2 + 5*i. Is 19 a factor of s(r)?
False
Let s be (-3)/((-3)/(-60)*-6). Let q be 1/s*-4*-10. Suppose 5*y - 47 = -3*u, q*y + 17 = 3*u - 21. Is 14 a factor of u?
True
Is (1 + -8)*1674/(-189) a multiple of 31?
True
Let g(n) = n**2 + 11*n + 2. Let d be g(-12). Let b be (49/d)/((-2)/(-12)). Suppose b = 2*y - 17. Does 4 divide y?
False
Let a = 2 - 13. Let y = a + 81. Is y a multiple of 11?
False
Suppose -4*n = 5*m + 2, 3*m + 4 = n - 4. Suppose 0 = n*o - 2*i - 50, -3*i + 77 = 3*o - 4*i. Suppose -o = 5*f - 7*f. Does 4 divide f?
False
Let l(o) = 3 + 5*o + 0 + 19*o. Is 15 a factor of l(3)?
True
Suppose 0 = -2*a + 3*h - 110, -h + 0*h = -3*a - 179. Let k = a + 153. Is 13 a factor of k?
False
Let g(t) = -t**2 + 16*t + 1. Let m(n) be the first derivative of n + 1. Let j(r) = g(r) - m(r). Does 24 divide j(12)?
True
Suppose 0 = -7*g + 6*g + 6. Let y = -3 + g. Suppose y*p + 0*p = 27. Does 6 divide p?
False
Let z(n) = 5*n - 11. Let d(h) = 6*h - 12. Let b(u) = -6*d(u) + 7*z(u). Let c be b(-8). Let j = c + 71. Is j a multiple of 13?
False
Suppose -2*f + 5*k = -1377, -28*k - 4201 = -6*f - 27*k. Is f a multiple of 60?
False
Suppose 5*u - 1 = -6. Let s(y) = -y**2 - 1. Let z be s(u). Let w = z - -41. Is 9 a factor of w?
False
Suppose -2*m = -4*r + 6, -42 = 3*m + 5*r - 11. Let n be ((1 + 0)*6)/1. Let k = n - m. Does 5 divide k?
False
Suppose -8*p - 428 - 1012 = 0. Is ((-2)/4*-141)/((-135)/p) a multiple of 24?
False
Let o(g) = 3*g**2 - 3*g + 14 - 4*g**3 + 10 - 22. Is 16 a factor of o(-4)?
False
Suppose 0 = 17*u - 8*u - 2511. Does 15 divide u?
False
Let v(q) = q**2. Let b be v(-1). Let d = b + 2. Suppose -y = 5*f - 21, d*y - 153 = f - 42. Does 12 divide y?
True
Let g(i) = 3*i**3 - 13*i**2 + 3*i - 4. Is 31 a factor of g(11)?
True
Let m(f) = -f**2 - 47*f - 74. Is m(-34) a multiple of 23?
True
Let b(n) = 36*n - 38. Is 26 a factor of b(6)?
False
Let g(j) = 4*j**3 - 4*j**2 - 1. Let y be g(3). Let v = y - -69. Is v a multiple of 11?
False
Suppose -91*t + 1692 = -82*t. Does 34 divide t?
False
Let u(j) = j. Let x be u(5). Let f be (x - 3) + (15 - 2). Let l = -9 + f. Is 6 a factor of l?
True
Let v(s) = 2*s**3 - 11*s - 6 - 7 + 26 - s**3 - 9*s**2. Let y be v(10). Suppose -a + y*a - 204 = 0. Is 31 a factor of a?
False
Is (828/(-90))/((-4)/110) a multiple of 21?
False
Let j be ((-18)/10)/(6/(-20)). Suppose -575 - 785 = 4*v. Is v/(-8) - 9/j a multiple of 9?
False
Let k(y) = -y**3 + 8*y**2 - 13*y + 21. Let q be k(7). Let t(v) = 2*v + 58. Is 2 a factor of t(q)?
True
Suppose 0 = l + 3*f - 5, -5*l + 0*f = -f - 41. Let m(r) = -2*r - 10. Let o be m(-7). Suppose l = -o*p + 5*p. Does 8 divide p?
True
Let l(p) = 17*p**3 - 4*p**2 - 2 - 12*p + 15*p - 5*p**3. Is l(2) a multiple of 22?
False
Let p(c) = 10*c + 291. Is 16 a factor of p(0)?
False
Let l(d) = d**2 + 10*d - 36. Suppose 11 - 3 = -2*o, n + 10 = -4*o. Is 20 a factor of l(n)?
True
Let d(g) = 143*g - 48. Is 34 a factor of d(2)?
True
Let o = -181 - -179. Let r(k) = -k + 5 - 5 + 5*k**2 - 2. Does 16 divide r(o)?
False
Is (-1)/(8*-1) - (-1413505)/760 a multiple of 62?
True
Suppose 18*u = 182 + 3058. Does 16 divide u?
False
Suppose 4*c - 20 = 0, -2*f - 5*c + 40 = 3*f. Let v = 4 + f. Is v even?
False
Let c(g) = 15*g + 65. Is c(9) a multiple of 11?
False
Let d(r) = -682*r**3 - 6*r**2 + 7*r + 12. Does 6 divide d(-1)?
False
Let k = 2052 + -1392. Is k a multiple of 7?
False
Let q be ((-4)/2)/(-2) + 0 + 1. Suppose 5*d - 221 = 3*l + 806, 2*d + q*l = 398. Is 32 a factor of d?
False
Suppose -8*y - 3070 + 11966 = 0. Is y a multiple of 8?
True
Let n = 94 - -27. Is 11 a factor of n?
True
Let c be (4/(-7) + -2)/(6/(-28)). Suppose -2*w + 3*p = -c - 61, w = p + 39. Does 11 divide w?
True
Let l(n) = n + 5. Let q be l(-5). Let d be 2 - (-3)/(3 - 2). Suppose -d*x + 0*x + 70 = q. Is 5 a factor of x?
False
Suppose 0 = -234*c + 221*c + 24570. Does 14 divide c?
True
Let t