t z be 6/(-12)*(-1 + 1). Suppose 4*s + z*d - 2 = -2*d, -d - 20 = -5*s. Does 2 divide -1 - -5 - (-1 + s)?
True
Let b be (8/(-24))/((-2)/(-6)). Let t(q) = -142*q + 1. Let m be t(b). Suppose -4*a + 100 = 4*n, 2*n - n = 5*a - m. Does 14 divide a?
True
Let v be 18/(-5)*25/(-10). Let t be (-6)/(v/12*-2). Let y = 0 + t. Does 4 divide y?
True
Let u(h) = 7*h**2 - 15*h - 43. Let c(d) = 3*d**2 - 8*d - 21. Let t(f) = -5*c(f) + 2*u(f). Is 14 a factor of t(9)?
True
Let q(i) = i**3 - 2*i**2 + 4*i - 2. Let o be q(2). Is 12 a factor of (o/10)/(1/20)?
True
Let f = 244 + -52. Is 24 a factor of f?
True
Suppose 3*s = -4*r + 283, -4*s = -5*r - 46 - 321. Is 6 a factor of s?
False
Let r be 2/(1*-4)*0. Suppose r = -4*g + 123 + 5. Is 16 a factor of g?
True
Let o be 3 + -1 + 1 + 0. Suppose -4*y = -3*y - o. Suppose -k - k = 5*q - 116, -y*q = -12. Is k a multiple of 16?
True
Let b = -8 + 13. Suppose -w - 41 = -q, -36 = -2*q + b*w + 43. Is 14 a factor of q?
True
Let g = -2 + -1. Let p = -19 - -27. Is 52/p - g/2 a multiple of 8?
True
Suppose 10 = 5*s - 15, -4*s - 1 = -3*l. Suppose 3*b + 108 = l*b. Let w = -1 + b. Is w a multiple of 15?
False
Suppose j = -3*j + 8. Let o be ((-8)/6)/(j/(-6)). Is 10 a factor of 2/(-4) + 42/o?
True
Let k(n) = -6*n + 1. Suppose 0 = -g - 4*j + 25, -3*j - 2*j + 45 = 4*g. Let u be k(g). Let a = 52 + u. Is 13 a factor of a?
False
Suppose y = -y + 10. Suppose 2*l + 4*j = -j + 18, y*j = 5*l - 10. Is 4 a factor of l?
True
Let k = 275 + -155. Suppose 0*w = 3*w - k. Is 20 a factor of w?
True
Suppose -21 = -k - 8. Let r = k - 4. Let q(b) = b**3 - 8*b**2 - 7*b + 1. Does 19 divide q(r)?
True
Let k = 35 + 16. Let v = 79 - k. Does 8 divide v?
False
Suppose 5*f - 2*g = 0, -2*g = -g - 5. Suppose 0 = -5*m + 5*z + 325, f*z + 20 = m - 50. Is 20 a factor of m?
True
Suppose -2*c + 10 = 2*d, -2*d + 25 = -0*c + 5*c. Suppose -3*g - 5*z = -d*g - 61, 3*g - 41 = -z. Is 5 a factor of g?
False
Let u = -223 - -433. Is 69 a factor of u?
False
Suppose 17*i = 15*i - 10. Is 23 a factor of 3762/55 + (-3)/i?
True
Suppose 0*k + 3*k + 15 = 0. Let q(a) = -a**2 - 6*a + 3. Does 2 divide q(k)?
True
Let v(j) = -j**3 - 5*j**2 - 9*j - 11. Does 17 divide v(-5)?
True
Let a be (-8)/(-12) + 5/(-3). Suppose 4*f + t = 131, -4*t - 31 = -f - 6*t. Is 17 a factor of f - (a - 0 - 0)?
True
Suppose -8*w + 1394 = -1006. Is 28 a factor of w?
False
Suppose 251 = -3*i - 4*y - 59, -235 = 2*i - 3*y. Let x = i + 292. Is (-4)/18 + x/9 a multiple of 10?
True
Let p(v) be the second derivative of -v**8/6720 + v**7/420 - v**6/360 + v**5/120 - v**4/4 - v. Let q(i) be the third derivative of p(i). Is 17 a factor of q(3)?
False
Let m(a) = 2*a**2 + 8*a + 4. Let l = -13 + 8. Let k be m(l). Let t = 27 + k. Does 16 divide t?
False
Suppose 20 = -a - 3*a. Let w = a - -20. Is w a multiple of 14?
False
Let k(y) = 5*y**3 + 2*y**2 - 2*y + 1. Let b(w) = w**3 - 5*w**2 + 3*w + 5. Let m be b(4). Is 6 a factor of k(m)?
True
Let m(i) = -i**2 + i. Let b be m(0). Is 0 + (26 + b)*2 a multiple of 27?
False
Suppose 0 = -2*f - 0*f + 120. Does 19 divide f?
False
Does 4 divide (-1)/2 - 198/(-12)?
True
Suppose k + k - 70 = 0. Is k a multiple of 15?
False
Let k(n) = -3*n - 4. Let b(m) = m**3 + 5*m**2 - 4*m + 6. Let f be b(-6). Let g be k(f). Let w = g - 1. Does 13 divide w?
True
Is 18 a factor of (-646)/(-6) - 3/(-9)?
True
Let y be 0 - (1 + -3 + 1). Is (24 - y/1) + -2 a multiple of 21?
True
Let g = 132 + -60. Is g a multiple of 14?
False
Suppose 3*p - 2 = 4. Suppose 3*x - 2*a = 25, -18 = -4*x - 3*a - p*a. Does 5 divide x?
False
Let x be (-6)/((-6)/2) - 3. Let k = x - -5. Is 4 a factor of k?
True
Suppose -3*f + 29 = 8. Suppose -23 = -4*l - f. Is 12 a factor of (1 + 0)*l*6?
True
Let c = -95 - -65. Is 3 a factor of (9/(-5))/(6/c)?
True
Suppose 0 = 5*k - 50 - 50. Is 5 a factor of k?
True
Does 12 divide (5 - (21 + -1))*(-12)/5?
True
Suppose h = 5*b - 10*b + 3, -b - 119 = -5*h. Does 22 divide h?
False
Let n(z) = 2*z + 2. Let h be n(-9). Let b = 54 + h. Does 19 divide b?
True
Suppose 0 = -2*n - 2*i + 1 + 5, -5*n = 2*i - 24. Let x(h) be the second derivative of -h**5/20 + h**4/2 + h**3/3 + 2*h**2 + 2*h. Is 8 a factor of x(n)?
True
Suppose -2 = -4*n + 10, -4*r + 3*n = 9. Suppose r = 3*x + x - 160. Is x a multiple of 15?
False
Suppose 3*k + j - 19 = 0, -k + 0*j + j = -1. Suppose 5*r - r - 340 = u, -4*r = -k*u - 324. Is (-2)/(-5) + r/10 a multiple of 9?
True
Suppose -5*q = -5 + 20, 462 = 3*k - 4*q. Does 15 divide k?
True
Let t(x) be the second derivative of -x**5/20 + x**3/6 + 9*x**2/2 - x. Let z(s) = -s**2 - 27*s + 58. Let a be z(-29). Is 9 a factor of t(a)?
True
Let f be 5*(0/(-1) - -1). Let g be -2 - (-4)/3*3 - 2. Suppose f*x - 10 = g, -5*p - 5*x = 14 - 154. Is p a multiple of 13?
True
Let i(j) = 2*j. Let u be i(2). Suppose o + 21 = g, 34 + u = 2*g + 2*o. Is 10 a factor of g?
True
Let n(x) = -x**2 - 7*x + 2. Let l be n(-7). Let m(b) = 2*b - b - l*b + 6. Is 7 a factor of m(-7)?
False
Let q(x) = x + 12. Let y be q(-12). Suppose y = -4*m + 20 + 36. Is m a multiple of 5?
False
Is 22 a factor of (106/4)/((-20)/24 - -1)?
False
Suppose 7*r - 4*r - 15 = 0. Suppose -415 = -r*a + 4*l, 0*a + 5*l + 262 = 3*a. Is a a multiple of 21?
False
Suppose 229 + 31 = 5*x. Is 32 a factor of x?
False
Suppose 0 = v + d - 24, 3*d - 2*d + 72 = 3*v. Is v a multiple of 8?
True
Let x be (-2)/(-7) - (-103)/7. Does 13 divide (x + -2)*1/1?
True
Suppose -4*j - 2 = 2. Does 13 divide (14 + j)*(-1)/(-1)?
True
Let m be (-3)/(1*(-1)/1). Suppose 0 = 4*w + 5*g - 8, -w + 5*w + 4*g = 8. Suppose 12 = w*i + m*d - 7, 5*i + 2*d = 20. Is i a multiple of 2?
True
Suppose -420 + 1508 = 8*c. Is 8 a factor of c?
True
Suppose -o = -1 - 4. Suppose -2*l + 3*n + 11 = 0, -5*l + o*n + 35 = -0*l. Is l a multiple of 4?
False
Does 13 divide (-8)/2*(-441)/36?
False
Suppose 0 = 2*p + 2*p + 2*y + 36, -y + 18 = -2*p. Let m = 12 + p. Is m a multiple of 3?
True
Let k(v) = -v + 28. Is k(0) a multiple of 11?
False
Suppose -3*a = 9, -3*l + 0*l = 2*a + 60. Suppose -r + 28 = -0*r. Let v = r + l. Is 10 a factor of v?
True
Let r(l) = l**2 - l - 2. Let s be r(8). Suppose f - s = -0*f. Suppose -4*g + g + f = 0. Is 9 a factor of g?
True
Let h = 311 + -171. Is 35 a factor of h?
True
Let r = -5 + 9. Suppose q + q = -5*h - 15, r*h + q + 9 = 0. Does 13 divide (6/3 - h) + 30?
False
Let o(p) = -2*p - 3. Let h be o(3). Let b be 2/(4 - 204/50). Let u = h - b. Is u a multiple of 16?
True
Is 20/6*(-18)/(-10) a multiple of 4?
False
Let h(d) be the first derivative of 7*d**3/3 + 3. Is h(1) a multiple of 2?
False
Let i be -1*39*(-2)/3. Let s = 103 - 64. Let n = s - i. Is 13 a factor of n?
True
Let l(k) = -3*k + 29. Is l(5) a multiple of 14?
True
Suppose 3*x = -3*s + 201, -4*x + 263 = -0*s - s. Does 9 divide x?
False
Suppose 2*g + 0*g = 6. Suppose 5*x + 26 = 6, 2*o - 52 = g*x. Is 10 a factor of o?
True
Let r(l) = -8*l - 2. Let f(o) = -7*o - 2. Let u(s) = -7*f(s) + 6*r(s). Is u(6) a multiple of 8?
True
Suppose -v + 16 = 2*i, 0*v + 109 = 4*v - i. Suppose 5*z = 4 + v. Suppose -n + 17 = -z. Does 23 divide n?
True
Is 25 a factor of (211 + -3 + 6)*2/4?
False
Let k(x) = -x**3 - 15*x**2 - 17*x + 10. Is k(-14) a multiple of 13?
True
Let r(x) = -x**2 - 6*x + 11. Let t be r(-8). Let n(h) = h + 7. Let z be n(t). Suppose z*b - 10 = -2. Is 4 a factor of b?
True
Let y(i) be the second derivative of i**4/2 + 9*i. Suppose -2*x - 2*x - 8 = 0. Is y(x) a multiple of 12?
True
Let m(j) = -j + 9. Let w be m(6). Suppose 21 = 3*y - w*k, 3*y + 0 - 19 = k. Is 3 a factor of y?
True
Let c = 71 - 34. Is c a multiple of 14?
False
Let n = 12 + -3. Does 3 divide n?
True
Let w = 782 + -527. Does 38 divide w?
False
Let x(a) = -a + 19. Let k(f) = -9. Let b(g) = 13*k(g) + 6*x(g). Does 11 divide b(-4)?
False
Let i be (-60)/(-9) - (-4)/(-6). Suppose i*z - 105 = 3*z. Does 13 divide z?
False
Suppose 435 = 8*y - 3*y. Suppose -y = 2*w - 5*w. Is 5 a factor of w?
False
Let b be 0/(0 - 3) - 9. Let j = b - -18. Is j a multiple of 5?
False
Let t = 3 + 42. Suppose -4*y - 4*z + 100 = 0, 5*y - 3*z - t = 2*y. Is y a multiple of 20?
True
Suppose 3*d = 5*r + 134, 2*d - 97 - 5 = -3*r. Is d a multiple of 12?
True
Suppose 43 = -4*v + 5*i, 5*v = -0*v + 5*i - 55. Is (-23)/(-4) + (-3)/v a multiple of 4?
False
Let n(w) = 3*w - 25. Let u be n(10). Suppose u*j - 4*o = 276, -4*o + 4 = -5*o. Does 11 