1. Is 45 a factor of j?
True
Let l(n) = -n**3 - 25*n**2 - 29*n + 106. Let v be l(-24). Does 21 divide 2*-9*(5 - v/6)?
True
Let s(y) = -y**3 + 28*y**2 + 14*y + 7. Let z = -45 + 47. Let j(t) = 9*t**2 + 5*t + 2. Let h(u) = z*s(u) - 7*j(u). Is 22 a factor of h(-4)?
True
Let k(p) = -p**3 + 5*p**2 - 2*p - 5. Let x be k(4). Suppose -x + 13 = -5*v. Is 28 a factor of 2705/15 + (6/9)/v?
False
Let o = 47 + -32. Let p be o/(-1)*80/(-16). Suppose 3*q - 36 = p. Is 5 a factor of q?
False
Let x(j) = -6*j**3 - 42*j**2 - 19*j + 26. Is x(-10) a multiple of 37?
False
Let m be 117/(-156) + 2/(-8). Is 9 a factor of -2 + m - 1050/(-10)?
False
Let a(t) = 4*t**2 - 7*t + 6. Let g be a(1). Suppose 5*r - 2*r + s - 1076 = 0, g*s = 2*r - 710. Let k = r - 252. Does 42 divide k?
False
Suppose 0 = -8*j + 40 + 40. Let d(f) = -f**3 + 12*f**2 - 10*f + 22. Does 3 divide d(j)?
False
Suppose 3*n - 2*k - 3 = k, 2*k + 17 = -3*n. Let m be (9 - 13) + (1 - n). Suppose 2*t = -5*s + 220, -3*s + 228 = 2*t - m*t. Is t a multiple of 30?
True
Let y = 34786 - 19171. Is y a multiple of 9?
True
Suppose 1033 = -2*q + 4*q + x, 0 = 5*q - 2*x - 2569. Let v be (10*-1)/(630/(-189)). Suppose -v*j - 2*j = -q. Is 12 a factor of j?
False
Suppose 4615 = 4*o - 497. Is 18 a factor of o?
True
Suppose 0 = 5*w - 105 - 1929 - 166. Is 8 a factor of w?
True
Suppose 17*d - 44 = 7. Suppose -10*f = -d*f - 420. Is 4 a factor of f?
True
Let n be (-2)/(5/(45/(-3))). Suppose 9*d - 11*d = -n. Suppose 168 - 78 = d*q. Does 5 divide q?
True
Let b(a) = -11*a**2 - 4*a + 28. Let u(n) = 23*n**2 + 8*n - 57. Let r(m) = -5*b(m) - 2*u(m). Is 23 a factor of r(-6)?
False
Suppose -53477 = -5*r + 3*o, 4*r + 3*o + 8345 = 51105. Is 17 a factor of r?
True
Let g = 231 + -337. Let n = -94 - g. Is n even?
True
Suppose -2*c + 46 = -3*b + 3*c, 0 = 4*b - 5*c + 58. Let z(y) = -35*y + 4. Let a(d) = 4*d. Let u(p) = -18*a(p) - 2*z(p). Is u(b) a multiple of 4?
True
Let o(g) = 3893*g + 116. Is o(2) a multiple of 6?
True
Let k(d) = -d**2 + 6*d - 7. Let r be k(5). Let o be ((-7)/2 - -2)/(r/(-4)). Is (2 + -1)*0/o - -83 a multiple of 17?
False
Suppose -5*w + 21 = 3*c - 21, -5*c + 50 = 5*w. Suppose -1084 - 1154 = -w*u. Does 14 divide u?
False
Suppose -47614 = -19*p - 7258. Is 18 a factor of p?
True
Suppose 3*c = -2*s + 65 - 15, 0 = c + s - 16. Suppose 2*n = c*n - 880. Does 4 divide n?
False
Suppose u - 2 = -3*u - n, -2*u + 2*n - 4 = 0. Suppose -4*a + 3*s = -9, u*a = -a - 4*s + 7. Suppose -2*l = a*l + 5*v - 110, 0 = -3*v + 6. Is l a multiple of 20?
True
Let q = -312 + 316. Suppose t - 428 = q*i, -3*t - 25*i + 1317 = -26*i. Is 20 a factor of t?
True
Suppose 0 = s - 2*v - 237, -2*v - 5 - 1 = 0. Suppose 3*u = -3*f + 7*u - 125, -5*f = -u + s. Let g = 20 - f. Is g a multiple of 38?
False
Suppose y + 3*y + 4*v = 0, 0 = 3*y - 4*v - 28. Let o be 7 - 12/y - -2. Is (-30)/(-9) + o + (-2)/(-3) a multiple of 5?
True
Let v(q) = q**3 - 28*q**2 - 12*q + 804. Is 51 a factor of v(30)?
True
Let d(v) = -3*v**3 + 6*v**2 + 9*v + 1. Let y be (-7 - 1)/(-2 - -4). Is d(y) a multiple of 23?
True
Let l = -29 - -105. Let h = 72 - l. Is h/(-4 + (-165)/(-42)) a multiple of 9?
False
Let k = -80 + 70. Let x be 2/5 - (-114)/k. Let d(w) = -w**2 - 11*w + 3. Does 3 divide d(x)?
True
Let f(r) = -6*r - 39. Let t(d) = -3*d - 19. Suppose -13*c = -18*c + 45. Let b(a) = c*t(a) - 4*f(a). Is 11 a factor of b(-10)?
False
Is 142 a factor of 149622/165*(19 - -1)?
False
Suppose -9 = 3*i - 6*i. Suppose -615*a + 620*a - 590 = 0. Suppose 4*f + a = 3*q + 6*f, -i*f = q - 44. Is q a multiple of 12?
False
Suppose g + 11 = -4*a, 3*a + 2*a - 5*g = 5. Is -3*a/3 + 671 + 3 a multiple of 52?
True
Let n = 37602 + 22013. Is 15 a factor of n?
False
Let u(r) be the first derivative of -r**4 + 53*r**3/3 - 13*r**2/2 + 30*r - 1. Is u(13) a multiple of 10?
True
Let s = -146 + 150. Suppose 0 = q - 4*w - 21, w = -s*q + 3*w + 42. Does 9 divide q?
True
Let j(t) = -t + 42. Let x(o) = -2*o + 5. Let y be x(-4). Suppose g = 2 + y. Is j(g) a multiple of 3?
True
Suppose 6*b - 4*f + 20 = b, 4*b - 25 = -5*f. Let l = b - -2. Suppose 3 + 27 = l*z + 4*d, 3*d + 6 = 0. Is 4 a factor of z?
False
Let c(s) = 2*s**2 + s - 30. Let o be c(-7). Let z = o - 56. Suppose -z*d = -2*d - 225. Does 15 divide d?
True
Does 335 divide (24321/(-6))/(-11 + -654*6/(-360))?
True
Suppose -1787625 = 43*z - 168*z. Is z a multiple of 63?
True
Suppose 3*r + 2 + 4 = 3*z, -3*z + 8 = -2*r. Suppose r*l + 2*d - 4 + 0 = 0, -4*l + 4 = 5*d. Suppose l*j - 5*j = 48. Is 8 a factor of j?
True
Let w(d) = 26*d**2 + 427*d + 8535. Does 54 divide w(-21)?
False
Let n be 18/108 + 431/6. Suppose 4*p + 56 - n = 0. Is 35 + (p/(-6) - 14/6) a multiple of 15?
False
Let o = 9 - 1. Let d(g) = g**3 - 7*g**2 - g - 14. Let q be d(o). Is 52 a factor of ((-138)/21 - 2)/((-4)/q)?
False
Suppose -3*b + 11*b = 432. Let w = b + -40. Is 14 a factor of w?
True
Let h(u) = 46*u - 7. Let j be h(-1). Let a(z) = -21*z - 1. Let o be a(-3). Let s = o + j. Is s a multiple of 3?
True
Suppose -4*y + 365216 = 3*r, -4*y + 17*r = 19*r - 365224. Is y a multiple of 23?
True
Let p(x) = -x**3 + 29*x**2 + 103*x + 19. Let v be p(33). Is (v/(-1))/((-8)/((-16)/1)) a multiple of 15?
False
Let a(r) = 9*r**3 - r**2 - r + 1. Let q be a(1). Let p(h) = h**3 - 7*h**2 - 10*h + 8. Let o be p(q). Is (-178)/o - 42/(-56) a multiple of 14?
False
Let j = 5128 - 496. Does 38 divide j?
False
Let r = 323 + -623. Is 31 a factor of (r/16 + 7)/(2/(-24))?
False
Let x(t) = t**3 - 3*t**2 - 2*t - 2. Let f be x(5). Let p = f + -33. Suppose p*v - 136 = v. Does 11 divide v?
False
Suppose -4*y = 4*o - 1852, -2*y + 1208 = 5*o - 1098. Let f = o - 223. Suppose 5*x - f = i - 4*i, 0 = 4*x + 12. Is i a multiple of 21?
True
Suppose -5*i + 158414 = 4*f, -47*i - 5*f + 126733 = -43*i. Does 11 divide i?
False
Let n(u) = -u**3 + 12*u**2 + 10*u - 27. Let r(h) = h**3 + 2*h**2 - 8*h + 3. Let p be r(-4). Suppose -6*d = p*d - 99. Is 15 a factor of n(d)?
False
Let p = 801 - 810. Is (-9)/12*822/p*2 a multiple of 16?
False
Let b be 1/(532/336 - 10/8). Suppose -2*p + 2385 = 5*t - 490, -2*t + 4307 = b*p. Is 41 a factor of p?
True
Let m = -1102 + 2730. Suppose 0 = 8*t - m - 13348. Is t a multiple of 24?
True
Let f(l) = -l + 17. Let r be f(-3). Suppose r*n + 215 = 25*n. Does 26 divide n?
False
Let g = 203 + -178. Suppose g*c = 32*c - 896. Is 32 a factor of c?
True
Let u(l) = 4*l + 29. Suppose -5*k = 2*y + 2, y + 4*k = 2*y + 27. Let j be u(y). Is 17 a factor of (j/(-2))/((-48)/(-544))?
True
Suppose 4672*o + 874754 = 4699*o - 756181. Is o a multiple of 15?
True
Let a(u) = 37*u**3 + u**2 + 5*u + 5. Let p be a(-2). Let b = p + 370. Does 73 divide b?
True
Suppose 5 = 2*r + 6*i - 5*i, 4*i = r + 20. Is 11 a factor of r + ((-9)/(-3) - -267)?
False
Let h(n) = n**2 - 8*n + 18. Let p be h(4). Suppose -3*d - 644 = -6*d - 4*c, -p*c = 2*d - 432. Does 22 divide d?
True
Let x = -29678 + 48153. Is 8 a factor of x?
False
Let c(l) = -4086*l - 10. Let m be c(1). Is 16 a factor of 2/(4/(-15))*m/320?
True
Let g be (-3)/(3/(-1))*83. Let p(t) = t**2 - t - 24. Let h be p(-8). Let l = g - h. Is 10 a factor of l?
False
Is 195 a factor of (70/14 - -14) + 25721?
True
Let c = 10 - 2. Suppose -c - 34 = -v. Let q = -32 + v. Is q a multiple of 10?
True
Let h(q) = -6*q - 82. Let o be h(-14). Suppose o*w + 3*s = 756, w + 4*s - 73 - 295 = 0. Is w a multiple of 16?
True
Let q(v) = -421*v - 35. Let x be q(-2). Does 6 divide x + 6 + 0 - -3?
True
Is 39/(-91) - 2419365/(-91) a multiple of 39?
False
Let p = 30 - 17. Let n(t) = t**3 - 12*t**2 - 12*t - 7. Let c be n(p). Is 12 a factor of 71/c - (-21)/126?
True
Suppose 2 = f, -2*g - 3*f = -7 - 3. Let c(l) = -6*l**2 - 5*l + 10. Let y(i) = -7*i**2 - 4*i + 9. Let a(h) = 4*c(h) - 5*y(h). Is 39 a factor of a(g)?
True
Let h = -2088 + 3438. Does 25 divide h?
True
Let p = 10114 - 338. Does 47 divide p?
True
Let w(s) = s**3 - 5*s**2 - 14*s - 52. Let j = 312 - 302. Is 44 a factor of w(j)?
True
Let c(t) be the first derivative of t**2 + 36*t - 5. Let r be c(-16). Suppose 0 = -4*q + r + 484. Does 24 divide q?
False
Suppose -8*t + 12*t = -4. Does 8 divide (-3)/t*85/15?
False
Suppose 0 = 2*p - 3*w - 14, -3*w = 4*p - w - 12. Suppose 0 = -p*f - 13*f + 1105. Is 2 a factor of f?
False
Suppose -3*n + 3*u + 7 = -u, 2*u + 4 = 2*n. Let a = n + 12. Suppose -3*s - 4*c = -5*s + 26, 4*s = -5*