a multiple of 14?
False
Suppose -293*k = -220635 - 1535021. Is k a multiple of 214?
True
Let z = -137 - -137. Suppose 2*k + q = 229, 2*q + z*q = 3*k - 333. Is k a multiple of 17?
False
Suppose -2*s + 5*w + 1784 = 0, -3*s + 1694 + 999 = w. Let t = s + -447. Is t a multiple of 5?
True
Suppose 5*v + 88 = 8. Let x(r) = -18*r - 20. Let n be x(v). Let y = -124 + n. Is y a multiple of 24?
True
Let w be (1 - 0)*(0 - 17). Let d = -15 - w. Suppose b + d*b = -4*c + 21, c - 52 = -5*b. Is 2 a factor of b?
False
Let k(r) = -r**3 - 16*r**2 - 27*r + 11. Let y be k(-15). Let p be (-2 - 0/(-4)) + y. Let o = -104 + p. Does 10 divide o?
False
Let r(v) = 17*v**2 + 72*v - 3. Is 11 a factor of r(-10)?
False
Suppose 22*b - 21*b = -10*k + 377916, 0 = 2*k + 3*b - 75572. Is 228 a factor of k?
False
Let i(s) = 20*s + 263. Is i(20) a multiple of 39?
True
Let j = 144322 + -102332. Does 247 divide j?
True
Let p(y) be the first derivative of 3*y**5/40 + 2*y**4/3 - 4*y**3 + 3. Let f(u) be the third derivative of p(u). Does 4 divide f(4)?
True
Suppose 0 = 135*z - 49*z - 1065196. Is 11 a factor of z?
True
Let v be (-40 - -1)/(34/18 + -2). Suppose y = a - 0*y - v, 0 = 2*a + 3*y - 712. Suppose -10*n + a = -497. Is 17 a factor of n?
True
Suppose 136*s - 6020342 = 3634570. Is s a multiple of 29?
True
Let w(q) = -2*q**2 + 13*q. Let r be w(5). Is 20 a factor of (8 - r) + (-1318)/(-2)?
False
Suppose -17*x = 2*x - 6612. Let v = 545 - x. Is v a multiple of 11?
False
Let b = 0 - 4. Let a be (-86)/b*-4 + -4. Does 9 divide (84/(-105))/(4/a)?
True
Let m = -60 - -57. Let u = 63 - m. Is 11 a factor of u?
True
Let z(j) = 85*j**2 + 2*j + 1. Let q(s) = 81*s**2 + s. Let u(t) = 4*q(t) - 3*z(t). Suppose 2*a + 3*a = -4*b + 11, -3*a = -2*b + 11. Does 17 divide u(a)?
True
Let w(j) = -3*j**3 - 6*j**2 + 4*j + 180. Is 47 a factor of w(-13)?
False
Suppose 53 + 57 = -5*r. Let d = r - -23. Let k = d - -44. Does 6 divide k?
False
Is 1566/6786 + 220646/13 a multiple of 81?
False
Suppose 0 = -5*s + g + 24898, -11*g = -2*s - 16*g + 9943. Is 13 a factor of s?
True
Suppose -3 + 5 = -v, 4*c + 3*v = 14. Suppose -2*b + 0*b + c*m + 1204 = 0, -4*b - 5*m + 2468 = 0. Is b a multiple of 34?
True
Let j(d) = d**3 + 2*d**2 + 5*d + 259. Let a(g) = -g**3 - 3*g**2 + 4*g. Let s = -98 + 94. Let y be a(s). Is j(y) a multiple of 20?
False
Is 42 a factor of (-380)/(-57)*147*(-60)/(-8)?
True
Suppose -2*l = -g + 2, -2*g = 2*l - 0*g + 14. Let w be (444/(-9))/(1/l). Suppose -4*x + w = -332. Does 23 divide x?
False
Suppose 7 = -r + 2*h + 8, -28 = 5*r + h. Is 23 a factor of (r - (-40)/1)*69/15?
True
Let g(z) = 10*z + 2. Let o be g(1). Let y be ((-12)/(-24))/((-1)/o*1). Is 3 a factor of (-10 - -34)/(y/(-8))?
False
Let k(r) = -2283*r**3 + r**2 + 324*r + 650. Does 70 divide k(-2)?
True
Let y(l) = -l**3 + 24*l**2 + 2*l - 882. Is 137 a factor of y(21)?
False
Let u be 38/323 + 32/17. Suppose h - u*h + 4*x = -128, 4*h = 4*x + 488. Is h a multiple of 6?
True
Does 43 divide 12/54 - (19172076/(-54))/7?
False
Let t(i) = i**3 - 27*i**2 + 32*i. Let s(f) = f**3 + 15*f**2 + 20*f + 110. Let o be s(-14). Is 13 a factor of t(o)?
True
Let s(f) = f**2 - 3*f. Let p be s(4). Suppose 4*t + p*u = 800, -5*t - 7*u = -11*u - 1027. Is 16 a factor of t?
False
Let k(v) = -v**3 + 8*v**2 - 10*v - 10. Let f be k(6). Suppose -3*n + f*w = -3*w + 15, 0 = -2*n - w - 10. Let s = n - -20. Is 2 a factor of s?
False
Let i(g) = -g**3 + 12*g**2 + 21*g - 13. Let j be 2 - (-5 - -4)*3. Suppose -j*q + 50 + 15 = 0. Is i(q) a multiple of 12?
False
Suppose 49*z = -59 + 304. Is 23 a factor of (z + -32 + -3)/(6/(-68))?
False
Let f be 26136/81 + (-1)/(-3). Suppose 4*d = 4*g + f - 1187, -5*g + 1080 = -d. Does 30 divide g?
False
Suppose -9*j + 11*j - 14 = 0. Suppose 4*k - 15 = -j, 2 = 4*m + 5*k. Is m - (-5 + (-1 - 96)) a multiple of 12?
False
Suppose 5*m - 19 = 251. Suppose -189*t = -183*t - m. Does 2 divide t?
False
Suppose -141232 + 103701 = -60*f + 152129. Is f a multiple of 109?
True
Suppose 4*q - 34 = 6. Suppose 0 = c - 3, q - 29 = -5*o + 2*c. Suppose 0 = 7*x - o*x - 30. Is 5 a factor of x?
True
Let i = 1391 - -448. Does 13 divide i?
False
Let g = 318 + -136. Suppose -2*q = 2*f - g, -2*q - f - 89 + 267 = 0. Is 8 a factor of q?
False
Let b(c) = -11*c - 19. Let l be b(-2). Is (15/(-3) - -2) + 522/l a multiple of 19?
True
Suppose 6*m = -4*m. Let x be m + -1 + 140/(-3 + -1). Is (-56)/12*x/3 a multiple of 14?
True
Let x(i) = 4*i + 16 - 7*i**2 - 15*i**2 + 19*i**2. Let a be x(7). Let w = a + 205. Is w a multiple of 17?
True
Suppose 2585*m - 2582*m = 20223. Is 107 a factor of m?
True
Let a(z) = -z**3 - 5*z**2 - z + 18. Let h be 2/(-4)*(-2)/(-1). Let q be 2 + 32/12*(-4 - h). Is 10 a factor of a(q)?
True
Let g = -17348 + 25444. Is 8 a factor of g?
True
Let d(b) = 201*b - 527. Does 40 divide d(7)?
True
Let y(o) = -o**3 + 13*o**2 - 14*o + 11. Let l be y(12). Let i(a) = -a**3 - 13*a**2 - a + 16. Let x be i(l). Suppose 460 = -24*j + x*j. Is 18 a factor of j?
False
Let a(o) be the third derivative of -o**6/60 - 7*o**5/15 - o**4/24 + 23*o**3/6 - 31*o**2. Let s be a(-14). Suppose -3*j + 23 = -s. Is j a multiple of 3?
False
Let v(l) = -3*l - 5. Let m be v(-2). Let o be (m/5*4)/((-20)/(-50)). Suppose 3*k - 96 = o*h - 5*h, -5*h + 150 = 3*k. Does 6 divide h?
False
Suppose -128 + 648 = 20*i. Suppose i*m + 19162 = 39*m. Does 77 divide m?
False
Let y(h) = 514*h + 8750. Is y(25) a multiple of 40?
True
Let w be 7/2 - (-31)/2. Suppose 12992 = 10*j + w*j. Does 7 divide j?
True
Suppose -2*z + 453 + 347 = 0. Let m = 782 + -772. Suppose -z = 5*r - m*r. Is 40 a factor of r?
True
Suppose -248*r + 137*r - 453040 = -131*r. Is 18 a factor of r?
False
Let n(w) = 22280*w + w**3 - 3 - 9 - 22287*w + 4*w**2. Is n(6) a multiple of 18?
True
Let z = 84 + 249. Let o = z + -297. Does 2 divide o?
True
Suppose 0 = -187*r + 181*r + 540. Let d = r - -85. Does 10 divide d?
False
Let q = 24321 + -21172. Is q a multiple of 3?
False
Let b(v) = 2*v**2 - 14*v + 62. Let m be b(14). Let h = -32 + -91. Let w = h + m. Does 25 divide w?
False
Let o = 2960 - 1760. Does 25 divide o?
True
Let j = -512 - 362. Let o = 1418 + j. Is o a multiple of 17?
True
Is 16976 + (-78)/10 + 53/(-265) a multiple of 168?
True
Let x be 4*(-4)/72 + 4/18. Let o be (-1 - x - -4) + -1. Suppose -o*p + 106 = -46. Is p a multiple of 9?
False
Suppose -4*m + 5*z + 78408 = 0, 0 = 5*m + 192*z - 190*z - 98010. Does 33 divide m?
True
Suppose 0*v - 144 = 9*v. Let l = 20 + v. Suppose -30 = w - l*w. Does 2 divide w?
True
Let r be 3/7 - (-5049)/(-119). Let x be (r/(-28))/((-6)/(-64)). Is x/6*(-30)/(-20) a multiple of 4?
True
Suppose -5*i = -2*y + 4221, 4214 = 2*y - 0*i + 2*i. Suppose -x = 4*o - y, -2*o - 3*x - 1581 = -5*o. Is 12 a factor of o?
False
Let q(f) = -453*f + 1907. Is 13 a factor of q(-29)?
False
Let r = -549 + 831. Let z = r - 270. Does 3 divide z?
True
Let g(t) = 108*t**2 + 27*t - 29. Is g(-5) a multiple of 38?
False
Let q(x) = -13*x - 17. Let v be -4 - (-31 + (4 - 5)). Suppose -17 = -k - v. Is q(k) a multiple of 42?
True
Let q(b) = -3*b + 4. Let c be q(-8). Does 6 divide 3/(12/10)*c?
False
Does 32 divide (-4 + 2493 + -25)*(76/14 - 2)?
True
Suppose -2*v = 3*r - 26256, 3*v + 1704 = r - 7048. Is 30 a factor of r?
False
Suppose 388800 = 2092*j - 2082*j. Is 270 a factor of j?
True
Let x be 2*((-6)/4 + 3). Let t be 2/(-8) + ((-78)/(-8))/x. Suppose 149 = t*q - 166. Is 21 a factor of q?
True
Is (-150468)/(-24) - (-2)/(1 + 3) a multiple of 114?
True
Is 142 a factor of ((-897)/9 + 5)/(18/(-1431))?
True
Suppose -3*y + 2*f = -5*y + 682, -5*f = 15. Suppose 3*o = -2*t + y + 665, 5*t - 2488 = 4*o. Suppose 6*z - t = z. Is z a multiple of 25?
True
Does 144 divide 7077438/387 - 22/(-473)?
True
Suppose -4*h + 1209 = -2*v - 1773, -2*v - 2237 = -3*h. Suppose 2*t = -z + 962, -2*t + z = -213 - h. Does 30 divide t?
True
Let q = -321 - -684. Let k = q + -327. Is 12 a factor of k?
True
Let q(x) = 4416*x + 8. Is q(2) a multiple of 52?
True
Suppose -12*t + 15*t + 3805 = -5*z, 3*z = t - 2283. Let o = z + 1494. Is 19 a factor of o?
False
Suppose 7*r = 33 - 12. Suppose r*s = 18 + 222. Is s a multiple of 12?
False
Let n(s) = -596*s - 211. Let j be n(-6). Suppose 3 = 3*h, -31*o + 26*o - 5*h + j = 0. Does 28 divide o?
True
Suppose 26*m - 139721 = 59433 + 120334. Is 64 a factor of m?
True
Suppose 55*w