
Suppose 3455 = 3*c + u - 3331, -2252 = -c + 3*u. Suppose 0 = 14*a + 777 + c. Let b = a - -412. Is 18 a factor of b?
False
Is (402636/(-203))/((-4)/14) a multiple of 69?
False
Let k(g) = 4*g + 6. Let p be k(-2). Let s = p + 5. Suppose -17 - 121 = -3*v + s*h, 234 = 5*v - 3*h. Is v a multiple of 16?
True
Suppose -996566 = -115*p + 595034. Does 158 divide p?
False
Suppose 552 = -4*d + 5*d - 4*h, 0 = -5*d + 5*h + 2775. Is d a multiple of 139?
True
Let r(n) be the first derivative of 3 - 1/4*n**4 + 2*n**3 - 5/2*n**2 + 3*n. Is r(3) a multiple of 3?
True
Is 4 - 219897/(-63) - 12/28 a multiple of 65?
False
Does 49 divide (-6 - 168/(-32))*8 - -1*20275?
False
Let c(y) = -563*y - 9. Let l be (-6*(-5)/45)/(18/(-27)). Does 4 divide c(l)?
False
Suppose -14*d = -12 - 16. Suppose 0*v + 1976 = 5*v - d*u, 5*v = u + 1978. Does 9 divide v?
True
Let x(t) = t**2 + 33*t - 48. Let s(p) = p**2 + 31*p - 47. Let j(r) = 4*s(r) - 3*x(r). Does 72 divide j(-44)?
True
Suppose -9*w = -3*d - 10*w + 4360, 0 = -3*d - 2*w + 4364. Does 23 divide d?
False
Suppose 0 = m + 2*s + 192, 0 = m + 4*s + 112 + 86. Does 6 divide 82/12 + (m/(-36) - 5)?
False
Let v(b) = b**2 - 15*b - 22. Let i(c) = c**3 + 3*c**2 - 9*c - 3. Let o be i(-5). Is v(o) a multiple of 9?
True
Let y = 36 - 45. Let z(c) = c**3 + 9*c**2 + 3. Let l be z(y). Suppose 5*n = -5*f + 745, -l*f + 2*n + 21 + 401 = 0. Does 24 divide f?
True
Let b = 4445 - -20349. Is 43 a factor of b?
False
Let b = 2562 - 4876. Let s = -1575 - b. Is s a multiple of 32?
False
Let z(q) be the first derivative of -2*q**3/3 - 5*q**2/2 + 251*q + 204. Does 39 divide z(0)?
False
Is 84 a factor of (32 + -16 + 6)/((-6)/(-1149))?
False
Let u = 29234 + -8831. Is u a multiple of 9?
True
Suppose -13*j - 6 = -16*j. Does 25 divide 2*((-524)/(-8) + (1 - j))?
False
Suppose -197 = 7*x - 498. Let h = x + 75. Is 4 a factor of h?
False
Let o(a) = -2*a**3 - 11*a**2 + 5*a - 39. Let m(t) = -t**3 - 12*t**2 + 4*t - 38. Let q(r) = -3*m(r) + 2*o(r). Is q(13) a multiple of 16?
False
Let o(j) be the third derivative of -j**6/120 - 13*j**5/60 - j**4/8 + 5*j**3 + 8*j**2. Let a be o(-9). Let s = -112 - a. Is s a multiple of 36?
False
Let z(t) = t**2 - 472*t. Does 86 divide z(-44)?
True
Let i be (-33)/55 + (-2)/5. Let p(x) = 7*x + 7. Let d be p(i). Suppose v + d*v = 96. Is 16 a factor of v?
True
Let r be -1*(-57 + 5 - 5). Suppose -5*f + 5*w + 225 = 0, -2*f + 49 + r = 2*w. Does 2 divide f?
False
Let f = 20 - 12. Suppose 4*s - f = -s + 2*x, 3*s - 3*x - 3 = 0. Is 14 a factor of (-8 + 30/5)/(s/(-102))?
False
Suppose 32*c - 36386 = 18*c. Let p = c - 1738. Is 36 a factor of p?
False
Let o(k) = 2*k**2 - 40*k + 26. Let j(n) = -3*n**2 + 41*n - 23. Let w(v) = -6*j(v) - 7*o(v). Is w(-10) a multiple of 3?
False
Let q(y) = -67*y**2 - 6*y + 7. Let u(b) = 34*b**2 + 3*b - 4. Let s(d) = -3*q(d) - 5*u(d). Let l be s(1). Let k = l - -137. Is 35 a factor of k?
False
Suppose -6*k - 13*k + 32*k = 26572. Does 28 divide k?
True
Let s(l) = 1812*l + 1647. Is 43 a factor of s(7)?
False
Let u be 3*78*16/(-6). Let m = 378 + u. Let v = 456 + m. Is v a multiple of 42?
True
Let d = 12885 - 4070. Does 16 divide d?
False
Let m = 489 + 3097. Does 52 divide m?
False
Suppose -6*g - 184 = -10*g. Suppose -o = 5*r - 397, 6 + 3 = -3*o. Let u = r - g. Is 12 a factor of u?
False
Suppose 0 = -8*m + 32 - 0. Suppose 280 = -m*q + 1440. Is q a multiple of 29?
True
Let r(g) = 177*g**2 - 92*g + 401. Does 191 divide r(4)?
True
Suppose 13*q - 10*q - 11590 = 4*y, -2*y = -2*q + 7730. Is 45 a factor of q?
True
Let o(f) = -10*f**2 - 64*f + 128*f + 23 - 65*f + f**3. Is o(12) a multiple of 23?
True
Let g = 718 - 488. Let z = -165 + g. Is z a multiple of 2?
False
Let w = 333 + -336. Does 30 divide 553 - (-1)/(-1 + w/(-2))?
False
Let n(o) = 7*o**2 + 3*o**3 - 2*o - 14 - o**2 - 2*o**3 + 2. Let d be n(-6). Suppose 0 = -2*j - 2, 0 = s - d*j + 3*j - 105. Is s a multiple of 36?
True
Let a(r) = 8*r**2 + 25*r - 64. Is 13 a factor of a(-34)?
False
Let r(w) = 15*w - 5. Let j be r(-4). Let y = -54 - j. Suppose y*g - 3*g - 288 = 0. Is g a multiple of 35?
False
Let k be (-1 + 18)*6/(24/116). Suppose 12*s + k = -251. Let h = s + 110. Is 5 a factor of h?
False
Let z = 74 + -74. Suppose z = -4*g - 5*s - 291, -2*g + 0*s - 143 = 5*s. Let q = g - -105. Is 10 a factor of q?
False
Let r be (-24)/(-7*18/(-672)). Let m = 369 - r. Is 10 a factor of m?
False
Suppose -3*o + 5 = -2*y, 0 = 4*o - 2*o + 4*y + 2. Suppose -x + 4 = -o. Suppose -x*l = -12 - 208. Is l a multiple of 22?
True
Let d(m) = -10*m**3 - 14*m**2 - 35*m + 2. Does 24 divide d(-8)?
False
Suppose -1698*y + 1619*y + 1252150 = 0. Does 111 divide y?
False
Suppose 3*c - 4*s + 4 = 0, 2*c - 2*s = -3*s + 12. Suppose 0 = -2*b - 3*b - 4*o + 26, -3*o = -4*b - c. Suppose -7*v + b*v = -695. Does 33 divide v?
False
Is 68 a factor of 20465/7 + 651/1519?
True
Let q be (137 + 1)/((-42)/105). Let c = q - -689. Does 59 divide c?
False
Let i be 2 - -5 - 2/1. Let x(f) be the second derivative of f**5/10 - 7*f**4/12 + f**3 - 11*f**2/2 + 2184*f. Does 17 divide x(i)?
False
Suppose -2*c = -3*f + 5286, -7*f = 8*f + 4*c - 26472. Does 9 divide f?
True
Suppose -12*r + 292 = -2348. Suppose 0 = -5*k - 5*b + r, 0 = -k - k - 5*b + 79. Is 6 a factor of k?
False
Suppose 22*j - 24*j = -10. Suppose -4*m = -g + 178, -j*g - 3*m = -7*m - 826. Suppose 4*d = 5*d - g. Does 18 divide d?
True
Let h(n) = -11*n + 274. Is 7 a factor of h(-12)?
True
Is 1680/(-196) + (-4)/(-7) + 2744 a multiple of 16?
True
Let i be (-3 + (-172)/(-16))/(9/180). Suppose x = -4*x + i. Is x a multiple of 4?
False
Suppose 20*w + 2*w = 5742. Let b = 269 - w. Does 4 divide b?
True
Let b(j) = 1496*j - 40. Is 17 a factor of b(5)?
False
Suppose -63*n = -60*n. Suppose g - 154 = -3*i + 5*g, n = 3*i + 4*g - 146. Is 4 a factor of i?
False
Let d = -174 - -169. Is 2 a factor of (d + (-63)/(-2))/(2/4)?
False
Let f be (-810)/(-20) + 9/6. Let z = -39 + f. Suppose -3*g - 2*o = 2*o - 147, -g + 36 = -z*o. Is g a multiple of 33?
False
Suppose 5*n - 5 = 0, x + 35 = 2*x + 5*n. Is -1 + 391/3 + (-10)/x a multiple of 10?
False
Suppose 9*a + 277 = 43. Is 4 a factor of ((-11)/(-4)*2)/((-13)/a)?
False
Let q(h) = -h**3 + 4*h**2 - h - 14. Let i be q(6). Let r = i - -89. Is 11 a factor of (3 - 2)*r*38/(-6)?
False
Suppose 1407 = 4*w + 7*q - 12*q, 0 = w + 2*q - 342. Is w a multiple of 2?
True
Let n(k) = -k + 9. Let l be n(9). Suppose 0 = -u - 4, l*u + u = z - 161. Is 18 a factor of z?
False
Suppose 10*h - 357 - 273 = 0. Suppose h = v - 43. Is v a multiple of 24?
False
Let n be 19708/(-78) + (-1)/3. Let m = -67 - n. Is 10 a factor of m?
False
Suppose 0 = -2*l - 5*h + 5, -h + 3*h - 34 = -4*l. Suppose -11*g = -l*g + 2, -2*k + 400 = -4*g. Is 14 a factor of k?
True
Let o(x) = -5*x**2 + 159*x + 116. Is 6 a factor of o(31)?
True
Let s(i) = -3*i**2 - 19*i + 15. Let t(f) = -2*f**2 - 10*f + 8. Let a(w) = 3*s(w) - 5*t(w). Let v be a(6). Is 3*(v + 0) + (171 - -3) a multiple of 44?
False
Let m(a) be the second derivative of a**5/5 - a**4/12 - 13*a**3/6 + 2*a**2 - 6*a. Does 18 divide m(5)?
True
Let o = 805 + 3313. Is o a multiple of 38?
False
Is 13 a factor of 247/(-38)*(-2950 + 2 + -6)?
True
Let m(h) = 23*h**3 - 8*h**2 + 18*h - 61. Let l be m(5). Is 8 a factor of (l/156)/((-1)/(-6))?
True
Is (29 - 15)/((28/1112)/7) a multiple of 28?
True
Is 25 a factor of 4/(-18) + (5 - 566332/(-234))?
True
Let g be (-6)/5*((-90)/4)/9. Suppose -f - 140 - 58 = -g*i, 3*f = 9. Does 4 divide i?
False
Let r(i) = i**3 + 2*i**2 - 23*i + 29. Is 109 a factor of r(10)?
False
Let t be (8 + -11)*10/6. Let a(m) = -4*m**3 + 5*m**2 - 6*m - 20. Is a(t) a multiple of 33?
False
Is 5 + 31396/2 + -49 + 49 a multiple of 41?
True
Suppose -2*m + 22 = 5*d, -2*m = -7*m - 5*d + 40. Suppose 3*g = 0, 3*s + 42 = m*s + 2*g. Is s a multiple of 7?
True
Suppose 5*c + 222 - 237 = 0, -3*c = -5*y + 1406. Is y a multiple of 3?
False
Let w = 90 - 84. Suppose 7 + 203 = w*o. Does 7 divide o?
True
Let w(s) = 24 + 7*s - 5 - 6*s. Let b be w(-15). Does 16 divide (4 - 10)*(-26)/b?
False
Is 17 a factor of (-533403)/(-18) + (-55)/22?
True
Suppose 7*s - 30 = -2. Suppose -s*n - 5 + 27 = 3*t, -4*t - n + 25 = 0. Let q = t - 3. Is q a multiple of 3?
True
Suppose 12 = -4*k, 478*w + 4*k = 479*w - 1098. Is w a multiple of 67?
False
Let w(j) = 9*j - 3. Suppose 5*u + 65 = -4*c, 5*u = 