 s(-3)?
False
Let q be (-1)/(-1*(-3)/9). Let j = 8 + q. Does 2 divide j?
False
Let o = -69 + 99. Suppose -2*p - o = -7*p. Suppose 0 = -3*c - 3, -62 = 2*s - p*s + 2*c. Is 15 a factor of s?
True
Suppose 52 + 98 = 5*b. Let u = -20 + b. Does 10 divide u?
True
Is 11 a factor of (-297)/(-9)*6/9?
True
Let f = -36 - -21. Let b = f + 26. Is 11 a factor of b?
True
Let h = 15 - 7. Let p = h - 1. Let o = p - 1. Is o a multiple of 3?
True
Let n(l) = -l**3 - 12*l**2 + 7*l - 21. Is n(-13) a multiple of 19?
True
Let j(l) = l**2 - 5*l - 4. Let w be j(6). Suppose -w*a + 10 = 0, 3*z - z - 95 = -a. Does 10 divide z?
False
Let w = -81 + 126. Does 15 divide w?
True
Suppose -3*j = 2*j - 25. Suppose -4*z - j*x + 114 = 0, -2*x + 108 = 4*z - 0*z. Is z a multiple of 11?
False
Suppose 3*l + 6 = 5*l. Suppose 0*c + 3*c = 0. Is c + l + (-3)/(-1) a multiple of 5?
False
Does 16 divide 80/(-6)*12/(-10)?
True
Let o = -10 - -50. Does 20 divide o?
True
Let z be ((-4)/6)/((-2)/30). Let v(l) = l - 8. Let k be v(z). Suppose -2*n + 100 = k*n. Is n a multiple of 25?
True
Suppose -b = -2*n - 426 + 2, 4*b + n - 1660 = 0. Is 32 a factor of b?
True
Let f be (-137)/3 - 3/9. Let n be (1*f)/(-1) + 0. Suppose -10 = 4*z - 5*q - 102, 2*z + 2*q - n = 0. Is z a multiple of 14?
False
Let x be (-3)/(-6)*14 - 3. Suppose -4*g = 3*h - 57, x*h - 3 = -g + h. Is g a multiple of 9?
True
Let t(c) = 2*c**2 + 8*c + 4. Let q be t(9). Suppose s - n - 63 = n, -4*s + n + q = 0. Is 23 a factor of s?
False
Suppose -2*w + 26 = 2*b, -b + 5*w = -3 + 14. Suppose k + 4 - b = 0. Is 3 a factor of k?
False
Let y = -8 + 33. Is y even?
False
Suppose -v - 28 = -2*v. Is v a multiple of 5?
False
Let r(t) = -t - 9. Let p be r(-4). Let m(f) = f**3 + 5*f**2 - 2*f + 2. Does 12 divide m(p)?
True
Let y(l) be the third derivative of 0 - 5/6*l**3 - 1/24*l**4 + 3*l**2 + 0*l. Does 4 divide y(-9)?
True
Let p = -9 + 4. Let k(y) = -y**3 - 6*y**2 - 6*y + 1. Let s be k(p). Suppose -4*q = -2*c - 30, -1 = -5*c - s. Is q a multiple of 6?
False
Suppose 0*p - 43 = -2*z - p, -4*z + 77 = -p. Let n = z + -9. Is n a multiple of 5?
False
Let a(g) = 3*g**2 - 8*g + 7. Suppose -2*t - 4*r = 2, 2*t + 0*r = -2*r + 4. Is 17 a factor of a(t)?
False
Suppose 5*d - 4*d - 92 = 0. Does 23 divide d?
True
Let u = 58 + 44. Does 27 divide u?
False
Suppose -3*l + 25 = 2*l. Suppose -13 - 34 = -c + l*n, -2*c - n + 50 = 0. Is c a multiple of 12?
False
Let g = 30 - -6. Is g a multiple of 12?
True
Let a(b) = 315*b**3 + b - 1. Is 47 a factor of a(1)?
False
Let v be (-30)/(-8) - (-3)/12. Suppose 0 = -5*y + 4*y - 3*q + 14, v*q = -2*y + 36. Does 12 divide y?
False
Let v be (1 - -2)*196/12. Suppose -37 = -s + 3*h + 20, -s + v = h. Does 15 divide s/2 + (-2)/4?
False
Let u = 68 - -94. Does 21 divide u?
False
Is 2 a factor of (-119)/(-9) + (-152)/36 + 4?
False
Suppose -3*j - 3*v = -105, 0*j + 2*v + 66 = 2*j. Is j a multiple of 3?
False
Is 15 a factor of (300/(-16))/((-2)/8)?
True
Let w(r) = r**2 - 6*r. Let d be w(6). Suppose d = -2*t - t + 6. Suppose -t*x + a = -89 + 28, 4*a = x - 20. Is x a multiple of 14?
False
Suppose -7*f - f = -800. Does 10 divide f?
True
Let v(o) = -6*o**3 - 2*o**2 + 7*o - 14. Let f(m) = -5*m**3 - 2*m**2 + 6*m - 13. Let j(d) = 5*f(d) - 4*v(d). Is 15 a factor of j(-4)?
True
Suppose 3*h + 2*r = -3*r + 13, -2*h + r = 0. Does 12 divide 20 - (1 - h) - -4?
True
Let f = 2 + -18. Let v = f - -33. Is v a multiple of 17?
True
Let q = -1 - -5. Is (52/(-16))/((-1)/q) a multiple of 10?
False
Suppose -2*q = 3*j - 6, 4*q - 23 = 5*j + 33. Let b = 18 - q. Does 9 divide b?
True
Let g(w) = -8*w. Let y be g(-4). Suppose 6*f + y = -5*z + 3*f, -5*f - 4 = -4*z. Let k = z + 8. Is 2 a factor of k?
True
Suppose -z = 4*z + 5. Let v be -55 + (0 + 1)/z. Let a = v + 86. Is a a multiple of 13?
False
Let j = 3 - 1. Suppose -10 = 3*h - 3*y + j, -2*h + 3*y - 13 = 0. Let u = 33 - h. Does 16 divide u?
True
Suppose -2*w - 5*v = -0*v - 114, 3*w = 5*v + 171. Is w a multiple of 14?
False
Suppose -4*b - 2 = 2. Let m(c) = 15*c**2 + c + 1. Is m(b) a multiple of 15?
True
Suppose 3*j = -5*l + 58, 0*l + 5*l - j = 74. Let n(b) = b**2 - 11*b. Is n(l) a multiple of 14?
True
Let o(w) = -w**3 + 3*w - 4. Suppose 3*s - 30 = 5*c, -3*c + 2*s - s - 14 = 0. Does 14 divide o(c)?
True
Let l = -10 - -21. Does 11 divide l?
True
Suppose -5*g + 8 = -7. Suppose 40 = 2*l + g*l. Is 8 a factor of l?
True
Let b(r) = r**3 + 16*r**2 - 3*r - 8. Let p be b(-16). Let h = -24 + p. Is h a multiple of 7?
False
Let v(w) = -w**2 + 10*w - 3. Let b(x) = -x**2 + 6*x + 3. Let u be b(5). Let k be v(u). Suppose 2*h - h - k = 0. Is h a multiple of 5?
False
Suppose 0 = -75*j + 76*j - 119. Is 7 a factor of j?
True
Suppose -9*u - 75 + 327 = 0. Is 7 a factor of u?
True
Is 9/(-45) - 512/(-10) a multiple of 8?
False
Let b(p) = p**2 - 4*p - 3. Let a be b(5). Is 20 a factor of -12*((-12)/9 - a)?
True
Let l = 15 - 11. Is 13 a factor of (-92)/((l + -2)/(-1))?
False
Let a = 243 + -117. Is a a multiple of 18?
True
Let j = -2 - -6. Let f = 3 - 2. Let t = j - f. Is 3 a factor of t?
True
Let b = -3 + 6. Suppose 5*o = -3*y + 174, b*y - 4*y + 4*o + 75 = 0. Suppose -2*h + 5*h - y = -2*x, -28 = -2*x + 4*h. Is x a multiple of 9?
False
Let m be (-6)/(-9)*3/(-2). Let b be (m - -86) + (-5 - -5). Let v = -57 + b. Is 14 a factor of v?
True
Suppose 2*x + 200 = 6*x. Is 13 a factor of x?
False
Suppose -m + 1240 = 5*b - 0*m, -5*b + 1215 = -4*m. Is b a multiple of 28?
False
Is 11 a factor of 334*(-4)/(-8)*1?
False
Let n(b) = b**2 + 5*b + 3. Suppose -1 = 2*s + 15. Is 24 a factor of n(s)?
False
Let a = -42 + 110. Does 15 divide a?
False
Let b(t) = 2*t**3 + t**2 - 4*t. Is 29 a factor of b(3)?
False
Let u(p) = -19*p + 2. Let l be u(2). Let f = l - -66. Does 17 divide f?
False
Let b(i) = i**3 - 15*i**2 - 13*i + 1. Does 49 divide b(16)?
True
Suppose 5*z + 0 = h - 8, 19 = 5*h - 4*z. Suppose h*g = -0*g + 33. Is g a multiple of 11?
True
Suppose 2*y - 10 = -5*g + 8, -6 = 3*g - 3*y. Suppose 5*c - 66 = -3*j, 6 = 4*c - g*c. Is j a multiple of 5?
False
Let b(t) be the third derivative of t**4/12 + t**3/6 - 2*t**2. Is b(12) a multiple of 11?
False
Let f(a) = 42*a - 3. Let g be f(2). Let h be (-1)/(1 - 2) + g. Suppose 5*x + p = h, -31 = -5*x + 3*p + 43. Does 8 divide x?
True
Suppose 0*k = 4*k - 92. Is 23 a factor of k?
True
Suppose -3*i = -i - 180. Let l = -55 + i. Is l a multiple of 7?
True
Let g(f) = -f**2 - f. Let x be g(3). Let k(t) = -t**3 - 7*t**2 - 4*t + 6. Let v be k(-6). Let w = v - x. Is w a multiple of 6?
True
Let d(m) = 11*m - 5. Let l(f) = -21*f + 9. Let k(w) = 11*d(w) + 6*l(w). Let o be (0/2 - -2)*-1. Does 9 divide k(o)?
True
Let u be 2/5 + (-399)/(-15). Let p be (-1)/1 + u + -1. Let f = -1 + p. Does 12 divide f?
True
Let o(r) = -r**2 + 7*r. Let z be o(5). Let s be (-15)/z*(-16)/6. Is 10 a factor of (-10 - 0)/((-2)/s)?
True
Suppose -1 = 3*n - 2*n. Let z(p) = 18*p**2 + 1 + 0*p + 2*p - p. Is z(n) a multiple of 15?
False
Let d(k) = 16*k - 2. Does 7 divide d(2)?
False
Let k(q) = q + 1. Let n be k(2). Suppose n*y - 10 = 14. Let p = 13 - y. Is 5 a factor of p?
True
Let m(q) = 8*q - 8. Let j(u) = -3*u - 8. Let s be j(-5). Does 19 divide m(s)?
False
Suppose -33 = u - 2*u. Suppose -z + 2*z = u. Is z a multiple of 16?
False
Let l = 17 + -25. Is 4 - ((-4 - l) + -10) a multiple of 10?
True
Suppose -3*g = g + 8, 58 = 3*a + 4*g. Is a a multiple of 4?
False
Suppose -2*r = -r - 3. Suppose 2*m - 3*m - 4*d - 5 = 0, -r*m + 11 = -d. Does 2 divide m?
False
Let n(d) be the first derivative of -43*d**4/4 + d**3/3 - d + 2. Let u be n(-1). Suppose 2*x + 8 = 0, 5*w - 3*x - u - 4 = 0. Is w a multiple of 3?
False
Suppose 4*q - 19 - 429 = 0. Is q a multiple of 42?
False
Let y(k) be the second derivative of k**6/360 + k**4/24 - k**3/6 + k. Let l(s) be the second derivative of y(s). Is l(2) a multiple of 3?
False
Let k(s) = -s. Let h be k(-2). Let q(b) = -4 + b - 2*b**2 + 3 - b**2 + 4*b**3. Is q(h) a multiple of 9?
False
Suppose 3*i = 4*r - 20, -r - 3*r = -2*i - 20. Suppose 0*p - 62 = -p + j, 194 = 3*p + r*j. Is p a multiple of 24?
False
Suppose -3*r = 4*g - 52, 4*g = 2*r - r + 36. Is 2 a factor of g?
True
Suppose -2*w - 17 = -2*o + 105, -4*o - 5*w = -235. Is o a multiple of 15?
True
Let g(x) = -32*x**3 + 1. Let f(q) = -q**3 - 2*q**2 - 1. Let i be f(-2). Let u be g(i). Let s = u - 12. Does 7 divide 