)/(1/(-52)). Suppose 5*z + 832 = -t, z + 184 - b = 4*t. Let p = z - -296. Does 24 divide p?
False
Let j be (0 - 150)/(90/(-42) - -2). Suppose -j = -13*v + 133. Does 13 divide v?
True
Suppose 1048064 = 50*q - 642186. Does 132 divide q?
False
Let j(k) = -k + 1. Let b(o) be the second derivative of -o**3/6 - 13*o**2/2 - 10*o. Let x(y) = 2*b(y) + 4*j(y). Does 16 divide x(-9)?
True
Suppose 7*k = 1015 - 287. Suppose -z + 5*z = k. Suppose -121 - z = -3*y. Does 17 divide y?
False
Let z be 4/((16/(-6))/(6 - 8)). Suppose 5*g + 3*q = 111, -2*g = -z*g - 2*q + 18. Is 4 a factor of g?
True
Let a = 88 + -82. Suppose -d + a = -2*d. Is (-48)/(-2)*(d + 7) a multiple of 12?
True
Let s be ((-37045)/25 - 5) + (-8)/(-10). Let g = -9 - s. Is 58 a factor of g?
False
Let a(t) = t**3 + 25*t**2 - 55*t - 28. Let z be a(-27). Does 15 divide 4*((-246)/(-12) - z)?
False
Let w = 17 - -3. Suppose -2*h = -5*m - 7*h - w, 5*h + 23 = -2*m. Let y(a) = 45*a**3 + 2*a - 1. Is y(m) a multiple of 10?
False
Let a be 330/(-25) + 8/(-10). Let n = a + 16. Is 4 a factor of 90/(-40)*-2*n?
False
Suppose 2*r = 16, -v - 85*r + 89*r + 1293 = 0. Does 5 divide v?
True
Suppose -2168 = -d + 8887. Does 6 divide d?
False
Suppose -84*a - 19*a + 65784 + 39276 = 0. Is a a multiple of 3?
True
Let k = -2559 + 4794. Does 15 divide k?
True
Let s(u) = 12*u - 59. Let f be s(13). Let x = 23 + f. Is x a multiple of 12?
True
Let j(r) = 3*r**2 - 29*r - 305. Does 2 divide j(-13)?
False
Suppose -32 = -4*z + 6*z + 2*l, 5*l + 63 = -4*z. Let q = 87 + z. Is q a multiple of 35?
True
Suppose 57*a = 39*a + 36409 + 4667. Is a a multiple of 14?
True
Let l = 6145 - 2610. Is 7 a factor of l?
True
Let d(a) = a**2 + 13*a + 11. Let y be (-12)/(-18) + (246/(-9))/2. Let w be d(y). Suppose -7*m - 64 = -w*m. Does 14 divide m?
False
Let b(p) = -454*p + 2394. Is 13 a factor of b(-41)?
True
Let g be (716/(-16))/(1/(-4)). Suppose -5*x = -6*d + 4*d - 1505, -4*x - 4*d = -1176. Let z = x - g. Is 6 a factor of z?
True
Let n = -16557 + 34607. Is 146 a factor of n?
False
Suppose -8 = -5*n - 3. Let q(u) = -u**3 - 4*u**2 - u - 2. Let a be q(-4). Is 55*a/n - -1 a multiple of 37?
True
Suppose 5*r + 120 - 4 = h, 0 = -r - 1. Suppose -124*a + 11154 = -h*a. Is 13 a factor of a?
True
Let o = -9 + 8. Let c(y) = -y - 1. Let h(d) = 3*d - 28. Let v(j) = o*h(j) - 5*c(j). Does 11 divide v(11)?
True
Suppose -5*p + 3*p - 4*d - 20 = 0, 10 = -4*p - 2*d. Suppose p = -a - 10 + 87. Suppose 2*k = g - a - 51, 3*g - k = 369. Is 13 a factor of g?
False
Let s(l) = -7*l - 33. Let i(y) = -2*y + 1. Let f(x) = 6*i(x) - s(x). Let o be ((-14)/4)/(3/18). Is f(o) a multiple of 48?
True
Suppose 38*x = 11*x - 71*x + 28224. Is 2 a factor of x?
True
Let m(q) = 15*q + 8. Let x be m(6). Suppose 4*c - 507 = w, -2*c + 173 = 3*w - x. Suppose -4*o - 4*b + 110 = -122, -5*b = 2*o - c. Does 27 divide o?
True
Suppose -82080 = -4*o + 3*o - 19*o. Does 8 divide o?
True
Let x = -21261 + 52620. Is 23 a factor of x?
False
Suppose -2*k + 3 = 7, -3*k - 6 = i. Suppose 3*n - 178 - 362 = i. Is 5 a factor of n?
True
Let r(c) = -c + 44. Let o(v) be the second derivative of v**3/6 + 17*v**2/2 - 18*v. Let b be o(-9). Is r(b) a multiple of 18?
True
Let n(b) = 2*b**2 + 9*b + 15. Let c = 139 - 144. Is n(c) a multiple of 4?
True
Let i(o) = 7074*o - 8337. Does 109 divide i(8)?
False
Let n be 6/((-3)/7 - (-10)/7). Suppose -18 - 18 = -n*h. Is (-58)/(-4) + 3/h a multiple of 11?
False
Suppose -16*s = 25*s + 69659. Let w = -925 - s. Is 43 a factor of w?
True
Suppose 56 = 7*z - 7. Let j(o) = 12*o**2 - z*o + 18*o - 8*o + 5 - 2*o. Is j(2) a multiple of 6?
False
Let c be (-3)/(-6)*(1 - -75). Let l be (2 - 2) + 0 + c. Does 6 divide l*-1*-1 + -2?
True
Suppose -21 = 11*b - 18*b. Suppose q + b*q - 390 = -x, 1881 = 5*x - 3*q. Let l = x + -252. Is l a multiple of 9?
True
Let y = 155 - -7. Let h = y + -244. Let n = -10 - h. Is 12 a factor of n?
True
Let i(x) = 19*x + 136. Let f be i(-8). Does 11 divide 44*50/f*(-4)/10?
True
Let s = 219 + -212. Let c(q) = 6*q**2 + 8*q - 28. Does 14 divide c(s)?
True
Let p be ((-74169)/(-492))/(-1 + 26/24). Let q = p - 948. Does 21 divide q?
True
Let c(d) = 72 - 75*d + 140*d - 38*d. Does 6 divide c(7)?
False
Let c = -12258 - -12767. Is c a multiple of 10?
False
Suppose 87*d + 109*d - 1773592 = -16*d. Does 36 divide d?
False
Suppose 2178 - 279 = 9*m. Let v = -195 + m. Does 16 divide v?
True
Suppose 5*j = -4*m + 31342, -56*j + 57*j - 6262 = -4*m. Is 12 a factor of j?
False
Let l = -536 + 642. Suppose -d + l = 4*b, -d + 52 + 52 = 3*b. Is d a multiple of 3?
False
Let u(q) be the first derivative of -5*q**2 + 101*q + 154. Does 14 divide u(-23)?
False
Is 26 a factor of (247455/(-54))/(-15)*8?
True
Let f(v) = v + 2. Let n be f(6). Suppose 2*m + 30 - n = 5*l, 0 = -5*m - 5. Suppose -14*z + l*z + 400 = 0. Is 14 a factor of z?
False
Does 49 divide (-6)/(-2)*-1*((-9192)/9 - -2)?
False
Suppose 26*w + 3*f - 13774 = 25*w, -5*f - 27471 = -2*w. Is w a multiple of 17?
True
Let f = -3364 + 2268. Let l = f + 1618. Is l a multiple of 29?
True
Suppose -61*c + 32*c = -47*c + 31284. Is 46 a factor of c?
False
Let x(q) = -10*q + 18 + 12 + 13*q. Is 4 a factor of x(2)?
True
Let k = 184 - 690. Let a = k + 706. Does 40 divide a?
True
Let t(u) = -u**3 + 2*u**2 + 2. Let a be t(0). Suppose -b - a*b = 7*b. Suppose 2*l + 0*l - x - 201 = 0, -2*l + 3*x + 207 = b. Is 32 a factor of l?
False
Let x(j) = 0*j**2 + 3 + 3*j + 5*j**3 + j**2 - 3*j**3. Let q be ((-13)/5 - -1)/(230/(-575)). Does 27 divide x(q)?
False
Suppose -24*t + 29 = -187. Let o = 33 + -29. Suppose o*m - 12 = 0, -t*s - m = -10*s + 129. Is 44 a factor of s?
True
Suppose 58*m = -w + 55*m + 9513, 5*w = -m + 47523. Is 44 a factor of w?
True
Let j be (-1)/(6 - (-265)/(-45)). Let u(i) be the second derivative of i**5/20 + 11*i**4/12 + 5*i**3/3 + 6*i**2 - 3*i. Does 21 divide u(j)?
True
Suppose -u = -3*u - 8. Let m(d) = -11*d**2 - 12*d + 18. Let q(t) = -45*t**2 - 48*t + 75. Let y(j) = -21*m(j) + 5*q(j). Is 15 a factor of y(u)?
True
Suppose 28*q - 3*q = -2900. Let k = q - -170. Does 18 divide k?
True
Suppose 5*d - 16528 = -3*j + 6*d, -16532 = -3*j + 5*d. Is 87 a factor of j?
False
Let c(i) = -i**3 - 8*i**2 - 5*i - 16. Let n be ((-2)/(-1))/((-3)/(-18)). Suppose -n - 60 = 8*s. Is 11 a factor of c(s)?
True
Suppose -z - c = 180 + 148, -2*c = -4. Let d = -426 + -85. Let w = z - d. Is 41 a factor of w?
False
Let s be 0/(-3*(-6)/9). Suppose s = -2*f - 441 + 81. Is (2*1)/((-24)/f) a multiple of 3?
True
Let u(c) = -c**2 - 4*c + 14. Let x be u(-7). Let d be x/(21/27) - 1. Let s = d - -101. Is 13 a factor of s?
True
Suppose s + 5*q - 153 = 3*s, -q = 3*s + 204. Suppose 267 - 47 = -5*i. Let z = i - s. Is z a multiple of 2?
False
Let s = 5 - 5. Suppose -n = 5*c - 140, 2*n + 2*n - 2*c - 516 = s. Suppose 0 = -4*l - 8, 4*v - n = -0*l + l. Is 16 a factor of v?
True
Let i(p) = -p - 6. Suppose -t = -4*t - 12. Let l be -20 - t/(-8)*-2. Is 5 a factor of i(l)?
False
Let w = -365 - -367. Suppose 2348 = 5*t - 4*d + 25, -924 = -w*t - d. Is 12 a factor of t?
False
Suppose 14*w + 0*w = 13*w + 7630. Is w a multiple of 14?
True
Let o(g) = -22*g - 1 - g + 16*g + 53. Let y be o(7). Suppose 251 + 193 = y*i - 3*a, a - 567 = -4*i. Does 13 divide i?
True
Is 8 a factor of 15983 - (-28)/(224/(-216))?
False
Let g(d) = -2065*d + 400. Does 42 divide g(-13)?
False
Let f = -180296 - -255077. Does 63 divide f?
True
Let b(h) be the first derivative of -h**3/3 - 25*h**2/2 - 8. Let i be b(-25). Is (i - 198/(-4))*(-30)/(-9) a multiple of 33?
True
Suppose 6*z - 2736 = -0*z. Let g = z - 315. Is g a multiple of 62?
False
Suppose 14*i - 18*i + 2960 = 0. Suppose 12*b - i = 2*b. Does 37 divide b?
True
Suppose 4*y + 5*n = 62685, 50*n - 7 = 51*n. Does 40 divide y?
True
Suppose -3*u + 2483 - 215 = 5*x, 0 = -5*x + 4*u + 2296. Suppose -3*h - 3*b + x = 0, 5*b - 4*b = 0. Is h a multiple of 38?
True
Let t = 3091 - 1791. Does 10 divide t?
True
Let u(y) = -6*y**2 - 4*y + 14. Let t be u(2). Is 28/(-8)*6*168/t a multiple of 14?
True
Suppose 11*i + 3*j = 6*i + 23604, 4*i = j + 18890. Is 3 a factor of i?
True
Suppose 2*i = -947 + 2617. Let p = i + -197. Is p a multiple of 58?
True
Let c be ((-12)/4 + 3)/4. Suppose 34*u - 14*u - 12480 = c. Does 24 divide u?
True
Let z(k) = -k**3 - 7*k**2 + 6*k - 10. Let o be z(-8). Let y be o + 0 + (-4)/(-4).