+ -16. Is y a multiple of 3?
True
Suppose 0 = 3*c + c - 48. Suppose 5*y + c = y, 13 = 5*w + 4*y. Suppose 47 = -w*m + 122. Is 9 a factor of m?
False
Let c = 60 + -43. Let r = c - 10. Is 2 a factor of r?
False
Suppose -5*c = -6*p + 3*p + 23, -4*p - c + 46 = 0. Suppose -4*j + p = 3. Does 15 divide (7*-10)/((-4)/j)?
False
Is 25 a factor of (8 + -29)*(1 - 52/6)?
False
Suppose 0 = 3*i + 2*m - 156, 4*i + 6*m = 2*m + 212. Suppose -h + 3*u + i - 17 = 0, 3*h = -3*u + 159. Suppose 2*l = h + 2. Does 7 divide l?
False
Let n = -5 + 8. Suppose 105 = 3*m + 5*c, 3*m + n*c - c - 96 = 0. Does 15 divide m?
True
Let a = 15 - 3. Let z = 22 - a. Is z a multiple of 4?
False
Let i(q) = -q**3 + 6*q**2 + 6*q + 13. Suppose -2*f = 3*z + 2*f - 29, 0 = -2*z - 3*f + 20. Does 2 divide i(z)?
True
Let l(j) = -j + 11. Does 15 divide l(-6)?
False
Let g = -15 - -19. Let a(c) = c**3 - 5*c**2 - 4*c + 7. Let w be a(7). Suppose -19 - w = -g*b. Is 11 a factor of b?
False
Let c(y) = -y**2 - 4*y + 2. Let s be c(-4). Suppose -s*u = -53 - 9. Is u a multiple of 14?
False
Suppose -i + 5*i = 40. Does 9 divide ((-68)/i)/(3/(-15))?
False
Is 5 a factor of -13*(1/4 - 63/28)?
False
Suppose -b + 29 = -3*v - v, -2*b - 2*v = -88. Is b a multiple of 15?
False
Let s(a) = a + 116. Is s(-32) a multiple of 5?
False
Let o(h) be the first derivative of -h**4/4 - 8*h**3/3 - 9*h**2/2 + h + 1. Let u = -24 - -17. Is o(u) a multiple of 5?
True
Let h be (-31)/11 - 2/11. Is 17 - 1 - 1 - h a multiple of 6?
True
Let g(k) = k**2 + k + 4. Let n(b) = b**3 - 4*b**2 + 4*b - 2. Let m be n(2). Let d = m + 5. Does 16 divide g(d)?
True
Suppose -4*y - 2*h + 174 = -0*y, -3*y + 124 = -5*h. Is 26 a factor of y?
False
Let t(f) = 3*f**2 + 6*f. Is t(-4) a multiple of 12?
True
Does 42 divide (-16400)/(-130) - (-4)/(-26)?
True
Does 5 divide (-276)/(-115)*5/2?
False
Suppose 86 = -4*l - 242. Let p = l + 40. Does 4 divide p/(-4) - (-3)/6?
False
Does 12 divide 111/2 - 12/(-8)?
False
Is 4 a factor of (-2)/(-6) + 20/3?
False
Let q(o) = -o**2 - 15*o - 7. Let p(w) = -w**2 - 16*w - 7. Let z(l) = 5*p(l) - 6*q(l). Let f be z(-13). Suppose -f = -4*c + 6. Is 4 a factor of c?
False
Is 13 a factor of -10 + 19 - 1*-4?
True
Suppose -x = -5*u + 1 + 2, -x + 4*u = -2. Is x a multiple of 11?
True
Does 35 divide (-42)/((18/15)/(-3))?
True
Let a = -219 - -339. Is a a multiple of 15?
True
Let g(b) = b. Let l be g(5). Suppose -120 = -l*k + 100. Suppose -k = -4*u - 0*u. Does 11 divide u?
True
Let j be (-8)/16*0/(-1). Suppose 0 = 2*c + 3 - 7. Suppose -6*o + 28 = -c*o + 4*q, j = 4*o + 3*q - 30. Does 6 divide o?
False
Let g = -1296 - -824. Is 12 a factor of g/(-20) + (-6)/(-15)?
True
Let w(t) = -t**3 + 5*t**2 + 8*t - 3. Let j be w(6). Let r be (6/9 - 0)*18. Does 3 divide (r/j)/((-4)/(-18))?
True
Let b = -4 + 2. Is (6 - b/(-1)) + 3 a multiple of 3?
False
Let o(v) = 4*v**2 + 2*v + 1. Let r be o(-2). Suppose -4*b = l - 7, -b = -2*l - 0*l - r. Suppose -d + b*d - 54 = 0. Does 10 divide d?
False
Suppose 0 = -3*u + 4*u + 5. Let m(p) = p**2 - 4*p + 2 + p - 2*p. Is m(u) a multiple of 18?
False
Is 36/(-10)*240/(-18) a multiple of 12?
True
Let y(f) = 4*f + 6. Let t be 15*2/(-12)*-2. Let i be y(t). Suppose -5*r + i = l, -l = 3*r - 21 + 1. Does 11 divide l?
True
Let a be -4*(-2)/((-24)/(-9)). Suppose -n = -a*m + 15, 0*m + 3*m - 18 = 2*n. Does 15 divide m*11*(-1)/(-2)?
False
Suppose -3*g + 8 = -2*g. Let w(z) = z**3 - 8*z**2 + 7*z + 1. Is w(g) a multiple of 13?
False
Let t(k) = 2*k. Let h be t(4). Suppose 8 = x - h. Does 12 divide x?
False
Let y be -2 + ((-3)/(-3) - -7). Let m = -2 + y. Is 4 a factor of m?
True
Suppose 0 = -h - 35 - 8. Let k = -1 - 73. Let f = h - k. Is 13 a factor of f?
False
Suppose -s = -2*s - 3*c - 8, -2*s + 3*c = -20. Suppose -4*u = 5*w - s, 6*u - u + 2*w - 22 = 0. Is 2 a factor of u?
True
Let j(b) = -2*b**2 + 24*b + 20. Does 20 divide j(10)?
True
Let z(m) = 3*m**2 - 7*m - 9. Is z(-4) a multiple of 27?
False
Let d(b) = 3*b**2 + 14*b. Is d(6) a multiple of 8?
True
Let b(w) = -w**2 - 13*w - 8. Let r(o) = -3*o**2 + 2*o + 1. Let n be r(-1). Let p be ((-18)/(-4))/(3/n). Is b(p) a multiple of 17?
True
Let b(k) = 6*k + 12. Does 20 divide b(8)?
True
Suppose -4*h = -h + 342. Let s = h + 170. Is 14 a factor of s?
True
Let m(w) = 5*w**2 - 5*w. Let q be m(4). Suppose 0 = -4*j + l + 48, l - q = -4*j - l. Is 13 a factor of j?
True
Let b = 7 + -3. Suppose 0 + b = r, 2*r = -5*t + 23. Suppose q + 104 = t*q. Does 20 divide q?
False
Let k(d) = -10*d**3 - 3*d**2 - 8*d - 7. Is 36 a factor of k(-3)?
False
Let a = 2 + 1. Suppose -185 = -a*z - 2*t, z + 3*t = -4*z + 310. Let b = z + -43. Is 11 a factor of b?
True
Suppose -5*j + c = -815, -c = -3*j + 3*c + 489. Let b = 229 - j. Does 11 divide b?
True
Suppose 14*p = 12*p + 270. Is 15 a factor of p?
True
Suppose r = -m + 383, 5*m - m - 1560 = 3*r. Is m a multiple of 60?
False
Suppose -s + 28 = -3*a, -2*s + 24 = 6*a - 4*a. Is s a multiple of 8?
True
Is (-18)/6*(-38)/6 a multiple of 4?
False
Let z = 42 - 30. Let f = -5 + z. Is f a multiple of 6?
False
Suppose -4*r + 68 = -2*m, -25 - 43 = -4*r + 5*m. Is r a multiple of 5?
False
Suppose -4*h + 2 = -50. Suppose q + h - 69 = 0. Suppose 144 = 4*j - q. Is 16 a factor of j?
False
Suppose -411 = -3*m + 150. Is m a multiple of 11?
True
Let o(i) = i**3 + 4*i**2 + 2*i - 3. Let h be o(-3). Let z(n) = -n - 5. Let f be z(-6). Suppose -g - f + 19 = h. Does 18 divide g?
True
Suppose -2*d + 3*d - 390 = 0. Suppose -d = -5*g - 70. Let o = -20 + g. Is o a multiple of 15?
False
Let z(f) = 14*f - 2. Let u be 21/5 + (-2)/10. Suppose u*g = -g + 10. Is 13 a factor of z(g)?
True
Suppose 0 = 16*l - 17*l + 30. Is 19 a factor of l?
False
Let p(a) = 6*a**2 - 1. Does 24 divide p(-3)?
False
Let g = -42 - -144. Does 6 divide g?
True
Let r = 110 + 90. Let u be r/6 + (-3)/9. Let i = 62 - u. Does 14 divide i?
False
Suppose -225 = -3*y + 4*s, -3*y = 4*s - 253 + 4. Is y a multiple of 36?
False
Let m(z) = 115*z**2 - 2. Let x be m(2). Suppose 118 = -5*d + x. Let n = d - 34. Is 12 a factor of n?
False
Let j(g) = 2*g - 11*g + g**2 + g**2 + 5. Is 20 a factor of j(7)?
True
Let w = 21 + -36. Let m = 17 + -45. Let z = w - m. Is 6 a factor of z?
False
Let x(m) = m**3 + m - 2. Let r be x(2). Is r/16 - 35/(-2) a multiple of 6?
True
Suppose -2*t + 576 = 2*t. Let x = -12 - 91. Let s = x + t. Is 21 a factor of s?
False
Does 21 divide (2/(-3))/((-6)/189)?
True
Is (3 + 105/25)/(5/25) a multiple of 6?
True
Let l = -196 + 356. Is l a multiple of 13?
False
Suppose -5*a = 38 - 13. Let k(p) = p**3 + 5*p**2 - 3*p + 6. Is 6 a factor of k(a)?
False
Let a(y) = y**3 + 4*y**2 - 2. Let w be a(-2). Let j = w - 3. Suppose -p = -h + 1 + 14, -3*p + 75 = j*h. Is 9 a factor of h?
False
Let z = -5 - -4. Let n = z + 4. Is n a multiple of 2?
False
Let r be (4 - -1*2)/2. Suppose -j + 4*a + 1 = r*a, -3*j = -4*a - 1. Suppose -2*i = -l + 14, -j*i + 70 = 5*l + 2*i. Does 7 divide l?
True
Let z be (16/(-6))/(2/(-3)). Let h be 15/(-10)*z*-1. Suppose 2*g - 4 = h. Is g a multiple of 2?
False
Let f = 104 - 29. Let h = f - 29. Is h a multiple of 13?
False
Let b = -55 - -21. Let v = b - -62. Suppose 3*g - v = g. Is g a multiple of 14?
True
Let q be (0 + 5/2)*2. Suppose n - 17 = -q*v + 16, 0 = -n - 2. Suppose 3*d + v = 4*d. Is d a multiple of 3?
False
Let j(y) = -20*y - 21. Let v(w) = -10*w - 11. Let i(m) = -2*j(m) + 5*v(m). Is 9 a factor of i(-5)?
False
Let r = -14 + 67. Is 7 a factor of r?
False
Let o(m) = -m**3 + m**2 - m. Let y(c) = -4*c**3 + 8*c**2 - 6*c - 1. Let k(p) = -6*o(p) + y(p). Let j be k(1). Does 3 divide 12/(-1)*j/(-9)?
False
Let t be 1/(2 - 21/12). Let y be (138/t)/(1/2). Let w = y + -47. Is w a multiple of 12?
False
Suppose 2*m - 4 = 0, -4*m + 788 = 4*d + d. Suppose -i + 37 = c + 5, 5*i - d = -3*c. Does 10 divide i?
True
Let z(j) = 24*j**2 + 3*j. Let x be z(-2). Let q = x + -44. Is q a multiple of 23?
True
Suppose 3 = -2*t - 3*p, 2*t - 1 = -2*t + p. Let s = -138 - -260. Suppose 123 = 3*f + w - 4*w, t = 3*f - 2*w - s. Is 15 a factor of f?
False
Suppose 3*y - l - 10 = 0, 2*y - 4*l = -2*l + 12. Is (22 + -2)/(y - 0) a multiple of 5?
True
Suppose 5*d = 4*h - 0*d - 468, 3*d + 348 = 3*h. Is 7 a factor of h?
True
Suppose 3*c - 12 = 6*c. Is 16 a factor of (-1)/c + 462/8?
False
Suppose -25 = k - 6*k. Suppose 0 = 5*b + k*o - 4 - 66, -b - 3*o = -22. Is 5 a facto