 = 12. Is b a multiple of 5?
True
Suppose 3*v - 3*u = 18, -5*v - 5*u + 1 + 9 = 0. Suppose 5*m - v*m - 2*f - 25 = 0, -2*f + 140 = 4*m. Does 11 divide m?
True
Suppose 130 = 2*j - 4*v, -2*j - 3*j = -v - 325. Does 7 divide j?
False
Suppose -2*a = 3*x - 8, 2*x + 4 = a - 0*a. Is -2 + a/2 + 4 a multiple of 4?
True
Suppose -p + 0*t = 2*t - 74, -3*t = -4*p + 252. Is p a multiple of 6?
True
Let s(u) = u + 21. Let o(d) = -d - 11. Let n(c) = 5*o(c) + 3*s(c). Does 20 divide n(-6)?
True
Is 4 a factor of ((-6)/4)/((-2)/16)?
True
Suppose 2 - 122 = -3*z + 3*s, 5*z - s = 216. Is 7 a factor of z?
False
Suppose -o = -0*o - 11. Suppose -o = 3*x - 140. Does 9 divide x?
False
Let w(a) = a**2 - 8*a + 2. Let k be w(7). Let r = 22 + k. Is r a multiple of 7?
False
Does 16 divide ((-54)/5)/(16/(-80))?
False
Let p(o) = o**3 - 2*o**2 + 4. Is p(2) a multiple of 4?
True
Let g(o) = -2*o**3 + 2*o**2 + 3*o + 3. Is 41 a factor of g(-4)?
False
Let j(w) = -w**2 - 5. Let v be j(-5). Is 15 a factor of ((-18)/v)/((-1)/(-25))?
True
Let y(i) = -i**3 - 4*i**2 - i - 4. Let t be y(-4). Let w(r) = r + 31. Let x be w(t). Suppose f - 4*b - 34 = 0, -f = -3*b - 1 - x. Is f a multiple of 12?
False
Does 11 divide ((-20)/(-30))/((-1)/(-447)*2)?
False
Is (70/(-25))/((-1)/5) - 2 a multiple of 6?
True
Let u(z) be the first derivative of z**4 + 2*z**3/3 - z**2/2 + 1. Let v be u(1). Suppose -1 + v = c. Does 4 divide c?
True
Let u(t) be the third derivative of -t**6/60 + t**5/15 + 3*t**3/2 + 3*t**2. Let c(p) = p**3 - 2*p**2 - 4. Let l(i) = -13*c(i) - 6*u(i). Is 10 a factor of l(-2)?
False
Let y(t) be the first derivative of t**3/3 + t**2 - 4*t + 2. Let h be y(-3). Is h/(3/(-84)) - -2 a multiple of 12?
False
Let v(c) = -c - 3. Let s be v(-6). Let t be 2 + ((-10)/(-2) - 3). Suppose -q + 13 = -9*u + t*u, s*u = -q + 5. Is q a multiple of 4?
True
Let j = 236 + -138. Is j a multiple of 14?
True
Let f be (-3)/2*(-8)/3. Let r be f/6 + (-4)/(-3). Suppose -4*o + r*o = -20. Is o a multiple of 5?
True
Let a = 40 - 10. Is a a multiple of 3?
True
Suppose -3*h + h = -516. Suppose -4*m + 250 = -f, 4*m + 6*f - 3*f = h. Suppose q - 27 = -2*n - 4*q, -3*n = 3*q - m. Does 13 divide n?
True
Suppose 4*x + 3*i = 231, 0*x - 5*x + 245 = -5*i. Is 18 a factor of x?
True
Let f(v) = 4*v + 4. Let o be f(4). Suppose -4*c + o = -3*c. Is c a multiple of 11?
False
Let m(l) = -3*l - 1. Let c be 3 - (2 + -3)*-6. Does 4 divide m(c)?
True
Suppose 4*u = 8, 3*u + 2*u = 4*x + 22. Is x/(2*12/(-88)) a multiple of 11?
True
Suppose 106 = 2*h + 2*o, 2*h - 104 = -0*h - 3*o. Is 18 a factor of h?
False
Is 68/17 + 64/2 a multiple of 6?
True
Suppose 0 = 10*s - 478 - 2322. Does 14 divide s?
True
Let h(w) = -3*w**3 - w**2 - 2*w - 1. Let x be h(-1). Suppose 5*l - 4*f + 3 = 0, -1 - 7 = -2*l - x*f. Is 19 a factor of (l - 1*-35) + 0?
False
Suppose 86 + 122 = c. Is c a multiple of 26?
True
Let p(v) = 3*v**2 - 20*v - 2. Does 12 divide p(-6)?
False
Suppose 3*t - 7 - 8 = 0. Suppose 0 = t*o - 2*o. Suppose o = 2*d + d - 66. Is d a multiple of 13?
False
Let d be (3/1)/((-6)/(-8)). Suppose 2*v = d*v - 80. Let l = v + -8. Is l a multiple of 14?
False
Let t(j) = 7*j**3 - 7*j**2 - 27*j - 14. Let p(b) = 3*b**3 - 4*b**2 - 13*b - 7. Let o(l) = -9*p(l) + 4*t(l). Does 13 divide o(-6)?
False
Let s be (-4)/6 - 465/(-9). Let h = s - 26. Is 12 a factor of h?
False
Suppose 0*o + 5*y + 1 = 3*o, -13 = -4*o - 5*y. Let w be -12*(o + 1)/(-3). Does 11 divide (w/(-8))/((-6)/88)?
True
Suppose -3*y - c = 4*c + 9, 3*c = -9. Let s = y + 19. Is 21 a factor of s?
True
Suppose 2*z + 0*z = 8. Suppose 38 + 2 = z*g. Does 5 divide g?
True
Suppose 6*p + 10 = p. Does 8 divide -2*(-2 + 7/p)?
False
Suppose -n = -0*n + 2*h - 221, 20 = 5*h. Let k = -107 + n. Is k a multiple of 34?
False
Suppose -6*o - 13 - 11 = 0. Let v(k) = 2*k**2 + 4*k + 11. Let w(c) = 2*c**2 + 4*c + 12. Let y(j) = 6*v(j) - 5*w(j). Does 11 divide y(o)?
True
Let l = -19 + -12. Does 10 divide -1*(l - (-2 + 0))?
False
Let x(w) = -w**2 - 9*w - 8. Let y be x(-8). Let k = 0 - y. Suppose -5*b + 28 + 202 = k. Is b a multiple of 23?
True
Let j be ((-80)/(-6))/(1/3). Suppose f = -6 + j. Suppose -i - i + f = 0. Does 15 divide i?
False
Let s = 9 + 2. Suppose 0 = -k + s. Is k a multiple of 11?
True
Suppose 0 = -3*h - 5*a + 101, 5*a + 5 = -h + 52. Does 7 divide h?
False
Suppose 0 = -y - 4*v - 6, 0 = 2*v + 2 + 2. Let s = -24 - -153. Suppose 3*c - 5*i = -y*i + s, -3*i + 207 = 5*c. Does 21 divide c?
True
Suppose 5*k - 6 = 9. Suppose -213 = w - 6*w - k*i, 0 = w + 5*i - 25. Is 15 a factor of w?
True
Suppose -u + 7 = -5*m, 0 = u + 5*m + 6 - 33. Suppose -k - k + 15 = -r, u = 2*k + r. Does 4 divide k?
True
Let b(q) = -2*q + q**2 + 1 - 39*q**3 - 3*q**2 - 2. Does 19 divide b(-1)?
True
Let l be 1/(-3) - 6/(-18). Suppose l = k - 2, k + 67 + 1 = 5*f. Does 7 divide f?
True
Suppose -2*c + 6 - 2 = 0. Suppose -c*o + 2 = 0, -5*i + o = -2*o - 157. Is i a multiple of 16?
True
Suppose -4*j + 308 = 4*r, 2*r - 68 = 2*j - 218. Does 19 divide j?
True
Let u(d) be the second derivative of 5/6*d**3 + 2*d + 0 + 2*d**2. Does 9 divide u(6)?
False
Suppose 0 = 22*j - 26*j + 168. Is j a multiple of 6?
True
Let v be -2 - -2 - 1 - -4. Suppose v*n = -2*n. Suppose -2*w + 8 + 10 = n. Is 4 a factor of w?
False
Suppose 5*h + c + 608 - 1710 = 0, 0 = 5*h + 3*c - 1106. Is h a multiple of 21?
False
Let b = 128 - 91. Is 8 a factor of b?
False
Let o(f) = 8*f - 4. Let x be o(3). Suppose 3*y - x - 79 = 0. Is y a multiple of 12?
False
Let n(k) = 2*k**2 + 5*k - 1. Suppose -4*u = l + 136, 0 = 3*u + 2*u + 2*l + 167. Let q be u/(-28)*(-4)/1. Is 9 a factor of n(q)?
False
Suppose 5*g - 21 = 4. Suppose a + d = 57, -g*d = 3*a + a - 231. Is a a multiple of 18?
True
Let y be (-6)/4*4/3. Let h = y + 6. Does 4 divide h?
True
Let c(u) = 39*u + 3. Is c(1) a multiple of 13?
False
Suppose 2*b = 5*b - 180. Suppose 9*u - 6*u = b. Is u a multiple of 20?
True
Suppose 5*s - 143 = 4*t, 5*s + 0*s + t - 133 = 0. Is s a multiple of 9?
True
Let c be (4/(-6))/(14/(-21)). Is 16 a factor of 52 + (-3)/1 - c?
True
Let v(l) = l**3 + 21 + 16*l + 18*l**2 + 0*l - l. Is v(-17) a multiple of 21?
False
Suppose -6 - 9 = -5*x, 3*a + 2*x + 12 = 0. Let l be a/(-4)*(-60)/(-18). Suppose 0 = -l*i + i + 5*j + 162, 2*i + 4*j = 94. Is 20 a factor of i?
False
Suppose 0 = -0*r - r + 5. Let p(k) = -k**3 + 6*k**2 - k + 6. Is p(r) a multiple of 13?
True
Let g = -6 + -4. Does 10 divide 96/10 - g/25?
True
Let a(l) = l - 1. Let o be a(5). Does 10 divide (o/10)/(1/55)?
False
Let b = -1 - -5. Suppose -5*f = -5, 4*f = 4*a + 2*f - 274. Suppose 3*k - 5*s - a = 0, -b*s + s + 69 = 3*k. Does 12 divide k?
False
Suppose 5*m - 3*m - 4 = 0. Let l be 0/((m - 1) + 0). Let h(b) = -b**2 - b + 40. Is 11 a factor of h(l)?
False
Let l(z) = 25*z. Is 5 a factor of l(1)?
True
Let u(p) = -2*p**3 - 5*p**2 - 2*p + 3. Let y be u(-3). Does 15 divide (-1000)/(-36) - (-4)/y?
False
Suppose -6*n + n = -165. Is n a multiple of 30?
False
Suppose o = 4*z + 91, z + 45 = -4*o + 1. Let k be (10/3)/(4/z). Let s = -1 - k. Is s a multiple of 10?
False
Let s(y) = -y**3 + 5*y**2 + y + 12. Is s(5) even?
False
Let j be 5/(-15) + (-16)/6. Let x(k) = -20*k. Is 15 a factor of x(j)?
True
Let k be (-7 + 8)/(2/30). Suppose t - 20 = -l + 3*l, l = t - k. Is 10 a factor of t?
True
Suppose 0 = 5*h + 2*t - 158, -5*h + 3*t + 169 - 31 = 0. Suppose 3*y - 12 - h = 0. Is y a multiple of 10?
False
Let s = -2 - -4. Suppose -2*i + s = -2, -27 = -p - i. Is p a multiple of 14?
False
Let j be -2 + (-5)/(15/(-18)). Let v be (-4)/(-2)*5/2. Suppose 2*w - j*n - 30 = 4, -4*w + 65 = -v*n. Is w a multiple of 8?
False
Suppose 3*y - 64 = 260. Let w = 180 - y. Suppose -2*s = -6*s - 4*u + w, -2*u = -2*s + 36. Does 9 divide s?
True
Suppose 4*o = 4*r + 676, 172 = o + 3*r - 7*r. Is 29 a factor of o?
False
Suppose 37 = 3*s + 2*s + 4*m, 0 = -2*s + 2*m + 22. Suppose -2*g = -3 - s. Is g a multiple of 5?
False
Suppose 2*w + 2*w - 180 = 0. Does 9 divide w?
True
Suppose -4*u = -8*u + 76. Suppose -n = -5 - u. Does 12 divide n?
True
Suppose 0 = 3*m + 2*m + 5, 0 = -3*r + 4*m + 85. Does 16 divide r?
False
Suppose 29 = 2*t - 61. Does 19 divide t?
False
Is 20 a factor of (-16)/10*25/(-2)?
True
Suppose 4*c - 22 = -3*v, -2*c + 6*c = -20. Does 5 divide 198/21 - 6/v?
False
Let j(a) = a**3 - 10*a**2 + 4*a + 4. Let l be j(9). Let i = l - -113. 