t. Is 3 a factor of t?
True
Let a(u) = -u**2 + 8*u + 10. Let k(j) = -3*j**2 + 15*j + 20. Let p(s) = -5*a(s) + 2*k(s). Let m be p(-7). Let f(o) = 3*o - 15. Is 6 a factor of f(m)?
True
Let b(o) = o**3 - 5*o**2 + 6*o - 2. Let t be -1 - -5 - (-2 + 1). Is b(t) a multiple of 7?
True
Let v(d) = -8*d**3 + 27*d**2 + 2*d + 40. Let f(u) = -3*u**3 + 9*u**2 + u + 13. Let h(b) = -11*f(b) + 4*v(b). Is 35 a factor of h(-8)?
True
Let j be 5*(-2)/(-10) + 2. Suppose j*u - 373 = -124. Does 31 divide u?
False
Let u(q) = -q**2 - 9*q - 14. Let z be u(-6). Suppose 4*h - 3*h + 54 = m, -2*m + 132 = z*h. Is 15 a factor of m?
False
Let f = -626 + 1179. Is f a multiple of 11?
False
Let q(j) be the first derivative of -11*j**2/2 + 19*j + 10. Does 18 divide q(-12)?
False
Suppose 0 = -2*l - 8, -2*x - 1274 = 4*l + 14. Is (-1)/(-4) + x/(-16) a multiple of 12?
False
Let a = 756 + -742. Does 6 divide a?
False
Let r(a) = -a**3 - 10*a**2 + 30*a + 13. Is r(-14) a multiple of 4?
False
Suppose 4*b + 126 = 2*n - 1926, -5190 = -5*n - 2*b. Is n a multiple of 14?
True
Let r(c) = c + 2. Let o be r(2). Suppose o*g + 3*g - 1463 = 0. Is g a multiple of 41?
False
Suppose -2*f + 8 = -3*k, 0 = 2*k + 3*f - 0*f - 12. Suppose k = -32*p + 31*p + 65. Is 13 a factor of p?
True
Let k(t) = -t**2 + 10*t + 4. Let y be k(10). Suppose 5*q = 194 + 586. Suppose 0 = -2*u - y*u + q. Is u a multiple of 20?
False
Let f be -1 + (4 + -3 - -210). Suppose g - 4*g = -f. Is 35 a factor of g?
True
Let b = 421 - 156. Suppose 4*q - 3*f + 107 = 459, -3*q + b = -2*f. Suppose -4*t - 2*z - 17 = -q, 4*t - 5*z - 39 = 0. Does 9 divide t?
False
Let r = 29 - 27. Suppose r*x + 4*v - 100 = 0, 2*x - 5*x - 3*v = -165. Does 15 divide x?
True
Let a(k) = k**2 + 4*k - 11. Let v be a(-10). Suppose 3*p + 2*d - 163 = 0, p + 0*d = -2*d + v. Is 12 a factor of p?
False
Suppose 698 = o - 2032. Is 91 a factor of o?
True
Suppose -2*m - 3*c = 6, -3*c = -0*c + 6. Suppose -4*f - 33 = -5*u, m = u - f + 2*f - 12. Suppose 4*v - u*v = -60. Does 6 divide v?
True
Is 1584 - (-8)/1 - -1 a multiple of 59?
True
Let t = -72 + 87. Let c = t + -6. Does 9 divide c?
True
Suppose 4*x - 146 - 274 = 0. Let i = -59 + x. Suppose -b - 12 = -i. Does 17 divide b?
True
Suppose 0 = 33*t - 10896 - 10356. Is t a multiple of 28?
True
Does 10 divide 396 - (-1)/((-7)/42)?
True
Let r = 11 + -24. Let x = r + -4. Let j = 15 - x. Is j a multiple of 8?
True
Let n(r) = r**2 - 7*r - 44. Suppose 213*g = 218*g - 65. Is n(g) a multiple of 4?
False
Suppose -7*u + 8*u + 6 = 0. Let j(w) = -w**3 - 6*w**2 - 9*w - 7. Let z be j(u). Suppose -2*q = -3*q + z. Is 13 a factor of q?
False
Let q = -36 - -96. Let n = q - 18. Is n a multiple of 14?
True
Suppose 0*f = -4*f + 12. Suppose 0 = -f*h + 6, -s - 3*s - 14 = -3*h. Is (8/(-16))/(s/204) a multiple of 17?
True
Let l(s) = -106*s - 296. Is 21 a factor of l(-10)?
False
Suppose -5*u + 3*d + 4 = 0, 3*u + 7*d - 16 = 2*d. Suppose z = 79 + u. Does 23 divide z?
False
Let d = 29 + -20. Is 16/(-24) + 510/d a multiple of 14?
True
Let l be (-19)/2 - (-2)/4. Let o = 10 + l. Suppose 2*z + 3*z + 4*c + o = 0, -z - 5*c - 17 = 0. Is 2 a factor of z?
False
Let l be -21 - -21 - -4*8/2. Suppose 7*g + 450 = l*g. Is 4 a factor of g?
False
Let c = 39 + -6. Suppose 3*f + c = 4*v, 5*v - 5*f - 20 - 15 = 0. Does 3 divide v?
True
Let o = 49 - 15. Suppose 28*n + 510 = o*n. Is 13 a factor of n?
False
Suppose -5*i + 221 = 4*u, -10*u = -5*u - 3*i - 267. Is u a multiple of 54?
True
Suppose -4*t = 3*m - 12 + 1, -m - 5*t = 0. Suppose m = -r + 15. Is 5 a factor of r?
True
Suppose -3*b + 1147 = -1466. Does 13 divide b?
True
Let m(o) = -o**2 - 20*o + 11. Let s = 24 + -40. Is 25 a factor of m(s)?
True
Suppose -3*y + 66 = 4*c - 1469, 0 = -5*y + 3*c + 2568. Is 27 a factor of y?
True
Let y(b) = 1298*b - 22. Is 22 a factor of y(1)?
True
Suppose -30*d + 29*d - 2*x = -4642, 23219 = 5*d + x. Is 99 a factor of d?
False
Let j(h) = -h**3 + 7*h**2 + 6*h + 4. Let i be j(8). Does 20 divide 1521/12 + (-3)/i?
False
Let i = 19 - 17. Suppose 2*s = s - 4*x + 343, 5*s = i*x + 1715. Is 41 a factor of s?
False
Let j be (2 - 2)/(2 - 4). Suppose 4*r - 6*r + 74 = j. Suppose -q + r + 17 = 0. Is 18 a factor of q?
True
Is 4/((-7 - (-40884)/10218) + 3) a multiple of 13?
True
Let t(l) = 7*l**3 + l**2 - 2*l - 2. Let x be t(-2). Let p be (-1 - 5/(-10))/(3/480). Let c = x - p. Is 21 a factor of c?
False
Suppose -205*f - 2922 = -3*k - 210*f, -f - 1935 = -2*k. Does 18 divide k?
False
Suppose 3*r + 5*p = 3582 + 937, -2*p = -5*r + 7480. Does 13 divide r?
False
Suppose -2*b + 0*b = 0. Is 6 a factor of b + 39 - 12/4?
True
Let z(n) be the second derivative of -5*n + 5/6*n**4 + 0 - 3/2*n**2 + 1/3*n**3. Is 14 a factor of z(2)?
False
Suppose 3*t - 3255 = -5*x, -3*t - 4*x = -9*x - 3225. Is 60 a factor of t?
True
Let w = -163 - -95. Let f = w - -123. Is f a multiple of 11?
True
Let s(r) = -29*r + 743. Is s(-13) a multiple of 10?
True
Let h be 2*(-1 - 0) - -18. Does 13 divide (26/4)/(-4 + 72/h)?
True
Let h(v) = v**3 - 6*v**2 - 38*v + 6. Is h(11) a multiple of 6?
False
Is 87 a factor of 14*(2194/7 + 0)?
False
Suppose 0 = w + 2*b - 1, -2 = -2*w - b. Let q(v) = 10*v**2. Let s be q(w). Suppose 5*m = -s + 145. Is 6 a factor of m?
False
Let d = -7 - -7. Suppose d = j + 3*j + 4*f - 24, -5*j - 2*f = -21. Suppose 0 = j*g + 2*g + 4*x - 178, 0 = -5*g + x + 168. Does 11 divide g?
False
Let h(p) = -157*p - 13. Does 18 divide h(-1)?
True
Let k(m) = -18*m**3 - 2*m**2 - 6*m - 11. Let i be k(-2). Let u = 288 - i. Is u a multiple of 19?
False
Suppose 11 = p - 0*p + 2*v, -18 = -2*p - 3*v. Suppose -17 = -5*s - 4*m, 7*s + 3*m - 14 = p*s. Is 20/(-4)*(-6)/s a multiple of 2?
True
Suppose 5*x - 5578 = -3*w, 27*x - 30*x + 3342 = -3*w. Is x a multiple of 6?
False
Let p be 14/1*(-96)/(-56). Suppose p = 3*d + 3*d. Is 1*d - (-5 + -37) a multiple of 12?
False
Suppose 20 = -t - 25. Let c = 15 - t. Is 30 a factor of c?
True
Let u(k) be the second derivative of -31*k**5/20 + 9*k. Is 7 a factor of u(-1)?
False
Suppose z = -2*a - 21, 0 = -3*z + 5*a - 6 - 24. Let q = 17 + z. Suppose 4*t = 3*t + 2*v + 42, -q*v = 5*t - 222. Does 22 divide t?
True
Let g(r) = -r**3 + 16*r**2 - 16*r + 18. Suppose 30 = 5*a - 45. Let v be g(a). Suppose 0 = 3*f + z - 2*z - 31, z = -v*f + 23. Is f a multiple of 3?
True
Suppose 3*q - 6 = 2*p + 2*p, 9 = -3*p. Let m = 7 - q. Is m even?
False
Suppose -5*l = -2*g + 15, -7 = -g + 3*l - 0*l. Suppose g*w = 8*w + 104. Is w a multiple of 49?
False
Let d(c) = c**3 - 11*c**2 - 17*c - 53. Does 8 divide d(15)?
True
Let g = 56 - 32. Let k = 32 - g. Is k even?
True
Let s(w) = -15*w + 3. Let l be s(-1). Let j = 4 + l. Does 22 divide j?
True
Let q = -13 - -20. Suppose 182 = -q*f + 616. Does 11 divide f?
False
Suppose -47*r - 14368 = -79*r. Does 2 divide r?
False
Is 13 a factor of 6 + -7 + 330/1?
False
Let n = 25 + -13. Suppose 4*v + 12750 = 19*v. Is v/n + 1/6 a multiple of 15?
False
Suppose -5*m - 27 = -3*n, 3*n + n = 16. Let h(t) = -28*t + 18*t - 2 + 3. Is h(m) a multiple of 9?
False
Suppose -160 = -5*n + n. Let u = -17 + n. Suppose -2*x - 2*v + 40 = 0, -x + u = -0*x + 4*v. Is x a multiple of 7?
False
Suppose 33 = -5*v + a, 5*v - 2*a = -6*a - 43. Is 3 + 5 + v - -125 a multiple of 18?
True
Let d = -310 + 318. Suppose 3*y = -5*h - 0 + 1, 0 = -5*y + 10. Is ((-4)/d)/(h/48) a multiple of 20?
False
Suppose 1006 = 9*v + 52. Let r = v + -83. Does 3 divide r?
False
Let h be 22/10 + 5/(-25). Suppose h*t - 4 = -4*p, 0 = 4*t - 2*t - 3*p - 11. Suppose 3 + 69 = t*q. Is 6 a factor of q?
True
Let l(t) = 316*t + 17. Let p(o) = 79*o + 4. Let y(i) = 2*l(i) - 9*p(i). Does 21 divide y(-1)?
False
Let s(r) = -r**3 + 2*r**2 + 12*r + 54. Is 13 a factor of s(-5)?
True
Let r(u) = u**3 - 8*u**2 + 3*u + 25. Does 7 divide r(8)?
True
Suppose -4*w = -5*w - 5, 5*b - 215 = 3*w. Is 2 a factor of -15*6*(-4)/b?
False
Let p be (0/10)/(4/(-2)). Suppose 5*o - 105 = -p*o. Does 3 divide o?
True
Suppose -r + 5 = 5. Suppose -2*x - 5*k + 376 = r, 2*k = -x + 3*x - 390. Is 14 a factor of x?
False
Let n = 75 - 35. Let p(m) = m**2 + 30*m + 210. Let s be p(-25). Let x = s - n. Does 8 divide x?
False
Is 1755/120 - (-3)/8 even?
False
Let w = -121 - -211. Suppose 10*h = 8*h + w. Is h a multiple of 15?
True
Let z = -204 - -265. Suppose -10 - 76 = -2*r. Let p = z - r. Does 9 divide p?
True
Let d be (1 - (1 + 0)