e 0 = -3*h + f*w + 1716, -2*h + 446 = 5*w - 726. Is h a multiple of 9?
True
Let t = -7331 - -13731. Is 8 a factor of t?
True
Let d(p) = 8*p**2 + 23*p - 73. Let t be d(3). Suppose 0 = -4*u - 0*u - 4*n + 16, -2*n - 10 = -4*u. Suppose u*z + t = 296. Is z a multiple of 20?
False
Suppose 11*m + 17*m - 4490 - 6710 = 0. Does 5 divide m?
True
Suppose 0 = -79*y + 75*y + 16584. Suppose 4*u = -2*u + y. Is u a multiple of 34?
False
Suppose 920 + 165 = 7*w. Suppose b + w + 171 = -5*a, 259 = -4*a + b. Let u = a - -103. Is u a multiple of 11?
False
Suppose 0*a + 76 = 4*a. Suppose x - 2 = -3*v, -3*x + 55*v + 6 = 52*v. Suppose -x*f - a = -3*f. Is f a multiple of 19?
True
Let t(l) be the second derivative of 269*l**4/12 + 5*l**3/2 - 7*l**2 - 141*l. Is 17 a factor of t(1)?
False
Suppose 124*p - 96 = 136*p. Let r = 5 + -11. Is r/p*12*2 a multiple of 3?
True
Let z(f) = -9*f + 853 - 853 + 3*f**2. Let d be z(3). Is (d + 1 - 0)*1*109 a multiple of 18?
False
Let l be 8*((-93)/(-10) - 10/(-50)). Suppose -78*f + l*f + 162 = 0. Is 9 a factor of f?
True
Let k be -3*(20/12)/(-5). Suppose 3*i = -2*d - 0*i, k = 3*d + 5*i. Is (d - -4)/(3/33) a multiple of 9?
False
Suppose 0 = 6*n - 13516 - 1700. Let v = n + -1336. Is 12 a factor of v?
True
Suppose 42*x = 57*x - 15390. Suppose -145*f + 142*f + x = 0. Is f a multiple of 38?
True
Let c = -212 + 142. Let u = 400 + c. Is u a multiple of 10?
True
Suppose -53877 - 10627 = -8*v. Is 31 a factor of v?
False
Let u(t) = t**3 - t**2 + 4*t - 3. Suppose 4*r = -0*y - 2*y, -5 = -5*y - 5*r. Let c be u(y). Suppose 0 = -c*s + 4*s + 330. Is s a multiple of 14?
False
Suppose -4817553 = -424*y + 1368183. Does 5 divide y?
False
Let y be (-5 - -4)*(1 + 1). Let i be ((-1)/y)/((-7)/(-70)). Suppose i*z - 609 = 11. Does 31 divide z?
True
Suppose 2*m + 4 = -r + 3*r, -2*m = -r + 2. Suppose -6*c + 24 = -m. Suppose 2*v - 10 = 3*h + 110, -c*v = 3*h - 204. Is 15 a factor of v?
False
Does 62 divide 2911 - (12/20)/(11/(-55))?
True
Let f = -1277 - -2147. Let d = f - 618. Is 36 a factor of d?
True
Suppose 68*z - 46*z - 435776 = 0. Is 16 a factor of z?
True
Suppose 3260 = 6*f - 3850. Is f a multiple of 15?
True
Let m = -2967 - -11647. Does 20 divide m?
True
Let t(y) = -19*y + 30. Let v(i) = -19*i + 29. Let j(s) = -2*t(s) + 3*v(s). Let o be j(-8). Let u = o + -87. Is 23 a factor of u?
True
Let m be 42/56*(-2 + 74). Let w be (m/(-10) - (-4)/10)*-1. Suppose -2*j = w*n - 203, -3*j + 522 = 2*j - 2*n. Is 13 a factor of j?
True
Let d(i) be the third derivative of -13*i**4/12 - 7*i**3/3 - 14*i**2. Suppose 4*j + 4*c + 30 - 2 = 0, j + 5*c + 23 = 0. Is d(j) a multiple of 31?
False
Let t = 16419 + -14599. Is 13 a factor of t?
True
Let c(a) = a**2 - 12*a + 59. Let s be 30*2/4*4/6. Is 26 a factor of c(s)?
False
Let i(b) = -15*b + 35. Let m(a) = -8*a + 18. Let g(v) = 6*i(v) - 11*m(v). Let r be g(-4). Suppose -14*y = -r*y + 426. Is y a multiple of 9?
False
Let w be 6/(-10) + (-12)/5. Let b(k) = -9 + 2 - 5 + 5 - 18*k. Is b(w) a multiple of 10?
False
Is (4032/(-756))/((-2)/1533) a multiple of 14?
True
Let j = 96 - 66. Suppose 7266 = j*l + 1866. Does 18 divide l?
True
Let o(t) = 17*t - 72 + 22*t + 17*t - 41*t. Let s be o(8). Is 13 a factor of ((-83)/(-4))/(4/s)?
False
Let i(t) = t**3 - 13*t**2 + 39*t - 24. Let z be i(9). Let x(q) = -q - 1. Let f be x(-1). Suppose -2*a + 10 = f, 0 = z*j - 0*j + a - 365. Does 9 divide j?
False
Suppose 3*l - 156 = -4*m - 0*m, -m = 5*l - 22. Suppose -2*h - m = -554. Does 39 divide h?
False
Let t(r) = -2*r**2 + 17*r - 7. Let q be t(6). Let m(u) = u**2 - 24*u + 41. Is m(q) a multiple of 3?
True
Suppose l + 4*p + 4 = 11, 3*l = -2*p + 1. Is 26 a factor of ((-5781)/(-235))/(l/(-30))?
False
Let r(s) be the third derivative of s**4/12 - 101*s**3/3 - 13*s**2. Let x be r(0). Let k = -118 - x. Is k a multiple of 14?
True
Let r be (-7)/(35/(-30)) + -4 + 1. Suppose 0 = -r*s - 2*c + 1021, -4*s + 5*c + 1392 = -0*c. Is s a multiple of 24?
False
Let b be (1 - 0/(-3))*0 + 3. Suppose b*d = 2*x + 270, -x + 639 = 5*d + 189. Does 18 divide d?
True
Suppose 71*m - 4456 = 35103 + 5597. Is m a multiple of 12?
True
Let w be (1 + -1)/(-16 + 19). Suppose -5*o + 15 = 0, -5*l + 3*o = -w*o + 434. Is 476/5 - (-17)/l a multiple of 9?
False
Let r = 5645 - 2537. Is r a multiple of 32?
False
Suppose 13828 = g - 2*x, -55364 = 13*g - 17*g - 5*x. Does 42 divide g?
False
Let u = 5621 - 4949. Is 56 a factor of u?
True
Let p be (11 - 12)/((-2)/(-30)). Let u be (p/6)/(7/(-14)). Let y(a) = a**3 - a**2 - 3*a + 11. Is 13 a factor of y(u)?
False
Let z(u) = -21*u**3 + 15*u**2 + 6*u + 42. Is z(-5) a multiple of 10?
False
Suppose r - 6*r + 90 = 5*m, -m + 3*r + 10 = 0. Suppose -m*q - 33672 = -39*q. Is 24 a factor of q?
True
Let h be 4/(-3)*(468/8)/(-13). Suppose -3*s + h*s - 336 = 0. Is s a multiple of 14?
True
Let m(b) = -4*b**3 - 4*b**2 + 45. Let j(d) = d**3 + d**2 - 15. Let q(h) = -7*j(h) - 2*m(h). Let t be 0/5*(-3 - (-4 + 0)). Is q(t) a multiple of 15?
True
Suppose -8*i = -13*i + 1125. Suppose -4*m = -567 - i. Is 22 a factor of m?
True
Suppose -657*d + 656*d + 5 = 0, -4*q + 3*d + 341 = 0. Is q a multiple of 85?
False
Let g = 114 + -81. Let m be 189/6 - g/22. Does 9 divide 6/4 - (-4545)/m?
True
Suppose 19*j - 257499 = 8*j - 40*j. Is j a multiple of 24?
False
Let p be ((-2 - -2)*3/(-12))/(-1). Suppose p = 2*d + 28 - 124. Is 8 a factor of d?
True
Let a be 42/(-4) - ((-15)/10 + 1). Is 5/a*-8 - -326 a multiple of 10?
True
Suppose 776569 - 41442 = 47*j. Is 144 a factor of j?
False
Let j(i) = 0*i**2 + 4*i - 2*i + i + 3*i**2 + 19. Let t be j(8). Suppose -t + 67 = -3*r. Is r a multiple of 6?
False
Let m be (102/(-15))/(4/(-20)). Suppose -27*y - 63 = -m*y. Suppose 3*r + y = 0, 4*a + r + 47 = 5*a. Is a a multiple of 22?
True
Let h(w) = -10*w - 8. Let d(m) = 11*m + 6. Let j(u) = 3*d(u) + 4*h(u). Is 26 a factor of j(-28)?
True
Let m = 84 + -81. Suppose -k = -m*k - 4. Does 16 divide k/(-5) + 496/10 - 2?
True
Does 133 divide ((-121)/(-55))/((-10)/(-18850))?
False
Suppose -11 = 7*a - 25. Suppose 3*s = 2*m - 0*m, 0 = a*m + 2*s - 10. Suppose -m*w - 57 + 318 = 0. Does 17 divide w?
False
Suppose -3*i = 4*f - 4840, 3*i - 33*f = -35*f + 4844. Is 49 a factor of i?
False
Suppose 675*z - 14284 = -w + 679*z, -2*z - 42842 = -3*w. Does 120 divide w?
True
Suppose -56*c + 56211 = -15*c. Does 19 divide c?
False
Let v = 36 + 832. Suppose 2*d + v = 2*w - 0*d, d = 4. Is 48 a factor of w?
False
Let z = 120 - 106. Let s(x) = 11*x + 35. Let v be s(z). Suppose v - 9 = t. Is t a multiple of 10?
True
Suppose -319*l = 3*y - 324*l - 411, 4*y = -3*l + 548. Does 9 divide y?
False
Suppose -2*w - 2 + 14 = 0. Let n be (66/12)/(1/w). Does 6 divide (-136)/(-3) - 44/n?
False
Let k(z) = 2*z**2 - 16*z + 18. Let g be k(13). Let v = g - 133. Does 5 divide v?
True
Let y(a) = -19*a + 45. Let v be (0 + -2)*(11 - 2). Does 99 divide y(v)?
False
Is 122 a factor of 42946/4 - 3/54*9?
True
Let l(u) = -u**2 + 3*u + 26. Let h be l(-4). Let o(y) = 20*y**2 + 4*y + 4. Is 4 a factor of o(h)?
True
Suppose 2*j - 2*a - 5 - 21 = 0, -54 = -3*j - 2*a. Let w = j - 25. Is 15 a factor of (w/(-3))/3*163*1?
False
Let j = 2118 + -741. Is 17 a factor of j?
True
Suppose 3*k = -5*h + 2016, -k - 5*h = -6*h - 672. Is k a multiple of 15?
False
Let n = -1628 - -1705. Is n a multiple of 3?
False
Let a = 2805 - -20411. Is 199 a factor of a?
False
Suppose 0 = 2*b + 4*h - 5318, -h - 7230 = -4*b + 3442. Is b a multiple of 21?
True
Suppose -4*b + 4*t = -2*b - 25072, -62632 = -5*b - 2*t. Suppose b = 21*p + 8*p. Is p a multiple of 54?
True
Suppose 0 = 8*x + 60 - 76. Suppose 3276 = 9*s - x*s. Is 39 a factor of s?
True
Let t(p) = 9*p - 16. Let m be t(3). Let o(q) = -3*q**3 + q**3 + 13*q**2 + q**3 - 13*q + 8. Is 12 a factor of o(m)?
False
Let n be 2*-6*114/(-18). Does 7 divide (-52)/(-65) - n/(-5)?
False
Suppose -g - z = -12632, -2*g + 25248 = -23*z + 21*z. Suppose 51*b = 40*b + g. Is b a multiple of 14?
True
Suppose -3*v + 0*v + 5*t = -40184, 2*v - 2*t = 26792. Does 42 divide v?
True
Suppose 4*m - 317 = -5*z, 2*z - 5*z - 4*m + 187 = 0. Suppose 4*h - p = -4*p + 238, -2*p = -h + z. Suppose -h*s = -65*s + 360. Does 15 divide s?
True
Let p = 98 + -112. Is p/((-1 - -4) + (-129)/42) a multiple of 28?
True
Does 51 divide (-37)/((-888)/757200) + -12?
False
Let j = -193 + 980. Suppose -5*y + 363 = -2