 h + 5, 4*h = 4. Suppose i*j - 12 = -n, 10*n = 5*n - 4*j + 84. Is 11 a factor of n?
False
Let g(h) = h. Let d(j) = 20*j + 23. Let n(y) = -d(y) + 5*g(y). Does 35 divide n(-13)?
False
Let x(z) = 5*z**2 + z - 9. Let c(m) = -m**2 - m + 1. Let h be (66/(-55))/((-3)/10). Let b(i) = h*c(i) + x(i). Is 4 a factor of b(7)?
False
Let t = -1174 + 1671. Does 13 divide t?
False
Let n be (-5 - -5)/((-1)/(3 + -2)). Suppose -3*h + 12 = n, -5*a - 5*h = -h - 36. Is 2 a factor of a?
True
Let l = 161 - 162. Let m(z) be the first derivative of -11*z**4/2 + z - 1. Is m(l) a multiple of 11?
False
Let s be (-3)/(-2 + -1)*3. Let w(k) = -2*k + 2*k + s*k - 3*k**2 - 5*k + 2*k**3 - 1. Does 10 divide w(3)?
True
Let o = -175 - -436. Is 10 a factor of o?
False
Let j be (-26)/13 - -11*1. Suppose -3*a - j = 9. Let g = a - -29. Does 16 divide g?
False
Suppose -1316 = -d - 3*d - 3*s, 5*s - 672 = -2*d. Does 48 divide d?
False
Let f(d) = 2*d**2 - 10*d + 14. Let r(h) = 6*h**2 - 30*h + 43. Let o(x) = -8*f(x) + 3*r(x). Is 17 a factor of o(5)?
True
Suppose -28 - 26 = -3*l. Let z = -12 + l. Suppose 2*a - z = 152. Is 20 a factor of a?
False
Let z = 0 - -5. Suppose -7*v + z*v = 0. Suppose -2*p + 10 = v, h + 3*h + 5*p = 261. Does 22 divide h?
False
Let j = 33 - 32. Does 10 divide ((-1)/1)/(j/(-10))?
True
Let p = 135 + 131. Is 38 a factor of p?
True
Let r(q) = q**2 + 2*q. Let f(k) = k**2 + k. Let y(n) = -n**2 - 4*n + 5. Let j be y(-4). Let g(p) = j*f(p) - 2*r(p). Does 5 divide g(2)?
False
Let c = -1175 - -1700. Does 35 divide c?
True
Let x(z) = z**2 - 3*z - 5. Let s be x(4). Let o(d) = 48*d**3 + 1. Let l be o(s). Let r = -5 - l. Is 27 a factor of r?
False
Let c = -108 + 272. Is c a multiple of 41?
True
Let n = 145 + -142. Suppose 0 = n*i - 5*y - 698, -6*i - 227 = -7*i - 4*y. Is 33 a factor of i?
True
Suppose 5*z - 4*c - 1 = -5, 3*z = -2*c + 2. Let o be z/(3/(0 - 3)). Does 11 divide 19 + (o - 12/(-4))?
True
Suppose -14 = 6*v - 7*v. Suppose 3*u = 2*u + v. Is 13 a factor of u?
False
Let d(k) = 3*k - 7. Let g(r) = -3*r**2 + r + 3. Let c be g(3). Let m = -16 - c. Is d(m) a multiple of 2?
True
Let m = 39 + -37. Suppose -72 = -2*k - m*v, -k - 4*v + 76 = k. Is k a multiple of 14?
False
Suppose -26*q = -35272 - 7498. Does 30 divide q?
False
Suppose 0 = 5*o - 0*o + 2*b - 26, 0 = -2*o - b + 10. Suppose o*d = -d + 833. Is d a multiple of 30?
False
Let j(n) = n**2 + 5*n - 11. Let g be j(-7). Suppose -4*h + 2*c + 20 = 3*c, g*c = -5*h + 32. Suppose 0 = -5*d + v + 200, -3*d + h*d = 2*v + 31. Does 9 divide d?
False
Suppose 3*g - 5*v + 33 = 0, 0 = -v - 4*v + 15. Let i(n) = 4*n**2 - 4*n + 6. Let a be i(g). Suppose 5*y = a + 276. Is 24 a factor of y?
False
Suppose 0 = -5*t + 14 - 4. Suppose -280 = -t*d - 80. Does 30 divide d?
False
Let y(v) be the first derivative of -v**3/3 + 15*v**2/2 + 3*v - 14. Is y(7) a multiple of 16?
False
Let u = -17 + 21. Suppose 0 = -2*j - 5*r - 45, u*j - j - 4*r = -10. Let o = j + 47. Is o a multiple of 12?
False
Let q(c) = -5*c. Let t be q(-7). Let f = t + -20. Does 9 divide 50 + f/5 - 4?
False
Suppose 0*u + 3*u + 6 = 0, 0 = 3*g + u - 286. Suppose 15*l = 13*l + g. Is l a multiple of 5?
False
Suppose -2*y = -5*q - 13, 0 = -3*y - 0*q - 4*q + 54. Let u be (-2634)/y - 6/(-42). Let p = u + 285. Is 17 a factor of p?
False
Suppose 3*i = 2*i - 5, 0 = 4*u + 4*i + 8. Let t(r) = 6*r**2 - 5*r + 5. Is 4 a factor of t(u)?
True
Suppose -15*g = -35*g + 4400. Is g a multiple of 26?
False
Let h be (5 - 2) + (-5 - -2). Let f = 17 - 2. Does 2 divide 3/(f/20) + h?
True
Let h(p) = -3*p**2 - 4*p + 2. Let v(z) = -3*z**2 - 3*z + 1. Let j(c) = -3*h(c) + 4*v(c). Let k be j(2). Let m = 30 + k. Is 4 a factor of m?
True
Does 25 divide 2272/10 + -2 - (-4)/(-20)?
True
Let k(u) = 6*u + 35*u**2 + 2*u - 6*u + 1. Is k(-1) a multiple of 17?
True
Let h(c) = c**2 + c - 1. Let x(r) = 3*r**2 - 14*r - 1. Let s(g) = 2*h(g) - x(g). Is 17 a factor of s(8)?
False
Let h(w) = w + 10. Let i be h(-10). Let l(x) = -x + 41. Is 23 a factor of l(i)?
False
Let p(i) = 16*i + 21. Let j = -26 + 37. Is p(j) a multiple of 42?
False
Let d = 84 + -80. Suppose -4*u + 332 = 3*c, 9*u - 3*c = d*u + 388. Does 16 divide u?
True
Suppose -38 - 146 = -8*k. Is k a multiple of 8?
False
Suppose 11*r = 459 + 773. Does 7 divide r?
True
Suppose 3*q - 7 + 25 = 0. Is 30 a factor of (q + 0)*8/(32/(-60))?
True
Let p = -3 - 0. Let r = -5 - p. Let m = r - -48. Does 14 divide m?
False
Suppose 5*h + 1278 = 3*q - 6833, -2*h + 10780 = 4*q. Is q a multiple of 9?
False
Suppose -2*i = 4*k + 34, i + 3*i + 44 = -4*k. Let s = k + 8. Suppose -s*p = -c + 19, c - 3*p - 60 = -2*c. Is 6 a factor of c?
False
Suppose -4*g + t = -25, -g - 2 + 3 = -2*t. Suppose g*c - 484 = 335. Is c a multiple of 39?
True
Let q = 391 + -65. Suppose 0 = -3*r + 148 + q. Is 27 a factor of r?
False
Let m be 1/(1/(-71)) + -2 + 5. Let r(k) = -k + 2. Let i be r(4). Does 12 divide 10/i*m/5?
False
Suppose 19 = 3*h - q, -4*h - q + 6 = -2*h. Let a(z) = -z**2 + z + 4. Let n be a(h). Let v = n - -42. Is v a multiple of 12?
False
Let q = -167 + 117. Let v be (-7)/(7/q) - 0. Let p = v - 31. Does 12 divide p?
False
Suppose 2*p = 4*p + 5*j - 18, -2*p = -3*j - 2. Suppose 0*w = p*w. Suppose 0 = -2*n + 5*u + 171, n - 4*n - u + 231 = w. Does 13 divide n?
True
Suppose 0 = 4*y - 120 - 416. Is y a multiple of 10?
False
Suppose 0 = -3*x - 2226 + 11343. Is x a multiple of 124?
False
Let g(d) = 80 + 18 + 49 + 18 - d. Does 11 divide g(0)?
True
Let v(h) = 4*h**3 + 2*h**2 - 7*h - 23. Let r(x) = -11*x**3 - 5*x**2 + 20*x + 69. Let a(i) = 3*r(i) + 8*v(i). Is a(-5) a multiple of 51?
True
Let a(y) be the third derivative of y**5/60 - y**4/6 - 7*y**3/6 + 6*y**2. Is a(-3) a multiple of 14?
True
Suppose -3*l - 5 - 1 = 0. Let r be (3 - 1/(-1)) + l. Suppose -a - 3*a + 152 = 4*h, 50 = h - r*a. Is h a multiple of 14?
True
Let i(f) = 70*f**3 - f**2 - f + 1. Does 57 divide i(3)?
False
Let n = 1902 - 1692. Is n a multiple of 42?
True
Suppose 3*q - 4*r = -2*q - 140, 0 = -r - 5. Let m = q + 47. Is 6/m - 1479/(-15) a multiple of 25?
False
Let o(k) = 12*k - 30. Let d be o(3). Let c(s) = -s**3 + s**2 - s + 395. Let n be c(0). Suppose -3*t - 81 = -j - d*t, 5*j + 5*t - n = 0. Is 26 a factor of j?
True
Suppose 3*t + 450 = 8*t - 4*q, -t = q - 81. Is 12 a factor of t?
False
Does 26 divide (-3)/(75/(-2060)) + 2/(-5)?
False
Suppose 0 = -12*o + 6*o - 36. Does 3 divide 37 + (o/(-15))/((-1)/10)?
True
Let n(m) = 18*m + 1. Let k be n(-5). Suppose 0*g - 150 = -g + 4*d, 2*d = -2*g + 260. Let y = g + k. Is y a multiple of 9?
True
Let u be (0 - 6 - -7) + 4*1. Is 8 a factor of -1 + (-5)/((1/(-1))/u)?
True
Let t(p) = -p**2 + 1. Let h(d) = -36*d**2 + 2*d + 4. Let f(m) = -h(m) + 3*t(m). Let k be f(-1). Let j = k - 20. Is j a multiple of 13?
False
Suppose 3*b - 14 = -5. Suppose -3*p - 2*p = 5*a - 10, b*p - 1 = -2*a. Suppose 4*z - 197 = -a. Does 24 divide z?
True
Let h(c) be the third derivative of 5*c**4/6 - c**3/2 - c**2. Suppose 8*x - 13*x = -15. Does 19 divide h(x)?
True
Let r = 692 - -44. Is r a multiple of 16?
True
Does 35 divide 91*5 - 1/(1 + 0)?
False
Suppose 0 = 4*d - m - 4035, -103 = -3*d - 4*m + 2947. Suppose 8*p = -2*p + d. Is 13 a factor of p?
False
Let m = -42 + 48. Suppose -m*f = -3*f - 342. Is f a multiple of 37?
False
Let u(i) = 50*i - 70. Is u(20) a multiple of 10?
True
Suppose -y + 5*a + 11 = 0, y + 3*a - 11 = 2*a. Let i = y + -12. Does 31 divide (8/(-16))/(i/186)?
True
Suppose 2904 = 2*k - 4*m, 7238 = 2*k + 3*k + m. Let j be 1/2 + k/(-16). Is 13 a factor of j/(-4) - (-4)/(-8)?
False
Suppose 0*z = -2*l + 2*z + 1286, 2*l = -2*z + 1306. Does 10 divide l?
False
Let m(s) = -s. Let o be m(-4). Suppose 2*j = 4*c + 3*j - 20, 2*c - o*j - 28 = 0. Is 5 a factor of c?
False
Let p(u) be the second derivative of u**5/20 - u**4/12 - u**3/3 + u. Suppose -7 = 2*t + 3*j, -25 = 4*j + j. Is 21 a factor of p(t)?
False
Suppose 4 = -2*a + 4*d - 5*d, 0 = -4*a + 3*d + 12. Suppose 8*i + i - 585 = a. Is 13 a factor of i?
True
Suppose -j + 30 = -40. Suppose -8 = -s - 2*u + 14, u = 4*s - j. Is s a multiple of 6?
True
Suppose -1604 = -4*d + 4*s, 2*s = 52*d - 57*d + 2040. Is 16 a factor of d?
False
Let p be 3/6 + (-2)/4. Suppose -6*r - 5 = -7*r. Suppose -s = 5*b - 46 - 10, p = 5*b + r*s - 60. Does 4 divide b?
False
Suppose -84 = 12*r - 5*r. Does 14 divide 1 + 172 + (5 - r/(-