 = -3, -t*m = 4*w - 4*m - 3. Is 2 a factor of 3 - (w - (-2 - -2))?
True
Let h(m) = -12*m + 3. Let d = 6 - 9. Is h(d) a multiple of 13?
True
Let k be 3/(-9) + 92/6. Let v = k + -10. Suppose -n = v*b - 121, -3*b - 2*n + 56 + 18 = 0. Does 12 divide b?
True
Let c be (269 - 0) + 4/(-2). Let t = c + -176. Does 28 divide t?
False
Let a = 32 - 10. Does 11 divide a?
True
Suppose -2*f + 45 = -115. Does 20 divide f?
True
Suppose 4*x = 62 + 26. Is x a multiple of 9?
False
Suppose 3*b - 2*u = -6*u + 122, 3*b - 3*u = 108. Is b a multiple of 19?
True
Let j(g) = g**2 + 4*g + 2. Let u be j(-4). Let a = u + 1. Suppose -5 = a*f - y - 99, 3*f + y = 92. Is 14 a factor of f?
False
Suppose 4*g - 4*z = 0, 5*g - 2*g - 3 = 2*z. Suppose 5*o = 4*a + 29, -o + 0*o + 21 = g*a. Is ((-3)/(-2))/(o/60) a multiple of 5?
True
Let q be (-8)/4*(-1 - 0). Suppose q*y + 3*r + 4 = -4, 4*r + 10 = -3*y. Suppose -2*w + 3*a + 24 = w, 0 = y*w - 4*a - 14. Is 9 a factor of w?
True
Suppose 1 = 2*v - 5. Suppose 9 = -v*s - 9. Does 5 divide (-4)/(14/s + 2)?
False
Let b = 11 + -10. Does 13 divide 356/5 - b/5?
False
Suppose 0 = -2*i + 97 - 9. Is 11 a factor of i?
True
Let w(o) = 2*o + 20. Is 4 a factor of w(0)?
True
Let x be (0 - -1)/(9/18). Suppose x*u + 132 = 2*b - 0*u, 4*b = 5*u + 267. Is b a multiple of 25?
False
Suppose 80 = r + 3*r. Suppose i + i - r = 0. Is i a multiple of 5?
True
Let g = 63 - 15. Is g a multiple of 8?
True
Let v = -48 - -51. Let b(x) = x**2 + x. Let c be b(2). Suppose -v*f + c*f - 39 = 0. Does 13 divide f?
True
Suppose -15 = 5*m, 3*i - 2*m + m = 51. Is i a multiple of 4?
True
Let g(o) = -o**3 + 4*o**2 - 6*o + 1. Let h be g(4). Let a be -1 - 0/2 - h. Suppose 5*j = 4*v + 37 + 71, j = v + a. Is 10 a factor of j?
True
Is 30/4*(-28)/(-6) a multiple of 7?
True
Let h be 2/(-1) + (-7)/(-1). Suppose -49 = -4*l - 9. Let s = l - h. Is s a multiple of 2?
False
Suppose -a = 3*p - 2 + 1, -4 = -2*a - 4*p. Does 4 divide a?
True
Let g = 113 - -48. Does 23 divide g?
True
Let w be -1*((-8)/(-4) + -99). Suppose 4*g - 6*d - 86 = -4*d, w = 3*g + 5*d. Is g a multiple of 8?
True
Let b = 63 + -7. Is b a multiple of 18?
False
Suppose 3*r + 1067 = 14*r. Is r a multiple of 8?
False
Let m(h) = h**2 - 3*h - 3. Suppose -2*i - 2*i = 5*r - 9, -2*r - 2*i + 2 = 0. Does 4 divide m(r)?
False
Let f(v) = -v**3 + 14*v**2 - 13*v + 16. Let c be (5/(15/(-39)))/(-1). Is 16 a factor of f(c)?
True
Let y(g) = g**2 - 4*g - 23. Is 3 a factor of y(8)?
True
Let o = -7 - -13. Suppose -3*a + 0*d - 3*d = -o, -2*a + 2*d = -4. Let v = a - -4. Does 3 divide v?
True
Let n = 54 - -217. Does 40 divide n?
False
Let j(v) = 3*v**2 - 6 - 2*v**2 - 2*v**2 + 7*v. Let i be j(5). Suppose -5*z + 28 = -i*z. Is z a multiple of 14?
True
Suppose 11 = 5*m - 19. Let h = m - -7. Does 13 divide h?
True
Let s(r) = 3*r + 2 - 3 - r - r**2. Let c be s(6). Does 10 divide 1/5 - 320/c?
False
Suppose 0 = -w + 3*w + 3*y, 0 = -4*w - 4*y + 4. Suppose 2*f + f + 5*s = 55, 3*f - 45 = -w*s. Is 5 a factor of f?
True
Suppose -2*z = p - 17, -p - 31 = -4*z - 6*p. Suppose x + 133 = 3*c, c + x = -z + 56. Is 15 a factor of c?
True
Let c(d) = d - 11. Let t be c(11). Suppose -f - 3*f = 3*j - 42, t = -3*f + 9. Is 5 a factor of j?
True
Suppose -2*i - o + 5 = -0*o, i + 5*o = -11. Suppose 3*c = 0, 0 = n + c + i*c - 22. Does 11 divide n?
True
Let j(y) = y**3 + 4*y**2 + 5*y + 3. Let i be j(-3). Let n = 1 + i. Is (-26)/(-2) + n/(-1) a multiple of 10?
False
Let u(f) be the third derivative of f**4/12 + f**2. Is 10 a factor of u(5)?
True
Suppose 3*u = -3*x, -2*u + 11 + 7 = -4*x. Suppose u*k + 50 = 4*k. Suppose 9*d - k = 4*d. Is 10 a factor of d?
True
Suppose -5*s + 8*s - 54 = 0. Does 18 divide s?
True
Suppose 0 = -3*m - 2*v + 80, 2*v - 35 - 21 = -2*m. Suppose -3 - 3 = -z. Suppose 5*c - m = z. Is 3 a factor of c?
True
Let m(d) = -4*d**3 - 2*d**2 - 6*d - 1. Does 13 divide m(-4)?
True
Suppose -26 = -0*k - k. Let j = k + -17. Is 9 a factor of j?
True
Let k be (279/(-6))/((-5)/10). Let q = -47 + k. Is 27 a factor of q?
False
Suppose -16 = -7*f + 3*f. Suppose 16 = b + 3*b, 5*b - 8 = f*o. Suppose 30 = o*l - l. Is l a multiple of 6?
False
Let b(d) = 38*d**2 - 4*d - 3. Is b(-1) a multiple of 13?
True
Let h be (-4)/16 - (-213)/4. Let y = 93 - h. Is 15 a factor of y?
False
Let o = -6 - -4. Let l = -78 + o. Let q = 113 + l. Does 11 divide q?
True
Let h(v) = v**2 + v - 4. Let s be h(0). Let y(r) = -19*r + 2. Let k be y(s). Suppose w = -w + k. Does 19 divide w?
False
Let s = -1 - -1. Let f(n) = -n + 7. Let l be f(0). Suppose s = -4*m + 33 + l. Is 4 a factor of m?
False
Let f(h) be the second derivative of 7*h**3/6 - h**2 - 2*h. Let p = 10 - 8. Is 10 a factor of f(p)?
False
Let s = -34 + 205. Suppose 3*q = -3*z - 0*z + 108, 4*q + s = 5*z. Is 13 a factor of z?
False
Suppose 3*x - 2*x = 40. Does 8 divide x?
True
Let i = -98 - -158. Does 12 divide i?
True
Let i be 4/(-18) - (-614)/9. Suppose 4*b = 2*v + 86, -3*b - 3*v + i = -v. Does 22 divide b?
True
Is 12 a factor of ((-72)/(-5))/(1/10 + 0)?
True
Suppose 14 = -r + 3*q, 9 + 1 = -3*r + q. Let h be 12/15*(-10)/r. Suppose -2*s = h*w - 52, -w + 36 = s + 5. Is 12 a factor of s?
True
Let y(m) be the first derivative of -m**3/3 + 5*m**2 - 2*m + 1. Is 9 a factor of y(6)?
False
Let d(g) = 7*g - 12. Let s be d(10). Suppose 20 + s = 3*l. Let c = 39 - l. Is 7 a factor of c?
False
Is 152*((-28)/8)/(-7) a multiple of 15?
False
Let u = 34 - 14. Is u a multiple of 5?
True
Suppose -3*h - 78 = -5*h. Suppose 0 = 3*t - 0*t + h. Let w = -7 - t. Does 6 divide w?
True
Let u be (-5 - (3 + -5))*1. Let k be -5 - u - (1 + -1). Is k/6 - (-218)/6 a multiple of 18?
True
Let f(i) = 36*i**3 + 2*i**2 + 3*i - 3. Let g(a) = -35*a**3 - 3*a**2 - 4*a + 4. Let u(h) = -4*f(h) - 3*g(h). Is u(-1) a multiple of 11?
False
Let f be 190/4 - 3/(-6). Suppose 0 = n + 3*n + f. Let i = 33 + n. Is i a multiple of 9?
False
Let v(l) = -6*l - 3. Let k(s) = -3*s - 2. Let x(i) = -5*k(i) + 3*v(i). Is 4 a factor of x(-1)?
True
Let c be 3 - ((1 - 2) + 1). Is 3 a factor of 14 - c*(-1)/(-3)?
False
Is (302/5 - 2)/((-28)/(-210)) a multiple of 18?
False
Let h(d) = d**2 - 6. Let f be h(0). Let w be 3*-8 - (f + 4). Let l = w + 40. Is l a multiple of 15?
False
Let n(f) = -f**2 + 9*f - 2. Let h be n(9). Let m = h + -30. Is (90/(-40))/(6/m) a multiple of 12?
True
Let r = 4 - 2. Let n be 21/6 + 1/r. Suppose i + 82 = 4*i + 5*z, 3*i - 64 = n*z. Is i a multiple of 12?
True
Suppose -22*a = -26*a - 36. Let k(n) = -2*n - 8. Is 10 a factor of k(a)?
True
Let j(q) = -40*q + 1. Suppose 5*d - d = 0. Let u(o) = o**2 - o - 1. Let p be u(d). Is j(p) a multiple of 15?
False
Suppose -3*s + 160 = 5*k, 0*k + 2*s - 128 = -4*k. Does 8 divide k?
True
Let a be (6/4)/(6/(-16)). Let h = 5 + a. Suppose 3*p - h = 32. Is 11 a factor of p?
True
Let y(k) = 13*k - 9. Does 20 divide y(4)?
False
Suppose -3*r = 4*i - 842 - 63, -5*i + 1140 = -5*r. Is i a multiple of 29?
False
Let y(k) = 88*k**2 + 4*k - 5. Is y(1) a multiple of 9?
False
Let p(s) = -s**3 + 4*s**2 + 5*s - 6. Let h be -3 - ((-1)/1 + -1). Let q be h/(-3)*3 - -3. Does 14 divide p(q)?
True
Suppose 3*n = -410 - 442. Let h = n - -398. Is h a multiple of 23?
False
Suppose 4*w - k = -2*k + 68, 5*w + 2*k = 88. Let i = w - 9. Is 7 a factor of i?
True
Suppose 0 = 5*l - r - 21, 4*r - 17 = -3*l + 14. Suppose 0*a = l*a + 3*f - 83, 3*a - 41 = -4*f. Is 6 a factor of a?
False
Let q = -228 - -451. Does 24 divide q?
False
Let x(s) be the second derivative of s**3/3 + 2*s**2 - s. Does 9 divide x(4)?
False
Suppose 0 = 6*v - 2*v. Suppose -3*y + 6 + 6 = v. Suppose y*w - 2*x - 116 = 0, -70 = -2*w + 6*x - 2*x. Is w a multiple of 9?
True
Suppose 3*w - 2*w - 5*r + 4 = 0, -4 = w + 2*r. Let a = 4 + w. Suppose a*i + 3 = i. Does 2 divide i?
False
Let i = 6 + 8. Is 14 a factor of i?
True
Suppose u + 15 = -15. Let j = 62 + u. Suppose -j = -n - 3*n. Is 8 a factor of n?
True
Suppose 5*w = 2*w - 6. Let g be (-15)/1*(w + -1). Suppose -6 = -3*p + g. Is p a multiple of 7?
False
Let b(h) = -h - 4. Let p be b(-9). Suppose 0 = p*q - v - 65, q + 3*v = -v - 8. Does 6 divide q?
True
Let b = 272 - 191. Is b a multiple of 9?
True
Suppose -5*s = 17 - 377. Does 18 divide s?
True
Let t(s) = 5*s - 8. Is t(4) a multiple of 12?
True
Does 12 divide (13/65)/(2/290)?
False
Let q = 13 - 18. Let j(u) = u**2 + 3*u - 6. Is 3 a factor of j(q)?
