). Let j = -2 + w. Is 4 a factor of j?
False
Let p(s) = -s**2 + 6*s - 5. Let i be p(5). Let b = i - -4. Suppose b*c = -5*u + c + 62, -5*u + 46 = -c. Is u a multiple of 10?
True
Let d = -186 - -296. Does 6 divide d?
False
Let l(b) be the third derivative of -b**5/60 - b**4/12 - 2*b**3/3 - 3*b**2. Let y(f) be the first derivative of l(f). Is 9 a factor of y(-10)?
True
Let i(t) = t + 0*t - 9*t + 9*t + 2. Is i(16) a multiple of 6?
True
Let x be ((-1)/(-1))/2*44. Let i = x - -6. Is i a multiple of 28?
True
Let x = 3 - -15. Let h = 26 - x. Suppose 2*w - h = w. Is w a multiple of 8?
True
Let h = 163 - 88. Does 25 divide h?
True
Let v(o) = o**3 + 3*o**2 - 2. Let a be v(-2). Suppose -160 = -a*u - 2*u. Does 20 divide u?
True
Suppose 4*n - 4*s = 16, 4*n + 2*s - 14 = 8. Let m(b) = b**2 - 4*b + 7. Is m(n) a multiple of 4?
True
Let t = -5 - -7. Suppose -t*i + 9 + 1 = 0. Is i a multiple of 5?
True
Suppose 0 = 11*r - 10*r - 69. Is 23 a factor of r?
True
Suppose -5*o + 70 = -0*o. Is o a multiple of 9?
False
Let a(f) = -f**3 + 10*f**2 + f + 12. Let t be a(10). Let k = 1 + -2. Let g = k + t. Does 18 divide g?
False
Let q be 3 + (-93 - 3)/(-3). Suppose -2*c - q - 7 = 0. Let s = 27 - c. Is 18 a factor of s?
False
Let i = 104 - 89. Is i a multiple of 5?
True
Let z(w) = -3*w + 7. Let t be z(4). Does 21 divide t*(-17 - -3) - 3?
False
Suppose 0*m + 22 = m - 2*v, 98 = 3*m + 2*v. Is m a multiple of 15?
True
Let r(j) = 5*j - 3. Let l(y) = -5*y**3 - 2*y**2 - 2*y - 1. Let a be 3/((-3)/2) - -1. Let o be l(a). Is 9 a factor of r(o)?
False
Let j(t) be the second derivative of t**4/12 + t**3/2 + t**2/2 - t. Is j(-5) a multiple of 4?
False
Suppose 0 = -3*y + 582 - 159. Suppose 19 = 5*g - y. Does 16 divide g?
True
Let x = -1 + 3. Suppose x*y - 74 = 34. Is 14 a factor of y?
False
Let v = 13 - 24. Let n = 8 - v. Does 19 divide n?
True
Suppose -4*w - 4 - 8 = 0, 5*w - 30 = -3*u. Is u a multiple of 15?
True
Let n(q) be the first derivative of -q**2/2 - 6*q - 3. Let l be 1/((-3)/24*1). Does 2 divide n(l)?
True
Let l(w) = w**3 + 6*w**2 - 2*w - 4. Let g(h) = h**3 - 6*h**2 - h. Let a be g(6). Is 3 a factor of l(a)?
False
Let d be (-27)/(-1 + 4)*14. Let t = -86 - d. Is 20 a factor of t?
True
Suppose 0 = 3*k + 2*k - 310. Let r = k - -12. Is r a multiple of 29?
False
Let h(q) = -4*q + 4. Let f(u) = -u + 1. Let s be 2/(3/9*2). Let c(x) = s*f(x) - h(x). Does 3 divide c(5)?
False
Suppose -h + 5*z = z - 125, -z + 1 = 0. Is h a multiple of 23?
False
Let t = 270 - 45. Is 21 a factor of t?
False
Let s = 64 - 59. Is s even?
False
Suppose -5*b - 6 - 4 = -2*l, -5*l - 3*b = -56. Does 10 divide l?
True
Is 28 a factor of -11 - -37 - (-4 + (1 - -1))?
True
Suppose 3*i - i + 3*w = -5, 5*i + 3*w - 10 = 0. Suppose -i*m + 3*m + 26 = 0. Does 4 divide m?
False
Let p(m) = 24*m**2 - 4*m + 2. Does 18 divide p(2)?
True
Let i be 2*(-10)/4*-1. Suppose 0 = -5*t - 2*a + 272, -t + 4*t = -i*a + 148. Does 14 divide t?
True
Let n(x) = 2 + 5 - 5*x + 7*x. Suppose -d = -5 - 0. Is n(d) a multiple of 11?
False
Suppose 192 = 2*h - 4*k + 16, k = 4*h - 366. Does 23 divide h?
True
Let b = -60 + 87. Does 9 divide b?
True
Let w = 2 + 1. Let i = -9 - w. Is 2 a factor of (-14)/(-4) - (-6)/i?
False
Let u = -28 + 9. Let t = 33 + u. Is 9 a factor of t?
False
Let m(g) = -g**2 - 3*g + 3. Let r be m(-3). Let i(j) = j**3 - 2*j**2 - 3*j - 1. Let p be i(r). Let k = 27 - p. Is 18 a factor of k?
False
Suppose 0*m - 90 = -2*m. Does 9 divide m?
True
Let h(f) = f**3 + 8*f**2 + 4*f. Let o be h(-5). Let d = o - 34. Suppose -d = -4*p - w + 2, 5 = -5*w. Is 4 a factor of p?
False
Let j(c) = c - 3. Suppose 26 - 8 = 3*n - b, 2*b = -4*n + 14. Is 2 a factor of j(n)?
True
Let x(b) = -2*b + 8. Let k be x(-4). Suppose -h = -13 - k. Is h a multiple of 13?
False
Suppose x - r - 44 = 49, r - 5 = 0. Is 10 a factor of x?
False
Let o = 35 + -14. Is o a multiple of 7?
True
Suppose -3*h + 233 = 3*x + 2*h, -2*h = -8. Suppose 0 = 4*f - x - 25. Does 6 divide f?
True
Suppose m + 22 = 5*j, -2*j - 3*m = -0*j - 2. Suppose 52 = j*c - 76. Is 8 a factor of c?
True
Suppose x = -0*x + 55. Suppose x + 15 = 5*t. Is t a multiple of 5?
False
Let h be (-27)/(-45) + (-3)/5. Suppose -w + 5 = -h*w, 26 = s + w. Is s a multiple of 10?
False
Suppose 4*b - 11 = -i, 4*b - 8 = i - 5*i. Suppose -1 = b*a - 13, -2*a = 2*h - 24. Suppose 3*g - 5*g + h = 0. Is 4 a factor of g?
True
Let o = -33 - -42. Is 2 a factor of o?
False
Let o be (1 - (-12)/(-4)) + 82. Suppose -8*l = -10*l + o. Is 20 a factor of l?
True
Let k = 30 - 50. Is 8 a factor of 166/10 - (-12)/k?
True
Suppose 4*z - 5*j + 42 = 0, -2*z - 22 = 5*j + 14. Let x = 7 + z. Let p = 12 + x. Does 3 divide p?
True
Suppose -3*v - 44 = v. Does 9 divide (v + 12)/(2/20)?
False
Let u(v) = v + 16. Let k be u(0). Suppose -3*x + x - k = 0. Let r = 29 + x. Is r a multiple of 7?
True
Let f = -18 - -38. Suppose 3*i = -x - 0*i + 20, f = 4*i. Does 5 divide x?
True
Let c = -21 - -126. Suppose c = r + 45. Suppose -r = -x - x. Is 12 a factor of x?
False
Let n(i) = 27*i**2 + 3*i + 4. Does 34 divide n(-3)?
True
Is 33 a factor of 1/4 - 1185/(-12)?
True
Suppose -2*j + 2*w = 66, 2*w = -2*j - 91 + 21. Let d = j - -88. Is d a multiple of 24?
False
Let v be (29 - -1)*2/3. Suppose v = 4*s, -2*a = 2*a - 4*s - 52. Let i = -9 + a. Is i a multiple of 4?
False
Let r(u) = 4*u**2 + 23*u + 11. Does 8 divide r(-9)?
True
Let h(q) = -13*q + 28. Is h(-8) a multiple of 33?
True
Let d(w) = w**2 + 5*w - 2. Let k = -10 + 17. Let s = k - 15. Is d(s) a multiple of 22?
True
Let y(p) = -p**2 + 4*p + 2. Let r be y(4). Suppose r*b = -2*g + 196, -4*b - 2*g = 170 - 562. Is 27 a factor of b?
False
Suppose -99 = -4*z + 81. Does 16 divide z?
False
Suppose 90 = 5*a + 3*m, -m + 6*m = -25. Is 7 a factor of a?
True
Suppose q - 7 = -0*q. Suppose 0 = q*p - 2*p. Suppose p*d - 16 = -d. Is 11 a factor of d?
False
Suppose 2*q - 8 = -4. Is 7 a factor of 1/2 - (-37)/q?
False
Suppose 0 = -3*r - 2*v + 36, -r + 0*v - 5 = -5*v. Let b(s) = -r + 12 + 9 - s. Does 10 divide b(-9)?
True
Let z(h) = -h - 7. Let m be z(-9). Suppose -v - 39 = -m*v. Is v a multiple of 16?
False
Let f(v) = -3*v + 33. Is 11 a factor of f(-11)?
True
Suppose -2*d + 2 = -8. Let a(i) = 3*i - d + 4*i - i - 3*i**2 + i**3. Is a(4) a multiple of 9?
False
Let o be (-62)/(-1) - 1 - 0. Suppose 3*y - 4*a - 131 = 48, -y + o = -a. Does 19 divide y?
False
Let y = 174 - 256. Let m = y + 52. Let r = 63 + m. Is r a multiple of 16?
False
Suppose -h + 6*h - 10 = 0. Suppose w - 5*s = 3*w - 47, -3*s = h*w - 37. Is 4 a factor of w?
False
Let v(p) = p**2 - 1. Is 2 a factor of v(-2)?
False
Let h(l) = -4*l**3 - l**2 + 12*l - 3. Let i(t) = -5*t**3 + 13*t - 2. Let y(g) = 6*h(g) - 5*i(g). Does 17 divide y(6)?
True
Let d be (132/(-16))/(9/(-48)). Suppose h - 2*h = 2*t - d, -2*h + 111 = 5*t. Does 6 divide t?
False
Let j = 44 + -33. Is j a multiple of 4?
False
Let m(u) be the third derivative of u**5/10 + u**4/24 - u**3/3 + 2*u**2. Suppose 1 + 1 = w. Is m(w) a multiple of 12?
True
Suppose -25*z + 28*z = -3*w + 129, -3*w + 131 = z. Does 22 divide w?
True
Let z = 62 + -3. Is 9 a factor of z?
False
Is 12 a factor of (-27)/(-18)*76/6?
False
Suppose 0 = 50*i - 53*i + 459. Is i a multiple of 31?
False
Let y(h) = -h**3 - 4*h**2 - 4*h - 1. Let i be y(-3). Suppose 0 = i*n + 2 - 16. Is n a multiple of 7?
True
Let v be (-14 - -2)*12/(-2). Let d = v - 13. Is 14 a factor of d?
False
Let h = -1 - -1. Let o be (-3)/(-1) - (h - -1). Does 15 divide ((-30)/o)/((-2)/4)?
True
Suppose -3*a + 107 = 20. Is a even?
False
Let s = 213 + -123. Does 30 divide s?
True
Suppose -6*o + 40 = -o. Let p be (-6)/o - 451/(-4). Suppose -56 = -2*k + 3*d, -4*k - d = -0*d - p. Does 9 divide k?
False
Let y be -2*(1 + 14/(-4)). Let k = 51 - y. Does 23 divide k?
True
Suppose 0 = 5*x - 0*x - 10. Suppose -10 = 5*y, y = 2*g + x*y - 146. Suppose -z = z - g. Is 14 a factor of z?
False
Let q = -176 + 246. Is q a multiple of 35?
True
Let h = -6 - -11. Suppose m + h*s = 20, s = m - 6 - 14. Let o = 33 - m. Does 13 divide o?
True
Suppose -3*f = -4 - 2. Suppose -f*b - 9 = -57. Is 12 a factor of b?
True
Let j = 147 - 91. Is j a multiple of 14?
True
Let t(w) = w - 6. Suppose 0 = -3*f - f + 32. Let h be t(f). Suppose -3*y = 4*a - 0 + 2, -h*y + 4*a = -32. Is 6 a factor of y?
True
Let k = -9 - -3. Let c = 3 - k. Let d = c + 26. I