 = 9*x**2 - 5*x. Is i(6) a multiple of 21?
True
Let o(y) = 6*y - 1. Suppose -5*l = 5*r + 5, 3*r + 2*l = -2*l - 6. Suppose 4*m = -3*v + 32, 0 = -0*m - r*m + 10. Is 8 a factor of o(v)?
False
Let g(h) = -2*h**3 - 7*h**2 - 6*h - 1. Let w be g(-5). Suppose -w = -2*x - 2*x. Does 26 divide x?
True
Suppose 3*s + 4 = 5*m, s - 5*m + 9 = -9. Let r = 8 + s. Is r a multiple of 10?
False
Let r be (1/((-3)/(-30)))/2. Suppose -r*v - n + 46 = 0, n - 2*n = -5*v + 44. Let d(p) = -p**3 + 11*p**2 - 12*p + 8. Is 21 a factor of d(v)?
False
Let x be ((-20)/(-15))/((-4)/(-6)). Suppose -x*v + 2*d + 4 = 0, 0*v + 3*v - 14 = d. Does 3 divide v?
True
Suppose 0 = -23*s + 27*s - 864. Is s a multiple of 27?
True
Let s(a) = -a**2 - 7*a + 10. Let b be s(-8). Suppose -b*w + 28 = -4*z, 0 = -3*z + 2*w + w - 27. Let n(r) = r**2 + 3. Is n(z) a multiple of 14?
True
Let z(y) = -y**3 + 15*y**2 - 15*y + 16. Let g be z(14). Let m(k) = -3*k - 3. Let a be m(-2). Suppose -a*u - g*u + 30 = 0. Is u a multiple of 6?
True
Let m = -34 + 74. Is m a multiple of 10?
True
Let s = 0 - 8. Let f(w) = -5*w - 4. Is f(s) a multiple of 18?
True
Let q be 669/11 + (-2)/(-11). Suppose n = -4*x + q, 5*x + 2*n = 6*n + 92. Is x a multiple of 9?
False
Suppose 7*u + 140 = 9*u. Is 13 a factor of u?
False
Let o = -54 - -72. Does 9 divide o?
True
Let c = 67 + 57. Is 11 a factor of c?
False
Let s = 3 - 3. Suppose 3*y + 5*n - 17 = s, -6 = 2*y + 2*n - 24. Is y a multiple of 14?
True
Suppose 12*m - 4950 = -3*m. Is 31 a factor of m?
False
Let j(q) = -q**3 + 6*q**2 - 4*q - 1. Let l be j(5). Suppose -i = -l*y + 105, 2*i - 40 = -2*y + 10. Is y a multiple of 13?
True
Let n(u) = 96*u + 2. Is 14 a factor of n(1)?
True
Let l = 1 + 8. Suppose 141 - l = 3*c. Is 22 a factor of c?
True
Let o be (3/(-3))/(4/(-36)). Let x = 15 - o. Suppose z = 6 + x. Is 6 a factor of z?
True
Suppose -2*t - 13 = 7. Let x(m) = -m**3 - 9*m**2 + 9*m - 5. Let v be x(t). Is 7 a factor of v + 2 - (1 - 1)?
True
Let y = 26 - 14. Suppose -y = -2*h - h. Let i = 9 - h. Is 3 a factor of i?
False
Suppose 0 = 4*m - 24 + 4. Suppose n - m*n = -60. Is 10 a factor of n?
False
Let b(w) = 93*w - 4. Does 9 divide b(2)?
False
Let x = -74 - -126. Is 4 a factor of x?
True
Suppose 37 + 65 = 3*w. Does 7 divide w?
False
Let w(g) = -g**3 - 3*g**2 - 12*g - 6. Is w(-5) a multiple of 26?
True
Let o = -1 - -15. Suppose -3*l + 13 = -o. Is l a multiple of 9?
True
Suppose -3*a + 4*n = 108, 5*a + 5*n = 27 - 242. Let f = -28 - a. Does 3 divide f?
True
Let y be (0 - -16) + 4/(-2). Suppose 3*m = 2 - y. Let l = 5 - m. Is l a multiple of 9?
True
Let j(z) = -z**3 + z - 73. Let i be j(0). Let d = -47 - i. Does 13 divide d?
True
Suppose 2*m = -0*m + 364. Suppose -4*q + 6 = -m. Let y = q - 27. Is y a multiple of 6?
False
Does 8 divide 8/3*(-5 + 11)?
True
Let o(x) = x**3 + x + 1. Let q be o(-1). Let d(f) = -48*f. Is d(q) a multiple of 21?
False
Suppose 0 = -3*r - 5*o + 4, 5*r - 3*o - 18 = -0*r. Suppose 3*t - 99 = 4*g, 5*g + r*t + 85 = -t. Let s = 1 - g. Is 11 a factor of s?
True
Does 5 divide 2979/27 + 2/(-6)?
True
Suppose 4*v - s = -5*s + 312, 0 = -3*v + 3*s + 216. Is v a multiple of 8?
False
Suppose 5*y - 1 = w + 4*y, 3*y - 9 = 0. Is 2 a factor of w/1 + (7 - 7)?
True
Let c(a) = a**2 + 10*a - 34. Is 11 a factor of c(-14)?
True
Suppose 4*u - 55 = 5. Is u a multiple of 10?
False
Let q = 53 + -25. Is 8 a factor of q?
False
Let k(s) = 2*s + s + 5 - s. Does 8 divide k(5)?
False
Let q = 345 + -38. Does 17 divide q?
False
Suppose -16 = 2*t - 3*t. Let y = 17 + -28. Let v = t + y. Is 2 a factor of v?
False
Let w = 11 - 20. Let k(q) = 4*q - 31. Let a be k(15). Let c = a - w. Is 17 a factor of c?
False
Let k(d) = -18*d + 7. Does 22 divide k(-6)?
False
Suppose 0*u - u = -2. Let a be (12/(-5))/(12/40). Does 18 divide u/a - (-145)/4?
True
Let y(r) = r**2 + 6*r - 5. Suppose 2*p = -3*w + 21, -3*w - 2*w + 4*p + 13 = 0. Is y(w) a multiple of 11?
False
Let j = -52 - -92. Is 14 a factor of j?
False
Suppose 2*i = 6, 0*a + a = -4*i + 12. Suppose a = 2*n - n - 42. Is 14 a factor of n?
True
Is (1 + -4)*16*30/(-36) a multiple of 20?
True
Let n be 72/(-2)*(-4)/3. Suppose 4*o - o = n. Does 13 divide o?
False
Let o(n) = n**2 + 5*n - 4. Suppose -15 = -2*s - 7. Does 14 divide o(s)?
False
Let j be (-2)/(-4) - (-10)/4. Does 12 divide j/(-6) + 285/6?
False
Suppose 5*k - 8 - 12 = 0. Suppose -4*q = -2*j - 0*q + 4, -k*q = 0. Suppose -o - 2*t = -34, 4 = 2*t - j. Is o a multiple of 14?
True
Let k = -16 + 16. Suppose g = q + 6*g - 10, k = -4*q + 4*g + 88. Is 8 a factor of q?
False
Let v be ((-6)/12)/((-2)/(-16)). Let z(u) = -3*u - 7. Let y be z(-7). Let a = v + y. Is a a multiple of 5?
True
Let k(j) be the second derivative of -j**4/12 - 5*j**3/3 + j**2/2 - j. Does 7 divide k(-8)?
False
Let y(p) = p**3 - 2*p**2 + p. Let k be 2/5 + 3/5. Let o = k - -1. Is y(o) even?
True
Let u = -4 + 5. Is 4 a factor of (u/3)/(2/48)?
True
Suppose 0*v = -7*v + 609. Is 29 a factor of v?
True
Let c(o) = 7*o - 5. Is 2 a factor of c(2)?
False
Suppose 4*g = 0, -3*g + 14 = 3*r - 70. Does 6 divide r?
False
Let x(j) = j**2 - 4*j - 11. Let z = -37 + 14. Let r = z - -32. Does 17 divide x(r)?
True
Is (-17)/((-5)/(14 + -4)) a multiple of 34?
True
Let k(l) = -2*l**2 + 2*l + 3. Let t(i) = i**2 - 1. Let f(a) = -k(a) + t(a). Suppose 0 = -5*d + 25, 2*d = 5*z + 4*d - 25. Is f(z) a multiple of 9?
False
Let x be (2 - 1)*(0 - 3). Let i = x - -3. Is (8 + 1)*(2 - i) a multiple of 9?
True
Let x be (1 - 2)*(-5 - -3). Suppose -2*r = -4*t + 428, x*r + 214 = 2*t - 0*r. Does 9 divide t/4 - (-2)/8?
True
Suppose 0*x + x = 5. Let w be (-8)/3 + x/(-15). Let b = w + 9. Does 5 divide b?
False
Let c be (-1 - -1)/(-2 - 0). Let q(v) = v**2 + 8*v - 5. Let z be q(-10). Suppose c*f + 5*p = 4*f - 20, 0 = 3*f - 3*p - z. Does 5 divide f?
True
Let v = -66 - -124. Is 29 a factor of v?
True
Let g(x) be the first derivative of -x**2/2 + 9*x + 2. Does 2 divide g(0)?
False
Suppose 40 = 3*v - 122. Suppose 2*p = -4*h + v, 5*h + p - 67 = -p. Is 13 a factor of h?
True
Suppose -2 = d - 12. Let i(r) = 2*r**3 + r**2 - 2. Let y be i(2). Suppose 2*s - y = d. Is s a multiple of 7?
True
Let o(p) = p**2 - 4*p + 3. Suppose -5*x - 2*d = 5 - 33, 4 = 4*x - 3*d. Suppose -x*t - 16 = -2*v, 2 = 3*v + 2*t - 14. Is 15 a factor of o(v)?
True
Suppose 3*h + h = -m + 77, 3*h = -3*m + 69. Is 18 a factor of h?
True
Let t(o) be the second derivative of 5/2*o**2 + 0 - o - 11/6*o**3 + 1/6*o**4. Is 13 a factor of t(7)?
True
Let o(t) = t**3 + 12*t**2 + 16*t + 9. Is 28 a factor of o(-9)?
False
Is 25 a factor of ((-8)/(-5*2/(-125)))/(-1)?
True
Let l(q) = q**2 - 4*q. Let i be l(4). Suppose i*o - 2*o + 10 = 0. Suppose 2*z - o*g = -g + 48, -4*z + 46 = 2*g. Is 6 a factor of z?
False
Let x = -118 + 202. Suppose 6*j - x = 3*j. Let d = j - 13. Is 11 a factor of d?
False
Suppose -4*q - 7 - 11 = 5*f, 5*f - q = -8. Let l be 8/(1*f/(-2)). Is 8 a factor of (-2)/l + (-231)/(-12)?
False
Is (3/(-9))/((-9)/702) a multiple of 4?
False
Suppose 5*y - 7 = 4*i - 3, -i = 2*y - 12. Suppose -4*m + 3 = -5*k, -m - 2*k + y = -0*k. Is 13 a factor of -26*(-1)/2*m?
True
Suppose -3*x - 288 = 474. Does 21 divide 1/(-3) - x/6?
True
Let k = -1 + 1. Let n(w) = 3*w - 2*w + w + 2 - w. Is n(k) even?
True
Suppose -2*v + 387 = 137. Does 25 divide v?
True
Let x be 2*(0 + 9)/(-3). Let h(d) = d**2 + 3*d - 4. Is 7 a factor of h(x)?
True
Suppose 0*i + 2*i + 12 = 0. Let z(j) = -j**2 - 6*j + 14. Is 8 a factor of z(i)?
False
Let j(a) = 3*a**3 + 5*a**2 + 5*a - 2. Let b be j(-5). Let d = -194 - b. Let m = d - 52. Does 14 divide m?
False
Let l = 33 + -2. Suppose -w - 16 - l = 0. Let r = w + 67. Is r a multiple of 11?
False
Let d = -3 - -8. Let z(c) = -c - 2. Let p be z(d). Is 13 a factor of 1/2*p*-10?
False
Is 9 a factor of -5 + 2 + 48/4?
True
Let g(s) = s**3 + 7*s**2 + 5*s - 1. Is 13 a factor of g(-5)?
False
Let p(c) = -c**2 - 10*c + 12. Does 36 divide p(-6)?
True
Is (12/(-7) + 0)*-7 a multiple of 3?
True
Let i be -1*(2 + (-2)/1). Is i - (-5)/(5/7) even?
False
Let l = -15 + 5. Is (l/(-4))/(4/8) even?
False
Suppose 0 = g - 4*g - 72. Let u be ((-21)/2)/(9/g). Suppose -2*v - 3*o = -o - 30, -2*v - 4*o = -u. Is v a multiple of 16?
True
Let f = 10 + -6. Is 9 a factor of -18*((-42)/f)/7?
True
Let l = 1 + 3. Suppose -2*q = -l*r - 68, 0 = 4*q - q - 3*r - 99. Is q a multiple of 12?
False
Le