ose 16*f = 8*f + 16. Suppose 5*q - 15 = 0, -2*q = n*j + f*q - 72. Does 2 divide j?
True
Suppose 0 = 103*s - 133*s + 662550. Does 143 divide s?
False
Let j(a) = 8*a + 3. Let n be (3/6*2 + 1)/(-2). Let b be j(n). Does 9 divide 46 + (0/(-1) - (b - -4))?
False
Is 84 a factor of ((-11115)/228)/((-1)/896*4)?
True
Let s(k) = -k**2 + 21*k. Suppose 0 = -3*w - 2*m - 69, -m = -5*w + 3*m - 137. Let h = w + 38. Is s(h) a multiple of 13?
True
Let v(f) = 746*f + 49. Is v(2) a multiple of 6?
False
Suppose -8*a - 12*a = -8*a - 43572. Does 8 divide a?
False
Suppose 0 = 34*c - 29*c - 25. Suppose -k = -2*q + 7, k = -0*k - c*q + 28. Suppose 0*z + 2*z - 38 = 2*u, 4*u - 43 = -k*z. Does 6 divide z?
False
Let q = 6 - 1. Suppose -13*k - 59 = -709. Suppose 2*t = a + k, t + 5*a - 52 = -q. Does 5 divide t?
False
Suppose 4*u - 10*o = -6*o, 5*o = -5*u - 40. Does 14 divide (-10)/(2/u + 513/1080)?
False
Let m(k) = -3000*k + 3838. Does 11 divide m(-7)?
True
Let h be 3 - -1 - (-4 - -12 - 1). Let a(d) = -32*d - 23. Is a(h) a multiple of 6?
False
Let q = -250 - -258. Suppose 7*c + 534 = 9*c + 3*t, 0 = 2*t - q. Is c a multiple of 9?
True
Let c(v) = 4 + 15*v**3 + 2*v**2 - 2*v - 11*v**3 + 19*v**3. Is c(2) a multiple of 24?
True
Suppose 4*l - 67500 = z, l - 20683 = -5*z - 3808. Does 135 divide l?
True
Suppose -3*u + 454 = -3*x + 2*x, -2*u - 5*x + 280 = 0. Let d be 4/(-26) - u/39. Is 10 a factor of (6 + -1)*(d - -6)?
True
Let x be 21*(-2 - (-21)/9). Suppose -o = x*o - 2448. Does 34 divide o?
True
Suppose 371 + 26286 = 19*s. Is s a multiple of 23?
True
Let j(p) = 15*p**3 + 2*p - 2. Let m be j(1). Suppose 2*k = -7 + m. Suppose 180 - 57 = v - k*t, -4*v + 3*t = -518. Is v a multiple of 31?
False
Let u(p) = 2*p**2 - 5*p + 17. Let i be u(-8). Suppose -h + i = -0*h. Is 5 a factor of h?
True
Does 41 divide (-2 - (-36)/16) + 533940/176?
True
Suppose 84 = 3*g + 324. Let h = -75 - g. Suppose 0 = -5*r - 2*d + h*d + 621, -r = -d - 123. Is 18 a factor of r?
True
Is (2817 - (-11 - -25)) + 8*1 a multiple of 16?
False
Suppose 2*d + 0*d = 6. Let w(s) = -488*s + 973*s - 489*s + 5*s**2. Is 11 a factor of w(d)?
True
Let z(t) = -18*t + 207. Let i be z(13). Does 8 divide (i - -3)/(3 - 648/208)?
True
Let h = 8 - 6. Let l = -109 - -112. Suppose -l = 3*j, -33 = -h*d + 2*j + 17. Is 9 a factor of d?
False
Let t = 72 + -70. Is 40 a factor of 163 - (t - (2 - 3))?
True
Let p = -30 - 6. Let s be (-1)/(-3) - 24/p. Is 35 a factor of ((-44)/2 + s)/(7/(-70))?
True
Is 62 a factor of (-174)/(-1740) + (-135627)/(-30) + -2?
False
Let a(k) = -4*k**2 + 4*k + 8. Let h(w) = -5*w**2 + 5*w + 9. Let v(n) = 6*a(n) - 5*h(n). Let j be v(3). Suppose -4*i = -j*i + 615. Is i a multiple of 10?
False
Let t(s) = -2*s + 23. Let n be t(7). Suppose 11*u - n*u + 5*r - 159 = 0, -u + 5*r = -117. Suppose 0*p + u = 2*p. Is 7 a factor of p?
False
Suppose -5*j - 29586 = 16*t - 20*t, 29550 = 4*t + j. Does 9 divide t?
True
Let o = -1760 - -3509. Is o a multiple of 249?
False
Let l = -1232 + 1240. Let q(w) = -3*w + 13. Let x(k) = k - 6. Let v(i) = -3*q(i) - 7*x(i). Does 8 divide v(l)?
False
Let t be ((-5)/(-2))/((-10)/20). Does 12 divide (-1281)/t - (-12)/15?
False
Suppose m - 3 = 4*m, -42806 = -4*p + 2*m. Suppose -11*r = 2385 - p. Is r a multiple of 42?
True
Let v = -175 + 175. Suppose 3*o = m - 63, -3*m - 3*o + 249 = -v*o. Does 20 divide m?
False
Let r be (-5 + 1258)/7 + -5 + 0. Suppose -3*n + 1402 = 4*u, -3*u - r = 3*n - 1224. Does 11 divide u?
True
Let q(a) = -8*a + 10. Let o be q(-5). Let c = 160 - o. Is 11 a factor of c?
True
Let m = 276 - 274. Suppose -2*c + 11 = -i - 40, -m*c + 5*i = -71. Is c even?
False
Suppose -56 = 10*t - 9*t. Is 2 a factor of (3/(6/2) - t) + 2?
False
Suppose 0 = r - 5*a + 31, 2*r + 37 = 4*a - 7. Is (0 - 1)*(r - -17) - -1280 a multiple of 52?
False
Let m(r) = 374*r - 694. Let p(l) = 249*l - 462. Let s(c) = 5*m(c) - 7*p(c). Is 11 a factor of s(10)?
True
Let i(j) = j**3 - 15*j**2 + 24*j + 10. Let z be i(13). Is 16 a factor of (366 + 1)/(17 + z)?
False
Let a(z) = -1 + 0 + 2 + 139*z**2. Let s be ((-5)/10)/(10/(-5))*4. Is a(s) a multiple of 14?
True
Suppose -6*c = 14*c + 9300. Let t = c + 801. Does 24 divide t?
True
Let v(t) = 12*t + 120. Let o be v(-10). Suppose o = 24*g - 2468 - 6508. Does 5 divide g?
False
Let o(v) = -7*v**3 - 10*v**2 + 8*v**3 - 7 - 3*v**2 + 12 - v. Let r be o(13). Is 30 a factor of 3650/14 + (108/(-14) - r)?
False
Let w(x) be the second derivative of 13*x**6/45 - x**5/30 - 17*x**4/12 - 7*x. Let y(i) be the third derivative of w(i). Does 38 divide y(1)?
False
Let q(n) = -n**3 - 6*n**2 + 8*n + 5. Let u(s) = s**3 + 8*s**2 + 7*s + 13. Let m be u(-6). Suppose -4*l - 3*i - m = l, i + 25 = -3*l. Is q(l) a multiple of 7?
False
Suppose 23*i = 24*i - 1645. Is 11 a factor of -3 - (5 + i/(-7))?
False
Let n = 616 + 852. Is n a multiple of 11?
False
Suppose -136 = 2*h + 4*l, -2*h + 2*l - 128 = -2*l. Let n be h/(-4) + 8/(-16). Let t = n - -40. Is t a multiple of 8?
True
Does 8 divide 132012/66 - (-22)/(-121)?
True
Suppose 0 = 16*j + 44*j - 43*j - 5610. Suppose 328 = -p - p. Let t = j + p. Does 42 divide t?
False
Let o = 124 - -23. Let g = o + 1491. Does 94 divide g?
False
Let d(n) = n**3 - 11*n**2 - 2*n + 13. Suppose 6*m + 51 = 123. Let q be d(m). Is 10 a factor of 442/7 - 19/q?
False
Let v(q) = 6 + 7*q**2 + q**3 + 1 + 9*q + 1. Let j be v(-4). Suppose 4*h - g - 223 = -12, 0 = -4*g + j. Is 7 a factor of h?
False
Let a(d) = 87 + 228 - 223 - d. Is 9 a factor of a(-7)?
True
Suppose -2*d - 3*d = 611 - 12106. Does 17 divide d?
False
Suppose 8603 = 4*k + 5*t, 5*t - 3*t = -3*k + 6454. Does 23 divide k?
False
Suppose 0 = -3*b, 2*h + 5*b = -3*h + 15. Let f(v) = 2*v**3 + v**3 + 14*v**2 - 5*v**2 - 2*v**3 - h*v. Does 21 divide f(-6)?
True
Suppose -7821 - 9679 = -19*m + 2982. Is 41 a factor of m?
False
Let n be (-4 - -2 - 7)*(-17)/51. Suppose 2 = -5*w + 6*c - n*c, -5*c + 14 = -3*w. Is w/(-2) - (3 - 25) a multiple of 7?
True
Suppose -4*g - 8 + 4 = 0. Let w be g/((-20)/16 - -1). Let v(h) = 7*h**2 - 12*h + 9. Is v(w) a multiple of 36?
False
Let i = 286 - 237. Let q = 406 - i. Does 17 divide q?
True
Let u be (-1)/(424/(-428) + 1). Let l = 105 + u. Does 2 divide l - 1 - 208/(-13)?
False
Let g = -14 + 10. Let n be 2 + 11 + (1 - g/(-2)). Suppose n = o + 2*o. Is 2 a factor of o?
True
Let k = -283 + 464. Suppose 0 = -o + m + k + 134, -o = 5*m - 315. Does 11 divide o?
False
Let b be 4/6 + (-35)/3. Let i = -31 - b. Is 20 a factor of ((-236)/i - 3)*(-50)/(-4)?
False
Let p(d) = -26*d + 1375. Is p(-33) a multiple of 7?
True
Let w be 169/104 + (-3)/(-8). Suppose 5*b + w*k = b + 2800, 700 = b - 4*k. Is b a multiple of 35?
True
Suppose 406 = 4*i - 2. Suppose 106*u = i*u + 960. Is 24 a factor of u?
True
Suppose 5*m = -2*w + 41, 0 = 3*w + 3*m - 0*m - 75. Let y = -26 + w. Suppose 0 = -h + y*q + q + 33, 0 = -5*q + 15. Does 19 divide h?
False
Let x be (-400)/(-48) - 1/3. Suppose 7*l + 135 = -x*l. Is ((-120)/l)/(3*8/36) a multiple of 10?
True
Let x(t) = t**2 + 7*t - 1. Let q be x(-8). Suppose -4*a - 4*v + 84 = 0, -4*a + 2*v - q*v + 83 = 0. Suppose -i - i = 2*o - 34, -2*o + a = -2*i. Does 7 divide o?
True
Let f = 614 + -607. Suppose 1750 - 287 = f*x. Is 3 a factor of x?
False
Suppose 22*r - 8*r = 76440. Suppose 5*o = -5*o + r. Does 39 divide o?
True
Is (-41)/164 - -1861*(-4)/(-16) a multiple of 2?
False
Let w(u) = -7*u + 9924. Is 20 a factor of w(72)?
True
Let n be (-18 - -8)*1/(-2). Suppose -6 = -c - n*r + 11, 0 = -2*c + 4*r - 36. Let b(m) = 2*m**2 + 3*m - 8. Does 8 divide b(c)?
True
Suppose 6*a = -a - 4*u + 77186, -5*a = 3*u - 55132. Does 35 divide a?
False
Let a(k) = -111*k - 135. Let u be a(-9). Suppose 16*w + u = 20*w. Is 18 a factor of w?
True
Suppose 11*v = -v + 48. Suppose -3*i - 10 = f, 0 = -v*i + 6*f - 4*f - 10. Let y(t) = 11*t**2 - 2*t + 1. Does 14 divide y(i)?
False
Let s(z) = 645*z + 7018. Does 21 divide s(74)?
False
Suppose k = 3*j + 342, -29*k + 336 = -28*k - 5*j. Is 34 a factor of k?
False
Let t = 0 - -5. Suppose 2*r - y - 1912 = 0, -t*y + 4750 = -r + 6*r. Is r/10 + (-10)/25 a multiple of 19?
True
Let m(k) = -46*k**3 + 32*k**2 + 130*k - 17. Is 158 a factor of m(-5)?
False
Suppose 0 = -4*z + 3*w + 37, z + 16 = -5*w + 31. Suppose 0 = z*l + 5*l - 9420. Is 45 a factor of l?
False
Let z = 18095 - 10675. Is 35 a factor of z?
True
Suppose 5*o - 3