ose 0 = -4*p + p - 2*l - 2, 0 = -l - 4. Let u be p/(-12) - (-26)/12. Let c = u + 11. Is c a multiple of 5?
False
Let l(v) = 24*v**2 - 4*v. Is 19 a factor of l(-3)?
True
Let v(r) = r**2 + 4*r + 7. Let n be v(-7). Suppose 0 = 4*p + n - 200. Is 18 a factor of p?
False
Let a(p) = -p**3 - 5*p**2 + p - 23. Is 17 a factor of a(-7)?
True
Let c = -13 + 11. Let z = 8 + c. Does 3 divide z?
True
Let u(p) = -2*p + 5. Let w be u(0). Suppose -4*z = c - 196, 0*z - z - w*c = -30. Does 14 divide z?
False
Suppose -2*u + 80 = 4. Is u even?
True
Does 14 divide (-973)/(-35) - (-1)/5?
True
Suppose 4*r - 17 - 45 = 2*k, 5*k = r - 182. Suppose 80 = 2*g - 36. Let w = g + k. Is w a multiple of 7?
True
Let q = -3 - 1. Is 4 a factor of ((-6)/q - 3)*-4?
False
Let y(l) = 3*l**2 + 8*l - 48. Is y(-11) a multiple of 10?
False
Let m be 46/(-2) - 0/1. Let y be (m - -9)/(4/18). Is -3*7/(y/30) a multiple of 10?
True
Suppose -2*p + 3*a + 4 = 0, 3*p - 4 = 3*a + a. Let c be (2 + (p - -2))/3. Suppose -3*g + 21 = -c. Is g a multiple of 7?
True
Suppose 0 = -11*f + 1680 - 151. Does 35 divide f?
False
Let q(j) = 3*j**2 - 2*j + 3. Let g be q(-5). Let p = -52 + g. Does 16 divide p?
False
Let z(o) be the second derivative of 7/6*o**3 + 0 - 3/2*o**2 + 2*o + 1/12*o**4. Does 21 divide z(-12)?
False
Suppose 6*r - 944 = -284. Is 7 a factor of r?
False
Let t(q) = q**3 - 4 - 5*q**2 + q**2 - 2 - 3*q. Let u be t(5). Suppose -u*f + f = -75. Does 7 divide f?
False
Let c = 18 + -5. Is c a multiple of 5?
False
Suppose 0*h + 2*h - 4*y = 0, -3*y = -5*h + 14. Suppose 2*s + 2 = h*a, 5*a - s = s + 5. Suppose -a*l = -33 - 6. Does 8 divide l?
False
Suppose s = -0*s. Suppose f + s*f = 50. Does 25 divide f?
True
Let w(v) = -5*v + 15. Is w(-9) a multiple of 16?
False
Let f(d) = -2*d**3 - 8*d**2 - 2 + 2*d + 2*d - 2*d + 3*d**3. Does 13 divide f(8)?
False
Suppose 0*b - 20 = 5*b. Let c(j) = -j**3 - 4*j**2 - 5*j - 6. Let v be c(b). Let k = 34 - v. Does 6 divide k?
False
Suppose 4*w = 2*w + 4. Let o be -4*-1*(-1)/w. Let j = o + 7. Is j a multiple of 2?
False
Let g = 4 + -5. Let h be (g*6)/(-3) + 0. Suppose -3 = 2*o + 1, h*l + 2*o - 66 = 0. Is 15 a factor of l?
False
Let x(o) = 2*o + 15. Let g be x(-13). Is (-3 + 1 + 1)*g a multiple of 5?
False
Let j = -438 - -738. Is j a multiple of 12?
True
Suppose 2*t + 36 = -4*n + 5*t, 8 = -n + t. Does 18 divide (-250)/(-7) - n/42?
True
Suppose -30*j = -34*j + 368. Does 17 divide j?
False
Let t be 46/4 + 2/(-4). Suppose 38 - t = a. Is a a multiple of 15?
False
Suppose -27 = w + 15. Let m = -15 - w. Does 9 divide m?
True
Let o = -147 - -104. Let m = -23 - -87. Let u = m + o. Is 11 a factor of u?
False
Suppose -4*y + 6*y - 242 = 0. Is y a multiple of 25?
False
Let r(k) be the second derivative of 0 - 1/6*k**3 + 2*k + 1/6*k**4 + 0*k**2 + 11/5*k**5. Is 15 a factor of r(1)?
True
Suppose 4*p = -2*w + 163 - 9, -2*w = -3*p + 126. Does 29 divide p?
False
Let s(q) be the second derivative of -q**5/20 + 7*q**4/12 + q**3/2 + 5*q**2/2 - 3*q. Is s(7) a multiple of 9?
False
Is (13 - 8)*24/10 even?
True
Let j(o) = o**2 - 4*o + 6. Let i be j(5). Let b = i + 26. Is 11 a factor of b?
False
Suppose 0 = 4*g - 56 - 376. Let j = -76 + g. Is 11 a factor of j?
False
Is 66/(2/1) + -4 a multiple of 10?
False
Is (-2)/(5 + 1) - (-1815)/45 a multiple of 7?
False
Suppose -5*n + 4*r + 103 = 2*r, 3*n - 4*r - 73 = 0. Is 17 a factor of n?
False
Suppose -3*a + 131 + 202 = 0. Let h = a - 75. Is h a multiple of 13?
False
Let i(l) = -l**3 - 2*l**2 + 1. Let q be i(-1). Let n = q - -3. Does 3 divide n?
True
Suppose -12 + 2 = 2*y. Suppose -q + 68 = q. Let a = y + q. Is a a multiple of 10?
False
Suppose -4*w = 0, -w = -a - 2 - 2. Let x(k) be the second derivative of -k**5/20 - k**4/12 + 2*k**3/3 - 2*k. Does 16 divide x(a)?
True
Let i(t) = 258*t**2 - 1. Let p be i(1). Suppose 92 - p = 5*m. Let l = m - -63. Is l a multiple of 15?
True
Suppose 8 = -3*g + 17. Suppose g*m - 80 = 2*m. Let d = m + -46. Is d a multiple of 17?
True
Let v = 58 + -29. Is 5 a factor of v?
False
Suppose -4*j + 802 = -2*n, 0*j + j - 3*n - 213 = 0. Is j/10 - (-2)/10 a multiple of 20?
True
Let p be -3 - 6/(-2) - -72. Suppose -2*c - p = c. Is (-24 - 1)*c/20 a multiple of 20?
False
Suppose -2*x - c + 122 = -0*c, -3*x + 2*c + 197 = 0. Does 21 divide x?
True
Suppose i + 0 = 2. Suppose b = 4*f + 35, -3*b - i*f + 20 = 3*f. Is b a multiple of 12?
False
Suppose -s + 1 + 1 = 0. Suppose 0 = -s*o + 3 - 11, 0 = 3*y + 3*o + 933. Does 21 divide 8/(-20) - y/5?
False
Let f(w) = -w**3 - 8*w**2 + 5*w - 6. Let r = 11 + -20. Is f(r) a multiple of 10?
True
Suppose 16 = 4*f - 4. Suppose 4*t + 44 = 2*x + 2*x, 2*x - f*t - 7 = 0. Does 4 divide x?
True
Does 19 divide -4 + 2/2*346?
True
Let r be 9/(-6)*(-1290)/9. Suppose -4*n + 2*v + 95 = -77, 5*n - r = 2*v. Suppose 4*j - 107 = -n. Is 14 a factor of j?
False
Let k(x) = -3*x**2 + x**2 - 3 + 3*x**2. Let a be k(3). Let n = a + -2. Is 3 a factor of n?
False
Let u = -5 - -6. Let y(g) = -g**2 + 1 - 10*g + 6 + 2 + u. Is y(-10) a multiple of 10?
True
Suppose -6*q + q = -190. Is 5 a factor of q?
False
Let r(x) = x**2 - x - 2. Let f be r(3). Let n = f - 5. Let q = 9 + n. Does 4 divide q?
True
Let o(l) = 6*l**2 + l - 2. Let a be o(2). Suppose -3*b - b + a = 0. Let y(c) = 5*c - 1. Is 23 a factor of y(b)?
False
Is 12 a factor of 2 + 51*6/9?
True
Suppose 4*a = i + 7 - 31, 0 = 2*i + 2*a - 48. Does 12 divide i?
True
Suppose 2*o = -5*n + 26 + 57, o = 5*n + 49. Is 22 a factor of o?
True
Is 41/3 + (-16)/(-12) even?
False
Let i = 25 + -20. Let b(f) = -f**2 + 7*f. Is 10 a factor of b(i)?
True
Let f(t) = -t**3 + 8*t**2 - 1. Let d(l) = -l**3 + 9*l**2. Let x(r) = 4*d(r) - 5*f(r). Let n be x(4). Is 193/n + 2/5 a multiple of 15?
False
Let o(f) = 27*f + 9. Is o(2) a multiple of 21?
True
Suppose -l = 2*j - 12, 0*j + 5*l = -5*j + 35. Suppose j*r + 16 = 81. Is r a multiple of 13?
True
Suppose 2*f + 17 + 34 = p, -p + 3*f = -54. Suppose 2*t + j - 82 = 11, -t + j + p = 0. Is 15 a factor of t?
False
Let h(x) = -45*x + 8. Does 20 divide h(-1)?
False
Let q(v) = v**2 + 5*v - 40. Does 13 divide q(14)?
False
Does 12 divide 39*3/9 + 3?
False
Suppose 8*d - 39 - 193 = 0. Is 8 a factor of d?
False
Suppose -3*h + k + 5 = 0, -k = -0*k - 1. Suppose 2*t - 1 = x + 1, 2*x + 4*t - 12 = 0. Suppose 16 = c - x*d, 0*d - 4*d = h*c - 16. Is c a multiple of 6?
True
Let c(j) = 20*j**2 + 12*j + 13. Is 36 a factor of c(-4)?
False
Let c be -2 - -4 - (-1 + 3). Suppose -k - 4*k + 220 = c. Is 11 a factor of k?
True
Let y(m) = -m**3 + 4*m**2 + 5*m - 1. Let d = 0 + 4. Let g be y(d). Suppose 4*j + 4*z - 32 = 0, -j = 2*j + 4*z - g. Does 13 divide j?
True
Let j = -61 + 115. Suppose -2*s + 8 = 0, 3*s = i + 2*s - j. Does 18 divide i?
False
Let q be 18/45 + (-116)/(-10). Is 200/(-6)*q/(-10) a multiple of 13?
False
Suppose 0 = -0*l - 2*l. Let o = 6 - l. Is o a multiple of 6?
True
Let h = -13 - -26. Suppose 4*t = -5*m - h, t + 7 = -4*m + 2*m. Let k(r) = -r**3 + 2*r**2 + 5*r - 2. Is 3 a factor of k(t)?
False
Suppose 2*c - 12*c = -50. Is 5 a factor of c?
True
Suppose z + 4*k - 344 = -4*z, 0 = -4*z + 4*k + 268. Is z a multiple of 7?
False
Let m = 70 - 26. Is m a multiple of 11?
True
Suppose 0*p - 20 = -5*p. Let d be p/(-3 + 2 + 3). Suppose -y + 3 + d = 0. Is y a multiple of 3?
False
Suppose 738 = 6*n - 42. Is n a multiple of 13?
True
Let t be (-7 - -7)/(0 - 1). Suppose -y + 12 = -0*y. Let m = y - t. Does 12 divide m?
True
Let y = 8 - -53. Is 19 a factor of y?
False
Suppose 528 = -d + 7*d. Is d a multiple of 11?
True
Let p be (9 - 8)/((-1)/(-4)). Suppose -p*y + 168 = -2*y. Is 28 a factor of y?
True
Let j(g) = 60*g - 2. Let m be j(4). Suppose 4*q - m + 46 = 0. Does 16 divide q?
True
Is (-2)/6*1*-48 a multiple of 8?
True
Let a(u) = u + 11. Let k be a(-7). Suppose -5*p = -20, -p + k*p + 2 = -2*v. Does 7 divide (-164)/(-6) + v/21?
False
Let u(c) = 11*c + 10. Let h(k) = 6*k + 5. Let y(v) = 5*h(v) - 2*u(v). Let a be y(4). Suppose f = 5*m + 18 + 1, 3*f - 5*m = a. Is f a multiple of 5?
False
Let k = -12 + 23. Let r = k - -27. Does 13 divide r?
False
Is (7 - 8) + (-1 - -70) a multiple of 36?
False
Let h = 241 + -18. Is h a multiple of 17?
False
Let u(l) = 2*l**2 - 2*l + 4. Suppose 2*a + 2*c = 5 - 17, 2*a - 6 = 4*c. Is 14 a factor of u(a)?
True
Let r = -18 + 11. Let z = 12 + r. Suppose z*g + 26 = 6*g. Is 16 a factor 