8)/(-24) - 1/3. Suppose 4*c + 2*q - 129 = -q, 0 = 4*q + k. Is c a multiple of 18?
True
Let m = -23 + 10. Let v = 6 + m. Let u = 33 + v. Is 13 a factor of u?
True
Let z(g) = -g + 10. Let t be z(7). Let i(k) = 10*k**2 + k**3 + 9*k**2 + 4*k - 4 - 21*k**2. Is 17 a factor of i(t)?
True
Let f = -2 - -6. Suppose -54 = 4*l + 2*u, f*l - 3*u + 21 = -8. Is 9 a factor of 211/11 - (-2)/l?
False
Suppose -4*d + 96 = -5*r + 34, 0 = -5*d + 2*r + 86. Is 10 a factor of d?
False
Let c(a) = -13*a + 3. Let b be c(-3). Suppose b = 4*f + 2*x, f - 8 = 2*x - 0*x. Does 13 divide 10/(-25) - (-304)/f?
False
Suppose -8 = -4*a + 20. Suppose b + a = -d, -2*d - 15 = -5. Does 3 divide -1 - (-6 - (-2)/b)?
True
Suppose 0 = -5*n + 3*n + 2. Let a(y) be the third derivative of 31*y**6/120 - y**3/6 - y**2. Does 15 divide a(n)?
True
Suppose -4*n - 5*o = 1 - 5, -5*n - 4*o + 5 = 0. Let l = 5 - n. Suppose 30 = -2*r + 4*r + 4*u, -l*u = 20. Is 10 a factor of r?
False
Let z(i) be the third derivative of i**4/24 - 2*i**2. Is z(8) a multiple of 8?
True
Suppose 3 + 3 = 3*z. Suppose 4*g - 11 = y, 2*g + 17 = 3*y + 2*y. Suppose g*m - 5*w = 96, -z*w = 2*m + 2*w - 22. Is 19 a factor of m?
True
Let v = -49 - -21. Let h = v + 53. Is 25 a factor of h?
True
Suppose v = 5*v - 372. Does 24 divide v?
False
Let a be ((-22)/4)/((-2)/12). Suppose -2 = -4*u - 2*o + o, 0 = 5*u + 5*o - 10. Suppose u = h - 4*h + a. Is h a multiple of 7?
False
Let u = 27 - 18. Let i = -7 + u. Is 2 a factor of i?
True
Does 23 divide (1 - 13*7)/((-10)/15)?
False
Let z(p) = 4*p**2 + 2*p - 4. Let j be z(4). Let u = j + -39. Is u a multiple of 10?
False
Let y(z) = -z**3 - z**2 - 4. Is 22 a factor of y(-4)?
True
Suppose 0 = 5*l + 14 - 159. Is l a multiple of 11?
False
Suppose -6*k + 27 = -2*k - 3*h, 5*k + h = 10. Is 7 a factor of k*(7/3 + 0)?
True
Let s = -5 - -9. Is s a multiple of 4?
True
Let n(o) = 2*o**2 + 10*o - 7. Let a = 2 + 2. Let f(i) = -3*i**2 - 9*i + 8. Let l(p) = a*n(p) + 3*f(p). Is l(9) a multiple of 16?
True
Let g be (1 - 4/1)*-14. Does 10 divide g/4 - (-2)/(-4)?
True
Suppose -5*k = -2*r - 3*r - 720, 0 = 3*k + r - 424. Is 7 a factor of k?
False
Suppose -2*x + 3*l + 77 = 0, -x + 74 = x - 2*l. Is x a multiple of 3?
False
Does 8 divide (-9)/((-2)/6*1)?
False
Let t(r) = r + 3. Let o be t(3). Let k(f) = f**2 - 5*f - 4. Let p be k(6). Suppose o*l = p*l + 52. Is 6 a factor of l?
False
Suppose -t = 5*g - 1, g = 2*g. Does 27 divide 29 + 2 - (t - -3)?
True
Let u be 2 - -3*6/(-9). Suppose -3*p - 2*l + 88 = u, -5*p - 6*l = -l - 145. Is 13 a factor of p?
False
Let l(k) = 4*k**3 + k**2 - 1. Let z be l(1). Suppose 3*h = 3*r + 36, -2*h - z*r - 36 = -5*h. Is 6 a factor of h?
True
Let t(h) = 26*h. Is 26 a factor of t(1)?
True
Suppose 3*n + 2*n + 6012 = 4*t, 3*t + 4*n - 4540 = 0. Let s = -2160 + t. Is s/(-18) + 2/(-9) a multiple of 20?
False
Suppose 16*t = 15*t + 60. Is t a multiple of 13?
False
Is (-94)/(-7) + 12/(-28) a multiple of 3?
False
Let l(m) be the third derivative of m**7/420 + m**6/180 + m**5/60 + 2*m**2. Let t(n) be the third derivative of l(n). Is 20 a factor of t(3)?
True
Let u(i) = i**2 - 5*i. Let x be u(5). Let t(r) = x*r + 3*r + 5*r. Is t(1) a multiple of 8?
True
Suppose 3*j - 4*z = 228, 0 = -0*j + j + 4*z - 92. Is 20 a factor of j?
True
Let z = -13 + 26. Let g = -5 + z. Is g even?
True
Suppose -20 = -4*d, s + 2*s - 4*d = -14. Suppose -2*a - 101 = 3*n, -a + 75 - 3 = -s*n. Is 6 a factor of (-80)/(-14) - 10/n?
True
Let x be (3/(-5))/(5/(-25)). Suppose x*w + 171 = 6*w. Does 10 divide w?
False
Let w(b) = -b**2 + 11*b - 4. Let d be w(10). Suppose 2*p = 28 - d. Does 4 divide p?
False
Let f = 64 - 35. Is 4 a factor of f?
False
Let k(f) = -2*f - 3. Let b be k(-3). Suppose -b*q + c = -83, -7*q + 3*q + 84 = 4*c. Is 5 a factor of q?
False
Let a(b) = 5*b + 11. Let m = -23 - -32. Is a(m) a multiple of 14?
True
Suppose 7*z - 73 = 102. Is z a multiple of 5?
True
Let n = 0 - 0. Suppose -4*x = n, 4*x = -2*f + x - 24. Let l = 11 - f. Is l a multiple of 13?
False
Let r(h) = h**2 - 13*h + 14. Let i be r(12). Suppose 0 = 3*q - 5*k - 27, -2*q + 18 = -i*k + k. Does 3 divide q?
True
Let u = 20 + -38. Let h = u + 45. Does 9 divide h?
True
Let s(p) = 14*p - 9 - p**2 - 1 - 2. Does 14 divide s(10)?
True
Let l = 24 - -17. Suppose -l = -3*s - w, 17 = s + 3*w - 10. Is s a multiple of 12?
True
Let l be 6/((-6)/(-2)) + -10. Let v = -3 - l. Is 2 a factor of v?
False
Let q(c) be the second derivative of -c**5/20 - 2*c**4/3 - c**3 + 3*c**2/2 + c. Let w = -110 + 102. Does 17 divide q(w)?
True
Let x = 29 + -23. Suppose 21 = 4*c - 3. Suppose c = 2*u - x. Does 2 divide u?
True
Let l(h) = -h + 1. Let i(y) = 20*y + 20. Let a(z) = -7*z - 7. Let t(q) = -14*a(q) - 5*i(q). Let k be t(6). Does 5 divide l(k)?
True
Suppose -12 = -0*o - 3*o. Suppose 3*t = 5*t - o. Suppose -2*g - 12 = g, 0 = t*i + g - 24. Is 7 a factor of i?
True
Let t = 8 - 6. Let m(v) = -2*v**2 + 3*v - 2. Let h be m(t). Is 10 a factor of (1 + h)/(-1) - -17?
True
Let o(j) = j. Let m be o(2). Suppose m*z = -z - 15. Is 10 a factor of (-6)/(-15) - 93/z?
False
Suppose 0 = m - 2*m + b + 31, 0 = -3*m + 5*b + 91. Is 8 a factor of m?
True
Suppose 1456 = 2*i + 12*i. Does 13 divide i?
True
Let y(p) = -p**2 - 8*p + 9. Let o be (6/(-5))/(1/5). Let k be (4/o + -2)*3. Does 6 divide y(k)?
False
Let c be 1/(1*(-1)/2). Let v(s) = -3*s + 1. Let f be v(c). Suppose 4*o + 1 = 2*k - f, 5*k - 4*o - 44 = 0. Is 6 a factor of k?
True
Suppose 0*r - 3*r = 6, 3*m - 6 = -3*r. Let n be 1854/21 - 4/14. Suppose m*l - n = -0*l. Is l a multiple of 9?
False
Let d(f) = f**2 - 4*f + 4. Does 3 divide d(5)?
True
Let n be 0/6 + 68/2. Let a = n + -11. Is a a multiple of 8?
False
Suppose -4*c = -7*c + 12. Suppose c*w = -3*v + 97, 2*v = 4*w - 7*w + 66. Let y = -13 + v. Is 7 a factor of y?
True
Suppose 0 = -4*k - 5*m - 15, 0 = k - 4*m - 4 - 8. Suppose -5*t + 3*z = 2*z - 41, 2*z + 2 = 0. Suppose k = -l + 9 + t. Is 17 a factor of l?
True
Let d(h) = 118*h + 9. Does 28 divide d(2)?
False
Suppose -y - 11 = -4. Let q = 19 + y. Is q a multiple of 4?
True
Let m(k) = -k**2 + k + 3. Let h be m(0). Suppose -h*a - 18 = -4*a. Does 10 divide a?
False
Let z(m) = -10*m + 5. Let a be z(-5). Suppose 0 = -3*k - 3*v + 27, 0*v - a = -5*k - 3*v. Does 7 divide k?
True
Suppose z + 3*z = 4, 4*c + 3*z = 503. Is c a multiple of 25?
True
Let r = -28 - -50. Is r a multiple of 11?
True
Let h(d) = 9*d - 29. Let v(t) = 5*t - 15. Let l(o) = -4*h(o) + 7*v(o). Does 15 divide l(-6)?
False
Let a = 6 - 4. Suppose -a*z + 92 = 12. Does 10 divide z?
True
Let o = 0 + 5. Suppose -4*l + 24 = -o*y, 0 = 4*y + 3*l - 7*l + 20. Is 4 a factor of (-120)/(-21) - y/14?
False
Let s(o) = -8*o + 6. Let c(r) = 17*r - 13. Let d(l) = -3*c(l) - 7*s(l). Let p be d(3). Suppose -2*h = -3*q - p, 0*h + 28 = 3*h - 2*q. Is h a multiple of 7?
False
Let o be 8/(-12)*(-6)/4. Suppose -q = 2*q - 30. Suppose -m + q = o. Does 9 divide m?
True
Let n(x) = -x**2 - 2*x + 2. Let q be n(-2). Suppose -5*s = q*y - 24, 4*s - 5*y = -s + 10. Suppose 5*h + s*p = 47, 0 = 3*h + 2*p - 15 - 12. Is 7 a factor of h?
True
Let c = -6 - -8. Suppose -t = -2*l + 35, -l = -c*l + 2*t + 13. Is 5 a factor of l?
False
Suppose 0 = -3*m + 348 - 120. Is m a multiple of 19?
True
Let o = 18 + -12. Does 11 divide (o - 3)/((-1)/(-11))?
True
Suppose 2*k = 4*k - 10, 0 = 4*d + 4*k - 188. Does 6 divide d?
True
Suppose 0 = -4*w + 2*r - 14, -5 = -4*w + 4*r - 17. Let f = w - -10. Is 4 a factor of f?
False
Let z be ((-2)/(-6))/(2/738). Let x = -70 + z. Suppose -h = 5*a - x, 2*a = -4*h - a + 161. Is h a multiple of 17?
False
Let q = -61 + 193. Is q a multiple of 66?
True
Let z = 4 + -6. Let g = 0 - z. Suppose 27 = 5*u - g*h, 3 = -3*u - h + 17. Does 5 divide u?
True
Let m be (12 + -3)*(-4)/(-2). Let z be (-22)/(-3) - (-12)/m. Is 2/z - (-110)/8 a multiple of 14?
True
Suppose -4*j - 3*n + 210 = 0, -6*n - 6 = -3*n. Is 13 a factor of j?
False
Suppose 0*s + 3*i = 5*s - 170, 21 = s + 2*i. Suppose 4*n + s = 2*g + 5, 2*g - 21 = -n. Is 7 a factor of g?
False
Suppose -4*s = 4*u + 116, -7*u + 2*u + 4*s - 154 = 0. Let t = -17 - u. Is t a multiple of 13?
True
Suppose 0*r + 4*r + 43 = 3*o, 4*r = 5*o - 45. Is (r/(-3))/(2/3) a multiple of 4?
False
Suppose -r + 95 = -1. Is 11 a factor of r?
False
Suppose 3*r - 2*a + a - 101 = 0, 0 = 4*r + 2*a - 128. Let c = r + 1. Does 13 divi