 12 - 2 = j, -3*j - l + 23 = 0. Suppose 0*w - w = -j. Is 11 a factor of d(w)?
True
Let p = -13 + 8. Let i be (-2)/p + 92/20. Suppose 0 = 3*u - 2*u - i. Does 3 divide u?
False
Suppose c = -3*c - 280. Let h = -50 - c. Suppose -2*p - h = -7*p. Is p even?
True
Let f(l) = 12*l - 1 + 20*l - 3*l - 2*l. Let o be f(-1). Let z = o - -58. Is 15 a factor of z?
True
Suppose -p = 1, -5*l + 314 = 2*p - p. Does 2 divide ((-1)/3)/((-3)/l)?
False
Suppose 3*x - 100 - 65 = 0. Let u = -30 + x. Is 21 a factor of u?
False
Is 17 a factor of (-1)/((-2)/306*3)?
True
Let o be (6/(-9))/((-4)/102). Let m = o + -11. Is m a multiple of 5?
False
Suppose 3 - 15 = 4*m, 0 = -2*c + 3*m - 135. Let k = c + 153. Does 27 divide k?
True
Let m be (-2)/6 - 56/3. Let q = 20 + -54. Let b = m - q. Is 15 a factor of b?
True
Suppose -2*q + p + 2*p + 22 = 0, -5*p = q - 24. Does 3 divide q?
False
Let p be (-7)/(-3) + (-2)/(-3). Suppose 0*k = -2*k - 8, 5*k = p*l - 104. Is 14 a factor of l?
True
Let n = 12 + 3. Is 5 a factor of n?
True
Let o = -129 - -188. Does 7 divide o?
False
Let y be ((-3)/(-4))/((-6)/(-1848)). Does 6 divide 8/(-6)*y/(-14)?
False
Suppose -3*b - 63 = 27. Let c be b/3*(-2)/4. Suppose -80 = -4*o - 3*k, -4*k + c*k = 0. Is 17 a factor of o?
False
Suppose 2*i - 30 = i - r, 4*r = 2*i - 30. Suppose 0*n - n + i = 0. Is 8 a factor of n?
False
Suppose 0 = -3*a - 2*a - 10. Does 23 divide 0/(1 + a) - -23?
True
Let h = -4 + 4. Suppose 0 = -h*j - j. Suppose -2*m - m + 9 = j. Is m a multiple of 3?
True
Let d(q) = q**2 - q + 7. Let j be d(0). Let v(m) = m - 5. Let y be v(j). Suppose -y*c = 5*k - 75, -4*c + 0*c - 6 = -2*k. Does 13 divide k?
True
Let t be (-3)/((5 + -4)/(-4)). Let a = -5 + t. Does 3 divide a?
False
Suppose 2*u - 4 + 0 = 0. Suppose -s + u + 4 = -5*t, -4*t - 42 = -2*s. Let g = s + -14. Is 6 a factor of g?
False
Is 7 a factor of -4 + 1 + -2 + 3 - -16?
True
Let d = -10 - -18. Let i(a) = 3*a**2 - 2*a**2 - 5*a - d + a. Is 19 a factor of i(-6)?
False
Let g = -25 + 216. Suppose g = 5*j + y, -j + 5*y - 58 = -3*j. Is 13 a factor of j?
True
Suppose 2*t - 4*l - 80 = -5*l, -92 = -2*t + 2*l. Is 14 a factor of t?
True
Suppose 4*z - 3*z = -2. Let b(r) = 6*r**2 - 3*r - 3. Let i be b(3). Is (i/(-15))/(z/20) a multiple of 14?
True
Let z(m) = -8*m**2 + 2*m - 3. Let u be z(2). Let r = u - -65. Suppose 3*j - l = 128, 234 - r = 5*j + l. Is j a multiple of 17?
False
Let f(m) = -m**2 - 7*m - 1. Does 6 divide f(-5)?
False
Let u = 168 + -58. Does 10 divide u?
True
Suppose 4 = 3*c - 17. Let u = -3 + c. Suppose -u*h + 48 = -28. Is 9 a factor of h?
False
Suppose -8 = -4*p, -4*u + 3*p + 8 + 18 = 0. Suppose 3*r - 3*h + u = 5*r, 16 = 2*r - h. Suppose -3*b = -2*b - r. Does 3 divide b?
False
Let s be (14/4 - -1)*6. Let f = 73 - s. Is 13 a factor of f?
False
Let g(x) = 28*x - 1. Does 20 divide g(2)?
False
Is (-15)/((-3)/6 - 1) a multiple of 2?
True
Suppose -3*i + 3*b - 12 - 18 = 0, i + 14 = 3*b. Let l(p) = -10*p - 10. Is l(i) a multiple of 35?
True
Let v(l) = 2*l**2 + 10*l**2 - 5*l + 6*l. Suppose -2*y = -6*y - 4. Is v(y) a multiple of 11?
True
Suppose 2*p + 101 - 13 = 5*b, 0 = 2*b - p - 35. Suppose -2*o = o - b. Is 3/o*22/1 a multiple of 11?
True
Let s(x) be the second derivative of 13*x**3/6 - x. Suppose -5*t = 10 - 15. Is s(t) a multiple of 6?
False
Let o(s) = s**3 - 5*s**2 + s + 1. Let f be o(5). Suppose -2*q - f = -5*q. Is q a multiple of 2?
True
Let h(l) be the second derivative of 2*l**3/3 + l. Let w be h(-1). Is 9 a factor of 195/21 - w/(-14)?
True
Suppose -5*h - 2*v - 9 = 0, v = -h + 4*h + 1. Does 13 divide ((-330)/5)/(h*2)?
False
Let m(u) = -3*u**2 + 4*u**2 + 0*u**2 - 7 - 5*u. Let x be m(7). Suppose 49 + x = 4*r. Does 14 divide r?
True
Suppose 0 = -0*b - 2*b - 2. Is 8 a factor of -18*(-1 - b/(-3))?
True
Suppose -11 = -3*r + 7. Does 16 divide r/(-9)*177/(-2)?
False
Suppose 2*v - 40 = -2*t, 14 = 5*t - 1. Suppose v = -3*w + 2*w. Is 6 a factor of w*(-2 + (3 - 2))?
False
Let t = 105 - 209. Is t/(-10)*30/12 a multiple of 12?
False
Suppose -5*a - 5*x + 501 = -3*x, 3*a = 4*x + 285. Is a a multiple of 33?
True
Let s(g) = 10*g**2 + 13 + 2 + g**3 + 3*g - 5. Let z be s(-10). Let t = z + 32. Is 6 a factor of t?
True
Let m(b) = -b - 9. Suppose 3*w + 40 - 13 = 0. Let n be m(w). Suppose n = -2*d + 6*d - 112. Does 14 divide d?
True
Suppose -2*x + 2*c = 3*c - 86, 0 = -3*x - c + 129. Let k = x - 24. Does 19 divide k?
True
Suppose v = -0*v + 32. Let o = -1 + v. Is o a multiple of 13?
False
Let l(s) = 15*s + 7. Let v(b) = 7*b + 3. Let q(j) = 2*l(j) - 5*v(j). Let w(r) = 21*r + 3. Let z(m) = -9*q(m) - 2*w(m). Is z(5) a multiple of 5?
False
Let o = 66 - 141. Let u = o + 105. Is 15 a factor of u?
True
Let u(x) = x + 16. Let j(n) = -4*n - 65. Let q(s) = 2*j(s) + 9*u(s). Is q(10) a multiple of 9?
False
Suppose 8 = 9*o - 8*o. Does 4 divide o?
True
Let p = 140 + -4. Suppose -p = -2*y - 2*y. Is 16 a factor of y?
False
Let j = 1 - -1. Let a = 0 + j. Suppose -x - 11 = -a*x. Does 11 divide x?
True
Let i = 11 + -7. Is 8 a factor of i*3 - (3 - 0)?
False
Let t(x) = 8*x - 1. Let h(v) = v**2 + 4*v. Let r be h(-3). Let m = r + 7. Is t(m) a multiple of 13?
False
Suppose k - m = 1 + 5, -5*m - 27 = -4*k. Suppose 9 - 81 = -k*q. Is q a multiple of 8?
True
Let h(t) = -t**3 - 14*t**2 - 5*t - 10. Is h(-14) a multiple of 15?
True
Let s = 6 - 13. Let g = 4 - -12. Let u = g + s. Does 6 divide u?
False
Let a(r) = -28*r**3 - 4*r**2 - 3. Is 41 a factor of a(-2)?
True
Suppose 4 = 5*b - b. Suppose u - b = -2. Let x(n) = -14*n**3 - n**2 + 1. Is x(u) a multiple of 14?
True
Suppose -q + 84 = 6*q. Is 2 a factor of q?
True
Let j(i) = 3*i**2 - 7*i + 6. Suppose 2*k + 20 = 7*k. Is 9 a factor of j(k)?
False
Suppose 2*t - f - 156 = -5*f, 0 = 2*f + 10. Is t a multiple of 11?
True
Suppose -z + 168 = 6*z. Is z a multiple of 18?
False
Let x be (155 - -1)/4 + 0. Let b = x + 23. Is b a multiple of 13?
False
Let y be 2 - (2 + -3 + -10). Let k = 11 - 17. Let u = y + k. Is 6 a factor of u?
False
Let o be -3*2*1 + 1. Let g(w) = -w**3 - w**2 + 8*w - 4. Does 10 divide g(o)?
False
Let f = -6 + 48. Is 13 a factor of 2052/f + (-1)/(-7)?
False
Let s = -23 - -45. Is 22 a factor of s?
True
Let f(z) = -z**3 + 11*z**2 + z - 11. Let u be f(11). Suppose d + 2*d - 54 = u. Does 11 divide d?
False
Suppose t + 9 = -0*t. Suppose -2*n + 938 = -5*s, 4*s - 2*n + 247 = -503. Is 5 a factor of s/(-36) + 2/t?
True
Let z(m) = 2*m + 12. Let o be z(9). Let v = o + 64. Suppose 3*w - 235 + v = -4*k, 3*w + 147 = 4*k. Is 11 a factor of k?
False
Suppose -9*o + 4*o = -165. Does 7 divide o?
False
Let s = 107 - 37. Is s a multiple of 14?
True
Suppose -2*a + 63 = a. Let b = -1 - -3. Suppose 2*k - 3*h = -6*h + a, -b*h + 58 = 5*k. Is 12 a factor of k?
True
Let r be 1/((6/75)/2). Let q = r - 9. Is 8 a factor of q?
True
Let i be (-14)/(-6) + (-4)/12. Suppose -f + 438 = i*f. Let x = -96 + f. Does 16 divide x?
False
Let d(h) be the third derivative of -h**6/20 + h**5/20 + h**4/24 + h**3/6 - 4*h**2. Is d(-2) a multiple of 24?
False
Let c = -9 - -12. Suppose t - c - 6 = 0. Does 9 divide t?
True
Let g be ((-4)/6)/((-6)/90). Suppose -3*b + g = -275. Does 24 divide b?
False
Let r = 1 - -4. Suppose r*i = -0*i - 2*s + 4, -i - 2*s = -4. Suppose 4 = n + 2*w, i*w = -4*n - 3*w + 36. Does 10 divide n?
False
Let o = 45 - 33. Is o even?
True
Let c(f) = 3*f**3 + 5*f**2 - 5*f + 1. Let y(p) = -13*p**3 - 21*p**2 + 19*p - 5. Let k(t) = -9*c(t) - 2*y(t). Is 8 a factor of k(-5)?
True
Suppose 0 = -15*o + 531 + 369. Is 10 a factor of o?
True
Let z(r) be the third derivative of r**8/5040 + r**7/5040 - r**6/360 + r**5/60 + 3*r**2. Let a(u) be the third derivative of z(u). Is a(-2) a multiple of 5?
False
Let c(a) = a. Let g(p) = -2*p**2 + 26*p + 12. Let x(w) = -w**2 + 13*w + 6. Let d(z) = -6*g(z) + 11*x(z). Let k(v) = 6*c(v) + d(v). Is k(9) a multiple of 4?
True
Does 21 divide (1 + 1)*(-210)/(-20)?
True
Is (-13)/((-130)/804) + (-8)/20 a multiple of 14?
False
Let f be (-1 + 3)/((-8)/20). Does 4 divide (f - (-2 + 1))/(-1)?
True
Is (20/(-60))/(1/(-54)) a multiple of 9?
True
Let i(x) = 2*x**3 + 2*x**2 + x + 1. Let a(w) = -w**3 + 1. Let o(q) = -a(q) - i(q). Let r be o(-3). Let j = r - -45. Does 20 divide j?
False
Suppose m - 5*w - 42 = 0, w + 3 = -5*m + 109. Does 3 divide m?
False
Let i be 6 + (3 + -3 - 2). Suppose 0 = i*t - 2 + 6. Let o = 14