+ s*q + h. Does 6 divide q?
False
Does 17 divide 17/(-2)*4*-1?
True
Let g(x) = -x**3 + x**2 + 3*x + 2. Does 2 divide g(-2)?
True
Let v(q) = 16*q**3 + 54*q**2 - 26*q + 66. Let x(t) = 3*t**3 + 11*t**2 - 5*t + 13. Let a(b) = -2*v(b) + 11*x(b). Is 25 a factor of a(-13)?
True
Let w be (-2)/(1 - (-7)/(-5)). Let r = w + -3. Suppose p - r*a = 3*a - 15, -5*a = 2*p - 30. Is p a multiple of 2?
False
Suppose 4*x + x = -5*k + 230, 0 = -3*x - k + 132. Suppose -3*l + 3 = -639. Suppose -5*p + o + 177 = 0, 2*o - l = -5*p - x. Is 12 a factor of p?
False
Let n = -6 - -6. Suppose n = k - 17 - 18. Is k a multiple of 12?
False
Suppose 0 = -17*t + 9*t + 2880. Is t a multiple of 15?
True
Let j(h) = 5*h - 6. Let g(m) = 7*m. Let o be g(1). Let n be j(o). Let x = -13 + n. Is 8 a factor of x?
True
Suppose 4*s - 5 = -c + 4*c, -4*c - s - 13 = 0. Let o be ((-94)/(-4))/(c/(-6)). Let d = o + -25. Is 11 a factor of d?
True
Let w = -1 + 0. Let c be (w/1)/((-4)/16). Suppose -u = -0*u - 2, 4*k - c*u - 116 = 0. Is 18 a factor of k?
False
Let f be (-1)/2 - 1605/(-6). Suppose -2*k = k - f. Does 28 divide k?
False
Let z(x) = x**3 + 7*x**2 - 9*x. Let v be z(-8). Suppose -3*i = -4*i + v. Is i a multiple of 6?
False
Let g(v) = 3 + 2 - v - v. Let b be g(4). Is b/9*0 - -2 even?
True
Let d = 22 + -22. Suppose d = t - 0*t - 25. Is 6 a factor of t?
False
Suppose q = 1 + 13. Is q a multiple of 14?
True
Let t = -74 - -129. Is t a multiple of 21?
False
Let o(r) = 3*r**2 + 4*r - 10. Is o(-5) a multiple of 12?
False
Suppose -3*c = -2*j - 50, 0 = -2*c + 3*c + 2*j - 30. Let k be 382/8 - (-5)/c. Suppose 0 = -2*i + 6*i - k. Is 12 a factor of i?
True
Let u be ((-2)/5)/((-2)/60). Let v be (-93)/u - (-3)/(-12). Is (-1)/4 - 50/v a multiple of 3?
True
Let q(r) = 3*r - 1. Let g be q(1). Let h = 6 - g. Suppose -h*p = k - 43, 3*k - 3 = -p + 5. Is 11 a factor of p?
True
Let h(r) be the third derivative of r**5/60 - r**3/6 - 2*r**2. Let f be h(-5). Suppose b = -0*b - z + f, 0 = -2*b - z + 48. Is 24 a factor of b?
True
Let z(w) = -w**3 - 7*w**2 - 8*w - 8. Let n = -10 + 4. Is 2 a factor of z(n)?
True
Suppose -6*f = -f. Let r(q) = q**3 + 9 - 4 + q**2 + 19. Is r(f) a multiple of 12?
True
Let t be 2/6 + 106/6. Let o = 29 - t. Is 11 a factor of o?
True
Let v = 103 + -55. Is v a multiple of 16?
True
Suppose -3*n - 2*n = 5*w - 20, 5*n + 3*w - 22 = 0. Let z(b) = 13*b + 7. Let d(g) = g + 1. Let y(t) = -6*d(t) + z(t). Does 13 divide y(n)?
False
Let c(k) = k**3 + 6*k**2 - 6*k + 8. Let g be c(-7). Let s be (g - 0)*-3 - -93. Is (9/(-6) - -2)*s a multiple of 17?
False
Suppose -4*m + 7*t - 17 = 4*t, 4*t = 5*m + 22. Let d = m + 35. Is 11 a factor of d?
True
Let u(o) = 91*o**2 + o + 2. Does 23 divide u(-1)?
True
Let z(x) = -8*x - 13. Does 7 divide z(-6)?
True
Let w = 1 + -7. Let h = 29 - w. Is 13 a factor of h?
False
Does 5 divide (15/4)/((-6)/(-104))?
True
Let d = 196 + -112. Is 12 a factor of d?
True
Let o(w) = -w**2 - 8*w + 9. Let k = -21 - -12. Let b be o(k). Suppose -2*r + 6*r - 2*y = 98, r + 3*y - 35 = b. Is r a multiple of 13?
True
Suppose 2*a + 108 = 4*x + 14, -2*a + 131 = 5*x. Does 14 divide x?
False
Let i be ((-5 - -3) + 2)*1. Suppose i = 4*b - 31 + 7. Does 6 divide b?
True
Let s(x) = 3*x - 3. Let v be s(6). Let y(l) = -l + v - l + 3*l. Does 15 divide y(0)?
True
Let l = 691 + -386. Does 15 divide l?
False
Let w be (-1 + 5 + -1)*1. Suppose w = g - 14. Suppose x + g = 51. Is x a multiple of 17?
True
Let z(v) = v**3 - 7*v**2 + 5*v + 6. Suppose -3*f - 2*f + 30 = 0. Let g be z(f). Suppose g = 2*o + 2*o - 20. Is 2 a factor of o?
False
Suppose -j + 0*d = 5*d - 6, 0 = j - 5*d - 26. Let m be (-11)/(-3)*-1*-6. Let b = m - j. Does 6 divide b?
True
Suppose 9 = 3*p - 0. Suppose 13 + 5 = p*h. Is (h/4)/((-12)/(-128)) a multiple of 5?
False
Let i be 4/14 - 72/7. Let p be 4/i + 206/(-10). Let s = p + 38. Is 7 a factor of s?
False
Suppose 40 = 3*y - 2*y. Is y a multiple of 10?
True
Suppose 0 = -5*n + 9 + 21. Suppose -n*r + 75 = -r. Is 5 a factor of r?
True
Let y = -161 - -357. Is 17 a factor of y?
False
Suppose -335 = -2*m - 3*m. Suppose -g = -5*h - 22 + m, -10 = 2*g. Is h a multiple of 6?
False
Let l = -118 + 175. Suppose -l - 3 = -5*d. Does 6 divide d?
True
Let u = 5 - 3. Suppose 4*o + 11 = u*p - 11, -4*p - 5*o + 83 = 0. Does 8 divide p?
False
Let u be 2/(-3) + 32/12. Is 17 a factor of -50*u*(-1)/4?
False
Let j = 65 - 17. Is j a multiple of 12?
True
Suppose 5*j - 494 = -4*n, -2*n + 246 = -0*j + 3*j. Suppose -11 = 5*b - n. Does 21 divide b?
False
Let y(f) = -f + 9. Let q be ((-15)/10)/(3/8). Let a be q/5*(1 - -9). Is y(a) a multiple of 16?
False
Let w(j) = -j - 8. Let z be w(-11). Does 3 divide z/(-2 - -5) + 2?
True
Let z = 96 - -14. Is 20 a factor of z?
False
Let p be 10/(-4)*4/(-5). Suppose 29 = -5*s - 0*k + 2*k, -p*k = 3*s + 27. Let m(x) = x**2 + 6*x. Is m(s) a multiple of 2?
False
Let j = 142 - 99. Suppose -3*t - j = -b, -157 - 100 = -5*b + t. Is b a multiple of 17?
False
Let s be 7*1/2*-22. Let o = s - -121. Is 23 a factor of o?
False
Is 19 a factor of (-1)/(-5) - 308/20*-2?
False
Does 24 divide 429/(-2 + 5)*1?
False
Let u be 0*(3/(-1))/(-6). Is 5/((-10)/(-8)) - u a multiple of 4?
True
Let f(y) = -10*y. Let r be f(-1). Let t = r + -2. Let v = 3 + t. Is 11 a factor of v?
True
Let x(r) be the second derivative of 5*r**3/6 - r**2 + 3*r. Is x(4) a multiple of 9?
True
Let i(d) = 10*d - 2. Let z(t) = -t - 1. Let s(y) = -i(y) + z(y). Let o be s(-1). Let g = o + 4. Does 8 divide g?
True
Let h(x) = x. Let l(o) = -o**2 + 12*o + 1. Let t(a) = 22*h(a) - 2*l(a). Is t(2) even?
True
Suppose -4*y = 3*z + 274 - 1051, 0 = 2*z + 4*y - 522. Is z a multiple of 19?
False
Let y(t) = 4*t - 11. Let n(j) = 7*j - 22. Let z(k) = -3*n(k) + 5*y(k). Let g be z(8). Let w = 3 + g. Is w a multiple of 6?
True
Suppose -n = -37 - 0. Let w be n/(2/8*2). Suppose -f = -3*f + w. Is f a multiple of 15?
False
Let k(w) = 2*w**2 + 21*w + 7. Is k(-11) a multiple of 6?
True
Suppose 0 = -7*k + 3*k + 48. Let n(a) be the first derivative of -a**4/4 + 13*a**3/3 - 11*a**2/2 - 5*a + 1. Is 7 a factor of n(k)?
True
Let y be 10/4 - 2/(-4). Suppose 1 = -y*i + 7. Suppose -63 = -q - i*q. Does 8 divide q?
False
Let o(b) = b**3 - 4*b**2 + 4*b + 1. Let h be o(3). Let n be h/3*(-1 + 4). Suppose -n*s + s + 42 = 0. Does 9 divide s?
False
Let x(o) = o**2 - 5*o - 10. Let k be x(7). Suppose v - y = k*v - 52, 5*v - 81 = 4*y. Does 7 divide v?
False
Suppose 4*o = 6*o - 104. Is o a multiple of 9?
False
Suppose 40 = -3*l - l. Let f = l - -16. Let d(r) = -r**2 + 11*r + 1. Does 11 divide d(f)?
False
Let i = -73 - -118. Is 9 a factor of i?
True
Let x(y) be the first derivative of y**3/3 + y**2/2 + 27*y - 8. Is x(0) a multiple of 23?
False
Suppose 2*s - 1 = -7, 2*j + 3*s + 21 = 0. Let h(l) = l**3 + 7*l**2 + 7*l + 7. Let q be h(j). Is 2 a factor of q/(-2) + (-9)/(-2)?
True
Let d = 27 + -11. Let y = 23 - d. Suppose -y*z + 5*z + 22 = 0. Does 4 divide z?
False
Let x = 1 - -1. Suppose -6 = f + x*f. Is f/4*-50 + 0 a multiple of 9?
False
Let o(k) = 4*k - 9. Let t be 18/8*8/3. Let u be -1 + -3 + t - -4. Is o(u) a multiple of 5?
True
Suppose -o - 4*o - 5*i + 65 = 0, -4*i + 20 = 2*o. Suppose 2*k + o = 6*k. Suppose -3*j + 71 = 5*r - 2*j, -k*j + 4 = 0. Is r a multiple of 13?
False
Let m be (-1)/4 - (-121)/4. Let r be 0 + -8 + 0 + -1. Let g = r + m. Does 11 divide g?
False
Let t = 177 + -78. Does 19 divide t?
False
Let m be ((-12)/(-16))/(1/4). Suppose 3*z = 5*z + x - 39, -66 = -m*z + x. Does 21 divide z?
True
Suppose -3*o = 0, -2*j - 10 = -7*j + o. Suppose j*g - 21 = -g. Does 7 divide g?
True
Let u(w) = -w**2 - 9*w. Let z be u(-10). Let n(d) = -d + 8. Is 9 a factor of n(z)?
True
Suppose -b - 3*b = 0. Suppose b = 2*q - 2*i - 8, 7*q + 4*i - 5 = 4*q. Suppose -2*v + 90 = 3*v - q*z, -74 = -4*v + 2*z. Does 12 divide v?
False
Suppose 0 = r + 4*r + 3*n - 187, 4*n - 86 = -2*r. Is r a multiple of 35?
True
Let x = 11 - 4. Let y(w) = 5*w - 1. Let s be y(x). Is 2/3*(5 + s) a multiple of 13?
True
Suppose -2*q + 25 + 25 = 0. Is 8 a factor of q?
False
Let x be (1 + (-2 - 1))/2. Let j = -12 + 13. Is 4 a factor of (j - (x + 3)) + 12?
False
Let o(h) = 2*h - h**3 - 3*h**2 - 3*h**2 - 7 - 9*h. Let c be o(-5). Suppose -3*n + 78 = -0*n - w, 5*w = -c*n + 60. Is n a multiple of 13?
False
Let y = -15 + 23. Suppose -5*v + y = -2, -49 = -5*