Let n = l - 179. Let f = n + 229. Does 12 divide f?
True
Let a(s) = s + 6. Let x be a(-2). Suppose 185 = -3*w + g, 5*w = 3*g - x*g - 303. Does 9 divide 1 + 15/5 - w?
False
Is 15662 - 10/(-4)*-1*784/(-280) a multiple of 77?
False
Suppose 2*d = 4*m - 6, 0*m = -2*m + 2. Let b(p) = -722*p - 10. Is b(d) a multiple of 71?
False
Suppose 7 = -41*g + 48*g. Let k be ((g - 1) + -2)*(-6)/4. Is (k - 2)*-8*-5 a multiple of 10?
True
Let n(g) = g**2 - 20*g + 20. Let q be n(16). Let v be (14/4 - 5)/(3/q). Suppose -v*h + 24*h = 256. Is h a multiple of 16?
True
Suppose -9*s - 3 + 12 = 0. Let j(t) = 232*t - 16. Is 36 a factor of j(s)?
True
Suppose 0 = 88*y - 264862 - 193442. Is 4 a factor of y?
True
Let w(x) = -42*x - 21. Let s(m) = -m + 1. Let k(v) = 35*s(v) - w(v). Is k(-5) a multiple of 21?
True
Is 7 a factor of 867/2*(12 + (-396)/54)?
True
Suppose 5*c + 3*v + 11 = 0, -4*v + 15 = v. Let z be (c + 3)/((-2)/30) + 2. Let a = 14 + z. Is 11 a factor of a?
False
Suppose 136 = -37*g + 41*g. Suppose -61 = -8*u + 3*u + 2*f, -2*u = -4*f - g. Is 9 a factor of u?
False
Let w be (101 + 18)*(-1 - 0). Suppose 0 = -3*r - 2*l - 126, 3*r = -0*r + l - 126. Let m = r - w. Does 14 divide m?
False
Let j(u) = -147*u + 63. Let s(l) = -74*l + 31. Let x(n) = 3*j(n) - 5*s(n). Is 9 a factor of x(-5)?
False
Suppose -8*t - 1 + 9 = 0. Let q be -13 - (-1 - 4/t). Let s(o) = -36*o - 50. Is 14 a factor of s(q)?
True
Suppose 9*c + 216 + 117 = 0. Let o = c + 42. Suppose 10*s = -o*s + 780. Is s a multiple of 24?
False
Does 10 divide ((-499)/(-4))/(55/1100)?
False
Let s(v) = v**3 + 8*v**2 + 10*v - 12. Let h be s(-6). Suppose -385 = -4*n - c, -n - 16*c + 17*c + 100 = h. Does 18 divide n?
False
Let p = 60 - -391. Let z = 604 - p. Is 3 a factor of z?
True
Let h be (14 - -3)/((-1)/(-3)). Let d = 165 + h. Is 35 a factor of d?
False
Let g(m) = -8*m - 86. Suppose -11*r + 18*r = 413. Let j = -90 + r. Does 11 divide g(j)?
False
Let u(p) = 1576*p**2 - 35*p - 49. Does 16 divide u(-3)?
True
Is 47 a factor of (-439)/(13/(-13) - (-148)/152)?
False
Let o(w) be the third derivative of 7*w**5/60 + w**4/8 - 5*w**3/3 - 50*w**2. Is 36 a factor of o(5)?
True
Let u(q) = -839*q + 11 - q**3 + 843*q + 6. Does 5 divide u(-5)?
False
Suppose -6*s + 75*y + 21038 = 76*y, 0 = -5*s + y + 17528. Is s a multiple of 176?
False
Let a = -465 + 473. Is 704 + 3 + 5 - a a multiple of 16?
True
Suppose 77 + 38 = -5*v + 5*o, -50 = 2*v + 2*o. Is 8 a factor of v/(-40) + ((-308)/(-10))/2?
True
Let c(p) be the second derivative of -8*p + 1/12*p**4 + 23/2*p**2 + 0 + p**3. Is 10 a factor of c(-7)?
True
Suppose -1279 + 439 = -3*y. Suppose -8*p = -10*p + y. Is p a multiple of 8?
False
Let r(p) = -p**3 + 23*p**2 - 39*p + 297. Is r(11) a multiple of 40?
True
Let n(t) = -150*t - 2784. Is n(-53) a multiple of 21?
True
Let c be (31/(-93))/((-2)/18). Suppose -x + 660 = 5*k, 9*x - 1980 = 6*x - c*k. Is x a multiple of 55?
True
Let g be 2/(-4) - (-230)/20. Suppose 4*y = -2*h + 30, 2*h = 4*y - g + 1. Suppose 495 = -0*p + y*p. Is 11 a factor of p?
True
Let o(i) = 12*i - 11. Let q be o(5). Suppose -q*z = -54*z + 1845. Is 9 a factor of z?
True
Let y be ((-198)/(-54))/((-1)/(-6)). Suppose y*r - 6600 = 11*r. Does 12 divide r?
True
Let c = 258 + -141. Suppose -124*x + c = -121*x. Is 11 a factor of x?
False
Let u be (-123)/(-42) + 14/196. Suppose -4*l = 2*y + y - 1879, -l + 466 = -u*y. Does 88 divide l?
False
Let s be 2030/(-630) + (0 - 2/(-9)). Let r(o) = -32*o**3 - o**2 + 6*o + 3. Is 28 a factor of r(s)?
True
Let s be (90/(-70) - -1)*35. Suppose 3*w = 2*w + 10. Let q = w - s. Is q a multiple of 12?
False
Let t(h) = -h**2 - 2*h + 183. Let q be t(0). Suppose -70 = -c - q. Let j = -68 - c. Is j a multiple of 9?
True
Does 9 divide 1 + 12 - 2766228/(-183)?
True
Let v be 21 + 27 + (-1 - 2*-2). Does 17 divide ((-2865)/7)/(-3) + v/(-119)?
True
Let t be (-72)/(-7) - (-8)/(-28). Suppose 0 = -t*x + 9 + 71. Does 26 divide ((-2085)/(-60))/(2/x)?
False
Let x = -35771 - -52315. Is 36 a factor of x?
False
Let x = -13173 + 14873. Is 8 a factor of x?
False
Suppose 44*v - 24*v - 14000 = 0. Let p = v - -603. Is 63 a factor of p?
False
Suppose 3 = -5*o + 4*g + 8, 0 = -5*g. Let m be o*-5*(3 + -5). Is 5*(-9)/(-75) + 434/m a multiple of 3?
False
Let b be 0/(-10) + (1 - -325) - 1. Suppose 0 = 17*f - 22*f + b. Suppose 4*h - 65 = -3*z, -2*h = 4*z - h - f. Is 5 a factor of z?
True
Let l(d) = 1282*d**2 - 4*d + 3. Let b = -63 + 64. Let z be l(b). Suppose -500 = 5*y + 3*t - z, -467 = -3*y - t. Is 31 a factor of y?
True
Suppose a = 2*a - 4. Suppose 2*z - 2*p - 894 = -6*p, -1832 = -a*z + 3*p. Is z a multiple of 35?
True
Let b(i) be the third derivative of 4*i**4/3 - 5*i**3/2 - 30*i**2. Let d be (1 + 1/(-2))/(2/20). Does 17 divide b(d)?
False
Let a(m) = 3*m**2 - 21. Let b(h) = 2*h**2 - 60*h - 54. Let n be b(31). Is a(n) a multiple of 16?
False
Let i be (-8796)/16 - (15/12 + -1). Let k = -315 - i. Is 51 a factor of k?
False
Let z be (8 - 7)/(1/(-190)). Let n = 753 + -449. Let g = n + z. Is 11 a factor of g?
False
Let v = 35 + -62. Suppose -p - 345 = -6*p. Let a = p + v. Is a a multiple of 21?
True
Suppose -18*g + 2086 = -11*g. Suppose l = 25*r - 27*r + g, -4*l + 1208 = 4*r. Does 17 divide l?
True
Suppose -3*s + 9 = 0, 7*s - 4*s = 2*u + 207. Suppose 49*v + 10*v + 2891 = 0. Let k = v - u. Is 23 a factor of k?
False
Let t(a) = 3*a - 8. Let y be t(6). Suppose -459 - 465 = 80*u - 311*u. Suppose y*d = u*d + 1518. Is d a multiple of 23?
True
Suppose -61*h + 60*h + 16 = 0. Is 10 a factor of (2/h*10)/(6/288)?
True
Suppose -65 = -15*s + 2*s. Suppose -s*u = -0*u - 2380. Suppose -k + u = 6*k. Is k a multiple of 17?
True
Let t(p) = -8*p**3 - 14*p**2 - 19*p + 143. Let b be t(13). Is 23 a factor of 15/(-12) + b/(-24)?
False
Let i = 16956 + -13122. Is 6 a factor of i?
True
Is 12 a factor of -17 + ((-576)/(-8))/9 + 921*81?
True
Let y be -3*(0 + (-5)/3). Suppose -89*c - 3*o = -94*c + 19, c - o = 3. Suppose -y*g + 37 = q - 125, -c = -g. Does 24 divide q?
False
Suppose 3*d + 12*q - 1875 = 10*q, -7*d + 3*q + 4375 = 0. Does 59 divide d?
False
Let m = -4533 - -5131. Is 12 a factor of m?
False
Let n(l) = -2*l + 6. Let b be n(-2). Suppose b*x = 89 + 11. Is x a multiple of 10?
True
Let j = -29884 - -17965. Does 55 divide j/(-12) + 0 - 1/4?
False
Suppose -p + 1 = 4*p - n, -3*n - 3 = -5*p. Suppose 3*j - 3366 = 3*a - 6*a, p = 3*a. Does 33 divide j?
True
Suppose -17 = 4*u - 5*z, -2*u + 4*z = 2*u + 12. Suppose 3*t = -u*t + 985. Does 22 divide t?
False
Is 5 a factor of (19/(-38))/(1/(-2772)*3)?
False
Suppose 762*x + 135065 = 765*x + t, -3*x + 135086 = -2*t. Does 72 divide x?
False
Suppose 2*p - 9 = -u + 5*p, 3*u + p = 7. Let x(t) = 101*t - 13. Is 58 a factor of x(u)?
True
Suppose 3*y = 3*i + 54, -92 = -2*y - 5*i - 21. Is y a multiple of 14?
False
Suppose t - 5982 = -c, -28*t + 31*t = 3*c + 17934. Does 13 divide t?
True
Let l be (-636)/(-36) - 1/3*-1. Is 24*(l/5 + (-15)/25) a multiple of 14?
False
Let n(m) = -11*m + 5. Let l be n(-4). Suppose -5*t + 411 = -l. Is 34 a factor of t?
False
Suppose 4*p + 388 = -4*s, -p + 0*p - 105 = 3*s. Let i = p + 88. Is 119 + 5 + i + 0 a multiple of 29?
False
Let r = 43 + -87. Let p be 5/2*(1 - (5 + r)). Suppose -2*q + p = 2*l, 0*l + 2*q = 2*l - 80. Is l a multiple of 4?
False
Let q be (-8*(-3)/6)/2. Let a(i) = -7 + 5 - q - 26*i + 5. Is a(-2) a multiple of 13?
False
Suppose -a + 2*h + 2070 = 0, -4746 + 624 = -2*a - 2*h. Suppose -8*n - 4*q - a = -12*n, -3*n + 1544 = q. Does 7 divide n?
False
Let c be (7/((-63)/78))/2*6. Let w = -24 - c. Suppose -3*r = r + w*x - 60, r = -2*x + 21. Does 7 divide r?
False
Suppose 8*v - 5921 + 817 = 0. Let a = -77 + v. Is 33 a factor of a?
True
Suppose -5*w - 621 = -70*u + 69*u, -u + 619 = -3*w. Does 14 divide u?
True
Let c(z) = -z**3 + 12*z**2 - 5*z + 65. Let k be c(12). Suppose 4 = -4*p, k*p + 2533 = 2*x + 2*p. Does 23 divide x?
True
Let f(a) = 129*a**3 + 33*a**2 + 19*a + 38. Is f(6) a multiple of 196?
True
Let x(b) = -6*b + 83. Let r be x(35). Is 4 a factor of (-24)/24 + (2 - r)?
True
Let j = 69 + -64. Suppose -36 + 46 = j*i. Suppose -2*b + 388 = i*z, -4*b - 5*z - 960 = -9*b. Is b a multiple of 10?
False
Does 12 divide (-15738138)/(-1092) - 9/42?
True
Let a(q) = 9*q**2 + 915*q - 187. Does 7 divide a(-107)?
True
Let i(t) be the first derivative of -t**4/4 - 2*t**