 + 26 = 0. Does 9 divide (2 + -58)/(-1) - 4/t?
True
Let j(v) = 53*v + 31. Is j(3) a multiple of 19?
True
Let d = -14 - -16. Suppose d*s + s - 144 = 0. Does 8 divide s?
True
Let x(s) = -332*s + 33. Is 11 a factor of x(-11)?
True
Suppose 4*r - 655 = -3*v, 5*v - 1083 = 2*r - 0*r. Let p = 343 - v. Is p a multiple of 14?
True
Suppose 13*g - 118*g + 52920 = 0. Is g a multiple of 6?
True
Let q = -24 + 28. Suppose -425 = -5*t - 4*d - 32, 0 = -2*d + q. Does 11 divide t?
True
Suppose -3*f + 2*f - 17 = 0. Let h(j) = 6*j + 1. Let z be h(-1). Let w = z - f. Is w a multiple of 12?
True
Let z(x) = -2*x**2 - 3*x - 13. Let s be z(-7). Let n(c) = c**2 + 19*c + 15. Let i be n(-19). Is 17 a factor of (-40)/i*s/4?
False
Let o(h) = h - 1. Let l be o(6). Suppose -l*f = -4*z - 298, -3*f + 106 = -f + 5*z. Is 29 a factor of f?
True
Let n(s) = s**3 - 6*s**2 - 7*s + 3. Let p be n(7). Suppose x + k - 32 = 0, 25 - 123 = -p*x - k. Suppose -x = -o - 2*h, h + 42 = 2*o - h. Does 7 divide o?
False
Suppose 3*r - 25 = -2*v, 3*r - 8 = v + 2. Suppose r*t = -15, 5*k - 2*t = t + 34. Is k a multiple of 5?
True
Let r be 1 + -1 - 76/(-19). Suppose 0 = 2*d - r*c - 427 + 15, -982 = -5*d - 2*c. Is d a multiple of 22?
True
Is (6/(-2) + (-567)/(-147))*196 a multiple of 21?
True
Let v = -1006 + 1536. Is 34 a factor of v?
False
Let i be (3 - 2/(-2)) + 6. Suppose 0 = 5*o - 0*o + 110. Let j = i - o. Does 15 divide j?
False
Is (-1768)/(-14) - (-26)/(-91) a multiple of 42?
True
Let m(g) = g**2 + g + 54. Suppose 0 = -3*t + 4 + 5. Suppose t*w + 12 = 6*w + 3*u, -4*w = 3*u - 12. Does 18 divide m(w)?
True
Let f = 8 + -6. Does 18 divide -1 + 86 + f*2?
False
Suppose -6*x + 279 = -291. Is x a multiple of 3?
False
Suppose -5120 = 236*z - 246*z. Is 32 a factor of z?
True
Let o(z) = 2*z**3 - 10*z**2 + z. Let v be o(5). Suppose 0 = v*h + 3*h - 968. Does 11 divide h?
True
Suppose -s + 4 = n, -n + 11 + 5 = 3*s. Does 3 divide (s/24 + (-1)/(-2))*8?
True
Suppose c = -1, -4*z + 2*c = -411 - 623. Does 73 divide z?
False
Is 10 a factor of ((-21)/(-2))/(36/(-7872)*-4)?
False
Let n(g) = 783*g**3 - 3*g**2 + 4. Is n(1) a multiple of 7?
True
Let t = -22 - -28. Let z be (-100)/(-36) - t/(-27). Suppose 0*f + 3*f - 2*q - 128 = 0, 0 = -z*f + 5*q + 131. Does 19 divide f?
False
Suppose -r = -61 - 569. Is 35 a factor of r?
True
Let n(m) = 3*m - 4. Let c be n(3). Let x be 80/50 + 2/c. Is ((-24)/3)/(x/(-12)) a multiple of 16?
True
Let z be (4 + -5)*2*2. Let t = z + 1. Is (-15)/36*t*4 a multiple of 5?
True
Is 26 a factor of -4*3910/(-7) + (-58)/203?
False
Let j(w) = -w - 2. Let t be j(-2). Let c = t + 2. Suppose 2*i = -i - 4*g + 47, 0 = 2*i - c*g - 8. Is i a multiple of 2?
False
Suppose 3*c + 5*b + 313 = 0, -6*b + 2*b = 4*c + 404. Does 66 divide (c/(-128))/((1/(-1))/(-528))?
True
Suppose -3*v = 5*r - 1087, -5*v + 2*r + 1570 = -252. Does 12 divide v?
False
Let d(s) = s**3 - 6*s**2 + 7*s + 17. Let k(h) = h**3 - 7*h**2 + 8*h + 16. Let r(q) = 6*d(q) - 5*k(q). Is r(0) a multiple of 11?
True
Suppose -6*i = -3*i + 3*y + 12, -3*i + 2*y - 32 = 0. Is 1 + 48 + i/(-8) a multiple of 10?
True
Let h(i) = -4*i + 12. Let z be h(2). Suppose z*t - 2 = 6, -2*r + 3*t = -112. Does 11 divide r?
False
Suppose -4*s = -6*s + 84. Let b = s + -71. Let q = b + 57. Does 14 divide q?
True
Let r be 0/(8/4 - 0). Suppose r*x - 98 = -3*p + x, p - 6 = -5*x. Let q = 44 - p. Is q a multiple of 9?
False
Suppose 2*y + 31 = 3. Let c(n) = -n**2 - 15*n - 3. Let t be c(y). Suppose 12*v = t*v + 45. Is 12 a factor of v?
False
Let a = -617 + 1079. Is a a multiple of 22?
True
Let a(f) = 5*f**2 + 18*f - 45. Does 63 divide a(-15)?
False
Let i(y) = 3*y**2 + 4*y - 5. Let c be i(-10). Suppose 2*h = -5*p + 3 + 167, 3*h = -p + c. Is 17 a factor of h?
True
Suppose -c + 8 = 39. Let j = -9 - c. Does 11 divide j?
True
Let d be (-3)/((-3)/2)*51. Let s = d + -54. Is 30 a factor of s?
False
Let z(t) = -t**3 - t**2 + 11*t - 7. Let h be z(-7). Let u = h - 98. Is u a multiple of 7?
True
Let u(h) = -338*h + 30. Is 16 a factor of u(-1)?
True
Let v(b) = -b**3 + 8*b**2 + 5. Let c be v(8). Does 9 divide c/(20/12) + 11?
False
Let o(s) = 20*s + 9. Let w be o(-7). Let m = w + 211. Is 7 a factor of m?
False
Suppose -11*g - 1234 = -13*g. Is 15 a factor of g?
False
Suppose -20*z + 4647 = -5433. Is z a multiple of 12?
True
Let i = 11 - 6. Let x(r) = i*r - r - 2 + 10*r + 10. Is 16 a factor of x(4)?
True
Let k(i) = 78*i - 126. Does 8 divide k(9)?
True
Let r(i) = 8*i**2 + 10*i + 42. Does 71 divide r(-6)?
False
Suppose -107*f + 113*f = 1128. Is 4 a factor of f?
True
Let n be 3 + 21 + (2 - (-6)/(-2)). Suppose 19*r - n*r = -120. Is 10 a factor of r?
True
Suppose -h + 324 = -4*h + 4*a, 566 = -5*h - 2*a. Let x = h - -266. Is x a multiple of 13?
False
Is (-52)/(123/18 + -7) a multiple of 39?
True
Let t = -29 + 33. Suppose -45 - 31 = -t*x. Is 8 a factor of x?
False
Let i(l) = l**3 + 17*l**2 + 11*l + 14. Does 4 divide i(-16)?
False
Let j(v) = 7*v**2 - 4. Let k be j(-3). Suppose 5*h + 4*b - 20 = -b, 5*h - 10 = 5*b. Suppose -h*t = -k - 58. Is 15 a factor of t?
False
Let s(t) = -12*t**2 - 4*t - 4. Let f(c) = -8*c**2 - 3*c - 3. Let p(a) = -3*a - 5. Let d be p(-4). Let x(m) = d*f(m) - 5*s(m). Is 4 a factor of x(-1)?
True
Let r(d) = 316*d - 1019. Is r(13) a multiple of 25?
False
Let u(s) = -20*s + 44. Suppose 45 = 28*f - 33*f. Is u(f) a multiple of 28?
True
Let q = 4107 + -2493. Is q a multiple of 17?
False
Suppose 0 = -2*s - 19*s + 252. Does 6 divide s?
True
Suppose -2*a = -0*a - 138. Is 18 a factor of a?
False
Let b(q) = -111*q - 395. Is 10 a factor of b(-5)?
True
Let n be 44/(-6)*15/(-10). Suppose -4*a - n = -59. Let t = a - -40. Does 14 divide t?
False
Let i(w) be the first derivative of -w**2 + 150*w + 42. Does 30 divide i(0)?
True
Let v = 32 + -48. Does 6 divide (-5 - v) + (-1)/(-1)?
True
Suppose 6*j + 14112 = 15*j. Is j a multiple of 56?
True
Let g = 767 + -347. Is g a multiple of 6?
True
Let x = 1 - -8. Suppose -6*y = -x*y + 18. Is y a multiple of 6?
True
Let a(t) be the second derivative of t**4/6 - 10*t**3/3 - 19*t**2/2 - t + 3. Is a(-7) a multiple of 41?
False
Let o(g) = -6*g - 12. Let w be (-28)/182 + (-100)/26. Is o(w) even?
True
Suppose -j - 2*d = 4, 3*d - 8*d = 15. Let h(u) = -u + u**j + 8*u + 10 + 2. Is h(-7) a multiple of 11?
False
Let p(v) = -4*v - 29. Let f be p(-15). Let x = 28 - f. Let r(j) = -j**3 + 2*j**2 - 4*j. Is 14 a factor of r(x)?
False
Suppose 5*k + 5*f = 75, -5*f + 19 = -6. Suppose -7*a + k*a - 132 = 0. Suppose 0 = n - 4*z - 18 - 30, n = 3*z + a. Is 15 a factor of n?
False
Let a be 195/13*(-1 - 0). Let m = a - -78. Let y = m + -45. Is y a multiple of 9?
True
Suppose -c = -0*f - 2*f - 21, 5*c = -2*f + 45. Let z(t) = t**2 - 5*t - 13. Is z(c) a multiple of 10?
False
Suppose 2*v + 5*c - 5 = -2, 0 = v + 4*c. Suppose -504 = v*t - 13*t. Is t a multiple of 10?
False
Let c(a) = 2*a + 2. Let v be 0 + 2 + 2 - 1. Is 3 a factor of c(v)?
False
Suppose 5*r + 3*p - 14908 = 0, -5*r + 4*p + 2254 = -12682. Is r a multiple of 48?
False
Let o be (10/(-6))/((16/12)/(-4)). Suppose -o*y + 2*x = -257, -2*y = -7*y + 5*x + 260. Is y a multiple of 9?
False
Let h = -437 - -593. Is h a multiple of 13?
True
Suppose -8210 = -7*c - 1931. Is 39 a factor of c?
True
Let d(z) = z**3 - 29*z**2 + 48*z - 161. Is d(28) a multiple of 19?
True
Let y = 6 + -3. Suppose -9 - y = -3*c. Suppose c*b = -0*b + 136. Does 17 divide b?
True
Let o = -18 - -23. Suppose 3*t + 2 = -i - 1, o*i + 3*t = -3. Suppose 5*p = -i*p + 190. Is p a multiple of 19?
True
Suppose 4*o = -6*o - 10. Suppose 2*q = -q, -16 = -4*b + 5*q. Let u = b + o. Is u a multiple of 3?
True
Let h = 4116 - 2145. Is 9 a factor of h?
True
Let d be 6/4*20/6. Suppose 4*u = -d*i - 0*u + 21, -3*i + 4*u + 19 = 0. Suppose i*q - 26 = -1. Is q a multiple of 2?
False
Let p(b) = -4*b - 10. Let r be p(-3). Is (7/1)/(r + 36/(-20)) a multiple of 6?
False
Let a(g) = -17*g + 1248. Is 45 a factor of a(39)?
True
Let h(m) be the third derivative of m**4/8 - 7*m**3/6 - m**2. Let y be h(3). Suppose n - 231 = -y*n. Does 26 divide n?
False
Is 74 a factor of 2*(98/(-245) - 5182/(-5))?
True
Let d(x) = -18 + 21 - 19 + 10*x. Does 44 divide d(6)?
True
Suppose 0 = 2*l - 3*c - 2086, 8 = -2*c - 2*c. Is l a multiple of 104?
True
Suppose 0*m = 7*m - 2485. Let d = 0 - -2. Suppose -3*q = d*q - m. Is q a multiple of