+ 3. Suppose 2*c = 4*c - 4, -w*c + 174 = 3*y. Does 15 divide y?
False
Suppose -3*o + 11 - 2 = 0. Suppose o*l + 32 = 3*b + 2, 0 = -2*b - l + 20. Does 5 divide b?
True
Let c(k) = -k**2 - 7*k - 4. Let h(t) = -t**2 + 3*t + 6. Let b be h(5). Let j be c(b). Let q = j - 1. Is q a multiple of 7?
True
Let n = -2 + 2. Let q(j) = j**3 + j**2 - j + 68. Let f be q(n). Suppose 0 = 5*b - f - 2. Does 14 divide b?
True
Let t be 5*((-21)/15 + 2). Suppose -94 = -2*u - 4*f, t*f - 54 = -2*u + 42. Is u/(-6)*(-1 + -1) a multiple of 17?
True
Is 51 a factor of (-765)/(-10)*16/6?
True
Let f be ((-32)/(-2))/((-2)/(-4)). Suppose 3*y + f = -y. Let m = -1 - y. Does 7 divide m?
True
Suppose 0 = -5*a + 3*a + 310. Is 16 a factor of a?
False
Let p(m) = -m**3 - 2*m**2 + 2*m + 1. Let x be p(-3). Let j be 1/(((-12)/9)/x). Let g = 15 + j. Does 6 divide g?
True
Let k be -16*(15/6)/(-5). Suppose -2*q + 40 = 2*a, -a + 3*q = -0*q - k. Is a a multiple of 10?
False
Let q = 137 - 47. Does 6 divide q?
True
Suppose -13 = -x - 3*y, -2*x = 5*y - 8 - 13. Let r be ((-24)/(-14))/x*7. Is 13 a factor of r/3 - -3 - -49?
False
Let t be (-2 - (-159)/(-6))*-2. Let i = t - 38. Does 19 divide i?
True
Suppose -5*o + 180 = -0*o. Let y = o + -15. Is y a multiple of 10?
False
Suppose g = 2*l - 18, -3*l - 3*g + 5 + 13 = 0. Does 8 divide l?
True
Let x be (-38)/(-9) - 2/9. Suppose 0 = d - 2*m - 2, 0 = 5*d - 4*m - 6 - x. Suppose 0 = -2*j - d*j + 116. Does 12 divide j?
False
Let p = -130 - -235. Is p a multiple of 21?
True
Let c = 7 + -5. Suppose 26 = 4*x + c. Is x/15 - 113/(-5) a multiple of 10?
False
Let n(k) = 32*k + 1. Let p be (2 + -24)/(3 - 1). Let b(f) = 63*f + 2. Let r(a) = p*n(a) + 6*b(a). Does 10 divide r(1)?
False
Let m be (9/(-15))/(6/(-30)). Suppose -v + 412 = m*v. Does 22 divide v?
False
Let y be -2 + -3 + (-3)/(-3). Let w(j) = -2*j**2 - 5*j + 3. Let u be w(y). Let d(i) = -i**3 - 8*i**2 + 7*i - 9. Does 9 divide d(u)?
True
Let n = 2 - 0. Does 5 divide n/(-3)*(0 - 12)?
False
Let k = 72 + -57. Is 7 a factor of k?
False
Let h be -1 + (-1)/(0 + -1). Suppose 3*x + h - 9 = 0. Is 13 a factor of (5 - x)/((-1)/(-13))?
True
Let h be (-2)/(-1) - (32 - 0). Let p = 56 + h. Let x = p - -12. Does 13 divide x?
False
Let o(q) = -q**2 - 11*q - 4. Is o(-8) a multiple of 5?
True
Let t(i) be the second derivative of -i**3/6 - 2*i**2 + 4*i. Let c be t(-6). Suppose -c*o + o = -24. Is o a multiple of 9?
False
Let m(v) = -v**3 + 6*v**2 - 6*v - 1. Let s be m(5). Let b(q) = -4*q - 8. Is b(s) a multiple of 15?
False
Suppose 2*o - 5 = 7. Let f(h) = 5*h - 2. Is 14 a factor of f(o)?
True
Suppose 5*j = 2*h - 74, 0 = h - j + 2*j - 30. Is h a multiple of 6?
False
Let b = 27 + 111. Is 22 a factor of b/(-1)*(-1)/3?
False
Suppose 0 = -z - o, 0*o + 2*o + 6 = 0. Suppose -z*c + 24 = -30. Does 9 divide c?
True
Suppose -3*i + 3*t + 21 = 2*i, -2 = -4*i - 5*t. Suppose o + o - 73 = -i*l, 0 = 5*o - 25. Is 11 a factor of l?
False
Let g = 84 + 12. Is g a multiple of 12?
True
Suppose -41 - 159 = -4*x. Does 25 divide x?
True
Let k(p) = 2*p**2 - 9*p + 10. Let i(d) = -3*d**2 + 14*d - 15. Let z(q) = 5*i(q) + 7*k(q). Let h be z(4). Let w = 20 + h. Does 17 divide w?
False
Suppose 2 = 3*o - 4. Suppose 6 = 5*v - 3*l, o*l + l - 18 = -3*v. Suppose v*w - 140 = -2*w + 2*x, 0 = -5*x - 25. Is w a multiple of 26?
True
Suppose -5*b - 248 = -3*h, 4*h - 178 = 2*h - 3*b. Let d = h - 43. Does 16 divide d?
False
Let w = -109 + 176. Is w a multiple of 19?
False
Suppose 3*k - 4 = 2. Suppose 4*d + k*o = 2*d + 16, -3*d + 2*o = -9. Does 2 divide d?
False
Let l(w) = 15*w + 2. Let s be l(-2). Let v = -126 - s. Let j = v + 147. Is 17 a factor of j?
False
Suppose 4*k - 60 = 28. Suppose -w = -k + 6. Is w a multiple of 8?
True
Suppose 4*r = p + p + 72, 0 = -2*p. Is r a multiple of 11?
False
Let d be 3/(-6*(-2)/188). Is d/3 + 3/9 a multiple of 4?
True
Let i be ((-3)/(-2))/(2/4). Suppose -5*k + 24 = -i*k. Suppose -d + k = d. Is 3 a factor of d?
True
Suppose -2*v + 7*v = -20. Is 10 a factor of (5/2)/(v/(-16))?
True
Let q(o) = -10*o. Is q(-9) a multiple of 45?
True
Let m be 12/30 - (-22)/(-5). Let h(f) = f**2 + 3*f - 1. Let i be h(m). Is 3 a factor of i - (-2 + 6/(-2))?
False
Suppose 0 = -3*o + 9 + 12. Is o even?
False
Suppose -4*y + 24 - 4 = 0. Suppose -y*g + 7 = -3. Suppose 31 = g*j - i + 6*i, 4*i - 30 = -2*j. Is j a multiple of 13?
True
Suppose -14*l + 1109 = -193. Is l a multiple of 47?
False
Suppose 2*b + 2*b - 28 = 0. Suppose -i + 0*y = -2*y - b, 0 = -4*i + 4*y + 32. Let x = i + 0. Does 8 divide x?
False
Let m(q) = 1 + 2*q + 1 + q**3 - q - 2*q**2. Let w be m(2). Suppose -5*v - w*l + 26 = 0, v - 24 = -4*l - 6. Is 2 a factor of v?
True
Let i(f) = f**3 - 6*f**2 - 2*f - 8. Let p be i(7). Let m = p - -5. Is m a multiple of 27?
False
Let o(j) = -4*j + 9. Let i = 12 + -24. Let m = i + 5. Is 10 a factor of o(m)?
False
Suppose -3*a = 2*j - 5*j - 3, 3*a - 2*j - 7 = 0. Suppose -4*o - 24 = -a*h - 69, -4*h + 57 = 3*o. Does 11 divide o?
False
Let q(l) = -l**3 - 5*l**2 + l + 2. Let h be q(-5). Let o be (-2 - -4) + h/(-1). Suppose 15 = -o*k + 55. Is k a multiple of 8?
True
Let t(o) = -o + 6. Let v be t(6). Suppose v = 3*l - 50 - 10. Does 5 divide l?
True
Let f = 11 - -32. Let a = f - 28. Suppose 2*j + a = 3*o, -6 - 2 = -2*o + 2*j. Is 6 a factor of o?
False
Let u(a) = 12*a**2 - 2*a - 3. Let v be u(-2). Suppose -3*w - t - v = -170, -2*t + 202 = 5*w. Is 13 a factor of w?
False
Suppose s + 16 = -2*r, -4*s + 21 = -4*r - 35. Let m = r + 14. Suppose -m*z + 60 = -2*z. Is 21 a factor of z?
False
Let i(r) = r**3 + 8*r**2 - 9*r + 17. Is i(-8) a multiple of 13?
False
Suppose 4*v + 30 = 9*v. Suppose v*z - 204 = 2*z. Is 17 a factor of z?
True
Suppose l - 51 = -0*l. Does 8 divide l?
False
Suppose 88 = w + 5*p, -3*w + 156 = -4*p - 108. Is 15 a factor of w?
False
Let b(l) = 3*l + 24. Is 6 a factor of b(10)?
True
Suppose 0 = -x - 4 + 9. Let g(k) = -13*k**3 + 28*k**2 - 33*k - 37. Let d(q) = 3*q**3 - 7*q**2 + 8*q + 9. Let f(c) = -9*d(c) - 2*g(c). Does 13 divide f(x)?
True
Suppose 0 = -i - 3. Is (70/i)/((-9)/27) a multiple of 14?
True
Suppose 0 = 21*i - 16*i - 1190. Does 34 divide i?
True
Is (-6)/2 + (-3)/((-3)/67) a multiple of 11?
False
Let h(a) = a**2 + 6*a - 5. Does 9 divide h(-8)?
False
Suppose 0*m + 5*m = -2*g - 23, m = 4*g + 13. Let p be g - -4 - (0 - 1). Let l = p + 15. Is l a multiple of 8?
True
Does 32 divide 4 - (-257 + 12/3)?
False
Let i = -63 - -123. Is i a multiple of 20?
True
Let h = 121 - 109. Is h a multiple of 4?
True
Let h be 0/4 - (-2 + -1). Let q = 3 + h. Is 6 a factor of q?
True
Suppose -5*h = 4*k - 300, k = -2*h + 5*k + 120. Is 4 a factor of h?
True
Suppose 0 = -109*v + 105*v + 144. Does 18 divide v?
True
Let s = 14 - 6. Suppose -s = 5*h - 93. Let n = h + -8. Does 4 divide n?
False
Suppose -2*j - 6 = -4*j, 368 = -5*v + j. Let h = v + 126. Suppose 153 = 5*l + h. Does 20 divide l?
True
Let w = -12 - -11. Let g(x) = -x**2 - x**2 + 0 - 12*x**3 + 1. Is g(w) a multiple of 7?
False
Suppose 13 = -4*b - 7. Let s(r) = 2*r**2 + 5*r + 3. Is 8 a factor of s(b)?
False
Let p = 1 + 13. Is p a multiple of 14?
True
Let i(s) = 8*s + 18. Is 10 a factor of i(9)?
True
Let h(x) = 62*x + 2. Is 16 a factor of h(1)?
True
Suppose 4*y - 2*m = 62, -3*y = 2*y - m - 85. Let f = -10 + y. Is f a multiple of 4?
True
Let s(u) = 4*u**2. Is s(-2) a multiple of 8?
True
Let f = 580 - 372. Does 52 divide f?
True
Let z = 7 + -7. Suppose 2*k - 3*r - 9 = -0*r, 4*r - 12 = z. Is k a multiple of 9?
True
Let v be 3 + 1*(1 + 0). Let q = 1 + v. Suppose q*s - 80 = -0. Is 16 a factor of s?
True
Let k = 111 + -75. Let o = 2 - 2. Does 27 divide 7 + k - (-1 - o)?
False
Let r(c) = -c**3 + 13*c**2 - 16*c + 3. Is r(11) a multiple of 39?
False
Suppose 9*k - 655 = 4*k. Is 7 a factor of k?
False
Suppose 3*r + 31 = 139. Is r a multiple of 12?
True
Suppose 5 + 9 = -q. Is 10 a factor of 360/35 + 4/q?
True
Let f = 1 + -1. Suppose -2*x + 5*x - 12 = 0. Suppose -2*v + x*v - 26 = f. Is 13 a factor of v?
True
Suppose -247 - 5 = -4*f. Does 41 divide f?
False
Let r(s) = 30*s**2 - 10*s + 10. Is 57 a factor of r(3)?
False
Let x(p) be the third derivative of p**6/120 + p**5/5 + 5*p**3/2 - p**2. Is x(-12) a multiple of 6?
False
Suppose 1836 = 11*w + w. Is w a multiple of 17?
True
Let z(t) = -19*t - 4. Let v be z(3). Let b = -34 - v. Is b a multiple of 9?
Tru