 2*o - 2. Let v be p(2). Let s be 6/18 + v/(-6). Suppose -s*a + 157 = 2*n + 39, -241 = -4*n - 3*a. Is n a multiple of 33?
False
Suppose 4*c + 3*a = -a + 956, 0 = 3*a + 3. Suppose -c = 2*r - 6*r. Is 15 a factor of r?
True
Let s(r) = -16*r - 6. Is s(-21) a multiple of 110?
True
Is -5 - (4/(-1) - 77) a multiple of 19?
True
Let p = 237 + 232. Suppose -5*a + 691 = -p. Is 47 a factor of a?
False
Suppose 0 = 2*k - 8, -4 = -u - 2*u + 5*k. Suppose -120 = -4*x - u. Is 21 a factor of x?
False
Suppose -1417 = -m + 417. Does 6 divide m?
False
Let g(y) = 6*y**2 + 107*y + 117. Does 66 divide g(-26)?
False
Suppose 0 = -47*u + 14*u + 44286. Does 26 divide u?
False
Let x = 35 + -30. Suppose 4*o = -x*a + 409 + 2, a = -2*o + 207. Is 8 a factor of o?
True
Let q(t) = t**2 + 4*t. Let o be q(-6). Suppose -f + o = -31. Suppose 0 = -2*w + w + 5*z + f, -2*z = 3*w - 112. Is w a multiple of 19?
True
Let x(v) = v**3 - 11*v**2 + 10*v + 1. Let a be x(10). Let p(y) = 119*y + 1. Let w be p(a). Suppose -12*t - w = -16*t. Is 8 a factor of t?
False
Suppose 2*c - 8 = 5*x + 1, x = -3. Let k be (4/(-4))/(c/63). Suppose -2*l + f = -l - k, 3*f = 0. Does 4 divide l?
False
Let u(n) = 29 + 23*n - 15 + 13*n. Does 16 divide u(4)?
False
Is 22 a factor of (176/(-12))/((-6)/621)?
True
Suppose 13 - 25 = 3*u. Does 9 divide ((-252)/3)/u + -3?
True
Let o(c) = c**3 - 10*c**2 + 14*c - 5. Let p be o(9). Let s = -89 + p. Let t = s - -89. Is 10 a factor of t?
True
Let z(l) = -35*l + 28. Let f(v) = -23*v + 19. Let c(h) = -7*f(h) + 5*z(h). Is 14 a factor of c(-5)?
False
Suppose 2*p + 77 = q - 97, 5*q = 5*p + 855. Suppose l = -l + q. Suppose -2*x - l = -5*x. Is x a multiple of 28?
True
Let t(k) = 2*k**3 - 6*k**2 - 1. Let b be t(8). Suppose 6*n - b = -135. Does 12 divide n?
True
Suppose m + 0*m = 0. Suppose m = -j - 0*j + 17. Suppose 3*r - 5*f - 43 = 0, 0 = r - 2*f + 2 - j. Is r a multiple of 4?
False
Let i be (4/14)/(13/91). Suppose -2*g + 44 = i*g. Suppose 9*x - g*x + 120 = 0. Is x a multiple of 20?
True
Suppose -5*x - 5 + 30 = 0. Suppose -3*s - 15 = x*a, a - 2 = 5*s - 5. Suppose -j - 121 = -4*r, 3*r + 2*j - 77 = -s*r. Does 8 divide r?
False
Let f(s) = -s**2 + 3*s + 5. Let v(i) = -i**2 + 3*i + 5. Let u(p) = 5*f(p) - 6*v(p). Suppose 2*w = -w - 15. Is 7 a factor of u(w)?
True
Let f(a) = -32*a**3 + a**2 - a + 1. Let h(v) = -v**3 - 6*v**2 + 8*v + 8. Let u be h(-7). Let o be f(u). Does 8 divide 2/2 - (o + 0)?
True
Suppose 2*k - 5*x + 149 = 5*k, -63 = -k + x. Does 3 divide k?
False
Let k(d) = 23*d**2 - 68*d + 18. Does 27 divide k(9)?
True
Suppose 51*v - 9145 = -8*v. Is v a multiple of 30?
False
Suppose 5*f - 3*f - 3*l - 37 = 0, 2*l + 98 = 5*f. Let q = -38 - -68. Suppose 0 = -3*i - 2*w + q, 4*w = -i - 0*w + f. Is i a multiple of 4?
True
Suppose c - 2670 = -5*c. Does 17 divide c?
False
Let m = 6 - 3. Suppose 0 = 2*j - 3*j + m*w + 11, -3*w + 3 = 0. Suppose -j + 74 = 4*g. Is g a multiple of 4?
False
Let d be (3 + 6)/(-3)*-1. Suppose n - 5*j = 5, -2*n - j + d*j = -26. Suppose 20 + 4 = 4*l - 2*w, 0 = 3*l - 3*w - n. Does 6 divide l?
False
Let g(f) = -f**3 + f**2 - 2. Let z be g(-2). Suppose 2 - z = -4*r. Is 13 + ((-8)/4)/r a multiple of 7?
False
Suppose -5*n - 74 = 3*p - 169, -5*n - 25 = 0. Is 3 a factor of p?
False
Let q(o) = 2*o**2 + 6*o - 3. Let b be q(-4). Suppose 2*w + 64 = 4*w + b*l, -w + 37 = 5*l. Is w a multiple of 27?
True
Let b be -3 + (-4)/(-26) + 204/26. Suppose 2*a - 298 = 4*i, i + 390 = -b*a + 1168. Is a a multiple of 17?
False
Let i(u) be the second derivative of -47*u**3/6 - u**2 + 47*u. Does 9 divide i(-1)?
True
Let x = 577 + -142. Is 17 a factor of x?
False
Suppose 0 = -3*p + 6, 3*x - 6*x = 3*p - 6. Suppose 5*r + c = 772, x = 5*r + 2*c + 2*c - 763. Let t = r - 79. Is 18 a factor of t?
False
Suppose 2*b - 200 = -0*b. Let c = 124 - b. Is 24 a factor of c?
True
Suppose -28*h + 104 = -20*h. Is h a multiple of 6?
False
Suppose h + 3*h = 52. Suppose 12*r = 10*r + 4. Suppose q - 7 = 5*c + 3, -q = -r*c - h. Is q a multiple of 11?
False
Does 34 divide (-8)/(-2) + (851 - -29)?
True
Suppose -167*x + 5472 = -161*x. Is 38 a factor of x?
True
Let a = 253 + -134. Is 4 a factor of a?
False
Suppose 6*q - 25 = 29. Let p(f) = 2*f - q*f + 2*f. Is 5 a factor of p(-1)?
True
Let k(h) be the first derivative of h**3/3 + h**2/2 + 130*h - 9. Does 10 divide k(0)?
True
Let a = 66 - 36. Suppose -2*v + 146 = -a. Suppose -v = -4*t + 48. Is t a multiple of 17?
True
Suppose 210*u - 192*u = 0. Suppose -12 = -3*x - 3. Suppose a = -4, -x*d - 5*a + 9 + 1 = u. Is d a multiple of 2?
True
Let s(m) = -m**3 - 3*m**2 + 5*m - 3. Let v = 16 + -21. Is 3 a factor of s(v)?
False
Does 21 divide 422 - (1 - (-1 + 3))*-3?
False
Let a = -1084 - -1301. Is 7 a factor of a?
True
Suppose -11818 = -44*q - 598. Is q a multiple of 17?
True
Let v(x) = 9*x - 2. Let d(g) = g**3 - 4*g**2 - 6*g + 11. Let n(m) = 3*m + 2. Let f be n(1). Let o be d(f). Is 9 a factor of v(o)?
False
Let d(o) = o**3 + 7*o**2 - 8*o + 11. Let b be d(-8). Suppose -b*x + 6*x = -35. Does 7 divide x?
True
Suppose 0*q - 3*y + 18 = 3*q, 3*y = -2*q + 16. Let i(s) = -2*s**q + 3*s + 1 + s**2 + 5 + 2*s**2. Does 10 divide i(4)?
False
Suppose q - 10 = -2*y, q = -5*y + 2*q + 11. Let k = y + 79. Does 29 divide k?
False
Suppose 9*w - 15 = 4*w. Suppose -r - 6*d + 2*d = 12, w*r - 3*d = -66. Let y = r + 59. Is y a multiple of 13?
True
Suppose 13 = -2*i + 87. Suppose -m = 2*a - 43, 5*a - i = 3*a + m. Suppose 6*v - 2*v - a = 0. Is v a multiple of 3?
False
Suppose -5*b - 3*l + 1601 = 0, -2*b - 3*l - 420 = -1055. Is 2 a factor of b?
True
Let l = 6 + 356. Is 11 a factor of l?
False
Let n be -24*(-1)/(-11) + (-160)/(-880). Let d(o) = -14*o + 19. Is 7 a factor of d(n)?
False
Suppose 5*z + 38 - 488 = 0. Suppose -6*h + 4*h + z = 0. Suppose -84 = -4*t + 4*v, -3*v = 4*t - t - h. Is t a multiple of 9?
True
Suppose 17155 = -190*j + 195*j. Is j a multiple of 13?
False
Let c(o) = o**2 + 9*o + 8. Is c(5) a multiple of 2?
True
Let z(n) = n**2 - 24 + 4*n**2 - 13*n - 7*n**2. Let h(q) = -3*q**2 - 20*q - 36. Let v(w) = -5*h(w) + 7*z(w). Is 19 a factor of v(-11)?
False
Let n(a) = -a**3 + 8*a**2 - 6*a. Let s be n(7). Suppose 5*l + 2*p - 248 = 0, -4*l + p = -s*l + 148. Is l a multiple of 48?
True
Suppose 0 = -q + 7. Suppose -q*d - 60 = -8*d. Suppose -3*c + 5*c = d. Is 15 a factor of c?
True
Suppose -757*r - 2445 = -760*r. Is 17 a factor of r?
False
Let g = 1466 - 872. Is 9 a factor of g?
True
Is (-3 - (-26)/6) + (-5118)/(-9) a multiple of 57?
True
Suppose 10 - 8 = 2*p. Let n be (-4 - -6) + -7 - p. Is ((-21)/2)/(1/n) a multiple of 16?
False
Suppose -5*z - 4*g + g = -14, g = 3. Let i be (280/(-21))/(z/(-15)). Suppose -i + 36 = -4*q. Does 11 divide q?
False
Let z = 151 + 16. Is 14 a factor of z?
False
Let r = -3 - -4. Let a(i) = -21*i**2 + 3*i**3 - 2 + 1 + 33*i**3 + 22*i**2. Is a(r) a multiple of 18?
True
Suppose 3*f + 2*l - 73 = 0, 13*f - 2*l = 14*f - 23. Is f even?
False
Is 0 + 4/(-7 - -11) - -4823 a multiple of 24?
True
Let m(v) = v**3 + 17*v**2 + 17*v + 9. Let i be m(-16). Let f(n) = -4*n - 7. Is f(i) a multiple of 7?
True
Let z(u) = -u**2 + 18*u + 21. Let h be z(18). Is (-1)/((-6)/h + (-69)/(-252)) a multiple of 14?
True
Suppose 5*k + 365 = -4*l, -65 = 3*l - 3*k + 175. Let p = -57 - l. Does 14 divide p?
True
Let m(p) = 31*p**2 + 3*p**2 + 36*p**2 - 2*p - 3 + 5*p**2. Does 26 divide m(-1)?
False
Let z(b) = b**3 + 2*b**2 - 2*b + 7. Let u be z(-3). Suppose 160 = -0*s + u*s. Does 5 divide s?
True
Is (60/(-4))/(((-162)/48)/9) a multiple of 2?
True
Suppose -3*q - 24 = q. Let r be (9/q + -2)*-16. Suppose 0*i - r = -4*i. Does 10 divide i?
False
Let p(r) = r**2 - 6*r - 8. Let x be p(7). Let c = -19 - x. Does 3 divide (-75)/(-27) - 4/c?
True
Suppose -4*l = -1888 + 320. Does 49 divide l?
True
Suppose 0 = -2*o + 8, 0*k + k + 26 = 3*o. Let s = 32 + k. Is (-228)/18*s/(-4) a multiple of 19?
True
Suppose -5*w - 5*g + 22705 = 0, 12*g = 3*w + 16*g - 13622. Is 75 a factor of w?
False
Suppose 5*t - 4*b - 20 = 0, 0*t + 5*b - 16 = -4*t. Let s(m) = 9*m. Does 9 divide s(t)?
True
Let t(w) = -48*w**3 - w**2 + 3*w - 1. Let u be t(2). Let n = u + 559. Is 44 a factor of n?
True
Suppose 0 = -17*f - 2596 + 15397. Is f a multiple of 8?
False
Let s(q) = q**3 - 4*q**2 + 4*q + 4919. Does 12 divide s(0)?
False
Let r(u) = u**2 - 16*u + 5. Let p be r(16). Let 