e 158/(-4) + 8/16. Is (-129)/(-2) - z/26 a multiple of 22?
True
Suppose 4*x + 5*p - 115 = -42, 0 = -3*x + 2*p + 49. Suppose 14*y - x*y = -66. Is 10 a factor of y?
False
Let j(q) = -8*q**2 - 2 - q + 18*q**2 + q**3 - 12*q**2. Is j(4) a multiple of 12?
False
Does 31 divide (128 - -8) + 1 + -3 + 0?
False
Suppose -2*h = 6*p - 2*p - 356, 5*p + 545 = 3*h. Is h a multiple of 18?
True
Suppose -5*s + 93 = 2*i, -2*s + i + i = -40. Is s a multiple of 19?
True
Suppose 4 = -3*r + r + 4*z, -3 = -3*z. Let y be r + (3 + -1 - 0). Is 11 a factor of ((-3)/y)/((-3)/44)?
True
Suppose 1 = -2*b - 5. Let w = 2 + b. Does 5 divide w*2 + 0 + 8?
False
Suppose 2*o - 30 = -0*o. Let r = 23 - o. Is r a multiple of 7?
False
Suppose 2*j - 3 = -4*d + 9, 0 = 3*j + 2*d - 26. Is j even?
True
Suppose 2*r + 1384 = 10*r. Does 12 divide r?
False
Let v be (-4)/(-10) - (-168)/(-20). Let s be v/3*(-9)/6. Suppose s*i - 70 = 34. Is 14 a factor of i?
False
Let b(y) = y**3 + 2*y + 105. Does 7 divide b(0)?
True
Suppose -5*a + w + 32 = 0, -2*a + 10 = -0*a + w. Is 11 a factor of a/(-27) - 101/(-9)?
True
Suppose 3*y + 1102 = 5*z, -2*y + 0*y = 2*z + 708. Let n be 1/3 + y/(-3). Suppose 0*w = 4*s + 2*w - 158, 3*s + 2*w - n = 0. Does 15 divide s?
False
Let f be (-55 - -1)*2/(-4). Suppose 0 = -2*y + y + f. Is 9 a factor of y?
True
Let v(a) = -3*a - 6. Let x = -4 + 4. Let m = -4 + x. Is v(m) a multiple of 4?
False
Let d(a) = -a**3 + 7*a**2 - 7*a + 9. Let c be d(6). Suppose 5*t - 27 = c. Does 6 divide t?
True
Suppose 4*f - 6 - 2 = 0. Let d = 9 + f. Does 8 divide d?
False
Let u = 22 - 15. Let h(p) = -p**3 + 9*p**2 - 2*p + 5. Does 26 divide h(u)?
False
Suppose -3*x + 19 = 1. Suppose 0*m = -m + x. Does 2 divide m?
True
Let w = -6 - -9. Suppose -s - 140 = -w*s. Does 14 divide s?
True
Suppose c - 69 = 4*o, 4*o + c = o - 43. Let u(s) = -23*s**3 - s**2 + 2*s - 1. Let x be u(1). Let d = o - x. Does 7 divide d?
True
Suppose -9 = -t + 2*t + 4*n, -3*n - 6 = t. Does 15 divide 28/(3*1/t)?
False
Suppose 0 = -5*w + 2*w + 6. Suppose 0 = x + x + w*u - 48, 4*u = 4. Is 11 a factor of x?
False
Suppose 0 = 4*v - 102 - 38. Let x = 78 - v. Let m = x - 5. Does 15 divide m?
False
Suppose 41*y - 42*y = -156. Is 29 a factor of y?
False
Suppose 59 - 19 = -5*v. Let f = v - -27. Is f a multiple of 19?
True
Let r(m) be the third derivative of 0 + 1/2*m**3 - m**2 + 1/120*m**6 + 1/8*m**4 + 0*m - 2/15*m**5. Is r(8) a multiple of 10?
False
Does 50 divide ((-3 - -1)/(-1))/((-2)/(-50))?
True
Let x be (-27)/6 + (-2)/4. Suppose -2*s = -4*s + 26. Let a = x + s. Does 5 divide a?
False
Let p(f) be the first derivative of -1 + 1/4*f**4 + 4/3*f**3 + f - 3/2*f**2. Is p(-4) a multiple of 13?
True
Let l(u) = 2*u**3 + 7*u**2 - 6. Let w be l(-5). Let a be 4/6*w/3. Is (24/a)/((-2)/6) even?
True
Let q be 2 + 9/((-6)/(-2)). Suppose 2*k - 29 = -5*c, -k - 5*c - 43 = -q*k. Let n = -4 + k. Is n a multiple of 8?
True
Is 21 a factor of (-7)/(2/(-6) + (-15)/(-54))?
True
Let b(u) = u + 30. Suppose -3*i + 6 = 5*w, -5*w = 5*i - 13 + 3. Let c be b(w). Suppose -3*g = -93 + c. Does 18 divide g?
False
Let d = -9 + 17. Is 2 a factor of d?
True
Suppose -16*f + 11*f + 105 = 0. Is f even?
False
Let y = -2 + 4. Does 8 divide 0 + 6 + y + 0?
True
Let w(m) = 2*m**2 - m + 3. Suppose 0 = 2*p - 5*p + 5*v + 23, -4*p + 5*v + 29 = 0. Let d be w(p). Let a = -30 + d. Is a a multiple of 13?
True
Let j(o) = -o**3 - o**2 + o + 39. Let f be j(0). Let h(q) = q**2 + 4*q + 5. Let b be h(-6). Let x = f - b. Is x a multiple of 11?
True
Let x(q) = -62*q + 15. Does 57 divide x(-3)?
False
Let y(d) be the second derivative of d**8/6720 - d**6/720 + 3*d**5/40 - d**4/6 + 2*d. Let t(i) be the third derivative of y(i). Is 5 a factor of t(0)?
False
Suppose 2 = -z + 12. Suppose 3*c - 22 = -z. Suppose 2*v + 2*n = 34, n = -5*v + c*n + 61. Does 7 divide v?
True
Suppose 2*b + 15 = 3*h + 3*b, 0 = -2*h + 5*b - 7. Let m be (-322)/(-5) - 24/60. Suppose -6*j = -h*j - m. Is j a multiple of 16?
True
Suppose -i - 2*k + 72 = 0, 5*k - 434 + 134 = -4*i. Is 7 a factor of i?
False
Let u = -33 + 64. Let r = u + 12. Does 16 divide r?
False
Let a = -154 - -266. Does 6 divide a?
False
Is 13 a factor of (1/(1/15))/1?
False
Let d(u) = u**3 - 8*u**2 - 6*u + 3. Suppose 2*g = 3*g - 9. Is 10 a factor of d(g)?
True
Is 15 a factor of (-18)/63 + 214/14?
True
Let h(b) = -b**3 + 7*b**2 + 2*b - 2. Let u be 7*(-7)/(196/(-24)). Is 23 a factor of h(u)?
True
Suppose 0 = -3*b - j + 15, j - 27 = -3*b - 2*b. Suppose -m + 3*o = -9, -m + 2*o + b = -4*m. Suppose -2*t + 3*t - 42 = m. Is t a multiple of 14?
True
Suppose 0 = -o + 3 - 1. Let r(h) = h**3 + 5*h**2 + h. Let g(i) = 2*i**3 + 10*i**2 + 2*i - 1. Let p(j) = o*g(j) - 5*r(j). Is p(-5) even?
False
Suppose -3*a + 405 = 126. Let m = a + -65. Suppose 80 = 4*v - j, m = 3*v + 4*j - 32. Does 20 divide v?
True
Let f be (11 + -5)*(-16)/(-6). Suppose -5*r + f = -49. Is r a multiple of 13?
True
Let w = 2 + -2. Suppose w*t - 44 = -4*t. Let x = t - 7. Is x even?
True
Let p(h) = 4*h + 2*h**3 + 6*h**2 + 1 - 2*h**3 + h**3. Let a be p(-5). Let x(m) = -m**2 + 8*m + 4. Is 8 a factor of x(a)?
True
Let p = -5 - -8. Suppose -l = -f - 12 - 1, -3*l = p*f - 15. Does 5 divide l?
False
Let a be 4 - (1 - 1)/(-1). Suppose -3*d = -a*d + 4*o - 24, -4*o + 44 = -2*d. Let r = d + 29. Is r a multiple of 9?
True
Suppose 3*s - 4*s = -7. Let c(r) = 9*r - 10 - 2*r + 2*r + r**3 - 8*r**2. Is c(s) a multiple of 3?
False
Suppose 0 = -12*g + 3*g + 243. Is g a multiple of 3?
True
Let d = 421 + -280. Suppose -4*n + d = -n. Suppose 2*f + 48 = 4*a, -4*f + n = 4*a - a. Is 13 a factor of a?
True
Let q(s) = s**3 - 21*s**2 + 43. Is q(21) a multiple of 5?
False
Is (-2 + -1)*-1*237/9 a multiple of 4?
False
Let p(c) = 36*c - 3. Is 17 a factor of p(1)?
False
Let r(l) = 28*l + 2. Does 23 divide r(5)?
False
Let a be (-1)/(-1 + (-3)/(-6)). Is 0 - 4/a - -53 a multiple of 11?
False
Let b(f) = -f**3 - 6*f**2 + 8*f + 7. Let r be b(-7). Is 18/1 + (r - -2) a multiple of 16?
False
Let y be 1/2 - 213/6. Let p = y + 97. Is p a multiple of 12?
False
Suppose 5*b - 2 + 7 = m, -2*m + 10 = -3*b. Suppose d - 6*d = 4*u - 36, 4*u = m*d - 44. Is 5 a factor of d?
False
Suppose 2*w - 123 = 9. Does 15 divide w?
False
Let b(u) = -16*u - 13*u - u. Does 30 divide b(-3)?
True
Let d(y) = y**2 - y - 1. Let m be d(-1). Suppose -w - m = -u, -2*w = -3*u - 0*w + 3. Suppose q - 3*b = -u, -4*q = b - 3*b - 46. Is 7 a factor of q?
True
Let u = -5 + 8. Let a be u - 0 - (-4)/(-2). Let s(m) = 24*m**3 - 1. Is 17 a factor of s(a)?
False
Suppose -2*s = -0*s - 10. Let a(z) = 2*z - s*z - 4 + 0. Is a(-8) a multiple of 10?
True
Is 9 a factor of -3 + 226/4 - (-7)/14?
True
Suppose -5*w = 2*w - 553. Does 7 divide w?
False
Suppose -2*a + 253 - 31 = 0. Suppose -a = -7*n + 4*n. Let m = 55 - n. Does 6 divide m?
True
Suppose 3*f - 5*h + 36 = 0, 2*h = 2*f - 7*f - 29. Let v(z) be the third derivative of -z**4/24 + 3*z**3/2 + z**2. Does 8 divide v(f)?
True
Suppose 5*s = -348 + 68. Let y = -32 - s. Does 7 divide y?
False
Let k = -4 - -4. Suppose k = d + 2*d + 570. Does 12 divide 5/20 - d/8?
True
Is (-2)/(-4) - ((-195)/6 - -3) a multiple of 10?
True
Let z(o) = -139*o**3 + 1. Let h be z(1). Let f = h - -196. Is f a multiple of 29?
True
Let f = -22 - -38. Is 6 a factor of f?
False
Let k(v) = v**3 + 2*v**2 - 2*v - 1. Let h be k(-2). Let x = h - 2. Does 3 divide 1*(x - 4 - -8)?
False
Suppose 4*t - 3*a - 16 = -4*a, 0 = a. Let g(p) = 8*p - 9. Let j(o) = -15*o + 17. Let y(n) = -5*g(n) - 3*j(n). Is y(t) a multiple of 8?
False
Let w = -62 + -32. Does 14 divide (-1 + 3)/((-4)/w)?
False
Suppose -4*x + 5*t = -25, -x + 4*x - 25 = 5*t. Does 5 divide 1/(x - 2/(-26))?
False
Let m(p) = p - 2. Let g be m(2). Suppose g*j + 3*u + 172 = 4*j, 0 = 4*u + 16. Is j a multiple of 20?
True
Suppose -5 = 3*w - 23. Let x = w - 3. Let d = x + 15. Does 9 divide d?
True
Let q = 33 + -13. Is 7 a factor of q?
False
Let g(t) = -4*t + 16. Is g(-13) a multiple of 13?
False
Let m(a) = -2*a - 6. Let q(v) = 3*v - 1. Let s be q(-1). Let h be m(s). Is -1*(-4 - 3) + h a multiple of 6?
False
Let g(a) = 4*a**2 + 3*a - 4. Let c be g(-3). Let n(y) = 5*y**2 - y. Let b be n(-1). Suppose c = m - b. Is 12 a factor of m?
False
Suppose -4*n + 4*x + 116 = -2*n, -5*x - 270 = -5*n. Is n a multiple of 10?
True
Suppose 5*y - 2*y + 32 = p, 0 = -5*p - 4*y + 236.