 2*h**2 + 2*h + 1. Let q(i) = i**3 - 14*i**2 + 11*i + 25. Let m be q(13). Is 13 a factor of n(m)?
True
Let p be (-2)/6 - 552/(-9). Let i = -37 + p. Is 8 a factor of i?
True
Let c be 4/(72/6081) - 2/(-12). Let h = c + -199. Does 27 divide h?
False
Suppose -6*u + 375 = -615. Is 11 a factor of u?
True
Suppose -3*m + 1244 + 145 = 3*i, -454 = -m + 2*i. Is m a multiple of 10?
True
Does 30 divide 8 - (-2 + -798) - -1?
False
Let s(n) = -13*n - 18*n**2 - 2*n**2 + 19*n**2. Suppose 3*u + 3 = 5*t - 4*t, 4*u = 2*t + 2. Is s(t) a multiple of 12?
True
Let o(s) = -39*s + 9. Let t be o(7). Let g be 15/(4*(-9)/t). Suppose 0*w = 5*w - g. Is w a multiple of 16?
False
Suppose -r - 3*i + 351 = 0, -438 = -2*r - 3*i + 273. Is r a multiple of 45?
True
Let z be ((-8)/(-20)*5)/(-2). Let a be (z + 0)*1085/(-7). Does 13 divide 2/(4 - a/40)?
False
Let t(g) = g**3 - 5*g**2 - 5*g - 2. Let x be t(6). Let d(r) = 8*r + 11. Let u(v) = 23*v + 31. Let k(b) = -11*d(b) + 4*u(b). Is k(x) a multiple of 12?
False
Let h be 6 + (-9)/(-27)*-3*1. Does 41 divide 168 + (-1 - -2 - h)?
True
Let u = 2 + -2. Let q be (5/(-3))/(1/(-9)). Suppose u = 5*g - q - 30. Does 3 divide g?
True
Let p(h) = 14 - 5*h - 1 + 4*h. Let g be p(9). Is 6 a factor of (12*2)/1 - g?
False
Let p(z) = -2*z**2 + 2*z + 34. Let a be p(0). Suppose 32*o + 38 = a*o. Is o a multiple of 19?
True
Let j(x) = -5*x + 9. Let g be j(7). Let f = 71 + g. Is 9 a factor of f?
True
Suppose 0*k - 28 = 4*k + 4*p, -3 = k - 3*p. Let h(i) = i**2 - 11*i + 5. Does 26 divide h(k)?
False
Let c be 4 + (-1 - (-4 + 3)). Suppose 4*l = c*p - 12, 0*p + 4*l = p - 3. Suppose p*u = u + 78. Is u a multiple of 13?
True
Let x(g) = g**2 + 15*g + 2. Let l be x(-15). Let j(u) = -2 + 8*u - 9*u + l*u. Does 5 divide j(9)?
False
Is 61 a factor of (-508)/(-1) + -7*1?
False
Let h = -262 - -810. Is h a multiple of 4?
True
Let l(u) = u**2 + 17*u - 9. Let s be l(-18). Let g be ((-158)/(-4))/(s/(-18)). Let q = 114 + g. Is 35 a factor of q?
True
Let n(f) = -f**3 + 6*f**2 + 8*f + 10. Let h be n(8). Let a = h - -152. Suppose c - a = -w - 2*c, 3*c - 300 = -3*w. Is w a multiple of 27?
False
Suppose 9*x - 1089 + 144 = 0. Let k = x + -15. Is 6 a factor of k?
True
Suppose 2*z + 2*z = 16. Suppose -3*p + 220 = n - 141, 5*n = -4*p + 474. Suppose 4*c - z*l - p = l, l = -5*c + 173. Is c a multiple of 17?
True
Suppose -6*p = -3*p + 132. Let h = p - -56. Does 4 divide h?
True
Let h = 1520 - 1329. Is 7 a factor of h?
False
Suppose -4*i - 65 = 15. Is 25 a factor of 4/20 - 2216/i?
False
Let q(p) = -p**3 + 6*p**2 + p - 9. Let j be q(5). Let v = j + -24. Let u(b) = b**3 + 7*b**2 - 4*b - 6. Is u(v) a multiple of 6?
True
Let o be 2 + (-1 + 1 - -5). Let r = o + -16. Let t = -3 - r. Does 2 divide t?
True
Suppose -889 = -4*s - 5*x - 182, 0 = 3*x + 3. Let m = s - 149. Is m a multiple of 7?
False
Is 3/(-36) + (-57722)/(-24) a multiple of 13?
True
Let v(f) = -f**2 + 2*f + 2. Let t be v(4). Let u(z) = z + 13. Does 7 divide u(t)?
True
Suppose 3*c - 588 = 729. Suppose -5*a + i = -0*i - c, -4*a = 3*i - 336. Is 18 a factor of a?
False
Suppose -10 - 6 = -k - 5*z, z = 1. Suppose -f - k = 1. Is 3/((-12)/8) - f a multiple of 10?
True
Suppose 3*g + k - 329 = -3*k, 5*k = -3*g + 328. Is g a multiple of 15?
False
Let x = 65 - -47. Is 12 a factor of x?
False
Suppose -23*x + 20*x - 111 = 0. Let g = 10 - x. Does 6 divide g?
False
Let o be 1032/(-4 + 1) - -1. Let r = -234 - o. Is 14 a factor of r/3 + 4/6?
False
Let r be (-3)/(-3)*(2 + 0) + 92. Suppose 4*i - 122 = r. Is 18 a factor of i?
True
Suppose l + 232 + 529 = f, f - 5*l - 753 = 0. Does 109 divide f?
True
Let h(o) = o**2 + o - 30. Does 4 divide h(18)?
True
Let u = 46 + 18. Suppose 3*q + 5*f = 95, 2*q + 7*f = 3*f + u. Is 3 a factor of q?
True
Let t(l) = l + 1. Let a be t(5). Let u = 1 - 1. Suppose a = 2*p - u. Does 2 divide p?
False
Let y(z) = 22*z**2 + 12*z + 21. Does 25 divide y(-4)?
True
Suppose q = -2*y + 3*y - 15, 0 = 4*q + y + 55. Suppose -2 - 8 = -i. Let g = i - q. Does 12 divide g?
True
Does 5 divide (-5065)/(-20) + -4 + (-7)/28?
False
Does 8 divide (-111 + 4695)/(0 - (-3)/2)?
True
Suppose -2707 = -20*c + 2413. Does 32 divide c?
True
Suppose -2*m + 93 - 32 = y, 0 = -3*y - 15. Suppose 25*q = m*q - 416. Does 14 divide q?
False
Suppose -2*c + 1743 = 543. Suppose 20*l = 15*l + c. Is 12 a factor of l?
True
Suppose -3*m = -3*k + 127 + 17, -5*m - 28 = -k. Is k even?
False
Suppose 491 - 6936 = -5*r + 5*c, -20 = 4*c. Is r a multiple of 7?
False
Let x = -326 - -135. Let p = x + 352. Does 23 divide p?
True
Suppose 2*z - 5*p = -225, -4*p - 400 = 3*z + p. Does 18 divide (-1 + -1)/(-2) - z?
True
Let x = 335 + 643. Is x a multiple of 24?
False
Let h be (-3)/3 - (2 + 0). Let z be (-2)/h + 10/(-15). Suppose -5*i + 55 = -z. Is i a multiple of 11?
True
Let g = 762 + -242. Is g a multiple of 26?
True
Let t(h) = h**3 + 3*h**2 - 28*h - 11. Does 12 divide t(-6)?
False
Let i = -2 - -5. Let x(f) = -f**2 - 7*f + 5. Let w be x(-7). Suppose -i*t + 26 = w. Is t a multiple of 3?
False
Suppose -9831 = -12*c + 933. Is 39 a factor of c?
True
Suppose 5*q - 2 = -3*n, -2*n - 4*q = -0*q. Suppose 2*r - 5*m = 51, -n*r + 0*m = -5*m - 107. Does 7 divide r?
True
Suppose -18*s - 5*s + 6601 = 0. Does 12 divide s?
False
Let t = -48 - -159. Let q = 45 - t. Is (q/(-9))/(6/81) a multiple of 22?
False
Let q be 232*(-11)/(-26) - (-18)/(-117). Let c be 4/(-14) - 383/7. Let k = q + c. Is 15 a factor of k?
False
Suppose -i + 1260 = 4*b, -3*b + 0*i = -i - 952. Does 2 divide b?
True
Let m(s) = -s - 11. Let p(o) = 2*o + 23. Let c(y) = -7*m(y) - 3*p(y). Let f be c(-5). Suppose -f*t + 72 + 5 = 2*g, 0 = -4*g - 3*t + 157. Does 10 divide g?
True
Suppose 3*f = -3*f + 36. Let g be (21/(-9) + -3)*f. Let c = -11 - g. Does 21 divide c?
True
Let b = -198 - -279. Is b a multiple of 9?
True
Let c(u) = -u**2 + 24*u - 10. Let m be c(23). Suppose 4*x = -m*x + 1224. Does 6 divide x?
True
Let b = -4 - 2. Is 16 a factor of (24*3/15)/(b/(-20))?
True
Let l = -11 + 8. Is ((-3 - l) + 5)/(2/6) a multiple of 3?
True
Suppose -2*o + 4 = 0, -3*o - o = -5*l + 517. Suppose 0 = 5*q - f - 163, -2*q + 5*q - l = -3*f. Does 2 divide q?
False
Let z(a) = a**2. Let o be z(-2). Suppose o*c - 3*c = 5. Suppose -150 = -5*s - c*d, 0*s + 5*d = -3*s + 90. Is s a multiple of 15?
True
Suppose 1834 = 3*b + 4*a + 266, -2617 = -5*b - 3*a. Does 6 divide b?
False
Suppose h - 2*i - 615 = 0, 2*i - 607 = -h - 4. Does 21 divide h?
True
Suppose 90*x = 83*x + 11242. Is 6 a factor of x?
False
Let z(o) be the second derivative of o**5/60 + o**4/24 - 11*o**3/6 + 2*o**2 + 4*o. Let q(p) be the first derivative of z(p). Is 6 a factor of q(5)?
False
Suppose 3*f = 6, 5*t = 5*f + 1190 + 350. Is t a multiple of 62?
True
Suppose 2 = o - 0. Let s = -48 - -38. Let a = o - s. Is 4 a factor of a?
True
Suppose -3*q - 2 = -t, 3*t - 8 = 7. Suppose 3*r = -4 + q. Is 7 a factor of (-7)/(2/(-3 + r))?
True
Let f be ((-48)/9 - -2)*-3. Let o be (-3)/1*1*f. Is o/(-10) - (-8 + -1) a multiple of 4?
True
Let q = -292 + 1026. Does 14 divide q?
False
Suppose 2*f + o - 72 = 0, -2*f - 3*f = -4*o - 206. Is f even?
True
Suppose 2*l - 83 = -5. Let v = 88 - l. Does 17 divide v?
False
Let f(v) = -6*v - 7. Let y(o) = -2*o + 17. Let d be y(7). Let i be ((-6)/(-1))/(d/(-4)). Does 8 divide f(i)?
False
Let r be (-8 - 9) + 10/2. Let o(i) = -82*i**3 + i**2 - 1. Let u be o(1). Let k = r - u. Is 14 a factor of k?
True
Let z(l) = 6*l**2 + 9*l - 11. Does 21 divide z(9)?
False
Let s = -146 - -148. Suppose 20 = s*u + 2*f - 520, -4*f = -2*u + 540. Is u a multiple of 15?
True
Let a(o) = o - 1. Let w be a(0). Let j(m) = -m**2 - 3*m. Let u be j(w). Suppose -4*f - 4*k + 132 = 0, -5*f = -0*k - u*k - 186. Does 9 divide f?
True
Let i be ((-14)/5)/(2/(-70)). Let v(j) = -19*j**3 - 3*j**2 + 2. Let q be v(-2). Let m = q - i. Is m a multiple of 9?
False
Let j be 3/(-2)*12/9. Is 11 a factor of ((-5)/j)/(1 + (-42)/44)?
True
Suppose 23*p = 6*p + 1530. Does 2 divide p?
True
Suppose -o - 9 - 1 = 0. Does 4 divide 12/45*-3*o?
True
Let q(o) = 2*o - o + 86*o**3 - 2 - 71*o**3 + 2*o. Let h be q(3). Suppose -3*x - h = -7*x. Is x a multiple of 22?
False
Let v = -44 - -46. Does 11 divide 1/(157/(-79) - -2) - v?
True
Is (5379/(-55))/(-1) + 2/10 a multiple of 7?
True
Suppose 122*p = 120*p + 854. Does 5 divide p?
False
Let x(l) = -2 + 0*l + l