 = -2*a + j, p = a + 2*j. Suppose -k + 25 = 4*h - 9*h, 5*h + a = 5*k. Is 10 a factor of k?
True
Let n(j) = -j + 18. Let b be n(-13). Suppose b + 81 = 7*z. Is 15 a factor of z?
False
Suppose -3*d + 77 = 2*d - 2*o, 32 = 2*d - 2*o. Suppose 0 = -3*h + 5*h + 3*p - 305, 3*p = d. Does 29 divide h?
True
Suppose -2*w + 0 = -2. Let c be 0/(-7)*(2 - w). Suppose y = 4*p + 28, -y - 5*p = -c*y + 8. Does 6 divide y?
True
Let j(a) = 6*a + 12. Let i be j(5). Let p = i - 32. Is 10 a factor of p?
True
Suppose 0 = 6*g - g - 705. Suppose -5*p + 1341 = 2*s, 135 = p + 3*s - g. Is p a multiple of 35?
False
Suppose 0*m = -3*m. Let x be 2 + m*(-2 - -3). Suppose 6*o - 112 = x*o. Does 12 divide o?
False
Suppose 3*g = -36 - 6. Is (-35)/g*52/5 even?
True
Let c be 0 - (14/6)/((-7)/(-63)). Let i = 198 + c. Does 14 divide i?
False
Suppose -c - 448 = -2*h - 4*c, 2*c = 2*h - 448. Is h a multiple of 6?
False
Let w = 583 + -121. Is w a multiple of 4?
False
Suppose -16 = -14*v + 12. Let g(y) be the second derivative of 11*y**4/12 + y**2 + y. Does 10 divide g(v)?
False
Let f(m) = 2*m**2 + 11*m - 3. Suppose -z - 13 = -k, -2*z = -4*k + 3*k + 22. Is f(z) a multiple of 20?
True
Suppose 5 = y + 4*m, 2*m = -5*y - 2*m + 9. Is 7 a factor of (-6*y)/((-21)/98)?
True
Suppose n - 55 = 138. Is n a multiple of 32?
False
Let m = -1 + 19. Let n = 23 + 7. Suppose m + n = o. Does 10 divide o?
False
Suppose d - 3459 + 220 = 0. Is d a multiple of 12?
False
Suppose -42*d = d - 18490. Is 5 a factor of d?
True
Suppose 3 = 2*f - 37. Suppose 21*s - 91 = f*s. Is s a multiple of 11?
False
Suppose 9*s - 10*s + 4 = 0. Suppose -s*w + 2*f + 80 = 0, 4*f - 5*f + 100 = 5*w. Is 10 a factor of w?
True
Let t be (3 - 26/14)*21/6. Let b = 48 - t. Is 4 a factor of b?
True
Suppose -12*w + 3723 = -5157. Is w a multiple of 22?
False
Suppose g + 43 = 46. Is 23 a factor of 6/27 + 1015/9 + g?
False
Let t(k) = -k**3 - 7*k**2 - k - 4. Let n be t(-7). Suppose n*i = 2*q - 28 - 24, 36 = q + i. Does 16 divide q?
True
Suppose -u + 5*z = -6*u + 4835, 0 = -2*u + z + 1940. Is 17 a factor of u?
True
Suppose 6*x = -2*i + x - 11, 3*i + 5*x + 14 = 0. Is 11 a factor of i + 20/1 + 3?
False
Let n = 152 - 23. Suppose -2*x = -3*q + n, 199 = 5*q - 2*x + 4*x. Let c = 99 - q. Is 8 a factor of c?
False
Suppose 2*w + 10 = 7*w. Suppose w*l + 2*c = c + 157, -20 = 4*c. Does 12 divide l?
False
Let y(b) = 11*b + 4. Let i(x) = -10*x - 3. Let d(g) = -6*i(g) - 5*y(g). Let j(s) = s**3 + 6*s**2 - 9*s - 9. Let a be j(-7). Is 23 a factor of d(a)?
True
Let x = -92 - -82. Let z(y) = -y**2. Let c(f) = -5*f**2 - 12*f + 24. Let g(t) = c(t) - 4*z(t). Is 8 a factor of g(x)?
False
Suppose 5*x = 4*x + 22. Let d(w) = w**3 + w**2 - w - 11. Let h be d(0). Let u = x - h. Is 9 a factor of u?
False
Let i = 420 - 308. Is i a multiple of 16?
True
Suppose 4*j + y + 0*y - 324 = 0, -4*j + 2*y = -336. Is 7 a factor of -3 + 3 + j/2?
False
Let t = 1241 + -1067. Does 87 divide t?
True
Let y(h) = -h**3 + 10*h**2 + 9*h + 7. Let x be y(9). Let z = 239 - x. Does 14 divide z?
True
Let i(p) = p**2 + 7*p. Let a be i(-8). Let f = a + -12. Is 13 a factor of 3*9 - (f + 4)?
False
Let i be 32/(-5) - 6/10. Let q(a) = -a**2 - 6*a + 7. Let o be q(i). Suppose 2*f = -o*f + 30. Is 5 a factor of f?
True
Let m be 2/5 + (-94)/10. Let g(y) be the third derivative of -y**4/24 - 5*y**3/6 + 19*y**2. Does 4 divide g(m)?
True
Let f = 60 - 42. Is 3 a factor of f?
True
Let t(s) = s**2 - 4*s + 4. Let v be t(2). Suppose v = 5*x + y - 277, -4*x + 4*y + 250 = 38. Does 55 divide x?
True
Let r = -13 + 901. Is r a multiple of 24?
True
Let u = 6584 - 2959. Does 51 divide u?
False
Let v = -3228 + 6119. Is 67 a factor of v?
False
Suppose 0 = 4*h - 5*d - 45, -5*d = -3*h - 0*d + 40. Is 103 - (h + 20/(-4)) a multiple of 8?
False
Let q be (-5 + 111)*4/32*4. Suppose 56*z - q*z = 120. Is z a multiple of 8?
True
Suppose -5*k = -0*k + 2*k. Suppose k = 5*i - 130. Does 26 divide i?
True
Suppose -5 = 5*n - 15. Suppose h = -n*h + 60. Suppose -q + h + 0 = 0. Does 5 divide q?
True
Suppose -8*h + 727 = 87. Let f = 4 + h. Does 7 divide f?
True
Suppose 5*u = -4*h + 363, -2*u = -3*u - 5*h + 60. Suppose -655 = -5*g - u. Is 10 a factor of g?
False
Let w be 2 - (-4 - (-34 - 0)). Let j = 33 + w. Suppose 5*i + 44 = j*o - 156, 2*o - 64 = -2*i. Does 18 divide o?
True
Let n = 122 - 30. Does 44 divide n?
False
Suppose 3*p - 15*p = -1296. Let n = 118 + p. Does 12 divide n?
False
Suppose -4222 = -7*n + 5081. Is 17 a factor of n?
False
Is 1*(4134/6 + -6) a multiple of 15?
False
Let l(h) = 5*h + 6. Let m be l(7). Suppose -4*y + m = k - 149, k + 98 = 2*y. Suppose 2*f + 10 = 0, s + s - y = 2*f. Does 9 divide s?
False
Let s(h) = -16*h - 68. Let v be s(-19). Suppose 0 = 20*b - 22*b + v. Does 13 divide b?
False
Let p(s) = -s**3 + 2*s**2 + s - 7. Let y be p(3). Let h(v) = 2*v**2 + 19*v + 16. Is h(y) a multiple of 18?
False
Suppose -2*y = 3*y - 5, -5*y = 4*l - 25. Suppose 90 = -10*s + l*s. Let f(c) = c**2 + 16*c - 10. Is 13 a factor of f(s)?
True
Suppose -4*k + 1530 = -2*y, 5*k + 3*y - 1123 = 762. Does 18 divide k?
False
Let o = 1176 - 1052. Is o a multiple of 11?
False
Suppose 14 + 70 = 3*m + 4*g, -3*m + 2*g + 102 = 0. Does 4 divide m?
True
Let t = 3 - -1. Suppose t*b = 3*b - 147. Does 22 divide ((-66)/7)/(21/b)?
True
Suppose 9 = 3*g, 3*y - 4*g = y + 204. Does 4 divide y?
True
Suppose -g = -f - 533, -4*g + 1197 = -2*f - 935. Does 41 divide g?
True
Let m(u) = -u + 10. Let h be m(15). Is ((-2)/h)/((-6)/(-465)) a multiple of 9?
False
Let k be (-3)/(9/6*(-2)/101). Suppose 2*v + 4*w - 73 = k, -4*w + 91 = v. Does 19 divide v?
False
Suppose -24*a + 27*a = 1401. Is a a multiple of 31?
False
Let q(o) = o**3 + 7. Let w be q(0). Let u = -10 + w. Is 3 a factor of ((-2)/u)/((-4)/(-18))?
True
Let o(y) = y - 1. Let d(p) = p**2 - 16*p - 21. Let x(i) = -d(i) + o(i). Let h be x(18). Is 24 a factor of h/(-10) - 4338/(-90)?
True
Let d(g) = -49*g - g**3 - 4 + 42*g + 20*g**2 - 23*g**2. Suppose -8 = -0*j + 2*j. Does 10 divide d(j)?
True
Let s = -52 + 60. Let p(y) = y**2 - 5*y + 20. Does 18 divide p(s)?
False
Suppose 4*h + h = -3*x - 10, x + 3*h = -6. Let w(f) = 2*f + 14. Is 2 a factor of w(x)?
True
Let v = -14 + 15. Does 11 divide v + ((-4)/4 - -41)?
False
Suppose -i + 33 = 5*u, u = 3*i - 2*u - 9. Let d = 6 - 11. Is 11 a factor of d/(-20) - (-118)/i?
False
Suppose 5*y - p - p - 590 = 0, -5*y + 610 = 2*p. Let n = y + -54. Is 15 a factor of n?
False
Let r = -311 + 851. Is r a multiple of 20?
True
Let a be (14/4)/(1/(-2)). Let q = 6 - a. Is 3 a factor of q?
False
Suppose 112 = 3*z - 2*z. Does 16 divide z?
True
Let k(r) = 3*r**3 - r**2 + 12*r + 6. Let y(s) = 8*s**3 - 3*s**2 + 36*s + 17. Let u(a) = 11*k(a) - 4*y(a). Does 22 divide u(5)?
True
Let z(j) = 8*j. Suppose -2*x - 13 = i + x, -4*x = -2*i + 24. Let h be z(i). Let t = 25 - h. Does 2 divide t?
False
Let o = -309 - -476. Does 58 divide o?
False
Suppose 0 = 5*z + 3*l - 269, 2*l - 283 = -5*z + 6*l. Is 7 a factor of z?
False
Let f(s) = -6*s + 6*s + 7*s + 8. Let r be ((-15)/4)/(180/(-480)). Is f(r) a multiple of 22?
False
Let z = -15 + 11. Let w = 18 - 205. Is 18 a factor of w/(-7) + z/(-14)?
False
Let r = 781 + -196. Does 3 divide r?
True
Let b be (-402)/(-4)*(1 - 3/1). Let w = -101 - b. Is w a multiple of 20?
True
Suppose -5*m = 4*d + 2 + 1, -m - 7 = 4*d. Let h be -1*0/(-4)*m. Let s = 29 + h. Is s a multiple of 24?
False
Suppose -33*h + 34*h = -10. Is (-4)/h - 412/(-20) even?
False
Suppose -2*g + 24 = -28. Suppose 7*u = -g + 698. Does 24 divide u?
True
Let h(n) = -5*n**3 + 2*n**2 + 7*n - 10. Does 22 divide h(-6)?
True
Suppose 0 = -9*k - 29 + 2. Is 28 a factor of 3 - -1 - (-1216)/(7 + k)?
True
Suppose 0 = -5*v + w - 3499, 2*w - 3327 = 4*v - 523. Is v/(-9) - ((-1)/3 + 1) a multiple of 20?
False
Let b = 19 - -201. Does 11 divide b?
True
Let v(g) = g**2 + 24*g + 216. Does 11 divide v(-41)?
True
Suppose -4*y = 8*y - 2664. Is y a multiple of 12?
False
Suppose -6*v + 10007 = 2009. Is v a multiple of 11?
False
Let v(m) = m - 1. Let g(f) = -6. Let c(o) = -g(o) - 5*v(o). Is 28 a factor of c(-9)?
True
Is 9 a factor of 1*(-4 - 2819)/(-3)?
False
Suppose 0 - 8 = -4*k. Let o = k + -2. Suppose 2*m - 4*r = -7*r + 17, -4*m - 2*r + 30 = o. Does 5 divide m?
False
Let o(a) = 433*a**3 - 2*a**2 + 6*a - 5. Does 18 divide o(1)?
True
Let d = 299 + -233. Do