 c be z(-1). Suppose -c*l + 114 = -26. Suppose 0 = -3*h + 1 + l. Does 4 divide h?
True
Let b = 8 + 18. Is 26 a factor of b?
True
Does 4 divide 322/6 + 2 + (-24)/36?
False
Is 34 a factor of (-16)/(-28) - 710/(-7)?
True
Let f be (-16)/(-6)*(-549)/(-12). Suppose k + 126 = 2*b, -3*b = -k - f - 67. Does 26 divide b?
False
Let r(u) be the first derivative of u**4/4 - 8*u**3/3 + 3*u**2/2 + 9*u - 7. Is r(8) a multiple of 24?
False
Let p = -10 - -17. Is 3 a factor of p + (2 - 2 - 2)?
False
Suppose 4*z + 76 = -28. Does 13 divide (z/5)/(1/(-10))?
True
Let b(c) be the third derivative of -c**4/8 + c**3/6 - c**2. Suppose -5*w = 1 + 14. Is b(w) a multiple of 5?
True
Let q = 15 - 51. Let n = 69 + q. Is 10 a factor of n?
False
Suppose 0*l = -3*l + 111. Let t = l - 5. Is t a multiple of 6?
False
Let v = 49 - 21. Does 14 divide v?
True
Let i(a) = -a**3 - 4*a**2 - 3*a. Let u be i(-3). Let n = u - -5. Is 3 a factor of n?
False
Suppose 3*k = k + 46. Is 3 a factor of k?
False
Let w(j) = j - 3. Let o(z) = 2*z - 4. Let v(r) = -4*o(r) + 3*w(r). Is v(-7) a multiple of 27?
False
Is 10 a factor of (10 - 1)*7 - 1?
False
Suppose 0 = -5*s + 2*s + 96. Is s a multiple of 16?
True
Suppose 20 = w + w. Let j = w - -4. Is 5 a factor of j?
False
Suppose 5*a - 41 = 4*a. Does 15 divide a?
False
Let x = 4 - 3. Let y be 3/(-3) - (-4)/x. Suppose y*c + 7 = -8, 4*q - 89 = 5*c. Does 8 divide q?
True
Suppose -25 = -5*d + 10. Suppose -4*y + 5 + d = 0. Is 3 a factor of y?
True
Let m be 20/9 - 8/36. Let t(d) = -d + 1. Let l be t(m). Let o = l - -31. Is o a multiple of 10?
True
Let h = -15 + 11. Is ((-78)/(-4))/((-3)/h) a multiple of 14?
False
Let h(f) = -f**3 + 3*f**2 + 3*f + 3. Let k be h(4). Let l be (k - -1)/(1/(-1)). Let n(t) = t + 37. Does 13 divide n(l)?
False
Let f be 10/(-50) - 2/(-10). Does 6 divide (f/1 - 3) + 21?
True
Let m(j) = -j**3 - 6*j**2 + 7*j + 5. Let l be m(-7). Suppose -l*g + 57 = 7. Is 6 a factor of g?
False
Let y(j) = -j**3 + 2*j**2 + 3*j + 2. Suppose 3*r - 4*c = -5*c + 11, 4*c - 8 = 0. Let x = 6 - r. Does 2 divide y(x)?
True
Suppose 3*o - z - 2*z + 3 = 0, o = -4*z + 14. Suppose 2*b + 0*y - 130 = o*y, -5*y - 25 = 0. Is b a multiple of 16?
False
Let b be (170/(-15))/(2/6). Let g = 6 - b. Does 14 divide g?
False
Let l be (-9 + 8)/((-1)/4). Suppose -5*n - 37 = -2*v - l*n, -1 = -n. Does 19 divide v?
True
Let s(c) = -c**3 - 2*c**2 - 4*c - 3. Suppose 8*r - 4*r - u = -3, 2*r + 2*u + 14 = 0. Let z be s(r). Suppose -55 - z = -2*b. Does 10 divide b?
True
Is (-56 - 6/2)/(-1) a multiple of 11?
False
Suppose 8*t + 990 = 13*t. Does 32 divide t?
False
Let j = -2 - -1. Let g be (-48)/(-2) - (1 - j). Let x = g - -8. Is 20 a factor of x?
False
Let a(m) = -m**2 + 13*m - 4. Is a(5) a multiple of 12?
True
Let o(f) = 5*f + 1. Suppose -3*l = 0, h = 2*h - 3*l - 3. Is 16 a factor of o(h)?
True
Let s be (-14)/(-21)*-1*9. Let j(g) = g**2 + 6*g. Let i be j(s). Suppose i = -3*a - 73 + 259. Does 22 divide a?
False
Let w(p) = p**3 - 16*p**2 + 36. Does 4 divide w(16)?
True
Let u be (-1 - -4)*2/6. Let v(n) = 21*n - 1. Is 10 a factor of v(u)?
True
Suppose 3*v - 270 = -0*v. Let o = -54 + v. Is 12 a factor of o?
True
Let a be 8/(-12) - 50/(-3). Is 10 a factor of (-1)/(-2) - (-328)/a?
False
Let y = 9 - -29. Does 8 divide y?
False
Let n be 6/10 - 429/15. Let i be (-4)/14 + (-92)/n. Suppose -3*t + 3*s + 21 = 0, i*t + 7 = -2*s + 48. Is 8 a factor of t?
False
Suppose 3*k + 15 = 2*k. Let u be ((-2)/6)/1*6. Is 8 a factor of k/u*(-30)/(-25)?
False
Let n = 14 + -10. Suppose n*i - 4*c = 3*i + 10, 0 = 3*i + 3*c. Is 2 + 0 + (i - -3) a multiple of 5?
False
Let a(j) be the third derivative of 7*j**5/60 - j**4/24 + 4*j**2. Does 3 divide a(1)?
True
Is 33 a factor of (-1)/(-3) + (-822)/(-18)?
False
Let c = 4 + 40. Does 12 divide c/3*(-9)/(-6)?
False
Let c(j) = -j - 4. Let q be c(-3). Is q + 1 + 22 + 2 a multiple of 9?
False
Let u(t) = -23*t - 4. Let i be u(-2). Suppose -5*j = -3*x + 33, 3*j = 5*x - j - i. Does 4 divide x?
False
Let q(l) = 4 + 6 - 9 + l. Let n be q(1). Suppose -104 = -2*w - n*w. Does 15 divide w?
False
Let v be (-12)/(-9) - (-2)/(-6). Let h be (2/4)/v*70. Suppose -4*a = -0*j - 3*j + 125, -2*a + h = j. Is j a multiple of 16?
False
Does 18 divide 538/6 + (2 + 0)/6?
True
Suppose 4*l = 2*y + 38 + 168, 1 = -y. Is l a multiple of 6?
False
Suppose 5 = -0*x + x. Is x a multiple of 5?
True
Let p = -49 - -124. Is p a multiple of 25?
True
Let c = 7 - 5. Let z(w) be the first derivative of 7*w**3/3 - 3*w**2/2 + 1. Does 11 divide z(c)?
True
Let k = 82 + -44. Does 19 divide k?
True
Does 26 divide 9/(-15) + (-783)/(-5)?
True
Let r = -15 - -45. Let f be (15/10)/((-3)/28). Let q = f + r. Is q a multiple of 7?
False
Let k = -9 - -49. Is 10 a factor of k?
True
Let p = 451 - 286. Does 15 divide p?
True
Suppose 0 = -5*a + 25, -5*h = -a - 7 - 8. Suppose -2*o - 42 = -h*o. Is o a multiple of 7?
True
Suppose -110 = -4*x - 3*l, -4*x + l + 22 + 80 = 0. Does 3 divide x?
False
Let u = -4 - -8. Let g = -1 + u. Is 2 a factor of g?
False
Let i = 13 - 7. Suppose 0 = 2*x + c - i, -c = -4*c + 6. Does 11 divide 229/7 - x/(-7)?
True
Let s(z) = 5*z**2 + z + 2. Let q(f) = f - 11. Let u be q(9). Does 20 divide s(u)?
True
Suppose 0 = -4*d + 8, g + 19 = -d - 3*d. Let y = -19 - g. Is 10 a factor of 78/y + (-2)/(-8)?
True
Let w(x) = -x + 2. Let g(c) = -6*c**2 + c - 1. Let y be g(1). Let n be w(y). Suppose -n*b - 102 = -10*b. Is b a multiple of 15?
False
Suppose 160 = -6*s + 2*s. Let g = s - -62. Does 11 divide g?
True
Suppose -4*w - 38 = -10. Let u(t) = t - 4. Let s(v) = -2*v + 9. Let m(p) = 3*s(p) + 5*u(p). Is m(w) a multiple of 14?
True
Let n = 3 - 13. Let y be 5/(-15) + (-2)/3. Let z = y - n. Does 9 divide z?
True
Let h(d) = d**2 + 11*d - 5. Let y be h(-11). Let q(v) = -4*v + 3. Let r be q(y). Suppose -a - 9 = -r. Is a a multiple of 5?
False
Suppose 9*v - 214 = 4*v + z, 0 = 3*v - 4*z - 125. Is v a multiple of 18?
False
Let r = 6 - 3. Suppose -r*v = -14 - 73. Is v a multiple of 12?
False
Suppose -3*z + s - 4 = -s, 0 = -5*z + 5*s - 15. Suppose -3*x = -z*x + 25. Let u = 40 + x. Is u a multiple of 15?
True
Suppose -l + 6 = -0*l. Is l a multiple of 2?
True
Let v(z) = z**3 + 1. Let k be v(-1). Let b(x) = x**2 + 2*x - 4. Let f(q) = 6*q**2 + 11*q - 19. Let m(w) = -11*b(w) + 2*f(w). Is m(k) a multiple of 3?
True
Let n(h) = h + 30. Is n(5) a multiple of 15?
False
Let w = 0 - 1. Let h(z) = -8*z - 1. Let d be h(w). Suppose 2*y = -n - 0*n + 21, -y - 4*n = d. Is y a multiple of 13?
True
Let z = 88 + -73. Is z a multiple of 12?
False
Is ((-16)/6 + 3)*-3 - -38 a multiple of 7?
False
Let l = -29 - -48. Suppose -l = -4*s - 7. Suppose 0 = c - s*c + 8. Is 2 a factor of c?
True
Is 8 a factor of 96/(0 - -1) - (-2 + 2)?
True
Suppose -152 = 4*t - 6*t. Is t a multiple of 22?
False
Let p = 6 + 5. Let x(l) = -l**3 + 11*l**2 + l - 1. Is x(p) a multiple of 10?
True
Suppose -a + 73 = t + t, 0 = a + 3*t - 75. Suppose -g - a = -4*g. Suppose -j = 4*h - g, 3*j - 6 = h - 2. Is 3 a factor of j?
True
Does 6 divide (-464)/(-11) + (-10)/55?
True
Let n(g) = -g**2 + 6*g + 6. Let a be n(5). Let c(d) = -d**2 + 10*d + 15. Let b be c(a). Is 13 a factor of (2/b)/(3/108)?
False
Suppose -3*p = -4*y + y - 435, -25 = -5*y. Does 15 divide p?
True
Let d(c) = 5*c**2 - 24*c - 5. Let m(a) = 3*a**2 - 16*a - 3. Let w(z) = 5*d(z) - 8*m(z). Let p = -3 - 6. Is 8 a factor of w(p)?
True
Let y be 1 + (0 - -2) + -3. Suppose 0 = s - 2*f + 3, -f - 12 = -5*f. Suppose y = s*n + 3, 0*r + 5*n - 97 = -3*r. Does 17 divide r?
True
Let b = -52 + 91. Does 13 divide b?
True
Let j = 71 + -2. Does 7 divide j?
False
Suppose -3 = -s + 20. Suppose -1 = -4*h + s. Is 3 a factor of h?
True
Let y = 1 + 18. Let w = 9 - y. Let o = -2 - w. Is 3 a factor of o?
False
Suppose 0 = -6*y + y + 155. Let t = -22 + y. Is t a multiple of 9?
True
Suppose -4*u + 8*u - 5*b = -29, 0 = -2*u + 5*b - 27. Is 6 a factor of (-10)/u*15/6?
False
Let c = 2 + 1. Suppose z = -5*q - 5, 3*z - 2*q + q = 17. Suppose -3*i + z*h + 44 = 0, 2*i - c*i - 3*h = 4. Is 3 a factor of i?
False
Let f(n) = -7*n - 6*n + 14*n - 9*n**2 - n**3 + 13. Is f(-9) even?
True
Let d = 11 - 8. Suppose 2*y = 3*m - 3, y = -3*m + 5 - 2. Is m + -2*(-6)/d a multiple of 3?
False
Let g(k) = k**3 - 8*k**2 - 8*k - 11. Let c be g(9). Is (9 + 5)*c/(-7) a multiple of 2?
True
Suppose 10 = i - 11