of x?
True
Let r be ((2 - 1)*0)/(-2). Suppose r = 2*c + c - 81. Suppose -3 - c = -z. Does 12 divide z?
False
Let t(c) = -c**3 + 15*c**2 - 15*c + 31. Is t(5) a multiple of 5?
False
Let z be 3/4 - 13/(-52). Is 19 a factor of (7 + -8)*(-18 - z)?
True
Let j(y) = -y**3 - 5*y**2 - 10*y. Suppose -4*s = -4*g - 16 - 16, -5*g = 2*s + 19. Does 10 divide j(g)?
True
Does 21 divide 8/8*870/3?
False
Let k = -65 - -137. Suppose -u + 12 = -5*u, 12 = 3*z - u. Suppose 4*h - z*a + 4*a = 87, -4*h + 4*a = -k. Is h a multiple of 3?
True
Suppose 9 = 4*q - q. Suppose -2*f + 15 = 3*f. Suppose f = q*c - 18. Is 2 a factor of c?
False
Suppose -3749 = -3*r + 3*n + 1828, 0 = 4*r - 2*n - 7426. Does 38 divide r?
False
Does 5 divide 6*7/(-42) + 176?
True
Let f be (-1 - 2) + -6 + 7. Let a = 0 - f. Is a a multiple of 2?
True
Let r(s) be the third derivative of s**4/12 + 29*s**3/3 + 8*s**2. Does 11 divide r(15)?
True
Suppose 0 = 5*y + 2*t - 7488, 3*y - 4265 = 5*t + 203. Is y a multiple of 68?
True
Let m(n) = -n**2 + 8*n - 4. Let t be m(7). Suppose 0 = -t*p - 0*p + 6. Suppose -p*o + 24 = -o. Is 12 a factor of o?
True
Suppose -23*i + 1248 = 3*i. Is 5 a factor of i?
False
Suppose -414 - 96 = 3*q. Let u = q + 287. Does 9 divide u?
True
Suppose 5*g = -5*f + 1600, -74 = f + 3*g - 388. Does 4 divide f?
False
Let c(o) = 13*o + 4. Let k(x) = -39*x - 13. Let l(n) = 17*c(n) + 6*k(n). Let h be l(10). Let s = h + 218. Does 26 divide s?
True
Suppose -4*a = -3*p - 359, 4*a + 5*p - 260 - 123 = 0. Let r = a + -66. Is 13 a factor of r?
True
Let k(z) = z**2 - 2*z + 31. Let a be k(0). Let d = a + -20. Is d a multiple of 9?
False
Suppose 0 = -3*y - 17 - 175. Let q = -37 - y. Suppose q + 39 = 2*w. Does 11 divide w?
True
Let o = 27 - 24. Is 11 a factor of ((-35)/(-14))/(1*o/66)?
True
Suppose -71*g - 672 = -85*g. Is g a multiple of 12?
True
Is (-1 + (-57)/(-15))*(9 - -16) a multiple of 7?
True
Suppose -6*s + 241 - 55 = 0. Let p = s - -1. Does 16 divide p?
True
Let m = 28 - 13. Does 11 divide (-1820)/(-50) + 9/m?
False
Suppose 32 = -2*r - 0. Is r/(16/4) - -280 a multiple of 23?
True
Let c(y) = -y**3 - 6*y**2 + 10*y + 9. Let k be c(4). Let l = 165 + k. Is 18 a factor of l?
True
Suppose -3*r - 67 + 1402 = 2*z, 5*z + r - 3305 = 0. Does 33 divide z?
True
Let m = -11 + 15. Suppose -m*g + 466 = o + 121, 3*g - 249 = -4*o. Is g a multiple of 29?
True
Suppose 12 - 4 = -2*j. Let v(f) = -2*f**3 - 2*f**2 - 7*f + 4. Does 41 divide v(j)?
False
Let i = -4 + 6. Let l(t) = -t**3 + t**2 - t. Let z(c) = -3*c**3 + 6*c**2 - 4*c - 4. Let g(q) = i*l(q) - z(q). Is 12 a factor of g(4)?
True
Suppose 0 = 4*x - 20 - 2464. Is x a multiple of 22?
False
Suppose -8107 = -2*u - y, -34*u + 39*u - 20260 = -4*y. Does 26 divide u?
True
Let y(a) = -9*a**3 - a**2 - a - 1. Let u be y(-1). Let b = u - 3. Is 7 a factor of (3 - b)*42/(-4)?
True
Let g = -1347 + 2934. Is g a multiple of 23?
True
Let l be 9/(-6) - 410/(-4). Let j = 209 - l. Is 38 a factor of j?
False
Let o = 71 - 33. Let t = 11 - o. Is 23 a factor of 142/6 - (-18)/t?
True
Let c be (-83)/(-9) - (-22)/(-99). Is 8 a factor of 6/c + (-22)/(-3)?
True
Let p(g) be the third derivative of -29*g**5/120 + g**4/6 + 5*g**3/6 + 8*g**2. Let o(n) be the first derivative of p(n). Does 30 divide o(-4)?
True
Let u = -25 - -2. Let m = u - -24. Suppose -5*g + 4*d + 39 + m = 0, -5*d = -g - 13. Is 3 a factor of g?
True
Suppose 69690 + 13453 = 61*q. Is q a multiple of 47?
True
Does 18 divide (-9*(-1 - -10))/(6/(-116))?
True
Let s = 39 - 35. Suppose x = -4, -x = -s*f + 2*x + 164. Does 17 divide f?
False
Suppose -f + 10 = f, 2*l = -2*f + 14. Suppose l*o + o + 48 = 0. Is 1*20 + o/4 a multiple of 4?
True
Let f = 3260 + -2284. Is f a multiple of 16?
True
Let d = 0 + 1. Suppose -m = 9 - d. Let a(z) = z + 13. Is a(m) a multiple of 5?
True
Let s(z) = z**2 + 9*z + 10. Let j be s(-8). Suppose -8 = j*h - 86. Does 13 divide h?
True
Let c = -24 + 15. Let h be ((-30)/c)/(10/(-15)). Let n(u) = -3*u - 4. Does 4 divide n(h)?
False
Suppose 0 = z - 2, r - 78 = -2*r - 3*z. Suppose -l - r = 3*l. Is l*(2 - 0)/(-2) a multiple of 3?
True
Suppose 5*g = z + 102, -2*z - 20 = -4*g + 58. Is g a multiple of 7?
True
Let a = 65 + -63. Does 9 divide ((-216)/40 - -3)/(a/(-105))?
True
Let w(c) = c**2 - 2*c. Let t be w(3). Suppose 25 = -5*n - 0, 2*n = -t*x + 140. Is 15 a factor of x?
False
Let u(w) = 4*w - 10. Let f be u(5). Let g = f - 5. Suppose 2*r + 75 = g*r. Is 19 a factor of r?
False
Suppose 2*t + 2*m - 412 = 0, -5*m + 2*m = -t + 198. Suppose 5*i - 4*i - t = 0. Is 18 a factor of i?
False
Let c = -280 + 480. Is c a multiple of 67?
False
Let r(w) = -w**3 - w**2 + 140*w + 30. Is r(-15) a multiple of 40?
True
Let l(j) = -j**2 - 2*j - 2. Let i be l(2). Is 8 a factor of (-2988)/(-30) + (-3 - 34/i)?
False
Let b(w) = 8*w**2 - 2*w - 40. Is b(-6) a multiple of 10?
True
Let u = 465 + -342. Is 10 a factor of u?
False
Suppose -5 = k, -2*s + k - 1 = -0. Suppose -3*b - 32 = 16. Let a = s - b. Does 6 divide a?
False
Let i = -114 - -66. Let k = i - -65. Does 17 divide k?
True
Let u be ((-54)/(-5))/((-51)/340). Let g = u - -161. Does 19 divide (g/2)/(3/6)?
False
Let n = -3 - -5. Suppose -2*d + n = -2*s, 5*d - 2*d = -5*s + 19. Is 12 a factor of 27 - (0 + -3 + s)?
False
Suppose -c + 48 = -5*c. Let z = 187 + c. Is 35 a factor of z/4 + 9/(-12)?
False
Suppose 2*k - 5*y - 28 = 42, 8 = 4*y. Is k a multiple of 3?
False
Let k = 48 + -34. Let n = k + -2. Suppose -n = 3*f, -3*t + f = -2*t - 43. Does 13 divide t?
True
Suppose -7*f - 7294 + 20699 = 0. Does 38 divide f?
False
Let v(j) = -j**2 - j - 3. Let a(c) = -7*c**2 - 13*c + 3. Let l(x) = -a(x) + 6*v(x). Suppose 2*n + 16 + 4 = 0. Is 9 a factor of l(n)?
True
Suppose 2*r = 2*x + 16, -2*r + 3*x = -0*r - 21. Suppose 3*q + 5*t - 266 = 0, t = -r*q + 255 + 7. Is q a multiple of 12?
False
Suppose -3*r - 4*y = 8, -3*r + 2 = -3*y - 4. Let a = r - -1. Is 11 a factor of 4*a*(9 - 3)?
False
Let j(d) = 3*d + 4. Let x be j(-8). Let s = x - -14. Is 104/s*3/(-2) a multiple of 26?
True
Suppose u + 2*j = 85, 23*j - 26*j - 177 = -2*u. Is 6 a factor of u?
False
Let m = 0 + 4. Suppose 0 = m*d + d - 130. Let c = d + 10. Is 12 a factor of c?
True
Is (-192)/(6 + 54/(-42) - 5) a multiple of 21?
True
Let t = 5 + -5. Let s = t + 5. Suppose -67 = -s*w + 63. Is 13 a factor of w?
True
Let h = -28 + 37. Let z = 30 + h. Is 13 a factor of z?
True
Let t(j) = -j + 3 + 3 - j**3 + 0*j. Is t(0) a multiple of 6?
True
Suppose -42*w + 22699 + 29465 = 0. Is 18 a factor of w?
True
Let b(r) = r**3 - 21*r**2 + 23*r + 5. Let z be b(20). Suppose z = 2*k - 79. Is k a multiple of 9?
True
Suppose 9*o - 11*o = -66. Let w = o - -35. Is 34 a factor of w?
True
Suppose z = 2*f - 14, f - 2*f - z + 13 = 0. Is 31 a factor of (f/(-2))/((-8)/128)?
False
Let y(c) be the second derivative of c**7/140 + c**6/180 - c**4/24 + c**3/3 + c. Let n(w) be the second derivative of y(w). Does 3 divide n(1)?
False
Let z(s) = -5*s - 6. Let f be z(0). Let u(r) = -14*r - 7. Is 36 a factor of u(f)?
False
Suppose 45130 = 12*b + 2350. Is b a multiple of 9?
False
Let q(y) = -80*y**2 + 6 + 2*y**3 - y**3 + 93*y**2 - 17*y. Let u be q(-14). Let v = u - 23. Is 21 a factor of v?
False
Suppose -2 + 6 = 4*d, -d + 13 = 4*r. Suppose r*v + v = 368. Is 23 a factor of v?
True
Does 20 divide (-3)/4 + (-17719)/(-52)?
True
Let a(l) = -7*l**3 + 7*l**2 - 7*l - 106. Let u(w) = -8*w**3 + 8*w**2 - 8*w - 105. Let x(y) = -7*a(y) + 6*u(y). Does 14 divide x(0)?
True
Let f be 20/15*3/(-2). Let g(s) = -3*s**3 + s**2 + 3*s + 3. Is 3 a factor of g(f)?
False
Let o = 1529 - 1122. Is o a multiple of 52?
False
Let q = -1 - -6. Suppose -t + q*j + 331 = 3*t, -t - 3*j + 87 = 0. Suppose 6*n + t = 8*n. Is 12 a factor of n?
False
Let f(x) = -2*x + 53. Is 14 a factor of f(-16)?
False
Let h(n) = -8*n + 32. Let g be h(4). Is 14 a factor of 1 + 3 + 77 + g?
False
Let l = 16 - 17. Let d = l - -13. Is 3 a factor of (d/14)/(15/70)?
False
Let d(l) = 176*l + 44. Is d(1) a multiple of 13?
False
Let i(t) be the second derivative of -5/6*t**3 - 1/20*t**5 - 4*t**2 + 11/12*t**4 - 4*t + 0. Is 21 a factor of i(10)?
True
Let b = -144 + 82. Let j = -36 - b. Does 12 divide j?
False
Let d be (-1 + -1)*(6 + 0)/(-3). Is 3 a factor of (2/d + -2)/(15/(-190))?
False
Suppose -5*j = a - 1476, -j + 0 = 4. Is a a multiple of 11?
True
Let g = 47 - 36. Suppo