or of z(r)?
False
Let v be 2/12*-4*(-117)/(-6). Let i = 33 - v. Does 18 divide i?
False
Let x(i) = -80*i - 10. Is 23 a factor of x(-3)?
True
Let n(p) = 20*p**2 + 2*p - 1. Let w(t) = t**2 + 4*t - 4. Let x be w(-5). Is 3 a factor of n(x)?
True
Let z(s) = -s**3 + 16*s**2 - 14*s - 13. Let y be z(15). Let o be -1 - y*(-236)/8. Suppose 12 = 5*x - o. Is 12 a factor of x?
False
Let d = 433 - -436. Is 35 a factor of d?
False
Suppose x = 5*r + 81, r - 4*x = 2*r + 12. Let z be (2 + r/10)*10. Suppose -8*j + 9*j = z. Does 3 divide j?
False
Let v = 18 - -182. Is v a multiple of 8?
True
Let n(i) = -i**3 - 4*i**2 + 7*i - 3. Let v be 1/(14/(-12))*-7. Suppose -4*j = -3*j + v. Is n(j) a multiple of 11?
False
Let d be -8*(-1)/2 + 1. Suppose -d*a + 26 = -4*i + 81, -2*i + 27 = -3*a. Is 15 a factor of 10/i*-1*-93?
False
Let t be (-81)/(-21) - 7/(-49). Let y be (8 - -1) + (1 - t). Suppose y*c = 28 + 260. Is c a multiple of 24?
True
Is 14 a factor of (-1)/2 + 1492/8?
False
Suppose -2*j + 2*b - 4*b = -410, -5*b = 4*j - 818. Does 23 divide j?
True
Let g(l) = 148*l**3 - 2*l + 1. Let n be 3*1 - (14 + -12). Let v be g(n). Suppose 3*x + 0*a = a + 149, 0 = 3*x - 3*a - v. Is x a multiple of 25?
True
Let p be 6/((-3)/(-3) - (-106)/(-110)). Let l = p + -105. Is l a multiple of 12?
True
Suppose 0*c + 2*c - 70 = 0. Suppose v - 6*v + c = 0. Suppose 0 = -p + v + 12. Is 6 a factor of p?
False
Let x(n) = n**3 + 17*n**2 + 8. Let v be x(-7). Suppose o - 5*o + v = 3*c, -c = 2. Is o a multiple of 18?
True
Suppose 12 + 8 = 4*x. Let c(f) = 4*f**3 - 2. Let t be c(2). Let z = t + x. Does 14 divide z?
False
Let s = 12 - 8. Suppose -4*g = -3*g - w - 15, 5*g - s*w - 80 = 0. Is 568/g + 2/(-5) a multiple of 7?
True
Suppose -2*o = -4*p + 7 + 7, 5*o = 4*p - 5. Suppose o*y + 3 = 57. Does 16 divide 25/(3/y*3)?
False
Let a = 65 - 60. Suppose 2*p + a*c - 184 = p, -5*p + 920 = c. Does 29 divide p?
False
Let r(s) be the first derivative of -7*s**4/8 + s**3/6 - 7*s**2/2 - 13. Let a(g) be the second derivative of r(g). Is a(-2) a multiple of 14?
False
Suppose -45*k = -41*k - 3872. Is k a multiple of 11?
True
Suppose -16*v = -18*v + 438. Suppose 4*q - 37 - v = 0. Is q a multiple of 16?
True
Suppose -2*c - 7*c = -4131. Does 17 divide c?
True
Suppose -4*z = 5*k - 429, -z + 86 = -k + 2*k. Let i = -57 + k. Is 7 a factor of i?
True
Suppose -3*o = -2*g - 674, -3*g + 5*g - 1150 = -5*o. Does 20 divide o?
False
Let f(d) = -32*d**3 - 3*d**2 - 17*d + 5. Is f(-3) a multiple of 104?
False
Let o = -32 + 37. Let f be 44*o/(40/6). Suppose 197 - f = 2*m + 4*d, 3*m = -2*d + 250. Is m a multiple of 31?
False
Suppose -2*y - 5 = 3*y + 3*j, 0 = -3*y + 3*j + 21. Does 21 divide (1/y)/((-5)/(-370))?
False
Suppose 7*t - t + 12 = 0. Is 21 a factor of (7/(5 - t))/(2/84)?
True
Let a be 111/(-4)*(-80)/30. Let k = -65 + a. Is 3 a factor of k?
True
Is 29 a factor of (-360)/60 - 4*470/(-4)?
True
Let s = -13 - -15. Let a(i) = i**3 + 2*i**2 - 3 + i**2 + 3*i**s - 2*i. Is 5 a factor of a(-3)?
True
Let x(u) = 9*u**2 - 7*u - 40. Is 47 a factor of x(-9)?
True
Let t(g) = -g**3 + 16*g**2 + 13*g + 1. Let j be t(17). Let c = j + 133. Is 11 a factor of c?
True
Suppose -3*f - 3 = 6. Suppose -5*s + 2*v + 116 = 0, 2*s + v - 13 = 37. Let z = s - f. Does 5 divide z?
False
Let h(w) = -2*w**2 - 22 - 23 + 64 - 28 - 28*w. Is 5 a factor of h(-11)?
False
Let h(m) = -15*m**2 - 10 + 7*m - 7*m**2 + 11*m**2. Let w(x) = -5*x**2 + 3*x - 5. Let b(l) = 2*h(l) - 5*w(l). Does 12 divide b(4)?
False
Suppose -5*o + 500 = 5*g, 0*g - 396 = -4*o - 3*g. Is 32 a factor of o?
True
Let g = 2576 + -1410. Is g a multiple of 106?
True
Let v be -2 + 22 + (-6)/3. Suppose 2*i = -i - v. Is 7 a factor of 10/(-1*i/15)?
False
Suppose 3197 - 10067 = -6*r. Is 20 a factor of r?
False
Let g(r) = r + 1. Let z be g(3). Let s be (-5)/((-2)/(-44)*-2). Suppose j - 4*a + 19 = s, -z*j + 5*a = -166. Is j a multiple of 22?
True
Let v = 326 + -166. Does 16 divide v?
True
Let u(l) = 2*l**2 - 18*l + 9. Let t be u(9). Suppose 210 = -7*h + t*h. Does 31 divide h?
False
Let q = 15 + -15. Let x(o) = -51*o - 1 - 4*o + 4*o + q. Is 15 a factor of x(-1)?
False
Let f(u) = u**3 - u**2 + u. Let r be f(0). Suppose 2*t - 3*k - 55 = r, -3*k - 2*k = 25. Does 5 divide t?
True
Let g = 22 + -9. Let p(k) = k + 3*k + g*k. Is p(1) a multiple of 17?
True
Suppose 0 = -h - 3*h. Suppose -5*k + t - 2*t = h, -11 = -k + 2*t. Is (-745)/(-15) + k/3 a multiple of 14?
False
Let q(x) = x - 2. Let d be (-1)/(-4) - (-21)/12. Let g be q(d). Suppose 4*v - 132 = -0*v - t, 2*v + 5*t - 48 = g. Is v a multiple of 17?
True
Let b(s) = s**3 + 16*s**2 + 13*s + 8. Let z be b(-15). Suppose 0 = a - 3*y + 3, -z = -4*a - 0*y + 2*y. Let c = 3 + a. Does 15 divide c?
True
Let s(n) = -11*n + 16. Suppose -4*y = 3*h + 22, 0*y - 43 = 2*h - 3*y. Is 21 a factor of s(h)?
False
Suppose 4*k = -w + 4*w - 968, -2*k - 4*w = 462. Does 40 divide k/(-3) + (-3)/(-9)?
True
Let f(y) = 38*y - 375. Is f(10) a multiple of 3?
False
Suppose -11*u + 2082 + 7147 = 0. Does 50 divide u?
False
Suppose 3*g + g = -140. Let u be (1/1)/((-5)/g). Suppose 73 - u = 2*k. Does 11 divide k?
True
Let q = 5 - 4. Let v = -204 - -205. Is 17 a factor of (-1)/q*v*-30?
False
Suppose 2*k - 15*y - 796 = -11*y, 0 = -3*k + 5*y + 1197. Is k a multiple of 49?
False
Does 14 divide (0 - 13128/(-40))/((-12)/(-40))?
False
Let x be (-33)/(-55) + (-106)/10. Let k = -5 - x. Suppose 0 = -k*w - 4*b + 357, -4*w + 298 = -0*w - 3*b. Does 23 divide w?
False
Let w(c) = -c**2 - c. Let g(r) = 8*r - 9. Let d(k) = -g(k) + w(k). Is 14 a factor of d(-7)?
False
Let z(r) = 12*r + 13. Let t be (-4)/(-28)*-1 + (-129)/(-21). Is 17 a factor of z(t)?
True
Suppose 0 = 3*o - 6*o + 72. Suppose -4*x + 23 = -3*w, -2*x + o = -4*w + 10. Is 15 a factor of (w/2)/(1/(-60))?
True
Let b(r) = r**3 - 15*r**2 + 12. Let w(p) = p**3 - 14*p**2 + 12. Let x(g) = 5*b(g) - 4*w(g). Is x(19) even?
True
Let y(r) be the first derivative of -7/2*r**2 + 1/3*r**3 - 5*r + 3. Is 2 a factor of y(8)?
False
Let s be (6/(-4))/(5/(-10)). Let u(n) = -2*n**2 + 2*n**2 + 8 - s*n**2 + 5*n + 2*n**2. Is u(6) a multiple of 2?
True
Let s(o) be the second derivative of -o**5/20 + o**4/12 + o**3/3 + 5*o**2/2 + 2*o. Does 11 divide s(-4)?
True
Suppose 0*i = 3*i. Let g(s) = -s**2 + 14. Let f be g(i). Suppose 9*c - 8*c = f. Does 6 divide c?
False
Let h(j) = -j**3 - 7*j**2 + j + 7. Let d be (-3)/12 + (-135)/20. Let t be h(d). Suppose -4*n = -2*q - 0*n + 16, t = 3*n - 9. Is q a multiple of 5?
False
Suppose -2*v = 86 - 32. Let j = v + 47. Does 2 divide j?
True
Let g(n) = -n**3 + 5*n**2 + 3*n. Let j(d) be the third derivative of d**6/120 - d**5/15 - d**4/6 - 4*d**2. Let o be j(5). Is g(o) a multiple of 5?
True
Let v(y) = 18*y + 7. Let f(d) = -4*d**3 - 2*d**2 - 2*d. Let u be f(-1). Is v(u) a multiple of 21?
False
Let x(l) = l**3 - 4*l**2 + 2*l - 2. Let z be x(5). Let s = z + 111. Is 8 a factor of s?
True
Is ((-130)/20)/((-3)/18) a multiple of 13?
True
Let k(h) = -3*h - 12. Let t(u) be the second derivative of 2*u**3/3 + 11*u**2/2 - u. Let j(n) = -3*k(n) - 4*t(n). Is j(-4) a multiple of 4?
True
Let w(l) = 2*l**3 + 5*l**2 + 2*l - 2. Suppose -t = -2*t - 4. Let u be w(t). Let n = 103 + u. Is 9 a factor of n?
True
Let d = -2 + -5. Let r(v) = -5*v + 3. Let b be r(d). Suppose z + z = b. Is z a multiple of 19?
True
Let v be ((-1)/1 + 1)/(-1). Suppose v*s = 2*s - 302. Does 31 divide s?
False
Is 2 a factor of 6/(-18)*-351 - 4?
False
Let k = 51 - 83. Does 3 divide 6*4/k*-4?
True
Let d be 10/(-6)*5*-12. Suppose -4*p - d + 320 = 0. Is 11 a factor of p?
True
Let h = 1990 - 1144. Does 14 divide h?
False
Is 7 a factor of 56/(-6)*(-225)/60?
True
Suppose 8*j = 8997 + 2563. Is j a multiple of 17?
True
Let f(y) = 38*y - 6. Let c = 79 - 77. Is f(c) a multiple of 10?
True
Suppose 3*l = -l. Suppose p = c - 8 - l, 4*c - p - 35 = 0. Is 3 a factor of c?
True
Let m(s) = 143*s + 2. Let h be m(1). Let i = h + 19. Is 41 a factor of i?
True
Let w be ((-8)/3)/((-2)/(-6)). Let b = -7 - w. Let i(u) = 13*u. Is i(b) a multiple of 13?
True
Let r(p) be the second derivative of -2*p**3/3 + 27*p**2/2 + 8*p + 7. Let v be -1 - -1 - -1 - 1. Is 6 a factor of r(v)?
False
Let c(v) = 2*v - 48. Let h be c(23). Is 45*((-24)/(-20) - h) a multiple of 36?
True
Let u(r) = r + 5. Let g = 21 - 16. Is u(g) a multiple of 3?
False
Does 30 divi