of c?
True
Let d be (-1 - -1) + (4 - 4). Suppose -29*m = -34*m + 4*f + 182, -5*m + 198 = 4*f. Suppose -2*r + d*x + m = -x, 4*r = -2*x + 92. Is r a multiple of 21?
True
Let r = -3980 + 6080. Does 10 divide r?
True
Let w(o) = o**2 + 10*o + 26. Let i be w(-4). Suppose 0 = i*c + c - 150. Does 10 divide c?
True
Let l = -47 + 47. Suppose l = -b + 4*b - 720. Does 40 divide b?
True
Let j = -17 + 22. Suppose -k - 5*p + 1 + 12 = 0, j*p = -5*k + 45. Is 8 a factor of k?
True
Is 2 a factor of 0/197 - (-774 - -1)?
False
Let t(q) be the second derivative of -5*q**3/6 - 11*q**2/2 - 2*q. Does 8 divide t(-7)?
True
Let v(c) = -2*c**2 - 25*c + 22. Let w(i) = 2*i**2 + 25*i - 23. Let a(p) = -4*v(p) - 5*w(p). Is 7 a factor of a(-13)?
True
Let o(g) be the first derivative of -g**4/4 + 2*g**3 + g**2 + 8*g - 10. Let n be o(7). Let r = 46 + n. Is 13 a factor of r?
False
Let v = 293 + -105. Is 8 a factor of v?
False
Is ((-6)/8)/(9/(-1416)) a multiple of 4?
False
Let a be (6/2 - 174) + -4. Let x be a + (-1)/(-2)*-4. Let m = -102 - x. Does 18 divide m?
False
Let b = 1482 - 257. Is b a multiple of 14?
False
Let i(h) = h**2 - 4*h + 43. Let v(r) = -r - 1. Let w(g) = i(g) + 3*v(g). Is w(5) a multiple of 15?
True
Let a(r) be the third derivative of -r**5/60 + 19*r**4/24 + 2*r**3/3 + 26*r**2. Is a(13) a multiple of 28?
False
Let y = -36 - -131. Suppose -3*a + y = 2*a. Suppose 2*l - a = 7. Is 4 a factor of l?
False
Suppose 5*j - 5*y = -0*j - 20, -4*y = -3*j - 15. Let n be j/(35/10 + -4). Suppose -2*f - 2*b - n*b + 28 = 0, -5*f = b - 70. Does 14 divide f?
True
Let r = -14 + 18. Let h(m) = -m + 1. Let v be h(r). Is 3 a factor of (-12 + v)*8/(-12)?
False
Let t be -2 + (-6 - -4) + 7. Suppose -179 = -t*q - 4*j + 110, -3*j - 352 = -4*q. Does 16 divide q?
False
Let r = -105 - -166. Let m = r - 41. Is 3 a factor of m?
False
Suppose 0*c = -5*c. Suppose -20 = -r + 5*j - 436, -3*r + 5*j - 1248 = c. Does 10 divide 6/21 - r/14?
True
Let x(s) = s**3 - 8*s**2 - 14*s + 13. Let h be x(9). Is 3*h/18*(-63)/6 a multiple of 14?
True
Suppose -3*d = -4*d + 4*s - 27, 3*d + 6 = -3*s. Let l = 14 + d. Is 3 a factor of l?
False
Suppose -10*g = -9*g - l - 690, g - 2*l = 685. Is 25 a factor of g?
False
Suppose 4*w + 804 = 5*t, 5*w + 532 = 3*t + 47. Suppose -m + t = -4*j, 2*j - 4*j + 778 = 5*m. Does 39 divide m?
True
Suppose -5*h = -4*v - 30, -6*h - 2*v - 2 = -2*h. Suppose -h*p = -6*p + 16. Suppose 8*q - 153 = p*q - 3*f, 9 = 3*f. Is 14 a factor of q?
False
Let t be 0/(-4) + (1 - -74). Let y = t - 39. Let n = y + 3. Is n a multiple of 13?
True
Suppose -57 = -5*t + 2*t. Let w = t - 17. Suppose -7*z = -w*z - 350. Does 17 divide z?
False
Suppose 3*b = 7*b + 32. Let p be 3/(-4)*b*1. Suppose -p*l = -l - 35. Is l even?
False
Suppose -4 = d, 21 = -5*m + 2*d + 5924. Is 9 a factor of m?
True
Let n = -148 - -147. Does 15 divide -4 + 198 + 0/n*1?
False
Suppose 3*y = 2*q + 746, 3*q = 5*y + 6*q - 1275. Is 36 a factor of y?
True
Let r = -105 + 113. Let u(t) = -t + 19. Is u(r) a multiple of 7?
False
Suppose -4*d = 2*r - 1702, 3*d - r - 1049 = 230. Is 71 a factor of d?
True
Let m = 15 - 13. Suppose m*n - 20 = -2*n. Suppose -x = 2*f - 29, -3*x + 69 = n*f - 4. Does 3 divide f?
False
Let b = 82 + -79. Is 4/(-4)*b - -391 a multiple of 36?
False
Suppose 2*p + 4*l + 2492 = 0, 0*p + 3*p = -2*l - 3730. Let n = p - -880. Is 7 a factor of n/(-9) - 2/9?
False
Does 39 divide (50 - 19) + (-16)/(-2)?
True
Let j(d) be the third derivative of 2*d**5/15 - d**4/24 - d**3/2 + 6*d**2. Is j(3) a multiple of 14?
False
Let y = -62 + 59. Is 16 a factor of y*(-1)/3*0 + 80?
True
Suppose -3*v - 424 = 4*a - 8566, -2*a - 3*v + 4074 = 0. Suppose 0*w + a = 3*w. Does 10 divide 3/4 - w/(-24)?
False
Let w = -928 + 1596. Is w a multiple of 24?
False
Suppose -2*w = 4, 3*j - 3*w + 2*w - 158 = 0. Is 23 a factor of j?
False
Let a(h) = 5*h**3 + 9*h**2 + 14*h - 34. Is a(7) a multiple of 15?
True
Let z be -1*(2 + -2)/3. Let v(f) = f**3 - 5*f**2 + 4. Let u be v(5). Suppose u*t + z*t = 276. Is t a multiple of 18?
False
Suppose -3*h + 9424 = 13*h. Is h a multiple of 15?
False
Let g = -115 - -973. Does 39 divide g?
True
Let h(m) = 28*m - 158. Does 5 divide h(6)?
True
Suppose 37*h - 33*h = 1128. Suppose -4*s + s = -h. Does 15 divide s?
False
Let x be 19 + -8 + 1/(-1). Is 21 a factor of (178/10)/(2/x)?
False
Suppose -3*m - 1 = -4*n + 2, 4*n = -4*m + 24. Suppose -2*o + 21 = 5*h - 22, h + m = 0. Does 8 divide o?
False
Let q = 466 - 70. Is 9 a factor of q?
True
Suppose 10 = 2*l, l + 7945 = 3*j + 2*j. Is 53 a factor of j?
True
Let x be ((-138)/(-322))/(1 + (-6)/7). Is 11 a factor of -1 + 5 + (x - -49)?
False
Let d be (-2)/9 - (-170)/(-45). Does 7 divide ((d - -8) + 208)/2?
False
Suppose -9*k + 3066 + 2136 = 0. Does 23 divide k?
False
Let h = 437 + -65. Suppose -6*v - h = -9*v. Is v a multiple of 21?
False
Let s(v) = v**3 + v**2 - v - 1. Let f(n) = -5*n**3 + 11*n**2 + 2*n + 40. Let g(k) = f(k) + 4*s(k). Does 3 divide g(15)?
True
Suppose 5*q = 8*q + 15. Is (1 - (-3 - q)) + 24 + -2 a multiple of 7?
True
Let m(g) be the third derivative of -g**6/120 + g**4/24 - 19*g**3/6 + 5*g**2. Let q be m(0). Let b = 30 + q. Is b a multiple of 5?
False
Let k = -105 - -34. Let y = -40 - k. Is (-3 + y - 2)*1 a multiple of 26?
True
Let c(z) = z**3 + 2*z**2 + 638. Does 11 divide c(0)?
True
Let l = -37 + 30. Let d(n) = -n**3 - 6*n**2 + 5*n - 9. Does 5 divide d(l)?
True
Let v = 56 - 181. Let s = -50 - v. Does 19 divide s?
False
Let w be (-2)/(((-16)/(-100))/(-2)). Suppose 8*f - 3*f + 60 = 0. Let c = w + f. Is 11 a factor of c?
False
Let u = 173 + -113. Suppose -5*y = -2*p - 149, 2*y - p - u = -0*p. Is 21 a factor of y?
False
Suppose 4*r - 48*n = -52*n + 1564, -3*n = -r + 395. Is r a multiple of 49?
True
Suppose 3*i - 618 = -4*g + 2*i, 5*g - 774 = -2*i. Does 13 divide g?
False
Let k(d) = 6 + 19*d - 11 + 17*d. Does 35 divide k(5)?
True
Let g be (-39)/2*6/(-9). Let p(v) = 4*v + 1 + v - 2*v. Is 10 a factor of p(g)?
True
Let v(w) be the second derivative of -w**5/4 + w**3/3 - w**2/2 - 10*w. Is v(-2) a multiple of 17?
False
Let s be 10*((-3)/8)/(18/(-24)). Suppose -3*r = -s*f + 115, 5*f = -2*r + 2 + 113. Is 15 a factor of f?
False
Let k(j) = 6*j**2 - 3. Let s be k(-2). Suppose 1 = -5*b + s. Is b a multiple of 4?
True
Suppose -4*a = -3*s - 11100 + 2699, -4*a = 5*s + 13959. Let g = 605 + s. Is g/(-18) - (-1)/3 a multiple of 32?
False
Let m = 430 + 138. Is m a multiple of 39?
False
Suppose 0*q - 8 = -4*q. Let v(a) = -a**3 + 9*a**2 - 4*a - 8. Let l be v(7). Suppose q*f - l = 20. Does 8 divide f?
False
Suppose 12 = 4*y, 5*z + 0*y - y - 1677 = 0. Suppose -38*r = -35*r - z. Is r a multiple of 22?
False
Suppose -2*u + 4*z = 1 + 231, 0 = -u + z - 114. Does 7 divide (4/(-2))/(8/u)?
True
Suppose 5*a = 10*a - 20. Suppose -c + 6*c = x + 330, 0 = a*c - 4*x - 280. Is 14 a factor of c?
False
Let f be (1 - 5) + (29 - -1). Suppose -5*m = -f - 4. Let t(c) = c**2 - 2*c - 7. Is t(m) a multiple of 17?
True
Suppose 8*f - 2020 - 1676 = 0. Is f a multiple of 33?
True
Suppose 5*z = -3*c + 9, 5*c = 3*z + 57 - 8. Suppose -5*g + 115 = 5*s, -c = -s + g + 15. Is 10 a factor of s?
False
Suppose 0 = -2*m - 4, 0*m + 4 = -2*v - 4*m. Let n(k) = k**v - 4 + 0*k**2 - 5*k + 2*k. Is 14 a factor of n(7)?
False
Suppose j - 2*c - 6 = 0, -5*j - 2*c = -4*c - 22. Does 10 divide j*(415/20 - -1)?
False
Let v be (-11 - -8)*(-8 - -3). Let b(a) = a**3 - 17*a**2 + 33*a + 19. Is b(v) a multiple of 14?
False
Let f be (-8616)/180 - (-2)/(-15). Is (16/12)/((-2)/f) a multiple of 9?
False
Is 3 + 31110/21 - (-30)/(-70) a multiple of 119?
False
Let b be (-2)/(-6)*(-9)/(-1)*1. Does 6 divide (24/7)/(b - (-515)/(-175))?
True
Let i = -75 + 315. Suppose i + 48 = 9*g. Does 16 divide g?
True
Suppose -4 = 8*p + 4. Does 21 divide p*((-30)/(-25))/(2/(-210))?
True
Suppose -22 = 16*j + 26. Is j/((3 - 6) + 4) + 55 a multiple of 40?
False
Let r(k) = 7*k**2 - k + 720. Is r(0) a multiple of 5?
True
Let p = 11 + -23. Let d be (-23)/3 + p/(-18). Is 9 a factor of 9*2*d/(-14)?
True
Let x(j) be the second derivative of -3*j**3 - 2*j**2 + 3*j. Does 17 divide x(-4)?
True
Let p(d) = 2*d**2 - d + 9. Suppose -12 = -3*q - q. Does 12 divide p(q)?
True
Let l = 42 - -69. Let c = l + 169. Is 35 a factor of c?
True
Does 22 divide 104/1 - (-216)/36?
True
Let f = -637 - -2202. Suppose -5*i + f -