f = 3*d + 3438, 3*f - 417*d + 412*d = 3434. Does 14 divide f?
True
Suppose 11*l - 12276 = -0*l. Let o = -691 + l. Does 25 divide o?
True
Suppose -80*u - 18*u + 321265 = -31*u. Is u a multiple of 74?
False
Let s(w) = -20*w - 99 + 145 - 115. Is s(-13) a multiple of 7?
False
Suppose -2061*r - 96352 = -2069*r. Is 56 a factor of r?
False
Let b = -22937 - -34106. Is 4 a factor of b?
False
Let v = 33 + -27. Suppose f = v*f + 4*x - 35, 3*f + 2*x = 19. Suppose -14*h = -15*h + f. Does 3 divide h?
True
Let j be 1/(2/12*2). Is 28 a factor of 4205/15 + (-1)/j?
True
Suppose -2*x = -4*x - t + 39, -27 = -x - 3*t. Suppose -a = o - 203 - x, 655 = 3*a + 5*o. Is 19 a factor of a?
False
Suppose -2*z = -4, -z - 4455 = -5*y + 3998. Does 2 divide y?
False
Suppose 4*p = 53*p - 89*p + 700480. Is p a multiple of 11?
True
Suppose 27773 + 76313 = 68*g - 173898. Is g a multiple of 14?
True
Does 7 divide 47924 - (26 + -48) - 4?
False
Is 151 a factor of 382/(-5)*(885/(-8))/((-48)/(-64))?
False
Let t(w) = -3*w - 36. Let g be t(-13). Suppose 7 = 3*c + q - 11, g*c - 5*q = 0. Suppose 5*f = 4*f - m + 166, -c*m = 0. Does 21 divide f?
False
Let h be (4/(-3))/((-16)/(-24)) - -4. Suppose 29 + 41 = h*u. Suppose 0*w = -w + u. Is w a multiple of 6?
False
Suppose 3*r + 2*s - 6152 = s, 5*r + s = 10254. Does 38 divide r/3 - 73/(-219)?
True
Let c(f) = -4*f**3 - 8*f**2 - f - 21. Let i(k) = -k**3 + k. Let d(r) = -c(r) + 5*i(r). Let l be d(9). Does 20 divide ((-30)/4)/(l/32)?
True
Suppose 2*f = 2*c + 19034, 10911 = f - 4*c + 1403. Is f a multiple of 16?
True
Suppose -6012*m = -6024*m + 41688. Is 27 a factor of m?
False
Suppose -2*z - 7212 = -37476. Is z a multiple of 39?
True
Let m(o) = -o**2 - 10*o - 4. Let w be ((-3)/6)/((-1)/90). Let x be 1/(-4) + w/(-12)*1. Is 18 a factor of m(x)?
False
Suppose 0 = -16*a - 30809 - 3351. Does 4 divide 4/(-8) - a/14?
True
Let x(v) = -5*v**2 - 5*v + 16. Let o(n) = 4*n**2 + 5*n - 15. Let q(h) = -6*o(h) - 5*x(h). Is q(6) a multiple of 7?
False
Let o(n) = 277*n**2 + 921*n + 6394. Does 13 divide o(-7)?
True
Let g be 1*199 - (-34 + 27). Let l = g + 145. Does 39 divide l?
True
Let j(c) be the second derivative of c**4/6 + 11*c**3/6 + 33*c**2/2 + 45*c. Is 26 a factor of j(-17)?
False
Is (25952/160 - -23)/((-1)/(-62 - -2)) a multiple of 24?
True
Suppose 3*v = -2*n + 25005 - 2835, -14769 = -2*v - 5*n. Is 231 a factor of v?
True
Let h(w) be the second derivative of w**4/12 + w**3/3 - 5*w**2 - w. Let i be h(3). Suppose i*o - 116 = -3*l, -2*l + 2*o = 2*l - 172. Is 17 a factor of l?
False
Let k be (-6)/4 + 55/10. Suppose -13 = k*r + 347. Is 13 a factor of (r - (0 - -1))*(1 + -2)?
True
Let j(w) = 51*w**2 + 41*w + 7. Is 49 a factor of j(5)?
False
Let c(x) = x**2 + 10 - 7*x + 2*x**2 - 51 + 3*x. Does 18 divide c(-5)?
True
Let v(s) = -7*s - 32. Let f be v(-7). Let n(i) = 8*i - 22. Let p be n(f). Suppose -d - 4*x = -66, -3*d + p = -x - 84. Is d a multiple of 8?
False
Suppose -4*g - 2 = -10. Let u(i) = -23*i**2 + 4*i - 8. Let z be u(g). Is (z - 3)*(0 - 1) a multiple of 18?
False
Let g(l) = l**3 + 3*l**2 + 7*l + 5. Let x be g(-3). Let v = 2 - x. Let r = 42 - v. Does 8 divide r?
True
Let r(k) = 27*k - 17. Let d(b) = 53*b - 35. Let t(l) = 3*d(l) - 5*r(l). Suppose 3*x + 14 = 5*x. Does 11 divide t(x)?
False
Let u(n) = -3*n + 13. Let l(j) = -2. Let x(t) = 2*l(t) + 2*u(t). Let o be x(0). Suppose -18*z = -o*z + 924. Is 33 a factor of z?
True
Let v(p) = -1558*p - 7890. Does 84 divide v(-9)?
True
Let i(w) = 21*w**2 - 644*w + 109. Is i(48) a multiple of 85?
False
Let g(p) = -36075*p**3 - 7*p**2 - 11*p - 7. Is 36 a factor of g(-1)?
True
Let i(r) = -r**3 - 4*r**2 - 2*r + 6. Let n be i(-3). Let z(h) = 40*h**3 - 3*h**2 + 9*h + 3. Is z(n) a multiple of 57?
True
Suppose 3*n = -2*t + 1574, 5*n - 1219 = 3*t + 1379. Is 18 a factor of n?
True
Suppose 2*y - 36*y + 36312 = 0. Suppose y = 2*c + 2*f, 3*c - 3*f - 1777 = -181. Does 41 divide c?
True
Let t be (26/(-4) - -6)/(1/(-16)). Does 5 divide 590/((-56)/t + 9)?
True
Suppose 0*o + 2190 = o + 3*p, -2*o - p + 4380 = 0. Suppose 11*v - 923 = o. Is 11 a factor of v?
False
Let w(j) = 21*j - 71. Let o be w(15). Suppose -4*z - 4*q = -645 + 129, -2*z + 5*q = -o. Is 14 a factor of z?
False
Let j = -13204 - -34054. Is 15 a factor of j?
True
Suppose -7*n = -4*w - 3*n + 4, 5*w - 4*n = 2. Is 2 a factor of -1*(w - -5) - 15/(-3)?
True
Let i = 76599 + -32738. Is i a multiple of 165?
False
Suppose d - 11 + 9 = 0. Does 11 divide (-286 + d)*7/(-14)?
False
Suppose -h + 47 = -4*x, -8*x = -3*x - 4*h + 67. Let c(g) be the first derivative of -g**4/4 - 11*g**3/3 - 11*g**2/2 + 19*g + 67. Is c(x) a multiple of 28?
True
Is (-8 + 160)*17487/36 a multiple of 51?
False
Let i(p) = -7008*p**2 - 35*p. Let m be i(-2). Is 6 a factor of m/(-198) - 2/9?
False
Suppose -10*z - 165 = -15*z. Suppose -z*i + 21*i + 288 = 0. Does 3 divide i?
True
Suppose 6*x - 19141 = -3*z - 7588, 5*z + 4*x - 19285 = 0. Is 39 a factor of z?
True
Let q(s) = -8*s - 12. Let r be q(-3). Is 56 a factor of ((-3)/r + 2)/(17/1632)?
True
Let w = -7 - -41. Suppose w*x - 886 = 32*x. Let m = x + -227. Is 36 a factor of m?
True
Let t = 118 - 134. Is (13 + t)/((-2)/498) a multiple of 7?
False
Suppose 7*w - 4*w + 4 = 5*q, q = 2. Suppose -u = 4*h + u - 10, w*u + 14 = 4*h. Suppose 125 = h*k - 217. Is k a multiple of 19?
True
Suppose -480 - 240 = -4*i. Let y = -61 + 70. Suppose 0 = 4*h - y*h + i. Does 10 divide h?
False
Suppose 4*k = 2*k. Suppose -3*n - n = k. Suppose n = -6*m + 5*m + 42. Is 10 a factor of m?
False
Suppose i = 22*z - 26*z + 1092, -3*z = 0. Suppose 2*w + i = 4*g - 2086, 0 = w + 5. Is g a multiple of 57?
False
Let b(w) = -5*w + 275. Is 5 a factor of b(15)?
True
Let b = -10087 + 34797. Does 14 divide b?
True
Suppose x + 3*q = -3, 6*x + 12 = 2*x + 4*q. Is (-5 - (-110)/15)/(x/(-207)) a multiple of 23?
True
Let v(a) be the third derivative of a**6/5 - a**5/12 - 5*a**4/24 + 2*a**3 + 149*a**2 - 1. Is 40 a factor of v(3)?
True
Suppose -355 = 4*n + 5*q - 8*q, 4*n - 5*q + 357 = 0. Let z = n + 143. Suppose -x - 2*f + 56 = 0, x - 2*x - 3*f = -z. Is x a multiple of 6?
False
Let r(g) = -33*g**2 - 7*g - 2. Let j be r(2). Let m = -129 - j. Is m a multiple of 7?
False
Let s(n) be the first derivative of -n**5/20 - n**4/3 - 8*n**3/3 + 22. Let b(o) be the third derivative of s(o). Does 52 divide b(-10)?
True
Let o = -117 - -43. Let v be (1 - o)*3/(-6)*-4. Suppose -3*c = 2*c - v. Is c a multiple of 30?
True
Let k(t) = -2102*t - 6536. Is k(-13) a multiple of 165?
True
Let l(u) = u**3 + 3*u**2 - 3*u - 4. Let t = 23 - 26. Let y be l(t). Suppose -131 = -y*m + 229. Is m a multiple of 12?
True
Let r = -41789 - -67115. Is 42 a factor of r?
True
Suppose -5*s - 2*v + 13 = 0, -s - 7*v - 1 = -3*v. Suppose -4*i + 2405 = 14*j - 9*j, 3*j - 1440 = -s*i. Is 23 a factor of j?
False
Let a be ((-63)/105)/((-2)/10). Let f be ((-5)/3)/((-1)/a). Suppose f*k = 5, r - 7*k + 2*k - 11 = 0. Does 8 divide r?
True
Suppose 3 = -3*b - 5*f, -7*b - 3*f = -9*b + 17. Let i = 1 - -3. Is 39 a factor of (b/6)/(i/240)?
False
Let p = -230 + -301. Is (16/(-10))/(p/525 + 1) a multiple of 10?
True
Suppose -14471 = -3*s - u, 4*u = 4*s + u - 19299. Does 24 divide s?
True
Suppose 3*q - 106 = -5*p, 5*q = -p - 3*p + 168. Let v be (46/(-161) - (-16)/7) + 0. Let r = v + q. Does 17 divide r?
True
Suppose -12*a = -17*a - 50. Let q(v) = v**3 + 12*v**2 + 19*v - 8. Let m be q(a). Suppose 3*c = -m*n + 189 + 11, c - 286 = -3*n. Is n a multiple of 32?
False
Suppose 0 = -5*h + 2 - 17, y + 2*h = -3. Suppose -n + 14 = -5*z, -n - y*z + 2 = -2*z. Suppose 3*f = -i - n*i + 565, -3*f - i = -545. Does 31 divide f?
False
Suppose 25*h - 24*h = 8. Let a be (-3)/3 + h/4 - -3. Suppose a*x - 24 - 68 = 0. Is 11 a factor of x?
False
Suppose 0 = 20*d + 45870 - 395070. Is 20 a factor of d?
True
Let w(z) = -785*z + 8145. Is 114 a factor of w(-39)?
True
Let w be 404/(-2) - -5*(-26)/(-65). Is 50 a factor of w/((-25)/5 + (-23)/(-5))?
True
Let g = -284 - -134. Let w = 228 + g. Is w a multiple of 9?
False
Let g(b) = -2*b + 96. Suppose -3*v = 2*f + 80, -4*f = -v + 114 + 18. Is g(f) a multiple of 46?
False
Suppose -20 - 10 = -3*b. Let x(g) be the first derivative of 25*g**2/2 - 46*g + 1043. Is 17 a factor of x(b)?
True
Suppose -78 = 6*j - 72. Is 0 - (-854 + 8 - j) a multiple of 12?
False
Does 77 divide 1*(90564/