pose 2 = d - s*d. Is 2 a factor of d?
True
Let l = 47 + -37. Suppose l*a - 878 = 1662. Is 13 a factor of a?
False
Let a = 15 - 17. Let w(j) = -26*j**3 - 4*j**2 - 5*j - 4. Is w(a) a multiple of 11?
True
Let c(d) be the third derivative of -d**5/40 - 7*d**4/12 + 5*d**3/6 - d**2. Let z(l) be the first derivative of c(l). Is z(-10) a multiple of 16?
True
Let l be -4 - (-3 - 20/(-4)). Let s = l - -6. Suppose s = -2*f + 28 + 8. Is f a multiple of 8?
False
Let i = -93 - -140. Is (i + -48)/(-1*2/78) a multiple of 14?
False
Let u(b) = -b**3 + 2*b**2 + 3*b - 2. Suppose 0*n = -n + 2. Let w be u(n). Suppose w*f + 0*f = 28. Is 6 a factor of f?
False
Let u be (-4 - -232)*(-2)/(-4). Let y = 183 - u. Suppose -6*n + 255 = -y. Does 19 divide n?
False
Suppose 8*x + 3 = -29. Does 18 divide (38/(-20) + x/(-10))*-12?
True
Suppose 0 = -4*y - 0 + 24. Let c(g) = -g**3 + 7*g**2 - 5*g - 3. Let o be c(y). Suppose -f = 2*q - 49, 0*q - 3*q + 75 = o*f. Is 8 a factor of q?
True
Let x(q) = -q**2 + 8*q + 20. Let g be x(10). Suppose -2*p = j - 8, g = -5*j + 2*p + 2 + 2. Suppose -4*b + 236 = -j*z, -2*z - 1 = -5. Is 20 a factor of b?
True
Let x(g) = 10*g + 5. Let n(u) = -u - 7. Let t be n(-9). Suppose -t = -5*r + 13. Is x(r) a multiple of 14?
False
Let v = 16 + -4. Let q be 80/v*(-12)/10. Is 9 a factor of (-220)/q + 2/4?
False
Let x(n) = 14*n - 88. Does 20 divide x(12)?
True
Let m be 30/10 - (-3270)/(-1). Does 16 divide m/(-66) + 2/4?
False
Let u(n) = -11*n**3 + 2*n**2 + 2*n + 1. Let s be u(-1). Suppose 0*h = -3*h - s, 2*p - 4*h = 26. Suppose 0*d - p*d + 90 = 3*g, -3*g = -d. Does 15 divide d?
True
Let i(t) = -t**3 - 3*t**2 - 3*t - 1. Let b be i(-2). Let p(u) = 106*u**3. Let c be p(b). Suppose 5*m - c = 3*m. Is m a multiple of 9?
False
Is 90 a factor of -135*(-90)/189*(-1 - -8)?
True
Let k be (-2)/(-8) - (-50)/(-40). Let s be (-28 - 0)/(k/3). Suppose -a - y - 4*y + 30 = 0, 4*a = -2*y + s. Is a a multiple of 17?
False
Let x(k) = -210*k - 8. Is 5 a factor of x(-1)?
False
Suppose -3*f - 1833 = -16*f. Does 12 divide f?
False
Let z(v) = 4*v**2 - 2*v - 1. Let j be z(2). Let k = 77 - j. Let h = k - 38. Does 10 divide h?
False
Suppose 2*a = -9 + 7. Let u(j) be the third derivative of -25*j**4/24 - j**3/6 + j**2. Is 8 a factor of u(a)?
True
Let l(m) be the first derivative of -13 + 3 + m - 9*m**2 + 5. Does 12 divide l(-1)?
False
Let x = -1067 + 1030. Suppose -3*u - 133 = -2*z, -3*u = -5*z + 27 + 319. Let w = z + x. Does 6 divide w?
False
Let c be (-3 + -7)*(-2)/4. Suppose -3*x + c = -1. Let l = x + 16. Is l a multiple of 4?
False
Suppose r - s - 1114 = -2*r, -r + 382 = 5*s. Does 31 divide r?
True
Suppose -i - 5*a = -a - 717, -3*i + 2046 = -9*a. Is i a multiple of 44?
False
Let w(s) = 3*s - 25. Let d be w(7). Is (-98)/((-2 - (-4)/1)/d) a multiple of 35?
False
Let g = -63 + 14. Let l = -5 - g. Is l a multiple of 18?
False
Is 19 a factor of 0 - (-1970)/4 - (-11)/22?
False
Suppose 15*z - 184704 = -96*z. Is 26 a factor of z?
True
Suppose 13*s + d = 14*s + 14, 0 = -5*d + 20. Let x(f) = f**2 - 2*f**2 + 17 - f - 10*f. Does 9 divide x(s)?
True
Let x be 140/15 + (-1)/3. Does 8 divide 2/(-3) + 222/x?
True
Let f(m) = -m**3 + 18*m**2 - 16*m - 38. Let x be f(17). Let v = x - -48. Is 18 a factor of v?
False
Suppose -8424 = 82*t - 91*t. Is t a multiple of 36?
True
Let s(i) = -i**3 + 2*i**2 + 4*i - 3. Let h be s(3). Suppose j + 3*y + 2*y - 19 = h, 122 = 4*j - 3*y. Is 4 a factor of j?
False
Let d(l) = 5*l**2 - l + 1316. Is 14 a factor of d(0)?
True
Let v(q) be the second derivative of -q**3/3 - 4*q**2 + 4*q. Let f be v(-3). Does 10 divide -4 + -28*4/f?
False
Suppose 0 = x - 0*x - v - 120, -5*x + 3*v + 590 = 0. Is 12 a factor of (x/(-5))/(1/(-15))?
False
Let i(o) = 13*o**3 + 3*o**2 + 7*o - 16. Is i(3) a multiple of 37?
False
Suppose 14*q - 2071 = -531. Does 12 divide q?
False
Suppose 5*f - f - 88 = -4*g, -2*g + 56 = -4*f. Suppose 0 = 5*z + o - 505, 5*z = 6*o - 2*o + 530. Let m = z - g. Does 26 divide m?
True
Suppose -3*d = -5*h + 3512, 0*d - 1396 = -2*h - d. Is 14 a factor of h?
True
Suppose -54 = 7*v - 9*v. Suppose 30*w = v*w + 225. Does 15 divide w?
True
Let i(s) = s**3 - 12*s**2 + 3*s + 15. Suppose 4*p = 4*r - 9*r + 68, -54 = -4*r - 3*p. Does 17 divide i(r)?
True
Let i be 2 + (0 - 2) + 2. Suppose -24 = x - i*x + 5*y, 5*y - 240 = -5*x. Is x a multiple of 8?
False
Let b(a) = -a**2 - 6*a - 2. Let x be b(-4). Let s = 45 - x. Is s a multiple of 26?
False
Let k(g) = 5*g - 14. Let a be k(6). Let d = a - 22. Let v(q) = -q**3 - 5*q**2 - 2*q - 9. Is v(d) a multiple of 13?
True
Let b(m) = 7*m - 12. Let l be b(5). Let h = 71 - l. Is 12 a factor of h?
True
Let m(j) = -j**3 + 9*j**2 - 9*j + 2. Let q be m(8). Let a = q + 31. Is 8 a factor of a?
False
Let q(w) = 3*w - 10. Let x be q(4). Suppose -4*d + 204 = 5*a, 0 = -3*a + x*d + 93 + 25. Is 18/(-8)*a/(-15) a multiple of 6?
True
Let q(a) be the third derivative of 0*a - 2*a**3 + 5*a**2 - 7/24*a**4 + 0. Is q(-5) a multiple of 23?
True
Let x = 156 - -219. Is x even?
False
Suppose -g + z = -4, -g + 4*z - 3 = -7. Let k be 0 - (124/(-16))/(4/16). Suppose 33 = g*j - k. Is j a multiple of 13?
False
Let r(s) = -s**3 + 6*s**2 + 2*s + 1. Let l be 0*(1 + 4/(-3)). Suppose l = -2*z - 4*a - 8, -z - 2*z - a = -13. Does 13 divide r(z)?
True
Is 6256/14 - (-31)/217 a multiple of 11?
False
Let b(l) = 10*l**2 + 6*l + 25. Suppose -x + 35 = -8*x. Does 35 divide b(x)?
True
Suppose -4*q + 176 = -5*q. Let s = q - -321. Does 27 divide s?
False
Let o(m) = 25*m + m**3 - 9 - 11*m - 14*m. Let j be o(0). Is 8 a factor of (-20)/(-15)*(3 - j)?
True
Let h(z) = -z**2 - 14*z - 12. Let u be h(-14). Let i = 68 + u. Does 14 divide i?
True
Suppose -55 - 50 = -3*o. Let j(i) = 8*i**2 - 2*i + 4. Let t be j(-4). Suppose -5*d + t = -o. Does 14 divide d?
False
Suppose 4*b + b = 0. Let p be -3 + 5 - b - -1. Suppose -186 = -5*k - 2*d, -49 = p*k + d - 160. Is k a multiple of 12?
True
Suppose 913*k - 905*k = 2688. Is 24 a factor of k?
True
Suppose -32*s = -26*s - 540. Is 6 a factor of s?
True
Let h be (2 + 12/(-9))*(-1611)/(-6). Suppose -21 = -5*t + h. Is 4 a factor of t?
True
Let l(r) = -r**2 + 8. Let z be l(-5). Let n = z - -76. Suppose -5*f = -n + 9. Is 5 a factor of f?
True
Let c(u) = u - 15. Let r be c(11). Let p(y) = -y**2 - 6*y - 5. Let n be p(r). Suppose -n = -i + 39. Is 21 a factor of i?
True
Let m = -4 + 3. Let v be m*(-2 - (0 + -2)). Suppose v = -3*x + 36. Is 4 a factor of x?
True
Let f = -46 - -51. Suppose 3*s - 43 = f. Is 3 a factor of s?
False
Let x(g) = 3 + 12*g + 9*g**2 + 2 - 8*g**2. Let t be x(-11). Is 8 a factor of 8/(-12) + (-226)/t?
False
Let v = 26 - 266. Let g be (1/2)/((-4)/v). Suppose 4*r - 13 = -5, 2*n - g = -3*r. Does 6 divide n?
True
Let w = 150 + -3. Let i = -72 + w. Does 18 divide i?
False
Suppose 3 - 9 = -5*d - n, -2*d - 1 = -3*n. Let u(t) = -t**3 - t**2. Let o(l) = 14*l**3 + 6*l**2 - 2*l + 1. Let k(r) = o(r) + 4*u(r). Does 6 divide k(d)?
False
Let y(a) = 3*a**2 + a. Let s be y(-2). Suppose -37 - s = -p. Is p a multiple of 12?
False
Suppose 4158 = 8*t + 1134. Does 9 divide t?
True
Let x(r) = r**2 - 3*r - 10. Let l be x(8). Suppose -2*w = -2*n + l, 35 = n + 2*n - 5*w. Is 4 a factor of n?
True
Let g be (12/4 - -6) + 0. Suppose 0 = 4*s - g*s + 60. Does 7 divide s?
False
Let i(o) = -o + 35. Let u be i(0). Let f = -25 + u. Suppose -4*k + 20 = -3*b + 7*b, k = 4*b + f. Is 3 a factor of k?
True
Suppose 12*r - 20 - 556 = 0. Does 4 divide r?
True
Suppose -4*g + 15427 = -3*x, 0 = -4*g - 3*x + 16919 - 1474. Is 79 a factor of g?
False
Let v = -259 - -413. Is 11 a factor of v?
True
Let u(s) = -s**2 - 13*s. Let t be u(-13). Is (18/(-8) - t)*-4 a multiple of 2?
False
Let n(y) = y**3 - 13*y**2 - 21*y + 5. Is n(15) a multiple of 10?
True
Suppose -3*i + 54 = 18. Suppose -i = -2*q - 6. Suppose -3 = k + 3*y, -q*k + 10 = -2*y - 14. Is k a multiple of 2?
True
Let v(d) = -d**2 - 27*d - 27. Let t = 59 - 83. Is 11 a factor of v(t)?
False
Let m(t) = -93*t - 48. Is m(-9) a multiple of 42?
False
Suppose -8*m = i - 3*m - 1279, -6371 = -5*i - m. Is 57 a factor of i?
False
Let a = -93 - -96. Is 2 a factor of a?
False
Let q(w) = w**2 + 21*w + 42. Let k be q(-19). Suppose -4*z + z = -b - 379, k*b - 484 = -4*z. Is 10 a factor of z?
False
Let x = 1635 + -1200. Is 87 a factor of x?
True
Suppose -5*x = j + 3*j + 45, 5*j + 4