j = 178 + p. Is j a multiple of 36?
False
Suppose 25 = -5*v - 0*v, 2*a + 5*v = 1. Suppose a*s = 684 + 473. Does 3 divide s?
False
Let n(q) = 862*q**3 + 3*q**2 - 31*q + 48. Does 11 divide n(2)?
False
Suppose 630*r - 619*r - 3168 = 0. Is r a multiple of 6?
True
Let a = 118 + -112. Is 29 a factor of (18 + (1 - 3))*a/3?
False
Let a(f) = 44*f + 3046. Let c be a(-69). Let g(x) = -x**2 + 4*x + 5. Let k be g(5). Suppose -c*q + 9*q + 89 = k. Does 14 divide q?
False
Let o be (-12)/(-6)*4598/4. Suppose 2*n + o = -4*u + n, -580 = u - 5*n. Let j = u - -840. Is 23 a factor of j?
False
Suppose -3*f + 12 = 30. Let o(j) = 5*j**3 - 6*j**2 + 0 - 2*j**3 - 5*j**3 + 7*j - 4. Does 31 divide o(f)?
False
Let a(i) = 13*i**3 + 4*i - 3. Let p(q) = 66*q**3 + 2*q**2 + 20*q - 15. Let f(y) = 11*a(y) - 2*p(y). Is f(3) a multiple of 10?
True
Let v = -1 - 3. Let q be v + -1*(338 - 2). Is 12 a factor of (-2)/(-3) - q/30?
True
Suppose -111*d = -134*d + 71*d - 106176. Does 2 divide d?
True
Suppose -5*d - 60 = -5*c, -6 = -4*c + 3*c + 4*d. Let m = c + 31. Does 6 divide m?
False
Let c = 69 + -67. Suppose -4*a = c*w - 252, 0 = 2*a - 3*w - 52 - 66. Is 8 a factor of a?
False
Suppose -2*a = -2*v - 52, -3*a + 0*a + 80 = -v. Suppose 51 = 6*d - a. Suppose -65 = -m + d. Is m a multiple of 19?
False
Let y(k) = 2*k**2 - 83*k - 542. Let n be y(47). Let s(h) = -h**2 - 20*h - 23. Let l(r) = 3*r**2 + 61*r + 68. Let m(z) = -6*l(z) - 17*s(z). Does 3 divide m(n)?
False
Let m(r) = -4*r**3 + 9*r**2 + 7*r - 2. Let v be m(-1). Suppose -5*d + 7*d = -v, -p + 2*d + 18 = 0. Is 7 a factor of p?
True
Let t be ((-2)/(4/4))/((-3)/6). Suppose -4*r + 0*r - 6293 = q, 4*q = -t*r - 25208. Is 1/(-7) - q/35 a multiple of 12?
True
Is 13 a factor of (828/(-322))/((-7960)/1988 - -4)?
False
Let h = -99 - -104. Suppose -6*j = 2*u - h*j + 80, 2*u = 5*j - 104. Let v = u + 126. Does 9 divide v?
False
Suppose k + 6 = 21. Suppose k = 5*a, -a - 45 = -3*c - 4*a. Let q = c + 37. Is q a multiple of 49?
True
Let t be (15/(-25))/((-4)/(-10))*-82. Let f = t - 111. Does 12 divide f?
True
Let d(w) = -12*w - 14. Let x be d(5). Let g(u) = 18*u + 8. Let y be g(7). Let s = y + x. Is s a multiple of 10?
True
Suppose 84*c - 104*c + 122740 = 0. Is 4 a factor of c?
False
Suppose 460639 + 359486 = 243*v. Is 75 a factor of v?
True
Suppose 8552 = 2*c + 2*c + 4*g, -10692 = -5*c - 4*g. Suppose 11*b = b + c. Does 32 divide b?
False
Is 80 a factor of 9757 - -10*10/50?
False
Let k(a) = -a - 17. Let s be k(-18). Does 8 divide (-30*s)/(6/(-36))?
False
Suppose -8248 = 62*y - 103223 - 47811. Is y a multiple of 49?
True
Let w be (-6)/(-5)*-1 - (-268)/(-335). Is 17 a factor of (1/(-3))/(w/6) + 169?
True
Suppose 174*u + 17062 = 177*u - 5*h, 5*u = 5*h + 28430. Does 7 divide u?
True
Suppose 349*m - 6809147 = 3716352 + 3859234. Does 11 divide m?
True
Let j(d) = -d**3 + 18*d**2 - 25*d. Suppose 0*y - 52 = -4*y. Is j(y) a multiple of 52?
True
Let p(b) = 5*b + 24*b**3 - 24*b**2 - 15*b**3 - 69 - 5*b**3 - 5*b**3. Does 13 divide p(-25)?
False
Let u = 333 - 325. Is u/(-60) - -14*(-4244)/(-120) a multiple of 99?
True
Suppose 3*g + 11*g = 476. Suppose g = 16*u + u. Suppose 84 = u*v + 2*b, -200 + 70 = -3*v - 4*b. Does 18 divide v?
False
Suppose 7799 = v - 3*k, 4*v - 31118 = 28*k - 29*k. Is v a multiple of 68?
False
Suppose n + 74560 = 23*n + 10*n. Is n a multiple of 10?
True
Let y(a) = 5*a**2 - 2*a + 3. Let x be y(6). Let r = x - 135. Does 23 divide r?
False
Let g(m) = 13*m**3 + 10*m**2 + 226*m + 79. Is 133 a factor of g(15)?
False
Let n(i) = 119*i**2 - 94*i - 46. Is 46 a factor of n(12)?
True
Let l(a) = a**3 + 5*a**2 - 30*a - 161. Is l(11) a multiple of 5?
True
Let g = -43 + 45. Let j be -2*(77/(-2) + g). Suppose 5*z - 563 + j = 0. Is z a multiple of 14?
True
Let i(q) = -55*q - 16. Let w(s) = -27*s - 8. Let m(x) = -4*i(x) + 7*w(x). Is 8 a factor of m(8)?
True
Let a(b) = 163*b**2 - 5. Let g(p) = p**2 - p. Let f(w) = -159*w**2 - 4*w + 4. Let h(y) = f(y) - 4*g(y). Let s(m) = -3*a(m) - 4*h(m). Is s(1) a multiple of 37?
False
Suppose 0 = 5*p + t + 1776, -2*p - 2*p = 3*t + 1423. Let w = -111 - p. Is w a multiple of 34?
False
Let h(d) = -5*d + 7. Let x(n) = -16*n + 20. Suppose 3*m = -11 + 2. Let a(k) = m*x(k) + 8*h(k). Is 15 a factor of a(8)?
True
Suppose 32*r + 0*r - 13*r = 29241. Is r a multiple of 2?
False
Let b = -624 - -610. Let g(u) = -u**3 - 10*u**2 + 25*u + 11. Is 12 a factor of g(b)?
False
Let q(o) be the second derivative of 39*o**5/2 + o**4/12 - o**2/2 - 67*o. Is 27 a factor of q(1)?
False
Suppose -14*y + 32764 + 39378 = 0. Is 19 a factor of y?
False
Let d(f) = -f**2 + 12*f - 8. Let n be d(5). Suppose -3*b + 4*u + 39 = 3*u, -5*u = -b + n. Suppose -2*q = -5*k - 28, 4*k - 25 = -5*q + b. Is q a multiple of 5?
False
Let k = 2821 - -1594. Is k a multiple of 5?
True
Suppose 231*u - 227*u = 2*q - 24186, 0 = u - 4. Is q a multiple of 149?
False
Let y(r) = 3*r**2 - 13*r - 37. Let u be y(-6). Suppose -f + u = -d, 28*d - 23*d - 5 = 0. Is f a multiple of 10?
True
Is (-9)/(-585)*-10 + (-14460)/(-26) a multiple of 6?
False
Suppose -13*a = -2*a - 55. Is 679 + -144 - a*(1 - 2) a multiple of 5?
True
Suppose -4*r = 8, -r = -29*g + 24*g + 167. Suppose -22800 = 8*m - g*m. Does 12 divide m?
True
Let h = -42 - -38. Let p be 4 + (-1 + (-3)/1 - h). Suppose -p*f = d - 6*d - 37, 0 = 2*d + 10. Is 2 a factor of f?
False
Let t(a) = -249*a - 686. Does 89 divide t(-36)?
False
Suppose l + 4*s + 8 = 0, 3*l - 2*s = l - 26. Does 5 divide (-2)/l + 11362/228?
True
Let y be (-1)/8 - 891/(-24). Let a = y + -49. Is 11 a factor of 16/a - (-860)/15?
False
Suppose 10*h + 9588 = -2232. Let w = -565 - h. Suppose 0 = 6*x - 3*x + 4*v - 444, -4*x + w = -3*v. Does 19 divide x?
True
Suppose -2*o = 3*y - 935 + 282, -2*y = -3*o + 986. Suppose 2*m - 3*j + o = 0, -5*m + 0*j = j + 786. Let a = -113 - m. Is 7 a factor of a?
False
Let w be ((-8)/(-12))/((-10)/(-15)) + 3503. Suppose 91*g - w = 85*g. Is 14 a factor of g?
False
Let r be 10*3/9*12/10. Suppose r*q = 12, 0*c - 5*q = 2*c - 21. Suppose 3 = c*a - 66. Is a a multiple of 20?
False
Let j(r) = 43*r**2 - 6*r + 13. Suppose 0 = -v + g + 6, 3*v = 4*g - 0*g + 22. Is 15 a factor of j(v)?
False
Let a = -387 - -347. Does 5 divide (-5)/a*4*34 - -1?
False
Let c = -291 + 601. Suppose -w + 11*w = c. Is w a multiple of 21?
False
Let m(z) = z**3 - 2*z**2 + 2. Let x be m(0). Is 7 a factor of (22/4 + -6)/(x/(-456))?
False
Let z(h) = -178*h**3 + h**2 - 6*h + 5. Let y be z(1). Suppose 0*k + 3*k = -309. Let x = k - y. Is x a multiple of 25?
True
Let o = 13973 - -7457. Does 10 divide o?
True
Suppose 34 - 61 = -3*h. Does 13 divide (h/(-6))/(42/(-1456))?
True
Let s be 2*(0/2 - -2). Suppose -s = 4*c - 4*k - 44, -3*c + k + 28 = 0. Does 13 divide (-4 - c)/(3/(-30))?
True
Is 2 a factor of 1281660/2255 - 4/11?
True
Let c(z) = -z**3 - 20*z**2 - 85*z + 46. Does 4 divide c(-7)?
True
Let w(h) = h - 11. Let p be w(12). Let v(l) = 85*l**3. Let t be v(p). Suppose 0 = 2*c - 5*c - 5*s + 83, 5*s + t = 5*c. Is c a multiple of 7?
True
Let a = 83 + -77. Let f be a/14 - 1692/(-21). Let i = -48 + f. Is 11 a factor of i?
True
Suppose 64*x = -56*x + 82680. Does 13 divide x?
True
Let m be (-4720)/(-128) - 2/(-16). Suppose 11*n - 876 = m. Is n a multiple of 57?
False
Let p be (6 - 1) + -2 + -1. Let m(f) = 321*f + 18. Let b be m(p). Suppose 14*d + b = 3488. Does 39 divide d?
False
Let w(k) = k**3 - 10*k**2 + 10*k - 9. Let i(a) = -10*a**3 + a**2 + a - 1. Let q be i(-1). Let c be w(q). Suppose c*l + 520 = 8*l. Does 13 divide l?
True
Let s(y) = -y**3 - 23*y**2 - 18*y + 56. Let z be s(-22). Let w = 18 + z. Is ((-62)/w - 1)*(-15 + 43) a multiple of 32?
True
Let o = 5915 - 5106. Is o a multiple of 18?
False
Let u(o) = 2334*o - 829. Is 40 a factor of u(5)?
False
Let p(r) = 10*r**2 - 54*r + 1741. Is p(-48) a multiple of 27?
False
Suppose 2*u - 7 = -5. Let n be (-2 + 2/4*u)*2. Is 33 a factor of ((-46)/5)/(n/(-45)*-1)?
False
Suppose 67*d = 68*d. Suppose 0 = q - 5*n - 55, -4*q + 6*q - n - 65 = d. Does 15 divide q?
True
Let g(o) = 3*o - 34. Let f be g(15). Let d(t) = t**3 - 11*t**2 + 3*t + 8. Let j be d(f). Let s = -12 + j. Is s a multiple of 3?
False
Suppose -23*i + 234309 = -200598. Does 11 divide i?
True
Let p = 6225 - 3425. Is 11 a factor of p?
False
Let f = 146 + -92. Let v = f + 35. Does 2 divide v?
False
Let d be ((-