iple of 16?
True
Let n(j) = 10*j + 1. Let g be n(1). Let m be (-68)/g - (-14)/77. Is m/4*(-20)/2 a multiple of 3?
True
Let v = -14 - -8. Let f(a) = -13*a + 13. Is 16 a factor of f(v)?
False
Suppose -6*m + 4*a + 421 = -m, 5*a = 2*m - 182. Does 9 divide m?
True
Let s(a) = 2*a**2 + 5*a + 2. Let c be s(-3). Suppose -y = -5, 2*v + 2*v + c*y = 121. Is 8 a factor of v?
True
Suppose 0 = -3*h - 5*d + 214, -5*d + 14 - 424 = -5*h. Suppose 0 = -9*r + 120 + h. Is r a multiple of 11?
True
Let a be 3/(1/(-75)*3). Let l = 8 - a. Is 16 a factor of l?
False
Let l(h) = 2*h**2 - h + 37. Let g(f) = 3*f**2 - f + 55. Let j(q) = 5*g(q) - 7*l(q). Is j(0) a multiple of 12?
False
Suppose -3*g - j = 566, 4*g - 215 = -4*j - 967. Let x be 21/(-35) - g/15. Let z = x + 2. Is z a multiple of 3?
False
Suppose -12 = -s + 5*f, 2*s - 2*f - 6 = -f. Suppose -336 = -4*k + 4*m, -s*k + 4*m = k - 253. Is 15 a factor of k?
False
Let w(j) be the third derivative of -j**5/60 - j**4/4 - j**3/2 + 9*j**2 - 4. Is w(-3) a multiple of 4?
False
Is -2*(-7725)/24 + (-3)/(-12) a multiple of 14?
True
Let j(r) = -5*r. Let i(a) = 2*a**2 - 12*a + 9. Let o be i(5). Is 3 a factor of j(o)?
False
Suppose -k + 2035 = 2*a, -12*k + 9*k - 2*a + 6109 = 0. Does 34 divide k?
False
Let o(l) = -64*l**2 - 35*l**2 - 19*l**2 + l + 9*l**2. Let x be o(1). Let m = -71 - x. Is 8 a factor of m?
False
Let g(q) = -q**3 - q**2 - q - 1. Let u be g(0). Let v(k) be the second derivative of 49*k**4/12 - 4*k. Is 19 a factor of v(u)?
False
Let c be 171 + 3/3*-2. Let b = c - 89. Is b a multiple of 40?
True
Is ((-2984)/12)/((-4)/6) + -5 a multiple of 28?
False
Suppose v + 52 = -3*v. Let r be 1 + (-1 - 0) + -41. Let m = v - r. Does 9 divide m?
False
Suppose 50016 - 8766 = 30*i. Is i a multiple of 21?
False
Let w = 503 + -153. Is w a multiple of 7?
True
Let h = 43 + -48. Is 11 a factor of ((-192)/h - 5) + 2/(-5)?
True
Let s be 30/(-1 - 20/(-12)). Suppose s = 5*z - 3*r - 131, 5*r = 15. Suppose 4*k - 39 = z. Does 12 divide k?
False
Let s be -10*(2 - 12/15). Let y = s + 41. Let d = -21 + y. Is d a multiple of 4?
True
Let n(b) = b**2 - 8*b + 9. Suppose -12 = 3*w + 24. Let a = w + 20. Is n(a) a multiple of 7?
False
Suppose 5*x + 2*c - 5*c - 2390 = 0, x = c + 480. Does 93 divide x?
False
Let g be 15/5 - 2/(-1)*-38. Is -4 + (4 - 3 - g) a multiple of 7?
True
Suppose 3*h - 413 = 2*h. Suppose -5*s - 17 - h = 5*l, -3*s = 6. Does 7 divide (4 + -2)/((-8)/l)?
True
Let s = -8 + 12. Suppose r = -0*r - s. Does 10 divide (369/(-18))/(2/r)?
False
Suppose 0 = -3*g, u + g - 5*g = 12. Let y be (364/u)/(1/3). Suppose y - 281 = -5*d. Is 11 a factor of d?
False
Suppose 5*s + 14 = -46. Let d = 13 + s. Suppose 0 = 2*n - 8, 0 = -h + 5*n + 24 - d. Is 10 a factor of h?
False
Let j = -190 + 305. Does 22 divide j?
False
Let f = 130 - 43. Is f a multiple of 10?
False
Let x = -12 + 15. Suppose x*g - 235 = -5*b, -55 = -4*b + 3*b + g. Is b a multiple of 25?
True
Let k = -1404 - -3289. Is 29 a factor of k?
True
Let q = -551 - -791. Does 80 divide q?
True
Is 7 a factor of -7 + 9 - ((-4 - 261) + -1)?
False
Let p be (12/8)/(3/6). Suppose 0 = p*x - 12 - 21. Is 2 a factor of x?
False
Suppose 0 = -2*l + l - 21. Let m = l - -24. Is 3 a factor of m?
True
Is ((-29)/87)/(-1 - (-8214)/8217) a multiple of 17?
False
Suppose -r - 8 = -3*r. Let m(c) = 2*c - 4*c - 4 + 3*c + 2*c**2 - r*c. Does 15 divide m(7)?
False
Suppose -2*k = -4*k + 20. Suppose -5*j = -k*j + 15. Suppose i - 4*i - j*o + 39 = 0, -5*i + 3*o + 73 = 0. Is i a multiple of 14?
True
Let q = 78 - 68. Let v = -9 + 24. Let m = v - q. Does 5 divide m?
True
Let i(q) = 16*q**2 + 9*q - 18*q**2 + 2*q. Is 3 a factor of i(5)?
False
Suppose -42*t + 4725 = -35*t. Is t a multiple of 15?
True
Let f(l) = -3*l**2 - 4*l - 2. Let g be f(8). Let m = -65 - g. Suppose -5*n = o - m, 3*o - 10 = 2*n - 71. Is 14 a factor of n?
False
Let p be (-894)/(-36) + (-2)/(-12). Suppose z = -0*z + p. Does 25 divide z?
True
Suppose 152 = -3*b - 49. Does 22 divide (2 - b) + -1 + (-4 - -2)?
True
Is 10 a factor of (-9)/(-12) + (-2425)/(-20)?
False
Let g(s) = -2 + 4*s**2 - 3 + 5*s + 3 - 3*s. Let l be g(2). Let q = 75 - l. Is 25 a factor of q?
False
Suppose 0 = 4*h - n - n - 418, 203 = 2*h + n. Let v = h - 58. Is v a multiple of 45?
True
Suppose -5*z - 4*a + 0*a + 30 = 0, 4 = -3*z + 2*a. Suppose -290 = -0*w - z*w. Suppose 5*d - 5*v + v - 155 = 0, -5*d + 2*v + w = 0. Is 9 a factor of d?
True
Let u(n) = -13*n + 30*n + 4*n**3 - 5*n**3 - 12 + 14*n**2. Let f be u(15). Does 21 divide f/(-81) - 760/(-18)?
True
Let o(h) = 36*h + 6. Let g be o(6). Suppose 2*w = 5*z - g, 49 + 36 = -w - 4*z. Let u = w + 182. Does 12 divide u?
False
Let b be 6/10 + 168/20. Suppose -15 = 5*a + 5*u, b = -5*a + 3*u - 6*u. Suppose -3*x = -a*x - 72. Does 10 divide x?
False
Let s(j) = -j + 7. Let f be s(3). Suppose f = 3*q - 2. Suppose -q*o + 5 = -13. Is o a multiple of 9?
True
Suppose 0 = -k - k. Let c = k + 4. Is 17 a factor of ((-282)/(-9))/(c/6)?
False
Let w be 0 - (-4)/10 - 46706/965. Suppose k = -10 - 9. Let n = k - w. Does 7 divide n?
False
Is 103 a factor of 4*(7 + 1293/6)?
False
Suppose 4*z - 4*h = 16, 3*z = -z + h + 19. Suppose 0 = -z*n + 3*j - 46 + 290, -148 = -3*n + j. Is n a multiple of 34?
False
Suppose -3*v = k + 1 - 13, -2*k + 4 = 2*v. Suppose -y + 156 - 715 = -2*q, 1396 = v*q - 4*y. Does 14 divide q?
True
Let h be (-80)/(-35) - (-4)/(-14). Let z(l) = 2 + h*l**3 - 3*l + 0*l**2 + 2*l**3 - 5*l**2 - 6*l**3. Is z(-4) a multiple of 19?
False
Suppose -4*l = -5*f - 2015 + 476, 3*l - 1148 = 5*f. Is l a multiple of 4?
False
Suppose -g - 3*a + 714 = g, -5*a = 2*g - 706. Is 10 a factor of g?
False
Let m(z) = z**3 - 7*z**2 + 3*z + 20. Let s be m(6). Suppose d = 3*t + 22, -3*d - s*t = -4*d + 18. Is d a multiple of 3?
False
Does 51 divide -1 + 247086/117 - (-2)/13?
False
Suppose -12606 - 2605 = -7*t. Is t a multiple of 12?
False
Let d(o) = o**3 - o - 2. Let i be d(2). Suppose 3*n - 82 + 523 = 4*z, i*n = -12. Does 27 divide z?
True
Let y = 128 + -317. Let s = y - -431. Is s a multiple of 22?
True
Is -3 - (-332 + (-1 - -8)) a multiple of 14?
True
Is 9 a factor of ((-32)/(-96))/(2/216)?
True
Suppose 5 = -4*d + 13. Suppose d*y - 7*y + 60 = 0. Is 148/y - 4/(-6) a multiple of 4?
False
Suppose -3*f + 13 = -a - 411, 5*f - 710 = a. Is 13 a factor of f?
True
Let t(o) = 48*o - 165. Is t(5) a multiple of 15?
True
Suppose -15 = 4*i + 5, 0 = 4*g - 3*i - 147. Suppose -6*s - 3*o = -s - 173, s + o = g. Does 16 divide s?
False
Is 1225 - (-48)/8 - (1 - 1) a multiple of 66?
False
Let k(r) = 4 - 10 + r**2 - 9*r - 6. Is 5 a factor of k(13)?
True
Let y(r) = r**3 - r + 1. Let h be y(-2). Let x(s) = 5*s + 1. Let i be x(h). Let m = 36 - i. Is 15 a factor of m?
True
Suppose 5*k - 3*t - 10 = 2*t, 5*k = -2*t - 4. Suppose -5*h + 5*n = -35, -2*n + k*n - 50 = -5*h. Is 7 a factor of h?
False
Let q(z) = -2*z**2 + 59*z - 24. Is 53 a factor of q(26)?
False
Let o = 15 - 5. Let n(t) = -9 + 5*t + 4 - 19 + 0*t. Does 9 divide n(o)?
False
Let u(m) = 3*m - 11. Let y be u(9). Let i = 16 - y. Suppose -2*d + i*x - 5*x + 69 = 0, -d + 27 = x. Does 7 divide d?
False
Let a be (1/(-3))/((-1840)/612 - -3). Let u = a + -3. Is 6 a factor of u?
True
Let l = -342 + 1163. Does 24 divide l?
False
Is 31 a factor of 7 + (602 - -4) + 9?
False
Let g = 54 + -40. Is 40 a factor of 8/(13/(-140) - (-2)/g)?
True
Let s = -8 + 10. Suppose 3*k - 4*t = 80 + 196, 0 = -s*k + t + 189. Suppose 18 - k = -3*n. Does 13 divide n?
True
Suppose 3*h + 14 = -2*t + 8*h, 5*h - 5 = 5*t. Is ((-3129)/(-14))/(t/2) a multiple of 21?
False
Suppose 4*j + j = 15. Suppose j*t + t = -140. Let d = t + 51. Does 16 divide d?
True
Let i(v) = v**2 + 7*v. Let m(n) = n**3 + n**2 - 5*n - 4. Let j be m(-3). Let r be i(j). Let k(g) = -g**2 + g + 22. Does 11 divide k(r)?
True
Let f = -7 + 5. Let y(o) = -o**2 - 2*o. Let q be y(f). Suppose q*w - 3*w = -162. Does 18 divide w?
True
Let v(o) = -o**3 - 3*o**2 + 3*o - 8. Let a be v(-8). Suppose 11*s - 5*s = a. Does 12 divide s?
True
Suppose -2*j + 9 = -4*q + 1, -2*j + 5*q + 4 = 0. Suppose 2*l + 0*l + 14 = 4*p, -j = 4*l. Suppose -p*x + 150 = x. Does 25 divide x?
True
Let t = -878 - -1287. Is t a multiple of 38?
False
Let i(s) = -17*s**3 + s**2 - s - 4. Does 9 divide i(-2)?
False
Suppose 21 = 5*r - 4. Suppose 11 = -t - l - l, 100 = -r*t - l. Does 14 divide 