pose 0 = 3*w - y*b - 22 - 20, 3*b = w - 14. Suppose -i + 2*z = z - w, 3*z = 2*i - 24. Is i a multiple of 18?
True
Let s be (14/(-5))/((-4)/10). Let n = s + -6. Does 3 divide n*3*2 - 0?
True
Let u = -58 - -151. Is 6 a factor of u?
False
Let b = -16 - 17. Let r(s) = 4*s + 11. Let o(g) = 63*g + 177. Let v(j) = b*r(j) + 2*o(j). Does 15 divide v(-7)?
False
Suppose 3*q = 2*d - 18, -23 = -2*d + d + 5*q. Is 3 a factor of d?
True
Suppose 4*q - 292 + 104 = 0. Let g = 96 - q. Is 20 a factor of g?
False
Let w(p) = p**2 + 5*p + 4. Let n be w(-5). Let q(u) = u**3 - 4*u**2 + 5. Is q(n) a multiple of 5?
True
Let d(o) = -3 + 3 - 8*o - 1. Is d(-2) a multiple of 5?
True
Suppose 3*d = 4 - 1. Let q(o) = 16*o + 2. Is 6 a factor of q(d)?
True
Suppose -5*p + 5*f + 2 = -3, 2*p = 4*f - 8. Is 4 a factor of p?
False
Let r(n) = -n - 2. Let c be r(-1). Suppose 0 = -5*z + 2*z - 3*y - 12, 5*z = 4*y + 7. Is 9 a factor of c/(z/(-2))*-8?
False
Suppose -6*j + 141 = -3*j. Is 15 a factor of j?
False
Suppose 0*z - 700 = -4*z. Does 24 divide z?
False
Let i(q) = 2*q - 7. Let u be i(6). Let v(l) = -6*l**2 + u*l - l**2 + 6 + 3*l**2 - l**3. Is 6 a factor of v(-5)?
True
Suppose 2*h + 6 = 0, -2 = -k - 4*h + 3*h. Is k a multiple of 2?
False
Let n = -19 + 29. Does 12 divide n*((-21)/(-15) + 1)?
True
Let q(o) = -33*o**3 + 2*o + 2. Is 6 a factor of q(-1)?
False
Let o be (-10)/(-35) + (-1111)/(-7). Let k = o - 49. Is 28 a factor of k?
False
Suppose 0*s = -3*s + 126. Suppose -4*u = -u - s. Is 7 a factor of u?
True
Suppose m = -2*z + 8, 0*z + 3*z - 17 = m. Is 9 a factor of (-3)/(9/60)*m?
False
Let q(h) be the first derivative of -4*h**2 - 12*h + 5. Is 17 a factor of q(-8)?
False
Let i = -2 + 4. Suppose -3*n + 4*n - 2*q - 3 = 0, 5*n + 3*q - 41 = 0. Suppose i*l = 3*l - n. Is l a multiple of 6?
False
Let i(n) = 203*n**3 + 3*n**2 - n - 1. Is i(1) a multiple of 18?
False
Let u(j) = -j + 1. Let w be u(1). Let z be -2 + (-30 - (1 + w)). Let v = z - -58. Is v a multiple of 14?
False
Suppose h = -5*r + 4 + 1, -4*r = 0. Suppose 0 = 2*v - 5*i + 10, 10 = 4*v + 5*i. Let z = h + v. Is 5 a factor of z?
True
Let k = 9 - 9. Suppose k = -0*y + 4*y - 16. Is y even?
True
Let t = -100 + 60. Let y be t/(-7) - (-4)/14. Let p(z) = 4*z + 4. Does 14 divide p(y)?
True
Suppose 0 = n + 4 - 0, 0 = 2*t + n - 2. Suppose -30 = 2*o + t*o. Let g = 24 + o. Does 18 divide g?
True
Suppose 156 = -4*n + 52. Let b = -3 + -6. Let d = b - n. Is 17 a factor of d?
True
Let x(s) = s. Let a be x(4). Let z be a/8 - (-9)/2. Suppose 2*b - z*q = 6*b - 10, 0 = 4*b + 2*q - 16. Is b a multiple of 2?
False
Suppose -3*p - 14 = -2*s, -p - 4*p + 2*s - 18 = 0. Let k = 7 + -7. Let o = k - p. Is o even?
True
Let g = -25 - -29. Let v = g + 5. Is v a multiple of 3?
True
Let f(i) = i + 2. Does 2 divide f(3)?
False
Suppose 546 = -3*l - 0*l. Does 14 divide l/(-8) + (-3)/4?
False
Suppose 0 = -i - 4*m + 3 + 2, -2*m = 2*i - 10. Suppose -55 = -i*l + 4*j, 2*l - 4*j - 27 = l. Is 7 a factor of l?
True
Let l(c) = -12*c**3 - 2*c**2 - c. Is 5 a factor of l(-1)?
False
Suppose -4*r - 29 = -5*i - 6*r, 0 = -2*i - 2*r + 8. Does 5 divide i?
False
Let k(n) be the second derivative of -n**3/6 + n**2/2 + 4*n. Let v be k(-4). Suppose -v*i = -53 - 107. Does 22 divide i?
False
Let a(t) = -t**3 - 6*t**2 + 11*t - 3. Let i be a(-9). Let z be (2/(-3))/(2/i). Let o = -23 - z. Is o a multiple of 24?
True
Let t = 23 - 2. Does 5 divide t?
False
Let b be 38*(-4 - (-5 - -2)). Let g = 71 + b. Is 11 a factor of g?
True
Does 13 divide (-2595)/(-40) + 1/8?
True
Let x be (-2)/7 - (-2)/7. Is 12 a factor of -6*(8 + x)/(-2)?
True
Suppose 2*o - 7 = -3*t, 2*t + 4 = 3*o - 0. Is 9 a factor of 2 - (-16 - -2 - o)?
True
Suppose 63 = 4*i - 37. Is 20 a factor of i?
False
Suppose p = 6*p - 70. Is p a multiple of 7?
True
Let y(l) = 2*l**3 - 4*l**2 + l - 3. Let n = -1 + 4. Let w be y(n). Suppose i + 2 = w. Is 8 a factor of i?
True
Let i(t) = 7*t - 2. Does 28 divide i(7)?
False
Suppose 0 = -5*t + 5 + 5. Let o = -10 + 16. Suppose k + o = t*k. Is 2 a factor of k?
True
Let y = -6 + 6. Suppose -2*t - 16 = -2*u, -t + 3 + 2 = y. Is u a multiple of 13?
True
Suppose -3*k - 5*t = -344, 5*k - k = -3*t + 477. Is 14 a factor of k?
False
Let x = 118 - 58. Suppose -4*b + 316 = x. Let t = b - 25. Does 13 divide t?
True
Is (-4)/(20/15) - -87 a multiple of 14?
True
Suppose 12*p - 9*p = 252. Does 13 divide p?
False
Suppose 0 = -3*t + 5*t + 3*l + 43, -4*l = 3*t + 65. Let v = t - -33. Let p = 18 - v. Is p a multiple of 8?
True
Let x(a) = -a - 3. Let o be x(-3). Suppose -4*g - 3*t + 0*t + 9 = o, -5*t = 4*g - 7. Suppose g*k = 0, -5*u - 6*k = -3*k - 35. Is 6 a factor of u?
False
Suppose -4*o + 2*o - 3*f - 24 = 0, -5*o + 5*f = 35. Let x = -4 - o. Is x a multiple of 2?
False
Let y = -11 + 7. Let k = y + 7. Is k*-1 - -2 - -23 a multiple of 9?
False
Let t be (-1)/1*(-3 - -50). Suppose 25 + 8 = -q. Let w = q - t. Is w a multiple of 7?
True
Suppose 5*t = 2*t + k + 211, -4*t + 273 = -3*k. Let f = 112 - t. Is f a multiple of 20?
True
Suppose -3*d + 90 = -d. Does 8 divide d?
False
Let m(u) be the second derivative of u**3/2 - u**2/2 - 5*u. Is 2 a factor of m(3)?
True
Suppose 0 = -4*l + 76 - 20. Let o = 21 - l. Is o a multiple of 2?
False
Let d(o) = -o**2 + 1. Let r(u) = -2*u**2 - 2*u + 2. Let b(w) = -3*d(w) + r(w). Let t = 7 + -2. Does 7 divide b(t)?
True
Let d be 3/6*(-56)/(-2). Suppose d = 4*q - 6. Let t(c) = 4*c - 6. Is 14 a factor of t(q)?
True
Let q = -8 + 21. Suppose -3*b + 2*k - q = -4*b, 4*b - 65 = 5*k. Does 12 divide b?
False
Let r be 4/6 + (-164)/12. Let f = r + 18. Suppose f*c + 3*s = 4*s + 23, s + 8 = 2*c. Is 2 a factor of c?
False
Let v = -4 + 33. Is v a multiple of 17?
False
Let c = -9 + 33. Does 10 divide ((-24)/(-10))/(c/320)?
False
Suppose -2*p = 3*p. Suppose p = -2*w + 15 + 135. Suppose -45 - w = -5*c. Is c a multiple of 20?
False
Let r = -10 - -14. Suppose r*g - 88 = -0*g. Does 22 divide g?
True
Suppose -4*s + 25 - 9 = 0. Let w be 3*-2 + (-1 - -1). Is 136/(-12)*w/s a multiple of 8?
False
Suppose 0 = -3*x - 177 + 438. Is 35 a factor of x?
False
Is 3 + (3 - -28) + 2 a multiple of 18?
True
Suppose -11 - 4 = -5*u. Suppose c - u = 5. Is c a multiple of 4?
True
Suppose 69 + 65 = 3*l + 5*o, 5*o + 10 = 0. Does 16 divide l?
True
Let z(v) = 3*v + 1. Let t be z(2). Let l = 25 - t. Does 8 divide l?
False
Is (9 - (1 + -6))*15/2 a multiple of 5?
True
Suppose -3*z + 75 = 3*c, -3*z + 35 + 32 = 5*c. Suppose -5*u + z = -111. Suppose -5*s = 22 - 2, -4*o = 5*s - u. Does 4 divide o?
True
Suppose -2*w + 4*w = 12. Let r(m) = 17*m - 9. Let s be r(w). Suppose -4*i + 3 + s = 0. Is i a multiple of 12?
True
Let o = 45 - 13. Is o a multiple of 27?
False
Let h(b) = 4*b**2 - 1. Let a be h(-1). Let y be (-9)/(-4) - 2/8. Suppose -5*m - 20 = -3*u, 17 + 9 = a*u - y*m. Is u a multiple of 5?
True
Let k = 39 + 0. Is 13 a factor of k?
True
Suppose -3*a + 315 = -0*a. Let j = a - 55. Is j a multiple of 17?
False
Let c = 57 + -6. Is c a multiple of 10?
False
Let f(w) = -21*w - 31. Is 12 a factor of f(-7)?
False
Let x be 0 + 0 + (-1 - -5). Is 3 a factor of x/6 + 7/3?
True
Let l(m) = m**2 + 15*m + 8. Let z(q) = q. Let b(s) = -l(s) + 4*z(s). Is 10 a factor of b(-9)?
True
Let w(x) = x**2 + 2*x + 3. Let h be (-12)/(-9)*3*1. Suppose -5*d + h*d - 7 = 0. Does 19 divide w(d)?
True
Suppose 5*w - 25 = u, 0 = 3*w + 2*u - 33 + 5. Is w even?
True
Suppose o + 3*b = -2*o + 585, 0 = 3*o + 2*b - 583. Does 14 divide o?
False
Let s be (-6)/(-2)*2/3. Let n(z) = 2*z - 3 + 0 + s*z. Does 12 divide n(5)?
False
Let b(d) = 2*d**2 + 14*d + 12. Is b(-10) a multiple of 8?
True
Let z = 15 + 6. Is 7 a factor of z?
True
Let f be (-19)/(-4) + 1/4. Let p(k) = 15*k - 7. Let m be p(f). Suppose -x + m = 4*r, -4*x + 20 = x. Is 8 a factor of r?
True
Is -79*(-5 + 0 + 4) a multiple of 7?
False
Suppose -6*t + 5*w = -t + 135, -5*t - 140 = -4*w. Let f = t - -50. Is 9 a factor of f?
True
Let a(x) = x**2 + 2*x + 8. Is 6 a factor of a(0)?
False
Suppose y + 2*y - 315 = 0. Does 7 divide 1/(-2) + y/6?
False
Does 9 divide (24/(-14))/(8/(-84))?
True
Let h(j) = -j**3 - 3*j**2 - 3*j - 3. Let k be h(-3). Suppose 0 = k*s - 4*s - 38. Is 19 a factor of s?
True
Let s(u) = 11*u**2 - 2*u. Let p(h) = -h - 4. Let m be (2/(-4))/((-1)/(-12)). Let l be p(m). Is 12 a factor of s(l)?
False
Is 7 a factor of (3 - (-2 + 0 - 0))*3?
