. Is (2 + -3)/y + 15 a multiple of 14?
True
Suppose 3*n + 28 = -4*a - 2*n, -2*a - 3*n = 14. Let q be (-1 + a)/(6/(-147)). Suppose -q = -6*j + 2*j. Is 17 a factor of j?
False
Suppose 9 = 6*z - 15. Suppose 0 = -z*o + 35 + 1. Suppose -o*x = -13*x + 8. Is x a multiple of 2?
True
Let a = 3 + -1. Suppose -2 = 3*g - 11. Suppose 0 = g*d + x - 169, 2*x - 173 = -5*d + a*d. Is d a multiple of 13?
False
Let h = 14 + -10. Suppose -5 = -4*i - 5*n + 10, 4*n = h*i - 60. Does 10 divide i?
True
Let b = 106 + -56. Suppose -152 = -5*z + 4*w, 2*z - w - b = -3*w. Does 14 divide z?
True
Let i be 8/8*1*19. Suppose i = 5*d - 6. Suppose 112 = d*r - 38. Is r a multiple of 15?
True
Suppose -66 = -17*g + 1413. Is 14 a factor of g?
False
Let f(m) = 17*m + 26. Let h be f(8). Let j = h + -84. Is j a multiple of 39?
True
Let s(x) = x**2 - 15*x + 1. Let j be s(15). Let b(a) = 70*a + 3. Is b(j) a multiple of 27?
False
Suppose 2*w + 4*v - 156 = -0*v, -3*w + 198 = -3*v. Let n = w - 31. Does 32 divide n?
False
Let v(p) be the first derivative of -3*p**2 - 42*p + 1. Is v(-12) a multiple of 15?
True
Let d = 229 - 204. Is d a multiple of 5?
True
Is 4 a factor of 5*(-28)/(-105)*354/4?
False
Let l be 3 + 468/45 + 4/(-10). Suppose 3*w = i + 185, -2*w = 5*i - 87 - 8. Suppose l*r = 16*r - w. Is 8 a factor of r?
False
Suppose -3*r + 128 = -2*p, 4*p - 6*p - 86 = -2*r. Is r a multiple of 7?
True
Let x = -50 - -26. Suppose 23 = 8*o - 1. Is 6 a factor of (o + x/9)*27?
False
Suppose 0 = 5*l + z - 41 + 16, -l + 2*z = 6. Let c(f) = 3*f**2 + 8*f - 8. Does 4 divide c(l)?
True
Let h(l) = l - 2. Let x be h(2). Let o(b) = b + 66. Let v be o(x). Does 5 divide 1662/v - 4/22?
True
Let j(d) = 5*d**2 + 8*d + 2. Let z be j(-1). Is ((-2)/12*-52)/(z/(-3)) a multiple of 13?
True
Suppose -3*g + 2*g - 180 = 0. Is 4/(2/2) - g a multiple of 49?
False
Suppose 5*m + 5 = -15. Is (20/m)/5 - -55 a multiple of 27?
True
Let t = -374 - -782. Does 17 divide t?
True
Let c = 21 - 30. Suppose -4*f + 8 = -4*a - 40, -2*a = 2*f - 36. Let l = c + f. Is l a multiple of 6?
True
Suppose 34 - 10 = 8*y. Suppose 0 = -4*t - y*t + 189. Does 5 divide t?
False
Suppose 2*q = -5*r + q - 6, 4*r - 4*q + 24 = 0. Is r/(-9) + (-5)/(135/(-561)) even?
False
Let j = -2 - -2. Let u(g) = -5*g**3 - 3*g**2 - 3*g. Let y be u(-3). Suppose j*i = 3*i - y. Does 13 divide i?
True
Is 3/6*1215 - 18/36 a multiple of 53?
False
Let b(k) = 4*k - 29. Let o = 50 + -29. Is b(o) a multiple of 11?
True
Let n(o) = o**2 + 6*o + 1. Let h be n(3). Let f = h - 1. Does 9 divide f?
True
Let d be -3 + (0/2 - -4). Is 32 a factor of 5/d*(13 + 1)?
False
Let o = -13 - -8. Let j be -1 - (0 + (o - -3)). Let s = j - -63. Does 16 divide s?
True
Let r(q) = q - 7. Let i be r(-9). Let z = i + 22. Suppose 2*m = z*m - 16. Is 2 a factor of m?
True
Suppose 2*r + 10 = -4. Let n = r + 12. Does 9 divide 180/n*(-1)/(-2)?
True
Let l(a) = 3*a - 9. Let p(f) = -2*f + 4. Let w(y) = -4*l(y) - 7*p(y). Let v(n) = -n**2 - 16*n + 24. Let m be v(-17). Is 22 a factor of w(m)?
True
Suppose 0*h = -16*h + 3072. Is 5 a factor of h?
False
Suppose m + 15069 = 5*s, -48*s + 43*s + 4*m + 15081 = 0. Is 131 a factor of s?
True
Suppose -2*g + 2 = -2. Suppose -b - 14 = -3*b + 5*t, 0 = -t + g. Is 3 a factor of b?
True
Suppose 4351 = 24*g - 14945. Does 7 divide g?
False
Let u(w) = -w**2 - 8*w + 12. Let r(p) = p**2 + 8*p - 13. Let o(b) = 3*r(b) + 4*u(b). Let f be o(-8). Let v = 3 + f. Is v a multiple of 3?
True
Let s(k) = -8*k + 4. Let n be s(8). Let u = -47 - n. Is 2 a factor of u?
False
Suppose 64*o = 13*o + 4845. Is 3 a factor of o?
False
Suppose i = w + 225, 105 = 4*i - 2*w - 799. Let k = i - 371. Let o = 219 + k. Is 19 a factor of o?
False
Let k(o) = -7*o - 2. Suppose 4*f + 5 = -n, 3*f - 40 + 10 = -3*n. Let i be k(n). Let v = -57 - i. Does 10 divide v?
True
Suppose 4*d - 5*d = -11. Let j = -7 + d. Suppose -4*w + j*n = -80, -4*w + 93 = 3*n + 27. Is w a multiple of 4?
False
Let k = 518 - 227. Does 7 divide k?
False
Suppose -2600 = -13*w + 8*w. Does 26 divide w?
True
Let b = 32 - 24. Is 19 a factor of 488/b - (-1 - -2 - -3)?
True
Suppose 8*y - 6206 - 5890 = 0. Does 8 divide y?
True
Suppose -3*h - 4*m = -6, -5 = -5*h + 3*m + 5. Suppose p = h*p - 15. Does 10 divide p?
False
Let o be 0*(1 + (-9)/6). Suppose o*m = -3*m. Suppose -2*w + 54 + 10 = m. Is 6 a factor of w?
False
Let f be 105 + (-4)/4*-1. Let r = f - 26. Does 19 divide r?
False
Let i(q) = -110*q**3 + 2*q**2 - 3. Let s be i(-2). Let d = -1431 + s. Is (4/6)/((-7)/d) a multiple of 13?
True
Suppose -2*b + 215 = 5*l, 215 = 5*l - 2*b - 0*b. Suppose -w + l = -30. Suppose 4*n = -5*g + 264 - 93, -2*n + w = 5*g. Does 15 divide n?
False
Suppose 0 = -5*n - 2*c - 225 + 1389, 2*n - c - 471 = 0. Does 18 divide n?
True
Let b(l) = -2*l + 47. Let m be b(15). Suppose -232 = -m*z + 15*z. Does 9 divide z?
False
Let n be ((-15)/45)/(2/(-36)*2). Suppose -5*p + 3*h - 169 = -6*p, 4*p - n*h = 721. Does 24 divide p?
False
Suppose 8*d - 5*d = 4*x + 675, 230 = d - 3*x. Is d a multiple of 56?
False
Suppose -d + 14*t = 16*t - 66, -2*d + 3*t = -139. Is d a multiple of 4?
True
Suppose 20*f - 56 = 744. Is 15 a factor of f?
False
Does 14 divide 3 - (-407 + (-48)/(-6))?
False
Let o = -263 - -908. Does 43 divide o?
True
Let o(x) = -x**3 + 34*x**2 + 43*x - 17. Does 25 divide o(35)?
False
Let d(c) = 307*c - 138. Is d(4) a multiple of 10?
True
Suppose -2*u = o - 0*u - 8, -3*o - u + 14 = 0. Suppose j + 62 = 5*w - o*w, -5*w = -j - 330. Is w a multiple of 10?
False
Let a(v) = -17*v + 6. Suppose 0 = 3*h + 21 + 6. Let x be a(h). Suppose 0 = -l + 4*l - x. Is l a multiple of 10?
False
Suppose -6*u = -7*u - 167. Does 11 divide (-4)/8 - u/2?
False
Suppose -8*l + 14*l = 1008. Does 8 divide l?
True
Let t(z) = -z**3 - 15*z**2 + 23*z + 17. Is t(-17) a multiple of 13?
False
Let i(w) = -55*w - 27. Let b(s) = 14*s + 7. Let f(x) = 18*b(x) + 4*i(x). Is 37 a factor of f(5)?
False
Suppose 0 = 4*b - 0*b - 20. Suppose -f = -5*o + 292, o = b*f - 12 + 56. Is 10 a factor of o?
False
Suppose 3*w + 44 = 194. Is 16 a factor of w?
False
Let f = 8 - 11. Let m be (f/(-3) - 1)/(-1). Suppose m*b + 6*b = 216. Is 23 a factor of b?
False
Let u(v) = -v**2 + v + 1. Let m(a) = 3*a**2 - 2*a + 1. Let c(i) = m(i) + 2*u(i). Let d = 11 - 15. Is c(d) a multiple of 6?
False
Let v(w) = w**3 + 9*w**2 + 7*w + 6. Let d be v(-8). Suppose 3*c - 163 = d. Is 30 a factor of c?
False
Let g(y) = -52*y**3 + y**2 + y - 1. Let h be g(1). Suppose -3*a - 2*z + 69 - 288 = 0, 0 = 5*a + 3*z + 366. Let k = h - a. Is k a multiple of 8?
True
Let i = 7 + -2. Suppose -i*l + 2*l = 3*x - 102, 5*x = 3*l + 202. Let v = x - 0. Does 10 divide v?
False
Let x = -161 + 241. Is 47 a factor of x?
False
Suppose -4*p + 4 = 2*f - 6, -4*p + f = -13. Suppose 2*j + 2 = -4*s, 2*s + 0 + p = -3*j. Suppose 0*a - 2*a + 114 = s. Is 19 a factor of a?
True
Let j(p) = -p**3 - 3*p**2 + 3*p - 2. Let t be j(-4). Suppose -t*g = -g + 5*d - 13, -4 = -4*g - 4*d. Is 12 a factor of -59*(-1)/(-2)*g?
False
Let s be (-10)/6 - 442/(-78). Let m(k) = -2 + 0*k + 8*k + 0*k. Does 14 divide m(s)?
False
Let b(d) = 4*d**2 - 2*d + 5. Let o be b(-3). Let u be o/(-3) - (-3)/(-9). Let c = -1 - u. Is c a multiple of 3?
True
Let y = -686 + 1016. Suppose y = -3*x + 5*x. Suppose 4*s - 5*c = 208, 5*s - x = -2*c + 95. Is 22 a factor of s?
False
Let h = -921 - -964. Is h a multiple of 43?
True
Suppose 3*o = 12, -5*k + 10*k + 65 = -5*o. Let j = k - -92. Does 25 divide j?
True
Let i(p) = p - 3. Let r be i(5). Suppose 4*k + r*q + q + 183 = 0, k - 2*q = -54. Let u = k + 75. Is 12 a factor of u?
False
Let x(o) = -o - 6. Let i be x(-9). Suppose -8*j + i*j = -15. Suppose j*s - 80 = -4*z, s = 4*z + 3*s - 84. Is 8 a factor of z?
False
Suppose p - 4*f - 7628 = -2*p, -5*p + 12724 = -4*f. Is p a multiple of 26?
True
Is 6 a factor of (-795)/6*(168/40 + -9)?
True
Suppose v + 0 = 3. Suppose 5 = v*a - 2*a. Suppose -2*t - 3*h + 11 = 2*h, -a*t + 95 = -h. Does 6 divide t?
True
Let s(o) = o**2 + 2. Let i be s(0). Suppose 5*v - i = 18. Let r = v - -30. Is r a multiple of 17?
True
Suppose 0 - 18 = -6*h. Suppose 5*w + 1 + 4 = 2*r, -h*w = -3. Suppose -l - 6*i + 11*i + 88 = 0, -3*l = r*i - 204. Is 17 a factor of l?
False
Let p(f) = -19*f + 184. Is p(-5) a multiple of 31?
True
Suppose -3*b - 5205 = -q, q - 1329 = -4*b + 3911. Does 15 divide q?
True
Le