6)?
True
Suppose 0 = -3*x + 4*s + 526, x + 9*s - 172 = 7*s. Let q = x + -83. Does 30 divide q?
False
Let h(g) = -3*g. Let j be h(1). Let i(f) = -45*f. Let v be i(j). Does 10 divide 16/(-6)*v/(-12)?
True
Let d = 511 - 287. Let q = d - -278. Is q a multiple of 31?
False
Suppose -10*s + 37687 + 14503 = -255190. Does 282 divide s?
True
Does 109 divide (-2 + 29729/4)/(-19 + 395/20)?
False
Suppose -11*x + 24*x - 1274 = 0. Let d(y) = -22*y + 6. Let v be d(-4). Suppose x*q - v*q = 300. Is q a multiple of 6?
False
Let o(x) be the second derivative of -x**3 + 21*x**2 - 21*x. Let r be o(19). Let d = 74 + r. Is 2 a factor of d?
True
Suppose 5*d - 2227 = -n, -2*n + 6681 = n - 2*d. Is 17 a factor of n?
True
Let x(q) = -q**3 + 9*q**2 - 22*q - 29. Let g be x(10). Let j = -339 - g. Is 4 a factor of j?
False
Does 5 divide -6 + (7627 - (-130)/13)?
False
Suppose -4*t = t + 70. Let w be 4/t + (7 - 132/28). Suppose w*l - 10*l + 1440 = 0. Does 9 divide l?
True
Let o(m) = 2 - 11*m + 0*m - 3*m + 18*m**2 + 23*m. Suppose -8*f - f + 27 = 0. Is o(f) a multiple of 14?
False
Suppose 10*s - 29 - 11 = 0. Suppose 0 = -s*p - 2*f + 1428, -5*f = p + 4*p - 1785. Is 17 a factor of p?
True
Let v(w) = w**2 - 4*w + 1. Suppose 0*t + 44 = 4*t. Suppose 3*p + 30 = 3*m, -3*p - 36 + t = -2*m. Is v(m) a multiple of 4?
False
Suppose -215*z - 2*n = -216*z + 11128, -2*z - 3*n = -22221. Does 13 divide z?
False
Let k = -117 + -46. Let p = k - -347. Does 23 divide p?
True
Let m(d) = -22*d - 34. Let x(z) = -7*z + 17 + 17 + 28*z. Let s(h) = -4*m(h) - 5*x(h). Is s(-4) a multiple of 17?
True
Let f(h) = 21*h - 57. Let c be f(12). Is 15 a factor of (1 + (-278)/(-10))/(39/c)?
False
Let v(y) = y**2 - 6*y + 5. Let n be v(5). Suppose -2*c + 2*p + 150 = n, c - 72 = 2*p + 1. Suppose 0 = -2*z - m + c + 66, z + 2*m - 70 = 0. Does 18 divide z?
True
Suppose 5973 = 3*m + 5*y, 2*m + 2*m - 7964 = 2*y. Is 4 a factor of m?
False
Let d(w) = w**2 - 8*w + 42. Suppose 61 = -10*q - 139. Is 9 a factor of d(q)?
False
Suppose 3*f + 12 = 0, 4*i - f - 7 = 13. Suppose -i*c - 16*c = -5060. Does 75 divide c?
False
Let y(v) = 2*v**2 - 6*v - 2. Suppose 3*z - 6 = 2*i, -3*i - z - 32 + 1 = 0. Let r be y(i). Suppose 0 = 8*u + 70 - r. Is u a multiple of 6?
True
Let i be (-6)/((-120)/65) - (-6)/8. Let k be i/(16/10)*4/5. Suppose -s = -4*u - k*s + 292, s + 292 = 4*u. Is 17 a factor of u?
False
Let r = 767 + -309. Does 28 divide (-4 - r/(-4)) + 6/4?
True
Suppose 4*o + 111 = -89. Let g be ((-2656)/(-10))/((-20)/o). Suppose -4 = 6*i - g. Is i a multiple of 6?
False
Let y be (18 - 58)*(-2 + (-56)/10). Suppose 0 = h + 5*s - y + 46, -s = -2. Does 62 divide h?
True
Suppose -9343 = 22*o + 16265. Let i = -714 - o. Is 30 a factor of i?
True
Let i(m) = 12*m**3 + 4*m**2 - 7*m - 1. Let r be i(3). Does 112 divide 6 + -5 + -3 + r?
True
Let h = 116 + -66. Suppose -d + 30 = -h. Is 40 a factor of d?
True
Suppose 3*x - 5*o = 1053, -3*o + 1404 = 16*x - 12*x. Is x a multiple of 12?
False
Let y(t) = 3*t + 1. Let b be y(-1). Let n be 3/6*b*68. Let u = 2 - n. Is 7 a factor of u?
True
Let t = -6402 - -8462. Does 103 divide t?
True
Suppose 623*l = 619*l + 1424. Suppose 3*a - l = 475. Is 22 a factor of a?
False
Let p(b) = -2*b - 96. Let l be p(-45). Is ((-5)/75*l)/(1/130) a multiple of 2?
True
Suppose -1632 = -81*f + 78*f. Let l = -341 + f. Does 6 divide l?
False
Is 85 a factor of (12/48)/(4/65488)?
False
Let x(r) = 166*r - 50. Let s be x(-3). Let m = 1160 + s. Is 36 a factor of m?
True
Let l(w) = 7*w**3 - 17*w**2 - 20*w + 32. Let x(f) = -3*f**3 + 8*f**2 + 9*f - 16. Let s(u) = -4*l(u) - 9*x(u). Is 4 a factor of s(-5)?
False
Let l(x) = -18*x + 3. Let b = 48 - 43. Suppose -4*v = -0*v - 2*h + 10, -2 = -v + b*h. Is 19 a factor of l(v)?
True
Let a(d) = 1685*d**2 + 51*d - 123. Is 27 a factor of a(2)?
False
Let r = 26 + -29. Let m(p) = p**2 - 6*p - 16. Let g be m(7). Let f = r - g. Is 6 a factor of f?
True
Suppose 3500*q - 3494*q = 14598. Is 21 a factor of q?
False
Let h(x) be the second derivative of x**4/12 + 3*x**3/2 + 7*x**2/2 - 21*x. Let g be h(-10). Let q(d) = -d**3 + 16*d**2 + 18*d - 9. Is 4 a factor of q(g)?
True
Let g(j) = -12*j - 34. Let r be 14 + -6 - 5/(-1). Suppose 2*a - r = -y - 4*y, -26 = a - 4*y. Is g(a) a multiple of 11?
False
Let z = -1975 - -2921. Does 32 divide z?
False
Let x(l) = -2*l**2 - l + 3. Let z be x(-3). Let h be 24/z - (2 - 324). Let u = h - 177. Does 19 divide u?
False
Suppose 5*u + 4*z - 446 = -0*z, -16 = -4*z. Let t = 137 - u. Is t a multiple of 17?
True
Let z = 14973 + -9879. Is 18 a factor of z?
True
Let g = -8279 - -8584. Suppose 3*z - 2*z - 12 = -2*m, 5*z + 4*m = 30. Suppose -5*k - g = -2*b, 129 + 146 = z*b + k. Is b a multiple of 20?
True
Let j = 151 + -165. Let i(s) = s**2 + 14*s + 14. Is 7 a factor of i(j)?
True
Let r(k) = -k**3 + 12*k**2 - 3*k + 22. Let n be r(12). Let f be 2/n - 8/(-56). Suppose f = -3*i + 2*v + 480, -3*v = -3*i + 2*v + 489. Is 12 a factor of i?
False
Let d be (0 + -1)/((-133)/(-28) - 5). Suppose -274 - 274 = d*g + 4*v, 0 = -5*v - 15. Does 7 divide g/(-14) - (-15)/35?
False
Let p be (54/24)/(8/32). Suppose -30*n + p*n + 18942 = 0. Does 82 divide n?
True
Suppose -254 - 10486 = -12*s. Suppose l - 4*i = -l + 330, -s = -5*l - 4*i. Is l a multiple of 25?
True
Let a be (-11 - -61)/(10/85). Suppose -19*u + 21*u - a = 5*o, -5*u - 5*o = -975. Is u a multiple of 40?
True
Let m = -74432 - -105974. Does 14 divide m?
True
Let l(f) = f**3 - 6*f**2 - 4*f - 6. Let k be (28/(-6))/(9 - (-87)/(-9)). Is l(k) a multiple of 3?
True
Let c be 5614/22 - 50/275. Suppose 820 = 4*l + 3*m, 2*l = -m + c + 157. Is 16 a factor of l?
True
Let o = 17435 - 587. Is o a multiple of 144?
True
Let d = 37 - 37. Suppose -t - 9 = -16. Is (t + -5)*(d - -45) a multiple of 10?
True
Suppose 4 = -2*m, -3*x - 2*x + 3*m + 66 = 0. Let z(w) = 48*w + 47. Is z(x) a multiple of 27?
False
Is 12 a factor of (1944/(-40) - -14)/((-1)/45)?
False
Suppose 85 = 3*c + 94. Let l(p) = 66*p**2 - 18*p - 65. Is l(c) a multiple of 9?
False
Let z(r) = -r**3 + 85*r**2 - 177*r - 245. Does 51 divide z(76)?
False
Let r = 36 + -28. Suppose -4*u + r = 0, y + y - 5*u - 4 = 0. Suppose 284 + 220 = y*c. Is 9 a factor of c?
True
Let a(v) = -v**2 + 17*v - 14. Let l be a(16). Does 7 divide (-68)/((5/15)/(l/(-12)))?
False
Let g = 6883 - -1299. Suppose 4*t + 5*m + 3185 = 9757, -g = -5*t + 2*m. Is 44 a factor of t?
False
Suppose 5*n + 8 = 2*r, -3*n - 4 = r - 3*r. Does 26 divide ((-54)/6 + -17)/(r/4)?
True
Let c = -616 + 325. Let n = c - -590. Is n a multiple of 52?
False
Let f be (1 + 15/9)*(-3)/(-4). Suppose 2*y - 5*y = -2*d + 456, f*y = 0. Does 26 divide d?
False
Suppose 2*c + 28 = -0*c. Is 3 a factor of 26 + -7*4/c?
False
Let u(v) be the first derivative of -6*v**2 + 128*v + 144. Does 40 divide u(-16)?
True
Is (8/5*1650/(-36))/(10/(-615)) a multiple of 82?
True
Let j(u) be the first derivative of u**7/840 + u**6/72 - u**5/24 + u**4/12 + 3*u**3 + 3. Let c(x) be the third derivative of j(x). Does 9 divide c(-4)?
False
Suppose 2913 - 8313 = -10*k. Suppose -l = -3*i + k, -3*i + l = -5*i + 360. Does 10 divide i?
True
Suppose 4*h + 4 = 12. Let b(n) = 2*n**2 - 3*n + 4. Let k be b(h). Is 24 a factor of (-1 + (k - 4))*(0 - -153)?
False
Let o(s) = -4*s + 236. Is 5 a factor of o(-28)?
False
Let i(u) = 8*u**3 - 10*u**2 + 105. Does 70 divide i(9)?
False
Suppose 0 = 11*a - 9*a - 8. Suppose 3*m = -u - u, a*m = -8. Suppose -q = -4*f - 58, -3*q + u*f + 153 = 15. Is 10 a factor of q?
False
Let x(c) = 12*c**2 - 49*c + 6. Let r be x(4). Does 13 divide (7 - (-1 + -45)) + r?
False
Is 15 a factor of 3721 + ((-2)/(-5))/((-88)/(-55))*-4?
True
Let g(n) = n**3 + 13*n**2 + 10*n - 6. Let r(f) = -4*f**3 - 51*f**2 - 41*f + 23. Let o(i) = 9*g(i) + 2*r(i). Does 14 divide o(-13)?
False
Let c = -35 + 52. Let g(v) = -2*v**3 + 0 - 33 + c*v**2 + 3*v + v**3 - 10*v. Is g(16) a multiple of 37?
True
Suppose 11 = 3*l + u, 2*l + u - 10 = -u. Suppose -2*z + 6*z - 1085 = p, -l*z + 4*p + 830 = 0. Does 30 divide z?
True
Let g(n) = 16487*n**2 + 9*n + 15. Is 13 a factor of g(-1)?
False
Let h(b) = -b**3 + 68*b**2 - 59*b - 2. Does 66 divide h(20)?
True
Suppose -5*l - 4*w = -29, 6 = -3*l + 5*w + 53. Let d = l - 32. Let h(z) = z**2 + 22*z + 27. Is 10 a factor of h(d)?
True
Let a(d) = 4*d**3 + 6*d**2 + 3*d + 12. Let q be a(5). Suppose -2*z + q =