factor of u?
False
Let r(p) = -p + 3. Let o be r(6). Is 8 a factor of o*8/15*-10?
True
Let i = 34 + 43. Is 6 a factor of i?
False
Is 127*((-12)/3)/(-4) a multiple of 23?
False
Let h(c) = c**3 + 9*c**2 + 8*c - 9. Let v be h(-7). Suppose 1 = -p - k, 0*p + 4*k = 3*p - 32. Suppose 27 = p*b - v. Does 15 divide b?
True
Suppose 0 = 3*t + 2*t + 2*h - 347, -341 = -5*t + 4*h. Is 23 a factor of t?
True
Let a(l) = l**3 + 7*l**2 + 3. Let o be a(-4). Let h(j) = -116*j - 1. Let u be h(-1). Suppose -4*c + u = 5*y, 0 = -4*y + 5*c - o + 184. Does 16 divide y?
False
Suppose 0 = x + 4*v - 88, -189 = -4*x + x + 3*v. Does 17 divide x?
True
Suppose o - 5 = 7. Let z be (2 - 10) + 1/1. Let t = z + o. Is t a multiple of 5?
True
Suppose -v - 2*v = 4*r - 25, 25 = 3*r - 4*v. Let s = -11 + r. Is ((-2)/s)/((-4)/(-24)) a multiple of 3?
True
Suppose 0 = -2*f - 2*n - 6, 1 = -2*f - n - 0. Suppose -k + r + 15 = -f*r, -4*r + 43 = k. Is k a multiple of 7?
False
Suppose 141 = 4*m + 21. Does 16 divide m?
False
Suppose 3*v - 210 = -45. Suppose v = m + 4*m. Suppose m = 4*g - 37. Is g a multiple of 12?
True
Is 6 a factor of (-28)/49 - 218/(-14)?
False
Let s(y) = -y + 12. Is s(3) even?
False
Let i = 193 + 50. Is i a multiple of 15?
False
Let r = 12 + -10. Suppose -r*l - 6*p + p + 45 = 0, -2*p + 82 = 4*l. Does 4 divide l?
True
Let o be (-4)/(-10) - 65/(-25). Suppose 95 = o*f + 5. Does 10 divide f?
True
Suppose s = -3*s. Suppose -2*m - 3*m + 15 = s. Suppose 5*v - m = -2*u - 2, -4*u - 2*v = -26. Is 4 a factor of u?
True
Let k = 80 - 31. Let o = k - 25. Does 12 divide o?
True
Is 31 a factor of 4334/14 - (38/(-7) + 5)?
True
Let o = 1 + 1. Let r(s) = 5*s**2 - o + s**3 + 2 - 8*s. Is r(-6) a multiple of 12?
True
Suppose 5*c = c + 12. Suppose c*g - g = 28. Is 7 a factor of g?
True
Let d(f) = f**3 - 9*f**2 - 13*f - 2. Let n be d(11). Suppose -4*p + 2*a = -0*a - 98, -4*p + a = -n. Does 12 divide p?
True
Let v = 1 + -2. Let f be 3*(-3)/9*3. Is (-9)/f*v - -33 a multiple of 11?
False
Let m = -13 - -15. Suppose -m*t + 6*t = 196. Does 30 divide t?
False
Let m = -1 + 5. Let f = 14 + m. Does 6 divide f?
True
Let x(n) = -n**3 + 8*n**2 - 8*n + 2. Is x(5) a multiple of 7?
False
Let l(i) = 5*i - 4. Let q(h) = 9*h**2 - 1. Let m be q(1). Let w be l(m). Suppose w = 5*t - t. Does 7 divide t?
False
Let c(u) = -u + 10. Does 3 divide c(3)?
False
Let d(l) = -l**3 - 6*l**2 + 10*l + 12. Let s = -24 + 16. Is d(s) a multiple of 24?
False
Let l(m) = m**3 + 5*m**2 - 8*m - 5. Let t be l(-6). Let r(o) = -o**3 + 7*o**2 + o + 2. Is 9 a factor of r(t)?
True
Is 11 a factor of 9 + 0 - 2/(-1)?
True
Suppose 10 = -j + 6*j. Let i be (-1)/(2/(-4 - j)). Suppose -i*v + 37 = -41. Is v a multiple of 9?
False
Let i(p) = 3*p**3 + p. Suppose -w = -4*w - 3. Let o be i(w). Does 14 divide (6/o)/(12/(-208))?
False
Suppose 3*j - 390 = j. Is 48 a factor of j?
False
Let s be (4/(-6))/((-4)/54). Suppose s = -5*a + 179. Is 14 a factor of a?
False
Suppose b = -2*b - 4*x + 132, -4*x = -2*b + 68. Is 14 a factor of b?
False
Let z = 136 + -58. Suppose -5*s + 2*s = i - 53, 5*i - 4*s = 227. Suppose -5*j + i = -z. Does 13 divide j?
False
Let s(d) = -4*d - 58. Let v be s(-15). Let i(g) = 107*g**2 - g - 1. Let o be i(-1). Suppose 0 = v*r - 8, -23 = 5*q + r - o. Is q a multiple of 10?
False
Let h be 2*-1*(-1 + -1). Suppose 25 = -5*b, 3*b + h + 18 = x. Is 7 a factor of x?
True
Let h = -48 + 59. Does 2 divide h?
False
Let u(s) = 5*s**3 + 8*s - 4*s**3 + 0 - 8*s**2 - 4. Let i be u(7). Suppose -z + 12 = i*z. Is z a multiple of 3?
True
Let c = 3 + 0. Let p be (-1*39)/(c/(-4)). Does 10 divide (6/4)/(3/p)?
False
Let l(r) = -3*r**3 + r**2. Let u be l(-1). Suppose 0 = -0*c + u*c - 124. Is 7 a factor of c?
False
Let k = -60 - -92. Is k a multiple of 8?
True
Suppose -28 = -o - 9. Is o a multiple of 4?
False
Let l(u) = u**3 + 15*u**2 + 18*u - 2. Is 31 a factor of l(-13)?
False
Does 5 divide (-6 + (-12)/(-4))*140/(-6)?
True
Suppose -5*h - 163 = -703. Is 18 a factor of h?
True
Let g(c) = c**2 + 2*c - 3. Is g(-5) a multiple of 4?
True
Suppose 2*t = -3*x - 19, -2*t - 4*x + 7 = 29. Let r = 0 - t. Suppose r*u = 71 - 6. Does 10 divide u?
False
Let l be ((-6)/8)/(3/(-48)). Is 11 a factor of (-4 - -1)/((-1)/l)?
False
Let x(q) = -6*q + 6. Let n(j) = -2*j**2 + 3*j - 3. Let r be n(2). Is x(r) a multiple of 16?
False
Suppose 2*o - 5*o + 18 = 0. Let m be ((-1)/(-3))/(o/270). Suppose h - 4*q + 9*q = m, -4*h + 2*q + 104 = 0. Is 12 a factor of h?
False
Let l(n) = n**3 + 6*n**2 - 7*n + 4. Let v be l(-7). Suppose 24 = v*o - 24. Does 7 divide o?
False
Let i be -40*6/(-8)*9. Suppose 8*m = 2*m + i. Does 9 divide m?
True
Let k(a) = -a - 4. Let d(j) = 3*j - 4*j - 4*j - 20. Let l(y) = 2*d(y) - 11*k(y). Does 6 divide l(3)?
False
Let d be ((-4)/8)/((-1)/70). Suppose -4*q - d = -7. Is 5 a factor of ((-20)/(-14))/((-1)/q)?
True
Let r = -8 + 18. Let g(i) = i**2 - 9*i - 8. Is g(r) even?
True
Let x(y) = -y - 3. Let a be x(-7). Let j = a + 14. Is j a multiple of 9?
True
Let k(j) = 4*j - 3. Let s be k(2). Let f(n) = 5*n. Let i be f(s). Suppose -2*g + d = -63, 2*d = -2*g + 35 + i. Is 11 a factor of g?
False
Let k be (1 - 3) + (2 - 0). Suppose -m = -k*m - 28. Does 13 divide m?
False
Let r = 3 + 27. Is 15 a factor of r?
True
Suppose 2*o - 5 = -q, 4*q + 0*o + 2*o = 8. Let g = q + 7. Is g a multiple of 4?
True
Let c(d) = -5*d. Let s(b) = -2 + b**3 - 6*b + 6*b + b**2. Let n be s(0). Is 5 a factor of c(n)?
True
Let h(d) = -68*d. Does 17 divide h(-2)?
True
Suppose -4*l - 3*m = 7, -2*l - 1 - 1 = 2*m. Let s be l/(-14) + 2/(-7). Suppose s*g - g = v - 18, 2*g = -5*v + 36. Does 10 divide g?
False
Let j = 174 - -183. Is j a multiple of 46?
False
Let h = -4 + 9. Suppose 3 = 4*y - h. Suppose s = -y*s + 60. Is s a multiple of 9?
False
Let v(f) = f**2 + 2*f + 1. Let p(b) = 4*b**2 - 7*b + 8. Let u(j) = -4*j**2 + 6*j - 7. Let o(z) = 6*p(z) + 7*u(z). Let k be o(1). Does 8 divide v(k)?
True
Let k = 158 + -23. Is k a multiple of 32?
False
Let y(t) = -t**3 + 7*t**2 - 4*t - 5. Let s be y(7). Let x = -17 - s. Is x a multiple of 6?
False
Let c = -9 + 17. Let f(j) = j**3 - 8*j**2 + 6*j + 3. Is f(c) a multiple of 17?
True
Suppose 11*m + 70 = 13*m. Is 7 a factor of m?
True
Let v(q) = -2*q + 14. Let m be v(6). Let l = m - -18. Is l a multiple of 10?
True
Is 11 a factor of 5 + -7 - (-58 - -2)?
False
Let t = 14 + -5. Is 18 a factor of 47 + 1 + (-18)/t?
False
Let d(w) = 6*w + 6 - 4*w - 2 + w. Is d(4) a multiple of 16?
True
Suppose -2*u - 3*u - 25 = 0. Let k(m) = -m - 4. Let c be k(u). Is 2 a factor of c/1 + (2 - -1)?
True
Let i = 7 - 15. Let y(z) = -z**2 - 10*z - 8. Is y(i) a multiple of 4?
True
Let d(v) = -v**2 + 2*v + 3. Let m(w) = -w**2 - w - 1. Let h(a) = -d(a) - 2*m(a). Let i be h(-1). Does 13 divide ((-26)/(-5))/(i/10)?
True
Let h(i) = -i**2 + 3. Let j be h(0). Let z(v) = v**2 + 2. Is 6 a factor of z(j)?
False
Suppose w + 30 = -4*w. Let g(y) be the third derivative of y**6/120 + y**5/12 - 7*y**4/24 - y**3/6 + 6*y**2 + y. Is g(w) even?
False
Is 87/4 + (-2)/(-8) a multiple of 11?
True
Let j = -1 + 5. Let s be (-2)/8 - 6/(-24). Let n = j + s. Is n a multiple of 3?
False
Suppose -4*u - 4*l + 164 + 32 = 0, 3*l = 3. Does 13 divide u?
False
Let o = 3 + -7. Let x(t) = -10*t + 7. Is 9 a factor of x(o)?
False
Let q(d) = d**3 - d**2 - 2. Let h be q(4). Let l be (h/4)/((-1)/(-2)). Suppose -13 = -3*r + l. Is 5 a factor of r?
False
Suppose -4*q + 124 = s, 4*s - 2*s = q - 22. Is 10 a factor of q?
True
Suppose 49 - 217 = -3*t. Let i = -28 + t. Suppose -36 - i = -4*u. Is 16 a factor of u?
True
Let r = -18 - -7. Let j = 16 + r. Is j a multiple of 5?
True
Let d(v) = v + 13. Let h be d(-9). Suppose -h*p + 0*p + 3*o = -93, -4*p + 100 = 4*o. Is 8 a factor of p?
True
Suppose -21 = -h + 5*m, 0 = -h - 4*m + m - 3. Let w(l) = l - 3. Let b be w(h). Suppose -4 = b*v - 130. Is v a multiple of 21?
True
Is 4 a factor of (2/(-5))/((-15)/525)?
False
Suppose -2*z = -0*z - 372. Suppose -3*w + z = -117. Does 26 divide w?
False
Suppose -774 = -2*h - 4*p, 8 + 1526 = 4*h + p. Does 28 divide h?
False
Let k(z) = -2 + 33*z**2 + z + 2. Suppose -3*r - 5*t - 22 = 0, 3*r + 2*t + 4 + 3 = 0. Is k(r) a multiple of 19?
False
Let y be 1 + 2*-1 - -4. Let p(v) = v**2 + v - 1. Let d(h) = 4*h**2 - 2*h + 1. Let q(i) = d(i) - 2*p(i). Does 9 divide q(y)?
True
Let t(o) = 6*o + 77. Is t(