t p(x) = 9*x**2 - 1 + 11*x**3 - 2*x**3 - 8*x**3 + 6*x. Does 12 divide p(-8)?
False
Let n = 13 - 14. Let x = n + 41. Is 10 a factor of x?
True
Let a(p) = -p**3 - 9*p**2 - 10*p + 9. Let b be a(-8). Does 4 divide (b/20)/(1/4)?
False
Let k be (-140)/15 + 2/6. Is (3 + k)*(-14)/4 a multiple of 7?
True
Let k(c) = 10*c - 15. Does 18 divide k(6)?
False
Suppose 31*g - 1242 = 25*g. Is g a multiple of 23?
True
Suppose 0 = 2*u - o + 2*o - 160, -u + 98 = 5*o. Let a(l) = -l**2 - 6*l - 3. Let w be a(-5). Suppose w*y = -y + u. Does 13 divide y?
True
Let x(k) = 2*k**2 - 18*k**2 + 16 + k**3 + 16*k - 5 + 3*k**2. Is 13 a factor of x(12)?
False
Suppose 0*t - 2*s = 3*t - 307, 0 = 3*t + 5*s - 313. Does 35 divide t?
False
Let w(r) = 3*r - 3. Let n be w(3). Suppose -n*l + 15 = -l. Suppose 0 = l*x - 41 - 13. Is x a multiple of 18?
True
Suppose -4*f + 2*f - 22 = 0. Let w = -2 - f. Is 3 a factor of w?
True
Suppose 4*i + 5 - 33 = 0. Is 14 a factor of (-2 - i)*(-32)/12?
False
Let n = -2 - -11. Suppose -4*i + n = -7. Suppose i*v - 72 = -4*j, -3*j + 0*v + 54 = v. Is 9 a factor of j?
True
Let v(o) = 2*o - 4. Let i be v(5). Let g(w) = -5 + 6*w**2 - i*w**2 + w + w**2. Is g(5) a multiple of 10?
False
Suppose 0 = 5*v - 3*v + 50. Let g(z) = -2*z**2 + 3*z - 1. Let t be g(3). Is t/v + 146/10 a multiple of 10?
False
Let v(g) = -g + 1. Let c be v(-4). Let f(h) = -h**3 + 5*h**2 + 6*h - 3. Is 5 a factor of f(c)?
False
Suppose 167 = 5*k + 5*o - 38, 3*k - 108 = 2*o. Is k a multiple of 15?
False
Let m(f) = f**3 - 3*f**2 - 5*f + 6. Let c be m(4). Suppose -2*x + 96 = c*x. Does 12 divide x?
True
Let m(g) = 2*g - 3. Let j be m(-4). Let y = j - -10. Let v = y - -18. Is 17 a factor of v?
True
Let w(a) = 2*a - 5. Is w(10) a multiple of 14?
False
Suppose 0 = 3*j + 2*j + 15. Let p be (3 + 2/2)*j. Let g = p + 26. Does 7 divide g?
True
Let t be (-3)/(-1) + -1 + 0. Suppose -w + 2 = b, 0 = -b + w + t. Suppose 0 = -9*r + 4*r - 2*s + 45, 4*r - 36 = b*s. Does 3 divide r?
True
Suppose -2*k - k = -57. Suppose -k = -5*l + 41. Is l a multiple of 6?
True
Let k(v) = -v**3 + 8*v**2 + 10*v - 4. Let r be k(9). Suppose 0*x + 50 = -r*x. Does 16 divide x/15 + 202/6?
False
Let a = -8 - -73. Is 13 a factor of a?
True
Let b be (2/(-1))/((-4)/12). Is 194/b + (-4)/(-6) a multiple of 16?
False
Suppose -2*i - 5*b + 21 = 0, 0 = -i + 11*b - 8*b + 16. Is 5 a factor of i?
False
Let t(j) = j**2 + 7*j - 4. Let w be t(-8). Suppose 3*h + 3*y = -h + 425, 0 = -w*h - 2*y + 426. Suppose 5*m - h = 93. Is 20 a factor of m?
True
Let j(x) = 14*x + 1. Let q be j(-3). Let i = q - -59. Is 9 a factor of i?
True
Suppose -2*q + 5 = 2*m - 21, 5*m = -25. Does 18 divide q?
True
Let o be (54/(-12))/(1/(-16)). Let c = o - 126. Let x = c + 95. Does 14 divide x?
False
Suppose -3*u + 4*d = -7, -3*u + d + 2 = -4*d. Does 2 divide u?
False
Suppose -n + 4*v = 4*n + 45, 2*n = -2*v. Is 6 a factor of 3/n - 66/(-10)?
True
Let p be 3/2*880/12. Suppose 9*u - p = 4*u. Is u a multiple of 5?
False
Suppose -2*j + 0*j - 4*s = 16, 24 = -5*j - 2*s. Is 16 a factor of (-1 - j) + 0 + 29?
True
Let h = 21 - -3. Does 8 divide h?
True
Let w(m) = 20*m**2 - 1. Is 16 a factor of w(-1)?
False
Suppose -l = -2*s + 73, 2*l + 6 + 32 = s. Does 21 divide s?
False
Suppose -2*v + 3*v = 20. Is v a multiple of 20?
True
Let u be ((-6)/(-9))/(4/18). Suppose -u*j + 0*j = -42. Is 4 a factor of j?
False
Let t = -3 - -12. Let h(l) = -4*l**3 + 17*l**2 - 21*l - 9. Let j(k) = k**3 - 4*k**2 + 5*k + 2. Let n(w) = t*j(w) + 2*h(w). Does 3 divide n(2)?
True
Let z = 11 + -7. Let t(r) = 0 - 3 - r + z*r + r**2. Is 7 a factor of t(-5)?
True
Let n = 4 + -1. Let f = n + 5. Let k = -3 + f. Does 5 divide k?
True
Suppose -22*h + 560 = -20*h. Is 14 a factor of h?
True
Suppose d = 3*g + 113 - 0, d = 5*g + 119. Is d a multiple of 26?
True
Suppose 332 = 4*l - 200. Is 16 a factor of l?
False
Let s(o) = o**2 - 2*o + 5. Let k be s(0). Suppose -p - 3*p - 498 = -5*f, k*f - 5*p = 500. Is 28 a factor of f?
False
Is 10 a factor of (-1 - (-4)/(-2)) + 23?
True
Let r be 3*-1*16/(-6). Suppose -w = 3*w - r. Suppose 0 = -4*t + w*t + 42. Is t a multiple of 19?
False
Let c(d) = -32*d + 8. Is 34 a factor of c(-3)?
False
Let n(b) = b**3 + 4*b**2 - 3*b - 4. Let z be n(-4). Suppose 14 = -5*d - 4*v + 4, 4*d + v = -z. Is (8/6)/(d/(-6)) a multiple of 4?
True
Suppose 4*v + 0*v + 384 = 0. Let l = v + 143. Does 16 divide l?
False
Let h = 48 + 39. Does 18 divide h?
False
Let i be (9/3 - 3)/(-2). Suppose i = -4*b + 89 + 43. Does 14 divide b?
False
Let i be (2/7)/(2/14). Suppose -3*w = w - 8. Suppose -i*m - w*m = -184. Does 18 divide m?
False
Let a(h) = 3*h**2 + 7*h. Let o be (-9)/((-2)/(-2)) + 4. Does 20 divide a(o)?
True
Let g(w) = -w**2 + 7*w - 2. Suppose x + 2*x = -2*s + 2, -4*x - 2*s + 6 = 0. Does 4 divide g(x)?
False
Let y = -6 + 74. Is y a multiple of 17?
True
Is 944/120 - 2/(-15) even?
True
Is (-114 - 4)/(0 - 2) a multiple of 15?
False
Suppose -3*p = -3*m + 33, -4*m = -2 + 10. Let a = p + 35. Is 8 a factor of a?
False
Let y(g) = 4 + 2*g - 5 + 10 - 3*g. Is y(0) a multiple of 5?
False
Suppose -31*c + 22 = -29*c. Let r(l) = 11*l**2 - l. Let z be r(2). Suppose -3*q - z = -4*p + p, p = 4*q + c. Is p a multiple of 15?
True
Suppose -h = -5*h + 16. Suppose 9 = 3*d, h*w - d - d = 10. Suppose -x + 6 = 2*s, -4*x - s - w*s = -39. Does 9 divide x?
False
Let t = -73 - -133. Let y = t + -36. Is y a multiple of 9?
False
Let o be (1 - (-1 - -2)) + 2. Let l(u) = 13*u**2 + 7*u**3 - 4*u**3 - 16*u**2. Does 8 divide l(o)?
False
Let v = -1 - -5. Suppose 137 = q - 3*i, 0*q - v*i - 141 = -q. Is 12 a factor of (q/10)/(2/4)?
False
Let a be -10*3/(3 - 9). Suppose -2*o = -5*j + 28, -j = -a*j - o + 25. Does 3 divide j?
True
Let f = 88 + -51. Let x = -26 + f. Is 4 a factor of x?
False
Suppose -5*c + 35 = 5*h, 4*c = h + 4 + 9. Let p(o) = o**2 - o. Does 2 divide p(h)?
True
Let s(b) = -b**2 + 2*b + 70. Is 18 a factor of s(0)?
False
Does 16 divide (-4)/((-16)/(-18))*-6?
False
Suppose 254 = -4*x - 0*t - t, 311 = -5*x + 2*t. Let h = x + 90. Is 9 a factor of h?
True
Suppose 2*m = -4*f - 2, 4*f + 7 = -0*f - m. Let z be (-9)/f*(-1 + 4). Does 5 divide z - (1 + 1) - -1?
False
Let r(m) = 83*m**3 - 3*m**2 - 3*m + 5. Does 26 divide r(1)?
False
Suppose -3*f - 5*p + 210 = 2*f, 32 = f + 3*p. Does 7 divide f?
False
Suppose 2*y - 2 + 0 = 0. Suppose z = 2*k - 8, z + y - 23 = -4*k. Suppose -t = p + t - 10, -5*p + z*t = -26. Is 3 a factor of p?
True
Let k(g) = -4*g. Let d be k(-1). Suppose 0 = 5*z - d*z - 7. Let v(u) = u**3 - 7*u**2 + 9. Is 9 a factor of v(z)?
True
Suppose 4*l + s - 3*s - 40 = 0, -50 = -5*l - 3*s. Let i(q) = q**3 + 20*q**2 + q + 22. Let k be i(-20). Let h = l + k. Is h a multiple of 12?
True
Suppose 4*p - 6*p + 8 = 0. Let u(o) = -o + 6. Is u(p) a multiple of 2?
True
Let a = -46 - -114. Suppose 2*f - 3*f = -a. Is f a multiple of 22?
False
Suppose 0 = -v + 304 - 58. Is 6/(-10) + v/10 a multiple of 12?
True
Suppose -3*y + 19 = -2*k + 7*k, y - 3 = 0. Suppose 2*f = 3*j + k*j - 115, 3*j = 2*f + 69. Is 16 a factor of j?
False
Let y(k) = 6*k**2 - 2*k - 48. Is y(-7) a multiple of 10?
True
Let v(j) = -j**2 + 5*j + 6. Let d be v(6). Let h(g) = 17*g - 1. Let w be h(1). Let r = d + w. Is r a multiple of 7?
False
Let h be 3*4/18*6. Is 6 a factor of 3 - (-2 - 76/h)?
True
Is 33 a factor of -2*(4 - (-127)/(-2))?
False
Let d be 4/(-8) + 50/4. Let l = d + -7. Suppose l*x - 115 = -0*x. Is x a multiple of 9?
False
Let j(q) = -q**3 + 6*q**2 + 2. Let d be j(6). Let l be (1 - (d - 2))*8. Let s(v) = 3*v - 4. Is s(l) a multiple of 10?
True
Let x = 47 - 42. Is x a multiple of 5?
True
Does 13 divide 1/3*-1 - (-4935)/63?
True
Let w(l) = l**2 - 9*l - 15. Does 5 divide w(-3)?
False
Suppose -2*l + 28 = 5*v + 6, v = -2*l + 6. Suppose 0 = 2*a + x - 2*x - 89, 3*x = -v*a + 183. Is 15 a factor of a?
True
Suppose 4*m = -4*z + 684, 5*z + m - 4*m = 815. Is 29 a factor of z?
False
Suppose 2*m = -4*j + 270, 3*m + 8*j - 5*j = 405. Is m a multiple of 45?
True
Suppose 0 = 4*a - 7 - 133. Let f = -1 + 2. Does 17 divide a/2 + f/(-2)?
True
Suppose 75 = 5*t + 5*o, 0*t - 4*t = -2*o - 90. Does 9 divide t?
False
Suppose -p = -3*p - 3*t + 111, 3*t = 15. Is p a multiple of 16?
True
Suppose 0 = 3*h - 4*u + 44, 45 + 17 = -5*h + u. Let g(t) = -3*t + 1. Is g(h) a multiple of 16?
False
Let q = -46 + 72. Is 12 a factor of q?
Fal