2*z + 3 + 1 = a. Does 17 divide (70/(-4) + 4)*z?
False
Suppose -x = 1, -c = -2*c - 5*x - 5. Let j(v) = -v**3 + v**2 + 2*v + 66. Does 6 divide j(c)?
True
Let h be (-5 - 0)*1 - (-1 - 19). Suppose h*n - 132 = 4*n. Is 12 a factor of n?
True
Let s = 27 + -20. Suppose h - 174 = -5*w + 3*h, -5*w + 4*h = -168. Let q = s + w. Is q a multiple of 5?
False
Suppose -13 = 4*y + 63. Let w(u) = -u**3 - 23*u**2 - 39*u - 1. Let b(i) = -4*i**3 - 93*i**2 - 163*i - 4. Let d(q) = 2*b(q) - 9*w(q). Does 31 divide d(y)?
True
Let r = 494 + -175. Suppose -3*p + r = w - 0*p, -5*w - 4*p + 1584 = 0. Does 22 divide w?
False
Let n be ((-7476)/12 + 5)*(-2)/(-6). Let j = 125 + -43. Let w = j - n. Does 48 divide w?
True
Let f = 3683 - -61. Is f a multiple of 96?
True
Let y(m) = -m**3 - 11*m**2 + 13*m + 19. Let c be y(-12). Let z(x) = 14 - 4 - c + 8*x**2 + 19*x**2. Is 13 a factor of z(2)?
False
Suppose 11819 - 22379 = -74*z + 66992. Is z a multiple of 9?
False
Suppose -378 = -2*b + 2*v, b - 2*v = -108 + 298. Is 4 a factor of b?
True
Suppose -426*x = -448*x + 411312. Is x a multiple of 246?
True
Let v(n) = 14*n**2 + 64*n - 5. Let g be v(8). Suppose g = 2*o - 3*y, -8*y + 5*y + 2833 = 4*o. Does 6 divide o?
False
Let h(a) = -a**3 + 2*a + 4656. Let i be h(0). Suppose -21*o = -15*o - i. Suppose 4*j + 4*j = o. Does 10 divide j?
False
Suppose -3*q = m - 9, -7*q + 15 = -2*q. Suppose -1048 = -4*i + 2*l, -2*l + 4 + 0 = m. Is i a multiple of 31?
False
Suppose -3*x + 3 = -3*o, -26 = -5*x - 4*o + 6. Suppose x*d = -3*a + 3044, -10*a + 5*a = 0. Does 46 divide d?
False
Suppose -3*w + 9 = 0, 28524 = 3*x + 2204*w - 2200*w. Is 96 a factor of x?
True
Is 201608/474*-1*(1 - (14 - -2)) a multiple of 10?
True
Does 21 divide (-10)/(-45) - -97*(-578)/(-18)?
False
Suppose -4254 = -3*x + 5751. Is x a multiple of 98?
False
Let z be (-2 - 1/(-1))*(-4 + 24). Let r = z + 23. Suppose -4*l = l + 4*u - 434, r*l - 4*u - 254 = 0. Is 11 a factor of l?
False
Let j(z) = -1170*z + 1301. Is 11 a factor of j(-4)?
False
Let g be (-112)/(-40) + 1*(-16)/20. Suppose 2*p + 5*d - 163 = 0, g*p - 424 = -3*p + 4*d. Is 14 a factor of p?
True
Let j(k) = k**3 - 15*k**2 + 17*k - 36. Let o be j(14). Suppose -13*q + o*q = -595. Is 5 a factor of q?
True
Suppose 0 = 5*w - w - 12. Suppose -1130 = -4*s - 2*r - w*r, -3*s = -4*r - 863. Does 58 divide s?
False
Suppose 36409 = 13*r - 79993. Does 25 divide r?
False
Let a = 1907 + 11595. Is a a multiple of 270?
False
Suppose 3*y + 52944 = 2*q, 29*q - 24*q - 132334 = y. Is 22 a factor of q?
True
Let r be ((20/(-6))/5)/(4/(-1806)). Suppose -2*v - 5*g = -177, -4*v = 4*g - r - 35. Suppose -q + v = 4*x, 0*x + 4*q - 9 = -x. Does 3 divide x?
True
Let t(u) = 17*u - 47. Let m(x) = 42*x - 118. Let f(o) = 5*m(o) - 12*t(o). Let w be f(17). Let q = 84 - w. Is q a multiple of 4?
True
Let m(v) = -v**3 - 5*v**2 - 2*v + 9. Let f be m(-4). Is (-4 + f - -12)/(1/11) a multiple of 69?
False
Suppose 7189 = -5*g + 18*g. Suppose 18*w - g = -3*s + 23*w, 3*w = -5*s + 899. Does 4 divide s?
False
Let t = 89 + -140. Is 21 a factor of (-20)/3*(-8 + t/6)?
False
Suppose 23376 = 88*d + 64*d - 159024. Does 43 divide d?
False
Suppose 15*j + 17*j - 179379 + 21939 = 0. Does 120 divide j?
True
Suppose -3*x + 13 = 1. Let a(q) be the third derivative of q**5/20 - q**4/24 + 5*q**3/3 - 36*q**2. Does 23 divide a(x)?
False
Suppose -744*g = -725*g - 154413. Is g a multiple of 18?
False
Let c be 96/(-40)*10/(-6). Suppose 0 = -2*h + c*q + 56, -55 + 143 = 3*h - 2*q. Is h a multiple of 2?
True
Let j = 0 + 0. Let c be 5/(-10) - 27/(-6). Suppose c*z = 5*o + 94, 3*o = -z - j*z + 15. Is z a multiple of 3?
True
Let h(v) = 66*v**2 + v - 4. Let j be h(2). Let g = j + 270. Is g a multiple of 19?
True
Let s(x) = 10*x**2 + 4*x + 3. Let q(u) = u**2 + u - 1. Let o(t) = -5*q(t) + s(t). Does 62 divide o(-12)?
False
Suppose j - 4*v + 13 + 20 = 0, 2*j + v + 48 = 0. Let w = 70 + j. Let l = w - 37. Is 8 a factor of l?
True
Suppose 8*y + 252 = 2*y. Let u = y + 42. Suppose 0 = 2*d - 3*h - 149, u*h = 3*d - 3*h - 222. Is 38 a factor of d?
False
Suppose -4*z = 5*q - 57 + 10, -6 = 3*z. Let m = 407 + 57. Suppose 0 = 7*o - q*o + m. Does 7 divide o?
False
Suppose 25*u + 10 = 20*u. Let p(j) = 108*j**2 - 8*j - 13. Is p(u) a multiple of 33?
False
Let h = 118 - 64. Suppose 8*l = 10*l - h. Let z(d) = d**3 - 26*d**2 - 18*d - 29. Is 47 a factor of z(l)?
False
Suppose 0 = 4*i - 5*a + a - 1372, -4*i + 3*a = -1370. Does 5 divide i?
False
Let w(c) = c**2. Let x be w(1). Let n be (-7 + 6)/(x/10). Does 2 divide n/(-6) - (-3)/9?
True
Let v(n) = -1380*n - 2053. Is 64 a factor of v(-6)?
False
Suppose 12*c - 1013 = 331. Suppose -5*z + 160 = 2*v, 0 = v - 2*v. Let w = c + z. Does 27 divide w?
False
Let q(u) be the first derivative of u**2/2 - 8*u + 2. Let x be q(10). Suppose x*i + 46 = 4*l, 3*l + 3*i - 6 = 33. Is 3 a factor of l?
True
Let m(g) = g**2 - 5*g - 48. Let n be m(-5). Suppose 2*j - 4*y - 718 = 0, -704 = -n*j + 5*y - 8*y. Is 8 a factor of j?
False
Let p be -2 - -2 - (-23 - -1). Let r = -5631 + 5633. Suppose 0 = -r*l + p. Does 3 divide l?
False
Let k(i) = 2*i**2 - 25*i - 4. Let r(a) = -a**3 - 9*a**2 - 4*a - 5. Let b be r(-9). Does 9 divide k(b)?
True
Suppose 5*i = -u + 1839, 0 = 2*i - 3*u - 199 - 540. Is i a multiple of 59?
False
Let c(r) = 390*r + 97. Let t(b) = 584*b + 145. Let y(z) = 7*c(z) - 5*t(z). Is y(-3) a multiple of 75?
False
Suppose 364884 - 1083450 = -69*o. Is o a multiple of 18?
False
Let t(n) = 16*n**2 - 45*n - 399. Let d(p) = 3*p**2 - 9*p - 80. Let m(x) = 11*d(x) - 2*t(x). Is m(-12) a multiple of 10?
True
Suppose -3*i + 5*h + 466 = -170, -5*i - h = -1032. Suppose -4*t = 3*r - i, 41*t - 208 = 37*t - 4*r. Is t a multiple of 12?
False
Suppose -11*c - 66 = -9*c. Let y = 55 + c. Is y a multiple of 18?
False
Let h(d) = 11*d**2 + 5*d - 522. Does 11 divide h(42)?
False
Let z = -835 + 451. Let r = 257 - z. Is r a multiple of 35?
False
Let z = -28475 - -54908. Is z a multiple of 9?
True
Let s = -20 - -51. Let v(j) = 4*j + 20. Is v(s) a multiple of 3?
True
Let u be 9/((-9)/(-25760)) + 0. Suppose 43*r = 23*r + u. Is 28 a factor of r?
True
Suppose 123431 = 23*b - 18053 - 6452. Does 134 divide b?
True
Suppose -4*g - 9*p = -8*p - 44, -g + 16 = -p. Does 11 divide (-5)/(120/(-1398))*g?
False
Let n(v) = 3*v**2 - 13*v - 8. Let l be n(10). Let f = 40 + l. Suppose -5*p = -2*w - 484, -3*w = -2*p + 2*w + f. Is 16 a factor of p?
True
Let v be 6/5 - 17732/110. Let i = 196 + v. Does 18 divide i?
True
Let i = 937 - 937. Does 109 divide 4 + (766 - (i - -7))?
True
Let g(q) = -q - 20. Let p be g(-12). Let v be (0 - -2) + 16/p. Let a(i) = 2*i + 84. Is a(v) a multiple of 21?
True
Suppose -5*w + 47 = u, 0 - 5 = w + 5*u. Suppose -15*v = -w*v - 7480. Does 17 divide v?
True
Suppose 4*w - 304 = -4*a, -5*a - 3*w + 88 = -288. Suppose 0 = -73*p + a*p - 9. Is p even?
False
Let w(p) = -419*p**3 - p**2 + 5*p - 3. Let b be w(1). Let x = b + 594. Does 8 divide x?
True
Let j(s) = 1702*s + 254. Does 20 divide j(3)?
True
Let y(o) = o**2 - 4*o - 16. Let n = -81 + 102. Does 21 divide y(n)?
False
Let h(a) be the second derivative of a**3/3 - 11*a**2/2 + 27*a. Let s be h(4). Does 6 divide (s + (-395)/(-10))/((-1)/(-2))?
False
Let p = 13404 - -9275. Is 217 a factor of p?
False
Let a(h) = -3*h**3 + 210*h**2 - 52*h - 276. Is a(68) a multiple of 6?
False
Suppose 2*t + 8 = 0, -2*t + 4 = -4*c - 7*t. Suppose 0 = -3*l - 4*l + c*l. Suppose l = 7*u - 3*u - 108. Is 10 a factor of u?
False
Let m(z) = -10*z - 14. Let r(p) = 0*p**2 + 0*p**2 + 11 + p**2 + 21*p - 33*p. Let x be r(10). Does 18 divide m(x)?
False
Let h be ((-10)/4)/((-70)/112). Let l(n) = 43*n - 70. Does 6 divide l(h)?
True
Suppose 10*d = -6*d + 24705 + 41967. Is d a multiple of 72?
False
Suppose -7*b + 311640 = 21*b. Suppose -z + 11*z = b. Does 21 divide z?
True
Is 2106/11 - 37/((-5698)/84) a multiple of 32?
True
Let b be (-7)/(-1)*(-15)/(-35) - -3. Is 2*(-13)/(0 - b/51) a multiple of 52?
False
Let a be (-172)/(-36) - 2/(-9). Let s(k) = -28*k + 320. Does 20 divide s(a)?
True
Suppose 0 = 2*p + q - 4481, 3*p - 7451 = 4*q - 713. Is 59 a factor of p?
True
Suppose -3*u = 3*f - 43602, 3*u - 43623 = 207*f - 203*f. Is u a multiple of 6?
False
Let d = 3106 + -1564. Is d a multiple of 3?
True
Suppose 615 = 5*b + 5*g, 2*b - 4*g - 237 = 21. Is 21 a factor of (0 - (-1 - b))/(