le of 15?
False
Let o(b) = -11*b + 19. Let z(a) = -11*a + 20. Let j(s) = 3*o(s) - 4*z(s). Let k be j(-7). Let y = 235 + k. Is 15 a factor of y?
True
Suppose -70*n = -2971 - 7529. Is 2 a factor of n?
True
Let x(v) = -22 - 11 - 2*v - v. Does 42 divide x(-25)?
True
Let m = -237 - -333. Is m/(-528) + (-3170)/(-11) a multiple of 9?
True
Suppose 51*n = 23*n + 518728. Is 59 a factor of n?
True
Let i(d) = -d**2 + 19*d - 11. Let g be i(18). Suppose 3*r = -s - 15, -3*r - 26 - g = 4*s. Is 5 a factor of (s/(-15))/((-1)/(-30))?
False
Suppose 0 = 4*m - 4*q - 22632, 17022 = -32*m + 35*m + 5*q. Is m a multiple of 12?
True
Suppose -1895*n = -1859*n - 7884. Does 4 divide n?
False
Suppose 4*b + 18919 = 6*z - 3*z, -4*b = -4*z + 25228. Is 9 a factor of z?
True
Let r(u) = -u**3 - 19*u**2 + 19*u - 15. Let b be r(-20). Suppose 2*n = -2*h + 30, -b*n - 6*h + 2*h + 80 = 0. Does 6 divide n?
False
Let q = 91 - 265. Let x = q - -319. Does 18 divide x?
False
Let r(w) = 1031*w**3 - 23*w**2 - 24*w - 2. Let y be r(-1). Does 4 divide (y/(-21))/(38/133)?
True
Suppose -22*m - 9*m + 379960 = 28*m. Is 28 a factor of m?
True
Let r be (10/5 + -3)/1. Let c(f) be the second derivative of -53*f**3/3 - f. Is c(r) a multiple of 13?
False
Suppose 0 = 2*a + a + 3*g + 15, -5*g - 25 = 3*a. Suppose 3*f = -5*z + 365, -2*f - 3*z - 45 + 290 = a. Is 5 a factor of f?
True
Let g be (324/24*-2)/(1/(-2)). Suppose -5*j - 5*n + 185 = -3*n, j - 3*n - g = 0. Does 13 divide j?
True
Let a = 568 + -396. Let n = a + 156. Is 21 a factor of n?
False
Suppose -5000 = -4*u - 2*s + 20626, 2*s + 10 = 0. Is 13 a factor of u?
True
Let c = 5972 - 3996. Is c a multiple of 76?
True
Suppose -3*x + 2434 = 4*h, 2433 = 3*x - 28*h + 31*h. Let k = 1325 - x. Is 3 a factor of k?
False
Let h = 880 + -23. Suppose 5*w = 0, 4*a + 2*w - h = 3743. Does 82 divide a?
False
Let p(d) = -39*d - 155. Let q be p(-17). Suppose -1368 = -4*b + 5*g, -4*b + 856 + q = -4*g. Is b a multiple of 36?
False
Let u(m) = m**2 - 5*m + 22. Let p be (-3)/(1*-3) - (-15)/5. Let n = p + 4. Does 14 divide u(n)?
False
Suppose -4*t = o - 73, 3*o = 4*t + 20 - 73. Suppose 4*m + 3*j - t = 0, 0 = -2*m + 4*j - 3 - 5. Let d(c) = 9*c**3 - 3*c + 2. Is d(m) a multiple of 10?
False
Suppose -19*t + 2 = -18*t. Suppose -4*g = -5*x, -2*x - 12 = -2*g - t*g. Suppose 4*n = -3*y + 49, -x*n + 0*n = -4. Is 15 a factor of y?
True
Let r(k) = -34*k + 12. Let z be r(-7). Let s = -144 + z. Let o = -36 + s. Is o a multiple of 14?
True
Let p(d) = 4*d**3 - 7*d**2 + 2*d - 3. Let s(a) = a - 14. Let k be s(7). Let f be 1 + (-17)/k + 18/(-42). Is p(f) a multiple of 8?
True
Let r(o) be the first derivative of 4*o**3/3 + 8*o**2 + 15*o - 20. Is r(-6) a multiple of 7?
True
Let d(t) = -4*t + 3*t + 10*t**2 + 11*t**3 + 10 - 12*t**3 - 3*t**2. Let w be d(5). Suppose 2*q = 5*o - 3*o + 110, -3*o = q - w. Is 11 a factor of q?
True
Suppose 16*d = 13*d + 18144. Suppose -d = -11*k - 1186. Is 28 a factor of k?
False
Suppose 326*o - 1144804 = 5023116. Is o a multiple of 11?
True
Let l(s) = -s**3 + 6*s**2 - 5*s - 1. Let c be l(2). Suppose 0 = -z - 5*p + 192, -c*z + 4*p + 741 = -161. Does 2 divide z?
True
Let x be 0/(2/1) - (-3 - 1). Suppose -3*c - x = 2*v - 30, -2*c + 32 = 5*v. Is c/27 + 0 - 230/(-18) even?
False
Let i = 58583 - 39606. Is 9 a factor of i?
False
Suppose 5*l - 13 = -4*t, -t - 28 = -5*l - 0*t. Suppose -4*h + 5*x + 238 = 51, l*h = -4*x + 203. Does 12 divide h?
False
Suppose -4*p - 2821 + 192 = 5*h, 0 = -h - 4*p - 529. Is (15/(h/(-364)))/((-2)/(-45)) a multiple of 9?
True
Let b(z) = 9*z + 70. Let j be b(-7). Suppose -2*u = -5*d + 1331, -12*d - 4*u = -j*d - 1343. Is 32 a factor of d?
False
Suppose 7992 = 5*a - 2*r, -10*r + 1584 = a - 14*r. Is a a multiple of 35?
False
Suppose -12*w + 5*i - 2 = -15*w, 0 = -5*w + 4*i - 46. Does 6 divide (-716)/w + (-3)/9?
False
Suppose 3*u - 76 + 7 = 5*k, u + 2 = 0. Is (-3)/k*-2 - 10356/(-15) a multiple of 69?
True
Let d = 192 - 181. Suppose 0 = 3*o - k - 331, k = d*o - 7*o - 443. Is o a multiple of 28?
True
Suppose -5*r - 22507 = -2*s, 35 = 8*r - 13*r. Does 66 divide s?
False
Suppose -5*n + 24081 = 75*r - 77*r, 2*r = 14. Does 61 divide n?
True
Suppose 4*o - 7*o + 4*d = -80, 0 = 3*o + 5*d - 89. Suppose 17*m = -o*m + 4050. Does 13 divide m?
False
Let o(a) be the first derivative of -a**3/3 + 7*a**2/2 - 19*a - 12. Let y be o(6). Let z = y + 129. Does 29 divide z?
True
Let w(o) = -4*o**3 + o + 3*o**3 - 257 + 255 + 3*o**2. Let s be w(2). Suppose 3*n - 418 = -4*f, 2*f - 6*n + s*n = 216. Is f a multiple of 14?
False
Suppose 0 = -t - 5*f + 2831 + 4635, f + 7472 = t. Is 65 a factor of t?
False
Suppose n - 747 = -5*y + 740, 2*n - 5*y - 2944 = 0. Is 7 a factor of n?
True
Let c(s) = 89*s - 364. Let l(j) = 45*j - 182. Let f(b) = 4*c(b) - 7*l(b). Is f(28) a multiple of 42?
True
Suppose -2*q - 2*o + 639 = 3*q, 2*o = -3*q + 381. Let u = q - 76. Does 53 divide u?
True
Let j = -35 - -46. Suppose -f - j = -2*i - i, 0 = -3*f - 4*i - 7. Let m(d) = 5*d**2 + 3*d + 14. Is 31 a factor of m(f)?
True
Let n(b) = b - 11. Let z be n(13). Suppose 2*c - 2*w = -z*c + 412, 5*w = -10. Is 17 a factor of c?
True
Let i(c) = -4*c**2 + 24*c - 17. Let v be i(8). Let b = v - -74. Is (b - -3) + -1 + (-164)/(-1) a multiple of 11?
False
Let u(c) = -c**3 - 7*c**2 - 8*c + 10. Let m be u(-9). Let w = m + -196. Is w a multiple of 18?
False
Let z(f) = 131*f - 1223. Does 42 divide z(43)?
True
Let p be (-15)/(-2 - (-99)/51). Let s(x) = x**3 + 27*x**2 + 69*x + 49. Let l be s(-24). Suppose -p = -4*g + l. Is g a multiple of 17?
False
Suppose -510*s + 5*n = -508*s - 4097, -5*s = -3*n - 10252. Does 30 divide s?
False
Let m be ((-16)/(-8))/((-2)/(-5)). Suppose 2*h - 3*b = 1096 - 78, -3*h + m*b = -1529. Does 18 divide h?
False
Let h(j) = j**3 - 38*j**2 - 3. Let z be h(38). Is (2/z)/(-1 - 77/(-84)) a multiple of 4?
True
Let x(l) = 2*l - 40. Let y be x(21). Suppose 8*a = y*a + 1008. Is ((-66)/(-77))/(2/a) a multiple of 6?
True
Let z = -21822 + 32745. Does 23 divide z?
False
Suppose -32 = 122*k - 114*k. Is (-11)/k*(-62 - -182) a multiple of 15?
True
Suppose 0 = -4*a, 2*u = -u - 5*a. Suppose 3*f - 10*f - 21 = u. Let o = 263 + f. Is o a multiple of 26?
True
Let p = -433 - -328. Is (-8)/(-28) - 28320/p a multiple of 54?
True
Suppose -4*l = -5*i + 53, 2*l = l + 5*i - 17. Let q = l - -12. Suppose q = 5*z + 160 - 685. Is z a multiple of 21?
True
Let v(c) = -c**3 + 11*c**2 + 11*c + 23. Let y be v(12). Suppose -5*s + y*s - 84 = 0. Suppose 725 = s*i - 143. Does 15 divide i?
False
Let a(p) = -5*p - 46. Let d be a(15). Let t = -121 - d. Suppose -14*q + 406 = -t*q. Is q a multiple of 29?
True
Suppose -10*t + 5*t = 0. Suppose t*h = -5*h + m - 60, 5*h + 60 = 5*m. Is 8 a factor of ((0 - (-4 - -5)) + -3)*h?
True
Suppose 2*g = 3*g - 3*c + 1, g - c - 1 = 0. Is 6 a factor of (-2)/g*530/(-20)*4?
False
Let n = 1069 - -1512. Suppose 0 = 16*t - n - 1995. Does 11 divide t?
True
Suppose 5*x = 8*x - 12. Suppose 24 = 3*h - 5*c, 0*h + 9 = x*h + c. Suppose -5*n - 5*r + 99 = -2*r, 0 = h*n - 5*r - 39. Is n a multiple of 9?
True
Is 21 a factor of (477454/(-8))/(84/(-48)) - (-29)/203?
True
Let a(l) = l**2 + 2*l - 20. Let z be ((-8)/12)/2*-15. Is a(z) a multiple of 3?
True
Is (-7)/((-2070)/(-296) + -6 + (3 - 4)) a multiple of 7?
True
Let h(y) be the first derivative of 0*y - 18 + 1/2*y**2 + 2/3*y**3 - 69/4*y**4. Is 14 a factor of h(-1)?
True
Suppose -6*q + 3965 = -q. Let v = q + -1154. Is (-18)/(-99) - v/11 a multiple of 4?
False
Let g(l) = -l**3 + 46*l**2 - 197*l + 226. Is 5 a factor of g(37)?
False
Let i = 463 + -455. Suppose -10 - 18 = -4*n - o, 2*n = -2*o + i. Does 8 divide n?
True
Suppose 25 + 80 = 3*i. Suppose -6*t - i = -13*t. Suppose -t*a + 62 - 12 = 0. Is 10 a factor of a?
True
Let w(q) be the first derivative of q**4/4 - 17*q**3/3 + 8*q**2 - 12*q - 45. Does 13 divide w(17)?
True
Let p = 17 + -9. Let c be (-4)/10*-5*p. Suppose 0 = -8*s + c*s - 48. Is 4 a factor of s?
False
Suppose 2*q + 5*y = 16, -y = -4*q + 75 + 1. Suppose -16*s - 20 = -q*s. Let p = s - -6. Is p a multiple of 6?
False
Suppose 114*j = 107*j - 1008. Let w = j + 574. Is 41 a factor of w?
False
Suppose -66*p + 63*p + 5*t = -5438, -4*p + t = -7245. Does 2 divide p?
False
Is 25921 - (56/8 - -1 - 4) a multiple of 159?
True
Let t = 22324 + -13700. Is 28 a factor of t?
True
Let s = 27 - 54. 