et w = 595 - 258. Suppose -4*l + o = -w, -4*o - 3 = -o. Suppose q - 2*q = -l. Is 21 a factor of q?
True
Let i(l) = -4*l + 6. Let z be ((-88)/11)/(2*-1). Let h be i(z). Let m = h - -12. Is m a multiple of 2?
True
Let w(b) = -b**2 + 17*b - 26. Let y be w(15). Let z(g) = 3*g**3 - 7*g + 8. Does 43 divide z(y)?
True
Suppose -106*s + 1139 = -105*s. Does 17 divide s?
True
Is 19 a factor of 2928 + ((-14)/2 - -5)?
True
Suppose -2*l - 4*k = -142, 0 = -2*k + k + 3. Let p = 85 + l. Does 10 divide p?
True
Let s(k) = 129*k**2 + 21*k - 44. Is 9 a factor of s(4)?
False
Suppose -a - 46 = -n, 5*n + 3*a - 5*a - 227 = 0. Suppose 8*i = -i - n. Does 7 divide ((-2)/i)/((-17)/(-595))?
True
Let d(l) = 7*l - 14. Suppose -2*v - 3*v = 2*f - 35, 5*v + 25 = 4*f. Let w be d(f). Is 28 a factor of ((-3)/6 + 1)*w?
True
Let p be (-35)/14*(-8)/10. Suppose 4*y = y + p*v + 577, 5*y - 964 = v. Suppose -4*n - 7 + y = 3*b, 2*b = 4*n + 104. Does 29 divide b?
True
Let c(s) = -101*s + 116*s - 44 + s**2 + 24. Suppose 3*x + x - 2*b = -74, 2*b = -4*x - 62. Does 3 divide c(x)?
False
Let c be 14*(-1)/(-2)*1. Let w = 135 + -78. Let k = w + c. Is 14 a factor of k?
False
Let x = -29 + 53. Suppose 4*k = -f + x + 68, -3*f + 340 = -4*k. Is f a multiple of 12?
True
Let a = -63 - -343. Is 14 a factor of a?
True
Let c(b) = -b**3 + 18*b**2 - 8*b + 37. Does 85 divide c(17)?
False
Let s(r) = 88*r - 18. Does 22 divide s(4)?
False
Let m(v) = -v**2 + v. Suppose 2*c = -2*s - 0*c - 2, -2*s - 4 = 4*c. Let h be m(s). Suppose -2*o = -h*o - 4. Is 2 a factor of o?
True
Let f(a) = -a**2 - 9*a + 27. Let s be f(-12). Let d = s + 37. Is 14 a factor of d?
True
Let q(w) = -20*w**3 + 3*w**2 - 5*w - 7. Is 25 a factor of q(-2)?
True
Suppose 0 = -3*j - 6, -2*r - 2*j + 2336 = 3*r. Does 39 divide r?
True
Suppose v + 2*q + 10 = 0, 4*v - 3*q = 6 - 2. Suppose -3*y = 3*f - 2 - 1, -4*y = -5*f - 22. Is 10 a factor of v/3*(f - 88)?
True
Let n(z) = -z**3 + 8*z**2 + 4*z - 20. Let c(j) = j**3 + 7*j**2 + 4*j - 4. Let o be c(-6). Does 4 divide n(o)?
True
Let y = 3 + 2. Suppose 0 = y*n - 19 + 54. Is 14 a factor of (-4)/14 + (-394)/n?
True
Suppose -2*n - 3*l + 692 = 0, -6*l + 1037 = 3*n - 2*l. Is n a multiple of 49?
True
Let a(g) = 20*g**3 - 5*g**2 + g + 3. Is 67 a factor of a(2)?
False
Let x(z) = 9*z**3 - 2*z**2 - 3*z - 6. Let a(s) = -10*s**3 + 3*s**2 + 3*s + 7. Let w(q) = -6*a(q) - 7*x(q). Let i be (-4)/3*(-3)/(-1). Does 29 divide w(i)?
True
Let y(t) = -211*t + 36. Is 19 a factor of y(-1)?
True
Let a(y) = 10 - 20 - 14 - 11*y + y**2. Is 8 a factor of a(16)?
True
Let w(s) be the second derivative of -9*s**3/2 - 12*s**2 + 53*s. Does 33 divide w(-4)?
False
Suppose 147 = -13*j + 6*j. Is 32 a factor of -7*j/1 - 0?
False
Let y be 4*((1 - 4) + 2). Let t(w) = -w**3 - 3*w**2 - 3*w. Let f be t(y). Suppose -8 = q - 2*n + 6*n, 0 = -4*q - n + f. Is q a multiple of 8?
True
Let q(r) be the third derivative of 8*r**2 + 1/6*r**4 + 0*r**3 + 0 + 0*r. Is q(2) a multiple of 3?
False
Let m(x) = x**3 - 24*x**2 + 22*x + 25. Let c be m(23). Suppose 4*u - 26 = -c*v + 6*u, 77 = 4*v + u. Does 18 divide v?
True
Suppose 0 = 2*y - 3*y + 38. Is 21 a factor of y?
False
Let w(o) = 4*o + 27. Is w(2) a multiple of 2?
False
Let c = -2092 + 3588. Is c a multiple of 34?
True
Suppose 5*z - 89 = 2*z + 2*h, -3*h + 123 = 5*z. Let y = -25 + z. Suppose 62 = 2*g + o, -3*g + 5*g - y*o - 68 = 0. Does 8 divide g?
True
Let o = 6 - -27. Let i = -28 + o. Suppose -m = -5*u - 62, 101 = i*m + 4*u - 93. Is 14 a factor of m?
True
Let s(z) = 3*z**2 + 7*z - 21. Is s(7) a multiple of 35?
True
Let a = -23 - -17. Does 8 divide -2 - a - (-21 - -2)?
False
Let a = -2347 + 3194. Is a even?
False
Let v be (0 + 1)*(82 - -2). Suppose -4*p = -11*p + v. Is 3 a factor of p?
True
Suppose -4*w + 7*w + 206 = s, 2*s - 434 = -5*w. Let v = 79 - 226. Let z = v + s. Is 12 a factor of z?
False
Let m = -33 - -31. Does 8 divide -1*10*4*m?
True
Let k = -174 - -316. Is 14 a factor of k?
False
Is 3 a factor of (-31 - -25)*(-191)/2?
True
Let m(q) = -7*q - 29. Let l be m(-26). Suppose 0 = -2*y + 3*y - l. Does 32 divide y?
False
Let k be (-40)/6 + (-3)/9. Let a = k + 4. Let w = 27 + a. Does 12 divide w?
True
Let s(d) = 2*d**2 + 16*d - 15. Let f be s(-9). Is f/(-1 + (-81)/(-78)) a multiple of 6?
True
Suppose 0 = 6*k + 257 - 2321. Is k a multiple of 24?
False
Let q be (-9)/(2/((-12)/9)). Let i = -4 + q. Suppose 5*z - 3*l - 156 = 0, -i*z - l = -5*l - 54. Is z a multiple of 11?
True
Let r = 1873 - 277. Does 28 divide r?
True
Suppose -5*g + 5 = 0, 5*g = -5*c - 60 + 180. Is c even?
False
Let u = -1 + 3. Suppose -52 = 3*z - u*z. Is 15 a factor of (-13)/z + 203/4?
False
Let z(a) = -a**3 - 7*a**2 + 9*a - 13. Let x be z(-8). Let s = x + -26. Let n = s - -87. Does 21 divide n?
False
Let u(x) = x**2 + 8*x - 3. Let l be u(-8). Let t be (4 + l)*(1094 + 1). Is t/25 - (-3)/15 a multiple of 22?
True
Let g = 60 + 318. Is 43 a factor of g?
False
Suppose 2*d + 5*u + 13 = 0, -5*d - u - 42 = 2*u. Suppose l + 6 - 30 = 0. Let j = l + d. Is 9 a factor of j?
False
Suppose 5*u + 4 + 2 = -4*r, 3*u + 4*r + 10 = 0. Let n(y) = -1 + 24*y**3 + 7*y**2 - 2*y**2 - 10*y**3 - 15*y**3 - 2*y. Is 5 a factor of n(u)?
False
Let y(a) = 17*a**3 - 4*a**2 - 2*a + 8. Is 25 a factor of y(3)?
True
Let p(b) = b - 4. Let s be p(-4). Suppose 5*d - 37 = x, 5*d - 79 = 2*x - 0*x. Is (x/(-5))/(s/(-20)) a multiple of 16?
False
Let a = 1013 - 397. Is a a multiple of 14?
True
Suppose -16*d + 4494 = -10*d. Is d a multiple of 11?
False
Let t = -127 + 225. Let b = t + -66. Is 8 a factor of b?
True
Let k be (0 + 8)*(-46)/23. Let j = k - -81. Does 31 divide j?
False
Is 27 a factor of -1 - (-10)/9 - (-87462)/162?
True
Let a = -21 - -23. Suppose 2*r = -4*h + 22, -a = -2*r + 3*h - 15. Is (10 - 2)/r - 3 a multiple of 2?
False
Let k = -18 - -20. Is 3/(k + 92/(-52)) a multiple of 2?
False
Let v(w) = -w**2 - 6*w - 7. Let y be v(-5). Does 30 divide (-89)/((-1 - -3)/y)?
False
Let h = -345 + 1212. Does 51 divide h?
True
Let p(s) = -s**3 + s**2. Let q be p(-1). Suppose -q*h = -5*w - 218, 3*h + h - 424 = 4*w. Suppose -6 - h = -5*b. Is 8 a factor of b?
False
Let s(x) be the third derivative of -x**5/24 - x**4/6 - 2*x**3/3 + 4*x**2. Let w(c) be the first derivative of s(c). Is w(-8) a multiple of 13?
False
Let h be (54 - 0)*1*2*-1. Let r = 171 + h. Is 27 a factor of r?
False
Suppose 462 = -18*f + 1236. Let y be (-1)/(-3) + (-1715)/(-21). Let c = y + f. Is c a multiple of 33?
False
Let w(o) = -o**3 - 5*o**2 - 22*o - 50. Does 27 divide w(-11)?
True
Let x = 76 + -51. Is 26 a factor of (-1 - -4)/3 + x?
True
Suppose 10 = -h + 6*h. Suppose -20 + 12 = -h*p. Suppose -p*b - 290 = -9*b. Does 14 divide b?
False
Let m = 2825 + -895. Is m a multiple of 39?
False
Suppose 2*q - 3*q + 4 = 0. Suppose 2*l = -l - 5*z + 113, z = q. Is l a multiple of 7?
False
Let o = 8 + 14. Suppose -3*m + 5*v - v - 10 = 0, -m - 5*v = -o. Suppose -4*b - m = -30. Is b a multiple of 2?
False
Suppose -3*j - 38 = -5*j. Suppose -j*q - 44 = -21*q. Is q a multiple of 6?
False
Suppose -b = -4*f + 12, -b = b + 2*f - 6. Suppose 88 = p + 5*r, r + b*r + 184 = 3*p. Is p a multiple of 10?
False
Suppose 5*c - 2111 = 2794. Is c a multiple of 24?
False
Let s(a) = 5*a**2 - 4*a + 7. Let h be s(2). Suppose 11*w + 272 = h*w. Does 17 divide w?
True
Suppose 27*x = 25*x - 48. Is (424/(-6))/(16/x) a multiple of 11?
False
Suppose 2*h - 379 = d, 6*h + d = 5*h + 197. Is h a multiple of 12?
True
Let l = -73 - -351. Does 10 divide l?
False
Let p = 561 - -311. Is p a multiple of 7?
False
Suppose -24*j = 45*j - 10557. Is j a multiple of 13?
False
Suppose -2*v - 12 = -2*k + 5*k, -2*v - k - 8 = 0. Let z(n) = -24*n + 4. Is z(v) a multiple of 42?
False
Let z = -35 + 90. Suppose -2*p = -1 - 19. Suppose 5*f - 7*t + 3*t - z = 0, -2*t = p. Is f a multiple of 7?
True
Let n(y) = -y**3 - 6*y**2 + 4*y + 15. Suppose -2*m = -5*l + 39, 0 = -3*m + l - 28 + 2. Is n(m) a multiple of 6?
True
Let y be -15 + -36 - (-4)/((-4)/(-3)). Let n = 82 + y. Is 17 a factor of n?
True
Suppose 2*w + 6 = 0, -3*w + 57 = g - 65. Is 4 a factor of g?
False
Let y(m) = 896*m - 34. Let q be y(-11). Is 30 a factor of 2*3/27 - q/45?
False
Let i(g) = g**2 - 5*g - 1. Let s be i(6). Suppose 5*v - 5*r - 118 = 102, s*v - 220 = -4*r. Suppose -3*t + 3*z = -42, 2*t + 2*z = -0*z + v. Is 18 a factor of t?
True
Suppose