be h(-5). Let x be 7 - 5 - d*1. Is 16 a factor of x + (-6)/9*-27?
False
Suppose -2584 - 4616 = -20*h. Is 30 a factor of h?
True
Suppose -14 + 1 = -3*z - 5*t, 26 = -4*z + 2*t. Does 9 divide -6*z/8*3?
True
Let n(h) = h**3 + 16*h**2 - 32*h + 18. Does 10 divide n(-16)?
True
Suppose -14*f + 10 = -9*f. Suppose -12 = f*d - 6*d. Does 7 divide 23/2 + d/2?
False
Let n(t) = -2*t**3 - 3*t**2 - 3*t + 10. Is n(-5) a multiple of 10?
True
Let r be ((-8)/12)/((-2)/(-10152)). Let w be 4/(-10) + r/(-60). Suppose 2*d + 9*u - 4*u = w, 5*d + 2*u - 161 = 0. Is d a multiple of 11?
True
Let k be (-3)/(-2) - (-1)/(-2). Let o be -7 - 1 - -3*k. Let h(l) = -l**2 - 6*l + 7. Is 6 a factor of h(o)?
True
Let q(w) = 2*w - 3707 + 3657 - 18*w. Does 27 divide q(-20)?
True
Let k be 6 + 1 + 0 + 1/(-1). Suppose 0 = -5*h + k*h - 28. Does 11 divide h?
False
Let x(k) = -71*k + 2. Let h be x(-2). Suppose 0*w + 4*w = h. Is w a multiple of 6?
True
Suppose -o + 5 + 1 = -c, -o + 4*c = -18. Let l(w) = -5*w. Let q be l(o). Let n = -6 - q. Does 2 divide n?
True
Suppose 9248 = 3460*a - 3452*a. Is 17 a factor of a?
True
Let x(d) = -120*d**3 - 2*d**2 - d. Let h be x(-3). Suppose 9*u = 4*u + h. Is (u/60)/((-1)/(-12)) a multiple of 43?
True
Suppose 0 = -m - 3, -5*n + 23 = -n - m. Suppose -q = q - n*t + 16, 2*t = 8. Suppose g = 2*z - 169, 5*z - 420 = q*g + g. Is 15 a factor of z?
False
Let z = 22 - 112. Let b be 19/6 + 15/z. Suppose -8*w = 3*y - b*w - 53, 0 = -2*y + 5*w + 52. Is 17 a factor of y?
False
Suppose -2*w + 1 = a, -2*a + 3*a + 11 = 2*w. Suppose w*z + 162 = -3*v, -4*v + 3*z - 234 = z. Let p = -24 - v. Is p a multiple of 17?
False
Let o(n) = n**3 + 9*n**2 - 5*n - 22. Let f be o(-9). Suppose 4*p - f = 201. Is p a multiple of 43?
False
Let k(d) = -10*d**3 + 4*d**2 + d - 1. Let z be k(-3). Suppose -5*v - z = 2*r, 3*r - 3*v + 270 = r. Let o = 202 + r. Does 16 divide o?
False
Let g(y) = 5*y + 412. Is 9 a factor of g(40)?
True
Suppose 2*h - 121 = -i, -4*i + 3*h - h + 504 = 0. Suppose -i - 71 = -4*f - k, 4*f + 3*k - 196 = 0. Is 10 a factor of f?
False
Suppose -11 = 5*p - 131. Let x = -22 + p. Suppose -5*k = -x*k - 36. Does 3 divide k?
True
Let m = -42 + 87. Suppose -5*q + m = g - 3*q, -g + 5*q = -52. Is g a multiple of 9?
False
Let d = 24 + -22. Suppose d*j - 26 = 140. Is j a multiple of 14?
False
Let l(z) = z - 4. Let y = 0 - 0. Let s be l(y). Is 10*(10/s + 3) a multiple of 2?
False
Suppose -3704 + 20861 = 43*a. Is a a multiple of 19?
True
Suppose -4*z - 3*b + 428 = 132, 0 = 2*z + 4*b - 158. Does 5 divide z?
False
Let q(i) = -4 - 3*i**2 + 2*i**2 - 2 - 3. Let h be q(0). Does 9 divide 200/6 + h/27?
False
Let a(f) = 2*f**2 + 3*f + 502. Is a(0) a multiple of 17?
False
Let w(b) = b - 8. Let h be w(10). Suppose 2*v = -n + 5, 4*n - 2 = h. Is v a multiple of 2?
True
Let r(y) = -5*y + 35. Let q be r(6). Suppose 3*f + 22 = 4*b - 12, q*b = -3*f + 29. Does 7 divide b?
True
Let v be (5 - 33/6)*(0 + 0). Let h be (-4)/(-14) + (-19)/(-7). Suppose i + 10 = b, h*i + 0*i = v. Is 10 a factor of b?
True
Suppose -263 = -8*q + 201. Suppose 0 = -64*n + q*n + 1428. Does 30 divide n?
False
Suppose 0 = 5*f - 2*f. Let p(t) = t**2 - t + 110. Is 13 a factor of p(f)?
False
Suppose -5*v - 225 = -0*v. Let u be v/9 + (-1 - -3). Is ((-15)/20)/(u/48) a multiple of 7?
False
Suppose 0 = b - 19 - 8. Does 21 divide (-36)/b + 260/6?
True
Let l(f) = 8*f**2 + f - 1. Let c be l(1). Suppose -2*t + 9 + 5 = 0. Let m = c + t. Does 8 divide m?
False
Suppose 4*k = 5*k - 42. Let y = k - 21. Does 7 divide y?
True
Suppose -2*p - 16 = 2*q - 3*q, -4*p = -3*q + 40. Let z(h) be the third derivative of -h**4/24 + 3*h**3 - 7*h**2. Is 5 a factor of z(q)?
True
Suppose -17 = 6*f - 29. Suppose -y - f*y - 3*z = -495, 3*y + z = 501. Does 42 divide y?
True
Let y(x) = 6*x**2 + 2*x - 1. Suppose 3*c + 6 = -0*c. Let t = -1 - c. Is 2 a factor of y(t)?
False
Does 49 divide 2/(-4)*-2*833?
True
Let o = 5 + -2. Let c be 70 + -1 + (1 - o). Suppose 5*a + 2 = c. Does 6 divide a?
False
Let f(g) = g**2 + 29. Does 9 divide f(13)?
True
Let y(o) = 33*o**3 + 3*o**2 + 4*o - 9. Is 8 a factor of y(2)?
False
Let f(o) = o**3 + 11*o**2 - 7*o - 4. Is f(-9) a multiple of 15?
False
Let p(y) = -6*y + 5. Let k be p(2). Does 6 divide (48/k)/((-10)/70)?
True
Let r = 0 - -2. Let c = 36 + 48. Suppose -r*a + c = a. Is a a multiple of 14?
True
Let w = -454 + 701. Let a = w + -159. Is 22 a factor of a?
True
Let k = -164 + 798. Does 79 divide k?
False
Let s = -335 - -1627. Does 17 divide s?
True
Suppose -4*b = 5*g + 43, -2*g = -b - g - 13. Let v = 17 + b. Suppose v*i + 232 = 5*u - 208, -4*u = 2*i - 352. Is 24 a factor of u?
False
Suppose 27*t = 376 + 326. Does 7 divide t?
False
Suppose t + 10 = 6*t - 3*y, t - 2 = -4*y. Suppose -2*a - 2*n + 20 = 0, t*a + 3*n = a + 10. Suppose 5*p + 2*i = 9, -2*p + 8 = -4*i - a. Is 2 a factor of p?
False
Let o = 1854 - 1063. Does 122 divide o?
False
Let d(a) = 6*a**2 + a + 4. Let c be d(-2). Does 8 divide c/39*(-2)/((-8)/282)?
False
Is 85*2/((-5)/70*-20) a multiple of 17?
True
Let a be (-98)/1 + 0/(-3). Let m be (-2)/(-7) + (-364)/a. Suppose -z + 260 = m*z. Is 13 a factor of z?
True
Let a be (2 - 6/2) + 3. Suppose -3*v - 3*w = -7*w + 4, 2 = a*w. Suppose -3*x + c + 12 = v, 3*x - 2*c - 2 - 7 = 0. Is 5 a factor of x?
True
Let t(m) be the second derivative of -m**5/20 + 2*m**4/3 + 11*m**3/6 + 5*m**2/2 + 24*m. Is 9 a factor of t(9)?
False
Is (-57)/(2 - (-10)/(-4)) a multiple of 6?
True
Let l = 1 + 4. Let t(a) be the second derivative of a**4/4 - a**3/6 + 3*a**2/2 - 9*a. Does 20 divide t(l)?
False
Suppose -19*n + 1710 = -1292. Does 8 divide n?
False
Let n = 18 + -30. Let t be 0 + 2 - 132/n. Suppose t = 2*w - 1. Is w a multiple of 5?
False
Is 73 a factor of 4839*(13/3 + -4)?
False
Let p = -25 - -25. Suppose -9*x + x + 544 = p. Is x a multiple of 19?
False
Suppose -2*q - 2*q = 0. Let f = 1 - q. Does 16 divide -16*(-2 + f + 0)?
True
Let d(i) = 2*i**3 + i**3 - 7 + 10*i - i**3 - 6*i**2 - i**3. Let f be d(6). Suppose 19 = t - f. Does 25 divide t?
False
Let x(p) = -p**3 - 5*p**2 + p - 1. Let k be x(-5). Let v be (-17 - -2)/(k/(-4)). Is (v + 0)/((-1)/6) a multiple of 20?
True
Let r(v) = 2*v**2 + 5*v. Let n be r(-11). Suppose -4*g - f + 307 = -52, -f - n = -2*g. Is 13 a factor of g?
True
Suppose 4*s - 2*s = -5*r + 18702, -4*r = 2*s - 14962. Suppose -20 = -0*v + 5*v. Is 13 a factor of v/26 + r/143?
True
Let d = -20 - -23. Suppose -m = d*j + j - 23, 4*m - j = 126. Is 9 a factor of m?
False
Let k(r) = -4*r + 4. Let l(j) = -j + 1. Let b be l(-3). Suppose 2*i + 6 = -b. Is k(i) a multiple of 17?
False
Let q = -166 + 257. Suppose -d - q = -2*d. Does 13 divide d?
True
Let b(h) = 11*h**3 + 39*h**2 + 47*h - 20. Let a(m) = 5*m**3 + 19*m**2 + 23*m - 10. Let i(n) = -9*a(n) + 4*b(n). Is 20 a factor of i(-14)?
True
Let s be (4 - -3)*5 + 3. Let h = s + 78. Does 25 divide h?
False
Let f be (-2 + 1)*(1 + 10/(-5)). Does 23 divide 1/(-3)*f - 830/(-6)?
True
Let g be (-7 - -5) + 44/2. Suppose -g = 4*y, -5*y - 155 = -3*r - y. Is r a multiple of 12?
False
Suppose -8252 = -29*n + 4015. Is 9 a factor of n?
True
Let s(x) = x**2 - 6*x - 7. Let q be s(5). Let g = q + 10. Let w(l) = -2*l**3 + 3*l**2 + 2*l + 2. Is w(g) a multiple of 13?
True
Suppose -5*y + 4*v + 15 = 0, 0*v + 2*v - 15 = -5*y. Suppose -w - 3*u + 8*u = -31, 0 = 5*w + y*u - 183. Is w a multiple of 3?
True
Let n(l) = 27*l - 66*l + 34*l - 4 + 97*l**2. Is 48 a factor of n(-1)?
False
Suppose -5*a = -5*r - 270, 2*a + r - 94 = -4*r. Is 2 a factor of a?
True
Suppose -4*x + 5*g = 12, 3*x = -4*g + 33 - 11. Suppose 7*y - x*y = 460. Does 30 divide y?
False
Let j = 85 - 83. Is j/(2 + 2)*178 a multiple of 16?
False
Let c(z) = -3*z - 4. Let b be c(2). Is -1 + (9/15 - 1754/b) a multiple of 13?
False
Let b = 38 - 32. Is (78/4)/(9/b) a multiple of 13?
True
Let f(o) = 2*o**3 + 24*o**2 + 8*o + 15. Let l(x) = x**3 + 12*x**2 + 4*x + 7. Let m(d) = -4*f(d) + 7*l(d). Let j = -35 + 23. Does 16 divide m(j)?
False
Let f = -18 + 20. Suppose -f*s = 2*x - 320, -s - 292 = -3*s + 5*x. Is s a multiple of 52?
True
Suppose -5*i - 2*m - 33 = -m, 0 = 5*m + 15. Let b = i + 19. Is 6 a factor of b?
False
Suppose 0 = 2*t - 10*t + 16. Suppose 5*i - 3 = -t*s + 15, s = -i + 15. Suppose z + 4*b - b - s = 0, 5*z - 2*b = 95. Does 4 divide z?
False
Let t be (-4 + -6)/(-2)*1. Suppose 7*f - t