t i = 9 + -3. Suppose -3*l = -i - 399. Suppose 4*r + 2*k - 159 = -r, -k - l = -4*r. Does 33 divide r?
True
Let s(w) = 15*w**2 - 12. Does 50 divide s(-4)?
False
Let r(y) = y**2 - 3*y - 6. Let d be r(-2). Suppose -d*c + 0*c = -308. Is 7 a factor of c?
True
Suppose -2*r + 107 + 703 = 2*t, 0 = 3*t - 4*r - 1180. Is 16 a factor of t?
True
Let t(p) = p**3 + 9*p**2 - 12*p - 12. Let w be t(-10). Is 11 a factor of ((-588)/(-8))/(1/(w/6))?
False
Let n(q) = -8*q - 4. Let m(a) = a + 1. Let y = -16 + 14. Let w(c) = y*n(c) - 18*m(c). Is w(-11) a multiple of 8?
False
Let o = -35 - -131. Let d = o - 26. Is d a multiple of 35?
True
Let j(u) = -21 + 0*u**2 + 8*u + 9*u - u**2. Is j(12) a multiple of 7?
False
Suppose 0 = -5*z + 30*z + 125. Is ((-34)/4*-2)/(z/(-10)) a multiple of 26?
False
Let y(v) = -25*v + 516. Is 9 a factor of y(-16)?
False
Let x be (-4)/2 + 0 + 3. Let g = 81 - x. Let t = g - 38. Does 21 divide t?
True
Let z(y) = y**2 + 12*y + 7. Let o be z(-9). Let x be (-8)/o + (-58)/(-5). Suppose 3*g - 36 = x. Is g a multiple of 13?
False
Let l(c) = -c**2 - 16*c - 27. Let k be l(-14). Suppose -10 = -0*h - 5*h. Suppose -h*g = -19 - k. Is g a multiple of 5?
True
Let g(l) = 538*l**2 - l + 1. Let u be g(1). Suppose -u = 4*x - 2*k - 20, -2*k = x + 142. Does 11 divide 1*2/((-8)/x)?
True
Suppose 4*x - 3*y = 340, 4*x - 109 = 5*y + 239. Is 13 a factor of x?
False
Suppose -3*i - 716 - 238 = -r, -3*r + 3*i + 2886 = 0. Suppose 4*o - 781 - 197 = -5*l, 5*l = 2*o + r. Is l a multiple of 13?
False
Let m be 3363/(-18) + 3/(-18). Let y = m + 354. Let u = -107 + y. Is 12 a factor of u?
True
Is (-18 + 0)/(48 + -50) a multiple of 9?
True
Let o(z) = z**3 - 9*z**2 + 7*z + 8. Let x be o(8). Suppose -4*j + 58 + 18 = x. Is 7 a factor of j?
False
Suppose -24656 = -16*h - 30*h. Is h a multiple of 67?
True
Suppose -6*d - 67 = -37. Let i(w) = 9*w**2 - 18*w - 28. Does 24 divide i(d)?
False
Let r(s) = s**3 - 16*s**2 + 3*s - 13. Suppose b - 18 + 2 = 0. Is r(b) a multiple of 7?
True
Is 5 a factor of 5*(-7 + (-29)/(-1))?
True
Let c be (14/(-4))/(-7)*0. Suppose 3*s = 3*o - 79 - 146, c = 5*o + 5*s - 345. Suppose k - o = -2*k. Is 12 a factor of k?
True
Is 35 a factor of ((-56)/(-21))/((-3)/(-1710) + 0)?
False
Suppose x + 2*b = 325, -1049 = -5*x - 4*b + 576. Is x a multiple of 62?
False
Suppose -30 = -3*w + w. Suppose 5*r = 4*j - 34, 2*j = 4*r + w - 1. Let n(z) = z**2 - 7*z + 8. Does 15 divide n(j)?
False
Let n = 58 - 52. Is 10 a factor of 322/n + 3/9?
False
Let b = 615 + -401. Is b a multiple of 7?
False
Does 24 divide (-48)/(-7 - -5)*36?
True
Let c(j) = j**2 - 3*j + 3. Let t(g) = 2*g + 12. Let u(o) = -2*o - 11. Let w(z) = 6*t(z) + 5*u(z). Let x be w(-7). Is c(x) a multiple of 3?
True
Let p(l) = l**3 + l**2 - 130*l + 17. Is 10 a factor of p(13)?
False
Suppose l + 4 = 2*l + n, l = 3*n + 4. Suppose -3*p = k - 424, k - l*k = p - 144. Is 11 a factor of p?
False
Is (-2730)/(-24) - (3/(-12))/1 a multiple of 3?
True
Let n be 0 + (-46)/8 + 15/(-60). Does 21 divide ((-213)/n - -4)*4?
False
Suppose -8*l = -0*l - 696. Suppose -l + 303 = 4*g. Is g a multiple of 9?
True
Let k(t) = -t**3 + 5*t**2 - 3*t - 2. Let f(s) = -s**3 - 4*s**2 - s - 1. Let h be f(-4). Let c be k(h). Let x(n) = 2*n + 5. Is x(c) a multiple of 8?
False
Let f(z) = -8*z - 11. Suppose c = 16 - 20. Does 2 divide f(c)?
False
Let b(a) = -2 + a**3 - 4*a**2 + 9 + 6*a**2 - 2. Let i be b(0). Suppose 0 = -3*p - 2*h + 30, 2*p + i*h = 2*h + 20. Is 6 a factor of p?
False
Let k be (3/3)/(-1) - -1. Suppose k = 5*x + 5*b + 315, x - b + 83 = 2*b. Let z = 104 + x. Is z a multiple of 12?
True
Let w(j) = -j**2 + 37*j - 7. Does 8 divide w(31)?
False
Suppose 5*x - x + 4 = a, 2*a = -x - 1. Suppose -2*d = -5*z, 3*z - 5*d + 2*d = a. Suppose z = 4*r - 172 - 32. Is r a multiple of 26?
False
Let i be (-16)/(-20)*((355 - -2) + -2). Suppose 0*a - 4*a + i = 0. Is 17 a factor of a?
False
Let u(m) be the first derivative of -13/2*m**2 + 1/4*m**4 + 8 - m + 3*m**3. Does 12 divide u(-10)?
False
Let l be 3/(-3) + (-20)/1. Let w = 201 + -203. Is 12 a factor of w/3*l/1?
False
Does 10 divide (-3 - -5) + 385 - (0 - 3)?
True
Suppose 5*w - 47 = -122. Let q = w + 21. Let t(p) = -p**3 + 6*p**2 + 5*p - 9. Is 17 a factor of t(q)?
False
Suppose -3*d - 20 = 4*j - 9*j, -3*d - 4 = -j. Let r(x) = 0 + j*x - 5 - 16*x - 3. Is 20 a factor of r(-7)?
False
Let y(k) = k**2 + 6*k - 25. Let s(v) = v**2 + 25*v + 49. Let l be s(-22). Is 16 a factor of y(l)?
False
Let k be 1 + 1 - (-1 + -1). Let b(m) = m**3 + 4*m**2 + m + 4. Let r be b(-4). Suppose h = r, -t = 2*t - k*h - 174. Is 15 a factor of t?
False
Suppose 4*p = -a - 22, 3*a - 7*p - 2 = -2*p. Let r(h) be the first derivative of h**3/3 - h**2/2 - 2*h - 1. Does 10 divide r(a)?
True
Suppose 2*i = i - 708. Let b be i/(-30) - 2/(-5). Let z = b - 4. Is 6 a factor of z?
False
Suppose -2*v + 7 = -3*c, -3*v + 4*c + 5 = -6. Suppose v*w = 3*w + 4*z + 28, 4*w - 40 = 4*z. Is ((-96)/9)/(w/(-9)) a multiple of 16?
True
Let n(s) = s**3 + 14*s**2 + 2*s + 31. Is n(-13) a multiple of 12?
False
Let u(j) be the second derivative of -j**5/20 - j**4/3 - 5*j**3/6 - 3*j**2/2 + 3*j. Let z be u(-3). Suppose -108 = -3*v - n, z*n = 6*n. Is 18 a factor of v?
True
Suppose 2*z + 5 = -4*c + 3, -4*c = 3*z - 1. Does 18 divide (-4)/(c - 144/(-76)) + -2?
True
Suppose -38 = -0*p + 2*p. Let b = -14 - p. Suppose 5*l = -b*r + 415, 421 = 5*r - 0*l - l. Does 14 divide r?
True
Is 20 a factor of 21/((-15)/5) + 293 + 14?
True
Let q(w) be the third derivative of -w**6/120 - w**5/10 + w**4/6 + w**3/3 + 3*w**2. Let j be q(-8). Suppose -j = -5*t - 3. Is t a multiple of 8?
False
Let l = -93 - -191. Suppose -2*k + 4*y = -l, 216 = 4*k + y - 5*y. Does 27 divide k?
False
Let k(s) = s**2 + 7*s + 4. Let o be k(-5). Is 17 a factor of -1 + 3/(o/4) + 37?
True
Suppose u - 1 = 0, -2*d + 2*u + 9 = -7. Is 2 a factor of d?
False
Let x be -30*-3*5/(-30). Does 40 divide 65/x*(-75 - 0) + 3?
False
Let p be 16*(0 - 3/(-2)). Let w(h) = h**2 + h - 2. Let y be w(-2). Suppose -2*d = -y*d - p. Is 3 a factor of d?
True
Suppose 3*i + 0*v + 4*v - 26 = 0, -22 = -i - 4*v. Suppose -g + 157 = -5*q, i*g - 2*q + 61 - 335 = 0. Is g a multiple of 33?
True
Is (-1)/6*3*(6 - 646) a multiple of 64?
True
Let c(n) = -n - 7. Let x be c(-6). Let s be x + -21 - 0/(-2). Is (121/s)/(1/(-2)) a multiple of 3?
False
Let q = -1801 - -2713. Does 33 divide q?
False
Let h = -362 - -640. Is 12 a factor of h?
False
Let k(q) = -q**2 + 10*q + 3. Let v be k(7). Let f = v + 3. Is f a multiple of 6?
False
Let w = 126 + -87. Let g = w + 157. Is 14 a factor of g?
True
Suppose -5*j + 7 + 18 = -5*u, 2*u - 4 = 0. Let q be j/(7/8)*-4. Let y = 6 - q. Is 16 a factor of y?
False
Suppose 4*i + 7*h = 6*h + 398, -5*i = 4*h - 492. Is i even?
True
Let b(a) = -2*a. Let h(d) = -10*d + 20. Let u(m) = -2*b(m) + h(m). Does 6 divide u(-6)?
False
Let n(p) = -91*p**3 - 4*p**2 - 8*p - 3. Is 23 a factor of n(-1)?
True
Let m = 2724 + -1925. Does 39 divide m?
False
Let d(v) = v**2 - 2*v. Let r(m) = 5*m**2 - 29*m + 8. Let t(n) = -6*d(n) + r(n). Let u(q) = q**2 - 8*q. Let c be u(6). Is 17 a factor of t(c)?
True
Let u(x) be the third derivative of -x**6/360 + 13*x**5/120 + x**4/2 + 4*x**2. Let l(v) be the second derivative of u(v). Is l(4) even?
False
Does 93 divide 3156 - (-40 + 10)/5?
True
Suppose -12*q + 186 + 3066 = 0. Does 6 divide q?
False
Let n = 827 + -204. Is 7 a factor of n?
True
Let g = -1883 - -2897. Is g a multiple of 13?
True
Let j = -308 - -456. Does 28 divide j?
False
Suppose 4*s = -3*y + 447 + 14, -5*s + 5*y = -620. Let a(o) = 16*o - 26. Let r be a(-8). Is 11 a factor of (-28)/r + s/11?
True
Let k(x) = 5*x**2 - 4*x + 5. Let i be (-3)/(39/(-50)) - 12/(-78). Does 23 divide k(i)?
True
Let b be (-5)/((-5)/2) + 0. Suppose k - 17 = 3*f, 4*k - f + b*f = 3. Suppose -5 + 27 = k*d. Is d a multiple of 5?
False
Let i(r) = r - 16. Let h be i(7). Is (6/(-9))/(h/189) a multiple of 5?
False
Let q(w) = -w**3 - 4*w**2 - 4*w. Suppose 5*s + 3*y + 30 = -0*s, -2*s - 1 = -y. Let l be q(s). Suppose 19 = l*j + 1. Is j a multiple of 3?
True
Is (15/(-12))/(14/(-224)) a multiple of 10?
True
Let s(x) = 3*x**2 - 4*x + 1. Let g be s(-3). Suppose 2*c + g = 6*c. Is 5 a factor of c?
True
Suppose l = -4*l. Let o(t) = t**2 + 561. Let w be o(l). Is 21 a factor of 1/2 - w/(-22)?
False
Let u = 299 + -811