 s*j + 91 = 0. Is j a multiple of 13?
True
Is 9 a factor of (-3 - (-18210)/24) + 5/20?
True
Let k(g) = 18*g**2 + 7*g - 12. Does 28 divide k(-5)?
False
Suppose -3*k + 35 = -4*q, q - 4*k + 10 = 3*q. Does 22 divide (6/q)/((-33)/605)?
True
Let n = -34 + 66. Let i = 44 - n. Is i even?
True
Let m(g) = 3*g**2 - 19*g - 5. Suppose u - 8 = 5. Is 23 a factor of m(u)?
False
Let l(b) = -3*b**3 + 11*b**2 + b + 5*b**3 - 7 - b**2 - 6*b. Let p be l(-9). Is p/(-14) - (-24)/56 a multiple of 11?
True
Suppose 5*b + 19*z - 2883 = 22*z, -5*z = -20. Does 3 divide b?
True
Is (0 + -103)/((-2)/6*3) a multiple of 51?
False
Let f(h) = h**2 + h - 1. Let t(g) = -2*g**2 + 23. Let y(n) = 3*f(n) - t(n). Is 32 a factor of y(-9)?
True
Suppose 2*y - 14 = -4*g, g = 2*y + 7 - 1. Suppose -4*n = -0*n + g*l - 412, 3*l + 398 = 4*n. Is 28 a factor of n?
False
Suppose -2*f + 109 + 225 = 0. Let g = -95 + f. Is 8 a factor of g?
True
Let b = 311 - 67. Suppose -2*z - 4 + b = 0. Does 12 divide z?
True
Let i(b) = b**3 - 19*b**2 + 2*b - 41. Let t be i(19). Let d(u) = -3*u**3 + 3*u**2 + 6*u - 1. Does 28 divide d(t)?
False
Suppose 12*d = 22*d - 3660. Is 6 a factor of d?
True
Let z(c) = c**3 - 32*c**2 + 95*c + 28. Is z(29) a multiple of 52?
True
Let r(y) = -3*y + 3*y + 0 - 3 - 2*y. Let w be r(5). Let f = 10 - w. Does 8 divide f?
False
Suppose 146 = 2*x + x - 4*n, -2 = n. Does 2 divide x?
True
Suppose 0 = 8*n - 610 - 1182. Does 8 divide n?
True
Let b = 53 + -47. Suppose -150 = -4*r + b*s - 4*s, -r - 3*s + 20 = 0. Is r a multiple of 7?
True
Let b be (0 - -3)*(1 + -6). Let m be (11 - 1)/(-13 - b). Suppose 5*c + 4*w = w + 24, -36 = -m*c + 3*w. Is c a multiple of 5?
False
Let s(g) be the first derivative of -g**4/4 - g**3 + 3*g**2/2 + 3*g - 14. Is 5 a factor of s(-5)?
False
Suppose 2*s - 11*r - 106 = -6*r, r + 2 = 0. Is 10 a factor of s?
False
Suppose 0 = 5*r + 5, 2*r = 5*y - 927 - 960. Is 16 a factor of y?
False
Let c(s) = -2*s**2 + 8*s - 11. Let w be c(8). Let d = -148 - w. Let v = -43 - d. Does 11 divide v?
False
Suppose 0 = -5*j - 2*g - 247 + 33, -144 = 3*j - 4*g. Suppose 0 = -4*q + 2*q. Is (q - j) + 7/7 a multiple of 15?
True
Suppose -4*d = t - 195, 4*d + 726 = 4*t + 2*d. Suppose -4*v + 162 = 2*z, 4*v = 3*z - 46 + t. Is 5 a factor of v?
False
Let s = 3244 + -1876. Is s a multiple of 36?
True
Let m = -67 - -98. Suppose m*i = 30*i + 48. Is i a multiple of 12?
True
Let u = 864 - -1213. Is u a multiple of 21?
False
Let c be (-181)/(-5) - 7/35. Suppose -l + 4*m - c = -6*l, 3*l + 2*m = 20. Suppose i - 70 = -u - 3*i, 263 = l*u - i. Does 22 divide u?
True
Suppose -667 - 268173 = -94*m. Is m a multiple of 19?
False
Let m be -1*(3/2)/((-9)/24). Suppose -m*b + 185 + 227 = 0. Is b a multiple of 13?
False
Let j = 27 + -79. Let s = 60 + j. Is 8 a factor of s?
True
Let c(b) = 2*b**3 - 5*b**2 + 5*b - 4. Let f be 1/(-1*3/(-9)). Is 5 a factor of c(f)?
True
Let w(x) = 2*x**2 - 17*x + 147. Is w(12) a multiple of 77?
True
Let r(z) = -55*z - 45. Let l be r(-12). Suppose 3*y - 315 = -f, 2*f - 2*y + 3*y - l = 0. Is 51 a factor of f?
True
Let q = 32 - 28. Let z(m) = -783*m + 8. Let a be z(q). Does 11 divide 4/26 - a/143?
True
Let v(h) = -h**2 + 6*h + 10. Let a be v(7). Let d be (a/(-5))/(2/(-410)). Suppose 4*x - d = x. Is x a multiple of 11?
False
Let l(n) = 21*n**2 + 17*n + 30. Is 17 a factor of l(-16)?
True
Let j(h) = h + 13. Suppose 3*r - 12 = 3. Suppose -5 + 20 = 5*z - r*q, 4*q - 6 = z. Is 9 a factor of j(z)?
False
Let o(j) = 8*j - 3. Let b be o(-6). Does 9 divide (-1)/(-4 + 3)*(2 - b)?
False
Let x be (105/28)/(1/(-4)). Let u(o) = 102*o**2 - o + 1. Let g be u(1). Let q = g + x. Is 23 a factor of q?
False
Suppose 0 = 4*t + 163 - 899. Suppose -4*u + t = 2*y, 5*y = 5*u - 94 - 106. Let d = -5 + u. Is d a multiple of 19?
False
Let w = 33 + -26. Let b(q) = 17*q - 20. Does 21 divide b(w)?
False
Let r(s) = 2*s**2 + 53*s + 12. Let i be r(-26). Let a(w) = -6 + 5 + 4 + 0 - 3*w. Is a(i) a multiple of 19?
False
Suppose -12*l + 134 = 38. Let s(w) = -5*w**3 - 2*w - 1. Let m be s(-1). Let j = l + m. Is 7 a factor of j?
True
Let h = 9106 - 4721. Is h a multiple of 9?
False
Let p be 1/4 - (-110)/40. Let b be ((-477)/(-18))/((-2)/(-4)). Suppose -b - 91 = -p*c. Is 16 a factor of c?
True
Suppose 2*b + 20 = 6*b. Suppose -20 = b*m, 3*g = 4*m - m - 3. Let t(j) = j**3 + 6*j**2 + 4*j + 3. Is t(g) a multiple of 8?
True
Suppose -4*p - 5*n = -1, 2*p + 2*p + 7 = 3*n. Let d be p*(-5 + -2)*1. Let v(o) = -o**3 + 8*o**2 - o + 9. Is v(d) a multiple of 17?
True
Let f be 1/(-1)*(1 - -5). Let q(a) be the first derivative of a**4/4 + 7*a**3/3 + 5*a**2/2 + 6*a - 3. Is q(f) a multiple of 12?
True
Let m = -713 - -724. Let f(q) be the second derivative of q**3/6 + 11*q**2 + q. Does 33 divide f(m)?
True
Suppose -5*n = o - 3*o - 4, 3*n = -5*o - 10. Let x be 0/(-1) + 4*-6. Let d = n - x. Is 7 a factor of d?
False
Let g(q) be the second derivative of 1/20*q**5 + 11/12*q**4 + 10*q + q**2 + 7/6*q**3 + 0. Does 7 divide g(-10)?
False
Suppose 3*g - c = 6 + 3, 3*g - 5*c = -3. Suppose -45 + 116 = 3*o + q, -g*o + 3*q = -99. Is 8 a factor of o?
True
Does 18 divide 9 + -8 + 550 + -2?
False
Suppose -326 = 21*c - 22*c. Does 24 divide c?
False
Suppose 5*b = -2*l + 6*b + 313, -3*l = 2*b - 466. Let a(c) = -2*c - 5. Let w be a(-4). Is 2 - l/((-6)/w) a multiple of 16?
True
Suppose -3*o + 759 + 803 = 2*l, -5*o + l = -2625. Is o a multiple of 5?
False
Let c(t) be the first derivative of t**3/3 - 3*t**2 - 4*t + 4. Let d be c(6). Does 8 divide 39/((-3)/(-3)) + d?
False
Suppose -12 = -4*s, -2*s = 5*n + s - 3439. Does 14 divide n?
True
Suppose 2*c + 3*i - 1899 = 0, -2*c + 2*i + 2*i + 1878 = 0. Does 46 divide c?
False
Suppose 0 = 16*g - 8*g - 6832. Is g a multiple of 72?
False
Suppose -4*b = -784 - 368. Is b a multiple of 35?
False
Suppose -7*t + 5 = -2. Let a be -1 + t + 4 + 0. Suppose -2*j + 16 = -a. Is j a multiple of 3?
False
Suppose 2*t = 2*u - 862, 8*u - t - 1739 = 4*u. Does 9 divide u?
False
Let x(o) = -o**3 - 13*o**2 - 21*o + 3. Let k be x(-11). Let c(d) = d**2 + 4*d + 16. Does 16 divide c(k)?
True
Suppose -32379 = -36*x + 24141. Does 10 divide x?
True
Suppose -5*d + 41 - 7 = 3*u, 4*d = 4*u + 8. Let w(c) = -7*c + 112. Let s be w(15). Is 22 a factor of ((-22)/d)/(s/(-105))?
True
Let y(h) = 3*h. Let g be y(1). Let a(q) = -3 - 2*q - 10*q**2 + 0*q**3 - 4*q**g + 3*q**3. Is 7 a factor of a(-10)?
False
Let f = 11 - 13. Let j be 21*(3 + f - 0). Is 7 a factor of (-2 - (1 - 0)) + j?
False
Suppose -44*s = -57*s + 6240. Does 20 divide s?
True
Suppose 5*w - 17 = v, 3*v - v + 2*w = -10. Let c = v - -10. Suppose y - 15 = -n + c*n, -4*n - 51 = -5*y. Does 2 divide y?
False
Let w(m) = -24*m**3 + 7*m**2 + 29*m + 98. Does 51 divide w(-5)?
False
Let o(c) = 13*c**2 - 3*c**2 - 3 + 4*c - 9 - 27*c**3 + 26*c**3. Does 9 divide o(9)?
False
Let d(f) = 80*f - 561. Does 41 divide d(22)?
False
Let j be 2/10 - (-3)/(-15). Suppose -68 = -j*t + 4*t. Does 18 divide t/4*36/(-3)?
False
Let j(t) = -3*t**3 - 3*t**2 + 4*t + 2. Let m be j(-3). Suppose -m = 26*i - 27*i. Suppose 5*y = 16 + i. Is y even?
True
Let y be 150/(-24) - (-3)/12. Is 4 a factor of 320/30*(-27)/y?
True
Let a = 30 - 28. Suppose 252 = -0*q + a*q. Is 42 a factor of q?
True
Let c be (2/4)/(11/(-418)). Let j = 31 + c. Is j a multiple of 4?
True
Let c(m) = -m**2 + 18*m - 22. Let g(o) = -6*o - 1. Let b be g(-1). Let q(v) = 3*v + 1. Let d be q(b). Is c(d) a multiple of 10?
True
Let a = -226 + 489. Suppose 4*w - 506 = 2*y, -2*w + 0*w = -3*y - a. Let k = w - 89. Is 11 a factor of k?
False
Suppose n - 5*a - 561 = 0, -4*a = 11*n - 7*n - 2148. Is 74 a factor of n?
False
Is 36/81 - 7440/(-27) a multiple of 17?
False
Suppose -2*b = 5*i - 19031, -2*i = -58*b + 61*b - 7608. Does 51 divide i?
False
Let h be 8/6 + 280/15. Let s = -15 + h. Is 4 a factor of 87/s - (-2)/(-5)?
False
Suppose -16*g + 5*o - 593 = -20*g, -4*g + o + 611 = 0. Is 19 a factor of g?
True
Suppose 613*h = 619*h - 11592. Is 23 a factor of h?
True
Suppose -3*u - 4*f = -181, u + 3*f - 120 = -u. Let o = 11 + -11. Let s = o + u. Does 21 divide s?
True
Let b(d) = -d**3 - d**2 + 1. Let g = -9 - -12. Suppose 5*c - 4*c = -g. Is b(c) a multiple of 8?
False
Let x(b) = -2*b**3 + 5*b**2 - b - 4. Let r be x(4). Let j be 620/6 + (-2)/(-3). Let l = j + r. Is l a multiple of 12?
True
Suppose c - 13 = -48. Let g 