 0 = 7*i - 291 - 290. Does 14 divide i?
False
Suppose h - 6*h = 0. Let z be 2/(-4)*(h + 6). Is -3 - (-6 - (-3)/z) a multiple of 4?
True
Let k(b) = 5*b**2 + 13*b + 25. Is 44 a factor of k(-8)?
False
Let n(f) = f**3 + 5*f**2 + 2*f - 3. Let k(z) be the third derivative of z**4/24 + 3*z**2. Let o be k(-3). Is 9 a factor of n(o)?
True
Suppose -2*j + 3*j - 5 = 0. Suppose 0 = g - 2*g + j. Suppose g*v + 5*d = 2*d + 219, 2*d + 162 = 4*v. Is v a multiple of 14?
True
Let n(q) = -q - 8. Let m = -3 - 4. Let l be n(m). Does 7 divide 25 - 0/(3 + l)?
False
Does 24 divide -1 + (5 - 8) + 26 + 2?
True
Suppose 0 = 2*v - 2*u - 25 + 7, -5*v + u + 29 = 0. Suppose v*n = 2*n + 162. Does 19 divide n?
False
Suppose -a = 2*a. Suppose -p + a*p = 0, 0 = 4*n + p. Is 6 a factor of 0 + n/2 + 6?
True
Suppose -2*g = v - 22, v - 4*g = -1 + 5. Is 8 a factor of v?
True
Let r(x) = -x - 4*x + 6*x. Let y(t) = -6*t. Let m(a) = -33*r(a) - 6*y(a). Is 10 a factor of m(6)?
False
Let y = 64 + -39. Is 12 a factor of y?
False
Does 2 divide (13/39)/((-1)/(-12))?
True
Let z be 4/6 - 38/(-6). Is 9 a factor of (210/z)/(2*1)?
False
Suppose 0 = 3*x + 3, x = w - 0 - 8. Is w a multiple of 7?
True
Suppose -422 + 1214 = 4*n. Is 9 a factor of n?
True
Suppose 2*y - 4*v - 6 = 0, 7 = 4*y - 4*v - 9. Suppose -y*q - 1 = -0*w + w, -91 = -5*w - q. Suppose -5*i + 4*i = -w. Is 14 a factor of i?
False
Let m(d) = -d**3 + 4*d**2 + 4*d + 1. Let o be m(5). Let g = 3 - o. Suppose g + 5 = 3*z. Does 3 divide z?
False
Let x(f) = -f**3 - 13*f**2 - 13*f - 5. Is x(-12) even?
False
Suppose 4*h = -0*h - 5*f + 236, f = -4*h + 220. Let q = -32 + h. Is 11 a factor of q?
True
Suppose 3*a - 3*w = -w + 224, 2*a - 145 = -3*w. Let z be a/(-2)*(4 + -3). Is 13 a factor of (4 - 3)/((-1)/z)?
False
Suppose 2*i = -53 - 19. Suppose 0 = -4*u + 4*t - 72, -2*u + 60 = -4*u - 4*t. Let a = u - i. Is a a multiple of 14?
True
Suppose 0 = -5*n + 53 + 47. Is n a multiple of 8?
False
Suppose 78 = -2*i + 5*i. Does 13 divide i?
True
Suppose 4*a - j - 15 = 0, -4*j + 2*j + 2 = 0. Suppose a*g - 37 - 135 = 0. Suppose 2*w - v + 4*v - g = 0, 3*w - 27 = 3*v. Is w a multiple of 7?
True
Suppose -316 = -6*q + 188. Does 28 divide q?
True
Let s(k) = -3 - 3*k**3 + 2 + 2*k**2 + 6*k**3. Let w be s(-1). Let c(l) = 4*l**2 + 3*l. Is 4 a factor of c(w)?
False
Let s = 211 + 95. Is 20 a factor of s?
False
Suppose 0 = 3*p - 2*i - 275, p - 2*i + 485 = 6*p. Suppose -2*t = -7*t + p. Is 10 a factor of t?
False
Suppose -24*g + 28*g - 632 = 0. Does 14 divide g?
False
Let a(u) = -15*u. Let c be a(-4). Suppose -7*b = -2*b - l - c, l = 0. Is 6 a factor of b?
True
Let g(l) = -l**2 + 10*l - 10. Let s be g(8). Suppose 3 + s = 3*h. Suppose -5*p = -3*q - 132, -h*q + 0*q - 12 = 0. Is p a multiple of 12?
True
Let z = 19 + 37. Does 7 divide z?
True
Let v = 89 - 63. Does 24 divide v?
False
Suppose -2*k = -3*a + 17, -3*k = 5*a + 2*k - 20. Suppose -a*y = -6*y + 85. Is 17 a factor of y?
True
Let v be 1 - (-1 + 0)/1. Does 6 divide (0 - 1)/(v/(-36))?
True
Let r be -1 + -13 - 20/(-10). Let m = 24 + r. Is m a multiple of 3?
True
Let m = 4 - -5. Let b(d) = d**3 - 10*d**2 + 12*d - 10. Does 11 divide b(m)?
False
Suppose 7*y - 2*y = 350. Suppose -5*d + y = -50. Is d a multiple of 7?
False
Let o(j) = 2*j**2 + j. Let m(z) = -z - 6. Let y be m(-8). Does 5 divide o(y)?
True
Let s(p) = p**2 - 8*p + 9. Is s(7) a multiple of 2?
True
Let l(b) = -2*b**2 - 6*b. Let k be l(-6). Let d = k - -51. Does 15 divide d?
True
Let v be ((-16)/20)/(4/(-10)). Suppose -n + 38 = 5*t, v*n - 4*n + 41 = 5*t. Is t a multiple of 5?
False
Let z = 161 + -35. Is z a multiple of 19?
False
Let s(g) = g**3 - 2*g**2 - 3*g + 7. Is s(3) a multiple of 2?
False
Let d = -3 + 6. Suppose 4*b - l - 2*l = 60, d*l = 12. Is b a multiple of 9?
True
Let r be -1 + (-6)/(-9)*6. Suppose -4*j + 3*j + 1 = y, j + r = -5*y. Is 2 a factor of j?
True
Let u be (-63)/(-2)*(-2)/(-3). Let a = u - 10. Is a a multiple of 11?
True
Let m(o) be the third derivative of 7*o**5/60 - o**4/24 - o**2. Let q be m(1). Let x = 9 - q. Does 2 divide x?
False
Let m = 11 - 10. Suppose -p + m = 6. Let h(y) = -y**3 - 5*y**2 - 4*y + 4. Is 8 a factor of h(p)?
True
Let x = -9 - -14. Suppose 4*y + 0*i = i + 24, 3*y + x*i = 41. Is y even?
False
Let l(g) = g**3 - 6*g**2 + 5*g - 3. Let b be l(5). Let u = -1 - b. Is -2 - (-12 - 2/u) a multiple of 11?
True
Let f = -3 - -6. Suppose 0*s + s = f. Suppose -s*y + 42 = -0*y. Is 5 a factor of y?
False
Is (-204)/(-16) + 2/8 even?
False
Suppose -5*x - 20 = 5*t, 4*t + 24 = 2*x + 2*x. Suppose -z - 3*z + 240 = 0. Is z/(-3)*2/t a multiple of 4?
True
Let r(q) = -q**2 - 9*q - 3. Let i be r(-8). Is 328/20 + (-2)/i a multiple of 9?
False
Let f(s) be the second derivative of -s**6/144 - s**5/120 + s**4/6 - s. Let n(l) be the third derivative of f(l). Is 12 a factor of n(-5)?
True
Let j be (1 + -3)/((-1)/(-33)). Let o = -36 - j. Does 10 divide o?
True
Suppose 3*x - 135 = 60. Is 13 a factor of x?
True
Let f = -12 - -15. Let l(k) = 6*k - 1. Is l(f) a multiple of 7?
False
Suppose -10*q = -5*q - 230. Is q a multiple of 23?
True
Let s be (57/5 - 1)*5. Let q = s - 30. Is 11 a factor of q?
True
Suppose -g - 49 - 3 = s, -5*s + 25 = 0. Let x = -31 - g. Is x a multiple of 13?
True
Suppose -7*q - 2*q + 144 = 0. Does 8 divide q?
True
Let m = 23 + -12. Is m + -4 + 0 + 3 a multiple of 3?
False
Let s = -11 - -23. Suppose 0*m + 4*m - s = 0. Is 2 a factor of m?
False
Let x be (374/6)/((-9)/(-27)). Does 21 divide x/9 - 10/(-45)?
True
Let l be -6*(-9)/((-108)/(-16)). Is 11 a factor of l/28 - (-918)/21?
True
Suppose -2*u - 2 = -3*u. Suppose -u*d + 0*d = 0. Suppose 4*l - p + d*p = 37, 3 = l + p. Does 7 divide l?
False
Let z(o) = -o**3 + o**2 - o + 8. Let h be z(0). Let r(u) = 6*u + 8. Let g be r(h). Suppose 0 = -w - 3*w + g. Does 5 divide w?
False
Suppose -z = 5*v - 1893, 5*z + 3 + 7 = 0. Does 11 divide v?
False
Suppose 0 = -0*d - 2*d. Suppose d = -3*m - 46 + 4. Let a = m + 26. Is a a multiple of 7?
False
Suppose c = 4*c - 2*u - 46, 37 = 2*c + 5*u. Suppose 0 = s - 0*s - c. Suppose -4*p = -4*i + s, -p + 23 = 2*i + 3. Is i a multiple of 3?
False
Let z be -1 + 33/1 - 0. Let t = 1 - -4. Suppose -5*o - n - 4*n + 50 = 0, 3*o - z = -t*n. Is o a multiple of 9?
True
Let d = 9 - 4. Suppose -280 + 85 = -d*t. Does 13 divide t?
True
Let p = 11 + -6. Suppose -y - 263 = -3*y - 3*v, 666 = 5*y - v. Suppose -y = -p*n - 43. Is 9 a factor of n?
True
Suppose 2*w + 25 = -t + 81, -4*w + 5*t = -112. Let o = 66 - w. Is 19 a factor of o?
True
Let u = 267 - 117. Is u a multiple of 15?
True
Suppose 592 = 5*a - 83. Is a a multiple of 25?
False
Let r = 369 - 231. Is 23 a factor of r?
True
Does 2 divide (-30)/2*(-6)/18?
False
Let f be (-98)/8 - (-3)/12. Let w = 9 - f. Let k = w + -7. Does 7 divide k?
True
Suppose -217 = -3*o - 4*n + 5*n, 4*o = -2*n + 286. Let z = -18 + o. Does 18 divide z?
True
Let r(n) = 6*n**3 - 18*n**2 + 12*n - 1. Let b(x) = -x**3 + x**2 + x - 1. Let w(h) = -5*b(h) - r(h). Is 35 a factor of w(11)?
False
Suppose 5*u - 7 - 171 = 4*q, -u + q + 35 = 0. Let y = -27 + u. Does 6 divide y?
False
Suppose l - 200 = -88. Is l a multiple of 13?
False
Let o be 22/(-5) + 12/(-20). Let a(g) = -8*g - 7. Does 21 divide a(o)?
False
Suppose 3*b - f - 98 = 3*f, 2*b - 5*f = 56. Is 21 a factor of b?
False
Let x(j) = j**2 - 6*j + 1. Let l be x(5). Let h(u) = -6*u - 6. Does 6 divide h(l)?
True
Let f(n) = n**3 - 2*n**2 - 4*n + 1. Let s be f(3). Let h(r) = -r**3 - 3*r**2 - 2*r. Let w be h(s). Does 14 divide (2 + 31 + w)*1?
False
Let u = 1 - -1. Let n = u + 2. Is 2 a factor of n?
True
Let k(l) = -l + 2. Suppose 3*n + 207 = -0*n. Let o be n/9 - 2/(-3). Does 6 divide k(o)?
False
Suppose -6*v = -221 - 523. Is 7 a factor of v?
False
Let j(q) = -q**3 - 4*q**2 + 4*q + 6. Is 11 a factor of j(-5)?
True
Let f(m) = -9*m**3 + m**2 - 2*m - 3. Is f(-2) a multiple of 11?
True
Suppose 4*h = 2*o, 2*h - h = -3*o + 35. Let t = o - 5. Is t a multiple of 5?
True
Let w be (21/(-12))/(1/20). Is 10/w + (-354)/(-14) a multiple of 25?
True
Let r(d) = -3*d**2 + 24*d - 2. Does 19 divide r(5)?
False
Is 17 a factor of (1 - 2)*3*-17?
True
Let s(u) = -u + 3. Let d be s(0). Let t be (-4 + d)/(1/(-10)). Suppose -2*j = -t - 4. Is j a multiple of 4?
False
Suppose 2*d - 3*q + 6 = -0*d, -3*d - 4*q + 8 = 0. Let t(f) = -f + 23. Is t(d) a multiple of 4?
