13*a**2 + 15*a - 15. Let o(k) = -2*u(k) - 5*y(k). Does 17 divide o(-10)?
False
Suppose 2*c - 13 + 1 = 0. Let v(z) = 2*z**2 - 9*z + 7. Let w be v(c). Suppose -25 - w = -5*b. Does 5 divide b?
True
Let p(c) = 4*c**3 - c**2 - 9*c + 1. Let m(q) = 3*q**3 - 8*q + 1. Let k(a) = -3*m(a) + 2*p(a). Let d be k(-5). Let i = -12 + d. Is i a multiple of 16?
True
Suppose -l = -3*x + 130, 3*x + 445 = -4*l - 0*x. Let p = l + 185. Is 25 a factor of p?
False
Suppose 0 = 3*k + 3*z - 18, -3*k + k = -z - 6. Does 4 divide k?
True
Let z(l) = l - 2. Let y be z(4). Suppose 3*p = y + 4. Is p/5 - (-159)/15 a multiple of 11?
True
Suppose 6*q = 4*q + 98. Is q a multiple of 7?
True
Let n(w) = -w**3 + 3*w**2 + 6*w + 2. Let a be n(5). Let r = a + 41. Is 11 a factor of r?
False
Suppose -2*t + 3 + 7 = 0, -4*h = -t - 3. Let d = h - -1. Suppose u - 19 = -d*v, -4*u - 2*v + 6 = -30. Is u a multiple of 4?
False
Let m = 7 - -4. Suppose 0 = -2*u + 5 + m. Let f = -3 + u. Is f a multiple of 2?
False
Suppose i = -2*i + 78. Is i a multiple of 13?
True
Suppose -4*s + 4*i + 25 = -7, 3*s - 5*i - 30 = 0. Let g be 48/5 - 2/(-5). Let z = g - s. Does 5 divide z?
True
Let v be 1/(-1*(-2 - -3)). Let f be (v/(-2))/(1/(-6)). Is 11 a factor of (-66)/(-4)*(-4)/f?
True
Let z = 36 - 22. Suppose 6 + z = 5*u, 2*v = -2*u + 98. Is v a multiple of 27?
False
Let f = 2 - 9. Let y(a) = a**2 + 6*a + 2. Is y(f) a multiple of 9?
True
Suppose -3*y + 3 = 6. Let t(m) = -34*m + 2. Let g(f) = -17*f + 1. Let n(b) = 5*g(b) - 2*t(b). Is n(y) a multiple of 18?
True
Let h be 108/14 - (-10)/35. Suppose h*i - 5*o - 50 = 3*i, 4*o + 12 = 0. Is i a multiple of 7?
True
Suppose -6 = 2*n, -3*n = -5*x + 3*x + 45. Is x a multiple of 9?
True
Suppose 0*r = -5*y + 3*r + 149, 2*y - 5*r = 52. Does 9 divide y?
False
Does 6 divide 28/(-6)*6/(-4)?
False
Let o(x) = -x + 6. Is o(-9) a multiple of 8?
False
Let n(q) = 2*q**2 - 3*q. Let p be n(2). Suppose 0 = p*a - 1 - 27. Does 7 divide a?
True
Let k = 25 + -17. Suppose -k + 2 = -h. Is 5 a factor of h?
False
Let t(j) = j**2 - 4. Let r be t(-3). Suppose -20 = r*f, 2*f = -5*x + 4*f - 27. Let k(p) = p**2 + 5*p - 2. Is 12 a factor of k(x)?
True
Let u(w) be the second derivative of -w**4/12 - 7*w**3/3 + 8*w**2 - 2*w. Does 16 divide u(-14)?
True
Suppose 0 = -3*k - 10 + 46. Does 6 divide k?
True
Is 10 a factor of 6/3 + 0 - -8?
True
Suppose 7*x = 12*x - 190. Does 4 divide x?
False
Suppose 2*t = -4*q + 12, 2*t + 10 - 2 = 0. Suppose 2*d = 3*d + 2*a - 5, 30 = 5*d + q*a. Does 3 divide d?
False
Let z = -31 - -62. Is z a multiple of 7?
False
Suppose -t = -45 + 6. Is t a multiple of 13?
True
Suppose 5*m + 4*h + 15 = -0*m, 2*m - 5*h + 6 = 0. Is 27/(-12)*(-19 - m) a multiple of 12?
True
Let c(d) = -d**2 - 3*d + 3. Let w be c(-3). Suppose 0 = w*t + 2*b - 96, -4*t = 4*b + b - 128. Is t a multiple of 10?
False
Let k(t) = 9*t - 5. Is k(2) a multiple of 13?
True
Suppose 0 = 2*d + 2*d - 8, -5*t - 2*d + 64 = 0. Does 2 divide t?
True
Let a be 2/9 + 12/(-54). Let p = a - -1. Let c = 19 - p. Is c a multiple of 18?
True
Let v = 19 + 22. Let g = v - 17. Is 8 a factor of g?
True
Suppose -3*g + 9 + 12 = 0. Is g even?
False
Suppose 0 = -z + 7 + 8. Let l = 51 - z. Is l a multiple of 12?
True
Suppose -178 - 80 = -3*m. Is m a multiple of 18?
False
Let a(d) = 8*d - 10. Let s(l) = -l**2 - 7*l + 4. Let w be s(-7). Does 16 divide a(w)?
False
Let o = -38 - -58. Suppose 5*h - o = -0*h. Is h a multiple of 4?
True
Let g be (-1335)/(-12) - 1/4. Let z = g - 78. Is 11 a factor of z?
True
Suppose -i + 3*i = 4*y + 16, -2 = -4*i - 2*y. Suppose j - 75 = -i*j. Does 14 divide j?
False
Does 19 divide (-16*1 + -3)*-3?
True
Suppose 0 = 4*t + 7 + 9. Is 15 a factor of (2/t)/(6/(-480))?
False
Suppose 4*l = 3*l. Suppose l = -2*k + 12 - 2. Is 2 a factor of k?
False
Let n = -70 - -106. Does 9 divide n?
True
Let s = 14 - 10. Suppose 0*y - 30 = -y + s*l, -4*y + 192 = 2*l. Is 23 a factor of y?
True
Let r(h) = h**3 - 14*h**2 + 15*h - 15. Let f be r(13). Let l = f - 1. Is l a multiple of 7?
False
Suppose -236 = -2*g + 146. Suppose 20 = -5*q, 4*q - g = -4*c - 43. Is c a multiple of 12?
False
Suppose 4*y = -0*u - 5*u + 8, 5*u - 4*y = 32. Let a be -1*-2*(-46)/u. Let c = -10 - a. Is c a multiple of 8?
False
Suppose -73 - 107 = -4*s. Suppose 115 = 2*u + s. Let m = 50 - u. Does 15 divide m?
True
Suppose p - 12 = -3*o + 3*p, -o = -3*p + 3. Does 3 divide o?
True
Let x be (-2)/6 - 22/6. Suppose -f - 12 = -2*f. Is 15 a factor of x*(135/f)/(-3)?
True
Suppose -3*n + 101 = y, -3*n = 2*y - 75 - 28. Is n a multiple of 9?
False
Suppose 0 = 3*v + 2*j - 30, -3*v - 4*j - 19 + 49 = 0. Let l be 7/(-3)*(-1 - 5). Suppose -l = -k + v. Is k a multiple of 23?
False
Suppose 98 = 4*p - 434. Suppose -3*y = 5*x - 179, -3*x + y = x - p. Is x a multiple of 19?
False
Suppose -h + 7 = 3. Suppose 3*v = h*w - 158, -6*v = 3*w - v - 133. Is 13 a factor of w?
False
Let u = -7 - -8. Let i = u - -1. Suppose -i*b = -4 - 6. Is 2 a factor of b?
False
Let q = -3 - -17. Let u be (-2)/(-13) + (-120)/104. Let g = u + q. Does 9 divide g?
False
Let c = -7 + 12. Does 4 divide c?
False
Let p(x) = x - 4. Let q be p(0). Is 10 a factor of (-165)/(-9) - q/6?
False
Suppose 215 - 35 = 5*v. Does 4 divide v?
True
Let u be (1032/(-36))/((-2)/6). Let n = -37 + u. Is n a multiple of 12?
False
Let v(h) = 3*h**2 - 4*h - 3. Let q = -6 + 3. Let c = 1 + q. Is 13 a factor of v(c)?
False
Let s be (-210)/8 - 8/(-32). Let y = 39 + s. Is y a multiple of 3?
False
Suppose -2 + 14 = 4*h. Suppose -5*y = -10*y + 10. Suppose y*q - 25 - h = 0. Is 14 a factor of q?
True
Let s be ((-2)/6)/((-1)/78). Suppose 3*v - 4*o = -0*o + 112, 3*v - 5*o - 107 = 0. Suppose 5*r - v = s. Is r a multiple of 7?
True
Let g = -11 + 18. Suppose -5*v + g = -33. Suppose 3*o - 15 = -x, -2*o - 2 = -x + v. Does 6 divide x?
True
Suppose -9 - 1 = -2*q. Suppose q*l = x - 6*x + 150, 15 = 5*l. Is 10 a factor of x?
False
Suppose -7*f - 10 = -12*f. Suppose l - 2 - f = 0. Let a(t) = 5*t**2 - 7*t + 5. Is a(l) a multiple of 19?
True
Let d(x) = -x + 10. Let a be d(-7). Let h = -9 + a. Suppose -c = 2 - h. Does 6 divide c?
True
Let m be 31/3 - (-4)/(-12). Let a(j) = 4*j - 1. Is a(m) a multiple of 16?
False
Let u = 36 - -33. Is 23 a factor of u?
True
Suppose -4*z + z + 3 = 0, 2*z - 516 = -2*a. Let h be (-3)/(-2)*(-1)/(9/(-24)). Suppose 0 = 5*f - 4*v - a, h*f + 2*v - 4*v - 202 = 0. Is 28 a factor of f?
False
Suppose 40*u = 41*u - 52. Is 13 a factor of u?
True
Suppose -43 = -2*l + 4*v - 5*v, -4*l - 3*v + 81 = 0. Does 8 divide l?
True
Let i = 10 - 7. Does 14 divide (-146)/(-10) - i/5?
True
Suppose 5*r - 2*r - 18 = 0. Let m be (-2)/r - 35/3. Let k = m - -22. Is k a multiple of 5?
True
Suppose 16 = -w + 2. Let u = w + 7. Is 9 a factor of 2/u - 510/(-21)?
False
Let z = 11 - -4. Suppose 6*n = 3*n + z. Is 2 a factor of n?
False
Let y be (6/3 + -3)*-3. Suppose 5*d = y*d + 76. Is d a multiple of 19?
True
Suppose 3 = -4*q - 2*b + 3*b, 5*q + 10 = -5*b. Let o be (-1)/2 + 21/14. Is q*(-2 + -16)/o a multiple of 9?
True
Let s(k) = 19*k + 5. Is 12 a factor of s(1)?
True
Let t = -27 - -9. Let l = t - -30. Is l a multiple of 12?
True
Let o = -64 - -83. Is o a multiple of 4?
False
Let o(t) = 7*t. Let u be o(1). Suppose -11*r + 100 = -u*r. Is r a multiple of 25?
True
Let h = -261 - -520. Is h a multiple of 19?
False
Suppose -58 = -5*m - 3*c, -c + 1 - 33 = -2*m. Let f(y) = -y + 13. Let p(u) = -u + 9. Let q(z) = 5*f(z) - 7*p(z). Is q(m) a multiple of 15?
True
Let k(s) = -s - 1. Let j be k(-1). Let y = j - 4. Is (-49)/(-2) - 2/y a multiple of 15?
False
Let g = 11 + -6. Suppose 4*q + 3*a - 68 = 58, -g*q - 3*a + 156 = 0. Is 15 a factor of q?
True
Let k = 7 + -8. Is 9 a factor of (k*1)/(10/(-250))?
False
Let a be 2/(-4)*0*-1. Suppose 0 = -a*w + 4*w - 52. Is w a multiple of 5?
False
Suppose -k + 12 = -3*f + 2*k, 3*k + 4 = -f. Is (-1)/f + (-78)/(-8) a multiple of 4?
False
Let w = -40 - -22. Let t = -6 - w. Does 3 divide t?
True
Is 16 a factor of (-2)/(-18)*3 + (-1719)/(-27)?
True
Is 6 a factor of (0 + -2)/(1/(-21))?
True
Suppose 300 = -2*c + 5*c. Is c a multiple of 25?
True
Let y(k) = -7*k + 1. Let c(m) = 4*m - 1. Let n(w) = 5*c(w) + 3*y(w). Let q be n(-5). Suppose 5*o = -5*a + 31 + 34, -q*a - 51 = -2*o. Is 10 a factor of o?
False
Let u = -2 + 14. Is u a multiple of 6?
True
Let r(x) = 25*x**2. Let d be r(