 = -4*o - 6*p. Is 94 a factor of o?
False
Suppose -2*k = -4*a + 426, 3*a - 321 = 2*k - k. Suppose -33 = 3*d - a. Let u = 56 - d. Is 19 a factor of u?
False
Let l be 0 + 0 - 19/((-19)/84). Let j = -28 + l. Does 14 divide j?
True
Suppose 0 = p + 3*p. Let r = -85 - -122. Suppose d - r + 9 = p. Is 7 a factor of d?
True
Suppose -6*l + 4*l = -2, 5*a = 4*l + 346. Suppose -5*d = -5*u + 65, 0 = 2*d - 5*d + 2*u - 38. Let y = a + d. Does 15 divide y?
False
Suppose 2*v = 11 + 3. Let a be v - 16/((-12)/(-3)). Suppose -5*f + 250 = 4*m, -114 - 68 = -a*f + 4*m. Is f a multiple of 9?
True
Let s = 49 + 2. Suppose 5*t - s = 2*t. Is t a multiple of 17?
True
Let g(d) = 4*d**2 - d. Let k be g(3). Let h = 38 - k. Suppose 0*n - 2*n - 3*i + 203 = 0, -h*n + 480 = 2*i. Is n a multiple of 26?
False
Let c(b) = 6*b**3 + 2*b**2 - b. Let x be c(1). Suppose -2*q + x*q - 110 = 0. Is q a multiple of 9?
False
Suppose -p = 4*p - 5*v + 70, 0 = -5*p + 2*v - 64. Let x(r) = -13*r - 52. Is x(p) a multiple of 13?
True
Let t = 1052 + -628. Is t a multiple of 9?
False
Is 28 a factor of (3/(-6))/((-16)/4480)?
True
Suppose -2*x = 4*b - 28, 0*x = -2*b + 4*x - 6. Is 15 a factor of b*-1*64/(-5)?
False
Suppose -5*i - x + 2*x = 0, 2*x = -2*i. Let g(o) = o**3 + o**2 - o + 24. Let u be g(i). Suppose -5*a + u + 126 = 0. Is 10 a factor of a?
True
Let o(h) = -h**2 - 10*h - 12. Let y be o(-10). Let l(n) = -n**2 - 18*n + 9. Does 9 divide l(y)?
True
Let f(s) = -s**2 - 5*s - 4. Let t(j) = -2*j**2 - 5*j - 5. Let q(i) = 4*f(i) - 3*t(i). Is 9 a factor of q(4)?
False
Suppose 0*s = -s - 112. Let z = s - -200. Let l = z - 45. Does 20 divide l?
False
Let m be 2*386*(-5)/(-20). Let j = m - 112. Does 8 divide j?
False
Suppose -4*t - 48*t + 108576 = 0. Does 26 divide t?
False
Let y(z) = 8*z - 19. Let v(f) = f. Let l(d) = -6*v(d) + y(d). Suppose 0 = 240*j - 221*j - 247. Is 3 a factor of l(j)?
False
Let w(p) = -2*p**2 - 47*p - 27. Let c(d) = -d**2 - 23*d - 14. Let b(l) = 7*c(l) - 3*w(l). Let r be b(-13). Let u = r + -41. Is u a multiple of 12?
False
Let l be 12/(-10)*(-2 - 556/(-3)). Let n = -103 - l. Does 9 divide n?
True
Suppose -5*y + 13*t = 11*t - 63, -4*t = -4. Is y a multiple of 10?
False
Let z = -220 - -142. Is z/((45/(-20))/3) a multiple of 26?
True
Suppose -1558 = -8*d + 594. Does 12 divide d?
False
Suppose 0*y + y + 4 = 0. Let k be 6/y*(-5 + 11). Let o(x) = x**2 + 7*x - 9. Is 9 a factor of o(k)?
True
Suppose 2*z + 7 = 3*a, 2*z - 5 + 0 = -a. Let h(r) = -a*r + 30*r**2 + 9 - 6 + 2*r**2. Is h(1) a multiple of 16?
True
Let f be 4/(-6) - (-112)/42. Let q(r) = f + r - 2*r - 2. Is q(-12) a multiple of 4?
True
Let o(q) = q**2 + 4*q - 4. Let w be o(-5). Let k be 36/(-4) - (-4 + w). Is 4 a factor of (2 - k/(-2))*-13?
False
Let y be (2/6)/(22/132). Suppose -103 - 67 = -y*r. Is 29 a factor of r?
False
Suppose -4*d = -5*y + 15627, 18*y + 2*d = 8*y + 31224. Is 53 a factor of y?
False
Let b(g) = -g**2 + 8*g - 7. Let q(u) = u**3 + 9*u**2 - 10*u + 8. Let x be q(-10). Let p be b(x). Is 14 a factor of p/(7/2)*-7?
True
Let f(o) = o**2 - 4 + 12*o + 8 + 21 + 2. Is 6 a factor of f(-11)?
False
Does 48 divide 47 - ((-4 - 0) + 1) - 2?
True
Suppose -3*z + 24 = 5*n - z, -5*n + 14 = -3*z. Suppose -n*q + 5*q = -3*r + 41, -3*q = -r - 173. Does 5 divide q?
False
Let r(c) = -c**3 + 14*c**2 - c + 12. Let q be r(14). Does 25 divide (q - -3 - -2)/((-6)/(-292))?
False
Suppose -8*i = 7*i - 1425. Does 13 divide i?
False
Let j = 7 + -3. Let m(r) = r**2 - 13*r - 43. Let b be m(16). Let g = j + b. Does 3 divide g?
True
Let n be 3*(-2 + (-12)/9). Let q = n + 29. Suppose l + q = 5*o, -2*o + 26 + 8 = 4*l. Does 6 divide l?
True
Let d = 53 + -52. Is 6 a factor of (2 - d - 97)*(-2)/4?
True
Let j(f) = 134*f**2 + 1. Is 17 a factor of j(2)?
False
Suppose -552 = -4*p + p. Does 4 divide 4 + (-66)/18 - p/(-6)?
False
Suppose 2*s = -1 + 1. Let i(q) = 3*q**3 + q**2 - q. Let n be i(1). Suppose s*h - n*h + 78 = 0. Is 10 a factor of h?
False
Suppose -13*t = -10*t - 2463. Does 25 divide t?
False
Suppose -5*y = -4455 + 170. Is y a multiple of 43?
False
Suppose -5*q = h - 1, -2 = -h - h - 4*q. Let i be -2 - h/(1/2). Is -5 + (i - -5) + 65 a multiple of 13?
False
Let h be ((-5)/(-20)*0)/2. Suppose h*z - 345 = -5*z. Does 12 divide z?
False
Let a = 39 + 189. Does 38 divide a?
True
Let u(h) = 1973*h - 66. Is 34 a factor of u(1)?
False
Suppose 2*c - 7 = 5. Suppose 78 = -c*r + 564. Does 11 divide r?
False
Suppose 8 = 4*b, 6*r + 2*b = 8*r - 872. Does 42 divide r?
False
Suppose 3*r - 867 = -4*m, r + 3 = 4. Suppose -w - 84 = -2*h + 3*w, 4*w = -4*h + m. Is 4 a factor of h?
False
Let r(t) = -t**2 - 9*t + 6. Let l be r(-7). Suppose -4*i - l = -9*i, -118 = -2*p - 2*i. Let v = 77 - p. Is v a multiple of 11?
True
Let y be (-3 + -1)/((-3)/(-12)). Let r = 12 + y. Does 5 divide r/6 - 204/(-36)?
True
Let k(z) = 6*z**2 + 6*z - 1. Let x(s) = -5*s**2 - 5*s + 2. Let a(r) = -4*k(r) - 5*x(r). Let n(m) = m**2 + 7*m + 1. Let o be n(-6). Is a(o) a multiple of 7?
True
Let j = -135 + 95. Let n = j - -103. Is (-4)/(-18) + 5719/n a multiple of 13?
True
Let m be 14/(-4) + (-6)/12. Let h(u) = -2*u**3 - 5*u**2 + 5*u + 8. Is 6 a factor of h(m)?
True
Let n be (-2)/6 - (-98)/6. Suppose 0*y - 12 = -4*y. Suppose y*w - 2*w - n = 0. Is w a multiple of 7?
False
Let l(p) be the third derivative of p**5/30 + p**4/8 - 2*p**3/3 - 2*p**2. Let t be l(-3). Suppose t*i = 4*i + 27. Is 13 a factor of i?
False
Let j = -4 - -6. Suppose -9 = -2*w + 5*x, 0*x + j*x = w - 4. Suppose 3*a = w + 13. Is 2 a factor of a?
False
Let a(k) = -k**2 - 2*k + 5. Let b be a(-3). Let r(z) = 4*z**3 + z**2 + 2*z - 4. Let q be r(b). Let i = 108 - q. Is i a multiple of 18?
True
Let t = -976 + 2272. Does 72 divide t?
True
Let i be ((-4)/(-8))/(2/192). Suppose 4*s + h = 5*h + 48, 4*s + 3*h = i. Is s a multiple of 7?
False
Suppose 0 = 2*p - 5*w - 21, p + 3*w - 21 = 2*w. Let n be 6/p - 298/(-6). Is n*3/(-3 - -6) a multiple of 14?
False
Let n(t) = -t**3 + 18*t**2 + 20*t - 27. Let m be n(19). Is 7 a factor of 3*2*(-3 + (-84)/m)?
False
Let o be 2/7 - (-9344)/28. Let t(m) = -m**3 + 9*m**2 - 16*m + 69. Let h be t(8). Suppose -2*r - 106 = h*s - 464, -5*s = -4*r - o. Is 14 a factor of s?
True
Let t be (-24)/(-16)*(-4)/6*-3. Does 56 divide (t/(-9))/(3/(-2853))?
False
Suppose 5*q - 1932 = -2*i, i - 944 = 4*q - q. Does 12 divide i?
False
Let l be 6/15 + (-39)/(-15). Let m be l + -8 + 2 - -1. Does 10 divide 6*2 + m - 0?
True
Let m(r) = 6*r + 184. Is m(28) a multiple of 8?
True
Let a(t) = t**3 - 15*t**2 + 15*t - 12. Let z be a(14). Suppose z*x = -0*f - 2*f + 166, -261 = -3*x + 3*f. Is 34 a factor of (0 + 6/15)*x?
True
Let j(n) = -24*n + 1. Let q be j(-1). Suppose 4*w = -w + 2*t + q, 4*t = 0. Suppose -4*s = -4*b - 40, 14 = -2*s + 3*s - w*b. Does 7 divide s?
False
Suppose 3*v - v + 4 = 0. Let p(b) = 16*b**2 + 3*b + 3. Is p(v) a multiple of 13?
False
Suppose 2*j + 86 = 4*r - r, r = 0. Let a = 60 + j. Suppose -16*n + a*n - 15 = 0. Does 3 divide n?
True
Let n(b) = 13*b**2 + 5*b - 6. Is 19 a factor of n(3)?
False
Let t be -3*(-1 - (3 + -1)). Let f(s) = -s**3 + 8*s**2 + 12*s + 1. Is 21 a factor of f(t)?
False
Let a(z) = 3*z**2. Let g be a(-2). Let r(v) be the first derivative of v**3/3 - 11*v**2/2 + 8*v + 28. Is 12 a factor of r(g)?
False
Let n = 163 + -127. Is 12 a factor of n?
True
Suppose -3*x = 5*j - 18705, 3*j - 3*x - 11194 = x. Let h be (-1)/(-2) - j/(-12). Does 4 divide (-4)/10 + h/30?
False
Suppose 54*n + 28 = 58*n. Suppose -5*q - n*q + 1920 = 0. Is 16 a factor of q?
True
Let s = 732 + 1452. Is 66 a factor of s?
False
Suppose 11 = 3*g + 41. Let z(w) = -2*w**3 - 14*w**2 - 3*w - 12. Let l be z(g). Suppose -4*x - 114 = -l. Is x a multiple of 23?
False
Let p(b) = -b**2 + 10*b - 1. Suppose 0*v = 5*z + 5*v - 10, -z + 10 = -3*v. Let d be ((-2)/z)/((-5)/90). Is p(d) a multiple of 2?
True
Suppose -2*m = -52 - 18. Suppose 2637 = m*z - 26*z. Is 26 a factor of z?
False
Let b(r) = r**3 - 16*r**2 - 26*r + 20. Does 84 divide b(22)?
True
Let v(d) = 19*d. Let m = 36 - 32. Let h be v(m). Suppose -8*y + 10*y = h. Is 6 a factor of y?
False
Suppose 9 = 6*t - 3*t. Suppose -5*d = -4*o - 379, -t = 4*o + 1. Is d a multiple of 15?
True
Let p = 302 + -53. Does 34 divide p?
False
Let n = 21 + -1. Suppose o - 2*j = -3*o - 8, 5*o + n = 5*j. Let s = o - -9. Is s a multiple of 2?
False
