= -490. Is 7 a factor of (-256)/(-18) + (-14)/w?
True
Let o = 448 - 351. Suppose 2*i + 3*d + 131 = 0, -4*i + d - 210 = 59. Let s = i + o. Is 15 a factor of s?
True
Suppose 5*f - 2*f = 6. Suppose 4*u = f*u + 128. Suppose 2*h + 0*h = u. Is h a multiple of 15?
False
Let f(a) = -6*a - 90. Is 15 a factor of f(-35)?
True
Let c(v) = 2*v**2 - 20. Is 9 a factor of c(9)?
False
Let p be ((-3)/1)/(-1 + 87/90). Suppose 2*m = 2*j - 80, -m = -3*j - 4*m + p. Does 5 divide j?
True
Let i be (2/(-6))/(2/(-948)). Suppose 3*h + 4 = -i. Let j = h + 78. Is j a multiple of 12?
True
Does 7 divide (1 - 0) + (-784)/(-28)?
False
Suppose -k + 96 = 2*k. Let u = k + -15. Is 4 a factor of u?
False
Let l(g) = g**3 - 7*g**2 - 7*g + 7. Let n be l(8). Let m(w) = -w + 4. Let a be m(6). Let f = a + n. Is 13 a factor of f?
True
Suppose -3*w + 24 + 2 = z, -3*w = 2*z - 28. Suppose 0 = -w*q + 5*q + 6. Suppose -3*b + 172 = 4*h, -q*b = 5*h - 3*h - 116. Is 7 a factor of b?
False
Let i(d) be the second derivative of d**3/6 + 9*d**2/2 + 13*d. Is i(9) even?
True
Let g = 897 - -417. Does 73 divide g?
True
Does 4 divide 72 - -2*5/10?
False
Let c(p) = 13*p - 74*p**2 + 6 + 37*p**2 + 6 + 36*p**2. Does 11 divide c(11)?
False
Let r(t) = 18*t**2 + t - 26. Is r(-8) a multiple of 13?
True
Let u(v) = 2*v - 16. Let o(x) = -x + 17. Let k(q) = 2*o(q) + 3*u(q). Let g(n) = n**3 - 9*n**2 + 15*n - 49. Let r be g(8). Is k(r) a multiple of 14?
True
Let v(i) be the second derivative of i**4/6 - i**3/3 - i**2 + 11*i. Let h be v(2). Suppose h*m - 525 = -3*m. Is 21 a factor of m?
True
Let d(b) = 42*b**2 + 32*b + 79. Is d(-3) a multiple of 19?
True
Let p(y) = 363*y - 16. Is p(14) a multiple of 42?
False
Let h(f) = -3*f**3 - 3*f**2 - 5*f. Suppose 3*v + 5*x - 4 = 0, 4*x - 2 = 3*x. Is h(v) a multiple of 11?
True
Let d be (-30)/(-75) - (-674)/(-10). Let o = d - -103. Does 18 divide o?
True
Let b(j) = j + 1. Let z be b(-7). Let a(n) = n**3 + 7*n**2 + 3*n + 8. Is a(z) a multiple of 26?
True
Is 124/(66/12 + -5) a multiple of 10?
False
Suppose 0 = -3*z + 2*z + 117. Is z a multiple of 39?
True
Let n(p) = -p**2. Let c(g) = -2*g**2 - 8*g + 2. Let v(h) = c(h) + 2*n(h). Let f(d) be the first derivative of v(d). Is f(-7) a multiple of 13?
False
Let o(t) = 2*t + 10 + 12 - 57. Is o(19) a multiple of 3?
True
Is 7 + (-4516)/(-4)*2 a multiple of 15?
True
Let u be (34/6)/(-1)*(-12)/4. Suppose 0 = -2*r - h + u, 3*h + 29 = 4*r - 2*r. Is 10 a factor of r?
True
Suppose 4*d - 20 = 4*f, 4*d - 18 = 2*f - 0. Suppose -7*o + 3*o - 364 = -d*g, 5*g - 3*o = 449. Suppose -c + 5*c = g. Does 21 divide c?
False
Let q(k) = 43*k**2 - 5*k. Let f(i) = -366*i**2 + 42*i. Let u(w) = 5*f(w) + 42*q(w). Let d be u(1). Does 25 divide (-606)/d - (-1)/(-4)?
True
Suppose -40*m + 21*m + 24871 = 0. Does 13 divide m?
False
Suppose -42 = 2*h - 0*h. Let d = -19 - h. Suppose -3*s + 7 = -d*s. Does 5 divide s?
False
Let z(u) = u + 7. Let j be z(-3). Suppose 0 = j*n - 6*o + o - 216, 0 = -3*o. Is n a multiple of 27?
True
Suppose f + 250 = 384. Is 67 a factor of f?
True
Let o(d) = d**2 - 5*d + 4. Let k be o(5). Suppose 0 = k*c + 3*y - 3, -4*c + c - 6 = 5*y. Is 22 a factor of 33 - 1*(-1 + c)?
False
Suppose 2*t - t = -h - 1, 0 = -h - 2*t - 6. Suppose 9*l - c = h*l + 392, 0 = 5*l + c - 398. Let d = l + -38. Is 9 a factor of d?
False
Let f(c) = -c**2 + 17*c + 7. Let w(u) = -2*u**2 + 17*u + 9. Let d(r) = 6*f(r) - 5*w(r). Is 24 a factor of d(7)?
True
Suppose -16*z = -20*z + 248. Does 3 divide z?
False
Let q(g) = -g**3 - 2*g**2 - 8*g - 28. Is q(-5) a multiple of 6?
False
Let q = -572 - -1000. Suppose 4*g + 5*v = 220, -5*g + q = 3*v + 166. Suppose s = 3*s - g. Is 12 a factor of s?
False
Let v(o) = 22*o**2 + 1. Let t(x) = x**3 - x**2 - 3*x + 1. Let d be t(2). Does 4 divide v(d)?
False
Suppose 0 = 4*b - 127 + 15. Let s(d) = -2*d + b + 5 + d + 0*d. Is s(0) a multiple of 11?
True
Let x(f) = 354*f**3 + 6*f**2 - 6*f + 1. Does 15 divide x(1)?
False
Is 4/(2 - 1) - (-5 - 215) a multiple of 14?
True
Suppose 5*t = -0*c - 3*c + 2919, c - 959 = 3*t. Suppose 4*p + 1260 = 2*w - 684, w = 4*p + c. Is (-22)/99 + w/18 a multiple of 16?
False
Let v be (-8)/(-24)*(1 + -1). Let h(i) = -i + 4. Let o be h(v). Suppose -9*q = -o*q - 275. Is q a multiple of 11?
True
Let c = 32 + 598. Does 21 divide c?
True
Suppose 5*n = 7*n. Suppose q - 4*w - 2 = n, 0 = -2*q + 3*q - 5*w. Is q a multiple of 5?
True
Let w = -85 - -59. Let h = w - -127. Does 16 divide h?
False
Let b(j) = -146 + 158 - 10*j + 2*j**2 - j**2. Let n be b(8). Let l(y) = -5*y - 2. Does 10 divide l(n)?
False
Let i be 84/(-15) + 2/(-5). Let t be 520/30 - 4/i. Is ((-168)/9)/(-4)*t a multiple of 23?
False
Let d(g) = 4*g - 8. Suppose 0 = r - 0*r - 11. Is 25 a factor of d(r)?
False
Let k(m) = -m**2 - 73*m - 448. Is k(-48) a multiple of 16?
True
Let r(t) = t**2 - 11*t - 57. Does 20 divide r(18)?
False
Is 17 a factor of ((-1260)/(-4) - -1) + -6?
False
Let f(m) = 4*m**2 - m + 9. Let t be f(2). Suppose -3 = -2*w + 5*w. Is 6 a factor of ((-1)/w - 0)*t?
False
Let x(f) = -289*f - 1. Let k be x(-1). Suppose k = u + u. Is 8 a factor of u?
True
Suppose f - 4*a = 143, 3*f + 3*a - 405 - 39 = 0. Suppose -54*g - f = -57*g. Is 7 a factor of g?
True
Let j(g) = 8*g - 7 + g**3 + 19*g - 14*g**2 - 20*g. Is j(14) a multiple of 24?
False
Is (-30)/75 - (-1462)/5 a multiple of 73?
True
Suppose -570*r + 23058 = -561*r. Is r a multiple of 14?
True
Suppose 4*t - 4*z - 36 = -9*z, -12 = 3*z. Suppose t + 1 = 3*o. Suppose -5*m + 185 = o*u, 2*u - 144 = -4*m - 3*u. Does 23 divide m?
False
Suppose -530 = -15*v + 310. Is v a multiple of 20?
False
Does 3 divide 6185/30 - (-7)/(-42)?
False
Is 7 a factor of -2*(-220 - (-2 + 18/4))?
False
Let s = 1299 + -644. Does 79 divide s?
False
Does 36 divide 36405/25 + (-6)/30?
False
Let h = 56 - -135. Does 27 divide h?
False
Suppose -2*a - 5 = 3*a. Let z be 211 - a/1*-1. Suppose -z = -4*x + 3*b, b + b = -x + 47. Does 19 divide x?
False
Suppose -2*z - 4 = -10. Suppose 0 = -z*o - 5*f + 172, -4*f = 2*o - 82 - 36. Does 36 divide o?
False
Suppose -10 = 4*o - 6*o, -15 = -4*s + o. Suppose x - s - 10 = 0. Is x a multiple of 5?
True
Suppose 11 = -t - 5*k, -t + 2*k = -3*k - 19. Let v(q) = 4*q**2 - 36*q - 5*q**3 + 4*q**3 - t + 24*q + 10*q**2. Is v(13) even?
False
Suppose 3*j + 5*g = -80, 2*g + 114 = -4*j - g. Let b = -27 - j. Is b a multiple of 3?
True
Let f be -1 + 29 + (-8)/(-4). Let a = f + -10. Does 4 divide a?
True
Let i(f) = -53*f**2 - 2*f - 4. Let q(b) = 106*b**2 + 4*b + 9. Let a(y) = -7*i(y) - 3*q(y). Does 31 divide a(2)?
True
Let j(k) = -k - 17. Let o = 29 + -46. Let l be j(o). Suppose l*p = -3*p + 39. Is p a multiple of 13?
True
Suppose 5*r = -117 + 112. Let d be (-10)/3 + (-4)/6. Does 9 divide -9*(-4)/d*r?
True
Suppose 2*x - 78 = -2*b, x + 121 = 14*b - 11*b. Does 27 divide b?
False
Let c be ((-80)/15 + 6)/((-2)/(-3)). Let b = c + 12. Is 13 a factor of b?
True
Let v be (-2)/(-8 + 4 + 3). Suppose 50 = 4*f - v. Suppose -2*g + f + 7 = 0. Is 5 a factor of g?
True
Suppose 2*t + 2*h - 28 = 3*h, 0 = 3*t + 5*h - 55. Is t a multiple of 6?
False
Let l(z) = -z**3 + z + 180. Let j be l(0). Suppose c + j = 6*c. Does 11 divide c?
False
Let m(u) = u**3 - 12*u**2 - 15*u + 21. Let n be m(11). Is 5 a factor of (n/55 - -5) + (-240)/(-11)?
False
Let x(y) = y**3 - y**2 - y + 1. Let h(j) = -6*j**3 - 7*j**2 - 8*j. Let b(k) = h(k) - 4*x(k). Is 9 a factor of b(-2)?
True
Suppose 325*b - 321*b - 10256 = 0. Does 33 divide b?
False
Let g = 1195 + -1078. Is 12 a factor of g?
False
Let q(b) = -16*b - 22. Let m(o) = -o - 1. Let f(r) = 12*m(r) - q(r). Does 18 divide f(5)?
False
Let d(t) = -t**3 - 8*t**2 - 4*t - 4. Let x be (-13)/1 - 27/9. Let s = 8 + x. Does 8 divide d(s)?
False
Let w(o) = -o**3 + o - 1. Let h be w(1). Let k(n) be the second derivative of -2*n**5/5 - n**4/12 + n**3/6 + n**2/2 - n. Is 3 a factor of k(h)?
False
Let p = -13 + 15. Suppose 7 + 13 = -4*n, -5*f + 360 = -p*n. Does 19 divide f?
False
Let y(b) = 28*b + 58*b + 18 - 113*b. Is y(-14) a multiple of 44?
True
Let g = -8 + 11. Suppose 0 = -8*x + g*x + 20. Is 4 a factor of x?
True
Suppose 4*b = 5*k - 116, -3*k - 80 = b + b. Is b/(-6)*(5 - 2) a multiple of 17?
True
Suppose -4*g - i = -2572, -3*i + 1272 = 2*g + i. Is g a multiple of 14?
True
Suppose -10*q + 120 = -430. Is q even?
False
Let i(n) be the first derivative of 