/((-6)/(-80)). Let g = q + 17. Let y = g - -3. Is 2 a factor of y?
True
Suppose w + 76 = -l + 2*l, 0 = -5*l - 2*w + 359. Let n = l + -43. Is 30 a factor of n?
True
Suppose 1 - 3 = 2*z, -2*z = 3*j - 49. Let v(k) = k**3 - 17*k**2 + 11*k - 19. Is 37 a factor of v(j)?
False
Is (-3094)/(-357)*546/4 a multiple of 26?
False
Let g(x) = -x**3 + 13*x**2 + 20*x - 17. Let i be 40/3 - (-18)/27. Let o be g(i). Suppose -82 = -b + 4*d, b + 3*d + 13 - o = 0. Does 22 divide b?
True
Suppose -9*g - 798 + 4074 = 0. Suppose 2 = -2*h, -2*x + 7*x = 4*h + g. Is 8 a factor of x?
True
Let f(u) = u**3 - 12*u**2 - 22*u + 21. Let y be f(14). Suppose 20 = 5*a, 0 = 5*c - 3*a - y - 183. Is 15 a factor of c?
True
Let k(h) = -10*h**3 - 4*h**2 - h - 3. Is k(-5) a multiple of 8?
True
Does 47 divide ((-46)/5)/(((-12)/(-340))/(-3))?
False
Suppose -2*m + 8*z = 7*z - 359, -187 = -m + 3*z. Does 5 divide m?
False
Suppose -p + 5*t = 6*t - 524, 1013 = 2*p - 5*t. Is 25 a factor of p?
False
Let f be (-13)/(-65) + (-238)/(-10). Let u = f - 14. Suppose -n + 92 = 4*v - v, u = 2*v. Is 16 a factor of n?
False
Let v(k) = -16*k + 41. Is v(-10) a multiple of 43?
False
Let t(g) be the first derivative of g**3 - g**2 + 11*g + 3. Suppose 5 = -22*b + 21*b. Is t(b) a multiple of 32?
True
Let h(c) = c**2 + 4*c**2 - 3*c**2 + 5*c + c**2. Is 4 a factor of h(-3)?
True
Let m(u) = u**3 + u + 7. Let j be m(0). Suppose j*p = 4*p + 45. Suppose 2*x - 3*q - p = 0, -x + 2*q - 2 + 8 = 0. Is x even?
True
Let c(p) be the first derivative of 3*p**2/2 - 11*p - 6. Let b be c(5). Suppose -m - m + 62 = 2*q, -153 = -5*m - b*q. Does 10 divide m?
False
Let m(v) = 3*v**3 + v**2 - 39*v - 18. Is m(6) a multiple of 18?
True
Is 21 a factor of (-2)/1*(2245/(-10) - -4)?
True
Let q = 1 + 3. Let s = -202 - -213. Is 8 a factor of s/(22/24) + q?
True
Let d = -201 - -302. Is d a multiple of 3?
False
Suppose -2*f + 3 = -c, 6 = 3*f + 3*c - 3. Suppose -f*x = 3*x + 5*h - 25, x - 35 = 5*h. Does 5 divide x?
True
Let f(u) = u**3 + 8*u**2 + 9*u + 12. Let k be f(-5). Is 341/3 - 28/k a multiple of 25?
False
Let y(c) be the second derivative of c**6/240 - c**5/8 - c**4/12 + 6*c. Let k(f) be the third derivative of y(f). Is 8 a factor of k(10)?
False
Let f(q) = 6*q**2 + 2*q. Let w be f(-2). Does 14 divide (2 + -2 - 7/(-2))*w?
True
Suppose -3*p + 6 = 0, 3*p = 10*y - 7*y - 33. Does 4 divide y?
False
Suppose 0 = -5*l + 45 + 80. Let y = 49 - l. Is 6 a factor of y?
True
Suppose 3*x + 4*i + 23 = 0, -5*i = -0*x - 5*x + 20. Let l(g) = g**2 + 2*g. Let b be l(x). Does 10 divide (b - 2) + (-165)/(-5)?
True
Suppose 2*p + 3*p = -2*y + 189, 2*y + 84 = 2*p. Does 2 divide p?
False
Is ((-1)/2)/(10/(-14660)) a multiple of 8?
False
Suppose -2*f - 2*r = -4, 0*f + 2*f = -4*r + 10. Let b = 23 - f. Does 16 divide b?
False
Let y be ((-1)/(-3))/((-2)/(-6)). Is (1 - y*-77) + (2 - 5) a multiple of 22?
False
Let k = 0 - 3. Let d(a) = -a**2 - a + 3. Let r(h) = -1. Let y(m) = -2*d(m) - 9*r(m). Does 8 divide y(k)?
False
Let r = -74 + 77. Suppose -l + 116 = -5*v, -l - 3*l = -r*v - 532. Is 17 a factor of l?
True
Let b = 641 - 565. Is 38 a factor of b?
True
Let p(c) = c + 6. Let g be p(8). Suppose 2*u - 3*j - 151 = 0, 6*j - 3*j - 89 = -u. Let t = u - g. Does 33 divide t?
True
Let s(c) = -214*c**2 - 4*c - 5. Let n(m) = 214*m**2 + 3*m + 4. Let r(o) = 5*n(o) + 4*s(o). Is 30 a factor of r(-1)?
False
Suppose s = 2*x - 6, 0*s - 4 = -s. Suppose x*u = 11*u + 24. Is (-9)/(-12) - 305/u a multiple of 11?
True
Let m(o) = o + 177. Does 4 divide m(-33)?
True
Let a(l) = -42*l**3 + l**2 - 1. Let t be a(-1). Let j = 130 - t. Suppose 2*b + j = 6*b. Is b a multiple of 9?
False
Let a = -196 - -113. Let n = 143 + a. Is n a multiple of 4?
True
Let n(v) = -v - 10. Let c be n(0). Let a = 13 + c. Suppose 2*y = -m + 115, y = -6*m + a*m + 60. Does 21 divide y?
False
Let s(y) = -2*y**2 + 9*y + 3. Let x be s(-3). Is 8 a factor of (-1920)/x - 6 - 4/(-14)?
True
Suppose 32 - 128 = 2*p + 4*n, -260 = 5*p + 5*n. Suppose -f - 2*f - 24 = 0. Is 13 a factor of (-264)/(-14) + f/p?
False
Suppose 60 = 6*c + 4*c. Is (13/2 - 4)*c a multiple of 15?
True
Let j = -22 - -31. Suppose 4*c - j*c = -475. Is 13 a factor of c?
False
Let u = -866 + 1495. Does 17 divide u?
True
Suppose 3*r - 3*r - 4*r = 0. Suppose 4*i - 20 = r, -4*k = -i + 60 - 171. Is k a multiple of 8?
False
Suppose 163 = 4*c + 3*l, 2*l - 158 = -4*c + 4*l. Suppose c*t - 35*t - 980 = 0. Is 28 a factor of t?
True
Suppose -z + 40 + 48 = 0. Let d = z + -55. Is d a multiple of 10?
False
Let u(a) = 6 + 0*a - 8*a**2 + a**3 - 6*a**2 + 8*a**2 - 9*a. Is u(9) a multiple of 42?
True
Let k(d) = -d**2 - 2*d + 35. Let b be k(5). Let f be (-2 - -3)/(2/14). Suppose -f*l + 206 + 144 = b. Does 20 divide l?
False
Suppose -18 = -2*m - 8. Suppose -m*p + 382 = -p + 2*s, 2*p - 196 = -2*s. Is p a multiple of 31?
True
Suppose -146 = -7*v + 5*v. Suppose 5*m = 443 - v. Suppose -4*j + 2*s + 47 = -17, 4*s + m = 5*j. Does 9 divide j?
True
Let f = 83 - -83. Is 8 a factor of f?
False
Let g(c) = 7*c + 3. Let t(l) = 2 - 1 - 4 - 2*l - 4. Let o be t(-6). Is g(o) a multiple of 18?
False
Let v(l) = l**2 + 5*l + 2. Let x = 1 - 5. Let i be v(x). Let n(h) = 6*h**2 + h. Is 22 a factor of n(i)?
True
Let x = -95 - -45. Let u = -410 - x. Is 15 a factor of (2/(-4))/(4/u)?
True
Suppose -3*n = -3 - 6. Suppose n*s = -33 + 171. Does 12 divide s?
False
Let c = -60 + 1383. Is c a multiple of 8?
False
Let p(q) = q**3 - 2*q + 12. Let c be p(0). Let o be 3*2 + c/(-3). Suppose -v - 3*r = -o*r - 17, 5*v - 2*r = 99. Is v a multiple of 3?
False
Does 6 divide -12*(-1)/3 - -266?
True
Suppose -c - c + 4 = 0. Suppose -5*q + c*i + i = -17, 4*i = 2*q - 4. Let u(x) = x**3 - x**2 + 2. Is 10 a factor of u(q)?
True
Let a(m) be the second derivative of m**5/20 - m**4/3 - 5*m**3/6 - 3*m**2/2 + 12*m. Does 21 divide a(6)?
False
Let l(w) = 24*w**3 + 4*w**2 - 29*w + 8. Does 10 divide l(4)?
False
Does 111 divide (4682 - 0)/2 - (-682 + 687)?
False
Does 31 divide ((-403)/39)/((-7)/231)?
True
Suppose -4*z - 4*d = -8, d + 2 = z - 2*d. Suppose -n - 65 = -z*n. Does 13 divide n?
True
Suppose v - 3*v - n = -61, 4*v - 142 = 2*n. Let s be v/(-18) - 3/18. Is 20 a factor of -1 + 0/s + 41?
True
Let j(g) be the third derivative of -g**4/12 + 7*g**3/6 - 11*g**2. Is j(-7) a multiple of 11?
False
Suppose -13*i = 4*y - 12*i - 1360, 0 = -y + 2*i + 349. Does 31 divide y?
True
Let n = -64 - -60. Does 22 divide n - (-597)/(2 - -1)?
False
Suppose 5*r - 13 = -2*v, -r + 2*v + 4 = v. Let b(g) = 3*g + g**3 + 15 + 30 - 62 + 14 - 3*g**2. Is 3 a factor of b(r)?
True
Let n be (-4)/(-30) + ((-196)/105)/(-1). Suppose -h - h = -8. Suppose h*i - s = 156, -5*i + 195 = -0*s - n*s. Is i a multiple of 6?
False
Let k = 886 - 257. Does 16 divide k?
False
Let q(h) = -152*h - 60. Is 20 a factor of q(-3)?
False
Let n = -91 - -26. Let x = n + 109. Is 28 a factor of x?
False
Suppose w - 6 = -5*c + 2*c, -c + w = -6. Suppose c*s - 17 = -4*t, t - 4 = -2*s + 4. Suppose u = 5*k - 412, -k + 90 - 14 = s*u. Does 20 divide k?
False
Let j(m) = -m**3 + 9*m**2 - 4*m - 18. Let n be j(8). Does 7 divide -3 + 4 + 3 + n?
False
Is ((-135369)/(-234))/((-2)/(-4)) a multiple of 12?
False
Let b = 68 - 172. Let v = -43 - b. Suppose -i + 89 = 2*c, -3*i - v = -c + 2*i. Does 27 divide c?
False
Suppose -6*y = -0 - 12. Suppose -x = -2*n + 1024, y*x + 0*x = 8. Suppose 214 - n = -5*p. Is p a multiple of 15?
True
Let t(g) = -g**3 + 4*g**2 + 3*g + 1. Let n be t(4). Suppose 3*j = 395 + n. Is j a multiple of 17?
True
Suppose 0*s - 2*s + 474 = 0. Does 12 divide s?
False
Suppose 5*g = -3*f + 1229, -18*f + 4 = -20*f. Is g a multiple of 19?
True
Let s be (1/3)/((-2)/(-732)). Suppose -5*o + 94 - 759 = -4*a, -s = o - 3*a. Let h = -98 - o. Does 13 divide h?
True
Let q be (-6)/12*(1 - 1). Suppose q = -f + 3 - 1. Suppose 0*g + 2*g = -2, f*g - 24 = -2*h. Is h a multiple of 13?
True
Let g(k) be the second derivative of k**4/4 - k**3/2 + 9*k**2/2 - 4*k. Is 16 a factor of g(5)?
False
Suppose -9*p = -626 - 454. Is 12 a factor of p?
True
Let i(k) = -k + 7. Let s be i(11). Let v be -3 + s/8*-4. Is 14 - v*(0 + -1) a multiple of 13?
True
Suppose -8*u + 1442 = -2302. Does 12 divide u?
True
Suppose 7*m - 10*m - 180 = 0. Let z = -36 - m. Suppose -2*l - z = c - 100, -c + 2*l = -64. Is 14 a factor of c?
True
Let p(f) = f**3 - 4*f**2 - 8*f -