ue
Let m(b) = -72*b + 2. Let z be m(-2). Suppose 3*j = -2*y - 40 + z, 5*j - 140 = 4*y. Does 8 divide j?
True
Suppose -5*l - 6*w + 15 = -w, l + 5*w = -1. Is (-80)/15*(-177)/l a multiple of 31?
False
Suppose 1861*c = 1860*c + 1221. Is 11 a factor of c?
True
Suppose 20*k = 23*k - 6090. Does 29 divide k?
True
Suppose 2*c - 38 = -34. Suppose 3*q - 57 = -c*l, 10*q - 2*l - 111 = 5*q. Is q a multiple of 21?
True
Let o be (-2 + 2)*(-5)/(-15). Let m be o/((-12)/(-4) + -5). Suppose m = -3*t - 12, 2*l + t = 11 + 61. Is 9 a factor of l?
False
Let q = 2521 + -1198. Is q a multiple of 27?
True
Suppose 2*x - 1590 = -260. Is 62 a factor of x?
False
Let g be 84/9*6/4. Let b(c) = 4 + 13*c**2 - 4*c - g*c**2 + 16*c. Does 14 divide b(11)?
False
Let o(i) = -i**2 + 16*i + 184. Does 12 divide o(0)?
False
Let d(x) = -2*x**3 - x**2 - x. Let o be d(-1). Suppose -3*a - o*a = -540. Is 27 a factor of a?
True
Let n = -12 + 17. Let q(w) = 3*w - 11. Let s be q(n). Suppose 0 = -4*l - s*t + 56, 4*l - 3*t - 46 - 10 = 0. Is 14 a factor of l?
True
Suppose 2281 = 14*w - 1835. Does 7 divide w?
True
Suppose 0 = 3*b - 1005 - 258. Does 11 divide b?
False
Let o(g) = -3*g + 5. Let y be o(2). Is (-1 + (-4 + -1 - y))*-1 even?
False
Suppose -z - 6 = 1. Let y(l) = -14*l + 16. Let x be y(z). Suppose 4*n - x = -2. Is 14 a factor of n?
True
Suppose 0*o + 3*o = -5*x + 3, -12 = 3*o. Suppose -6*v + 6 = -x*v. Suppose -242 = -5*p + v*y - 5*y, -p = 3*y - 58. Is 7 a factor of p?
False
Let r be (-112)/(1*(2 + -1)). Does 16 divide (r/(-6) - 0) + 23/69?
False
Let p = 546 + -482. Does 16 divide p?
True
Let o(q) = -299*q**3 + 2*q**2 + q. Let b be o(-1). Suppose -5*g = 5*r - 1410, -g + b = 2*r + 21. Suppose 5*s = -0*s + g. Is s a multiple of 14?
False
Let v be ((-15)/6)/(4*(-4)/96). Let k = -3 - -2. Let l = k + v. Is l a multiple of 5?
False
Suppose 2*t + 2*j - 5 - 21 = 0, -2*t + 32 = -j. Suppose -4*i + 4*d + 31 = d, 3 = 2*i + d. Suppose u - i*u = -t. Does 4 divide u?
False
Is 20/((-12 - -17) + 48/(-10)) a multiple of 10?
True
Let i(n) = n**2 + 17*n - 66. Does 8 divide i(6)?
True
Is 6 a factor of 3/9 + 368/24*14?
False
Let j = 667 + -167. Does 21 divide j?
False
Let b be (16 + -15)/(1/(-5)*-1). Suppose -c + 4 = 8, -b*g + 180 = 5*c. Is g a multiple of 6?
False
Let l(g) = -169*g**3 - 6 + 5*g - 2*g**2 + 0 + 4*g + 1. Let t(k) = -84*k**3 - k**2 + 5*k - 3. Let h(f) = 4*l(f) - 7*t(f). Is 22 a factor of h(-1)?
False
Let g(s) = 6*s**2 + 21*s + 73. Does 17 divide g(-8)?
True
Let s(w) = w + 43. Suppose -2*a - o = 7 + 35, 2*o = 5*a + 87. Does 3 divide s(a)?
True
Suppose 508 = 36*b - 5000. Is b a multiple of 10?
False
Let k(t) = -2*t**2 - 3*t. Let f be k(-3). Let w be (-43)/f + 4/18. Suppose -4*b - 2 + 301 = w*z, 2*z - 2*b = 116. Is z a multiple of 29?
False
Let w(s) = -3*s**3 + 2*s**2 - 1. Let q be w(-1). Suppose -2*c + 124 = 2*m, q*m - c = m + 194. Is 5 a factor of m?
False
Let i(l) = 3*l**2 - 3. Suppose 7*z = 3*z + 8. Is 9 a factor of i(z)?
True
Is 22 a factor of (10/4)/((10/(-176))/(-5))?
True
Let s(l) = -10*l + 5. Let j be s(5). Let z be (-20)/(-14) - j/(-105). Does 7 divide z/((-4)/(-6))*14?
True
Suppose -2*b = -4*b + 4. Suppose 3 = -3*p, 4*k + b*p + 0*p = 266. Does 20 divide k?
False
Let x(l) = l**3 + l**2 + l + 1. Suppose -4*z - t + 100 = -5*t, -5*t + 51 = 3*z. Suppose 0 = -4*h - 2*y + z, h + 9*y = 4*y + 19. Is x(h) a multiple of 20?
False
Suppose 5*o = 4*q + 1957, 5*q - 1194 = -3*o - 42. Does 21 divide o?
False
Suppose 20*l - 48487 - 13553 = 0. Is 91 a factor of l?
False
Let v = -20 - -40. Let d = -17 + v. Suppose -q = -23 + d. Does 4 divide q?
True
Let r = -47 + 26. Let i = 21 - r. Is i a multiple of 14?
True
Suppose 4*m = 2*k - 14, 3*k + 3*m - 1 = 2. Does 13 divide (-1)/((-1)/(-6))*(-25 - k)?
False
Let z = 1316 - 1216. Suppose -2*l + 6 = 4*n - 0, 3*n - 18 = 3*l. Suppose f - n*f = -z. Is 20 a factor of f?
False
Suppose -5*d = 4*n - 123, -6*n = 3*d - n - 79. Let z = 40 + d. Let s = z + -23. Does 10 divide s?
True
Let z = -28 - -32. Suppose p = -p + 2*m + 4, -z*m + 16 = 0. Is p a multiple of 2?
True
Let q(r) = -2*r**3 + r**2 + 4*r - 8. Does 17 divide q(-4)?
False
Let d(j) = -5*j + 10. Let f(y) = y**2 - 5*y. Let h be f(4). Let s(c) = 1. Let n(p) = h*s(p) - d(p). Is n(4) even?
True
Suppose 5*w - 20 = -0*w. Suppose -4*u = -4*k - 45 - 3, w*u - 6 = -2*k. Let l(x) = -x**3 - 8*x**2 - 8*x + 5. Does 4 divide l(k)?
True
Let w = 1768 + -532. Is 12 a factor of w?
True
Let x = -61 - -66. Suppose -5*i = 2*u - 973, -x*i - u + 4*u + 978 = 0. Is 39 a factor of i?
True
Suppose 13*r - 51891 = -15361. Is r a multiple of 46?
False
Let l = 66 + -62. Suppose 0 = 2*y - 6*y + j + 953, -l*y + 4*j + 956 = 0. Does 56 divide y?
False
Let u = 0 + 0. Suppose -3*o + 4*o - 6 = u. Suppose 3*m = h - 5*h + o, 24 = 3*m - 2*h. Is m a multiple of 3?
True
Let q(x) = -x**3 + 9*x**2 + 17*x - 12. Let r(f) = 3*f**2 - 7*f + 11. Let y be r(2). Does 42 divide q(y)?
False
Suppose 5*h - 707 = -3*t + 919, 0 = -4*h - t + 1298. Is 24 a factor of h?
False
Let s(y) = -y**3 - 6*y**2 + 8*y - 19. Let t be s(-8). Does 11 divide (-476)/(-10) - (-3)/(t/6)?
False
Let w = 126 + 43. Is 3 a factor of w?
False
Suppose 0 = -3*j - 9, -j - 3 = -3*s + 6. Suppose -4*w + s*v - 3*v + 237 = 0, 0 = 2*w - 4*v - 114. Is 14 a factor of w?
False
Suppose -14*t = -13*t. Suppose -w + 2 = -t*w. Is w a multiple of 2?
True
Let m(w) = -w + 8. Let d be 6 + (3 - (3 + 0)). Let t be m(d). Does 2 divide 4/t - 3*-1?
False
Suppose 2*x = -0*x - 300. Let u = x - -238. Does 11 divide u?
True
Let k = -987 - -996. Is k even?
False
Suppose 3*f - 5*w = 11, -4*f + 3*w + 27 = 5. Suppose -2*o = 1 + f. Let h(k) = k**3 + 6*k**2 + 4*k - 4. Is 12 a factor of h(o)?
True
Suppose 0 = -o - 2*j - 14 + 1, j = 2*o + 1. Is 5 a factor of (-50)/((-2)/(-1) + o)?
True
Let g(i) be the second derivative of -i**4/12 + 7*i**2 + i. Is 11 a factor of g(0)?
False
Let v(t) = -t**2 - 4*t + 6. Let a be v(-8). Let f = 27 + a. Does 6 divide f + 8/(-2) + 27?
True
Is 53 a factor of (-6348)/(-15) - (-124)/155?
True
Let i = 65 - 54. Suppose -249 = -2*p + v, 3*v + 2 - i = 0. Is 14 a factor of p?
True
Let g(h) be the second derivative of -9*h**5/20 - 5*h**2/2 + 14*h. Is 17 a factor of g(-3)?
True
Suppose 1680 = 674*h - 667*h. Does 8 divide h?
True
Let y = -116 + 181. Let o = y - 50. Does 4 divide o?
False
Let b be 14/(-3)*18/(-6). Let c be 2/(-7) - (-32)/b. Suppose 3*z - 3*p = 33, -3*p + 2*p = -c*z + 19. Is z a multiple of 4?
True
Let r be 2152/(-10) - (-56)/(-70). Let h = 408 + r. Does 15 divide h?
False
Let w = -15 - -20. Suppose 2*o - 308 = -w*o. Does 11 divide o?
True
Suppose -4*b + 2 = 18. Let k be (b/(-5))/(4/10). Suppose -k*x = -2*p + 192, -3*x + 7*x = 0. Is 20 a factor of p?
False
Suppose -3*w = -4*k - 6 - 1, 17 = 5*w - 4*k. Suppose -3*x - 3*g + 195 = 0, 0*g - g = -w*x + 319. Is x a multiple of 12?
False
Suppose -h - 4*j - 17 = 0, -j = -2*h - 2*j - 62. Let m be (-1)/2 + (-780)/8. Let s = h - m. Is 17 a factor of s?
False
Let o(f) = 2*f**2 + 11*f - 2. Let c be o(-5). Let m = -1 - c. Suppose 0 = -s - 3 + m. Does 3 divide s?
True
Let l(f) = 4*f**2 + 2*f - 7. Let u(q) = -5*q**2 - 2*q + 7. Let b(j) = -2*l(j) - 3*u(j). Let h be b(6). Let t = 364 - h. Is 35 a factor of t?
False
Let h = 16 + -15. Is 15 a factor of h/((-980)/328 + 3)?
False
Let s be (-1 + 0)/(4/(-16)). Let l(z) = -z**3 + 4*z**2 + 2*z - 5. Let r be l(s). Does 13 divide r + (-1)/(1/(-24))?
False
Suppose 3*w - 5*w - 3*q = -2740, 1367 = w + 3*q. Is w a multiple of 46?
False
Let f(q) = 5*q + 43. Is f(28) a multiple of 38?
False
Let q = -918 - -594. Let z = -168 - q. Does 15 divide z?
False
Suppose 370 = 3*t + 2*o, 0 = 2*t - o - o - 230. Let f = -27 + t. Is 13 a factor of f?
False
Suppose -23*x - a + 126 = -21*x, 266 = 4*x - 5*a. Does 13 divide x?
False
Let r(k) = k**3 + k**2 + 3*k + 173. Let t be r(0). Suppose 5*a - t = -153. Does 2 divide a?
True
Suppose 2*r - 4*z + 114 = 0, -3*r - z = -2*r + 66. Is ((-188)/6)/(14/r) a multiple of 22?
False
Let o(u) = -4*u - 68. Let l be o(-18). Let m(c) = 2*c**3 + 6*c**2 - 3*c - 3. Does 11 divide m(l)?
True
Suppose -10472 = -292*c + 270*c. Is c a multiple of 3?
False
Let m(b) = 2*b + 2. Let g be m(4). Let n(f) = 4*f - 3 + 6 - g. Is 11 a factor of n(11)?
False
Suppose 2 = 2*a, -5*y + 3*a - 4 = -a. Suppose y*v = 4*v - 84. Is 7 a factor of v?
True
