 2. Suppose -j = 5*i - 18. Is i even?
False
Let z(k) = k**3 + 35*k**2 - 84*k + 22. Is 16 a factor of z(-36)?
False
Let k(z) = -35*z + 184. Is 9 a factor of k(-13)?
True
Suppose 3*n = 4*z - 144, 0 = 5*n + 2*z - 33 + 247. Let q = 10 - n. Is 9 a factor of q?
True
Let l = -443 - -518. Does 8 divide l?
False
Suppose -24 - 31 = 4*u + 5*i, -2*u = -2*i + 32. Let c = u - -87. Let o = c + -33. Does 13 divide o?
True
Let j(a) = 338*a - 3. Let m be j(-1). Let v = 477 + m. Is v a multiple of 34?
True
Suppose 274 = 36*c - 35*c. Does 43 divide c?
False
Suppose 3*h - 4*h + 1809 = 2*b, 2*b - 1812 = 2*h. Is 39 a factor of b?
False
Let t = 8 - 11. Let c be t - 0 - 7/(-7). Is 17 a factor of (11/c)/(1/(-14))?
False
Let w(t) = 6*t**3 + 3*t**3 + t - 8*t**3 - 4*t**2 - 4. Let i be w(4). Suppose i = -3*p + 10 + 80. Is p a multiple of 15?
True
Let f be 2*(5868/8)/9. Let s = 53 + f. Does 36 divide s?
True
Let q(w) = 22*w**2 + 2*w + 3. Does 19 divide q(2)?
True
Let o(a) = -6*a + 23*a**3 - 3 + 3*a + a + 4. Suppose -z - 2*k = 7, -4*z + 16*k = 20*k + 12. Does 5 divide o(z)?
False
Let i be ((-12)/(-8))/(3/(-234)). Is 13 a factor of (-48)/(-18)*i/(-4)?
True
Is (100/(-15))/(2/(-192)) a multiple of 32?
True
Suppose 4*f = -5 - 11. Let z(k) = -3*k**2 + 3*k - 4. Let j(i) = i. Let a(n) = 4*j(n) - z(n). Is a(f) a multiple of 10?
False
Let o = -4 - -7. Suppose -27 = 3*q - 0*q - 5*s, -4*q - o*s = 7. Does 9 divide -3*(4/4 + q)?
True
Suppose 2 + 8 = 2*r. Suppose -3*v + 488 = r*v. Does 24 divide v?
False
Let g be 2/(-4) + 33/6. Suppose -z = g*c - 20, -4*z + 2*z + 26 = 3*c. Let r = 10 + z. Is r a multiple of 5?
True
Suppose -3*n + 1458 = -s + 133, -n + 433 = 4*s. Is n a multiple of 49?
True
Let n(r) = -r**3 + 2*r**2 - 5*r - 10. Let j be n(6). Let q = j - -295. Is q a multiple of 32?
False
Suppose 964 - 10762 = -23*y. Is y a multiple of 11?
False
Let b(q) be the first derivative of q**4/4 - 7*q**3/3 + 7*q**2/2 + 2*q + 9. Let o be b(6). Is (-668)/(-52) + o/52 a multiple of 13?
True
Suppose 4*j + 2*h + 280 = 0, -2*j - 4*h = h + 140. Let p = j + 74. Is p a multiple of 4?
True
Suppose -8 = 5*v - 7*v. Suppose 0 = -v*j - 3*a + 17 + 14, -5*j - 2*a = -30. Is 2 a factor of j?
True
Suppose -f = 5*j + 7, -4*f - j - 8 = 1. Let l be (-522)/27 - f/6. Let g = 8 - l. Does 13 divide g?
False
Let w(d) = d**3 - 8*d**2 - 8*d - 9. Let u be w(9). Suppose -6 = -u*m - 3*m. Suppose m*x = -13 + 135. Does 15 divide x?
False
Suppose 3340 = 14*w - 11*w + 2*d, d = -5*w + 5569. Does 19 divide w?
False
Suppose -915 = -4*o - 3*c, -5*c + 925 = 4*o - 0*c. Is 25 a factor of o?
True
Let n(c) = -c**3 - 5*c**2 - c - 2. Let p be n(-5). Let z = -368 - -613. Suppose -5*r = p*f - 438, -225 = -5*r + 5*f + z. Does 29 divide r?
False
Suppose -o + 9 = q - 22, 4 = q. Is o a multiple of 2?
False
Let k be ((-40)/(-15))/(2/3). Suppose -k*c - 4*p = -184, -4*c = -4*p + 108 - 284. Does 5 divide c?
True
Suppose 2*i + 6 = 5*i. Suppose 0 = -n + 2 + i, -4*n = 2*a - 296. Is a a multiple of 10?
True
Suppose 13330 = 10*m + 33*m. Is 10 a factor of m?
True
Suppose 4993 = 3*g + 5*q, -6 = 4*q + 10. Does 15 divide g?
False
Suppose -15 = -o - 2*h, -12 = -5*h + 2*h. Suppose -o*y + 1142 = 134. Does 24 divide y?
True
Let v(f) = -f**2 + 18*f - 8. Let l be v(6). Suppose 67 = 3*x - 4*z, -3*x - z + l = x. Is x a multiple of 17?
True
Let t(q) be the first derivative of -1/4*q**4 + 7*q + 0*q**2 + 2*q**3 - 7. Is t(5) a multiple of 11?
False
Is 2 a factor of (-2)/5*((-435)/6 - 0)?
False
Let c = 11667 + -4752. Does 16 divide c?
False
Let y = -17 - -21. Suppose -y*w = 5*j + 80, 0 = 4*j - 5*w + 2*w + 33. Let x(z) = -2*z - 1. Is 23 a factor of x(j)?
True
Let r(a) = -170*a**2 - 6*a + 2. Let u(y) = 169*y**2 + 5*y - 1. Let b(f) = 2*r(f) + 3*u(f). Is 23 a factor of b(-1)?
False
Let s(g) = g**3 + 30*g**2 - 9*g - 41. Is s(-30) a multiple of 21?
False
Let m = -283 + 1435. Let v be (m/(-10) + -4)*5. Does 10 divide (-8)/12 + v/(-12)?
False
Let g = 719 - 230. Does 37 divide g?
False
Let s = 35 - 36. Does 16 divide (3 - (s + 3)) + 95?
True
Let h = -430 + 726. Does 37 divide h?
True
Suppose -6*i = -2*i + 4*x - 48, -i - 3*x + 22 = 0. Suppose 588 = i*t - 0*t. Does 13 divide t?
False
Let v(y) = 5*y**3 - 13*y**2 - 3*y - 14. Let a(c) = -3*c**2 + 1 + 4*c**2 + 3*c - 2*c - c**3 + 0*c. Let n(h) = -6*a(h) - v(h). Does 18 divide n(-7)?
False
Suppose 86*u + 1700 = 96*u. Does 85 divide u?
True
Let r be (1 - 2)/((-2)/4). Let t(g) = -g + 7 - 2 - g**r + 8*g. Does 4 divide t(5)?
False
Suppose -92 + 17 = -15*v. Suppose v*h - 193 + 13 = 0. Is 4 a factor of h?
True
Suppose 2*f + 5*n - 433 - 52 = 0, 3*f - 744 = -2*n. Does 20 divide f?
False
Let y = 678 - 418. Let w = -120 + y. Suppose 3*u - 4*l = 263, 2*u - 3*l - 36 = w. Is 17 a factor of u?
True
Let v = -9 + 14. Suppose -2*q + 4*x = 4, -q - 5*x - v + 3 = 0. Let u = q + 31. Is u a multiple of 29?
True
Suppose 44 = -4*n + 40. Is 44 + n*(-1 - (-6)/(-2)) a multiple of 8?
True
Let w(b) = -b + 13. Let h be w(8). Suppose -h*o = -3 - 87. Does 9 divide o?
True
Let f(z) = -z**3 + 14*z**2 - 17*z - 14. Let d be f(6). Suppose -11*i = -15*i + d. Is 5 a factor of i?
False
Let o = -322 - -91. Suppose 3 = -3*y - 9, -5*k + 2*y + 1813 = 0. Let t = o + k. Does 26 divide t?
True
Suppose 36*s - 28200 - 31776 = 0. Is 98 a factor of s?
True
Is 158/(1*5/20) a multiple of 26?
False
Let k(n) = 5*n - 5. Let i be k(1). Suppose i = 3*d - 210 - 6. Does 24 divide d?
True
Let o = -1 + 17. Suppose -o + 21 = r. Is 2 a factor of r?
False
Suppose 8*v - 12*v + 1512 = 0. Does 42 divide v?
True
Suppose -3*h = -5*c - 2*h + 207, 5*h - 154 = -4*c. Suppose 2*u - c = 7. Is u a multiple of 3?
True
Let k(y) = 5*y**3 - 28*y**2 + 28*y**2. Let s be k(2). Suppose -3*d + s = 4*a - 16, -5*a + 3*d = -70. Is a a multiple of 9?
False
Let h be (9 - 12) + (6 - -1). Suppose i + 2*i = -h*a + 26, 2*a = i + 18. Suppose -4*r + a*r = 44. Is r a multiple of 11?
True
Let a(r) = 6*r**3 - 8*r + 5. Let o(z) = -5*z**3 + 7*z - 4. Let l(c) = -6*a(c) - 7*o(c). Is 7 a factor of l(-3)?
True
Let o(g) = g. Let h(j) = -9*j - 5. Let u(a) = -h(a) - 2*o(a). Let y be u(2). Suppose 90 = 20*c - y*c. Is 14 a factor of c?
False
Let s(l) = 93*l - 3. Let q be s(1). Does 18 divide (q/25)/(2/20)?
True
Suppose -17618 = -18*m - 5*m. Does 3 divide m?
False
Let p = -1361 + 2087. Is p a multiple of 22?
True
Suppose 2*j - 125 = -3*j. Let g = 29 - j. Suppose 64 = g*p - 92. Is p a multiple of 13?
True
Suppose -12*l + 30 = -4146. Does 16 divide l?
False
Suppose 35 = 3*r + 4*r. Suppose -r*z + 270 = 5*u, u - 5*u = -2*z + 120. Suppose z = 5*f - 219. Is 11 a factor of f?
True
Let l be (-4)/(12/5)*15/5. Does 3 divide 1/l + (-96)/(-5) + -5?
False
Let n = 1451 + 1380. Does 19 divide n?
True
Let s(u) = u**2 - 7*u - 34. Is 18 a factor of s(19)?
False
Suppose 0 = -4*k + 28 - 4. Suppose 9*l - 12 = k*l. Suppose l*m - 45 = m. Does 5 divide m?
True
Let x = -269 - -907. Is x a multiple of 29?
True
Suppose -h + 7*r + 9 = 5*r, -5*r = 5*h - 15. Is 3 a factor of h?
False
Let o(n) = -2*n + 22. Let t be o(10). Suppose 5*l - t*w + 3*w = 107, 0 = -3*l + 4*w + 78. Is l a multiple of 15?
False
Suppose r - 19 = -0*r + 4*d, 0 = 5*r + 3*d + 20. Does 11 divide (r - 123/(-1)) + (31 - 28)?
False
Let w be 1*(-3 + 2) - 3. Let p = 148 - w. Suppose h = 3*b - 4*h - p, 56 = b - 3*h. Does 8 divide b?
False
Suppose 37 = -s + 5. Let b be s/(-10)*(41 + -1). Is 7 a factor of (-4)/14 - b/(-7)?
False
Suppose -2*z + 782 = 3*n, 807 = 3*n + 3*z - 6*z. Is n a multiple of 12?
True
Let l be 10/5*-1 - -30. Let j = l + 23. Does 12 divide j?
False
Let v(r) = 56*r - 585. Is v(62) a multiple of 12?
False
Suppose -4*f = 5*t - 290, f - 102 = 4*t - 334. Is t a multiple of 5?
False
Let x(h) = -h**2 - 11*h - 12. Let j(l) = l**3 - 10*l**2 - 11*l - 8. Suppose 5*r = -15, -11 = -3*c - 5*r + 7. Let s be j(c). Is 4 a factor of x(s)?
True
Does 16 divide 12 - (-443)/(-1)*-1?
False
Let k(t) = -t**2 + 15*t - 29. Let a be k(12). Suppose a*d - 8*d + 90 = 0. Is 37 a factor of d?
False
Suppose 0 = -4*b + 8 - 0. Suppose -b*d = w + w - 646, 1609 = 5*d - w. Is 18 a factor of d/6 + 4/12?
True
Suppose 13*a - 24804 - 19851 = 0. Is 37 a factor of a?
False
Is 81 a factor of 48/(-84) + (-238392)/(-98)?
False
Suppose -19 = 5*d - 69. Is (d + 576/(-45))/((-2)/110) a multiple of 16?
False
Suppose -5*p + 0*p + 4*g + 31 = 0, 5*g + 