rue
Let k(n) = -n**2 - 9*n + 13. Let l be k(-10). Suppose 5*z = -0*z + 65. Suppose -z = l*q - 70. Is 19 a factor of q?
True
Let i(c) = -3*c + 40. Is i(0) a multiple of 4?
True
Let c = -6 - -8. Suppose -h - 3 = -c. Is 15 a factor of (-31)/(-2) - h/(-2)?
True
Suppose -3*x + 8*x - 23 = -3*s, 2*s + 2 = x. Let b(z) = -z**3 - 24*z**2 - 2. Let j be b(-24). Is s + j + (0 - -15) a multiple of 9?
False
Let g be 0/((-2)/(0 + 2)). Suppose g = n - 3, -2*c + 7 + 2 = -5*n. Is 5 a factor of c?
False
Suppose r = 32 + 37. Is 34 a factor of r?
False
Let d(r) = 46*r - 1. Let n be 0 + 1 - (2 + 0). Let i be d(n). Let z = 80 + i. Is 10 a factor of z?
False
Let o(r) = 2*r**3 - r**2 - 8. Is 4 a factor of o(3)?
False
Let i(u) = -u**3 - 7*u**2 + 9*u + 10. Let w be i(-8). Suppose w*a - 122 = -a + o, 0 = a - 2*o - 39. Does 14 divide a?
False
Does 9 divide 8/6*216/16?
True
Suppose -20 = 4*c, 2*n - n = 2*c + 130. Does 40 divide n?
True
Let r(i) be the third derivative of -i**4/24 + 2*i**3/3 - 2*i**2. Let y be r(2). Suppose -y*n = -3*n + 15. Is n a multiple of 8?
False
Suppose -114 = -6*g + 306. Is 10 a factor of g?
True
Suppose 2 + 6 = 4*d. Let j(q) = q**3 + 7*q - 6*q**2 - 2 + q**2 - d*q**2. Is 2 a factor of j(6)?
True
Let r be (-65)/(-15) + 1/(-3). Suppose -5*z - r*w = -2, 4*z = 4*w - 5*w + 6. Is ((16/(-1))/z)/(-1) a multiple of 4?
True
Suppose -u + 104 = -0*p - p, -2*p - 508 = -5*u. Is u a multiple of 20?
True
Let u(l) = l**2 + 5*l + 3. Let i be u(-7). Let m be 2 + (-4 - -2) + 11. Let y = i - m. Is 3 a factor of y?
True
Let h(n) = n + 13. Let m be 6/(-9) - (-6)/9. Does 10 divide h(m)?
False
Suppose -3*j - j - 20 = -4*a, -3 = 3*j. Suppose 0 = a*p - 2*p - 82. Is 9 a factor of p?
False
Let n(x) = 6*x - 1. Let f be n(1). Suppose f*u - 15 = -0. Suppose -g - 70 = -u*o - 7, -o + 21 = -3*g. Is o a multiple of 7?
True
Let o(p) = 6*p + 4*p**3 + 4 + 5*p**2 - 2*p**3 - 3*p**3. Suppose -2*d + 14 - 2 = 0. Is o(d) a multiple of 3?
False
Is 35 a factor of 1 + 68 - (-5)/5?
True
Suppose -4*l - r = -12, 4*r + 12 = 4*l + 7*r. Does 5 divide 2 + (-6)/l - -14?
False
Let f be (-2 + 0)/(1/(-2)). Suppose x + 12 = -5*t - 0*x, t = -x - f. Is 9 a factor of 9/12*t*-12?
True
Let t(i) be the second derivative of i**3/3 - i**2/2 - i. Let o be t(2). Suppose o*c - 27 = -4*z, 4*z - 2*c - c - 21 = 0. Does 4 divide z?
False
Let v(l) = 3*l - 6 - 5*l + l**2 + 3. Let w be v(-2). Suppose 2*j = w*j - 93. Does 13 divide j?
False
Suppose 2*c = 3*o - 226 - 320, c - 555 = -3*o. Is 17 a factor of o?
False
Suppose 3*z + 0*z = 147. Is 6 a factor of z?
False
Let t(f) = 8*f**3 - f**2 + 2*f - 1. Suppose x = 2*x - 4. Suppose r + 1 - 3 = -x*l, 2*l = -r. Does 4 divide t(l)?
True
Suppose -2*f + 56 = 2*o, -3*o + 2 = -4*o. Is (-5)/f - 1605/(-18) a multiple of 15?
False
Let z = 9 + -7. Suppose -r + 1 = -z*r. Is r*(-8 + 3 + -2) a multiple of 7?
True
Let h(z) = 15*z + 4. Let l be h(3). Suppose -3*y + 95 = -l. Is 23 a factor of y?
False
Suppose -l = -0*l - 6. Let y = 6 + l. Does 4 divide y?
True
Let w = -26 + 38. Let b = 19 - w. Is b a multiple of 3?
False
Let r be (-8)/28 + (-506)/(-7). Does 8 divide r/4 + 2*-1?
True
Let i be (1 - -4) + (-4 - -2). Suppose -2*j + 8 = 4*z + 2*j, 2 = i*z + 5*j. Suppose -f + 3 = 0, 2*l = -l + z*f + 27. Is 11 a factor of l?
False
Suppose -3*t - 2 = 5*o - 4, o = -5*t + 18. Suppose 19 = t*g - 69. Does 5 divide g?
False
Let l(r) = 3*r - 2. Let c(w) = -8*w + 5. Let s(j) = -4*c(j) - 11*l(j). Let u be s(2). Suppose u = -5*k + 5*z + 65, -31 = -3*k - 6*z + z. Is k a multiple of 6?
True
Suppose -6*x = h - 4*x - 12, h = -x + 8. Is h even?
True
Suppose 0*i = -4*i + 24. Let g = -15 + 44. Let m = g - i. Does 8 divide m?
False
Let c = -8 - -5. Is 18 + 3 - c/1 a multiple of 9?
False
Suppose -3*m = -2*m + 3, 5*i + 4*m = -12. Suppose -2*n + 36 = -i*n. Is 13 a factor of (26/(-3))/((-12)/n)?
True
Suppose -3*n + 480 = 5*x, -x + 140 = -4*n + 21. Is x a multiple of 15?
False
Let t(q) = 10*q - 3. Suppose 3*o - 13 = -2*h, -o + 6*o - 30 = 5*h. Is t(o) a multiple of 23?
False
Does 50 divide (5 - -100 - 5)*(-1 - -2)?
True
Does 28 divide 136/3*27/18?
False
Let l(x) = 7*x**2 + 11*x + 40. Is 16 a factor of l(-5)?
True
Let w = -37 + 59. Is 11 a factor of w?
True
Suppose -4 = -w + 7. Let h = w + -2. Does 3 divide h?
True
Suppose 0 = -3*s + 2*s. Let r(z) = -z**3 + z**2 + z + 4. Let g be r(s). Suppose g - 79 = -5*a. Does 10 divide a?
False
Let o(x) = -x**2 - x + 10. Is 2 a factor of o(0)?
True
Suppose 3*c - 160 = -c. Suppose -2*m + 6 = 0, -5*f + c = -4*m + 232. Let v = f - -50. Is 12 a factor of v?
False
Let m = 538 + -360. Suppose 4*l - c - m = 2, -4*l + 5*c = -196. Is l a multiple of 15?
False
Let p(b) = b + 201. Let v be p(0). Suppose 4*w + 3*o - v = -2*o, -3*w + 177 = -5*o. Is 27 a factor of w?
True
Let f(o) = -o**2 + o + 3. Let y(g) = -1. Let t(l) = -f(l) - 6*y(l). Does 9 divide t(3)?
True
Let l(n) = 2 + 3*n + n**2 + 3*n**3 - 2*n**3 - 2*n. Let x be l(0). Suppose 2*i + 2*v = -x*i + 120, -40 = -i - 3*v. Is i a multiple of 14?
True
Let c(t) = -t**2 + 3*t + 3. Let n be c(3). Suppose -f = -n*f + 4. Suppose k + 3*i = f, -k = 2*k + 3*i - 30. Is k a multiple of 14?
True
Let q be (-12)/42 + (-4)/(-14). Suppose q = 2*s - 34 - 110. Is 2 a factor of s/(-30)*(-5)/2?
True
Suppose -11 - 114 = -5*k. Let y be 2/(-1) - -2*k. Suppose 3*g = -g + y. Does 6 divide g?
True
Let z(h) = 5*h**3 - 4*h**2 + 2*h. Is 16 a factor of z(2)?
False
Suppose 0 = -2*t + 3*t - 31. Is 31 a factor of t?
True
Suppose 4*a - b - 4*b + 71 = 0, 2*b = -a - 21. Let l = 34 + a. Is 5 a factor of l?
True
Suppose 5*q + k = -0*k - 30, -3*q + 2*k = 31. Let d(f) = 2*f**2 + 8*f - 7. Does 13 divide d(q)?
False
Suppose -u + 0*u + 46 = 0. Does 12 divide u?
False
Suppose -5*h = -3*h - 6. Suppose 4 + 23 = h*c. Does 5 divide c?
False
Suppose 9*l - 21 = 10*l. Is 8 a factor of (-6)/l + 215/7?
False
Let a(p) = 3*p**2 - 2*p - 5. Let t be a(-4). Suppose -t - 54 = -3*m. Is 10 a factor of m?
False
Suppose -z + 5*q + 24 = 0, -2*q = -z - 5*q - 8. Suppose z*v - 40 = -4. Is v a multiple of 9?
True
Suppose -2*u + 24 = u. Suppose 4*i + u + 0 = 4*j, -2*j = -3*i - 9. Let h = i - -8. Is h even?
False
Let a(n) = n**3 + 5*n**2 - 5*n + 8. Let q = 7 + -13. Let i be a(q). Suppose -4*g + 56 = -i*s, 3*g - 31 = -3*s - 7. Is 6 a factor of g?
True
Suppose -4*w - 4*d = -16, w + 1 + 1 = 2*d. Is (w/3)/((-2)/(-213)) a multiple of 22?
False
Does 3 divide ((-2)/(-4))/(1/(-2))*-29?
False
Let k be -2*9/6 - -41. Is 9 a factor of 2*(-2 - -1) + k?
True
Let v(r) = -43*r + 1. Let p = -12 + 10. Does 29 divide v(p)?
True
Let z be ((-18)/(-15))/((-6)/(-15)). Suppose 260 = 2*s + z*s. Suppose -2*p = 2*p - s. Does 13 divide p?
True
Suppose l = -3*t + 14, -4*t - 4*l - 14 = -6*t. Let f(x) = x**2 - 3*x - 6. Is 2 a factor of f(t)?
True
Suppose -4*c = -2*c. Is 12 a factor of ((-36)/(-3) - c) + 0?
True
Let f be 129/15 - 4/(-10). Let j be (1 - (3 - 1))*1. Is 5 a factor of ((-1)/3 - j)*f?
False
Let d(m) be the third derivative of -7*m**4/24 + m**3/6 + m**2. Let f(o) = 20*o - 3. Let p(v) = -14*d(v) - 4*f(v). Is p(2) a multiple of 17?
True
Suppose -1 = -2*b + j - 6, -3*b - 2*j + 10 = 0. Does 4 divide (2 - b) + -1 - -5?
False
Let p(y) = y**2 + 7*y. Suppose 5*q - 5*c = -50, 5*c + 26 = -4*q + 2*c. Is p(q) a multiple of 4?
True
Suppose 5*g + 3*a = 58, -g + 15 = 5*a - a. Does 12 divide 910/77 + 2/g?
True
Suppose -2*g - 263 = -5*s - 6, -151 = -3*s + 2*g. Does 8 divide s?
False
Suppose -7*x + 324 = -4*x. Does 12 divide x?
True
Suppose -12 + 4 = -4*g. Suppose n + 3*b = 51, 3*n - 2*n - g*b = 41. Is 15 a factor of n?
True
Let w(y) = y**2 + 3*y - 8. Let b be w(-7). Let t = 6 + b. Is 13 a factor of t?
True
Suppose -5*d - 1 = -6. Does 4 divide 14/(-2*(-2 + d))?
False
Let r(s) = -s**3 + s**2 - s + 96. Let y(j) = j**3 + 7*j**2 + 5*j - 6. Let l be y(-6). Let q be r(l). Suppose q = 5*d - 4. Is d a multiple of 12?
False
Is (-6 - -3)/(3/(-9)) a multiple of 6?
False
Let b(a) = -127*a - 1. Is b(-2) a multiple of 47?
False
Suppose 2*n - 69 - 75 = 0. Does 24 divide n?
True
Suppose 4*q = -b + 19, b - 4*q - 15 + 4 = 0. Is b a multiple of 5?
True
Let t(b) = b**2 + 2*b - 3. Let o be t(-3). Let n(y) = -y**3 + o*y**3 - 3 + 0 - 2*y. Does 4 divide n(-2)?
False
Let s = -98 - -182. Is s a multiple of 22?
False
Let m = -153 + 274. Let p = m + -39. Does 21 divide p?
False
Suppos