 = 0. Is c a multiple of 14?
False
Let z(k) = k**3 - 3*k**2 - 2*k - 4. Let y be -2 + (-12 + 0)/(-2). Let u be z(y). Suppose -u*x + 67 = 5*l, 4*l + 3*x - 59 = -2*x. Is 4 a factor of l?
False
Let f be 36 - -2 - (-2)/1. Let p = 82 - f. Does 18 divide p?
False
Let x(r) = 4*r**3 - r**2 - 2*r + 4. Let v(u) = -5*u**3 + u**2 + 3*u - 5. Let m(c) = 3*v(c) + 4*x(c). Let h be m(0). Let j = h - -3. Is j a multiple of 3?
False
Suppose -2*q = -5*a - 63, -4*a = -4*q + a + 101. Let n = 126 - 47. Suppose n = 5*y + q. Does 6 divide y?
True
Suppose -2*q - q + 336 = 0. Is q a multiple of 28?
True
Does 33 divide (-14)/56 - (-1010)/8?
False
Let o be (-3)/((-3)/4) + 0. Let s = o - 0. Is s even?
True
Suppose 24 = -m - 5*s, 3*m + 23 + 29 = 5*s. Let x = m - -59. Is 19 a factor of x?
False
Let l(b) be the first derivative of -b**2/2 + 5. Is 8 a factor of l(-10)?
False
Suppose -7*i + 5*i = -2*p - 118, -5*i + 3*p = -289. Does 11 divide i?
False
Let r(l) = l**3 - 6*l**2 + 4*l - 6. Suppose -3*u - s + 11 = 0, 0*u + 2*u - 2*s - 18 = 0. Let n be (3/u)/(2/20). Does 11 divide r(n)?
False
Let f(v) = 5*v**3 + v**2 - 2*v + 1. Let o be f(2). Let t = -19 + o. Does 11 divide t?
True
Let o(w) be the second derivative of 5*w**4/6 - w**3/6 + w**2/2 - 4*w. Is 15 a factor of o(2)?
False
Let t(q) = 3*q**3 + 2*q**2 - 3*q. Let o be 9/7 - (-8)/(-28). Suppose c - o = 5*u - 7, -u + 3*c - 10 = 0. Is t(u) a multiple of 14?
False
Suppose a + 5*x - 311 = -3*a, 4*a - 5*x - 281 = 0. Is a a multiple of 14?
False
Let j = -42 + 74. Is j a multiple of 16?
True
Let t be (-6)/(-1 - (-2)/(-4)). Does 9 divide t*4 - (3 - 5)?
True
Let p be 0/(-1) - 9/(-3). Let t(o) = 3*o + 4. Is 13 a factor of t(p)?
True
Suppose v - 105 = -v + y, 4*y = -4. Is 26 a factor of v?
True
Let k = 26 + -1. Suppose -2*v - k = -3*v. Suppose -v = -b + 2. Is b a multiple of 12?
False
Suppose 5*k - 310 = -3*l, -3*k + 3*l + 102 + 108 = 0. Let b = k - 23. Is b a multiple of 14?
True
Suppose 4*y - 88 = 176. Is y a multiple of 22?
True
Suppose k - 5*k - 5*a = -51, -68 = -5*k - 2*a. Let c be k + (-1 - (2 + -3)). Suppose 5*f - 5 - 22 = -2*z, 0 = 3*f - z - c. Is 2 a factor of f?
False
Suppose 0 = -o - 3 - 21. Let s = o - -54. Is s a multiple of 15?
True
Suppose -2*x + 27 = -x. Is x a multiple of 27?
True
Suppose 0 = -2*k - 5*y + 23, 11 = 2*k - y + 2*y. Let u(d) = d + 1. Let x(j) = -17*j - 8. Let m(f) = -4*u(f) - x(f). Is m(k) a multiple of 16?
False
Let r(q) = -q + 8. Is 3 a factor of r(-8)?
False
Let q(v) be the third derivative of v**6/120 + 7*v**5/60 + 5*v**4/24 - 5*v**3/6 - 2*v**2. Let y be q(-6). Does 20 divide 5/2*20/y?
False
Let n(g) = 3*g - g + 4*g. Let m = 15 - 12. Is n(m) a multiple of 18?
True
Let a(z) = -z**3 + z**2 + 3*z + 4. Let r be a(3). Let u be 1926/(-10) + (-3)/r. Is 19 a factor of (-4)/10 + u/(-5)?
True
Let c be 3/15 - 14/(-5). Is 240/18 + (-1)/c a multiple of 13?
True
Suppose 0 = q - 3*m - 4 - 1, 0 = 4*q - 5*m - 27. Is q a multiple of 6?
False
Does 8 divide -10*5/(50/(-8))?
True
Suppose -a = 7*a - 384. Is 12 a factor of a?
True
Suppose -15 = -4*r - 47. Is 13 a factor of (52/8)/((-2)/r)?
True
Let r be -2*(-4 - -2)/(-2). Suppose 4*n - 6 = 14. Let o = n - r. Is 5 a factor of o?
False
Suppose d - q = -4*q - 5, -3*q + 3 = 0. Let j be 3/(-6) - 14/(-4). Let i = j - d. Is i a multiple of 11?
True
Suppose 0*w = 2*w - 174. Suppose -4*o = -5*f - w, 3*f = 5*o - o - 89. Does 8 divide o?
False
Does 19 divide (-7 + 8)/((-2)/(-258))?
False
Suppose -x - 3*k = -41, -2*x - 6*k = -k - 82. Is x a multiple of 16?
False
Suppose -5*w = 5*u - w - 15, 0 = 4*u + w - 23. Suppose 2*k + 4*n = 3*k - u, -n + 3 = 0. Does 15 divide k?
False
Suppose 0*l = -5*c - 4*l + 458, c - 5*l - 80 = 0. Is 18 a factor of c?
True
Let k = 8 - -12. Is k a multiple of 4?
True
Suppose 2*q + 1 + 3 = 0. Is 6 a factor of q + 3/(-6)*-28?
True
Let c(u) = 17*u - 2. Let t(s) = 16*s - 1. Let k(o) = -5*c(o) + 4*t(o). Let j be k(6). Let b = j - -168. Is 24 a factor of b?
True
Suppose 0 = -12*h + 8*h + 136. Is h a multiple of 8?
False
Let s = 26 + -23. Suppose s*u - 163 = 86. Is 12 a factor of u?
False
Let b = -11 + 31. Is 4 a factor of b?
True
Suppose v = -2*v. Suppose v = 5*s - 36 - 34. Does 4 divide s?
False
Suppose y - 4*y + m + 610 = 0, 2*m = -5*y + 1024. Suppose -c = -5*c + y. Is c a multiple of 22?
False
Suppose 2*c - 3*c = 0, -4*c + 30 = f. Is f a multiple of 10?
True
Let h = 1 + 1. Suppose -h*f + 117 - 9 = 0. Suppose f = 2*a - a. Is a a multiple of 20?
False
Let w(b) = 3*b + 1. Let s(n) = -7*n - 2. Let q(l) = -6*s(l) - 13*w(l). Let o be q(2). Suppose 0 = 5*j - o*k - 85, 3*j + 3*k = 2*j + 1. Does 13 divide j?
True
Suppose 5*x + 0 - 1 = 3*r, 19 = 2*x + 5*r. Suppose 53 + 35 = x*w - 5*d, 4*w = 3*d + 148. Does 20 divide w?
False
Let c(d) = 11*d - 3. Is 3 a factor of c(1)?
False
Suppose 4*z = -2*v - 230, -5*v - 76 = 5*z + 219. Let l = -25 - z. Is 12 a factor of l?
False
Let i(y) = 10*y - 1. Is 29 a factor of i(3)?
True
Suppose 3 = -3*v, 5*v = 4*k - 0*k - 5. Suppose k = 5*c - 5*m - 40, -3*m = -c - 3*c + 33. Does 4 divide c?
False
Suppose -2*h + 6*h + 24 = 0. Does 5 divide 3/h*-4 - -8?
True
Is 53 a factor of (-3)/(-6)*2 + 317?
True
Suppose 0 = -9*x + 14*x - 330. Is 11 a factor of x?
True
Let i = 87 - 128. Let f = i - -64. Is f a multiple of 23?
True
Let z be -3 - -5 - (1 + -1). Let r be 30/8 - z/(-8). Suppose -2*a = -0*a + 4*t + 2, -r*a = -5*t - 48. Is 7 a factor of a?
True
Suppose -2*w + 3*f = -275, 5*w + 0*f = 5*f + 685. Suppose -w = -4*g + 164. Is g a multiple of 25?
True
Let v(x) = -3*x - 15. Does 18 divide v(-11)?
True
Let n(d) = d**3 + 2*d**2 - 1. Let x be n(1). Is 17 a factor of 1 - -14 - (-4)/x?
True
Let g be -3*(127/(-3) + 0). Suppose 2*h - 3*t = -3*h - 119, 5*h + t + g = 0. Does 9 divide ((-16)/5)/(5/h)?
False
Let i = 45 + 0. Suppose b = -0*b + i. Is 15 a factor of b?
True
Let i(z) = 25*z - 8. Is 23 a factor of i(4)?
True
Suppose 0 = 3*a - f - 160, 3*a + 4*f = -77 + 217. Does 9 divide a?
False
Let k(d) = d**3 + 12*d**2 + 3*d + 6. Is 12 a factor of k(-11)?
False
Let r(g) = -7*g - 2. Does 16 divide r(-9)?
False
Let q(j) = j**3 + 5*j**2 + 4*j + 1. Let d be q(-4). Let w(n) = -n + 0 - n**2 + 29*n**3 - d + 2*n. Is 12 a factor of w(1)?
False
Let f(j) = 6*j**2 + j + 1. Let c(d) = d - 1. Let g(z) = z - 9. Let o be g(9). Let v be c(o). Is f(v) a multiple of 3?
True
Suppose -3*i = -4*i. Suppose i = -4*y + 17 - 5. Does 2 divide y?
False
Suppose -289 - 223 = -2*t. Suppose -4*q = -0*q - t. Is 16 a factor of q?
True
Suppose -i + 2*i - 16 = -3*p, -3*i + 2*p = 7. Let m = i + 3. Does 10 divide -2 + m*-7*-1?
False
Suppose 3*j = 50 - 140. Let w be (j/(-9))/((-6)/(-9)). Suppose d = 3*b + 55, w*b - 179 = -4*d + d. Does 22 divide d?
False
Let s = 57 + -6. Is s a multiple of 15?
False
Let z(u) = -3*u + 7. Let n be z(6). Let g = -2 - n. Is g a multiple of 9?
True
Let n(m) = 2*m**3 - 4*m**2 + m + 4. Let o be n(3). Let c be 2/8*(o - 5). Suppose w + c*k + 2 = 20, -3*w + 2*k = -20. Is w a multiple of 3?
False
Suppose 7*b - 20 = 2*b. Suppose 29 - 11 = 2*j. Suppose -d - 1 = b*t, -d + 2*d = -2*t + j. Is d a multiple of 19?
True
Let j = -7 - -17. Does 5 divide j?
True
Suppose 0 = -3*b - 3*s + 12, b - 5*s + 12 = 2*b. Suppose v + 5*g = 15, -b*g + 56 = 3*v + 2*g. Is v a multiple of 14?
False
Suppose -f + 308 = 3*f. Is 31 a factor of f?
False
Let t(v) = -v**3 - 6*v**2 - 10*v + 3. Let l(d) = -d**3 - 6*d**2 - 9*d + 3. Let u(n) = 6*l(n) - 5*t(n). Let i be u(-5). Does 9 divide 18/(1 + (-1 - i))?
True
Let a = -15 + 22. Let x = 0 + a. Suppose 50 = -2*b + x*b. Is 10 a factor of b?
True
Let s(m) = -31*m + 2. Let j be s(-2). Suppose 9 = -5*f + j. Suppose r - 47 = -f. Does 12 divide r?
True
Let s(l) = -2*l**3 - 5*l**2 - 3*l - 4. Let d = 22 - 25. Is s(d) a multiple of 3?
False
Let g(b) = 0*b - 7 + 3*b**2 - b + 0. Does 16 divide g(6)?
False
Let w(z) = z**2 + 4. Let q(b) = -2*b**2 + b - 8. Let j(o) = -3*q(o) - 5*w(o). Let g(r) = 7*r**2 - 1. Let i be g(-1). Does 8 divide j(i)?
False
Let l(d) = -d - 7. Let v be l(-5). Is 16 a factor of -6*(v - (-1 - -7))?
True
Let f be (4/(-3))/(1/93). Let b = -38 - f. Let j = b - 44. Does 14 divide j?
True
Suppose 2*s - 30 = -7*o + 3*o, 3*s = -4*o + 29. Let w = -5 + o. Suppose 3*r - 7*m + 3*m = 26, -w*r + 3*m + 27 = 0. Is r a multiple of 10?
True
Let c be (-2)/10 - 110/(-50). Suppose -33 = -