ose g = -3*b + 2*s - 0*s + 55, b + s = 15. Does 17 divide b?
True
Let f(o) = 2*o**3 + 5*o**2 - 3*o. Let l be f(4). Let x = -106 + l. Is x a multiple of 27?
False
Let i = 8 - 5. Let o(x) = x**3 - x**2 + 2*x + 7*x**2 - i*x**2 - 5*x**2. Is o(3) a multiple of 15?
True
Is (1 + 6)*1*3 a multiple of 11?
False
Let z(j) = j**2 - 7*j + 2. Let d(m) = 6*m**2 - m. Let y be d(-1). Let k be z(y). Suppose -k*r = 5*p + 3, -5*r - p + 4*p = -70. Is r a multiple of 11?
True
Let r be (-3)/(-2)*2*1. Suppose 0 = -r*n + n + 274. Suppose 0 = -q - 4*q + 4*s + 148, 4*q - n = -3*s. Does 16 divide q?
True
Suppose d - m - 202 = 0, d + 0*d - 2*m - 202 = 0. Is d a multiple of 23?
False
Let v(n) be the first derivative of -n**4/4 - n**2/2 + 9*n + 3. Let y be v(0). Suppose -4*j + 2*j + y = -d, 5*j - 5*d = 20. Is 2 a factor of j?
False
Is 342/(-12)*2/(-3) a multiple of 19?
True
Suppose -y + 67 = -57. Is y a multiple of 31?
True
Is 11 a factor of 30/(-4)*60/(-18)?
False
Let c(m) = m - 78 + 78. Is c(10) even?
True
Suppose -3*s + 0*y + y = -10, 2*s = -4*y + 16. Suppose i - 10 = -s. Does 3 divide i?
True
Let b(w) = 342*w - 3. Is b(1) a multiple of 32?
False
Let v(j) = j - 1. Let y be v(5). Suppose y*g = 1 + 27. Suppose 0 = -g*n + 10*n - 96. Is 13 a factor of n?
False
Suppose 5*d = -x + 176, -2*d + 2*x + 84 = -x. Does 36 divide d?
True
Let j = 11 + 16. Is j a multiple of 15?
False
Let d = 1 + 6. Let q = d - 5. Suppose 2*h = c + 15, q*c + 35 = h + 4*h. Does 5 divide h?
True
Suppose -31*u + 96 = -28*u. Is u a multiple of 16?
True
Suppose y - 72 = -t - 0*y, -3*t - 2*y = -219. Is t a multiple of 24?
False
Does 9 divide 12 + (-6)/3 + -1?
True
Suppose -u - 537 = -3*f - 3*u, u + 908 = 5*f. Suppose -3*o + 14 = -f. Is o a multiple of 13?
True
Let i be (-3)/(0 - 1) + 0. Let f(t) be the second derivative of 7*t**3/6 - t**2/2 + 14*t. Does 18 divide f(i)?
False
Suppose 11 = -5*h - 4. Let f be (-8)/12 - 14/h. Suppose -2*t - 48 = -f*c - 4*t, t = -2. Is c a multiple of 6?
False
Is 42 a factor of 50 + (5 - (-2 - -3))/(-2)?
False
Is 20 a factor of (2 - (-280)/4)/1?
False
Let w = 97 + -42. Is 11 a factor of w?
True
Let c(g) = g**2 - 2*g - 4. Let h be c(4). Suppose -5*b = h*r - 4*b - 17, -9 = -3*r - 2*b. Suppose -2*m + 3*a + 35 = 2*a, -31 = -m + r*a. Does 8 divide m?
True
Suppose 4*p - 8 = 8. Suppose -p*n - 4*c + 18 = -3*n, 51 = 4*n - 5*c. Does 14 divide n?
True
Let s = -2 - -2. Let k(f) = -f**3 + f + 22. Is k(s) a multiple of 22?
True
Let w be (2 - 3)*-3 + 0. Let t = 24 - w. Is 7 a factor of t?
True
Let s(x) = x**3 - 3*x**2 - 3*x - 2. Let n be s(4). Suppose -2*f = -n - 4, 5*g = -4*f + 102. Is 9 a factor of g?
True
Let k(y) = 2*y**3 + y**2 + y + 1. Let o be k(2). Let x = o + -13. Is x a multiple of 7?
False
Let i = 6 - 3. Suppose -9 = -c - i*n, 0 = 6*n - 4*n + 8. Suppose 5*k + 3*b = 2*b + 51, -c = -3*k - 3*b. Is k a multiple of 5?
False
Let f be (2 + 3 + 1)/2. Suppose 5*g = i + 648, -4*g - f*i + 433 + 93 = 0. Suppose -6*o = -o - v - g, 0 = -3*o + v + 78. Does 13 divide o?
True
Let s(l) be the third derivative of l**5/10 - l**4/24 - 5*l**3/6 - l**2. Let k be s(5). Is ((-18)/(-4))/(15/k) a multiple of 22?
False
Let o(r) = r. Let c(j) = -10*j + 4. Let w(q) = c(q) + 3*o(q). Is 19 a factor of w(-6)?
False
Let a(d) = d**3 - d**2 + 15. Does 15 divide a(0)?
True
Suppose 2 = -2*g + 3*g. Suppose g*k + k = 156. Suppose -3*o = -7*w + 2*w - k, o + 3*w + 6 = 0. Is o a multiple of 4?
False
Let p = 22 - 20. Is p/((-39)/45 + 1) a multiple of 15?
True
Suppose 2*w + 4*d + 140 = 0, 4*w + 4*d + 284 - 20 = 0. Let h = -38 - w. Is h a multiple of 12?
True
Suppose -10 = -2*g - 3*g. Suppose 3*p + 5*y = 41, g*p - 5*y = 1 - 7. Is p a multiple of 7?
True
Let s(i) = -i + 12. Let p be s(0). Let c = p - 4. Is 4 a factor of c?
True
Let d = -89 - -266. Does 11 divide d?
False
Let h = -19 - -32. Suppose 3*y = -5*z - 31, 4*z = y + z - h. Is (-1)/(0 - y/(-30)) a multiple of 7?
False
Suppose -20 - 54 = -2*a - 3*f, 0 = a + f - 35. Suppose -7*s = -4*s - 159. Let d = s - a. Is d a multiple of 11?
True
Suppose 2*p - 171 = -p. Suppose -4*g = -55 - p. Is 12 a factor of g?
False
Let h = 28 - 8. Suppose -2*w - h = -3*w. Is w a multiple of 10?
True
Let j be (-85)/(-15) - 2/3. Suppose -3*x - 3*p + 147 = 0, -p + j + 90 = 2*x. Does 23 divide x?
True
Does 18 divide (-6)/(-27) - (-482)/18?
False
Suppose -102 = -2*r + 2*g, 3*g - 225 = -5*r - 2*g. Is r a multiple of 16?
True
Suppose 0 = 2*h + z - 3*z - 6, -h = -5*z - 15. Let p(q) = 5*q - 2. Let g be p(1). Suppose h*c = g*c - 30. Is 10 a factor of c?
True
Suppose 0 = -u + 22 + 20. Is 8 a factor of u?
False
Let g(y) = y + 1. Does 12 divide g(11)?
True
Suppose -6 - 2 = -2*d. Suppose d*l = -5*u + 71, 2*l - 5*l - 5*u + 47 = 0. Is 12 a factor of l?
True
Let c(r) = -1 + r**2 + 3 - 4 + 2*r. Does 6 divide c(-4)?
True
Suppose -2*v - 2*v = 0. Suppose 2*b - 64 = -v*b + 3*a, 22 = b + a. Is b a multiple of 13?
True
Let c = 21 - 18. Suppose -c*f + k + 42 = -86, 0 = f - k - 46. Does 14 divide f?
False
Let a = -2 - -5. Let z be a/(57/66 + -1). Is (-3 + 6)/((-2)/z) a multiple of 13?
False
Is 9 a factor of 2*3 - (-36)/12?
True
Let f(m) = m**2 - 12*m - 14. Does 14 divide f(14)?
True
Let o be (12/7)/((-1)/(-14)). Suppose -i = -4*u - 32, -u - 3*u + o = i. Does 19 divide i?
False
Let n(b) = b**3 - b - 2. Does 17 divide n(3)?
False
Suppose -1056 = q - 12*q. Does 24 divide q?
True
Let u(k) = -k**3 + 7*k**2 + 5*k + 1. Does 11 divide u(6)?
False
Let b = -5 + -10. Let v = -9 - b. Suppose -3*t - 6 = 0, -14 = -a - 5*t + v*t. Is a a multiple of 6?
True
Let c be (-136)/10 - (-16)/(-40). Does 14 divide 0 - c*1 - 0?
True
Suppose 3*d = -4*t - 156, d - t + 47 - 2 = 0. Let h = 24 - d. Is 24 a factor of h?
True
Suppose 2*n = 2*a - 12, -5*a = 2*n - 3*n - 22. Suppose o + 156 = 5*o - 3*h, o + a*h = 39. Is 17 a factor of o?
False
Suppose 4*x = 4*n + 124, 2*x + 5*n - 41 = -0*x. Suppose 4*q - x = 32. Is q a multiple of 5?
True
Suppose 5*s = j + 28, -6*j - 7 = -2*s - 7*j. Suppose 0*b + 45 = s*b. Is 5 a factor of b?
False
Suppose -v + 5*v - o + 59 = 0, -42 = 3*v - 3*o. Is 7 a factor of -3*33/v*5?
False
Let j = 174 - 72. Does 17 divide j?
True
Let w(c) = c**3 + 5*c**2 - 2*c - 3. Let l be w(-5). Suppose -4 = -8*t + l*t. Suppose q - 30 = t*b, 7 - 70 = -2*q + 5*b. Is 14 a factor of q?
False
Let l(c) = c**2 + 3*c - 12. Is l(9) a multiple of 22?
False
Let b be ((-165)/(-12))/(-5)*4. Let w(n) = -5*n + 10. Let z be w(b). Suppose 0*u = -5*u + z. Is u a multiple of 5?
False
Suppose 2*b + 330 = -b. Is 16 a factor of (-4930)/b - (-2)/11?
False
Let a(t) = 2*t**2 - 5*t - 6. Does 19 divide a(5)?
True
Let b(w) = -6*w**3 - 4*w**2 + 5*w - 3. Is 12 a factor of b(-4)?
False
Suppose 2*j - 5*r = 0, -j - j - 5*r = 0. Suppose i = -j*i - 2. Is (-80)/i + 1*2 a multiple of 12?
False
Suppose -249 = -c - 65. Is c a multiple of 46?
True
Suppose 5*l - 232 = l - 5*b, 4*l - 2*b - 260 = 0. Is l a multiple of 21?
True
Let j = 22 + 39. Suppose -b + 263 = -i + 6*i, j = i + 3*b. Let v = i + -26. Is v a multiple of 13?
True
Let a = 97 - 52. Suppose 2*d - 4*d = -6. Suppose -j - 31 = -5*g + a, -d*j = -12. Is g a multiple of 16?
True
Suppose -2*g - 9 = -5*u, 4*g + g + 8 = -2*u. Does 6 divide u/3 - 132/(-9)?
False
Let f(i) = i**3 + 12*i**2 + 8*i + 4. Is f(-8) a multiple of 9?
False
Suppose 3*h - 65 = -2*q - 12, -q - 4*h + 14 = 0. Is q a multiple of 17?
True
Let s(j) = -j - 26. Let l be s(0). Suppose -42 - 6 = -4*o. Let d = o - l. Does 18 divide d?
False
Let v(h) = -h**2 + 5*h + 8. Let o be v(6). Suppose o*c - 5*c = -33. Suppose -27 - c = -d. Is d a multiple of 19?
True
Let d = -86 + 220. Is 15 a factor of d?
False
Let i be (-4)/6*(-6)/(-4). Is 5*(156/15 + i) a multiple of 25?
False
Suppose 7*o - 4*o - 24 = 0. Suppose -k + 17 = 4*t, -t - 2*t = -k - 4. Is 2 a factor of k*(-1 - o/(-5))?
False
Suppose 4*a = -2*y + 108, y + 79 = 3*a + 3. Does 26 divide a?
True
Suppose -6*b + 12 = -2*b. Suppose -4 = -b*c - 1. Is -2*c + 0 + 38 a multiple of 18?
True
Suppose 0 = -2*r - 3*r - 10. Let z = r + 15. Does 13 divide z?
True
Suppose 2*h + 43 = h. Let r = 90 + h. Is 14 a factor of r?
False
Let i = 333 - 113. Is 20 a factor of i?
True
Suppose 0 = -3*a + 8 - 2. Is 2 a factor of a?
True
Let t(b) = -b - 2. Let u be t(-2). Suppose -4*d + 2*d = y - 23, 5*y + d - 70 = u. Is 11 a factor of y?
False
Suppose -t + 