*3/3 + 43. Let a be f(-1). Suppose -3 = 2*l - l, -a*o = 3*l - 858. Is 17 a factor of o?
True
Let d = -37 - -45. Suppose 0 = -4*f + d*f. Suppose 0 = -3*h + 2*h - n + 158, f = -3*h - 5*n + 474. Is h a multiple of 29?
False
Let q(a) = 2859*a**2 + 210*a + 430. Does 59 divide q(-2)?
True
Is 7/4 - 14920950/(-2200) a multiple of 64?
True
Let v be 1/2*(1633 - -7). Let z be (-4)/6*(v/(-8) + -1). Suppose 4*k = z + 139. Is k a multiple of 11?
False
Is (-5)/(-1) - 6*34360/(-24) a multiple of 191?
True
Let p be 0 + 400 + 2*12/(-24). Suppose p = 2*c - 1077. Does 10 divide c?
False
Let m = -59 + 70. Suppose 10*p - m*p - 5*s = -3, 4*p = 4*s + 60. Let c = 61 - p. Is 3 a factor of c?
True
Let v = -10218 - -14453. Is 7 a factor of v?
True
Let h(q) = 98*q - 62. Let v be 0 + 20/12*36/20. Is h(v) a multiple of 20?
False
Is 208*(6 - 1) + 24/3 a multiple of 4?
True
Let j = -67 + 65. Let y = j + 1. Let a(l) = -88*l. Is a(y) a multiple of 8?
True
Let i = -33 - -38. Suppose -2*k = -p - p + 18, -i*p + 3*k = -47. Is 4 a factor of (12*(-25)/p)/(-2)?
False
Let w(s) = -2*s + 8. Let g be w(4). Suppose g = -2*t + t - 5*v - 62, 2*t - 5*v + 64 = 0. Let l = t + 102. Does 9 divide l?
False
Let j = 29286 - 24573. Is j a multiple of 14?
False
Let h(k) = -12*k + 120. Let z be h(10). Suppose -11*c + 9845 = -z*c. Does 19 divide c?
False
Let r(l) = 2*l + 27. Let u be r(-10). Let d be 2 + 18/u - 16/28. Suppose d*p = -0*f + 4*f + 440, 3*p = -3*f + 318. Is 27 a factor of p?
True
Suppose 0 = -4*t - v + 6377, -3*t + 4*v + 2840 + 1938 = 0. Is 9 a factor of t?
False
Suppose 0 = -261*a + 252*a + 34893. Is 40 a factor of a?
False
Is (123/1)/(134/12730) a multiple of 146?
False
Suppose 9*s + 380*s - 14750178 = -202*s. Is s a multiple of 42?
False
Suppose 3*a - 3246 = -r, -6*r + 3218 = -5*r - 4*a. Does 18 divide r?
False
Let t = -665 + 706. Is t a multiple of 3?
False
Let c be -1*135/(-20)*24. Suppose -c*y = -164*y + 86. Is 43 a factor of y?
True
Suppose -2*m = -5*f - 14 + 2, 4*m + 4 = -4*f. Let l be 6/((-96)/(-1780)) - m/4. Suppose -3*z + l = 3*i, 3*i - 129 = z + 2*z. Is i a multiple of 20?
True
Let c(q) be the first derivative of -2*q**3/3 - 15*q**2/2 - 18*q + 21. Let z be c(-7). Let h = 27 + z. Does 3 divide h?
False
Suppose -80 = -4*p - 16. Let u(g) = g**2 + 2*g + 1. Let o(y) = 2*y**2 - 11*y - 33. Let d(i) = o(i) - u(i). Does 2 divide d(p)?
True
Let g be (-1805)/(-20) - (-3)/(-12). Suppose g = 8*o - 10*o. Let q = o + 62. Is 8 a factor of q?
False
Suppose h + 255 = -248. Let l = 62 - h. Is 26 a factor of l?
False
Does 87 divide ((-2970)/(-275))/((-2)/(-1160))?
True
Suppose -9*u + 13*u - 208 = -p, 2*u = -4*p + 860. Suppose -4*i = -4368 + p. Is i a multiple of 11?
False
Suppose -3*o = 2*c - 321, o + 284 = 2*c - 57. Suppose 5*k - 434 = -4*t, -5*k = 3*t - 95 - 233. Suppose -t = -f + c. Is 45 a factor of f?
False
Let d be 1955/9 + (-2)/9. Suppose 0 = k - 2*b - 437, -5*b = -k + 223 + d. Is 93 a factor of k?
False
Suppose 507 = 10*i - 333. Let u = 205 - i. Is u a multiple of 10?
False
Let o(x) = 1576*x + 1780. Is 180 a factor of o(20)?
True
Suppose n - 3*g - 22 = 0, 0 = -4*n - 5*g + 32 + 22. Let x(z) = 7*z - 12 + 47 + 10*z - z**2. Is x(n) a multiple of 20?
False
Let a = 8587 + -4737. Is 29 a factor of a?
False
Let p(l) be the second derivative of -11*l**3/6 - 6*l**2 + 10*l. Let f = -3 - 1. Is p(f) a multiple of 4?
True
Suppose -12*x + 248 = -10*x. Let l = 86 + x. Is l a multiple of 14?
True
Suppose 3*u - 651 = -654, 0 = 3*m + 4*u - 41471. Does 25 divide m?
True
Let o(s) be the first derivative of s**4/4 + 2*s**3/3 - s**2/2 + 7*s - 13. Let f(z) = -7*z - 4. Let m be f(-1). Does 11 divide o(m)?
False
Let y be (33 - -7788) + (-5)/1. Suppose -y = -5*v + 2*n - 2266, -3330 = -3*v - n. Is 21 a factor of v?
False
Let l(u) = 100*u**2 - 293*u + 8. Does 118 divide l(-10)?
False
Suppose -4274*n + 4244*n = -335280. Is 63 a factor of n?
False
Let p be ((-31)/2 + -3)*-2. Let r = 40 - p. Suppose -r*j + 20 = j. Is j a multiple of 2?
False
Suppose -2*f = -j + 4237 + 2644, -34390 = -5*j + 5*f. Is j a multiple of 11?
True
Let t(w) = 49*w + 1649. Does 170 divide t(55)?
False
Let h = -8682 + 12482. Is h a multiple of 11?
False
Let m be 2188/6*(-45)/30. Let i = 824 + m. Let u = -193 + i. Is 23 a factor of u?
False
Suppose 2023454 - 1033197 = 73*m - 1673878. Is m a multiple of 172?
False
Let x be 3 + 15/9 + (-5)/(-15). Suppose -c + 1 = 2*g + 4, -12 = c + x*g. Suppose -c*r = 9, o + 204 = 4*o + 4*r. Is 34 a factor of o?
False
Suppose 0*j + 4*j = -5*y + 23, 3*j = -5*y + 21. Suppose 6*o + 2*v - 1448 = 3*o, j*o = -5*v + 980. Does 10 divide o?
True
Suppose -27*j + 102498 = 34*j - 28*j. Is j a multiple of 4?
False
Let r(v) = -v**3 + v**2 + v - 1. Let a(l) = -378*l**3 - 2*l**2 - 4*l. Let c(i) = a(i) + 3*r(i). Is c(-1) a multiple of 5?
True
Suppose -2*v + 1672*j + 12647 = 1669*j, 3*v = 5*j + 18971. Does 24 divide v?
False
Let a = 72 + -69. Suppose 2*w - g = 914, a*w + g = -0*w + 1371. Does 35 divide w?
False
Let x(q) = 267*q**2 + 57*q + 1642. Is x(-13) a multiple of 22?
True
Let f = 315 + -314. Let i(v) = 695*v + 2. Is i(f) a multiple of 17?
True
Let a be 809/(-4) + (-13)/(-52). Let p = a + 436. Is p a multiple of 39?
True
Let o(f) = -358*f - 240. Let g be o(-36). Suppose 29*d = -2*d + g. Does 17 divide d?
True
Let d = -10311 + 28367. Is 28 a factor of d?
False
Let g = -3051 - -9460. Is g a multiple of 13?
True
Let p = 9589 - -1629. Is p a multiple of 79?
True
Does 15 divide (77 + -182)*(-2)/1*(-234)/(-6)?
True
Let z = 623 + -789. Let t = z - -218. Is t a multiple of 6?
False
Is (10 - (-407616)/(-168))/(6/(-21)) a multiple of 20?
False
Let k(g) = -9*g - 14. Let h(m) = -46*m - 70. Let s(l) = -2*h(l) + 11*k(l). Let r be s(-16). Let u = 151 - r. Is u a multiple of 7?
False
Suppose 0 = 5*x - 4*o - 55, 5*x + 7*o - 2*o = 10. Suppose x - 121 = -6*l. Is 8 a factor of l?
False
Let g = 22693 - 18873. Does 20 divide g?
True
Let v(u) = 7*u**2 + 12*u + 168. Let f = -141 + 130. Is 84 a factor of v(f)?
False
Let g be 3 + 1 + -3 - -196. Let a = 44 + -171. Let s = a + g. Is s a multiple of 14?
True
Suppose 156*o - 74120 = -3*i + 160*o, 1 = o. Does 87 divide i?
True
Let p = -17 + 35. Suppose -2*i = -4*s - p, 4*s = -2*i + 5*i - 31. Suppose -24*b - i = -25*b. Is 8 a factor of b?
False
Let w = -118 - -115. Let x(d) = 43*d + 16. Let b be x(w). Let i = b + 124. Does 11 divide i?
True
Let b(y) = y**3 - 9*y**2 + 2*y + 18. Let o(i) = -i + 6. Let z be o(2). Suppose -5*g + 6 = -z*f - 27, -4*f + 21 = g. Is 3 a factor of b(g)?
True
Let u(g) = g**2 + g. Let n(p) = 17*p + 72. Let h(z) = -n(z) + u(z). Let m be h(20). Suppose -m*q - 5*q = -1274. Is 9 a factor of q?
False
Suppose 0 = 25*a - 33*a + 13800. Is 5 a factor of a?
True
Let i(x) = -x**3 - 51*x**2 - 105*x - 36. Does 32 divide i(-52)?
True
Let p(l) = -33*l + 13. Let s be p(7). Let i = -207 - s. Is i even?
False
Let q(o) = o**2 + 3*o + 5. Let k be q(-2). Suppose i - 57 = k*w + 79, -2*w = -i + 91. Let h = 178 + w. Is h a multiple of 14?
False
Does 196 divide 46550*((-21)/(-90) + 2/12)?
True
Is 34*7*(-16 - (-66)/4) a multiple of 15?
False
Suppose -4*t = 3*i + 61, -7*t - 5 = -i - 2*t. Let w(l) = -67*l - 169. Is w(i) a multiple of 22?
True
Suppose -15*l = -4*l - 22. Suppose 0 = l*w - 0 + 14. Let t(x) = -26*x - 13. Is 13 a factor of t(w)?
True
Let f(o) = 2*o - 17. Let z be f(18). Suppose z = 6*q - 5. Suppose -3*d - 6 = 0, 2*n - 5*n = q*d - 136. Is n a multiple of 12?
True
Suppose 4*n = 2*j - 62, 3*j - 30 = 2*j + n. Suppose 0 = s + 5*v + j, 0*s - 7 = -2*s + 3*v. Does 7 divide (-114)/s + (-1 - 2)/6?
True
Let u = 21398 - 2843. Is u a multiple of 156?
False
Let s be ((-3)/6)/(1/4 + 0). Let k be (-14)/21*(543/s - 0). Suppose -227 = -6*j + k. Is 16 a factor of j?
False
Suppose -7*y = -3*g - 14, y + 1 - 3 = 3*g. Suppose y*b = 3*m - 1891, 0 = 5*m - 2*b + 435 - 3588. Does 27 divide m?
False
Suppose 18*w - 13*w + 5*n = 15050, 8982 = 3*w - 5*n. Is 4 a factor of w?
True
Suppose 18*r = -93*r + 378066. Is 13 a factor of r?
True
Suppose 4024 = u + 2*o - 15999, -2*u - o + 40037 = 0. Is 15 a factor of u?
False
Suppose -2*l + b - 1131 = 0, -2*l + 3*b - 1137 = -0*b. Let a = l - -1188. Does 12 divide a?
True
Let m be 1 + 4*15/20. Suppose -2*r - m = -6*r, 7 = b + 3*r. Does 14 divide ((b + -5)*4)/(2/(-78))?
False
Suppose 0 = 7*s + 3*s