Let b(j) = 3*j**2 + 73*j + 4357. Is b(-66) a multiple of 4?
False
Suppose 3 = -s + 4*s. Suppose 15 = 4*q - s. Suppose q*l + 80 = 8*l. Is l a multiple of 10?
True
Let z(j) be the first derivative of 5*j**4/12 - 13*j**3/6 + 5*j**2 - 3. Let s(q) be the second derivative of z(q). Is s(10) a multiple of 16?
False
Let l be 14/77 - (2 - 195420/33). Suppose 2*q - 5928 = -4*w, -4*w + 7*q - 5*q = -l. Is 85 a factor of w?
False
Suppose -w = 5*i - 783, 162 = -w - 2*i + 933. Let x = -635 + w. Is 13 a factor of x?
False
Let v(a) = 2*a**3 - 9*a**2 - 17*a + 161. Is v(8) even?
False
Suppose -1 + 4 = b. Suppose r = u - 3, -b*u + 3 = 2*r + 4. Does 11 divide ((-165)/2)/u*42/(-63)?
True
Let w(f) = 6 + f**2 - 5 - 4*f + 5. Let l be -59 + 56 - (-9 - 1). Is w(l) a multiple of 6?
False
Let w(a) = -a**2 - 3*a + 4. Let t be w(0). Suppose 21 = -0*z + 4*z + m, -3*z + t*m = 8. Suppose -179 - 145 = -3*k - 5*n, z*k - 418 = -2*n. Does 11 divide k?
False
Let k = 6370 + -5916. Does 2 divide k?
True
Suppose 94394 - 20210 = 44*s. Is s a multiple of 3?
True
Is 13 a factor of 15875 + (-1 + -4 - -20)?
False
Let f be (-2)/13 + (-1074946)/(-689). Suppose 5*x - 1974 = 2*a - 414, 5*x + 4*a = f. Does 104 divide x?
True
Let d(f) = 24*f**2 - 2*f + 2. Let r be (4/12*-1)/((-2)/(-12)). Let j be d(r). Suppose 3*i - 30 = 3*k + j, -i - k = -52. Is 24 a factor of i?
True
Let o(c) = 3*c**3 + 8*c + 2. Let x be o(3). Let u = 260 - x. Is 2 a factor of u?
False
Let n(z) = 53*z**2 + 118*z - 735. Is n(6) a multiple of 11?
True
Suppose 28*g + 1727344 = 2*g + 120*g. Is g a multiple of 139?
False
Let u(x) = -8*x**2 + 3*x - 45. Let r be u(-5). Is 13 a factor of (r/(-2))/((-84)/(-126))?
True
Suppose 0*s - 3*s + 33 = 0. Let g(o) be the second derivative of -o**3/6 + 10*o**2 - o - 83. Does 5 divide g(s)?
False
Suppose 124 + 100 = -28*q. Let d(x) = x**2 + 6*x + 26. Does 2 divide d(q)?
True
Let y(s) = 4 - s**3 - 3*s**2 + 4*s - 1 + 35*s**2 - 5 - 19*s**2. Suppose -4*w - 26 = -78. Is 10 a factor of y(w)?
True
Suppose 3*m - 4*n = -2, -n - n = -2*m + 2. Let k be 11*2*m/12. Suppose -75 = -12*p + k*p. Does 29 divide p?
False
Suppose -h + 40 = -3*h. Let l = 3 - h. Suppose r + 15 - l = 0. Is 4 a factor of r?
True
Let i = -100 - -222. Suppose g = 5*f + 298, -g + 140 = 4*f - i. Let r = g + -137. Is r a multiple of 16?
False
Let f(l) = 7*l**3 + 2*l + 1. Let c be f(-1). Let w(y) = -5*y**2 - 17*y - 24. Let x(a) = a**2 + 2*a. Let u(r) = -w(r) - 3*x(r). Is 16 a factor of u(c)?
True
Let m(c) = -18*c + 26. Let z be m(10). Let w(q) = 11*q + 16. Let d be w(22). Let o = z + d. Is 13 a factor of o?
True
Let d be (9/(-2))/(9/(-12)). Suppose 0 = -d*v + 11*v - 35. Does 24 divide v/(35/1095) + -3?
True
Let b(i) be the second derivative of 7*i**4/12 - 4*i**3/3 - 10*i**2 + 2*i + 29. Is b(-8) a multiple of 41?
True
Suppose -b - 3*l + 1074 = b, 1070 = 2*b + 5*l. Suppose 0 = o, -5*o + 8*o - b = -3*k. Does 6 divide k?
True
Let t = 61 - 57. Suppose -n - t*r = -11, n - 2*n - 5*r = -16. Is 30 a factor of 153 + (-29)/9 + (-2)/n?
True
Let v = 81071 - 50299. Is v a multiple of 24?
False
Let d(c) = c + 3*c + 3 + 2 - c**2. Let v be d(4). Suppose -a + 6*a + 100 = v*x, 0 = 4*x + 5*a - 116. Does 12 divide x?
True
Let h = -815 + 817. Suppose 4*s + 655 = h*r - 1507, 2*r - 2138 = -4*s. Is r a multiple of 9?
False
Suppose 589*k - 611*k + 6336 = 0. Does 24 divide k?
True
Let m be -1 - -6 - ((-7 - 2) + 10). Is 13 a factor of 6*((-35)/(-1) + m)?
True
Let k(w) be the second derivative of -w**4/6 + 9*w**3/2 + 9*w**2 + 3*w. Let t be k(14). Suppose 940 = 14*y - t*y. Does 37 divide y?
False
Let m(f) be the second derivative of 23*f**4/12 - 5*f**3/6 - 4*f**2 + 2*f + 9. Does 12 divide m(-4)?
False
Let l = -170 + 123. Let x = -18 - l. Is x a multiple of 2?
False
Suppose 9 = 3*m + 2*s - 49, -2 = 2*s. Let u = m - 16. Suppose 4*z + u*c = -39 + 179, 3*z - 109 = c. Does 9 divide z?
True
Suppose 4*x - 8956 = -2*h - 878, 5*x + 16*h = 10138. Does 28 divide x?
False
Let n = 361 + 5. Let b = -52 + n. Is b a multiple of 18?
False
Is 10*((-4 - -721) + 5) - 4 a multiple of 59?
False
Suppose -32*x - 9664 = -40*x. Let p = x + -534. Does 31 divide p?
False
Does 15 divide 0 + 8 + (270 - 38)?
True
Suppose 0 = -k - 6, d + k = -0*d + 496. Is 44 a factor of d?
False
Let k = 298 - 293. Suppose k*n + 3*d - 33 - 2 = 0, -2*n - 5*d = 5. Does 3 divide n?
False
Suppose 5*x = 109 + 51. Suppose 2*s - 5*d = -x, -5*d - 3 + 5 = 3*s. Is 7 a factor of (s/(-8))/((-3)/(-2))*148?
False
Suppose 2*x - 25 = -x - 4*a, 3*x - a - 5 = 0. Suppose w + l = -4, x*w + 5*l = 6 - 26. Suppose -7*n + 0*n + 413 = w. Is 23 a factor of n?
False
Suppose 3*r = 10*m - 11*m - 604, 5*m = 4*r - 3058. Let z = 870 + m. Does 52 divide z?
True
Suppose 0 = 64*x - 55*x + 36. Is 4 - 0 - (2648/x - -2) a multiple of 83?
True
Let o be (-2)/(-5) + (-1384)/10. Let r = 263 - o. Suppose 3*i + 4*x = -x + r, 2*i - 266 = -4*x. Does 23 divide i?
False
Suppose -7 = -15*v + 863. Let d be 1/(-3)*(v + -1). Does 5 divide -1 - d - (5 + -2)?
True
Suppose 0 = x + 3*x + 3*x. Let w be (-1 - x/(-1))*(-9 - -8). Does 17 divide 121 + w - (-1 + 4)?
True
Does 32 divide (-18)/(-16) + -1 + 515809/248?
True
Suppose -h + 0 + 5 = 0. Let c(f) be the third derivative of -f**6/120 + 7*f**5/60 + f**4/24 - f**3/2 + 206*f**2. Is c(h) a multiple of 7?
False
Let n(c) = -3*c - 2. Let y be 22/(-77) - 10/14. Let u be n(y). Is (1/2)/(u/96) a multiple of 16?
True
Let b = 31399 - 28587. Is 37 a factor of b?
True
Is -2 + 3131 - (-1 + 4) a multiple of 2?
True
Suppose 2*z = 3*a - 6571 - 12177, z + 2 = 0. Does 44 divide a?
True
Let v be 159/51 - (57/51 - 1). Let j(d) = 30*d - 5. Does 5 divide j(v)?
True
Does 13 divide (-28370)/(-17 + 7) - 16?
True
Let h(l) = -2*l**3 + 9*l**2 + 5*l - 5. Let a(f) = -f**3 + f**2 + f. Let w(u) = 3*a(u) - h(u). Is 10 a factor of w(-7)?
False
Let k(j) = 17*j + 40. Let u(d) = 2*d + 47. Let g be u(-26). Let s(q) = 84*q + 201. Let m(l) = g*s(l) + 24*k(l). Is m(-7) a multiple of 22?
False
Suppose 4*q - 102 = 2*q. Let m = 55 - q. Does 12 divide (-2085)/(-33) - m/22?
False
Let w(n) = -8*n + 81. Let s(t) = -3*t - 51. Let g be s(-17). Let i be w(g). Let r = i - 1. Does 8 divide r?
True
Suppose 0 = -4*f - 5*b - 160 - 227, 4*f + b + 391 = 0. Let u = -59 - f. Suppose -u = -p - 3*t, -4*p + 0*t + 2*t + 86 = 0. Is 15 a factor of p?
False
Let p(q) = -q + 27. Let b be p(19). Does 14 divide (-380)/b*(-756)/45?
True
Let y = 39 + -6. Suppose 0 = -22*x + 8*x + 4536. Suppose -x = y*l - 34*l. Is 47 a factor of l?
False
Let v(h) = -h**3 + 12*h**2 - 9*h - 26. Let i(t) = -t**3 - 5*t**2 - 12*t - 7. Let d be i(-3). Let z be v(d). Is 4/z - -52*2/2 a multiple of 31?
False
Suppose g - 17 + 144 = 0. Let c = 255 - 170. Let i = c - g. Does 20 divide i?
False
Suppose z - q = 2, 0*z + 11 = z + 2*q. Suppose -z = -5*x, 38*w - 5*x + 2205 = 43*w. Does 11 divide w?
True
Suppose -13*p - 16546 = -5*w - 15*p, -w - 3*p + 3304 = 0. Does 20 divide w?
False
Let x(b) = 21*b + 84. Let y be x(-20). Let d = y + 432. Is 4 a factor of d?
True
Suppose 5*l - 16200 - 123915 = -5*r, -9 = -3*r. Does 23 divide l?
False
Suppose 3*v - 3 = -2*x + 6*v, -2*x - 2*v = 2. Suppose 4*p - 3*h - 1307 - 1241 = x, -5*h - 3180 = -5*p. Is 34 a factor of p?
False
Is 213 - (14 - 2) - 9 a multiple of 32?
True
Suppose 1848*c + 317205 = 1883*c. Is 171 a factor of c?
True
Suppose -14*p - 1254 = -3*p. Let m be p/(-4)*56/(-21). Let x = 54 - m. Is x a multiple of 7?
False
Suppose 4*v - 20758 = -4*k + 378, -k + 15862 = 3*v. Is v a multiple of 123?
True
Suppose 15*z = 62 - 2. Suppose -4*h - i = -h - 12, -z*i = 0. Is 24 a factor of (-1*1 + (-41)/h)*-8?
False
Suppose 0 = -12*b + 11*b + 5*q + 2921, 14517 = 5*b - 3*q. Suppose 10*o - 719 = b. Is o a multiple of 12?
False
Let m be 1/((-5)/(-10))*(-121)/2. Let i = m - -125. Does 24 divide 51 - (2 + 4/i)?
True
Let r(p) = p**3 + 15*p**2 + 8*p - 11. Let b be r(-15). Let x = b + 135. Suppose x*d = -9*k + 4*k + 228, 96 = 2*d - 2*k. Is 13 a factor of d?
True
Let z = 1192 + 580. Is 3 a factor of z?
False
Suppose 20*f + 140 = 27*f. Suppose 7*s = f*s - 4095. Is s a multiple of 9?
True
Let u(s) = s**3 + 9*s**2 - 70*s + 134. Is 59 a factor of u(15)?
True
Suppose 86*x = 725*x - 7732539. Does 11 divide x?
False
Suppose 0 = 4*b - 5*b + 4883. Does 12 divide b?
False
Suppose 5*h + b - 8762 = 0, 5*h + 2*b - 2110 