 + h**5/60 + h**4/24 - h**3/6 + 14*h**2. Let m be f(1). Let b = -26 + m. Is b a multiple of 4?
False
Let d = -78 - 35. Suppose -1272 = 12*h - 4*h. Let g = d - h. Does 8 divide g?
False
Let m = -9475 + 34173. Is 6 a factor of m?
False
Let o = 469 - 469. Suppose 19*m - 173 - 4577 = o. Does 25 divide m?
True
Let r(f) = f**3 - 13*f**2 - 22*f + 34. Let j be r(16). Suppose 4*k = m - 90, j = 5*m - k - 2*k. Is 15 a factor of m?
True
Suppose 13 = 3*r - 2. Suppose -4*x - r*p + 310 = -x, 4*x - p - 421 = 0. Is 20 a factor of x?
False
Let f = 2629 - 2413. Is f a multiple of 3?
True
Suppose -24*d - 16985 = -46*d - 4269. Is d a multiple of 34?
True
Suppose -96*y = -122*y + 215462. Is 69 a factor of y?
False
Let l(f) = -8*f - 13. Let g be l(-2). Suppose 3434 = 5*o - 4*v, -4*v + 8*v + 2054 = g*o. Is 32 a factor of o?
False
Suppose -381 = -3*g + 3*o, -5*g + 2*o + 117 = -512. Let u = -86 - -30. Let p = g + u. Is p a multiple of 14?
False
Suppose 300788*n = 300787*n + 33280. Is n a multiple of 11?
False
Let k(o) = 9*o - 37. Let m(h) = -26*h + 112. Let v(q) = -8*k(q) - 3*m(q). Let j be v(13). Is j + 9/(-3) - 5 a multiple of 5?
True
Let c = -4 + -179. Let o = 255 + c. Is o a multiple of 3?
True
Let u(o) = -o**3 - 8*o**2 - 9*o - 11. Let s be u(-7). Suppose -5*r + 49 = -s*d + 186, -d + 57 = 4*r. Is d a multiple of 9?
False
Let a be 0 - 1 - (-10 - -2). Let w be (a - (1 - (2 - 2))) + -1. Suppose 5*h = -3*q + q + 286, w*h - 4*q = 298. Is 42 a factor of h?
False
Let k(b) = -14*b + 2048. Is 12 a factor of k(-14)?
True
Let f(r) = -1696*r + 5. Does 21 divide f(-1)?
True
Suppose 42*u + 8 = 44*u. Let p be (-1 - -4)/((-4)/u). Is 2*24 - (p - -3) a multiple of 8?
True
Let d(j) = j**2 + j - 8. Let x be d(2). Let s(u) be the second derivative of -7*u**3/3 + 3*u**2 - 5*u. Does 34 divide s(x)?
True
Suppose 5*j = 123 - 103. Suppose g = j*f - 2132, -g = 4*f - 6*f + 1068. Does 38 divide f?
True
Let d(p) = -p**3 - 4*p**2 - 426*p - 29. Does 8 divide d(-14)?
False
Suppose -3*f = -4*f + 30. Suppose 0 = -f*k + 25*k + 4890. Is k a multiple of 35?
False
Suppose -p + 9547 = -5*r, 4*p - 6*r = -2*r + 38092. Does 150 divide p?
False
Let s(k) = 97*k**2 - 10*k - 2. Let b(f) = 193*f**2 - 22*f - 4. Let o(a) = -3*b(a) + 7*s(a). Does 17 divide o(-1)?
True
Suppose -2*b + 2*x - 4*x + 190 = 0, -3*x - 475 = -5*b. Suppose 0 = 3*w - 3*l - b - 418, -4*w + 694 = -2*l. Does 3 divide w?
False
Suppose -5640*g + 5659*g = 48127. Does 9 divide g?
False
Let t = -72 + 76. Suppose t*x - 83 = 305. Let a = 257 - x. Is a a multiple of 16?
True
Let l(m) = -2*m - 20. Suppose -5*z - 26 = -k + 139, 3*z + k + 107 = 0. Does 12 divide l(z)?
True
Suppose 0 = -6*f - 19*f + 17*f + 12888. Is f a multiple of 10?
False
Let q = -364 - -139. Let s = 295 + -433. Let v = s - q. Is 25 a factor of v?
False
Suppose 40*y = 46*y - 420. Let c = y + 571. Is 7 a factor of c?
False
Suppose -2428*t + 2459*t = 123256. Is t a multiple of 71?
True
Let w(u) = -12*u + 206. Let y be w(17). Suppose -4*x + 4*c + 1888 = 0, -5 + y = -c. Is 13 a factor of x?
False
Suppose -6456 = -h - 4*c, -12376 = -2*h - c + 508. Is 140 a factor of h?
True
Let a = -18 - -4. Let s = -4 - a. Suppose 3*l - 2 = s. Is l a multiple of 4?
True
Let y = -3717 - -31620. Does 127 divide y?
False
Let j = -29 - -33. Is 37 a factor of j/4*(-1480)/(-4)?
True
Let r be (-30 + 18)*3*(-4)/(-24). Suppose -3*c + 72 = -6*c. Does 11 divide r/4 + (-1284)/c?
False
Suppose 20 = -3*m + 17. Let r be -31 + 9 - 4/m. Let a(u) = -4*u + 24. Does 8 divide a(r)?
True
Suppose -4*b - 310 = 642. Let u = 18 - b. Suppose 0*y = 4*k - 4*y - 200, 5*k = 2*y + u. Does 14 divide k?
False
Suppose 1194*f - 1196*f + 11321 = n, -5*n + f + 56528 = 0. Is 24 a factor of n?
False
Is (54/12)/(7 + 70931/(-10136)) a multiple of 4?
True
Suppose 0 = -2*i - 0 + 170. Suppose 41 + i = 6*r. Is 7 a factor of 4 - ((-14)/r)/((-4)/(-18))?
True
Suppose i + k + 559 = -4*k, -i - 538 = -2*k. Let z = i - -918. Does 17 divide z?
True
Let g = -23193 + 39381. Is g a multiple of 142?
True
Let r be ((-35)/2)/5 - (-1)/2. Does 38 divide r/(-6)*-3*-2 + 49?
False
Let x(n) = -n**3 + 12*n**2 - 11*n - 12. Let i be x(10). Suppose -104 = 9*p - 13*p - 3*o, -2*p + i = -5*o. Is 6 a factor of p?
False
Let f be 54/(-90)*390/(-9). Suppose f*r - 12377 = 4731. Is 94 a factor of r?
True
Let r(l) = -l**2 + 5*l + 1. Let m = 95 + -89. Let h be r(m). Let b(a) = a**2 - 4*a - 9. Does 5 divide b(h)?
False
Is 45 a factor of (15 + (-1144)/13)/((-5)/1800)?
True
Let k(d) = -d**3 + 9*d**2 - 2*d + 6. Let v be k(9). Let g(z) = -7 + z + 21 + 5. Does 2 divide g(v)?
False
Suppose -270*z + 258*z = 167004 - 502416. Is z a multiple of 11?
True
Let y(j) = 3*j**3 + j**2 + 6. Let w be y(-4). Let f = w + 311. Is f a multiple of 12?
False
Suppose 5*s - 2*y - 10 = 0, 5*s = -4*y + y + 10. Suppose 6*z + 119 = 7*z - 5*m, 278 = s*z - 2*m. Is z a multiple of 6?
True
Let z(f) = 10*f - 10. Let q be z(3). Let b be (-1460)/(-9) - q/90. Is (10/(-6))/((-9)/b) a multiple of 10?
True
Suppose 7*j - 6*j = 2. Suppose j*o + 2 = 3*o. Let y(i) = 2*i**3 - 2*i**2 + 2. Is 10 a factor of y(o)?
True
Let y(i) = i**3 + 2*i**2 + 1. Let r be y(-2). Let b be (12/(-10))/((-6)/15*r). Suppose -b*v - 3*g = -138, 4*v - 4*g - 98 - 54 = 0. Does 7 divide v?
True
Let w be 53296/(-176) - 4/22. Let d = 583 + w. Is 40 a factor of d?
True
Let p(h) = -h**2 + 13*h + 114. Let d be p(-6). Suppose k + 0 + 5 = 0, d = 4*l + k - 975. Is l a multiple of 9?
False
Let l be 11/(-44) - 82/(-8). Suppose l = -21*p - 32. Does 27 divide (-24)/(-20)*((-8)/p + 41)?
True
Let p = 771 - -1141. Is p a multiple of 9?
False
Let z(p) = -p**2 + 17*p + 20. Let u be z(18). Suppose -508 = -3*v - u*x, -3*v = 3*x - 0*x - 504. Is 4 a factor of v?
True
Let t be 7/2*(8/(-7))/2. Does 3 divide 280/(-30)*15/t?
False
Let t be -3*-3*(-328)/(-36). Let p = t - -43. Is 41 a factor of p?
False
Suppose 2*k - 5549 = -789. Suppose -9*m + 5*m + k = 0. Is m a multiple of 5?
True
Let n be (-32)/(-18) + -2 + 1410/270. Suppose n*g - 2*g = -2*c + 2222, 5*c + 2*g = 5577. Is c a multiple of 23?
False
Suppose -5*k - 10 = 0, 2*a + 25 = -5*k + 15. Suppose 5*j + 2*f = 2710, 3*j - 1622 = -a*j - 2*f. Is 34 a factor of j?
True
Let u be 1/((-24)/(-126) + 2/14). Suppose -4*j = u*y - 31, -2*j = -0*y - 5*y - 9. Does 4 divide j?
False
Let x(c) be the second derivative of 2*c**4/3 + 8*c**3/3 - 23*c**2 + 5*c - 1. Is x(-10) a multiple of 54?
True
Is 207 a factor of (-15)/(480/(-5152))*(53 - -1)?
True
Is 107 a factor of 143892/48 + 5/20 - 2?
True
Is 32 a factor of (45235 + -1)*36/63?
False
Let u = -28 - -48. Let z be u*3/(-2)*(-1)/6. Suppose -4*q + 2*q + z*m + 220 = 0, q - 111 = 2*m. Is 23 a factor of q?
True
Suppose 0 = 71*s - 76*s - j + 70645, -226085 = -16*s + j. Is s a multiple of 30?
True
Let q be ((-15)/12)/(6/(-24)). Suppose -q*i + 66 = 3*u, 3*i + 0*u = u + 34. Is 363/9 - i/9 a multiple of 14?
False
Suppose -765 = 8*h - 317. Let w = 15 - 2. Let l = w - h. Is l a multiple of 15?
False
Suppose 47460 = 4*b - 4*s, 0*b = -3*b + 2*s + 35599. Is b a multiple of 143?
True
Suppose 4*m - 9*y - 17934 = -14*y, 0 = -3*m + 5*y + 13433. Is m a multiple of 97?
False
Suppose -3*i + 3*s = -4148 - 7060, 0 = -2*i - 5*s + 7430. Does 35 divide i?
False
Is (-14784)/(-44)*(3 + 18/4) a multiple of 9?
True
Let l = 1928 - 788. Let o = -366 + l. Is o a multiple of 9?
True
Does 13 divide 3*((-2)/(-15) - 9/(405/(-177774)))?
False
Let p(h) = h**3 + 7*h**2 - 4*h + 7. Let f(c) = -7*c**3 + 2*c**2 - 3*c + 3. Let a be f(1). Does 9 divide p(a)?
False
Let u = -501 + 506. Suppose -7*y + u*y = -4*s + 1050, 0 = y + 1. Does 16 divide s?
False
Let y be (-30)/(-4) - (-3)/(-6). Let x(s) = 15*s**2 - 12*s + 37. Does 10 divide x(y)?
False
Suppose 62*g - 2779200 = -17*g - 41*g. Is g a multiple of 342?
False
Let p(g) be the first derivative of g**3 - 6*g**2 + 9*g + 35. Let h be p(4). Is 40 a factor of (1 + (-15)/h)/((-4)/264)?
False
Let w(h) = 2379*h + 986. Does 165 divide w(5)?
False
Let x = 348 + -192. Let a = x + -54. Suppose l + a = 4*l. Does 6 divide l?
False
Suppose 6*d + 19 = -t + 3*d, -d + 17 = -2*t. Let f = t - 8. Is (-7272)/(-81) + (-4)/f a multiple of 9?
True
Let q = 1244 - -1985. Suppose 3*d + 3*i + 8228 = -q, 0 = 2*d - i + 7647. Does 12 divide (2/(-4))/(13/d)?
False
Let t be 10/(-15) + (-1570)/(-6). Let g be (-50)/5*t/(-3). Supp