
Let h be 3/((1 - -2)*1). Suppose -3*w + h + 8 = 0. Suppose -w*s + 0*s = -45. Is s a multiple of 15?
True
Let k(d) = 43*d - 26. Let l = -4 + 12. Does 36 divide k(l)?
False
Let p(z) = -3*z - 10. Let r be p(-4). Let n(g) = 2*g**3 - r*g**3 + 0*g**3 + 3 - 2*g**3 + 2*g. Is 5 a factor of n(-2)?
True
Suppose -p = 5*o - 186, -5*o - 3*p + 21 = -167. Suppose 2*i - 123 - o = 0. Let t = 180 - i. Is 22 a factor of t?
False
Does 44 divide (((-720)/(-70))/4)/((-6)/(-1232))?
True
Suppose 3*r - 155 = -5*j - 0*j, 3*j = r - 47. Is 10 a factor of r?
True
Suppose -4*o - 13 - 54 = -3*l, -14 = 3*o + 5*l. Let n = o + -35. Let b = n - -88. Is 16 a factor of b?
False
Let d = 13 + -13. Suppose d = 2*q - 395 + 35. Suppose 0*m - 5*m = -q. Is m a multiple of 11?
False
Let c = -30 + 27. Let v be -1 + 48 + (c - -4). Suppose v*n = 50*n - 48. Is 6 a factor of n?
True
Is (-5 - -2 - -5) + (-2 - -257) a multiple of 29?
False
Let c = 165 - -110. Is 29 a factor of c?
False
Let c be 25/((-3)/(-15)*5). Suppose 5*u - c = 0, -255 = -4*x - x + 3*u. Is x a multiple of 18?
True
Let n(y) = 207*y - 269. Is n(3) a multiple of 22?
True
Let h = 341 - 125. Does 24 divide h?
True
Let l be 670/5*(-2)/4. Suppose 147 - 28 = -b + 5*y, 2*y - 10 = 0. Let a = l - b. Does 9 divide a?
True
Let s(g) be the third derivative of g**4/12 + 13*g**3/3 - 17*g**2. Is s(7) a multiple of 10?
True
Let c(q) = -160*q - 187. Does 11 divide c(-10)?
False
Let u be ((-6)/(-12))/((-1)/44). Let p be -6*2/(-4)*-29. Let f = u - p. Is f a multiple of 13?
True
Let r(d) = -5*d**2 + d - 14. Suppose m - 10 = -2*i - 0*i, 2*m - i - 10 = 0. Let x be r(m). Is 2*(1 - x/8) a multiple of 24?
False
Let l(q) = q + 23. Let t be l(-15). Let y = 70 + t. Is 12 a factor of y?
False
Let k = 48 - -192. Let l = -171 + k. Is l a multiple of 23?
True
Let d = -744 + 874. Does 65 divide d?
True
Suppose -2*c = -4*h + 11672, 61*c = 2*h + 59*c - 5832. Is 76 a factor of h?
False
Suppose 3*l = m + l - 52, 0 = -m + 5*l + 37. Let d = m + 4. Is 22 a factor of d?
True
Suppose 0 = 5*r - 0*r + 775. Let l be (108/(-45))/(1/r). Suppose 0 = 9*t - 3*t - l. Is t a multiple of 27?
False
Suppose 0 = -0*a - a. Suppose -5*r - 3*g = 22, a*r - 3*g = -4*r - 23. Does 11 divide 15/r - 198/(-3)?
False
Let z = -12 + 6. Let n be z/(-8)*(11 + -7). Is 2 a factor of 8 + n/((-2)/2)?
False
Let s(j) = -4*j. Let k(g) = -g + 10. Let q be k(12). Is s(q) a multiple of 8?
True
Is (-6288)/(-56) + 8/(-28) a multiple of 8?
True
Is 3 a factor of (-3674)/(-12) + 7/(-42)?
True
Is ((-93)/(-12))/(37/2368) a multiple of 10?
False
Let w = -1698 - -2539. Is w a multiple of 24?
False
Suppose 34 = -3*o - 2. Is o - -5 - -40 - (3 + 1) a multiple of 2?
False
Let t be (5/(-5))/(-2*1/(-6)). Is 7 a factor of (-77)/(-3) + (-1)/t?
False
Let f be (-2)/(-7) + (-45)/(-63). Let n = 35 + f. Does 4 divide n?
True
Let p(d) = -d**3 + 3*d**2 - 2*d - 1. Let h be p(2). Is 108*(h + (-12)/(-16) + 2) a multiple of 18?
False
Let m be 3 - 1 - (-1 - 2). Suppose -4*p = -5*r - 1 - 2, -4*r - 27 = m*p. Is 8 a factor of 0 + 30 - p/(-1)?
False
Let a = -67 - -46. Let q = 21 - a. Is q a multiple of 6?
True
Let i = -1 - -20. Suppose -10*g - i = -11*g. Is 8 a factor of g?
False
Let n be (2/(-9))/(3/(-27)). Suppose -3*b + n*b + 155 = 0. Does 12 divide b?
False
Let h(a) = 3*a**2 - 7*a - 11. Is 3 a factor of h(-5)?
True
Suppose -3*j + 4 = -5*y, 4*j + 5*y - 15 = 2*y. Suppose 48 = -0*o + 3*o + 2*n, -j*o + 48 = 3*n. Let f = 46 - o. Does 10 divide f?
True
Suppose -46*u + 3024 = -30*u. Does 27 divide u?
True
Is 89 a factor of (-1)/(-15) + (-635443)/(-255)?
True
Is 3 a factor of (-944)/(-28) - (15/21 - 1)?
False
Suppose i - 3 = -0*i. Suppose -5*p + 57 = -2*m + i*m, 3*p = -5*m + 21. Suppose p = -0*f + f. Does 4 divide f?
True
Let m = 35 + -9. Let z = -11 + m. Is z a multiple of 15?
True
Let t(s) = s**2 - 7*s + 182. Is t(42) a multiple of 14?
True
Let c(p) = 21*p - 23. Is 11 a factor of c(6)?
False
Suppose -c + 157 = 3*j, -j = -c - 3*j + 162. Is 17 a factor of c?
False
Let d(o) = 3*o**3 - 8*o**2 + 4*o. Let f be d(3). Suppose -f - 66 = -3*y. Does 6 divide y?
False
Let u = -163 + -143. Is 31 a factor of ((-20)/30)/(4/u)?
False
Is 42 a factor of (1329/(-6))/(2/(-4))?
False
Let d(b) = -b**2 - b + 3. Let h be d(4). Let a(q) = -4*q + 0*q - 27 + 2*q. Does 7 divide a(h)?
True
Let t(q) = -q + 32. Let j be (27 + -1)*19/38. Is t(j) a multiple of 19?
True
Let c(f) = -1281*f**3 - 2*f**2. Does 25 divide c(-1)?
False
Suppose -4*l = 4*q - 764, 3*l = 5*q + 108 + 473. Does 4 divide l?
True
Let r(p) = -p**3 - 9*p**2 - 13*p + 1. Let c be r(-7). Let z be (-4)/2*3/c. Let k = z - -13. Does 14 divide k?
True
Let z = 377 - 291. Is 27 a factor of z?
False
Suppose 2*w + 2 = -4*h + 28, -4*w = h - 17. Suppose -m + 59 = -3*v, -v = -m - w*m + 192. Is m a multiple of 14?
False
Let i = -36 - -26. Let j = i + 10. Is 14 a factor of 57 + j + 3 + -4?
True
Let t(m) be the second derivative of m**4/4 + 23*m**3/6 - 2*m**2 - 3*m. Does 11 divide t(-10)?
True
Let i be 3 + -4 + (-2 - -5). Let b(s) = -2*s + 9 - i + 0. Does 12 divide b(-7)?
False
Let s = 17 - 58. Let i = s - -88. Is i a multiple of 7?
False
Let o(j) = -j + 78. Is 5 a factor of o(19)?
False
Let v(t) = -4*t + 5. Let m be v(-4). Let f(u) = 2*u**2 + 2*u - 3. Let j be f(-3). Suppose 5*x = 2*r + 66, j = 2*x + r - m. Does 9 divide x?
False
Suppose -3*w + 7*w + 8 = -4*p, -2*w - 14 = 4*p. Let b(l) = l**2 - 1. Let q be b(w). Suppose 4*x = q + 56. Does 3 divide x?
False
Let y(m) be the third derivative of 5*m**6/24 + m**5/30 + m**4/8 - 8*m**2. Let g be y(-2). Let f = -111 - g. Is 23 a factor of f?
False
Is 15 a factor of 5054/42 - (-1)/(-3)?
True
Let o be (-4 + (-1 - -5))/2. Let x = o + 14. Is 7 a factor of x?
True
Suppose -2*o = 2*o. Suppose 0 = -2*s - o + 4. Suppose s*b - 6*b = -300. Is b a multiple of 15?
True
Suppose 0 = -5*x - 47 + 67. Does 5 divide 2 + -5 + (64 - x)?
False
Let q(z) = -7*z + 18 - 20*z + 11*z**2 - 4*z**2 + 14*z. Is q(6) a multiple of 24?
True
Let z = 2438 - 2150. Does 18 divide z?
True
Suppose j + 8*p - 10*p - 472 = 0, 5*p = j - 472. Is j a multiple of 8?
True
Suppose -b - 4*k = -22, -38 = 3*b + k - 104. Is b a multiple of 11?
True
Let j = 238 + -89. Is j a multiple of 19?
False
Let p = 408 - 70. Is 12 a factor of p?
False
Suppose -15758 - 18946 = -18*x. Is x a multiple of 79?
False
Let y be 4/((1/2)/(5 + -6)). Let n = 48 - 90. Does 4 divide (-3)/(n/y)*-7?
True
Suppose -9*i + 30 = -4*i. Let v(n) be the first derivative of 3*n**2/2 + 6*n - 7. Is 8 a factor of v(i)?
True
Suppose -13 + 3 = 5*o. Let q(i) = -2*i**2 + 7*i - 3. Let p be q(6). Let w = o - p. Does 16 divide w?
False
Let j(i) = -14*i + 117. Is j(-8) even?
False
Let u(x) be the first derivative of 2 - 3*x**2 + 1/3*x**3 - 8*x. Is 12 a factor of u(11)?
False
Suppose 0 = 8*v - 4*v - 84. Suppose -15 = 4*i - h - 66, -3*h = -i + v. Let s = i - 1. Does 11 divide s?
True
Suppose 0 - 4 = -2*r. Let k = -2 - r. Does 21 divide 30 + (-2)/(3 + k)?
False
Does 18 divide 75/(6*8/576)?
True
Suppose 7 + 9 = -4*l. Let u(n) = n**3 + 9*n**2 - 2*n + 5. Let h be u(l). Suppose 5*c = 3*b - 67 + 6, -4*b + h = 5*c. Does 13 divide b?
False
Is 5 a factor of 184 - -4*(-3)/12?
False
Let p(h) = 9*h**2 + 6*h. Suppose 5*a = 3*r + r + 36, -5*a = -5*r - 40. Let n be p(r). Suppose 0 = -i + 5*t + 46, -5*t + t - n = -4*i. Does 7 divide i?
False
Suppose 0 = 2*w - 8 - 12. Suppose 6*b - w = b. Suppose -p + b + 3 = 0. Does 3 divide p?
False
Let z = -723 + 725. Let w(l) = 3*l - 3*l - 3*l + 4 + 14*l**2. Does 18 divide w(z)?
True
Let y = -30 - -34. Suppose 0*c + y*c - 756 = 0. Does 32 divide c?
False
Suppose 4*d - d + 198 = -3*x, 4*d + 264 = -x. Is 34 a factor of (1 + -3 + d)/(-1)?
True
Suppose -22*y + 20*y + 12 = 0. Suppose y*k = -48 + 198. Suppose -3*f + 2*n + 7 = -28, f = 4*n + k. Is 9 a factor of f?
True
Let t be ((-58)/4)/(1/2). Let m = -26 - t. Does 15 divide ((-195)/(-10) + m)*4?
True
Suppose 19*n - 3786 = 2845. Is n a multiple of 35?
False
Suppose 78 = r - w - 0*w, 4*r + 4*w = 352. Let p(a) = -a**2 + a - 6. Let f be p(7). Let l = r + f. Is 8 a factor of l?
False
Suppose 303*a = 305*a - 758. Does 80 divide a?
False
Suppose -2*z + 1 = -5. Let w(b) = -z*b + 2 + 2 - 1 + 8*b**2. Is w(2) a multiple of 8?
False
Suppose 4*j = -4, o - 3*j + 3 + 7 = 0. Let c(y) = 3*y**3 - y**2 - 5*y - 8. Let f be c(-2).