
True
Let t(g) be the first derivative of 52*g**3/3 + 5*g**2/2 + 2*g + 29. Let c be t(-1). Let s = -5 + c. Is s a multiple of 11?
True
Let u be (-50)/(-3) - (152/(-24) + 6). Suppose -3*d = -m + 3 + u, -d = 4*m - 145. Is m a multiple of 7?
True
Let v be (-17)/(-136) - (-3794)/(-16). Let a = -171 - v. Is 4 a factor of a?
False
Let h(g) = 2*g**3 + 26*g**2 + 16*g - 9. Let z be h(-13). Does 36 divide 24/20*-5 - z?
False
Suppose 0 = -21*q - 9*q - 180. Does 19 divide 2727*1/(-18)*q + 3?
True
Let u be (0 + 18/9)/(2/10). Suppose 0 = -u*i + 9045 + 425. Is 18 a factor of i?
False
Suppose 2*y - 13*y = 8*y. Suppose -c + 381 = g - 86, 2*g = y. Is 25 a factor of c?
False
Let r(p) = -25*p - 206. Let y(s) = 6*s + 51. Let k(m) = -4*r(m) - 18*y(m). Does 29 divide k(-19)?
True
Let j(b) = b**2 + 4*b - 3. Let i be j(-13). Suppose 0*l - x = -5*l - i, 0 = 5*l - 3*x + 122. Let t = 48 + l. Is t a multiple of 7?
False
Suppose -v - j = -6371 + 1348, 2*j = -5*v + 25106. Is v a multiple of 10?
True
Suppose -14*u - 5*u + 361 = 0. Let t(v) = -v**3 + 18*v**2 + 19*v + 22. Is t(u) a multiple of 3?
False
Let q be -4*(0 + (-9)/12). Let w be (6*-2)/q - -4. Suppose w = 3*d - 16 - 194. Is 14 a factor of d?
True
Suppose 4*k - 3*k = 2. Suppose 3*d - 1 = k. Let l = 43 - d. Is l a multiple of 14?
True
Let y(d) be the third derivative of d**7/840 + d**6/40 + d**5/24 + d**4/4 + 23*d**3/6 + 23*d**2. Let h(u) be the first derivative of y(u). Does 10 divide h(-5)?
False
Let q = -92 + 155. Suppose 25 = 2*y + 3*y. Suppose 0 = -2*o, -y*b + 4*o + 808 - q = 0. Is 19 a factor of b?
False
Suppose 2*v + 2*v = -c + 113, 3 = 3*v. Let r = 140 - c. Is 7 a factor of r?
False
Suppose 10 = -4*c - c - 5*a, -5*c - 7 = 4*a. Suppose -39*o - c = -38*o. Is 12 a factor of 84/(3 + o - 1)?
True
Let s(b) = 3*b**2 + 13*b + 164. Does 28 divide s(20)?
True
Let u(f) = -f - 5. Let n be u(-14). Suppose -7*x - 18 = -n*x. Suppose 0 = 4*g - x*g + 825. Is g a multiple of 45?
False
Suppose 2*y + 0 = 22. Suppose 26 = y*d - 62. Is d a multiple of 2?
True
Let r be (-5)/((-10)/(-8)) - -227. Let u = -109 + r. Let y = -66 + u. Is 16 a factor of y?
True
Let w(q) be the second derivative of -16*q**3 + 22*q**2 - 59*q. Does 67 divide w(-4)?
False
Let x = -204 - -212. Suppose x - 10 = p, 0 = 3*h + 4*p - 232. Does 16 divide h?
True
Let z(x) = 7*x + 25. Let p be z(17). Let q be p/54*(-3)/(-2). Suppose -170 = -5*i - 0*w + q*w, -3*w = -i + 45. Is 9 a factor of i?
False
Suppose -4313 = 14*m - 11873. Suppose m = 21*l - l. Is l a multiple of 3?
True
Suppose -7539 = -7*s + 20293. Is 71 a factor of s?
True
Let w(i) = i**2 - 2*i - 13. Let m be w(3). Let h(u) = -u**3 - 5*u**2 + 37*u + 21. Is 9 a factor of h(m)?
False
Is 1427/(56/(-24)*-1 + 6/(-3)) a multiple of 52?
False
Let z(d) = -191*d + 1757. Is z(-3) a multiple of 98?
False
Is 124 a factor of ((-124)/(-5))/(9/7200*5)?
True
Let a be ((-129)/86)/(1 + 6/(-4)). Suppose 2*r + 3*x = 504, a*x - 865 = -3*r - 109. Is 42 a factor of r?
True
Let z(w) = -1346*w - 2047. Is 157 a factor of z(-21)?
True
Let f(v) = 27*v**2 + 110*v - 2229. Is 218 a factor of f(37)?
True
Suppose 39708 = 4*b + 2*c, 3*c + 31259 = 5*b - 18365. Is b a multiple of 26?
False
Suppose 112*f - 180025 = 188911 + 139096. Is 24 a factor of f?
True
Suppose 597 = 2*n - 3*o, 7*n - 5*n + 4*o - 590 = 0. Is 6 a factor of -1*n/(-6)*2?
False
Let u(f) = -2*f**3 - 15*f**2 - 33*f - 750. Is u(-12) a multiple of 7?
False
Does 5 divide (2632/42)/(-2*2/(-30))?
True
Suppose 5*f + 3173 = 4*r, 2*r + 5*f - 1603 = 2*f. Let a = r - 1637. Is 3 a factor of a/(-72) + (-4)/(-3)?
False
Suppose -8*t - 5*t + 650 = 0. Let g = t - -10. Is g a multiple of 15?
True
Suppose -13*l - 3648 + 9777 = -10823. Is l a multiple of 163?
True
Let u(k) = -5*k - 49. Let y be u(-11). Suppose -590 - 688 = -y*x. Suppose 6*c - 1101 = -x. Does 37 divide c?
True
Let t(g) = -g**3 - g**2 + 2*g + 4. Let c be t(-2). Suppose -2*s + 0 + 30 = -c*r, 27 = s + r. Is 2 a factor of s?
False
Let c(s) = -3*s**3 - 4*s - 3. Let z be c(-1). Suppose -5*q + 1245 = -57*l + 53*l, z*l - 747 = -3*q. Does 3 divide q?
True
Suppose 9 + 11 = 2*x. Let v(q) = 2*q**3 - 18*q**2 - 7*q + 5. Does 10 divide v(x)?
False
Let r be ((-3)/(-3) + -1)/(1 + 0). Suppose r = -9*y + 11*y - 6. Suppose -y*c = -124 - 29. Is c a multiple of 17?
True
Suppose p = -3*f + 88899, -8606 + 38246 = f - 2*p. Does 47 divide f?
False
Let l(q) = q**3 + 57*q**2 + 35*q + 1398. Is 5 a factor of l(-52)?
False
Let z = -59 - -63. Suppose 2*h - z*h = 36. Let i = 47 - h. Does 18 divide i?
False
Suppose -3876*f + 3838*f + 551000 = 0. Is 125 a factor of f?
True
Let j = 63 - 21. Let p = -45 + j. Is 3 a factor of 4 + -6 - -7 - p?
False
Let t(l) = -7*l + 38. Let z be t(5). Suppose 0*u = z*y - 2*u - 956, 3*y - 970 = -5*u. Does 40 divide y?
True
Let x(w) = 4895*w + 344. Is 8 a factor of x(2)?
False
Is 22 a factor of (-3249 + -13)*(-4)/28?
False
Let l(k) = 11*k**2 - 11*k - 9. Let m(z) = -5*z**2 + 5*z + 4. Let n(y) = -2*l(y) - 5*m(y). Let i be (4/6)/(102/(-54) - -2). Does 22 divide n(i)?
True
Is 57 a factor of (5835/12 + -1)*((-8960)/(-24))/14?
False
Suppose 4*s - 4839 = -q, -3*q + 14274 = -5*s - 141. Is q a multiple of 10?
False
Let z(v) = 4*v**2 - 81*v - 899. Is 24 a factor of z(94)?
False
Let u be (-709)/(-7) - 3/(-42)*-4. Suppose -3*l - 78 = 5*k - 2*k, -5*k - 14 = l. Let c = l + u. Is c a multiple of 6?
True
Let d(u) = -6*u - 102. Let t be d(-17). Suppose m + 295 - 767 = t. Is 59 a factor of m?
True
Suppose -p = 4*m - 12, m = -p + 2 + 1. Suppose p = 4*j + 2*c - 10, -2*c - 2*c - 20 = 0. Suppose 3*b = -b + 5*d + 428, -3*b + j*d + 316 = 0. Is 8 a factor of b?
True
Let v(j) = -108*j + 2956. Is 14 a factor of v(-46)?
True
Suppose -g - 68 = 3*g. Suppose -w = 5*j + 6, -2*j + 0 = -5*w + 24. Does 16 divide g*((-24)/36)/(j/(-21))?
False
Suppose -313 = 3*d - 2*x - 8425, 4*x = 3*d - 8124. Is d a multiple of 150?
True
Let i be 3/(-2)*32/(-6). Suppose -4*m + 52 = -4*s, 0 = 4*s - i*s - 3*m - 31. Is (-282)/s - (-5)/(-25) a multiple of 10?
False
Let t be (-1 + 9)*17/68. Suppose 0 = 5*y - t*y - 15. Suppose -y*k = -2*s + 6*s - 112, -2*s + 4*k + 30 = 0. Does 4 divide s?
False
Let b(w) = 8*w - 35. Let a be b(7). Suppose n - a + 19 = 0. Suppose -36 = -2*m - t, 0*m + 28 = n*m - t. Is 16 a factor of m?
True
Suppose -9 = 17*p - 9. Suppose p*y + 225 = 15*y. Does 8 divide y?
False
Suppose 54*f - 19*f - 198613 = 113797. Is f a multiple of 121?
False
Suppose -5*y - 10 = -5*k, 4*y - 3*y - 3*k - 2 = 0. Let o(r) = -127*r - 2. Is o(y) a multiple of 22?
True
Let q be (-22)/(-10) + (-1)/5. Suppose -5*g + 2594 - 563 = -3*i, q*g + 5*i = 831. Is g a multiple of 51?
True
Suppose -26*b + 128825 = -20025. Is 91 a factor of b?
False
Suppose 10*a + 848 = -592. Let f = 278 + a. Is 21 a factor of f?
False
Let y = -102 + 100. Let s be (-48)/(-30)*(-15)/12*y. Let f(t) = t**2 - 5*t + 10. Does 5 divide f(s)?
False
Let c = 136 - -2214. Is 10 a factor of c?
True
Let q(k) = 2117*k - 317. Is 151 a factor of q(5)?
True
Let t(o) = 48*o**2 + 14*o - 9. Let w be t(-4). Let h = w - 667. Does 9 divide h?
True
Let v = 30 + -180. Let j be (-662)/11 - (-26)/143. Let f = j - v. Is 10 a factor of f?
True
Let f(p) = -p**3 - 4*p**2 - 2*p + 1. Let s be f(-4). Suppose 0 = s*b - 42 + 6. Suppose -b*w + 194 = -3*k, -2*w = -5*w + 3*k + 147. Does 4 divide w?
False
Let x(h) = -39*h + 4. Let z(m) = -78*m + 9. Suppose -57*u + 62*u = -25. Let o(l) = u*z(l) + 9*x(l). Does 8 divide o(3)?
False
Suppose -2*x - 16*x = -27*x + 54891. Is 67 a factor of x?
False
Let h = -84 - -87. Suppose h*t = -2*f + 1326, -3*t = -2*f - t + 1316. Suppose -184 + f = 4*y. Is 34 a factor of y?
False
Let i = 2779 + 8788. Is i a multiple of 53?
False
Let w(r) = 6*r - 103. Let f be w(18). Suppose 4256 = -f*t + 11971. Is 10 a factor of t?
False
Is 63 a factor of 1273044/72 + 1/12 + 5/(-20)?
False
Is 22 a factor of -2*734*(360/32 + -12 + 0)?
False
Suppose -2*q = 14*q - q. Suppose -g + 12 = 3*g. Suppose 5*x - 4*p - 410 = q, g*x - 4*p - 363 + 109 = 0. Does 13 divide x?
True
Suppose s = 2*s - 3*b - 57, 0 = -5*s - 2*b + 319. Let f = 212 - s. Is 45 a factor of f?
False
Let a be (-114)/(-6) - 4 - 7. Suppose -a = -r + 15. Is 3 a factor of r?
False
Let x(u) be the second derivative of u**4/3 + 5*u**2/2 - 2*u - 43. Does 5 divide x(-3)?
False
Is 7 a factor of ((-4)/(-12))/(-4 