+ g + 142. Is u a multiple of 13?
False
Suppose 3 = -z - d, 3*z - 4*d + 7 + 9 = 0. Let j = -3 - z. Suppose f - 19 = -j. Does 6 divide f?
True
Let n be (-45)/(-10)*80/(-6). Let s = -36 - n. Is s a multiple of 12?
True
Let h = -37 + 93. Is h a multiple of 14?
True
Let v(w) = 14*w**2 - w. Let n(u) = -u + 5. Let k be n(6). Is 15 a factor of v(k)?
True
Suppose -3*z + 27 + 0 = 0. Suppose -m = -0*m - z. Is 7 a factor of m?
False
Let p(w) = 8*w**2 + 3*w + 3. Is 27 a factor of p(3)?
False
Let u(m) = -19*m - 1. Let r be u(-2). Suppose 0 = 5*a - 4*a - r. Is 10 a factor of a?
False
Suppose 4*u - 9*u - 90 = 0. Let x = 37 + u. Is 19 a factor of x?
True
Suppose 27 = -5*l + 122. Suppose 0 - l = -z. Suppose -z - 76 = -5*n. Does 7 divide n?
False
Let p be (-2)/4 + 15/2. Let h(t) = -t**3 + 8*t**2 - 6*t - 7. Let b be h(p). Suppose -100 = -b*z - 5*z. Does 8 divide z?
False
Suppose -3*g + 176 = 3*q + 11, 0 = -5*q + 2*g + 261. Is q a multiple of 13?
False
Let n = -2 - 6. Let k = n - -15. Suppose 2*i - 17 - k = 0. Is i a multiple of 11?
False
Let v(o) = -11*o + 8. Suppose 3*n - 5*d = -d + 26, 0 = 3*n + 2*d - 14. Let k be v(n). Let j = -40 - k. Is j a multiple of 12?
False
Suppose -j + l = -1 - 5, -5*l = -4*j + 21. Is j a multiple of 9?
True
Let d = -10 - -110. Is 20 a factor of d?
True
Let i be (-10)/(-1) + 4/(-2). Let w(l) = 10*l + 5*l**2 - 5*l**3 + 3*l**3 + l**3 - i. Does 6 divide w(6)?
False
Let s(z) = z**2 + 12*z - 21. Let r be s(-13). Suppose 4*p + 40 = 2*p. Is ((-4)/r)/((-2)/p) a multiple of 5?
True
Suppose 0 = -6*f + 2*f + 276. Suppose -2*z - 61 = -5*c, -6*c = -c + 2*z - f. Does 8 divide c?
False
Let c be 49/2 - 2/(-4). Let r = c - 9. Suppose -2*i = 2*i - r. Does 2 divide i?
True
Suppose 360 = -0*w + 4*w. Does 30 divide w?
True
Let l be 2/(-5) + 68/20. Let g be 9 - l/((-6)/(-4)). Does 6 divide 2*(-2)/4 + g?
True
Let s(g) = -g + 48. Let v be s(0). Suppose -4*q = -q - v. Suppose -5*p + 120 = -2*w, q = -p + 2*p - 2*w. Is 13 a factor of p?
True
Let q = -184 + 321. Is 14 a factor of q?
False
Let g(d) = d**3 - 3*d**2. Let v be g(3). Suppose -4*r + v*w + 2*w = 32, -5*w = 2*r + 40. Is ((-28)/10)/(2/r) a multiple of 10?
False
Let s(d) = d. Is 7 a factor of s(7)?
True
Is 16 a factor of ((-72)/(-45))/(1/30)?
True
Let t(k) = -k**2 - 16*k - 9. Is t(-12) a multiple of 2?
False
Suppose p + 3*p = 12. Suppose z = p*z. Suppose z = 2*x - 8 - 2. Is x even?
False
Is 3/((108/176)/9) a multiple of 10?
False
Suppose 16 = s + 4. Suppose 8*w = 4*w + s. Is 6 a factor of w - 5/((-15)/27)?
True
Suppose -367 + 95 = -4*g. Is 34 a factor of g?
True
Let r(k) = k**3 + 16*k**2 - 19*k - 19. Is r(-17) a multiple of 5?
True
Suppose -4*n = -0*n + 12, -83 = -5*m - 4*n. Does 7 divide m?
False
Let j(w) = 5*w + 14. Does 19 divide j(5)?
False
Let h = -179 + 88. Let n = -65 - h. Is n a multiple of 9?
False
Let r(q) = 4*q**2 - 13*q + 19. Let p(g) = 2*g**2 - 6*g + 9. Let n(b) = 9*p(b) - 4*r(b). Does 15 divide n(5)?
True
Let n = 371 + -226. Let u be (-1)/(1 - 146/n). Does 14 divide u/7 - 4/(-14)?
False
Suppose 0 = 5*x + y - 149, -5*x + 4*y + 71 + 83 = 0. Is x a multiple of 15?
True
Suppose -2*t = -5*p - 9, 60 = 5*t - t + 4*p. Is 2 a factor of t?
True
Let c be (9 + 1)*36/(-15). Let h = c - -41. Suppose 0 = -4*a - b + 13, 4*a + h = 5*b - 0*b. Is 2 a factor of a?
True
Suppose 40 = 5*v - 0*v. Let w(b) = 2*b - 9. Does 2 divide w(v)?
False
Let d be (-16)/(-24) - (-10)/3. Suppose 2*x - 153 = -5*g, -2*g - d*x + 19 = -55. Does 9 divide g?
False
Let s = 180 - 121. Suppose -3*o - 90 = -3*h, -3*h = -2*o - 33 - s. Is h a multiple of 16?
True
Let t be (40/16)/(1/2). Suppose f = t, f - 24 = -3*k + 17. Is 4 a factor of k?
True
Does 3 divide (4/(12/(-9)) - -1) + 11?
True
Let l(i) = -3*i**3 - 4*i**2 - 1 - 1 - 3*i + i**3. Is l(-2) even?
True
Suppose 2*r = -4*g + 94, -g + 4*r - 13 = -2*g. Is 14 a factor of g?
False
Suppose 4*b - 144 = b. Is 12 a factor of b?
True
Suppose -3*w + 63 = -0*w. Does 5 divide w?
False
Suppose -2*l + 4*a = 2*l - 256, -4*l + 260 = -2*a. Does 22 divide l?
True
Let s be (-1615)/(-7) - (-12)/42. Suppose -4*j + s = -97. Let a = j - 36. Is 16 a factor of a?
False
Let g(i) = -11*i - 19. Does 8 divide g(-5)?
False
Let c = -44 - -143. Is 4 a factor of c?
False
Suppose 0*o - 2*k + 2 = -2*o, 4*o + 9 = 5*k. Suppose 0 = o*j - d + 140, -d + 127 = -5*j - 47. Does 7 divide ((-1)/(-2))/((-1)/j)?
False
Let a = 2 + 153. Is 31 a factor of a?
True
Let b = -25 - -40. Let q be (3 - 5) + 11*1. Let o = b + q. Does 12 divide o?
True
Suppose 2*z = -5*u - 2*z + 4, -2*z + 4 = 3*u. Suppose 0 = -u*h - 9 + 45. Is h a multiple of 5?
False
Suppose -3*d + 56 + 208 = 0. Suppose -5*o - d = -3*m, 5*m = -0*m - 3*o + 124. Is (-2)/4 + m/4 a multiple of 3?
True
Let i = 80 + -58. Is i a multiple of 11?
True
Suppose 5*i = -p, 4*i - 1 = p + 8. Let o be 4/(-10) + (-102)/p. Suppose -6*z = -2*z - o. Is z even?
False
Let p(o) = -2*o**3 + o. Let m be p(1). Let v = 2 - m. Suppose -v*c + 153 = -0*c. Does 17 divide c?
True
Suppose k - 3*k + 5*t = -55, 3*t - 135 = -3*k. Is 17 a factor of k?
False
Let s be 4 + -1 + -3 + 13. Let f = s + 3. Does 16 divide f?
True
Suppose -2*q + 14 = 4*f - 0, -4 = -2*f. Suppose -m = q*m - 120. Is 10 a factor of m?
True
Let s be 3*((-52)/(-12))/1. Suppose s*b = 10*b + 300. Is 27 a factor of b?
False
Let c(m) = m**2 - 3*m - 3. Let d be c(4). Let z(j) = 4*j**3 - 2*j + 1. Let o be z(d). Suppose o*a + 102 = 2*v + v, 0 = -2*v - 4*a + 44. Is v a multiple of 17?
False
Suppose -4*a - a + 10 = 0. Is 9 a factor of ((-138)/12)/((-1)/a)?
False
Let n(p) = -2*p**3 - 6*p**2 - 7*p - 1. Let q(h) = h**3 + 7*h**2 + 8*h + 1. Let f(v) = 6*n(v) + 5*q(v). Does 2 divide f(-1)?
False
Suppose -2*c + 208 = 4*w, -3*w - 2*w - 334 = -3*c. Is 12 a factor of c?
True
Let x = 2 - 4. Let l = x + -2. Let b = l - -9. Does 5 divide b?
True
Suppose -272 = -b - 7*b. Does 23 divide b?
False
Let z(f) = 13*f + 1. Let v(b) = 26*b + 2. Let r(h) = -3*v(h) + 5*z(h). Is 12 a factor of r(-1)?
True
Let b be (-2)/3 + (-130)/(-6). Let f = b - 1. Suppose -4*x - f = -9*x. Does 2 divide x?
True
Let r = -1 + 1. Let c = 5 + r. Let w(m) = 2*m + 6. Is 9 a factor of w(c)?
False
Let n = 5 - 5. Suppose 5*g - 26 = -3*u, -u = 4*g - n*g - 4. Is 6 a factor of u?
True
Let z(p) be the third derivative of -9*p**4/4 - p**3/6 - 4*p**2. Is z(-1) a multiple of 17?
False
Let f(u) = -145*u**3 - u + 1. Let i be f(1). Let j = -97 - i. Is 16 a factor of j?
True
Let g(q) = -3*q - 1 + 4*q + 2. Let a be g(3). Suppose 54 = a*s - s. Is 9 a factor of s?
True
Does 10 divide 26 + (1 + 3)/1?
True
Suppose 4*s = g - 6*g + 459, -4*g + 366 = 2*s. Does 13 divide g?
True
Let u(h) = -10*h - 11. Is 27 a factor of u(-9)?
False
Let k = -61 + 93. Suppose y - k = 5*w, -5*y + 4*y - w + 8 = 0. Does 9 divide y?
False
Suppose 2 - 4 = -y. Suppose y*f = 6 - 2. Suppose 0 = -f*u + 2*g + 64, 4*u = -g - 0*g + 103. Does 12 divide u?
False
Suppose -2 = -d + n, -2*d + 3*d = 4*n - 4. Suppose -19 = -d*f + 9. Does 4 divide f?
False
Let q(w) = -4*w - 5. Does 2 divide q(-4)?
False
Does 18 divide (-3)/(-9) - (-1256)/12?
False
Let q(d) be the second derivative of d**4/4 + d**3/3 + d**2/2 - 3*d. Is q(-3) a multiple of 11?
True
Suppose 0*t - 3*t + 3 = 0. Suppose -t = -u + 2. Is (10/2)/(-2 + u) a multiple of 5?
True
Let m(c) = 2*c**3 + 3*c**2 + 2*c - 2. Let q be m(-2). Let d(h) = -5*h + 10. Does 13 divide d(q)?
False
Suppose -3*h - 15 = 0, -4*n + 2*h = -4 - 18. Is (-1)/(-2*n/72) a multiple of 6?
True
Suppose 4*w - 2*p = -0*w + 20, 4*p + 22 = 2*w. Suppose w*z = -3*g + 84, 23 = g + 2*z - 0*z. Let j = g - 14. Does 11 divide j?
False
Let j(w) = -w**2 - 11*w + 16. Let s be j(-12). Suppose 5*d - d - 16 = 0, -s*v - d + 204 = 0. Is 22 a factor of v?
False
Suppose -2*r = 3*r - 15. Suppose -3*k = -125 - 91. Suppose -5*c + 88 = -r*l, -3*c + l = 4*l - k. Is c a multiple of 11?
False
Let g = 121 - 26. Is 12 a factor of g?
False
Let m(i) = i**2 - i + 52. Is 9 a factor of m(0)?
False
Let p(i) = -i - 6. Let l be p(-8). Suppose -l*o + 28 + 32 = 0. Does 15 divide o?
True
Let w = 38 + -24. Let q = w - -8. Is 13 a factor of q?
False
Suppose -4*y + 10 = -x + 1, 0 = -y + x + 3. Let m = 0 - 0. Suppose m = -f + y*f - 6. Does 5 divide f?
False
Let o = 378 + -146. Is o a multiple of 29?
True
Suppose -4*w + 369 = 5*w. Is w a multiple of 25?
False
Suppose 0 = -2*z + 5