ple of 17?
False
Let d(y) = -y**2 - 5*y + 10. Let g be d(-7). Let j = g + 4. Is 14*-1*(j - 1) a multiple of 14?
True
Suppose -h = -4*h + d + 14, -3 = -3*d. Suppose -h*a + 23 + 232 = 0. Is 20 a factor of a?
False
Let l(c) = -c**3 - 10*c**2 - 10*c + 9. Let r be l(-8). Let n = r - 20. Let k = -39 - n. Is 9 a factor of k?
False
Let u be 6 - 2 - (2 + -56). Suppose 2*o = -4 + u. Is 27 a factor of o?
True
Let b = 21 - 8. Is 2 a factor of b?
False
Let d = -14 + 22. Is d even?
True
Let d(c) = 2*c + 8. Let i = 24 + -9. Is d(i) a multiple of 22?
False
Let q(o) = 2*o**2 - 2*o - 9. Is q(-3) a multiple of 2?
False
Let w(r) = -r**2 - 7*r - 1. Let b(j) = -j**3 + 7*j**2 + j - 9. Let l be b(7). Let n = l + -4. Is w(n) a multiple of 5?
True
Let b(m) = 36*m - 15. Let w(h) = -7*h + 3. Let l(n) = -4*b(n) - 21*w(n). Does 14 divide l(11)?
False
Suppose -4*q - 5*g = -237, -g + 0*g = 3*q - 186. Is 5 a factor of q?
False
Suppose 10 = 3*d + 2*d. Suppose -4*g + p = 5*p - 128, d*p - 148 = -5*g. Is g a multiple of 14?
True
Let g = 135 - 85. Is g a multiple of 25?
True
Suppose 18 = 3*b - 2*b. Let a = b - 27. Let y = a - -25. Is y a multiple of 8?
True
Let i(w) = -w**3 - 11*w**2 + w + 13. Let s be i(-11). Suppose 168 = s*k + 2*k. Does 14 divide k?
True
Suppose -y - 5*f = -23, 0 = -5*y - 2*f + 15 + 192. Does 9 divide y?
False
Let i(b) = b**2 - b + 130. Does 10 divide i(0)?
True
Suppose 3*r + 41 = b, -2*r + 7*r = -2*b + 49. Is b a multiple of 16?
True
Let k = -9 + 63. Is k a multiple of 9?
True
Let w be 18/(-1)*(-2)/6. Suppose 0 = 2*t - 2*a - 8, -5*a - w = 2*t - 5*t. Suppose -3*g + 22 = t. Is g a multiple of 2?
False
Let c = -127 + 205. Is 15 a factor of c?
False
Let z(o) = -o - 6. Let b be z(-9). Suppose 4*u = -5*x - 7 + 2, 4*x - b*u = -35. Let m = -1 - x. Is m a multiple of 3?
False
Does 9 divide (-796)/(-22) - 2/11?
True
Suppose -3*u = -0*u - 60. Is 5 a factor of u?
True
Let x be (1*-1)/(6 + -5). Let p = -1 - x. Suppose -k + 4*c - 1 = 0, p*k = 4*k + 4*c - 96. Does 8 divide k?
False
Let k(y) = -y**3 + 8*y**2 - 2*y - 3. Let h be k(3). Let t = 1 + h. Is 12 a factor of t?
False
Let q be -13 - 0*(2 + -1). Let i = 8 + q. Let p = i + 7. Is 2 a factor of p?
True
Let q(u) = 11*u - 1 + 2*u - u + 4. Does 12 divide q(4)?
False
Let b(h) = -h + 4. Let x be b(4). Suppose 0*l + 4*l - 32 = x. Does 4 divide l?
True
Let k be (-6)/(-15)*(6 + -1). Let y be (5 - 0 - k) + 1. Suppose 0 = -b - 4, 2*x - y*x + 24 = b. Is x a multiple of 12?
False
Let d(b) = -4*b + 1. Is d(-2) a multiple of 3?
True
Is 13 a factor of (-18)/(-45) - 148/(-5)?
False
Let l(v) = -v**2 + 9*v - 11. Let b be l(8). Let r(w) = 2*w**2 + 3. Let q be r(b). Suppose -c + q = -27. Is c a multiple of 23?
False
Suppose -2*v - 4*s + 246 = 3*v, -4*s - 154 = -3*v. Does 25 divide v?
True
Let j(w) = -w**3 + 2*w**2 + 4*w. Let q be j(3). Suppose q*k = 2 - 59. Let n = 32 + k. Is 13 a factor of n?
True
Suppose 0*q - 2*q + 6 = 0. Let h be (12/18)/(3/153). Suppose -l + q*l = h. Is l a multiple of 7?
False
Let d(k) = -6*k**2 - k + 1. Let h(b) = -b - 3. Let n be h(-6). Let v(q) = -6*q**2 + 1. Let w(s) = n*d(s) - 4*v(s). Does 11 divide w(-2)?
False
Let w(a) = -42*a**3 - a**2 - a. Is w(-1) a multiple of 14?
True
Let h(x) = -x + 9. Let i be h(8). Does 10 divide (i/(-2))/(3/(-222))?
False
Let p be (-9)/6*(-28)/6. Suppose c + p = 2*g + g, 4*c - 20 = -4*g. Is 9 a factor of -1 - -3 - c*-8?
True
Suppose -5*a + 10 + 5 = 0. Suppose -o + b + 6 = 0, 6*o + a*b = 4*o + 2. Suppose -o = -y, -x = x + y - 66. Is x a multiple of 12?
False
Let y = 15 - 10. Suppose -y*n + 4*d = -188, 0 = -n - 4*d + 18 + 34. Is n a multiple of 20?
True
Let o(u) = 2*u**2 + 4*u + 1. Let l be o(-3). Let r(i) = -i + 5. Let y be r(l). Let m(p) = -3*p. Is m(y) a multiple of 6?
True
Let z be (1/(-2))/((-4)/(-48)). Let a(j) be the second derivative of -j**3/2 - 9*j**2/2 - j. Does 4 divide a(z)?
False
Suppose 40 = -6*s + 2*s. Let v = 31 + s. Does 12 divide v?
False
Suppose 4*n - 4*u = -7*u - 6, -4*n + 2*u - 16 = 0. Let z be n/((-3)/4*2). Is 9 a factor of (-1*z)/(1/(-6))?
False
Suppose -3*o + 5*z + 396 = 0, -4*o + z + 439 = -89. Let q be 3/((-3)/2) + o. Suppose l - q = -4*l. Does 13 divide l?
True
Let s be -34 + 6/2 - -2. Let i = s - -50. Is 7 a factor of i?
True
Suppose -5*g - 6 - 4 = 0, 2*g + 116 = 4*i. Is i a multiple of 7?
True
Let b = 66 - -10. Does 19 divide b?
True
Let w(h) = 10*h**2 - 3*h + 2. Let q(n) = 2*n + 16. Let u be q(-7). Is w(u) a multiple of 8?
False
Suppose 10 = 2*u, -54 = -2*y - 3*u - u. Let d = 28 - y. Is d a multiple of 4?
False
Let l be (-1 + 1)/((-20)/5). Suppose 0*w - 3*w + 135 = l. Is 12 a factor of w?
False
Let w(l) = l**3 + 10*l**2 + 2*l - 1. Is 22 a factor of w(-4)?
False
Let r(y) = 65*y**2 + 1. Let p be r(-2). Suppose 4*w = -w + 330. Suppose -w = -2*k + 2*x, 90 = -5*k - x + p. Is 14 a factor of k?
False
Let y(h) = -h**2 + 6*h - 3. Let z be y(5). Suppose l = -z*l + 21. Is l a multiple of 7?
True
Let d(i) = -i**2 - i + 1. Let a be d(-2). Is (-1 - -1) + 5 - a a multiple of 3?
True
Suppose -2*c + 4 = 5*b - 80, -b + 6 = -5*c. Suppose 0 = 2*z - 4*d - b, -d = 5*z - 38 - 46. Does 8 divide z?
True
Let q(r) = r + 45. Let o = 8 - 8. Does 16 divide q(o)?
False
Let i(v) = v**3 - 6*v**2 - 8*v + 9. Let r be i(7). Is (r/(-6))/(2/(-234)) a multiple of 13?
True
Suppose -2*s + 17 - 1 = 0. Suppose -3*g - 2*y = -32, 22 = g - s*y + 3*y. Is g a multiple of 7?
False
Suppose -y = -2*b - 6 + 3, 3*y + 3 = 0. Let n(x) = -x - 1. Let z(h) = -9*h - 2. Let u(f) = -6*n(f) + 2*z(f). Is 16 a factor of u(b)?
False
Let z(w) = -2*w - 3. Let c be z(-4). Let r(i) = 6*i - 5 + 8*i - c*i. Is r(5) a multiple of 20?
True
Let x be (-4)/(3/((-6)/2)). Suppose -5 = -g + 5*l + 30, -3*l = -x*g + 89. Does 10 divide g?
True
Let m(d) = 24*d + 1. Does 7 divide m(1)?
False
Suppose -w = 2*w - 15. Suppose 20 + 70 = w*d. Is d a multiple of 9?
True
Let b(d) = -4*d - 25. Is b(-12) a multiple of 7?
False
Is 18 a factor of (-4)/20 - (-1444)/20?
True
Let q = 26 + -21. Suppose v = q*v - 300. Does 15 divide v?
True
Is (-4)/(((-28)/40)/7) a multiple of 20?
True
Let y(w) = -14*w - 5. Is y(-7) a multiple of 32?
False
Let b(a) = -10*a - 12. Let l be b(7). Let n = l - -131. Is 16 a factor of n?
False
Suppose -477 = -11*b + 348. Is b a multiple of 15?
True
Suppose -2*m + g + 0 = -15, 3*m + 5*g = -10. Let a = -5 + 11. Suppose -z + m + a = 0. Does 8 divide z?
False
Is (-20)/(2 + (-14)/6) a multiple of 12?
True
Suppose -5*i - 2*o + 257 - 100 = 0, -5*o = 5*i - 160. Is 21 a factor of i?
False
Suppose 19 - 7 = 4*q. Let k be 33/2 - q/6. Let u = k + -9. Is 7 a factor of u?
True
Let d be ((-8)/6)/((-2)/69). Suppose f - d = -f. Suppose f = -0*b + b. Does 11 divide b?
False
Let d be 3/((-9)/12) - -2. Let t be (-1 + 4)/(d/6). Does 13 divide (6/t)/((-2)/78)?
True
Let o(z) = 5*z**2 - z. Let s be o(1). Suppose -2*f + s = -0*f. Suppose -f*l = -5*j + 13, 4*j - 3 = 3*l - 1. Is l a multiple of 6?
True
Let o(c) = -c**2 + 4*c + 2. Let f be o(3). Suppose 2*q - 5 = m - 4*m, 0 = -f*q + m + 21. Suppose -q*j = -0*j - 40. Is 4 a factor of j?
False
Suppose o + 0*o + 3 = 4*d, -d - 8 = -2*o. Suppose z - 38 = -0*z + d*v, -z + 33 = -v. Is z a multiple of 12?
False
Suppose 2*g + 10 = -3*g - 5*u, 0 = -5*g - u - 14. Is 22 a factor of g/((-3)/53) + -2?
False
Let w = 9 + 17. Is w a multiple of 13?
True
Let v(l) = -22*l - 1. Does 29 divide v(-4)?
True
Let g be (-130)/(-6) - (-1)/3. Let a = g - 13. Suppose a = -3*f + 24. Does 2 divide f?
False
Suppose -x - x = 8, -11 = m + 4*x. Let f(q) = 3*q**2 - 4*q - 2. Is 18 a factor of f(m)?
False
Let y(c) = -5*c**2 + 22*c + 8. Let z(p) = -2*p**2 + 7*p + 3. Let i(x) = -3*y(x) + 8*z(x). Does 16 divide i(-8)?
True
Let w = 118 - 68. Does 3 divide w?
False
Suppose n - 13 = -4*p, 3*n - 3*p = 2*p + 22. Does 9 divide n?
True
Suppose 740 = 5*j - w, -w - 115 = -4*j + 476. Does 5 divide j?
False
Does 6 divide (-17)/(-2)*(1 + 1)?
False
Suppose 5*j - 6 = 3*j. Suppose -4*a = -k - 36 - 160, 3*a + j*k - 132 = 0. Is 18 a factor of a?
False
Let x = 440 - 285. Suppose 0 = 5*w + u - 4*u - x, u = -5. Is w a multiple of 14?
True
Let g(k) = 11*k - 4. Is g(8) a multiple of 28?
True
Let h(y) = 0*y + 3*y + 7*y. Let q be h(1). Suppose 4*i + q = 42. Is i a multiple of 8?
True
Suppose -4*h = 4*p - p + 103, -p - 76 = 3*h. Let q = 63 + h. Is q a multiple of 19?
Tr