*w = -a + 10 - 2. Let t(h) = -9*h + 2*h**3 + 14*h**2 + 22 - 4*h**a - 3*h**3. Is t(9) a multiple of 11?
True
Let u(x) = x**2 + 2. Let f be u(-2). Suppose -f*b = 11 - 185. Suppose -13*d + b = -322. Does 9 divide d?
True
Let o(i) = -113*i + 389. Let c be o(-11). Suppose -51*p = -59*p + c. Is 51 a factor of p?
True
Suppose -12 = -10*g + 18. Suppose 2*t - 100 = 3*c - 5*c, 2*c = -g*t + 148. Is t a multiple of 24?
True
Suppose 0 = 8*g - 19304 - 7944. Suppose 2*i + g = 15*i. Does 11 divide i?
False
Suppose -2*b - 7 = -u - b, u - 2*b - 3 = 0. Let c(t) = -t**2 + 12*t - 9. Let v be c(u). Is 10 a factor of -3 - (-73)/2*v?
True
Let j(a) = -a**2 - 26*a - 37. Let i be j(-22). Let u = 51 - i. Suppose -t = -4*z + 382 + 66, u = 4*z - 3*t - 448. Does 14 divide z?
True
Let n = 13 + -12. Suppose -5 = j - n. Is 10 a factor of 38 + (-8 - j)*-1?
False
Suppose -s - 4*s + 10 = 0. Suppose -s - 2 = -r. Is 3 a factor of (-1)/r*1 + 170/8?
True
Suppose -11764 = -4*o + 2*o + 4*q, -5*q = 5. Is 21 a factor of o?
True
Let t(j) be the second derivative of 11*j**4/12 - 5*j**3/6 - 2*j**2 + 7*j + 2. Does 26 divide t(-3)?
False
Does 4 divide (1060 - 1088)*(-212 - -1 - 1)?
True
Let i(h) = h**2 - 12*h + 20. Let x be i(6). Let c be ((-33)/(-4))/((-12)/x). Let s = 44 + c. Does 5 divide s?
True
Is 2 a factor of (-3843)/(-6)*(-17 - -19)?
False
Suppose -28*s + 35102 + 15644 = -18694. Is 16 a factor of s?
True
Let q(w) = w - 42. Let v be q(-1). Let s = v - -439. Is 46 a factor of s?
False
Let b(q) = 2*q**3 - 4*q**2 - 6*q + 2. Let p be b(4). Let i(m) = -m**3 - 12*m**2 - 21*m - 15. Let k be i(-10). Let z = p + k. Is 6 a factor of z?
False
Suppose 8*b = 12*b - 12. Suppose 0 = -0*j - 2*j + 4*k - 28, 51 = -b*j - 3*k. Does 3 divide 16/(-2)*44/j?
False
Let g(a) be the first derivative of 3*a**2 + 30*a - 1. Let r be g(0). Suppose -27 = -w + 4*d + r, -2*d - 186 = -4*w. Does 15 divide w?
True
Let x be (-2)/5 - (-2106)/390. Suppose 5*g - 4*q + 26 = 582, -x*g + 532 = 2*q. Is g a multiple of 2?
True
Let u be (-13)/(91/(-42)) - 4*-1. Suppose -25*l = -u*l - 2700. Is 36 a factor of l?
True
Let x(m) be the third derivative of -m**6/120 + 13*m**5/60 - m**4/12 - 14*m**3/3 + 341*m**2. Is x(10) a multiple of 4?
True
Let u be (105/(-63))/(1/(-18)). Let l(j) = -j**2 + 40*j + 120. Is 35 a factor of l(u)?
True
Let m(d) be the first derivative of -2*d**3/3 - 5*d**2 + 30. Let x be m(-6). Is (32 + x)/(4*(-1)/(-6)) a multiple of 6?
True
Let b(r) = -9*r**2 + 13*r**2 - 17 - 13 - 15*r - 33 + r**2. Is 9 a factor of b(12)?
True
Let i = -244 - -246. Is 531 + i + 6 + -10 a multiple of 31?
False
Suppose 0 = -30*h - 3591 + 50241. Is h a multiple of 6?
False
Let h(j) be the third derivative of -j**6/120 + j**5/3 + 17*j**4/8 - 37*j**3/6 + 2*j**2 - 6. Is 4 a factor of h(22)?
False
Let b(c) be the second derivative of -c**4/4 + 11*c**3/6 + 7*c**2 + 9*c. Let q be b(-6). Let l = -112 - q. Is 17 a factor of l?
False
Let u = 7 + -5. Let f = 17 + -11. Suppose f = -4*y + u*r + 338, -4*r = 0. Is 18 a factor of y?
False
Suppose -680 = -8*f + 4*f. Suppose 106 = -4*w + f. Is w a multiple of 10?
False
Does 118 divide -3 - -5 - 2 - 984*-3?
False
Suppose 0 = -p + 8*u - 5*u + 66, 247 = 4*p + 5*u. Suppose 231 = -12*v + p. Is 6/(53/v - (-16)/4) a multiple of 10?
False
Let z = -41456 - -84384. Is 14 a factor of z?
False
Let m(v) = -v**2 - 7*v - 7. Let l be m(-6). Does 8 divide (-1 + (-7)/l)*574/21?
False
Let b be ((-8)/6)/((-6)/207). Suppose -d + 4*a = -36 - b, 485 = 5*d - 5*a. Suppose -5*r + 303 = -d. Is r a multiple of 14?
False
Let l = -10 - -10. Suppose -2*d - 2*c + 270 + 58 = l, d - 166 = -2*c. Let u = 290 - d. Is u a multiple of 32?
True
Let n = -247 - -435. Let u = 51 + n. Is 33 a factor of u?
False
Let t(n) = 19*n**2 - 11*n + 58. Let s = -238 + 244. Is t(s) a multiple of 16?
False
Suppose 9*p - 16*p = 0. Let d = p - -4. Suppose 367 = d*m + 2*c - 225, 2*m - 296 = 3*c. Does 37 divide m?
True
Let k be ((-2)/3)/(561/(-81) - -7). Is 3 a factor of (-429)/k + (-8)/(-24)?
True
Suppose b + 4783 = x, -x = 3*b - 1680 - 3123. Is x a multiple of 31?
False
Let o = -2411 + 3087. Is o a multiple of 4?
True
Suppose -6*x + x = -30. Suppose 0 = -x*f + 4*f. Suppose -b + 2 = f, 2*b = z - 12 - 8. Is 8 a factor of z?
True
Let j = -5431 + 8695. Is j a multiple of 16?
True
Suppose -3*g + 4*h + 6420 = -4086, -3*h + 7038 = 2*g. Does 15 divide g?
True
Suppose 89*h = 5*v + 87*h - 5008, -4*v + 4004 = -2*h. Is 4 a factor of v?
True
Suppose 0 = -n - 0*k + 2*k + 100, -112 = -n - 2*k. Let c = n + -88. Is 32/3*c/4 a multiple of 16?
True
Let j(s) = 2*s - 26. Let p be j(17). Suppose p = -2*u + 4*r - 6*r, 0 = 5*u + r. Does 21 divide ((1 + -2)*u)/(1/(-84))?
True
Suppose 0 = -5*r - 20, -139*i + 58364 = -136*i + 4*r. Does 28 divide i?
True
Does 105 divide (104/(-8) + -470)*-15?
True
Let j(y) = 1 + y**2 + 198*y + y**3 - 199*y - 6*y**2. Let l be j(5). Is 42 a factor of l/18 + (-15119)/(-117)?
False
Suppose -229 = -5*t - 2*l - 639, -5*t + l - 395 = 0. Does 8 divide t/(-12) + -8 + (-244)/(-3)?
True
Suppose -32*t = -26*t - 972. Suppose -h - 4*a - a + t = 0, 4*a + 338 = 2*h. Is h a multiple of 9?
False
Let z be 6/(-14) - 162/63. Let w be z/((2/8)/(25/(-10))). Let t = w + 130. Is t a multiple of 15?
False
Suppose 0 = -5*a + 2*s + 101490, -42*a + 40*a - 3*s = -40596. Is a a multiple of 17?
True
Let x = 832 - 828. Suppose 7*z + 17 = 8*z - v, -x*v = 5*z - 94. Is 6 a factor of z?
True
Let k(y) = -40*y**3 - 8*y**2 + 49*y + 141. Does 167 divide k(-3)?
True
Let t(s) = 2*s. Let j be t(1). Let n = 105 + -100. Suppose -2*m - 245 = -n*m + j*p, 3*p - 338 = -4*m. Does 10 divide m?
False
Suppose -3*n + 2*d + 9398 = 0, 5*n + 4*d - 3128 = 4*n. Is 58 a factor of n?
True
Suppose -5*z + 4*w + 335 = 0, -223 - 112 = -5*z - 5*w. Let a be (-8)/6*60/2. Let u = z + a. Does 14 divide u?
False
Let b = -911 + 916. Let y(q) = 30*q**2 - 25*q + 86. Is 9 a factor of y(b)?
True
Let i = 23516 + -10597. Is 126 a factor of i?
False
Is 25 a factor of 0 + 6 + -6 + 14 + 4 + 7907?
True
Let m be (0/(3 - 1))/(5 + -7). Suppose 2*k = -4*u + 1202, m = 4*u + k - 0*k - 1201. Does 12 divide u?
True
Let k be (-21)/(-2)*102/(-9). Let q = k + 191. Does 6 divide q?
True
Is 15 a factor of ((-139111)/(-374) - 6/(-11))/((-2)/(-12))?
True
Let a be (-4)/(-18) - 150/(-54). Let m(y) = -2 + 195*y**2 - 96*y**2 + 9*y - 93*y**2 - 4. Is 15 a factor of m(a)?
True
Suppose 139 = 3*g + 13. Suppose -43*p = -g*p - 680. Is p a multiple of 50?
False
Let r = -13046 - -17461. Is 5 a factor of r?
True
Let w = -9501 + 16164. Does 58 divide w?
False
Suppose 0 = -u - 2*r + 141, 0*u - 126 = -u - 5*r. Suppose m + 7*p - 39 = 11*p, -2*p + u = 5*m. Does 17 divide m?
False
Let o(n) = 4*n**3 + 3*n**2 - 15*n - 7. Let h be o(6). Let c = -343 + h. Is c a multiple of 9?
False
Let q(n) = 23*n + 246. Let f be q(8). Let g = f + -205. Is 19 a factor of g?
False
Suppose 2030 = 4*f - 4*x + 3*x, 2*x = -5*f + 2544. Does 10 divide ((-1)/2)/((-2)/f)?
False
Is 29 a factor of -1*7/(56/(-72)) - -1429?
False
Suppose v - 614 = 3*f, 3*f + 206 + 1028 = 2*v. Is v a multiple of 5?
True
Let v(w) = 6*w**2 + 38*w - 94. Let f(l) = 2*l**2 + 13*l - 31. Let k(g) = -16*f(g) + 5*v(g). Let i be k(-11). Does 30 divide ((-6)/3)/12 - 3243/i?
True
Suppose -h - 4*v = -6, -4*h - 3*v + 38 = -v. Suppose n = -2*a + 3*n + 8, -3*a + h = -2*n. Suppose a*l + 2*z + z = 36, 3*l + 2*z - 59 = 0. Does 3 divide l?
True
Let f be 26 - (0/1)/(-5). Suppose -p = -4*j + 80, -4*p = -j - j + f. Suppose 5*v + b - 30 = 11, -3*b = -3*v + j. Is 2 a factor of v?
True
Let s(k) = 2*k**2 + 21*k + 23. Let m(v) = v**2 + v + 1. Let o(i) = m(i) - s(i). Let a be o(-18). Suppose 3*x = a*x - 330. Does 6 divide x?
True
Let i = 122 + -119. Suppose 3*z - 117 = -i*d + 6*z, 4*d - 2*z = 154. Suppose 11 = -t + d. Is 13 a factor of t?
False
Let d be ((-110)/8)/((-11)/(-44)). Suppose 0 = 8*i - 1357 - 315. Let q = d + i. Does 14 divide q?
True
Let z = -10359 - -15566. Is 46 a factor of z?
False
Is (-7 + 252/28)/((-4)/(-22014)) a multiple of 24?
False
Let z = 3238 - 2267. Is 10 a factor of z?
False
Let z = 3879 + 5169. Is z a multiple of 96?
False
Let x be 2*(0 + 1)*(-646)/(-68). Does 10 divide (54/15 + 3)/(x/380)?
False
Let u(v) = v**2 + 10*v - 20. Let r = 101 - 92. Let y be u(r). Let z = y + -112. Is 13 a factor of z?
True
Suppose -4*q + 14 = 5*m, 