 factor of l?
True
Suppose 3*q - 88 = w + 36, -4 = w. Is q a multiple of 5?
True
Let m(x) = 0*x**2 + 13*x + 7*x**2 - 2*x - x**3 + 2*x**2. Let q be m(10). Let y = -6 + q. Does 3 divide y?
False
Suppose -4*i - i + 750 = 0. Suppose -6*h + h + i = 0. Is h a multiple of 18?
False
Let v(u) = -u**3 - 10*u**2 - 13*u + 3. Does 11 divide v(-9)?
False
Let q = 165 - 118. Suppose 0 = 2*i - q - 49. Suppose -n = -3*v + 140 - i, -121 = -4*v + 3*n. Does 14 divide v?
False
Let d = 28 + -12. Does 3 divide d?
False
Let k = 17 + -16. Let m = 17 + k. Is 12 a factor of m?
False
Suppose 4 = -4*g - 0*c + 2*c, 0 = 3*g + 2*c - 4. Let q = 4 - g. Suppose q*v = 43 + 5. Does 8 divide v?
False
Is (1/3)/(2/132) a multiple of 7?
False
Let u be (-2)/(-9) - 200/90. Let j = 2 + u. Suppose -30 = 4*k - m - 173, j = -4*k - 4*m + 148. Is k a multiple of 18?
True
Let z(h) be the second derivative of h**5/20 + h**4/2 + h**2 + 3*h. Let j be z(-6). Suppose 4*p = -4*a + 36, -j*p + a + 3 = -12. Does 4 divide p?
True
Let j(t) = t**2 + 2*t + 2. Suppose 0*b = -2*a + b - 18, -3*b + 18 = -2*a. Let f = a + 6. Does 5 divide j(f)?
True
Let p(r) = 15*r - 5. Is p(11) a multiple of 15?
False
Let f be (-2)/3*(-30)/(-5). Let c be f/(4/(-5))*1. Suppose c*l - 6 = 184. Is 17 a factor of l?
False
Suppose 3*x - l - 33 = 0, -l - 4 - 18 = -2*x. Is 11 a factor of x?
True
Suppose 0 = -3*l - 0*l + 3*g + 168, -l = -5*g - 36. Is l a multiple of 31?
False
Is 8 a factor of ((-30)/9)/((-1)/24)?
True
Suppose 4*k + 24 = 5*k. Is k a multiple of 8?
True
Let n = 63 - 13. Is n a multiple of 25?
True
Let p = -13 + 39. Suppose -28 - p = -3*q. Is q a multiple of 6?
True
Let o(x) = x**2 - 8*x - 7. Does 2 divide o(9)?
True
Let a(x) be the second derivative of -55*x**3/6 + x**2/2 + x. Is 14 a factor of a(-1)?
True
Suppose -4*s - 3*c + 264 = c, 0 = -2*c. Suppose -3*n - 3*i + s = 0, -24 = -2*n + 3*i - 0. Does 16 divide n?
False
Let p = 63 + -139. Is (2/(-4))/(2/p) a multiple of 7?
False
Let o(v) = -10*v - 6. Let z = -19 - -8. Let d be o(z). Suppose -2*l + 68 = 2*b, 0*l - 5*l = 3*b - d. Does 13 divide b?
False
Does 4 divide (-2)/12 - 196/(-24)?
True
Let r be (-4 + 5)/((-2)/(-6)). Suppose -r = z, 5*a + 4*z = z + 51. Does 9 divide a?
False
Suppose 4*m - 8 = i + i, 5*m = 4*i + 10. Let c = i - -3. Does 3 divide c?
True
Suppose -4*o = r + 17, -4*r + 2 = 4*o + 10. Suppose -r*b = 2*b - 135. Is b a multiple of 9?
True
Let k(y) = 2*y**2 - 8*y - 4. Suppose -4*v + 29 = -b, 16 = 4*v - 4*b - 28. Does 10 divide k(v)?
True
Let l be 2 - (0 - -2 - -16). Let s = l - -64. Is 16 a factor of s?
True
Let w = -5 - -8. Suppose -2*a = 3*a - 15. Suppose 4*b - w*b = a. Is b a multiple of 2?
False
Suppose 16 = 2*p + 5*v, -1 = 3*p - 4*v - 2. Suppose 0 = 2*g - p*j + 2*j - 125, -2*g + 124 = -2*j. Is g a multiple of 13?
False
Let o be (-2)/(-7) - 326/14. Is (2 + o)/((-2)/2) a multiple of 16?
False
Suppose 2*y - 4*q + 4 = 0, -y - 5*q - 16 = -0*q. Let l be 30/(y/4 - -3). Suppose -l = 2*d - 4*d. Is 10 a factor of d?
True
Let d(b) = b**3 - 11*b**2 + 23*b - 29. Is d(12) a multiple of 27?
False
Does 6 divide (5 - 3) + 3 + 1?
True
Suppose -4*w - 5*d = -7, 7 + 3 = 3*w - d. Suppose 2*m + w - 75 = 0. Is m a multiple of 12?
True
Suppose 3*q - 90 = -y - y, 0 = 5*q - y - 137. Let v = -17 + q. Is 5 a factor of v?
False
Let w(u) = -3*u - 10. Is 4 a factor of w(-9)?
False
Let z(v) = -15*v - 25. Is 15 a factor of z(-7)?
False
Let g(p) = 2*p**2 - 4*p + 0 + 0*p**2 - 1 - p**2. Does 5 divide g(-2)?
False
Let s = -28 - -42. Is s a multiple of 4?
False
Let c(s) = -s + 2. Let z be c(-4). Let v be 96/21 - z/(-14). Suppose v*y - 48 = -f - 1, 3*f - 181 = 5*y. Does 19 divide f?
True
Let j be (-30)/(-12) + (-2)/(-4). Suppose 15 = -2*d + j*d. Does 6 divide d?
False
Suppose 2*o + 4*q = 28, 2 = -q + 3*q. Does 12 divide o?
True
Suppose 2*h + 5*w + 20 - 1 = 0, -5*h = -4*w - 35. Let u = h - -1. Suppose -u*c = -14 - 130. Does 18 divide c?
True
Suppose 10*z + 206 = 12*z. Does 22 divide z?
False
Suppose -l - 8 - 1 = -2*w, 30 = 5*w - 4*l. Suppose -11 + w = -r. Does 3 divide r?
True
Let b(k) = k**3 + 5*k**2 - 2*k - 6. Let p be (-10 + 0)*1/2. Let t be b(p). Suppose 3*c + 4 - 5 = -5*l, 44 = t*c - 4*l. Is 3 a factor of c?
False
Suppose -h + 4*l + 52 = 11, -5*h = 3*l - 251. Is h a multiple of 10?
False
Suppose 0 = 2*w - 5 - 1. Let b be 1 + (-2 - 3)/(-1). Let c = w + b. Does 9 divide c?
True
Suppose -21 = -3*u - 2*j, -5*u + j = -j - 19. Let p(n) = -n + 6. Let g be p(u). Is 17 a factor of (-50)/(g - 2) - 0?
False
Let o = -19 - -35. Suppose -2*j - 5 + 2 = 5*w, 4*j = -o. Suppose w = -4*r + 13. Is 3 a factor of r?
True
Suppose 5*c + 104 = 269. Does 3 divide c?
True
Suppose 5*f + 5*u - u = 143, 0 = 2*f + u - 56. Does 14 divide f?
False
Is 6312/60 - 1/5 a multiple of 35?
True
Let m be (-34*1)/(-2) - -1. Suppose -4*g + m = -46. Is g a multiple of 9?
False
Suppose 5*m = -3*x - 558, 10*m - 4*x + 551 = 5*m. Let c = -78 - m. Is c a multiple of 10?
False
Suppose -8*r = -3*r - 3*a - 244, 2*r = -5*a + 79. Let i = r + -33. Is i a multiple of 7?
True
Suppose 1 = -l + 7. Is l/36 - 214/(-12) a multiple of 9?
True
Let g be 14*5/((-10)/(-8)). Let q = -38 + g. Does 9 divide q?
True
Let x = -77 - -97. Is 5 a factor of x?
True
Let s(v) = 34*v**2 - v. Is s(-1) a multiple of 13?
False
Let l be (7 - 0)*5*1. Suppose 3*h = 7*h + 3*y + l, 4*h + 59 = 5*y. Let s = -5 - h. Is s a multiple of 3?
True
Suppose -3*f = 65 - 311. Is f a multiple of 21?
False
Let w(c) = -c**3 - 5*c**2 + 5*c - 5. Let z be w(-5). Suppose 88 = -4*h - 5*g, 4*h + 73 - 1 = -g. Let n = h - z. Does 13 divide n?
True
Let t(y) be the second derivative of y**5/24 - 3*y**4/8 + y**3/2 - 3*y. Let u(f) be the second derivative of t(f). Is 13 a factor of u(7)?
True
Let t(n) = n**3 + 6*n**2 - 7*n + 10. Let d be t(-7). Is (-9)/6*d/(-3) even?
False
Suppose -2*s = 5*p - 3*s + 4, 2*p + 2*s = 8. Suppose p = j - 6*j + 70. Does 14 divide j?
True
Suppose 3*a = -a + 256. Suppose 6*f = 2*f + a. Is 16 a factor of f?
True
Suppose 2*s - 48 = -4*s. Is 2 a factor of s?
True
Suppose p = -2*p + 30. Is p a multiple of 7?
False
Let x = -6 + 6. Let p(t) = t**2 + 2 + 1 + x - 3*t. Does 4 divide p(4)?
False
Let m(d) = -d**3 - d**2 + 7*d + 4. Is m(-4) a multiple of 12?
True
Let c be (25/10)/((-1)/(-2)). Suppose 0 = -4*z + w + 156, 3*w = 2*z - c*z + 132. Suppose -z = -6*n + 2*n. Is 5 a factor of n?
True
Let t be ((-18)/15)/(15/50). Suppose -r - 2*r = 3*m - 18, 0 = -3*r + 4*m - 10. Is 14 a factor of 4/t + 16*r?
False
Let n(l) = -6 - 2*l + 7 + 5*l**2 - 3*l**2. Let g be n(2). Suppose 4*p - 173 = -g*o, -3 = -2*o - 1. Is 16 a factor of p?
False
Suppose -p + 3*p - 3*u = 889, 4*p = -2*u + 1754. Let v = -200 + p. Suppose 6*t - v = t. Is 16 a factor of t?
True
Suppose 3*y = -s + 11, -2*y + 2 = s - 3*s. Suppose 56 = y*z + h, -2*h - 8 = -0*h. Does 10 divide z?
True
Suppose -4*k + 4 = -3*k. Is k a multiple of 3?
False
Suppose 4*y - 214 = 14. Suppose -5*r = 4*s - 155, -r + s - 17 + 57 = 0. Let v = y - r. Does 8 divide v?
False
Let n(q) = -16*q**3 - q**2 - 2*q - 2. Does 4 divide n(-1)?
False
Suppose -2*x + 4*u = 18, 44 = -2*x - 2*x + 4*u. Let c = x + 43. Is c a multiple of 15?
True
Let w(n) = -1. Let o(r) = r - 4. Let k(q) = -o(q) + 4*w(q). Let v be k(2). Let y(x) = x**3 + 3*x**2 + x + 1. Is 2 a factor of y(v)?
False
Suppose 103 = 4*m - 4*r + 27, 5*m - r = 111. Is 3 a factor of m?
False
Let v(w) = 5*w**3 - 3*w**2 + 5*w - 8. Is v(2) a multiple of 3?
True
Does 7 divide 4/16 - 444/(-16)?
True
Suppose -3*c + 4*c - 2*g = 69, 0 = -3*c + 5*g + 205. Does 5 divide c?
True
Suppose 4*b = b + 90. Is (b/(-7))/((-2)/14) a multiple of 30?
True
Let w be -2 - 1/(3/(-21)). Suppose -4*u - 1 + w = 0. Let h = u - -3. Is h a multiple of 3?
False
Suppose 5*y = 5, y - 141 = -2*o - 0*y. Suppose 184 = 3*m - v, 2*m - 4*v = 3*m - o. Suppose 83 + m = 5*b. Is 16 a factor of b?
False
Suppose -5*p - 4*f = 13, 0 = -5*p - 0*p + 3*f - 34. Let v = p - -11. Is 2 a factor of v?
True
Let a(i) = i**3 - 5*i**2 - 4*i - 3. Let v be a(6). Suppose -f + 18 = -v. Does 10 divide f?
False
Let h = 128 - 90. Is 17 a factor of h?
False
Let n(v) = 4*v**2 + 13 - 4*v**2 - 8*v + v**2. Let p be 0 + 5 + 4/1. Does 7 divide n(p)?
False
Let y(n) = -2*n + 2. Let q be y(4). Let a be 2/6 + 2/q. Suppose 3*i - 4*o - 112 = 0, a*o + 3*o = -2*i + 52. Is i a multiple of 16?
True
L