actor of j(r)?
False
Let v = -2 + -1. Is 43 + v/((-3)/1) a multiple of 13?
False
Let m be (-11)/11 + 0 + -4. Does 7 divide (-4)/(-10) - 73/m?
False
Let j(a) = -a**2 + 15*a - 18. Is 11 a factor of j(8)?
False
Suppose -5*p = -p - 32. Suppose p = -0*q + 4*q. Suppose 5*l = 0, j = 4*l + 24 - q. Is 8 a factor of j?
False
Let q = 47 + -123. Let m be q/(-18) + 4/(-18). Suppose o = -2*i + 69, 186 = i + m*i - 2*o. Does 12 divide i?
True
Let t be ((-4)/(-10))/((-2)/(-10)). Suppose -9 = -t*b + 1, -g + 5*b - 21 = 0. Suppose g*m = 108 - 28. Does 7 divide m?
False
Let s = 18 + -9. Let a(q) be the first derivative of 2*q**3/3 - 7*q**2 + 13*q - 2. Does 17 divide a(s)?
False
Let a be ((-24)/(-15) + -2)*5. Is 1296/28 + a/7 a multiple of 16?
False
Suppose -2*m + 24 - 3 = y, 3*y = m + 56. Is 19 a factor of y?
True
Suppose m - 2 = 3. Let d be -1*(m*-3)/3. Suppose 0 = -d*j - q + 135, -25 = -q - 4*q. Does 10 divide j?
False
Let r(s) = s**2 - 10*s + 14. Is r(11) a multiple of 25?
True
Let x(m) = m**3 - 3*m**2 - 2*m - 2. Is 4 a factor of x(4)?
False
Suppose 0 = 2*h - 49 - 3. Is 13 a factor of h?
True
Suppose 3*f = f + 262. Let b = f + -93. Is 19 a factor of b?
True
Suppose -3*i + 4*h - 7 = 0, 0 = 3*i - 5*h - 4 + 9. Let g = 21 + i. Suppose m + q = 11, 5*m = 2*q + 32 + g. Does 5 divide m?
True
Suppose 15 = -2*i - 5*v - 8, 4*v = -4*i - 28. Let g(z) be the third derivative of -z**4/6 + 5*z**3/6 - z**2. Is 13 a factor of g(i)?
False
Suppose -1 = 3*d + 2, 4*a - 3*d = 95. Is 23 a factor of a?
True
Suppose -2*j = -h + 3*h, 5*j - 2 = -3*h. Let l = 5 - j. Does 7 divide (7/l)/((-1)/(-4))?
True
Suppose -2*g - 8 = 0, 0 = 4*a - 0*g - 5*g - 68. Suppose -c - 3*m + 12 = -2*c, 0 = -2*c - 3*m + a. Is 3 a factor of c + (-1)/((-2)/6)?
True
Let g(j) = 2 - 3 - 5 - 12*j + 3*j. Let u = 14 + -18. Is 11 a factor of g(u)?
False
Suppose -4*a = -6*a + 70. Is a a multiple of 13?
False
Suppose 5*i + 3*w = 393 - 107, 2*w = -3*i + 172. Suppose -k - i = -3*k. Is k a multiple of 10?
False
Suppose 0 + 3 = d - w, 0 = -4*d - w + 12. Is d a multiple of 2?
False
Suppose -5*c - 5*s + 2*s + 22 = 0, 3 = -3*s. Suppose -5*b - 2*z + 14 + 7 = 0, c*z = -10. Does 2 divide 14/b - 2/(-10)?
False
Let y(q) = q**3 + 8*q**2 + 4*q - 1. Let p be y(-7). Let r = p + -12. Does 3 divide r?
False
Let j = -19 - -27. Is j a multiple of 4?
True
Let u be 6*(-3)/(9/(-2)). Suppose 3*v - u = v. Is v + (2 - 6) - -32 a multiple of 10?
True
Let t(b) = b**3 + 5*b**2 + 7*b - 1. Suppose 20 = -3*w - w. Let u be t(w). Let n = -22 - u. Is 7 a factor of n?
True
Let a be (-19)/(-7) + 6/21. Suppose 3*o + 3*s - 23 - 13 = 0, -54 = -5*o - a*s. Is 9 a factor of o?
True
Let i be 15/6 + (-1)/2. Is 1/((-1 + i)/82) a multiple of 24?
False
Let w = 12 - 6. Let q be (1 + -2)/(2/w). Let u(k) = -2*k + 4. Is 5 a factor of u(q)?
True
Suppose 4*b + b - 26 = -4*f, 0 = 4*b + f - 23. Is b a multiple of 3?
True
Suppose -3*g = -77 - 4. Let o = g - 17. Is o a multiple of 9?
False
Let f(b) = b - 14. Does 4 divide f(18)?
True
Let n = 140 + -258. Is 10 a factor of n/(-6) + 8/(-12)?
False
Suppose 5*k + 139 = 3*a - 148, 191 = 2*a - 3*k. Does 11 divide a?
False
Suppose 8*i = 11*i - 180. Is i a multiple of 18?
False
Suppose o + 4*i = -o + 358, -2*i - 6 = 0. Does 37 divide o?
True
Is 18 a factor of 36 - (1 - (1 + 0))?
True
Let t(g) = -g**3 - 9*g**2 - 18*g - 10. Suppose 7*a = 6*a - 7. Is t(a) a multiple of 6?
True
Let h = 14 + -9. Suppose -h*c - d = -35, 2*c - d = 3*d + 14. Is c even?
False
Let p(r) be the second derivative of 17*r**3/6 + r**2 + 4*r. Let f be p(-2). Let v = 62 + f. Is v a multiple of 10?
True
Let y be ((-8)/20)/((-1)/(-5)). Is y/(2 - (-42)/(-20)) a multiple of 11?
False
Suppose 0 = -j - 5 - 0. Is (j - 0)*(-18)/15 a multiple of 2?
True
Let n(h) = -h**2 - 33*h + 3. Is 10 a factor of n(-28)?
False
Let u be (-2)/2*15/(-3). Suppose u*j = -3 + 28. Suppose 2*k = 3*q - 6 + 25, -j*q = -3*k + 28. Is 11 a factor of k?
True
Suppose 0 = -0*o + 3*o + 4*g - 420, -3*o + 2*g + 438 = 0. Does 18 divide o?
True
Let h(c) = -c + 10. Let b be h(8). Suppose -y = -b*y + 68. Suppose -3*x + y = x. Does 7 divide x?
False
Let l(j) = -j**3 + 8*j**2 + 10*j + 13. Let q be l(9). Let x = 0 - 0. Suppose -4*y + q = b, 0*y - 2*y + 4*b + 2 = x. Is y even?
False
Is 19 a factor of (21/14)/((-2)/(-40))?
False
Let d(m) = -m**3 + 5*m**2 + 8*m. Is d(6) a multiple of 12?
True
Let w = -22 - -22. Suppose 0*b + 4*b - 168 = w. Is b a multiple of 14?
True
Let k be -3 - -2 - 2*-3. Suppose -65 = -3*o - 5*j, -41 = -k*o + 2*o + j. Is 5 a factor of o?
True
Suppose 0*n = -5*n + 180. Let o be (-8)/n - 6/(-27). Suppose -4*d + 6*x = x - 125, -5*d + x + 130 = o. Is 11 a factor of d?
False
Suppose -m + 0 = -y - 7, 11 = 3*y + 5*m. Is 15 - (-3)/y*-1 a multiple of 6?
False
Let p = 37 - 21. Is 16 a factor of p?
True
Let j(i) = 3*i - 6. Let c be j(4). Suppose c*l - 111 = 3*l. Suppose -4*s + 2 - 10 = 0, -3*a + 5*s = -l. Does 9 divide a?
True
Suppose -3*d + 9 = 5*m - 1, 3*d - m = 16. Suppose 3*s + k + 0*k = 101, 5*k = -d. Is 17 a factor of s?
True
Suppose -4*x - 6*j + 3*j = -23, -4*x - 2*j = -22. Suppose x*z - 52 - 18 = 0. Is z a multiple of 12?
False
Let p(q) = q**2 - q + 5. Let m be p(5). Suppose 2*k - 3*k = -2*s + m, 37 = 2*s - 5*k. Is s a multiple of 3?
False
Suppose -4*x + 62 + 170 = 0. Suppose -3*z + x = -4*q, 0 = 5*z - q - 2*q - 115. Does 5 divide z?
False
Let o(w) = -w**3 - 8*w**2 + 10*w + 13. Let z be o(-9). Suppose v - z*v = -42. Is v a multiple of 14?
True
Let q = -3 - -3. Suppose -4*r = -q*r - 72. Is 9 a factor of r?
True
Let h be (-39)/(-9) + 1/(-3). Let z(w) = 3*w - 1. Is 8 a factor of z(h)?
False
Suppose 23*w - 22*w - 61 = 0. Does 35 divide w?
False
Let w(s) = s**3 + 2*s**2 - 3*s + 4. Let i be w(-3). Suppose -12 = -i*n, -f + 87 = f + n. Is 13 a factor of f?
False
Suppose -4*c + 52 = -2*s + 146, 93 = 2*s - 5*c. Is s a multiple of 15?
False
Let n = 106 + -68. Is n a multiple of 10?
False
Does 5 divide (-163)/(-6) - (2 + 33/(-18))?
False
Let n(u) be the first derivative of 7*u**2/2 - 20*u - 6. Does 8 divide n(10)?
False
Suppose 3*p + 2*g + 134 = 7*p, 4*g + 51 = p. Is p a multiple of 28?
False
Let d(b) = 10*b**2 - 3*b + 3. Is 21 a factor of d(3)?
True
Suppose -5*h + 963 = 4*j, 269 = -4*h - j + 1035. Is 20 a factor of h?
False
Suppose f = -2*f - 4*p + 30, 0 = p - 3. Suppose 3*l - l = f. Suppose -4*q = -2*x - 3*x + l, 2*x = -4*q + 18. Is q a multiple of 2?
False
Let p be (0 + -3)/((-12)/668). Suppose -5*m = t - p, -m + 93 = 2*m - 3*t. Does 14 divide m?
False
Suppose 5*w + 2 - 12 = 0. Suppose -3*k = 2*g - 5*k - 84, -5*k - 58 = -g. Suppose z + w = g. Is 13 a factor of z?
False
Let r be 114/7 + (-4)/14. Suppose 0 = -2*j - 0 + r. Is 8 a factor of j?
True
Suppose -3*s = 4*v - 2*v - 358, 5*v + 245 = 2*s. Is 20 a factor of s?
True
Suppose 1 = 2*z - 1, 5*c + 4*z - 29 = 0. Suppose c*v - 28 = 3*l + 13, 3*v - 36 = -2*l. Is 10 a factor of v?
True
Let w = 230 + -122. Is w a multiple of 14?
False
Let h(g) be the first derivative of 5/2*g**2 - 4*g - 4. Is 16 a factor of h(4)?
True
Let n(o) = -o**3 - 5*o**2 - 4*o. Suppose -4*a - 6 - 10 = 0. Let l be n(a). Suppose l = -5*c - 1 + 26. Is c a multiple of 2?
False
Let x(s) = -s**2 - 6*s + 9. Let r be x(-7). Let c = -4 - -7. Suppose -r*h = -c*h + 40. Is 15 a factor of h?
False
Let g(x) = -x**3 - 7*x**2 - 11*x - 8. Let i be g(-7). Suppose -4*v + 48 = 5*y, 6*v - i = v - 4*y. Is 9 a factor of v?
False
Suppose 5*k = -n - 0*n + 79, 0 = -2*n - 2. Is k a multiple of 5?
False
Let l(w) = -w**3 + 7*w**2 + 4*w + 5. Let v = -2 + 9. Does 11 divide l(v)?
True
Let f = 11 - 15. Is 10 a factor of (-750)/(-24) + 1/f?
False
Let t be -2 + (-2*18)/(-4). Let z = 3 - 4. Let p = t - z. Does 3 divide p?
False
Suppose -m = 3*m + 12. Let v(l) = -39*l - 1. Does 36 divide v(m)?
False
Suppose 3*f + y - 76 = -f, -f + y = -14. Let b = -100 + 184. Suppose b = 3*i + f. Is i a multiple of 11?
True
Suppose -v = v - 80. Let c = v + 0. Suppose -2*u + c = -28. Does 17 divide u?
True
Let b(l) = 4*l. Let y be (-5)/(-4) + (-4)/16. Suppose 0 = -s + 2 + y. Is b(s) a multiple of 12?
True
Suppose 117 - 10 = -4*y + x, 0 = -y - 5*x - 53. Let j = y + 125. Does 27 divide j?
False
Suppose -66 = -4*k + 58. Is 16 a factor of k?
False
Suppose 2*o - 24 = -2*o. Is 6 a factor of o?
True
Let c(x) = 2*x**3 - 4*x**2 - x. Let b be c(4). Let d be (