
False
Let j = 195 + -183. Is 3 a factor of 452/j + 4 + (-84)/18?
False
Suppose 30389 - 2638 = i - 4*s, s + 55460 = 2*i. Does 17 divide i?
True
Let v = -482 + 486. Let l be 2*1*9/6. Suppose 2*y - 13 = v*k - l, -4*y + 75 = 3*k. Is y a multiple of 15?
True
Let k = 964 + 921. Is k a multiple of 29?
True
Suppose 0 = 2*s + 481 + 2811. Let c = s - -2893. Is 29 a factor of c?
True
Let h(d) = 198*d - 568. Does 9 divide h(14)?
False
Suppose 4*c = 6*c - 52. Suppose 10 + c = -6*b. Let z(w) = 4*w**2 + w + 27. Is 15 a factor of z(b)?
True
Let q(z) = -51*z - 333. Suppose 34*n = 47*n + 260. Is q(n) a multiple of 32?
False
Suppose -207 = -10*m + 463. Let z be 30/(-2)*(-10)/(-30). Let d = z + m. Is d a multiple of 62?
True
Let m be (-4)/(2/(-303)*1). Suppose 10*j = 4*j + m. Let i = j + -37. Does 32 divide i?
True
Suppose 121 - 101 = 5*q. Suppose q*d - 27 = -x + 101, 5*d = -2*x + 244. Is 16 a factor of x?
True
Let j = -1208 - -4322. Is 39 a factor of j?
False
Suppose -2*r + 2681 = 5*y - 2*y, -2*y + 1791 = 5*r. Let m = y + -626. Is m a multiple of 25?
False
Let v be 14*1*-38*30/35. Let k = -760 - v. Let l = -121 - k. Is l a multiple of 27?
False
Suppose 2*x - 11 = -4*o + o, 26 = 2*x - 2*o. Suppose 3 = -3*m + 3*l, 4*l + 0*l - 10 = 2*m. Let v = x - m. Is 3 a factor of v?
False
Let y(f) be the third derivative of f**5/10 + f**4/4 + 5*f**3/6 - 25*f**2. Let g be y(-3). Is (3 - (-3 - -6)) + -1 + g a multiple of 20?
True
Suppose -13*w = -22*w + 9. Suppose 2*m + 0*m = 4. Suppose 3*c + 4*h - 4 = 21, m*h + w = 3*c. Is c a multiple of 3?
True
Let a be (-1)/(1/(-3)) - (-3 - -2). Suppose a*q - 22 = 3*u, -u + 4*q - 16 = u. Does 37 divide 1216/7 - u/21?
False
Let j = -366 - -531. Suppose 4*a = j - 53. Is 9 a factor of a?
False
Suppose -6 = 4*g - 6*g. Suppose -3*p - 3*s + 19 = -s, 0 = 5*p - g*s. Suppose p*b - 6*b + 102 = 0. Is b a multiple of 17?
True
Let m = 62 - 60. Does 23 divide (-71)/m*(-17)/((-17)/(-2))?
False
Let x(a) = 104*a**2 - 46*a - 185. Does 17 divide x(-9)?
True
Suppose 8*n + 13360 - 34168 = 0. Is 51 a factor of n?
True
Let t = 28123 + -15197. Is 3 a factor of t?
False
Let a = 6862 + -6732. Is a a multiple of 5?
True
Let b = -224 - -1199. Is b a multiple of 13?
True
Suppose 165 = 2*n - 5*j, 0 = -4*n - 5*j + 2*j + 395. Let h = n + -24. Is h a multiple of 2?
False
Does 84 divide 0 + 7 - (2 - 1348)/(18/171)?
False
Let l(d) = 2*d**3 - 27*d**2 + 35*d + 348. Is l(20) a multiple of 142?
True
Let q be 4/(-6) - 96/27*-3. Suppose -96 = -q*h + 9*h. Suppose h*o = 101*o - 290. Does 21 divide o?
False
Let i(c) = 12*c + 164. Suppose 5*u = -19*u - 168. Does 17 divide i(u)?
False
Let a(q) = -42*q - 12 - 47 + 77*q. Is a(8) a multiple of 17?
True
Let y = 25 + -25. Let i(j) = -j**2 - j + 243. Let f be i(y). Suppose f = 3*s - 3*h, s + 5*h = 3*s - 162. Does 9 divide s?
True
Let v be 16*12/(-16)*-1. Let l be 18*6*8/v. Does 19 divide -2 + l + -1 + -1?
False
Let n(u) = -1147*u + 1484. Is 98 a factor of n(-14)?
True
Suppose 42 - 67 = -5*g. Suppose -g*r = -y - 5 - 319, -y - 260 = -4*r. Suppose 0 = 2*m - 3*u - 121, -u = m - 6*u - r. Does 35 divide m?
False
Let h be 116200/150 + (-4)/6. Suppose 3*s + 5*t - 8*t = h, 0 = 4*s - 5*t - 1029. Is 3 a factor of s?
True
Let w = 35294 - 34192. Does 2 divide w?
True
Suppose 0 = 2*i + 3*b + 26, -b - 46 = i + 2*i. Let k = -834 - -728. Let n = i - k. Is 15 a factor of n?
True
Let i(a) = 17*a**3 + 7*a**2 - 3*a + 17. Let g(q) = -8*q**3 - 4*q**2 + q - 8. Let c(p) = 5*g(p) + 3*i(p). Is 29 a factor of c(2)?
False
Suppose -59*h - 38200 + 380260 = -283222. Is 9 a factor of h?
False
Suppose 19820 = 5*c + 4*j, 134*c - 2*j = 133*c + 3950. Is 22 a factor of c?
True
Let y(r) = -251*r - 692. Does 25 divide y(-120)?
False
Let m(a) = 256*a**2 - 7*a - 15. Let d = -89 - -86. Let b be m(d). Suppose 23*k - b = 9*k. Does 22 divide k?
False
Suppose 4*p - 94 = 263*q - 265*q, 5*q + 64 = 3*p. Does 12 divide p?
False
Suppose -5*f + 4*k = -71065, -5*f - 33407 = k - 104497. Is 12 a factor of f?
False
Suppose -70 = -4*c + 2*u + 40, -2*u = 2. Let q = 48 - c. Is 9 a factor of 1320/q + (-1)/(-7)?
True
Suppose -4065 - 813 = 9*k. Let f = 630 + k. Is 2 a factor of f?
True
Let x(q) = 43*q**2 - 9*q + 545. Does 3 divide x(-17)?
True
Let c be ((-2)/5)/(4/1840). Does 17 divide (-14 - c) + (-1 - (-2 + 1))?
True
Let d(i) = 3*i**3 - i + 1. Let n be d(1). Suppose -n*o + s = 24328, o - 6*o - 40540 = -5*s. Is 8 a factor of o/(-35)*1 - 2/(-7)?
True
Let u(z) = -z**2 - 7*z. Suppose -5*b - f - 29 = 0, 5*b + 3*f + 27 = -0*b. Let y be u(b). Is 124/8 - y/4 a multiple of 7?
True
Let h = 16934 - 2722. Is h a multiple of 68?
True
Let n(y) be the first derivative of -y**4/4 - 8*y**3/3 + 7*y**2/2 - 6*y + 260. Let a be 2*3*45/(-27). Is n(a) a multiple of 31?
True
Let y(f) = -f**3 + 10*f**2 - 8*f - 16. Let h be y(9). Let m(n) = 5*n - 24. Let z be m(h). Is 32 a factor of 5*(-15)/(-25) - z?
False
Let r(l) = 22*l**2 + 1011*l - 29. Does 8 divide r(-54)?
False
Let b = -34 - -230. Is b - ((-6)/(-5))/((-21)/(-70)) a multiple of 22?
False
Let b = -2 + 7. Let c(a) = a**3 - 2*a**2 + 2*a - 1. Let j be c(1). Suppose n = -j*d - b*d + 68, 2*n + 4*d = 160. Is 22 a factor of n?
True
Suppose -15 = 3*s, 7*s = -q + 3*s + 864. Let x = 1316 - q. Does 12 divide x?
True
Does 16 divide (((-600)/18)/(-20))/((-2)/(-5526))?
False
Suppose 0 = u + 3*r - 1438 - 880, -r + 2318 = u. Is u a multiple of 38?
True
Let h be 20/(-15)*99/(-6). Suppose h*u = 3832 + 9654. Is 63 a factor of u?
False
Suppose 2*s = -8, 38*k = 34*k + 5*s + 17584. Is k a multiple of 14?
False
Let n = -59 + 86. Let u = 97 + n. Is u a multiple of 3?
False
Is 18504/10 - (-9)/((-720)/32) a multiple of 71?
False
Let d = 790 - 1469. Let h = d - -720. Is 4 a factor of h?
False
Let t be (-2 - -1) + (4 - 1). Suppose -5*z + a + 160 = -0*a, 76 = t*z + 2*a. Is (z/(-6) + -4)*-4 a multiple of 19?
True
Is 25 a factor of 1 - -6460 - (-222 - -233)?
True
Let o(m) = -m**2 + m + 45. Let t(z) = 2*z**2 - z - 90. Let i(b) = -13*o(b) - 6*t(b). Let y be i(24). Suppose -2*f + y - 71 = 0. Is f a multiple of 14?
False
Let y = 30200 - 16512. Is 236 a factor of y?
True
Let k = -11 + 26. Suppose 0 = 6*t - t + k. Is 7 a factor of (t/((-12)/(-35)))/((-2)/8)?
True
Is 32 a factor of -46 + (-3296)/(-72) - (-527206)/18?
False
Suppose -10 = 2*h + i, -5*h + i - 2 - 16 = 0. Let s(k) be the first derivative of -k**2/2 - k + 216. Is s(h) a multiple of 3?
True
Suppose -5*l = -4*y + 23, -4*l - 38 = -4*y - 2*l. Let p be (-3)/y*2 - 45/(-10). Suppose -5*x = 4*v - 72, -4*x - p*v + 74 - 18 = 0. Is x a multiple of 3?
False
Suppose 6*p + 1026 = -312. Let x = p - -1252. Is x a multiple of 26?
False
Let b(p) = 106*p + 4. Let m be b(2). Let d = m - 101. Let l = d - 72. Does 16 divide l?
False
Suppose -4*j = -6*j + 8. Suppose -2*h + j - 23 = 3*l, 0 = 2*h + 10. Does 34 divide (-2)/6*(-597 + (l - -3))?
False
Let s(m) be the third derivative of -31*m**4/12 - 23*m**3/6 + 42*m**2. Does 9 divide s(-5)?
False
Suppose 0 = -5*d + 3*d + 4*k - 4, -2*k = -2*d. Let u be 4/((-4)/d - (-36)/15). Suppose 3*q + 4*r - 90 = r, 5*r - u = 0. Does 6 divide q?
False
Let g(v) = -v**3 - 11*v**2 + 25*v - 17. Let y be g(-13). Let j(k) = -k**2 - 4*k - 2. Let n be j(y). Is 10 a factor of (-25 + -1)*2*1/n?
False
Let w(h) = 11*h**3 + 2*h**2 + 3*h - 6. Let l(y) = y**3 + 7*y**2 - 17*y - 69. Let c be l(-8). Is w(c) a multiple of 3?
True
Let i = 20 + -15. Suppose -o = -i - 0. Suppose -r + 72 = 2*b, o*r - 264 = -b + 78. Does 17 divide r?
True
Let r = -13989 + 20107. Is r a multiple of 14?
True
Let n = 19 - -2. Let t be (-14)/n*(-195)/1. Suppose -3*f = -68 - t. Is 11 a factor of f?
True
Let i(q) = 7*q + 32. Let r be i(-4). Suppose 37 = s + r*n, -s + n = -6 - 21. Is s a multiple of 29?
True
Suppose -3*o = -5*h + 155, 0 = -h + 3*o + 2*o + 53. Suppose 2861 = 2*l + 3*y, 2*y - 38 = -h. Is l a multiple of 85?
False
Suppose 815 = 9*p + 743. Suppose 4*n - 18 = g + 30, -3*n = -2*g - 31. Let b = p + n. Does 7 divide b?
True
Let c = 27772 - 15521. Is c a multiple of 72?
False
Let z = 9736 - -450. Does 22 divide z?
True
Let z(c) = -c**3 + 4*c**2 - 4*c + 3. Let f be z(2). Suppose f*u - 76 + 25 = 0. Suppose -u - 175 = -2*b. Is 13 a factor of b?
False
Let d(f) be the third derivative of 5*f**4/12 + 14*f**3 + 3*f**2 + 13. Is d(6) a multiple of 12?
True
Let l be 10*((-44)/10 + 4