 + 16 = -4*j. Let f be -1 - (4/j)/1. Suppose -5*k - l + 26 + 34 = f, 0 = -4*k + l + 57. Is 5 a factor of k?
False
Let l(x) = 2*x - 26. Let a be l(14). Suppose -r = a*y - 37, -4*y = -3*y + 4*r - 29. Is y a multiple of 8?
False
Let r = -170 - -980. Suppose -5*o + l = -27 - r, -o - 3*l = -177. Does 21 divide o?
True
Let t be 21/(-28) - (-406)/8. Let y = t + -26. Does 3 divide y?
True
Let t(u) = -3*u**2 - 16*u + 3. Let j(f) = 2*f**2 + 16*f - 3. Let d(a) = 4*j(a) + 3*t(a). Let k be d(11). Is 2/(((-8)/k)/(-2)) a multiple of 13?
True
Let x = 324 + -290. Does 12 divide x?
False
Suppose 3*w = -9, -4*j + 5*w - 3 + 22 = 0. Let v be j/2 + 4/(-8). Suppose 4*u + v*u = 48. Is 6 a factor of u?
True
Does 6 divide 405/(-6)*(-40)/25?
True
Suppose 5*o = -y + 55, -4*o - 6*y + 65 = -y. Let i be o/4 + 2/4. Suppose -3*f = -i*t - 2*t - 135, -f + 45 = -t. Is f a multiple of 18?
False
Let p(s) be the second derivative of -s**3/3 + 17*s**2/2 - 11*s. Let v be p(6). Suppose a = -3*y + 102, 0 = v*y - y - 3*a - 149. Is 5 a factor of y?
True
Let m(s) = -s**2 - 2*s - 1. Let t be m(2). Let w(a) = -3*a**2 - 6*a + 5. Let g(x) = 13*x**2 + 23*x - 21. Let z(l) = -2*g(l) - 9*w(l). Is 4 a factor of z(t)?
False
Suppose 838 = 5*f + 4*a - 898, 2*a = 8. Suppose -8*h + 4*h = -f. Is h a multiple of 19?
False
Suppose h + 0*h = 0. Suppose h = -18*t + 20*t - 32. Is t a multiple of 8?
True
Suppose 0 = 2*u - 7*o + 12*o - 126, -3*o = 2*u - 126. Does 12 divide u?
False
Suppose 0 = -b - i - 2*i + 91, -i + 441 = 5*b. Does 11 divide b?
True
Let l = -63 + 33. Let q = -28 - l. Is 13 a factor of q/((-16)/220)*-2?
False
Let o(t) = t**2 + 6*t - 7. Let s be o(-9). Let k(d) = s - 5*d**2 - 8 - 8 - d - d**3. Does 26 divide k(-6)?
False
Let c(k) = -k**3 + 13*k**2 + 16*k - 4. Let x = -28 - -42. Does 5 divide c(x)?
False
Let h = -11 - -20. Does 24 divide (36/10)/((-2)/((-600)/h))?
True
Let q(d) = 55*d + 65. Is 45 a factor of q(7)?
True
Suppose -3*s + 4*h - 84 = 0, 84 = -3*s + 3*h - h. Does 12 divide (s/(-12))/(1/57)?
False
Let n = -129 + 335. Does 8 divide n?
False
Let i(r) = -2*r**3 - 5*r**2 - r - 2. Suppose -2*n + y + y = 12, -2*y + 24 = -5*n. Does 13 divide i(n)?
False
Suppose 3*l = -2*k - k + 1014, 5*l - 1347 = -4*k. Is 13 a factor of k?
False
Let a(q) = -5*q**3 - 2*q**2 + 3*q + 3. Suppose -10*y + 7*y - 6 = 0. Is a(y) a multiple of 11?
False
Suppose -w = -3*w + 40. Suppose -2*d - 3*d = -w. Suppose 80 = d*m + 8. Is 14 a factor of m?
False
Let z(i) = 6*i - 7. Let k be z(1). Is 11 a factor of 1*((-231)/14)/(k/6)?
True
Let f(p) = p - 2. Let j be f(2). Suppose j = 4*t - t - 60. Is t a multiple of 5?
True
Suppose 2060*l - 14070 = 2053*l. Is 10 a factor of l?
True
Let s be 22/33*(-1 - -4). Suppose s*q - 12 - 30 = 0. Does 21 divide q?
True
Let u(g) = -102 + 20 + g - 10*g. Does 17 divide u(-28)?
True
Suppose 3*a - 25 = -5*y, 5*y = -5*a + 11 + 14. Suppose y*w + 7*w - 1452 = 0. Does 11 divide w?
True
Let g(w) = w**2 - 11*w + 6. Let b be g(6). Let t = b - -113. Is 33 a factor of t?
False
Let m(q) = 8 - 2 + 25 - 4*q - 4. Is m(0) a multiple of 6?
False
Suppose 5*y - 6*y = m - 2080, -y + 2060 = -3*m. Is 83 a factor of y?
True
Let w = -13 - -26. Let j = w + -11. Suppose 4*g - 14 + j = 0. Is 2 a factor of g?
False
Suppose -2*h + 3*d - 9 = -1, -20 = -4*h - 3*d. Does 9 divide h - 16*2/(-2)?
True
Let t(m) = m**2 - 12*m + 3. Let b be t(12). Suppose -b*v = -24 + 144. Let p = -23 - v. Is 8 a factor of p?
False
Suppose -2*y = 3*y - 4*c - 146, 85 = 3*y - 5*c. Does 2 divide y?
True
Let j be 9/4 + -2*4/32. Suppose -8*v + 66 - j = 0. Is v a multiple of 8?
True
Suppose -18*w = -15*w - 12. Suppose 0 = -2*h + q + 110, w*h - 208 = -0*h - 4*q. Is h a multiple of 10?
False
Suppose -2*w = 5*w - 1267. Let q = w + -135. Is 23 a factor of q?
True
Let w be 0/(9/(-3) + 4). Suppose 3*i + 5*a - 123 = w, 2*i - 2*a = 53 + 29. Is 6 a factor of i?
False
Let h be (1 - 0)*(224 - 9). Is 53 a factor of h - (-6)/((-16)/(-4) + -6)?
True
Let h be (2/(-4))/(1/6). Is h*(-21 + (8/(-6))/(-4)) a multiple of 20?
False
Let h = 234 - -658. Is h a multiple of 56?
False
Let w(o) = 3*o - 31. Let l be w(13). Suppose 9*k = l*k + 112. Does 16 divide k?
True
Let r(b) = b**3 - 6*b**2 + 2. Let n = -4 + 10. Let u be r(n). Suppose -2*h = u*f - 3*f - 59, -3*h + 3*f = -84. Is h a multiple of 15?
False
Let a = 112 - 49. Is 21 a factor of a?
True
Let n(g) = 12*g - 10. Let b be n(1). Suppose -2*j = 5*p - 101, -j + 2*p - 48 = -b*j. Does 10 divide j?
False
Suppose -2812 = -4*n - 4*b, 0 = 2*n - b - 3*b - 1436. Suppose 5*s = 5*i - 525, 2*s - 288 = 4*i - n. Is 21 a factor of i?
True
Suppose -4*j - 4*h = -3*h - 75, 5*j + 4*h = 102. Suppose 10*l = 4*l + j. Does 2 divide l?
False
Let l(q) = -14*q**2 + 50*q - 45*q + 13*q**2 - 1. Let y(i) = i - 1. Let g be y(5). Does 2 divide l(g)?
False
Suppose 0 = -7*x + 3*x - 5*j + 346, 3*x + j - 254 = 0. Is 2 a factor of x/(-9)*24/(-14)?
True
Suppose -z + 24 = 5*t, -t - t - 3*z = -7. Suppose t*h + 183 = 3*a - 388, -2*a + 4*h + 380 = 0. Is a a multiple of 12?
True
Let g = 245 - 236. Let k(o) be the first derivative of o**4/4 - 7*o**3/3 - 6*o**2 + 6*o + 1. Is k(g) a multiple of 10?
True
Suppose -5*y - 5 = 0, 4*y - 590 = -2*u - u. Does 33 divide u?
True
Suppose -711 = 2*d + v - 1691, -2*d + 964 = -3*v. Does 19 divide d?
False
Let d(n) = n**3 + 7*n**2 + 4*n + 2. Suppose -q = 2*q - 39. Let s = q + -18. Is d(s) a multiple of 16?
True
Let c(n) = 3 - 2*n + 5*n - 10. Let j be c(5). Suppose -j - 7 = -3*u. Does 2 divide u?
False
Let p be (-7)/(-1 - (-4 + 2)). Let j(c) = c**2 - 3*c + 5. Does 25 divide j(p)?
True
Suppose -g + 1846 = 5*d + 91, -2*d = -2*g - 714. Is d a multiple of 9?
False
Let n = 33 + -13. Suppose 2*p + 53 = 5*h - 69, -n = -5*p. Does 18 divide h?
False
Let a(f) = f**2. Let h be a(0). Let u(o) = o + 9*o**2 + o**3 + 0*o + 3*o + h*o**3 + 4. Does 29 divide u(-6)?
False
Is 2*5 + 2522 + 80 a multiple of 96?
False
Suppose 4*v + 2*w = -16, 5*v + 2 = 3*v - 4*w. Let h(m) = 7*m + 11. Let l(c) = 4*c + 5. Let u(t) = v*l(t) + 3*h(t). Does 5 divide u(0)?
False
Suppose 3*c + 0*c = 15. Suppose k + f - 3*f + 4 = 0, -19 = -2*k - c*f. Suppose k*s + 73 = i - 2*s, 37 = i + 5*s. Is 22 a factor of i?
False
Let p = 1 - 4. Let b = -248 + 247. Is 16 a factor of (-39)/((b - p)/(-2))?
False
Let c(f) = f + 2. Let z(p) = -9*p - 36. Let h(v) = -12*c(v) - z(v). Is 3 a factor of h(2)?
True
Let c = 138 + -27. Let q = c + -14. Is 33 a factor of q?
False
Let j(u) = -u - 13. Let q be j(-17). Let k = q + 58. Does 17 divide k?
False
Let s = -643 + 673. Is 15 a factor of s?
True
Let f(p) = -p**3 - 13*p**2 - p - 7. Let y = -30 + 17. Let u be f(y). Is 6 a factor of u/5*(11 + -6)?
True
Let d = 180 - 119. Is 7 a factor of d?
False
Let h be (-3 + -4 + 8)*2. Suppose 0*b - h*t = 2*b - 32, -3*b = -4*t - 76. Is b a multiple of 10?
True
Suppose 2*v + 3*v = 0. Suppose v = -u + 2*u - 172. Suppose 2*h = -h - 4*j + u, 0 = -5*h - 3*j + 272. Is 15 a factor of h?
False
Let d = 22 - -6. Let q = 111 - d. Is 6 a factor of q?
False
Suppose 47 = 4*c + 3*g - 328, -2*c = -5*g - 155. Is c a multiple of 9?
True
Let r(g) = g**3 - g**2 - g + 38. Let c be r(0). Suppose -c = -2*f + 5*w, 2*f - 3*w - 13 = 21. Let o = 21 - f. Is o a multiple of 3?
False
Suppose -21 = -4*a - b, 10 = 5*a + 4*b - 30. Suppose -i - 3*k = -8*k - 103, -2*i = a*k - 220. Is i a multiple of 17?
False
Let q = -28 + 79. Let a = q + -41. Is 5 a factor of a?
True
Suppose 0 = 4*s - l - 5456, -5*l + 350 + 2378 = 2*s. Is s a multiple of 44?
True
Is 8 a factor of ((-8)/4)/(10/(-3760))?
True
Let h = 286 - 109. Suppose -3*l + h = x - 0*x, 2*x - 3*l = 363. Is x a multiple of 30?
True
Let n = 386 + -248. Does 6 divide n?
True
Let q = 2408 - 1713. Is q a multiple of 21?
False
Let k = -30 - -48. Suppose 5*v - 4*v = k. Does 9 divide v?
True
Suppose 0*u = 5*g - u - 27, -21 = -5*g + 3*u. Suppose -a + g = -48. Does 8 divide a?
False
Let d(i) = i**2 - 7 + 5 - i + 25 - 11*i. Does 9 divide d(12)?
False
Let v(c) = 3*c**2 + 8*c - 10. Let u be v(6). Suppose -4*g + u = -y, y = -4*g + 122 + 20. Is 9 a factor of g?
True
Let h(i) = 24*i + 4. Let w be h(5). Let d = w - 183. Let x = d - -91. Is 7 a factor of x?
False
Let b = 85 + -94. Let t be (-1886)/10 - (-4)/(-10). Does 18 divide -4 + 1 + t/b?
True
Suppose 2*d = 15*d - 780. Is 15 a factor of d?
True
Let j(v) = v**2 + v - 1