o + 3. Let n be c(3). Let q be -1*(-20)/(-15)*(-6)/8. Does 8 divide 2*n/(-6) + q?
True
Let a = -298 + 332. Let u = 150 + a. Is u a multiple of 8?
True
Suppose -2*n - 10 = -18. Suppose -a + 3*g + 999 = 0, -n*g = 4*a + 753 - 4797. Suppose i - 13*i = -a. Does 14 divide i?
True
Let h(o) be the first derivative of -31 + 3/2*o**2 + 5*o + 2*o**3. Does 33 divide h(-5)?
False
Let x(d) = -16*d + 9*d + 79 - 2 - 1. Does 4 divide x(8)?
True
Let q(m) = -m**3 - m**2 + 2*m + 4. Let p(f) = -f**2 - 5*f. Let w be p(-6). Let b be q(w). Suppose -73 = -7*i + b. Is 15 a factor of i?
False
Suppose 3 = 3*r - 2*x - 15, -3*r - 3*x + 18 = 0. Suppose -r*l + 16 = 4. Suppose 0*v - 5*d - 125 = -3*v, -77 = -l*v - 3*d. Does 7 divide v?
False
Suppose -224 = -2*q - 340. Let y = 111 - 207. Let d = q - y. Is 4 a factor of d?
False
Let u(k) = 2*k**2 - 35*k - 23. Let r be u(-27). Suppose -7*p = 3*p - r. Is 17 a factor of p?
True
Let u = -34 - -48. Let f(b) = 5*b**2 + 7*b + 64. Let o(x) = -2*x**2 - 4*x - 32. Let m(d) = 3*f(d) + 7*o(d). Is 13 a factor of m(u)?
False
Let x(v) = -2701*v - 3958. Is 7 a factor of x(-4)?
True
Suppose 48*w = 30*w - 1170. Let v be (-2)/(-9) - (-943)/9. Let x = w + v. Is x a multiple of 10?
True
Let j(k) = -14*k**2 + 4*k - 3. Let i be (2 + (-12)/4)/1*-1. Let m be j(i). Let v(a) = a**3 + 16*a**2 + 29*a + 2. Does 12 divide v(m)?
True
Let k be 4/(-10) - (-164)/10. Let a be (8 - 2) + -6 + 4. Suppose -3*u = -3*w + 198, a = -3*u + k. Does 11 divide w?
False
Let s(b) be the second derivative of b**4/4 - 13*b**3/6 + 2*b. Suppose 5*k - 28 = -37*f + 34*f, 0 = f - 4*k + 2. Does 6 divide s(f)?
True
Let u = 349 - 595. Let n = -92 - u. Is 30 a factor of n?
False
Does 28 divide 4*(-8)/64 + (-5)/(40/(-46372))?
True
Let p be (-37)/(-7) + -3 - 6/21. Suppose -4*z = -p*c + 344, 3*z + 3*c - 61 = -310. Does 13 divide (z/5 - -4)*-15?
True
Let v(i) = 3*i**2 - 6*i - 56. Suppose 7*b - 2*b - 45 = 0. Is 8 a factor of v(b)?
False
Let l(b) = -61*b**3 + 3*b**2 + 6*b + 122. Is l(-7) a multiple of 10?
True
Let o(r) = 0*r**2 - 7 - 6 + 15 + 4*r + r**2. Let q be o(-4). Suppose 4*z - q*h - 56 = 0, 2*z - 56 = -2*z + 5*h. Does 7 divide z?
True
Let k = 20936 + -11945. Is k a multiple of 74?
False
Let t(y) = 118*y**2 + 47*y + 28. Does 17 divide t(8)?
True
Let s = -144 - -156. Is s/8*2696/12 a multiple of 14?
False
Let k(g) be the first derivative of g**4/4 - 8*g**3/3 - 2*g**2 - 18*g - 15. Let w be k(10). Suppose 60 = 3*f - 3*l - 54, l - w = -4*f. Is 33 a factor of f?
False
Let w be (1 + 1 + 40)/(15/10). Let j = w - -57. Let r = j - 39. Is r a multiple of 23?
True
Suppose y - 364 = 2*s, 5*y + 137 = 5*s + 1977. Let a = y - 345. Is a a multiple of 4?
False
Let w be ((-2)/(-4))/((-1)/3376*-1). Suppose 0*o - 14 = o + 4*y, 16 = -2*o - 4*y. Does 14 divide w/20 - o/(-5)?
True
Let n = -1208 + 7886. Is n a multiple of 54?
False
Suppose -5*v + 186215 = 10*y, y - 18629 = 7*v - 10*v. Is 7 a factor of y?
True
Let n(m) = m - 1. Let l(h) = 81*h - 63. Let u(f) = -2*l(f) + 126*n(f). Let r be 4/(-16) + (-6)/8. Is 24 a factor of u(r)?
False
Suppose -31*t + 7717 = -1304. Let p = -146 + t. Does 16 divide p?
False
Let q = 1348 - -1730. Does 114 divide q?
True
Let l(z) = z**2 - 14*z - 32. Let u be l(16). Suppose -o + 3*o - 8 = u. Is 36/1 - o/4 a multiple of 2?
False
Suppose 3*w - w = -3*x + 860, -3*w - 5*x = -1290. Suppose w = 48*k - 43*k. Suppose 3*i + 173 = n - k, 5*i + 265 = n. Is 41 a factor of n?
False
Let y(v) be the second derivative of v**5/20 - v**4/24 + 10*v**3/3 - 10*v**2 + 29*v. Let j(r) be the first derivative of y(r). Is 24 a factor of j(-6)?
False
Let k = -71 + 79. Suppose 3 = 5*l + k. Does 43 divide (10 + 33)*(0 + l)/(-1)?
True
Suppose 13*v + 90 = 28*v. Is 13 a factor of 3*(6032/v)/8?
True
Let o = 1269 - 2245. Let n = 1200 + o. Does 15 divide n?
False
Suppose 5*a = -g + 938, 0 = -a - 2*a + 4*g + 572. Let h = a + -122. Suppose -5*z = -5*r + 289 + h, 2*r = -3*z + 132. Does 6 divide r?
False
Let i(j) = -j**3 + j**2 + 3*j + 5. Let l be i(0). Suppose 3*y - 4*f - 7 = 0, 5 = -l*f + 15. Suppose 2*c - 54 = -5*k + k, -y*c = 5*k - 65. Is k a multiple of 4?
False
Suppose 11466 = -14*w + 63*w. Does 3 divide w?
True
Let h(t) = -19*t**2 + 155*t + 32. Let v be h(8). Let u = 317 + -151. Suppose 0 = -3*n + u + v. Is n a multiple of 5?
False
Let z(v) = -7*v + 49. Let a be z(7). Is 99/(-33) + a + 10 even?
False
Let y(x) = 3 + 32 + 5*x + 12 - 8*x. Does 6 divide y(-6)?
False
Let h(p) = -1. Let u(l) = 6*l - 28. Let y(c) = 3*h(c) - u(c). Suppose 0 = 5*d - 10*d. Is 11 a factor of y(d)?
False
Suppose -1130728 = -13*k - 30*k. Is 166 a factor of k?
False
Let i(t) = -2*t + 4. Let m(y) = -y**2 + 11*y - 3. Let q be m(10). Let l be i(q). Let d = l + 26. Is d a multiple of 8?
True
Suppose 0*r = 4*r - 4*c + 12, 14 = 2*r + 2*c. Let k(y) = -50*y + 52*y + 8 + r*y**2 - y**2. Is k(-10) a multiple of 11?
True
Let b be ((-4)/(-6) + 2/(-6))*9. Let l(w) = -9*w + 52. Let f(x) = 8*x - 52. Let j(s) = b*f(s) + 2*l(s). Is 14 a factor of j(25)?
True
Let i = 1370 - 3390. Suppose 3 = 3*z - 81. Is (-2)/14 - i/z a multiple of 24?
True
Let c(x) be the first derivative of x**4/2 - 2*x**3/3 - 5*x**2 + 23*x + 67. Does 19 divide c(6)?
True
Let m = 209 - 25. Is (m/(-16))/(4/(-48)) - -1 a multiple of 30?
False
Let b(u) be the first derivative of u**4/4 - u**3/3 + u**2/2 - 5*u - 2. Suppose -5*y = -12*y + 35. Is b(y) a multiple of 10?
True
Let k = 238 - 221. Suppose 830 = 11*y - k. Does 15 divide y?
False
Let i be 38/((-11)/(231/6)). Let q = -130 - i. Suppose 0 = -0*w + q*w - 777. Does 36 divide w?
False
Let r(k) = 4*k**2 - 70*k - 306. Is 54 a factor of r(-14)?
True
Is ((2289/(-18))/(53/(-159)))/(1/4) a multiple of 14?
True
Let y be 10/((12/3)/2). Suppose 0 = 2*b + 3*c - 240, 4*b - b - 358 = -y*c. Does 14 divide b?
True
Let z = -76 + 80. Suppose 3*n - 3*i = 72, z*n + 3*i - 131 = -35. Is n a multiple of 12?
True
Let j = 11 - -3. Suppose 5 = -3*q + j. Suppose -4*d - b + 40 = -q*b, 4*d = -4*b + 64. Is d a multiple of 12?
True
Let m be (4 - -1) + (-22)/11. Suppose -5*q = -l - 4, -5 = 4*l - m*q + 11. Is 2/l*(-6 - 66) a multiple of 6?
True
Let c(f) = -12*f - 25. Let k(l) = 3*l + 6. Let h(v) = 2*c(v) + 9*k(v). Let p be h(-2). Is 11 a factor of -9*11*p/6?
True
Suppose 2*c - 8208 = -3*z, z - 3159 + 418 = c. Is 13 a factor of z?
False
Let n = -810 - -5365. Suppose -33*q + n = -28*q. Is 18 a factor of q?
False
Let i = 28 + -32. Let m be 14/i + 2 - (-24)/16. Suppose m = 2*d - n - 222, -11 - 9 = -5*n. Is 18 a factor of d?
False
Let z(y) = -y**2 + 75*y - 8. Let s(o) = 5*o**2 - 6*o - 16. Let f be s(3). Does 20 divide z(f)?
False
Suppose -25*b + 33917 = 6*b + 158. Is 99 a factor of b?
True
Let a(m) = -5*m - 27. Let o be a(-5). Let r(i) = -2*i + 8. Let p be r(o). Let z = 70 - p. Is 29 a factor of z?
True
Suppose 108 + 955 = l. Suppose -g + 5*j = -360, -5*g + 2*j = -l - 737. Is 10 a factor of g?
True
Let s be (1 - -2) + 6 + 1. Suppose 0 = 6*n - n - k + 83, n = -2*k - s. Let h(o) = -7*o + 2. Is 19 a factor of h(n)?
True
Suppose 0 = 7*s - 5*s + 24. Let c be (4/s)/((-6)/(-558)). Let o = -26 - c. Is 2 a factor of o?
False
Let x(q) = -11*q**3 - 2*q + 5370. Is 15 a factor of x(0)?
True
Let o(w) = -w**3 - 13*w**2 - 24*w - 18. Let k be o(-11). Suppose -i = 4*s - 44, 7 = -s + k*i + 1. Suppose -s*b + b + 1719 = 0. Is 17 a factor of b?
False
Let o be (-4)/(32/(-36))*-30. Let n = -80 - o. Suppose 0*g + g - n = 0. Is g a multiple of 8?
False
Let m(v) = -3*v**3 - 20*v**2 + 7*v + 4. Let f be m(-7). Does 45 divide f/14 - 25408/(-56)?
False
Is 7 a factor of 1076 + (-403 - 11)/(-23)?
False
Let g(t) = -t**2 + 37*t - 80. Let r be -3 - (101/(-4) - (-5)/20). Is 10 a factor of g(r)?
True
Let q(y) = -y**2 - 5*y. Let c be q(-5). Suppose c = 5*x + 5*d, 4*d - 1 - 1 = -2*x. Is (-99)/(-6)*(-2)/x a multiple of 11?
True
Let z(w) = -w**2 - 14*w - 32. Let i(k) = -k**2 - 15*k - 32. Let h(o) = 6*i(o) - 5*z(o). Let f be h(-13). Let u = -29 + f. Does 7 divide u?
False
Suppose -36 = 4*z - 22*z. Suppose -5*s = -2*i - i - 2661, 0 = 4*s + z*i - 2120. Is s a multiple of 59?
True
Suppose 0 = -4*i + 5 - 9. Let l be ((6/(-9))/(1/3))/i. Suppose -l*b - 4*b + 378 = 0. Is b a multiple of 20?
False
Let g = 196 - 189. Is 17 a factor of 917/3 - (g + 220/(-30))?
True
Suppose -9*f + 94235 = -5*i, -3*f - 4*i = -31934 + 528. Does 10 di