 + -5. Is t(j) a multiple of 8?
True
Suppose -240 = 2*m - 4*m. Is 15 a factor of m?
True
Let d(m) = m + 42. Is d(-20) a multiple of 13?
False
Suppose -2*t = -7*t - 265. Is (t + (4 - 2))*-1 a multiple of 17?
True
Suppose 5*o = o + 64. Suppose 4*g + 5*x = 44, 3*x + 2*x + 11 = g. Let i = o - g. Is 4 a factor of i?
False
Suppose -2*a = q - 0*q - 149, 3*a = -3*q + 219. Does 10 divide a?
False
Suppose 2*w - 4*w = 0. Suppose 0 = -4*l - w*j + 4*j + 200, -3*j + 250 = 5*l. Does 18 divide l?
False
Let l(v) = 2*v + 10. Let a(n) = n**2 + 8*n + 3. Let s be a(-6). Let t be l(s). Does 12 divide 27/3*t/(-3)?
True
Let j(f) = -3*f - 3. Let k be j(-2). Let v be 0 - (-9)/k - -15. Suppose -z + 2*g = -2*g - v, -5*z + 2*g = -54. Is 10 a factor of z?
True
Let q(d) = 3*d**2 - 7*d + 114. Let p(j) = -2*j**2 + 5*j - 76. Let l be (2*(-15)/6)/(-1). Let v(g) = l*q(g) + 7*p(g). Does 24 divide v(0)?
False
Let k = 0 - -2. Suppose 5*w - k = 3*w. Is 17 a factor of 21*(3 - w) - 1?
False
Let g(m) = m**2 - m. Let z be g(3). Let k = -2 + z. Suppose d + 5*v = 11, k*d - 50 = 4*v + 66. Is 7 a factor of d?
False
Is 9 a factor of 7*50/(-20)*12/(-7)?
False
Let d(w) = 8*w + 16. Let x(t) = 9*t + 17. Let v(p) = 7*d(p) - 6*x(p). Does 8 divide v(7)?
True
Suppose -5*x - 38 - 7 = 0. Does 10 divide (-186)/x + 3/9?
False
Let f(d) = -d**3 - 8*d**2 - 7*d + 9. Let p be f(-7). Suppose -p = -n + k + 46, 2*k = -5*n + 310. Is 12 a factor of n?
True
Suppose -5*p + 26 - 6 = 0. Let k(g) = p - 8*g + 2*g - g**3 + 2*g**3. Is k(4) a multiple of 15?
False
Let h be (-4 - 11)/((-6)/(-20)). Does 6 divide h/(-5) + -2 + 4?
True
Suppose 5*d - 6*h + 2*h = 277, 150 = 3*d + 3*h. Is d a multiple of 10?
False
Let b(w) = w**3 + w**2. Let o be b(-1). Suppose 5*v + 145 = 5*d, o = -3*d + d + v + 53. Is 14 a factor of d?
False
Let y(r) = -2*r**2 - 2*r. Let h be y(-2). Let t be h/10*(6 - 1). Let q(p) = -p**3 - p**2 - p + 2. Is 6 a factor of q(t)?
False
Suppose -398 = -4*t + 2*y, 393 = 4*t + 5*y - 6*y. Does 22 divide t?
False
Let t = 11 - 8. Let p = -13 + 22. Suppose -t*c + 30 = -p. Is 13 a factor of c?
True
Let g(d) = -d + 3. Let j be 6/21 + 2/(-7). Does 3 divide g(j)?
True
Let j = 6 - 6. Suppose 2*g + 5 = 2*w - 3, j = -2*w - 10. Let t(m) = -m - 6. Is 3 a factor of t(g)?
True
Let u = -4 - -64. Is 20 a factor of u?
True
Suppose 4*b - 6*b - 4 = 0, 0 = -4*l + b + 2. Let m = l - 21. Let r = -7 - m. Is r a multiple of 6?
False
Suppose 5*i - 3*w - 597 = 0, -w + 362 = 3*i + w. Is 24 a factor of i?
True
Let t = 194 - 114. Does 16 divide t?
True
Suppose -5*b - 7 = -u, 5*u = u + b - 10. Is 12 a factor of u + 2*20 + -1?
True
Let r(i) = i + 3. Let u be r(-6). Let p be 3/(u/4*-2). Let k(o) = 14*o. Is 14 a factor of k(p)?
True
Let m(q) = q**3 - 7*q**2 - 9*q + 8. Let l be m(8). Suppose l*s - 5 = -s. Is s a multiple of 3?
False
Let q(v) = -v**2 - 6*v - 5. Let o be q(-4). Suppose -c = -o*d + 2*d + 23, -3 = 3*c. Is d a multiple of 22?
True
Let t = 26 + -32. Let l(g) = -g**3 - 6*g**2 - 3*g - 9. Does 6 divide l(t)?
False
Let h be 2 + 1/(1/8). Let j be 44/h + 10/(-25). Suppose -z + 55 = 4*s, j*z = 5*s - 40 - 34. Is 14 a factor of s?
True
Suppose -3*k - 2*k - 4*t = -2368, -3*k + 3*t + 1410 = 0. Is k a multiple of 59?
True
Let l(s) = s**3 + 22*s**2 - 5*s - 10. Is 6 a factor of l(-22)?
False
Let u(g) = 2*g**2 - 15*g - 25. Is 16 a factor of u(13)?
False
Let l = 0 - -3. Suppose 5*p + 5*y - 52 - 18 = 0, p + l*y = 24. Let c = p - -5. Does 14 divide c?
True
Let d(a) = 31*a - 9. Is d(2) a multiple of 4?
False
Suppose 11 = -d + 2. Is 4 a factor of (-8)/36 - 56/d?
False
Let j = -6 + 17. Let n(c) = 4*c - 11. Does 11 divide n(j)?
True
Let f = -7 + 40. Is f a multiple of 9?
False
Suppose 0 = -2*p + 5*p - 138. Is 23 a factor of p?
True
Let u(l) = -l**3 + 5*l**2 + l + 7. Let c be u(5). Suppose 4 = b - c. Is 16 a factor of b?
True
Let k(a) = -a**2 - 3*a + 4. Let c be k(-4). Let l be -36 + 8 + c/(-2). Let o = -5 - l. Is 7 a factor of o?
False
Let z(y) be the second derivative of y**4/12 + y**3/2 - 5*y**2/2 + y. Is 2 a factor of z(-5)?
False
Suppose -4*b - 62 = -y + 3*y, 5*y + 131 = 2*b. Does 7 divide 44/6 - (-9)/y?
True
Does 29 divide 3/5 + ((-4088)/(-20) - 2)?
True
Let a = 138 + -63. Let v = a - 52. Let o = v + -14. Does 6 divide o?
False
Suppose -5*k - 3*t + 529 = 0, -9*t = -6*t - 9. Is 13 a factor of k?
True
Suppose -3*y + 64 = -y - 4*d, 2*y = 3*d + 67. Is 19 a factor of y?
True
Let b be 0/(-2*(-2)/(-4)). Suppose b = -7*p + 2*p + 180. Does 10 divide p?
False
Let b = 1 - 1. Suppose b = -5*x + 5*z + 173 - 43, 2*x + 3*z - 32 = 0. Let a = x + -14. Is a a multiple of 8?
True
Let n(f) = 11*f - f**2 + 3 - f**2 + f**2. Let r = 56 + -51. Is n(r) a multiple of 13?
False
Let r = -110 - -155. Is r a multiple of 9?
True
Suppose -43 = -5*u - 13. Let m(b) = b + 2. Let w be m(0). Suppose 0 = -w*r + 4 + u. Does 5 divide r?
True
Let a = 0 - -35. Is a a multiple of 22?
False
Let c(k) = k**2 + 11*k + 4. Let d be c(-10). Let r be -3*(-4)/d + 2. Suppose 2*y = -5*w + 73, r = -w - w + 2. Is 16 a factor of y?
False
Suppose -2*q = 3*f - 7, q - 5 = -2*f - f. Suppose 5*t = 3*d + 83, 5*t - 4*d - 52 = 2*t. Is t*9/12*q a multiple of 12?
True
Let m = 186 + -120. Does 9 divide m?
False
Let b(z) = -3*z**2 - 6*z - 2. Let h be b(-4). Let l = h + 39. Is 4 a factor of l?
False
Is 25 a factor of 587/5 + 15/25 + 0?
False
Let w(t) = -11*t + 6. Does 6 divide w(-6)?
True
Let t(w) be the third derivative of w**7/2520 - w**6/240 - w**5/15 - w**4/12 + 2*w**2. Let m(o) be the second derivative of t(o). Is 8 a factor of m(6)?
False
Let o(k) = k**3 + 2*k**2 - 3*k - 3. Let g be o(-2). Let r(l) = g + 1 - 10*l**2 - 2*l**3 + l + 3*l**3 + 6. Is 12 a factor of r(10)?
False
Let j be ((-1 + 1)/3)/(-2). Suppose j = -i - 3*w + 1, 2*w + w + 29 = 2*i. Is i a multiple of 7?
False
Suppose 0 = -4*n - 3*j + 114, -25 = -3*n - j + 58. Is n a multiple of 9?
True
Let l be 5 + -2*(-2)/4. Suppose -2*x = 4*p + 20, -4*p - 62 = -x + l*x. Let d = x - -31. Does 13 divide d?
False
Suppose 0 = -m + 3 - 0. Suppose -2*n - 5 = -m*n. Is 2 a factor of n?
False
Let k(w) = -7*w**2 - 15*w + 16. Let r(f) = f**2 + f - 1. Let y(b) = k(b) + 6*r(b). Let i be y(-10). Suppose -6*l + l + 80 = i. Is l a multiple of 8?
True
Does 16 divide (-2 - (-309)/9) + 1/(-3)?
True
Suppose 2*c + 0*c = 4*w - 454, 3*c = -3*w + 336. Does 40 divide w?
False
Suppose -c = 2*v - 4, 40 = -2*v + 7*v - 5*c. Suppose 2*k - v*b - 60 - 6 = 0, 2 = b. Does 16 divide k?
False
Let g be -2*2*(-1 - 0). Let q(y) = 1 - g - 3 - 4*y. Is 18 a factor of q(-6)?
True
Let q = -4 + 28. Suppose -4*u + q = r, 5*r - 2*u = 2*r + 16. Does 8 divide r?
True
Let g(z) = 20*z - 35. Let r(f) be the first derivative of 7*f**2/2 - 12*f + 1. Let h(u) = -6*g(u) + 17*r(u). Is h(3) even?
False
Let x be (32 - -2) + (4 - 3). Suppose -2*r - 5*c = -x, -3*r + 2*r = 5*c - 20. Is r a multiple of 12?
False
Suppose 5*y = 2*y. Suppose y = -2*a + 3*a - 36. Let i = a - 14. Does 11 divide i?
True
Let z be (-1 - -1)/(4/2). Suppose z = -5*h, -3*v + 5*h = -31 - 23. Is v a multiple of 9?
True
Let c(s) be the third derivative of -s**5/30 - 11*s**4/24 - s**3 + 6*s**2. Is c(-4) a multiple of 6?
True
Let g be (-1 + 10/6)*18. Suppose q + g = 4*q. Suppose 20 = k - 3*x + q, 8 = 3*k + x. Is 2 a factor of k?
True
Suppose 3*q = 5*x + 5*q - 96, -q = -5*x + 102. Suppose -g + 0*p = -4*p - x, -3*g - 3*p = -75. Is g a multiple of 12?
True
Let f be (-1 - -27)*(-2)/4. Suppose 5*t + 86 = -84. Let y = f - t. Does 21 divide y?
True
Suppose 0 = 3*j - 2*v - 132, -2*j - 2*v = -4*j + 90. Is j a multiple of 11?
False
Suppose -29 = -4*y + j, -3*y - 5*j + 15 + 1 = 0. Let w be (-23)/(-7) + (-2)/y. Suppose 33 = 3*r - 4*c - 10, 2*r + w*c - 57 = 0. Is 9 a factor of r?
False
Suppose -2*b = -3*b. Let t = 5 + b. Does 5 divide t?
True
Suppose -3*n - 2*n - 2*d + 232 = 0, 0 = -4*n + 4*d + 208. Is (-2)/5 + n/20 even?
True
Let o be (5/(-10))/((-1)/(-2)). Let a(i) be the first derivative of -9*i**4/4 + 2*i**3/3 + i**2/2 + 1. Is 5 a factor of a(o)?
True
Suppose -8*x = 263 - 1223. Does 11 divide x?
False
Let k(c) = c + 6. Let x be k(-8). Let h = x - -3. Is 9 a factor of 8 + 0 + 2 - h?
True
Let h = 4 + 18. Let c be (-4)/h + 262/(-11). Let o = c - -45. Does 11 divide o?
False
Let s(l) = 2 - 9*l - 4*l - 3. Let a(i) = -i + 6. Let g be a(8). Is s(g) a multiple of 13?
False
Is