 (-4)/2. Suppose w - o = r, 0*v - 26 = -v - 4*w. Does 10 divide v?
True
Suppose 5*y + 59 = 5*j - 21, -5*y + 5 = 0. Does 2 divide j?
False
Suppose -16*w - 3*w + 20539 = 0. Is 47 a factor of w?
True
Is 64 a factor of (-4 - 2812/(-4)) + (2 - -3)?
True
Let w(j) = 111*j + 29. Is w(3) a multiple of 25?
False
Let m(o) = 52*o - 16. Let f(r) = -r**2 + 6*r - 1. Let v be f(4). Let c be m(v). Suppose 5*p - p = c. Does 16 divide p?
False
Let a(i) = i**2 + 14*i + 17. Let b be a(-13). Suppose -m + 2*m + 2 = 0, -156 = -b*j - 2*m. Is j a multiple of 8?
True
Suppose 0 = -5*h - 103 - 512. Suppose -8*y - 435 - 133 = 0. Let w = y - h. Is 11 a factor of w?
False
Let n(h) = 4*h - 5. Let a be n(3). Let g(p) = 2*p**3 - 14*p**2 + 7*p + 5. Let c(m) = -m**3 + 7*m**2 - 4*m - 3. Let f(y) = 5*c(y) + 3*g(y). Does 6 divide f(a)?
False
Let k = -17 + 27. Is 23 a factor of 688/k - (5 - (-130)/(-25))?
True
Let k(h) = 994*h**2 + 5*h + 7. Is k(-1) a multiple of 10?
False
Suppose 7*t - 15 = 4*t - g, 3*t - 2*g - 6 = 0. Is (-69)/(-4 + 7 - t) a multiple of 23?
True
Suppose -3*n - 36 = -3*p, -2*p = -n - 16 - 12. Suppose -5*k - 12 + 0 = -4*u, 5*k = 2*u - p. Let b = 9 - k. Does 3 divide b?
False
Let o be (160/48)/(2/141). Let u = o - 55. Is 18 a factor of u?
True
Let d(f) = 24*f**2 - 5 - f + 4 + 42*f**2 + 41*f**2. Is d(-1) a multiple of 13?
False
Let d(q) = q**3 + 7*q**2 + 11*q + 1. Let j be d(-5). Does 4 divide 1404/182 + j/(-14)?
True
Suppose 2*t + 2*t + 1060 = 0. Let o = -168 - t. Suppose 4*c + 0*c - n - o = 0, -n = c - 23. Is c a multiple of 4?
True
Let i be ((-4)/(-16))/(1/20). Suppose -2*g - 4*z = -12, 0 = 2*g - 2*z + i*z - 11. Suppose -5*c + g*x + 247 = 0, 3*c + 0*x + 4*x = 161. Is c a multiple of 17?
True
Suppose 55 = 5*b - 20. Let t = b - -83. Is 12 a factor of t?
False
Let y be (-152)/6 - 8/(-24). Let g = -49 - y. Does 5 divide (-3)/(-12) + (-450)/g?
False
Let o = 1256 - 1102. Is 14 a factor of o?
True
Let z(y) = 19*y**2 + 3*y + 5. Let n be z(-2). Let t = 129 - n. Is t a multiple of 11?
False
Let m be -2 - (4 - (-12 + 5)). Is (230 - m)*(0 + 1) a multiple of 14?
False
Suppose -2*b - 2*b + 36 = 0. Let g be 25/b + 8/36. Suppose g*n - 45 = 243. Does 24 divide n?
True
Let t(c) = c - 3. Let b be t(10). Suppose 10*d - b*d - 117 = 0. Is d a multiple of 13?
True
Let u = -122 - -150. Suppose 0 = -26*m + u*m - 170. Is 17 a factor of m?
True
Let q = -76 - 5. Let k = q + 118. Let t = 11 + k. Is 12 a factor of t?
True
Let z(q) = -7*q**3 - 3*q - 1. Let a be z(-2). Let i = a + -4. Does 11 divide i?
False
Is -66*6/2*10/(-3) a multiple of 33?
True
Suppose -71*c = -72*c + 936. Does 18 divide c?
True
Let l(q) = -q**3 - 5*q**2 + 9. Let n(i) = 3*i**3 + 16*i**2 - i - 27. Let h(f) = 7*l(f) + 2*n(f). Is h(-5) a multiple of 23?
True
Let p(v) = -v**2 - 36*v + 16. Is 2 a factor of p(-4)?
True
Suppose 5*s + 5400 = 17*s. Is s a multiple of 15?
True
Let b be ((-4)/12)/((-5)/90). Suppose -6*k - 5*n = -k - 35, 2*k - 2*n = b. Is k even?
False
Suppose 4*h - 13 = -5*l, -l - 5 = 2*l - 4*h. Let t be 176 + -7 - (l - -2). Suppose -5*z - t = -4*k, -6*k + 2*k + 158 = -z. Is 10 a factor of k?
False
Suppose -10*c + 11*c = 528. Is 11 a factor of c?
True
Is (-17)/(153/(-6))*2874 a multiple of 12?
False
Let x be (-1)/(-1 - 6/(-7)). Let t = -3 + x. Suppose 0 = -c + s + 43, c + t*c - s - 227 = 0. Is c a multiple of 22?
False
Let w = -74 - -71. Let i(j) be the second derivative of -3*j**3/2 + 7*j**2/2 + j. Is 28 a factor of i(w)?
False
Let n(o) = 73*o - 1. Let q(m) = 36*m - 1. Let k(x) = 4*n(x) - 9*q(x). Is 12 a factor of k(-1)?
False
Let j(x) = 35*x**3 + 7*x**2 + 6*x + 12. Let l be j(-5). Is 15 a factor of 10/6 + l/(-18)?
False
Suppose -l = 2*l + 3*i + 84, -4*i = -2*l - 74. Let o = 13 - l. Is 17 a factor of o?
False
Let t(m) = -m**2 + 16*m + 602. Is t(0) a multiple of 23?
False
Let a(z) = -17*z + 4. Let p be a(-5). Suppose -6 = 3*r, 3*d = 2*d + 5*r + 10. Suppose d = -2*g + 15 + p. Is g a multiple of 26?
True
Suppose -4*z + 3*z + o = 3, 0 = 5*z - 2*o + 6. Suppose 416 = 2*i - 4*c, z = -4*i + 4*c - 0*c + 816. Is 40 a factor of i?
True
Suppose 109*l - 216685 - 34451 = 0. Is 48 a factor of l?
True
Let z be (9 - (0 + 5))*2. Let a(s) be the first derivative of s**4/4 - 3*s**3 + 6*s**2 - 4*s + 2. Is 28 a factor of a(z)?
True
Let q(n) = -n**3 - 7*n**2 + 8*n + 7. Let u be q(-8). Let t(w) = -w**3 + 9*w**2 - 6*w + 6. Let x be t(u). Suppose 0 = -2*o + 126 + x. Is 21 a factor of o?
False
Suppose -3*n - 4 = -4*o - 1, 2*n = -2*o + 12. Suppose -n*b + 500 = 4*z, 190 = 3*b - 3*z - 317. Is b a multiple of 42?
True
Suppose 0 = t + t + 4*h + 2, -3*t + 3*h + 6 = 0. Let n(x) = x**2 + 15*x - 22. Let a be n(-15). Does 2 divide (t + 7)*(-11)/a?
True
Is 9 a factor of 4698/10*(12 - 234/27)?
True
Let w = -283 + 519. Is 8 a factor of w?
False
Suppose -19122 - 12198 = -27*f. Does 21 divide f?
False
Suppose -i = -31 + 33. Is 7 a factor of 185/4 + i/8?
False
Let s(c) = c**3 + 6*c**2 + 3*c - 4. Let n be s(-5). Let h(y) = 10*y - 177. Let v be h(30). Suppose v = n*r - 3*r. Is r a multiple of 10?
False
Suppose -2*w + 3304 = 968. Is w a multiple of 13?
False
Let v = 105 - 109. Let d(z) = -z**3 + 7*z**2 + 7*z + 2. Let l be d(8). Does 6 divide v/l*(-2 - -20)?
True
Let z(v) = 3*v**2 - 12*v - 89. Is 26 a factor of z(15)?
False
Suppose -3*q + 10 = -2*h, -3*h - 12 = -0*q - 3*q. Let l be (-1)/h + (-728)/(-16). Suppose 3*z + l = i, -z - 47 = -i + 3*z. Is i a multiple of 15?
False
Let j be (-68)/(-18) - (-10)/45. Suppose -5*o + l + 20 = 5, j*o - l - 11 = 0. Suppose o = -w + 28. Is 12 a factor of w?
True
Suppose -7*y = -3*y - 12. Suppose -4 = -y*i + 2. Suppose i*d - 53 - 19 = 0. Is 9 a factor of d?
True
Let m(h) = 29*h - 15. Let o = -10 - -16. Let c be m(o). Suppose -t + c = -0*p + 5*p, 3*p - 2*t = 85. Is p a multiple of 10?
False
Let h(b) = -3*b**3 + 18*b**2 + 3*b + 10. Let f(j) = -7*j**3 + 37*j**2 + 5*j + 20. Let s(z) = -4*f(z) + 9*h(z). Is 22 a factor of s(-13)?
True
Suppose 0 = -i - s + 3, 3 = i + 2*s. Suppose 0 = -i*a + 2*d + 356, -4*d + d = -2*a + 229. Is a a multiple of 8?
False
Let u(v) = -v + 9. Let k be u(7). Suppose -k*z = 2*z - 16. Suppose 3*j + 10 = l - 5, -5*l + 97 = -z*j. Is 13 a factor of l?
False
Let n(u) = -33*u + 2. Let y be n(-1). Let i be (1/(-3))/(1/(-12)). Is y/10 + 2/i a multiple of 3?
False
Suppose 5*i = 4*i - 3. Let b be 1/(1/26)*-1. Let h = i - b. Does 9 divide h?
False
Let a = -127 - -518. Does 22 divide a?
False
Let g be (1 - (-293 - -3))/(1/3). Suppose v - 1017 = -5*b + g, 378 = b - v. Does 18 divide b?
True
Suppose -3*d + 5*q = -0*d + 16, -2*q = -2*d - 8. Does 9 divide (-6)/d + -1 + 0 + 41?
False
Suppose v = -k + 2733, -v + 6 = 2*v. Is 33 a factor of k?
False
Suppose -4590 = -4*n - 13*n. Does 54 divide n?
True
Let d = 231 - 112. Suppose 0 = 4*h - 5*a - d, -2*h + 56 = -h + 4*a. Suppose 0 = b - g - 21, 4*b - 4*g = 2*b + h. Is 9 a factor of b?
False
Let t = -4168 + 5966. Is t a multiple of 58?
True
Suppose -7*l + 3*l = -8. Let p(n) = -n**3 + n**2 + 2*n - 2. Let f be p(l). Is 10 a factor of (f/3)/((-4)/114)?
False
Let p(l) = l**3 + 9*l**2 + 10*l + 4. Let j be p(-7). Let k = 20 + j. Is k a multiple of 26?
True
Let u = 1524 + 56. Is u a multiple of 79?
True
Suppose 4*y + 4*m - 264 = 0, 2*m + 205 = 3*y - 2*m. Let k = y + -52. Is k a multiple of 15?
True
Let n(a) = 8*a**2. Let t = -100 - -95. Does 25 divide n(t)?
True
Let m(t) = -2*t. Let a be m(0). Suppose -3*l - l + 28 = a. Let g = l - -7. Does 7 divide g?
True
Let n(y) = y**3 + 45*y**2 + 110*y + 69. Does 30 divide n(-42)?
False
Let q(d) = 2*d**2 - 4*d - 7. Let i be q(-7). Let o = i - 82. Suppose u + 5*h - o = 0, 2*u + 4*h + 23 = 85. Does 8 divide u?
False
Let x = -346 + 508. Does 59 divide x?
False
Suppose -3873 = -3*h - 3*l, 0*h + 5*l = 2*h - 2575. Is 43 a factor of h?
True
Let y = -650 - -4262. Is 28 a factor of y?
True
Suppose 310*n = 301*n + 1539. Is n a multiple of 29?
False
Suppose -2*a + 56 = 56. Let v = 35 - a. Is v a multiple of 9?
False
Suppose -3*l + 0*l = -6. Suppose 45 = -l*o + k, -o + k = 6*k + 17. Is (0 + o)/(4/(-8)) a multiple of 17?
False
Let u = -285 - -1000. Is u a multiple of 13?
True
Let x be (-2 - (-2 + 2)) + -2. Let h = x - -6. Suppose -5*i = g - 6, -3*g - h*i - 2*i = -18. Is g a multiple of 3?
True
Let h = -975 + 1063. Is h a multiple of 11?
True
Let k(q) = q**3 + 10*q**