 + 2*r + 12. Let i(z) = -z**2 + z + 1. Let g be 4/12 + (-2)/(-3). Let t(n) = g*d(n) - 6*i(n). Is t(8) a multiple of 19?
True
Let u = 8 - 3. Suppose 2*a + 12 = 5*a - u*p, -p + 2 = -5*a. Let w = a + 33. Is w a multiple of 16?
True
Suppose 3*l - 11 - 29 = -2*y, 2*y = 5*l - 40. Is l a multiple of 5?
True
Suppose u - 2 = -3*b - 1, -b - 2*u - 8 = 0. Let y(d) = 14*d + 1. Is 9 a factor of y(b)?
False
Let a(g) = 28*g**2 - 5*g. Does 17 divide a(2)?
True
Let f(a) = -a**2 + 1. Let n be f(-1). Suppose 4*p - 20 = n, p = -2*r + 2*p + 15. Does 5 divide r?
True
Let s be (-1 + 0)/(-1) - -2. Suppose s*b + 30 = 8*b. Is 6 a factor of b?
True
Suppose -103 = -5*p + 262. Is p a multiple of 18?
False
Let m(t) = -11*t + 2. Let o be m(4). Let z = -16 - o. Let v = 50 - z. Is 15 a factor of v?
False
Does 13 divide 53 - ((-3)/(-12) + (-18)/(-24))?
True
Let m(h) = -h**2 - 10*h - 9. Let i(s) = -s - 10. Let w be i(-4). Is 5 a factor of m(w)?
True
Suppose 5*s + 0*s = -4*z + 29, -23 = -5*s + 2*z. Suppose 3*r = -d - 4, -11 = -5*d - r - 3. Suppose -5*v - d*n + 22 = -5, v + 13 = -s*n. Does 7 divide v?
True
Suppose -4*d = -0*d. Suppose 5*l - 223 = -3*m, -5*m - 2*l = -d*l - 397. Does 27 divide m?
True
Let x(w) = w + 7*w**2 - 3 + 0*w**3 + w**3 + 0*w. Is x(-6) a multiple of 7?
False
Let r(n) = 42*n - 1. Suppose t + 4*s = 5, -t - 5*s = -2 - 4. Is 17 a factor of r(t)?
False
Let c be 12*((-3)/(-3) + 3). Suppose 5*l - c = l. Does 4 divide l?
True
Let o = 57 - -247. Suppose -a = 3*a - o. Suppose -a = -3*t + 20. Is 16 a factor of t?
True
Suppose -5*u - 202 = -3*r, 2*r + 343 = 7*r - 2*u. Is 7 a factor of r?
False
Let p be ((-12)/(-8))/((-3)/(-6)). Suppose p*c = c + 16. Is c a multiple of 4?
True
Suppose 3*t - 2*t = 3*f + 11, -44 = -4*t + 2*f. Let c be 2/t - 1152/44. Let i = c + 45. Is i a multiple of 16?
False
Let g(n) = -n. Let h(b) = 9*b - 6. Let o(d) = 12*g(d) + h(d). Is 6 a factor of o(-10)?
True
Suppose -16 = -3*g + 20. Suppose -3*w - g = -5*w. Does 6 divide w?
True
Let r = -8 + 94. Is r a multiple of 43?
True
Let a be 618/9 + (-2)/3. Suppose -4*v - 3*g - 6 = -67, g - a = -5*v. Is v a multiple of 8?
False
Suppose 4*m - 42 = -y + 74, 3*y = -5*m + 355. Does 20 divide y?
True
Let x be (-2)/(-6) + 340/6. Let z = -31 + x. Is z a multiple of 13?
True
Let k(p) = 10*p**2 + p - 1. Suppose 2*i + 2*h - 4 = 0, -4*i + 4*h + 13 - 45 = 0. Let u = i - -4. Is k(u) a multiple of 10?
True
Let n be -2*((-2 - -1) + 0). Let g(m) = -3*m**3 + 2*m**2 - 3*m + 2. Let q be g(n). Let b = q - -43. Is b a multiple of 12?
False
Let k be (-8)/28 + 278/(-7). Let x be (5 - 10)*(0 + -1). Does 4 divide (-1*1)/(x/k)?
True
Let q(i) = -3*i + 1. Suppose 3*p = -p - 4. Let h be (-3)/4 - p/(-4). Is 4 a factor of q(h)?
True
Let b = -19 - -54. Suppose -4*u + 1 = -q + 2, b = 3*q + 4*u. Is q a multiple of 3?
True
Let q(v) = 61*v**3 - v**2 + 1. Let c be q(1). Suppose -3*k + 6*i + 69 = 3*i, -3*k = 5*i - c. Is 11 a factor of k?
True
Suppose 0 = -5*m + i + 310, 2*m - i = 6*m - 257. Is m a multiple of 16?
False
Suppose 5*h = 5*v - 1910, 1523 = -0*v + 4*v - 3*h. Suppose -37 = 5*m - v. Is 17 a factor of m?
True
Let k(i) = -4*i**2 - 7*i + 7. Let f be k(-6). Let a = f - -3. Does 8 divide a/(-6) + (-16)/(-24)?
True
Suppose 26 = 4*p + 2*c, 8 + 9 = 4*p + 5*c. Is 2 a factor of p?
True
Let p be (-5)/(-20)*(-1 + -3). Is (46/(-4))/(p/2) a multiple of 12?
False
Is 7 a factor of 21/14*(57 + 6 + -3)?
False
Let o be 9/(6/2) + 0. Suppose -o*i + 0*j + j + 5 = 0, -i + 11 = -5*j. Is 8 a factor of (i + 2)/3 - -17?
False
Suppose 5*y - 1 + 36 = 0. Let p be 10 + 0 + (y - -7). Suppose -1 - p = -z. Does 7 divide z?
False
Let l(h) = 7*h**2 - 2*h - 3*h - h**3 + 3*h. Does 12 divide l(6)?
True
Let l(d) = -4*d**3 - 1. Let h be l(1). Is (h/15)/((-1)/12) a multiple of 4?
True
Suppose -5*d - 16 = -d. Does 19 divide (-2)/(2/212*d)?
False
Let s(j) = 13*j + 4. Let v(q) = -12*q - 4. Let d(h) = -4*s(h) - 5*v(h). Is d(3) a multiple of 14?
True
Let n(r) = 32*r + 15. Is 37 a factor of n(3)?
True
Let s = 117 - 61. Does 12 divide s?
False
Suppose -3*n - 4*j = -304, -2*j = -n - 4*j + 104. Suppose 0 = -2*d - 4*d + n. Does 8 divide d?
True
Suppose j - 6 = -0. Let m be (4/5)/(3/15). Is (-62)/(-3)*j/m a multiple of 11?
False
Suppose n = 3*n - 10. Suppose 117 + 18 = n*g. Is 10 a factor of g?
False
Let i = 13 + -8. Suppose -4*x - 2 = 2*r - 14, -2*r - i*x + 16 = 0. Is ((-18)/(-5))/(r/(-10)) a multiple of 6?
True
Let w = 4 - 2. Suppose 13 + 5 = 2*d + x, w*d = x + 26. Is d a multiple of 3?
False
Let j = -46 - -84. Suppose -2*s = 6 - j. Does 8 divide s?
True
Let p = -28 + 31. Suppose p*d - 35 = 7. Is 7 a factor of d?
True
Let d = -9 + 14. Is 2/((-6)/(-9)) + d a multiple of 3?
False
Let r = -8 - -11. Suppose -m - a + r + 21 = 0, a = -2*m + 46. Is m a multiple of 7?
False
Let n = -1 - 2. Let y be (-2)/1 - (n - -3). Is 12 a factor of y/4 - (-49)/2?
True
Let z(d) = d**3 + d**2 - 2*d. Let c be z(2). Suppose 0 = c*q - 4*q - 40. Let a = -2 + q. Does 8 divide a?
True
Suppose -24 + 4 = -4*s. Suppose 0 = -3*l + 5*t + 92, 4*l - 132 = t - 32. Suppose 246 = s*q - l. Is 18 a factor of q?
True
Let x = 5 - 2. Suppose -36 = -x*v + 3*p, p - 18 = -5*v + 60. Is 14 a factor of v?
False
Is 16 a factor of 5/40 - 1278/(-16)?
True
Let j(v) = -2*v**3 + 19*v**2 + 11*v + 10. Is 5 a factor of j(10)?
True
Does 25 divide ((-170)/(-4))/(10/20)?
False
Is 1832/20 + 16/40 a multiple of 23?
True
Suppose 2*g - 4 = -0. Let x(i) = -3*i**3 + 4*i**2 + 3*i + 2. Let c(m) = -m. Let p(u) = -6*c(u) - x(u). Is 12 a factor of p(g)?
True
Suppose 40 = 4*x - 12. Does 4 divide x?
False
Let q be (6 - -9)*1/3. Suppose 3*f + f - 93 = -3*r, 25 = -q*r. Is 11 a factor of f?
False
Suppose -o = -5*o + 32. Let h(g) = -g**2 + 11*g - 11. Does 13 divide h(o)?
True
Suppose 2*p = -2*u - p + 1, p = 3*u - 7. Does 19 divide u - ((-49)/1 + 3)?
False
Let s = 1 + 22. Let w(n) = 2*n - 13. Let z be w(9). Suppose -s = -z*k + d, -k - 5*d + 21 = 6. Is 4 a factor of k?
False
Let q(l) = -l**2 + 5*l - 1. Suppose -3*b - 5*n = -7, 3*b = -2*b + 2*n + 22. Let m be q(b). Suppose -3*y = m*j - 174, 5*y - 3*y - 56 = -j. Does 21 divide j?
False
Let h(o) = o. Let r be h(-3). Is 7 a factor of ((-7)/r)/(1/3)?
True
Let f(y) = y**3 - 9*y**2 - 8*y - 9. Is f(10) a multiple of 11?
True
Let s(q) = 13*q**2 - 3*q - 3. Let r be s(4). Let u = r + -136. Is u a multiple of 33?
False
Let y(v) = v**2 + 9*v + 4. Let z be y(-7). Is (-8)/8*(z - 0) a multiple of 5?
True
Let l(v) = 14*v + 2. Let m(q) = -15*q - 3. Let g(z) = 4*l(z) + 3*m(z). Let x(i) = i**3 + 3*i**2 - 6*i - 6. Let c be x(-4). Is g(c) a multiple of 11?
False
Suppose 41 - 5 = 2*q. Is 9 a factor of q?
True
Let s(h) = 62*h - 1. Let r be s(-1). Let t = r + 88. Let x = 44 - t. Is 7 a factor of x?
False
Let m be (-16)/(-12) + (-2)/(-3). Suppose 42 = 5*x + m*q, -q + 36 = 7*x - 3*x. Does 4 divide x?
False
Let q = 2 + -3. Let v be q + -1*(-1 + -7). Let k = v - 5. Does 2 divide k?
True
Let g(v) = -v**2 - v + 3. Let l be g(-4). Let t be (-4)/18 - 16/9. Is t + (-3)/(l/87) a multiple of 15?
False
Let t(a) = -8*a**3 - 2*a**2 - a. Let h be t(-1). Let v be 2 + 1 + -1 - -6. Suppose -z + v = p, h*z - 25 = -2*p + 2*z. Does 2 divide p?
False
Is 8/12 + (-1340)/(-6) a multiple of 39?
False
Let f be (-3)/(9/(-6)*1). Is (-1)/(4/(-88)*f) a multiple of 3?
False
Let w = -10 - -7. Does 12 divide (-376)/(-12) - w/(-9)?
False
Suppose -k - 5*r + 26 = 0, -2*k - 4*r + 26 - 4 = 0. Let x = k + 2. Suppose 3*s = 5*l - 77, -x*l - 3*s + 7 = -20. Does 9 divide l?
False
Suppose 2*c - 5*x = 201, 4*x + 423 = 4*c + x. Does 24 divide c?
False
Let v = 42 + -26. Suppose 2*q + 2*q - v = 0. Suppose q*w + 57 = 189. Does 11 divide w?
True
Let f = 344 - 224. Is f a multiple of 24?
True
Let g(t) = 2*t - 4. Let b be g(4). Let v = -4 - 2. Let y = b - v. Is 5 a factor of y?
True
Suppose 8 = 5*z - 3*s, s - 16 = z - 4*s. Suppose -4*m = -2*h + 2, m - z*h + 16 = -m. Suppose p - 54 = -m*p. Is p a multiple of 9?
True
Let v = 1 - 1. Suppose -36 = -v*t - 4*t. Is t a multiple of 9?
True
Suppose -5*j - 6 = 14. Let t be (-16)/j*(-5)/4. Does 6 divide (-32)/t + 6/(-15)?
True
Let u(d) = 14*d + 1. Does 9 divide u(2)?
False
Let h = -57 + 52. Let d(l) be the third derivative of -l**4/24 + l**3/6 - l**2. Is d(h) a multiple of 3?
True
Let c(r) = -r**3 - 8*r**2 - 6*r + 2. Is c(-8) a multiple of 30?
False
