*c - 1. Let t(k) = 16*k - 2. Let i(v) = 9*n(v) - 4*t(v). Does 23 divide i(3)?
True
Suppose 2*r - 135 = 5*z, -r = -0*r - 5. Does 8 divide (-121)/(-5) - (-5)/z?
True
Suppose 13 = -4*u - 3*v, 0 = -0*u + u + 5*v + 16. Let o be (4 - 1) + u - -3. Suppose 2*h = o + 31. Is h a multiple of 15?
False
Suppose 0 = -3*y + 24 + 12. Does 6 divide y?
True
Suppose -4*u - k = 29, u - 4*k = 2*u - 4. Let w be u/(-5)*30/4. Let q = w + -3. Is q a multiple of 4?
False
Let l(g) = -3*g**3 - g**2 + 2. Let c be l(3). Let i = c + 126. Does 12 divide i?
False
Suppose 2*s + 40 = -w, 3*w = 4*s + 31 + 29. Does 3 divide s/(-2)*(-4)/(-3)?
True
Suppose 3*h - 3 = 5*a, 7 = 5*h + 2*a + 33. Does 13 divide (-1 - h/8)*-32?
False
Let k be 3/9*1*15. Suppose 0 = k*v + a + 55, 2*v + 22 = v + 2*a. Let n = 6 - v. Does 6 divide n?
True
Let y = -5 - -3. Is 13 a factor of (95 - 2)*y/(-6)?
False
Let z(d) = -2*d + 6 + d + 2*d**2 - 3*d. Is 19 a factor of z(5)?
False
Let p(l) be the third derivative of l**5/120 + l**4/12 + l**3/6 + 2*l**2. Let q(f) be the first derivative of p(f). Does 9 divide q(7)?
True
Suppose 0 = -6*c + 97 + 113. Is 14 a factor of c?
False
Suppose 5*i + 5 = 290. Does 19 divide i?
True
Let f be 3 - 0 - 0/(-1). Suppose f*r = 4*r - 34. Is r a multiple of 17?
True
Suppose 0 = j + 4*j - 150. Suppose -2*b + j = -54. Is 15 a factor of b?
False
Suppose 58 = -5*u - 3*q, -q + 6 = -u + 4*q. Let v = -3 - 3. Let o = v - u. Is o a multiple of 2?
False
Let r = 8 - 8. Suppose -z + 48 = -r*z. Does 12 divide z?
True
Suppose j = -1, -2*u + 542 = -j - 143. Is u a multiple of 19?
True
Is 22/((-21)/35*1/(-3)) a multiple of 11?
True
Let r(c) = -14*c + 6. Let k be r(-6). Suppose -5*f + w + 90 = -0*w, -5*f - 5*w = -k. Does 12 divide f?
False
Suppose -5*a - 3*s + 51 = -0*a, -3*a + 21 = 5*s. Suppose -p + 71 = 2*l, 4*p = -0*p - a. Is l a multiple of 11?
False
Suppose 0 = -5*p + 99 + 41. Does 7 divide p?
True
Let p(j) = 11*j + 8. Let o be p(12). Suppose i + 5*k = -3*i + o, 2*k = 8. Is i a multiple of 15?
True
Let w(c) be the third derivative of c**5/60 - c**4/24 - c**3 - 2*c**2. Let l be w(7). Let r = l + -11. Does 13 divide r?
False
Suppose 0 = 5*q - 519 - 421. Is 29 a factor of q?
False
Let h(t) be the first derivative of t**3/3 - 9*t**2/2 + 11*t - 1. Is h(12) a multiple of 23?
False
Does 3 divide 26/3 + (4/3 - 1)?
True
Suppose 109 = 2*o - y, 5*o + 0*o = -4*y + 292. Does 14 divide o?
True
Suppose -2*l = 6 - 0. Let b be (-26)/l + 6/(-9). Is (-1)/(-4) - (-62)/b a multiple of 4?
True
Is 6 a factor of (-3 + 1)*(-14 - 1)?
True
Let s(p) = p. Let w(i) = -44*i - 3. Let o(m) = -6*s(m) - w(m). Does 27 divide o(2)?
False
Let a = -4 + 4. Does 20 divide 8/(-16)*(-106 + a)?
False
Let f(v) = v**2 - 3*v - 4. Let t be f(4). Suppose -3*c + t*c = 0. Let l = c + 9. Is 5 a factor of l?
False
Suppose 3*v + 43 - 265 = 0. Is v a multiple of 37?
True
Let r be (6/(-5))/(2/(-5)). Suppose 0 = r*z - 4*i - 56, -4*z - i = -5*i - 68. Does 3 divide z?
True
Let n(m) = -m**2 - 7*m + 8. Does 9 divide n(-5)?
True
Let z be (2 + (-1 - 2))*-9. Does 3 divide (-2)/9 - (-47)/z?
False
Let y(f) = 7*f + 1. Let c be y(-5). Let i = 56 + c. Is i a multiple of 12?
False
Let z(j) = -23*j. Let b be (-1 + 2)*(-4 + 3). Is 14 a factor of z(b)?
False
Let h(r) = -48*r + 3. Is h(-4) a multiple of 39?
True
Is 2 a factor of (-138)/(-10) + (-3)/(-15)?
True
Let x = 89 + 7. Suppose -5*v = -v - x. Does 12 divide v?
True
Let m(b) = 4 - 7*b - 13*b - 7. Let r be m(-2). Let j = 9 + r. Is 20 a factor of j?
False
Let q = -37 + 96. Let d = -13 + q. Is 13 a factor of d/10*(15 - 10)?
False
Let y(s) = 2*s**2 + s - 1. Let w be (-3)/((9/(-6))/(-1)). Let u be y(w). Is 15 a factor of u/(-1*(-2)/6)?
True
Let r(g) be the second derivative of 7*g**3/6 + 5*g**2 - g. Let a be r(9). Let y = -40 + a. Does 17 divide y?
False
Suppose -a - 3*i - 41 + 263 = 0, -i + 1138 = 5*a. Suppose -a = -4*b - 0*b. Suppose -3*g - 2*g = 25, -b = -x + 5*g. Does 16 divide x?
True
Let p(f) = f**3 + 9*f**2 + 7*f. Let a(m) = -m**2 - m. Let h(o) = 5*a(o) + p(o). Does 2 divide h(-3)?
False
Suppose 0 = -36*m + 31*m + 355. Is m a multiple of 14?
False
Let y(a) be the first derivative of -3*a**2 - 6. Does 6 divide y(-3)?
True
Suppose j + 2 = -6. Does 9 divide (-2)/j + 426/24?
True
Suppose 0 = 4*p - p - 6. Suppose -3*g + 10 = -2*o, -5*o = -p - 3. Suppose i + d = -d + 28, g*d = i + 2. Is 10 a factor of i?
False
Let n(f) = -2*f + 3. Let s be n(-6). Suppose 5*t - 4*c + 54 = 174, -3*c = -s. Does 7 divide t?
True
Let c = 82 - 52. Is 15 a factor of c?
True
Suppose 0 = 4*h - 4, -5*g + 3*h + 932 = -0*g. Does 20 divide g?
False
Suppose 4*b = -5*x + 273, 7*x - 2*x = 5*b + 300. Is 22 a factor of x?
False
Suppose 321 = 7*v - 1443. Is v a multiple of 14?
True
Suppose 2*l - 4*d = 18, -5*l = -0*d - 4*d - 63. Is 5 a factor of l?
True
Let r(s) = -s**3 - 8*s**2 - 7*s + 2. Let j be r(-7). Suppose -j*k + 450 = 3*k. Suppose k = 4*d - 2*g, 4*d - g + 14 = 99. Is 10 a factor of d?
True
Let m(n) = 5*n**2 + 2*n + 1. Let h be m(-3). Is 10 a factor of (h/3)/(2/6)?
True
Let a be 5 + (-2)/4*-2. Let i(t) = -t**2 + 7*t. Does 4 divide i(a)?
False
Suppose -3*y + 6 = -3*b + 555, -2*b + 5*y = -363. Is b a multiple of 11?
False
Suppose -4*a = -6*a + 18. Does 3 divide a?
True
Suppose -5*g = -2*o + 29, -g + 2 + 1 = 4*o. Suppose 1 + o = 3*p. Suppose 2*y + p - 7 = 0. Is y a multiple of 3?
True
Suppose 3*j + 110 = 3*p + 14, -110 = -4*p - 5*j. Does 6 divide p?
True
Let r = -28 - -40. Is r a multiple of 9?
False
Suppose 359 = 4*n - 5*s, -5*s - 576 + 121 = -5*n. Does 16 divide n?
True
Let t(j) = 8*j**2 - 2*j + 3. Does 5 divide t(-3)?
False
Suppose f + 1 = 123. Does 38 divide f?
False
Let f be 1 + (-2 - -2) - -6. Let u(s) = 4*s + 3. Let d be u(-2). Let c = f - d. Is 5 a factor of c?
False
Let j = 55 - 9. Is 6 a factor of j?
False
Let d(t) = -t**3 - 3*t**2 + 3*t + 3. Let i = -3 + -1. Does 5 divide d(i)?
False
Let s = 5 + -3. Suppose -4*i - 2*f + 60 = 0, s*i = -i + 5*f + 19. Is 8 a factor of i?
False
Let v(w) = -w - 6. Let n be v(-6). Suppose n = 3*f, t + 2*f = 4*f + 12. Does 3 divide (1/2)/(1/t)?
True
Let b(w) = -2*w**3 - 6*w**2 + 5*w. Does 25 divide b(-5)?
True
Suppose 4*y = 2*z - 16, -y - 1 = z - 3. Suppose -3*h + 3*n = -45, n + n - 42 = -z*h. Does 5 divide h?
False
Let h be (1 - -1)*(-9)/6. Let d = -7 - h. Is d/(-6) + (-172)/(-12) a multiple of 15?
True
Let t be (-12)/(-10)*(-10 + 5). Is 17 a factor of (-238)/(-21)*t/(-4)?
True
Let b(h) = -h**2 - 28*h - 36. Is 7 a factor of b(-25)?
False
Suppose -4*w + 5 = -3. Suppose -6 = -4*s + w*o, -4*s + 3*o + 5 + 0 = 0. Suppose -h - 22 = -x, s*x + h - 44 + 12 = 0. Is 18 a factor of x?
True
Suppose 0*v = -5*m + 2*v + 92, -2*m + 3*v = -28. Let b be 2/(-2)*(-5 + 1). Suppose b*d - m = 20. Does 5 divide d?
True
Does 7 divide (-334)/(-12) + (-8)/(-48)?
True
Let n(d) = -2*d - 1. Let t be n(-2). Is (-32)/(-6) + t/(-9) even?
False
Let o(q) = 2*q**2 + q + 1. Let h be o(-3). Let f be 0 - (h/(-2) - -3). Suppose -f*c + 57 = -78. Is c a multiple of 9?
True
Let n(q) = q**3 - 9*q**2 - q + 12. Let l be n(9). Suppose -2*z - l*f = -38 - 34, 0 = 5*z - 4*f - 134. Is 10 a factor of z?
True
Suppose 123 = g + 4*i, 0*g + 447 = 4*g + i. Is 20 a factor of g?
False
Suppose o + 3*k = 289, 2*k + 1 = 7. Is 14 a factor of o?
True
Let m = -4 + -2. Does 11 divide 0 + (-32)/12*m?
False
Let x = 0 + 0. Suppose -3*j + x*j = 0. Let c = 9 - j. Does 3 divide c?
True
Let b(a) = -3*a + 3. Let j be b(-5). Let c = j - 8. Is c a multiple of 4?
False
Suppose -4*i = -203 + 55. Is i a multiple of 8?
False
Suppose -3*d - 3*n + 29 = n, -5*d + 3*n = -87. Suppose -5*q + 10 = -5. Suppose 9 = q*p - d. Does 4 divide p?
True
Let f = -15 - -7. Let q = f - -11. Suppose -q*u = -31 - 11. Does 7 divide u?
True
Let p(w) = w**2 + 4*w + 5. Let n be p(-2). Suppose 4*r = 3 + 1. Does 18 divide -1*(n + r) - -40?
False
Suppose -7 = -5*w + 13. Suppose 74 - 28 = 2*q - w*u, 0 = 5*q - 5*u - 130. Is q a multiple of 23?
False
Is (0 + 20)*70/25 a multiple of 14?
True
Let y = -8 + 11. Suppose -2 = 2*r - 4*z, 5*r + 8 = y*z + 17. Suppose -h + 50 = -r*d, 5*d = -15 - 10. Is h a multiple of 17?
False
Let x be 4/(-3 - -1) - 4. Let q be (3/2)/(x/88). Let j = -2 - q. Does 10 divide j?
True
Suppose -207 = -7*o + 185. Is o a multiple of 6?
False
Let p = 51 - 16. Suppose 3*v = -3*t + 45, t = -0*v + 4*v