oes 6 divide f?
True
Let l = 4 - -1. Suppose 0 = -3*o - 5*w + 1, 5*o + 86*w - 89*w - 13 = 0. Suppose -o*n - 5*z + 2 = -32, -l*n + 85 = 4*z. Is n a multiple of 3?
False
Let n be (-3)/(-5) + ((-96678)/(-45) - -1). Suppose -16*w - 822 + n = 0. Does 19 divide w?
False
Suppose 10 = 3*w + 16, -2*f - w + 2 = 0. Suppose -f*o + 200 = 6*o. Is o a multiple of 5?
True
Suppose -7*p - 4*p + 24*p = 89388. Does 36 divide p?
True
Let t(k) = k**3 + 10*k**2 - 11*k + 24. Let p be t(-11). Let o be 4*1/(-10) - p/(-10). Suppose -m + 3*u + 11 = 0, 0*m + 34 = 2*m - o*u. Does 4 divide m?
True
Let m = -546 + 550. Does 14 divide (-35)/(-10)*(291 - (3 - m))?
True
Let y(d) = 6 - 7 + 11*d**2 + 1 - 12 + 11*d. Let s be y(11). Suppose -5*n + 3*k = -s, k - 1135 = -5*n + n. Is n a multiple of 13?
False
Suppose -67*g - 60 = -72*g. Suppose g = -3*y, 5*o + y + y = 127. Let c = -17 + o. Is 10 a factor of c?
True
Suppose -4*t - 5*z + 5 = -21, -2*z = t - 8. Is 11 a factor of (t - 6)*(-142)/(-20)*-5?
False
Let h = -5083 + 9340. Is 99 a factor of h?
True
Does 7 divide -2 + 27513/4 - 95/380?
False
Suppose -2793 - 44484 = -17*s. Does 14 divide s?
False
Let k(s) = 15*s - 6. Let c be k(18). Suppose -804 = -6*n + c. Does 12 divide n?
False
Suppose -2*q + 7 = -q. Suppose -q*z = 1 - 22. Suppose -4*a + 44 + 7 = -t, -3*t = z*a - 57. Is a even?
True
Let r = 45 + -40. Suppose -3*o + o + 1406 = 2*i, -r*i + 4*o + 3524 = 0. Does 8 divide (-9)/(-6)*i/12?
True
Let m(q) = -170*q - 394. Let f be m(-24). Suppose -3*n + 574 = i, -5*i - n + f - 858 = 0. Does 5 divide i?
True
Let b(a) = 74*a**2 - 66*a - 502. Is b(-7) a multiple of 5?
False
Let x(n) = 162*n - 3330. Is 5 a factor of x(29)?
False
Let f = 14648 - 11624. Is 24 a factor of f?
True
Let m(k) = 8*k**3 - 26*k**2 + 37*k - 871. Is m(16) a multiple of 68?
False
Let m = -276 + 281. Suppose 120 = m*w - 1490. Is 8 a factor of w?
False
Let z = -432 - -455. Suppose -3*f + 2*r + 80 = 0, -5*f + f = -r - 110. Let i = f - z. Is 2 a factor of i?
False
Let x = 1982 - -2291. Does 17 divide x?
False
Suppose -209 = -11*f + 640 + 75. Let z = 5 + -13. Is 12 a factor of (-1434)/z - f/(-112)?
True
Let u(c) = 4*c**2 - 28*c + 36. Let o(w) = 19*w - 120. Let y be o(7). Is 15 a factor of u(y)?
False
Let v = -32841 + 68481. Does 20 divide v?
True
Suppose -6*i - 5*i = -6644. Let f = 950 - i. Let p = f + -238. Does 27 divide p?
True
Let p(q) = -11*q + 15. Let x be p(3). Does 32 divide 2/9 - 13/x*296?
False
Let a = 5303 - 2999. Is 18 a factor of a?
True
Suppose 5*y + 4110 = 20. Let n = -419 - y. Suppose -5*h = -n + 99. Is h a multiple of 12?
True
Let p be 2375/10 + (-2)/(-4). Suppose 3*y + 2*u = -2*u + p, 2*y - 160 = -4*u. Is 6 a factor of y?
True
Let z(d) = -d**2 + 2*d**2 - 2*d + 32 - d**3 + 0*d**2. Let q(i) = -i**2 + 7*i. Let a be q(0). Is 32 a factor of z(a)?
True
Let m(r) = 5*r**2 - 9*r + 2898. Does 112 divide m(0)?
False
Let s(p) = -987*p - 204. Is 119 a factor of s(-5)?
False
Suppose -1179*j = -1183*j + 37472. Does 8 divide j?
True
Let k = 36 + -31. Suppose -k*f = -5*q + 2015, 0 = 2*q + 2*f - f - 794. Suppose -2*m = n - q, 3*m - 2*m + 3*n = 192. Does 39 divide m?
False
Let z = 8131 + -4397. Is 22 a factor of z?
False
Let z = -148 - -151. Suppose -g + z*l = g - 308, 3*g + 2*l = 488. Does 26 divide g?
False
Let g be 49 + (-1 + 6)/5. Is 15 a factor of 5/(-2)*(-2480)/g?
False
Let d = -450 + 454. Suppose 0 = -d*m - 387 + 3387. Is m a multiple of 15?
True
Let v = -2585 + 5707. Does 7 divide v?
True
Let o be (-4)/(-14) + (-2672)/(-56). Let q be 18*((-1)/6)/(-14 - -13). Suppose -r + o = q*r. Does 5 divide r?
False
Let z = 104 - 92. Suppose -8*c = -z*c + 2136. Is c a multiple of 20?
False
Let h be (-4)/((20/(-8))/5). Is 4/h*-1*-90 a multiple of 9?
True
Suppose -2*p = -5*p + 5*d + 5784, 9 = -3*d. Let r = p - 1327. Is r a multiple of 77?
False
Let p(o) = 20*o - 25. Let w(i) be the first derivative of -21*i**2/2 + 24*i + 14. Let d(r) = 2*p(r) + 3*w(r). Is d(-6) a multiple of 38?
False
Let i be ((-130)/3)/(2/(-3)). Suppose 8*d - 3*d + 3*r + i = 0, -5*r = -3*d - 73. Let v = -7 - d. Is v a multiple of 4?
False
Suppose 6 = -5*j - 14. Let n(h) = 3 - 54*h**3 + 29*h**3 + 26*h**3 - 4*h + 5*h**2 + 6. Is n(j) a multiple of 13?
False
Let g = 30 - -212. Let p be (-4)/22 - (-1012)/g. Suppose -59 = -2*v - 3*o, p*v = v + 4*o + 63. Does 10 divide v?
False
Let h(o) be the third derivative of -19*o**4/24 + 4*o**3 - 16*o**2. Let d be h(-13). Let m = -101 + d. Is m a multiple of 17?
True
Let b = 7718 + -5240. Does 62 divide b?
False
Let t = -5985 + 8760. Does 53 divide t?
False
Suppose -86108 = -3*f - 6*f - 10*f. Is 7 a factor of f?
False
Suppose 0 = -3*v - 2*t + 108, 2*t + 84 = 2*v + 22. Suppose 0 = -9*f + 8*f. Let g = v - f. Is 6 a factor of g?
False
Let v(l) = -l**3 - 8*l**2 - 7*l. Let o be v(-3). Does 7 divide 74 + 13/(-4) + 18/o?
True
Let v = 214 - 210. Suppose -5*n - 158 + 829 = -3*x, -550 = -v*n - 2*x. Does 19 divide n?
False
Let w be 3/(-12) + 666/(-24). Let j = w - -28. Let k(l) = 4*l + 10. Is k(j) a multiple of 10?
True
Suppose -53 = -10*g + 37. Suppose 13*s - g*s - 1916 = 0. Does 15 divide s?
False
Suppose -46014 - 108074 = -4*p - 2*r, 3*r = 0. Does 18 divide p/66 - (-4)/(-6)?
False
Is (14/7)/(9/15705) a multiple of 5?
True
Suppose 0 = 3*a + 6*v - 3*v - 3, -5*a = 3*v - 9. Suppose -4*q - 596 = -a*l, -4*q - 786 = -5*l + 202. Is l a multiple of 14?
True
Suppose -36 = 7*f - 1128. Let b = -102 + f. Does 18 divide b?
True
Does 39 divide (19 + (-3)/(-3))*(-714630)/(-168)?
False
Suppose 6*j - 130 = -4*j. Suppose j*d - 12*d - 192 = 0. Is d a multiple of 24?
True
Let t(a) = 2*a**2 - 8*a + 10. Let c = -40 + 45. Let d be t(c). Suppose 5*j - 2*i + d - 117 = 0, -5*j + 96 = -i. Is j even?
False
Let j(v) = v**2 + 5*v + 74. Let w be j(-19). Let y = 700 - w. Is y a multiple of 9?
True
Let v be 18/12 + 15/(-10). Suppose 19*m - 17*m - 110 = v. Is 4 a factor of m?
False
Let t(m) = 100*m + 25. Let a be 1/(5 + 1/(-2) + -4). Does 25 divide t(a)?
True
Suppose -325*i + 4*f + 64120 = -323*i, 24 = 3*f. Is i a multiple of 62?
False
Suppose 9*d - 60 = 12. Suppose -2 = -5*x + d. Suppose -10 = -y + 3*o, -3*y = 2*y - x*o - 24. Is y a multiple of 3?
False
Let j(d) = 5*d**2 - 29*d + 29. Let a(y) = -4*y**2 + 29*y - 30. Let g(t) = -4*a(t) - 3*j(t). Let f be g(28). Suppose 0 = 6*k - f*k - 124. Is k a multiple of 18?
False
Let q(s) = -2*s**3 - 54*s**2 + 67*s + 6. Let f be q(-28). Does 15 divide ((-10)/(-100)*f)/((-2)/10)?
False
Let q = 617 + -612. Suppose -5*g = -5*a - 17 + 272, 0 = q*a - 4*g - 257. Is 2 a factor of a?
False
Suppose 0 = 5*v + 20, 737*w - 732*w - 4*v = 25636. Is 21 a factor of w?
True
Let j(b) = -b. Let l(k) = -k - 46. Let v(o) = 2*j(o) + l(o). Let d be v(-17). Suppose 4*r + d*c = -4 + 40, r = 5*c + 34. Is r a multiple of 7?
True
Let d(u) = -u**2 - 1. Let s(c) = 7*c**2 + c + 6. Let n(m) = -4*d(m) - s(m). Let a be n(-2). Let j(g) = -g**3 - 11*g**2 + 10*g - 19. Is 2 a factor of j(a)?
False
Suppose -20 = 4*j, -5*r - 19*j = -23*j - 30. Does 18 divide 213 - (-1)/r*(-3 + 9)?
True
Suppose -5611 = -17*s + 83571. Is s a multiple of 43?
True
Let y = -162 + 165. Suppose y*f + 2*v = 2532, 16*f - 12*f - 5*v = 3399. Does 94 divide f?
True
Let r = 35 + -32. Suppose 10 = 2*z, -l - 4*l - r*z + 280 = 0. Suppose 2*g = -l + 213. Is g a multiple of 11?
False
Let z(h) be the second derivative of h**4/6 - h**3/2 + 2*h**2 - 16*h. Let m be z(1). Suppose m*c + 1 = 70. Is c a multiple of 2?
False
Suppose 2*o = 6, 5*w - 1048 - 737 = 5*o. Suppose 9*u - w = -0*u. Suppose 2*z = -b + 124, -3*z + 83 = b - u. Does 21 divide b?
True
Suppose -5*w - 101 + 1086 = -5*t, 5*t = 4*w - 786. Let y = 433 - w. Does 18 divide y?
True
Let f = 262 - 258. Suppose f*w - 7*x = -3*x + 68, -x + 11 = w. Does 2 divide w?
True
Let j = 972 - -350. Is 2 a factor of j?
True
Let t = 5352 - 1819. Is 48 a factor of t?
False
Suppose 0 = 85*g - 180389 - 74611. Is g a multiple of 50?
True
Let f(i) = -i**2 + 2*i + 9. Let u be f(25). Is u/(-14) - 15/35 a multiple of 7?
False
Let c be ((-1430)/33)/((-2)/3). Suppose -49*k = -c*k + 2704. Is 13 a factor of k?
True
Suppose 2*y - 20 = -2*y. Let n be 6358/(-85) + 3/(-16 - -1). Does 21 divide (n/(-5))/y + (2 - -79)?
True
Let o(r) be the second derivative of r**4/4 - 7*r**3/6 - 7*r**2/2 - 5*r. Let n be o(8). Let l = 214 - n. Is 7 a factor