t j = -551 + 578. Is j a multiple of 2?
False
Suppose -3*v = 4*j - 560, -2*v - 3*j + 0*j = -372. Does 4 divide v?
True
Suppose 0 = 5*w - 34 - 36. Let v be 3/6*w + -3. Suppose v*r - 35 = -3*z + 1, 5*r + 2*z = 38. Is r a multiple of 6?
True
Let j be 305/25 + (-3)/15. Let d(m) = -m**2 + 20*m - 10 - 5*m - m. Is d(j) a multiple of 7?
True
Let a(q) = 15*q**2 + 10*q + 9. Is 57 a factor of a(-3)?
True
Let x = -171 + 192. Is x a multiple of 21?
True
Let t = 7 - 7. Suppose t = -y + 5*y + 2*r - 54, -y + 6 = 3*r. Let a = 72 - y. Is 14 a factor of a?
False
Let o be ((-11)/(-4))/(-3 - (-65)/20). Suppose -9*r - 52 = -o*r + 4*b, -4*r - b + 131 = 0. Is 3 a factor of r?
False
Let s = -203 + 742. Does 21 divide s?
False
Let t(l) = -9*l. Let f(v) = 11*v - 1. Let s(g) = -4*f(g) - 5*t(g). Let k = 4 - -2. Is s(k) a multiple of 10?
True
Let g(v) = 2*v - 2. Let p be g(1). Let s be (p + 0)/(3 + -1). Suppose -u - 3*u + 80 = s. Is 10 a factor of u?
True
Let x be (1920/(-9))/8*-3. Let s = 10 + x. Is 10 a factor of s?
True
Suppose 30 = -3*c + 8*c. Let k = c + 42. Is (-3)/(3/2) + k a multiple of 23?
True
Let p(v) = -v**2 + v + 7. Let m be p(-3). Let q(i) = i**2 + 3*i - 6. Let r be q(m). Let s = r - -22. Is s a multiple of 13?
True
Suppose 97*x - 810 = 95*x. Is 45 a factor of x?
True
Suppose -3*f - 2*f + 345 = 0. Let m = f - -15. Is m a multiple of 8?
False
Is 7 a factor of ((-141)/(-2))/(108/144)?
False
Let g(z) = 5*z + 62. Is 12 a factor of g(-3)?
False
Suppose 3*k - 26 = -4*d, -4 - 4 = -4*k. Suppose 328 = d*f + w, 0 = -0*f - 3*f - 2*w + 201. Is 3 a factor of f?
False
Let a be 4/(-1)*-2 - -2. Suppose -r + 5 = 4*u - 15, -2*u = -5*r - a. Suppose -5*n = u*f - 115, 44 = f + 4*n + 9. Is f a multiple of 3?
False
Let b be (336/30 + (-1)/5)*-1. Let g(i) = -i**3 - 11*i**2 - 12*i - 12. Is g(b) a multiple of 30?
True
Suppose 2*b = -2*o + 226, o + 559 = 4*b + b. Let t = 156 - b. Does 8 divide t?
False
Let v(f) = 104*f**2 + f + 2. Does 28 divide v(2)?
True
Suppose 5441 + 2299 = 9*i. Does 43 divide i?
True
Suppose -5*y - 4*q + 1974 = -0*q, -4*y + 5*q + 1571 = 0. Suppose -3*n = -6, 5*n - y = -6*v + 2*v. Suppose 3*x = 5*x - v. Is x a multiple of 21?
False
Let l = 5 + -3. Suppose -2*u - 1 = 5*n - 2, -4*n - l = 3*u. Let p(b) = 30*b**2 - b + 1. Is 15 a factor of p(n)?
True
Let a be 1/(-2 + 1)*-4. Suppose 0 = 5*y - b - 14, -4*y + 2*b = -6 - a. Suppose n + y = 21. Does 9 divide n?
True
Suppose 5*f - 7*f = -68. Let t = f + 6. Suppose -5*i = -5*o - t, -2*i + 4*o = -0 - 6. Does 11 divide i?
False
Suppose 24 = -3*m - 108. Is ((-242)/m)/(1/6) a multiple of 11?
True
Let s be (3/4)/(-3) - (-36)/16. Let v = 84 + s. Is 43 a factor of v?
True
Let l(c) = -6*c - 45. Let k be l(29). Let m = k + 311. Is 23 a factor of m?
True
Let w be (64 + -2)/(6/21). Let o = w + -10. Is 38 a factor of o?
False
Suppose -5*b + k + 117 = -k, -93 = -4*b + k. Suppose -w - b = -3. Let p = -12 - w. Is p a multiple of 5?
False
Suppose r = 6*r - 4*t + 13, -4*r - 6 = -t. Is (-7120)/(-56) - r/(-7) a multiple of 20?
False
Suppose -2*m = 4*v - 2*v - 5880, -3*v - m + 8828 = 0. Is v a multiple of 32?
True
Let f = -19 - -4. Let q(t) = 2*t**3 + t**2 + 3*t - 4. Let c be q(0). Let u = c - f. Does 11 divide u?
True
Let u(i) = i**2 + 26*i - 5. Let c be u(6). Suppose -2*f + 5 = -c. Is f a multiple of 18?
False
Let w(p) = p**3 + 10*p**2 - 16*p. Let t be w(-11). Suppose k - t = 83. Is 11 a factor of k?
False
Let h(c) = c**2 - 2*c - 47. Is h(13) even?
True
Let p(v) = -4*v + 71. Let h be p(17). Suppose -4*r + 567 = 3*o - r, -h*r + 375 = 2*o. Is 12 a factor of o?
True
Does 10 divide (-1)/((-16)/12) - (-134355)/60?
True
Suppose -5*k - y = -89, -3*k = -7*k + 5*y + 77. Suppose -d + 0*g - g = 8, 3*g + k = -d. Does 6 divide d/(-6) + (-46)/(-4)?
True
Suppose -48 = -4*h + 60. Let f(n) = n - 3. Let a be f(-3). Is 11 a factor of a/h - (-1484)/36?
False
Let s(r) = 901*r**2 + 4*r + 6. Is 7 a factor of s(-1)?
True
Let g = 177 + -180. Let d(l) = -3*l - 4*l**2 + l - 1 - 3*l**3 + l**3. Is d(g) a multiple of 13?
False
Let h = -15 + 19. Suppose -4*g - h*x + 156 = 0, -4*x + 3*x = 2*g - 81. Let k = g + -21. Does 21 divide k?
True
Let l = 10 - 6. Suppose -j + 0*j + 43 = 4*i, -72 = -l*j + 4*i. Suppose 5*w - j - 20 = -2*p, -5*w + 39 = p. Is w a multiple of 4?
False
Let s = -44 - 21. Let o = 325 - s. Is 54 a factor of o?
False
Let b(y) = y**2 - 5*y - 9. Suppose -5*m + 5*g = 60, 0 = 4*m - 5*g + 69 - 16. Is 25 a factor of b(m)?
True
Does 3 divide 6/4 - (-1 - 850/20)?
True
Let r(z) = z**2 + 4*z + 5. Let t be r(-3). Suppose -5*a - 92 = -h, -t*a = -0*h + h - 64. Is h a multiple of 24?
True
Let o = -101 + 101. Suppose o = -t - 0*f + f + 58, 2*t - f = 118. Does 13 divide t?
False
Let j = 16 + -13. Suppose 0 = -j*k + 4*k + 31. Let g = k + 53. Is 19 a factor of g?
False
Let n = -335 - -791. Is 57 a factor of n?
True
Let u be (3/3)/(-6 - -5). Suppose 3*r - 64 = 5*i + 9, 4*r - 89 = 5*i. Let w = r - u. Is w a multiple of 10?
False
Suppose 0 = -21*t + 23445 + 18051. Is t a multiple of 52?
True
Let d(b) = -b**2 - 12*b + 8. Let v = 12 - 18. Is 22 a factor of d(v)?
True
Suppose -3015 + 835 = -5*i - 4*d, d = -2*i + 869. Is 4 a factor of i?
True
Suppose -5*g + 294 = -3*o, 2*g = 2*o + 169 - 53. Does 35 divide g?
False
Let g(s) = -16*s**3 + 69*s**2 + 10*s - 54. Let z(i) = 3*i**3 - 14*i**2 - 2*i + 11. Let p(o) = -2*g(o) - 11*z(o). Is p(16) a multiple of 19?
True
Suppose -3*r - 12230 = -6*r - 5*d, 5*d = 4*r - 16365. Is r a multiple of 13?
False
Let z(l) = -6*l - 97. Does 11 divide z(-18)?
True
Let p be ((-40)/(-6) + 2)/(9/(-27)). Let l(n) = -n**2 - 10*n - 1. Let t be l(-5). Is 6 a factor of p/(-2) - t/(-12)?
False
Is 26 a factor of 0 - (-6 + -559) - 0?
False
Let f be 17*(6 - -2)/4. Let i be f/4 - 3/6. Let g(n) = n**2 - 7*n - 5. Does 2 divide g(i)?
False
Let q(n) = 17*n**2 + 15*n - 81 - 18*n**2 + 5*n. Is q(10) a multiple of 3?
False
Let n be -2*(-31 + 5 + -2). Suppose -2*r - 4*p + n = -0*r, 2*p - 76 = -3*r. Is r a multiple of 16?
False
Let q(v) be the second derivative of 1/3*v**3 + 3*v + 1/4*v**4 - 1/2*v**2 + 0. Does 10 divide q(-3)?
True
Suppose -244*p = -269*p + 49325. Does 53 divide p?
False
Let u(v) = -v - 2. Let x(w) = -w**3 + 7*w**2 + 6*w + 11. Let h be x(8). Let s be u(h). Suppose n + 3*i - 33 = 0, -s*n - 3*i - 117 = -7*n. Is n a multiple of 10?
True
Let w be 377/7 - (-2)/14. Suppose -a = x - w, 5*x = -a + 233 + 49. Let r = -37 + x. Does 4 divide r?
True
Suppose -3*o + 27 = -21. Let l = 25 - o. Is l a multiple of 6?
False
Suppose -7663 + 2443 = -18*l. Is l a multiple of 29?
True
Suppose b + 0*v + 2*v = 311, -4*b + v = -1208. Let z = b - 211. Does 5 divide z?
False
Let s(p) = 16*p + 23. Let m(z) = -16*z - 22. Let g(t) = -7*m(t) - 6*s(t). Is g(6) a multiple of 45?
False
Let b be -1 - (20/130 + (-639)/13). Suppose 2*a + 0*a = b. Does 3 divide a?
True
Let c be 4*(-2 - -3)/1. Suppose c*g - 1 = 3*w - 2, -3*g + 15 = 3*w. Suppose -y = -w*y + 8. Is 4 a factor of y?
True
Let b(q) = 3*q**2 + 3*q - 10. Let p be b(4). Suppose p = 7*c - 5*c. Suppose 2*r - c = -5*i + 223, 0 = -4*r + 16. Is i a multiple of 12?
True
Let f be 166*3/18*3. Let t = -45 + f. Does 19 divide t?
True
Let w = 677 + -578. Does 33 divide w?
True
Let u(f) = -f**2 - 4*f + 9*f - 4 + 10. Let r be u(6). Does 23 divide -3 - (r - 288/4)?
True
Let x be -41 + -3*4/12. Is 20 a factor of ((-306)/(-21))/((-6)/x)?
False
Let y = -365 - -872. Does 11 divide y?
False
Suppose 0 = -5*z + 25, 4*z - z = 2*t - 1371. Suppose 7*l - t = 497. Does 17 divide l?
True
Suppose 2*q + 5*s - 11 = 0, s + 3*s = -3*q + 13. Suppose -4*c = -q*c - 16. Is c a multiple of 3?
False
Let u(r) = 4*r - 2. Let y be u(2). Let c(w) = 24*w - 13. Let g(a) = 28*a - 14. Let h(d) = 5*c(d) - 4*g(d). Is h(y) a multiple of 13?
True
Suppose k + 5*k = -3*k. Suppose 4*j - 448 = -0*j - 3*y, k = -4*y. Does 28 divide j?
True
Let c = 421 - 334. Is 37 a factor of c?
False
Let r be -2*1 - (7 + -11). Let m be (2 - -10)/(r - 0). Suppose 0 = m*b - 10*b + 124. Does 23 divide b?
False
Suppose 2 = 7*d - 6*d, -5*d - 2366 = -b. Is 31 a factor of b?
False
Let h(n) = -2*n + 148. Is 22 a factor of h(8)?
True
Let l be (-8)/28 + (-982)/(-7). Let s = l + -90. Suppose -b = b - s. Is 11 a factor of b?
False
Let r = 79 - 4. Is r a multiple of 15?
True
Let y = 10 - 7. Suppose -2*r - 10 = y*r. Is r/9 - 101/