rue
Let d = 72 + 18. Suppose 3*o - d - 78 = 0. Does 8 divide o?
True
Let q = 390 - -23. Suppose -5*m - 443 = -4*z, -q = -5*z + 2*m + 162. Let t = 165 - z. Does 16 divide t?
True
Suppose -7*n + 147 = 658. Does 36 divide 0/(-5)*1/(-3) - n?
False
Let w = 7899 - 11661. Is 2/15 - w/135 a multiple of 7?
True
Let s(f) = -f**2 + 10*f + 33. Let w be s(-4). Suppose -5*h - 230 = 5*c, 302 = -5*h + c + 66. Let r = w - h. Is r a multiple of 8?
True
Suppose -1259 = -5*b + 66. Suppose 4*o = 873 - b. Does 36 divide o?
False
Suppose -24*h - 57 = -28*h - q, 29 = 3*h - 2*q. Does 13 divide h?
True
Suppose -3*d - d = -488. Suppose -4*j + 106 = -d. Is 20 a factor of j?
False
Let a be ((-20)/8 - -3)*(5 - -1). Let d = 50 + a. Is 16 a factor of d?
False
Let s = -30 - -35. Suppose -s*t + 156 = -134. Is 8 a factor of t?
False
Let o = -431 + 295. Let h = -56 - o. Let z = 112 - h. Is 8 a factor of z?
True
Let k be -1*((-9)/(-3) + -6). Suppose -k*o + 2*o = -24. Let a = -12 + o. Does 4 divide a?
True
Suppose j = 3*y - 1331, 2*j + j - 427 = -y. Suppose -5*i + 2*p = -y, -3*i + i - 2*p + 174 = 0. Is 11 a factor of i?
True
Let d be (-6)/(-27) - (-25)/9. Let w(m) = 8*m**2 + 4*m. Let u be w(5). Suppose u = -d*s + 7*s. Is s a multiple of 12?
False
Let j(l) be the second derivative of -l**4/12 + 43*l**2/2 - 9*l. Let v be j(0). Suppose -3*c + v = -74. Is 8 a factor of c?
False
Suppose -19*a - 4800 = -23*a. Is a a multiple of 47?
False
Let a = -1823 - -2096. Does 91 divide a?
True
Let h = 2964 + -1354. Is h a multiple of 35?
True
Suppose k + 2*k = w - 59, 3*k = 5*w - 295. Let g = w + -149. Is g/(-12) - (-2)/(-4) a multiple of 7?
True
Let s = 3 + -2. Let o be 237/(-1)*s/(-3). Let p = o + -53. Is 13 a factor of p?
True
Suppose -4*f = 3*a + 14, 5*a - 5*f = 36 - 1. Let m be 0 + 3 - (-20)/a. Suppose 0 = -3*x + 2*x + m. Is x a multiple of 3?
False
Suppose 3*j - 3*c = 212 - 47, -j - 5*c + 73 = 0. Suppose 0 = -4*t - f + 806, 0 = 3*f - f + 4. Suppose -4*r + t = -j. Is 19 a factor of r?
False
Let r(h) = h**2 + h + 48. Does 10 divide r(36)?
True
Let v be (-8)/(-10)*(-86)/(-4)*-10. Let s = v - -298. Is s a multiple of 14?
True
Suppose -5*i = u - 8912, 3*i - 7*u = -6*u + 5344. Is i a multiple of 81?
True
Let n(m) = -2*m**3 + 3*m**2 - 4*m + 3. Let r be n(-4). Suppose -3*s + 3*v + r = 0, 0 = s - 0*v + 2*v - 56. Does 22 divide s?
False
Let x be 1/((-3)/(-51)) + 3. Suppose -w = -x - 57. Does 11 divide w?
True
Let d = -50 - -22. Suppose -3 = 3*c + 3. Let s = c - d. Does 13 divide s?
True
Let f = 792 + -22. Is 10 a factor of f?
True
Let z(d) be the third derivative of -5*d**4/12 + 4*d**3 - d**2 + 25*d. Does 44 divide z(-10)?
False
Let b = 509 + -322. Is 7 a factor of b?
False
Let p be 49/(-28) - (-2)/(-8). Let y(v) = v**3 + v + 2. Let i be y(p). Let q(z) = -4*z - 4. Is q(i) a multiple of 9?
False
Let x = -162 + 59. Let p be (189 - 145)*2*10/(-16). Let f = p - x. Does 24 divide f?
True
Suppose 1 = 3*i - p - 9, 3*p - 10 = i. Suppose -343 + 103 = -i*s. Let t = -10 + s. Is 19 a factor of t?
True
Suppose 2*u - 5 = 3*v + 6, 0 = -3*u - v + 11. Suppose 0 = -2*x - 2*w + 29 + 229, u*x - 481 = 3*w. Is x a multiple of 62?
True
Let l(w) = w**3 + 22*w**2 + 74*w + 6. Is 15 a factor of l(-12)?
False
Suppose -4*v + 2*g - 677 = v, 4*v + 2*g = -538. Let a(r) = -33*r - 23. Let c be a(-1). Is 26 a factor of 40/(-6)*v/c?
False
Let t(l) be the second derivative of 4*l**3/3 + 7*l**2/2 - 3*l. Is t(9) a multiple of 11?
False
Suppose -3806 = -8*j + 2442. Is j a multiple of 71?
True
Let m(o) = -o**3 - 19*o**2 + o + 25. Suppose g - 3*b - b = -19, -4*b - 19 = g. Let a be m(g). Suppose -a*x + 315 = x. Is x a multiple of 15?
True
Let b(g) = -g**3 + 7*g**2 - g + 7. Let v be b(7). Suppose -3*n = -2*q - 10, v*n + 5*q - 14 = n. Is 4/((-12)/9) + n a multiple of 3?
True
Let i(m) be the third derivative of m**4/24 + 3*m**3/2 + 4*m**2. Let c be i(-8). Is c + (-2)/(-1) - -13 a multiple of 12?
False
Let s(m) = 11 - 7*m**2 + 1 - m**3 - 2. Let v be s(-7). Suppose v = i - 30. Is i a multiple of 8?
True
Let j(a) be the third derivative of -a**6/120 + 11*a**5/60 - 3*a**4/8 - 5*a**3/3 + 15*a**2. Is j(7) a multiple of 35?
False
Suppose -5*o + 952 = w, 2*o - 14*w = -10*w + 372. Is 7 a factor of o?
False
Suppose 13 = 2*u - 411. Is 15 a factor of u?
False
Suppose -4*d - a + 10 = 2, -4*d + a = 0. Let o be d*6/(6/5). Suppose 2*l - 73 = -o*v, -v + 2*v + 5*l = 33. Is 4 a factor of v?
False
Let f(j) = -j**3 - 14*j**2 - 9*j + 6. Let a be f(-13). Let s = a + 62. Is 8 a factor of s?
True
Let t(c) = -16*c - 331. Is 35 a factor of t(-30)?
False
Let v = -409 - -32. Let f = -119 - v. Is f a multiple of 39?
False
Let a(l) = -l - 21. Is a(-48) a multiple of 7?
False
Let d(i) be the second derivative of 11*i**5/2 - i**4/12 - i**3/2 + i**2 + 26*i. Is d(1) a multiple of 18?
True
Let c = 37 + 689. Is c a multiple of 11?
True
Suppose 1152 = 7*s - s. Does 4 divide s?
True
Suppose 0 = -11*t + 19*t - 48. Suppose 12*j = t*j + 120. Does 11 divide j?
False
Let d(v) = -v**2 + 6*v - 3. Let c be d(4). Suppose 2*s + 9 = k - s, -c*k + 2*s + 19 = 0. Suppose 30 = k*j - j. Does 7 divide j?
False
Suppose t - 498 = 3*q, 8*q = 3*t + 3*q - 1490. Does 55 divide t?
True
Let v(r) = 2*r**2 + r + 27. Does 12 divide v(7)?
True
Let y(x) = x**2 + 14*x + 75. Is 14 a factor of y(-18)?
False
Let h = 15 - -3. Let w be (-364)/h + 2/9. Is 2 a factor of (0 - (-6)/(-15))*w?
True
Let i = -3 + 21. Let d = 30 - i. Is d a multiple of 5?
False
Suppose 4*z + 5*n = -140 + 1061, n = -z + 231. Is 26 a factor of z?
True
Suppose -25*z = -27*z + 5*y + 1563, -5*z - 3*y = -3923. Is 49 a factor of z?
True
Let l(i) be the second derivative of i**3/6 - 3*i**2 - 2*i. Let h be l(6). Suppose -6*o + 5*o - 3*r + 32 = h, 2*r - 36 = -o. Is 11 a factor of o?
True
Suppose 4*q - 19 = 69. Let m = q + -8. Suppose r + 0*r - m = 0. Does 7 divide r?
True
Suppose 7*b = -2*l + 3*b + 156, l - 2*b - 78 = 0. Is 9 a factor of l?
False
Let m(n) = 73*n - 198. Is 30 a factor of m(6)?
True
Let f(d) = 85*d**3 - 6*d**2 + 8*d + 3. Is f(2) a multiple of 32?
False
Let j = -5 - -8. Let c be 1*((5 - j) + -55). Let w = -13 - c. Is w a multiple of 23?
False
Suppose 0 = -4*h + 5*s + 2826, -2*h + s + 1440 - 30 = 0. Is 22 a factor of h?
True
Let l = 301 + -36. Suppose 2*b - l = -3*b. Is b a multiple of 25?
False
Suppose 2*r + 15 = 5*r. Suppose y - 2*a - 15 = 3*a, y = -r*a - 5. Suppose y*o - 63 - 52 = 0. Does 13 divide o?
False
Suppose 54*x + 2*s = 58*x - 3462, -x + 3*s = -863. Is 12 a factor of x?
False
Suppose -4*a + 61 + 47 = 0. Let d = a - 18. Is 3 a factor of d?
True
Suppose 7*l = -45 + 2299. Is 14 a factor of l?
True
Let x(a) = -a + 5. Let j(h) = -5*h + 25. Let p(q) = -4*j(q) + 22*x(q). Is p(-8) a multiple of 13?
True
Let u(z) = 40*z**2 - 3*z + 4. Let w be u(-3). Let y = w - 249. Is y a multiple of 31?
True
Let c(n) = -n**3 + n**2 + n + 5. Let j be c(0). Is 5 a factor of (-1 + j)/(2/13)?
False
Let f be (200/75)/((-4)/(-6)). Suppose -f*m = 5*t - 352, 2*t = 6*t + 4*m - 280. Is 12 a factor of t?
True
Let i be (-40)/6*((-4)/(-8) + 4). Let q = 226 - i. Does 64 divide q?
True
Let b(s) = 25*s**2 + 3*s - 1. Let v be b(3). Let r = v - 151. Is r a multiple of 41?
True
Let s be (-1548)/24 - (2/4 + 0). Is 18 a factor of s*5*(-16)/40?
False
Let u(j) = 7*j**2 + j + 6. Let p be u(-3). Is (4 - 6) + p - 1 a multiple of 11?
False
Let r(c) = -7*c**3 - 7*c**2 - 3. Let t(f) = f**3 + f**2. Let l(z) = -r(z) - 6*t(z). Let b be l(0). Suppose b*a - 46 = a - v, 32 = a - 4*v. Is a a multiple of 8?
True
Suppose 5*a - j = -94, a - 3*j + 26 = -j. Let p(b) = -5*b - 54. Does 5 divide p(a)?
False
Suppose -5*w = -34 - 21. Let y(c) = -c**3 - c**2 - 3*c. Let x be y(0). Suppose s - 22 - w = x. Is 9 a factor of s?
False
Is 2/3*(-2)/(8/(-654)) a multiple of 8?
False
Let n(i) = -2*i**3 + i**2 + i + 5. Let q be n(-3). Let f = q - 21. Is f a multiple of 8?
False
Let z(r) = -r**2 + 180. Let c be z(0). Suppose 4*t + 16 = 0, 0 = -4*u + t + 2*t + c. Is u a multiple of 21?
True
Suppose -5*s = 4*w + 77, 5*s + w - 5*w = -53. Suppose -4*i = -12 - 0, 5*j - i = -193. Let t = s - j. Is 17 a factor of t?
False
Let s be ((-5362)/(-35))/(2/5). Suppose -s = -4*n - 127. Is n a multiple of 8?
True
Suppose -21*n - 1375 + 24349 = 0. Is 35 a factor of n?
False
Suppose 4*z = 80 + 28. Let w = 92 - z. Is 11 a fact