99. Does 11 divide v?
False
Let i = 1 - -4. Suppose i*a - 13 = 62. Let y = a - -9. Is y a multiple of 12?
True
Let w(i) = -20*i**3 + 14*i**2 + 8. Let c(a) = 7*a**3 - 5*a**2 - 3. Let j(o) = -11*c(o) - 4*w(o). Is j(2) a multiple of 21?
True
Let k = -89 - -130. Is 21 a factor of k?
False
Let a = -7 - -5. Is 12 a factor of -2 + 5 + (7 - a)?
True
Suppose 0 = -o - 2*o + 24. Is 4 a factor of o?
True
Let f(w) = -w**2 + 4*w - 2. Let b be f(4). Is 12 + 5 - b/1 a multiple of 7?
False
Suppose 0*c = -5*c + 3*x - 141, -c - 45 = 5*x. Let q = -99 + 157. Let z = q + c. Is 14 a factor of z?
True
Let p(s) = 3*s + 4. Let f(h) = -7*h - 7. Let o(w) = 4*f(w) + 9*p(w). Let j be o(7). Suppose -u = -r - j, -3*u + 8*u = 3*r + 11. Does 3 divide r?
True
Let l(h) = h**2 - 10*h + 9. Let q be l(6). Is 7 a factor of (2/10 + -1)*q?
False
Suppose c - 5*c = -4*q - 308, -c = -5*q - 77. Let o = c - 55. Is 9 a factor of o?
False
Let t = 4 - 1. Let y be t/(-9) + 10/3. Suppose 3*o - 50 = 2*h, -2*h - y*h + 105 = 4*o. Is 9 a factor of o?
False
Suppose 3*h = -g + 71, h + g - 46 = -h. Let j = -16 + h. Does 3 divide j?
True
Is (-2)/1*(-13 + -3) a multiple of 4?
True
Suppose -4*i = -0*i - 36. Let x be (3/i)/(2/90). Suppose -4*s + s = -x. Is 5 a factor of s?
True
Let c = 17 + -11. Suppose 2*f = c*f - 240. Does 30 divide f?
True
Let g be (3/6)/(-1)*-4. Suppose g*a = 5*w - 3, w - 6*w = -15. Suppose 0 = 5*s + a - 36. Is s a multiple of 6?
True
Suppose -2*w = -4*q + 48, -4*q - 4*w + 16 + 8 = 0. Is 5 a factor of q?
True
Let c(o) = 8*o. Let k be c(1). Suppose b = 6*b - 5. Let z = k + b. Is 9 a factor of z?
True
Is 15024/132 - (-4)/22 a multiple of 23?
False
Suppose 2*z = -5*a + 111 - 43, -2*z + 5*a + 88 = 0. Is z a multiple of 8?
False
Let z(p) be the third derivative of 7*p**5/30 - p**3/6 + 4*p**2. Let w = -4 + 3. Does 13 divide z(w)?
True
Suppose -4*m - 5*c + 207 - 80 = 0, -m + 5*c = -13. Suppose -z + 97 = 4*i - 2*z, -i + 4*z = -m. Does 9 divide i?
False
Let f = 190 + -94. Suppose 4*q - q = f. Let n = -12 + q. Is 10 a factor of n?
True
Suppose -8*s - u + 8 = -3*s, 12 = 5*s - u. Suppose 0 = -3*f - h + 19 + 60, -s*h = 3*f - 83. Does 19 divide f?
False
Let r be 56/10 - 6/(-15). Is ((-24)/9)/((-2)/r) a multiple of 4?
True
Suppose 0*n = -2*n + 3*y + 51, -5*n + 2*y + 122 = 0. Does 6 divide n?
True
Is 2 + 1 - (6 - 232) a multiple of 24?
False
Suppose -4*y + 3*y = p - 34, 0 = -3*y + 2*p + 82. Is y a multiple of 10?
True
Let a(j) = -j**3 - 10*j**2 - 11*j - 6. Does 6 divide a(-9)?
True
Is -55*(-5 - -4) - -4 a multiple of 16?
False
Suppose 3*h - 5*h + 4 = 0. Let c(n) = 2*n + 0*n - 5*n**3 + 3*n**h + 4*n**3. Is c(-2) a multiple of 11?
False
Suppose 2 + 7 = -3*b. Let h = b - -11. Does 3 divide h?
False
Let m be 10/(-15)*9/(-2). Let i = 6 - m. Suppose -5*d - a + 35 = -3*d, 2*a = i*d - 35. Does 6 divide d?
False
Suppose -5*z = -0*z + 20, 3*z = -3*u + 18. Does 10 divide u?
True
Suppose -p - 3 = -7. Does 10 divide 37 - (p/2 + -3)?
False
Let k(d) = -d**3 - 4*d**2 + 5*d + 1. Let j be k(-5). Let c be (0*(-2)/4)/j. Let m = 26 + c. Does 13 divide m?
True
Let r = 356 - 245. Let m = r - 61. Does 16 divide m?
False
Let o be ((-2)/(-4))/((-2)/120). Let w = -16 - o. Does 5 divide w?
False
Let m be (-24)/9*6/(-4). Suppose -3*q + 8 = -m*n - 9, 4*n + 24 = -4*q. Let a(b) = -b + 1. Does 4 divide a(n)?
False
Suppose 69 = i + p + 1, 4*p + 112 = 2*i. Suppose -3*m = -29 - i. Let o = 43 - m. Does 6 divide o?
True
Let c = -3 + 6. Suppose 174 = 3*v - c*h, 5*h = -3*v + h + 209. Is v a multiple of 21?
True
Let w = 8 + -5. Let p = w + 4. Suppose 2*m + 5*s - 37 = p, -m - s = -16. Does 12 divide m?
True
Suppose 0 = x - 5 - 20. Suppose 3*s - 83 = x. Does 10 divide s?
False
Let h(v) = -v**3 - 7*v**2 - v + 1. Let q be h(-7). Suppose -3*n + 12 = -p, 4*n - 8 - q = -4*p. Does 4 divide n?
True
Let f(s) = -2*s**3 - 3*s**2 - 13*s - 12. Let b(n) = 3*n**3 + 5*n**2 + 19*n + 18. Let u(d) = -5*b(d) - 7*f(d). Is 12 a factor of u(-5)?
False
Let r = -17 - -13. Is 8/(-10)*130/r a multiple of 9?
False
Does 12 divide -54*((-80)/15 - -4)?
True
Suppose 17*j - 15*j = 72. Is j a multiple of 18?
True
Is ((-1)/(-3))/(4/852) a multiple of 10?
False
Let r = 20 + -1. Suppose 0 = s - r + 1. Is s a multiple of 9?
True
Let o = 67 - 47. Is 4 a factor of o?
True
Is (-168)/126*(-51 + 0) a multiple of 14?
False
Let t = 61 + -50. Is t a multiple of 5?
False
Suppose -3*m - 5*p + 13 = 0, 2*p + 5 = -3*p. Is m a multiple of 6?
True
Let m(o) be the second derivative of o**4/12 - o**3/3 - 3*o**2/2 + 2*o. Let l = -3 + 0. Is 12 a factor of m(l)?
True
Suppose 2*i - 4*b = 4*i + 68, -2*b = 2*i + 68. Let x = i + 53. Is 19 a factor of x?
True
Let p be (123/2)/((-2)/4). Let b = 177 + p. Does 18 divide b?
True
Suppose -y - y - 5 = -5*j, -4*j = 2*y - 4. Let d = 2 - y. Does 11 divide (-3 + 1)/d*-30?
False
Let s(k) = 12*k + 1. Is s(1) a multiple of 11?
False
Let t = -8 - -10. Suppose -y + 23 = t*x - 15, -2*y + x + 56 = 0. Does 15 divide y?
True
Let c be (2 - -14)/2*2. Suppose c = -o + 2*o. Is o a multiple of 7?
False
Suppose 20 = -4*u, 3*d - u + 3*u = 1007. Is 25 a factor of d?
False
Suppose -t - 3*t = -12. Let a be t/9 - 98/(-3). Suppose v = 2*l - 8, -7*v - 5*l = -3*v - a. Is v even?
True
Suppose -2*h = 3*h + 4*z - 284, 4*h - z = 223. Is 8 a factor of h?
True
Suppose 4*j + 506 = 6*j. Is 23 a factor of j?
True
Let g be (1 - -1)*1/2. Let r = -19 + 5. Let z = g - r. Is 8 a factor of z?
False
Let b(m) = 2*m + m + 14 - 1. Is b(10) a multiple of 20?
False
Let u = -46 - -165. Let c be ((-2)/(-6))/(2/474). Let q = u - c. Is q a multiple of 14?
False
Suppose 4*u + u = 10. Suppose m + u - 88 = 0. Is 27 a factor of m?
False
Suppose -2*d - 3*j = d, -2*j = -5*d - 28. Let g = 7 + d. Suppose g*x - 9 = t, -4*x + t + 9 + 4 = 0. Is x even?
True
Suppose l - 2 = 3*w, -21 = -w - 3*l - l. Let v = 6 + w. Is 2 a factor of v?
False
Suppose 127*o + 312 = 129*o. Is 12 a factor of o?
True
Let b be 0 + (-1 - -1 - -3). Suppose 36 = -5*c - b*t + 191, -4*c + 124 = 5*t. Is 11 a factor of c?
False
Let o(h) = h - 5. Suppose -3*u - 15 = 4*w, 4*w - 3*w = -2*u - 10. Let r be o(w). Let k = r + 15. Is 10 a factor of k?
True
Suppose -18 - 84 = -2*l. Is l a multiple of 17?
True
Is (24/4 + -1)*2 a multiple of 10?
True
Suppose 2*c - 5*s = 19, -3*c - 4*s - 8 = -2. Suppose -1 = c*k - 5. Suppose -k*f + 26 = -10. Does 14 divide f?
False
Let z = 117 - 77. Is z a multiple of 20?
True
Suppose 2*o - 7*o + 453 = k, -5*o + 2*k = -444. Is 14 a factor of o?
False
Suppose 5*z = s, 0*z = 3*z - s. Let u be (-2)/(-4)*-1*z. Suppose 7*d - 3*d - 32 = u. Is 4 a factor of d?
True
Let l be (-3)/(-12) - (-18)/(-8). Let b(g) = -9*g - 4. Does 7 divide b(l)?
True
Let a(n) = 71*n - 1. Let p(h) = h**3 - 5*h**2 + h - 6. Let t be p(5). Let r be a(t). Let q = r + 101. Does 17 divide q?
False
Is 13 a factor of (-14)/4*(-68)/7?
False
Is 5220/39 - (-10)/65 a multiple of 17?
False
Suppose 5*s - 1963 + 523 = 0. Is s a multiple of 12?
True
Let k be (52/13)/(2/17). Suppose k = 3*b + 5*w, 2*w = -4*b + 4*w + 28. Does 8 divide b?
True
Suppose 2*v - v = 5*b - 161, 4*b - 152 = -5*v. Is 11 a factor of b?
True
Let o = 15 - 22. Let h(a) = -a**3 - 8*a**2 - 10*a - 3. Let d be h(o). Let j = d - 12. Does 6 divide j?
True
Suppose 2*o - 4 = b + 3*b, -2*o - 3*b + 32 = 0. Let j(k) = k**3 - 9*k**2 - 5*k + 4. Does 18 divide j(o)?
True
Suppose 0 = y - u - 76, 73 = y + u + 5. Is y a multiple of 37?
False
Let r = 5 - 2. Is r even?
False
Suppose -4*z + 158 = -2*m, 4*z - 207 = -m - 46. Suppose -j = -0*j + v - 11, -z = -3*j + 4*v. Does 4 divide j?
True
Suppose -5*d - 5*j - 14 = -109, -3*d + 3*j = -69. Is 21 a factor of d?
True
Let a(v) = 5*v**2 + 2*v + 1. Let c be a(-1). Suppose -3*o - 22 = 5*y - c*o, -2*o - 6 = 0. Is 17 a factor of 88/5 + (-2)/y?
False
Let m be (2/6)/((-1)/3). Does 14 divide (45 + -2 - m) + -2?
True
Suppose -3*b - 2*s = 2*s - 177, 3*b - 150 = 5*s. Is 30 a factor of b?
False
Suppose -q = -12 - 0. Suppose -q + 69 = 3*k. Does 12 divide k?
False
Let h(v) = -4*v + 49. Does 9 divide h(-9)?
False
Does 11 divide ((-5)/10)/(1/(-60))?
False
Suppose 3*m - 5*m = 5*y - 18, 0 = -2*m + 2*y + 4. Let o(i) = -m*i - 5*i - i - 4. Does 18 divide o(-3)?
False
Suppose 2*g - 2*s - 272 = 0, 5*g + 4*s - 536 = g. Is 15 a factor of g?
True
Let i be (-2 + 2)/(12/(-4)). Suppose i = 3*n + 5*m - 54, 5*n 