tor of d?
False
Suppose 21*v = -13395 + 44055. Suppose 7*i - 12*i = -v. Is 27 a factor of i?
False
Suppose -22221 = -3*r + 3*l, r = 2*l + 2342 + 5068. Is r a multiple of 12?
True
Suppose -2417 = -6*u + 757. Suppose 2036 = 8*n - 4*n + 4*j, u = n - 4*j. Does 19 divide n?
True
Let z = -3168 - -4111. Is 4 a factor of z?
False
Let f = -130 - -744. Suppose 0 = 13*l - 11*l - f. Is 43 a factor of l?
False
Let l = -424 + 443. Suppose l*k - 14586 = -3*k. Does 17 divide k?
True
Suppose -2*n + k + 2*k + 1401 = 0, -5*k = -n + 683. Let i = -338 + n. Is i a multiple of 74?
True
Suppose 5*a + 10 = 3*c - 0, 0 = 3*a - 3. Suppose -331 = -c*p + 1409. Is p a multiple of 6?
True
Let j be 14/6*(0 - (-20 - 1)). Suppose -2648 = -3*o + 5*v, o - 48*v + j*v = 888. Does 8 divide o?
False
Let k = -17 - -8. Let q = -1351 - -1354. Is 18 a factor of (q - (-33)/k) + 3472/24?
True
Suppose 3*d = 4*l + 4*d - 22, -3*l + 5*d + 5 = 0. Let u(v) = 16*v**2 - 10*v + 10. Let z be u(l). Suppose 0 = 5*o - o - z. Is o a multiple of 10?
True
Let v(h) = -h**2 + 25*h - 8. Let k(t) = t + 15. Suppose -15 = -3*w, j = w - 1 + 4. Let d be k(j). Is v(d) a multiple of 13?
False
Let m be 12/(-9) + 52468/39. Let p = -725 + m. Does 46 divide p?
False
Let v be 8/6*(-19803)/(-46). Suppose 12*f - 5854 = -v. Is 55 a factor of f?
True
Suppose 2*t - s - 1522 = 0, -19*t - s = -14*t - 3798. Is 2 a factor of t?
True
Let i = -14311 + 21710. Is i a multiple of 82?
False
Let a(n) = n**3 - 15*n**2 + 15*n - 15. Let o be a(14). Let v be 35 + o + 0/(3 + -7). Suppose 0 = -4*y - d + 58, -2*y + 0*d + v = 3*d. Does 14 divide y?
True
Suppose -44*i - 8*i - 80*i = -95040. Is 36 a factor of i?
True
Suppose 341*k - 89000 = 331*k. Does 68 divide k?
False
Let o = 1551 - 1005. Let s = o - 204. Suppose 3*r = -3*w + 252, w = -5*r + r + s. Is 9 a factor of r?
False
Let c(p) = 171*p + 707. Does 23 divide c(-4)?
True
Let t be ((-95)/(-38))/(2/508). Let o = 705 - t. Does 4 divide o?
False
Let l(w) = -7309*w**3 + 15 + 7310*w**3 - 6*w + 15 - 2*w**2. Is l(10) a multiple of 55?
True
Suppose 4*x = t - 30, -51 = -t - 5*x + 2*x. Let a = 46 - t. Is a/7 - 482/(-14) a multiple of 7?
True
Suppose -2*y = -2*r - 5*y - 186, 5*y + 279 = -3*r. Let s = r + 93. Suppose s = 4*h - 204 - 368. Is h a multiple of 22?
False
Suppose -2*m + u = -37, -4*m + 3*u = m - 92. Let r = 86 - m. Is 30 a factor of r?
False
Let v(q) = 3*q - 7. Let f(y) = y - 2. Let d(t) = 15*f(t) + 3*v(t). Is d(24) a multiple of 15?
True
Let d be ((-18)/117 + (-115)/13)/(-3). Suppose -2*h - 3*h - d*r = -249, 2*h - 5*r = 81. Is h a multiple of 6?
True
Suppose 5*o = 4*m + 4*o - 494, -2*o = m - 128. Suppose 240 = p + p + 2*q, -p + m = 2*q. Is p a multiple of 49?
False
Is (-8)/3 + (-508)/381 + (32078 - 1) a multiple of 77?
False
Is 5844/180*57*5 a multiple of 17?
False
Let x = 333 - -667. Suppose -2*a + 5114 = 5*l, -a - x - 27 = -l. Does 43 divide l?
False
Let h be -15*(32/20)/(-4). Suppose -54*u - 2040 = -57*u. Suppose 0 = h*o - 11*o + u. Does 25 divide o?
False
Let n(h) be the third derivative of h**5/60 - 17*h**4/24 - 13*h**3/6 + 2*h**2. Let m be n(18). Suppose -297 = -8*z + m*z. Does 11 divide z?
True
Suppose -57*p + 99753 + 567831 = 0. Is p a multiple of 183?
True
Suppose -2*z - 3*b = -18412, 51545 = 6*z - 3*b - 3739. Does 47 divide z?
True
Let n = -8081 - -10442. Is n a multiple of 34?
False
Let g(b) = 29 - 21 + b**3 - 14 - 24*b + 9*b**2. Does 2 divide g(-11)?
True
Let x(n) = 18*n - 10 - 8 + n**3 - 20*n**2 + 4*n. Let a(k) = -65*k - 176. Let v be a(-3). Is x(v) a multiple of 13?
True
Let o = 164 - -656. Is 20 a factor of o?
True
Suppose 14*i - 475288 + 173532 = 0. Is 29 a factor of i?
False
Suppose 0 = -5*s + 39 - 29. Let a be (s - 0) + 2 + 8. Suppose 3*t + 4*z = -z + a, -27 = -4*t - 3*z. Does 2 divide t?
False
Let w(h) = -2*h**3 + 35*h**2 - 15*h - 20. Let i be w(17). Is 2/i - (-121686)/357 a multiple of 35?
False
Let h(v) = -2*v**2 - v - 13. Let n(r) = 4*r**2 + r + 26. Let y(p) = 11*h(p) + 6*n(p). Let c(s) = -19*s - 91. Let w be c(-5). Is 5 a factor of y(w)?
True
Suppose -5*i + 2*m = -55, 2*i - 14 = i + m. Suppose 27 = 2*d + 3*b, -2*d + 4*b - i = -1. Suppose -d*n + 12 = -18. Is n a multiple of 5?
True
Let g be (-186)/(-15) - (-4)/(-10). Let l(r) = -r**3 + 15*r**2 - 6*r - 18. Is 19 a factor of l(g)?
True
Let m(v) = -3*v**2 - 59*v + 36. Let f(k) = 7*k**2 + 116*k - 72. Let x(a) = 6*f(a) + 13*m(a). Does 10 divide x(24)?
True
Suppose -3293*d + 3292*d - 6 = 0, -4*d + 58359 = 3*a. Is 13 a factor of a?
True
Let v = -11 - -17. Suppose 0 = 2*w + n - 877, 0 = -5*n + v*n + 3. Does 16 divide w?
False
Let a = -13883 - -19592. Is 173 a factor of a?
True
Suppose 2440*o + 5472 = 2459*o. Is 6 a factor of o?
True
Suppose 2*j = 0, 4*a + 3*j - 17052 = j. Does 19 divide a?
False
Let t = 5 + 426. Let d = -59 + t. Is 31 a factor of d?
True
Let r(q) be the first derivative of 7*q**2/2 - 6*q - 22. Let k be r(3). Suppose -k = -w + 6. Does 21 divide w?
True
Let f(s) = s**3 - 119*s**2 + 518*s + 253. Is f(115) a multiple of 6?
False
Let r = 10 + -10. Suppose j = -3*n + 25, r*n = -j + 5*n + 49. Does 5 divide j?
False
Let k be (-4 - (-16)/4)/(-1). Suppose k = -4*x + 2 + 6. Does 8 divide 0/(0 - 3) + 56/x?
False
Let k(g) = 164*g**2 + 527*g - 6775. Is 72 a factor of k(13)?
True
Let g(x) = 12*x - 4. Let h be g(-4). Let z be (-32)/88*29678/(-76). Let r = z + h. Is r a multiple of 9?
True
Let p(y) = 354*y - 6. Let w be p(1). Suppose 0*i = i - 4*s - w, 0 = i - 2*s - 354. Is i a multiple of 45?
True
Let d be 4 - ((-26)/91 - 4/(-14)). Suppose 5*i + 2*w - 125 = 0, 0*i = -4*i + d*w + 72. Does 4 divide i?
False
Let m(v) = 3*v**2 - 6*v - 3. Let a(x) = -1. Let j(n) = a(n) + m(n). Suppose w - 3*s + 0*s - 7 = 0, 5*w + s = 35. Is 13 a factor of j(w)?
False
Suppose -3*g + 24 = -3*p, -3*g - 2 - 6 = 5*p. Suppose -d + 2*d = -g*n - 534, 405 = -3*n - 3*d. Let f = n - -281. Is f a multiple of 37?
True
Suppose 2*b + 30 = -b. Let s = 13 + b. Suppose -3*y + 126 = l, -5*y - 29 - 349 = -s*l. Is 42 a factor of l?
True
Suppose 19*g - 45435 = 58286. Is 53 a factor of g?
True
Let v be (3 + 41 - 4) + 3. Suppose -2*q = -19 - v. Let d = 46 - q. Is d even?
False
Let k(z) = z + 8. Let x be k(-7). Let i(f) = -8*f - 13 - 2 - x. Is 4 a factor of i(-6)?
True
Suppose 0 = 255*s - 181*s - 13468. Is s a multiple of 14?
True
Let k(d) = -5*d**2 - 55 - 4*d**3 + 25 + 39 + 4*d. Does 3 divide k(-3)?
True
Suppose -r + 514 = -2*c, 2*c + 56 + 442 = 5*r. Let i = c - -338. Does 26 divide i?
False
Suppose 6127 = -42*k + 53*k. Let h = k + -333. Does 8 divide h?
True
Let z = -260 + 51. Is 87 a factor of 58*(z/114)/(1/(-9))?
True
Let w(g) = -g + 1. Let m be w(5). Let x(o) be the second derivative of o**4/4 - 4*o**3/3 - 6*o**2 + o. Is x(m) a multiple of 17?
True
Let a = 5945 - -2954. Is a a multiple of 163?
False
Suppose 5*d + t - 15 = 2*t, -d + 4*t = 16. Suppose 15 = -3*w + d*w. Suppose -w*j + 12*j + 282 = 0. Does 15 divide j?
False
Let y(q) = -911*q - 2362. Does 97 divide y(-6)?
True
Let t be 23/23 + 6*1. Does 12 divide -2 + 0 - (-266)/7*t?
True
Let d(c) = 10*c**2 - 6*c + 9. Let h(f) = -3*f**2 + 2*f - 3. Let k(q) = -4*d(q) - 14*h(q). Let l be k(5). Let y = l + 0. Is y a multiple of 9?
True
Suppose 4*w = 3*c - 100, 0 = -w - 0 + 5. Suppose -2*i - 170 - c = 0. Let p = i - -156. Is 6 a factor of p?
False
Is 9 - (-1040)/(-112) - 26240/(-14) - -6 a multiple of 8?
True
Let h = -246 + 244. Does 2 divide 28/(-6)*(-6 - (-1 + h))?
True
Let m(y) = -9*y + 3. Let o be m(1). Is -1 - ((-2656)/(-48))/(2/o) a multiple of 23?
False
Let h(z) = -2*z**2 + 79*z - 590. Is 37 a factor of h(11)?
True
Suppose 0 = -p + 4 + 10. Let y(s) = -s**3 + 4*s**2 + 15*s - 10. Let q(a) = a**3 - 6*a**2 - 15*a + 12. Let h(w) = 4*q(w) + 3*y(w). Is 27 a factor of h(p)?
False
Let j(o) = 7*o**3 + 30*o**2 - 21*o - 50. Is 14 a factor of j(9)?
True
Let y = 247 + -429. Let u = 308 + y. Does 5 divide u?
False
Suppose 0 = -4*q + 20 + 8. Let h(p) = 26*p + 6 - 2*p**2 - 18 - 4*p. Is h(q) a multiple of 31?
False
Suppose -3*n + 7*n = -6*n. Suppose n = 4*u - x + 2*x - 1413, 0 = -2*u + 4*x + 684. Is 44 a factor of u?
True
Let q(g) = 2*g**3 - 45*g**2 + 67*g + 42. Is q(30) a multiple of 48?
True
Let x = 5281 + -897. Does 57 divide x?
False
Suppose -13224 = -15*p + 5541. Is 9 a factor of p?
True
Does 55 divide 8460/2256*(-8240)/(-6)?
