 derivative of -i**3/3 - 15*i**2/2 + 5*i + 15. Is 20 a factor of r(-8)?
False
Is 14 a factor of (-7)/(-5 - 368/(-74))?
False
Suppose 395*u + 1372 = 402*u. Is u a multiple of 28?
True
Suppose 0*m + m - 30 = 0. Let p = -30 + m. Suppose p = 7*x - 6*x - 8. Is 4 a factor of x?
True
Let i be (-3)/5 + 56/35. Let z be 37 + (-4 + 3)/i. Suppose z = 2*j + 2*j. Is j a multiple of 7?
False
Suppose 19 = -3*d - s, -2*d + 4*s = s + 20. Let b(f) = -f**3 - 8*f**2 - 10*f - 12. Does 9 divide b(d)?
True
Let x = 355 + -27. Is 5 a factor of x?
False
Suppose -2*p + 5*p - 2460 = 4*d, -d + 813 = p. Does 24 divide p?
True
Suppose 12*l - 9*l + 1140 = 3*r, r + l - 382 = 0. Is r a multiple of 3?
True
Suppose -2*z + z + 11 = 0. Let a be z/(-44) - (-21)/4. Suppose -a*y + 33 = -2*y. Is 6 a factor of y?
False
Let s(c) be the second derivative of c**4/6 + c**3/3 + c**2 + 4*c. Does 7 divide s(4)?
True
Suppose 0 = 4*i - 0*i - 16. Suppose 0*q = -4*f + 4*q - 8, 2*q + i = 0. Does 18 divide f + 3 + 1 + 36?
True
Let x be (-18)/(-4)*80/(-30). Let g = 12 + x. Let p = g - -5. Is 2 a factor of p?
False
Let d be (-150)/40 + (-1)/4 + -145. Let t = d - -249. Does 25 divide t?
True
Suppose g + 0*g - 5*b = 243, -5*b + 789 = 3*g. Suppose -3*h + g = -78. Let j = 197 - h. Is 32 a factor of j?
False
Is 4 a factor of ((-37)/111)/(1*(-3)/1404)?
True
Let h be 16/(4 - 0) + 211. Let i = -141 + h. Suppose -2*u + 148 = 2*k, k - u = -3*u + i. Does 17 divide k?
False
Let t(g) = -48*g - 4. Let k be t(1). Let j be 12/(-78) + (-112)/k. Is 3 a factor of ((-12)/(-6))/(j/10)?
False
Suppose -2*q + 1326 = 4*p - 210, 4*p = 0. Does 96 divide q?
True
Suppose -7*c + 11*c - 16 = 0, 0 = -z + c + 347. Is 9 a factor of z?
True
Let j be 10*(-2 - (-9)/3). Suppose -5 = -h - 3*w + j, 3*h + 5*w - 65 = 0. Is 30 a factor of h?
True
Let u = -201 + 569. Is 23 a factor of u?
True
Let p = -2 - -2. Is 4 a factor of 9/2*(p + (-80)/(-15))?
True
Suppose -10824 - 1123 = -13*z. Does 23 divide z?
False
Suppose -212*y + 1116 = -203*y. Let q(z) = -32*z**3 - z**2 + z. Let s be q(1). Let k = y + s. Is 28 a factor of k?
False
Let t = -2 - -10. Let r(y) = -29*y + 17*y + 6 + y**3 + t*y**2 - 16. Is r(-9) a multiple of 6?
False
Let z = 204 + 503. Is z a multiple of 7?
True
Let s be (-36)/(-16) - (20/16)/5. Let g(c) = -c**2 - 6*c - 5. Let l be g(-4). Suppose -s*b - 54 = -2*j, j - l*b = -j + 58. Does 17 divide j?
False
Suppose 2*d + q - 5*q - 2 = 0, -3*d = -4*q + 5. Let m be (-4 - d)*1*-3. Does 3 divide (-8)/36 - 56/m?
True
Let j(t) = -t**2 + 6*t + 2. Suppose 6 = 2*b, -4*g + 5*b - 2*b + 11 = 0. Is 3 a factor of j(g)?
False
Let g be (-1)/(-2) + -4 + 36/8. Let i(k) = -3 + 0*k**2 + 2 + 20*k**2. Is i(g) a multiple of 8?
False
Suppose -5*p = -0*p. Let s(z) = 0 - 14*z + p. Is 13 a factor of s(-2)?
False
Let m(s) = 266*s**2 - s + 1. Does 11 divide m(1)?
False
Let q(x) = 2*x**2 - 3*x + 5. Let a(b) = -b**2 + 10*b + 26. Let y be a(12). Is 6 a factor of q(y)?
False
Let a = -86 - -90. Suppose -8*b + a*b = -560. Does 20 divide b?
True
Let u = 10 + 0. Let f = 17 - u. Let y = f - 3. Is y a multiple of 4?
True
Let c(b) = b**3 + 24*b**2 - 2*b - 13. Is c(-24) a multiple of 7?
True
Is 29 a factor of (-6 + 5/(-10))*(-120 - -4)?
True
Suppose 5*l + 18 = 38. Suppose m = 4, 3*m + 208 = l*n - m. Is 8 a factor of n?
True
Does 31 divide 235128/96 - (-1 + 5/4)?
True
Let z(r) = -10*r**3 + 34*r + 195. Is z(-5) a multiple of 10?
False
Suppose 3*x + 6 + 6 = 0. Let c be x/2 + 4 + 1. Suppose -76 = -5*j - 2*z, c*j + z = 3*z + 52. Is j a multiple of 5?
False
Suppose -160 = p - 3*p. Let a = -9 - -12. Suppose a*y - p = -2*y. Is y a multiple of 8?
True
Let s(u) = 18*u**2 + 55*u - 5. Does 9 divide s(-4)?
True
Let p = -51 + -66. Let c = p + 158. Is c a multiple of 9?
False
Let y(z) = -z**2 + 5*z - 3. Let q = -8 - -10. Let m be y(q). Suppose m*a - 46 = -3*j - a, 76 = 4*j - 2*a. Is 7 a factor of j?
False
Let c(q) = -2*q. Suppose 5*h - 55 = -0*h - 4*f, 3*h - 11 = 2*f. Let m be c(h). Is (m/6)/((-10)/180) a multiple of 14?
True
Let r(c) = -c**2 - 10*c - 19. Let t be r(-8). Is 12 a factor of (118 - -3) + 0/t?
False
Is 3/9*3 + 90 a multiple of 6?
False
Let a(d) = 8*d**2 + d. Suppose 0 = -4*l - 2*x - 6, -2*l + 3*l + 5*x - 3 = 0. Let h be a(l). Suppose 4*b = 5*s + 61, -3*s = -3*b + 18 + h. Does 9 divide b?
False
Let u = -21 + 213. Does 64 divide u?
True
Suppose 2*q = -2*q + 3*c + 2015, 4*q - c - 2005 = 0. Is 10 a factor of q?
True
Suppose 11029 + 48875 = 64*x. Does 9 divide x?
True
Suppose -54 = -3*x - 3*x. Let h be (1 - x)*(-25 - -6). Suppose 3*j - 4*w = -3*w + h, 4*j + 3*w = 194. Is j a multiple of 19?
False
Suppose -5*k + 1323 - 23 = 0. Suppose -r + 200 + k = 4*s, 0 = 2*s + 2*r - 224. Does 23 divide s?
False
Suppose 56 = 3*i - 250. Suppose 6*y - i = 9*y. Is (-18)/27*(y - -1) a multiple of 11?
True
Let o(n) = 9*n**2 + 2*n + 1. Let g be o(-1). Let s = 4 - g. Let f(v) = -7*v. Is 11 a factor of f(s)?
False
Suppose 6*g - 2232 = -c, c - 23 = -g + 349. Is g a multiple of 12?
True
Let d = 117 + -41. Let p be 2/((-16)/d)*-4. Suppose 5*q + 54 = 3*s + 2*q, s + 3*q = p. Is 18 a factor of s?
False
Let d(c) = 27*c - 58. Does 16 divide d(6)?
False
Let s(t) = -t**3 + 13*t**2 + 7*t + 8. Is 6 a factor of s(12)?
False
Let b(a) = a**2 - 5*a - 38. Let t be b(-12). Let o = 283 - t. Does 23 divide o?
False
Let k(v) = -42*v - 3. Let i be k(-9). Suppose 3*f = 4*y + i, -f = 2*f + 5*y - 375. Suppose d + 5*q = 3*d - f, 2*q = -4*d + 238. Is d a multiple of 20?
True
Suppose z + 0*z - 4*i = -15, 0 = -3*z - 4*i + 35. Suppose z*s = 949 + 1. Does 26 divide s?
False
Let i be 56/10 - 24/40. Let d(t) = 7*t**2 + 5*t + 1. Let a be d(i). Suppose -2*l - 5*s = -122, 0*l = 3*l + 3*s - a. Is l a multiple of 17?
False
Suppose 2*v - 19 = 5*o + 60, -4*o = 3*v - 107. Let t = 3 + v. Suppose -3*q = 3*n - 120 + 45, 2*n + t = q. Is 10 a factor of q?
True
Let u(a) = -323*a**3 + a**2 + 6*a + 5. Is u(-1) a multiple of 10?
False
Suppose -58*g + 4224 = -50*g. Does 8 divide g?
True
Suppose -5*s + s + 2900 = 5*v, v - 5*s = 551. Is 24 a factor of v?
True
Suppose 11*t - 1618 + 551 = 0. Is t a multiple of 2?
False
Let j = 644 - 563. Is 20 a factor of j?
False
Let l = -43 + 167. Let b(x) = -x**2 - 14*x - 12. Let d be b(-18). Let i = l + d. Does 10 divide i?
True
Let f be -2 - ((-10)/5 - 3). Does 40 divide (-20*(-6)/f)/1?
True
Let f(c) = -1 + 0 + 24*c - 21*c + 8*c**3. Let a be f(2). Suppose n = 2*n + o - 19, -3*o - a = -3*n. Does 17 divide n?
False
Let x be (-4 - -5) + 331 - 5. Let j = -220 + x. Is 12 a factor of j?
False
Suppose 0*u + 2*u - b - 22 = 0, 3*b = 4*u - 48. Suppose -u*z + 41 + 4 = 0. Is 2 a factor of z?
False
Does 25 divide 5 + (6 - 10) - (-1255 + 2)?
False
Suppose 2*u - x - 4 = 0, 2*u - 2*x + 2 = 4. Suppose u*q = 17 + 7. Is q even?
True
Let g(k) = 2*k**2 - k - 1. Let b be g(1). Is 2 a factor of b/4 + 9/1?
False
Let p(n) = -n**3 - 2*n**2 - 3*n. Let k be p(-2). Let v be k/(-2) + 3/1. Suppose -l + 7 - 2 = v. Does 5 divide l?
True
Suppose 3*u - 80 = 7*u. Let p = 68 + u. Is 12 a factor of p?
True
Suppose 2*m - 9 - 3 = 0. Does 13 divide m/(-30) + 2 + (-486)/(-5)?
False
Let n(r) = r**2 - 18*r - 17. Let q be n(19). Suppose 86 = q*m + 2*g, 7*g - 4*g - 213 = -5*m. Is 7 a factor of m?
True
Suppose l - 4 = 2*n - 0, 0 = -n - 3*l - 9. Let p(k) = 5*k**2 + 4*k + 2. Is 7 a factor of p(n)?
True
Suppose 1560 = 9*a - 2400. Is 20 a factor of a?
True
Suppose 4*w + 17 = 65. Suppose -2*x + 2*z = -2 + 10, -5*x + 3*z = w. Does 2 divide (-5)/((-1 + x)*1)?
False
Let a(k) = 0*k**2 + 8 + 6*k + 1 + k**2. Let i be a(-7). Suppose -5*w + 9 + i = 0, -u = -w - 31. Does 9 divide u?
True
Suppose 5054 + 8362 = 39*g. Does 18 divide g?
False
Suppose -4*t + c + 784 = 0, -2*c = 3*c + 20. Suppose 0 = -0*k + 3*k - t. Is 13 a factor of k?
True
Suppose -4*h - 3*n + 879 = 0, -3*h + 741 = 4*n + 80. Is 13 a factor of h?
False
Let y = -10 - -17. Let w(x) be the first derivative of 15*x**2/2 + 1. Is 35 a factor of w(y)?
True
Let x(m) = 65 + 19*m + 24 - 63. Is 27 a factor of x(10)?
True
Suppose 3*o - 3482 = w, 2*o - 2963 = 5*w - 659. Is 14 a factor of o?
True
Let b(n) = -n**3 + 10*n**2 - 4*n - 10. Let o = -66 + 75. Is 11 a factor of b(o)?
False
Let m be 12/(-8) + 2/(-4). Let k = m + 4. Suppose 0 = -f - 2*f - 5*o + 67, 0 = -k*f + 4*o + 52. Is f a multiple of 7?
False
Let w = 64 + -25. Suppose -