**3 - 8*l**2 - 12*l - 10. Let q be a(10). Is 6 a factor of (14/(-35))/((-2)/q)?
False
Is ((-75)/(-6))/((-1)/(-2)) a multiple of 5?
True
Suppose 12 = 2*a + 3*u, 4*a - 58 = 4*u + 6. Is a even?
True
Suppose 0 = 2*c + z + 6 - 199, -z - 472 = -5*c. Is c a multiple of 19?
True
Let s be (2*-1 - -1)*-3. Suppose 4*j = -0*j + 8. Suppose s*n - j = 40. Is 10 a factor of n?
False
Let b(m) = 8*m + 3. Is 9 a factor of b(4)?
False
Suppose -3*s + 22 = -8. Suppose 0*o - s = -o. Is o a multiple of 3?
False
Suppose 2*f = 371 - 231. Is 14 a factor of f?
True
Let b(v) = -7*v**3 + v**2 + 4*v + 3. Does 20 divide b(-2)?
False
Let x = -1 + 6. Is x + 1 + -1 + 2 a multiple of 5?
False
Suppose -l - q + 5*q = -36, 0 = -2*q - 4. Does 13 divide l?
False
Suppose 2*q - 8 = 0, -y + 1 = -q - 0. Suppose -4*r + o = -14, -10 = -y*r + 6*o - o. Is r even?
True
Suppose 5*h - 3*h + 10 = 0, q + 80 = -3*h. Let o be 2805/25 - 12/(-15). Let a = q + o. Does 18 divide a?
False
Let b = 37 - -9. Suppose 0 = -3*l + 2*s - 0*s - 1, s - 5 = 0. Suppose -5*d + b = -l*d. Does 8 divide d?
False
Let f(y) = y**2 + 4*y + 2. Let u(r) = 2*r**3 + 2*r**2 - 4*r - 5. Let x be u(-2). Is f(x) a multiple of 3?
False
Let h(n) = -12 + 6*n + 1 + 2*n**2 - n**2. Is h(-9) a multiple of 8?
True
Suppose 60 = 2*p + 2*p + 2*o, 2*o = p - 5. Let m = 20 - p. Is m even?
False
Let c(y) = y**2 + 3*y - 5. Suppose -30 = -2*h - h. Suppose -5*d + w = 4 + 17, -2*d + 5*w = -h. Is c(d) a multiple of 2?
False
Let g be 6*(0 + (-4)/(-6)). Suppose g*r - 21 + 9 = 0. Is r - 1 - -1*13 a multiple of 15?
True
Let q(c) = 2*c - 2. Let f be q(2). Suppose -2*k = -5*m + 16, -k - 4*m = -f - 16. Suppose -5*g = b - 19, -k*g = -0*g + 6. Does 17 divide b?
True
Let t(d) = -2*d - 13. Let r be t(-9). Suppose -3*g + r*f + 107 = -0*f, 2*f - 186 = -4*g. Is 17 a factor of g?
False
Let s be -16*(2/4 + 0). Let b be s/(-3)*(-6)/(-4). Suppose 3*c = b*c - 13. Does 6 divide c?
False
Suppose 14*g + 932 = 18*g. Does 25 divide g?
False
Let m = 2 - 4. Let v(t) = -t**2 - t + 2. Let u be v(m). Suppose h + 108 = 5*z - u*h, h = 3*z - 64. Does 14 divide z?
False
Suppose -84 = -14*n + 10*n. Does 3 divide n?
True
Suppose 5*s - 2*s - 19 = 5*l, 0 = 4*l - 4. Is 20 a factor of 31 + (4 - s) + 3?
False
Let g(q) = -6*q. Let f be (-79)/11 - 10/(-55). Is g(f) a multiple of 21?
True
Let b(c) = 2 - 2*c**2 + 6*c + 7 + c**2 - 2. Is b(5) a multiple of 4?
True
Suppose 3*v + 2*v = 145. Let o = v - -1. Is o a multiple of 12?
False
Let y = -13 - -8. Let a = y + 5. Suppose a = -4*p - 8 + 48. Is 8 a factor of p?
False
Suppose -3*c - 11 = -5*o + 11, -4*c + o - 18 = 0. Does 5 divide 411/27 - c/(-18)?
True
Suppose -2*d - v = -6, 3*d + v = -2*v + 9. Suppose 0 = -d*b + 12, 1 = -r + 6*b - b. Is 8 a factor of r?
False
Let i = 3 - 1. Suppose j + 60 = i*p + 4*j, -5*p - 3*j + 132 = 0. Is 8 a factor of p?
True
Suppose -3*d - 104 + 317 = 0. Does 18 divide d?
False
Suppose -p = -11 - 10. Suppose 3*c + 2 = -5*j - 3, -2*j - 2 = 2*c. Let l = j + p. Does 10 divide l?
True
Suppose 9 - 33 = 4*x - t, -5*x - t = 21. Let s = x - 1. Does 14 divide 20/s*252/(-35)?
False
Let g(t) = -t**3 + 5*t**2 - 3*t - 5. Let a be g(4). Let n(v) = 4*v**2. Let i be n(a). Suppose 2*f = -3*c - c + 76, 0 = -i*c + 5*f + 48. Is c a multiple of 6?
False
Suppose 38 = -8*q + 10*q. Is 19 a factor of q?
True
Suppose 3*l + 1 = 88. Is 13 a factor of l?
False
Is 7*7/((-98)/(-240)) a multiple of 20?
True
Let a(w) = 2*w + 3. Does 10 divide a(11)?
False
Suppose 0 = y + y + 270. Let s = -87 - y. Suppose 19 = b - 5*p + 7, 4*b + p - s = 0. Does 12 divide b?
True
Let n be (16/(-24))/(2/(-15)). Suppose s - 19 = -0*p - 5*p, -4*s + n*p = -1. Is 2 a factor of s?
True
Let n(y) = -y**3 - 6*y**2 - 6*y - 1. Let q be n(-5). Let i = q + 26. Does 15 divide i?
True
Let r(t) = -20*t**3 - t**2 - t. Let j = -10 + 9. Is 8 a factor of r(j)?
False
Let a(l) = l**2 + l - 3. Let b be a(-3). Suppose b*x - 210 = -0*x. Does 19 divide x?
False
Let y(f) = 159*f - 7. Does 8 divide y(1)?
True
Suppose 2*v = u + 26, 3*v - 5*u = v + 10. Is 3 a factor of v?
True
Suppose -6*g - g = -301. Does 15 divide g?
False
Suppose -5*f - 5 + 15 = 0. Is f a multiple of 2?
True
Suppose 4*h + 539 = 5*t, 3*h = -5*t + h + 563. Is t a multiple of 37?
True
Let m = 13 - 4. Suppose 4*j - 6 - 38 = 0. Suppose -n - k = -j, -4*n + m*n - 5*k = 95. Does 6 divide n?
False
Let d(h) = 8*h**2 - 7*h - 4*h**2 - h**3 + 10*h**2 + 6 - 5*h**2. Is d(8) a multiple of 7?
True
Suppose 0 = -3*y + 5*y - 4*a - 98, a = -y + 61. Does 19 divide y?
True
Let d(w) = 2*w**3 - 4*w**2 + 2*w. Let l be d(2). Let n be 8/(-6)*(-18)/2. Does 4 divide n/((-1)/(l/(-6)))?
True
Suppose -2*n + 2 + 4 = 0. Suppose n*f + 0*c - 141 = 4*c, 3 = c. Is f a multiple of 17?
True
Suppose 2*o = 4*f + 64, 151 = 5*o - 0*f - f. Is o a multiple of 12?
False
Suppose 5*q = -3*z + 245 + 100, -q = -3*z - 87. Is q a multiple of 24?
True
Let d = -118 - -219. Is d a multiple of 15?
False
Let p = -24 + 67. Does 8 divide p?
False
Suppose 5*m - 4*l - 300 = 0, 3*m - 67 - 113 = 2*l. Let z = m - 1. Does 24 divide z?
False
Let x(n) be the first derivative of n**7/840 + n**6/72 - n**5/20 + n**4/24 - n**3/3 + 2. Let h(q) be the third derivative of x(q). Is 13 a factor of h(-5)?
False
Suppose -2*s + 1 = -1. Is (1 - 1) + 23/s a multiple of 12?
False
Let z(x) be the first derivative of x**2/2 - 1. Let i be z(-1). Is (-41)/(1*1/i) a multiple of 17?
False
Let s(q) = -q + 29. Is s(-6) a multiple of 6?
False
Let y(z) = 4*z**3 - 2*z**2 - z - 4. Let s(n) = -1. Suppose -3*t = t - 8. Let v(r) = t*s(r) - y(r). Is v(-2) a multiple of 14?
False
Let y = 7 - -2. Is y a multiple of 8?
False
Let i = -4 + 8. Is 2 a factor of i + 3 - 0/3?
False
Let y = -10 - -17. Let u = y + -4. Let b(x) = x**2 + x - 4. Is b(u) a multiple of 8?
True
Let r = -2 + -4. Let x be (-2)/r - (-5)/3. Is 24*x*3/4 a multiple of 18?
True
Suppose -5*g + 119 = -3*c, 2*c + 55 = -2*g - 3. Let s be c/9 - 1/3. Let o = s - -13. Is o a multiple of 9?
True
Suppose -4*d + 16 = -w, -d + 2*w - 3 = -0. Suppose -5*h - 83 - 12 = -d*s, -3*s + 77 = h. Is s a multiple of 24?
True
Suppose 3*m - 2*r - 92 - 180 = 0, r = -3*m + 260. Is m a multiple of 22?
True
Let j = 2 - -1. Suppose j*k + 3 - 51 = 0. Let m = k + 18. Does 12 divide m?
False
Suppose 5*h + 15 = 0, 3*z + h = 18 + 231. Suppose -3*u + r - 22 = -4*u, -4*u + z = 3*r. Suppose y + 2*y = u. Is 6 a factor of y?
True
Let i(g) = -g - 1. Let o be i(-1). Suppose o = -4*s - 3*x + 159, 0 = -3*s + 4*x + 33 + 80. Is s/(-6)*-2 + 3 a multiple of 16?
True
Suppose 0 = -4*w - 8 + 68. Is 15 a factor of w?
True
Let u = -1 + 7. Is u a multiple of 3?
True
Let v = -10 - -15. Suppose -k - 191 = -v*r, -3*r + 2*r - 5*k = -59. Is 17 a factor of r?
False
Does 18 divide 3852/20 - (-4)/10?
False
Suppose 1152 = 3*k - 4*k. Is 15 a factor of k/(-56) - (-8)/(-14)?
False
Let m = -14 - -16. Suppose -185 = -7*u + 2*u - 5*j, -m*j + 194 = 5*u. Is 20 a factor of u?
True
Let j be (-23)/(-7) + (-4)/14. Is j/(-2)*68/(-6) a multiple of 7?
False
Let o(w) = 3*w - 13. Let g be o(8). Let v(p) = p + 13. Does 8 divide v(g)?
True
Suppose 2*m + 0*m = 6. Suppose 0*k - 270 = m*k. Let a = -47 - k. Is a a multiple of 28?
False
Suppose -4 = -x + 2. Let r(w) = -3*w - 5. Let l be r(x). Is 2/5 + l/(-5) even?
False
Suppose -5 = 3*c - 23. Let n(g) = -10*g - c*g - 3*g - 2 + 0*g. Is 12 a factor of n(-2)?
True
Let t be -5 - (3 - (-1 - -1)). Let z be t + 256 + -1*3. Suppose -4*g = g - z. Does 24 divide g?
False
Let x(v) = -v**3 - 5*v**2 - 6. Let q be x(-5). Let t(d) = d**3 + 6*d**2 - d - 4. Does 2 divide t(q)?
True
Let x = 1 - -5. Let m be 9/x*(-8)/(-6). Is 10 a factor of (1/m)/(1/60)?
True
Let o(n) = 2*n - 4. Let h be o(4). Does 17 divide ((-6)/h)/(5/(-60))?
False
Suppose 0*u = u - 5*r - 122, 428 = 4*u - 5*r. Is u a multiple of 6?
True
Suppose 2*g = -g + 12. Let v be g/(-8)*(-13 + 1). Suppose -3*r - z + 20 = 0, 2*r - 2*z = -v*z + 10. Is r a multiple of 7?
True
Let o = -2 - -1. Let u(g) = 0 + g - 2*g + 2*g + 21*g**2 + 1. Is 21 a factor of u(o)?
True
Let u(j) = j**2 - 6*j - 11. Let t be u(8). Suppose -2*o + 0*z - 16 = -4*z, t*o + 2*z = 20. Suppose o*q - 6 = -l + q, -3*l = -q - 2. Is l a multiple of 2?
True
Suppose 18 = 2*p - 5*b, p + 13 = -2*b - b. Let c be (p + -8)/((-9)/6). Is 166/c + 3/9 a multiple of 14?
True
Let l be 3 + 9/(1 - 4). Suppose 4*o - 74