+ c**2/2 + c - 3. Let v(m) be the first derivative of p(m). Does 7 divide v(1)?
True
Let h be (9 - 9)/(8/2). Suppose 2*i - 19 - 5 = h. Is i a multiple of 4?
True
Suppose 12*l = 7*l + 360. Is l a multiple of 9?
True
Let i(s) = 22*s**2 + 3*s + 2. Is i(-1) a multiple of 9?
False
Does 6 divide (((-170)/(-4))/(-5))/(3/(-6))?
False
Suppose -a + 5*a - 8 = 0. Suppose -5*f = 5*c - 235, a*f + 4*c + 0*c - 86 = 0. Does 17 divide f?
True
Let r = 20 - 16. Suppose r*j - 121 = 63. Is j a multiple of 23?
True
Suppose -11 = -5*x + 9. Suppose -24 = -2*q - 4*p, 72 = x*q - 3*p - p. Is 8 a factor of q?
True
Let a be (21/7)/((-3)/8). Let i(p) = p**2 + 8*p + 12. Is i(a) a multiple of 5?
False
Let s(j) = -j**3 - 7*j**2 + 5*j - 8. Is 10 a factor of s(-8)?
False
Let i(y) = 2*y**2 - 10*y - 6. Does 7 divide i(7)?
False
Let q(z) = 22*z**3 + 3*z + 2. Let u be q(-1). Let l = u - -35. Does 4 divide l?
True
Let m be (1 + 2/(-2))/2. Suppose m*q + 34 = q. Let n = q - 4. Does 18 divide n?
False
Let q(t) = -3 - 4*t + 0 - 1. Let j be ((-4)/4)/((-2)/(-14)). Is 12 a factor of q(j)?
True
Let d(v) = -2*v - 3. Let m be d(-4). Suppose -21 = -3*n + 3*r, n + m*r = -4 - 13. Suppose -n*j = -0*j - 57. Does 12 divide j?
False
Let s be (-34)/1*4/8. Let b = s + 9. Let o = b + 14. Is o a multiple of 3?
True
Suppose b = -l + 8, 2*l + 2*b - 4*b = 8. Does 6 divide l?
True
Is (-300)/(-40)*28/2 a multiple of 15?
True
Let x(f) be the second derivative of 3/2*f**2 - 1/3*f**4 + 0*f**3 - 2*f + 0 + 1/20*f**5. Is x(5) a multiple of 16?
False
Suppose 2*q + 5 = -5, 0 = -2*a - 4*q + 526. Does 17 divide a?
False
Let b(d) be the first derivative of d**4/4 - d**2/2 + 24*d - 3. Is b(0) a multiple of 11?
False
Let s = 240 - 147. Is s a multiple of 14?
False
Let z = 24 + 48. Is z a multiple of 18?
True
Let c(q) = -q + 8. Let r be c(4). Suppose -4*i + 72 = r*g, 4 = g - 0*g. Does 14 divide i?
True
Let p(b) = 8 - 2*b - 4*b - b. Let n be p(-7). Let k = n - 24. Is 13 a factor of k?
False
Suppose -5*f + 113 = 4*y, -10 = f - 7. Does 8 divide y?
True
Let z be 8/10*(10 + -5). Suppose z*v - 4 = 84. Is 22 a factor of v?
True
Let l(u) = 32*u**2 + 2*u - 1. Is 16 a factor of l(1)?
False
Suppose 2*a - t = -0*t - 264, -5*a = -4*t + 654. Let z = a + 192. Suppose m + 5*v - 24 = 0, -5*v + z = 4*m - 4*v. Is m a multiple of 14?
True
Suppose 0 = 3*b - 3*d + 15, 0 = -b - 4*b + 3*d - 15. Suppose b = -5*f + 39 + 66. Is 6 a factor of f?
False
Suppose 12 = i + 3. Let z(q) = -q**3 + 10*q**2 - 7*q - 7. Does 5 divide z(i)?
False
Let u = 7 - -12. Suppose -4*k = u - 123. Suppose -x + 2*v + k = 0, -91 = 3*x - 7*x - 5*v. Is 12 a factor of x?
True
Let w be 6 + (-8)/(2 - -2). Let q(f) = 9*f - 6. Is 30 a factor of q(w)?
True
Let w = -13 - -15. Is (-8 - 1)*(0 - w) a multiple of 18?
True
Let t(x) = -x + 23. Let v(c) = -5*c - 12. Let o be v(-5). Is t(o) a multiple of 5?
True
Suppose 0 = 4*v - 8*v - 160. Let o = v - -61. Is 7 a factor of o?
True
Let j(a) be the third derivative of 3*a**4/8 - 2*a**3/3 + 2*a**2. Is 16 a factor of j(4)?
True
Suppose 0 = j + v - 154, -4*j + 5*v + 462 = -j. Is 23 a factor of j?
False
Let q = 9 - 6. Suppose 0 = c + q - 6. Is 5 a factor of (-55)/(-4) - c/(-12)?
False
Let z = 185 + -85. Suppose 3*u - 3*v = -z + 361, 375 = 4*u + 5*v. Is 31 a factor of u?
False
Let q be (-34)/6*(1 + -4). Let z = 62 - q. Let r = z - 23. Is r a multiple of 8?
False
Let g be 13 + 2 + (-1 - 2). Let z = -23 - -48. Let p = g + z. Does 20 divide p?
False
Suppose 58 = 2*l + 5*g, -l + 82 = 2*l + 5*g. Is 2 a factor of l?
True
Let m be -68*(-9)/(-6)*-1. Suppose -3*v + m = -0*v. Is 17 a factor of v?
True
Suppose 0 = -8*b - 370 + 1514. Is b a multiple of 60?
False
Let h(s) = -s**3 + 3*s**2 + 9*s - 18. Let p be h(4). Let y be 144/15 - (-4)/10. Is ((-48)/(-15) - p)*y a multiple of 4?
True
Suppose 0 = h + 3*h. Let q = 1 + h. Suppose 0 = 3*j - q - 11. Is 4 a factor of j?
True
Let v(j) = 4*j + 2. Let g be v(-1). Is (-126)/7*1/g even?
False
Let k(a) = -a**3 + 11*a**2 - 10*a + 12. Suppose 11 - 31 = 5*h, 0 = 5*z - 5*h - 70. Does 12 divide k(z)?
True
Let a be ((-9)/(-18))/((-2)/(-16)). Suppose 5*u - a*j = 75, 27 = -5*u + 2*j + 92. Is 4 a factor of u?
False
Let u(i) = 3*i - 10. Let q be u(6). Let t(f) be the first derivative of -f**4/4 + 8*f**3/3 + 2*f**2 - f + 2. Is 9 a factor of t(q)?
False
Is (6/(-4))/(5/(-40)) a multiple of 4?
True
Let o be 2 - -1 - 0/(-4). Is 13 a factor of 2*(-69)/(-9)*o?
False
Let h(p) = p**3 - 2*p**2 - 12*p + 6. Is h(5) a multiple of 12?
False
Suppose -m - 24 = -4*m. Let p = m + -3. Suppose -2*f = p - 31. Does 13 divide f?
True
Suppose 3*n - 205 = -4*u, 4*u - 30 - 210 = 4*n. Does 55 divide u?
True
Suppose 5*s + 25 = 0, -3*i - 3*s = -8*s - 31. Suppose -4*j = -j - 4*z - 12, i*j - 8 = -3*z. Is 4 a factor of j?
True
Let v(c) = -c**2 - 8*c - 8. Let d be v(-6). Suppose 30 = d*r + z, -2*z - 19 - 25 = -5*r. Suppose g + 0*g - r = 0. Does 3 divide g?
False
Suppose 17 = 5*a - 2*u, -6 + 17 = 5*a + 4*u. Suppose 0 = -h - p - 1, 3*h + 2 = -5*p - a. Suppose h*f + 4*f = 80. Is 14 a factor of f?
False
Let l(k) = -k**3 + 3*k**2 + 4*k + 3. Let p be l(4). Let w(z) = 7*z + 0*z - 1 + 0*z + 5*z. Is w(p) a multiple of 21?
False
Let a(g) = 4*g**2 + 3*g - 16. Is 9 a factor of a(-5)?
False
Let x(v) = -2*v + 15. Let o be x(13). Let l = o + 14. Does 3 divide l?
True
Let j = 158 - 58. Suppose 4*t + 80 = 4*z, -z - 3*t - j = -6*z. Does 20 divide z?
True
Is (-8 + 2)*(-17 + 3 - -1) a multiple of 26?
True
Let c(g) = 3*g**2 + 5*g - 3. Let w(t) = 2*t**2 + 4*t - 3. Let q(n) = 3*c(n) - 4*w(n). Is 9 a factor of q(6)?
False
Let r = 8 + -6. Is 12 a factor of 27 + (1 - r) + -2?
True
Let l = 333 + -71. Is l a multiple of 21?
False
Let b(k) = 4 - 4 - 6*k - 2. Let x be b(2). Is (x/(-6))/((-1)/(-12)) a multiple of 14?
True
Is ((-154)/98 - 4/(-7)) + 221 a multiple of 14?
False
Does 7 divide (266/(-57))/(2/(-57))?
True
Let d(f) = 2*f - 2. Let k be d(2). Suppose 0 = -k*s - i - 9, -14 + 0 = 2*s - 4*i. Does 15 divide 1*s*(-6 + 3)?
True
Suppose 0 = -2*t - t + 5*r + 69, 2*r + 50 = 2*t. Is 14 a factor of t?
True
Let v(r) = -27*r + 2. Let d be v(-1). Suppose -2*y + 3 = -d. Is 4 a factor of y?
True
Let z(j) = -j - 1. Let p(n) = -n**2 + 11*n. Let l(q) = p(q) - 6*z(q). Is 12 a factor of l(11)?
True
Let i = -158 + 223. Is 13 a factor of 1/(-4) + i/4?
False
Let q(w) = w**2 + 7*w + 10. Does 7 divide q(-7)?
False
Is (-460)/(-7) - (-20)/70 - -4 a multiple of 14?
True
Suppose -2*a - 408 = -4*a. Suppose -4*f - a = -8*f. Does 14 divide f?
False
Let s = 38 - 2. Is s a multiple of 12?
True
Suppose 10 = 2*v + 3*v. Suppose 0 = w + v*w - 276. Suppose -4*t = -0*t - w. Is 11 a factor of t?
False
Suppose -2*n - 36 = -2*m - 88, 5*m + 15 = 0. Suppose -3*b + 4 = -n. Is b a multiple of 3?
True
Suppose h - 15 = r + 2, -3*h + r = -47. Is h a multiple of 4?
False
Suppose 4*b - 132 = -2*b. Is b a multiple of 4?
False
Let v = 162 + -345. Is 8 a factor of 2/4 + v/(-6)?
False
Let h(i) = 23*i - 1. Let t be 1 + (-2)/2 - -2. Suppose 4*l + 10 = -t*q, 0*q + 2*l + 11 = 5*q. Is h(q) a multiple of 11?
True
Suppose 0 = 4*p + 4*k - 364, 3*p + 2*k - 128 - 146 = 0. Is 29 a factor of p?
False
Suppose 0 = -2*d + 44 - 6. Suppose -4*b - 28 - 8 = 0. Let h = d + b. Does 5 divide h?
True
Let d be (1 - 2)*20/(-4). Suppose -d*t + 46 = -3*t. Does 8 divide t?
False
Suppose -4*z - 130 - 174 = 0. Let r = -48 - z. Does 10 divide r?
False
Let u(d) = -d - 2. Let i be u(-5). Suppose 0 = -i*s + s + 4. Suppose 0*w - s*w - 50 = -5*z, 5*w + 40 = 4*z. Does 10 divide z?
True
Suppose -5*r + 163 = -137. Is 12 a factor of r?
True
Suppose 3*v - 27 = 51. Is 26 a factor of v?
True
Let a = 12 + -8. Let v(n) = n**2 + 2*n + 3. Let t be v(a). Let c = t - 18. Is 9 a factor of c?
True
Let i(j) = j + 5. Let o be i(-5). Suppose o*c + 3*c = 15. Suppose -z = -c*f + z + 38, 4*f + 4*z = 8. Does 6 divide f?
True
Let c = -66 + 93. Is 9 a factor of c?
True
Let k = -42 - -76. Suppose 3*p = 3*i - p - 96, i = 2*p + k. Does 14 divide i?
True
Suppose 8*k = 3*k + 630. Is 18 a factor of k?
True
Let u = -3 + 2. Is -57*(u + 2/6) a multiple of 15?
False
Suppose 2*u - 40 = 112. Is 18 a factor of u?
False
Suppose 0*d + 352 = 4*d. Does 22 divide d?
True
Suppose 4*k - 29 = -3*b, 4*k - 24 + 4 = 0. Suppose 4*i = -5*g - 51, 14 - 53 = 3*i + b*g. Let s = i - -28. Is 14 a factor of s?
True
Suppose -b +