ple of 7?
False
Let s(x) = -3*x + 6. Let y be s(1). Suppose 0 = -4*t + y*l + 336, -2*t + 420 = 3*t - 5*l. Is t a multiple of 14?
True
Let r(q) = q**3 - 3*q**2 + 3*q - 7. Suppose -2*h = 2*b - 8, -3 = -2*h + b + 2. Let m be r(h). Is 10 a factor of m/(-3) - (-1098)/27?
True
Suppose 5*n = -4*j + 287, 25*n - 3*j + 53 = 26*n. Is n a multiple of 10?
False
Let v(a) = 3*a**2 - a + 1. Let d = 19 + -15. Is 7 a factor of v(d)?
False
Let b(q) = -11*q**3 - 29*q**2 - 7*q - 5. Let w(g) = 5*g**3 + 14*g**2 + 4*g + 3. Let s(c) = -6*b(c) - 13*w(c). Is s(10) a multiple of 28?
False
Is 11*(-652)/16*-4 a multiple of 11?
True
Suppose -508*d + 503*d + 610 = 0. Does 32 divide d?
False
Suppose 3*a + 5*x - 26 = 0, -2*a + 2*x - 20 = -4*a. Let d = -188 - -185. Does 15 divide (-8)/a + (-92)/d?
True
Suppose 2*i + 2*i + 148 = 0. Suppose 13*g - 156 + 13 = 0. Let b = g - i. Does 12 divide b?
True
Let i(j) = 6*j + 36. Let d be i(-8). Is (18/d)/(2/(-36)) - 3 a multiple of 3?
True
Suppose 0 = -12*i + 9 + 15. Suppose a - 4 = -2, -i*n = 2*a - 54. Does 3 divide n?
False
Suppose 0 = 30*c - 35*c + 15. Suppose -2*d - d + 5 = -5*i, 0 = 2*d - 3*i - 4. Suppose d = -w, q + 4*w + 1 + c = 0. Is 11 a factor of q?
False
Let k = -511 - -841. Is 11 a factor of k?
True
Let c(r) = 5*r**3 + 2*r - 2. Let z = -6 + 8. Suppose d = z*d - 2. Is c(d) a multiple of 21?
True
Suppose 42*o = 69*o - 112779. Is 91 a factor of o?
False
Suppose 0 = 4*s + z, s + 7 = -0*s - 2*z. Let u(n) = 24*n**2 - 2*n + 2. Does 8 divide u(s)?
True
Suppose 3*w + 42 = -3*x, 6*w - 2*w + 65 = -5*x. Let o(k) = 5 + 21 - 2*k - 36. Is 3 a factor of o(x)?
False
Let y(i) = i**3 - 5*i**2 + 40*i - 124. Is y(14) a multiple of 22?
True
Suppose -14 = y - 0*y. Let f = y + 8. Is 1*f*-4 - 0 a multiple of 24?
True
Let s = -20 - -17. Let f be 14/s + (-4)/12. Let n = f - -10. Is 4 a factor of n?
False
Let t = 546 - 480. Is 14 a factor of t?
False
Does 35 divide (-38490)/(-55) - 4*(-1)/22?
True
Suppose -3*i + r = 44 - 350, 2*i - r - 205 = 0. Suppose -4*c + 4*u = -5*c + 30, 0 = 4*c - 3*u - i. Is 13 a factor of c?
True
Let v = 1457 - 978. Let z = -314 + v. Does 11 divide z?
True
Suppose -4*k + i = -9*k + 1929, 3*k - 1167 = -3*i. Suppose 4*c + 308 = -5*r, -5*c + 0*r - k = r. Is 3 a factor of 117/7 - 22/c?
False
Suppose -40*a + 2550 = -6*a. Does 9 divide a?
False
Suppose y + 7*y = 312. Does 6 divide (y/6 + -5)*(-40)/(-6)?
False
Suppose 8*w - 4*w = 16. Suppose 0 = 4*z - 5*l - 7, -z = 3*l - 2*l - w. Suppose -80 - 46 = -z*b. Does 17 divide b?
False
Suppose -3045 = -11*f + 2092. Is 9 a factor of f?
False
Let i(h) = 9*h - 8. Let o(q) = 5*q - 4. Let f(t) = -6*i(t) + 11*o(t). Let n be f(-4). Suppose m + 5*r = -n*m + 45, 196 = 5*m - 4*r. Is m a multiple of 20?
True
Is 4 a factor of 158*(-5 - 130/(-20))?
False
Let t = 1244 - 2620. Is t/(-32) + (-1 - -2) a multiple of 7?
False
Suppose 25*k - 751 = 1449. Is k even?
True
Let f be (-10)/((-5)/4 - -1). Is 13 a factor of (f/(-30))/((-2)/57)?
False
Suppose -33*h = 10*h - 1935. Is 21 a factor of h?
False
Let f(w) = w - 1. Let m(x) = -17*x + 2. Let u(r) = 33*r - 3. Let o(y) = -7*m(y) - 4*u(y). Let v(z) = -3*f(z) + o(z). Is v(-2) a multiple of 11?
True
Let t(w) = -w**2 + 40*w - 191. Is 23 a factor of t(15)?
True
Let d = 294 - 897. Is (-24)/(-2)*d/(-36) a multiple of 22?
False
Suppose 4*x - 2*x - 8 = 2*k, 5*x - k - 4 = 0. Suppose x = w - 0*w - 27. Is w a multiple of 9?
True
Is 28 a factor of (-1 - (-1)/(-1)) + 18658/19?
True
Suppose 3*h + 1 = 5*r, -r + 3*h = 7 - 0. Suppose -4*j + 18 = -n, 2*n + 8 = r*j - 4. Suppose -j*d + 64 - 8 = 0. Is 4 a factor of d?
False
Let i(k) = -k + 1. Let n be i(-4). Suppose -16 = -5*o - 2*l, -n*l = -4*o - 0*l - 7. Suppose r - o*r - 4 = 0, 0 = 4*f - r - 268. Does 19 divide f?
False
Let r be (-2)/(-6)*(168 - -6). Let s = -100 + r. Let p = s + 110. Is p a multiple of 13?
False
Let d(g) = -6*g + 2. Let f(u) = -u. Let o(h) = -d(h) + 8*f(h). Is o(-17) a multiple of 11?
False
Let s(j) = -2 + 1 + 4*j + 4. Does 7 divide s(1)?
True
Suppose -61 = 5*d + 4. Let n(f) = -f**2 - 15*f - 12. Does 14 divide n(d)?
True
Suppose -7*g = 2*g - 864. Is g a multiple of 24?
True
Let v = 647 - -577. Is 18 a factor of v?
True
Let l be 98/(-9)*-3*(-2 - 1). Let d = l - -125. Is d a multiple of 9?
True
Does 30 divide (-3)/1 - (2 + 2745/(-9))?
True
Suppose -25 = -6*p + 41. Suppose p = d - 14. Suppose a - 14 = d. Is a a multiple of 13?
True
Suppose 4*g - 230 = -2*w, 7*g = w + 2*g - 150. Let p = -80 + w. Is p a multiple of 14?
False
Let x(m) = 6*m - 6. Let t = -3 + 6. Let l be -3 + 8/3*t. Is 7 a factor of x(l)?
False
Suppose -17*l + 145 = -12*l. Let s = -7 + l. Let y = 60 - s. Is 9 a factor of y?
False
Suppose c = 1 + 4. Suppose 0 = -2*k - 4*r + 24, -c*k - 5 = -4*r + 5. Is ((-2)/(-6))/(k/186) a multiple of 31?
True
Does 6 divide 2055/18 - (-8)/(-52 - -4)?
True
Let h = -7 + 7. Suppose 4*i + h*k = -5*k + 547, 5*i = -k + 710. Suppose -3*r - 5 = -x + 45, i = 3*x - 2*r. Does 21 divide x?
False
Let j = 53 - -720. Suppose 0 = b - z - 188, -b + 5*b - j = -3*z. Does 26 divide b?
False
Does 7 divide 44/(-572) - 365/(-13)?
True
Let d(l) = l**2 + l + 85 - 3*l - 3*l**2 + 3*l**2 - l**3. Is d(0) a multiple of 17?
True
Let a(i) = 14*i + 1. Suppose 3*r + 5 + 1 = 0. Let x be a(r). Let k = -12 - x. Is 4 a factor of k?
False
Let q be (-45)/(-12) + -4 - 9/(-4). Suppose -q*l - 11 = -21. Is 5 a factor of l?
True
Let x(i) = 5*i**2 + 35*i - 34. Is 8 a factor of x(-17)?
True
Let f(u) = -u**3 - 5*u**2 + 20*u - 4. Let a be f(-9). Suppose a - 497 = -7*o. Does 17 divide o?
True
Let k(o) = 3*o**3 - 2*o + 2. Let x be k(1). Suppose x*p = p - 10. Let a(z) = -z**3 - 2*z**2 - z - 5. Is 25 a factor of a(p)?
True
Let g = -115 + 1265. Is g a multiple of 20?
False
Let y(p) = -15 + 41 - 15 - 13 - 8*p. Does 25 divide y(-5)?
False
Is 32 a factor of (-1460)/(-2) - (-30 - -29)?
False
Let s(p) = 6*p + 2. Let m be s(1). Is 10 a factor of ((-2)/m)/((-15)/4980)?
False
Suppose c - 221 = -3*a + 265, -3*c = a - 1434. Does 26 divide ((-2)/3 - -1)*c?
False
Suppose 0 = 3*g - 4*g + 142. Suppose -3*r - 4*w = -0*r - g, -2*r + 4*w = -68. Does 21 divide r?
True
Let p(a) = a - 2*a - 5 - 2*a + 3 - a**2. Let o be p(-3). Is 17 a factor of 65 + (2 - (o + 3))?
False
Is 6 - (2124/16)/((-6)/16) a multiple of 6?
True
Suppose -6 = -2*x - x. Suppose -84 = -4*k - 3*d + x*d, k = -d + 18. Does 11 divide k?
True
Let r(k) = 5*k**2 - k + 6. Suppose 8 = 3*s - 2*a, 0 = -5*s + 2*a + 2*a + 14. Does 8 divide r(s)?
True
Suppose -4*w + 5 = -3*l - 9, -3*w - 2*l = -19. Suppose 3*b + 5*n + 343 = 7*b, w*n = b - 67. Does 7 divide b?
False
Suppose -4*k - 20 = -w, -3*w - 3*k = -0*w + 15. Suppose 4*d - 332 - 340 = w. Is d/(-9)*3/(-2) a multiple of 14?
True
Let r(h) = h**2 - 5*h + 4. Suppose -2*y - 2*b + 7 = -5, 2*b = 4*y - 18. Let l be r(y). Suppose -154 = -3*f - l*f. Does 3 divide f?
False
Suppose 3*b + 3 = 2*b. Let c be (3/b - -3) + -41. Let x = c - -61. Is x a multiple of 9?
False
Let p(d) = 4*d + 12. Let x be p(-2). Suppose 135 = x*n + 3*l, 4*n - 5*n - 2*l + 35 = 0. Is n a multiple of 11?
True
Suppose -4*x + 5 + 71 = 0. Suppose -r + 2*r - 12 = 5*w, r + 2*w - x = 0. Is r a multiple of 17?
True
Let i(x) = -x**3 - 6*x**2 - 5*x + 3. Let a be i(-5). Suppose 0 = -a*k + p + 235, -5*k + 5*p + 319 = -76. Does 13 divide k?
True
Suppose 4*j - 106 = -10. Is 12 a factor of j?
True
Suppose -6 = -5*g - 2*z, 4*z = -6 - 2. Suppose -g = 2*u - 86. Is 21 a factor of u?
True
Suppose 0*d + 2*d + 32 = 0. Let t be (d/(-20))/((-3)/(-15)). Does 36 divide -2 + t + -2 + 72?
True
Suppose -20*g + 26*g - 3198 = 0. Does 13 divide g?
True
Let r = -50 + 48. Does 21 divide (15/(-30))/(r/296)?
False
Let y be (-1 - 0)/((-1)/5). Let m = 366 - 261. Suppose 135 = 4*o + b, 3*o + y*b = 3*b + m. Does 15 divide o?
False
Let i(t) = -2*t + 54. Let j(a) = a**3 + 11*a**2 - 12*a + 5. Let r be j(-12). Suppose -2*x - 2*w - 10 = x, -r = x + w. Is 19 a factor of i(x)?
False
Is 6 a factor of (-1 + (-6)/(-18))*-102?
False
Let j(z) = -25*z**2 - 22 - 4*z**3 + 4*z**2 + 0*z**3 - 16*z + 5*z**3. Does 20 divide j(22)?
False
Let l(f) = -f**3 - 15*f**2 - 12*f - 62. Does 9 divide l(-16)?
False
Let t(c) = 4*c**2 - 20*c + 16. Is 11 a factor of t(-10)?
True
Let a be (-15)/10*(-5 - -3). Suppose 0 = -i - a*i + 56. Is i a multiple of 7?
True
Let i(p) = 68*p + 2. Is i(11) a multiple o