m) = -m + 7. Let z be h(7). Let d be (2 - z - -2) + -1. Suppose 9 = d*q - 2*q. Is 6 a factor of q?
False
Let l(x) be the first derivative of 7*x**3/3 + x**2/2 + 2*x - 2. Is l(-2) a multiple of 14?
True
Let d(b) = -3*b**3 + b**2 - 6*b + 11. Let y(h) = h**3 + 2*h - 4. Let s(z) = -3*d(z) - 8*y(z). Is 6 a factor of s(4)?
False
Let f = 108 - 21. Is f a multiple of 3?
True
Let v = -1 - -5. Suppose -9*q + 88 = -5*q - v*s, -140 = -5*q - s. Does 9 divide q?
True
Suppose n - 3*f = 2, -f = 5*n + 3*f - 29. Let c be (-2)/n + 2/5. Suppose 27 = -c*d + 3*d. Is d a multiple of 8?
False
Suppose 5*y - 13 = 3*k - 161, 4*y - 128 = -2*k. Is k a multiple of 28?
True
Let j(x) = -x**2 - 12*x - 14. Does 2 divide j(-10)?
True
Let y = -5 + 5. Let b be ((5 - y)*-2)/1. Is 11 a factor of 588/20 + 4/b?
False
Let v be ((-3)/3)/(1/(-17)). Let i = -6 - -11. Suppose -102 = -i*j - v. Is j a multiple of 8?
False
Let q be 1*-2 + (2 - -8). Suppose 0 = -3*b - 1 - q, -26 = -p + 4*b. Does 7 divide p?
True
Let z = -12 - -30. Is z a multiple of 9?
True
Is (3/6)/((-1)/(-38)) a multiple of 8?
False
Suppose -v - 6 = -11. Does 5 divide v?
True
Let c = -8 - -6. Let t = c - -4. Is t a multiple of 2?
True
Suppose 344 + 176 = 5*u. Is 12 a factor of u?
False
Let m(s) = -28*s**3 - 1. Let n(y) = -y**2 - 4*y + 8. Let f be n(-6). Let g = f + 3. Is m(g) a multiple of 13?
False
Let a(q) = 5*q + 9. Does 14 divide a(8)?
False
Let f(y) be the third derivative of y**4/12 + y**3 + y**2. Let r be f(7). Suppose 4*z - r = -z. Is 2 a factor of z?
True
Let j(i) = i**3 + 7*i**2 + 3*i. Is 9 a factor of j(-4)?
True
Let n(r) = 11*r + 5 + r**3 - 6*r**2 + 0*r**3 - 4*r. Let a(m) = 6*m**3 + m - 1. Let g be a(1). Is n(g) a multiple of 20?
False
Let x(b) = -b + 20. Does 10 divide x(0)?
True
Suppose 3*y + 9 = -b, -4*b + 5*b + 5*y = -15. Suppose b = w - 37 + 5. Is w a multiple of 11?
False
Let m = 2 - -2. Suppose 0 = -n + m*n - 9. Suppose n*j = -3*c + 87, 5 + 48 = j - 5*c. Is 12 a factor of j?
False
Let k(x) = -x**3 + 4*x + 7*x**2 - 5*x - 4*x + 5. Does 15 divide k(5)?
True
Let f = 14 - 12. Is f even?
True
Suppose 72 = -3*k + 6*k. Does 4 divide k?
True
Let n be 0 - ((-3)/(-1) - 3). Suppose n = 3*f - 0*f - 15. Suppose 0 = -o + y + 11, -f = -o - 0*o - y. Is 8 a factor of o?
True
Suppose -310 = 5*z - 5*v, 2*z + 2*v = -53 - 51. Does 9 divide 2/(-2)*(z + -1)?
False
Let t = -10 + 16. Is 11 a factor of (2*3 + -2)*t?
False
Let g(r) = 6*r - 1. Let k = -18 + 27. Let y be g(k). Suppose 87 = 5*m - y. Is 14 a factor of m?
True
Let o(h) = -h**2 + 3*h + 1. Let p be o(4). Let i(y) = -2*y + 4. Let b be i(p). Let n = b + 0. Is 6 a factor of n?
False
Let u = 2 + -1. Suppose 4*d - 31 = u. Does 2 divide 14/6 + d/12?
False
Is 8 a factor of 2/3*255/10?
False
Let z be 2/3*(-54)/(-12). Suppose 0*m + 84 = z*m. Does 14 divide m?
True
Let a(h) = h**3 - 9*h**2 - 10*h - 14. Is 34 a factor of a(11)?
False
Let q(t) be the first derivative of t**2/2 - 9*t + 1. Is 6 a factor of q(15)?
True
Suppose -5*r - 38 = 67. Let d = 15 - r. Does 12 divide d?
True
Suppose -3*k + 16 = -11. Let g = 12 + k. Is g a multiple of 7?
True
Suppose -2*x + 137 - 1 = 0. Suppose x = 2*z - 4*i, -183 = -3*z + 3*i - 72. Is z a multiple of 10?
True
Suppose -21*c - 813 + 6693 = 0. Does 35 divide c?
True
Suppose q - 96 = 5*q. Is ((-21)/12)/(3/q) a multiple of 10?
False
Does 12 divide 4*4 + -8 + 8 + -4?
True
Suppose -4*q = 2*q + 216. Let o = q - -58. Is 9 a factor of o?
False
Let n = 9 + -11. Does 5 divide 6/4 - 27/n?
True
Let z(g) = -g**2 - g + 1. Let d be z(-3). Let u(v) be the second derivative of -v**4/12 - 7*v**3/6 - 7*v**2/2 - 2*v. Does 3 divide u(d)?
True
Let t = -259 + 173. Let q = -41 - t. Does 16 divide q?
False
Let r = 79 - 14. Does 6 divide r?
False
Suppose -5*u = 2*k - 21, 15 = u + 2*u + 2*k. Suppose -u*g = 2*j - 63, j - 3*g = 2*g + 25. Is j a multiple of 15?
True
Suppose 7*h = 9*h + 8. Does 9 divide -3 - 4/(h/13)?
False
Suppose 12*y - 20 = 8*y. Is 5 a factor of y?
True
Suppose -2*i + i + 113 = -b, 3*i = -b + 327. Is 5 a factor of i?
True
Let s(k) = -k - 11. Let p be s(-12). Let m(f) = 4 - 3*f - 4 - p + 9*f - f**2. Is m(5) a multiple of 4?
True
Let w = -21 - -38. Let f = -3 + w. Does 5 divide f?
False
Let n be (1 + -3)/(-1) - -2. Suppose -n*r = 2*y - 7*r - 63, -y + 2*r = -29. Is 31 a factor of y?
False
Suppose -4*d = -d + 4*q + 20, 3*d - 2*q = 10. Suppose -78 = -m - d*z + 2*z, 0 = -m - 3*z + 63. Is m a multiple of 18?
True
Let f(q) = q**2 - 3*q + 2. Let k be f(2). Suppose -4*c = -2*u - 96, -48 = -2*c - k*c - 5*u. Does 10 divide c?
False
Suppose 4*b = 1 - 21. Let l be 12 - b - (-3 + 0). Is 9 a factor of 8/l*(-90)/(-2)?
True
Let i(z) = -6*z - 3*z + 0 + 2. Let u be (-2)/8 - (-15)/(-4). Is 19 a factor of i(u)?
True
Let c = 17 - 2. Is c even?
False
Suppose 0 = -5*f - 0*f + 200. Does 7 divide f?
False
Let z(q) = 18*q**2 - q. Is 7 a factor of z(2)?
True
Suppose -3*h + 2*q = h - 336, 3*q = -2*h + 184. Does 11 divide h?
False
Let c be (-3 - 24/(-9))*-3. Let i be ((-1)/2)/(c/(-8)). Suppose 14 = -2*w + i*w. Is 4 a factor of w?
False
Is 212*((-28)/16)/(-7) a multiple of 15?
False
Suppose 3*v - 4 = v. Let u be 2 - (-83 + 0/v). Suppose 2*r - u + 29 = 0. Is 14 a factor of r?
True
Let b be -3 + 5 - 0 - -8. Let v = b - 7. Is 2 a factor of v?
False
Let t be (35/(-21))/((-2)/(-6)). Let g = -3 - t. Is g a multiple of 2?
True
Let v be (-6)/9 + 20/3. Let n(g) = g**2 - 8 + 7*g - 7*g. Does 14 divide n(v)?
True
Is (-22)/154 + (-3026)/(-14) a multiple of 27?
True
Suppose -3*o + 1540 = 2*o. Is o a multiple of 28?
True
Suppose -12 = 4*s, 2*s + 4 + 17 = -3*d. Suppose -5*r + 4*a = -6*r + 9, -3*r - 2*a + 7 = 0. Let c = r - d. Is 6 a factor of c?
True
Let t(j) = j + 5. Let d be t(-4). Let k be (-50)/(-35) + 3/(-14)*2. Is d*k/((-2)/(-20)) a multiple of 10?
True
Let q = 164 - 84. Is 10 a factor of q?
True
Let i = 609 - 434. Does 40 divide i?
False
Let y be 2/(-2) + 9 + -2. Let z be y*(12/(-9) + 1). Let t = 6 - z. Is t a multiple of 8?
True
Let g = 4 - 4. Suppose 3*c + 4*f - 72 = g, f + 96 = 4*c - 4*f. Does 12 divide c?
True
Let y = 3 - 1. Suppose -4*d = -y*d - 70. Let j = d + -13. Is j a multiple of 9?
False
Let y = 73 + -50. Is 23 a factor of y?
True
Suppose 94 = 4*f - 0*f + 5*x, 2*x = -f + 25. Suppose -90 = -3*y - w, 5*y - 171 = 4*w - f. Is y a multiple of 10?
True
Let x(q) = 85*q**2 + q + 1. Let j be x(-1). Let t be (j/(-10))/(3/(-6)). Suppose -t = -5*v + 108. Does 15 divide v?
False
Suppose 2*a = 2*o - 0 - 204, 5*o + 5*a - 510 = 0. Is o a multiple of 34?
True
Let f = 9 - 5. Suppose 0 = -4*g + 16, 9*n - 4*n - 32 = -3*g. Suppose 2*s + f*i - 32 = 0, -4*s = -i + n - 41. Is 4 a factor of s?
False
Suppose 8*m - 5*m = 237. Is 16 a factor of m?
False
Let x be (-2 - 87/(-6))*2. Let y = -1 + x. Does 13 divide y?
False
Suppose 5*q = -4*a + 23 + 10, -3*a - 4*q + 26 = 0. Suppose 2*t - 84 = -a*t. Is t a multiple of 21?
True
Is ((-2)/2)/((-4)/176) a multiple of 21?
False
Let h be 18/(-8) - 4/(-16). Is h/7 + 88/14 a multiple of 2?
True
Suppose -4*q - 12 = -4*f, -1 - 9 = -4*f + 3*q. Suppose -5*t + 160 = 5*k, 2*k + 4*t + 0*t = 74. Is 14 a factor of (-1 + f - -1) + k?
True
Suppose -4*v + 5*l + 21 = 0, -2*l = 4*v + 2 + 12. Is v*3/(6/(-40)) a multiple of 6?
False
Let f(w) = -w**2 + 8*w + 3. Let h be f(8). Does 26 divide (h - -43)*1 - -1?
False
Let m be (-4 + 16)*34/8. Suppose 3*z = -3*w + m, 3*w + z + 22 - 73 = 0. Let f = w + 0. Does 11 divide f?
False
Let n = 0 + 24. Is n even?
True
Let s = -23 + 59. Is 12 a factor of s?
True
Let d(v) = -2*v + 3. Let k be d(0). Suppose 0 = -3*w + k*p + 273, -4*w + 316 + 72 = 4*p. Is w a multiple of 29?
False
Let l be (1/1)/(1 - 0). Let v be (2/4)/(l/(-4)). Let j(p) = -p**3 + p**2 + 2*p + 3. Is 4 a factor of j(v)?
False
Let k = -15 + 26. Is 6 a factor of k?
False
Suppose -72 = 3*r - 7*r + 2*h, 2*r - 40 = 2*h. Does 4 divide r?
True
Let n(c) = 2*c**3 - 3*c - 3. Let q(t) = t**3 + 3*t**2 + 2*t + 3. Let s be q(-3). Let o be n(s). Let p = o - -89. Does 12 divide p?
False
Suppose 7*m = 2*m + 25. Suppose -2*l + 35 = -0*l + m*z, -4*l + 76 = 4*z. Is 7 a factor of l?
False
Let f = -13 - 7. Let d = f + -14. Let l = d - -54. Is 7 a factor of l?
False
Suppose 5*v - 10 = -5. Let m be 59 - (v + 0)/1. Suppose 5*t + 2*d = m, 62 = 5*t - d + 1. Is t a multiple of 6?
True
Let n be ((-2)/(-6) - 0)*0. Does 7 div