0*s**2 - 20*s - 19. Let n be j(-19). Suppose z - 177 = -4*i - n*z, 3*i + 5*z - 120 = 0. Is i a multiple of 10?
False
Suppose 4*d + 2*a = 3224, -5*d + 4*a = -3788 - 216. Does 4 divide d?
True
Suppose 53 = -5*y - 112. Let t = 111 + y. Does 13 divide t?
True
Let k = 6 - 3. Suppose -620 = k*b - 8*b. Suppose -20*d = -16*d - b. Is d a multiple of 10?
False
Suppose 4*l + 0*z = 2*z + 14, -4*l - 3*z = -9. Is 21 a factor of (1/l)/(4/(-8))*-60?
False
Let c be ((-36)/(-27))/((-6)/(-27)). Is 11 a factor of (2*(-3)/c)/(2/(-86))?
False
Suppose 4*i + 34 = -3*h + 392, 446 = 5*i + 3*h. Does 44 divide i?
True
Is 13/((40/(-584))/(-5)) + -3 a multiple of 22?
True
Let v = 42 + -243. Let s = v + 284. Is 12 a factor of s?
False
Let p(o) = o**2 + 11*o + 10. Let l be p(-11). Let w = l + 48. Suppose w = b + a + 2*a, 3*a + 52 = b. Is 15 a factor of b?
False
Let u = -22 + 61. Let i = u + -16. Is 4 a factor of i?
False
Suppose -4*n = -7*r + 4*r + 6, -4*r + 8 = -2*n. Let y be r*(-3 + 4) + 0. Suppose 47 = y*t - 3*p, 5*t + 2*p + 3*p - 155 = 0. Is 7 a factor of t?
True
Let f(u) = 7*u - 17. Let v(b) = -8*b + 16. Let g(j) = -6*f(j) - 5*v(j). Is g(-15) a multiple of 13?
True
Suppose 0 = 2*a + 11 - 35. Let y be 40/a + 2/3. Does 7 divide y/(-18) - (-764)/36?
True
Let o = 125 + -80. Is 4/(24/o)*(-192)/(-60) a multiple of 2?
True
Suppose -2*j = 4, 5*k - 3*j = 2*j - 580. Let l = k - -205. Suppose 0 = -2*d + 3*z + l, -99 = -2*d + 5*z - 18. Is d a multiple of 12?
True
Let j = 5189 - 3700. Is 31 a factor of j?
False
Suppose 2455 = 4*j - 5*f, 1232 = 2*j - 0*j + 2*f. Let o = j + -272. Does 12 divide o?
False
Suppose 0 = -3*o + 2*u + 489, -26 + 352 = 2*o - 3*u. Let c(q) = q**2 - 33*q - 109. Let l be c(33). Let f = l + o. Does 34 divide f?
False
Is 16 a factor of ((-6)/4)/((-66)/(-220)) - -338?
False
Suppose -5*g - 27 + 7 = 0. Does 13 divide (-784)/(-10) + g/30*3?
True
Suppose -4*p + 85 = 2*q - 295, 0 = -4*q - 2*p + 754. Is q a multiple of 51?
False
Let z(m) = m**3 - m**2 - 3*m - 4. Let b be z(3). Suppose -5*j + 100 = b*t, 5*j - 61 = -4*t + 37. Is j even?
True
Let u be -9*(0 - (-3 + -2)). Let c = -193 + 199. Is 12 a factor of (-2505)/u - 4/c?
False
Suppose 3*s = s. Suppose s*l - l - 50 = p, p - l = -40. Let u = 78 + p. Does 17 divide u?
False
Let q = 389 + -309. Is 4 a factor of q?
True
Let q = -54 + 74. Suppose -l - t + 426 - 92 = 0, q = -4*t. Does 23 divide l?
False
Suppose -5*d = -d + 708. Let j = d - -255. Does 16 divide j?
False
Is 2/(-14) - (-12355)/49 a multiple of 15?
False
Does 50 divide -7 - (9 - 13) - -1*317?
False
Suppose h - 2*h = -243. Let u(j) = -j**2 + 19*j + 2. Let g be u(0). Suppose 3*k = -5*n + 223, -2*n - g*k - h = -7*n. Is n a multiple of 24?
False
Let a be 6/21 + (-2)/7. Suppose -y + 3*y - 54 = a. Does 25 divide y?
False
Is 8 a factor of (980/30 - 6)/(6/117)?
True
Suppose 5 = -3*i + 20. Suppose -4*a = -i*s - 42, 0 = 2*s - 0*a + 2*a + 6. Is s/4*(-412)/6 a multiple of 38?
False
Suppose -z - 3*z = -2*x, 0 = 3*x - 5*z - 5. Is 28/((-7)/14 + x/12) a multiple of 20?
False
Let d = 30 + -27. Suppose -5*q + 312 = 3*l, -d*l + 0*q - q = -300. Does 14 divide l?
False
Suppose -61*w = -93*w + 84224. Does 28 divide w?
True
Suppose 2*i + 16*o = 14*o + 10, -2*i - o + 13 = 0. Is i a multiple of 8?
True
Let i(b) = b + 3 - 2*b + 4 + 6*b. Does 21 divide i(15)?
False
Suppose z = -3*t + 4 + 11, 0 = 2*t + 4*z. Let s = t - -12. Does 5 divide s?
False
Let p be (0 - -1)*(6 + -3). Suppose -12 = -6*q + p*q. Suppose 0 = -3*r - 2*z + 14 + 86, 0 = -2*r + q*z + 72. Does 17 divide r?
True
Let j(t) = 120*t**2 - 63*t + 129. Does 17 divide j(2)?
False
Suppose 5*r + 85 = -0*r. Let j = r - -21. Is 8 a factor of (3/j)/((-1)/(-60))?
False
Let t = -16 - -21. Suppose 30 = l + i, -i = -t*l + 4*l + 36. Does 17 divide l?
False
Is 4305/(-2)*(-2)/3 a multiple of 5?
True
Let h = 2416 - 1581. Is h a multiple of 2?
False
Let c(a) = -7*a**2 + 10*a + 16. Let r(t) = t**2 + t - 1. Let k be (6/5)/(4/20). Let f(n) = k*r(n) + c(n). Does 2 divide f(16)?
True
Let v = 340 + 483. Does 9 divide v?
False
Is 28 a factor of (4 - -25)/((-1)/(-3))?
False
Suppose 20*r - 2640 = 16*r. Does 37 divide r?
False
Let y(o) = -5*o + 8. Let k(s) = s**3 + 4*s**2 + 2*s + 4. Let t be (5 + (-3 - -2))/(-1). Let c be k(t). Does 12 divide y(c)?
False
Let i = -6 + -5. Let b(l) = 3*l**3 + 10*l**2 - 12*l + 3. Let y(t) = -13*t**3 - 40*t**2 + 49*t - 12. Let n(a) = -9*b(a) - 2*y(a). Is 8 a factor of n(i)?
True
Suppose -10*l + 10 = -5*l. Suppose -5*i - l*a - 21 = 0, 4 = 3*i + 2*a + 19. Is 2 a factor of (4 + i)*6/3?
True
Let g(z) = 3*z**3 - z**2 - 66*z - 17. Is g(7) a multiple of 13?
False
Let x(l) = l**3 + 10*l**2 + 23. Let b be x(-10). Suppose y + y - 19 = 5*o, -4*y + b = -5*o. Suppose 3*a + 150 = 3*n, 0 = -n - y*a - a + 30. Does 9 divide n?
True
Suppose -132 = -29*k + 27*k. Suppose 3*v + v = 0. Is 11 a factor of (-1)/((-3)/k) + v?
True
Let k(c) = c**3 - 2*c**2 - 4*c - 3. Let j be 12/9*3/(-1). Let t be k(j). Let r = t - -128. Is r a multiple of 24?
False
Suppose 670 = -3*y - 5*i, y + 137 = -3*i - 81. Let u = -87 - y. Is 13 a factor of u?
True
Suppose w = 6*w + 4*r - 31, 8 = 2*r. Let p be 21 - w/((-6)/(-2)). Is 8 a factor of (p - 1) + (-3)/1?
True
Let j be 2/(-14) + (-215)/(-35). Let m(r) = r**3 - 7*r**2 + 10*r + 14. Does 8 divide m(j)?
False
Let o = 8 - 11. Suppose -a + 3*a = -2*u - 2, -4*a = 3*u - 1. Is (a/o)/(4/(-6)) a multiple of 2?
True
Suppose 0 = -0*i + 3*i + 4*q - 1043, q + 336 = i. Is i a multiple of 11?
True
Let d(v) = v**2 - 2*v + 2. Let x be d(0). Suppose 0*r = -4*j + x*r + 650, -3*r = j - 173. Is j a multiple of 41?
True
Let w = -129 + 584. Let l = w + -315. Is l a multiple of 28?
True
Let d(k) = 18*k - 5*k - 2 + 0*k. Is d(2) a multiple of 5?
False
Let v be -2*(-4)/(-4) - -63. Let a = -29 + v. Does 22 divide a?
False
Suppose 11*t - 2 = -2. Is t + (-4)/(-20) + 919/5 a multiple of 21?
False
Suppose 0 = -3*l + 1137 - 63. Is l a multiple of 11?
False
Let h be (2 - -25) + 6 + -6. Suppose -h*l - 755 = -32*l. Is 11 a factor of l?
False
Let a = 17 + -17. Let d = a - -14. Does 14 divide d?
True
Let g(k) = -2*k - 15. Let m(n) = 2*n - 1. Let r be m(-5). Let f be g(r). Suppose 2*p = f*p - 225. Is 14 a factor of p?
False
Suppose h - 7 + 0 = g, -15 = 5*g. Suppose s + 0 = h. Does 4 divide s?
True
Let c(k) = 2*k - 3. Let n be c(4). Let j = n - 2. Suppose 8*y - 3*z - 65 = 4*y, 5*y = -j*z + 115. Does 17 divide y?
False
Let g = -3 - -7. Let p be (-1)/g - (-5607)/28. Is 18 a factor of ((-3)/(-2))/(6/p)?
False
Is 87 a factor of ((-10491)/(-13) + 4)*(0 + 1)?
False
Let h = -19 - -58. Let p = 66 - h. Is 4 a factor of p?
False
Let v be 4 + 3 + 12/(-4). Suppose 0 = 5*s - b - 125, 2*s - v*s + 5*b + 73 = 0. Let k = s + -15. Is k a multiple of 6?
False
Let n = -135 - -40. Let j be (-10)/(-6)*1*-87. Let v = n - j. Is 13 a factor of v?
False
Let i(x) = 2*x - 62. Let g be i(-14). Let c = g + 167. Is 6 a factor of c?
False
Let a = -957 - -1501. Is 32 a factor of a?
True
Let b be (-12)/(-8)*(-1 + 65). Suppose -7*c - r + 118 = -3*c, 0 = 3*c - 3*r - b. Is c a multiple of 15?
True
Let o(r) = -r**3 - 9*r**2 + 11*r + 11. Let y(j) = j**3 + 2*j**2 - 7*j - 6. Let k be y(-4). Let h be o(k). Is (3 - h) + 177/3 a multiple of 17?
False
Suppose 0 = -6*c + 3365 + 2797. Let j = c + -684. Does 22 divide j?
False
Let d(t) be the second derivative of 9*t**3/2 + t**2 - 10*t. Let l be d(1). Suppose -167 = -3*b - 4*q, -2*b + 81 = 4*q - l. Is b a multiple of 19?
True
Let q(s) = s**2 - 4*s + 3. Let w be q(3). Suppose 5*c + 25 = 3*m, 5*m + w*m - 2*c = 29. Suppose -4*x - 20 = -5*x + m*l, 4*x - 3*l - 165 = 0. Does 9 divide x?
True
Let m(a) = -a**2 - 8*a + 22. Let b be m(-10). Suppose 0 = -b*w - w - 3*h + 12, -14 = -w + 4*h. Does 6 divide w?
True
Is 22 a factor of (-45 - -302) + 2/(4/(-10))?
False
Suppose t + 6 = 4*t. Suppose 2*h - t*c = -24, 5*h + 84 = -0*h - 3*c. Let y = 43 + h. Is y a multiple of 7?
True
Let d be -4 + 0 - (2 - 8). Is 8 a factor of (-52)/((-2)/1) - d?
True
Let k(i) = -149*i - 142. Is 10 a factor of k(-18)?
True
Let b = 261 + -165. Does 16 divide b?
True
Let y = 11 + -2. Let b be (15/y - -3)*3. Suppose o - b = 7. Is o a multiple of 9?
False
Suppose -28*x - 536 = -30*x. Let y = 444 - x. Is 11 a factor of y?
True
Let y = 3164 - 1580. Is y a multiple of 12?
True
Suppose 0 = -52*g + 53*g - 