*t + 39 = -6. Let i = -22 - -4. Let d = t - i. Is d a multiple of 11?
False
Suppose 0*s = -2*s - 5*b + 33, -2*b + 10 = 0. Let v be 11/2 + (-2)/s. Suppose v*t - 93 = -4*q, 4*q + t = 17 + 56. Is 6 a factor of q?
False
Suppose 89 = 5*x - 61. Is 17 a factor of x?
False
Let t be (-3 - 3)*4/(-6). Suppose -2*i - 58 = -t*w, i = -w - 9 + 31. Is w a multiple of 6?
False
Let c(j) = -3*j**3 - 2*j**2 - j. Let n be c(-1). Is 11 a factor of -2 + n - 110/(-5)?
True
Let o(i) = i**2 + i + 31. Let y be o(0). Suppose 4*r - y = -11. Is r a multiple of 2?
False
Let f = 18 - 12. Suppose 4*d - f - 6 = 0. Is 7 a factor of 14/d*(-9)/(-6)?
True
Let c be (-3 - -9) + 0 - 1. Suppose -32 = -r - c*k + 4, -144 = -4*r + 2*k. Does 12 divide r?
True
Let q = -43 - -86. Does 2 divide q?
False
Suppose 125 = -4*x + 7*x + 5*j, -2*j + 8 = 0. Suppose -f - 5 = -3*g + 2, 3*f + 5*g - x = 0. Does 5 divide f?
True
Suppose -2*b + 6*b = 3*y + 2, 4*y = 4*b. Suppose -48 = y*n - 3*n - 2*d, -3*d + 132 = 3*n. Does 14 divide n?
False
Suppose -g - g + 16 = 0. Suppose -4*y + g*y = 72. Is y a multiple of 9?
True
Let t(n) = 5*n**3 + 9*n**2 - 11*n + 8. Let z(m) = -3*m**3 - 5*m**2 + 6*m - 4. Let g(j) = -4*t(j) - 7*z(j). Let k be g(3). Let b = -8 + k. Is b a multiple of 5?
False
Suppose -c + 5*c + 252 = 0. Suppose -46 = -t + 69. Let q = c + t. Is q a multiple of 22?
False
Suppose -5*g + 4*k + k - 75 = 0, -3*g - 3*k = 75. Does 4 divide (g/12)/((-2)/6)?
False
Let j = 1 - 0. Is 9 a factor of (7/4)/(j/20)?
False
Let q be 30/(-1)*(-12)/9. Suppose 0 = -4*n - 2*g + q, -g = n - 4*g - 10. Let i = 17 - n. Is i a multiple of 3?
False
Suppose 2*m = -3 + 11. Let n(i) = -5 + 5*i + 0*i + i. Is 13 a factor of n(m)?
False
Let k(b) = 13*b**2 - 3*b - 1. Does 12 divide k(-2)?
False
Let t(x) = -25*x - 93. Does 16 divide t(-11)?
False
Suppose -9*m = -221 - 715. Does 26 divide m?
True
Let r be 0 + (-6)/(-2) - -1. Let l be -68*(-1 - (-6)/r). Let m = -4 - l. Is m a multiple of 15?
True
Let j be (40/(-1))/(-4 - -5). Is (1 + (-1 - j))/1 a multiple of 20?
True
Let r be 1 + (-30 - 6/3). Let b = -10 - r. Let m = b + -5. Is 8 a factor of m?
True
Suppose -x + 5*x = 36. Suppose 0 = -5*y + x + 96. Suppose t - y = -0*t. Does 9 divide t?
False
Let x(i) = 3*i**3 + 6*i**2 - 5. Let c(y) = -y**3 - y + 1. Let a(u) = -c(u) - x(u). Does 16 divide a(-4)?
True
Suppose 5*h - 113 = 132. Let p = -35 + h. Does 5 divide p?
False
Let f = -4 + 6. Suppose 14 + 8 = f*c + 5*s, 2*s - 4 = 0. Suppose -2*p + c = -16. Does 11 divide p?
True
Let z(c) = c**3 + 5*c**2 + 3*c + 4. Let d be z(-3). Let n = d - 8. Does 5 divide n?
True
Let c(t) = t**2 - 4*t - 3. Let g be c(-2). Let u = g + 4. Is u a multiple of 11?
False
Suppose -w + 10 = 4*w. Suppose 0 = -7*l + w*l. Suppose c - 5 = -l*c. Is 4 a factor of c?
False
Suppose 6*c + 31 = 103. Is 12 a factor of c?
True
Suppose -m - 48 = -3*m. Suppose -4*f + m = 4*k, -2*f - 4*k = 3*f - 26. Is 5 a factor of 320/18 - f/(-9)?
False
Does 12 divide (-5)/((-70)/1676) - 18/(-63)?
True
Let i(x) = x**3 + 18*x**2 + 6*x - 27. Is i(-17) a multiple of 16?
True
Let z(x) be the second derivative of x**3/3 - 7*x**2/2 - x. Let t be z(-6). Let k = 31 + t. Is k a multiple of 12?
True
Let t be -6*(-3 + (-16)/(-6)). Suppose 10 - 4 = -t*l - 4*w, 0 = 3*w + 9. Is l even?
False
Let q(u) = 8*u**3 + 3*u**2 - 3*u. Does 13 divide q(2)?
False
Suppose 5*r + 0*r = 10. Suppose 0*f + r = 2*f. Let i(h) = 8*h + 1. Is 5 a factor of i(f)?
False
Suppose -3*l + 18 = -0*l + a, 19 = 5*l - 2*a. Is 5 a factor of l?
True
Let n(j) be the third derivative of j**4/4 - j**3/2 + 3*j**2. Does 9 divide n(2)?
True
Suppose o - 298 = -3*o - u, 2*u - 300 = -4*o. Is o a multiple of 37?
True
Is 8 a factor of ((-4)/5)/(2/(-140))?
True
Let r = 15 - 15. Is 13 a factor of 3 + 0 - (-36 + r)?
True
Suppose -119 - 101 = -2*t. Does 11 divide t?
True
Let g(b) be the third derivative of b**6/120 + b**3/3 - b**2. Let o be g(0). Is ((-44)/8)/(o/(-8)) a multiple of 15?
False
Let m(o) = -3*o + 1. Is m(-13) a multiple of 8?
True
Is 7/(14/48) + 3 a multiple of 7?
False
Let p be 1*4*(-10)/(-8). Suppose -p = -5*z + 350. Is 19 a factor of z?
False
Let v(z) = -2*z + 12. Let l be v(16). Let g = l - -39. Is 6 a factor of g?
False
Let x = 16 + -11. Suppose w - 12 = x. Is w a multiple of 17?
True
Let u = -7 - -17. Is 10 a factor of u?
True
Let y(p) = p**2 - 4. Let c be y(-3). Suppose c*s - 85 = -8*t + 3*t, 0 = 4*s + 20. Is 11 a factor of t?
True
Let y = -8 - -5. Let n = y - -11. Let o = n - 6. Is o a multiple of 2?
True
Let s(k) = k**2 + 6*k + 5. Let w be (-6)/(-9) - 4/6. Let z be (2 - w - 1) + -7. Does 2 divide s(z)?
False
Let c(j) = -2*j**2 + j**2 + 4*j + 2*j. Is 2 a factor of c(5)?
False
Suppose 4*o - 37 = 51. Is o a multiple of 5?
False
Suppose 0 = 2*o + 5*y - 71, -5*y - 25 - 3 = -o. Suppose -2*l + o = -23. Is l a multiple of 15?
False
Does 7 divide 339/4 + 6/(-8)?
True
Is 17 a factor of (732/8)/(-1)*-2?
False
Suppose 0 = 4*a - 2*a - 12. Suppose 9*s = 6*s. Suppose s = 3*i - a*i + 51. Is i a multiple of 17?
True
Suppose -2*u = 1 - 5. Suppose -i - 11 = -u*k + 36, 0 = -5*i + 5. Is 12 a factor of k?
True
Suppose -308 = 8*m - 12*m. Is m a multiple of 3?
False
Is 6/4 + (-301)/(-14) a multiple of 15?
False
Let u(h) be the second derivative of -h**8/3360 - h**6/720 + h**5/120 - h**4/3 - 4*h. Let v(f) be the third derivative of u(f). Is 18 a factor of v(-2)?
False
Suppose 0 = 21*a - 3878 + 623. Does 11 divide a?
False
Does 11 divide ((-210)/(-25))/((-12)/(-80))?
False
Suppose -5*r + 462 = r. Is 11 a factor of r?
True
Suppose -6 = -j + 3. Does 7 divide j?
False
Suppose -2*l - 2*l = 0. Suppose 1 + 9 = -5*s, l = -4*j + 3*s + 82. Is 4 a factor of j?
False
Let x = -84 + 104. Is 11 a factor of x?
False
Let t = -33 + 47. Is 6 a factor of t?
False
Let f(s) = s - 5. Let n be f(8). Let a be (-21 + n)/((-6)/16). Let g = a + -19. Is 15 a factor of g?
False
Does 11 divide (88/10)/(11/(3080/16))?
True
Let t be 15/(-12) + (-4)/(-16). Let d = t + 2. Is 11 a factor of 3 + d/((-2)/(-32))?
False
Let s(v) = -v**2 + 9*v - 3. Suppose 4*p - 4 = 20. Let m be s(p). Does 6 divide 1 + -2 + 1 + m?
False
Suppose 2*x = -5*u + 94 - 14, -5*u = 4*x - 70. Does 16 divide u?
False
Suppose 0 = -3*u - o + 236, 5*u + 107 = 4*o + 489. Is u a multiple of 15?
False
Let p(g) be the second derivative of 1/6*g**4 - 2*g + 0 + 1/2*g**2 + 5/6*g**3. Is 6 a factor of p(-4)?
False
Is 2*(-1)/(-7) + 1320/35 a multiple of 19?
True
Let o(b) be the second derivative of 15*b**2 + b - 1/6*b**3 + 0. Is o(0) a multiple of 15?
True
Let l(h) = h**2 + 8*h + 5. Is 14 a factor of l(-9)?
True
Suppose 0 = -5*u - 4*q + 65, 3*q = -4*u + 2*q + 63. Is 12 a factor of u?
False
Let t(x) = -3*x**2 + 9*x + 10. Let z(p) = -p**2 + p. Let m(o) = -t(o) + 2*z(o). Is 3 a factor of m(9)?
False
Suppose 0 = -3*f - f. Suppose f*v - 5*v + 160 = 0. Is v a multiple of 16?
True
Let i = 34 - 2. Does 32 divide i?
True
Suppose -x + 0 + 8 = 0. Let i(b) = -b**2 + 10*b - 3. Is i(x) a multiple of 13?
True
Suppose o - 3*z = -6 - 1, -3*z + 11 = -5*o. Let r = o - 1. Does 13 divide (r - -30) + 2 + 0?
False
Suppose -3*i = i - 12. Suppose i*d - 10*d + 35 = 0. Is 5 a factor of d?
True
Suppose -11 = 5*h - h + 5*q, 0 = 5*h - q - 8. Is (-294)/(-12)*(1 + h) a multiple of 18?
False
Suppose -3*p + 4*z + 6 = 0, -2 = -2*p - 2*z + 2. Suppose 10*x - 204 = 6*x. Suppose p*s = -s + x. Is 8 a factor of s?
False
Let x(k) = -k**3 - 4*k**2 + 10*k + 7. Is 14 a factor of x(-7)?
True
Is 546/8 + (-4)/16 a multiple of 17?
True
Does 33 divide (4 - 1) + (324/2 - 0)?
True
Suppose 2 = -0*h + h. Let k = h + 0. Is 16 a factor of ((-8)/3)/(k/(-24))?
True
Suppose -102 + 300 = 6*z. Does 22 divide z?
False
Let d = -15 + 32. Let t = d + 18. Suppose 3*z = 5*v - 58, -5*z = -5*v + 15 + t. Is v a multiple of 14?
True
Let l = -162 + 462. Is l a multiple of 60?
True
Let g be ((-1072)/8)/(1/(-2)). Suppose -x + 2*x - w = 54, -g = -5*x + 4*w. Is x a multiple of 15?
False
Let y = 178 + -94. Does 14 divide y?
True
Let f be (-4)/(-2)*(-2 - -4). Let g be (-14)/(-4) - 1/(-2). Suppose 4*n + g*w - 57 = -13, 26 = n - f*w. Does 7 divide n?
True
Is (-4654)/(-65) + (-4)/(-10) a multiple of 18?
True
Let o(b) = 78*b - 3. Does 15 divide o(1)?
True
Suppose -2*c = -4*c + 28. Is 4 a factor of c?
False
Suppose -52 - 2 = -2*m. Let a = m + 12. Is 13 a factor of a?
True
Let