. Suppose -5*n = -z + 17 + w, 0 = 2*z + 2*n - 48. Does 25 divide z?
False
Suppose -3*s + 24 = -s. Let q be (s/(-9))/2*3. Is ((-125)/20)/(q/8) a multiple of 25?
True
Let g = -34 + -16. Let d = 73 + g. Does 7 divide d?
False
Let z(m) be the second derivative of 5*m**3/6 - 5*m**2/2 + m. Let q = 7 + -3. Does 15 divide z(q)?
True
Suppose -o + 0*o - 8 = 0. Suppose 2*r = 5*r - 5*b - 54, 4*b + 103 = 5*r. Let f = r + o. Does 13 divide f?
False
Let s be -60 - 1*(2 + -2). Let n = s + 88. Is 14 a factor of n?
True
Does 3 divide (4 + 25/(-20))*4/1?
False
Let k = 170 + -68. Suppose 2*y + y - k = 0. Suppose -189 + y = -5*d. Does 10 divide d?
False
Suppose -2*d - m + 112 = 0, -d = 2*d - 2*m - 175. Does 19 divide d?
True
Suppose w - 3*w = -16. Is 29 a factor of 58/((-5)/((-60)/w))?
True
Let x = 177 - 159. Is x a multiple of 6?
True
Let i = 7 - 13. Let c be -1*(-3)/i*-36. Suppose c - 138 = -5*g. Is g a multiple of 12?
True
Suppose 0 = a + 5*a - 528. Does 22 divide a?
True
Let c be -3 - -96 - (0 - -3). Suppose -4*a = 2*b + 3*b - c, -5*a = 0. Is 9 a factor of b?
True
Let u(s) = 2*s**3 + 5*s**2 + 4*s + 2. Let n(g) = g**3 - 1. Let f(b) = -3*n(b) + u(b). Let p be f(6). Let j(k) = -4*k - 7. Is 21 a factor of j(p)?
True
Suppose -2*t - 2*t - z - 308 = 0, 2*z = -8. Let w = 117 + t. Is w a multiple of 19?
False
Let z(f) = f**2 - 16*f + 4. Let o be z(16). Suppose -3*j + 4*m + 149 = 0, 3*j - 5*m = -o*m + 134. Is 11 a factor of j?
False
Let s = 3 - 3. Let m be s*3/(5 + -2). Suppose -3*a = -m + 6, -v + 5*a = -20. Does 10 divide v?
True
Let q = -10 - -13. Is 3 a factor of 7/(q/(-1 - -4))?
False
Suppose 172 = 4*v - 0*v. Does 8 divide v?
False
Suppose 4*d = 4*s + 240, -6*d = -8*d + s + 119. Does 4 divide d?
False
Suppose 0*f - 684 = 4*f. Let r = -114 - f. Let q = r - 39. Is q a multiple of 9?
True
Let o be 1*(142 - (4 + -1)). Let y = -98 + o. Is 20 a factor of y?
False
Let a(x) = x**2 - 3*x - 2. Let v = -5 + 3. Does 7 divide a(v)?
False
Let l(y) = -y**2 - 9*y - 8. Let h be l(-7). Let z = h - -3. Let w(r) = -r**3 + 9*r**2 + r. Is w(z) a multiple of 7?
False
Let q be 4/6 - (-40)/12. Suppose -252 = -q*l + o - 2*o, l = o + 58. Let h = 101 - l. Is 13 a factor of h?
True
Let q = 64 + 30. Is 9 a factor of q?
False
Suppose u + 1 = a, -2*u + 3 = -0*u + 3*a. Let g = u - -7. Let s(y) = y**3 - 7*y**2 + 5*y + 3. Is 19 a factor of s(g)?
True
Let m = -6 - -10. Suppose -5 = 5*d - m*d. Let k = d + 8. Is k a multiple of 3?
True
Let s be (-2 - 1)/((-2)/2). Suppose -2*o = a + s, -3*o + 4 = 4*a + 1. Suppose -v - 3 = 0, 3*v + 12 = h - a. Is h a multiple of 2?
True
Suppose 0*f - 2*f = -36. Let r be -5*(f/15 + -2). Suppose -r*x - 3*v = -105, 84 = 4*x - 2*v - 2*v. Does 18 divide x?
False
Let o be 2568/(-88) - 4/(-22). Let x = -89 - o. Let y = -34 - x. Is 13 a factor of y?
True
Suppose v - n + 2*n + 1 = 0, -v + 2*n - 7 = 0. Does 4 divide (-4)/(2/(v - 1))?
True
Let w = -7 + 11. Let a(z) = -z**2 - 5*z + 2. Let k be a(-6). Is 4 a factor of k/((-10)/w + 2)?
True
Suppose -168 = -4*z - 4*q, 3*q + 96 = 2*z + q. Is z a multiple of 15?
True
Let z be (0 - -1)/(2/(-6)). Let d be 17 + (-2 - z) + -1. Suppose -2*c = 3*q - 31, -2*c = -3*c - q + d. Is 11 a factor of c?
False
Suppose -8*o + 4 = -l - 3*o, 2 = 3*l - o. Suppose -l = -s - 6. Does 16 divide (27/5)/((-1)/s)?
False
Let d = 0 + 5. Suppose -120 = -d*w + t, -t - 23 = -3*w + 51. Is 9 a factor of w?
False
Let j(t) = t**2 - 4*t + 22. Is 32 a factor of j(-11)?
False
Let m = 6 - 5. Let s(i) = 0*i**3 - 7*i**3 + m - i**3. Is s(-1) a multiple of 9?
True
Let b(p) = -3*p + 28 - 7 + 4*p. Is 2 a factor of b(-16)?
False
Let l = -155 - -297. Suppose 3*v = v + l. Suppose -3*j = a - 2*a - v, 5*j - 5*a - 135 = 0. Is j a multiple of 11?
True
Suppose 0 = 4*z - 8*z + 8. Let i(v) = 3*v + 1. Is i(z) a multiple of 2?
False
Let y be (2/(-4))/(6/(-1200)). Let t = -30 + y. Suppose -5*d + t = -10. Does 16 divide d?
True
Suppose -4*o = v - 24, -5*o - 10 = -5*v + 10. Suppose y = -v + 36. Is y a multiple of 8?
False
Let r = 150 + -33. Is r a multiple of 39?
True
Suppose -4*v = -17 + 1. Is (45/v)/((-2)/(-8)) a multiple of 15?
True
Let y(f) = f**3 + 6*f**2 - 12*f - 11. Let x(g) = 1. Let o(w) = -2*x(w) - y(w). Suppose -z - 5*d = -3*z + 4, 0 = z - 4*d - 8. Is 11 a factor of o(z)?
False
Let s(l) = 4*l + 2. Let j be s(-2). Let t = 1 - 3. Is 10 a factor of 3/(j*t/40)?
True
Suppose 4*p - 490 = x - 3*x, -3*p + 368 = 2*x. Does 26 divide p?
False
Let d(y) = y - 1. Let p be d(3). Suppose -2*g + 4 = -g - 5*i, 0 = -p*g + i + 44. Is g a multiple of 12?
True
Let p(b) = -b**2 - 15*b - 16. Let l be p(-13). Let t be (-6)/2 + 1 + l. Suppose t*d - 3*d - 180 = 0. Is 12 a factor of d?
True
Suppose 5*n + 7 + 18 = 0. Let b(c) = -c**2 - 10*c - 1. Is b(n) a multiple of 8?
True
Suppose 31*q - 153 = 30*q. Is q a multiple of 10?
False
Let g be 3 - -2 - 3 - 5. Let l(w) = -w**3 - w**2 + w + 7. Is l(g) a multiple of 6?
False
Let o = -11 - -15. Suppose 5*v + 40 = -4*r, -2*r + 10 - 4 = -4*v. Is 9 - r/(10/o) a multiple of 11?
True
Does 14 divide ((-168)/(-15))/((-3)/(-15))?
True
Let y(r) = -r**3 - 26*r**2 - 47*r + 29. Is y(-24) a multiple of 4?
False
Let j be (-40)/((-3)/3) + -2. Suppose -y - 5*l + j = 0, 194 = 3*y - 0*l - 5*l. Is y a multiple of 14?
False
Let j(m) = -2*m + 3. Is 10 a factor of j(-8)?
False
Suppose -5*k = 3*l + l - 423, -3*k = -9. Does 34 divide l?
True
Does 30 divide (2 - -296*1) + 2?
True
Let j = 22 + -6. Is j a multiple of 15?
False
Suppose 4*j - 5*p = 0, 2*j + p = 4*j. Suppose 2*r = -j*r - 16. Let i(t) = t**2 + 6*t - 4. Is 12 a factor of i(r)?
True
Let l(r) = 2*r**2 - 6*r + 2. Does 5 divide l(4)?
True
Let n(g) = g + 5. Let u be n(-9). Let x = u + 20. Is 12 a factor of x?
False
Let k(j) = -j**3 - 5*j**2 + 2*j + 2. Is k(-6) a multiple of 7?
False
Let j = 1 + 23. Is 24 a factor of j?
True
Suppose c = -4*r - r + 18, -3*r + 24 = 5*c. Suppose 4*i + 2*d - 116 = 0, -4*d - 76 = -r*i - 0*i. Does 18 divide i?
False
Suppose r = -p + 13, 2*p + 3*r - 45 = -14. Let y be (p/(-5))/(1/(-5)). Let d = y + 9. Does 17 divide d?
True
Suppose -3*b + 2*b = 18. Is 21 a factor of 382/18 - (-4)/b?
True
Let x(s) = 57*s - 49. Is x(8) a multiple of 37?
True
Let k be (-15)/2 + (-1)/2. Let d = 4 - k. Is 12 a factor of d?
True
Suppose 0*q + 5*x + 55 = 5*q, -4*q + 3*x + 44 = 0. Let p(i) = -i**3 - 4*i**2 + 3*i - 4. Let v be p(-4). Let a = q - v. Is 10 a factor of a?
False
Suppose d = 4*p + 16, 3*d + 2*p = -32 + 108. Does 8 divide d?
True
Let n = -12 + 17. Suppose -n*g + 25 = -215. Is g a multiple of 26?
False
Let u(o) = 79*o - 1. Does 13 divide u(1)?
True
Let p(f) be the third derivative of f**5/30 - f**4/4 + f**3 - 8*f**2. Is 15 a factor of p(6)?
False
Let b(o) = -o**3 + 7*o**2 + 8*o + 15. Is 15 a factor of b(8)?
True
Let w = -567 + 807. Is w a multiple of 40?
True
Suppose -2*r = 3*r. Suppose 3*h - 53 = 2*x - 0*h, 44 = -x + 5*h. Is 8 a factor of -1*(x - r/1)?
False
Let c = -142 - -160. Does 18 divide c?
True
Let x = 147 + -158. Let k be 1/(2/8) + 0. Let m = k - x. Is m a multiple of 5?
True
Let i = 7 - -27. Suppose -35 = -5*h + a + 33, i = 2*h + 3*a. Does 3 divide h?
False
Let u(m) = -2*m - 2. Let x be u(-2). Suppose x*q - q = 0. Suppose 0 = -5*g - i + 30, 2*i = g - q*g + 5. Is 5 a factor of g?
True
Is 4 + (-34)/(-2 - -1) a multiple of 19?
True
Let r(u) = -u**3 + 10*u**2 + 2*u - 15. Let t be r(10). Suppose 2 = z - 3*w - 16, t*w + 15 = 0. Is 3 a factor of z?
True
Suppose 2*v - 3*v + 3*j = 5, -5*v + 15 = -5*j. Is v a multiple of 7?
True
Is 10 a factor of ((-44)/(-6))/((-7)/(-21))?
False
Is 3 a factor of (6/(-9))/((-3)/(162/4))?
True
Let q = 133 - 88. Suppose -5*z = -3*w - 97, -2*z - 5*w + q = -0*w. Is 13 a factor of z?
False
Suppose -3*k - 5*c + 10 = -13, -3*k + 16 = -2*c. Is 1/(-2) - (-27)/k even?
True
Let m be (-3)/9 + (-16)/6. Let r = -1 - m. Is 5 a factor of r + 0/3 - -9?
False
Suppose 3*u = 6*u - 189. Is u a multiple of 21?
True
Let u = -3 + 5. Suppose m - 17 = -3*j, -2*m - 3*j = -4*m - u. Suppose -m*b + 0*s + 17 = -2*s, -s - 1 = 0. Is b a multiple of 3?
True
Let z(w) = -w**2 + 3*w - 3. Let m be z(2). Let y(c) = -c + 1. Let t be y(-8). Is ((-21)/t)/(m/12) a multiple of 14?
True
Suppose -11*f + 7*f = -56. Does 4 divide f?
False
Let c(t) = t**3 + 8*t**2 + 9*t + 3. Let j be c(-6). Let m = -14 + j. Does 4 divide m?
False
Suppose 3*z - 5*