le of 18?
False
Suppose 0 = -a + 25*a - 22560. Is 54 a factor of a?
False
Is 2 - -500 - (-13 + 9) a multiple of 8?
False
Let b(c) be the second derivative of -c**3/2 + 3*c**2 + c. Suppose 7*r = 12*r + 50. Is b(r) a multiple of 12?
True
Let q(p) be the third derivative of -p**4/6 + 32*p**3/3 - 14*p**2. Is q(9) a multiple of 8?
False
Suppose b - 2*d - 2*d - 25 = 0, 5*b - 4*d - 141 = 0. Is 9 a factor of (b/(-4))/(1/(-4))?
False
Let c(x) = 2*x**3 - 7*x**2 - 11*x - 11. Does 5 divide c(7)?
True
Suppose 4*u + 2*m = u + 721, m = -4. Does 27 divide u?
True
Is 10/(-4)*(-14)/35 - -7 a multiple of 4?
True
Let c(k) = 10*k**3 - 2*k**2 + 2*k - 1. Let x be c(1). Let d = x + 2. Is (d - 13)*(-34)/4 a multiple of 13?
False
Let r(g) = -g**3 + 27*g**2 - 58*g + 5. Is 23 a factor of r(17)?
True
Suppose -47*d - 732 = -53*d. Does 6 divide d?
False
Suppose -z - z = 0. Suppose 2*t + 5*x - x - 36 = z, 0 = t - 2*x - 22. Is t a multiple of 20?
True
Let k(f) = f**3 - 7*f**2 + 7*f - 4. Let h be k(6). Let l = 6 - h. Does 17 divide ((-34)/l)/((-1)/6)?
True
Does 12 divide 2/(2909/7260 - (-32)/(-80))?
True
Let x(v) = 5*v**2 + 4*v + 2. Let k(q) = 2*q**2 + 6*q + 2. Let p be k(-3). Is 16 a factor of x(p)?
False
Let h(g) = 2*g**3 - 27*g**2 - 68*g - 24. Does 2 divide h(16)?
True
Let p be -15 + 3/(-12) + (-2)/(-8). Is 3 a factor of (p/(-25))/((-1)/(-10))*1?
True
Suppose 0 = 5*n - o - 6 - 20, o = -4*n + 19. Suppose 17 = 4*v + n*k, 3*k - 15 = -0*v - 3*v. Is 4 a factor of v?
True
Let o be 4/10 - 112/(-20). Does 27 divide (o - -76)*(-2 - 15/(-6))?
False
Let h(n) = n + 71. Is h(-27) a multiple of 5?
False
Suppose 29*p + 4132 = 33*p. Is 11 a factor of p?
False
Let n(j) = 0 + 1 + 18*j - 2. Let f be (-15)/(-10)*(-4)/(-6). Is n(f) a multiple of 5?
False
Let c(j) = j**2 + 37*j + 70. Is c(-36) a multiple of 3?
False
Let i(f) = f**3 - 10*f**2 - 79*f - 32. Is i(17) a multiple of 17?
False
Let l(y) = -3*y**2 + 10*y + 2. Let z be l(-9). Let t = z + 464. Does 19 divide t?
True
Let g(l) = 9*l**2 + 6*l - 30. Does 23 divide g(3)?
True
Let x(d) = -5*d**3 - 3*d - 7 + 6*d**3 - 6 - 9*d**2. Is 19 a factor of x(10)?
True
Suppose 0 = 3*p - f - 59, -f - 4*f - 115 = -5*p. Is 17 a factor of (((-1496)/3)/4)/(p/(-27))?
True
Let b(m) be the third derivative of -m**7/5040 + 23*m**6/720 - 7*m**5/60 - 7*m**2. Let o(q) be the third derivative of b(q). Is 5 a factor of o(16)?
False
Let t(u) = -u**3 - 2*u**2 + 2*u + 21. Let q be t(0). Is 2/(-7) - ((-1560)/q - -2) a multiple of 12?
True
Suppose 10 + 2 = -4*n, 4*n = 2*z. Let g be (-16)/6*z/4. Suppose -2*m = -6, -3*m - 7 = -2*c + g. Does 3 divide c?
False
Let i be (116/16 - 4)*4. Suppose 3*y - i*y + 30 = 0. Does 3 divide y?
True
Let i be (30/(-24))/(-2 + (-1221)/(-612)). Let v = i + -119. Is v a multiple of 47?
False
Let v(i) = -i**3 + 5*i**2 + 6*i - 5. Let m = 107 + -103. Is 5 a factor of v(m)?
True
Is (-4)/14 + 7167/21 a multiple of 8?
False
Suppose -2*j - 3*j = 1045. Let y = -145 - j. Let k = -25 + y. Is k a multiple of 18?
False
Let z(b) = -b + 22. Let q(l) = l**2 + 2*l - 4. Let d be q(-4). Let o be 0/((-3)/1 + d). Does 13 divide z(o)?
False
Let c be (-1 + -1)*1 + (-100)/(-4). Suppose -18*j - 190 = -c*j. Is j a multiple of 17?
False
Let w be (2 + 32)*(-7 - -2). Let f = 263 + w. Does 8 divide f?
False
Let w = 447 - 245. Does 19 divide w?
False
Let x = -139 - -193. Is x a multiple of 18?
True
Is 21 a factor of (-6119)/(-87) + (-2)/6?
False
Let r(y) be the second derivative of y**4/12 + 7*y**3/6 + 47*y**2/2 - y. Does 29 divide r(-14)?
True
Suppose 2*d = 5*b + 5325, -d + 2093 + 589 = 4*b. Is 30 a factor of d?
True
Let v(a) = -a**2 + 6*a + 1. Let d be v(5). Let c be 1/(4 - 21/d). Suppose -10 = -5*r, -c*r - 218 + 27 = -3*n. Does 38 divide n?
False
Suppose 644 = 8*y - 3396. Is 101 a factor of y?
True
Suppose 0 = 20*w + 722 - 6962. Is 24 a factor of w?
True
Suppose 11*l - 1373 = 211. Is l a multiple of 9?
True
Let y(n) = -44*n - 16 + 13*n - n**2 + 13*n. Is 6 a factor of y(-10)?
False
Let q = -77 + 33. Suppose -594 = 63*b - 54*b. Let s = q - b. Is s a multiple of 22?
True
Let z = 290 + 118. Is z a multiple of 17?
True
Suppose 0 = -5*x - 15, 4*u = -10*x + 8*x + 2042. Does 17 divide u?
False
Suppose -3*p + 84 + 156 = 3*v, -3 = -3*p. Let s = 53 - v. Let i = s - -74. Is 13 a factor of i?
False
Is 3 a factor of 2*6/(24/206) + -4?
True
Suppose 4*p - 8908 = -4*r, -2*r + 5349 = -5*p + 902. Is r a multiple of 14?
True
Let z be 24/(-2 - 95/(-40)). Let u = -6 + z. Is 16 a factor of u?
False
Let i be 2/((-4 - -5)*1). Suppose -i*d + 5*w + 213 = 0, -w - 5 + 8 = 0. Is d a multiple of 19?
True
Let r be ((-92)/(-3))/4*-3. Suppose -3*v = -5*q + q + 27, 15 = q + 2*v. Let i = q - r. Is 16 a factor of i?
True
Is 21 a factor of (-2 + 177/(-6))/(1/(-6))?
True
Let p(l) = l**2 + 7*l - 48. Is 10 a factor of p(-13)?
True
Let k(c) = -29*c - 26. Let t(f) = -6*f - 5. Let m be (-1)/(-2)*(-19 + -3). Let w(u) = m*t(u) + 2*k(u). Is 4 a factor of w(2)?
False
Suppose 94*j = 44*j + 10750. Does 20 divide j?
False
Let m(f) = 3*f**2 - 14*f + 20. Let d be 4 + -2 - (1 - 7). Is 20 a factor of m(d)?
True
Let t = 386 + -344. Is t a multiple of 3?
True
Let n(j) = 56*j + 618. Is n(29) a multiple of 118?
True
Let f be ((-711)/6)/3*2. Let n = 137 + f. Suppose 0 = -4*c + 150 - n. Does 23 divide c?
True
Is ((-171)/(-114))/((-3)/(-76)) a multiple of 30?
False
Let r(c) = c**2 - 11*c - 3. Let i be r(11). Is (-276)/(-18) - (-1)/i a multiple of 5?
True
Is 58 - 2 - -2*2/1 a multiple of 6?
True
Suppose -4*m = -3*m - 21. Is (-166)/(-5) - m/105 a multiple of 9?
False
Let u be ((-18)/(-4))/(6/(-16)). Let t be (-30)/u - (-2)/(-4). Suppose -2*i - t*i = 16, -c = -5*i - 36. Does 4 divide c?
True
Let p(c) = 10*c - 141. Is 7 a factor of p(26)?
True
Let i = -55 - -71. Is 13 a factor of i?
False
Let p = -829 - -1645. Is 11 a factor of p?
False
Suppose 3 = 3*p - 6*p, p - 1319 = -4*d. Is d a multiple of 6?
True
Suppose -5*a - 5*f + f = -385, -4*a + f + 287 = 0. Does 6 divide a?
False
Suppose 10*t + 4*t - 140 = 0. Is t even?
True
Let y = -95 - -428. Does 9 divide y?
True
Let a(y) = -3*y**2 - 2*y - 3. Let m be a(-4). Let s = m - -87. Is s a multiple of 6?
False
Let i be (2 + -4)/(2/(-49)). Is 14/i - ((-3474)/(-14))/(-3) a multiple of 11?
False
Let i = 3898 + -660. Is i a multiple of 116?
False
Suppose 0 = -32*c + 7*c + 4525. Is c a multiple of 5?
False
Suppose 2*j - y - 3 = 1, 2*j = -y + 4. Suppose 12 = -j*q + 3*q. Is 12 a factor of q?
True
Suppose 0 = 27*o - 16*o - 990. Does 10 divide o?
True
Suppose 1275 = 5*g + 70. Let c = 419 + -272. Let y = g - c. Does 16 divide y?
False
Let r be (-16)/6*-51 - -1. Let k = r - 105. Is k a multiple of 8?
True
Let u(c) = 2*c**2 + 17*c - 26. Is 18 a factor of u(-21)?
False
Suppose 5 = -k + 1, 0 = -5*n + 4*k + 11. Let c = n - -6. Let y(q) = 4*q - 12. Is y(c) a multiple of 4?
True
Let n be 1*(9 + -3 + 5). Suppose -n + 1 = -2*p. Does 3 divide 77/p + (-6)/15?
True
Let r(d) be the second derivative of d**5/20 + d**4/4 - d**3/2 + 3*d**2/2 + 7*d. Does 8 divide r(2)?
False
Let z(f) = -f**3 + f**2 - f - 10. Let u be z(0). Does 10 divide 2*2 + (-290)/u?
False
Let q = 20 - 17. Let v = 9 - 6. Suppose 0 = -v*o + q - 0, o - 4 = -l. Does 3 divide l?
True
Let u be 708/90 - 4/(-30). Let d = 6 - u. Is ((-70)/(-4))/(-5)*d a multiple of 3?
False
Let u = 21 + -17. Suppose 4*k + 5 = 5*n - k, 0 = -4*n - 3*k + u. Is 23 a factor of 12*((-42)/(-8) - n)?
False
Let d(v) = -3*v - 9 + 367*v**2 - 363*v**2 + 10*v. Is 9 a factor of d(-4)?
True
Let j be -2 + (-1 - (8 - 3)). Let v be (0 - (2 + -8))*5. Let w = v + j. Does 11 divide w?
True
Suppose 8*z - 5*z = 12. Suppose 136 = 2*s + 2*s + 4*b, 3*b - 132 = -z*s. Suppose l - s = 22. Is l a multiple of 13?
True
Suppose 0 = 5*j + 16 - 1. Let t be (4 - 2 - -4) + j. Suppose -t*f + 6 = -2*p - 0, -5*f + 4*p + 8 = 0. Is f a multiple of 4?
True
Let a = 312 - 102. Let h = a + -93. Is 39 a factor of h?
True
Let d(p) = -2*p**2 - 5*p + 6. Let m be d(3). Let i = 33 + m. Is i a multiple of 4?
False
Let i = 201 + -89. Is 10 a factor of i?
False
Suppose 0 = -3*v - 3*u - 18, 4*u = 2*v + 5*u + 7. Let o(h) be the first derivative of -2*h**4 + h**3/3 + h**2/2 - 1. Is o(v) a multiple of 4?
True
Let q(f) = -252*f. Suppose 0*m = -5*m - 175. Let k(x) = 28*x. Let l(g) = m*k(g) - 4*q(g). Is l(3) a multiple of 14?
True
Let z(