4*l + 5*c - 290 = 0, d*l - 346 = 5*c - v*c. Is 14 a factor of l?
True
Suppose 65 = -2*i - 9. Suppose -4*g + 354 = 2*g. Let c = g + i. Is 20 a factor of c?
False
Suppose -3*g + 12 = g. Suppose 3*c = -5*h + 28, -3*c - h + 16 = -2*h. Suppose c*p - 198 = -g*p. Does 5 divide p?
False
Suppose -3*h - 9378 = -3*n, -6*h + 4*h = 3*n - 9373. Is n a multiple of 25?
True
Let w(l) = l**2 - 20*l - 21. Let o be w(18). Is 4 a factor of o/(-2) - 7/(-14)?
False
Let p be 7 - 2 - 1*(13 + 4 + -6). Let b(k) = -9*k - 7. Let h(z) = 19*z + 13. Let s(j) = -7*b(j) - 4*h(j). Does 25 divide s(p)?
True
Suppose 280239 - 51759 = 51*s. Does 70 divide s?
True
Let a be 4/(-2) - (-27683)/31. Suppose -6*t + 1749 = -a. Does 10 divide t?
True
Suppose 50*t - 53*t = -3*h - 20748, 3*t + 2*h - 20728 = 0. Is 36 a factor of t?
True
Let v be ((-54)/(-12) + -5)*0. Is 4 a factor of ((v - 34) + 4)*(-2)/4?
False
Let j be (-633)/21 - (-1)/7. Let v = -115 - j. Let u = 153 + v. Is 12 a factor of u?
False
Suppose -2*g = -7*g + v + 74, 0 = -3*g - 4*v + 49. Suppose g = 4*q - q. Suppose 5*n - 276 = -3*o + 50, 2*o - 324 = -q*n. Is 16 a factor of n?
True
Let w be (1/(-4))/((-13)/156). Suppose -4*q + w*r + 291 = -350, -3*q - 2*r + 502 = 0. Is 12 a factor of q?
False
Let j(m) = 35*m**2 - 70*m - 1257. Does 3 divide j(-13)?
True
Let s = 11080 + -4909. Does 16 divide s?
False
Suppose 11034 = 3*q - s, 0*s = 2*q - 5*s - 7330. Is q a multiple of 32?
True
Let c(b) = -b**3 - 5*b**2 - 14*b - 37. Let x be c(-7). Suppose t = l - 464, l = -4*t + 295 + x. Is l a multiple of 6?
True
Let m(a) = a**2 + a - 37. Let i be m(6). Suppose -2*x - 611 = -5*x + i*v, 3*x - 631 = -5*v. Is 4 a factor of x?
False
Let d = -418 - -319. Let p = 603 + d. Is p a multiple of 9?
True
Let t = 448 + -725. Let x = t + 552. Does 7 divide x?
False
Let a = -37741 + 38203. Does 42 divide a?
True
Suppose -5*q + 5*j + 135748 + 47897 = 0, -3*j = 5*q - 183685. Is q a multiple of 35?
False
Let q = -14 + 8. Let w(t) be the third derivative of t**6/120 + 2*t**5/15 + t**4/4 + t**3/6 - 277*t**2. Is 8 a factor of w(q)?
False
Let t(q) = -36*q**3 - 397*q**2 - 13*q - 11. Is 5 a factor of t(-11)?
False
Suppose 0 = 5*v - k - 46, -5*v + 3 = 4*k - 63. Let u(t) = 0*t**3 - 1 + 12*t + 12 + 9*t**2 - t**3. Does 4 divide u(v)?
False
Let s be (-2)/(-7) + (-10)/(-21)*12. Suppose -s*d = -9*d + 9. Suppose 2*o - d*o = -45. Is 14 a factor of o?
False
Suppose 21*r - 9*r = 24. Suppose 0 = -3*k + r*n + 580, -5*k - 4*n + 966 = -7*n. Is k a multiple of 16?
True
Suppose -14*w = -10*w - o - 18146, -2*w = -2*o - 9070. Is 13 a factor of w?
True
Let s(u) = 4*u**3 - 30*u**2 - 56*u + 24. Let o be s(9). Let g = -26 - -53. Does 16 divide (-1793)/(-9) - o/g?
False
Suppose 15 = -433*s + 428*s. Is (-30 - s)*(-56)/21 a multiple of 12?
True
Let b(r) = -r - 9. Let t be b(-14). Suppose -t*x = -223 - 22. Does 2 divide x?
False
Suppose 0 = 11*d - 17 - 27. Does 3 divide d*(5 - 4) - (-134 + 3)?
True
Suppose 2*r - 72235 = -3*k, -k - 93871 = -3*r + 14520. Is r a multiple of 13?
False
Let d(w) = 3*w**2 + w**2 + 2*w**2 - 4*w**2 + 1 - 17*w**3. Let y be d(2). Let x = 238 + y. Does 37 divide x?
True
Suppose 3*y = 2*k - 305, -k - 8*y + 160 = -12*y. Let h = k - -152. Does 17 divide h?
False
Let i(o) = 941*o - 55. Let h be i(5). Suppose -111*f + 105*f + h = 0. Is f a multiple of 14?
False
Let b(p) = p**2 + 95*p + 427. Is b(49) a multiple of 29?
False
Let o(t) = -4*t + 121. Let g be o(30). Does 27 divide ((-3250)/4 - g/(-2))/(-2)?
False
Let j(q) = 4*q**2 + 7*q - 13. Let f be j(4). Let y be (-1)/5 + (188/(-10) - 0). Let k = f + y. Does 15 divide k?
True
Let q = -147 + 1724. Is q a multiple of 19?
True
Is 27 a factor of 3/4*10/9*(-101508)/(-55)?
False
Suppose 108*i - 2644337 = -936749. Does 163 divide i?
True
Let i(x) be the first derivative of -7*x**2 + 26*x**2 + 20*x**2 - 19 - 2*x. Does 19 divide i(1)?
True
Suppose 121 = 6*r + 13. Let b be (20/r)/5 - (-194)/18. Let q = b - -22. Is q a multiple of 11?
True
Suppose -2*z - 2*h = -4*z + 50, -2*z + 32 = 4*h. Let q = -26 + z. Is 31 a factor of q + 2 + 6*21?
True
Let j = -12 - -19. Suppose -j*o = -13*o - 198. Is 16 a factor of (o - -1)/((-15)/(-6) + -3)?
True
Let d be 1 - (1 + 6) - -3. Let j(t) = 2*t - 82 + 7*t**2 + 33 + 27 + 31 + 0*t. Does 16 divide j(d)?
False
Let r = 4569 - -14979. Is 27 a factor of r?
True
Suppose 2*b - n + 800 = 2553, -2*b = 5*n - 1783. Is 25 a factor of b?
False
Let j = 129 + -127. Let o(d) = 21*d**2 - 3*d + 3. Is o(j) a multiple of 4?
False
Suppose 16*l + 4979 = 113091. Is l a multiple of 29?
True
Let v(m) = 5*m + 55. Let h(r) = 5*r + 55. Let t(i) = -5*h(i) + 6*v(i). Is t(28) a multiple of 17?
False
Suppose 111*m + 5*f - 70060 = 108*m, 0 = -4*m - 3*f + 93417. Is 135 a factor of m?
True
Let d(g) = 18*g**2 + 5*g - 2. Let a be d(-1). Suppose 153 = -a*q + 6423. Is 6 a factor of q?
True
Let q = -4151 - -14418. Is q a multiple of 159?
False
Suppose 3*l = 3*m + 21, -3*l - 6*m + 21 = -10*m. Suppose l*b = -3*b + 220. Does 11 divide b?
True
Suppose w - 45 = -4*w + 3*r, w - 2*r = 16. Suppose -5*p - 4 - w = 0. Does 5 divide ((-2)/3)/(24/342)*p?
False
Let g(b) = -3*b + 4. Let x(k) = -5*k**2 - k - 1. Let u be x(1). Let l be g(u). Suppose v = -3*i + 77, -i + 4 = v - l. Does 24 divide i?
True
Suppose 5*h - 26*x - 30840 = -28*x, 9*h - 55512 = 4*x. Is h a multiple of 6?
True
Let k = -229 - -520. Let y = 399 - k. Is 9 a factor of y?
True
Suppose 107*t = 48*t + 181720. Is 77 a factor of t?
True
Suppose 68*r + 592 = 66*r. Let c = r - -326. Is 23 a factor of c?
False
Let i(y) be the first derivative of 5*y**2 - 34*y - 2. Suppose -c + 11 = -311*h + 316*h, -4*c = 4*h - 76. Does 22 divide i(c)?
True
Let j(w) be the second derivative of 957*w**5/20 + w**4/12 + 2*w**3/3 - 5*w**2/2 + 39*w. Is j(1) a multiple of 33?
True
Suppose -4 = -m, -2*g - 2 = 5*m + 18. Let l(v) = v**3 + 20*v**2 - 12*v - 39. Is l(g) a multiple of 3?
True
Does 4 divide (-63*(-54)/(-1323))/(4/(-20594))?
False
Let j = -751 - -1241. Suppose 2572 = 6*a + j. Does 10 divide a?
False
Suppose -3*q = -35 - 10. Suppose -24 = 2*o + a, 4 = 4*a + 12. Let c = o + q. Is 4 a factor of c?
True
Let z(k) = 1139*k - 4175. Is 19 a factor of z(16)?
False
Let n(g) = 28*g - 1. Let d = -5 + 13. Let v be n(d). Suppose 5*c - v + 53 = 0. Is 17 a factor of c?
True
Suppose 0 = 3*z + v - 322, -2*z - 430 = -6*z - v. Suppose 0 = 4*s - 4*k - 232, 0*k - z = -2*s - 2*k. Is s a multiple of 7?
True
Let b(s) be the first derivative of 43*s**2/2 - 146*s - 45. Is b(6) a multiple of 8?
True
Let p(n) = 11*n**3 + 245*n**2 - 15*n - 11. Does 66 divide p(-20)?
False
Let v(l) be the third derivative of 19*l**5/60 + 2*l**3/3 - l**2. Let i be 2*(-1)/(-4)*9/((-27)/(-12)). Is v(i) a multiple of 13?
False
Let p be 1 + -549 + 0/(-4). Let v = 690 + p. Does 7 divide v?
False
Suppose -7 = 2*r - 3*r. Suppose -5*g - 2*j + j - 20 = 0, -j + r = -4*g. Does 17 divide 3/((-1107)/372 - g)?
False
Is 39 a factor of (138051/6)/9*(6 + 1 + -5)?
False
Let t(k) = k**2 + 86*k + 1845. Is 20 a factor of t(-21)?
True
Let c(r) be the third derivative of r**6/120 + r**5/15 - r**4/12 + r**3 + 51*r**2. Does 14 divide c(-4)?
True
Let m(x) = 10*x**2 - 8*x + 349. Is m(-7) a multiple of 18?
False
Suppose 47*n + 44*n + 21965 = 92*n. Does 191 divide n?
True
Suppose 40*t = 45*t - 5. Suppose 7*u + t + 6 = 0. Does 11 divide 30/(-2)*u + (-10 - -14)?
False
Suppose 5*h - d - d - 914 = 0, -3*d - 916 = -5*h. Suppose h = -7*t - 280. Let s = 92 + t. Is s a multiple of 13?
True
Let d be 20/25*-15*4*-29. Suppose 10*p = d + 568. Is p a multiple of 7?
True
Suppose 4 = 2*v, -3*x = -4*v - 14727 - 41938. Does 34 divide x?
False
Suppose 20*w - 14 - 26 = 0. Suppose -w*m = -2*n - 94, -m + 47 = -4*n - n. Is 7 a factor of m?
False
Let o(z) = 21*z + 27. Let p be o(-7). Let q = p - -177. Is 19 a factor of q?
True
Let j(g) = 5113*g - 2879. Is j(3) a multiple of 178?
True
Suppose 2*d - 3 = 5*f - 2, 3*f + 3 = 0. Is (-95)/(-40) + d + (-5545)/(-40) a multiple of 10?
False
Suppose -15*k = -125 - 55. Suppose 0*n = -k*n + 2880. Is n a multiple of 21?
False
Let j = 4093 - -202. Does 73 divide j?
False
Let k be 4/6 - 16/(-3). Let f(t) be the third derivative of t**5/30 - t**4/6 - 13*t**3/6 + 21*t**2. Is f(k) a multiple of 7?
True
Let s(j) = 12*j**2 - 2*j + 3. Let w(g) = 22 - 8*g - 49 - g**2 + 15 + 28. Let o be w(-