8?
False
Let t(y) = 6*y**2 + y**2 + 0*y - y + 3*y**2. Is 3 a factor of t(1)?
True
Suppose y = 30 - 84. Let m be (-12)/28 + y/21. Is m - -3 - (0 - 5) even?
False
Suppose 2*v + v + 9 = 0. Let x(t) = -5*t - 3. Let h be x(v). Suppose 2 + h = 2*c. Is 7 a factor of c?
True
Suppose -2*g - 5*t = -111, -t - 232 = -4*g - 21. Suppose 5*r - g = -3*c + 66, 3*c = -r + 139. Suppose -5*z = c - 143. Does 7 divide z?
False
Let x(c) = 66*c**2 + 4*c + 2. Is x(-1) a multiple of 32?
True
Let m = -7 - -11. Suppose -2*n + m*n = 28. Suppose -n = 3*j - 56. Is 5 a factor of j?
False
Suppose 0 = 16*m - 560 - 384. Is 16 a factor of m?
False
Suppose 0 = -4*k - 2*i + 16, -5*i = -7*k + 4*k - 1. Suppose -k*c = -4*c + 64. Suppose -f - 3*v = 2*v - 27, 3*f - 2*v - c = 0. Is f a multiple of 10?
False
Suppose 0 = -4*k + 10 - 2, -5*k = r - 40. Is 16 a factor of r?
False
Let d(x) = -x**3 + 5*x**2 + 2*x + 3. Suppose -3*a = 3*n - 12, 2*a + 3*n - 5 = 4*n. Does 11 divide d(a)?
False
Suppose -2*x = 2*j - 50, 4*x - 118 = j + j. Let s be x*(1 + 3/2). Suppose -a - 6 = -3*t - 31, -4*a + 2*t = -s. Is a a multiple of 16?
True
Suppose 0*t = -t + 1. Suppose 0 = z - t - 3, 2*n - 20 = -5*z. Let c(a) = a**3 - a**2 + a + 10. Is 5 a factor of c(n)?
True
Suppose 11 + 1 = 3*o. Let q(l) = -3*l + o*l + 14*l**2 - 3*l**2. Does 5 divide q(-1)?
True
Let q = 8 + -6. Suppose -2 = -4*g + 3*j + 25, -14 = -2*g + 2*j. Suppose -13 = -m + q*y, -3*m - g = -m + 4*y. Is 3 a factor of m?
False
Let v = 59 - -61. Is 30 a factor of v?
True
Let j(g) = g**3 + 2*g**2 - 5*g - 4. Let s be j(-3). Suppose s*m = -m + 27. Is 6 a factor of m?
False
Let q(z) = 2*z**2 - 11*z + 24. Is q(7) a multiple of 31?
False
Let i = 7 - 3. Suppose r + 89 = 2*z - 4*r, i*r + 52 = z. Does 16 divide z?
True
Suppose 2*f + 4 = 12. Suppose 0 = -f*r + 2*h + 182, -86 = -2*r - 2*h + 4*h. Does 16 divide r?
True
Is 2 - 1 - (1 + -18) a multiple of 5?
False
Let b = -9 - 0. Is 8 a factor of (-3)/b + 47/3?
True
Suppose -2*z = -p - 15, 2*p = -5*z + 4*z - 15. Let q(j) = j**2 + 3*j - 5. Does 11 divide q(p)?
False
Let n(l) = l**3 + 6*l**2 - 2*l + 6. Let b(q) = q**2 - 6*q - 5. Let g be b(6). Is 12 a factor of n(g)?
False
Let w = -6 - -31. Does 6 divide w?
False
Let b be (-10 - -4)*(-1)/1. Suppose 2*z - b = -0. Suppose 7 = 2*d - 5*f, -5*d + z*f = -32 + 5. Does 6 divide d?
True
Let w(u) = 14*u**2 - u. Let n be -2 - ((-4)/1 - -1). Is w(n) a multiple of 4?
False
Let v(b) = -b - 1 + 3*b - 3*b. Let w be v(-3). Suppose -3*z - w*z = -180. Is z a multiple of 18?
True
Suppose 9*x - 8*x = 46. Is 46 a factor of x?
True
Suppose -2*y + 54 = -0*q + 2*q, -3*q = -4*y + 129. Let n = 97 - y. Is n a multiple of 16?
False
Suppose -5*o + 12 = -3*m, 2*o + 16 = -0*o - 4*m. Suppose y - 4*y + 15 = o. Is 5 a factor of y?
True
Let k = 75 + -40. Is k a multiple of 5?
True
Let b = -3 + 6. Suppose -b*i + 0*i - 2*j = -108, 0 = j - 3. Does 17 divide i?
True
Let j(r) = -r + 4. Is j(-12) a multiple of 11?
False
Let q(a) = a**3 + 6*a**2 + 6*a - 4. Let h be q(-5). Let k be (6/h)/(1/9). Does 4 divide 0 + 6*(-9)/k?
False
Suppose -3*m = -2 - 1. Suppose m + 4 = b. Let y(q) = 2*q**2 - 8*q + 5. Is y(b) a multiple of 15?
True
Suppose n + 21 = 4*a + 121, n - 3*a - 96 = 0. Suppose 0 = 5*b + 4 - n. Is b a multiple of 4?
True
Let m(x) = -x**2 + 28*x - 40. Does 8 divide m(23)?
False
Let u(a) = -5*a**2 + a - 1. Let b(v) = v**3 + 8*v**2 + 8*v + 8. Let j be b(-7). Let h be u(j). Let w = h - -18. Does 12 divide w?
False
Let x be -6*20/(-8) + -3. Is x/15 - 71/(-5) a multiple of 4?
False
Suppose 5*v - 49 = -s, 0 = s - 6*s + v + 219. Is s a multiple of 22?
True
Let i = 4 - 1. Does 14 divide (5 - i)/((-3)/(-39))?
False
Let q(f) = -2*f**2 + 4*f - 2. Let n be q(2). Suppose 0*c - 3*c = -39. Let h = n + c. Is 8 a factor of h?
False
Let i be (-2)/4*4 + 2. Let s(u) = u**2 + 21. Is 14 a factor of s(i)?
False
Let a = -12 - -20. Suppose 3*p + a = 80. Is p a multiple of 5?
False
Let k(r) = -r**3 - 4*r**2 - 3*r + 3. Let v = -10 + 6. Does 15 divide k(v)?
True
Suppose 0 = 2*v + 3*l - 10, 5*v = 3*l + 3 + 1. Let b be 6/9*(30 + 0). Suppose -2*t = 2*p - v - b, -4*t + 5*p + 17 = 0. Is 8 a factor of t?
True
Is 28 a factor of 28/((13/(-6))/(-13))?
True
Let h be -4 + (0/(-3) - 2). Is (0 + 0)/2 - h a multiple of 2?
True
Suppose 0 = 34*o - 30*o - 1352. Is 50 a factor of o?
False
Let p(b) = -b**2 - 19*b + 3. Is p(-12) a multiple of 14?
False
Suppose 0 = 5*k + 4*v - 65, 0*v = -5*k + 3*v + 65. Is k even?
False
Suppose n = 0, -21 = -3*x + 4*n - 7*n. Suppose -x - 9 = -4*j. Suppose -a = 0, 63 = 3*z - j*a + 2*a. Does 18 divide z?
False
Let m(l) = -3*l - 3. Let c(r) = 2*r + 1. Let p(t) = 5*c(t) + 3*m(t). Let a be p(4). Suppose i - 36 = -4*d, a = -4*i - 5*d + 110 + 34. Is i a multiple of 18?
True
Is 28 a factor of (1560/(-16) - -2)/(2/(-4))?
False
Let x be 2 + 2/(2 + 0). Suppose -3*b = -b - 5*d - 13, 4*d + 16 = x*b. Suppose 5*c + 60 = 2*p, 4*p = c + b*c + 100. Is p a multiple of 8?
False
Let q(f) = 3*f + 6. Let z be q(9). Suppose -3*g = -4*l + 34, -3*l - 2*l - g = -z. Does 6 divide l?
False
Suppose 2*p - 42 = -18. Does 3 divide p?
True
Suppose -599 = -3*g - 4*l, 3*g + 2*l - 151 = 456. Does 35 divide g?
False
Let o be (-20)/(-12) - (-4)/(-6). Let i be (-48)/3*o/(-2). Let p = i - 5. Is p a multiple of 3?
True
Suppose 3*w = 3*n - 9, 0*n - n - 3*w = 17. Does 15 divide 20/n*(-3)/2?
True
Let r be 8/60 + 292/60. Is 22 a factor of 220/(-6)*(-12)/r?
True
Is 4 a factor of (-2)/(-8) - 531/(-36)?
False
Let v be -1*3 + -2 + 5. Suppose -12 = -2*j - v*j. Does 6 divide j?
True
Is 17 a factor of (-8 - -1)/((-4)/40)?
False
Let l(m) be the third derivative of -m**6/120 - m**5/60 - m**4/8 - m**3/3 - 4*m**2. Is 4 a factor of l(-2)?
True
Suppose 5*g = 8*g - 198. Suppose -2*l + g = 5*m, -2*l = 4*m - 8*m + 60. Is 7 a factor of m?
True
Let v be 2/4*-6 - -8. Let l = 40 + v. Is l a multiple of 9?
True
Let d = -206 + 316. Is 10 a factor of d?
True
Suppose 0 = 4*k - 111 - 177. Is 9 a factor of k?
True
Let b be (2 - 3)*(-3 + 0). Suppose -b*p = -p - 4. Suppose p*q - o - 12 = 0, 3*q - 3*o - 1 = 4*q. Is 3 a factor of q?
False
Suppose 110 = -0*a + 2*a. Does 32 divide a?
False
Suppose -2*l - 2*i = -5*l - 13, -5*l = 5*i + 5. Let m be (-21)/l*(0 - 1). Let u = -4 - m. Is u even?
False
Let g(p) = p**3 + p**2 - 2*p. Let w be g(-2). Suppose 0*b + 5*b - 50 = w. Does 10 divide b?
True
Let k(r) = r**3 - 20*r**2 - 18*r - 18. Is 15 a factor of k(21)?
True
Let s(p) = -9*p + 1. Let x be s(3). Is 13 a factor of (0 + (-12)/8)*x?
True
Suppose 114 = v + 2*v. Suppose 3*u - 16 = u - 2*c, 0 = -4*u + 2*c + v. Is 3 a factor of u?
True
Suppose -80 = -3*j - 3*v + 8*v, -v - 26 = -j. Is 8 a factor of j?
False
Suppose 4*t + 9*g - 5*g - 28 = 0, -3*t = -g - 29. Let h be (2/(-4))/(2/8). Let n = h + t. Is n a multiple of 7?
True
Suppose -5*y - 191 = 4*h, 3*y + h + 104 = -5. Let f = y - -53. Does 9 divide f?
True
Let n(f) = -f**3 + 8*f**2 - 7*f + 5. Is n(6) a multiple of 7?
True
Let m(d) = 3 - d**3 - 4*d**2 + 1 - 4*d - 5. Let z = 4 + -7. Is m(z) even?
True
Let q = 31 + -55. Let b = q + 48. Is b a multiple of 12?
True
Suppose 4*z + z + c = 518, z - 106 = c. Is z a multiple of 52?
True
Let c(v) = -v**2 - 7*v - 7. Let y be c(-5). Let d be (-297)/(-3) + (3 - 6). Is 16 a factor of d/(-18)*-1*y?
True
Suppose 0*k + 88 = 4*k. Let o = k + -64. Is 10 a factor of (o/10)/((-2)/10)?
False
Let m(i) be the second derivative of 2*i**3 + i**2 - 2*i. Let n(k) = -2*k - 4. Let d be n(-3). Does 10 divide m(d)?
False
Let d be 2790/63 - (-4)/(-14). Suppose -5*u = -u - 4*k - d, -5*u + k + 39 = 0. Does 7 divide u?
True
Let v be ((-4)/6)/((-5)/30). Suppose 0*q = v*q - 8. Is q a multiple of 2?
True
Suppose 2*c = 4*c - 4. Suppose -15 + 30 = 5*x. Is x - (-33)/3 - c a multiple of 8?
False
Let q(p) = 3*p**2 - 4*p + 4. Let b be q(4). Let i = b - 17. Is 4 a factor of i?
False
Suppose 126 = k + k. Is 7 a factor of k?
True
Let p(w) = -w**3 - 4*w - 3. Let y = 4 + 2. Suppose b + y = -b. Is 16 a factor of p(b)?
False
Let h be (8/(-10))/(8/(-20)). Let o(b) = b + 2. Let g be o(h). Suppose -6 - 6 = -g*y. Is y a multiple of 2?
False
Suppose -x + 5*u = -47, 4*u + 55 = -4*x + 219. Does 21 divide x?
True
Suppose 5*a - 48 - 67 = 0. Suppose -5*g = -3 + 18. Let q = a + g. Is q a multiple of 8?
False
Let a = 26 + -18. Let l(z) = -z**2 + 8*z + 11. Is 4 a factor of 