1 divide u(l)?
False
Suppose -4*l = y + 2*y - 28, 0 = -4*l - 8. Is 9 a factor of y?
False
Suppose -u - 14 = -3*u. Does 7 divide u?
True
Is ((-263)/3 - (-10)/15)/(-1) a multiple of 29?
True
Suppose 2*w - 1 - 3 = -4*t, -t + 2*w = -6. Let b be t*(-1)/(-2) - -37. Is 13 a factor of -1 + (3 + b - 1)?
True
Suppose -5*y + 124 = 4*s, -y + s + 32 = -0*y. Let h = y + 7. Does 13 divide h?
False
Let g = 1 - 5. Let p be (-8)/3 + g/(-6). Let j(k) = -4*k + 1. Is j(p) a multiple of 6?
False
Let l(c) = c - 3 - 1 + 7. Let t be l(-3). Suppose t = q + 4 - 0, 2*q = 3*y - 23. Is y a multiple of 2?
False
Let v = 14 - 8. Let b(i) = 9*i + 1. Let x be b(v). Suppose -3*z = 2*d - 96, 25 = 2*d - z - x. Is d a multiple of 21?
True
Let y(r) = -r**2 + 6*r + 6. Let b be y(7). Let g be 0 + 24/(-2) + b. Let z = g - -19. Is z a multiple of 6?
True
Let k(l) = -1. Let c(j) = 4*j**2 - 4*j + 5. Let g(b) = c(b) + 3*k(b). Let y be g(3). Suppose -4*h = -2*u + y, u - 12 = -3*u - 2*h. Does 5 divide u?
True
Let q = -14 + 23. Suppose 2*k - q + 39 = 0. Does 8 divide (20/3)/((-5)/k)?
False
Let c(w) = w**2 - 10*w + 3. Let z = 21 + -9. Is 9 a factor of c(z)?
True
Let b(s) = s**2 + 5*s. Suppose 2*z = -z - 21. Is b(z) a multiple of 8?
False
Let i be 1/2 + 63/(-6). Let m be 2*(i + -1) - 2. Let x = -7 - m. Is 10 a factor of x?
False
Let j(f) = f**2 - 12*f + 16. Let w be j(11). Suppose 0 = w*m + 4 + 1. Is -4 + (1 - m) - -14 a multiple of 4?
True
Does 23 divide 1 - -3*(-150)/(-5)?
False
Suppose -3*t - 34 = 2*c, 2*t - 3*t + c = 13. Is 7 a factor of 3/t - 81/(-4)?
False
Let w = -13 + 28. Let v(p) = p**2 - 9*p - 21. Is 23 a factor of v(w)?
True
Let l = -15 + 50. Suppose 0 = -9*b + 4*b + l. Let x(n) = -n**3 + 8*n**2 - 4*n - 8. Is 9 a factor of x(b)?
False
Suppose -t + 20 - 4 = 0. Is t a multiple of 2?
True
Let i(v) be the first derivative of 4*v**3 - v**2 + v + 2. Is 4 a factor of i(1)?
False
Suppose -2*b = 4*q + 16, b = -2*q + 4*q. Let g(l) = -l**2 + 10*l - 1. Let i be g(10). Let r = i - b. Does 3 divide r?
True
Let d = 13 + 50. Does 21 divide d?
True
Let p(i) = -i**3 + i**2 - 2*i - 3. Let o be p(-4). Suppose 2*q + s = o, 2*s + 190 = -2*q + 6*q. Let n = -32 + q. Does 13 divide n?
True
Suppose -8*d + 5*d = 18. Let l = d - -12. Is l even?
True
Let q = -9 - -7. Is (6/3)/((-1)/q) a multiple of 2?
True
Let j(z) = z - 2. Let w be j(4). Let m(s) = 3 + 2*s + 8*s - 1. Is 12 a factor of m(w)?
False
Suppose 5*b = -j, 2*j = -2*j - b + 76. Let q = j + 7. Is q a multiple of 9?
True
Let z(m) = -m**2 + 4*m + 6. Let c be z(5). Let j = 19 - c. Does 6 divide j?
True
Let x(r) = -r**2 - 4*r. Let j be x(-2). Suppose c + 3*m = -2 + 6, 0 = -2*c - j*m + 10. Is 4 a factor of c?
False
Let d = 0 + 117. Is d a multiple of 14?
False
Let u = 101 + -146. Let l = u - -65. Is l a multiple of 20?
True
Let t(v) = 23*v - 11. Let l be t(4). Suppose -4*q + m + 322 = 4*m, q + m = l. Does 20 divide q?
False
Let i(q) = -q**3 + 2*q**2 - 5*q + 5. Let d(b) = -b**2 + 8*b + 4. Let v be d(8). Let g be i(v). Is 3 a factor of 2/(-9) - g/9?
False
Is -1 + -2 + 0 - -327 a multiple of 47?
False
Suppose 144 = 7*b - 192. Is b a multiple of 16?
True
Let n = 15 + -3. Does 4 divide n?
True
Let n(m) be the first derivative of m**5/15 - m**4/6 + m**3/2 + 3*m**2/2 - 2. Let j(b) be the second derivative of n(b). Is j(3) a multiple of 9?
True
Let y be 2 + -4 + (-4)/(-2). Suppose 5*v = p + p + 88, y = 2*p - 4*v + 88. Is p/(-6) + (-2)/6 a multiple of 3?
False
Let a(d) be the second derivative of 5*d**3/6 - 3*d**2/2 - d. Does 12 divide a(3)?
True
Suppose w - 1 = -2*h, -3*h + 5*w - 5 = -4*h. Let a be 3 - (0 + 1 - h). Suppose -9 = -j - a*j. Is j a multiple of 2?
False
Does 11 divide 2/(1 - 66/69)?
False
Let k be 3/15 + 9/5. Suppose -3*x + 6 + k = -j, -x - 5*j = 8. Suppose v + 0*v - 15 = -3*n, -x*v = 2*n - 6. Is n a multiple of 4?
False
Let t(z) = z**2 + 4*z - 2. Let s be t(-5). Suppose 0 = v + 2*v - 3, j = -s*v + 47. Does 22 divide j?
True
Suppose 1053 = -0*z + 5*z - q, -3*z - 5*q + 615 = 0. Is z a multiple of 30?
True
Let d(a) = -a**3 - 8*a**2 - 9*a + 7. Does 3 divide d(-7)?
True
Suppose -92 = -5*l + 4*s, l - 2*l + 14 = -3*s. Does 20 divide l?
True
Is 9 a factor of (-516)/9*(-9)/6?
False
Is 6/(-3)*14/(-4) a multiple of 7?
True
Let q(l) = -l**3 + 3*l**2 + 2*l + 3. Let p be q(3). Suppose 0 = -4*i + 2*i + 10. Suppose z - p = i. Is z a multiple of 10?
False
Let p = 57 + 24. Suppose 0 = -0*n - 2*n - 6, p = 4*w + n. Is w a multiple of 21?
True
Suppose -4*d + 262 = -2*i, -5*d + 5*i + 329 = i. Is d a multiple of 13?
True
Let m = 30 + -25. Is m a multiple of 5?
True
Let c be -1 + 84 + (0 - -1). Let k = 122 - c. Does 19 divide k?
True
Let v be (-598)/(-18) + 4/(-18). Let y = 16 + v. Suppose -2*f + 0*i + y = i, -3*f - 2*i = -76. Does 16 divide f?
False
Let o(l) = 5*l - 1. Let r be o(2). Is 141/r - (-1)/3 a multiple of 6?
False
Let u(n) be the first derivative of n**4/4 - 8*n**3/3 + 4*n**2 - 4*n - 2. Let h be u(7). Suppose h*q - 90 = q. Does 15 divide q?
True
Let s be ((-4)/3)/(2/(-6)). Let q(w) = -w**3 + 7*w**2 - 5*w - 6. Let n be q(6). Suppose -a = s, 2*j + n*a - 6 = -4*a. Is j a multiple of 11?
True
Let z(l) = 2*l + 1. Let b be z(1). Suppose -2*y = 2*y - 20, 4*n = -b*y + 263. Does 16 divide n?
False
Let l be 3*2/12*0. Suppose 2*r = -l*r - 4. Is (-6)/(-2) + r/2 a multiple of 2?
True
Suppose 57 = -5*a - 53. Let g be (-2)/7 + 2480/56. Let r = a + g. Is 11 a factor of r?
True
Let x(o) be the second derivative of 5*o**4/12 + o**3/6 - 3*o. Let b be x(-1). Suppose 2*w - 4 + 0 = -4*q, -w - 5*q = b. Is w a multiple of 3?
True
Suppose 5*c = -11 - 29. Suppose -2*j + 4 = 3*s - s, -5*s + 10 = -5*j. Does 7 divide s/c - (-114)/8?
True
Let i(g) = 110*g + 35. Does 33 divide i(3)?
False
Suppose -5*p + 4*p + 60 = 0. Let y = p - 15. Does 28 divide y?
False
Let y(n) = n**3 - 8*n**2 + 7*n - 6. Let d be y(7). Let z(k) = 3*k**2 + 7*k. Does 23 divide z(d)?
False
Let v = -99 + 179. Suppose 2*k - v = -2*k. Is k a multiple of 7?
False
Let u = 210 + -125. Suppose -5 = -5*j + u. Suppose -2*v = -v, -j = -3*d - 3*v. Is 6 a factor of d?
True
Let t(r) = r**3 + 12*r**2 + 9*r - 13. Let w be t(-11). Let p be (18/(-15))/(w/(-30)). Suppose 3*u = -5*h + h + 46, -p*h + 2*u + 56 = 0. Is h a multiple of 13?
True
Let m = 244 + -174. Is m a multiple of 7?
True
Let t(p) = p**2 - 3*p - 4. Let d(l) = l**2 - 5*l - 1. Let q be d(6). Is t(q) a multiple of 3?
True
Let m be -16*4*(-3)/6. Suppose 0 = x + 12 + m. Is 17 a factor of x/(-5)*(-10)/(-4)?
False
Let w(i) = -4*i**2 - 8*i - 1. Let b(y) = y. Let m(a) = -5*b(a) - w(a). Is m(-3) a multiple of 17?
False
Let o(u) = -u + 3. Let z be o(3). Let a be 2/1*(3 - z). Suppose -64 + a = -r - 3*l, 3*l = r - 34. Is 23 a factor of r?
True
Suppose -p = -1, 0*r - 5*p = r - 93. Let x = r - 44. Is x a multiple of 22?
True
Let a be -1 - (-1)/2*2. Let x(b) = -2*b - 1. Let c be x(-5). Let s = c - a. Is s a multiple of 5?
False
Is 51 - (0/4 + -1) a multiple of 26?
True
Suppose -7*k + 5*a = -4*k - 211, -213 = -3*k + 3*a. Is 11 a factor of k?
False
Suppose 3*s - 118 = -13. Is 21 a factor of s?
False
Suppose -4*z + 153 = b, -5*z + 3*b - b = -188. Let v = z - 9. Is v a multiple of 12?
False
Let c be 2/2 - (0 + -2). Suppose -c*d + 51 = -15. Is d a multiple of 11?
True
Let q(w) = w**3 + 3*w**2 - 1. Is 15 a factor of q(2)?
False
Let q be (0 - -1)/(2/(-106)). Let a = -34 - q. Suppose 0 = -5*b + a + 61. Is b a multiple of 16?
True
Suppose -8*q + 3*q = -20. Suppose 3 = -q*o + s, 0*s - 5*s = -2*o - 15. Suppose o = -4*a + a + 48. Does 16 divide a?
True
Suppose -19 = -2*l - 5*y, -7*l + 2*l = -y - 7. Does 3 divide l/14 + 679/49?
False
Let v(d) = -4*d + 39. Is v(-13) a multiple of 12?
False
Let d(w) = 5*w - 12. Let t be d(4). Suppose -2*f - 77 = -5*o, o + 3*f - t = 21. Does 3 divide o?
False
Let z(j) = j + 1. Let m(r) = 6*r - 3. Let p(l) = m(l) - 3*z(l). Is 10 a factor of p(12)?
True
Suppose -551 + 1398 = 11*u. Is u a multiple of 12?
False
Suppose -4*r - 153 = -7*r. Is r a multiple of 17?
True
Suppose 4*y = 3*k - 282, -5*y = -2*k - 0*y + 195. Suppose -3*s + k = -2*s - 3*l, -2*s = -l - 170. Suppose -s = -4*z + 32. Is z a multiple of 14?
False
Let t(q) = q + 2. Let h be t(0). Suppose -5*p = j - 95, 0*p + h*j = 2*p - 50. Is p a multiple of 20?
True
Let c(r) = 10*r + 2. Let a be c(2). Suppose -2 = n + 2*x, 3*x = -