Let r be k(-3). Let z(t) = -4*t + 13. Let h be z(r). Does 26 divide (h - (-4 + 2)) + 1?
True
Let q be ((-10)/(-12))/((-2)/(-12)). Suppose q*j = 2*j + 231. Is 2/(-11) - (-3787)/j a multiple of 9?
False
Let f = 832 - 447. Is 77 a factor of f?
True
Let p(n) = 2*n**2 + 3*n - 2. Let a be ((-84)/(-10))/7 + 4/5. Is p(a) a multiple of 12?
True
Suppose x = -4, 0 = 2*z - 0*x + 5*x - 26. Let n = z - -4. Is (-104)/(-6) + (-9)/n a multiple of 11?
False
Let n(r) = -2*r**2 - 59*r - 34. Is 70 a factor of n(-25)?
False
Let f(w) = 12*w**2 + 4*w - 1. Let k = -1 - -4. Suppose -2*z + 7 = k. Does 11 divide f(z)?
True
Suppose 2 = y, -2*b - 2*y = -0*b - 304. Suppose -g - d + 100 = 0, -d - b - 41 = -2*g. Does 16 divide g?
False
Let a(i) = i**3 + 12*i**2 + 20*i - 3. Is 12 a factor of a(-9)?
True
Let r(u) = -25*u**3 + u**2. Let w be -2 - -1*(2 + 3). Let z be 2*(w + (-7)/2). Is r(z) a multiple of 13?
True
Suppose 2*j = -2, -3*h - 2*j - 2*j = -5114. Does 42 divide h?
False
Let a = -8038 - -11254. Is a a multiple of 48?
True
Let a = -112 + 313. Suppose a = -3*j + 4*j. Is j a multiple of 16?
False
Let h = -139 - -398. Is h a multiple of 37?
True
Is (-78)/(-507) + 1948/13 a multiple of 15?
True
Let m(k) = 29*k + 2. Let b be m(2). Let u = -39 + b. Suppose -5*r + u = -2*r. Does 5 divide r?
False
Let f = 23 - 18. Suppose -f*p - 6 = -21. Suppose -3*t = p, y + 2*y - t = 91. Does 15 divide y?
True
Let l(u) = 374*u**2 - 14*u - 16. Is 29 a factor of l(-2)?
True
Suppose 24 = -4*o + 3*b - 5*b, 3*b - 12 = 0. Does 19 divide (16/o - (-1 - 3)) + 74?
True
Let p(d) = d**3 + d**2 - 9*d + 4. Suppose 6*c = -4*c + 40. Is p(c) a multiple of 14?
False
Is 5607/(-89)*(-114)/14 a multiple of 19?
True
Suppose 3*k + 29 = 4*t, -t + 4*k = -4*t + 3. Suppose p + 304 = t*g, 0*g - 260 = -4*g + 5*p. Does 2 divide (-1)/6 + 370/g?
True
Let w = 8 - 5. Let m be (-9)/24 + -3 + 1115/8. Suppose 127 = w*x + 2*f, -m - 60 = -4*x + 4*f. Is x a multiple of 10?
False
Let s(g) = g**2 + 16*g + 30. Suppose 5*u + 25 = 0, -2*b - 54 = -0*b + 2*u. Does 18 divide s(b)?
True
Let p be 52/(-14) + (-58)/203. Is 2196/16 - 0 - 3/p a multiple of 46?
True
Suppose -8*k + 6*k + 116 = 0. Let p = 5 + k. Suppose 0 = -3*a - 3*n + p, 4*a + 2*n - 134 = -48. Does 11 divide a?
True
Let b = -264 - -156. Let t = -60 - b. Is 8 a factor of t?
True
Suppose 0 = -2*i + 283 + 117. Suppose -36 - i = -3*x - 2*n, -2*x + 3*n = -153. Is 26 a factor of x?
True
Suppose -2*n = 5*d - 212, -2*d + 3*n + 6 + 75 = 0. Is 14 a factor of d?
True
Let j be 1/(3/(-18))*(-2)/(-6). Let h = 44 + -13. Does 18 divide h/(0 + (-1)/j)?
False
Suppose -2*n - 135 = -17*n. Suppose 11*p - n*p - 420 = 0. Is 14 a factor of p?
True
Suppose x - 3*x = 5*a - 38, 4 = -4*x. Is 8 a factor of a?
True
Let n(c) = 6*c + 19. Let u(o) = o + 1. Let x(g) = n(g) - 3*u(g). Is 3 a factor of x(5)?
False
Let h(w) = w**3 + 21*w**2 + 24*w + 24. Let u be h(-20). Is 59 a factor of 8/u - (-1822)/14?
False
Let g be (-4)/(16/(-52))*1. Suppose 0 = 4*m + 2*d - 17 - 15, -3*m = -4*d - g. Suppose -3*q + m*q = s - 93, q - 98 = -s. Is 17 a factor of s?
False
Suppose 1915*y - 1923*y = -18944. Is 64 a factor of y?
True
Let l be (2 + -3)/((-1)/5). Suppose 8*i - l*i = 333. Is 37 a factor of i?
True
Let f(l) = l - 11. Is f(15) a multiple of 4?
True
Is 26 a factor of ((-1668)/(-1))/6 + 0/5?
False
Let b = 2159 + 547. Is b a multiple of 41?
True
Let n = -96 - -89. Let i(p) = -6*p - 28. Is 3 a factor of i(n)?
False
Let l = 288 - 258. Is l a multiple of 4?
False
Let n(t) = 23*t**2 + 8*t. Let i = 79 + -77. Is 27 a factor of n(i)?
True
Does 18 divide (-7 + 2 + 2)*5616/(-52)?
True
Let f(q) = 11*q - 225. Does 10 divide f(35)?
True
Suppose 2*p + 4 = -3*z, 0*z + 3 = -3*p - 3*z. Is p - 3 - (-178 + -3) a multiple of 17?
False
Does 10 divide (-330)/((1*2)/(-4 + 2))?
True
Suppose 86 = 7*b - 152. Is 2 a factor of b?
True
Let l = 21 + 183. Does 3 divide l?
True
Does 23 divide 8466/8 + 14/(-56)?
True
Let b be 37/(-5) + 10/25. Let v(a) = a**3 + 5*a**2 - 16*a - 8. Let l be v(b). Let p(q) = q**3 - 7*q**2 + 6*q + 8. Is 7 a factor of p(l)?
False
Let o = 194 - -127. Is o a multiple of 33?
False
Let t(p) = p**2 - p - 3. Let f be t(3). Suppose -g + 5 = f. Does 13 divide (0 + g + -1)*65?
True
Let b(q) = -29*q + 31. Suppose -27 = -5*a - 52. Is 9 a factor of b(a)?
False
Suppose j + 812 = 2*a - 2*j, 408 = a - 2*j. Is 45 a factor of a?
False
Let i(z) = z**2 - 5*z + 15. Let p(x) = -2*x - 12. Let b be p(-9). Let l be i(b). Does 12 divide (50/6)/(7/l)?
False
Suppose -5*r - 6 - 4 = 0, -3*r - 2616 = -5*z. Is z a multiple of 6?
True
Suppose 3*k + 0*q - 15 = -5*q, 0 = -2*k + q + 23. Let h(z) = -3 + 5 - 4 + 5*z. Does 16 divide h(k)?
True
Does 7 divide 1405/25 + 5 + (-2)/10?
False
Suppose 0*y = -6*y - 18. Let t(b) = -2*b**3 - 6*b**2 - 3*b + 3. Let u be t(y). Suppose g = -s + u, 3*g - 36 = -2*s + 4*g. Does 10 divide s?
False
Let s(b) = b**2 + 5. Let z be s(0). Suppose 26 + 7 = 3*i. Let f = i - z. Does 4 divide f?
False
Let f = -18 + 40. Let a be (-944)/(-10) + f/(-55). Suppose 3*i = -5*p + 96, -4*i = 5*p - 29 - a. Does 23 divide i?
False
Let t = 23 + -20. Let w be 1/t - (-714)/(-9). Let a = 129 + w. Is a a multiple of 25?
True
Let l be (-2 - -1) + (-6)/(-2). Suppose -4*a + l = -6, -v + 5*a + 108 = 0. Does 13 divide v?
False
Is (-40201)/(-63) + (-2)/18 a multiple of 58?
True
Does 15 divide -20*(-8)/32 + 1117?
False
Let m be 1*16 - (-18)/9. Suppose -w + m = -1. Suppose -3*f + x - w = -5*f, 0 = 4*f + 4*x - 44. Is 4 a factor of f?
True
Let r(o) = -o - 2. Suppose -4*t + 5*i + 60 = 0, -2*t - 2*i = -4 - 8. Suppose 2*m - t = 0, 3*u - 6*u - 1 = 4*m. Does 2 divide r(u)?
False
Let z = -62 - -157. Let n = z + -89. Is n a multiple of 2?
True
Let c(w) = w**3 - 5*w**2 + 5*w - 12. Let t be c(6). Suppose i = -2*g - 9, 0 = 5*i - 2*g + 3*g + t. Is 0 + 0 - 187/i a multiple of 8?
False
Does 3 divide -2 - -3 - -2*(23 + -4)?
True
Let g(a) = -2*a + 150. Is 21 a factor of g(33)?
True
Let l(t) = -2*t + 2. Let y be l(3). Let b be y*((-3)/6 + 0). Suppose -5*v - 2*d + 41 = 0, -v - 7*d + 22 = -b*d. Does 3 divide v?
False
Let c = -163 + 399. Is c a multiple of 19?
False
Suppose 0 = 6*v + 69 - 63. Does 9 divide (-25 - v)*(-2 - 20/8)?
True
Let b = 71 + -39. Suppose -2*r = -4*k - b, k - 21 = -4*r + 52. Is 18 a factor of r?
True
Let u = -1 - 8. Let q(l) = l**2 + 6*l - 3. Is q(u) a multiple of 10?
False
Let m(k) = 2*k**2 + k - 13. Let i be m(-9). Let l be i/30*12/2. Suppose -4*a + 5*a = l. Does 5 divide a?
False
Let j be 3*-1 + (-6 - -23). Suppose 3*v + 5 = j. Is v a multiple of 2?
False
Suppose 2*p - 4 = -12. Does 9 divide 22/(-4)*((-2 - 0) + p)?
False
Let h(f) be the third derivative of -f**4/24 - f**3/2 - 2*f**2. Let x be h(-5). Is 26 - 1 - (x + 1) a multiple of 11?
True
Let g = -8 - -12. Let q be (-10)/g - 7/(-14). Is 4 a factor of (-154)/21*3/q?
False
Suppose 7*m - 1890 = -8*m. Does 4 divide m?
False
Let p be (-12)/((-2)/18*-2). Is 8 a factor of (p/(-72))/((-2)/(-64))?
True
Is 15 a factor of (-2609 + -1)/(129/(-86))?
True
Let f(d) = d**2 + 4. Let y(v) = 3. Let o be (-3)/(-2) - (-11)/22. Let m(n) = o*f(n) - 3*y(n). Is 22 a factor of m(-4)?
False
Does 8 divide (-15 + 19)/(2/60)?
True
Let x be (6/4)/(15/(-20)). Let k be (-58)/18 + x/(-9). Let o = 20 + k. Is 7 a factor of o?
False
Let i = 29 + -24. Suppose -i*j - 91 = p - 274, p - 179 = -3*j. Suppose 0 = -4*g + p - 29. Does 19 divide g?
False
Suppose 4*y - 16 = 0, 22*y - 27*y = -2*j + 4388. Is j a multiple of 7?
False
Suppose -192 - 140 = -2*b. Is -3 - 3/((-6)/b) a multiple of 8?
True
Does 15 divide (-50)/(6 - 438/72)?
True
Suppose -4*y = 31 + 29. Let q = 13 + y. Is (189/2)/(-7)*q a multiple of 19?
False
Let j = -24 - -17. Let o be (-19)/j - (-4)/14. Suppose o*x - 45 = -0*x. Is x a multiple of 12?
False
Suppose -84*z + 92*z - 10416 = 0. Is z a multiple of 31?
True
Suppose 4*m + 2 - 22 = 0. Let k be 63/45 - (-3)/m. Suppose 0 = 3*u + k*p - 226, 0*u - 5*u - 5*p + 385 = 0. Is 18 a factor of u?
True
Let o be 1 - ((0 - 5) + 4). Let g be (-21)/(-3)*-1*-1. Suppose -g*v + o*v + 490 = 0. Is 13 a factor of v?
False
Let i(q) = -5*q**3 + 21*q**2 + 21*q - 20. Let f(x) = 3*x**3 - 14*x**2 - 14*x + 13. Let t(c) = 8*f(c) + 5*i(c). Is 5 a factor of t(-6)?
True
Let b(o) = -o**2 + 97*o + 338. Is 10 a factor of b(48)?
True
Suppose -a = -3*l + 24, 4*a = 2*a + 4*l - 44