= y. Is o a multiple of 18?
False
Let o(u) = -5*u - 2. Let f be 1*(1 + 0 + -7). Let a be o(f). Let d = -15 + a. Is d a multiple of 13?
True
Suppose -15*j = -10*j - 215. Does 12 divide j?
False
Suppose -4*a + 56 = 4*g, -2*g - 3*a + 0*a = -26. Suppose -3*s + 2*l = -32, 3*l = 3*s - g - 11. Suppose 3*f - 2*f - s = 0. Is 5 a factor of f?
False
Let v(i) = i**3 + 5*i**2 - i - 1. Suppose 3*l - 1 = -16. Does 4 divide v(l)?
True
Is 10 a factor of (1 - 76)*(-13)/39?
False
Let x be (-285)/(-25) + (-2)/5. Let t = 0 + x. Does 10 divide t?
False
Let u(h) = -h**3 - 5*h**2 + 9*h + 9. Let a be u(-6). Let j be -6*(a/(-6))/(-3). Is (-2)/j*(-399)/14 a multiple of 6?
False
Let y(c) = 17*c**3 + c - 1. Let n be y(1). Suppose 0 = 3*t - b - 29, n + 11 = 4*t + 4*b. Is 9 a factor of t?
True
Suppose -18*p + 17*p = -192. Is 12 a factor of p?
True
Let z be (-1)/(-2 + 1) - -4. Suppose -2 = 2*p + z*t + 14, -p = -2*t - 10. Suppose j - g - 37 = -0*j, -p*g = 10. Does 16 divide j?
True
Let j be (-1*23)/((-1)/4). Suppose -j = -3*o - o. Is o a multiple of 15?
False
Let t = 4 - 0. Let h be ((-4)/(-6))/(2/6). Suppose -118 = -3*q - t*k, -5*q + 30 + 148 = h*k. Is 17 a factor of q?
True
Suppose -19*a = -15*a - 776. Does 37 divide a?
False
Let w = -37 + 66. Does 12 divide w?
False
Is 30 a factor of (-3 - 1)/1*-19?
False
Suppose 3*c = -3 - 0. Let y = c - -3. Suppose l - 16 + y = 0. Is l a multiple of 7?
True
Let v be 7/4 + 1/4. Suppose 7*o = v*o + 70. Does 5 divide o?
False
Suppose 5*a - 3*w + 0*w = 237, -4*w + 29 = a. Is 15 a factor of a?
True
Let s(f) be the third derivative of f**7/840 - f**6/40 + f**5/12 - f**4/12 + f**3/6 - f**2. Let z(h) be the first derivative of s(h). Does 13 divide z(8)?
False
Suppose 4*l = -r + 82, 13 + 12 = 5*l. Does 25 divide r?
False
Let t(w) = w + 1. Let j be t(2). Suppose 0 = j*s - 22 - 41. Is 21 a factor of s?
True
Is 4 a factor of (-1)/(3/(-36)) + 0?
True
Let b = -6 + 16. Is 5 a factor of b?
True
Let i(y) = -y**2 + 8. Let p be i(0). Suppose 0 = -3*v + 25 + p. Does 9 divide v?
False
Suppose j - 9 = -8. Let v = 7 + j. Does 8 divide v?
True
Does 21 divide -3 + (38 - (0 + -1))?
False
Suppose 0*j = 2*j - 6. Suppose j*i - 12 = -0. Is 17 a factor of (-168)/(-5) + i/10?
True
Let c = -19 - -44. Is 16 a factor of c?
False
Suppose -x + 61 = -0*x. Suppose 3*y + 2*i = x, -4*y - i + 78 = -0*i. Is 5 a factor of y?
False
Suppose -o = 2*o - 129. Does 8 divide o?
False
Let a be (-20)/5*3/(-2). Let s = a + -6. Suppose s = p + 3*v + 13, 14 = -3*p - 4*v - 0*v. Is p even?
True
Let i(q) = q**3 + 18*q**2 - 26*q + 7. Is 35 a factor of i(-19)?
True
Let j be 10/55 - (-141)/11. Suppose 0 = -3*i - 2*w + 18, -3*i - w + j = -i. Suppose q + 3*t = 3, -4*q + 21 = -5*t - i. Is q a multiple of 3?
True
Suppose 0 = 2*i - 0 - 10. Let q = 58 - 34. Let g = q - i. Is g a multiple of 6?
False
Let g = 2 - 7. Does 11 divide 238/10 + g/(-25)?
False
Let j = -41 - -57. Is j a multiple of 16?
True
Let i = -16 + 18. Does 2 divide i?
True
Suppose -4*f + 20 = f. Suppose -3*z = -3 - 3. Suppose -14 - f = -z*x - n, 2*x + 2*n - 18 = 0. Is x a multiple of 7?
False
Let f(m) = m**2 + 10*m - 31. Does 11 divide f(-15)?
True
Let d = 69 - 32. Is d a multiple of 10?
False
Let b(w) = -2*w**3 - 15*w**2 - 29*w - 14. Let f(o) = 3*o**3 + 22*o**2 + 44*o + 21. Let t(h) = -8*b(h) - 5*f(h). Is 13 a factor of t(-8)?
True
Suppose -4*n - 13 = 3*g - 2*n, -4*n = -3*g + 17. Does 14 divide g*(-6)/(-3) + 30?
True
Let x(l) = -l**2 - 15*l - 17. Does 12 divide x(-9)?
False
Is 55 + (-2 - (-4 + 6)) a multiple of 9?
False
Let v(g) = 3*g + g**2 + 4*g + 2*g + 4. Let c be v(-9). Suppose 32 = 4*h - c*d, -d + 2 + 8 = h. Is h a multiple of 9?
True
Let q(n) = n**2 + n + 6. Let f be q(5). Suppose o = 8 - 5. Suppose o*i + 6 = f. Is 7 a factor of i?
False
Let o be 21/3*-1 - -1. Let l = o - -12. Is 3 a factor of l?
True
Let s be (7/2)/((-2)/(-4)). Let u = s + 13. Does 20 divide u?
True
Suppose 0 = 5*r - 2*g - 196, 2*g + 2*g = -4*r + 168. Is 20 a factor of r?
True
Let g = -4 + 8. Suppose 2*a - 2*x = 0, -4*x - 1 = -5*a + g. Suppose a*s + 2 = -c - c, c = 2*s + 17. Is c a multiple of 8?
False
Let w be (-10 + 60)/(1 + 0). Suppose -q + 13 = -w. Does 14 divide q?
False
Let m be (-9)/(-3 - (1 + -3)). Suppose m = 2*w - 21. Is w a multiple of 12?
False
Let x(v) = -2*v + 1. Let y(s) = -3*s + 2. Let j(w) = -4*x(w) + 3*y(w). Let i be j(-7). Let d = i + 15. Is d a multiple of 8?
True
Let d be 0/(6/(1 - -2)). Let m = 27 - d. Does 9 divide m?
True
Let i = 42 + 11. Suppose -11 + i = 2*g. Is g a multiple of 7?
True
Let o(r) = -5*r + 10. Let x be o(-7). Does 24 divide (x/20)/((-6)/(-64))?
True
Is 19 a factor of 1192/(-20)*-2 - (-2)/(-10)?
False
Suppose 0 = -h - 0*h + 4*q - 1, 4*h + 2*q = 68. Let a = h - 5. Is 10 a factor of a?
True
Let a(d) = 51*d + 7. Let p(b) = 76*b + 10. Let w(t) = 7*a(t) - 5*p(t). Let y be w(1). Let r = 40 + y. Is r a multiple of 15?
False
Suppose -5*v = 3*f - 142, 2*f - 7*f + 226 = 3*v. Does 22 divide f?
True
Let d(v) = -17*v - 2. Is d(-2) a multiple of 32?
True
Suppose 2*u - 6 = 8. Is u a multiple of 2?
False
Let u = -14 - -13. Does 22 divide (2 + -3)*u + 43?
True
Suppose 64 + 246 = 5*v. Is v a multiple of 13?
False
Let y = 174 - 21. Is y a multiple of 26?
False
Suppose 3*x - 5*x = q - 4, -4*q + 52 = -x. Is 4 a factor of q?
True
Let t be (4 - 2)*(4 - 3). Let w(y) = -y**t + 3 + 2 - 2 + 0*y**2. Is w(0) even?
False
Let r(c) be the second derivative of c**5/20 - c**4/3 - 5*c**3/6 + 3*c**2 - 4*c. Is r(5) a multiple of 5?
False
Let q = 19 + 11. Does 11 divide q?
False
Let t be 12/9*45/6. Let i = t - -6. Does 8 divide i?
True
Suppose -3 = 4*a - 19. Is a/(-22) - (-134)/11 a multiple of 4?
True
Let h(p) = -23*p - 23. Does 54 divide h(-10)?
False
Suppose -v = -0*x + 2*x - 555, -5*x = -v - 1391. Does 11 divide x?
False
Let k(d) = -d**2 + 30. Suppose 2*y + 3*y = 5. Let x = y - 1. Is 15 a factor of k(x)?
True
Let z = 15 - 12. Suppose 0 = -2*w - y + 47, -4*y - 55 - 21 = -z*w. Is 6 a factor of w?
True
Suppose 0*a - 120 = -2*a. Is 20 a factor of a?
True
Let k be (2 + -5 - -2)*-1. Let o(w) = -w + 8*w**3 + 1 + 31*w**3 + 0*w - w**2. Does 19 divide o(k)?
True
Let z(p) = -p**3 - 2. Let k(t) = t**3 - t**2 - t + 3. Let g(r) = 5*k(r) + 4*z(r). Is 11 a factor of g(6)?
False
Is 5 - 9/(-1) - (1 - -1) a multiple of 12?
True
Suppose u = 6*u - 230. Suppose -5*a - 1 + u = 0. Suppose -31 = -3*t + 4*n + a, 0 = 4*n - 8. Does 16 divide t?
True
Let x(q) = -q**3 + 2*q**2 + 7*q + 4. Is x(-4) a multiple of 12?
True
Suppose 3*a = 5*q + 5, 3*a - 8*a = -5*q - 25. Let z = a - 5. Is z a multiple of 5?
True
Suppose -4 = -3*m + 5*p + 5, 4*p = 0. Suppose m*o + 5*j - 89 = 0, -6*o + o + j = -167. Does 11 divide o?
True
Suppose 2*d - 8*d = -336. Is 14 a factor of d?
True
Suppose 10 + 29 = -3*u. Let j = -8 - u. Suppose -j*d + 45 = -k + 10, 4*k = -4*d + 52. Does 6 divide d?
False
Suppose -g + 2*c = -2*c + 5, -5*g + 5*c - 70 = 0. Let r = g + 43. Is r a multiple of 13?
True
Suppose 2*a + 4*d = -3*a + 103, -2*d - 75 = -3*a. Does 11 divide a?
False
Let x = 13 + -9. Let w(b) = -b**2 + 4*b + 3. Is w(x) even?
False
Let k(c) = 55*c - 1. Is k(1) a multiple of 6?
True
Let d(p) = p**2 - 9*p + 11. Let b be d(8). Suppose b*z = z + 4. Suppose -46 = -z*q - 18. Is 7 a factor of q?
True
Let p(n) = n**2 + n - 5. Is 10 a factor of p(-6)?
False
Let v(o) = 4*o - 16. Let y be v(6). Suppose -y*m + 4*f = -3*m - 132, 0 = 2*m - 4*f - 48. Does 12 divide m?
False
Suppose 2*l = 4*r - 4, 3*r - 7 + 1 = 0. Let f(p) = p**2 + p - 2. Let c be f(-3). Suppose 2*o - 5*g = -o + 5, 18 = l*o + c*g. Is o even?
False
Let i(f) = -8*f - 2. Is i(-7) a multiple of 27?
True
Suppose -2*j + 57 = -77. Is 16 a factor of j?
False
Suppose 2*y + y + 159 = 0. Let v = 3 - y. Suppose c = 4*r - 56, 0*r - 4*r - 3*c + v = 0. Is 14 a factor of r?
True
Let y be (-11)/(-1) + (-2)/1. Suppose 0 = -3*d - 0*d + y. Let l = d - -2. Is l a multiple of 5?
True
Let o = -5 - -7. Suppose 2*s - 4*y - 8 = 0, -5*s - 5*y + 16 = -s. Suppose 0 = -c + s + o. Is 6 a factor of c?
True
Let c be (2/(-4))/((-1)/10). Suppose 15 = q - c*w, 4*q + w + 52 = 175. Is 30 a factor of q?
True
Suppose 5*h = -2*o + 365, 0 = -0*o + o. Does 12 divide h?
False
Let r(k) = -k**3 - k**2 - 3. Let v be r(0). Let j(t) be the second derivative of -5*t**3/2 - 3*t**2/2 - 5*t. Is 13 a factor of j(v)?
Fa