10 = 0. Suppose 5*o - j - 322 = 0, -3*o - p*j + 4*j = -189. Let g = -46 + o. Does 14 divide g?
False
Let k(j) = j**2 - 4*j + 4. Let y be k(2). Let m(s) = -s**3 + 24. Is m(y) a multiple of 10?
False
Let d(x) = -x**3 - 10*x**2 + 11*x + 1. Let g be d(-11). Is (-45)/(-18)*(g + 11) a multiple of 15?
True
Let y(v) = 6*v**3 - 2*v**2 + 2*v - 1. Let z be y(1). Let m(b) = 7*b - 7 - 2*b - 4*b**2 + 5*b**2 + 5*b**2 - b**3. Does 11 divide m(z)?
False
Let v(y) = -y**3 - 6*y**2 - 10. Does 21 divide v(-7)?
False
Suppose 3*f - 8*f - 14 = -4*i, 0 = -2*i - 5*f - 8. Let u(a) = 17*a**3 - a**2 - a + 1. Does 9 divide u(i)?
False
Let c = 9 + -15. Let r = c + 11. Suppose -r*n + 20 = -n. Is 4 a factor of n?
False
Suppose 5*z + 75 = 4*v, 0 = -0*z - z - 2*v - 1. Let o = 28 + z. Is 7 a factor of o?
False
Is (-3436)/(-28) + ((-16)/14)/(-4) a multiple of 20?
False
Let h be (-6)/(-9)*-3 + -6. Let i = 4 - h. Is i a multiple of 4?
True
Let d be (-23)/4 + 3/(-12). Let p = d - -12. Is 6 a factor of p?
True
Let a(v) = v**3 + 3*v - 16. Is a(7) a multiple of 12?
True
Let x = 18 - 12. Suppose u = 2*u - x. Is u a multiple of 6?
True
Let v(a) = a**2 + 2*a - 3. Let g be v(2). Suppose g*f - 64 = f. Does 8 divide f?
True
Suppose -3*h = -11 - 37. Does 16 divide h?
True
Let c = 4 - 4. Suppose -5*g + 19 + 246 = c. Is 18 a factor of g?
False
Suppose -o = -14 + 10. Suppose -5*q + 25 = -o*q. Does 10 divide q?
False
Let b = 54 + -46. Does 8 divide b?
True
Does 29 divide 52 + 2 + 2 + -4?
False
Suppose 2*j = j + 27. Is 10 a factor of j?
False
Let h = 2 + 1. Let t = 10 + h. Is t a multiple of 8?
False
Suppose -4*y + 2*y = -68. Is 18 a factor of y?
False
Let t(f) = 16*f**2 - f. Is t(-3) a multiple of 21?
True
Is 24 a factor of 2/6 + 48/(-36) + 46?
False
Suppose 3*x + 33 - 6 = 0. Suppose i - 2*c + 3 = 0, i = 5*i - 5*c + 9. Let h = i - x. Does 6 divide h?
False
Let x(j) = j**2 - 11*j + 20. Let d be x(9). Suppose 4*z = d*r + 210, 3*z = -3*r + 76 + 95. Is 18 a factor of z?
True
Suppose 0*f = 3*f - 21. Let t(h) = -10 - h**2 + 2*h + 0*h**2 + 5*h + 2*h. Does 2 divide t(f)?
True
Suppose 3*t = -2*i - i + 3, t = 3*i - 11. Suppose -w + 2*w = -i*u + 113, -u = -4*w - 29. Is u a multiple of 21?
False
Let p(x) = -2*x - 7. Let j be p(-5). Let i be -1*1*(-644)/7. Suppose j*w + w = i. Is 10 a factor of w?
False
Let b be ((-8)/(-6))/(6/9). Suppose -b*w - y = 17, 0 = 5*y + 12 + 13. Let c(r) = r**3 + 7*r**2 + 4*r. Does 6 divide c(w)?
True
Let z(b) = b - 12. Let y be z(13). Let h(c) = 103*c**3 - c**2 - 2*c + 2. Does 29 divide h(y)?
False
Let j = 5 + 1. Suppose 3*c = j*c - 3*d - 21, 0 = 5*c - 3*d - 41. Is c a multiple of 4?
False
Suppose -4*k = -164 - 168. Is k a multiple of 21?
False
Let r(t) = 2*t + 4. Is 10 a factor of r(3)?
True
Does 20 divide (-3)/(1*(-3)/53)?
False
Suppose -2*k = -0 + 4. Is 4 a factor of (-4 - -3)/(k/24)?
True
Suppose -5 = 4*d - 13. Suppose 5*v = 3 - 28, 0 = -d*b - 4*v. Is b a multiple of 9?
False
Let k(n) = -n**3 - 9*n**2 - 8*n + 1. Let u be k(-8). Let r be 1 + (u + 2)*1. Let v(i) = 4*i + 5. Does 10 divide v(r)?
False
Is (1 + 6/(-4))*42*-15 a multiple of 13?
False
Let y = 19 - 12. Does 7 divide y?
True
Does 22 divide (-110)/4*84/(-35)?
True
Suppose -5*t = -263 - 1027. Suppose n - 35 = -3*v + t, -n + 5 = 0. Is v a multiple of 18?
False
Let g(l) = l**3 + 10*l**2 + 6*l + 2. Does 4 divide g(-9)?
False
Suppose -3*d + 6*d = 12. Suppose c - 25 = -d. Is c a multiple of 7?
True
Suppose -2*z - 8*z = -2930. Does 11 divide z?
False
Let w = -16 - -20. Suppose 48 = w*u - 8. Is u a multiple of 7?
True
Suppose 3*v + 2 + 6 = 5*h, 0 = 5*v + 4*h - 36. Suppose v*k - 73 = -17. Suppose 2*l - 70 = -5*p, p + 0*p + 3*l = k. Does 14 divide p?
True
Let l(c) = -34*c. Suppose -5*i - 9 = 2*p, 2*p + 0*i = 2*i + 12. Suppose 0 = -4*r + 20, -2*y = -3*y + p*r - 16. Is l(y) a multiple of 14?
False
Let x = -120 + 171. Suppose 4*r + x = -73. Let z = -22 - r. Is 7 a factor of z?
False
Let p = 1 + 2. Suppose p*d = y + 88, d = 6*d + y - 160. Is d a multiple of 15?
False
Suppose 5*u - 2*l = 334, 281 = -0*u + 4*u + 3*l. Does 4 divide u?
True
Let b(n) = 2*n - 1. Let w be b(2). Let c(k) = 3*k**2 - 4*k + 3. Is 18 a factor of c(w)?
True
Let h(p) = p**2 + 6*p - 6. Suppose -7*y + 11*y = 16. Is h(y) a multiple of 9?
False
Suppose 0 = 4*l - 6*l. Suppose l*c + 4*c - 148 = -3*j, 106 = 3*c + j. Is 23 a factor of c?
False
Let x(g) be the first derivative of g**2/2 + 14*g - 1. Let m be 3/9 + (-3)/9. Is 12 a factor of x(m)?
False
Let a(f) = f**3 + 11*f**2 + 12*f + 26. Is 6 a factor of a(-10)?
True
Let z = 361 + -257. Does 13 divide z?
True
Let g(t) = 2*t + 2. Let a(v) = 1. Let j(s) = 5*a(s) - g(s). Let i be j(2). Is i + (1 - 1) - -49 a multiple of 14?
False
Let h = -23 - -28. Suppose -4*a - 2*n + 25 = -3*n, -2*n + 41 = h*a. Is 7 a factor of a?
True
Let v = 297 - 71. Is 16 a factor of v?
False
Suppose 3*i + 2*i + 75 = 0. Let o(t) = -t**3 - 14*t**2 + 14*t + 7. Does 11 divide o(i)?
True
Suppose -l = 3 - 4. Let z be 1 - (1 + 2 + l). Is (18/(-15))/z*15 a multiple of 6?
True
Let v(x) be the second derivative of -x + 3*x**2 + 1/12*x**4 - 7/6*x**3 + 0. Is 14 a factor of v(8)?
True
Suppose -2*g = 5*t - 52 - 61, 0 = -4*g + 4*t + 296. Is g a multiple of 23?
True
Let o = -155 - -210. Is o a multiple of 4?
False
Does 32 divide 8*7/((-7)/(-4))?
True
Let v be (10/15)/(2/(-9)). Let m(c) = c**3 + 3*c**2 + 4. Let d be m(v). Suppose -d*n + 156 = 2*f, -2*n + 4*f - 53 = -141. Is n a multiple of 11?
False
Let h be -19*(3*-1)/(-3). Let b = h + 72. Let u = b + -27. Is 13 a factor of u?
True
Let h(b) = 2*b - 1. Let k be h(3). Suppose 5*y - 5 = -5*i, k*y + 16 = 5*i - 9. Is (9/i)/1*2 a multiple of 6?
True
Does 6 divide 13 - 10 - (-22 + 1)?
True
Suppose r + 0*r = b - 25, 2*b + 3*r = 65. Is 7 a factor of b?
True
Let m(y) = -2*y**3 - 4*y**2 - 2*y. Is m(-3) a multiple of 5?
False
Let d(k) = -k**2 + 14*k - 12. Does 9 divide d(8)?
True
Let s(l) = -l**2 - 2*l. Let h be s(-2). Let z = 7 + -5. Suppose h = 2*t + z*t - 160. Is t a multiple of 10?
True
Let y = -33 + 53. Is y a multiple of 20?
True
Let w = -15 + 127. Does 16 divide w?
True
Let g be 116/36 + (-4)/18. Suppose k = g*z - 12 - 11, 2*k = 3*z - 22. Is z a multiple of 4?
True
Suppose 7*w - 5*w - 58 = 0. Is w a multiple of 8?
False
Let u = 1 + -1. Let v(d) = u - d**2 - 10*d - 2*d - 11. Is v(-9) a multiple of 9?
False
Let j(g) = 28*g**2 + 12*g - 26. Is 21 a factor of j(3)?
False
Let r(k) = 2*k**2 - k - 3. Let s be r(6). Let x = s + -45. Is x a multiple of 6?
True
Suppose 0 = 2*v - 0*v - 26. Suppose 3*a - v = 11. Is a a multiple of 2?
True
Let f be (-1)/(-3)*(3 - 3). Suppose -4*j + 12 = 2*g - f*j, 0 = -g - j + 1. Is 4/(-8) + (-10)/g a multiple of 2?
True
Suppose 0 = -4*r - 5*l + 92, 5*l - 2*l + 42 = 3*r. Is 3 a factor of r?
True
Suppose -n = 2*d + 1, 8 + 1 = -3*d. Suppose 2*c + a = 29, -n*a = -c - a - 8. Does 4 divide c?
True
Suppose -18 = -5*w - 2*o, -2*w + o = -4*o + 16. Suppose -y + 85 = 5*a + 14, -w*a = -4*y - 24. Is 14 a factor of a?
True
Suppose -3*w - 22 = -4. Let g(z) = -3*z - 2. Is 8 a factor of g(w)?
True
Let m = 555 - 308. Does 13 divide m?
True
Let f = 12 - 8. Suppose -4*i = -5*k + 96, -84 = -f*k + 6*i - i. Does 8 divide k?
True
Let q(b) = -b + 10. Let r be q(7). Suppose -2*w - 3*z + 4 = -9, -z = w - 6. Is (-17 + w)/(r/(-2)) a multiple of 8?
True
Let h = -1 - 7. Let a(u) = -u - 2. Does 3 divide a(h)?
True
Let r(n) = -3*n + 6. Is r(-7) a multiple of 9?
True
Let a(n) = -42*n**3 + 3*n**2 + 4*n + 2. Is a(-1) a multiple of 11?
False
Suppose 0 = -4*x - x + 25. Does 5 divide (-1)/((-2 - -1)/x)?
True
Let l(v) = v**2 + 8*v + 2. Let a be l(-8). Suppose 2*x = -5*h + 104, a*h - 6*x - 53 = -3*x. Is 22 a factor of h?
True
Suppose 3*y + 29 = -4*n + 2*y, n = -3*y - 21. Let x be ((-47)/3)/(2/n). Suppose 2*r - x = q, r = -4*r - q + 135. Is 13 a factor of r?
True
Suppose -2*d + 141 = n, 80 = -4*d - 3*n + 363. Is d a multiple of 30?
False
Suppose 3*f - 66 = -2*p, -3*p + 17 = 3*f - 85. Is 18 a factor of p?
True
Let l = -4 - -7. Let y(m) = 2*m + 1. Does 7 divide y(l)?
True
Suppose 3*j - 76 = j. Suppose 12 = 2*l - j. Is 12 a factor of l?
False
Suppose -m - 2 = -l + 2*l, 4*l + 8 = -m. Suppose -5*w + 17 = 2*s, m*w - 3 = -w. Is 9 a factor of 16 - 1 - (s + 0)?
False
Suppose -5*v = -2*v. Suppose -3*y + 18 + 30 = v. Does 6 divide (24/(-16))/((-2)/y)