j, 5*a + 3*z = 1706. Is 29 a factor of a?
False
Let i(d) = 4804*d**2 + 13*d - 8. Is 21 a factor of i(1)?
True
Let q = 3486 - 3459. Let g be (-16)/6 - 1/3. Is 23 a factor of (-140)/g + (-18)/q?
True
Let h = 184 + -180. Suppose -442 = -2*j - h*b, 5*b + 138 - 359 = -j. Does 10 divide j?
False
Let g(n) = 153*n**2 - 120*n - 267. Is 21 a factor of g(-12)?
True
Let a = 1415 + 2885. Does 20 divide a?
True
Let h(b) = -4*b - 15. Let a be h(12). Let v = 40 - a. Let r = v + -67. Does 17 divide r?
False
Let m = 372 - 360. Suppose -5*x - 2933 = -m*x. Does 47 divide x?
False
Suppose -7748 + 2073 = -5*o. Suppose -o = -5*t - 5*a, 0*t + 4*a + 948 = 4*t. Is 29 a factor of t?
True
Let z = -38 - -62. Let m be z - (-5)/(-20)*0. Suppose 0 = -t - o + 43, -t + 4 + m = 4*o. Is t a multiple of 8?
True
Suppose 12*w + 33732 = -24*w. Let h = w - -1176. Is 35 a factor of h?
False
Suppose -35*o - 58351 = -58*o. Is 61 a factor of o?
False
Suppose -z + 10 - 7 = 0. Suppose z*h = 0, w + 220 = 5*w + 3*h. Is w a multiple of 9?
False
Let p(a) = -6*a - 7. Suppose -2*h - 1 = 7. Let i be (-2)/(2/(-16)*h). Is 17 a factor of p(i)?
True
Is (29/(4060/210))/(2/(-172796)*-3) a multiple of 11?
False
Does 113 divide 9 + ((-557810)/(-60) - 4/(-24))?
False
Let m(u) = u**3 + 2*u**2 + 8*u. Let o be m(9). Suppose -3*f = -f + 2*l - 480, -4*f + o = l. Suppose f = 3*k - 239. Is 20 a factor of k?
True
Let k = 1621 + -931. Suppose -74 - 74 = -j + 4*l, k = 5*j + 5*l. Is j a multiple of 20?
True
Suppose -2*j = -3*j. Suppose -2*i - u + 2 = j, -i - 6*u + 4*u - 2 = 0. Suppose -i*b = -1 - 15. Is 4 a factor of b?
True
Is ((-1802424)/(-26) - 23) + -25 a multiple of 23?
True
Suppose -6*i + 10 = -8. Let y be (4/(-8))/(1*i/(-1908)). Suppose -a + 295 = 2*h, y + 137 = 3*h - a. Is h a multiple of 15?
True
Let y(j) be the first derivative of j**5/20 - 13*j**4/12 + 8*j**3/3 + 4*j**2 + 20*j - 26. Let v(h) be the first derivative of y(h). Is v(12) a multiple of 14?
True
Let k be (-60)/(-4) + 20/(-4). Suppose 551 = k*j - 49. Is 10 a factor of j?
True
Let a(p) = -p**3 - 32*p**2 + 7*p + 44. Let s be a(-32). Let r = -85 - s. Suppose r + 95 = 10*y. Does 19 divide y?
True
Is (6461/(-2769))/(1/(-22293)) a multiple of 13?
False
Let n(t) be the second derivative of t**4/12 - 3*t**3/2 + 4*t**2 - 10*t. Let h be n(9). Is h + -11 + 36/2 + -1 a multiple of 14?
True
Suppose 8*l = 5*y + 5*l - 33167, -l + 6643 = y. Is 11 a factor of y?
False
Suppose -2*m = 4*q - 156, -m + 5*q = -4*m + 234. Let l = -31 + m. Is l a multiple of 6?
False
Let u(r) = 53*r + 1. Let f be u(1). Suppose 0 = -2*j, 20 = h + 4*h - 3*j. Suppose -l + h*t = l - f, -2*l - 5*t = -99. Is 5 a factor of l?
False
Let i = -23409 - -35048. Is i a multiple of 18?
False
Suppose -3*x + 108 = -0*x - 5*d, -72 = -2*x + d. Let c be (6/4)/((x/992)/3). Let h = -103 + c. Does 7 divide h?
True
Let m = -1111 + 1639. Let c = m + -98. Is 15 a factor of c?
False
Suppose 82 = -3*w - 38. Let k = -214 + 287. Let h = k + w. Is h a multiple of 5?
False
Suppose -4*u - 4*u = -32. Suppose 7*y + u*a + 156 = 9*y, -4*a = y - 66. Is 74 a factor of y?
True
Let w be 48/30 - (0 + (-2)/5). Let m(n) = 132*n**2 + 7*n - 1. Let y be m(w). Let k = y + -296. Is 44 a factor of k?
False
Suppose -4*z + 4*n = -3080, 694 = z - 3*n - 84. Let p = -370 + z. Is p a multiple of 33?
True
Suppose 0 = 2*n - 6, 0 = 6*g - 5*g - 4*n - 2. Suppose -i = g*i - 1740. Is 7 a factor of i?
False
Does 38 divide -3 - 100/(-40) - (-2)/4 - -2318?
True
Let x(c) = 621*c**2 - 16*c + 15. Let s(w) = -3*w**2 + 15*w + 19. Let i be s(6). Does 10 divide x(i)?
True
Suppose -2*q - 1456 = -2*n + 2*q, q = 5*n - 3631. Suppose 0 = -4*u + 2*u + n. Suppose -4*g + 1 = -u. Does 20 divide g?
False
Let z(m) be the second derivative of 5*m**2 + 0 + 5/6*m**3 + 16*m. Is 14 a factor of z(12)?
True
Let r = -28782 - -41432. Does 22 divide r?
True
Let d(r) be the third derivative of -r**6/40 + 43*r**5/60 - 19*r**4/12 + 7*r**3/2 + 2*r**2 - 135. Is d(12) a multiple of 16?
False
Let q(b) = -b**3 + 4*b**2 + 13*b - 3. Let d be q(6). Suppose 0*j - 2*j - 2*f = -78, -d*j = 2*f - 115. Let c = 241 - j. Is 42 a factor of c?
False
Suppose -7*f - 316 = -358. Is (1293/f)/(7 + 117/(-18)) a multiple of 15?
False
Let z = 6 - 2. Suppose -2*m + 5*m = -5*c - 11, -z*m = c - 8. Suppose 0*k = -m*k + 2*n + 127, -n - 84 = -2*k. Does 11 divide k?
False
Suppose 9350 = 34*z + 21*z. Suppose 2*d - 114 = -4*l + z, 2*l = -3*d + 146. Does 5 divide l?
True
Let k = 358 - 351. Suppose k*c + 1299 - 5653 = 0. Does 8 divide c?
False
Let x(i) = 2*i**2 + 4*i - 4. Let h(n) be the third derivative of n**5/60 + 5*n**4/24 - n**3/2 + 18*n**2. Let u be h(-6). Is x(u) a multiple of 26?
True
Let j(q) = -12*q - 1. Let g be j(-4). Let s = 2531 - 2541. Let l = g + s. Is l a multiple of 2?
False
Suppose 5*x = -7*x + 108. Suppose -x*r = 16*r - 750. Is 17 a factor of r?
False
Let h = -25 + 27. Suppose -m + 1302 = -4*u, -h*m + 1796 = 5*u - 808. Suppose m = 9*b - 2*b. Is 42 a factor of b?
False
Let o be (24/(-18))/((-32)/72). Suppose 3*k - 4*k + 178 = 5*z, -o*k + 5*z + 634 = 0. Is k a multiple of 29?
True
Suppose -15*v + 41*v = 21*v + 23910. Is v a multiple of 3?
True
Let l(n) = 5*n**2 - 178. Suppose 2*r = 44*j - 39*j - 57, -3*r = 2*j - 19. Does 14 divide l(j)?
False
Let u be (-20)/(-5) + (3 - (-30)/3). Does 13 divide u - -112 - 2/(-2)?
True
Let h(m) = 21*m**2 + 46*m + 7. Let k = -20 - -15. Is 21 a factor of h(k)?
False
Let v be 5/(-25) - 7/((-105)/108). Suppose -189 = -0*i - v*i. Does 3 divide i?
True
Let c(s) = 3*s**3 + s**2 + 34*s - 8. Let u(a) = 15*a**3 + 6*a**2 + 172*a - 39. Let i(z) = 11*c(z) - 2*u(z). Does 24 divide i(7)?
False
Let m(c) = -2*c**3 - 44*c**2 - 28*c - 250. Does 70 divide m(-25)?
True
Suppose 0 = -m + 2*y + 12, -y = 3*m - 0*y - 1. Suppose d = 2*d + 2475. Is (d/18 + m/4)/(-1) a multiple of 8?
False
Suppose 4*d + 6*t - 35549 = 11*t, -35561 = -4*d + t. Does 137 divide d?
False
Let v be (1 + -5 - 1)*-1. Suppose v*b = -25, -2*m + 4*m - 61 = -b. Let g = m + -20. Does 6 divide g?
False
Suppose 3*g = -5*q + 15, 6 = -0*g + 4*g + 2*q. Suppose g = 6*w - 65 - 97. Suppose -5*m = -6*m + w. Is m a multiple of 9?
True
Suppose 5*o + 5520 = 11*o. Suppose 0*q - 230 = -q + 4*s, -4*q = 3*s - o. Let i = -27 + q. Does 29 divide i?
True
Let m(w) = w**3 - 2*w**2 + 8*w - 10. Let y(n) = n + 4. Let g be y(-10). Let b be ((-18)/(-6))/(g/(-8)). Is 13 a factor of m(b)?
False
Suppose -517*r + 554*r - 267969 = 280408. Is 6 a factor of r?
False
Let c(h) = -8*h**2 + 5*h - 5. Let r(x) = -7*x**2 + 6*x - 4. Let i(f) = 6*c(f) - 7*r(f). Let o be i(12). Is 8 a factor of 7/(-14) - 33/o?
True
Let s = 43074 - 18855. Is 130 a factor of s?
False
Let y = 86 + -65. Suppose -r - y = -0*r - 3*f, -23 = 3*r - f. Let n(v) = -v**3 - v**2 + 13*v. Is 16 a factor of n(r)?
False
Let a(q) be the second derivative of 0 + 4*q - 9*q**2 + 5/2*q**3. Is 18 a factor of a(11)?
False
Let s(h) = 49*h**2 + 9*h + 16. Let u be s(-3). Let r = u + -238. Is r a multiple of 3?
True
Let h(z) = -41*z - 867. Does 10 divide h(-47)?
True
Let g(n) = -n**3 + 23*n**2 - 3*n + 23. Let y be g(25). Let h be y/(-8) - -5*(-6)/(-120). Suppose -h - 17 = -5*b. Is b a multiple of 7?
False
Let d be (2/3)/((-1)/(-3)). Let j(b) = 58*b - 213 + 107 + 105 + 20*b. Is j(d) a multiple of 10?
False
Suppose 3*t - 5*p + 4*p = 1000, 5*p = 5*t - 1680. Does 9 divide t?
False
Let m = -20908 + 20839. Let z = 496 - 126. Let x = z + m. Is 33 a factor of x?
False
Let p(v) = -2303*v + 6*v**2 - 3*v**2 + 18*v**2 - v**2 + 2302*v. Let f = 5 - 3. Is 13 a factor of p(f)?
True
Is (-2 + -141)/11 - -883 a multiple of 30?
True
Let b = -20 - -23. Suppose b*y + h = 4*h + 3, 4*h = 8. Suppose -y*c = -14*c + 462. Does 6 divide c?
True
Let k(r) = 111*r - 373. Is 14 a factor of k(9)?
False
Let k = 56 + -48. Suppose -k*g - 2 = -7*g. Does 6 divide (g + (-66)/(-15))/(2/35)?
True
Let r be ((-9)/6 + 0)*(-40)/15. Suppose 78 = r*x - 122. Let z = 24 + x. Does 14 divide z?
False
Let n = -86 + 406. Is 53 a factor of n - (-4 + 13 + -7)?
True
Is -623*90/525*(-75)/9 a multiple of 2?
True
Does 35 divide 6/(0 - 2*(-21)/153370)?
True
Suppose 53943 + 5307 = 20*k + 7410. Does 81 divide k?
True
Suppose 6*u = 943 + 917. Suppose -4*r - 4*p + 1304 = 0, r - 6*p - u = -3*p. Is 14 a factor of r?
True
Suppose -b + p + 3 = -1, -8 = 5*b + 2*p. Suppose 0*s 