 -16 - -231. Suppose -3*u + o = 2*u. Is u a multiple of 3?
False
Suppose -5*w + 5*t - 2*t = -30, t = 0. Suppose w*o - 75 - 225 = 0. Is 25 a factor of o?
True
Let u = -49 + 88. Let v = u + -14. Suppose 35 = 5*j - v. Is j even?
True
Suppose -360 = -4*f + f + 5*a, 0 = 5*a. Does 12 divide f?
True
Does 21 divide 3618/8 - 80/64?
False
Let m = -434 - -797. Is 11 a factor of m?
True
Let q be (0 + 5/2)*2. Let f = 10 - q. Let k(o) = o**2 - 3*o + 2. Is 5 a factor of k(f)?
False
Let y = -1758 + 3222. Is 6 a factor of y?
True
Let p = 126 - 99. Is p a multiple of 2?
False
Let h be (8/(-3))/(10/(-15)). Let u be ((h - 4)/(-3))/2. Suppose -2*z = -u*z - 112. Is z a multiple of 11?
False
Suppose -2*r = -219 + 17. Is r a multiple of 2?
False
Suppose -116*j = -119*j + 375. Is j a multiple of 21?
False
Suppose -9*x + 4879 = -7433. Is 8 a factor of x?
True
Let q = -14 + 38. Let y = 4 + q. Let i = y - 3. Is 7 a factor of i?
False
Let t be (0/(-2)*-1)/(-2). Suppose t = -2*a + 17 + 39. Is a a multiple of 5?
False
Suppose -5*z + 5 = 5*s, -4*s + 5*s - 1 = -2*z. Let q be ((-1210)/(-55))/(2/(-24)). Is q/16*(z - 2) a multiple of 11?
True
Suppose 3*p - 70 = -4. Is p a multiple of 3?
False
Suppose b - 65 - 114 = 0. Is 3 a factor of b?
False
Is -300*(8/16)/(-1) a multiple of 50?
True
Let o(f) = 2*f**3 - 29*f**2 - 38*f + 31. Does 13 divide o(17)?
False
Suppose -z + x + 115 = 0, 5*z - 6*x - 555 = -5*x. Does 22 divide z?
True
Let r = 137 - 40. Suppose -46 = -2*x + 5*t + 59, r = 2*x + 3*t. Is x a multiple of 18?
False
Let r(a) = -10*a - 15. Let w be r(-3). Suppose -4*p - 3*z + 230 = -w, 0 = -p - 5*z + 57. Does 8 divide p?
False
Suppose m = 11 + 3. Let f be (21/m)/((-2)/12). Does 23 divide 3/(-9) + (-417)/f?
True
Let z(b) = -15*b + 138. Is 7 a factor of z(7)?
False
Let i(t) = 12*t**3 + 4*t**2. Is 64 a factor of i(4)?
True
Suppose 0 = o - q + 75, 4*q = 2*q. Let z = 159 + o. Suppose 4*g + 2*i + i - z = 0, -88 = -3*g + 4*i. Is 6 a factor of g?
True
Let j(o) = o + 6. Let f be j(-11). Let m be (-285)/(-75) - (-4)/f. Suppose m*t - 143 = -4*l, 4*t = -5*l + 4*l + 26. Is 10 a factor of l?
False
Let y be (1/2)/((-9)/(-54)). Suppose -r + y*r + 12 = 0. Let i(z) = -2*z + 11. Is i(r) a multiple of 18?
False
Let q = -180 + 308. Suppose q = v - 16. Does 16 divide v?
True
Let c = 5119 + -3555. Does 66 divide c?
False
Let w = -4 - 3. Let o be 1/(1*3/(-54)). Let y = w - o. Is 11 a factor of y?
True
Suppose v = 638 + 33. Does 22 divide v?
False
Let f(b) = -4*b - 8. Let n be f(-2). Suppose 2*r + 5*s - 4*s - 84 = n, 2*r - 64 = 4*s. Does 20 divide r?
True
Let x = -114 - -139. Suppose -5*p = 5*r - 4*r + 7, r + 2*p = -10. Let c = x + r. Is 9 a factor of c?
False
Let w(y) = 27*y**2 - 14*y + 71. Is 48 a factor of w(7)?
True
Is 2 a factor of 1/((-2)/13 - 174/(-624))?
True
Let p = 1 - 0. Suppose -a - 4*w = -4*a - p, -4*a - 4*w = -36. Suppose -3*r = -a*h + 165, 2 = -r - 3. Is h a multiple of 10?
True
Let d(q) = 97*q + 236. Is d(12) a multiple of 28?
True
Suppose 4*h - 3*z - 23 = 0, -h - 3 = -0*z + z. Suppose 3*s = -h*j + 212, -j = -s - 0 + 74. Is s a multiple of 24?
True
Let d = -29 - -33. Is 5 a factor of (2 - 6)/(-4) + d?
True
Let h(k) = 21*k**3 - 2*k**2 + 2*k - 1. Let q be h(1). Suppose q = -3*g + 155. Suppose 5*w + g = -m + 2*m, 0 = 5*m + 5*w - 75. Does 4 divide m?
True
Let a(d) = -d**2 - 10*d - 10. Let u be a(-8). Suppose 0 = 2*o + 4*r + 3 + 9, 2*o + 2*r + u = 0. Suppose w + o*w = 59. Does 17 divide w?
False
Let m(i) = -5*i**2 + 9*i - 13. Let z be m(4). Let j = z + 80. Is j even?
False
Let r(j) be the second derivative of 5*j**4/6 + j**3/2 + 7*j**2/2 - 31*j. Does 13 divide r(-3)?
False
Suppose -5*a + 5*t + 18 = -7, 14 = 4*a - t. Suppose -2*s + a*s + 3 = 0. Let w(d) = -5*d - 3. Does 12 divide w(s)?
True
Suppose u + 3 - 60 = 0. Suppose -12 = -5*a - u. Let w(r) = r**3 + 9*r**2 - 6*r - 3. Is w(a) a multiple of 13?
False
Suppose 20*g = -4*t + 16*g + 5676, 5*t - g = 7089. Is 52 a factor of t?
False
Suppose -4 - 35 = -3*v. Suppose v = -x - 27. Let f = x + 91. Is 17 a factor of f?
True
Let x be (-38)/4 + 4/(-8). Let c = 13 + x. Suppose c*n - n = 30. Does 5 divide n?
True
Let m = 2 + -4. Let s be (0 + m)/((-6)/(-33)). Let j(b) = -b**2 - 16*b - 11. Is j(s) a multiple of 21?
False
Let b(g) = 109*g - 35. Is b(2) a multiple of 11?
False
Let a be 42/(-98) - (-496)/14. Suppose 2*k + 3*k = a. Is k a multiple of 2?
False
Suppose -9*o = -4*o + 40. Let s(m) = m + 12. Let p be s(o). Suppose -p*x = -5 - 15. Does 2 divide x?
False
Let u(p) = 5*p - 50. Let i be u(-10). Let y = -40 - i. Is y a multiple of 4?
True
Let z(p) = 31*p - 52. Is 5 a factor of z(30)?
False
Let k(s) = -4*s + 3. Let u be -1*3/5*5. Is k(u) a multiple of 3?
True
Let k = 8 + -18. Is 28 a factor of 858/30 - (-6)/k?
True
Let x(p) = -p**2 - 40*p + 21*p + 23*p + 3*p**2 - 2. Is 10 a factor of x(6)?
False
Suppose -3*d + 468 = -5*d. Let k = -387 - d. Is 4*5/((-60)/k) a multiple of 17?
True
Suppose -3*m + 39 = -0*m. Let w(n) = 2*n**3 + 3*n**2 - 11*n + 6. Let o be w(-3). Let s = m + o. Does 25 divide s?
True
Suppose -2 = -2*s + 4. Suppose -3*z = 4*u - 107, -2*z + z = s*u - 74. Is 8 a factor of u?
False
Let z be ((87/2)/(-3))/(11/22). Let l = z - -125. Is 16 a factor of l?
True
Is 14525/25 - (-2 + 0) a multiple of 15?
False
Let a be (-4)/((-1)/(3/6)). Let m be (-6)/a + 2 - 0. Let u(l) = -13*l + 2. Does 15 divide u(m)?
True
Is 8 a factor of (1*-1)/(27/(-8856))?
True
Let f = -110 + 113. Suppose 4*j + 4*q - 250 = 2*j, -122 = -j - f*q. Is j a multiple of 12?
False
Suppose 0 = -4*n + 6*n - 4. Suppose 173 = 5*m - n*c, -2*m = m + 5*c - 79. Is m a multiple of 15?
False
Let c be (1 - (3 - 4)) + 11. Does 2 divide 4*(-5)/((-20)/c)?
False
Suppose -15*h = -17*h, 0 = -2*p + 3*h - 4. Let b(r) = 63*r**2 + 4*r - 2. Is 44 a factor of b(p)?
False
Is 9 a factor of ((-4)/(-18) - 5968/72)*-9?
False
Is (-10 + -2)/(-12) + 879 a multiple of 5?
True
Let d(h) be the second derivative of -8*h**3/3 - 21*h**2/2 + 15*h. Is d(-7) a multiple of 11?
False
Let r = -322 - -2038. Is r a multiple of 52?
True
Let p(b) = b**3 + 7*b**2 + 5*b - 1. Let x be p(-6). Suppose 3*m = x*m - 10. Suppose -m*f + 45 = -20. Is f a multiple of 6?
False
Suppose -10*j + 48 = -8*j. Let g = j + 12. Is 6 a factor of g?
True
Let a = 874 + -674. Is 40 a factor of a?
True
Does 7 divide 6/(-12) + 1684/8?
True
Let b be (-3 + 2)/((-2)/8). Suppose 0*x + 156 = x - b*a, x = -3*a + 142. Suppose -5*o + m + 338 = 94, 0 = 3*o + m - x. Does 12 divide o?
False
Let i be (12/18*1167/2)/1. Let z = i - 98. Is 16 a factor of z?
False
Suppose -2*p + 29 = -0*p - 3*j, -p + 10 = 3*j. Let t = p + -10. Suppose t*f + 2*f - 111 = -4*d, -d + 45 = 2*f. Is 4 a factor of f?
False
Suppose k = 2*k - 357. Suppose -1047 + k = -5*i. Suppose 23*p = 25*p - i. Is p a multiple of 13?
False
Let l = 89 - -145. Is 18 a factor of l?
True
Let k = 11 - 11. Suppose -5*g + 32 = n, -n - g = -k*n - 32. Suppose -y - n = -2*y. Is 8 a factor of y?
True
Let l(u) = u - 2. Let m(s) = 1. Let r(h) = -3*l(h) - 12*m(h). Let k be r(-7). Let a = 39 - k. Is 6 a factor of a?
True
Let m = -3965 - -5693. Is m a multiple of 16?
True
Let v(g) = -g**2 - 8*g - 9. Let u be (6 + -7)*1*6. Let s be v(u). Suppose -s*d + 212 = d. Does 18 divide d?
False
Let p = 476 + -257. Is 73 a factor of p?
True
Let n(w) = w**2 - 5*w + 2. Let g be n(7). Suppose 5*s - g = s. Is 12 a factor of 1/(s - (-188)/(-48))?
True
Let y = 953 + -649. Is 64 a factor of y?
False
Suppose -2*c = -t + 280, -5*t + c + 4*c + 1395 = 0. Does 37 divide t?
False
Let d(k) = -3*k + 0*k + k - 44 + 18*k. Is 11 a factor of d(6)?
False
Suppose 4*d + 17 = -3. Is (-2 - (-356)/20) + (-1)/d a multiple of 16?
True
Let g be 4 - (1 + 0) - 19. Let p be (1 + g)*(-6)/9. Suppose -p = -t + 2. Does 4 divide t?
True
Suppose k - 10 + 3 = o, -2*o - 19 = -3*k. Suppose -84 + 249 = -k*n. Is 6 a factor of 3 - (n - (-8)/4)?
False
Suppose 3*d - 23 = 2*x, -x - 2*x = 4*d - 8. Let n(f) = -f**3 + 7*f**2 - 5*f - 10. Does 3 divide n(d)?
True
Let f(v) = 4*v**2 - 1. Let u(k) = -5*k**2 - 8*k + 9. Let h(b) = 2*f(b) + u(b). Let s be (10/3)/((-4)/(-6)). Is h(s) a multiple of 14?
True
Suppose -3*a = 2*a - 20. Suppose a*s - 2*l + 16 = 0, -2*s + 2 - 10 = -5*l. Let i(t) = t**3 + 5*t**2 + 2*t - 4. Is 4 a factor of i(s)?
True
Suppose -f + 2 = -1. Suppose 0 = f*w - 8*w + 225. Suppose