 o**2 + 7 - 5*o + 0*o**2. Let d be q(-6). Does 10 divide 1 - -17*d - -2?
True
Suppose 2*q = -2*z + 40, -3*z + 28 = -7*q + 2*q. Let j = 68 + z. Does 13 divide j?
False
Let q(p) = p**3 + 2*p**2 - 1. Let n be q(-1). Suppose -3*l + b + 151 = 0, n*l + 5*b + 131 = 3*l. Is 14 a factor of l?
False
Let w be ((-3)/1)/(6/(-4)). Suppose -m = -l - 17, 2*l - 20 = -w*l. Let y = 44 - m. Is y a multiple of 22?
True
Let t = -9 + 16. Suppose l = -5*i + 18, -4*l = -2*i - t*l + 2. Suppose -h - 78 = -i*h. Is 13 a factor of h?
True
Suppose 5*p - 20 = -2*c, -2*p + c = 2*c - 9. Suppose -p*n + n = -5*f + 121, 2*f - 47 = -n. Is f a multiple of 12?
True
Suppose 161 = 42*t - 35*t. Is t a multiple of 9?
False
Let f(o) be the second derivative of o**5/20 - 2*o**4/3 - 11*o**3/6 + 5*o**2 + o. Let w be f(9). Let r = -1 - w. Does 3 divide r?
False
Let v(r) = -3*r - 4 - 1 - 6*r + 10*r + r**2. Does 6 divide v(-6)?
False
Let k be 64/6 - 4/6. Suppose -k*i + 9*i = -114. Does 34 divide i?
False
Let f(n) = -n**2 - 4*n. Let b be f(-4). Suppose -o = -5*p - 28, b*p + 2*p - 167 = -5*o. Is 15 a factor of o?
False
Suppose 0 = -2*o - 0*o. Let f(v) = -v**2 - 2*v + 24. Let z(x) = -x**2 - x + 25. Let b(r) = -2*f(r) + 3*z(r). Does 11 divide b(o)?
False
Suppose 6*x + 2*c = 5*x + 8, 2*x - c - 6 = 0. Is 4 a factor of x?
True
Suppose -x - 2*t - 3*t + 86 = 0, -5*x + 470 = 5*t. Is 16 a factor of x?
True
Let p be 2/(-8) + (-43)/4. Let m = p - -51. Is 20 a factor of m?
True
Let y(b) = -b**3 - 4*b**2 + 4*b - 5. Let q = -13 + 8. Let g be y(q). Does 4 divide 2 + (g - -2) + 0?
True
Let h = 3 - 4. Let y be (2/5)/(h/5). Is 3/(y + -1) - -21 a multiple of 17?
False
Let h(z) = z**2 + 3*z + 42. Is 6 a factor of h(-13)?
False
Let o = 157 + -91. Is o a multiple of 22?
True
Suppose -15*l + 586 = -734. Is 11 a factor of l?
True
Let j(z) = -9*z**2 + 2. Let n(w) = 5*w**2 - 1. Let d(v) = -6*j(v) - 11*n(v). Let m be d(1). Is 22 a factor of 0 + 43 - 2/m?
True
Let x(f) = 2*f**3 + f**2 - 4*f - 1. Let l be x(3). Let k = -26 + l. Does 12 divide k?
True
Let d(v) = 2*v**2 - 2*v + 11. Is 35 a factor of d(4)?
True
Let u = 12 + -8. Let k(p) = -p - 1. Let x be k(u). Does 11 divide 1/5 + (-109)/x?
True
Let l(s) = 34*s**2 - 2*s + 3. Is 27 a factor of l(2)?
True
Suppose 69 = 2*z + 1. Suppose -2*m + 4*p = -5*m + z, 2*p = -10. Suppose 2*g - m - 26 = 0. Does 11 divide g?
True
Suppose y - 28 = -3*y. Suppose y*u = 2*u + 110. Is 11 a factor of u?
True
Let u = -10 - -14. Does 13 divide 56 + u/(-8)*-6?
False
Let n = 20 + -13. Does 7 divide n?
True
Let a = -43 + 132. Is a a multiple of 16?
False
Let z = 1 + 1. Is -13 - -16 - (-30)/z a multiple of 16?
False
Let b be (0 - 0) + -2 + 5. Suppose -q = 4*l - 32, -b*q + 0*l = -2*l - 166. Is 9 a factor of q/6 - 1/(-3)?
True
Let h = 18 - 15. Suppose 5*q + 5*b = 295, b + h*b = 4*q - 220. Is 14 a factor of q?
False
Let l(r) = 2*r - r - 16*r**2 - 2 - 2*r**3 + 12*r**2. Is l(-3) a multiple of 4?
False
Let p = 146 + -117. Is 29 a factor of p?
True
Let t = -82 + 179. Suppose 0 = 5*o + t + 103. Is (o + 1)*(-2)/3 a multiple of 13?
True
Let n = 26 - -19. Suppose -5*v - 177 + 557 = 0. Let w = v - n. Does 14 divide w?
False
Let n = 76 + -55. Is n a multiple of 2?
False
Suppose -2*y - 46 = -2*o + y, 5*o + 5*y - 90 = 0. Suppose 0 = -3*v + 11 + 1. Is 368/10 + v/o a multiple of 23?
False
Let b(o) = 2*o + 1. Let g be b(1). Suppose 4 = -x + g*x. Suppose -10 - 24 = -x*y. Is y a multiple of 17?
True
Let i(o) = -28*o + 5. Is i(-5) a multiple of 22?
False
Let z(j) = -j**3 - j**2 + 7*j + 5. Is 12 a factor of z(-5)?
False
Suppose 3*t + 24 = 2*q - 20, -3*t - 76 = -4*q. Does 16 divide q?
True
Does 8 divide (-81)/(-1) - (-5 + 2)?
False
Let s(w) = w**2 - 2*w + 1. Let n be s(1). Suppose n = -6*x + 11*x + 35. Let j(k) = -3*k + 10. Is 13 a factor of j(x)?
False
Suppose 0 = -2*m + 5*s, -5*m - 2*s - s + 62 = 0. Suppose -5 = -2*j + j - a, 0 = j + 4*a + m. Does 6 divide j?
False
Let m(b) be the first derivative of 3 + 0*b + 13/2*b**2. Does 6 divide m(1)?
False
Suppose -3*z + 17*w - 13*w + 628 = 0, 0 = -2*w + 10. Is z a multiple of 43?
False
Let a = 21 - 1. Is 3 a factor of a?
False
Let l = 13 + 155. Is 24 a factor of l?
True
Let t be (-1)/(-2)*(-3 - -11). Suppose u - 46 = -t*s, -2*u + s = u - 203. Is 22 a factor of u?
True
Let b(m) = 5*m + 15. Let p be b(-10). Let x = 49 + p. Suppose -3*o - h = 2*o - 54, 3*h = o - x. Is o a multiple of 5?
False
Let v = 14 - 28. Let a = v + 24. Does 7 divide a?
False
Let j(g) = -2*g - 10. Let a be j(-7). Is -5 + a + (7 - 0) even?
True
Suppose -2*q - 5 = -11. Suppose -3*b + c + q*c = -34, 2*b - 2*c = 26. Is 12 a factor of b?
False
Let n(h) = 3*h + 9. Let m(l) = 5*l + 18. Let o(v) = 4*m(v) - 7*n(v). Is o(7) even?
True
Let i(t) = -t + 11. Suppose -24 = -5*g + 1. Is 6 a factor of i(g)?
True
Let x(b) = -b**2 - 9*b - 9. Let a be x(-7). Suppose a*s + 46 = 2*w, -s = -5*w + s + 73. Let o = 19 - w. Is 6 a factor of o?
True
Suppose 0 = 14*f - 601 - 407. Does 8 divide f?
True
Suppose 6*n - 9*n + 9 = 0. Suppose 53 = 5*f + 2*i, -4*i = n*f - i - 30. Is f even?
False
Let s(v) = 24*v**2 + 8*v + 2. Is 21 a factor of s(3)?
False
Let v(r) = 5*r**3 - r**2 - 3*r + 6. Is v(3) a multiple of 12?
False
Suppose 0*p + 2*p = -3*z + 1, -5*z + p = -19. Is 8 a factor of z - (-36 + 3 + -1)?
False
Suppose 2*g - 7 = 3*s, -5*g - 3*s = -5*s - 23. Let d(b) = -b + 9. Let l be d(g). Suppose l*f = t + 81, 5*f - 19 = -2*t + 79. Is f a multiple of 11?
False
Let u(w) be the first derivative of -6*w**2 - 4*w + 3. Let x be u(-7). Suppose -4*g = -2*g - x. Is g a multiple of 20?
True
Let n(m) = 2*m + 5. Let x be n(9). Suppose -2*r + 7 = -z - 2, r = -5*z - x. Suppose r*p - 40 = 18. Does 8 divide p?
False
Suppose 4 = -2*a + 5*b, 3*b - 9 = 2*a - 3*a. Let t be (0 - 3)/((-1)/a). Let d(l) = -l**3 + 8*l**2 + 9*l + 8. Is 6 a factor of d(t)?
False
Let x(j) be the second derivative of -j**5/20 - j**4/4 + j**2 - j. Let u be x(-3). Suppose 0 = 5*t - 3*a - 89, -2*t - u + 19 = 5*a. Is 6 a factor of t?
False
Suppose 3*r = r + 4. Suppose -2*v - 1 + 57 = 0. Suppose 3*q = -q, -4*q = r*i - v. Is 7 a factor of i?
True
Suppose 0 = -5*m - 3*y + 1155 - 366, 3*y + 6 = 0. Does 30 divide m?
False
Suppose 0*f - f = -4*m - 60, 56 = -4*m + 2*f. Let c = 34 + m. Is c a multiple of 9?
True
Let b(n) = n**3 - 4*n**2 - 5*n - 3. Let v be b(6). Let g(h) = h**3 - 7*h**2 - 7. Let x be g(8). Let o = x - v. Is 6 a factor of o?
True
Let c be ((-2)/(-5))/(6/510). Let o = 4 - 4. Suppose -d + c = -o*d. Does 10 divide d?
False
Suppose -7*x = -5*x - 114. Does 15 divide x?
False
Suppose 4*n = n + 24. Suppose 2*c = 3*z + 13, -2*c - n*z = -3*z - 37. Is c a multiple of 5?
False
Suppose 31 = -a + 139. Suppose 4*u = a + 44. Suppose -2*t - u = -4*t. Is 19 a factor of t?
True
Let z be ((-27)/(-18))/(6/(-40)). Let b = 4 - z. Does 14 divide b?
True
Suppose -4*m - 4*f = 0, -2*m = -0*f - 3*f - 10. Suppose 3*j = -0*j + 369. Suppose w = -m*w + j. Does 15 divide w?
False
Let k = 14 - 8. Let r = k - 12. Does 13 divide 106/4 + 3/r?
True
Let b(r) = -3*r - 2. Let v be b(-2). Suppose 4*i = -v*q + 5 + 7, -3*q = 4*i - 8. Suppose -o + 5*n + 60 = 0, -q*n + 77 = -4*o + 237. Is o a multiple of 9?
False
Let y = 21 + 9. Is y even?
True
Suppose 4*k = 8*k - 4. Is 20 a factor of 62 - (-4)/(k - -1)?
False
Suppose -4*s + 60 = -3*r - 2*r, 0 = s + 3*r - 32. Is s a multiple of 3?
False
Is 14 a factor of 2 + 99 + (1 - 4)?
True
Let l be 2*((-2 - -80) + -3). Suppose -4*t + 9*t = l. Is 10 a factor of t?
True
Let f = -32 - -98. Let q = -46 + f. Does 4 divide q?
True
Let b = -17 - -5. Is ((-34)/3)/(4/b) a multiple of 29?
False
Suppose 0 = -2*q + 4*c + 16, 5*q + 5 = 4*c + 51. Suppose -q = -5*i, 0*v - v - 3*i + 8 = 0. Suppose 3*b - 3*l = -b + 43, -v*b = -2*l - 22. Is b a multiple of 8?
False
Suppose 0 = 4*s - 78 - 66. Does 9 divide s?
True
Let k be 1/2*1*16. Suppose -5*i + k*i - 42 = 0. Is 7 a factor of i?
True
Is 17 a factor of (-68)/(16/(-4))*3?
True
Suppose 2*b = x + 347, -4*b = -b - 4*x - 508. Does 11 divide b?
True
Suppose 0 = -0*b - b. Suppose -4*s = -b*s - 20. Suppose -g - 2*a = -64, -5*a = s*g - 119 - 176. Is 18 a factor of g?
True
Let w = 8 - 12. Let j(i) = -6*i + 9. Is j(w) a multiple of 15?
False
Suppose 0 = -5*q + 3*q + 90. Suppose -c + 12 = -3*b - b, -2*c + b + q = 0. Is 6 a factor of c?
True
Let v = -219 - -505. Does 27 di