5*r - 364 = z. Is v a multiple of 19?
False
Let b(j) = -27*j**2 - 14 + 28*j**2 - 2 + 10*j - 21. Does 35 divide b(11)?
False
Let x(n) = 79*n**2 + 3*n - 2. Let a be x(1). Suppose 4*l - 5*d - 100 = l, -4*l - 4*d + a = 0. Is l a multiple of 7?
False
Let p = -31 + 36. Suppose -r + p*z = -248, 2*z + z - 12 = 0. Is 34 a factor of r?
False
Let d be (2/8 - (-20)/(-16)) + 5. Let j(s) = s**3 - s**2 - 6*s + 4. Is j(d) a multiple of 12?
False
Does 39 divide 65 + (-598)/143 + 4/22?
False
Is (-7016 + 4)/(-26 + 22) a multiple of 45?
False
Let z be ((-2 - -4)/(-4))/(1/(-10)). Suppose -a - 85 = -4*d, 2*a = -z*d + 7*a + 95. Is 14 a factor of d?
False
Let s(i) = -i**2 + 27*i - 2. Let p be s(18). Let z(w) = w**3 + 5*w**2 + 3*w - 4. Let a be z(-4). Suppose -u - 3*u + p = a. Does 12 divide u?
False
Let c(v) = 6*v - 13. Let u(j) = j - 1. Suppose p + p = 10. Let m(g) = p*u(g) - c(g). Is m(0) a multiple of 4?
True
Suppose -4*f + o = -3*o + 240, 4*f + 240 = o. Let t = 123 + f. Does 9 divide t?
True
Let x(r) = 20 - 4*r + 8*r - r**2 - 7*r + 17*r. Does 4 divide x(12)?
True
Let j = 0 + 4. Suppose -3*m + j*w + 381 = 7*w, -137 = -m + 4*w. Does 12 divide m?
False
Let b = -4 + 9. Let f(i) = -i**3 + 6*i**2 - 4*i. Let w be f(b). Is 6 a factor of ((-2)/w)/(2/(-30))?
True
Let i = -1101 + 1326. Does 42 divide i?
False
Let v(t) = 70*t - 385. Does 21 divide v(40)?
True
Let f = -26 + -28. Let p = f - -68. Is 7 a factor of p?
True
Let r(h) = 2*h**3 - 9*h**2 + 10*h + 1. Let q be r(6). Let i = q + -117. Is i a multiple of 10?
False
Let p(q) = 70*q**2 - 69*q - 262. Does 21 divide p(-4)?
True
Suppose 45 = -2*c + 99. Suppose -5*z + c = g, -4*z - 10 = -4*g + 2. Is 3 a factor of g?
False
Suppose -2 - 22 = -3*n. Is (5 + (-28)/n)/((-2)/(-552)) a multiple of 46?
True
Let n be 105/28 + 1/4. Suppose n*h - 26 = 194. Is h a multiple of 5?
True
Let s = 344 + -233. Is 22 a factor of s?
False
Suppose -3*n - 268 + 292 = p, -3*p + 104 = n. Is p a multiple of 14?
False
Suppose 5*d + 152 = 4*h + 2*d, h - 7*d - 13 = 0. Is h a multiple of 41?
True
Let r(m) = -m**2 - 2*m + 30. Let b be -1*(1 + 0)*13. Let k = b + 13. Does 10 divide r(k)?
True
Suppose 41*p + 3885 = 78*p. Does 5 divide p?
True
Let d = 191 - 108. Is d a multiple of 9?
False
Let i = 129 - 141. Does 3 divide (130/12 - 2) + (-2)/i?
True
Let k be (4/6)/(((-8)/93)/(-4)). Suppose -5*u + k = -464. Is 11 a factor of u?
True
Let h(v) = -9*v + 3. Let u be h(-3). Let c = u + 20. Suppose 0 = 5*a - 3*a - c. Does 11 divide a?
False
Let s be (-5619)/(-15) - (-4)/10. Let m be 5 - (-3 - (1 - 5)). Suppose -s = -m*l - l. Is l a multiple of 25?
True
Let i be (-6)/(-3)*1 - 0. Let c be (31/i)/(1/2). Let j = -11 + c. Is j a multiple of 10?
True
Let q(k) = -55*k + 1. Let t be q(-1). Suppose 49 = 5*u - 51. Let r = t - u. Is 12 a factor of r?
True
Let p(k) = 2*k + 1640. Is p(0) a multiple of 25?
False
Let j = 596 + 464. Suppose 3*a - c = 2*c + 822, -5*c = 4*a - j. Is a a multiple of 30?
True
Suppose 0 = 2*u + 2*k - 782, -5*k + 387 = -8*u + 9*u. Is u a multiple of 66?
False
Suppose 4*g + 11 = -r - 5, 0 = r + 3*g + 17. Is (-8)/r - 624/(-15) a multiple of 7?
True
Let g = 95 - 91. Does 2 divide 60/2 + (g - 1)/(-3)?
False
Let f be 32/6*(-15)/(-4). Suppose 5*o + 2*d = -0*d + f, -22 = -o - 4*d. Suppose -16 = -2*z + 5*c, o*z + c = 4*c + 12. Is 2 a factor of z?
False
Let c be 12/(-8)*16/(-6). Let s(p) = -2 + 1 - 5 - c*p + 1. Is s(-7) a multiple of 11?
False
Does 4 divide (-5)/(15/(-96)) - (0 + -2)?
False
Let m be 1/3*(1 + 8). Suppose 3*x - x - 4*h = 28, -m*x - 4*h = -2. Suppose -w + x = -28. Is w a multiple of 14?
False
Suppose -5485 = -2*t + 5*i, 0 = 2*i + 178 - 176. Is t a multiple of 10?
True
Suppose 4*w - w = -5*t + 1980, -792 = -2*t - 4*w. Does 36 divide t?
True
Suppose 16 + 1148 = 12*v. Is v a multiple of 15?
False
Suppose -3*a = -13 + 1, 0 = 4*b - 3*a - 5020. Is b a multiple of 74?
True
Let w be -3 + 1676/16*2*2. Let d = -212 + w. Is 15 a factor of d?
False
Let u(l) = 10 - 5*l**3 - 14*l**2 - 5*l + 4*l**3 + 9 - 7*l. Let y be u(-13). Suppose 5*m + 4 = b, 2*m + 52 = -2*b + y*b. Is b a multiple of 14?
True
Suppose -9 - 11 = 4*h + 5*d, -4*d = 3*h + 16. Suppose -5*f + 0*f = h. Suppose f*u = 3*u - 2*g - 91, -3*g - 69 = -2*u. Does 11 divide u?
False
Suppose -5*n - 6 - 9 = 0. Let f(a) = -2*a - 2. Let z be f(n). Does 14 divide (z/6)/(12/1278)?
False
Does 47 divide (14 + -15)/((2/987)/(-2))?
True
Suppose -5*s = -2*s + 624. Let q = 115 + s. Let g = -60 - q. Is g a multiple of 33?
True
Let v be 1/((-3)/(-15 + 3)). Suppose 3*i = -v - 11, -x + 9 = -i. Suppose -190 = -2*c - 4*a, -x*a + 282 = 3*c + a. Is c a multiple of 16?
False
Suppose -9*f = 203 - 5. Let v = 34 - f. Is v a multiple of 5?
False
Is 11 a factor of 15/((-10)/1400*-12)?
False
Let b(i) = -i**3 - 14*i**2 + 13*i + 18. Let x be b(-15). Suppose 5*j - x + 18 = 0. Is j a multiple of 5?
False
Let z = 3432 + -1702. Is z a multiple of 61?
False
Is 7736/44 - 14/(-77) a multiple of 11?
True
Suppose -4*n + 9*n - 675 = 0. Is n a multiple of 27?
True
Let q(c) = -c**3 + 24*c**2 + 53*c - 184. Is 50 a factor of q(22)?
True
Let x be (-7)/(-28) - (-106)/(-8). Let w(y) = y**2 + 9*y - 4. Let z be w(x). Suppose -r = 2*r - z. Is r a multiple of 5?
False
Suppose -535 = -3*j + 5*v - 0*v, -3*j + 523 = v. Is j a multiple of 4?
False
Let r(u) = u**2 + 8*u + 10. Let v be r(-7). Suppose 0 = 2*y - o - 314, v*y - 7*y + 642 = 5*o. Suppose 2*i - y = -3*a + 2*a, -4 = 2*a. Is 20 a factor of i?
True
Let i be (10/6 - 16/24)*245. Suppose 5*t + 5*h + 136 = 536, -4*h = 3*t - i. Is t a multiple of 13?
False
Suppose 6*z - 23 - 13 = 0. Is 19 a factor of ((-318)/(-9))/(-1 + 10/z)?
False
Let k(b) = -4*b + 28*b**2 + 1 + 1 + 2*b + 5*b. Does 27 divide k(-1)?
True
Suppose -663 = -8*q + 1625. Is 38 a factor of q?
False
Let k be 60486/18 + 3/(-9)*1. Suppose -9*y - 7*y = -k. Is 15 a factor of y?
True
Let c = 1391 + -800. Is 2 a factor of c?
False
Does 36 divide 15/(-60) - 10074/(-8)?
False
Let n(z) = z**3 + 6*z**2 + 6*z + 4. Let h be n(-5). Is 11 a factor of (-4)/h + -1 + 52?
True
Let g(u) be the third derivative of -u**4/24 + u**3 + 31*u**2. Let p(v) = -v**3 - 5*v**2 - 3*v + 4. Let t be p(-4). Is 3 a factor of g(t)?
True
Suppose -d - 2*d = 90. Let k be (-3)/1*40/d. Suppose 0 = -o - 0*x + 5*x + 21, -o = -k*x - 21. Is o a multiple of 21?
True
Let i(t) = 132*t + 12. Let d be i(-6). Is d/(-50) + (-4)/(-10) a multiple of 4?
True
Suppose 0 = 5*t - 8*d + 5*d - 432, -4*t + 4*d = -352. Suppose -3*i + t = -36. Is 20 a factor of i?
True
Let j = -26 + 29. Suppose 19 = 4*m + j. Does 4 divide m?
True
Let l(u) = u + 1. Let q(o) = 10*o - 10. Let m(h) = -4*l(h) + q(h). Does 10 divide m(4)?
True
Let w = 4 + -9. Let i = 17 + w. Suppose 0 = p - 0 - i. Is p a multiple of 9?
False
Let o(v) = v**3 + 14*v**2 + 6*v - 43. Does 76 divide o(-11)?
False
Let u(s) = -9*s + 2. Let f be u(1). Let x(d) = -15*d - 13. Let b(w) = 14*w + 14. Let o(y) = f*x(y) - 6*b(y). Is o(5) a multiple of 14?
True
Let j(d) = 3*d**3 - 8*d**2 - 8*d + 14. Is j(5) a multiple of 18?
False
Suppose 7 - 5 = -w + 4*v, 2*v - 12 = -5*w. Suppose -5*k = -4*k + 4*p - 51, 3*k - 203 = -w*p. Is k a multiple of 5?
False
Suppose 0 = -45*p + 48*p - 3*w - 1002, 4*p - 1337 = 5*w. Does 37 divide p?
True
Let c = -3 + -2. Is 33 a factor of (-20)/(-15)*(495/(-2))/c?
True
Let x(p) = -p**2 + 7*p - 4. Let q be x(6). Suppose -u + 3*b + 204 = 0, 5*b - 821 = -3*u - 195. Suppose -u = -q*i - i. Is 23 a factor of i?
True
Let h(c) = -4*c - 5. Let y(j) = j - 2. Let t be y(-1). Let r = t - 3. Is h(r) a multiple of 5?
False
Does 14 divide (-3897)/(-12) - -3 - 1/(-4)?
False
Let t = 4 - 0. Suppose -6 = 3*v, -y = 4*y - t*v - 233. Does 9 divide y?
True
Let h(n) = -n**3 + 5*n**2 - 7*n + 5. Is 62 a factor of h(-7)?
False
Let p = -1 - -17. Suppose 3*s - 135 = -2*s. Let t = s - p. Is t a multiple of 2?
False
Let z = -31 + 31. Suppose -p + 6 = -z. Is 6 a factor of p?
True
Suppose -12*l - 3*l = -15. Does 17 divide 166 - (-2 - l)/(-3)?
False
Let f(b) = 2*b - 1. Let v be f(3). Suppose 0 = -w + v*l - 14, l - 46 = 2*w - 0*l. Is w/(-60) - 326/(-10) a multiple of 11?
True
Suppose -4*b = -4*l - 2480, -5*l - 787 = -b - 167. Is b a multiple of 30?
False
Suppose -2*k = 3*a - 777, -1675 = -5*a - 3*k - 380. Is a a multiple of 10?
False
Let f(o) = o**2 + 6*o - 24. Suppose 0 = 3*w - 3*c 