r) = 36*r**3 + r + 1. Let p be s(-1). Let m(x) = 9*x + 3. Let a be m(7). Let b = p + a. Is b a multiple of 6?
True
Let w be (-15)/9*(-5 + 2). Suppose 0 = w*m - 4*m - 30. Suppose -s - 2*s = -m. Is 5 a factor of s?
True
Let o = 691 + 514. Is o a multiple of 63?
False
Does 4 divide (-63002)/(-204) + 3/18?
False
Suppose 0 = 3*y - 2*y - z - 93, -2*z + 174 = 2*y. Suppose y = 3*j - j. Is j a multiple of 15?
True
Let w = -995 + 1021. Is w a multiple of 10?
False
Let q(a) be the first derivative of 2 + 5*a + 11/2*a**2. Is q(7) a multiple of 17?
False
Suppose 2607 + 3071 = 17*z. Is 20 a factor of z?
False
Let a(o) = -o**3 - 9*o - 5. Let d be a(-4). Does 16 divide (-2)/(-12) - d/12*-2?
True
Let f = -44 + 46. Suppose 0 = -3*b + f + 4, 5*y - 166 = -3*b. Is y a multiple of 14?
False
Suppose 0 = 5*l + 3*w - 570, 5*l + 3*w = -2*w + 560. Does 7 divide l?
False
Let t(q) = -q**3 + 14*q**2 + 18*q - 11. Let u(r) = -3*r - 3. Let j be u(-6). Is 3 a factor of t(j)?
False
Let y(v) = -5*v**2 - 24*v + 26. Let a(q) = -9*q**2 - 46*q + 53. Let g(s) = -4*a(s) + 7*y(s). Is g(-18) a multiple of 4?
False
Let d(q) = -q**2 + 5*q + 6. Let b be d(7). Suppose 0 = 5*c - 2 - 28. Is 8 a factor of (-207)/(-12) - c/b?
False
Suppose -2059 = -3*t + l, 52 = l + 47. Is 13 a factor of t?
False
Let l(i) = 3*i**2 + i. Let w be l(-1). Suppose w*v - 4 = 6. Suppose -v*q = -0*q - 75. Does 9 divide q?
False
Let v = -190 - -442. Is v a multiple of 14?
True
Suppose -187 = -6*m + 41. Suppose m = -s + 2*s - 2*i, -s + i = -43. Is 9 a factor of s?
False
Suppose 3*s = -g - 27, 3*g - 87 = 6*g + 3*s. Let t be (-4)/(8/g) - 1. Let w(b) = -b**2 + 15*b + 1. Is w(t) a multiple of 8?
False
Suppose 5*n + 1405 = 2*o, 2339 = 5*o - 4*n - 1216. Is o a multiple of 13?
True
Let d = 200 + -36. Is d a multiple of 47?
False
Suppose 0 = -2*w + 3*j + 906, 4*j + 1333 = 3*w + 6*j. Does 84 divide w?
False
Let a = 451 - 152. Does 42 divide a?
False
Suppose 0 = -5*y + 891 - 206. Suppose -5*h + y + 143 = 0. Does 4 divide h?
True
Let q be (-6)/(0 + -2) + -35. Suppose 2*d + 2*c + 2*c - 4 = 0, d = -4*c + 12. Is q/(-10)*(-20)/d a multiple of 8?
True
Suppose -8*d = -4*m - 7*d + 555, 2*m = 2*d + 282. Does 69 divide m?
True
Let f = -2 - -4. Let r(m) = 7*m**2 - 4. Is r(f) a multiple of 10?
False
Let w = 272 + 155. Does 20 divide w?
False
Let q(f) = -29 + 7*f**2 - 20 - f + f**3 + 41. Let b(m) = m**3 + 6*m**2 + m. Let t be b(-6). Is 8 a factor of q(t)?
False
Let y = -688 - -1021. Suppose -5*n = 5*d - 365, -3*d + y = 4*n + 42. Is 7 a factor of n?
False
Let o = -2033 + 2375. Does 3 divide o?
True
Let a = -269 - -541. Suppose -6*x + a + 166 = 0. Is 13 a factor of x?
False
Suppose -5*a = -6*a - 36. Is (-1179)/a + 3/(-24)*-2 a multiple of 8?
False
Suppose -2*t + 456 = -512. Suppose -t = -2*k + 4*o + 302, -k = 2*o - 405. Is k a multiple of 33?
False
Let d = -33 - -634. Is d a multiple of 9?
False
Let i = -1 + 9. Suppose i = -3*s - 7, -u - 5*s = 7. Suppose -f - 53 = -2*p - 12, p + 2*f - u = 0. Is 12 a factor of p?
False
Suppose -9*i - 189 = -16*i. Is i a multiple of 16?
False
Suppose 3*x = -4*y + 16, y + y = 5*x + 8. Suppose -y*g = -8*g. Let m = g + 7. Is 7 a factor of m?
True
Let m be ((-40)/(-12))/(4/138). Suppose 5*q - 15 = m. Suppose 0 = -z - 0 + q. Is z a multiple of 15?
False
Let k = -47 + 56. Suppose -k*l + 56 = -5*l. Is 7 a factor of l?
True
Let w(k) = 3*k**2 + 6*k - 31. Let u(r) = -8*r**2 - 19*r + 92. Let a(d) = 4*u(d) + 11*w(d). Is 3 a factor of a(7)?
True
Let x = 47 + -42. Suppose 12 = v - l, x*l = 4*v - 79 + 26. Is v even?
False
Suppose -2*g + 6 = -8. Suppose r - 22 = -d, 0 = 4*d - r - 81 - g. Is 11 a factor of d?
True
Let q be (2 - 0)/(1/4). Let o(i) = i**3 - 7*i**2 - 7*i - 2. Let t be o(q). Does 12 divide 1/((24/308)/t)?
False
Let i(z) = z**3 - z + 18. Let m be (10 + -10)*3/(-6). Is 9 a factor of i(m)?
True
Suppose g + 24 = 4*g. Let k(c) = -c**2 - 2*c + 1. Let b be k(g). Let n = b + 167. Does 41 divide n?
False
Let z(h) = 36*h**2 - 2*h - 1. Let o be z(-2). Let k be 1*-2 + (o - -6). Suppose 0 = -r - 2*r + 2*g + k, 0 = r - 5*g - 33. Is r a multiple of 13?
False
Let u be ((-3)/2)/(4/(-24)). Let z be 152/3 - 6/u. Is 7 a factor of (z/20)/(1/14)?
True
Does 5 divide (16 - 22815/(-52)) + 1/4?
True
Suppose -5*w + 6 = -14. Suppose d = w*p + 76, -3*d + 0*d + 3*p = -237. Is 24 a factor of d?
False
Let w(h) = 2*h**2 - 3*h - 12. Suppose 3*r = -0*k - 2*k - 24, 20 = -5*r. Does 13 divide w(k)?
True
Suppose -51 = 4*z + 69. Does 9 divide 75/4 + z/40?
True
Suppose -6550 = -2*r + 3*t, -68*r + 3*t = -70*r + 6562. Does 102 divide r?
False
Suppose 0 = 3*s + 3*n + 12, 3*s = 5*s + 3*n + 10. Let w be (3 - (1 - -3))*s. Suppose 5*f - 60 = -w*c, -6*f + 8 = -4*f + 4*c. Is f a multiple of 3?
False
Does 9 divide -378*((-56)/(-12) - 6)?
True
Suppose 437*a - 21624 = 425*a. Does 34 divide a?
True
Suppose -708 = 6*y - 10*y. Is y a multiple of 8?
False
Let y be (-2)/9 + (-744)/54. Let u be y/105 - (-154)/30. Suppose 10*n = u*n + 90. Does 6 divide n?
True
Let a(g) = 7*g**2 - 45*g - 2. Does 8 divide a(9)?
True
Suppose -5*c - 5*z = -1355, 2*z = 3*z + 5. Let o = c + -108. Is 56 a factor of o?
True
Let f = -2155 + 2323. Is f a multiple of 8?
True
Suppose 3167 = 36*q + 971. Is 7 a factor of q?
False
Suppose -5 = -5*k - 5*i, 5*k = -i - 2*i + 3. Let h = k - 3. Let g(p) = -3*p**3 - 4*p**2 - 5*p - 3. Does 11 divide g(h)?
False
Let l(n) = 150*n - 490. Does 48 divide l(8)?
False
Let v be -25*(42/30 - 1). Is 16 a factor of 1342/10 + 2/v?
False
Suppose -5*f + 540 = -5*b, -5*f - 5*b + 464 + 26 = 0. Let h = 172 - f. Is 23 a factor of h?
True
Let q(f) = -f**2 - 2*f + 56. Let c(n) = 5*n**2 + 9*n - 224. Let l(k) = 2*c(k) + 9*q(k). Let o = -28 + 28. Is l(o) a multiple of 14?
True
Suppose 20538 = 23*t - 42597. Is 45 a factor of t?
True
Is 21*-1*(3 + -16 + 8) a multiple of 8?
False
Let v = 12 - 3. Let h(r) = r**2 - r + r**2 + 2 + 0*r**2 - v*r. Is 10 a factor of h(7)?
True
Let p(o) = 7*o**2 + 19*o + 2. Suppose 0*g + 36 = -6*g. Does 17 divide p(g)?
False
Is 8 a factor of 45/(-25)*590/(-6)?
False
Suppose 4*o - 10 = 2*o. Let d = 7 - o. Suppose -3*j = d*f - 61, -5*j = 2*f + 2*f - 101. Does 13 divide j?
False
Let i(j) = -j**3 + j**2 + 6*j - 22. Is i(-8) a multiple of 11?
True
Let z(d) be the third derivative of 1/6*d**3 + 0 + 1/60*d**5 + 0*d**4 + 0*d - 6*d**2. Is z(-3) a multiple of 10?
True
Let m = 11 - 3. Suppose m*f - 4*f - 896 = 0. Does 42 divide f?
False
Suppose 8*c + 295 = 5*k + 13*c, 0 = 2*k + 4*c - 122. Is 2 a factor of k?
False
Suppose 3*v = -g + 110 + 148, 0 = -5*g - v + 1248. Is g a multiple of 10?
False
Let u(k) = -13*k - 14. Let g be u(-6). Let j = 94 - g. Is 6 a factor of j?
True
Suppose -j + 16 - 1 = 0. Is 6 a factor of 444/(-518)*(j - 1)/(-1)?
True
Let g be 0 - -1 - 0 - (-325 + 4). Let u = -176 + g. Is 8 a factor of u?
False
Suppose -3*y = -5*l + 2445 + 29, -l + 496 = -y. Does 12 divide l?
False
Let d(i) = -i**2 - 7*i + 4. Let y be d(-7). Suppose 4 + 76 = y*a. Is a a multiple of 5?
True
Let l(u) be the second derivative of -u**7/840 - u**6/30 - u**5/8 - 3*u**4/8 - 2*u**3/3 - 4*u. Let h(a) be the second derivative of l(a). Does 7 divide h(-11)?
True
Let t(o) = -o**3 + 8*o**2 - 7*o - 5. Let x be t(7). Let f be x/15 - (-58)/3. Let d = 37 - f. Is 6 a factor of d?
True
Let o = 209 - 167. Is 21 a factor of o?
True
Let j = 39 - 46. Is 7 a factor of 42/147 - 411/j?
False
Let g = -74 + 74. Let h(n) = 2*n**3 - n**2 + n + 191. Does 16 divide h(g)?
False
Let i = 248 + -133. Suppose 0 = 2*h + 3*h - 980. Let m = h - i. Does 27 divide m?
True
Let y = 38 + -41. Is 6 a factor of y/(51/(-610)) - 28/(-238)?
True
Let l(v) = -v + 10. Let x be l(-11). Suppose n = 4*g + 4 + 6, 0 = -5*n + 10. Let i = g + x. Is i a multiple of 15?
False
Suppose 0 = 2*f + 4, -4 = -5*h + 4*h - f. Suppose -3*m - 792 = -h*m. Let w = -177 + m. Does 29 divide w?
True
Suppose -3*j - 3*w + 1344 = -0*j, 1768 = 4*j - 2*w. Suppose 0 = -3*i - 54 + j. Is 13 a factor of i?
True
Does 12 divide 9/((-3)/(-10)*(-90)/(-378))?
False
Let y be 2 + (-8065)/(-6) - 1/6. Suppose -9*x + y = 320. Does 30 divide x?
False
Suppose z - 190 = 2*t, -z - t - 545 = -4*z. Does 20 divide z?
True
Suppose 3*b + 2 = -4*o + 4, 4*b + 2*o - 6 = 0. Suppose -b*x + 5*t = -31, -3*t + 3 = 3*x + 9. Suppose a = x*a - 20. Is 5 a factor of a?
True
Suppose 5*s - 39 = 2*s.