e x(d)?
True
Let u = 23 + -42. Let t = u - -33. Does 4 divide t?
False
Let n(i) be the first derivative of -3*i**4/4 - i**3/3 - i**2/2 - i - 2. Let b be n(2). Let c = -11 - b. Does 11 divide c?
False
Let a = 326 - 225. Suppose -2*b + s = -a, -2*b = -3*b + 4*s + 33. Is b a multiple of 14?
False
Suppose -2*r - r + 9 = 0. Suppose 3*n = 3*i - 69, 0*n = n + 3. Suppose 0 = r*c - i - 67. Does 19 divide c?
False
Suppose 18 = -g - 2*t, -3*t + 5 = -2*g - 3. Let f(o) = o + 23. Let z(y) = 3*y + 68. Let w(m) = -17*f(m) + 6*z(m). Is 7 a factor of w(g)?
True
Is 3 a factor of -4 - (-2 - 11) - -3?
True
Let s(y) = 8*y**2 - 6*y + 3. Let a(f) be the second derivative of -17*f**4/12 + 13*f**3/6 - 3*f**2 + f. Let p(t) = 2*a(t) + 5*s(t). Is 19 a factor of p(2)?
True
Does 7 divide ((-105)/2)/((-13)/26)?
True
Let o = 7 - 14. Let a(t) = -t**3 - 8*t**2 - 9*t - 2. Does 10 divide a(o)?
False
Let o(p) = p - 1. Let s(m) = -3*m**2 + 2*m - 1. Let q be s(1). Let u be o(q). Let n = 7 + u. Is 4 a factor of n?
True
Let b be (-1)/(-4) + 6/8. Suppose 3*m - 60 = m. Let j = m - b. Is 10 a factor of j?
False
Suppose 0 = 5*s + d + 146, 2*s + 44 = d - 5*d. Let y = 61 + s. Does 8 divide y?
False
Let i = 2 - 7. Let f = i - -17. Suppose 2*t = -2 + f. Does 4 divide t?
False
Suppose v = 3*v + 108. Let z = -36 - v. Suppose j = 2*y + z, y - 27 = j - 5*j. Does 4 divide j?
True
Suppose d + d = 0. Let a = d + 16. Is 16 a factor of a?
True
Suppose -133 = -2*c - 5*r, 4*c = r + 130 + 191. Does 23 divide c?
False
Suppose 2*j - 3 - 5 = 0. Suppose 3*d = -j - 5. Let m(n) = -2*n**3 - 3*n**2 + 3*n + 2. Does 10 divide m(d)?
True
Suppose -c + 107 = -15. Is c a multiple of 32?
False
Let z = 261 - 107. Is z a multiple of 14?
True
Let w(d) = -d + 13. Suppose -7 - 3 = 5*f. Let h be f*2/4*9. Does 18 divide w(h)?
False
Let u(f) = 2*f**2 - 20*f + 19. Is 5 a factor of u(10)?
False
Let w(d) be the second derivative of d**7/2520 + d**5/12 + d**4/4 - 3*d. Let n(i) be the third derivative of w(i). Is 6 a factor of n(0)?
False
Let r be 0/((-2)/1 - -4). Suppose r = -w - 2*w + 42. Does 7 divide w?
True
Suppose 0 = -4*p + 6 + 14. Let s(c) = -c + 3. Let r be s(3). Suppose f = -2*f + p*m + 19, r = 5*f - 2*m - 57. Is f a multiple of 6?
False
Let j(h) = 2*h**2 + 4*h + 5. Let o = -3 + -1. Let m be 1/((-1)/1) + o. Is j(m) a multiple of 12?
False
Suppose 2*p - 27 - 37 = 0. Suppose -p = 3*h + h. Let z = 14 - h. Is z a multiple of 9?
False
Is 29 a factor of ((-80)/12)/(-2)*(-87)/(-2)?
True
Let l(s) = 1. Let i(b) = b + 7. Let u(n) = -i(n) + 5*l(n). Let z = 2 + -10. Is u(z) a multiple of 6?
True
Let a be 42/15*(-20)/(-8). Let z(x) = 3*x + 9. Is z(a) a multiple of 15?
True
Let d be (-4 - -1)/((-8)/(-16)). Is (d/8)/((-15)/360) a multiple of 6?
True
Let j(n) = n**2 + 2*n - 3. Let c be j(5). Suppose 6 = -0*q + 3*q, -3*r - q + c = 0. Is ((-8)/r)/(2/(-20)) a multiple of 8?
True
Suppose 0 = -2*g + 7*g - 20. Suppose -5*v - g + 0 = -2*b, 2*b = 3*v. Is (4 - (-4)/v)*6 a multiple of 7?
False
Suppose 24 + 56 = -5*y. Let a be 2 + 2/(-4)*-10. Let l = a - y. Is l a multiple of 16?
False
Suppose 5*i - 12 = -3*w, -3*w + 6 = 3*i - 6. Suppose 4*h + 1 - 9 = i. Is 7 a factor of (-3 - -33)/(3/h)?
False
Let c(x) be the third derivative of -x**4/8 + 5*x**3/6 + x**2. Is 10 a factor of c(-5)?
True
Let m = 17 - 10. Suppose 4*z - 29 = m. Is 8 a factor of z?
False
Suppose 2*m - 58 = -4. Suppose -4*u + m + 21 = 0. Is 6 a factor of u?
True
Suppose 2 = -0*c - 2*c. Is 2 a factor of ((-9)/c)/3 + -1?
True
Suppose 5*c = 190 + 50. Suppose 4*v - c - 32 = 0. Does 11 divide v?
False
Let r(g) = -g**2 + 15*g + 3. Is r(14) a multiple of 9?
False
Suppose -2*b + 225 = 2*k + 71, -b - 3*k + 79 = 0. Is 13 a factor of b?
False
Let b(w) = w**3 - 4*w**2 - 4*w + 1. Does 6 divide b(5)?
True
Let d(q) = -2*q - 5. Let y be d(-4). Suppose -s - 2*l = -110, 3*s + y*l + 418 = 7*s. Suppose f - 3*c - 14 = -8*c, -4*f + 5*c = -s. Is f a multiple of 7?
False
Let d(k) be the third derivative of 0 + 0*k + 1/3*k**3 + 2*k**2 + 1/60*k**5 + 1/12*k**4. Is 5 a factor of d(-3)?
True
Let j be (-2)/7 + 120/28. Suppose -53 = -j*t - 21. Is t a multiple of 4?
True
Let q(d) = -d - 3. Let l be -11 + 2 + (-6)/(-2). Let s be q(l). Suppose -s*c - 24 = -4*c. Does 9 divide c?
False
Suppose 8*u - 70 = 7*u. Is u a multiple of 14?
True
Let x(a) = 5*a**2 + 4*a + 2. Let t(q) = 6*q**2 + 5*q + 1. Let v(w) = 4*t(w) - 5*x(w). Let y be v(-7). Let m = -35 - y. Is m a multiple of 10?
True
Let c(p) be the third derivative of -3*p**4/4 - p**3/3 - 2*p**2. Is c(-2) a multiple of 17?
True
Let p = 0 + 0. Suppose p = 4*j + j - 160. Suppose -3*l + l = -j. Does 8 divide l?
True
Suppose 4 = r - 2. Is 6 a factor of 6/18 + 70/r?
True
Suppose 30 + 22 = k. Is 6 a factor of k?
False
Suppose 4*f = -2*f + 294. Is f a multiple of 7?
True
Does 2 divide 8/((-24)/(-45)) + -2?
False
Let u(s) = 13*s**2 - 14*s**2 + 10*s + 3 - 4*s. Does 11 divide u(4)?
True
Let k = -22 + 24. Is 2 a factor of k?
True
Let k(y) = 4*y**3 + 0*y**3 - y - 13 + 11 - y**2. Does 4 divide k(2)?
True
Let r(x) = 28*x - 48. Is r(11) a multiple of 26?
True
Suppose f + 2*i = -4*f + 19, -f - 4*i = 7. Let a = 0 + f. Does 9 divide 45*-1*(-3)/a?
True
Let i(p) = -p**3 - 4*p**2 - 4*p. Let r be i(-3). Suppose 2*d = -d - r. Is 16 a factor of d/((-1)/50*2)?
False
Is 11 a factor of ((-15)/12)/(6/(-264))?
True
Let h(z) = -z**3 - 7*z**2 - 2*z - 1. Let t(g) = -g**3 - 3*g**2 + 6*g + 1. Let q be t(-4). Let o be h(q). Is 1/(27/o - 2) a multiple of 13?
True
Let w(z) = -z**3 + 8*z**2 - 7*z - 7. Let q be w(7). Let s(a) = -a**3 - 7*a**2 - 4*a + 10. Is s(q) a multiple of 19?
True
Suppose -5*q - 5 = 0, 0*q = -2*c + q - 61. Let b = -10 - c. Does 7 divide b?
True
Let o be (-122)/10 + (-1)/(-5). Is (-10)/((32/o)/4) a multiple of 5?
True
Let g = -222 + 57. Let f(l) = -l**2 + 13*l - 10. Let m be f(11). Is 11 a factor of (m/(-10))/(6/g)?
True
Let x = 2 - -1. Suppose b + n = 37, -x*n + 5 = b - 30. Is 23 a factor of b?
False
Let r(d) = d**3 + 10*d**2 - d - 8. Let b be r(-10). Suppose -2*w - 18 = -2*v, 2*v - b*w = 3*w + 33. Is v a multiple of 2?
True
Let i be 1/(1/17) + 3. Let g = 36 - i. Does 8 divide g?
True
Let u be (4*2)/(1/3). Suppose -u = -4*d - 0*d. Is d a multiple of 6?
True
Suppose 0 = 4*m - 2*x - 110, 0 = m + 3*x + 2*x - 11. Does 26 divide m?
True
Suppose 6*d - 3*d - 507 = 0. Let q = d - 98. Let u = q - 23. Is 20 a factor of u?
False
Is 6 a factor of 36/2 + (-16 - -15)?
False
Let p = 34 + -5. Is 3 a factor of p?
False
Let k(q) = q**3 - q**2 - q - 2. Let o be k(2). Suppose o*w + 39 = w. Is 10 a factor of w?
False
Let v = -143 - -203. Does 24 divide v?
False
Suppose -46 = -4*l + 62. Does 24 divide l?
False
Suppose 5*y - y + 4*z - 128 = 0, 2*y = 5*z + 50. Is y a multiple of 3?
True
Let a be 49/(-3) + 4/12. Let v = 18 - a. Does 14 divide v?
False
Suppose 3*w = -3, 3*w - 2*w = 5*l - 11. Is (-41 - 2)*-1 - l a multiple of 22?
False
Let g(t) = t**2 - 3*t + 2. Is 10 a factor of g(7)?
True
Let j(u) = -10*u**3 - 2*u**2 - 2*u - 2. Is 28 a factor of j(-2)?
False
Let r(k) = 4*k + 2. Let w be r(-2). Let y be 10/(-15) + 50/w. Let s(i) = i**3 + 10*i**2 + 9*i + 7. Is s(y) a multiple of 7?
True
Suppose 2*b - 128 = -2*b. Is 7 a factor of b?
False
Let l(s) = 12*s**2 + 2. Is l(2) a multiple of 25?
True
Suppose -f + 22 = -0*r + 2*r, -5*f - r + 146 = 0. Let k = f - -1. Is 14 a factor of k?
False
Suppose 4*z - 2 - 4 = 3*b, -5*z - 10 = 5*b. Is 4 a factor of (-3 - b)*(-85)/5?
False
Suppose 3*p + 1 = 7. Suppose z + 8 = p*q, 0 = -3*q - 5*z + 9 + 3. Is 3 a factor of q?
False
Suppose 3*x - p = p + 70, 0 = -4*x + 5*p + 98. Suppose 3*g + x = 79. Is 16 a factor of g?
False
Suppose 220 = 3*u + 2*q, 5*q = 4*u + 28 - 352. Is 38 a factor of u?
True
Let i(u) = -u**3 + 21*u**2 + 6*u - 16. Is 22 a factor of i(21)?
True
Let y(q) = q**3 - 2*q**2 - q. Let i be y(3). Suppose -3*o = -i*o + 126. Does 14 divide o?
True
Let r(a) = -a**2 + 17*a - 23. Is 19 a factor of r(12)?
False
Suppose 2*d = 10, -3*u + d - 6 = -1. Suppose -5*j - 81 = -3*z, -3*z = -u*z + j - 81. Is 7 a factor of z?
False
Let u = -32 - -58. Is u a multiple of 7?
False
Suppose y = z + 9, 6*y - 2*z - 33 = y. Let f = y - 6. Does 4 divide (f + (-10)/(-4))*8?
True
Let i(a) = a + 33. Does 18 divide i(-5)?
False
Suppose z - 30 = -2*w, 2*w - 5*z - 4 = 26. Suppose -9 = 4*v + w. Is 5 a factor o