 3 divide q?
False
Let y be 5*(14 - (0 + 3)). Let h = -36 + y. Is h a multiple of 14?
False
Suppose w + 1 = -3. Does 2 divide w + (-20)/(-6 - -4)?
True
Let o(h) = h**3 - 6*h**2 - 6*h - 2. Let v be o(7). Let w(z) = -z + 7. Let m be w(v). Suppose 13 = -c - 3*i - m*i, -5*c - 4*i = -40. Is c a multiple of 11?
False
Let x be 135/12*-1*4. Let p = x - -79. Is p a multiple of 12?
False
Suppose 3*z = -0*z + 9. Is z a multiple of 2?
False
Suppose -111 = -g + 39. Is g a multiple of 14?
False
Suppose 2*v = -v + 9. Is v even?
False
Let j = -73 + 165. Suppose y - j = -3*y. Is 12 a factor of y?
False
Let w(u) = u**2 - 2*u - 3. Let j be w(-3). Suppose -j = -3*v, -m = m - 3*v - 38. Is m a multiple of 6?
False
Is 39 a factor of 2664/20*(-2 - 32/(-6))?
False
Suppose -2*m + 25 = 3*m. Let d = m - 8. Is (-6)/d + 4/2 even?
True
Let o = -133 + 301. Is o a multiple of 14?
True
Let p(t) = 3*t - 1. Let y be p(-1). Let v(r) be the second derivative of r**5/20 + 5*r**4/12 + r**3/2 + 3*r**2/2 - 2*r. Is v(y) a multiple of 7?
True
Let r(u) be the second derivative of -7*u**3/6 + 37*u**2/2 - 4*u. Let v(h) = -3*h + 18. Let d(c) = -4*r(c) + 9*v(c). Is d(-11) a multiple of 2?
False
Suppose 5*w + m = 56, -4*w + 2*w - 5*m = -27. Is w a multiple of 6?
False
Suppose 0 - 4 = 3*y + v, -2*y - 4*v - 6 = 0. Let d(t) = 39*t**2 - 1. Is d(y) a multiple of 13?
False
Let n(z) = 9*z - 1. Let o(p) = -10*p + 1. Let k(j) = -6*n(j) - 5*o(j). Let g be k(-1). Suppose -47 + g = -3*b. Is b a multiple of 7?
True
Suppose -160 = 9*u - 13*u. Suppose -5*p + u = -0*p. Is p a multiple of 5?
False
Let o(w) = -4*w**2 - 3*w - 1 + w**3 + 3 - 3. Is 4 a factor of o(5)?
False
Let z be -2 + 4 + -4 + 8. Let u be 2/3 + 2/z. Does 26 divide (-1)/u*1*-26?
True
Let z(u) = u**3 + u**2 + u + 16. Let a be z(0). Let c = a + -10. Is c a multiple of 4?
False
Suppose 19 = 3*n + 7. Let h = 2 - n. Let z = h - -5. Is 3 a factor of z?
True
Let k(x) = x**2 - 1. Let t be k(-2). Suppose 0*r + t*r - 3 = 0. Is 9 a factor of (-24)/(-2 + r) + 0?
False
Suppose -s = 4*n - 63, 5*s - 330 = -3*n - 49. Does 19 divide s?
False
Is 15 a factor of ((-4)/6)/(8/(-360))?
True
Let q be 2/4 - (-4)/8. Let b(g) = 14*g**3 - g**2. Does 13 divide b(q)?
True
Let y(i) = -9*i - 15. Let r(d) = d + 1. Let n(h) = 5*r(h) + y(h). Let p be 4/14 - (-174)/(-21). Is 11 a factor of n(p)?
True
Suppose 5*t + 2*f - 3*f - 509 = 0, -4*f = -5*t + 506. Does 17 divide t?
True
Suppose 1 = 3*f - 5. Let k = f + -2. Suppose -r + k*r + 38 = 0. Is 14 a factor of r?
False
Let v(n) = -n**2 - 4 + 7 + 6 + 6*n. Let r be v(7). Suppose r*u + 17 = 53. Does 7 divide u?
False
Let t be (-13)/(-5) - (-6)/(-10). Suppose l - 15 = -t*l. Is 5 a factor of (-63)/(-5) + 2/l?
False
Suppose 3*l = -5*f + 90, 16 - 6 = 2*f - 4*l. Is 5 a factor of f?
True
Let l = 10 + -2. Is l a multiple of 4?
True
Is 2/4*(-1)/((-2)/212) a multiple of 15?
False
Let m be 1 - (-1 + 0 + 0). Suppose -l - m*l + w + 166 = 0, -2*l + 3*w + 113 = 0. Is 20 a factor of l?
False
Suppose 2*r - 4 = -g + 2, -2*g = -2*r - 30. Is g a multiple of 4?
True
Let c(m) = m**3 - 9*m**2 + 9*m + 7. Let g be c(8). Let l = g - 4. Does 7 divide l?
False
Suppose 0 = 7*s - 17*s + 450. Does 15 divide s?
True
Let c(h) = -3*h**3 + 27*h**2 - 3*h + 21. Let p(x) = -x**3 + 9*x**2 - x + 7. Let v(i) = -2*c(i) + 7*p(i). Let l be v(9). Does 6 divide 16 - -1 - (-2)/l?
False
Let p(v) = -97*v - 7. Let f(z) = 1. Let h(u) = 6*f(u) + p(u). Let w be h(-1). Suppose g - 5*g = -w. Is g a multiple of 12?
True
Let a(g) = -g**2 + 2 - 3*g**3 + 2*g**3 + 0*g**2 - 6. Is 12 a factor of a(-3)?
False
Let i(o) = 2*o**2 - 2*o + 1. Let s be i(2). Suppose -2*v - 2*v + 104 = -s*m, -3*m + 30 = 2*v. Is v a multiple of 7?
True
Suppose -3*s + 6*s = 36. Suppose -2*n + n = -s. Is 12 a factor of n?
True
Let h(s) = -s**2 + 11*s + 4. Is 11 a factor of h(6)?
False
Let d(h) = h + 12. Let n be d(-11). Is 12 a factor of -8*(-4 + n + -3)?
True
Does 3 divide (-1)/((-15)/1179) + 2/5?
False
Let s(n) = n**2 - 17*n - 2. Is s(-5) a multiple of 11?
False
Let u be 28/36 + (-4)/(-18). Let t = u - 0. Does 11 divide -1*(-42 + t + 0)?
False
Let g be 0 - (-1 - (-3 + 42)). Is g/(-3)*(-3 + 0) a multiple of 15?
False
Suppose -180 = -8*q + 772. Does 7 divide q?
True
Let f = 2 + 2. Suppose -d + 2 = -f. Is d a multiple of 4?
False
Suppose -10 = 4*h + h. Is h/(13/5 + -3) a multiple of 5?
True
Let i(f) = -11*f + 3. Let y be i(-4). Let x = 19 - 14. Suppose s + 3*a = y, x*s - 5*a - 131 = 44. Is 19 a factor of s?
True
Suppose 3*q - 85 = 104. Is q a multiple of 47?
False
Let v = 45 + 411. Suppose 2*c + 1208 = v. Is 21 a factor of 14/(-21) - c/6?
False
Let l = 1 - -1. Suppose 2*b + 217 = 4*p - b, l*b + 163 = 3*p. Suppose -g - 5 = 4*v - 19, 2*g = v + p. Is g a multiple of 13?
True
Let o(g) = g - 18*g**2 + 7 + 0*g + g**3 + 8*g**2 + 8*g. Let n be 9 + (-1 - (-3)/3). Is 2 a factor of o(n)?
False
Let x(h) = -3 + h - 3*h - h**2 - 1 + 0 + h**3. Is x(3) a multiple of 4?
True
Let g = -21 - -45. Let n be 2/8 - (-45)/12. Suppose n*k + 24 = 4*f, -g = -4*f - k - 2*k. Does 4 divide f?
False
Suppose -x + 8*x = 490. Does 10 divide x?
True
Suppose 0*w = w - 69. Is 18 a factor of 1/(0 - (-1)/w)?
False
Let n(s) = -5*s - 3. Let x(u) = -5*u - 3. Let d(a) = 2*n(a) - 3*x(a). Let m be d(7). Is 4/(-18) - m/(-9) a multiple of 3?
False
Suppose 3*s + 192 = 7*s. Is 8 a factor of s?
True
Let s(v) = -2*v**2 + v**2 + 2*v**2 + 5 - 5*v - 1. Let b be s(4). Suppose b = -2*w - 8 + 22. Is w a multiple of 7?
True
Is 10 a factor of (-3)/12 + 363/12?
True
Let y(v) = 5*v - 4. Does 6 divide y(2)?
True
Suppose -4*b - 2 + 98 = 0. Suppose t + b = 9. Is (-1)/(t/(-18) + -1) a multiple of 6?
True
Let i be -60 - ((-3)/(-1))/(-3). Does 16 divide 2*(-1)/2 - i?
False
Let m be 6 - (-2)/2*0. Is 14 a factor of -2*21/m*-2?
True
Suppose -4*c + 3 - 2 = 3*i, -3*i + 15 = -3*c. Let r be (-1 + 0)*-14 + c. Suppose -r = -4*q + 12. Does 6 divide q?
True
Let p = 2 - -18. Is p a multiple of 4?
True
Let k(j) = 2*j**2 - 15*j + 7. Is k(10) a multiple of 9?
False
Is 2 + (4 - 54)*-2 a multiple of 29?
False
Let k = 2 + 0. Let h(p) = -p**3 + 4*p + 3. Let t be h(-2). Suppose 0 = k*n - t*u - 18, 0 = 4*n + 4*u + u + 8. Is n a multiple of 3?
True
Let o(v) = -v + 1. Let k(g) = -5*g - 8. Let s(h) = -k(h) + 6*o(h). Is 14 a factor of s(-8)?
False
Is (627/38)/(3/4) a multiple of 11?
True
Suppose -3*p + 823 = -5*g, 0 = -0*g - 2*g + 8. Does 21 divide p?
False
Let d be 7*-2*5/(-10). Let x = d - 4. Suppose 3*h + 3*l = -0*l + 111, -x*h + 3*l + 81 = 0. Is 10 a factor of h?
False
Let g(o) = 1 + 4 + 3*o - 2 - 1. Is g(2) a multiple of 6?
False
Suppose 5*w + 0*w - 25 = 0. Let l be w + 2 + (1 - 3). Suppose 0*m - 105 = -l*m. Is m a multiple of 6?
False
Suppose 5*q = -2*f - 11, 3*f - 12 = 3*q - q. Does 15 divide 106/(q - (-6 - -1))?
False
Let y(t) = 2*t**2 - t. Let c be y(-1). Suppose -2*m + c*h + 11 = 2*h, -m + 8 = 2*h. Does 11 divide (-12)/(-4) + 4*m?
False
Let v(q) = -20*q - 22. Does 40 divide v(-6)?
False
Let k = -6 - -12. Is k/(-9) + 62/3 a multiple of 20?
True
Let u(t) be the third derivative of t**5/60 + t**4/4 - 2*t**3/3 + 5*t**2. Does 9 divide u(-8)?
False
Suppose -2*q + q + 2*w + 17 = 0, 0 = 4*q + w - 86. Does 7 divide q?
True
Let t(m) = -m**2 + 17*m + 12. Is t(12) a multiple of 12?
True
Is ((-87)/(-15) - 5)*30 a multiple of 6?
True
Suppose 144 = 4*s + 4*v, -136 = -3*s - s + 4*v. Suppose 0*t - t = -s. Does 15 divide t?
False
Suppose 4*m - 144 = -0*m. Let p be m/2 - 0/(-2). Let g = -13 + p. Is g a multiple of 5?
True
Let u = -3 + 1. Let j(s) = s**2 + 2*s + 2. Let y be j(u). Suppose 14 = y*a - 0*a. Is 6 a factor of a?
False
Let z(k) = 9*k**3 - 3*k**2 + 2*k. Is z(2) a multiple of 16?
True
Let j = 2 - -20. Is 22 a factor of j?
True
Suppose 4*v = s - 76, -6*s + 57 = -3*v - 2*s. Let d = v + 30. Let b = 11 + d. Is b a multiple of 15?
False
Let r(v) = 4*v**3 + 2*v**2 - 1. Let t(u) = -7*u**3 - 5*u**2 - u + 1. Let b(i) = -5*r(i) - 3*t(i). Let q be b(-5). Let j = q - -28. Is 5 a factor of j?
True
Let t = 54 - 27. Is 11 a factor of (t - 0/(-2)) + -1?
False
Suppose -6 = -3*t + 3. Suppose -o - 3*w = -9 + t, 18 = -3*o + 3*w. Let s(l) = -l**3 - 2*l**2 + 3*l + 4. Is s(o) even?
True
Let c(d) = d**3 - 3*d**2 - 9*d + 8. Does 14 divide c(6)?
False
Let d be (5 - 6/2)*-1. Does 3 divide -1 + (-3)/d*10?
False
Let r(c) = -c**3 - 9*c**2 - c