 149*n + 1581. Suppose -n*a + 1848 = -81*a. Is 7 a factor of a?
True
Suppose -183540 = 238*c - 284*c. Is c a multiple of 95?
True
Suppose -158403 = 4*a - 9*a + 3*s, -4*a + 126722 = -2*s. Is 180 a factor of a?
True
Let p be 2/22 - (-60501)/231. Suppose -p + 874 = l. Is 34 a factor of l?
True
Let l = -143 + 12. Let d = l + 388. Does 8 divide d?
False
Is ((-30)/21)/(-2) - (-213674)/266 a multiple of 3?
True
Suppose -26*q + 12 = -20*q. Let g(y) = 250*y**2 + 12*y - 24. Is 100 a factor of g(q)?
True
Suppose 80*i - 17*i - 65911 - 910589 = 0. Is i a multiple of 62?
True
Let v = -63 + 59. Let l(i) be the first derivative of i**4/4 + 2*i**3 - i**2 - i + 4. Does 13 divide l(v)?
True
Suppose 54 = -23*p + 22*p. Let t = p - -58. Suppose -b + t*q + 22 = 2*b, -q = -b + 7. Is 3 a factor of b?
True
Let d(s) = -2001*s + 12. Let m be d(4). Let j be 3*2/33 + m/(-88). Suppose -21 = 5*g - j. Is g a multiple of 3?
False
Suppose -4*s + 300 = -s - 3*b, -200 = -2*s + b. Suppose -s = -7*g + 5*g. Suppose 0 = 5*c, -2*h + 0*c + g = c. Does 11 divide h?
False
Let n(z) = 59*z**2 + 282*z - 103. Is 14 a factor of n(-10)?
False
Suppose 32*d - 26*d - 11166 = 0. Does 35 divide d?
False
Let s = 850 - 825. Let g = 2 + -7. Does 13 divide (24/(-5))/(g/s)?
False
Let t(v) = -v**3 + 40*v**2 + 11*v - 58. Is 14 a factor of t(20)?
True
Let n be ((-159)/(-2))/(4/(-8)). Let f = -4773 - -4704. Let v = f - n. Is v a multiple of 20?
False
Let r = -5673 + 33270. Does 125 divide r?
False
Suppose 9*c - 8*c = -3*w + 4617, -4*c = w - 18402. Is 14 a factor of c?
False
Let r = 5302 + -4925. Does 13 divide r?
True
Is (-5 + (-11679)/(-85))/(4/370) a multiple of 6?
False
Let b(k) = 2*k**2 + 25*k - 7. Let w be b(-13). Suppose -7*a = -10*a + w. Is a + 1 - (-5 + 25)*-7 a multiple of 34?
False
Let z = 6911 + 770. Does 50 divide z?
False
Let z(b) = -330*b - 1179. Let c(i) = 65*i + 236. Let h(q) = 24*c(q) + 5*z(q). Does 15 divide h(-6)?
False
Let n(w) = w**3 - 27*w**2 + 66*w - 39. Let q(u) = -3*u**3 + 81*u**2 - 197*u + 118. Let d(b) = 7*n(b) + 2*q(b). Is d(25) a multiple of 21?
False
Let f(b) = 7*b**3 - 8*b**2 - 20*b + 13. Is 3 a factor of f(10)?
False
Let d = -3602 + 4058. Is 41 a factor of d?
False
Let a(d) = 6*d**2 + 9*d - 10. Let k be a(5). Let u = -165 + k. Is u a multiple of 4?
True
Suppose 67 - 71 = -2*t. Does 24 divide 210/84 + 1159/t?
False
Let k be (-4)/(0 - 0 - 1). Suppose -7*h + 2*h = -4*c + 27, 57 = k*c + h. Let x(o) = o**2 - 13*o + 16. Does 15 divide x(c)?
False
Let t(i) = 963*i**2 + 17*i - 10. Is t(2) a multiple of 19?
True
Let i be -170*((-10)/(-40))/((-1)/12). Suppose 5*v - 4*o - i = 0, 7*o - 3*o + 118 = v. Does 49 divide v?
True
Let b(q) = -2*q - 3. Let k be b(-2). Suppose -k = g + 3, g = -4*m + 8. Suppose 2*y = 3*z + 159, 5*y + 0*z = m*z + 411. Does 42 divide y?
True
Let p be (-342)/(-12)*(-24)/18. Let z(k) = -k**3 - 37*k**2 + 38*k + 37. Is 2 a factor of z(p)?
False
Let h(i) = 38*i**2 + 177*i + 680. Is h(-4) a multiple of 2?
True
Suppose r - 5*o - 1748 = 0, -o = 3*r + 329 - 5637. Suppose 0 = 3*p - k - 4242, 4*p - r = -4*k + 3904. Does 35 divide p?
False
Let u(p) = -6*p + 11. Let c be u(-9). Let h = 50 - c. Let f = -2 - h. Is f a multiple of 11?
False
Does 33 divide (-51358)/(-10) - 192/(-160)?
False
Suppose 3*v - 60 = o, -3*v + 0*o - 3*o + 48 = 0. Does 41 divide 2214/(-4)*((-342)/27)/v?
True
Is 11 a factor of 3181 - (7/3 + (-26)/78)?
True
Let d(h) = -11*h**3 + 15*h**2 + 52*h + 17. Let u(c) = -5*c**3 + 8*c**2 + 25*c + 8. Let i(s) = 6*d(s) - 13*u(s). Does 36 divide i(-14)?
True
Suppose -4*i = 5*a - 52 - 4, 4*a = -5*i + 70. Suppose -3*s + i = 4*s. Suppose s*t - 3*y = 744, 4*t + y - 1466 = -4*y. Does 44 divide t?
False
Suppose 0 = 7*j - 1916 - 415. Let w = -95 + j. Is w a multiple of 3?
False
Suppose -16*m - 1797 = -23413. Is m a multiple of 95?
False
Let k(w) = 1960*w**2 - 51*w + 10. Is k(-2) a multiple of 16?
True
Suppose 328*r - 902603 + 295115 = 244*r. Is 38 a factor of r?
False
Let g be (11 - 14)/(3/(-116)). Is 8 a factor of (-2)/(-10)*10*g?
True
Let v = 8568 - 7834. Does 16 divide v?
False
Let t(c) = c**2 + 16*c - 57. Let u be t(-19). Does 11 divide u + 638 - 0/22?
True
Let a be -1 + 4/(16/6)*2. Suppose 3*d - 12 = a*y - d, 3*d + 5 = 5*y. Suppose -y*w + 45 = -31. Is 12 a factor of w?
False
Let q(r) = -5*r**3 + 4*r**2 + 5*r + 44. Let t(m) = -m**3 + m**2 + m + 11. Let o(b) = -2*q(b) + 9*t(b). Does 11 divide o(0)?
True
Let i = -2 + 7. Let j(y) = y + 14*y**3 + 2*y + 0*y**2 - i*y + 3*y**2. Is j(2) a multiple of 24?
True
Suppose 5*i - 141659 = -3*z, -34698 = -i + 5*z - 6327. Does 184 divide i?
True
Suppose -3*p = -w + 5*w - 4, -20 = -5*p - 4*w. Let c be ((3 - -21)/(-4))/((-2)/p). Suppose -3*n + 3 = -c. Is n even?
False
Suppose -4*h + 4*a + 11412 = 0, -4*h = -a - 15754 + 4333. Is h a multiple of 17?
True
Let f(o) = 14*o - 12. Let m be f(7). Let k = m + -354. Let h = -177 - k. Is 13 a factor of h?
True
Let u(z) = z**3 + 10*z**2 + 11*z - 31. Let k be u(-8). Suppose -k*h = -10*h - 3*a + 1278, 6440 = 5*h + 5*a. Is 11 a factor of h?
False
Suppose h - 5 = -2*v, 31 = -3*v + 7*v - 5*h. Suppose 5*j - 270 = -v*p + 24, -2*p = -4*j - 160. Is p a multiple of 38?
True
Suppose -4*m = q - 99, 2*m - 146*q + 145*q - 51 = 0. Let u be 2/4 + (-83)/(-2). Let l = u - m. Is l a multiple of 5?
False
Let h(m) = -5*m - 29. Let w be h(-7). Let s(d) = 5 - 46*d + 12*d + w - 2. Is s(-6) a multiple of 36?
False
Let d(z) = -5*z**2 + 28*z + 25. Let h(q) = 9*q**2 - 55*q - 50. Let u(x) = 7*d(x) + 4*h(x). Suppose -4*i - i = -130. Does 9 divide u(i)?
True
Is 15 a factor of 1/2 - (-15)/(30/2039)?
True
Suppose 0 = 12*l - 11*l + 5*z - 29544, -9*l = -4*z - 265455. Is 18 a factor of l?
False
Let j be (177/4)/(27/756). Suppose -2*l - j = -3*s, 3*s = 2*s + 4*l + 413. Does 27 divide s?
False
Let f = 4707 - -6414. Is f a multiple of 33?
True
Let h(i) = 12*i**2 + 5*i**2 + 1 + 4 - 9*i**2 - 6*i. Is h(-5) a multiple of 15?
False
Let q be -7 + (0 + -3)*-3. Suppose q*t + 2 = -0*t, -3*w + 2001 = -3*t. Is w a multiple of 9?
True
Suppose -51465*a = -51471*a + 12840. Is a a multiple of 4?
True
Suppose -5*p = -5*l - 40, 2*p - l + 22 = 4*p. Let u(q) = 11*q - 45*q + 6 + 41*q + 5*q - q**2. Is u(p) a multiple of 3?
False
Let y = -12 + 14. Suppose 3*m = -m - y*f - 40, 0 = 5*m + 5*f + 60. Is 8 a factor of (-1)/((m/(-18))/(-4))?
False
Let t(o) be the second derivative of 15*o + 11/12*o**4 - 23/2*o**2 + 5/3*o**3 + 0. Is 33 a factor of t(5)?
False
Let o(r) = r - 5. Let v be o(0). Let t = -188 - -282. Let j = v + t. Does 14 divide j?
False
Suppose 4*y + p - 25 = 0, 0 = 3*y + 2*y - 5*p. Suppose 0 = -y*o + 2*o + 306. Suppose -5*z + 36 = 4*r - 51, 5*r + 4*z - o = 0. Does 5 divide r?
False
Suppose -110 = -4*v - 3*b, -v + 3*b = -b - 37. Suppose 1792 = v*i - 21*i. Does 31 divide i?
False
Let d = 740 - 733. Suppose -4*o + 9*m + 2076 = d*m, o = 3*m + 519. Is 14 a factor of o?
False
Suppose 5*u + 99 = -146. Let d = -46 - u. Suppose a = -d*a + 452. Does 9 divide a?
False
Let h(l) = -l**3 - 7*l**2 - 3*l + 6. Suppose 2*q - 3*s = -21, 0 = 2*q - 5*q - 3*s - 9. Let t be h(q). Is 4/t - (-146)/6 a multiple of 6?
True
Let c(x) = 5*x**3 - 28*x**2 - 26*x + 51. Is c(8) a multiple of 24?
False
Let y(b) = -b**3 + 7*b**2 + 19*b - 3. Let m be y(9). Is (-3)/(81/m) + 2774/9 a multiple of 22?
True
Suppose 7*d - 20 = 2*d. Suppose d*v - 5*v = -4*v. Suppose v = -6*z - z + 56. Is 5 a factor of z?
False
Let w = 1504 - -1491. Does 12 divide w?
False
Let g(c) = -469*c**2 + 18*c - 18. Let j be g(1). Let y = -331 - j. Is y a multiple of 5?
False
Let w(n) = n + 3. Suppose q + 5*d - 3 = 0, 0*q + d = -3*q + 9. Let j be w(q). Suppose -2*b + j = -48. Is 9 a factor of b?
True
Suppose -d - 1182 = -5*t + 606, 0 = -2*t + 2*d + 720. Suppose 2*a + 585 = 5*s, -5*s + t + 193 = 5*a. Does 10 divide s?
False
Suppose 21*a - 64*a = 14*a - 12996. Is a a multiple of 57?
True
Let a = 4782 + -2494. Does 53 divide a?
False
Suppose -3*a + 3*g + 3591 = 0, -2397 = -2*a + 74*g - 73*g. Is a a multiple of 5?
True
Let o(v) = v**3 - 4*v**2 + 12*v - 12. Let h = 44 + -36. Let l be o(h). Let n = -200 + l. Is 17 a factor of n?
False
Suppose 6*k = -42*k - 42*k + 191880. Is k a multiple of 82?
True
Let b be (127020/(-58))/(-1 - 10/(-16)). Is b/(-64)*(-1 + -3) a multiple of 12?
False
Is 20 a factor of 6000/60*12/5?
True
Let c = 1349 