?
False
Suppose 16*p + 4*q - 3391 = 13*p, -p + 1137 = 3*q. Suppose 121*j - 116*j = p. Is j a multiple of 15?
True
Let a(h) = 2*h**2 - h + 9. Let r be a(3). Is 61 a factor of ((-56)/r + 3)/(1/885)?
False
Let s(z) = 14949*z - 1181. Is s(1) a multiple of 11?
False
Let h = 599 - 596. Is 2 a factor of 153 - h - (-30)/6?
False
Let a(w) be the second derivative of 5*w**4/4 + 37*w**3/3 + 7*w**2/2 + 4*w - 2. Does 4 divide a(-6)?
False
Suppose 29489*h - 29475*h - 20084 = 23176. Is h a multiple of 3?
True
Let j(h) = -8*h + 20. Let o = 14 - 12. Suppose 5*p + 0*p - 27 = o*v, 5*v + 36 = 2*p. Does 17 divide j(v)?
True
Suppose 2*o - 10 = -h, -5*h + 2*o = o - 28. Let s = -40 - -44. Is s*40/15*h a multiple of 16?
True
Let g = 3975 + -3398. Does 9 divide g?
False
Suppose 6*i + 8*i - 27*i + 188981 = 0. Does 58 divide i?
False
Suppose -292*c + 3284120 + 374008 = -461408. Is c a multiple of 57?
False
Suppose 2*t - 976 = -4*v, 2*v = t - 163 - 329. Is 10 a factor of t?
True
Suppose 4*c = 5*n + 5, 21 = 4*c + n - 2. Suppose 0 = c*l - 3*z - 715, 5*l - 4*z = 6*l - 166. Does 17 divide l?
False
Let a be (15/(-3) - -520)/((-1)/(-2)). Is 8 a factor of (-1)/(-2*5/a)?
False
Let g(h) = -4*h - 52. Let p be g(-24). Suppose 5*k + 689 = 4*c, -3*k = -c + 130 + p. Suppose q - c = -2*q. Is q a multiple of 5?
False
Let c = -14946 + 14950. Suppose -27 - 13 = 2*n. Does 14 divide (-6)/3 + (-8 + c - n)?
True
Let f(j) = 3*j**2 - 7. Let n be f(3). Let h(c) = 4*c - 68. Let w be h(n). Suppose -2*k + w = -4. Does 8 divide k?
True
Let x = 9427 + -6767. Is x a multiple of 8?
False
Let l(h) = -63 + 19 - 16*h + 18*h. Let r be l(23). Suppose -5*d = -3*t + 105, 0 = -r*t - 0*t - 3*d + 70. Is t a multiple of 7?
True
Let o be -158*(42/(-12) + 4). Let l = o - -109. Does 15 divide l?
True
Let c = -274 - -274. Suppose 5*g - b - 1029 = 0, 4*g + c*g = -2*b + 826. Is 71 a factor of g?
False
Let z = -23323 + 50863. Is 17 a factor of z?
True
Does 9 divide (1 - 5 - -2)*-1037 + 2 + 3?
True
Suppose 187 = 2*n - 301. Let d = -144 + n. Is d a multiple of 10?
True
Suppose 5*z + 4*b = 30850 - 4187, 16002 = 3*z + 3*b. Is 5 a factor of z?
False
Let w(z) = -16*z**3 + 23*z**2 - 25*z - 26. Let i(r) = -r**3 + 4*r**2 - 5*r - 5. Let s(h) = -11*i(h) + 2*w(h). Let p = 1 + -2. Does 6 divide s(p)?
False
Let o be 15584/(-44) + 6/33. Let c = o - -519. Is c a multiple of 11?
True
Suppose 9 - 2 = 7*y. Let k be (-4)/8*(-82)/y. Suppose -4*b = i - k - 164, -2*i = 3*b - 150. Is b a multiple of 12?
False
Let u be ((-12)/(-14))/(4/14). Does 22 divide u/(-3) - -235 - (4 - 0)?
False
Let g(z) = -1251*z**3 - 2*z**2 - 3*z - 1. Let o be g(-1). Does 52 divide (27 - 28)/(2 - o/624)?
True
Let b(f) be the first derivative of -f**2/2 + 84*f - 27. Is 14 a factor of b(9)?
False
Let n(w) = 399*w**2 + 13*w + 130. Is 72 a factor of n(-8)?
False
Let c = -8923 + 21335. Does 66 divide c?
False
Suppose 5*i - 44637 = -3*y, -5*y = -i + 6703 + 2202. Is i a multiple of 7?
True
Let g(x) = -3*x**2 + 11*x - 1. Let l be g(3). Let o(d) = -22 + 0 - 18*d + l*d + 3*d. Is o(-7) a multiple of 6?
True
Let y(o) = 554*o - 3791. Is y(28) a multiple of 82?
False
Suppose l - 2*l + 106 = 4*u, -5*u - 238 = -2*l. Is 4*4/(-24) - l/(-9) a multiple of 3?
True
Does 39 divide 1048/6*(1275/2)/85?
False
Suppose -2*x - 1081 - 446 = 3*p, -x + 1025 = -2*p. Let w = 595 + p. Does 12 divide w?
True
Let b(d) = -227*d - 2569. Does 5 divide b(-37)?
True
Suppose -1 = -3*q + 5*j - 0, -9 = -5*q + j. Let f be ((-715)/52)/(q/8). Let h = -10 - f. Is h a multiple of 9?
True
Suppose 1771 + 129 = 5*f - 2*h, 3*f = -4*h + 1114. Does 18 divide f?
True
Suppose 5*c + 227 - 1260 = -2*a, 3*a = 4*c + 1492. Suppose 5*b - 504 = -4*l, l + 3*b - a = -3*l. Is 3 a factor of l?
True
Let p be (-76)/(-28) + 6/21. Let m = 27 + -25. Suppose -m*u + 131 = 3*u - f, u + p*f - 23 = 0. Is 4 a factor of u?
False
Let b(a) = -a**3 + 11*a**2 + 10*a. Suppose -17*t = -30*t + 78. Does 12 divide b(t)?
True
Let n be (((-100)/(-8))/(-5))/((-1)/2). Suppose -4*p = -0*b + n*b - 2332, 2*p + b = 1166. Let j = p + -383. Is 39 a factor of j?
False
Let m(j) = 273*j - 6787. Is 23 a factor of m(30)?
True
Let c be -3 + (-5)/15*-87. Suppose -c*t + 23*t = 0. Suppose -4*y = -5*d - t*y + 512, y = -3. Does 17 divide d?
False
Let z be ((-4)/(-3))/((-2)/(-3)). Let l(j) = -45*j**3 - j**2 - 5*j - 1. Let r(y) = -6*y**3 - y. Let c(h) = -l(h) + 6*r(h). Is 25 a factor of c(z)?
True
Let j be ((-6)/18)/((-1)/126). Is (-7)/j - (-1766)/12 a multiple of 25?
False
Let z(v) = -v**2 - 6*v - 9. Let n be z(-5). Is ((-16)/24)/(((-4)/(-99))/n) a multiple of 16?
False
Let k(y) = 20*y**3 + 5*y**2 + 6*y + 2. Let z be k(-2). Is 6 a factor of (6 - 7)*z + (0 - 2)?
False
Suppose -k + 2*w = -6454, -10*k + w = -14*k + 25789. Is 32 a factor of k?
False
Let n = 229 - 111. Let r be 32/(-3 + 5)*(-1 - -6). Let l = n - r. Is l a multiple of 7?
False
Does 100 divide 397 - -1 - (-19 - (-24 + 7))?
True
Let d = -471 + 481. Does 5 divide (1108/d)/(288/45 - 6)?
False
Suppose -f + 2*j + 12786 = 4898, 5*f + 5*j - 39365 = 0. Is f a multiple of 31?
False
Let k(v) = 37*v**3 - 6*v**2 + 37*v - 13. Does 7 divide k(4)?
False
Let p(u) = 310*u**3 + 7*u**2 + 12*u - 70. Is p(3) a multiple of 227?
True
Let x = -11 - -12. Suppose -2*f - x = -2*n - 69, -5*f + 200 = 5*n. Let b = f - 29. Does 8 divide b?
True
Let f(k) = 4186*k**2 - 8*k + 11. Does 40 divide f(3)?
False
Let d(w) = -14*w + 1. Let a be d(1). Let v(n) = -7*n - 14*n**2 - n**3 + 4*n + n**2 + 23 + 2*n. Is 17 a factor of v(a)?
False
Suppose 5*r = 4*f - 10473, 451*f + r + 7863 = 454*f. Does 6 divide f?
True
Suppose 7*p + 45 = -1271. Let j = 480 + p. Does 41 divide j?
False
Let k = -4325 - -6430. Does 17 divide k?
False
Let y(f) = 866*f + 3585. Is 4 a factor of y(7)?
False
Suppose -v + 1621 = 5*z, -3*z + 1962 = 3*z - 3*v. Does 13 divide z?
True
Let u(y) = -6*y - 36. Let j be (15/(-6) + -1)/(6/12). Let m be u(j). Is (m + (-8)/2)/((-2)/(-88)) a multiple of 27?
False
Let q(n) = -n**3 + 9*n**2 + n + 10. Suppose -5*g + 20 + 15 = 0. Is q(g) a multiple of 7?
False
Does 2 divide (4/8)/(34/13124)?
False
Let g(l) = -7*l**3 + 51*l**2 + 22*l + 16. Is 76 a factor of g(-8)?
True
Let p be 3*(-2)/(-3) - 5474/(-34). Let a = p - 91. Suppose 6*x - a = 3*x. Is 6 a factor of x?
True
Let j(u) = 7*u + 4. Let i(m) = -m + 1. Suppose 4*t = -t - 5. Let r(z) = t*j(z) - 3*i(z). Is 6 a factor of r(-4)?
False
Suppose -4*x + 82232 - 16232 = -4*g, 3*g = 2*g. Is x a multiple of 55?
True
Let c be ((-14)/(-6))/((-3)/(-108)). Let z(q) = q**3 - 39*q**2 - 125*q + 27. Let o be z(42). Let n = c - o. Is n even?
False
Suppose 5*w - 44 = -34. Suppose 0 = 3*g - 4*a - 1848, 4*a = w*g - 5*g + 1824. Is g a multiple of 34?
True
Suppose -5*a - 19 = -o, -4*o + 2 = a - 11. Suppose o*x - 3*c = -4*c + 1502, -2*x - 3*c = -756. Is x a multiple of 15?
True
Let c be (-529)/(-138) + (-14)/(-12) + -1. Suppose -2*b + 3*a = 39, -2*b = -c*a + 27 + 17. Is 21 a factor of (b/(-15))/((-6)/(-315))?
True
Let h = 63480 - 31620. Is h a multiple of 10?
True
Let f be 69/(-8)*2 - 6/8. Is 5 + -3*264/f a multiple of 7?
True
Is 11 a factor of -38*681*(-8)/48 - 1?
True
Suppose 6*n - 7*n + 736 = 0. Suppose 16*l + n = 20*l. Is 23 a factor of l?
True
Let z(l) = -232*l + 2072. Does 103 divide z(-19)?
False
Let y be ((-20)/(-6))/5*-3. Let g be (-42)/63*(-642)/4. Let a = g + y. Is a a multiple of 11?
False
Let b be ((-13)/(-3) + 12/(-3))*-1119. Let w = b - -458. Is 3 a factor of w?
False
Let i(s) = 2*s**3 - 4*s**2 - 1. Let k be i(3). Let h(o) = 58*o + 304. Is 49 a factor of h(k)?
False
Is (-161 - (-92)/(-23))/((-3)/358) a multiple of 116?
False
Let s(y) = y**3 + 6*y**2 - 20*y - 193. Is s(17) a multiple of 6?
True
Let g = 37 - 83. Let b = g + 45. Is (3/3)/(b/(-10)) a multiple of 5?
True
Let g(q) = -3*q + 99. Let b be g(33). Let x(h) = -2*h**3 + h**2 - 2*h + 575. Does 23 divide x(b)?
True
Suppose -3458 = -7*k + 161. Suppose 2*b = b - 258. Let t = b + k. Does 37 divide t?
True
Suppose j = 5490 + 33106. Suppose -j = -23*f - 232. Does 11 divide f?
False
Suppose 4*o = 4*p + 1772, 4*o - 6*p + p = 1775. Is 44 a factor of o?
True
Let a = -14 - -181. Let w = a + 15. Is 14 a factor of w?
True
Let m(t) = -5*t**3 - 28*t**2 - 411*t - 65. Does 25 divide m(-15)?
True
Let p(g) be the third derivative of 5*g**4/4 + 34*g**3 - 220*g**2. Is p(17) a multiple