 + 52 = 0, -v = v - 5*a - 30. Suppose 7*o - v*o = -18. Is 5 a factor of o?
False
Let y(a) = -a + 9. Suppose 0 = 8*z - 9*z + 8. Let i be y(z). Is (i + -4)*(-16)/6 a multiple of 8?
True
Let w = -23 + 48. Suppose -5*d = -w, 5*y = d - 4*d + 5. Is (-8)/3*(-5 - y) a multiple of 8?
True
Let o(m) = m**3 - 7*m**2 - m + 8. Let t be o(7). Is 16 a factor of (15 + 2)*t - -1?
False
Let y(z) = 3*z**2 - 2*z + 1. Let g be y(2). Let n be ((-4)/(-6))/(2/g). Is ((-1)/n)/(1/(-39)) a multiple of 9?
False
Let d(z) = -z - 1. Let q be (-28)/(-8) + 2/4. Suppose q*b = -7 - 25. Is 3 a factor of d(b)?
False
Let i(u) = -u**3 + u**2 - 5*u - 3. Suppose 1 = -3*d - 5. Is 5 a factor of i(d)?
False
Let q = -39 - -57. Is 17 a factor of q/5*(-30)/(-4)?
False
Suppose 132 + 492 = 2*h. Does 39 divide h?
True
Let g = 104 - -106. Is g a multiple of 10?
True
Let g be 21*2/(-12)*-2. Suppose 2*a - 25 = 5*p + g, 0 = -4*a + 5*p + 54. Does 6 divide a?
False
Suppose -2 = r - 31. Let j = r - 1. Is 14 a factor of j?
True
Let g(x) = 16*x**2 + 2*x + 1. Let m be 6/(-4)*(-4)/(-6). Is g(m) a multiple of 9?
False
Let m = 65 - 15. Is m a multiple of 50?
True
Suppose 4*f + o - 12 = 0, -3*f + o - 6 = -2*o. Let y(w) = 18*w + 1. Does 14 divide y(f)?
False
Let m(f) = 0*f + 2 + 0*f - 2*f. Let g = 6 + -9. Is m(g) a multiple of 6?
False
Let v(n) = -n**2 - 15*n - 4. Let f be v(-15). Is (f - -7) + -1 + 62 a multiple of 16?
True
Let b = 57 + -29. Is b a multiple of 3?
False
Let j(x) = -x**3 - 7*x**2 + 2*x + 6. Let p be j(-7). Let s = p - -17. Is 5 a factor of s?
False
Suppose 0 = -s + 4*i + 91, 2*s + 0*s - 194 = -4*i. Is 19 a factor of s?
True
Let l(x) be the second derivative of x - 1/12*x**4 - x**2 + 0 - 4/3*x**3. Is l(-7) a multiple of 4?
False
Let d = -32 - -59. Let l = 57 - d. Is 15 a factor of l?
True
Let s be 0*-3*3/(-9). Suppose s = 4*t - t. Suppose 4*l = -t + 52. Is 5 a factor of l?
False
Is (-11)/(-55) + ((-149)/(-5))/1 a multiple of 3?
True
Suppose 5*x - 1196 = 4*v + 133, 0 = -x + 4*v + 269. Does 28 divide x?
False
Suppose 3 - 15 = -2*f. Suppose -9 = -9*u + f*u. Does 3 divide u?
True
Is 19 a factor of -3 + (-1 - -5)/((-2)/(-72))?
False
Suppose -12 = 4*c - 36. Does 11 divide 133/c + 2/(-12)?
True
Let q = 15 - 0. Does 10 divide q?
False
Let m(g) = g**2 + 2*g - 7. Let t be m(-5). Let s(x) = -x**2 - 5*x + 1. Let v be s(-4). Let i = t + v. Is i a multiple of 13?
True
Suppose 10 = 2*z - 2*i, -5*z + 0*i = i - 1. Is z*73 - (-10 + 8) a multiple of 25?
True
Let a(f) = 22*f - 5. Let r(k) = -23*k + 5. Let n(p) = 6*a(p) + 5*r(p). Let b be n(7). Let q = b - 74. Is q a multiple of 20?
True
Suppose 120 = -2*i + 6*i. Let q = -2 + -2. Let y = q + i. Is y a multiple of 12?
False
Suppose -7*d = -2*d. Suppose d = -a + 6*a + 10. Does 15 divide 17/a*(-7 + 5)?
False
Suppose -38 = -5*v + 2. Suppose 2*l - v = -5*p + 25, 3*l - 4*p - 38 = 0. Does 6 divide l?
False
Suppose 0 = 2*t + 7 + 17. Does 20 divide 9/t - 166/(-8)?
True
Suppose -2*x + 2*r - 5*r = -14, 4*r = -3*x + 21. Does 2 divide x?
False
Let g be 1/1*1/(-1). Is 3 a factor of 2/g + 9*1?
False
Let i(n) = 10*n + 14. Is i(-1) even?
True
Let x(j) = -j - 8. Is 2 a factor of x(-11)?
False
Let a = -4 + 7. Let u be (-3)/(a/3)*-25. Suppose 4*h - u - 23 = -2*w, -125 = -5*h - 3*w. Is h a multiple of 11?
True
Let l(y) = -10*y**3 - 3*y**2 + 5*y + 2. Does 6 divide l(-2)?
True
Let n be (-4)/(-12) + (-22)/(-6). Suppose 2*s = n*c + 40, 3*s + 34 = 4*c + 96. Is s a multiple of 9?
False
Let t be 32/18 - 14/(-63). Suppose 2*y + 4*c = 50, 46 = t*y + c - 10. Does 13 divide y?
False
Let b be (-1)/(-8) + (-47)/(-8). Let t(m) = -m**3 + 6*m**2 + 10*m - 13. Is 21 a factor of t(b)?
False
Suppose -6*f + z = -f + 9, -6 = 5*f - 4*z. Does 14 divide (-28 - (3 + -1))/f?
False
Suppose -1450 + 148 = 5*t + w, -5*w + 1290 = -5*t. Suppose 0 = 4*d + 3*o + 19, 3*o - 1 = 4*d - 3*d. Is t/d*(3 + -2) a multiple of 23?
False
Suppose 4*v = 3*f + 4 + 3, -2*v + 14 = 2*f. Let g(d) = 2*d + 2. Let r be g(0). Suppose -y = v*w - 2*y - 49, -r*y - 10 = 0. Is 11 a factor of w?
True
Let h(b) = b**2 - b - 1. Let d(y) = -6*y**3 - 6*y**2 + 5*y + 5. Let o(f) = d(f) + 5*h(f). Let x be o(-1). Let z(w) = w**2 + 2*w - 3. Is 11 a factor of z(x)?
False
Suppose -4*b + 260 = b. Is b a multiple of 21?
False
Let l be (50/(-8) - 1)*-4. Suppose 2*q - o - 55 - l = 0, 4*o + 78 = 2*q. Let p = -21 + q. Does 13 divide p?
False
Let l(r) = 9*r**2 - 17*r + 9. Let v(a) = -5*a**2 + 9*a - 5. Let b(q) = 3*l(q) + 5*v(q). Does 14 divide b(6)?
False
Let f(b) be the second derivative of b**4/12 - b**3/3 + 3*b**2 - b. Let p be f(6). Suppose 0 = 2*g + g - p. Does 10 divide g?
True
Let j(r) = -r + 8. Let n be j(6). Suppose 37 = 5*u + n. Does 7 divide u?
True
Suppose 7 = 2*d - 3*w - 12, 0 = -3*w - 9. Suppose -5*m + 90 = d*p, -2*p + 3*p + 102 = 5*m. Is 10 a factor of m?
True
Let a(c) = 4*c**2 + 5*c - 18. Is a(6) a multiple of 12?
True
Let t = -51 + 73. Suppose -24 = 4*y + 3*s + 2, -y - 4*s = 13. Let v = t + y. Is v a multiple of 6?
False
Let q = -12 - -23. Does 2 divide q?
False
Let a(h) = -h**2 + 7*h + 6. Suppose -2*u - 2*u + 20 = 0. Is 8 a factor of a(u)?
True
Let h = 1 - -45. Is h a multiple of 5?
False
Suppose 0 = -4*n - 0*n + 24. Is 16 a factor of (n - 7) + 47 + -1?
False
Let o = 36 + 3. Does 24 divide o?
False
Suppose -4*r + 10 - 2 = 0. Suppose r*i = 22 + 4. Does 4 divide i?
False
Let n be 2*3*3/6. Suppose 6 = -3*y + 5*i + 23, 0 = n*i + 3. Suppose 50 = k + y*o, -k - 4*k + 184 = -2*o. Is k a multiple of 19?
True
Suppose -g - 4 = -2*g. Suppose 228 = -0*q + g*q. Suppose p + p - 12 = -u, -4*u = 5*p - q. Is 18 a factor of u?
True
Suppose u = 3*g + 39, -3*u + 2 = -3*g - 31. Suppose 2*i + 2*i - 92 = 0. Let o = i + g. Does 9 divide o?
True
Let c = -8 - -12. Suppose 0*b - 97 = -j + c*b, 0 = j - 5*b - 102. Is j a multiple of 29?
False
Let f be (-1*1)/(6/(-1116)). Suppose -f - 146 = -4*k. Let y = -44 + k. Is 10 a factor of y?
False
Let w = -9 + 57. Is 24 a factor of w?
True
Let b = -3 - -3. Suppose b = -2*q + 3*x + 82, -3*q = -q - 2*x - 78. Suppose -4*c - 11 = -q. Does 3 divide c?
True
Suppose 5*t - 2*c = 34, -t = 4*c - 11 - 9. Is t even?
True
Suppose 0 = -2*l + 124 + 2. Does 21 divide l?
True
Let w(x) = 28*x - 33. Is w(8) a multiple of 30?
False
Let c = -4 - -8. Suppose -3*n - c*o + 2 = 0, 3*n - o = -2*n + 34. Is n a multiple of 5?
False
Suppose -3*y + 43 + 8 = 3*g, -18 = -y - 2*g. Does 6 divide y?
False
Suppose -2*r = b + 2*b - 48, 3*r + 4*b = 72. Let y = r - -9. Is 11 a factor of y?
True
Let u(a) = a**2 + 5. Suppose 0 = -0*b + 3*b. Let d be u(b). Suppose -3*v + 3*h + 135 = 0, 207 = d*v + 2*h - h. Is 17 a factor of v?
False
Let x(o) = 4*o - 3. Let c be x(2). Suppose -5*t = -0 - c. Suppose -t = k, 2*d = -0*k - 5*k + 19. Is d a multiple of 9?
False
Suppose -9 = -2*n - n. Suppose 3*z - 153 = -5*q, 0 = 2*z - 0*q - n*q - 83. Is z a multiple of 19?
False
Is 10 a factor of 10/2*(14 - (-20)/(-5))?
True
Let k be -2 + (1 - 0)*4. Let m be (20/25)/(4/10). Suppose k*w - 32 = -2*b, -m*w - w = -15. Is b a multiple of 7?
False
Let n be 242/(-6) + 2/6. Let a be 1248/n + 1/5. Let y = -18 - a. Is 13 a factor of y?
True
Let u(z) = 9*z**2 - 2*z - 2. Does 13 divide u(-3)?
False
Let x(o) be the first derivative of -o**2/2 + o + 2. Let i be x(-14). Let t = 25 - i. Is t a multiple of 10?
True
Is 5 a factor of (-4)/(-18) + -78*(-6)/81?
False
Let l = -5 - -8. Suppose 8*m = -2*k + 5*m + 96, -m - 240 = -5*k. Suppose l*u = -u + k. Is 12 a factor of u?
True
Suppose 4*f + 4*x = 628, -f - 160 = -2*f - 4*x. Is 36 a factor of f?
False
Let n be 1 + 0 - (-3 - -8). Let k be (-15)/4 + n/16. Is 14 a factor of (k + -2)*7/(-3)?
True
Suppose 46 = 10*r - 34. Is 8 a factor of r?
True
Let o be (-5)/(0 - 2 - -3). Let g = 7 - o. Is g a multiple of 4?
True
Suppose -180 = -13*q + 12*q. Does 20 divide q?
True
Let u(i) be the third derivative of 7*i**5/15 + i**4/24 - i**3/3 + 2*i**2. Does 9 divide u(1)?
True
Let b = 123 - 90. Does 16 divide b?
False
Let k be (3 + 27/(-6))*14. Let j = k - -59. Does 8 divide j?
False
Let a(k) = 19*k + 9. Is 23 a factor of a(8)?
True
Let k(h) = -20*h**3 - h**2 - h - 1. Is k(-1) a multiple of 9?
False
Is (-1)/(-3)*(52 - -2) even?
True
Suppose 3*v + v = 0. Suppose v*a = 3*a. Suppose -o + a*o + 12 = 0. Does 6 divide o?
True
Let b = 9 - 6. Let m = 5 - b. Suppose v + 4*l = 35, 0*v + m*l = 