
Let g = -11 - -16. Suppose g*t = 22 + 13. Is t a multiple of 5?
False
Let a(n) = n**2 + 2*n - 10. Does 5 divide a(-5)?
True
Suppose 119 = 4*i - 5*j, 3*i + 3*j = -2*i + 121. Is 4 a factor of i?
False
Let p(z) = 19*z**2 - 2*z - 1. Let j = -2 + 1. Is p(j) a multiple of 10?
True
Suppose -l + 1 = -4. Suppose -z + 19 = l. Is z a multiple of 14?
True
Suppose v - 4*p - 38 = 0, -282 = -5*v - 0*p - 3*p. Is 15 a factor of v?
False
Suppose 5*l - l = 0. Suppose l*m = m. Suppose h + 3*a - 25 = m, -2*a + 66 = 4*h - 4. Does 8 divide h?
True
Suppose -3*t - 14 = -68. Suppose 2*h + h - t = 0. Is h a multiple of 6?
True
Suppose -3*a = 4*r - 888 + 340, -r + 362 = 2*a. Is 30 a factor of a?
True
Suppose -3*y = -m + 4*m, 2*m = 2*y + 8. Suppose -d = -m*d. Suppose 5*g - 80 - 50 = d. Does 11 divide g?
False
Suppose 0 = 5*k + 4*d + 22 + 18, -k + 5*d = -21. Let u = k + 15. Is u a multiple of 11?
True
Is 13 a factor of -3 + 47 + -1 + 1?
False
Suppose 3*x + x - 24 = 0. Suppose r + 5 = 0, 0 = -j + r + x + 17. Does 9 divide j?
True
Let b = 80 + -32. Does 11 divide b?
False
Let d = 15 + -99. Let w = 36 - d. Suppose 0 = 4*q - 0*q - w. Does 13 divide q?
False
Let m(r) be the third derivative of r**4/3 - r**3/3 - 2*r**2. Is 7 a factor of m(2)?
True
Let q(p) = -p**3 - 16*p**2 - 12*p + 15. Let l be q(-15). Let y = l + 67. Does 8 divide y?
False
Suppose -3*p + 3*o = -54, -3*p + 4*o + 57 = -0*o. Is 2 a factor of p?
False
Suppose 0 = u + 2*r - 79, 4*u + 5*r - 64 = 3*u. Is u a multiple of 8?
False
Let k(h) = 16*h + 2. Let s(b) = b**3 - 7*b**2 + b - 2. Let a be s(7). Does 28 divide k(a)?
False
Let g(b) = -b**3 - 10*b**2 + 13*b + 39. Is g(-11) a multiple of 3?
False
Let c = -4 - -9. Let w(o) = 2 - c*o + 2*o - 4*o. Is w(-4) a multiple of 16?
False
Let g(h) = -h**2 - 6*h - 3. Let q be g(-4). Suppose -p = 4 - 2, 0 = 5*m + q*p - 160. Is 17 a factor of m?
True
Suppose 0*r = 2*r + 3*d - 4, -d = 4*r - 28. Let m = -5 + r. Is 6 a factor of (-1)/((m/(-18))/1)?
True
Let n(d) = -4*d**3 + 1 + 5*d**3 + d**2 + d**3 - d. Let t = -4 - -6. Does 8 divide n(t)?
False
Let y = -42 - -71. Let f = 43 - y. Is f a multiple of 14?
True
Let b be (-376)/16*(0 + 2). Let p = b + 108. Is 13 a factor of p?
False
Let w be 1*11 + -1 + -1. Let d(k) = k + 6. Let r be d(-5). Let x = w - r. Does 8 divide x?
True
Is (-3)/15 - (-4355)/25 a multiple of 29?
True
Suppose -4*d - 10 - 42 = 0. Let z(a) = 3*a - 2. Let r be z(-2). Let x = r - d. Is 2 a factor of x?
False
Is 17 a factor of -2*4/(-8) + 82?
False
Let g be 4/(-1)*15/(-4). Let a be ((-6)/(-18))/(1/18). Suppose -3*j + a = -g. Does 2 divide j?
False
Suppose 5*y - y = -2*w + 18, -y - 9 = -4*w. Let m(k) be the second derivative of k**3/2 + 2*k**2 + k. Does 8 divide m(y)?
False
Does 14 divide (-769)/(-4) - 1/4?
False
Let h(c) = -c + 1. Let x be h(5). Let i be (-40)/5*2/x. Suppose -83 - 65 = -i*m. Is 15 a factor of m?
False
Let f be 6 - (2 - (-2 + 2)). Suppose 135 = 5*c - 3*u - 2*u, -f*c = u - 93. Let d = c - 6. Is 11 a factor of d?
False
Let i = 312 + -144. Does 8 divide i?
True
Suppose -2*v + 36 = 2*j, 4*v + 0*v = j + 97. Let y = v + 41. Is 16 a factor of y?
True
Let o = -6 + 8. Suppose 3*c - 489 = 3*j, -3*c + o*c + 143 = -5*j. Suppose 2*r + 2*r - 147 = 5*l, c = 5*r - l. Is r a multiple of 13?
False
Suppose 5*l = 28 + 2. Does 6 divide l?
True
Does 6 divide (27/15)/(15/50)?
True
Suppose 0 = -4*s - 2*s + 252. Is 13 a factor of s?
False
Does 10 divide (-1)/(2/(40/(-1)))?
True
Suppose -225 = -4*k + 27. Is 9 a factor of k?
True
Let g(l) = l**3 - 3*l**2 - l - 9. Let a be g(4). Suppose a*y - 30 = 12. Is y a multiple of 14?
True
Suppose -2*w - 24 + 102 = -2*y, 0 = 3*y - 9. Is 8 a factor of w?
False
Let v = 7 - 12. Let r be (v/(10/12))/(-2). Suppose 4*u + 18 + 58 = r*i, 80 = 5*i + 5*u. Does 16 divide i?
False
Let k = -2053 - -1117. Let j = -552 - k. Is j/10 - (-4)/(-10) a multiple of 19?
True
Suppose 16 = 5*t - 184. Suppose 8*y - 3*y = t. Is y a multiple of 8?
True
Suppose -16 - 632 = -6*p. Is p a multiple of 27?
True
Is 8 a factor of (-146)/(-6) - 9/27?
True
Let l(r) be the first derivative of -12*r**4 + 2*r**3/3 + r**2 + r + 1. Let k be l(-1). Let a = -29 + k. Is 16 a factor of a?
False
Let w = -5 - -77. Suppose 3*m - w = -0*m. Does 12 divide m?
True
Let q(m) be the first derivative of 2*m - 2 - 1/3*m**3 + 3*m**2. Is 2 a factor of q(6)?
True
Let w(d) = -d**2 + 10*d - 3. Let c(r) = -4*r - 3. Let n be c(-3). Let h be w(n). Does 6 divide (h/(-8))/(10/(-240))?
True
Suppose -4*r - 3*q = 656, 0*r - 4*r - q - 648 = 0. Let x = -96 - r. Does 13 divide x?
True
Let f(p) = 12*p**2 + 17*p. Let n(l) = -6*l**2 - 9*l. Let i be 2/(-3) + (-105)/(-9). Let k(u) = i*n(u) + 6*f(u). Is k(-2) a multiple of 5?
False
Suppose -3*n = 4*q + 22, 0 = -3*n + 3*q - 8*q - 23. Let r(y) = y**3 + 4*y**2 - 3*y + 7. Let u be r(n). Let g = 88 + u. Is g a multiple of 12?
False
Let h(d) = d**2 - 3*d + 11. Is h(9) a multiple of 13?
True
Let c be -2 - -2 - (-34 + -2). Suppose -3*r - c = -4*r. Does 9 divide r?
True
Let s(y) = y**3 - 4*y + 1. Is s(4) a multiple of 24?
False
Suppose 4*g - 8 = 32. Suppose -4*f + 4*v + 32 = 0, 0 = 2*v - 0*v - g. Is 13 a factor of f?
True
Suppose -12 = -3*a - a, 172 = -5*i - a. Let h be i/(-15) + 1/(-3). Suppose h + 43 = 3*p. Does 13 divide p?
False
Let z = 105 - 42. Let v = -36 + z. Is v a multiple of 9?
True
Let b(v) = v**3 + 4*v**2 - 8*v - 4. Let d(c) = -c**3 - 4*c**2 - 1. Let u be d(-3). Let o = u + 5. Is 6 a factor of b(o)?
False
Suppose -19*s + 24 = -18*s. Is s a multiple of 8?
True
Suppose 6 = u + 2*u. Let f = 0 + u. Does 3 divide 1/((-3)/(-15)) - f?
True
Suppose 0 = 3*l - 14 - 1. Let y(o) = 5 - 4*o - 2*o**2 + 0 + 3*o**2. Does 9 divide y(l)?
False
Suppose -135 = -5*k - 2*n, 4*n + 25 = 3*k - 82. Is k a multiple of 6?
False
Let c(n) = -n - 6. Let a be c(-6). Suppose -5*w + 11 + 9 = 0. Suppose -2*r + w + 12 = a. Is r a multiple of 8?
True
Let k(l) = l**2 + 18*l - 21. Is k(-21) a multiple of 12?
False
Let g(m) be the third derivative of 97*m**4/24 - m**3/6 - m**2. Let c be g(1). Suppose -6 = 3*t - c. Does 15 divide t?
True
Let k be (-4)/(-2)*9/(-6). Is 60 + (-3)/(k/(-2)) a multiple of 17?
False
Let w(r) be the second derivative of -r**5/20 - r**3/3 + 18*r**2 - 6*r. Is 12 a factor of w(0)?
True
Suppose -o = -3*o + 4. Suppose 0 = 3*d - o - 4. Suppose -d*p + 6 = 3*l - 14, 3*l + 20 = 2*p. Is p a multiple of 10?
True
Let r = 0 - -2. Suppose -l + b = -3*b - 14, l + 10 = -r*b. Is -1 - l - (-3 + -36) a multiple of 21?
False
Let g(n) = n**3 + 8*n**2 - 6*n - 10. Is 24 a factor of g(-6)?
False
Let y = 1 + 1. Let i be -1 - -10 - (-2)/y. Suppose -4*u - 12 = -g + i, -126 = -5*g + 4*u. Is 13 a factor of g?
True
Let r(g) = -g**3 + 5*g**2 + 6*g. Let o be r(6). Let a be 1*3 - (11 - 10). Suppose o*b + b = a. Is b a multiple of 2?
True
Let i(k) = -182*k**3 + 2*k**2 + k. Let n be i(-1). Suppose 81 + n = 4*u. Suppose 2*g - 11 = -3, 5*r - u = g. Is r a multiple of 7?
True
Let h = 15 + -6. Does 8 divide h?
False
Let x(j) = j**2 - 7*j - 6. Let u be x(8). Let c(r) = 3*r + 12 + 2 + r**2 + 0*r - u*r + r**3. Does 7 divide c(0)?
True
Suppose r + 4*w = -60, -2*r - 3*r + 3*w = 369. Let g = -33 - r. Is g a multiple of 19?
False
Suppose -2*l + w + 107 = 0, -2*l = -4*w + w - 101. Suppose 4*f + 5*c - l = 0, -3*f + 5*c + 20 = -30. Does 5 divide f?
True
Let x(y) = -y**3 - 4*y**2 - 4*y - 3. Let m be x(-2). Is 5 a factor of 2/m + 141/9?
True
Suppose 0 = -4*i - 2*q + 34, -i = -0*i + 4*q - 12. Suppose 0 = -2*t + 3*r + 28, 5*r - 95 = -i*t + 3*t. Does 12 divide t?
False
Let h be (-786)/(-14) - (-1)/(-7). Let d(l) = l**3 + 2*l**2 - 2*l + 1. Let u be d(1). Suppose -41 = -x + z - 13, u*x + 3*z = h. Is x a multiple of 10?
False
Is 1212/10 - (156/30 + -6) a multiple of 9?
False
Let o = 9 - 2. Let r = o - -2. Is 4 a factor of r?
False
Let i(g) = g**3 + 15*g**2 + 36*g + 20. Is i(-10) a multiple of 16?
True
Let h(s) = -s**2 + 2*s + 1. Suppose -6*v - 5 = -v. Let c be h(v). Let q(k) = 2*k**2 - k - 1. Is q(c) a multiple of 9?
True
Let a(b) = b**3 - 4*b**2 + 5*b - 3. Let q be a(3). Let h(w) = -w**2 - 14*w - 6. Let y be h(-9). Suppose q*u = -v + 1, -v = -4*v + 3*u + y. Is v a multiple of 5?
True
Let c = 18 - 15. Suppose 0 = -0*q + c*q - 36. Does 12 divide q?
True
Let a be ((-21)/9 + 1)*51. Let k be a*(1 - -1)/(-4). Suppose 5 = -5*x, -4*c - 8 = -2*