 + 3*a = -439. Is n a multiple of 33?
False
Let z = 23 - -155. Is z a multiple of 16?
False
Let j = -39 - -83. Let t be (-2)/(-2)*(-1 - 9). Let k = t + j. Is k a multiple of 17?
True
Let y(q) = q**3 + 5*q**2 - 7*q + 4. Let o be y(-7). Let s = 79 + o. Let d = s + -18. Does 11 divide d?
False
Suppose -5*w - 25 = -5*d - 10, 0 = -2*w - 10. Let f be d - 1 - (5 + -11). Suppose -2*m + 66 = 5*l - 100, f*m + 6 = 0. Is l a multiple of 12?
False
Let x(r) = -r**2 + 13*r + 10. Let b be x(7). Does 24 divide (b/(-65))/(1/(-120))?
True
Let s = -6 - -2. Let p be 1/(s/(-6))*4. Suppose -x = -p*x + 45. Does 9 divide x?
True
Let x(b) = 3*b + 2 + 1 - 3*b + 6*b. Is 15 a factor of x(6)?
False
Let c be ((-6)/(-4))/(6/40). Does 4 divide c/(-3)*84/(-35)?
True
Let z = -2 - -4. Suppose -7*j + 76 = -3*j. Suppose -5*s + 85 = 5*l, 2*l = -z*s + 3*s + j. Is 6 a factor of l?
True
Let n(p) = 4*p - 11. Is n(13) a multiple of 13?
False
Suppose -3*s - 48 = 2*o - 5*o, -5*o = 4*s - 125. Is o a multiple of 21?
True
Suppose 4*s = 42 + 90. Suppose 2*d = 5*d - s. Is 11 a factor of d?
True
Let f = -5 + 25. Is 5 a factor of f?
True
Let s(v) = -v**3 + 10*v**2 + 13*v + 2. Is 13 a factor of s(11)?
False
Let s be (1 - -4)/(4 + -5). Let n(g) = -g**3 - 3*g**2 - g + 7. Let u be n(s). Let m = -38 + u. Is 12 a factor of m?
True
Let v be ((-1)/3)/(1/(-6)). Suppose 4*n = 5*l - 18, -2*l - v*n = 2*n + 4. Suppose -2*u = l*u - 20. Does 2 divide u?
False
Suppose 3 = a - 0. Suppose 0 = 2*y - 2*t - 74, -y + a*y + 2*t = 86. Is y a multiple of 20?
True
Suppose -5*r + j = -0*j - 184, -r + 4*j = -52. Suppose -2*n - 4*y + r = 0, 0*n + 2*n - 39 = -y. Suppose 40 = 3*t + 4*w, t + n = 2*t + 3*w. Is 4 a factor of t?
True
Let n be (-1 + 4/6)*-12. Suppose 0 = -n*w + w + 114. Suppose w = l + f, -1 = -3*f - 10. Is 16 a factor of l?
False
Suppose -2*x - 170 = -6*x + 5*r, -3*x = -3*r - 129. Is 45 a factor of x?
True
Let d be 1 - 0 - (-5 + 0). Let u(h) = d + 0*h + 2 + h. Is 4 a factor of u(0)?
True
Let j(t) = -100*t + 16. Is 27 a factor of j(-2)?
True
Let t = 30 + -14. Does 16 divide t?
True
Let h(a) be the third derivative of -a**4/8 - a**3/3 + 2*a**2. Let l be h(-2). Suppose l*r = 4*v + 3*r - 48, 2*r - 12 = -v. Is 12 a factor of v?
True
Let g = -2 - -6. Suppose 0 = 5*w, f - 3*w - g = -3*f. Does 13 divide (19 + f)*(-6)/(-4)?
False
Let n be (-1)/(-2*1/10). Does 8 divide (-1)/n + 242/10?
True
Suppose 2*g + 36 = 6*g. Suppose -g*l + 4*l = -40. Let v = 13 - l. Is v even?
False
Let i be (22/(-5))/(2/(-60)). Let q = i + -58. Let b = q + -36. Is 13 a factor of b?
False
Suppose 2*f - x - 275 = -2*x, x - 3 = 0. Does 6 divide f?
False
Let i(d) = d**2 + 4*d - 2. Is i(4) a multiple of 14?
False
Let b(j) = -j**3 + 2*j**2 - j + 4. Let s be b(2). Let u be ((-2)/2 + -4)*-1. Suppose 3*d - m = 29, d = -s*d + u*m + 49. Does 8 divide d?
True
Let x be 1/((-3)/(-6)) + 83. Suppose 3*n - 32 - x = 0. Is 20 a factor of n?
False
Let p be 170/4 + 1/2. Let d = p + -13. Suppose -15 = -4*k + 3*t + d, 4*k = -t + 65. Does 15 divide k?
True
Let m = 5 - -10. Let b = 3 + -5. Is 4 a factor of b/(-5) + 114/m?
True
Let u be (-6)/18 - 8/3. Let t be u/((-3)/(-18)*2). Is (-8)/3*t/6 even?
True
Let k(d) = -d**3 + d + 3. Let q be k(4). Does 16 divide q/(-6)*(-2)/(-1)?
False
Let b = -1 - -5. Suppose -a - 19 = -k, 3*a - b*k + 8 = -49. Let o = -8 - a. Does 8 divide o?
False
Does 15 divide ((-30)/(-4))/((-15)/(-90))?
True
Let u be 1*3/(-3) + 1. Suppose u*s = 4*s - 12. Suppose -s*t + 33 + 24 = 0. Is 19 a factor of t?
True
Suppose 5*y - 25 = -5. Suppose 0*h = y*h - 56. Is h a multiple of 7?
True
Suppose 5*x - 2 = b, 0 - 5 = -x. Is b a multiple of 16?
False
Suppose 2*o + 2 = 4*j, 3*j - 5 = o + o. Let m be (-1 - -4)*(-34)/6. Let a = o - m. Is 10 a factor of a?
True
Let w(g) = g**2 + 5*g - 2. Is w(-11) a multiple of 23?
False
Suppose 34 = -3*h + 5*h. Is h a multiple of 4?
False
Let v(y) = y**2 - 5*y + 2. Let m be v(3). Let q(u) = 6*u**3 + 7*u**2. Let i(f) = -5*f**3 - 6*f**2. Let h(z) = 5*i(z) + 4*q(z). Does 16 divide h(m)?
True
Is (30/(-24))/(1/(-104) - 0) a multiple of 13?
True
Let n(c) = -c**3 + 7*c**2 - c + 9. Let l be n(7). Suppose 0 = -2*o + 2 + l. Does 11 divide 2 - 6/o - -21?
False
Let u = -7 + 19. Does 3 divide u?
True
Let f be (0 - 0) + 0 + 4. Suppose k = -f*q + 149, -3*q + 106 = -0*q - 5*k. Suppose 5*z - 11 = -2*s + q, 2*z = s - 15. Does 14 divide s?
False
Let j(l) be the third derivative of l**5/60 - l**4/24 + l**3/6 + 2*l**2. Let b be j(3). Let v = b + 11. Is 10 a factor of v?
False
Let o = -237 - -382. Suppose 5*m + 71 = 4*a, -5*a - 3*m + o = 2*m. Is a a multiple of 13?
False
Let u(d) be the third derivative of d**7/2520 - d**6/144 + d**5/60 + d**4/8 + d**2. Let z(l) be the second derivative of u(l). Is z(6) a multiple of 3?
False
Let v(w) = -w. Let c be v(1). Let x(d) = -4 - 4*d + 4. Does 2 divide x(c)?
True
Let c(s) = -s + 3. Let l be c(7). Let k = 24 + l. Does 8 divide k?
False
Let u be (-3)/2*(-14)/3. Let p = u - 2. Is p a multiple of 5?
True
Let q(m) = -m + 5. Let h be q(8). Does 19 divide h/(-1 - 2) - -37?
True
Suppose v = 2*v - 3. Suppose -2 = 4*k + 4*i + 6, v*k + 5*i = -10. Suppose 0 = -5*t + 2*w + 88, k + 8 = -2*w. Is 12 a factor of t?
False
Let h = -4 + 2. Let i = 1 + h. Does 3 divide (-4 - (3 - 4))*i?
True
Let v be ((-15)/5)/(6/(-4)). Suppose -10 - 26 = -v*q. Does 6 divide q?
True
Let g(m) = m**2 - 7*m + 9. Let h be g(6). Suppose 52 = h*l + l. Is l a multiple of 13?
True
Let w = -272 - -415. Is w a multiple of 32?
False
Suppose 6 = u + 2*u. Suppose -u*d - 11 = 5*w, 5*d = w + 10 - 24. Does 13 divide (0 - 1)*(d - 10)?
True
Does 13 divide (-2640)/32*(-8)/10?
False
Let a(x) = 3*x**2 + 7*x + 3. Does 5 divide a(-3)?
False
Let a = -8 - -11. Suppose -21 = a*q - 72. Is 6 a factor of q?
False
Suppose v + 4*v = -3*s + 155, s - 55 = -v. Does 12 divide s?
True
Suppose -o = 5*m - 55 + 15, 0 = 2*m + 5*o - 16. Let h(u) = -7 + 0 - 2 - m*u - u**2. Is 2 a factor of h(-6)?
False
Let i be 2/((8/6)/2). Suppose 5*a + i*w = 53, -3*w + 8*w - 19 = -3*a. Is a a multiple of 13?
True
Let y(z) = z**3 + z**2 - z + 14. Is y(0) a multiple of 2?
True
Let z(f) = 2*f**2 - f - 9. Is z(6) a multiple of 19?
True
Let h(n) = 2*n**2 - 11*n + 3. Let i = 20 + -12. Is 11 a factor of h(i)?
False
Let r = 10 + -3. Let z = r + -5. Is 2 a factor of z?
True
Let b(g) = 10*g - 17. Is 10 a factor of b(6)?
False
Let q be 1 + 0*(-1)/2. Let s = 18 + q. Does 12 divide s?
False
Let a(s) = -s**3 + 5*s**2 - 2*s - 4. Let m be a(5). Let v = 28 + m. Is v a multiple of 7?
True
Suppose 2*q + p - 5 = 0, 2*p + 0 = -q + 1. Suppose 80 = q*j + j. Is 20 a factor of j?
True
Suppose 7*w - 660 = 3*w. Does 15 divide w?
True
Let b(q) = -q + 8. Let s(d) = 6*d**2 - d - 1. Let h be s(-1). Let p be b(h). Suppose -5*f - 18 + 3 = 2*j, 2*j - p*f - 20 = 0. Is 2 a factor of j?
False
Let n(q) = q**3 + 10*q**2 + 8*q - 2. Let f be n(-9). Let t(u) = u**3 + 6*u**2 - 7*u + 4. Let h be t(-6). Suppose 3*r + f = h. Is r a multiple of 12?
False
Let h be 5/3 + 2/6. Suppose h*o - 4*v - 58 = 0, -o - v + 4*v + 24 = 0. Is 13 a factor of o?
True
Let o(w) = w**2 + w + 2. Let z be o(0). Suppose -2*q - 2*m + 24 = z*m, 0 = q - 5*m - 33. Is 11 a factor of q?
False
Let q be (-3 - -3)/(2 - 1). Suppose -2*k = -q*k - 10. Is k a multiple of 5?
True
Suppose 5*j = -i + 92, 0 = -3*j + i + i + 63. Is 4 a factor of j?
False
Let l(k) = 132*k**3 + 2*k**2 - 2*k + 1. Is 19 a factor of l(1)?
True
Let i(u) = 7*u. Let z be i(-1). Let s(n) = n**2 + 7*n + 3. Let q be s(z). Suppose -1 = -4*r + q, 4*v - 2*r - 118 = 0. Is v a multiple of 15?
True
Suppose 2*v = -3*v + 55. Let u = v + 4. Is u a multiple of 15?
True
Let r(b) = b**3 - 12*b**2 - 10*b - 16. Is 11 a factor of r(13)?
False
Let b be 133 + -1 - (-21)/7. Suppose 5*k - b = 5. Does 9 divide k?
False
Suppose 19 = -3*u + 67. Is 3 a factor of u?
False
Let g(m) = -m**3 - 2*m**2 + m - 4. Is g(-5) a multiple of 20?
False
Let q = 16 - -29. Is q a multiple of 8?
False
Let p = -268 - -494. Suppose 0 = -5*g + p - 26. Does 10 divide g?
True
Suppose -d + 2*l = 0, -5*d - l + 24 = l. Let o = d - 1. Is (-4)/((-39)/(-15) - o) a multiple of 5?
True
Suppose -3*o = -0*o - 216. Let r = o + -37. Is r a multiple of 8?
False
Does 5 divide ((-125)/(-75))/(82/(-84) - -1)?
True
Suppose 2*b - 13 + 5 = 0. Suppose -4*w = -b*g + 84, w + 0*w = 3*g - 5