- -6 - -3)?
True
Let d be 6/(-27) - 3290/(-63). Let r = d + 116. Is r a multiple of 16?
False
Let g = -227 + 157. Let l = g + 70. Suppose -4*j + 489 = -3*p - l*p, -4*p - 484 = -4*j. Is j a multiple of 18?
True
Suppose -a - 1 = 0, -5*a - 44 = -4*z + 697. Suppose -13*w + 461 = 123. Suppose -w*p = -30*p + z. Does 16 divide p?
False
Let g(k) = -51*k - 38. Let h(o) = 26*o - 132. Let f be h(5). Is g(f) a multiple of 4?
True
Is ((-636)/5)/((-1)/(-154)*32/(-80)) a multiple of 318?
True
Suppose 12 = 3*r, 0 = 3*b - r - 2 - 6. Suppose x + 176 = b*w, -3*x - 88 = -4*w + 2*w. Suppose -46*f + w*f + 74 = 0. Is 5 a factor of f?
False
Let f(x) = x**2 + 90. Let s be f(-22). Let g = s - 142. Does 18 divide g?
True
Suppose 65*d - 5305 - 255 = 57*d. Does 2 divide d?
False
Let s(y) = -2*y**2 + 23*y - 10. Let o be s(6). Suppose d = 3*t - 2*d - 66, -2*t + o = d. Is 13 a factor of t?
True
Let l be ((-8)/6)/(1/3) + -6. Is ((-488)/6)/(-3*l/(-90)) a multiple of 31?
False
Let d = 65 - 156. Is (-28378)/d - (-6)/39 a multiple of 12?
True
Let r(v) = 6*v**2 + 9*v + 19. Let t be r(-8). Let u = 21 + t. Is u a multiple of 11?
True
Let z(l) = 37*l - 11. Let t be z(2). Is 16 a factor of 89/(-3)*13/((-91)/t)?
False
Let h(a) = -a**3 + 11*a**2 + 11*a - 33. Let m be h(10). Suppose 0 = 5*l + 4*f - m, 275 = 5*l - 2*f + 86. Is 23 a factor of l?
False
Suppose -30*t = 40*t - 59*t - 166276. Is t a multiple of 18?
False
Let q be (-3)/(-5) + 6/(-60)*-34. Suppose -790 = -3*f + q*a, -2*f - a = -520 - 14. Does 22 divide f?
False
Let h(u) = 10008*u**2 + 11*u + 9. Is 133 a factor of h(-2)?
False
Suppose 5*x - 1300 = -5*n, 2*n - 505 = 3*x - 8*x. Suppose -13*q + 8*q = n. Let h = 96 + q. Is 12 a factor of h?
False
Suppose -8*c = -7*c + h - 707, -c - 3*h + 703 = 0. Suppose 2*l - 299 = c. Does 42 divide l?
True
Let s be 16/(-12) - ((-16)/12 - 3). Is 40 a factor of 20/(-12)*-118 - s/(-9)?
False
Let c(l) = -7*l**3 + l**2 - l - 1. Let b be c(-1). Suppose b*d + 46 = -10. Let k = d + 31. Does 12 divide k?
True
Let j = -764 - -754. Does 26 divide 103158/165 + 12/j?
True
Let b(a) be the second derivative of -107*a**3/6 - 13*a**2/2 - 16*a. Let d be b(-3). Suppose 2*r - 28 = 4*v - d, -3*v + 2*r = -208. Does 11 divide v?
False
Suppose -b - 4*o = -850, o + 3574 = 5*b - 676. Suppose -24*k = -19*k - b. Is 85 a factor of k?
True
Let h = 2443 - -1115. Does 53 divide h?
False
Let u be ((-70)/8)/(2/(-112)). Let l(c) = c**2 - 14*c - 731. Let j be l(-21). Suppose j*f = -6*f + u. Is 7 a factor of f?
True
Suppose -57601 - 240657 = -116*l + 23294. Is l a multiple of 33?
True
Let q(k) = -k**3 + 2*k**2 + 6*k + 7. Let b be q(-3). Let o = 26 - b. Is o/24 - (-319)/3 - -3 a multiple of 22?
False
Let j(g) be the third derivative of g**5/60 + 7*g**4/6 + 55*g**3/6 + 2*g**2 - 2*g. Does 17 divide j(-28)?
False
Let j = 5613 - 528. Is j a multiple of 15?
True
Suppose -4*z - 2452 = -5*j + 1267, 3*j + 5*z = 2187. Does 4 divide j?
False
Let o(s) = 467*s**2 - 12*s - 11. Is o(5) a multiple of 6?
True
Let c(f) be the third derivative of -f**6/60 - f**5/10 - f**4/12 + 4*f**3/3 + 23*f**2 - 2. Does 23 divide c(-7)?
True
Does 21 divide (454/(-6))/((-47)/8742) - 4?
True
Is 46 a factor of (250/(-110))/25 - (-739269)/33?
True
Let t(f) = -f**2 + 8*f - 42. Let z be t(6). Let v be 5/(20/16) - 64. Let o = z - v. Is 5 a factor of o?
True
Suppose 5*c - 1602 - 168 = 0. Suppose 7*a - 1985 = -c. Is a a multiple of 29?
False
Is (82599/12 + (-6)/(-24))/(60/400) a multiple of 353?
True
Suppose -3*h = -5*b - 25, 5*b - 3*b + 5*h = -10. Does 21 divide (-16)/((-160)/3642) + 1/b?
False
Suppose 42*f - 8871 = -3*p + 38*f, 5*p = 2*f + 14785. Suppose -k - p = -4*x, 3*k + 1788 + 423 = 3*x. Is x a multiple of 20?
True
Suppose -2*w = b + 3*b, -5*w + 13 = -3*b. Let f(s) = 28*s**2 - 10*s**2 - w*s - 13*s**2. Is f(-6) a multiple of 32?
True
Let t(v) = -15*v + 1362. Does 3 divide t(22)?
True
Let i(x) = -47*x**2 + 25*x + 80. Let g be i(-4). Let h = g + 1432. Is 60 a factor of h?
True
Let y be -6 + 9 - (61 + -2). Let c = y - -50. Is 6 a factor of (-1)/(c/320) - (-27)/(-81)?
False
Suppose 190*f + 139*f = 8284723 + 3369115. Does 6 divide f?
False
Let b(k) be the second derivative of -181*k**5/20 + k**4/12 - 39*k. Let l = -105 - -104. Does 20 divide b(l)?
False
Let k be -2 + -474*(1 - 5)/(-8). Let y = -200 - k. Is y a multiple of 18?
False
Let t(g) = -55*g - 56. Let q(x) = -14*x. Let b(f) = 3*q(f) - t(f). Let k = -18 - -32. Does 34 divide b(k)?
True
Suppose 88 + 52 = 7*z. Does 19 divide ((-153)/15)/(z/(-1900))?
True
Let n = -8704 - -14314. Does 55 divide n?
True
Let w = -13 + 15. Let l = w - 2. Suppose -30*o + 27*o + 57 = l. Is 9 a factor of o?
False
Suppose -5*a = -2*k - 2*a + 39, 0 = -5*k + 3*a + 93. Suppose -40*m - 1342 = -51*m. Suppose 4*h - y = 101, -4*y - k - m = -5*h. Is h a multiple of 12?
True
Suppose 23 + 229 = -3*m. Is 87 a factor of m/(((-32)/104)/4)?
False
Let b(i) = -i**2 + 30*i + 1. Let n be b(22). Let k = n + 336. Does 12 divide k?
False
Let c(u) = -268*u**2 - 37*u + 6. Let y(g) = 90*g**2 + 13*g - 2. Let p(t) = -6*c(t) - 17*y(t). Is 20 a factor of p(1)?
False
Let y = 41 - 41. Suppose -5*h - 24 = -3*a, a - 2*h = -y*h + 9. Let s(t) = 8*t**2 - 6*t + 5. Is s(a) a multiple of 10?
False
Let l(j) = 27*j**2 + 62*j - 111. Is 32 a factor of l(13)?
False
Let r be 5/(15/18) + 155. Let x = -147 + r. Does 2 divide x?
True
Suppose -25*y - b - 81467 = -30*y, 3*y + 5*b = 48869. Does 11 divide y?
False
Suppose 0 = -m + 868 + 108. Is m a multiple of 16?
True
Let u(d) = -339*d**2 + 4081*d + 6. Is 91 a factor of u(10)?
True
Let a = -34 + 34. Suppose a = 5*l + 3*w - 8, 0 = -5*l - 0*l - 5*w. Suppose -f + z + 92 = 2*z, -l*f = z - 380. Is 22 a factor of f?
False
Suppose -3722 - 4793 = -2*k - 3*i, -4*i + 21284 = 5*k. Does 16 divide k?
True
Suppose 0 = -x + 5 + 3. Let f(m) = 3*m**2 + 7*m + 9. Let k(l) = l**2 + 2. Let q(i) = -f(i) + 4*k(i). Is 6 a factor of q(x)?
False
Let d(n) = -2*n**2 - 54*n + 1. Let l(t) be the first derivative of -7*t**3/3 - t**2 - 2*t - 14. Let b be l(-2). Is d(b) a multiple of 13?
False
Let q(r) be the first derivative of r**4/4 - 10*r**3/3 + 8*r**2 + 6*r - 68. Does 37 divide q(10)?
False
Suppose -125 = 4*z - 2225. Suppose -z - 285 = -3*p. Is p a multiple of 18?
True
Suppose -8*m + 9*m = p - 654, -2*p - 2*m = -1300. Let l = -255 + p. Is l a multiple of 9?
False
Let f = -4806 - -25942. Is f a multiple of 85?
False
Let g = 2621 - -4360. Is 7 a factor of g?
False
Let v(s) = -7*s - 45. Let g be v(-3). Let k = g - -46. Does 22 divide k?
True
Let q(a) be the first derivative of -1/4*a**4 - 3 - 13/3*a**3 + 26*a - 8*a**2. Does 12 divide q(-12)?
False
Let d = -36 - -45. Let y = d + -7. Suppose -y*c + 14 = -0. Is 3 a factor of c?
False
Let c(x) = -x**3 + x**2 - 3*x - 6. Let y be c(-2). Suppose -12 = -4*a + y. Suppose r = -3, a*r - 3*r - 163 = -2*p. Is 11 a factor of p?
False
Let j(o) = 2*o**3 - 44*o**2 + 3*o - 56. Let u be j(22). Let t(n) = 335*n. Let x be t(1). Suppose u*q = 15*q - x. Is 15 a factor of q?
False
Let g(s) = 22*s**2 + 104*s + 941. Does 63 divide g(-19)?
False
Suppose 41*a - 550 = 967. Does 37 divide a?
True
Let a = 82 - 70. Let j be 146 - ((-6)/a)/(1/6). Suppose -4*x + m = -j, 0*m - 2*m = -3*x + 118. Does 6 divide x?
True
Let g(h) = -2*h - 3. Suppose 14 = -3*v + d, -5*v + 5*d - 24 = 16. Let l(r) = r - 1. Let o(z) = v*l(z) - g(z). Is o(-6) a multiple of 6?
True
Let s(p) be the first derivative of 19*p**2 + 13*p + 112. Does 2 divide s(2)?
False
Let x be 1/(-5) - ((-2792)/(-20))/2. Let s = 62 - x. Is s a multiple of 4?
True
Let d = -560 - -564. Suppose -4*x - 728 = -9*x - 2*b, d = -4*b. Is x a multiple of 19?
False
Let d(v) = 23*v**2 + 97*v + 1066. Is 21 a factor of d(-19)?
False
Suppose -3*i + 93 = 198. Let p(k) = -155*k + 1. Let a be p(1). Let h = i - a. Does 17 divide h?
True
Suppose -3*j + 18 = 0, -4*l - 2*j + 6996 + 16448 = 0. Does 7 divide l?
False
Let i(n) = -6*n**2 + 10*n - 7. Let m(h) = h**2 + 1. Let g(u) = -i(u) - 4*m(u). Let j be g(6). Suppose -2*a - j = -51. Does 6 divide a?
True
Let p(j) = -j**2 - 12*j - 15. Let k be p(-10). Suppose k*g - 6045 + 2355 = 3*z, 5*g + 5*z - 3690 = 0. Does 18 divide g?
True
Suppose 0 = -2*n + 24 - 36. Let k(p) = -80*p - 25. Does 13 divide k(n)?
True
Suppose 1541 = -4*r - 391. Let d = -267 - r. Suppose m + 608 + d = 5*a, 3*a 