z + 3*i - 226 = -a. Is z a multiple of 15?
False
Suppose -q - 311 = -5*u, -u + 7*q - 2*q = -67. Suppose -26 = -4*b + u. Is 12 a factor of b?
False
Suppose -5*l + 32 + 33 = 0. Is 13 a factor of l?
True
Let p = 59 - -11. Is p a multiple of 14?
True
Let l be -75*(2 - (0 - 0)). Is l/(-9) - (-3)/9 a multiple of 7?
False
Let x = 59 - 36. Is x a multiple of 9?
False
Let h be (-2)/(-3)*(-27 + -3). Let d = 36 - h. Does 28 divide d?
True
Let z = 13 - 9. Suppose u - 135 = -z*u. Is u a multiple of 9?
True
Suppose -4*d - 7 = 5. Let c = 2 + d. Let r = c + 4. Is r even?
False
Suppose 5 = n - 11. Is 16 a factor of n?
True
Let n(x) be the second derivative of -x**5/20 - x**4/6 + x**3 + 5*x**2/2 - 3*x. Is 5 a factor of n(-4)?
False
Let h(k) = -11*k - 3. Suppose 6 = -3*n + n. Is h(n) a multiple of 13?
False
Suppose 0 = -5*i + 200 + 180. Let f = i + -51. Is 14 a factor of ((-4)/5)/((-1)/f)?
False
Let y(s) = -s**3 + 8*s**2 + 9*s + 1. Let k be y(9). Suppose -4*t + 127 = -k. Is 14 a factor of t?
False
Let n(o) = 11*o**3 - 3*o**2 + 3*o - 1. Let j be n(1). Suppose -5*i = -118 - 217. Let v = i - j. Is 16 a factor of v?
False
Let z(w) = w**2 - 4*w - 36. Let o be z(10). Let b = 169 - 94. Is 4/(-3 + b/o) a multiple of 9?
False
Let s = -28 + 64. Does 6 divide s?
True
Let k be -1 + 520 - 9/(-3). Suppose -k + 42 = -5*o. Suppose 0 = -4*m + 8*m - o. Is m a multiple of 14?
False
Let v = 0 + 0. Is ((-5)/(-2) - v)*6 a multiple of 13?
False
Suppose -g = 3*g. Let z = g - 0. Suppose z*b = -b + 10. Does 5 divide b?
True
Suppose 5*l + 791 = -179. Is 8 a factor of l/(-6) - (-2)/(-6)?
True
Let b(z) = 6*z - 4. Let s = -11 - -16. Let o be b(s). Suppose 4 + o = 2*g. Is 6 a factor of g?
False
Let k = 2 - -6. Suppose b - 6 = -k. Is 10 a factor of ((-4)/6)/(b/105)?
False
Suppose 3*x = -x + 3*t + 199, -4*t = 4. Does 3 divide x?
False
Let a(j) = -j + 1. Let f be a(3). Suppose -6*l + 2 = -g - 3*l, -l = -4*g - 30. Does 2 divide f/8 + (-26)/g?
False
Let g(n) = 2*n - 9. Let p be g(6). Suppose t - p = -1. Does 7 divide (2 + 0)/t + 19?
False
Suppose -7*l + 547 = -797. Is l a multiple of 12?
True
Let t be (-1)/(-2 + 3 + -2). Is (14/(-2))/(t/(-5)) a multiple of 19?
False
Suppose v - 40 = 37. Suppose 5 - v = -3*o. Is o a multiple of 13?
False
Suppose -14 - 17 = -q. Suppose -r - 8 = -o + q, -2*r = -5*o + 183. Does 13 divide o?
False
Let w be (-2)/3 + 726/9. Let c = w - 130. Let d = c + 76. Is 9 a factor of d?
False
Suppose 0 = 3*p - 7*p - 624. Is (1 + -2)/(4/p) a multiple of 13?
True
Let t(z) = 5*z + 4. Let s(u) = u**2 + 7*u - 2. Let k be s(-9). Let c = -11 + k. Does 10 divide t(c)?
False
Suppose -183 = -h - 2*h. Let g = h + -38. Is g a multiple of 17?
False
Suppose -144 = -q + 4*q. Let w = 71 + q. Is 8 a factor of w?
False
Suppose r - 100 = -0*z - z, 3*z + 540 = 5*r. Is r a multiple of 43?
False
Suppose -5 = 2*c - 49. Is 22 a factor of c?
True
Let w = -9 + 6. Let y be (-21)/(-9) + (-2)/w. Suppose -3*b = 5*q - 8*b - 120, -y*b = -4*q + 97. Is 11 a factor of q?
False
Let k = 1 + 5. Suppose -4*x = -k - 18. Suppose -a = -x*a + 85. Does 11 divide a?
False
Suppose -5*v + 9 = k - 1, 0 = -3*k - 3*v + 30. Is 5 a factor of k?
True
Let r(z) = z + 2. Let u be r(-13). Let l(g) = g**3 + 11*g**2 - 5*g + 8. Is l(u) a multiple of 14?
False
Suppose 0*u - 2 = 2*u, -33 = -k - 5*u. Let i be (-3)/2*k/(-3). Suppose 2*m - 25 = 5*x, -2*m + i = 2*x - 13. Is 6 a factor of m?
False
Let z(d) be the third derivative of 0*d + 0 - 4*d**2 + 1/3*d**3 - 1/24*d**4 + 0*d**5 + 1/120*d**6. Does 2 divide z(0)?
True
Does 23 divide 1280/28 - 4/(-14)?
True
Let i(d) = 2*d**3 + 6 + 22*d**2 - d**3 + 5*d - 28*d**2. Let t = -1 + 6. Does 3 divide i(t)?
True
Let c = -16 - -16. Suppose -2*b = b - 90. Suppose -b = -3*k + v + 2*v, -3*k - 2*v + 20 = c. Does 8 divide k?
True
Let d(t) be the second derivative of t**5/20 + 11*t**2/2 + 2*t. Let f be 6/27 + (-4)/18. Is d(f) a multiple of 9?
False
Let g(l) be the first derivative of l**2/2 - 2*l + 4. Is 8 a factor of g(13)?
False
Let y(c) = -c + 1. Let n be y(-6). Suppose -3*x = -i + n, -i + 5*i - 7 = 5*x. Let l(o) = -o**3 - 3*o**2 - 4*o - 1. Is 11 a factor of l(x)?
True
Let l = 32 + -10. Suppose 5*z + 4*b - 16 = z, -3*z + 2*b + l = 0. Does 3 divide z?
True
Let o = -50 + 96. Does 13 divide o?
False
Let q(h) = 61*h + 3. Is 16 a factor of q(1)?
True
Suppose 0 = -z + 5*k + 59, z - 4*k = -z + 112. Does 22 divide z?
False
Suppose -2*s + 37 = 5*q, 3*s - 3*q + q = 65. Is 5 a factor of s?
False
Suppose -2*g + 36 = -6*g. Does 8 divide (-214)/(-9) - 2/g?
True
Let t be (-2)/4 - (-27)/6. Suppose -f - 5*s = -t*s - 1, 4 = 4*f + 5*s. Suppose -r + 9 + f = 0. Is 5 a factor of r?
True
Suppose 3*p + 8 = -5*t + 103, p - 3*t = 41. Let x = -7 + p. Is 14 a factor of x?
True
Suppose 2*o + 0 - 10 = 0. Suppose -61 = -4*g + 2*g - o*n, 4*g - 137 = 5*n. Does 11 divide g?
True
Is 9 a factor of (27/4)/(6/72)?
True
Let i be (1/5 + -1)*-390. Suppose -3*u + i = 51. Does 29 divide u?
True
Suppose 6*v + 760 = 11*v. Let h = v + -98. Does 9 divide h?
True
Suppose 2 = f - 0*f. Let s be 3/(-3) + (-4)/(-2). Is s*f - (2 + -9) a multiple of 9?
True
Let r(n) = n - 10. Let l be r(17). Suppose l*p - 2*p = 440. Does 22 divide p?
True
Is (-6024)/(-108) - (-1 - (-21)/27) a multiple of 4?
True
Let n = 4 - 4. Suppose -2*s - 3*q + 21 = 0, -5*s - 3*q + 71 + 4 = n. Is s a multiple of 6?
True
Let t(z) = z - 12. Let q be t(10). Let h be 2 + q - -1 - 13. Let y = h + 28. Is y a multiple of 8?
True
Let y(m) = -2*m - 21. Let x(k) = k + 10. Let l(u) = 13*x(u) + 6*y(u). Let t be l(-7). Is 11 a factor of 22 - (t - 1/(-1))?
False
Let b(l) = l**2 - 8*l - 11. Let z be b(10). Let s be z/(-6)*3*-2. Let i(u) = -u**3 + 9*u**2 + 6*u - 4. Does 25 divide i(s)?
True
Let q(c) = 2*c**2 - 4*c + 14. Is 5 a factor of q(8)?
True
Let b = 4 - 7. Let y(v) be the second derivative of -7*v**3/6 + v**2/2 - 7*v. Does 14 divide y(b)?
False
Let h(j) be the first derivative of j**3/3 + 5*j**2/2 + 7*j + 3. Does 3 divide h(-5)?
False
Let d be (6/8)/(4/(-32)). Let y = 3 + d. Let j = 14 + y. Is j a multiple of 5?
False
Suppose -5*a - 4 + 14 = 0. Suppose 5*j + 3*s - 25 = -a*s, -s - 23 = -3*j. Is 7 a factor of j?
True
Suppose -2*i = -i - 8. Suppose 8 + i = f. Is 5 a factor of f?
False
Let o be ((-26)/39)/((-2)/9). Suppose 0 = 3*x - 2*u - 27, 3*u - 42 = -0*x - o*x. Is 4 a factor of x?
False
Suppose -4 = 4*p - 5*p. Let d(g) = 8*g - 7. Let t be d(5). Suppose 0 = u - z - t, 5*u - 5*z - 29 = p*u. Is 17 a factor of u?
True
Suppose -2*q - 3 = 3. Let t(p) = -3*p + 4. Does 9 divide t(q)?
False
Let j(l) be the first derivative of l**4/12 - 2*l**3 - 2*l**2 + 4. Let t(x) be the second derivative of j(x). Is t(14) a multiple of 5?
False
Let i be 7/21 + 2/(-6). Suppose 2*x - 4*u + 52 = 3*x, i = 3*x + 4*u - 156. Is x a multiple of 13?
True
Suppose -c = -0*c - 33. Does 30 divide c?
False
Let f(o) = 2 - 7*o - o**2 + 0 + 0 + 9*o. Let i be f(-4). Is 5 a factor of 0/(-2) + i/(-2)?
False
Suppose 2*z + 13 + 93 = 0. Let g = z + 75. Is 13 a factor of g?
False
Is 4317/24 + 1/8 a multiple of 17?
False
Let g(s) = s + 1. Let h(t) = 4*t + 2. Let f(k) = -8*g(k) + 4*h(k). Does 7 divide f(1)?
False
Let z = 235 + -168. Let n = -23 + z. Is 8 a factor of n?
False
Let w be ((-3)/(-4))/((-1)/4). Let p = w - -5. Let s = p + 6. Is 8 a factor of s?
True
Is 3 + (-15)/6 + 266/4 a multiple of 7?
False
Let r = -6 - -36. Is r a multiple of 20?
False
Let u = 5 + -1. Suppose 0 = 5*w - 11 - u, 0 = 4*t + w - 11. Suppose 5*g - 40 = -3*a, t*a - 80 = -a + 5*g. Is a a multiple of 14?
False
Let g(x) = -7*x - 7. Let w(y) = -y + 2. Let f be w(8). Is 12 a factor of g(f)?
False
Let c(i) be the third derivative of i**5/60 + i**4/6 - i**3 + 5*i**2. Does 9 divide c(-7)?
False
Let m be -1 - ((-64)/2 + -1). Let g be -2 + 2 + (m - 0). Let k = -22 + g. Is 4 a factor of k?
False
Suppose 0 = 4*u + 5*c - 307, 3*u - 5*u + c = -157. Is 13 a factor of (5/2)/(13/u)?
False
Let m be (-2)/(24/15 - 2). Suppose -3*x - 1 = -5*d, -1 = -2*d + m*d - x. Does 20 divide 2/(-2) - 40/d?
False
Let y(z) be the third derivative of z**5/60 - z**4/24 - z**3/3 + 3*z**2. Let t be y(-2). Suppose -10 = -t*h + 30. Is 5 a factor of h?
True
Let l = -2 - -7. Suppose -4*w - 129 = -357. Suppose w = l*o + 12. Does 3 divide o?
True
Let m = -28 - -51. Is m a multiple of 12?
False
Let r be (-1 + -1)/(6/(-