-8)). Let l = t - b. Is l a multiple of 11?
True
Let j(r) = 5*r**2 + 24*r + 6. Does 2 divide j(-5)?
False
Suppose 4*i + 0*i = j + 135, -133 = -4*i + 3*j. Does 16 divide i?
False
Let g(a) be the second derivative of 2*a**3/3 - 3*a**2 - 3*a. Let h be g(6). Does 4 divide 177/h - (-1)/6?
False
Let l(k) = k. Let p be l(3). Suppose p*i - 30 = i. Let b = 28 - i. Does 4 divide b?
False
Let z = 80 + -23. Is z a multiple of 19?
True
Suppose -2*k - 63 = -3*d, -2*k + 63 = 3*d - 0*k. Suppose -4*a + 2*v - 7*v + d = 0, 2*a + v = 15. Is 5 a factor of a?
False
Suppose 4*w + 3 = 11. Suppose -w*r + 212 = 2*r. Let a = -30 + r. Is 15 a factor of a?
False
Suppose -8 = -7*a + 3*a - 2*r, -5*r - 22 = -4*a. Suppose 0*z = -a*z + 18. Does 2 divide z?
True
Let s(n) = 7*n + 8. Let z be s(-7). Let i = -25 - z. Is 10 a factor of i?
False
Let w(z) = -9*z + 1. Let q be ((-2)/1)/((-6)/(-9)). Is 14 a factor of w(q)?
True
Is 2*4/(-16)*-44 a multiple of 22?
True
Let a = -1 + 3. Suppose a*d - d = 0. Suppose d = -u + 2*u - 35. Is u a multiple of 19?
False
Let t(n) = n**2 + 10*n - 12. Is t(-15) a multiple of 11?
False
Let k = 15 - 2. Suppose -n + k - 54 = 0. Let z = n - -75. Is z a multiple of 17?
True
Does 3 divide ((-2)/4)/(6/(-36))?
True
Suppose 3*o = 75 + 93. Is o/12*1*6 a multiple of 14?
True
Suppose 0 = -b + 3, 0 = 5*d - 0*d - 2*b - 289. Is 4 a factor of d?
False
Suppose 2*n - 159 = 263. Does 17 divide n?
False
Let u = 20 - -10. Is 5 a factor of u?
True
Suppose 4*p + 840 = 8*p + 3*g, p + 3*g - 219 = 0. Does 14 divide p?
False
Suppose -5*t - 10 = -5*u, -5*u = -0*u + 3*t - 10. Suppose a + 3 = -u*a. Is (3/((-3)/10))/a a multiple of 7?
False
Suppose 0*d - 534 = -2*d. Let o = d + -154. Suppose -o + 37 = -4*j. Is 7 a factor of j?
False
Let n = 6 + -8. Let v(z) = -6*z**3 + 3*z + 1. Is v(n) a multiple of 15?
False
Suppose 57*h - 64*h + 903 = 0. Is 4 a factor of h?
False
Let s = -2 - -26. Is s a multiple of 10?
False
Let b be 73*2*(5 + -4). Suppose -b = -4*l - 18. Let j = l - 12. Is j a multiple of 13?
False
Is 9 a factor of -54*(8/(-6))/4?
True
Let l be 1/(3/(-18) + 0). Let f(j) = -j - 1. Let s be f(l). Suppose -g + 3 = 2*m, s*g - 15 = -m - 2*m. Is g even?
False
Let i(s) = 5*s - 16. Is i(5) a multiple of 3?
True
Suppose 4*r = -4*t + 516, t - 2*r - 158 + 32 = 0. Suppose 0 = 3*w - 2 - 7. Suppose -w*b + t = b. Is 14 a factor of b?
False
Suppose 0 = 3*z + 9, 0 = 5*v - 3*z - 17 - 2. Suppose v*a - 5*x + 3 = 3*a, -a + 9 = 3*x. Is 9 a factor of a?
True
Let z(r) = -r**3 + 7*r**2 + r - 1. Let h = -16 - -23. Let y be z(h). Is 2 a factor of 3*(-2 - (-22)/y)?
False
Suppose -5 = -2*f - 1. Suppose f*u = -0*u + 2. Is 8 a factor of (-1)/(u + (-54)/51)?
False
Suppose -2*t = -7*t + 30. Suppose 5*a - 163 = -t*b + 3*b, 5*a - 112 = -2*b. Is b a multiple of 17?
True
Suppose -6*a - 385 + 1321 = 0. Is a a multiple of 52?
True
Suppose 2*l + l + 82 = 2*k, -2*k + 70 = 3*l. Does 13 divide k?
False
Suppose -1300 = -7*t - 40. Does 39 divide t?
False
Let w = 7 + 12. Is 2 a factor of w?
False
Let j(b) = 4*b**2 + 2*b - 3. Let u be j(-3). Suppose 10*s - u = -3*v + 5*s, -3*v - 4*s = -27. Suppose -3*t = -v - 12. Is t a multiple of 6?
False
Let z = 21 - 15. Is 2 a factor of z?
True
Suppose -4*i - 15 = i. Does 17 divide (1*41)/(i + 4)?
False
Suppose -3*s - 4*c + 5*c + 154 = 0, 3*c = -4*s + 188. Is 10 a factor of s?
True
Is 14 a factor of 6/(((-3)/3)/(-12))?
False
Let h(w) = -11*w + 6. Is h(-2) a multiple of 18?
False
Let h be (-422)/7 - 16/(-56). Is 15 a factor of ((-1)/(-1))/((-4)/h)?
True
Does 3 divide 1 - (-3 - ((-20)/4 - -4))?
True
Suppose 0 = 2*f - 5*d - 83, -d + 133 = f + 2*f. Suppose -4*l + 2 = -94. Suppose -l - f = -4*b. Does 15 divide b?
False
Let p(v) = -4*v + 1. Let a(o) = 2*o**3 + o**2 - 1. Let m be a(1). Let d(w) = -w - 1. Let q be d(m). Is p(q) a multiple of 13?
True
Let n = 0 - -4. Suppose 4*w + 328 = 4*c, -2*w + 381 - 29 = n*c. Is c a multiple of 15?
False
Suppose 0*n + 2*n + 8 = 0. Let i be 10/n*6/(-5). Suppose a + 0 = -3*g + 30, -2*g = i*a - 90. Is 15 a factor of a?
True
Let q(p) = -p**2 + 12*p - 14. Let h be q(11). Let l = 13 + h. Is l a multiple of 5?
True
Let y(m) = -5*m + 4. Let r be y(-5). Suppose -2*a = -4*b + 2*a - 68, -r = 2*b - a. Let z = 27 + b. Is 15 a factor of z?
True
Let g be (6 - 13)*(-12)/(-7). Let d = g - -37. Is d a multiple of 5?
True
Let h(s) = -s**3 - 6*s**2 + 7*s - 1. Let i be h(-7). Let a = i - -18. Is a a multiple of 17?
True
Suppose 4*h - 3*v = 3*h - 9, 0 = -5*h + 4*v - 1. Let p(n) be the first derivative of 2*n**2 + 4*n + 2. Is 15 a factor of p(h)?
False
Let a be 3 - 3/(-9)*0. Does 9 divide (-1)/((a/(-54))/1)?
True
Suppose -3*m = -5*m. Suppose -3*r + 4*r = m. Does 4 divide -4*((-3)/3 - r)?
True
Suppose t - 25 = -5*f, -4*f + f + 32 = 4*t. Let n(r) = 2*r**2 - r - 4. Let m be n(-5). Suppose 3*u = -4*l + l + m, -f*u = 2*l - 58. Is 5 a factor of u?
False
Let z(f) = 7*f - 23. Does 9 divide z(11)?
True
Let r be 2 + (-2 - (-1 - -1)). Suppose 135 - 51 = 3*x + 3*i, i - 2 = r. Let h = -12 + x. Is h a multiple of 11?
False
Suppose -z - 81 = -3*p, -p + 8 = -2*z - 19. Suppose -3*y - 10 = -1. Let n = y + p. Is n a multiple of 12?
True
Suppose 10 = 5*s + 4*z, -z = 3*s - 4*z - 6. Suppose -s*l = l. Is 8 a factor of 23 + (l/(-1))/(-3)?
False
Let l = -27 + 9. Let q be l/(-24) - 874/(-8). Suppose 0 = -4*r - 2*d + q, 5*r - 4*d - 179 + 48 = 0. Is r a multiple of 12?
False
Let d = -65 + 137. Does 26 divide d?
False
Let x = 235 - 145. Does 10 divide x?
True
Suppose -3*y - 2*y + 10 = 0. Suppose 9 = -y*i + 47. Does 16 divide i?
False
Suppose 0 = -4*a - a - h + 333, 5*h = -4*a + 279. Is a a multiple of 5?
False
Let d(r) be the second derivative of -r**3/6 - 3*r**2/2 - r. Let l be d(5). Is 10 a factor of (1*-15)/(6/l)?
True
Suppose 13 + 38 = r. Suppose k + 88 = -3*q, q + q - 2*k + 72 = 0. Let u = q + r. Does 20 divide u?
True
Let f(y) = y**3 - 10*y**2 + 2*y + 13. Let r be (-2 - 1 - -6) + 6. Let g = 1 + r. Is 12 a factor of f(g)?
False
Let b(z) = z**2 - 7*z - 1. Let a be b(7). Is 5 + a + (0 - 1) a multiple of 2?
False
Suppose 4*x - 28 = 3*o, 5*o - 49 = -5*x + 21. Is 3 a factor of x?
False
Let j = 1 - 1. Suppose -y = 2*y - 24. Let m = y - j. Is m a multiple of 7?
False
Let s(g) = -g**2 + 5*g - 4. Let b be ((-30)/8)/(-5)*4. Let a be s(b). Let n(j) = j**3 - 2*j + 2. Is n(a) a multiple of 6?
True
Suppose -2*l = -5*l + 198. Suppose -x = -2*k + 56, l = 4*k + x - 46. Is k a multiple of 14?
True
Let w(r) = 2*r**2 + 2*r + 5. Is 14 a factor of w(6)?
False
Let s(j) = 12*j + 10. Does 26 divide s(9)?
False
Suppose 2*f - 2 = 10. Suppose 3*b - f*b = -24. Is 3 a factor of (18/8)/(2/b)?
True
Let l(k) = 20*k**2 - 29*k - 12. Let c(g) = -5*g**2 + 7*g + 3. Let n(v) = -9*c(v) - 2*l(v). Is 19 a factor of n(-3)?
True
Suppose 3*r - 2*z - 3*z - 34 = 0, 25 = 5*r - 2*z. Suppose -5*x = -7 - r. Suppose -2 = -x*i + 2. Is i a multiple of 2?
True
Let f(i) = -3*i - 4 + 5 + 2. Is f(-4) a multiple of 5?
True
Let j = -61 - -96. Suppose 2*t = -9 + j. Is t a multiple of 7?
False
Suppose 2*f - 16 = -d, -d + 31 = -0*d + 5*f. Suppose 64 = -4*m + d*m. Is m a multiple of 16?
True
Let y = 68 + 10. Does 12 divide y?
False
Let l = 77 + -34. Suppose -3*i = 1 - l. Is i a multiple of 7?
True
Let t(n) = -3*n**3 + n**2 + 2*n + 1. Let x be t(-1). Suppose g - 5*j = x*g + 21, 3*j + 9 = -3*g. Is g even?
True
Let y(t) = t + 38. Is 8 a factor of y(0)?
False
Let y(v) = 2*v**2 + 3*v + 2. Let n be y(-4). Suppose c - t - n = 0, -c + 14 = -4*t + 4. Is 10 a factor of c?
False
Suppose 6 = 3*m + c - 12, 2*m - 3*c - 1 = 0. Does 2 divide m?
False
Let k = 73 + 32. Is k a multiple of 20?
False
Let b = -30 - -33. Is 3 a factor of b?
True
Let m(h) = 18*h + 1. Let j be m(1). Suppose -g = -46 - j. Is g a multiple of 15?
False
Suppose 4*z - z = -39. Let o = 22 + z. Let q = 27 - o. Is 15 a factor of q?
False
Suppose 0 = -3*w + 7*w - 176. Let k = w + -24. Is 16 a factor of k?
False
Suppose 2*u + 18 = 4*d - 3*u, -8 = -3*d + u. Let j(a) = 2*a**2 - 2*a - 1. Let m be j(d). Is (29/(-4) + m)*-4 a multiple of 6?
False
Suppose -4*u + 0*u - 200 = 0. Let y = u - -91. Let r = y - 22. Is r a multiple of 7?
False
Let t(f) = -f**2 + 13*f - 12. Is t(10) a multiple of 18?
True
Let s = 12 + 24. Does 9 divide 8/s - (-79)/9?
True
Let q = -4 + 7. Does 4 divide 1 - 3*q/(-3)?
True
Let y = 2 - 2. Suppos