 h*k. Suppose 2*v - k = v. Is v even?
False
Let m = -23 + 33. Is (4 - 6)/((-4)/m) a multiple of 3?
False
Suppose -275 = -11*i + 33. Is 5 a factor of i?
False
Let f(b) = 2*b**2 + 10*b + 2. Let k be f(-7). Suppose -2*g + 5*m + 60 = 0, g + 5*m + 0*m = k. Does 12 divide g?
False
Suppose 0 = -0*v + v. Let u(l) = -8 + v*l**2 + 0*l**2 + 3*l + l**2. Does 10 divide u(-6)?
True
Let t = 407 - 215. Is 32 a factor of t?
True
Suppose 5*y + 31 = -b - 0*b, -2*y - 4*b = 16. Is (3/y)/((-1)/20) a multiple of 5?
True
Suppose -2*f + 3*q = -2, 5*q - 40 + 6 = -2*f. Does 3 divide f?
False
Let g = 1 - 9. Let l = 10 - g. Does 4 divide l?
False
Suppose 2*r - 3*c = 27, -3*r + 0*c - 2 = 4*c. Does 6 divide (r/9)/((-1)/(-18))?
True
Let f = 19 + -14. Is f even?
False
Let a be (-6)/(-8) + (-25)/(-20). Let h = 29 - a. Is 9 a factor of h?
True
Let f(h) = h**3 + 7*h**2 + 10*h + 3. Is 11 a factor of f(-4)?
True
Suppose -3*j + 21 = i - 4*i, -2*j - 5*i - 14 = 0. Suppose 2*w - j*w = -1. Is 9 a factor of (-3 + w)/(2/(-27))?
True
Let u = 22 - 13. Suppose 2*k + k = -u. Is (-1)/(-2*k/(-108)) a multiple of 9?
True
Let k(l) = 2*l**3 + 3*l**2 + 2*l - 5*l**3 + 1 - l. Does 11 divide k(-2)?
False
Suppose p + 2 = s, 2*p = -2*s - 2*p + 10. Suppose 2*j = 41 - s. Let u = j + -5. Is 7 a factor of u?
True
Suppose 3*x - 529 = -217. Suppose -q + x = 3*q. Suppose -q + 0 = -i. Is 13 a factor of i?
True
Does 17 divide 4 - ((0 - 3) + -46)?
False
Let f = 41 - 17. Suppose -5*u + f = o - 6, 0 = -4*o + 3*u + 28. Does 4 divide o?
False
Suppose -3*k = 5*x + 3 - 9, 3*x - 3 = -2*k. Let d(m) = 49*m. Let g be d(1). Suppose -g = -2*l - x*c, -176 + 56 = -5*l - 5*c. Is l a multiple of 6?
False
Let l(y) be the third derivative of y**5/20 - 5*y**4/24 - y**3/2 + 2*y**2. Is l(-3) a multiple of 12?
False
Suppose 2*t = 4*t. Suppose t = 5*v - 11 - 9. Is 3 a factor of (-2 + (-14)/(-4))*v?
True
Suppose -789 + 213 = -2*m. Is 18 a factor of m?
True
Let v(f) = -f**2 - 5. Let x be v(0). Is (x/3)/(13/(-78)) a multiple of 3?
False
Let t be 98 + -2 + 1 + -1. Suppose 4*c = 5*m + t, -4*m = -c - 4*c + 120. Is c a multiple of 12?
True
Let n = -3 + 6. Let f(m) = -9 + 3*m**3 + 7 + 6*m**2 - 3*m - 2*m**n. Does 6 divide f(-6)?
False
Let v(i) = -i - 8. Let q be v(-6). Is ((-20)/(-30))/(q/(-159)) a multiple of 22?
False
Let z(i) = 11*i + 1 + 3*i + 7*i. Let n be z(-1). Let o = -13 - n. Is 7 a factor of o?
True
Let m be (-9)/12 + 1/(-4). Let h = m + 0. Is 2 + (1 - h)*2 a multiple of 3?
True
Suppose 0 = t + 2*t - 27. Does 8 divide t?
False
Let z = 11 + -9. Let y be 2/(-7) - 74/(-14). Suppose -y*k = 3*f - 36, z*f = k - 3*f - 24. Is 9 a factor of k?
True
Suppose 2*f + 2 - 18 = -2*q, 12 = -f + 4*q. Suppose -5*b = -f*b. Suppose -3*x - 37 + 184 = b. Does 19 divide x?
False
Suppose 4 - 1 = 3*a. Does 10 divide 768/18 - a/(-3)?
False
Suppose -2*h = -b + 40, b - 4*h - 42 = 8. Is b a multiple of 15?
True
Suppose w = 2*w, -2*z + 5*w = -494. Does 13 divide z?
True
Let x(f) = 3*f - 1. Let d be x(1). Suppose -4*u - 20 = 0, d*s + 2*s - 3*u - 159 = 0. Is s a multiple of 18?
True
Let b = -1 - -1. Is (b + -1)*(1 - 25) a multiple of 12?
True
Let w = -2 + 6. Suppose x = -0*x + w. Suppose l = 3, -4 = 3*d - x*d + 5*l. Is 17 a factor of d?
False
Suppose 2*c + 8 = -4*y, 3*c - 24 = -0*c + 3*y. Is c + 0 + 2 + -1 a multiple of 5?
True
Let v(l) = l**2 + 10*l - 2. Does 5 divide v(-12)?
False
Does 39 divide (-2)/4*0/12 - -143?
False
Suppose 3*n + 432 = 12*n. Does 11 divide n?
False
Let l(w) = 3*w**2 - 18*w - 6. Is 27 a factor of l(-6)?
False
Let y(c) = c + 2. Let b be y(2). Suppose -7 - 5 = -b*l. Is l a multiple of 2?
False
Let o(k) = 7*k**3 - k - 1. Let j be o(-1). Let u be (78/j)/(-1)*7. Is 12 a factor of -2 + (-7)/((-21)/u)?
True
Let f = -83 - -134. Does 37 divide f?
False
Suppose 51 = -2*a + 31. Let v = 41 - 27. Let f = v - a. Does 24 divide f?
True
Let u = -11 + 39. Suppose 5*q - 2*x = 87 - 23, 4*q - 46 = -x. Suppose q - u = -t. Does 10 divide t?
False
Let p(v) = v**3 + 0*v**3 - 11*v + 10*v + 19. Let r(h) = -h**2 - 7*h. Let i be r(-7). Is 5 a factor of p(i)?
False
Suppose -4*q + 23 = -13. Let l = -5 + q. Suppose -3*x = d - 3*d + 61, 0 = -l*x - 12. Is d a multiple of 19?
False
Suppose -6*f + 2*f + 76 = 0. Suppose 2*t - f = v + 26, -5*t - 3*v = -129. Does 9 divide t?
False
Let g(a) = -a**2 - 15*a - 15. Does 9 divide g(-10)?
False
Let l = -10 + 4. Let s(a) = a**3 + 7*a**2 + 3*a - 6. Is s(l) a multiple of 12?
True
Let g = 358 + -253. Is 10 a factor of g?
False
Suppose -5*i + 335 = -0*i + 5*h, -362 = -5*i + 4*h. Is 3 a factor of i?
False
Is 1 - 4*-25 - 42/14 a multiple of 14?
True
Let z(d) = d**3 + 8*d**2 - 2*d + 7. Let l be z(-8). Suppose l = 4*u - 73. Is u a multiple of 12?
True
Suppose 2*u = 9*u - 350. Is 10 a factor of u?
True
Let d(q) = -q**2 + 7*q + 3. Suppose 4*z + 14 = 5*c - 12, 0 = 4*c - z - 23. Is d(c) a multiple of 3?
True
Suppose -118 = -10*z + 8*z. Is z a multiple of 15?
False
Let u(s) be the first derivative of 7*s**3 + s**2 + s - 3. Let g be u(-1). Suppose 0 = -0*d - d + g. Is 13 a factor of d?
False
Suppose -l + 147 = -49. Is l a multiple of 28?
True
Let m(n) = 0*n**2 - n - n**2 + 3*n. Let o be m(2). Suppose o*h - 3*h = -21. Is 7 a factor of h?
True
Suppose -y + 0*y - 2*o + 54 = 0, -4*y + o + 225 = 0. Is 14 a factor of y?
True
Suppose -2*c + 174 = -34. Let q = -35 + c. Is 20 a factor of q?
False
Let q = -66 + 72. Is 5 a factor of q?
False
Suppose m + 3*m + 5*k = 0, -23 = 3*m - 2*k. Let i = m + 3. Let p = i + 5. Is 3 a factor of p?
True
Suppose 5*i + 9 = -11. Let p = 8 + i. Is 2 a factor of (p + 2)/2 - -2?
False
Let g = -43 + 75. Is g a multiple of 16?
True
Let k(b) = b**2 + 2*b. Let a be k(1). Suppose -2*w - 80 = -5*r, 2*r = -3*r - a*w + 80. Is r a multiple of 11?
False
Suppose 3 = -p + 5. Suppose 0 = p*f - 160 + 24. Let u = f + -36. Is u a multiple of 13?
False
Let b(m) = -m**3 + 10*m**2 - 9*m + 8. Let p be b(9). Let r = p + -5. Suppose r*z + 3 = 30. Is z a multiple of 9?
True
Let n = 2 + 1. Let s be -1 + n/(1 + -4). Is s/(-2 + 36/21) a multiple of 4?
False
Suppose 34 = 4*r - 2*a, -3*a - 16 = 5*r - 42. Let k be 4/14 + 306/r. Suppose 4*y - 140 = -k. Is 12 a factor of y?
True
Let b(t) = -23*t + 18. Is b(-6) a multiple of 30?
False
Suppose 156 = 2*x + 4*x. Is x a multiple of 13?
True
Suppose -60*y + 55*y = -60. Is y a multiple of 8?
False
Let b(m) = -m. Let s be ((2 - 3) + 2)*2. Let q be b(s). Is 12 a factor of 1/q - (-49)/2?
True
Let i(n) = 25*n - 6. Let u be i(5). Let l = -53 + u. Does 22 divide l?
True
Does 13 divide (1*3)/(33/572)?
True
Let b(o) = -2*o**3 - 5*o**2 + 3*o - 2. Let t be -1 - 1 - (1 + 1). Let r be b(t). Suppose 4*a = 3*m + 39 + r, 2*m = a - 17. Is 7 a factor of a?
False
Let p(s) = -s**2 - 5*s + 1. Let f be p(-4). Suppose f*o + 2*n + 20 = 0, -5*n + 21 + 16 = -2*o. Does 11 divide 0 - (-1 - -3)*o?
False
Let g(i) = 2*i + 4. Let n be g(-3). Let b(l) = 3*l**3 + l**2 - l - 1. Let p be b(-1). Is 3 a factor of (-1)/n - 11/p?
True
Suppose -3*s = -2*i - 20, 0*i = 3*s + 4*i + 4. Suppose s*f - 23 = 21. Suppose -5*x + 67 = 4*z, -3*x + 4*z = -10 - f. Does 7 divide x?
False
Let p = 52 - 6. Is 24 a factor of p?
False
Let x(b) = -3*b**3 - 2*b. Does 12 divide x(-2)?
False
Let l = 79 + 257. Is 42 a factor of l?
True
Let s(i) = -i**3 + 12*i**2 + i + 4. Let o(c) = -2*c + 6*c**3 - 61*c**2 - 9 - 2*c - c**3 - 12. Let d(h) = 2*o(h) + 11*s(h). Is d(10) a multiple of 16?
True
Suppose 0 = 4*d + 5*b - 448, -d = 3*b - b - 115. Suppose -3*t + d = -97. Does 33 divide t?
False
Let h be 5*(-36)/(-15)*-2. Let o = h - -30. Is 3 a factor of o?
True
Let o be 0 - -4 - 0/(-4). Suppose 0*r + 2*n = -5*r + 448, 0 = -4*r + o*n + 336. Suppose 2*l + 4*x - r = 0, -3*l + 2*x + 0*x + 116 = 0. Is 14 a factor of l?
False
Let b be (0/(-3) + 9)/1. Let m = 4 + b. Is 13 a factor of m?
True
Is 19 a factor of 18*(2 - -2) - -4?
True
Suppose 3*q - 196 = -2*j, 0 = -0*j - j - 5*q + 84. Is 36 a factor of j?
False
Suppose 0 = -4*p + 54 + 46. Is p a multiple of 9?
False
Suppose -s + b = -7, 4*s + b = -1 + 9. Is s a multiple of 2?
False
Let x(p) = p**2 - 8*p + 5. Is 38 a factor of x(11)?
True
Suppose 2*l - l = 7. Let w(i) = -i + 1. Let k be w(-1). Suppose l = d + 3*c, -k*d = -2*c + 5*c - 26. Is d a multiple of 7?
False
Let a(i) = 9*i**2 - 3*i. Does 10 divide a(2)?
True
Let s(x) = -x**2 - 12*x + 4. Suppose