 19*p - 58. Let z be q(10). Does 31 divide (-2 + -5)/((-531)/z + 4)?
False
Suppose -2*l - 3*h + 2172 = h, 2148 = 2*l - 4*h. Does 36 divide l?
True
Suppose -12 + 18 = o. Let c be 320/12 - 4/o. Let w = c + -18. Is 3 a factor of w?
False
Let a be -2 + 2*3/6. Let q(p) be the second derivative of 10*p**4/3 + p**2/2 - 8*p. Does 15 divide q(a)?
False
Let x be ((-10)/4)/((-8)/16). Suppose 5*c - x*w = -5, 2 - 3 = -5*c - w. Is 45 - (-1 - c) - -2 a multiple of 16?
True
Let a be (14/(-35))/(1/(-5)). Suppose 2*n = 3*n + 2*l + 8, -n + 5*l + 6 = 0. Is 17 a factor of (n/4)/a*-136?
True
Suppose 0 = -3*d - d + 108. Let j be 5*(-1)/((-2)/6). Let v = d - j. Is v a multiple of 4?
True
Suppose -50*n + 15 = -49*n. Let w(v) = 0 - 2 + 3*v - 1. Is w(n) a multiple of 14?
True
Suppose 2*g - 1 = -3. Let w be -1*4/(-2) - g. Suppose 6*c = w*c + 12. Is c even?
True
Let a(x) = -17 - 3*x - 4*x**2 + 0*x + 5*x**2 - 2*x. Let w be a(8). Suppose -w*z = -3*n - 3*z + 42, -3*z = 3*n - 63. Is n a multiple of 9?
True
Suppose 3*c - 4*m = 6*c - 1352, 2*c - 883 = m. Is 73 a factor of c?
False
Let y(i) = 24*i - 9. Does 3 divide y(2)?
True
Let a = 784 + -515. Is 21 a factor of a?
False
Let k be (-2 + 10)/(1/4). Is ((-9)/(-4))/(6/k) a multiple of 3?
True
Let w = -789 + -1389. Does 27 divide (w/12 - -4)/((-1)/2)?
False
Let i(g) = 18*g - 8. Let q(p) = p - 1. Let t(a) = i(a) - 6*q(a). Is 2 a factor of t(1)?
True
Suppose -2*w + 9 = -w. Suppose w*t = 6*t + 69. Is 8 a factor of t?
False
Suppose 4*o + 2 = -h, -54 = -0*h + 5*h - 2*o. Is 23 a factor of 192*(4 + 35/h)?
False
Suppose x - 204 = -3*x. Let j = x + 31. Let p = -39 + j. Does 11 divide p?
False
Suppose 0 = -u + 3*g + 12, 5*u = -g + 3 + 105. Let q be (36/u)/((-4)/(-14)). Is ((-120)/16)/(q/(-16)) a multiple of 7?
False
Suppose -3*v + 1711 = 4*b, 3*v - v - 1136 = 2*b. Suppose -2*q + v = 143. Does 14 divide q?
False
Suppose 5*g - 1 - 44 = 0. Let k = g - 0. Is k a multiple of 9?
True
Let s = -58 - -31. Let i = s - -92. Does 13 divide i?
True
Let f(y) = -3*y**3 - 6*y**2 - 2*y + 6. Let u be f(-5). Suppose 119 = 4*v - u. Is 6 a factor of v?
True
Suppose -4*h - 7*q + 72 = -3*q, 0 = 5*q - 5. Is h even?
False
Let h = -45 + 1324. Does 76 divide h?
False
Let h = -61 - -41. Let w = -5 - h. Does 15 divide w?
True
Let w = 14 - 10. Suppose -6 = -w*i + 7*i. Let u(y) = -31*y - 2. Is u(i) a multiple of 22?
False
Suppose 5*n - 3*n = 2. Let j(w) = 111*w**3 - 2*w**2 + w + 1. Does 37 divide j(n)?
True
Let x(z) = -2 + 4 - 39*z + 38*z. Is 3 a factor of x(-3)?
False
Let g = 142 - 131. Suppose -4*v + 3*v + 20 = 0. Suppose 4*a - 87 = 3*o, g = 2*a + o - v. Does 6 divide a?
True
Let p(c) = 2*c**3 - 12*c**2 - 2*c - 20. Let z(h) = 3*h**3 - 13*h**2 - h - 21. Let m(n) = -4*p(n) + 3*z(n). Is 4 a factor of m(-6)?
False
Suppose 2902 = -6*v + 26746. Is v a multiple of 13?
False
Suppose 4*g - 2*z = -5*z - 28, 0 = 3*g - z + 8. Let c = g + 61. Suppose -c = -5*n + 4*x, -2*n - 54 = -6*n - x. Is 13 a factor of n?
True
Let v(i) = -3*i**2 + 28*i - 9. Let o be v(9). Does 31 divide (-3 + 6)*(53 + o)?
False
Let j(l) = 9*l + 192. Let z be j(-21). Let w be 2/(-8) - (-1)/4. Suppose z*g + 113 - 455 = w. Is g a multiple of 24?
False
Let k = -12 + 8. Let j be 12/(10/k + 3). Suppose -4*c - v + 89 - j = 0, 20 = 4*v. Does 13 divide c?
False
Suppose -88 = -5*d + 4*a - 6*a, 0 = -2*d + 5*a + 12. Let m = 31 + d. Is 4 a factor of m?
False
Let v(h) = 356*h - 18. Is 30 a factor of v(3)?
True
Let j = 748 + -581. Does 5 divide j?
False
Let h = -68 - -1764. Does 53 divide h?
True
Suppose 4*x - 12 - 16 = 0. Suppose x = -u + g + 49, -2*g + 224 = 5*u. Does 11 divide u?
True
Suppose -l = -25 + 9. Let u = l + -1. Suppose 2*b - a = -2*b + 117, 3*a = -u. Is 7 a factor of b?
True
Let y be ((-60)/50)/((-12)/5 - -2). Is 13 a factor of 40 + (1/(-2))/(y/6)?
True
Is (1660/7)/(17/119) a multiple of 18?
False
Suppose 3*t = -t - 4884. Let k be t/(-22)*2/3. Let u = k + -6. Does 13 divide u?
False
Let v(z) = 52*z + 6. Is 8 a factor of v(1)?
False
Suppose 5*m + 0*h - h = -31, 5*m = -3*h - 27. Let g be (-24)/(-10)*(-15)/m. Does 4 divide ((-32)/g)/(6/(-18))?
True
Let l = 16 - 10. Let y be (12/(-10))/(l/(-45)). Let c(i) = -i**2 + 11*i - 8. Is 3 a factor of c(y)?
False
Let p be (2324/15)/(-7) + 2/15. Is 30 a factor of (-317)/(-3) + p/33 - 2?
False
Let l = 1005 - 705. Is l a multiple of 6?
True
Let x = 209 - 38. Let h = 449 - x. Is 14 a factor of h?
False
Suppose 0 = 5*m + z + 19, -1 = 2*m + 5*z + 2. Is 4 a factor of m/26 - 1048/(-52)?
True
Suppose -b + 31 = -4*a, -2*b + 3 + 23 = a. Is 29 a factor of ((-754)/65)/((-1)/b)?
True
Suppose -7*h + 6*h + 202 = -5*p, 0 = 3*h - 4*p - 650. Is 16 a factor of h?
False
Let r(u) be the second derivative of u**3/3 - 3*u**2/2 - 4*u. Let x be r(3). Suppose -2*j + 170 = x*j. Is j a multiple of 9?
False
Suppose -m + 3*m + 6 = 0. Let j(g) = -15*g - 3. Does 7 divide j(m)?
True
Let n(o) = -o**3 - 8*o**2 - 10*o - 2. Let h be n(-7). Let i = h + -14. Suppose -102 = -i*c + 5*p + 48, -3*c - 2*p = -90. Is c a multiple of 10?
True
Suppose -13*c + 3228 = 5*l - 14*c, 9 = -3*c. Does 8 divide l?
False
Let x(l) = 4*l - 29. Let h(d) = d - 10. Let q(z) = -8*h(z) + 3*x(z). Let b be q(3). Suppose b*i = i + 132. Does 15 divide i?
False
Let w(m) = -m**3 + 4*m**2 + 4*m - 9. Let f be w(4). Let j(a) = -12*a + 14. Let c(g) = -192*g + 225. Let z(u) = 2*c(u) - 33*j(u). Is 18 a factor of z(f)?
True
Let h = -48 - -70. Suppose -2*o + 70 + h = 0. Is o a multiple of 23?
True
Let k(g) = -g**3 + 5*g**2 - g + 1. Let f = 11 - 7. Let t be k(f). Let u = t + 7. Is u a multiple of 8?
False
Let d(g) be the second derivative of -g**3 + 2*g**2 - 6*g. Does 20 divide d(-6)?
True
Let i = -68 + 72. Suppose 70 = -i*o + 14*o. Is o even?
False
Suppose -2398 - 2 = -15*b. Is b a multiple of 20?
True
Let v(y) = -y**2 + 19*y + 28. Let r be v(21). Let l = -155 + 323. Does 17 divide (24/r)/((-6)/l)?
False
Suppose 42 = -b + 43. Does 8 divide (4 - b)/((-18)/(-384))?
True
Let v(q) = q**3 - q**2 + 23. Let a(w) = 2*w**2 - 7*w - 4. Let i be a(4). Is v(i) a multiple of 20?
False
Suppose 0 = 3*j + 4*j - 3822. Does 21 divide j?
True
Suppose -5*g - 2*h - 14 + 2 = 0, 2*h = 3*g + 4. Let r be (24/30)/(g/(-10)). Suppose 3*u - 4*b = -b + 21, 0 = -r*u - b + 43. Is u a multiple of 5?
True
Let p = 1159 + -108. Is p a multiple of 38?
False
Let z(q) = 8*q**2 + 4*q + 18. Is 13 a factor of z(-4)?
True
Let d(g) = 12*g**2 - 22*g - 33. Is 37 a factor of d(-5)?
False
Let p = 700 - 201. Is 11 a factor of p?
False
Let r = 16 - 9. Let k(a) = a**2 - 6 + 0*a + 0*a + a. Does 10 divide k(r)?
True
Suppose -4 = d, -v - 4*d + 9*d = -35. Suppose -o + 6*o = v. Suppose -2*c + 0*c + 182 = 4*z, -229 = -o*c + 5*z. Is 12 a factor of c?
False
Let d = 67 + -38. Suppose 7*t = -8 + d. Is 2 a factor of t?
False
Let x = -52 - -55. Suppose p + 175 = 3*p + f, 275 = x*p - f. Does 6 divide p?
True
Is 39*(-4)/12 - -2248 a multiple of 8?
False
Let p(l) = 3*l**3 - 24*l**2 + 33*l - 25. Let w(v) = v**3 - 8*v**2 + 11*v - 8. Let z(c) = 3*p(c) - 8*w(c). Is z(8) a multiple of 12?
False
Let d be (-9)/(-4)*(-6)/9*-2. Suppose -3*b - 2*w + 41 = -71, b - 42 = -d*w. Does 21 divide b?
False
Let p(i) = i - 4. Let g be p(7). Suppose l = -g*q + 274, -2*l + 363 = 5*q - 94. Does 13 divide q?
True
Let j(a) = a**2 - 7*a + 2. Let q be j(7). Suppose -5*s + 4*o - 8*o - 1 = 0, q*o = s - 11. Suppose -2 + 82 = 3*r + d, s*d - 136 = -5*r. Does 13 divide r?
True
Suppose -3*o = -5*k + 12597, 58*k = 62*k - 2*o - 10078. Is k a multiple of 16?
False
Let r = 91 - 83. Suppose -3*x = -x + r, 4*s + 4*x - 576 = 0. Does 37 divide s?
True
Suppose 2*l = o - 152, -4*o + o + 5*l = -458. Is o a multiple of 12?
True
Let k be -2*(-5 - (-1 + -3)). Suppose 0 = k*d + 3*m - 166, 5*d - 592 = -4*m - 191. Is 7 a factor of d?
True
Suppose -5*s + 62 = 2*j, j + 2*j + 33 = 3*s. Let h = -11 - s. Does 7 divide -1*(5 - 3) - h?
True
Let u = 9 + 1. Suppose -u = -b - 28. Let p = b + 36. Is p a multiple of 7?
False
Let q(j) = 3*j - 9. Let w be -1 - (2 + -2 + -3). Suppose 5*l - 1 = -f, 0*f + w*f = 2*l + 26. Is q(f) a multiple of 13?
False
Suppose 5*y + 3060 = 5*l, -y - 615 = -l + y. Does 39 divide l?
False
Let w be 0/(4*1/4). Suppose -l + w*q = -q - 17, -5*l + 4*q + 84 = 0. Suppose -1 = -c + l. Is c a multiple of 6?
False
Suppose -20 = -2*k - 12. Let o be (-6)/(-12) + (-