 2*g + 759. Does 47 divide t?
False
Suppose 4*l - 5*o = 100, 0*o = -5*l + 3*o + 112. Is 17 a factor of (-5)/l + 0 + 1634/8?
True
Let a be 5/(20/64) - 3. Let x = a - 11. Suppose l - 5*k = 94, -5*l + 3*k = -x*k - 430. Does 28 divide l?
True
Suppose 0 = -5*y + 21 - 6. Suppose -5*p + 595 = 5*i, -4*i - 25 + 505 = y*p. Is i a multiple of 25?
False
Let k = 712 - 334. Suppose u - 63 = -a, -4*u + k = -3*a + 126. Is u a multiple of 5?
False
Let q(b) = b**2 + 13*b + 17. Let v be q(-12). Suppose s - 2*s = v*f - 12, -4*f = 3*s - 14. Does 2 divide s?
True
Let c be -25 - ((6 - 2) + -3). Let h = c - -22. Is 14 a factor of -51*((-4)/(-3))/h?
False
Let z(i) = -i**3 + i**2 - 4*i - 3. Let s be z(0). Is 8 a factor of (-1)/(890/(-295) - s)?
False
Let k(l) be the first derivative of 4*l**3/3 - 3*l**2/2 - 7*l - 41. Is k(3) a multiple of 5?
True
Let s(f) = -8*f**3 + 5*f**2 + 6*f + 10. Is 6 a factor of s(-3)?
False
Suppose 0 = -38*w + 41*w + 144. Let j = w - -50. Is j even?
True
Suppose 7*s - 5 = 2. Suppose b - s - 34 = 0. Is 7 a factor of b?
True
Let c be 0/(2/(-2 - 0)). Suppose 566*t - 556*t = 1200. Suppose c*r + 2*r - t = 0. Is r a multiple of 16?
False
Suppose h + 8 = 3*h. Let f be (-186)/h*(-4)/3. Suppose 5*i = k + f + 137, -3*k - 12 = 0. Does 25 divide i?
False
Suppose -18*r - 1108 + 8776 = 0. Is 10 a factor of r?
False
Let q be 202/(-18) + 4/18. Let l = q - -16. Suppose 4*y + 2 - 61 = 5*v, 4*v = -l*y + 125. Is y a multiple of 21?
True
Let q = 153 + -65. Let h = q + -25. Does 21 divide h?
True
Let d(o) = -3383*o - 165. Is 86 a factor of d(-1)?
False
Suppose -4*w + 6 = 2*c - 3*c, -2*c - 4 = 0. Let y(v) = -v + 1. Let b be y(w). Suppose b = -i + 44 + 37. Is i a multiple of 27?
True
Let i(j) = j**2 - 5*j - 10. Let d be i(7). Suppose -d*n - 5*k - 84 = -317, 4*k - 112 = -2*n. Suppose 3*u = 5*u - n. Is u a multiple of 24?
False
Suppose -k - 4*i = -112, -5*k = -7*i + 2*i - 485. Suppose z + 4*z = k. Is 20 a factor of z?
True
Let s(w) = -w**3 + w**2 - w + 1. Let c be s(1). Let f be (c - 0/2)*-1. Suppose -27 = -o + 5*a, -2*o + f*a + 21 = a. Does 7 divide o?
False
Suppose 0 = -5*g - 0*g + 2465. Suppose 4*q = -37 + g. Is 25 a factor of q?
False
Suppose -10 = -3*g + 2. Does 7 divide (g/8)/(2/204 - 0)?
False
Let y(f) = 2*f**2 + 1. Let l be y(-1). Suppose 0 = l*z + 2*z + 10. Does 30 divide (36/21)/(z/(-70))?
True
Suppose -88*l = -m - 86*l + 341, 2*m + l = 707. Is 9 a factor of m?
True
Let m = -26 + -18. Does 4 divide (5 + m)/((-2)/2)?
False
Let m = -529 + 682. Is 25 a factor of m?
False
Let d = -2 + 354. Does 22 divide d?
True
Let p(r) = 381*r - 2. Does 100 divide p(3)?
False
Suppose 0 = -5*z + 27 - 57. Does 15 divide (-8136)/(-54) - (-4)/z?
True
Suppose 106*a - 10 = 104*a. Let j(q) = 3*q + 19. Is 7 a factor of j(a)?
False
Let o(s) = 3*s**3 + 5*s**2 - 5*s + 5. Let m(f) = 4*f**3 + 5*f**2 - 4*f + 4. Let b(q) = 4*m(q) - 5*o(q). Is b(6) a multiple of 19?
False
Is -6 - (10/(-8))/((-4)/(-480)) a multiple of 16?
True
Suppose 0 = -4*a + 2*q + 34, 2*a = 2*q + 2 + 18. Suppose 94 = a*y - 914. Does 30 divide y?
False
Let a(i) = i**2 - 7*i - 44. Suppose -5*b - 12 = -17, 4*g + b = 81. Does 18 divide a(g)?
True
Let a(v) = 3*v**2 + 5*v + 8. Let s(t) = 5*t**2 + 11*t + 17. Let j(f) = -7*a(f) + 4*s(f). Let y be j(10). Suppose -y*r - 11 = -3*r. Does 10 divide r?
False
Suppose 5668 = -8*h + 10*h - 5*g, -6 = 3*g. Is 69 a factor of h?
True
Let p be 2 + -1 - (15 + -4). Is 3 a factor of p + 11 - (-8 - -1)?
False
Let s(v) = v**3 + 10*v**2 + 10*v + 13. Let w be s(-9). Let a(p) = 3*p**2 - 9. Does 5 divide a(w)?
False
Let g(n) be the second derivative of -2*n**3 - n**2 + 6*n. Let j be -4*-3*(-3)/9. Is g(j) a multiple of 23?
True
Let j = 251 - 51. Suppose j = 6*w - w. Suppose 3*z - w = 17. Is z a multiple of 19?
True
Suppose -3 = 5*v - 18. Suppose 5*u - 5 = -5*l - 0*l, 0 = v*l + 4*u - 1. Let r(i) = -i**3 + 2*i**2 + 7*i - 3. Does 2 divide r(l)?
False
Let f = -502 + 918. Is 26 a factor of f?
True
Let b = -247 + 377. Does 5 divide 5870/b + (-4)/26?
True
Suppose a = -0*a - 9. Let w(r) = r**3 + 8*r**2 - 11*r - 11. Let n be w(a). Let c = 26 - n. Does 10 divide c?
False
Suppose 0 = -3*g - 8 + 32. Suppose -2*d = 5*s - 7, d - g = 3*s + 1. Is ((-12)/15)/(d/(-90)) a multiple of 6?
True
Suppose -3 + 12 = a. Let x(z) = 7 + a*z + 75*z**2 - 74*z**2 + 3*z. Is 10 a factor of x(-13)?
True
Is 7 a factor of (-10)/35 - (4384/(-7) - -3)?
True
Let o(m) = 0*m - 12*m + 25*m + 20 - m**2. Does 20 divide o(13)?
True
Suppose -7153 = -4*s - 5*c, 15*c = 11*c - 12. Is s a multiple of 14?
True
Let s(b) = b + 12. Let k be s(-7). Suppose 0 = -k*x - 202 + 587. Is 20 a factor of x?
False
Suppose 75015 = 27*x + 13590. Is x a multiple of 35?
True
Let h(r) = -r**2 + r + 10. Let c be h(0). Let o = -8 + c. Suppose o*q - 6*q + 60 = 0. Is 10 a factor of q?
False
Suppose 12 = -r + 4*o, -3*r + 4*o = -8*r - 84. Let b = 9 - r. Is b a multiple of 5?
True
Suppose 25 = l - 3*t, 3*l - 65 = 2*t + 2*t. Suppose 2*i + z = -4*z + l, -4*i - 3*z = -73. Is i a multiple of 7?
False
Let m(k) = k**2 + 12*k - 15. Let n be 37/(-2) - 3/(-2). Is m(n) a multiple of 16?
False
Let y be (-4 - -2 - -3)*3. Let b = y + 2. Suppose 5 = b*x - 15. Does 2 divide x?
True
Suppose -23*p = -9351 + 1002. Does 46 divide p?
False
Suppose 94*g + 13480 = 114*g. Is 53 a factor of g?
False
Let y be (18/12)/((-9)/(-3288)). Suppose 5*d - 58 = -y. Let x = 145 + d. Does 15 divide x?
False
Suppose -112*h = -103*h - 315. Is 5 a factor of h?
True
Let h = -149 - -828. Does 16 divide h?
False
Let n = -54 + 265. Is n a multiple of 15?
False
Let n be (-42 - 2)/((-1)/(-12)). Let j be ((-2)/6)/(16/n). Let x = j + -1. Does 5 divide x?
True
Suppose 9*x + 206 - 53 = 0. Let j(b) = -8*b + 4. Let f be j(5). Let t = x - f. Is t a multiple of 19?
True
Does 11 divide (-2)/(-21) - 23726/(-42)?
False
Suppose -3*i = -8*k + 9*k + 54, -3*k = 3*i + 54. Let w(j) = -7*j**2 + 3*j - 1. Let o be w(2). Let a = i - o. Is a a multiple of 5?
True
Does 39 divide (-813 - 6)/(5/(-15))?
True
Let k be (-4)/(-14) - 88/14. Let f be (16/48)/(2 + (-25)/12). Is 128/(-12)*k + f a multiple of 20?
True
Suppose -524 = 2*v - 144. Does 13 divide v*(-3)/(-2)*(-12)/45?
False
Let f(x) = -29*x + 7. Let l be f(5). Let p = -56 - l. Does 26 divide p?
False
Suppose -13*y = -14*y - 318. Is (-6)/3*y/12 a multiple of 7?
False
Let m(z) = 946*z + 6. Let c be m(1). Suppose -5*g = -g - c. Is 34 a factor of g?
True
Suppose 0 = s - 2 - 1. Suppose -s*k = -6*k - 45. Does 11 divide 9/k - (-672)/20?
True
Is 71521/111 - (8/(-3) - -3) a multiple of 14?
True
Let v = -111 + 527. Is 16 a factor of v?
True
Suppose 18*j = 15*j + 141. Is j a multiple of 10?
False
Let b be 52/39 + 944/(-6). Let l = b - -443. Is 30 a factor of l?
False
Suppose -2*i - g + 4*g = 293, 5*g + 487 = -3*i. Let s = i - -285. Does 16 divide s?
False
Suppose 5*v + v - 24 = 0. Let w be (-64)/(-1) - 0/(-2). Suppose 4*q - 3*k = -0*k + w, v*q = -2*k + 64. Is 9 a factor of q?
False
Let v(x) = -18*x**2 - x + 3. Let b be v(-2). Let o(s) = -s**2 + 7*s - 12. Let c be o(9). Let g = c - b. Is 28 a factor of g?
False
Let x(q) = -58*q + 538. Is 39 a factor of x(-26)?
False
Let u be (-30 - 1) + -3 + -1. Is 6 a factor of (-2)/(-8) - u/4?
False
Let v(t) = 3*t + 1. Let x(i) = -6 - 1 - 2*i + 2 - 10*i. Let m(w) = 9*v(w) + 2*x(w). Does 26 divide m(9)?
True
Let v = 84 + -29. Suppose -l + 89 = 3*r, 3*l - 2*r - 256 = v. Is l a multiple of 18?
False
Let n = -101 - -258. Let d = n + -72. Does 4 divide d?
False
Let w = -21 - -6. Does 4 divide (-5)/w*(38 - -1)?
False
Suppose 2*f + 612 = -4*f. Let z = 102 - f. Does 34 divide z?
True
Suppose -5*j + 4*j + 107 = -4*k, 5*j - 49 = 2*k. Let x = 19 + k. Is 5 a factor of (12/(-4) - x) + 2?
False
Let s = -24 - -28. Suppose 11*c - 21 = s*c. Suppose 2*a = -c*m + 3, 0 = 5*a + 2*m + 1 - 36. Is a a multiple of 9?
True
Let u = -1 + -7. Let i be 2*4/u + 9. Suppose i*z - 240 = 3*z. Is z a multiple of 24?
True
Let c(n) be the first derivative of -1/3*n**3 + 9 + 15/2*n**2 - 4*n. Is 8 a factor of c(6)?
False
Let u(a) = 8*a + 2. Let i be u(-13). Let w be i*((-75)/(-9))/(-5). Suppose 0 = -10*v + 5*v + w. Does 17 divide v?
True
Suppose 4595 = 6*g - 589. Is 17 a factor of g?
False
Let i(y) = 8*y + 17. Let q be i(7). Let m = q - 47. Is m a multiple of 13?
True
Let n(u) = 2*u**3 - 13*u**2 - 42*u + 94. D