 = 3*a - 10 + 86. Is d a multiple of 13?
True
Suppose 17*c - 19468 - 12577 = 0. Is c a multiple of 10?
False
Let r(i) = -87*i + 6103. Is 10 a factor of r(0)?
False
Let l = 6293 + 3805. Is l a multiple of 18?
True
Suppose 7*v - 189728 = -16*v + 7*v. Is v a multiple of 98?
True
Suppose 244*j = 230*j + 196154. Is 97 a factor of j?
False
Let u = -513 - -517. Suppose u*o - 148 = -2*v, -v + o + 2*o = -74. Is v a multiple of 38?
False
Let f(g) = -g - 62 + 10*g**2 + 62 - 9*g**2. Let s(w) = -65*w**3 - 2*w**2 + 2*w - 1. Let n(k) = 3*f(k) + s(k). Does 22 divide n(-1)?
True
Let m(w) = 2*w**2 - 12*w - 6*w**2 - 26 + 3*w**2. Let y(p) = 73*p + 3131. Let c be y(-43). Does 6 divide m(c)?
True
Let j be (-88)/(-308) - (-7159)/7. Suppose 21*t = 195 + j. Does 27 divide t?
False
Suppose 24*d + 7639 - 19639 = 0. Suppose -128*z + 129*z = d. Does 50 divide z?
True
Suppose -15*w = -14*w + 2*x - 4, 4*x = 4*w + 20. Let t(a) = -16*a**3 - a**2 - 4. Does 4 divide t(w)?
True
Suppose 8*h = 44*h + 1152. Is 36 a factor of 326 + ((-1)/(-4) - (-72)/h)?
True
Let g = -13 + 18. Suppose 0 = g*u - 5*a - 35, -2*a + 3 = -5. Suppose 4*l = 3*l + u. Is l a multiple of 6?
False
Is 27489/9 + (-136)/238*(-21)/18 a multiple of 65?
True
Suppose -194 + 5433 = p. Is 70 a factor of p?
False
Does 34 divide (-1353248)/(-116) + (-2)/(-29)?
False
Suppose 0 = -33*z + 34*z - 45. Suppose 0 = p - 8 + z. Does 13 divide (-2 - 4)*(-2)/(-6)*p?
False
Let m(w) = w**3 + 7*w**2 - 10*w - 9. Let j be m(-8). Let g be 1/j - (720/(-28))/9. Suppose -g*y + 128 + 82 = 0. Is y a multiple of 14?
True
Suppose -28*t + 81682 = -20406. Is 5 a factor of t?
False
Let u(s) = -s**2. Suppose -j = 12 - 11. Let x(h) = h**3 - 18*h**2 + 7*h - 32. Let k(n) = j*x(n) + 6*u(n). Is 11 a factor of k(10)?
False
Let l(q) = -4*q**3 + 9*q**2 - 8*q - 279. Is l(-16) a multiple of 111?
True
Let b(h) = -2*h**2 - 11*h + 8. Let y be b(-6). Let p(a) = -3 - 5 + y - 13*a - 5. Does 4 divide p(-3)?
True
Let q be 5 - 2 - (7 + -5 + 3). Is 13 a factor of (q - -35 - -3)*(-63)/(-27)?
False
Suppose -g = -y + 5*y + 13, 0 = g + 5*y + 14. Let r be ((-2)/g - 25/(-9)) + 0. Suppose -1096 = -11*l + r*l. Is 13 a factor of l?
False
Let z be 89 - (-19 - -9) - -4. Let u = -156 + 300. Let x = u - z. Does 6 divide x?
False
Suppose 0 = -5*g + 4*k + 58368, 57*g - 52*g = 3*k + 58371. Is 27 a factor of g?
False
Let t be (-4)/(8/18*-3) - 1. Let u be 5/(-3)*(-5 + t). Suppose -u*q + 71 = -119. Is q a multiple of 19?
True
Let b(g) = 7*g - 9. Let f(s) = s. Let v(w) = -2*b(w) + 18*f(w). Let t be v(6). Let u = 74 - t. Is u a multiple of 8?
True
Suppose -z + 108*d + 10196 = 112*d, -30632 = -3*z - d. Does 161 divide z?
False
Let z(u) = u**2 + 4*u + 1. Let g be z(-4). Is 29 a factor of (g - 88)*(-8)/4?
True
Suppose 313946 = 175*g - 2988402 - 289527. Is g a multiple of 6?
False
Let l be 0/(-3 - (4 + -6)). Suppose l = w - 5. Suppose -w*k - 35 + 99 = 3*h, -4*h + k + 70 = 0. Does 18 divide h?
True
Suppose -25*b - 23110 = -5*l - 39*b, 0 = -5*l + 5*b + 23015. Is l a multiple of 13?
False
Does 5 divide 4915*1 + (4/(-4) - -6)?
True
Let g(k) = -235*k - 152. Let y be g(-7). Suppose -4*u = -y - 127. Is 10 a factor of u?
False
Let l(a) = -a**3 + 8*a**2 + 2*a + 11. Let t(u) = u**3 + u**2 + 9. Let y be t(0). Let p be l(y). Is 13 a factor of (p/(-3))/(2/(-18)*-3)?
True
Let t = 532 + 104. Suppose -b = d - 636, -d + 0*b = 2*b - t. Does 53 divide d?
True
Suppose 203*s - 1305248 = -21*s. Is s a multiple of 60?
False
Let s(m) = -m**2 - 20*m + 53. Let a be s(-23). Let b = 80 - a. Is 25 a factor of b?
False
Let r(k) = 6491*k + 767. Does 19 divide r(1)?
True
Suppose -r - 41345 = -4*s, 1383*r = 2*s + 1378*r - 20695. Does 53 divide s?
True
Let b(v) = 2*v**2 - 24*v - 16. Let t(l) = 19*l**2 + 4*l + 2. Let x be t(-1). Is 13 a factor of b(x)?
False
Is 11 a factor of (21294/(-8) - (-1)/(-4))*137/(-137)?
True
Suppose 0 = i - 4*i - 3*k + 117, 0 = -i - 5*k + 43. Suppose -4*h + 46 - i = 0. Suppose 531 - 150 = 3*w + v, -237 = -h*w + 5*v. Is 21 a factor of w?
True
Let p(x) = -x**3 + x - 14*x + 17*x**2 - 4 - 4*x. Is 9 a factor of p(14)?
False
Let z(u) = -2*u**3 - 8*u**2 - 2*u - 3. Let c be z(-4). Suppose c*w - 3600 = -5*l, -2*w - 1825 = -5*l + 1796. Is 26 a factor of l?
False
Suppose 3*p - 2*p + 5*f + 17 = 0, 4*p = 3*f + 24. Suppose 0 = -0*n + p*n - 18. Suppose n*j + 0*j = 234. Is 4 a factor of j?
False
Let l = -572 + 1297. Suppose -9*n - l = -11*n - z, -5*z - 335 = -n. Does 18 divide n?
True
Let l(k) = 3*k**2 + 46*k + 302. Is 7 a factor of l(-37)?
False
Suppose -753141 = -43*u + 83252. Is 53 a factor of u?
True
Let a(b) = b**3 + 9*b**2 + 5*b + 8. Let c be a(-6). Suppose h + c = 867. Suppose 5*j - 5*g - h = -91, -138 = -j - 5*g. Is 23 a factor of j?
True
Let w = 226 + -220. Is 6/((-6)/(-9)*w)*84 a multiple of 9?
True
Is ((-1)/(-2))/(19/195624) a multiple of 29?
False
Is (16 - 13)*(-6 + 5) + 8339 a multiple of 7?
False
Suppose 3*p - 1434 = 1513 + 1571. Is p a multiple of 16?
False
Let o(j) = -4*j - 4. Suppose -5*x - 16 - 9 = -5*u, x = -5*u - 5. Let y(s) = 4*s + 11. Let q be y(x). Does 3 divide o(q)?
False
Let f = -1382 - -1382. Suppose -5*s - 13 = 22. Does 23 divide s/(68/23 + -3 - f)?
True
Suppose 0 = k + k. Suppose g = -54 + 55. Is 16 a factor of (k + -2)/(4/(-160)*g)?
True
Is 28 a factor of (12/26)/(((-7)/(-91))/1) - -3441?
False
Let d = 44797 - 15810. Does 41 divide d?
True
Let r(g) = 8*g**2 - 108*g + 3273. Does 49 divide r(58)?
False
Let u = -769 - 795. Is 15 a factor of (-9)/4*u/69?
False
Let g(k) = -34*k + 292. Let o be g(16). Does 26 divide (-8188)/(-9) - 56/o?
True
Is (2 - (-3 - 6/2)) + 1798 a multiple of 43?
True
Suppose -34*h - 28*h = -31*h - 228904. Is 26 a factor of h?
True
Let w = -271 + 275. Suppose c - 82 + 26 = w*o, o + 168 = 3*c. Is 29 a factor of c?
False
Let u(b) be the third derivative of b**6/60 + 2*b**5/5 + 5*b**3/2 + b**2 + 24. Does 3 divide u(-12)?
True
Let b be ((-3828)/(-110))/((-4)/(-10)). Let m = b - 78. Is 1191/m - (-10)/15 a multiple of 19?
True
Suppose v = -n + 2, 0*n + 10 = 5*n - 4*v. Suppose j - 1465 = -c - 4*c, -n*c - 5*j = -586. Does 59 divide c?
False
Suppose x + 0*x - 2 = 0. Let o(k) = 7*k**2 - 98*k - 101. Let y be o(14). Is -1 - 4 - (y + x) a multiple of 20?
False
Suppose t + t - 289 = 3*u, -5*u = -4*t + 583. Suppose 2*a + 0*a - t = 0. Let x = a - 23. Does 13 divide x?
False
Let f be -1 + 5*(1 - 3)/(-10). Suppose 0 = -4*y + 4*s + 2748, 5*y = -f*y - 3*s + 3467. Suppose -4*z + y = 259. Is z a multiple of 18?
True
Suppose -395*x - 27342 + 3086063 + 2489844 = 0. Is 5 a factor of x?
False
Suppose i - 4377 - 16133 = -13*i. Does 54 divide i?
False
Let z(a) = -2*a**2 - 18*a + 6. Let v(y) = y**2 + 3*y. Let l(g) = 5*v(g) + z(g). Does 2 divide l(4)?
True
Let o = 10762 + 6528. Is o a multiple of 41?
False
Let t = -1994 - -4360. Is t a multiple of 13?
True
Suppose 2*u + 55619 = 34*k - 33*k, 3*k - 166859 = 5*u. Is k a multiple of 13?
False
Let f(a) = -50*a - 1647. Is 19 a factor of f(-67)?
False
Suppose -5*m = -4*s - 19998, -18765 = -4*m - 7*s - 2838. Is 201 a factor of m?
False
Is 2 a factor of (-9320)/(-56) - 4 - -2*(-6)/28?
True
Suppose 0 = -4*j + 4*m - 16, -j + 20 = -6*j - m. Let d be j/(-3)*15/10. Suppose -d*y = -12 - 102. Does 19 divide y?
True
Suppose -30*o + 97 = -34*o + 33025. Is 8 a factor of o?
True
Let q(o) be the first derivative of -o**4/4 - 2*o**3 + 21*o**2/2 - 12*o - 70. Is q(-9) a multiple of 14?
True
Let v(l) = l**2 + 123*l + 598. Let j be v(-5). Let z(r) = -2*r**2 + 4*r - 4. Let g be z(4). Is -12*4/j*g a multiple of 8?
True
Suppose -4*l - 40 = -2*i + 32, -5*i - 2*l = -168. Let f = i + -38. Is 6 a factor of ((-152)/6)/f - (-14)/21?
False
Let y(x) be the first derivative of -59*x**2/2 + 7*x - 38. Is y(-1) a multiple of 11?
True
Suppose k - l - 22289 = 0, 15*k = 16*k + l - 22281. Is 5 a factor of k?
True
Suppose 0 = 2*f - 4 - 4. Suppose -f*p + 584 = 2*h, 0 = 4*h + p + p - 1156. Does 36 divide h?
True
Let a(g) = 1905*g - 89. Is a(5) a multiple of 17?
False
Let j = -191 - -119. Let r = 117 + j. Is 15 a factor of r?
True
Let b = 7649 + -936. Is 45 a factor of b?
False
Let n(l) be the third derivative of -l**4/12 + 3*l**3/2 - 14*l**2. Let r be n(2). Suppose 3*i + 82 = r*t + 11, -5*i = 5*t - 55. Is t a multiple of 13?
True
Is 13 a factor of 7 - 3 - ((-102144)/8)/6?
True
Suppose 5*o = o 