he first derivative of -i**4/4 + 8*i**3 - i**2/2 + 59*i + 70. Let s = 54 - 30. Is 7 a factor of w(s)?
True
Suppose 9*u = 32 + 4. Suppose q - u = -4558. Is ((-8)/6)/1*q/69 a multiple of 22?
True
Is (1086/(-1267))/(3/(-1834)) even?
True
Suppose 15*b - 1852 - 12780 - 134753 = 0. Does 24 divide b?
False
Let y(q) = -22*q**2 - 16 - 75*q**3 + 74*q**3 - 23 - 6*q. Does 31 divide y(-22)?
True
Suppose -3*s = -q - 20820, 152*s - 147*s - 10*q = 34675. Is s a multiple of 38?
False
Let o = -22862 + 37838. Suppose -2*d + o = 24*d. Is d a multiple of 12?
True
Let l be ((-4)/(-8))/((-2)/(-12)). Let i(h) = -l - h**2 + h**2 + 3*h**2 - 2 - 6*h. Is i(-4) a multiple of 9?
False
Suppose -72*k - 4*z = -75*k + 2131, -z - 1419 = -2*k. Is k even?
False
Suppose -114*v + 113*v = -2*r - 6765, -v + r = -6772. Does 35 divide v?
False
Let d(s) = 4*s - 5. Let a be d(-3). Let z(p) = -35*p - 14. Let t be z(-2). Let v = t + a. Does 10 divide v?
False
Let n be (45/(-30))/(-2*1/(-788)). Let j = -344 - n. Is j a multiple of 11?
False
Suppose -5*a - 3*c = -249972, -4*c - 34 + 10 = 0. Is a a multiple of 26?
True
Suppose -57 + 19 = -19*j. Suppose 0 = -3*f + 4*g + 213 - 11, 0 = j*f - 2*g - 136. Is f a multiple of 5?
True
Let g be 1*(-1)/((-3)/9). Let p be -2*(-10)/(-15)*-66. Suppose s - 28 = 3*o - p, -66 = -g*o + 3*s. Is 8 a factor of o?
False
Let t(p) = p**3 + 38*p**2 + 23*p + 119. Suppose -g - 150 = 4*y, -2*y = g + 4*g + 84. Does 20 divide t(y)?
False
Let v(q) = 11*q**2 - 3*q - 4. Let h be v(-1). Let c(i) = 14*i - 6 + 0 + 1. Does 6 divide c(h)?
False
Suppose 19*o = 17*o + 826. Suppose 2*b = -3*i + 821, 2*b + i - o = 402. Is 29 a factor of b?
True
Let a(n) be the first derivative of 1/3*n**3 + 8*n - 1 + 9/2*n**2. Is a(-11) a multiple of 10?
True
Let v = -2069 - -2984. Suppose v = 11*a - 295. Is a a multiple of 5?
True
Suppose 0*s = -3*v + s + 50, -3*v = s - 52. Let n = -29 + v. Does 16 divide (n/(-2))/((-3)/(-8))?
True
Let r(s) = s**2 - 15*s + 16. Let b be r(14). Suppose -135 = -2*n - 0*i + 5*i, -68 = -n + b*i. Does 14 divide n?
True
Let y(m) = 2*m**3 - 11*m**2 + 6*m - 10. Let z be y(7). Suppose l = 3, -v + z = 3*l - l. Does 3 divide v?
False
Let i(n) = -8*n - 97. Let d be i(-11). Does 11 divide 158/(-2 + d/(6/(-2)))?
False
Let s = -117 - -143. Suppose -s - 34 = -5*b. Does 6 divide b?
True
Let y = -230 - -248. Is 4 a factor of ((-7)/((-7)/3))/(y/642)?
False
Let k = 862 + -277. Does 3 divide k?
True
Let s = -139 + 237. Suppose 5*v - s = 162. Is (v - 16)/((-2)/(-1)*1) a multiple of 18?
True
Let s = -1794 - -32025. Is s a multiple of 70?
False
Let h(o) = -o + 6. Let c be h(2). Let g(v) = -2*v**3 - 5*v**2 + 10*v - 4. Let f(u) = -u**2. Let x(y) = -2*f(y) - g(y). Is x(c) a multiple of 12?
True
Is (-819)/(-6 - (40140/(-448))/15) a multiple of 168?
True
Let g = 33 + 67. Let w = 100 - g. Suppose 4*j = 2*o - w*j - 258, -o = 5*j - 115. Is o a multiple of 10?
False
Suppose -i - 6 = -4*a, -5*a + 4 + 8 = i. Suppose -3*v + 3*n = -2346, i*v = -2*n + 644 + 920. Does 23 divide v?
True
Let z be -1 - 2*-46 - -2. Let v be 1/(-2) + (-17)/34 + 16. Suppose -12*c = -v*c + z. Does 3 divide c?
False
Suppose 0 = -816*u + 791*u + 229500. Does 214 divide u?
False
Suppose 0 = -199*f + 164*f + 103600. Is 13 a factor of f?
False
Suppose -9*v - 46072 = -4*f - 13*v, -7*f + 2*v = -80698. Does 51 divide f?
True
Let b be 1/((-15)/10*4/(-18)). Suppose -b*w - 3*g + 1188 = 0, -9*g + 2012 = 5*w - 12*g. Is 8 a factor of w?
True
Suppose h - 1 = 0, 2*n - 15 = 4*h + 23. Suppose 5*u - 3*y - n = 0, -3*u + 121 - 106 = -y. Is 6 a factor of u?
True
Suppose l = -6, -24*l - 63174 = -3*x - 19*l. Is 24 a factor of x?
True
Suppose 40 - 55 = -3*t. Suppose -5*n + 310 = t*o, 6 = -3*n + 5*n. Is 13 a factor of o?
False
Suppose -3*v - 325 = -2*c, 4*v = 6*c - 3*c - 490. Suppose 3196 = 9*f - c. Is f a multiple of 22?
True
Let r be 6/15*5 - (-4)/1. Suppose -j + r = 3. Suppose 5*u - q - 485 = j*q, 10 = -2*q. Is u a multiple of 31?
True
Is 15 a factor of (4/14)/2 - 17/(1785/(-126930))?
False
Let l = 376 - 380. Let y(d) = -69*d + 10. Is 12 a factor of y(l)?
False
Let k(n) = 27*n**2 + 12*n + 24. Suppose 9*b - 60 + 114 = 0. Is 21 a factor of k(b)?
True
Suppose -4*v + 39514 = m, -6*v - 5*m = -3*v - 29610. Is 76 a factor of v?
True
Suppose -4*v + 3*m = -1, 6*m = -v + 2*m + 5. Does 32 divide v*4/(4/149)?
False
Suppose 23*d - 133089 - 65854 = 35174. Does 13 divide d?
True
Let k be ((-12)/(-10))/((-57)/(-95)). Suppose 2450 = 37*x - k*x. Does 14 divide x?
True
Let i(z) = 71*z**3 - z + 5. Let b(n) = -73*n**3 + n**2 - 6. Let q(f) = 3*b(f) + 4*i(f). Is q(2) a multiple of 20?
False
Let u = 343 - 345. Is (9 - -1369) + 12/3 + u a multiple of 30?
True
Let m(k) = 19*k**3 + 4*k**2 + k - 1. Let r be m(-2). Let p = 331 + r. Is p a multiple of 6?
True
Let m(p) = -1883*p - 825. Is m(-2) a multiple of 18?
False
Let g(c) = -29*c - 27. Let k be g(-1). Suppose 4*q - 2*l - 886 = 0, -k*q = -3*q - 3*l + 211. Is q a multiple of 2?
True
Let v(c) = -8*c + 183. Let f be v(10). Let p = 197 + f. Does 25 divide p?
True
Let h(p) = p**2 + 7*p - 56. Let x be h(-13). Suppose -120 = x*d - 16708. Is 26 a factor of d?
True
Suppose 0 = 5*i + 4*t + 25, -26 + 21 = i + 5*t. Let o(u) = 3*u - 9. Let r(x) = 4*x - 10. Let p(a) = 5*o(a) - 6*r(a). Is 20 a factor of p(i)?
True
Suppose 925 = 9*c + 3274. Let d = 333 + c. Is 4 a factor of d?
True
Suppose -4*g - 5*c = -613, -2*g - 3*c + 309 = -0*c. Let j = 176 - g. Is 29 a factor of j?
True
Is 4 a factor of 4/(80/12)*(-31)/(155/(-113550))?
False
Let b be 4 + 0 + (-1 - (-13 + -2)). Let k = 106 - 28. Let c = k - b. Is 12 a factor of c?
True
Suppose 4*j + 16 = 3*v - 6, -24 = -4*v + 4*j. Let p be (-2)/(-2)*1 + v. Is 27 a factor of p/(((-2)/(-596))/(3/18))?
False
Let j(q) = -q**2 - 17*q. Let v be j(-17). Suppose 37*s - 40*s + 1287 = v. Is s a multiple of 33?
True
Suppose 7*q = 10*q - 5*x - 4810, 4*x = 4. Let d = q + -907. Is d a multiple of 63?
False
Let c(i) = 2200*i + 102. Is c(3) a multiple of 147?
False
Suppose 0 = 3*t - 39 + 42, 2*o - 5*t - 405 = 0. Is o a multiple of 25?
True
Let i(x) = 3*x + 3. Suppose v + 4*v = 3*v. Let u be i(v). Is (-4350)/(-48) + u/8 a multiple of 13?
True
Suppose -6*m + 149 + 241 = 0. Let w = m - 7. Let t = 134 - w. Does 19 divide t?
True
Let d = -2892 - -7608. Does 18 divide d?
True
Does 23 divide (2 + -4)/(3/(-148)*18/621)?
True
Let z(w) = 8*w - 6. Let o be z(4). Suppose 0 = i - 2*h - 46, -3*i - 5*h - 45 = -128. Let p = i - o. Is 4 a factor of p?
False
Let j(a) = a + 6. Let c be j(-13). Let w(z) = z**2 + 7*z + 7. Let q be w(c). Let x(i) = -i**3 + 8*i**2 + 12*i - 16. Is x(q) a multiple of 39?
True
Suppose 18*y + 6568 + 10334 = 0. Let g = -159 - y. Does 30 divide g?
True
Let h(k) = 79*k**2 - 11*k + 78. Does 17 divide h(-12)?
False
Suppose 8*u - 41929 + 123993 = 0. Is 27 a factor of (-8)/(-76) - u/19?
True
Let j(p) = -119*p**3 - 2*p - 1. Let t be j(-1). Suppose t = 7*s - 4*s. Suppose -350 + s = -5*r. Is r a multiple of 31?
True
Let m = -79 + 112. Let v(y) = y**3 - 34*y**2 + 35*y + 10. Is 38 a factor of v(m)?
True
Suppose 3*z - 3621 - 3009 = 0. Suppose 5*t - z = -2*f + 7*f, -4*f = t - 462. Does 7 divide t?
False
Let f be -6 + (13 - (11 - 6)). Let x(y) = 25*y**3 - 7*y + 9. Is 11 a factor of x(f)?
False
Suppose -96*f + 70*f + 45760 = 0. Is 10 a factor of f?
True
Let x(k) = 3*k - 12. Let u be x(4). Let l(z) = -11*z + 265. Is l(u) a multiple of 9?
False
Suppose -2*q = a - 2523, -5*q - 1595 + 9167 = 3*a. Suppose -28*x = -a - 1279. Does 5 divide x?
False
Suppose 5*m - 15 = 0, -31*m + 18 = 5*d - 30*m. Suppose j - 50*h - 777 = -47*h, -4*j + d*h + 3099 = 0. Does 6 divide j?
True
Is 30 a factor of (10 - 96888/72)*(0 + (-3 - 6))?
False
Let o(y) = -6*y + 43. Let x be o(6). Does 37 divide (888/((-42)/x))/(-2)?
True
Let x(l) = l**2 - 71*l + 267. Let k be x(67). Let b(a) be the first derivative of -88*a**2 - 2*a + 2. Is 10 a factor of b(k)?
False
Let z be (1 - 1)*(-62)/(-62). Suppose -m - 4*m + 845 = 0. Suppose z*k = -k + m. Is 15 a factor of k?
False
Suppose 38 = 4*c + 22*o - 23*o, 5*c - 46 = 2*o. Let w(g) = -8*g + 4*g**2 - 3*g**2 + 4 - g. Is 10 a factor of w(c)?
False
Suppose 55*s - 61*s + 18 = 0. Suppose 3*u = -s*n + 816, 0 = -4*u - 5*n + 1208 - 118. Is 10 a factor of u?
True
Is (6*3/9*-11)/((-4)/370) a multiple of 5?
True
Let h be ((-52)/(-8))