j(-7). Suppose -a = -2*u - d, -4*a + 193 = -0*u - u. Is 7 a factor of a?
False
Suppose 84 = 5*o + 4*x, -x + 17 = -2*o + 61. Is o a multiple of 6?
False
Let a be 0*(-1)/2 - 0. Let h be (-1 - -1) + 0 + a. Is (-2 - h - 0)*-6 a multiple of 12?
True
Let v(m) = m**2 - 6*m + 4. Let y be v(5). Let f(s) = 2*s**3 + s**2. Let c be f(y). Is (4/(-4))/(c/9) a multiple of 6?
False
Suppose 0*u = u - 6. Suppose -4*b = -5*g - 58, -g + u = -2*b + 14. Let j = g - -34. Is j a multiple of 10?
True
Let h = 4 + -10. Let f(w) = -3*w. Let j be f(h). Suppose -j = -d - v - 5, 0 = -d - 5*v + 13. Is d a multiple of 13?
True
Suppose -36 - 48 = -4*c - 4*m, -5*m + 48 = 2*c. Let x = -3 + c. Does 8 divide x?
True
Let g(z) = -8*z - 3. Let f be (-160)/28 - 2/7. Is g(f) a multiple of 8?
False
Is 11 a factor of (-55)/(2*(-3)/18*3)?
True
Suppose 715 = 2*b + 9*b. Does 13 divide b?
True
Let o be (-3)/(-2) + 201/2. Suppose -o = -d - d. Suppose -q + d = -0*q. Is q a multiple of 19?
False
Let o(s) = s**2 + 7*s + 6. Let c be o(-4). Let p = -8 - c. Let b(d) = -4*d**3 - 3*d - 3. Is b(p) a multiple of 13?
False
Let f = 10 + 7. Suppose -3*v = n - f, -5*n + 38 = 3*v + 1. Is n a multiple of 3?
False
Suppose u = -3*u + 36. Suppose u + 3 = -2*h. Is 14 a factor of (3/(h/(-62)))/1?
False
Suppose 3*g - 18 = -3*i, -3*g - 5*i + 10 = -2*g. Let w = g + 2. Let r = w - -3. Does 10 divide r?
True
Let s(m) = -2*m - 3. Let q be s(-3). Suppose 18 = -4*x + 5*x. Suppose q*h - 90 + x = 0. Does 17 divide h?
False
Let m(a) = -a**3 - 10*a**2 + a + 7. Is 16 a factor of m(-11)?
False
Let u = -18 - -13. Is 10 a factor of 4*(255/(-6))/u?
False
Let v be 4/14 + (-9)/7. Let g be (v + 1)*1/2. Suppose -2*z - 31 = -o, 0 = -o - g*o - 5*z + 24. Is 12 a factor of o?
False
Let b = -6 + 10. Let k be ((-10)/4)/((-1)/b). Is 14 a factor of 302/k + (-3)/15?
False
Suppose -n - 92 = -5*g, -2*g + 7 = 4*n - 21. Let y be (-17)/(-3) - g/27. Suppose 3*x - 204 = -3*f, 0*x + 2*f = y*x - 333. Does 28 divide x?
False
Suppose 0 = 5*u - u - 128. Let k = u + 31. Let j = 105 - k. Is j a multiple of 17?
False
Let x be (-9)/4*(6 - 2). Let i = 5 + x. Is (-178)/(-9) + i/(-18) a multiple of 10?
True
Let d(m) = 5*m**3 + 2*m**2 - 2*m + 3. Let t be d(-3). Does 34 divide (t/10)/(10/(-75))?
False
Suppose -s + 4 = 0, -b = 2*s - 2 - 4. Let h = b + 18. Is h a multiple of 4?
True
Let a(c) be the second derivative of c**3/2 - 3*c**2/2 + c. Let v be a(2). Suppose 62 = 5*k - v. Is k a multiple of 13?
True
Let l(t) = t**3 - 3*t**2 + 2*t - 3. Let r be l(3). Suppose -r*s + 0*s + 78 = 0. Is s a multiple of 13?
True
Suppose -76 = -4*u - 4*k, 7*k + 121 = 4*u + 2*k. Suppose h + u = 4*h. Does 3 divide h?
False
Suppose 2*z = -106 - 114. Let k = -56 - z. Is 18 a factor of k?
True
Let w(f) = 2*f + 0*f - 8*f - f**2. Is w(-5) a multiple of 2?
False
Let y(v) = -2*v**3 + 4*v**2 + 4*v + 3. Is 10 a factor of y(-2)?
False
Let n = 35 - -18. Is 9 a factor of n?
False
Let o(x) = 7*x**2 - x - 6. Does 6 divide o(-2)?
True
Let f(h) be the first derivative of h**3 - 4*h**2 + 7*h - 1. Is f(5) a multiple of 14?
True
Let m = -104 - -233. Suppose 3*u + 5*l - 71 = l, -4*l - m = -5*u. Is 6 a factor of u?
False
Let g(o) = 6 - 2*o**3 + o**3 - 2*o + 9*o**2 - 2*o**2. Let p be g(7). Does 3 divide -3*1/(3/p)?
False
Let u = -16 - -18. Suppose b + u*b - 72 = 0. Does 12 divide b?
True
Let u be 4*(9/(-2))/(-9). Suppose -5*b + 265 = u*j, 3*j = -0*j - 15. Is b a multiple of 7?
False
Does 22 divide (-3)/5 + -2 + (-1932)/(-20)?
False
Let f(u) = 2*u + 2. Let k be f(0). Suppose 2*z - 87 = -3*q, 0*z + k*z - 82 = 2*q. Is z a multiple of 11?
False
Let m(j) = -12*j - 4. Let n be m(-9). Let d = -74 + n. Let g = -14 + d. Is g a multiple of 8?
True
Let p(q) = -14*q + 7. Is p(-4) a multiple of 16?
False
Let n(r) be the second derivative of -r**3/6 - 2*r**2 + 5*r. Does 3 divide n(-8)?
False
Suppose 0 = -4*z - 3*y + 783, -367 - 41 = -2*z + 4*y. Is 18 a factor of z?
True
Let i(k) = -k**3 + 7*k**2 + 7*k - 11. Let h(b) = 2*b**3 - 14*b**2 - 15*b + 21. Let z(v) = -3*h(v) - 5*i(v). Let t be z(8). Does 18 divide (-108)/8*t/(-6)?
True
Let z = -345 - -656. Is 23 a factor of z?
False
Let k(z) = 12*z + 44. Does 10 divide k(8)?
True
Suppose -95 = 4*i - 9*i. Suppose -4*f = -2*j - 10, 3*f - 3 = 4*j + 2. Let q = i - j. Is 9 a factor of q?
True
Suppose 5*d + 5 = -t, -4*t + 2*d = -2 - 0. Suppose 4*z = -4*r, 3*r - 4 = -2*z - t. Suppose y = 5*g - 116, 0*g - 87 = -r*g - 5*y. Is 8 a factor of g?
False
Suppose -2*y + 3*s = 2*s - 123, -2*y + 4*s = -138. Suppose y = 2*q - 5*k - 0, q + 2*k - 34 = 0. Does 16 divide q?
True
Let m be (6/(-10))/((-1)/5). Suppose b = -m*b. Let i = b - -8. Is 4 a factor of i?
True
Suppose 1456 - 16 = 6*b. Is 40 a factor of b?
True
Suppose -6 - 6 = -4*n. Suppose 2 = -i - 0*b + b, 4*i = -n*b - 43. Let d = 17 + i. Is d a multiple of 10?
True
Let n be (-16)/6*(-6)/4. Suppose 21 = p + 15. Let i = p + n. Does 5 divide i?
True
Let d(t) = 187*t + 1. Let l be d(-1). Let w = l + 261. Suppose 5*s - w = -5. Is s a multiple of 9?
False
Suppose 5*r + 37 = 3*i, -i - 4*r + 12 = 28. Suppose 0 = -5*q + d + 32, -q + 5*d - 8 = -i*q. Is q a multiple of 3?
True
Suppose -12*b = -510 + 150. Is 4 a factor of b?
False
Suppose -v + 6*v + 5 = 0. Let f = v - -3. Is f a multiple of 2?
True
Suppose 6 = g - 1. Suppose -5*i - 25 = 0, g*i = -4*t + 4*i + 245. Suppose -35 = -5*c + t. Does 9 divide c?
False
Let x(y) = y**2 + 2*y + 6. Let k be x(-6). Let z = -17 + k. Is 7 a factor of z?
False
Suppose -2*m + 771 = 3*f + 3*m, 255 = f + m. Does 12 divide f?
True
Let n = 379 - 153. Is 30 a factor of n?
False
Suppose -5*l + 121 = -2*q, -l - 7*q + 2*q + 35 = 0. Does 7 divide l?
False
Let k = -213 - -318. Is 21 a factor of k?
True
Is 61 a factor of 73 - 10*5/(-10)?
False
Let o = -103 - -121. Does 9 divide o?
True
Suppose s - 3*s + 8 = 0. Let x(a) be the third derivative of a**5/20 - a**4/8 - a**3/2 + 2*a**2. Is x(s) a multiple of 12?
False
Suppose 162 = 3*h + 3*j - 3, 0 = -2*j - 2. Suppose 5*q - d - 37 - 15 = 0, -h = -4*q - 4*d. Is 11 a factor of q?
True
Is 38/((4/4)/4) a multiple of 13?
False
Suppose -3*r - 4 = -13. Suppose -4*i + 15 = -r*i. Is 15 a factor of i?
True
Let p(l) = -41*l - 1. Let y be p(-2). Suppose 3*i - 5*z + y = 0, -2*i + i - 5*z = 27. Let n = -10 - i. Is 8 a factor of n?
False
Let l = 39 - 1. Let o = l + -20. Does 11 divide o?
False
Let l = 84 - 60. Let p be 2/(-10) + 29/(-5). Let v = p + l. Does 10 divide v?
False
Suppose -5*l + 0*n = -3*n - 268, 68 = l + 3*n. Is 28 a factor of l?
True
Suppose n = 2*n + 4*j - 17, -2*n = 5*j - 25. Suppose 5*q = n + 5. Suppose -q*t - t = -78. Does 10 divide t?
False
Suppose 118 = 2*w + 2*b - 10, 5*w + 4*b = 319. Is w a multiple of 5?
False
Suppose i - 22 + 4 = 0. Is i even?
True
Suppose 0 = -3*c + z - 17, -4 - 9 = c - 4*z. Is ((-4)/c)/(10/575) a multiple of 15?
False
Let a(k) = -25*k + 1. Does 18 divide a(-7)?
False
Suppose -5*w - 7 = 3*m - 34, 4*w - 23 = -m. Suppose -96 = 2*g - w*g. Does 8 divide g?
True
Let v be 3/(-2)*4/(-3). Suppose -172 = -4*y - v*q, -3*y + 2*q + 122 = -0*y. Is y a multiple of 21?
True
Let l(a) = a + 3. Let u be l(-7). Let o(k) = -k**3 + k**2 + k. Let v(n) = -5*n**3 + 11*n**2 - 4. Let j(c) = u*o(c) + v(c). Is j(5) a multiple of 13?
True
Suppose 4*a = 3*k + 38, k + 2*a - 3*a + 11 = 0. Does 13 divide (8/k)/(4/(-78))?
True
Let d = 172 - 117. Does 18 divide d?
False
Let k be ((-6)/(-3))/((-3)/39). Let l = 56 + k. Is l a multiple of 16?
False
Let p = -4 - -7. Suppose -2*z = p - 33. Suppose -i + z = 3*k, 5*i + 2*k + 0*k - 114 = 0. Does 17 divide i?
False
Let n = 4 - -5. Suppose 3*w = -3*b, 0*w - n = -2*b + w. Suppose b*c - 2*c = 23. Does 23 divide c?
True
Suppose 3*m - m - 12 = -5*j, -20 = 5*m. Suppose -j*d - d = 0. Is (d - (-10 + -1)) + 1 a multiple of 6?
True
Let f(n) = n**3 + n**2 - 1. Let l(o) be the second derivative of 3*o**5/4 - 5*o**4/12 + 5*o**2/2 - 2*o. Let x(t) = 4*f(t) + l(t). Is 9 a factor of x(1)?
False
Let r be 15/6*(-4)/(-10). Let b be (1 - (r + -1))*5. Suppose 4*a + 10 = 2*x + 40, b*x = -a - 9. Does 3 divide a?
True
Let z = -18 + 4. Does 6 divide z/4*(-60)/35?
True
Let n = 30 + 66. Let f = n - 52. Does 9 divide f?
False
Suppose 3*y = 2*q - 0*q - 5, -q - 5 = 0. Let j = y - -7. Is j even?
True
Let d(a) = 17*a - 2. Let s be d(2). Suppose 5*t = 3*t + s. Does 10 divide t?
False
S