s**2 - 12*s - 11. Is u(b) a multiple of 20?
False
Let y = 10 + -3. Let m = y + 77. Is 28 a factor of m?
True
Let r = -55 - -80. Is r a multiple of 8?
False
Let t = 0 - 2. Let s be t/4 + (-27)/6. Let z = s + 20. Is z a multiple of 15?
True
Suppose -5*a + 2 = -7*a, -4*a = 2*u - 482. Is 26 a factor of u?
False
Let y(m) = -m**3 + 6*m**2 + 8*m + 6. Suppose 3*o - 5 = 4*x, -5*o + x + 31 = -0*x. Does 6 divide y(o)?
False
Suppose 7 = 4*l - 5. Let b(t) = 10 + 2*t**3 + t**l - 6*t + 6*t**2 - 2*t**3. Is b(-7) a multiple of 2?
False
Let g be ((-9)/(-12))/((-2)/(-8)). Suppose -o + g*o = 16. Suppose 4 + o = 2*w. Is w a multiple of 4?
False
Let g be (0 - 1)/(1/6). Let h(u) = -4*u**2 + u + 1. Let c be h(-3). Does 2 divide c/(-14) + g/(-21)?
False
Let r = 2 - 5. Let p be 2/(r*(-2)/78). Suppose 3*g - p = -2. Does 6 divide g?
False
Suppose f = -0*f. Is f/(0 - -2) + 39 a multiple of 13?
True
Let j be 216/(-22) + (-16)/88. Let k = -7 - j. Suppose -k*l + 11 = -49. Is 10 a factor of l?
True
Let z be 1/(1/(-255))*-1. Suppose -2*c = 3*b - c - z, -4*c = 12. Is b a multiple of 28?
False
Let f(y) = -y**2 + y + 10. Let r be f(0). Suppose c - r = 9. Is c a multiple of 19?
True
Let b = 9 + -6. Suppose i = -4, -5*i + 116 = b*f + f. Suppose -2*h + f = -6. Is 12 a factor of h?
False
Does 28 divide ((-1)/3)/((-7)/2877)?
False
Let k = -248 - -419. Does 10 divide k?
False
Let b = -316 + 448. Does 28 divide b?
False
Let q be (5 - 2)*82/6. Let m = 65 - q. Is m a multiple of 24?
True
Let x be 33/(-9)*(0 - 3). Let v = 32 - x. Is 21 a factor of v?
True
Let p be 3/(6/212) - 1. Suppose -5*u + 5*d = -230, 37 = 3*u - d - p. Is 19 a factor of u?
False
Let i be (-68)/18 + 20/(-90). Is 3 + (i/2 - -33) a multiple of 14?
False
Suppose 10 = 5*s + a - 4*a, -3*a = 2*s - 4. Suppose -2*z + 68 = s*z - 4*l, 18 = z - 2*l. Is z a multiple of 8?
True
Suppose -4*r - 82 - 70 = 0. Let c = 14 - r. Is 13 a factor of c?
True
Let l(w) be the second derivative of 5*w**3/3 + w**2 + 3*w. Is l(5) a multiple of 23?
False
Let n(q) = q**2 - 4*q - 6. Let v be n(6). Let x be v/21 - 26/(-7). Suppose 9*p = x*p + 45. Is 9 a factor of p?
True
Is 6 a factor of 4 + -1 - (-9 + 2)?
False
Suppose -37*w + 450 = -32*w. Is w a multiple of 10?
True
Suppose 5*g - 3*a = 318, 0 = -g - 5*a + 35 + 51. Is 13 a factor of (-6 - g)/(9/(-6))?
False
Suppose -119 = -o + y, -o = -4*o - 5*y + 325. Let d = 168 - o. Is 16 a factor of d?
False
Suppose -2*a = -3*a - 156. Let p = -83 - a. Does 20 divide p?
False
Let b(i) = -i + 1. Let y be b(3). Is ((-4)/(-6))/(y/(-51)) a multiple of 17?
True
Let i(q) = q**3 - q**2 + 1. Let f be i(-3). Let w be 396/(-16) - (-9)/12. Let s = w - f. Is 5 a factor of s?
False
Let h be 100 - (-2 + 7 + -3). Suppose -2*t - 32 = -3*b - h, b = 2. Does 12 divide t?
True
Let q be (4 + -3)/((-1)/9). Does 8 divide 30/(-9)*(q - -3)?
False
Let a(z) = 4*z + 7. Does 23 divide a(4)?
True
Suppose 5*s + 7 = -18. Let l(r) = -8*r - 1. Does 7 divide l(s)?
False
Let d(y) = y**3 - 5*y**2 + 2*y + 2. Let x be d(6). Suppose 0 = -3*j + 12, 5*w + j = -j + 18. Suppose x = w*s + 8. Does 9 divide s?
False
Suppose g = -0*g - 4. Let i = g + 12. Let r = 10 + i. Is 8 a factor of r?
False
Let z(j) = -j**3 + 3*j**2 - 2*j - 2. Let n be z(2). Let i(v) = -v. Let a be i(n). Suppose -4*b = -6*b - 2*f + 36, -45 = -a*b + f. Does 12 divide b?
False
Let a(t) = 7*t. Let v be 6/(-5)*(-30)/9. Is 14 a factor of a(v)?
True
Suppose n = -0*n + 1. Let c be (8/3)/((-2)/(-3)). Does 15 divide c*((-38)/(-8) + n)?
False
Let k(a) = 93*a**2 - a + 1. Let g be k(-2). Let i(m) = m + 13. Let f be i(-11). Does 9 divide f/14 - g/(-21)?
True
Suppose 4*g - 376 = -3*i, i + 156 = 2*g - 32. Suppose 0 = -3*n + g + 86. Is n a multiple of 12?
True
Suppose -s + 1 = 3, 2*j - 6 = 3*s. Suppose -5*q + 127 = -2*n, j = -q + 5*n + 3 + 4. Does 11 divide q?
False
Suppose 0 = -3*i - 73 + 22. Let b = i - -33. Suppose 3*m = b + 23. Is m a multiple of 13?
True
Is -2 - (2 - (22 + -4)) a multiple of 14?
True
Suppose -t - 4*t = 15. Let v = t + 6. Suppose 4*y - 3*l = 92, -2*l + 80 = 5*y + v*l. Is y a multiple of 12?
False
Let x(v) = 7*v + 10. Let b(a) = 3*a + 5. Let p = -16 - -23. Let o(t) = p*b(t) - 4*x(t). Is 10 a factor of o(-4)?
False
Is -1*(-3)/(-3)*4 - -233 a multiple of 17?
False
Let t(f) = f**3 + 6*f**2 - 8*f - 4. Let p be t(-7). Suppose 2*b + 4*x = 28, -p = -3*b + 5*x - 5. Does 12 divide 70/b + (-4)/(-12)?
True
Suppose -12*w = -10*w - 26. Is w a multiple of 12?
False
Let t(r) = -87*r + 5. Is t(-3) a multiple of 19?
True
Suppose 0 = 3*u - 2*u. Let c(t) = 4*t**2 + 0 + t + 20 - 3*t**2. Does 10 divide c(u)?
True
Let c = 61 + -51. Is 2 a factor of c?
True
Let z(r) = 2*r + 2. Let s be z(-3). Does 10 divide s/(2 - -2) - -40?
False
Suppose 24 = j + 2*j. Let k(o) = -2 + 12*o**2 - 1 - 7 - o**3 - j*o + 23*o. Is 7 a factor of k(13)?
False
Is 18 a factor of 33 - 1 - (10 - 2)/4?
False
Suppose -4*i + 208 = 3*b, -2*i - b + 82 = -5*b. Suppose 4*v - v = 51. Let m = i - v. Does 9 divide m?
False
Let g(u) = -4*u**2 + 15*u - 5*u**2 - 5 - 2 - 3*u**2 + u**3. Does 27 divide g(11)?
False
Does 20 divide (-14)/70 - (-802)/10?
True
Suppose 3*v + 3*k = 9, -5*v + 26 = 4*k + 10. Suppose 4*q - 4*d - 76 = -0*q, q = v*d + 10. Is q a multiple of 12?
False
Suppose -h + 3 = -13. Does 8 divide h?
True
Suppose 5*a - 2*z = 110, -5 = -a + 5*z + 17. Suppose -4*d + 30 + a = 0. Does 13 divide d?
True
Does 20 divide (20/(-30))/(2/(-213))?
False
Let z = 481 + -335. Does 21 divide z?
False
Let q(n) = 13*n**3 - 16*n**2 - 4*n - 32. Let k(j) = 3*j**3 - 4*j**2 - j - 8. Let s(m) = 9*k(m) - 2*q(m). Is s(6) a multiple of 17?
False
Suppose 17*c - 128 = 16*c. Is c a multiple of 8?
True
Suppose 3*k + j - 334 = 0, 3*k + 5*j - 326 = -0*j. Is 14 a factor of k?
True
Let z = 17 - -5. Is z a multiple of 22?
True
Let x be 2 - 0/(-1 - -3). Suppose -6 + 94 = x*a. Is a a multiple of 22?
True
Suppose 0 = 5*d + j - 5, -3*d - j = -3*j + 10. Let o = -308 + 215. Is -2*(d + o/6) a multiple of 22?
False
Let o(q) = q**2 + 2*q - 17. Does 6 divide o(-7)?
True
Suppose 5*i - 11*i + 468 = 0. Is i a multiple of 26?
True
Let x(b) = -b**3 + 6*b**2 + 6*b + 8. Let i be x(7). Let y be (i/(-2))/(1/(-4)). Is 11 a factor of y*(-26)/(-8)*2?
False
Let d(v) = 2*v - 4. Let g = 8 - 0. Is 12 a factor of d(g)?
True
Let t(m) = -6*m + 3*m - 4*m**2 - 5*m + 6*m**2 - 2. Does 6 divide t(6)?
False
Suppose 0*z - 3*z - 36 = 0. Is ((-2)/(-3))/(z/(-306)) a multiple of 10?
False
Let d = 0 + 2. Suppose -3*k + 3 = -d*k. Suppose 14 = k*b - 22. Is 6 a factor of b?
True
Suppose 0*p + 3*p = 36. Is 12 a factor of p?
True
Suppose -2*s = 2*s - 216. Does 12 divide s?
False
Does 19 divide -3 + 96 + (-2 - -1)?
False
Suppose -2*a = -6*a + 2*i - 12, -a = 5*i + 25. Let u(p) = p**3 + 5*p**2 - 5*p + 5. Is u(a) a multiple of 11?
False
Let j(i) = -i + 1. Let s(a) = -a - 7. Let z(m) = 2*j(m) - s(m). Let f be z(9). Suppose t - 3*c + f = -1, -2*t - c + 33 = 0. Does 5 divide t?
False
Let p = -80 - -286. Does 11 divide p?
False
Let i be (-2 - (-3 - -1))/(-3). Suppose 2*d - 2*n = 52 - 2, i = -4*n. Is 8 a factor of d?
False
Let i = -3 - -5. Let m be (0/((-15)/(-5)))/3. Suppose m = -i*z - 3 + 75. Is z a multiple of 18?
True
Suppose h - 2*h = -13. Suppose -h + 112 = -3*d. Is 1*d/6*-2 a multiple of 3?
False
Let x = 9 + 23. Is x a multiple of 14?
False
Suppose 0 = -4*c - 3*x + 18, -3*c = x + 2*x - 15. Suppose 5*f = 2*b - 7*b + 45, c*b - 47 = 2*f. Is b a multiple of 5?
False
Does 7 divide -14*6/(-4) + -2?
False
Let b(s) = 53*s + 1. Let n be b(2). Suppose -5 + 1 = -2*x. Suppose -3*m - f + n = 2*m, -2*f - 50 = -x*m. Does 11 divide m?
True
Let l(c) be the first derivative of -c**2 + 41*c + 1. Is 11 a factor of l(0)?
False
Suppose -6*n = -2*n - 48. Is n a multiple of 9?
False
Let y be -2 + (-9)/(2 + -5). Let q be y/(-2*3/(-126)). Suppose 0 = h - 4*h + q. Is h a multiple of 7?
True
Suppose 110 = -4*u + 38. Is 384/u*(-6)/4 a multiple of 10?
False
Let a(n) = -n**2 + n + 22. Let p be a(0). Let s = p - 10. Is s a multiple of 12?
True
Let d(b) = -12*b - 2. Let h be d(-3). Let a = -70 + h. Let k = -1 - a. Is k a multiple of 13?
False
Suppose 20*b + 720 = 24*b. Is 20 a factor of b?
True
Let u be (2/4)/(3/198). Suppose -3*o + 12 = -u. Does 5 divide o?
True
Let f = -16 + 33. Is f a multiple of 15?
False
Suppose -20 = -5*u - 5. Suppose m + 0*a - 3*a