+ 68, 6*b - b = 3*n + 128. Is 6 a factor of b?
False
Let m = -8 + 12. Is 74 + 1 - 20/m a multiple of 21?
False
Let t = 1906 + 70. Suppose 7*k = -6*k + t. Is 14 a factor of k?
False
Let b = -61 + 71. Suppose b*t = -225 + 805. Is t a multiple of 14?
False
Suppose i = -3*z - i + 10, -4*z + 4 = -2*i. Let p(f) = 14*f**3 + 4*f**2 - 5*f - 2. Is 36 a factor of p(z)?
False
Let p(v) = -v + 18. Let s be p(12). Suppose -5*z + s*z = 252. Does 36 divide z?
True
Does 28 divide (-2 + -12)/(6 - 436/72)?
True
Let z(w) = -w**2 + 8*w + 7. Let m be z(8). Suppose -5*h = -u - 14, 0 = -2*h - 1 + m. Is 2 a factor of -3*u*(3 - 4)?
False
Let g(v) = 2*v + 32. Let p(x) = -x - 11. Let h be p(-11). Is 10 a factor of g(h)?
False
Suppose -14*t = 7*t - 19971. Is t a multiple of 12?
False
Suppose 4*n + 0*n - 309 = 3*v, -5*n = -5*v - 520. Let f = v + 215. Does 22 divide f?
False
Let m(d) = -17*d**3 - 2*d + 1. Let k be m(1). Let r(f) = f**2 + 5*f - 10. Let z be r(-7). Let q = z - k. Does 22 divide q?
True
Suppose 13*w - 300 = 18*w. Let g = w + 137. Does 11 divide g?
True
Suppose -6*c + 4*c = -110. Let x = 104 - c. Is 22 a factor of x?
False
Let i be 6/(-6) + 9/3. Does 21 divide 0 + 83 + i + -1?
True
Let w = 30 - 28. Does 18 divide 2600/36 - w*1/9?
True
Let u = 41 - 54. Let h = u - -24. Is 5 a factor of h?
False
Let f = 5096 + -2615. Is 32 a factor of f?
False
Let y(k) = 92*k + 372. Is 2 a factor of y(-3)?
True
Let c = -25 + 18. Suppose -2*f + 14 = -f + p, 70 = 5*f + p. Is (-63 - 1)*c/f a multiple of 14?
False
Let f be -1 - ((-4)/(-4) - 193). Let k = f + -128. Does 20 divide k?
False
Is 3 a factor of (-1)/(7/28) + (-3 - -505)?
True
Suppose 0 = -4*k - 10*d + 5*d + 229, -178 = -3*k - 5*d. Is k a multiple of 17?
True
Let w(x) = -x**2 - x + 230. Is 15 a factor of w(0)?
False
Let l = -886 - -1789. Is 47 a factor of l?
False
Let o(s) = 278*s - 855. Is o(9) a multiple of 31?
False
Suppose 7378 = 21*d - 5852. Is 42 a factor of d?
True
Let c = 2475 + -1460. Is 2/(-8) - c/(-28) a multiple of 6?
True
Suppose 42*c = 6*c + 6048. Is c a multiple of 28?
True
Let j = -1514 + 2170. Is 14 a factor of j?
False
Let p be (-1)/3 + 33/(-9). Let j(a) = -1. Let x(v) = 5*v**2 + 7*v + 9. Let n(o) = 5*j(o) + x(o). Does 14 divide n(p)?
True
Let n(v) = v**3 - 3*v**2 - 3*v + 5. Let u be n(4). Let k(l) = -13 + l**2 + 0*l**2 - 2*l - u*l. Is k(13) a multiple of 13?
True
Suppose -3*d + 45 = -3*q - 2*q, -q + 17 = 2*d. Let m = 15 - d. Suppose -65 - m = -2*s. Does 33 divide s?
False
Let j be (-3)/(-6)*0/5. Suppose 2*g + 4*g - 360 = j. Suppose 3*u - g = 48. Is u a multiple of 12?
True
Let t(u) = 37*u - 4. Let p be t(2). Let w = p + -54. Is 8 a factor of w?
True
Suppose -5*j - 219 = -i - 0*j, i - 210 = 2*j. Suppose i*r - 200*r = 76. Does 2 divide r?
False
Let t be 2/3 + (-12)/(-9). Suppose -46 = -3*o - z, o - t*z = 3*o - 28. Suppose -y = -o + 4. Is 9 a factor of y?
False
Let h(j) = -567*j + 420. Does 84 divide h(-8)?
True
Suppose -5*u + 24 = -u. Suppose -u = 3*o - 18. Suppose -3*c = 2*z - 37, -z + 9*c = o*c - 38. Does 23 divide z?
True
Let y be (-4 + -3)/((-3)/(-3*3)). Let f = y - -49. Is 9 a factor of f?
False
Suppose -4*w + 3*n + 15 = -2069, w - n - 522 = 0. Is w a multiple of 60?
False
Let o be 9/(-6)*(-30)/(-9). Let c(w) = w**2 + 7*w + 10. Let u be c(o). Suppose 5*h - 5*a + u*a = 110, 5 = -5*a. Is h a multiple of 7?
True
Suppose 2*i - 40 = 4*k, 2*k + 3*k = 3*i - 48. Is 24 a factor of (-9)/((-7)/140*(-10)/k)?
True
Suppose 60 = 13*u - 8*u. Suppose 3*i - 4*i = u. Let z = i - -38. Is 14 a factor of z?
False
Does 34 divide 986/(-4)*(-32)/4?
True
Let w = 82 - -581. Is w a multiple of 48?
False
Suppose 0*y = -2*y - 2*m - 26, 0 = 3*y + 4*m + 34. Suppose 180 = 10*l - 6*l. Does 2 divide y/l + 44/10?
True
Suppose 6*q - 93 = -27. Suppose 2*h + q = 69. Is h a multiple of 5?
False
Let a be (0 - 0)/(-5 + 4). Suppose y + 13 = 2*t, -4*t + a*t + 36 = -4*y. Does 17 divide -1 - (-21 + 8/t)?
False
Let h(z) = z**3 + 4*z**2 - 6*z - 2. Let m be h(-5). Suppose -m = -2*s + 1. Suppose 0*l = -s*l + 54. Does 9 divide l?
True
Suppose -r + 5*g + 85 = 0, -4*g + 266 = 5*r - 304. Is 15 a factor of r?
False
Suppose -53 = 3*j - 485. Suppose 2*a = -2*a - o, 0 = -3*a - 3*o. Suppose 3*z + 0 - j = a. Is 8 a factor of z?
True
Let x be (-6)/18 - (-10)/3. Suppose -t - 3*t - 13 = -5*p, 3 = -3*p - x*t. Is 8 a factor of (-6 - -9) + 21*p?
True
Is 41 a factor of (2583/35)/((-18)/(-120))?
True
Suppose k - 5*y = 618, k + y + 104 - 698 = 0. Is k a multiple of 23?
True
Suppose -k = -l + 104 + 80, -5*l + 4*k = -916. Is 45 a factor of l?
True
Let a be -2*1*(-2)/((-12)/(-9)). Suppose -2*b = -3*c - 54, -c + a*c - 34 = -b. Is 15 a factor of b?
True
Let r = 107 + -84. Let j = r - 12. Is 4 a factor of j?
False
Let f be 5/(15/(-2))*(-6)/1. Suppose b = -4*v + 96, -b - b - f*v = -184. Does 10 divide b?
False
Suppose -26217 = 5367*m - 5376*m. Is 89 a factor of m?
False
Let p(x) = -x**2 + 9*x - 4. Let v be p(6). Suppose 0 = -19*h + v*h + 40. Is 4 a factor of h?
True
Let i(q) = -5*q**3 - 7*q**2 + 11*q + 15. Is i(-6) a multiple of 7?
True
Suppose -3*g - 206 - 69 = -y, 4*g = -12. Is 7 a factor of y?
True
Let o = -475 - -743. Does 67 divide o?
True
Suppose -2*v + 1716 = 8*q - 4*q, 0 = -2*v - 5*q + 1715. Is 10 a factor of v?
True
Suppose -r + 32 = c, -3*r + 56 + 8 = 2*c. Suppose 0*z = z + c. Let s = z - -46. Does 9 divide s?
False
Is 46 a factor of 3 + 322 + (23 - 26)?
True
Let j(d) = -d**3 + 14*d**2 - 17*d + 9. Let h(t) = t - 1. Let i(g) = -3*h(g) - j(g). Is i(13) a multiple of 3?
False
Let r(w) = w**3 + 29*w**2 - 33*w + 19. Does 22 divide r(-30)?
False
Let x be ((-112)/(-42))/(4/(-6) + 0). Does 22 divide (2/x)/((-3)/396)?
True
Suppose -5*f = -19 - 11. Suppose -4*x + 3*n - 57 = -f*x, 2*x - 50 = 4*n. Does 9 divide x?
True
Let f = -308 - -684. Does 28 divide f?
False
Let x(d) = d - 1. Let b be x(6). Suppose -b = 2*o - 11. Suppose -28 = -o*c + c. Does 7 divide c?
True
Suppose -t - t - 60 = 0. Let v = 42 + t. Is 31 a factor of (-4 - 2)/(v/(-88))?
False
Suppose -3*j = -2032 - 1217. Is j a multiple of 7?
False
Let y = -5 + 8. Suppose -4 = -y*p + p. Does 11 divide p/(-3) - (-246)/18?
False
Let v = -37 + 35. Is (-4)/4*(-1)/(v/(-10)) a multiple of 2?
False
Suppose -15*h - 500 = -3935. Is h a multiple of 68?
False
Let k = -7 + 8. Let x(d) = 2*d**3 - 7*d**2 + 7*d - 8. Let i(a) = a**3 - a. Let j(p) = k*x(p) - i(p). Does 16 divide j(7)?
True
Let z(p) = -25*p - 29. Does 22 divide z(-22)?
False
Let b = -1739 - -3106. Is b a multiple of 67?
False
Let t = -7 + 4. Let m(w) = 14*w**2 - 2*w - 6. Let n be m(t). Suppose -y + n = y. Is y a multiple of 21?
True
Let d(x) = 16*x + 622. Does 5 divide d(-17)?
True
Suppose -3*i = -2*f + 24, -3*f + 0*i + 46 = -2*i. Suppose -12 = -v - 4. Let d = f - v. Is 7 a factor of d?
False
Suppose 0 = -5*w + 1 + 69. Let k = w + -12. Suppose -k*r - 154 = -5*h, 2*h + 34 = 3*h - 2*r. Is h a multiple of 6?
True
Let w(b) = -8*b - 5. Let l(p) = -p**2 - 8*p + 6. Let o be l(-9). Is w(o) a multiple of 10?
False
Let i(p) = 6*p - 2. Let g(n) = 13*n - 4. Let d(u) = 3*g(u) - 5*i(u). Does 31 divide d(15)?
False
Let g = -11 - -22. Let c = 11 - g. Suppose 33 = -c*b + 3*b. Does 7 divide b?
False
Let c(q) = -q**2 - 11*q + 14. Let t be c(9). Let x = -112 - t. Is 11 a factor of x?
False
Let o = -8 + 10. Does 17 divide -2 - (o + -4) - -17?
True
Let n(p) = -8*p - 92. Does 20 divide n(-19)?
True
Is 7 a factor of (3 - (2 + -182)) + -1?
True
Suppose 5*s - 7 = 8. Does 5 divide s*(-2)/4*-24?
False
Suppose -3*x + 2*n + 66 + 2 = 0, -x = -4*n - 6. Suppose x = r - 49. Is r a multiple of 25?
True
Suppose d + 4*t = 1054, d - 3*t = -t + 1048. Is 70 a factor of d?
True
Let h = -1546 - -2222. Does 13 divide h?
True
Let s = 20 + -19. Is 29 a factor of -346*s/(-2) + 1?
True
Let v be (-1 - (-201)/(-6)) + (-6)/(-12). Let x = 136 - v. Is x a multiple of 38?
False
Suppose -2*a - 3*a = 645. Let x = 254 + a. Suppose -45 = 5*w - x. Does 16 divide w?
True
Suppose 2*i - 3*b - 236 = 199, -5*i = 4*b - 1053. Is i a multiple of 3?
True
Let m(i) = 4*i**2 + 13*i + 2. Let n be m(-5). Let f = 36 + -52. Let j = f + n. Is j a multiple of 7?
True
Let r = -1649 - -5138. Is 19 a factor of r?
False
Let k = -803 + 1566. Is k a multiple of 16?
False
Is (-2)/8*70*-20 a multiple of 14?
True
Let f(p) = -p**3 + 9*p**2 - 13*p + 9. Let c