0. Suppose -3*s + 212 = -z. Does 14 divide s?
True
Suppose -5*u - 13 - 17 = 0. Let l = u - -18. Suppose -3*i - 16 = t - 45, 2*t + l = i. Is i a multiple of 5?
True
Let f(h) = h**2 - h - 7. Let i be f(-3). Suppose 0 = i*b - 0*b + m + 68, 22 = -2*b - 3*m. Let u = 31 + b. Is u a multiple of 9?
False
Suppose -62*n + 58560 = -14*n. Does 20 divide n?
True
Let r(z) = 166*z**2 + 48*z - 140. Does 52 divide r(3)?
False
Suppose 3*k + 327 = 6*k - 3*n, 3*k + 2*n - 317 = 0. Suppose -y = -5*q + 167, 2*q + k = 5*q - 4*y. Is q a multiple of 3?
True
Let o be (8 - 8/2)/1. Suppose 3*p = -2*k + 26, p - o*p + 46 = -2*k. Suppose p*f - 9*f = 90. Does 10 divide f?
True
Let v(c) = c**2 + 4. Let l be v(-4). Let t = -7 + l. Suppose 0 = 5*o - 2*z - 25, 5*o - 4*z - 22 = t. Is 3 a factor of o?
True
Suppose -2*c = 3*c - 10. Suppose 6*o - 16 = 3*a + o, o + 7 = 4*a. Suppose -a*k + 7 + 14 = 5*d, -6 = -c*d. Is k a multiple of 2?
True
Let q = 14 - 27. Let i = 24 + q. Is i even?
False
Suppose 0 = 4*u - 2 - 6. Suppose 2*a - j - 187 = 0, -u*j - 470 = -2*a - 3*a. Is a a multiple of 16?
True
Suppose 48*d - 4214 = 11866. Is d a multiple of 4?
False
Suppose 1 = -t + 6. Suppose 0 = -3*v + 2*s + 346 + 42, -5*v - t*s + 680 = 0. Does 22 divide v?
True
Is (-1221)/(-12) - 10/(-40) a multiple of 6?
True
Suppose -28 + 36 = c. Let z(v) = 13*v - 9. Is z(c) a multiple of 11?
False
Let w(p) = -p. Let i be w(-3). Suppose -5*g = 0, -2*b + g = -2 - 2. Suppose 0 = -b*a - r + i + 14, 2*r = a - 16. Does 10 divide a?
True
Suppose -9 = 5*a - 39. Let k(x) = x + 18. Is k(a) a multiple of 12?
True
Suppose -6401 = -5*n - b, 5*n = -2*b + 10113 - 3711. Is n a multiple of 20?
True
Let g = -4 - -9. Let d(w) = -w**3 + 8*w**2 - 6*w + 8. Is d(g) a multiple of 18?
False
Let j(d) = -4*d**3 - 82*d**2 + 10*d + 60. Is j(-22) a multiple of 7?
True
Let p be ((-40)/(-15))/((-2)/(-3)). Let o(u) = 27*u**2 + 2*u - 1. Let f be o(1). Suppose -6*d + f = -d - p*r, 5*d - 2*r = 34. Is d a multiple of 8?
True
Is (-68096)/(-154) + (-6)/33 a multiple of 13?
True
Let i(p) = 470*p - 10. Let k be i(5). Suppose -5*o = -o - k. Does 28 divide (-1)/(-7) - o/(-21)?
True
Let w(p) = -18*p. Suppose -3*u - v + 13 = 0, -2*v = 2*u - 2 - 8. Suppose 3*d - d = -u*k, 3*d = 12. Does 12 divide w(k)?
True
Let i = -76 - -169. Let w be (i/(-6))/(1/(-14)). Suppose o - 4*o - b = -166, -4*o = -3*b - w. Does 11 divide o?
True
Let a = -38 + 71. Suppose -86 = -4*i - 2*f - 3*f, 55 = 3*i - f. Let q = a - i. Is 14 a factor of q?
True
Suppose 3*f - 170 - 26 = -4*z, 2*f - 159 = 3*z. Does 12 divide f?
True
Let a be (44/(-3))/(1/3). Let f = 63 + a. Suppose -4*x = -185 - f. Is x a multiple of 17?
True
Let c = -24 - -35. Suppose -c*u + 6*u = 0. Suppose u = p - 4 - 49. Is 10 a factor of p?
False
Suppose -9 = 3*o - 18. Suppose 9*v - o*v = 2856. Suppose -23*y - v = -27*y. Does 30 divide y?
False
Suppose 5*p - 4*c - 35 = 0, 3*p - 4*c = -1 + 14. Let v be (-8)/6*(p + -14). Suppose 0*t - 400 = -v*t. Does 25 divide t?
True
Is 8/28 - 1452/(-126)*51 a multiple of 14?
True
Let h(b) = -b**3 - 10*b**2 + 16*b - 14. Is 10 a factor of h(-12)?
False
Suppose 3*k - 82 = 5*j, 4*k - 13 = -j + 2*j. Let m = j - -17. Suppose 35 = 4*i + 4*v - 37, -i + 5*v + 12 = m. Is 17 a factor of i?
True
Is 29 a factor of (-198)/(-363) + 626/22?
True
Let n(x) = 73*x**2 - 317*x - 6. Does 58 divide n(-6)?
True
Suppose -3*j + 32 = 4*b, 4 + 12 = 3*j - 4*b. Suppose -2*x - a - 14 = 4*a, -2*a = j. Suppose 5*c = -x*p + 151, -p - 70 = -3*c + 29. Does 16 divide c?
True
Let u(z) = 4*z**3 - z**2 + 3*z + 3. Let t be u(3). Suppose -4*k - 35 = -t. Does 3 divide k?
False
Let x(h) = -4*h + 2. Let q be x(-8). Suppose m + 85 = 5*y, 3*y - y = -3*m + q. Does 8 divide y?
False
Let r(x) = 72*x - 15. Let h be r(5). Suppose -87 + h = 6*p. Suppose -p = -c - 7. Is c a multiple of 18?
True
Does 96 divide (-1083)/4*56/(-42)?
False
Suppose -28*r + 3264 = 4*r. Does 9 divide r?
False
Is (-129 - (-3 - (-6 - -8)))*-3 even?
True
Is 109/(-4)*(-47)/(517/132) a multiple of 18?
False
Let v be (12/(-14))/((-1)/(84/18)). Suppose 8 = v*o - 8. Does 4 divide o?
True
Suppose -39*w = -35*w - 16, w = 2*l - 318. Does 19 divide l?
False
Let y = -25 - -38. Suppose 0 = -4*s + 4*u + 352, -3*s + 5*s - 180 = 3*u. Suppose -10*l + y*l = s. Does 6 divide l?
False
Let j(s) be the second derivative of -5*s**4/12 - 10*s**3/3 + 33*s**2/2 - 5*s. Let n(d) = -d**2 - 5*d + 8. Let h(g) = -2*j(g) + 9*n(g). Does 3 divide h(5)?
True
Let n(z) = z**2 - 3*z. Suppose 2*l - 48 = -4*t, -5*t + 2*l + 10 = -50. Is 18 a factor of n(t)?
True
Let s(t) = -t**3 + 4*t**2 + 5*t + 2. Let k be s(5). Suppose -2*c - 46 = -k*u + 40, -c - 81 = -2*u. Does 14 divide u?
False
Let h(k) = -2*k + 28. Let p be h(18). Is 6 a factor of (6/p)/((-3)/24)?
True
Let w = 31 + -29. Suppose -y + 22 = 3*j, y - 17 = -w*j - 2*y. Is j a multiple of 7?
True
Does 47 divide 21/(-35) + 1419/15?
True
Let b = 0 + 36. Is b a multiple of 3?
True
Suppose -24 - 36 = -3*h. Suppose -8*w + 32 = -96. Let d = h - w. Is d a multiple of 3?
False
Let s(w) = -5*w - 65. Suppose -123 = 11*d + 42. Does 2 divide s(d)?
True
Suppose 0 = -19*l + 22*l - 15. Suppose -258 = -3*i + 2*z, 5*z - 178 - 227 = -l*i. Is 14 a factor of i?
True
Let r(x) = -9*x - 20. Let v be r(-3). Let h(c) = -38*c**2 + 3*c - 3. Let a be h(3). Is a/v*(-1)/2 a multiple of 6?
True
Let w be (-5)/((-4)/48*1). Let t be (96/w)/(2/70). Suppose -t - 64 = -5*c. Is c a multiple of 12?
True
Let i(p) = 2*p**3 - 5*p**2 - 7. Let h be i(3). Suppose -5*w = -5*q - 655, h*q + 640 = -0*w + 5*w. Is 21 a factor of w?
True
Suppose 126 = 5*j - 4. Does 3 divide j?
False
Let a(c) be the third derivative of -4*c**4/3 - c**3/6 - 3*c**2. Let r be a(-2). Suppose 4*y - 7*y + r = 0. Is y a multiple of 12?
False
Suppose 0 = a + 6*a - 14. Suppose 5*n + 2*z + a = 4, -3*z = 12. Suppose -2*h - 4*m = 3*h - 52, -5*h + n*m + 64 = 0. Is h a multiple of 4?
True
Suppose -60 = -4*f + 2*z, -z = -5*f + 66 + 12. Is f a multiple of 16?
True
Let c(p) = p**2 - p + 1. Let u(g) = 8*g**3 + 2*g**2 - 8*g + 9. Let q(x) = -4*c(x) + u(x). Is q(2) a multiple of 7?
False
Let f be 1 + 1 + -4 - 3. Let h = -2 - f. Suppose -h*s = -s - 14. Is s a multiple of 4?
False
Suppose -4*v = -6*v + 2104. Suppose -v = -5*q + 148. Suppose 0 = 16*f - 12*f - q. Is f a multiple of 20?
True
Let o(c) = -c**3 - 8*c**2 - 2*c - 11. Let x be o(-8). Suppose x*k = -0*k + 380. Suppose 2*u + 58 = 2*a, 2*u + k = 3*a - 16. Does 7 divide a?
False
Suppose -7*a - 958 = -69. Let w be a/((4 - 5)/(-1)). Let o = w + 222. Does 25 divide o?
False
Suppose 360 + 342 = 3*b. Suppose -2*i = 3*p - 234, 0*p - 4*i - b = -3*p. Is p a multiple of 17?
False
Suppose 7*w - 16 = 9*w. Let t(s) = 2*s**2 + 9*s + 2. Does 7 divide t(w)?
False
Suppose 2*y - 5*a - 200 = 0, y = -y + a + 184. Does 30 divide y?
True
Suppose 2*k = -h + 4229, -21*k + 20*k + 2117 = h. Is k a multiple of 132?
True
Let h(n) = -9*n**2 + 10*n - 28. Let q(c) = c**2 - 16*c - 7. Let y be q(16). Let s(x) = 5*x**2 - 5*x + 14. Let k(m) = y*s(m) - 4*h(m). Is k(11) a multiple of 12?
False
Let v(d) be the first derivative of 266*d**3/3 + d**2/2 + d + 7. Let q be v(-1). Suppose -4*a = -2*b - q, 4*b = 30 - 10. Is 12 a factor of a?
False
Let w = 83 + 1. Suppose -8 = 2*f, 24 = -2*o - f + w. Is o a multiple of 19?
False
Let h(q) = q**3 - 5*q**2 - 4*q - 4. Let w be h(6). Let i(r) = 14*r**2 + r. Let y be i(-1). Suppose -y*d = -w*d - 55. Is d a multiple of 8?
False
Suppose 9*x - 2080 = 22*x. Is (-1)/(18/x) + 1/9 a multiple of 9?
True
Let t = -10 - -16. Let s(r) = -1 + 9*r - t*r**2 + 12 + 5*r**2. Is s(9) a multiple of 3?
False
Let k = -142 + 352. Is 20 a factor of k?
False
Let n = 19 - -6. Let s be n/(6/(-9) + 1). Suppose -2*x - 3*i + 32 + 17 = 0, -5*x + s = -2*i. Does 17 divide x?
True
Let x = -119 - -108. Let b = 64 + x. Is b a multiple of 52?
False
Is 24 a factor of -204*(20/(-4) + 3)?
True
Let h(r) = r**2 - r - 20. Let n be h(5). Suppose -10*v + 11*v - 20 = n. Is v a multiple of 10?
True
Let z(r) = r**3 - 7*r**2 + 9*r + 7. Let s be z(5). Suppose -s*d - 4*k = -358, -4*d + 3*k = 6*k - 736. Does 11 divide d?
True
Suppose -2*p + 67 = 17. Is p/(-10)*(-6)/5 - -101 a multiple of 13?
True
Let z(g) = -13*g**3 + g**2 + 10*g + 18. Does 14 divide z(-4)?
True
Suppose -39 = 4*v - 27, 2*v + 2630 = 4*y. Is 10 a factor of y?
False
Suppose -1 = -0*