p) = -p**3 - 9*p**2 + 4. Is q(c) a multiple of 3?
False
Suppose -5*o - 70 = -0*o. Let k = 21 - o. Is k a multiple of 12?
False
Let b(i) be the second derivative of i**3 - 2*i. Let o be b(2). Suppose 3*j - o = -0*j. Is 4 a factor of j?
True
Is 13 a factor of (-387)/(-6) + 7/14?
True
Suppose 80 = -6*b + 10*b. Suppose -5 = -5*d + b. Suppose -4*l - 5*q = -177, -4*q = -2*l + 51 + d. Is 11 a factor of l?
False
Suppose 0 = -5*x - 0*x - 3*b + 74, -4*b - 72 = -4*x. Is 7 a factor of x?
False
Let g(x) = -x**3 - 8*x**2 - 6*x + 7. Let o = 3 - 10. Let r be g(o). Suppose r*c + 12 = c. Is c a multiple of 4?
True
Let u(f) = -f**3 + 7*f**2 + 6*f + 5. Let g be u(8). Let x = g - -31. Does 20 divide x?
True
Let d(a) = 3*a**2 + a - 5. Is 15 a factor of d(5)?
True
Let n(w) be the second derivative of w**3/6 + 5*w. Is n(7) a multiple of 2?
False
Let z be ((-96)/(-28))/(1/28). Suppose -3*f = -3*w + z, 3*w + f = 110 - 30. Does 16 divide w?
False
Let b(c) be the third derivative of 13*c**4/8 - c**3/6 - 2*c**2. Does 19 divide b(1)?
True
Suppose -s - 2 = -5. Suppose 2*x - s*a = 70, 8*a = -5*x + 3*a + 150. Does 15 divide x?
False
Let k be 0/((5 - 4)*-2). Suppose -5*v + 3*y + 232 = -v, k = -4*v - 4*y + 232. Is v a multiple of 18?
False
Let a(g) = -g**2 - 4*g. Let j be a(-4). Let m = 3 + j. Is m/(-8 + 2)*-10 a multiple of 5?
True
Suppose 3*m = 3*w - 192, 0 = 4*w + 5*m - 123 - 124. Does 11 divide w?
False
Suppose 224 + 64 = 2*c. Does 36 divide c?
True
Does 4 divide (-153)/(-27) + ((-16)/(-6))/(-4)?
False
Let b(p) = -p**2 - 2*p - 9. Let a be b(-6). Let o = a + 63. Is 17 a factor of o?
False
Let r(q) = -13*q - 1. Let d be r(1). Is 1 - (-1 - d/(-1)) a multiple of 11?
False
Suppose -b - l - 356 = -5*b, -5*l = -3*b + 250. Is 10 a factor of b?
True
Let a = 15 - 27. Is 2 a factor of (3 + -2)/((-3)/a)?
True
Let w be ((-3)/1)/(-1) - -1. Is (54/15)/(w/30) a multiple of 19?
False
Suppose 0 = -2*r + 3*r. Suppose -4*i - 4 = r, 0*m + 3*i = 5*m - 203. Is m a multiple of 10?
True
Suppose -16 = 5*m - 121. Suppose -m = -4*h + 3. Does 3 divide h?
True
Suppose 0 = -3*a - 3*b, 2*a = -a - 4*b. Suppose -15 = -k - a*k. Is 5 a factor of k?
True
Suppose 0 = -m - 2*m - 6. Is 18 a factor of 15 - (m + 1 + -2)?
True
Let p(b) = b**2 - 3*b - 3. Suppose 4*o - 20 = -0*o. Is 7 a factor of p(o)?
True
Let h(i) = i**2 + 7*i + 3. Let o = 0 + -7. Is h(o) a multiple of 3?
True
Let t be (-160)/(-9) - 6/(-27). Suppose t = 3*b - 2*b + 5*h, 4*b - 4*h = 0. Suppose b*w + 3*p - 6 = 0, -3*p + 4*p = -3*w + 10. Is 4 a factor of w?
True
Let t(y) = 2*y - 3. Let v be t(4). Suppose v*q = q + 84. Is 10 a factor of q?
False
Let g = 82 + -52. Suppose -n + 2 = -4. Suppose -3*t = -n*t + g. Is 5 a factor of t?
True
Let b = 25 + 0. Suppose 3*m + b = 4*m. Is 9 a factor of m?
False
Suppose -3*w + 3*q + 192 = 0, -5*q + 5 = w - 89. Does 14 divide w?
False
Suppose 0 = 2*s - 2*i - 102, 175 + 17 = 4*s - i. Suppose -5*m - h = -s, m + m - 3*h = 29. Is 5 a factor of m?
True
Let q be (-1)/2 + 153/2. Suppose 2*c + w = q, 76 = 2*c - 0*w + 4*w. Is c a multiple of 10?
False
Let g(n) = 3*n**2 - 3*n + 4. Let t be g(7). Is 13 a factor of (t/(-25))/(4/(-10))?
True
Let b(i) = 7*i**2 + 3*i + 20. Let t(j) = 15*j**2 + 5*j + 41. Let m(l) = 13*b(l) - 6*t(l). Is 11 a factor of m(-11)?
False
Suppose -5*t - 3*a = -8*a - 160, 2*a = 4. Suppose -5*u + t = 14. Suppose -u*f = 5*o - 4*o - 29, 0 = 4*f - 5*o - 47. Is 5 a factor of f?
False
Let k = -7 - -12. Let m = -10 + 8. Let n = m + k. Does 3 divide n?
True
Suppose -4*g = -8 - 4. Suppose 5*c + 4 = v - 11, -3 = g*c. Is 10 a factor of v?
True
Is 9 a factor of ((-54)/(-4))/(18/96)?
True
Let w = 406 + -290. Let x = w - 62. Does 18 divide x?
True
Let j = -53 - -99. Does 23 divide j?
True
Let l(w) = 2*w + 1. Let d be l(2). Let y = -8 + d. Is 70/2 - (4 + y) a multiple of 14?
False
Suppose -4*b + 5 = -3*c, -4*c + 18 = b - 7. Let t = 47 - c. Is 21 a factor of t?
True
Let c(n) be the second derivative of 7*n**3/6 + n**2/2 - 3*n. Is 6 a factor of c(2)?
False
Let q(i) = -25*i**3 - i**2 - 6*i. Is q(-2) a multiple of 52?
True
Let j(a) = 4*a**2 + 5*a - 5. Let i = -11 - -14. Is j(i) a multiple of 17?
False
Suppose 3 = 3*a - 0. Does 6 divide (-9*(-6)/9)/a?
True
Let p = -15 - 8. Let u = -13 - p. Does 5 divide u?
True
Let y(o) = o**2 - 4*o + 4. Let w be y(4). Let b be w/2*(-33)/(-6). Let f(a) = a + 2. Is 12 a factor of f(b)?
False
Suppose 8 = -2*d, -3*r + 29 = -3*d - 43. Is r a multiple of 20?
True
Let t(w) = 20 - 5*w + 3*w + 3*w + 0. Is 10 a factor of t(0)?
True
Suppose 0 = 3*h - 4*o - 16, -5*h - 3*o + 46 = -0*h. Suppose 0 = z + 3 - h. Is 5 a factor of z?
True
Suppose -4*f + 585 = 3*t, 2*f - 441 - 534 = -5*t. Suppose -c + t = 4*c. Suppose -a + c = 4*k, 3*a - 3 = k - a. Is 9 a factor of k?
True
Suppose -t - 5*k = t - 124, -5*t = -3*k - 310. Is t a multiple of 6?
False
Let v(c) = -c**3 + 2*c**2 - c + 1. Let z be v(1). Is 0 + (-134 - z)/(-3) a multiple of 16?
False
Suppose 5*o - 5*d - 143 = 3372, -5*d + 733 = o. Suppose -w + o = -4*w. Is w/(-6) - 6/(-9) a multiple of 20?
True
Does 8 divide ((-18)/15)/((-4)/30)?
False
Let o = -10 - -12. Let w(q) = q + q**2 + 4*q**2 + 2 - 2*q**2. Is 13 a factor of w(o)?
False
Let m = 12 + -10. Is -3*-17*(-1 + m) a multiple of 17?
True
Suppose 3*c + 2*c = -10. Is (-537)/(-15) - c/10 a multiple of 9?
True
Let b(f) = f**2 - f + 1. Let n = -9 + 14. Let u(h) = -h**2 + 7*h - 6. Let t be u(n). Is 9 a factor of b(t)?
False
Let a(w) = w**2 - 9*w - 8. Let k be a(9). Suppose 4*z - 3*b + 25 = 0, 0*z + 2 = -2*z - 2*b. Does 8 divide (z/k)/((-1)/(-24))?
False
Let h(i) = 1. Let k(o) = 13*o + 11. Let a(z) = 6*h(z) - k(z). Let j be a(-8). Let y = j + -70. Does 21 divide y?
False
Suppose 80 = h - 5*a, 5*h - a - 328 = -0*h. Does 13 divide h?
True
Suppose 5*d - 5*i - 20 = 0, -5*i = 4*d + 6 - 4. Suppose d*c + 2*j - 16 = 0, 0 = -2*c - 2*c - 2*j + 30. Is 7 a factor of c?
True
Suppose 17 + 31 = 2*m. Suppose -2*f = 2*f - m. Is 3 a factor of f?
True
Suppose -4*u + 33 = -5*s, 6*s - 2*s = -2*u - 16. Let o(c) = c**3 - 3*c**2 - 4*c + 1. Let q be o(4). Is 7 a factor of u/((4/14)/q)?
True
Let k(l) = l**2 - 2*l - 18. Is k(14) a multiple of 14?
False
Suppose -6336 = -23*k + k. Is k a multiple of 32?
True
Let q(o) = 2*o**2 + o - 4. Does 16 divide q(3)?
False
Suppose 12 - 32 = -u. Is u a multiple of 10?
True
Suppose 5*o + m = 4*m + 708, 3*m = -2*o + 279. Suppose -5*d - 4*t = 11 - o, 61 = 3*d - t. Is 7 a factor of d?
False
Let t(v) = 21*v**3 - 2*v**2 + v. Does 10 divide t(1)?
True
Let r = 21 + -17. Suppose 3*q = q + 6. Suppose 0*a + q*a = r*g - 145, -55 = -g - 3*a. Is 11 a factor of g?
False
Let y = -4 + 7. Let g be 0/2 + -1 + y. Suppose g*p + 60 = 5*v, 0 = v + p + p - 24. Is 7 a factor of v?
True
Let l(n) = -11*n + 2. Let o(m) = 6*m - 1. Let x(u) = -3*l(u) - 5*o(u). Does 14 divide x(5)?
True
Is 24/4*(-3 + 7) a multiple of 5?
False
Let s be 56/(-2)*(-21)/6. Is (1 - 0)/(7/s) a multiple of 4?
False
Suppose 138*l = 134*l + 1424. Does 31 divide l?
False
Let s(z) = -2*z**2 - 4*z - 1. Let t(r) = 2*r**2 + 4*r. Let v(f) = 3*s(f) + 4*t(f). Is v(-6) a multiple of 15?
True
Suppose -8*a = -5*a - 3*c - 111, -3*c = -a + 31. Is a a multiple of 8?
True
Suppose 4*k = 7*b - 2*b - 32, 5*b - 44 = -2*k. Let c = b + 3. Does 11 divide c?
True
Is 7 a factor of 76/(6/(-3) + 4)?
False
Let y be (-70)/(-21) + (-4)/(-6). Is 9 a factor of 42/4 - (-2)/y?
False
Let z(n) = -46*n - 22. Does 30 divide z(-7)?
True
Suppose -2*s + 10*s - 920 = 0. Is 23 a factor of s?
True
Let p(t) = -9*t - 8. Let x(l) = l + 1. Let q(k) = p(k) + 2*x(k). Is q(-6) a multiple of 14?
False
Let i(t) = t**2 + 5*t - 3. Let w be i(-6). Suppose -20 = -w*x + 4. Is 8 a factor of x?
True
Let a = -3 + 3. Suppose a = -o - 0*o - 3, 5*y + o = 177. Does 24 divide y?
False
Let b(g) = 4*g**2 - 9*g + 10. Is b(-8) a multiple of 56?
False
Let b(t) = t**2 - 6*t - 17. Let r be b(8). Let a(f) = -31*f**3 - 20*f + 17. Let c(g) = 10*g**3 + 7*g - 6. Let v(i) = 6*a(i) + 17*c(i). Is 7 a factor of v(r)?
False
Is 7 a factor of (-51)/2*(-16)/6?
False
Let d be 0 + 82 + -1 - 3. Suppose -5*a + 65 = 4*v, -5*v = 2*a + a - d. Does 5 divide v?
True
Let v(c) = 7*c + 2. Does 21 divide v(6)?
False
Let g = -3 - -6. Suppose -g = 2*x - 21. Is x a multiple of 2?
False
Suppose 2*d + d - 24 = 0. Suppose -3*h = -4*h + d. Is h a multiple of 4?
Tr