actor of a(1)?
True
Suppose -2*l = -3*z - 10, -z + 0*l - 2 = -2*l. Let g = 70 + z. Is g a multiple of 22?
True
Suppose -4*n - 2*g + 194 = 0, -3*n + 143 = -4*g + 3*g. Let a = 3 - 1. Suppose 2*l - f = 22, -4*l + f + a*f = -n. Does 3 divide l?
True
Let m(k) = 4*k**2. Suppose -2*h - 4*g + 2*g - 16 = 0, 5*g + 19 = 2*h. Let p be m(h). Suppose -3*n = -102 - p. Does 12 divide n?
False
Suppose -5*q - 3*w + 5 = 0, 1 = w + 6. Let u(k) = -k + 2. Let y be u(2). Suppose -5*l = -4*g + 48, g - q*l - 8 - 4 = y. Does 12 divide g?
True
Let a be (-30)/40 - (-419)/4. Let u = -44 + a. Is 14 a factor of (-5)/(u/(-27))*40?
False
Let t(i) = i**3 - 14*i**2 + 14*i + 32. Suppose u - d - 26 = -u, 4*d = 4*u - 52. Is t(u) a multiple of 45?
True
Suppose -4*h + 17296 = 12*h. Is 23 a factor of h?
True
Suppose 2*m + 0 = -2. Let s = 8 + m. Suppose s*u - 9*u = -16. Is u even?
True
Let j(x) = 44*x - 2. Suppose -3*s + 3 = -4*c, -3*s - 2*s + 5*c = -5. Is j(s) a multiple of 5?
False
Let i(a) = 28 + 24 - 53 - 43*a. Is 14 a factor of i(-1)?
True
Let a(x) = -4*x + 1. Let p(o) = -o + 1. Let y(h) = -a(h) + 5*p(h). Does 6 divide y(-8)?
True
Suppose 0 = 4*c + 5*n - 223, -4*n = -7*n - 3. Is 38 a factor of c?
False
Let b = 15 + -17. Is 13*(b + -2 - -8) a multiple of 27?
False
Suppose 4*r = -3*l + 88, 5*r - 87 = l + l. Suppose 2*s - 17 = -v, 5*s + 4*v - r = 31. Is s even?
True
Let q be (-650)/15 + 4/(-6). Let p be (28/(-8))/(2/q). Suppose -4*g + 59 + p = 0. Is g a multiple of 17?
True
Suppose 0*w - 3*w + 9 = 0, 12 = 4*p + 4*w. Suppose p = -16*b + 7*b + 2178. Does 16 divide b?
False
Suppose -q + 2 = 3*c - 3, 0 = 4*q + 2*c - 10. Let d(y) = y**2 - y. Let h(s) = s**2 - 9*s + 6. Let b(j) = q*d(j) - h(j). Is 19 a factor of b(4)?
True
Suppose -3*a + 15 = 6. Let r be a/5 + 2515/(-25). Does 22 divide (r*1)/(-5) + 2?
True
Let i = 13 - -4. Suppose -3*w - 2 = -i. Suppose -w*h = -46 - 34. Is h a multiple of 5?
False
Suppose 5*p - 6 = -1. Let t = p + 2. Suppose -3 = 2*z - t*z. Is 3 a factor of z?
True
Let s be (0 + 57)/(3 - 0). Let n = 61 - s. Does 7 divide n?
True
Is (-3 - 1)*1 + 556 a multiple of 27?
False
Let x(s) = -s**2 - 3*s - 3. Let a be x(-4). Let v be a/(-7)*18/2. Suppose -i = -43 + v. Is i a multiple of 14?
False
Let q be (-6)/(-4)*16/6. Let s be q - (1 - -1) - -7. Is (156/s)/((-4)/(-6)) a multiple of 14?
False
Suppose -4*n + 0*n = 0. Suppose -3*t = -2*o - n*o - 301, t - 95 = -2*o. Is t a multiple of 22?
False
Let r(l) = -l**2 + 3*l + 5. Let j be r(4). Suppose 0 = -h + j + 35. Is (-122)/(-15) + h/(-270) a multiple of 4?
True
Let u(y) be the third derivative of -3*y**4/4 + 4*y**3/3 - 7*y**2. Let p be u(4). Let k = p + 111. Does 25 divide k?
False
Let y = 19 + -22. Suppose -169 = 5*f - 54. Is 9 a factor of y/2*(f + 11)?
True
Suppose -2*b - 7 = 5*t, 2*b + t = b + 1. Suppose 6 = b*d + 3*q - 14, 0 = 4*d + 4*q - 24. Suppose 0*x = -d*x + 222. Is 37 a factor of x?
True
Let i(t) = 21*t - 2. Let w be i(6). Let p = w + -4. Is 40 a factor of p?
True
Let v(o) = 4*o**2 - o + 4. Let l be v(2). Suppose -8*h + l = -5*h. Suppose 0 = -4*n + 2*g + 134, n - 28 = -h*g + g. Is n a multiple of 11?
True
Let c(m) = m**3 + 34*m**2 + 39*m + 184. Let a be c(-33). Let s(y) = -19*y**2 + 6*y + 2. Let l be s(-6). Is 4/(-14) + l/a a multiple of 9?
False
Suppose 5*l - 397 = -972. Let t be (l/4)/((-2)/32). Suppose -t = -10*z + 5*z. Is z a multiple of 25?
False
Suppose -12*a + 2405 = a. Does 19 divide a?
False
Let l(n) = 3*n + 12. Let j be l(7). Let z = 253 - j. Is z a multiple of 44?
True
Let o = -575 + 845. Does 9 divide o?
True
Let j be 12/24 + 89/2. Does 5 divide 2/(-8) - j/(-4)?
False
Suppose 5*k + 25 = 2*n, -5*k = -2*n + n + 25. Is 7 a factor of 49 - (-2)/4*n?
True
Let r = 10 + 13. Let o = r - -27. Suppose -2*y - 3*y = -o. Does 4 divide y?
False
Let k = 12 - 7. Let t = 788 + -678. Let r = t - k. Is 21 a factor of r?
True
Let d be 1/(-1) + (-453)/(-3). Let u = 106 - d. Let m = u - -74. Does 10 divide m?
True
Let f(r) = 22*r**2 + 3*r + 2. Suppose 9 = -3*a + 3. Is f(a) a multiple of 28?
True
Let b be (-6)/(-8)*(-40)/(-15). Suppose -137 = -5*j - 0*u - b*u, 0 = -j - 3*u + 30. Is 14 a factor of j?
False
Let u be (3 - 234/(-3)) + -3. Let a be (-6)/21 - u/21. Does 17 divide 85/2*a/(-2)?
True
Let i = -799 - -1499. Is 70 a factor of i?
True
Suppose -4*p - 2*h = -1268 - 3602, 0 = -3*p - 4*h + 3650. Is 58 a factor of p?
True
Let v(s) = 10*s + 62. Let z be v(-5). Suppose z*l - 6*l - 858 = 0. Is 14 a factor of l?
False
Let c(q) = 12*q + 5 + 0 + 1. Suppose 11 = 5*s - 4*m, -2*m + 0 + 2 = 0. Is c(s) a multiple of 14?
True
Suppose -31 + 11 = -2*t. Let m(n) = n**2 - 12*n + 12. Let w be m(t). Let z(j) = -j**3 - 8*j**2 - 5*j - 6. Is 19 a factor of z(w)?
False
Suppose 0 = 25*x - 1024 - 9851. Is 5 a factor of x?
True
Suppose -4*f + 6*f = 0. Let d(l) = -l**3 - 5*l**2 - 4. Let z be d(-5). Is (-168)/z - f/2 a multiple of 30?
False
Let o = 23 - 26. Let t be (-12)/o + (-6)/3. Suppose -2*v - d = -137, -112 = -t*v - 0*v + 4*d. Is 30 a factor of v?
False
Suppose 4*m + 8 = 2*o, 0*m - 4*o + 11 = -3*m. Is 4 a factor of 2*m + 403/13?
False
Let a(h) = -6*h + 42. Let n be a(7). Suppose n = s + 2 - 4, -2*s = v - 16. Is 6 a factor of v?
True
Let x = -3 - 0. Let k(q) = -q**3 - 4*q**2 - 2*q + 1. Let m(z) = z**3 + 3*z**2 + z - 1. Let a(i) = -4*k(i) - 5*m(i). Is a(x) a multiple of 11?
False
Let y = 34 + -32. Let h be (4 - 2) + -1 - y. Does 15 divide (-7)/(14/90)*h?
True
Suppose -4 = -0*a - 2*a. Suppose -5*c + 93 = v - 166, 0 = -c - 3*v + 49. Suppose a*b - b = c. Is 16 a factor of b?
False
Suppose -17538 = 1734*c - 1740*c. Does 66 divide c?
False
Let g(a) = a**3 + 9*a**2 + 2*a - 8. Let w be g(-8). Suppose -10*l + 14*l = w. Is 10 a factor of l?
True
Suppose -4*q - 16 = -2*a, -4*a - q + 32 = -4*q. Let h be ((-150)/a)/(9/(-24)). Let f = h - 2. Does 16 divide f?
True
Let u = 20 - 10. Let m = 15 - u. Suppose 5*k - 5*n = m, k + 3*n - 22 = -k. Does 3 divide k?
False
Let r(u) = 3*u**2 - 5*u - 8. Let w(g) = 6*g**2 - 11*g - 17. Let h(d) = 7*r(d) - 3*w(d). Is h(-3) a multiple of 2?
True
Suppose -64*v = -60*v - 16. Suppose 130 = 2*s + 3*x + 4, 0 = -v*x. Does 14 divide s?
False
Suppose 0 = 5*h + 4*r - 108, -3*h + 30 + 30 = 4*r. Suppose -4*k + 3*z + 159 = 0, -31 = -5*k + 4*z + 169. Suppose h + k = w. Is w a multiple of 8?
False
Suppose 9*p + 609 = 10*p. Is p a multiple of 29?
True
Suppose 22 + 38 = 5*p. Does 6 divide p?
True
Suppose 3*x = 3*h + 165, -2*x = -3*h - 2*h - 110. Let z = x - -7. Is z a multiple of 5?
False
Let j(k) = 75*k + 5. Let n be j(-2). Does 13 divide (2/(-5))/(9/45) - n?
True
Let v = -15 + 14. Let m = 5 + v. Suppose 0 = 3*y + 4*g - 39, -2*g - 2*g + 48 = m*y. Is y a multiple of 4?
False
Let g = 10 - 8. Suppose -4*k + 48 = 3*p, 5*p - 12 - 12 = -g*k. Let n = -3 + k. Is 4 a factor of n?
False
Let a(x) = -x**2 + 26*x - 64. Let s be a(29). Let y = 263 + s. Is y a multiple of 9?
False
Let c = 47 - 43. Suppose c*q = -t + 95, 6 - 3 = -3*t. Is 24 a factor of q?
True
Suppose -3*g = -2*g + 4*o - 206, 0 = 2*o. Is 25 a factor of g?
False
Let s(t) = t + 4. Let k be s(-2). Suppose -5*c + k*c - 39 = -3*y, -3*c - 51 = -4*y. Suppose -7*b - 220 = -y*b. Does 11 divide b?
True
Let f(k) = 9*k + 31. Is 10 a factor of f(18)?
False
Suppose -237*o + 249*o = 6312. Does 8 divide o?
False
Let p be (-16 - -15)/(1/2). Let f be p/8 + 221/68. Suppose -f*q + 1 = -17. Is q a multiple of 3?
True
Is 3 a factor of (-935)/(-44) - (-20)/(-16)?
False
Suppose 4*w = 8, w = -19*z + 15*z + 342. Does 8 divide z?
False
Suppose -1115*i + 1118*i = 12000. Is i a multiple of 16?
True
Suppose 10*f - 440 = 5*f. Suppose -11*q = -15*q - f. Let z = q + 40. Is z a multiple of 6?
True
Suppose -2*b - 255 = -3*f, 2*b - b = f - 125. Let g = 39 - 119. Let j = g - b. Is j a multiple of 20?
True
Suppose 4*m - 9 = j, 0*m = -5*j - 5*m + 55. Let f(a) = -a + 10. Let b be f(j). Is 17 a factor of 3/(b*3/102)?
True
Let m be 182/42 - (-2)/3. Is 9 a factor of m*(5 - (-5 - -1))?
True
Suppose 6*s = -72 + 762. Is 5 a factor of s?
True
Suppose -2*o = 23 + 137. Let u = 122 + o. Does 42 divide u?
True
Let c be (22/(-5) + 4)*655. Is (3/(-2))/(3/c) a multiple of 20?
False
Suppose 5*w + 5*k - 10 = 0, -5*w + 14 = 2*k + k. Suppose -29 - 11 = w*t. Does 6 divide (84/(-30))/(2/t)?
False
Let o be (4/8)/((-3)/36). Let n = o + 11. Suppose -2*y + 17 - 