*m = -35. Let u(o) = 3*o + 33. Does 6 divide u(x)?
True
Suppose 4196 = -11*l + 14954. Is 35 a factor of l?
False
Suppose -3*o = -2*o - 11. Suppose 11 = -2*f + 6*f - u, -o = -f + 3*u. Is (-2)/3*(-42)/f a multiple of 7?
True
Suppose -4*b + 1048 = -2*k, 5*k - 75 = 4*b - 1111. Is 24 a factor of b?
True
Let r be ((-1)/5)/(5/(-25)). Is r/(((-742)/(-148) - 3) + -2) a multiple of 40?
False
Let r(i) = -i**3 + 13*i**2 + 13*i + 20. Let a be r(14). Suppose -3*z - a = 0, b = z + 3*z + 20. Is b a multiple of 6?
True
Let y(d) = 167*d**2 - 24*d + 91. Is y(4) a multiple of 39?
False
Suppose -10 = -2*b, b + 5 = 5*o - 4*b. Suppose -o*u + 264 + 6 = 0. Is 15 a factor of u?
True
Let n(f) be the first derivative of f**4/4 - 2*f**3/3 + 4*f**2 - 10*f - 21. Is n(4) a multiple of 27?
True
Suppose 0 = 2*g - 67 + 243. Is (1 + g)*(32 + -35) a multiple of 29?
True
Let w = -6 - -10. Let y(j) = -8*j**2 - 4*j - 8. Let s(g) = 9*g**2 + 4*g + 7. Let q(t) = w*s(t) + 3*y(t). Is 18 a factor of q(-3)?
False
Let h = 872 + -11. Suppose 5*m - h + 276 = 0. Does 22 divide m?
False
Let c(z) = -51*z - 347. Is 32 a factor of c(-38)?
False
Does 21 divide (-7)/(18477/(-3078) + 6)?
True
Suppose 2*s + 0*r - 58 = -5*r, 2*r = 2*s - 58. Suppose 0*u + j + 40 = 4*u, 5*u - s = -4*j. Is u a multiple of 3?
True
Let p(f) = f**3 - 2*f**2 - 7. Let v be p(6). Suppose 3*w - 5*k = 145, -4*w = k - v - 87. Is w a multiple of 37?
False
Let h(p) = p - 115. Let v be h(0). Let d be -163 + -4 - -7 - 1*3. Let a = v - d. Does 16 divide a?
True
Suppose -3 = 8*h - 11*h. Let s be (0 + 1)/1 - h. Is 3 a factor of (6 - s) + (-4 - -5)?
False
Suppose -4*g + d = -37, 3*g - d - 45 + 17 = 0. Let r = 11 - g. Suppose -5*z = r*u - 134, -5*z + 3*z + 3*u = -65. Is z a multiple of 14?
True
Suppose -2*l - l = -4*y + 485, 4*l = 5*y - 648. Let g = -105 - l. Is 31 a factor of g?
True
Suppose -b - 132 = -f + b, -4*b = -4. Does 18 divide f?
False
Is (-67108)/(-380) - (-3)/(-5)*1 a multiple of 3?
False
Let r(d) = 3*d - 18. Let n be r(6). Suppose a + 11 = -n*a - 3*p, -4*p - 23 = 3*a. Let b = a - -13. Is b a multiple of 5?
False
Let h be 2 + 6 + 0 - -4. Does 24 divide (0 - h/9)*-36?
True
Suppose 2818 + 7382 = 15*v. Does 10 divide v?
True
Let y(z) = -334*z**3 - 29*z**2 - 3*z - 2. Is 36 a factor of y(-2)?
False
Suppose -s = 2*o + o - 61, 0 = 3*s + 4*o - 203. Let d be 3388/(-132) + (-3)/(18/(-4)). Let q = s + d. Is 12 a factor of q?
True
Let v = -17 - -19. Suppose -v*g + 4 = -h + 3*h, h + 4*g = -1. Does 8 divide (72/30)/(h/40)?
True
Let i(m) = 16*m + 7. Let q(v) = 32*v + 15. Let z(c) = 5*i(c) - 3*q(c). Is z(-11) a multiple of 47?
False
Suppose -20*t = -18*t - 464. Let v = -121 + t. Suppose 0*p + 229 = 4*g + p, 2*g = 3*p + v. Is g a multiple of 23?
False
Suppose v - 154 + 39 = 0. Does 10 divide v?
False
Let n = 6 - 6. Suppose 6 - 2 = k. Suppose k*j - 5*h - 126 = n, 0*j - 139 = -5*j - 3*h. Is 5 a factor of j?
False
Suppose 2522*j + 11872 = 2530*j. Is 34 a factor of j?
False
Let t = 47 + -92. Let j = t - -19. Let u = j + 38. Is 5 a factor of u?
False
Suppose 4 = 2*d + 10. Let o(u) = -u + 1. Let x be o(d). Suppose x*n = -n + 300. Is 20 a factor of n?
True
Suppose 0 = -4*r + 5*r - 4. Let i = r + -2. Suppose i*h - 42 = -0*h. Is h a multiple of 7?
True
Let s be (-2 - 200/(-9)) + 4/(-18). Is 44 a factor of (1056/80)/(1/s)?
True
Let v(u) = -u**2 - 7*u - 5. Let p be v(-2). Suppose p = 2*t - 5. Suppose -t*m = -3 + 23, -5*b + 3*m + 67 = 0. Does 3 divide b?
False
Suppose 4*x + 2*j + 283 = 2051, 3*x - 5*j = 1339. Does 25 divide x?
False
Suppose -22 = 4*s + 42. Let a = s + 16. Let v(o) = o**3 + 16. Is v(a) a multiple of 8?
True
Let h be (1 + -3)/2*-8. Let t(q) = 2*q. Is 4 a factor of t(h)?
True
Suppose 4*l - 31 = -3*y, -3*y + 4*l = y - 4. Suppose -3*r - 623 = y*b - 3*b, 0 = -4*r - b - 839. Let d = r + 307. Does 32 divide d?
True
Suppose -4*l + 4*c + 476 = 0, -4*l + 2*c = 6*c - 484. Is l a multiple of 15?
True
Let v(d) = -40*d + 66. Is v(-5) a multiple of 14?
True
Let g(w) be the first derivative of -w**5/20 - w**4 - 11*w**3/6 + 5*w**2 + 2*w + 6. Let u(o) be the first derivative of g(o). Does 5 divide u(-11)?
True
Suppose -3*i - 228 = -4*x + 288, 5*i - 645 = -5*x. Let o = x - 54. Is o/(-1)*10/(-25) a multiple of 10?
True
Suppose -8*f + 11*f = -3*a + 8751, -4*f = -3*a - 11661. Is f a multiple of 12?
True
Let z(f) = 4*f - 24. Let k be z(7). Suppose o + 2*m - 18 = -0*o, -60 = -4*o + k*m. Is 4 a factor of o?
True
Let f = -1183 + 1280. Suppose 2*x - 7 + 3 = 0. Suppose -51 = -x*g + f. Is 9 a factor of g?
False
Suppose -5*n = 604 - 1854. Suppose -5*l = -0*l - n. Does 10 divide l?
True
Let j = 727 - 226. Suppose -5*v = 2*n - j, -5*v + 2*v = -3*n - 288. Is v a multiple of 15?
False
Let k = -54 + 34. Is 18 a factor of 1/(-4) - 2805/k?
False
Let a(r) = 2*r**3 - 12*r**2 + 4. Let p be a(6). Is ((-111)/(-12))/(5/p - 1) a multiple of 12?
False
Let b(p) = 13*p. Let c be b(-1). Is c + 14 - (0 + -35) a multiple of 18?
True
Does 33 divide ((-3132)/290)/(2/(-220))?
True
Suppose 2*a - 71 - 79 = 0. Let d = 71 + a. Is d a multiple of 24?
False
Suppose -3*w = -4*d + 8*d - 462, d - 112 = w. Is d a multiple of 19?
True
Let i = -7 + 10. Let x(v) = -10*v + i*v**2 + 1 - 5*v**2 - 1 + 3. Is 3 a factor of x(-5)?
True
Let o be -10 + (3 + -1)*-1. Let q = 35 + o. Does 7 divide q?
False
Suppose 0 = 4*a - 3*a - 23. Let y(x) = 0*x - 25 + x + a. Does 2 divide y(4)?
True
Let c(t) = -2*t + 4 + 3*t + 1 + t**2. Let o be c(0). Suppose y = -h + 20 - 4, 3*h - 74 = -o*y. Does 13 divide y?
True
Let r = -10 - -13. Suppose s + r*w - 7 = 59, 0 = 3*s - w - 188. Is 21 a factor of s?
True
Let f = -240 + 3782. Does 14 divide f?
True
Suppose 0 = 3*z - 5 - 1. Let o be ((-3)/3)/(z/(-10)). Suppose -o*j + 4*j + 21 = 0. Is 7 a factor of j?
True
Let j be -7*(3 - 2) + 2. Let p = 7 + j. Let b(t) = 8*t**3 - 2*t**2 + 1. Is b(p) a multiple of 19?
True
Suppose -q = h + 13, -4*h - 45 = 3*q + 8. Let c be 92 - -2*(4 - 9/2). Is (-13)/c + (-156)/h a multiple of 10?
False
Suppose 3*b - 105 = -2*b. Let h(c) = -6*c - 6. Let i be h(-3). Let u = b + i. Does 9 divide u?
False
Let h(p) be the third derivative of -p**5/8 + p**4/24 + p**3/2 - 10*p**2. Let c(d) be the first derivative of h(d). Is 37 a factor of c(-7)?
False
Is 24 a factor of (-435)/(-5)*5 + -3?
True
Let y(i) = 13*i + 41. Suppose 18*q = 8*q + 60. Does 17 divide y(q)?
True
Let a(s) = 0 - 2 - 2*s + 2 + 4 + 4*s**2. Suppose w + 2*m + 4 = 2*w, -12 = -3*w - 2*m. Is a(w) a multiple of 30?
True
Suppose -2*c - 28 = 4*j, 4*j = 4*c - 3*c + 14. Let f = 19 - c. Is f a multiple of 33?
True
Let p(t) = t**3 + 13*t**2 + 9*t - 15. Suppose -5*d - 3*s - 66 = 0, 5*d = -5*s + s - 68. Is p(d) a multiple of 12?
False
Suppose -4*g - 5*q + 1545 = g, 5*g - 2*q = 1545. Let m = g - 169. Does 10 divide m?
True
Suppose -2*f - 18 - 48 = 0. Let w be 2/8 - f/12. Suppose 66 = -a + w*a. Is 10 a factor of a?
False
Let g = 72 - 47. Suppose -2*u = -71 - g. Is u a multiple of 16?
True
Is 13 a factor of 1/(-8*(-10)/8320)?
True
Let j = 95 + -93. Is (1 - j - 3)/(4/(-56)) a multiple of 14?
True
Does 11 divide 18*(609/(-6))/(-7) - -2?
False
Is 7 a factor of (-6)/((-24)/(-20)) + (-6 - -734)?
False
Suppose -5*n + 18 = -2*n - h, -h = -3. Let b be (-7 - n)*(-1)/(-2). Let y = 36 + b. Is y a multiple of 20?
False
Let i be (-3 - 0) + -175 + -1 - -2. Is 18 a factor of (-1)/2 - (i/6 - 5)?
False
Let f(g) = 4 - 1 + 2*g - 1. Let n be (-48)/(32/4) - (-15 + 0). Is 10 a factor of f(n)?
True
Let x = 13 + -15. Is 12 a factor of 12 - x - (2 + 2)/2?
True
Suppose 57 = -3*v + 1323. Is 26 a factor of v?
False
Let p(h) = -50*h - 20. Let u be p(-25). Suppose -13*d + u = -5. Does 19 divide d?
True
Let l be 1*60/8*34. Suppose -3*d + l = 2*a, -2*d = -4*a - 0*d + 470. Suppose -n + 0*n - a = -5*s, -s + 8 = 3*n. Is 13 a factor of s?
False
Let z = 9 - 15. Let u be 1/(1 - z/(-9)). Let v = -1 + u. Does 2 divide v?
True
Let r be (1 - 0)*-20 + 3. Let n = -10 - r. Does 7 divide n?
True
Let z = -39 - -37. Let k be z/(-4)*(8 + -50). Let b = -13 - k. Is b a multiple of 5?
False
Let q(t) be the third derivative of -t**6/60 - t**5/20 - t**2. Let o be q(-2). Suppose -2*w = o*h - 5 - 43, -2*h - 4*w = -18. Does 4 divide h?
False
Let m(s) = 84*s**3 + 4*s**2 - 13*s + 3. Does 19 divide m(2)?
True
Let r(s) = -s**3 + 6*s**2 + s + 3. Suppose 2 = b - 2. Let g be r(b)