ose n*o + 82 = -q + 4*q, -190 = -5*q - 4*o. Does 8 divide q?
False
Let k = 13 - 9. Suppose k*i - 2*i = g + 73, -38 = g + 5*i. Let j = 93 + g. Is 15 a factor of j?
True
Let j(u) = -u + 9. Let l be j(8). Suppose -2*w = 5*x - 0 - l, -2*w + 2*x - 6 = 0. Does 2 divide (-4)/(-1) - (w - -2)?
True
Let r be ((-20)/2)/(1 - 2). Suppose 3*g - 2*m + 18 - 4 = 0, -16 = g + 5*m. Let j = g + r. Is 3 a factor of j?
False
Suppose -2*v + 359 = -3*h, 4*v - 184 = 3*v + 3*h. Does 20 divide v?
False
Let o be -25*(-4 + 6 + 14/(-5)). Suppose 2*z - 3*q = -z + 138, 0 = -5*q + o. Does 25 divide z?
True
Let j be ((-3)/(-4))/((-1)/(-24)). Suppose z + 0 = j. Is 18 a factor of z?
True
Let j = -28 - -54. Suppose -39 = -n - a, 5*a = -n + j - 7. Is 8 a factor of n?
False
Let f = -617 + 1037. Is 13 a factor of f?
False
Suppose -32*j + 1192 = -1784. Is j a multiple of 11?
False
Let d = -702 + 1134. Is d a multiple of 46?
False
Let m(g) = 2*g + 4. Let h be m(6). Let w = 276 + -260. Suppose -h = -x + w. Is 32 a factor of x?
True
Let o(n) = n**3 + 3*n**2 - 5*n - 14. Let k be o(-3). Let s = k + 62. Does 6 divide s?
False
Let k = 16 - 16. Suppose k*l - 8 = -4*l. Suppose l*h = 3*q - 8*q + 51, 0 = q + 1. Does 6 divide h?
False
Suppose 4*s + s - 1955 = -3*o, -3*o + 3*s + 1995 = 0. Is 20 a factor of o?
True
Suppose -3*t + 13 = -z, 5*t + 4 = -5*z - 1. Suppose 3*x + 13 = 5*o, -3*o - 2*x - 10 = -7*o. Suppose -2*l - o*l = 4*c - 56, 5*l = t*c + 102. Is 7 a factor of l?
False
Let u(y) = y**2 + 3*y + 8. Let r be u(-4). Does 22 divide ((-9)/(-6))/(r/440)?
False
Let j be (1 - -1) + (2 - 11). Let s(y) = -y**3 - 8*y**2 - 11*y - 16. Is s(j) a multiple of 4?
True
Suppose 0 = -2*t - 4 - 8. Let z(n) = 11*n**2 + 32*n + 25. Let o(m) = 5*m**2 + 15*m + 12. Let b(v) = -13*o(v) + 6*z(v). Does 7 divide b(t)?
False
Suppose -3847 = -5*j + v, -4*j - v - 896 + 3979 = 0. Is 44 a factor of j?
False
Suppose 5*j = -2*j + 14. Suppose -j*u = 2*u - 412. Is u a multiple of 34?
False
Let h be (2/(-3))/((-4)/(-1374)). Let j = 421 + h. Suppose 3*p + 63 = j. Does 13 divide p?
False
Let k(r) be the third derivative of -r**4/12 + 25*r**3/6 + 20*r**2. Is k(-6) a multiple of 5?
False
Does 15 divide 2301/12 + -6 + (-3)/4?
False
Suppose -13*y = -53*y + 68400. Does 30 divide y?
True
Suppose 4076 = -8*p + 12804. Does 12 divide p?
False
Suppose 4*t + p = 3*t + 5, p - 11 = -3*t. Suppose 0 = 5*z + a - 448, -t*z + 176 = -z + 2*a. Is 15 a factor of z?
True
Let s = 73 - 47. Suppose -3*j - x + 22 = -s, j - 12 = x. Is 9 a factor of j?
False
Let l = -89 + 164. Is l a multiple of 3?
True
Let r(b) be the third derivative of b**4/12 + 11*b**3/6 - b**2. Let w be r(9). Let q = -9 + w. Is 6 a factor of q?
False
Let s = 10 + -6. Let l be (44/3)/(s/48). Suppose v - 5*v = -l. Is v a multiple of 12?
False
Let r = 131 + -118. Suppose 0*w + 4*h - 47 = -3*w, -w = 4*h - r. Does 17 divide w?
True
Let l = 363 - 247. Is l a multiple of 3?
False
Suppose -11*f + 24 = -3*f. Suppose -1584 = -f*x - 6*x. Is x a multiple of 16?
True
Let b = -15 - -37. Suppose -2*v - 2*y + 0 = 2, -4*y = -5*v + b. Suppose 14 + 6 = v*m. Does 10 divide m?
True
Suppose -t + 56 = 4*l, 2*l = -0*t - 2*t + 28. Is 16 a factor of 18 - (l/(-8) + 1/(-4))?
False
Suppose 13*l - 7133 = 4801. Is 34 a factor of l?
True
Suppose 6*j - 711 = 1179. Is 15 a factor of j?
True
Does 9 divide (-676)/(-16) - (-1)/(-4)?
False
Suppose -16*o + 22835 = 7955. Is 10 a factor of o?
True
Suppose -3*n + 0*l - 22 = -l, n - 2*l = -4. Is ((-28)/n - 4)/(2/(-244)) a multiple of 6?
False
Suppose 6*o - 240 = 2*o. Suppose 19*b + 18 = 18*b. Let i = o + b. Is 14 a factor of i?
True
Let q = -70 + 72. Suppose -t + 8 = t. Suppose -q*c - l = -9 - t, -22 = -3*c + l. Does 7 divide c?
True
Suppose -2*y - 2*t = 163 - 877, 0 = 3*y - 5*t - 1039. Suppose -5*v + 272 + y = 0. Is v a multiple of 16?
False
Let f(y) = 15*y**2 + 4*y - 4. Let o be f(3). Let u = o - 98. Suppose -4*c = u - 281. Is c a multiple of 18?
False
Let g(t) = t. Let u be g(3). Suppose -11*w = -269 - 292. Suppose -3*d - w = -5*d - u*c, 2*d = -4*c + 56. Does 13 divide d?
False
Let g = -267 + 708. Does 7 divide g?
True
Let u = 198 - -291. Is u a multiple of 8?
False
Does 59 divide 117 + -1*(-1)/(-5 + 6)?
True
Let c(i) = -5*i + 9. Let b(z) = 2*z - 4. Let p(m) = -5*b(m) - 3*c(m). Does 2 divide p(3)?
True
Let z be (136/(-6))/(40/(-300)). Let u = -14 + z. Suppose -s + u = 2*s. Does 13 divide s?
True
Is 28 a factor of 2548/10 - 3/(-30)*2?
False
Let q be 60/14 - (-4)/(-14). Suppose q*k = 41 - 9. Is (-8 - 1)/(k/(-24)) a multiple of 6?
False
Let z = -1514 + 1565. Is z a multiple of 17?
True
Suppose 4*k - y - 12 = -124, -3*k + 3*y = 84. Suppose -3*o - 9*j + 5*j + 14 = 0, 4*o - 5*j = 60. Is 15/(-6)*k/o even?
False
Let l(x) = -x**2 + 107*x + 209. Is l(78) a multiple of 18?
False
Let q = -32 - -101. Let i = 72 - q. Does 2 divide i?
False
Let w(g) = g**2 - 13*g + 62. Let y be w(12). Suppose 3*d - 115 = 467. Suppose -4*o + h = -d, -3*o + 2*h - y + 198 = 0. Does 16 divide o?
True
Let g(y) = -y - 4. Let d be g(-6). Let c(m) = -m**2 + 8*m - 3. Let i be c(d). Suppose -4*j = q - i, -j - 70 = -4*q - 0*j. Is 17 a factor of q?
True
Let w(v) = 26*v - 2*v**2 + 5*v**2 - 23*v. Suppose 3 + 1 = q. Does 30 divide w(q)?
True
Let u(c) = -c**2 - 7*c + 6. Let f be u(-8). Does 10 divide 8/f - (-17 - 47)?
True
Is 3 a factor of ((-1442)/(-28))/(((-14)/4)/(-7))?
False
Let k(b) = b**2 + 12*b + 11. Let f be k(-15). Suppose -f*s + 53*s + 558 = 0. Does 31 divide s?
True
Suppose 53*m + 4440 = 73*m. Does 3 divide m?
True
Suppose 5*m + 33 = 2*s, m = 2*s - 2*m - 43. Suppose s*o - 15 = 28*o. Suppose -o*t = -12*t - 168. Is 14 a factor of t?
True
Suppose -28495 = -17*a - 24*a. Does 5 divide a?
True
Suppose 3*w + 12 = 4*c, w - 2*w = -4. Suppose -c*u = -3*u - 132. Let a = u + -8. Is 9 a factor of a?
True
Let h = 87 - -7. Suppose -4*o - h = -642. Is o a multiple of 11?
False
Suppose -3 = -i + v + 187, 2*v + 956 = 5*i. Is 28 a factor of 26832/i + (-1 - 10/(-8))?
True
Let u = 40 - -31. Let j = 145 - u. Is j a multiple of 8?
False
Suppose v + 3*v = 2*y - 70, -86 = 5*v - 4*y. Let t = 8 + v. Is 6 a factor of t/4*(1 + -11)?
False
Let z(h) = h**2 - 11*h - 10. Suppose -5*a - 60 = -10*a. Let o be z(a). Suppose o*v + 9*d = 4*d + 145, -2*v = 3*d - 135. Is v a multiple of 20?
True
Let s = 198 + -134. Does 32 divide s?
True
Let m(j) = -14*j**3 + 3*j**2 + 9*j + 14. Does 8 divide m(-2)?
True
Does 3 divide 2/(-13) + -4 + 2775/39?
False
Suppose 2*o + o = -99. Suppose -v - 5*u - 74 = 0, 4*v + 3*u + 221 = -2*u. Let s = o - v. Is s a multiple of 16?
True
Let w = 1182 + -932. Is 25 a factor of w?
True
Let h(d) = -d**3 + d**2 - 5*d + 3. Let g(r) = r**3 + r - 1. Let p(t) = -3*g(t) - h(t). Does 9 divide p(-3)?
False
Suppose 0 = -5*u - 11 - 9. Let x be 318/(4/(u/(-2))). Let y = x - 82. Is 18 a factor of y?
False
Suppose 0 = 3*f - 4*u + 680, -662 = -0*f + 3*f + 5*u. Let j = -155 - f. Does 17 divide j?
False
Is (-86)/(-301) - (-1 + (-2138)/14) a multiple of 9?
False
Let s(h) = -4*h**3 + 5*h**2 + h - 5. Let w be s(4). Let j = -25 - w. Suppose x + 5*a = 4*x - 114, -4*x = -5*a - j. Does 16 divide x?
False
Let f = 305 + -217. Is f a multiple of 11?
True
Is 48 a factor of 2024/6 - ((-32)/(-6))/4?
True
Suppose 385 = 2*z + 5*q, 4*z + 4*q + 181 - 921 = 0. Is z a multiple of 36?
True
Suppose -p - 5*c = -2*c + 29, -5*c = 25. Let h = p - 40. Does 6 divide ((-6)/9)/(4/h)?
False
Let h be 20/(9 - 4) - -36. Suppose 6*n - 5*n - h = 0. Is 7 a factor of n?
False
Let l = -28 - -18. Let k(a) = a**3 + 10*a**2 - 5*a + 13. Is k(l) a multiple of 29?
False
Is 18 a factor of (22140/7)/3 - (-46)/(-161)?
False
Let c be (-18)/(-4)*470/15. Suppose -o + c + 59 = 0. Does 21 divide o?
False
Suppose x = -4*x. Suppose 3*o + 5*q - 12 = x, -4*q = -3*o - 8 + 20. Suppose 4*h - 4*n - 60 = 0, -o*n + 24 = 3*h - 0*h. Is h a multiple of 12?
True
Let u(j) = -j**3 + 2*j**2 + j - 2. Let z be u(1). Suppose z = o + o - 132. Suppose l + m = o, 0 = -4*m + 2 + 6. Is l a multiple of 13?
False
Let f = 660 - 467. Is f a multiple of 3?
False
Suppose -5*m + 4*g + 4399 = -2278, 2*m + 2*g - 2678 = 0. Let b be 951/(-21) + 2/7. Is 14 a factor of 6/b + m/15?
False
Let b = -31 + 36. Is 22 a factor of (-6)/b*1210/(-33)?
True
Let v(u) be the second derivative of -u**5/120 + 5*u**4/24 - u**3/2 - 4*u. Let k(i) be t