 - 10 - 13 = 0. Is 7 a factor of z?
False
Let r(k) = k**2 - k + 3. Let m be r(0). Suppose 0 = -0*j + m*j + 15. Let l = j + 9. Is 4 a factor of l?
True
Suppose 6*k - 4*k = 38. Suppose 5*t - 94 = -k. Suppose -d - 5 = -f + t, 2*f - 35 = -3*d. Does 3 divide f?
False
Let g = -4927 + 8595. Is 10 a factor of g?
False
Let d = -6 + 11. Suppose 0*g + 5*j = 4*g + 11, 5*g - 3*j = -4. Let v = g + d. Is v a multiple of 4?
False
Let l be (-4 + (-42)/(-15))*-20. Suppose 3*w - l = -0*h + 3*h, -10 = 2*w. Let z = 53 - h. Is z a multiple of 14?
False
Suppose -25*n + 4980 = -20*n. Is n a multiple of 32?
False
Let a(h) be the third derivative of h**5/30 - h**4/6 + 5*h**3/6 + 27*h**2. Is 12 a factor of a(-6)?
False
Let g(d) = -5*d**3 - d**2 + 5*d - 8. Is g(-4) a multiple of 12?
True
Let c(x) be the first derivative of -x**4 - 5*x**2/2 - 4. Let n(b) be the second derivative of c(b). Does 24 divide n(-1)?
True
Let x = -46 + 13. Does 5 divide (x/7 - 4/14)*-12?
True
Suppose 3*g + 10 = 5*g. Suppose -6*i = -g*i - 5. Let t(f) = 4*f + 2. Is 20 a factor of t(i)?
False
Suppose 3*r + 132 = -3*p, 4*r - 5*r = 2*p + 47. Let l = r - -95. Does 27 divide l?
True
Let n = -66 - -18. Let g be 5 + -1*1 + 1. Let i = g - n. Does 11 divide i?
False
Let n(b) = -b**3 + 9*b**2 + 4*b - 6. Is 19 a factor of n(5)?
True
Is 14 a factor of 24*2840/24 + 2?
True
Let n(w) = 7*w**2 - 5*w - 2. Let u be n(4). Suppose 0 = 4*g - u + 6. Is 2 a factor of 6*(-2 + g/9)?
True
Let x(r) = 123*r**2 + 48*r + 63. Is 126 a factor of x(-5)?
True
Let u(s) = 21*s + 26*s + 3 - 24*s + 20*s. Let p be u(3). Suppose p = 3*f - 2*q, 0*q = -5*q. Is f a multiple of 11?
True
Suppose 17*c - 16 + 84 = 0. Let w(q) = -q**3 - 5*q**2 - 10*q. Let o(a) = a**3 + 4*a**2 + 10*a. Let d(g) = -2*o(g) - 3*w(g). Is 4 a factor of d(c)?
True
Let v(u) = -112*u - 476. Is 18 a factor of v(-9)?
False
Suppose -5*g = -2*j + 901, 3*j - 1178 = g + 193. Is 26 a factor of j?
False
Suppose 81*a - 85*a + 1720 = 0. Suppose -15*x = 40 - a. Is 14 a factor of x?
False
Suppose 0 = -2*z + 1 - 37. Is 6 a factor of (z/(-30))/(2/20)?
True
Let o = -597 - -1032. Is 87 a factor of o?
True
Suppose 439 = 7*u - 2543. Is 53 a factor of u?
False
Let o(t) = t**3 - 2*t**2 + 2*t - 6. Let z be o(2). Is (-7)/z*(-16)/(-28) a multiple of 2?
True
Let x(u) = 5 + 13*u**3 - 3*u**2 - 2*u + 6*u**2 - 3. Does 19 divide x(2)?
True
Let x = -1326 + 1947. Is x a multiple of 13?
False
Let u be (-9)/54 - 37/(-6). Suppose -2*s + u*s = 52. Is 8 a factor of s?
False
Let o(f) = -14*f - 16. Let q be o(-8). Does 29 divide (-3)/8 - (-9828)/q?
False
Let b = 159 - -314. Is b a multiple of 11?
True
Let f(b) = 28*b + 8*b + 1 - 14. Is f(2) even?
False
Suppose 2 = 3*n - g - 7, 3*n + 5*g = -9. Suppose 5*h - 36 = 2*h. Let x = h - n. Is 10 a factor of x?
True
Suppose 4*h = 33 - 13, -3*l = h - 35. Let a(i) = -i**3 + 11*i**2 + 6*i - 3. Does 32 divide a(l)?
False
Let r(h) = h**3 + 14*h**2 + 15*h - 6. Does 17 divide r(-9)?
False
Suppose -16 = -4*k + 2*o + 2, 0 = -3*o - 3. Suppose -m - k*w = 2*m - 429, -138 = -m - 3*w. Is 21 a factor of m?
True
Suppose 30*x - 11793 = 4317. Is 11 a factor of x?
False
Let p(f) = -2*f + 18. Let z(d) = d**3 + 3*d**2 + 2*d. Let q be z(-2). Suppose -2*k + 2*x = -q*k, 0 = -5*k + 2*x. Is 7 a factor of p(k)?
False
Let o be (2 - 3)/1 - (16 + -20). Suppose 10*r + o*r = 767. Is 26 a factor of r?
False
Suppose 0 = w + 2*z - 7, -w - 4*z + 20 = 3*w. Does 4 divide (w + -4)/((-1)/13)?
False
Suppose -3*l + 88 = -68. Let z be 294/8 - 7/(-28). Let q = l - z. Does 5 divide q?
True
Let o = -4502 - -9398. Is o a multiple of 34?
True
Let h be (-4)/2 - -3 - 0 - -270. Let c = h + -97. Does 43 divide c?
False
Let n = -41 - -23. Does 15 divide 3/2*(-1284)/n?
False
Let l = -173 + 297. Is 59 a factor of l?
False
Let v(i) = 17*i**2 + i + 11. Is v(-3) a multiple of 7?
True
Suppose -c = t - 20, -c = 3*t + t - 32. Let f be (c/3)/((-6)/(-9)). Does 15 divide -5 - f/(-2) - -46?
True
Let p(j) = -4*j**2 + 6*j**2 + 0*j - 2 + 0*j - 2*j. Let w be p(-1). Suppose -3*l - w*l + 206 = u, 4*u = 2*l - 78. Is 15 a factor of l?
False
Suppose 3*b = 4*w - 20, -w - 12 = -7*b + 2*b. Does 4 divide w?
True
Suppose -2*i - p + 40 = 0, 2*i = 4*p - 14 + 74. Let x = -19 + i. Suppose x + 5 = 2*k. Does 4 divide k?
True
Let z(c) = -c**3 - 6*c**2 - c. Let k be z(-6). Suppose 4*u = k + 26. Suppose 0 = 5*b + 2*j - 78, 3*b - b - u = 5*j. Is 4 a factor of b?
False
Is 8 a factor of (-2 + 3220/(-25))/((-2)/10)?
False
Let v = -13 - -18. Let j(x) = x**2 - 4*x - 2. Let t be j(v). Suppose 4*a = -5*g + 201 + 44, -t*g = -4*a - 115. Is g a multiple of 24?
False
Let n = 465 - -267. Is n a multiple of 12?
True
Suppose 0 = -j + 21 - 3. Suppose -3*a = 3*s - 24, 5*s - j = 4*s - 3*a. Suppose -z + 10 = -s*l, 3*l = -z - l + 31. Is z a multiple of 19?
True
Let a(y) be the second derivative of 8*y**3/3 + 5*y**2 + 9*y. Does 32 divide a(9)?
False
Suppose -5*v + 17 = -4*d - 422, 5*d + 518 = -4*v. Let i = 158 + d. Is i a multiple of 8?
False
Let j(x) = 2*x**3 + 4*x**2 - 4*x + 2. Let o be j(2). Suppose 5*l - 8 = 3*z - 35, z = -4*l + o. Suppose -g = -5*a + 75, -z - 38 = -2*a - 4*g. Does 16 divide a?
True
Suppose -22*f = -34*f + 3192. Is f a multiple of 19?
True
Let w(y) = -y**3 + 4*y**2 - 4*y - 12. Let i be w(6). Let k = -62 - i. Is k a multiple of 9?
False
Let z(f) = 2*f + 2. Let x be z(-1). Does 14 divide (-3 + x)/(6/(-56))?
True
Let j = -602 - -1065. Let i = -310 + j. Is i/15 + 3/(-15) a multiple of 7?
False
Suppose -80 = 3*w - f, -2*w + 3*f - 4*f - 45 = 0. Let p be 2/(-9) + w/9. Is 10 a factor of p + (-8)/(-4) - -51?
True
Suppose -4*d + m = -2*m - 1227, -d = 4*m - 283. Is 16 a factor of d?
False
Let o(i) be the third derivative of 1/8*i**4 + 0 - 13/6*i**3 + 3*i**2 + 0*i. Is 6 a factor of o(10)?
False
Let a be 2/(-12) - 628/(-24). Let c(n) = -33*n - 1. Let i be c(1). Let d = a - i. Does 25 divide d?
False
Suppose 3*x = c + 528, 704 = -2*x + 6*x - 2*c. Does 2 divide x?
True
Suppose -1548 = -43*d + 39*d. Is 18 a factor of d?
False
Is 14 a factor of 4538/4 - 5/10?
True
Let l(g) = 50*g**2 - g. Let d(q) = -q**2 + 5*q + 5. Let i be d(6). Is 17 a factor of l(i)?
True
Let q(j) = 315*j**2 - 51*j + 2. Is 48 a factor of q(2)?
False
Let r(v) be the first derivative of v**3 + 5*v**2/2 + 2*v + 8. Let z be r(4). Suppose h - z = -h. Is h a multiple of 11?
False
Let c(j) = -j**3 + 20*j**2 - 5*j + 23. Let y be c(19). Suppose y = 4*n + 13*n. Is n a multiple of 3?
False
Suppose 8*b - 9*b + 51 = -a, 2*b + a - 108 = 0. Let x be ((-5)/3)/((-1)/6). Let m = b - x. Does 11 divide m?
False
Let i(d) = -58*d - 73. Is 26 a factor of i(-5)?
False
Let t = -2526 - -4724. Is t a multiple of 14?
True
Let g(x) = 21*x**2 + 24*x - 22*x + x**3 - 24 + 2 - 2*x**3. Does 8 divide g(21)?
False
Suppose -4*b = 8 - 76. Suppose -6 = 3*i, h - 2*i - b = 30. Is h a multiple of 16?
False
Let n(a) = 75*a**2 - 37*a + 208. Is 116 a factor of n(6)?
False
Suppose -40*p + 54*p - 23324 = 0. Is 10 a factor of p?
False
Let y(a) = 8*a - 51. Let f be y(15). Let b = f - 66. Is 3 a factor of b?
True
Suppose 5*x - 8 = 2. Suppose 5 = -s + x. Is 14 a factor of ((-11)/s + -3)*81?
False
Let d = -8 + 8. Suppose d*n + 2 = n. Suppose -3*g - n*g = -70. Is 7 a factor of g?
True
Let d = -1066 + 2746. Does 10 divide d?
True
Let x(b) = 15*b - 64. Is 11 a factor of x(16)?
True
Let w be ((-7)/(-4) - 1)*-20. Let q(k) = -k - 18. Let g be q(-13). Is ((-38)/g)/((-6)/w) a multiple of 10?
False
Let h(g) = -g**3 + 6*g**2 - 23*g. Is 122 a factor of h(-10)?
True
Suppose -5*b + 4*b + 16 = 0. Let v be (b/20)/1*5. Is ((-13)/v - 3)*-4 a multiple of 11?
False
Suppose 4 = 4*j, -59*j = q - 62*j - 3232. Is q a multiple of 91?
False
Let y be (2/(-1) - 3) + 10. Suppose 10 = -y*b, -5*b + 29 = 4*i - 21. Is 14 a factor of i?
False
Suppose 338 = 2*l - 0*l. Suppose 100 = 2*a - 2*n - 18, -3*a + l = -5*n. Suppose 4*k = k + a. Is k a multiple of 10?
False
Suppose 0*g = -6*g + 12. Suppose -g*v + 51 = -21. Is 12 a factor of v?
True
Let p(v) = -v**2 + 2*v + 3. Let l be p(-3). Let s(w) = -2*w - 1. Let i be s(l). Suppose 3*k = -5 + i. Is k a multiple of 3?
True
Suppose -l - l + 588 = 0. Let m be l/8 - 1/(-4). Suppose 2*z = 4*w - 13 + m, -z - 5*w = -12. Is 4 a factor of z?
True
Let p(v) = v**2 + 2*v + 1. Let d be p(-2). Suppose -2*x + d - 13 = 5*m, -5*m + 2*x - 8 = 0. Is ((-7)/m)