-52 + z) a multiple of 14?
True
Let w = 13 + 31. Does 11 divide w?
True
Suppose -v + 93 = 2*w, v + 2*w + 192 = 3*v. Is v a multiple of 19?
True
Let i be -4 + 1/2*0. Let r be i/6 - (-2)/3. Is r - -13*(2 + -1) a multiple of 13?
True
Let w(s) = -s**3 + 7*s**2 - 4*s + 4. Let b be w(6). Let i = b - 4. Does 4 divide 3/(((-45)/i)/(-5))?
True
Suppose -26 = -5*r + 4*q + 14, 2 = -2*r - 2*q. Suppose -r - 7 = -x. Does 11 divide x?
True
Suppose 4*m + 28 = 2*c, -2*c + 2*m + 44 = 14. Suppose c = 5*f - 14. Is f a multiple of 3?
True
Suppose 0 = 4*r + a - 12, -3*a = -3*r + r + 20. Let z = 62 + 91. Suppose -7*t + z = -r*t. Is 14 a factor of t?
False
Let o = 11 - 15. Let z = o - -1. Is (-2)/(-6) + (-104)/z a multiple of 12?
False
Suppose f - 5*w - 46 = 14, 0 = -f - 2*w + 88. Does 8 divide f?
True
Let f(p) be the third derivative of p**5/60 + 5*p**4/12 + p**3 + p**2. Suppose 5*z + 18 = -32. Is 3 a factor of f(z)?
True
Suppose 180 = 6*w - 2*w. Does 9 divide w?
True
Is 3 a factor of 12/(-54) + 299/9?
True
Suppose -3*y - 3*n + 246 = 0, -166 = -2*y + 3*n - 6*n. Is y a multiple of 20?
True
Let n be (-9)/(-45) - (-24)/5. Suppose -3*y + 2*u = 4*u - 103, 2*y - 87 = -n*u. Is y a multiple of 24?
False
Let l be (1/3)/(1/9). Let g = 6 - -7. Let o = l + g. Does 8 divide o?
True
Let j(a) = -2*a + 8. Let c(g) = -9*g - 1. Let x be c(1). Let b be j(x). Let l = -16 + b. Is 6 a factor of l?
True
Let z(s) = -3*s + 8*s + s**2 + 0 + 4. Suppose 19*v + 6 = 18*v. Does 5 divide z(v)?
True
Let o(l) = -l**2 - 6*l - 9. Let h(d) = -d**2 - 5*d - 9. Let w(b) = 5*h(b) - 6*o(b). Is w(-12) a multiple of 7?
True
Let c = 10 + 30. Suppose 0 = 2*v - 0*v - c. Is 20 a factor of v?
True
Let o = -50 + 118. Does 34 divide o?
True
Suppose 4*l - 4 = 3*l. Suppose 0 = 3*j - 5*m - 15 - 17, -l*m - 12 = j. Suppose 4*z - 19 = -3*g, -g = z - j - 0. Is 4 a factor of z?
False
Suppose 5 = 2*l - 1. Suppose -3*r + 21 = -0*r. Suppose l*f + 20 = r*f. Does 5 divide f?
True
Let o(f) = -f**3 + 6*f**2 - 7*f + 2. Let z be o(6). Suppose s + 74 = -3*x + 272, -x + 66 = -2*s. Let b = x + z. Does 13 divide b?
True
Let c(f) = -f + 12. Let i be c(9). Suppose -2*y + 7 = i. Suppose -2*v + 26 = -0*x - 3*x, -y*x = -2*v + 26. Is v a multiple of 7?
False
Suppose -5*b = 6 - 21. Suppose b*f + 8 = -f. Is 17 a factor of f/3*(7 + -58)?
True
Let p = -50 + 27. Let s = -15 - p. Does 5 divide s?
False
Suppose 4*b = -3*w + 4 + 2, 3*w = -5*b + 6. Let s = -11 + w. Let r = s - -18. Is 8 a factor of r?
False
Suppose 2*v - 9 = 1, -35 = -5*t + 3*v. Does 5 divide t?
True
Let y(l) = -l. Is 2 a factor of y(-2)?
True
Is 28 a factor of 21/(-14)*(-112)/3?
True
Let r(j) = j**3 + 16*j**2 + 12*j + 8. Is 12 a factor of r(-15)?
False
Let d be 2*2/(-12)*0. Suppose 2*h - 58 + 0 = d. Is h a multiple of 9?
False
Let q(j) = 2*j**2 - 6*j + 2. Let r be q(4). Let c be r/(-2)*(4 - 5). Suppose c*p = 179 - 24. Is 11 a factor of p?
False
Let s(g) = -10*g - 6. Does 6 divide s(-4)?
False
Is (164 + -4)*8/10 a multiple of 32?
True
Suppose -3*d + 3*n = 6, d + n = -n + 10. Suppose -d = p - 2*p. Suppose 3*u = -p + 80. Does 15 divide u?
False
Let v(x) = -x**3 + 5*x**2 + 8*x + 2. Let n(z) be the second derivative of -z**3/6 + 3*z. Let o be n(-6). Does 5 divide v(o)?
False
Suppose 20 = a + 3*a. Suppose -33 + a = -l. Is 14 a factor of l?
True
Let p be (20/(-12))/((-1)/6). Let v(q) = -q + 13. Does 2 divide v(p)?
False
Let q = -7 - -17. Suppose 2*w = 5*i - 2 + 33, -2*w - 2*i + q = 0. Let h(k) = -k**2 + 10*k - 9. Is h(w) a multiple of 5?
False
Suppose -28 = -w - f, 0 = 7*w - 3*w - 2*f - 130. Is 31 a factor of w?
True
Suppose -3*o - 4*w + 14 = 1, -4*o + 3*w + 9 = 0. Suppose 81 = 2*y - o. Is 16 a factor of y?
False
Let a = -10 + 45. Is a a multiple of 7?
True
Let j(o) be the third derivative of o**4/24 + o**3/3 - o**2. Let m be j(0). Suppose -m*y + 7*y - 65 = 0. Is 6 a factor of y?
False
Let l = -33 + 75. Let b = l - 23. Is b a multiple of 12?
False
Let j = -48 - -78. Does 18 divide j?
False
Suppose -14 = 2*o - 3*b + 9, -2*o - 4*b = 2. Let q be 6/21 - 33/o. Is (-9)/((45/(-24))/q) a multiple of 12?
True
Suppose -12*u = u - 221. Is 17 a factor of u?
True
Let t = -12 + -16. Let y = -16 - t. Is 6 a factor of y?
True
Let i = 301 - 202. Let j be -2*(-1)/2*-71. Let z = j + i. Does 14 divide z?
True
Is 13 a factor of (-2)/(-3)*(-174)/(-4)?
False
Let r(c) = -c - 3. Let s be r(-7). Suppose 2*f + s = 28. Does 8 divide f?
False
Let i be (-76)/(-18) - (-4)/(-18). Let o be (12/(-10))/(12/(-40)). Suppose 2*s - 19 - 9 = -o*r, -3*r = -i*s + 111. Is 12 a factor of s?
True
Let b = 191 - 172. Let h = -8 + 14. Suppose -w + h = -b. Is 15 a factor of w?
False
Suppose 0 = -5*q - 25, -o = 2*q - 0*q - 115. Is o a multiple of 18?
False
Let z(f) = f**2 - 9*f + 12. Let h be z(6). Is 3 a factor of h/1*3/(-6)?
True
Let p(l) = 7*l + 15. Let x be p(13). Suppose 26 + x = 4*q. Is 11 a factor of q?
True
Let u = 99 - 25. Is u a multiple of 37?
True
Let d = 10 + -8. Suppose -3*o + 8*o - 90 = 3*x, 2*o - 52 = -d*x. Does 3 divide 4/(-6) + 203/o?
True
Is 10 a factor of (-30)/(-4)*2/(-4)*-8?
True
Let j(w) = w**3 + 3*w**2 - w - 1. Let g be j(-2). Let b be (-2*g)/(10/(-5)). Suppose -b*z = -0*z - 95. Is z a multiple of 19?
True
Suppose -3 + 638 = 5*p. Is p a multiple of 14?
False
Let z(m) = m**2 + 4*m + 4. Let j be z(-3). Let x = 3 - j. Is 3 a factor of (x - 1)/(2/14)?
False
Suppose 3*b - 3*w + 138 = 6*b, 3*w + 219 = 4*b. Suppose -5*o - 3*a = 2*a - 30, 3*a - 6 = o. Suppose 0 = o*l - 3*q - b, 2*l - l + 3 = -3*q. Does 7 divide l?
False
Suppose -z - 3*z - 8 = 0. Let o = 54 + -38. Let i = o - z. Is i a multiple of 9?
True
Let p(i) = i. Let o be p(2). Suppose 0*w = -o*w + 2*z + 22, 2*z - 2 = -2*w. Is 2 a factor of w?
True
Let v(a) = -14*a**2 + a + 1. Let k(h) = -41*h**2 + 3*h + 3. Let l(f) = -3*k(f) + 8*v(f). Is l(-2) a multiple of 12?
False
Suppose 1 - 41 = -5*a - 4*b, -2*b = -4*a + 6. Suppose l - 4*h = 9, a*l + 7 = 2*h + 29. Suppose -l*s - 3*r = -43, 5*s - r - 3 - 56 = 0. Is s a multiple of 9?
False
Let z(i) = i - 7. Let c be z(6). Does 2 divide (c + 0)/1 - -5?
True
Is 14 a factor of (-1)/2 - (-545)/10?
False
Let k be 1*(-1 + 4)*4. Does 3 divide (-75)/(-12) + (-3)/k?
True
Suppose 2*b - 103 = b. Is (-3)/2 + b/2 a multiple of 14?
False
Suppose 4*i = 2*i + 8. Suppose -i*n - 5*c = 8, -17 = -5*n + 2*n + 2*c. Suppose -n*m + 22 = -5. Is 3 a factor of m?
True
Is 11 a factor of 37/((-1 - -1) + 1)?
False
Suppose -3*u + 8 = -4*u. Let v(g) = -g**3 - 9*g**2 - 12*g - 8. Is 19 a factor of v(u)?
False
Suppose 3*p + 33 - 138 = 0. Is 6 a factor of p?
False
Let q(t) = t**2 - 4*t - 5. Let g be q(5). Suppose g*l + 39 = l. Is 12 a factor of l?
False
Let l(h) = -h**3 - 25*h**2 - 25*h - 17. Is l(-24) even?
False
Let j = -38 + 21. Let d = 9 - j. Does 13 divide d?
True
Suppose -4*t - 5*d + 652 = -d, 0 = 2*t + d - 323. Suppose 0 = -5*k - 0*s + 4*s + t, 4*k - 102 = -2*s. Is 14 a factor of k?
True
Suppose 48 = -2*r - 2*z, 2*r + 3*z + 81 = 29. Let v = r + 10. Does 3 divide 2/10 + (-58)/v?
True
Suppose 13 = p + 2*q, -2*p + 9 = 5*q - 21. Does 3 divide p?
False
Suppose 5*t + c - 455 = 0, t + 5*c = 2*c + 77. Suppose -5*q + 31 = 4*k, -k = 6*q - q - 19. Suppose t + 22 = q*b. Is 19 a factor of b?
True
Suppose -6 = f - 30. Is 12 a factor of f?
True
Let a = -2 + 3. Let z = a + 17. Does 9 divide z?
True
Let n = 3 + -2. Let r(u) = 5*u - n - 2*u + 11*u**2 - 4*u. Is r(-1) a multiple of 11?
True
Let r(g) = -2*g**2 + 21*g + 2. Is r(9) a multiple of 5?
False
Suppose 5*g = c - 21, -c = -6*c + 2*g + 128. Is c a multiple of 13?
True
Suppose 5*x = 3*p - 505, x - 254 = -5*p + 541. Is 40 a factor of p?
True
Suppose -54 = c - 2*c. Is c a multiple of 9?
True
Let q = -87 - -147. Is q a multiple of 12?
True
Let j(v) be the second derivative of -1/2*v**4 + 4*v - 2/3*v**3 + 1/20*v**5 - 3/2*v**2 + 0. Is 15 a factor of j(7)?
False
Let w(n) = -6*n**3 - 11*n**2 - 2*n - 2. Let f(r) = -r**3 - r**2 - r. Let h(j) = 5*f(j) - w(j). Let g be h(-6). Suppose -4*d + g = -2*d. Is 4 a factor of d?
False
Let x(u) = -3 - 4 + 9*u + 6. Does 5 divide x(1)?
False
Suppose 3*q = -73 + 793. Is q a multiple of 48?
True
Let g(a) be the first derivative of -a**2/2 + 1. Let u be g(4). Does 4 divide u*2*(-49)/28?
False
Let s(b) = 20*b. Is 5 a factor of s(1)?
True
Does 34 divide (-624)/(-3) + 3/((-9)/12)?
True
Is 40 a facto