
Suppose j = t - 5*t - 3, -4*j + 2*t = -6. Let s(y) = 4*y**3 + 1 - 5*y**2 + 3*y**2 + 16*y**3 + 15*y**3. Is s(j) a multiple of 17?
True
Let z be -4*-1*(-3)/(-6). Suppose 0 = z*l - 5*n + 83, l + 3*l + 2*n + 154 = 0. Let q = -23 - l. Is q a multiple of 6?
False
Let n(r) = -8*r - 1. Let b(u) = -u. Suppose -2*j = 11 - 1. Let w(g) = j*b(g) + n(g). Is w(-2) a multiple of 5?
True
Let t be (-3)/(-15) + 28/10. Suppose 2*y - 2*m + t - 11 = 0, 5*m - 12 = -3*y. Does 4 divide y?
True
Let l be ((-14)/21)/(2/(-6)). Suppose l*c + 8 = 0, -2*s - 5*c - 31 = -11. Does 16 divide 2 - -25 - (1 + s)?
False
Suppose -43*x = -36*x - 1540. Is x a multiple of 10?
True
Suppose 4*h - 2*y + 9 = 25, -3*h - y + 17 = 0. Suppose 0 = l - h*l + 96. Is 8 a factor of l?
True
Let f(j) = -j + 1. Let x be f(-3). Let a be (36/(-14))/(x/(-28)). Suppose 5*h = 2*g + 70, a = 2*h - 2*g - 16. Is h a multiple of 12?
True
Let v(l) = -4*l**2 + 3*l + 5. Let b(p) = 2*p**2 - p - 2. Suppose -4*i - g = 25, -5*g = -g + 20. Let f(h) = i*b(h) - 3*v(h). Is f(4) a multiple of 6?
False
Suppose 3*f + 4*d - 22 = 0, -3*f + 32 - 13 = d. Suppose 0 = 4*y - 3*y - f. Suppose w - y*w + 30 = 0. Is w a multiple of 3?
True
Let s be -1 + 3/1 - -2. Suppose r - s = 13. Is r a multiple of 14?
False
Let b = -29 - -17. Is 9 a factor of (-126)/b - (-3)/(-2)?
True
Let o = -71 + 149. Let q = o + -50. Does 8 divide q?
False
Suppose -a - 210 = -4*j, -2*a = j - 73 + 25. Is j a multiple of 12?
False
Suppose -4*p - 2*d + 53 + 91 = 0, 2*d = 2*p - 72. Is 4 a factor of p?
True
Suppose 312 = 4*t - 2*m - 20, -t + 93 = -3*m. Is 27 a factor of t?
True
Let k = -10 + 24. Let z = 9 - k. Does 2 divide 6/15 - 23/z?
False
Suppose -4*u - 132 = -2*m, -2*m + 5*u + 105 + 29 = 0. Is 13 a factor of m?
False
Let g(m) = m**3 - 28*m**2 - 30*m + 52. Is 23 a factor of g(29)?
True
Let h be (-2)/3 - 1632/(-18). Suppose 0 = -l + 6*l - h. Does 17 divide l?
False
Is (-6372)/(-44) + 5/(55/2) a multiple of 5?
True
Let w(q) = q**2 - 9*q + 4. Let v be w(9). Suppose -b - v = -14. Is 11 a factor of (-702)/(-45) + 4/b?
False
Let v(x) = 3*x**2 - 8*x - 29. Does 58 divide v(-7)?
True
Does 11 divide 22/(-5)*(6 - 11)?
True
Suppose 0 = 4*y - 12, 2*h - 4*y = 4*h - 16. Let b be h/(-4)*6*2. Let x(f) = -f**3 - 5*f**2 + 2*f - 1. Is x(b) a multiple of 9?
False
Let a(t) = 2*t - 6. Let f be a(4). Suppose 6*m - 19 = 3*m + 2*b, 0 = m + b + f. Suppose m = y - 5. Does 4 divide y?
True
Suppose -24*b + 21*b = -105. Is 7 a factor of b?
True
Let p(y) = 11*y - 10. Does 8 divide p(3)?
False
Suppose 5*a - a - 3*r = 81, -5 = -r. Does 7 divide a?
False
Does 11 divide 13/65 + (-218)/(-10)?
True
Let i(l) = 41*l**3 - l**2 - 3*l + 2. Let g be i(2). Suppose -v - g = -5*v. Is 16 a factor of v?
True
Let g(f) = f**3 - 4*f**2 - 7*f. Let s be g(6). Suppose -l - 7*b + 2*b + 57 = 0, -4*b - s = -l. Is l a multiple of 21?
True
Is 7 a factor of ((-130)/(-30))/((-1)/(-3))?
False
Let k(v) be the first derivative of -3/2*v**2 + 0*v + 4. Is k(-3) a multiple of 3?
True
Let z(s) = s**3 - 14*s**2 + 16*s + 17. Let x be z(13). Let y = -30 + x. Is y a multiple of 26?
True
Let b be (-4 - -1)*(2 - 3). Suppose -3*w = -4*u + 93, 76 = 3*u - 4*w + b*w. Is u a multiple of 27?
True
Let s = 61 + -56. Let a(o) = -3 - 6*o + 15*o + 2*o. Is a(s) a multiple of 26?
True
Suppose 3*y - 15 + 36 = 0. Suppose 0 = -10*g + 9*g + 9. Let k = g + y. Is k even?
True
Let h(o) = o**2 + 9*o + 1. Let z be h(-9). Let n(y) = -1 + 4*y**2 - 9*y - 5*y**2 - z. Is n(-4) a multiple of 9?
True
Suppose 4*i = -0*i + 156. Suppose -r - 2*s = s - i, -8 = -4*s. Is r a multiple of 11?
True
Let k(l) = 74*l**2 - 3*l - 2. Let a be k(-1). Let z = a + -45. Is 11 a factor of z?
False
Let x(f) = f**3 - 11*f**2 + 3*f - 9. Does 19 divide x(11)?
False
Let o(s) = s - 6. Let u be o(5). Let b be 12*u*1/2. Let p(c) = c**2 + 5*c + 4. Is p(b) a multiple of 5?
True
Suppose 8*z - 15 = 3*z. Suppose z*j - 8*j = -3*t - 56, -3*t = -9. Is 8 a factor of j?
False
Suppose -4*i - 4*l + 117 = -223, -261 = -3*i - 5*l. Does 8 divide i?
False
Suppose -36 - 20 = -4*k. Let o(j) = j**2 - 13*j - 4. Is o(k) a multiple of 10?
True
Let n = 245 + -158. Is 24 a factor of n?
False
Let x be 728/20 - (-4)/(-10). Let d be 6/42 + (-60)/(-21). Suppose 5*t - z - 60 = -0*z, -x = -d*t - 4*z. Does 12 divide t?
True
Let u(a) = 2*a**3 - 2*a**2 - 6*a. Is 9 a factor of u(3)?
True
Let z(q) = 95*q**2. Is 33 a factor of z(-1)?
False
Let k be (16/(-8))/((-2)/3). Suppose 5*v - 390 = -5*w, -2*w + 6*w - 236 = -k*v. Is 25 a factor of v?
False
Let x = -102 - -131. Is x a multiple of 29?
True
Suppose 4*q + g = -2*g + 52, -5*q - 2*g + 58 = 0. Suppose -4*b + 1 = a - 12, 2*b - q = 0. Let m(x) = -x + 4. Does 3 divide m(a)?
False
Let l(v) = -2*v**3 + v**2 - 2*v + 1. Let f be l(1). Let z be (f/4)/(1/(-24)). Suppose m + z = 2*m. Does 10 divide m?
False
Let j(b) be the third derivative of b**4/8 + 4*b**3/3 - 4*b**2. Does 8 divide j(12)?
False
Let q = -9 - -5. Let h(g) = 4*g - 5. Let i(v) = -3*v + 4. Let b(j) = -4*h(j) - 5*i(j). Is 3 a factor of b(q)?
False
Let c(x) be the third derivative of 1/12*x**4 + 0*x + 1/120*x**6 + 1/10*x**5 + x**2 + 5/6*x**3 + 0. Does 9 divide c(-5)?
False
Suppose 4*r = y - 4, r - 5*r = y - 4. Let u = 17 - y. Is 9 a factor of u?
False
Let k(z) = 5*z**3 + 1. Let l be k(1). Suppose -4*r - 28 = -l*r. Does 5 divide r?
False
Suppose 0 = -6*o - 79 + 385. Is o a multiple of 12?
False
Let n(h) = h**2 - 7*h + 9. Let p be n(6). Suppose -2*m + 102 = -z + 2, -3*m + p*z = -156. Is m a multiple of 24?
True
Suppose 2 = q + 3. Let l be q*(-3 - (0 - 3)). Suppose -123 = -3*u - l*u. Is 17 a factor of u?
False
Let v(w) = 33*w - 3. Let p = 0 + 2. Let s be v(p). Suppose -4*o = o - 2*d - s, -2 = -2*o - 5*d. Does 11 divide o?
True
Let s(n) = -3*n - 21. Let a(i) = i + 10. Let j(d) = -7*a(d) - 3*s(d). Does 3 divide j(5)?
True
Suppose -3*r = 4*j - 8*r - 1, 0 = 3*j + 5*r - 27. Suppose -s - s = -4*d - 100, -j*s - 3*d + 189 = 0. Does 15 divide s?
False
Suppose 0 = 5*t + 3*z + 15 - 195, 0 = 5*z. Is t a multiple of 12?
True
Let a = 1 + 1. Suppose -3*t + d = -211, 2*d + a*d - 20 = 0. Suppose 2*l = -l + t. Does 12 divide l?
True
Let z(x) = x**3 + 3*x**2 - 6*x - 6. Let t be z(-4). Suppose 0 = -3*n + a + 4*a + 15, 4*a = -t*n + 10. Is 5 a factor of n?
True
Let z be (-2 - 2/(-3))*-3. Let u(y) = -y**3 + 2*y**2 - 4*y - 3. Let i be u(z). Let l = -26 - i. Is l a multiple of 9?
False
Is (-703)/(-5) - ((-2)/(-5))/(-1) a multiple of 36?
False
Is 58 a factor of 10/1*174/6?
True
Does 7 divide (20/(-6))/5 - (-573)/9?
True
Is 35 a factor of ((-3)/5)/(-3) + (-794)/(-5)?
False
Let y(d) = -d**2 + 6*d + 7. Let v be y(7). Suppose v = 2*j + s - 64, 2*s + 22 = j - 0*s. Is j a multiple of 15?
True
Let j(q) = 4*q - 2*q**2 + 2*q + 4 + q**2. Does 9 divide j(5)?
True
Let k = 2 + -1. Let b = -3 + k. Let a(n) = -n**3 - n**2 + 2. Is a(b) a multiple of 3?
True
Let w be 124/(-3) + 6/(-9). Let r = w - -68. Does 14 divide r?
False
Suppose f - 2*p - 73 = 7, -3*f + 2*p + 248 = 0. Let g = 10 - 6. Suppose 4*o - f = -g*t + 88, 5*t + o = 195. Does 19 divide t?
True
Let n be (-11)/(-4) - (-1)/4. Let b be (0 - -15)/n*1. Suppose -5*a - 121 + 436 = b*l, -5*l = -a + 93. Does 28 divide a?
False
Let c(i) = -3*i**2 - 8*i + 1. Let d(u) = -4*u**2 - 8*u + 1. Let k(f) = 5*c(f) - 4*d(f). Does 5 divide k(9)?
True
Suppose 0 = 10*l - 107 - 773. Is 17 a factor of l?
False
Let u = 18 + -31. Let m be 2960/100 + 4/10. Let j = u + m. Is 14 a factor of j?
False
Let t be 2/(-7) + 219/7. Let s = -10 + t. Is 17 a factor of s?
False
Let m = 230 + -156. Does 15 divide m?
False
Let n(l) = -10*l - 10. Let m(t) = -t**2. Let b be m(-2). Is 8 a factor of n(b)?
False
Let b be 0/(8/(-2)) - -6. Suppose 93 = b*u - 51. Is u a multiple of 6?
True
Suppose 0 = 2*k - 20 - 38. Is k a multiple of 29?
True
Suppose i + 48 = f, -2*f = -3*f + 2*i + 49. Let u = f - 87. Does 7 divide 2/6 + u/(-6)?
True
Let j be (1 - 2) + 10*1. Suppose j*d - 20 = 4*d. Let k = d + 1. Does 3 divide k?
False
Suppose 0 = -22*q + 23*q - 84. Does 21 divide q?
True
Let q = 5 + -4. Suppose 2*n - q = 3*n. Is -1*((n - -2) + -3) a multiple of 2?
True
Suppose -w = 6*m - m - 36, 0 = -2*w - 5*m + 67. Suppose -2*x - w - 23 = 0. Let a = -3 - x. Does 8 divide a?
True
Let r = 100 + -32. Suppose r = 2*u - 26. Let s = -34 + u. Is 8 a factor of s?
False
Suppose 5*