 -257*b + 253*b. Does 50 divide r?
False
Let c = 52 + 124. Let j be (2 + 3)/10*c. Suppose -j - 112 = -4*b. Does 18 divide b?
False
Let x be ((-60)/9)/(-4) - 2/(-6). Suppose g - 32 = 5*s, 4*g + x*s - 36 = -s. Suppose -j + g = -14. Is j a multiple of 13?
True
Let j(d) = -7*d**3 + 566*d**2 + 5707*d - 21. Is 13 a factor of j(-10)?
False
Suppose -8*x = 439 - 103. Let m be 44/7 + 12/x. Suppose -m*u = -u - 215. Is u a multiple of 8?
False
Let d(h) = h**3 + 9*h**2 + 9*h + 11. Let u be d(-8). Is 21 a factor of 24/72 - (-818)/u?
True
Let v(b) = b**3 - 6*b**2 - 8*b - 17. Let f be v(6). Let u = f - -244. Is u a multiple of 17?
False
Suppose 31987 + 51461 = 38*y. Is y a multiple of 6?
True
Let o = -1 - -57. Suppose -3*u + o = 5*t, -u - 2*t = -t - 22. Is 3 a factor of u?
True
Let u be 20*(-3)/12*(-21)/5. Suppose -u*b + 6944 = -5*b. Is 31 a factor of b?
True
Suppose 2*f + q = 99, f = 5*f - 3*q - 183. Let r = 83 - f. Is 12 a factor of 7/(r/(-10)) - -26?
True
Let v = 288 - 310. Let g(d) = d**3 + 23*d**2 - 9*d + 42. Does 17 divide g(v)?
False
Let w = -49 + 73. Suppose -16*o + w = -56. Is 121 + (-1 - 0)*(o - 3) a multiple of 9?
False
Let u(k) = -1055*k + 3102. Is u(-29) a multiple of 200?
False
Suppose 4*n - 11097 = 3*p, 11*p + 8322 = 3*n + 9*p. Is n a multiple of 36?
True
Suppose -m = s - 10, 5*s = -4*m + 55 - 9. Let t = -12 + s. Let n = 187 + t. Does 14 divide n?
False
Suppose -4*n - 1526 - 305 = -y, 0 = -5*y + 5*n + 9110. Does 12 divide y?
False
Let x be (108/(-8))/(3/(-8)). Let h = 1466 + -896. Suppose 0 = -39*p + x*p + h. Does 24 divide p?
False
Let y(d) = 189*d - 3434. Does 104 divide y(47)?
False
Does 3 divide (137/(-2))/(51/(-204))?
False
Let w = 71 - 10. Let s = 68 + w. Is 32 a factor of s?
False
Suppose n - 91 = -12*n. Suppose -3*q - 5*z - 19 = 0, -n = z - 2. Is 23 a factor of 46*(3/q - 0)?
True
Let g(a) = -a**2 + 2*a + 7. Let m be g(3). Suppose -226 = 2*j - m*o - 996, -j + 409 = 4*o. Is 25 a factor of j?
False
Suppose 9*i = -2*i + 6644. Let v = i + -43. Suppose -v = -10*f - 161. Is f a multiple of 5?
True
Suppose -7*h - 3 = 18. Let f = 3 - h. Does 13 divide 4/f*(-936)/(-16)?
True
Suppose 3*t = 5*d - 19, 15*t - 11*t = -5*d - 2. Suppose 0 = -4*m - d*r + 2338, 6*r + 2 = 8*r. Does 50 divide m?
False
Let i(w) = -13*w + 25*w - 16*w - 38*w - 164. Is 13 a factor of i(-7)?
True
Suppose -847*u - 92340 = -923*u. Does 12 divide u?
False
Let n be (-32 + 5)/(2/(-4)). Suppose -5*c + n + 86 = 0. Is 2 a factor of c?
True
Suppose 23770 = 18*y - 113390. Is y a multiple of 12?
True
Suppose 5*d + 2*w + 70 = -2*w, 0 = -d - 5*w - 14. Let y = 197 + -226. Let o = d - y. Is 2 a factor of o?
False
Let w = 63 + 180. Suppose -3*t = -5*d - 423, 2*t - 39 - w = 2*d. Is 18 a factor of t?
False
Let d(c) be the second derivative of 4*c**4/3 + c**3/2 - 3*c**2 - 4*c + 3. Does 19 divide d(4)?
False
Does 32 divide (-8157)/2*(4/76 + (-82)/114)?
False
Let w(n) = -n**2 - 10*n - 18. Let k be w(-7). Suppose 0 = -2*g - 2*h, 5*h = -k*g + 2*g. Suppose 2*l - 24 + 9 = -3*d, g = 5*d - 5. Is 3 a factor of l?
True
Let c be (-1)/(-2)*(10 + 2). Suppose i - c*i + 15 = 0. Suppose 3*z - 208 = -i*n - 2*n, 3*n = -4*z + 292. Does 18 divide z?
False
Suppose 10 = -5*l, 4*s + 7*l - 3*l = 1324. Let u = s + 343. Does 35 divide u?
False
Let p = 91 - 85. Suppose -p*j + 12*j = 90. Is j a multiple of 10?
False
Let u(i) = 2*i + 74. Let p be u(-14). Suppose 2 = 3*c - 4. Suppose c*t = 42 + p. Is 11 a factor of t?
True
Let z(h) = -5*h**2 + 37*h + 11. Let o be z(8). Is (o/1)/(3/(-24)) a multiple of 8?
True
Suppose 2*q - 11 = -5*t - 1, -2*t - 25 = -5*q. Let c be (21/35 + 2/q)*1. Does 18 divide -2*c + -22*16/(-8)?
False
Is 1/(-8) + -74*2779/(-112) a multiple of 9?
True
Let d = -3947 + 8326. Is 29 a factor of d?
True
Let c(s) = -2*s**2 - 66*s + 13. Is c(-9) a multiple of 4?
False
Suppose 12 - 18 = -3*n. Suppose -n*o + 5*v + 2430 = 288, 4*v + 8 = 0. Suppose -h + 5*c + 257 = 0, 3*h - 5*c + 315 = o. Does 13 divide h?
True
Let x = 1577 + 1652. Is x a multiple of 40?
False
Let l(h) = 5*h**2 + 3*h - 6. Let p(f) = f**3 - 6*f**2 + 7. Let w be p(6). Let n be l(w). Suppose 3*a = -5*m + 190, 4*a + 4*m = -m + n. Is a a multiple of 7?
True
Is 5 a factor of ((-2304)/512)/((-12)/15682) - 2/(-8)?
False
Let q(s) = -202*s - 283. Does 23 divide q(-17)?
True
Suppose 5 = 3*d + 3*z - 4, -3*z = 5*d - 23. Let q(o) = o**3 - 4*o**2 - 22*o + 6. Let g be q(d). Is (6/4 + -4)/(g/10) a multiple of 5?
True
Suppose 3*i = -5*u + 2421, -2*u + i + 968 = 2*i. Suppose 16*p = 17*p - u. Is 23 a factor of p?
True
Suppose 5*x + k = 24 - 3, -3*k = -4*x + 13. Suppose -x*u + 181 = -347. Is 22 a factor of u?
True
Suppose -f + 123*k + 3756 = 118*k, -3*f + 4*k + 11290 = 0. Does 14 divide f?
True
Let n(y) be the second derivative of -10/3*y**3 + 0 - 39*y + 4*y**2. Does 36 divide n(-5)?
True
Suppose -28*y + 104250 + 40426 = 6300. Is y a multiple of 14?
True
Let n(q) be the third derivative of -7*q**6/120 + q**5/30 + q**4/24 + 29*q**2. Let o be n(-1). Suppose 0 = -o*p + 5*p + 144. Is p a multiple of 8?
True
Let t(q) = 7*q**2 - 2 - q**3 - q + 0*q**3 - 10*q**2. Let z be 1 - -2 - (-3 + 10). Is 6 a factor of t(z)?
True
Suppose 1579 - 3843 = -7*v + 13528. Is v a multiple of 6?
True
Let i(g) = g**2 + g - 27. Let h be i(5). Suppose -29 + 7 = -w - h*c, 5*c - 22 = -w. Is 6 a factor of w?
False
Let o be 3 - (7 - (-32 - 6)). Is 8/(-56) - 14496/o a multiple of 15?
True
Let o = -692 + 694. Suppose -o*q = q - 846. Is 47 a factor of q?
True
Let p(n) = 50*n - 92. Let u be p(-4). Let w = -172 - u. Is 20 a factor of w?
True
Let w = -603 - -743. Is 15 a factor of (-13)/(26/w)*-6?
True
Let v(i) be the third derivative of 0*i + 0 - i**2 + 1/3*i**3 - 43/12*i**4. Does 14 divide v(-1)?
False
Suppose 11*w - 15 = 10*w + h, 5*w - 85 = 3*h. Does 5 divide ((-72)/w - -4)*375?
True
Let q be (3 + 1*-8)/((-6)/(-12)). Let h be -4*(q + 5 - -4). Suppose -5*f + h*g = -836, 0 = 3*f - 0*g - 4*g - 500. Is f a multiple of 12?
True
Suppose -10*l + 6*l - i + 60768 = 0, 24 = 3*i. Is 31 a factor of l?
True
Let t = -69291 + 98323. Does 160 divide t?
False
Let y(v) = v - 1. Let b be y(5). Let k(f) = 1 + 186*f**2 - b*f - 7 + 9*f + 88*f**2. Does 13 divide k(1)?
True
Let y(v) = 4*v - 85. Let d be y(23). Let b(p) = 30*p + 46. Is b(d) a multiple of 16?
True
Let v be 2/(-9) + (-12)/(-54). Suppose 2*r - 191 - 413 = v. Is r a multiple of 19?
False
Let x be (-2)/11 - 540/55. Let y(s) = 3*s - s + 2*s + 3*s**2 - 11 + 8*s. Does 15 divide y(x)?
False
Let i(f) = 65*f - 185. Let b(r) = -32*r + 93. Let l(u) = 13*b(u) + 6*i(u). Is l(-13) a multiple of 49?
False
Let h = 7397 + -6280. Does 11 divide h?
False
Suppose 0 = r + 3 + 2, 0 = 5*y - 4*r - 55. Suppose -y*d - 2*u + 1095 = -5*u, -5*d + 777 = 3*u. Does 5 divide d?
False
Let a(y) = 18*y**2 + 2*y - 12. Let q be a(6). Suppose 14*p = 18*p - q. Does 27 divide p?
True
Let g = -6501 - -9369. Is 12 a factor of g?
True
Let q = -1903 - -22210. Does 134 divide q?
False
Let a be 824*(-1)/2 - (-6 - -2). Let o = 479 + a. Is 4 a factor of o?
False
Let g = -57 + 63. Suppose g + 31 = r. Suppose 0 = 2*h - 265 - r. Does 22 divide h?
False
Suppose 0 = -14*d + 12*d + 3*l + 24960, 0 = -3*l. Is d a multiple of 96?
True
Let u be 54/16 + -3 + 15/(-40). Suppose u = -7*x + 3994 - 529. Does 15 divide x?
True
Let m(y) = -28*y**2 - 13*y - 111. Let s(t) = 13*t**2 + 6*t + 55. Let x(d) = 6*m(d) + 13*s(d). Is x(-7) a multiple of 49?
True
Is (-4)/4 + 5*147 a multiple of 38?
False
Suppose -5*b + 63 = -3*l + 3, -85 = -4*b - 5*l. Let p be 3/(b/(-3665)) + -4. Let f = -336 - p. Is f a multiple of 53?
False
Suppose -3*t + k + 18 = 0, t + 13 = 5*k + 33. Suppose 0 = 2*p + 5*l - 2672, 5*p - 6614 = t*l - l. Does 38 divide p?
False
Suppose 3*d = 7*d - 44. Let u = 36 + d. Let n = 33 + u. Does 10 divide n?
True
Let w be ((-64)/10)/4*(-31 + 6). Let y = 43 - w. Suppose 0 = -y*c - 2*n + 136 + 158, 4*c + 5*n - 392 = 0. Does 16 divide c?
False
Suppose 2*l - 7*z + 6*z + 28 = 0, 5*l + 64 = 4*z. Let x be 76/l + -1*(-1)/(-4). Let q(g) = -42*g - 23. Does 12 divide q(x)?
False
Suppose -31*i + 32*i = -2*s + 4651, 2*i + 6 = 0. Does 51 divide s?
False
Let y(b) = -783 + 783 + 108*b. Let r = -3 + 5. Is 12 a factor of y(r)?
True
Let p(j) = 36*j**2 - 5*j + 16. Let r = 39 + -45. Let w(g) = -7*g**2 + g - 3. Let o(d) = r*p(d) - 33*w(d). Is o(2) a mul