38?
False
Let x(c) = -4*c**3 - 11*c**2 + 19*c - 10. Is x(-17) a multiple of 13?
False
Let o(u) = -75*u + 305. Let f be o(4). Let l(k) = 13*k + 1 + 5 + 17 - 5. Is 5 a factor of l(f)?
False
Let w(g) = g**3 - 16*g**2 + 44*g - 34. Let z be w(13). Suppose z - 44 = -o. Does 13 divide o?
True
Let q(i) = 43*i**2 + 244*i + 21. Is 54 a factor of q(-16)?
False
Suppose -10369 = -3*c + r, 2*c = -2*r + 6802 + 100. Does 44 divide c?
False
Is 9 a factor of (-1)/9*-220735 - -6 - 1/9?
False
Suppose 3*c = 45 - 42. Does 29 divide (64414/(-258))/(c/(-6))?
False
Suppose 0 = 3*r + 7 - 4, -2*v + 3*r = -513. Let w = v - 237. Is 9 a factor of w?
True
Suppose -5*u + g = 447, -2*u - g = -3*g + 174. Let w = u - -142. Suppose 2*a = -2*y + w, 0*a - a = -5*y - 20. Is 10 a factor of a?
False
Suppose -25*v = 12*v - 4440. Does 12 divide v?
True
Let u be ((-2)/(-4) - 1)*-664. Let r(z) = z**2 + 3*z - 782. Let f be r(-26). Let y = u + f. Does 14 divide y?
False
Let l(o) = -10*o - 27. Let f be l(-3). Let r be ((-9)/(-5) - f/3)*-10. Let b(d) = d**3 + 9*d**2 + 5*d + 11. Is 7 a factor of b(r)?
True
Suppose 2791 = 5*m - 2*a, -5*m + 2823 = 5*a + 18. Let y = -387 + m. Is y a multiple of 5?
False
Let k(l) be the first derivative of l**4/4 + 5*l**3 - 5*l**2/2 + 15*l - 36. Is k(-15) a multiple of 34?
False
Is 5 - (-1 - 1) - (9 + -13891) a multiple of 17?
True
Suppose 14*m - 20*m + 4*f + 23338 = 0, -2*m + 3*f = -7776. Is 13 a factor of m?
False
Let q(a) = -a**3 - 19*a**2 - 151*a - 2363. Is q(-35) a multiple of 122?
False
Suppose -3*q - 15 = 0, -14*c + 21407 = -11*c + 5*q. Is c a multiple of 38?
True
Suppose -2*c + 542 = f - 1954, -f + 2520 = -2*c. Is f a multiple of 3?
True
Let c(p) = 2*p**3 + 23*p**2 + 4*p + 28. Let s(l) = 3*l**3 + 24*l**2 + 6*l + 27. Let i(a) = 4*c(a) - 3*s(a). Does 16 divide i(17)?
True
Is 9 a factor of (-19 + 1529/77)/(1/6482) - -6?
True
Let l = -27 - -32. Suppose -4*w + w + 51 = 3*k, -k = -l*w + 91. Does 18 divide w?
True
Suppose -28*f + 28097 = -199345 - 124350. Is 9 a factor of f?
True
Let o(a) = a**2 - 7*a. Let z be (-28)/16*-2*2. Let h be o(z). Is 35 a factor of h + (-12)/4 - -108?
True
Let s = -77 + 81. Suppose -s*d - 1146 = -7*d. Is 22 a factor of d?
False
Let v be (-3 + -5)*(-5)/(-10). Is (-876)/(-8) + 3 - (-2)/v a multiple of 4?
True
Let f(y) = 24*y**2 + 12*y + 51. Let i be f(-3). Let v = i + 89. Is v a multiple of 20?
True
Let j(h) = -h**3 - 17*h**2 - 29*h + 16. Suppose 5*k = -4*o - 75, k - 12 = o - 0*k. Let r be j(o). Let i(x) = 205*x + 3. Does 13 divide i(r)?
True
Let d = 234 + -5. Suppose 106*o + 3*n + 471 = 109*o, 0 = -2*o - n + 326. Let f = d - o. Is 27 a factor of f?
False
Let q(z) be the second derivative of z**4/4 - z**3/6 + 9*z**2/2 - z. Let n be q(9). Let y = n - 174. Is 23 a factor of y?
True
Suppose -7165 = -5*a + 5*b, -2*a = -3*a + 6*b + 1458. Does 21 divide a?
True
Suppose 2*g = 4*i - 65 - 5, -5*i + 70 = g. Suppose -54 - i = 3*d + 3*l, 65 = -3*d - 2*l. Let h = -4 - d. Is h a multiple of 15?
True
Let f = -63 - -69. Suppose -2*z = 3*y - 193, 5*y + f*z - 319 = 2*z. Is 5 a factor of y?
False
Let a(c) = c**3 - 11*c**2 - 8*c + 4. Suppose -4*v - 164 = -0*v. Let h = 53 + v. Is 26 a factor of a(h)?
True
Let m(d) = -3*d - 57. Let i be m(11). Does 11 divide ((-15)/(i/384))/2?
False
Let n = 661 + -638. Suppose 0 = -30*l - n*l + 8745. Is 11 a factor of l?
True
Let a(g) = -26*g**3 + 4*g**2 - 6*g + 8. Let n be a(2). Is (-14)/(n/(-4235))*-2 a multiple of 11?
True
Suppose 0 = 2*o - 3*n - 26682, 318*o - 314*o + n = 53392. Is 85 a factor of o?
False
Suppose 6*t + 0 = 12. Let v = 4 + t. Suppose 2*g = -3*d + 17 + 9, -v = 3*g. Does 5 divide d?
True
Let g = 171 - 166. Is (11/g - 9/45) + 19 even?
False
Suppose -40 = -7*z - z. Let g(a) = 6*a**3 - 3*a**2 - 3*a - 14*a**2 - 25 - z*a**3 - 2*a**3. Is 13 a factor of g(-17)?
True
Let z = 8390 - -2202. Does 158 divide z?
False
Does 2 divide (2 + -1)/(1102/(-1103) + 1)?
False
Let n(j) = 4*j**2 + 2*j + 1. Let q be n(-1). Suppose 45*y = -q*y + 816. Is y even?
False
Let a = -62 + 4682. Does 20 divide a?
True
Suppose 12*v + 72 = 8*v. Let x(j) = j**3 + 18*j**2 - 3*j + 21. Let d be x(v). Suppose 3*c - c = 0, -5*m + d = 5*c. Does 2 divide m?
False
Let c be 2*(-5)/30*-15. Suppose 0 = -4*y - d + 219 - 12, -5*y + 255 = c*d. Does 3 divide y?
False
Suppose 5*n = -10, -17201 = 5*i + 2*n - 46317. Is i a multiple of 91?
True
Is 168 a factor of 37806 + ((-896)/144 - (136/36 - 4))?
True
Suppose 0 = -4*n + 20, 3*t = -2*t + 5*n + 3065. Does 21 divide (-152)/19 - (1 - t)?
True
Suppose -3*d + 39 = -3*v, 0 = -2*d + 3*d - 3*v - 17. Suppose 55 = -0*m + d*m. Suppose -276 = -2*j + 4*k, m*j - k - k - 682 = 0. Does 42 divide j?
False
Let y(g) = 44*g + 3113. Does 6 divide y(-42)?
False
Suppose 373093 + 4349 = 39*v. Is v a multiple of 23?
False
Suppose 5*r = 3*g + 211, -4*g - 21 = -r + 11. Let z = -46 + r. Let d = z + 5. Is 2 a factor of d?
False
Suppose 5*f - 6 = 3*m + 26, 2*m = 5*f - 28. Let o be 0 + (f - -5)/3. Suppose 2*v - 4*u - 103 = u, -24 = -v - o*u. Is v a multiple of 4?
False
Let h(x) = 210*x**2 - x**3 - 6*x**3 - 5*x**3 + 3 + 2*x**3 - 208*x**2 + 3*x. Is 2 a factor of h(-2)?
False
Suppose -5*q - 4*v - 13 = 0, 10*q + v = 12*q. Let s be 19/4 - (q - 6/(-8)). Suppose -s*b = 3*k - 252, 3*k - 61 + 13 = -b. Is b a multiple of 17?
True
Does 24 divide 2/(-8) + (-307195)/(-20) - (-213)/426?
True
Let i = -5194 + 8837. Does 9 divide i?
False
Suppose 0 = 2*s + 4*p + 112, -3*s = -0*s + 2*p + 176. Let o = -64 - s. Let c(i) = 4*i**2 + i - 10. Does 6 divide c(o)?
False
Let w = 33 + -26. Let r(a) be the third derivative of a**6/120 - a**5/12 + a**4/8 - 7*a**3/6 - 4*a**2. Is r(w) a multiple of 31?
False
Let w(b) = -63*b - 81. Let s = -361 - -354. Does 18 divide w(s)?
True
Suppose -3*w + 1135 = 4*v, 2*v - 7*w + 3*w = 540. Suppose -25*z - 68 = -29*z. Suppose -z*f = -22*f + v. Is f a multiple of 8?
True
Let k(h) = -31 + 96 - 34 - 12*h + 7*h**2. Is 29 a factor of k(7)?
True
Let r = -89 - -43. Let n = r - -52. Is 11 a factor of (-66)/2*(-4)/n?
True
Suppose -6*u + 1948 - 16 = 0. Suppose u = 12*o - 278. Is o a multiple of 9?
False
Let n be 4/6*(-117)/(-6). Suppose -2*z + 20 = -5*q - 4*z, -3*q - n = z. Does 6 divide ((-108)/(-6))/((-9)/q)?
True
Let p(x) be the second derivative of x**5/20 - 11*x**4/12 - x**3/2 - 13*x**2 + 21*x + 1. Does 19 divide p(12)?
False
Let j = 6739 + 983. Is 66 a factor of j?
True
Let f(b) = -14*b + 39. Let j be f(12). Let l = 308 - j. Let u = l + -251. Does 10 divide u?
False
Let i = -2593 - -5696. Is i a multiple of 8?
False
Let l = 5550 + -5366. Is 60 a factor of l?
False
Let t(w) = w**3 + 104*w**2 + 567*w + 164. Is 19 a factor of t(-94)?
True
Let n be ((-10)/4)/((-4)/1240). Suppose 4*p = -3*b - 99 + n, 872 = 5*p - 3*b. Let z = p + -60. Is 17 a factor of z?
False
Let b = -5771 - -6060. Does 3 divide b?
False
Suppose 4*p - 9408 = 16*l - 15*l, -p + 4*l = -2367. Does 24 divide p?
False
Let t = 3989 + -1932. Is t a multiple of 32?
False
Suppose -4*s + 2*s - 194 = 0. Let n be 18/(-1 + 2 - (-440)/(-231) - -1). Let r = n + s. Is r a multiple of 33?
False
Suppose 5*k = 3*k + 2*u + 854, -4*k = u - 1703. Let h = k - 76. Is h a multiple of 28?
False
Let k(f) = -12102*f**3 + 5*f**2 - 13*f - 16. Is 17 a factor of k(-1)?
True
Let d be (2 - 0 - -714)*(6 + -5). Suppose 5*z + 2188 = 3*k, 0 = 10*k - 11*k + 5*z + d. Is 10 a factor of k?
False
Let a be (3 + -5 - -1)/(2/(-1014)). Suppose -a = 3*g - 1341. Suppose -g = -2*r - m, -3*r - m + 417 = -3*m. Is 14 a factor of r?
False
Let k(w) = 16*w + 76. Let u(v) = 14*v + 72. Let b(o) = 4*k(o) - 5*u(o). Suppose 57 = -6*t + 3*t. Does 10 divide b(t)?
False
Suppose -14*l + 4*l + 200 = 0. Let s = 47 + l. Let w = s - 11. Does 41 divide w?
False
Let s(w) = 12*w - 18 - 33 + 18. Let b(j) = -j + 1. Let k be b(-6). Does 6 divide s(k)?
False
Let l = 27 + -25. Let w = 75 + -70. Suppose w*p = 2*z + 149, -5*z + 25 + 23 = l*p. Does 14 divide p?
False
Suppose -2*l = -359*w + 360*w - 6660, 2*w - l - 13295 = 0. Does 63 divide w?
False
Let w = -73 - -77. Suppose -w - 27 = -c. Suppose c*v + 55 = 36*v. Is v even?
False
Suppose -s + 6 = f, -18*f + 23 = 4*s - 15*f. Is (-46)/(-10)*725/s a multiple of 54?
False
Let n be (-3 - -2)/(-5*7/(-25060)). Let q = -461 - n. Is 8 a factor of q?
False
Let q be -6*(1 - 5/2). Let k be 72*5*1 + (-3)/1. Suppose q*