 = j - f. Is q a multiple of 7?
True
Let h(v) = -v**3 - 4*v**2 + 2*v + 5. Let t be h(-4). Let l(p) = 5 + 2*p - 1561*p**2 - 4 + 0*p**3 + 1561*p**2 - 7*p**3. Is l(t) a multiple of 27?
False
Suppose 2*c + 2*u - 17672 = 0, -1547*c = -1543*c + 2*u - 35352. Is c a multiple of 8?
True
Suppose 22949 + 51016 = 5*y - 15415. Does 109 divide y?
True
Suppose 2*n = -n - 6, -3 = k + 2*n. Does 67 divide (-258)/(-1161) + (7846/9 - k)?
True
Suppose 2*x = 4*z - 8947 - 2175, -11137 = -4*z - 3*x. Does 4 divide z?
False
Suppose 4*y - 422 = -4*r - 2386, -3*y + 5*r = 1441. Let z = 150 - y. Is z a multiple of 5?
False
Let o = 14188 + 2444. Does 63 divide o?
True
Let r(u) = 162*u - 1748. Is r(34) a multiple of 27?
False
Let g(s) = 2*s**2 + s + 3. Let h be g(-4). Let z(r) = r**3 - 9*r**2 + 6*r - 1. Let o be z(7). Let w = h - o. Is w a multiple of 19?
False
Let m(u) = -6*u + 8. Let r be m(2). Let a be 847/(-5) - -4*r/(-40). Does 12 divide 0/2 - (a + 1)?
True
Suppose -6*k + 3*k - 53 = 5*a, a - 51 = 5*k. Let s(t) = -t**3 - 4*t**2 + 16*t + 24. Does 20 divide s(k)?
False
Let b = -3437 + 6609. Suppose 0 = 5*l - 20, -4*i = -2*l - b. Is i a multiple of 37?
False
Suppose 35 = 9*h + 8. Suppose h = -4*v + 3*x + 24, -5*v - 5*x = -70. Suppose v = f - 10. Does 3 divide f?
False
Suppose -46*x = -22*x - 127680. Does 133 divide x?
True
Let p(o) = -o**3 + 41*o**2 - 27*o - 84. Let t be p(40). Let s = 631 - t. Is s a multiple of 12?
False
Suppose 3*t - 4*g - 1157 = 19075, -t = 5*g - 6725. Does 58 divide t?
False
Suppose -4*t - 4*y + 3684 = 0, 451 - 3238 = -3*t + 5*y. Does 2 divide t?
True
Let p = -10 - -13. Suppose -p*t = 4*y - 18, 3*t + 2*t = y + 7. Suppose -290 - 80 = -t*o. Is o a multiple of 37?
True
Let t(x) = 73*x + 1259. Is t(29) a multiple of 16?
True
Let c = -357 - -361. Suppose 4*y + 1164 = c*x, 25*x + 4*y - 1148 = 21*x. Is x a multiple of 13?
False
Let h = -32046 - -68542. Is h a multiple of 183?
False
Let c = 106 - 92. Let k be 22/(-11)*c/4. Let p(u) = u**3 + 11*u**2 + 14*u - 21. Does 11 divide p(k)?
True
Suppose 0 = 2*f - f - 7. Suppose 0 = -f*n + 3*n + 16. Suppose 534 = 3*m - 5*c, n*m - 5*c + 0*c = 717. Is m a multiple of 22?
False
Let r(k) = k**3 + 5*k**2 + 4*k + 27. Let t be r(-5). Suppose -5*v = 5*f + 45, 3*f - 2*v + 0*v = -t. Let g(l) = 2*l**2 - 3*l + 13. Is g(f) a multiple of 13?
True
Let v be ((-10548)/(-132) - -2) + 1/11. Does 2 divide (10/3)/(v/3690)?
True
Suppose 5*j + 197 = k, -2*j + 0*j = 5*k - 850. Suppose 0 = 2*m + 4*h - 544, 11*h = m + 9*h - 256. Let n = m - k. Is 46 a factor of n?
True
Suppose 0 = 6*f - f + p - 12, -4*p = 2*f + 6. Suppose 1020 = f*w - v, -5*v + 648 + 712 = 4*w. Suppose -2*y - 3*y = -z - w, 204 = 3*y - z. Is 20 a factor of y?
False
Let j(a) be the first derivative of a**4/4 - 8*a**3/3 + 21*a**2/2 - 13*a + 5. Is j(8) a multiple of 14?
False
Let h(k) = 6*k + 30. Let p be h(-5). Suppose -9 = 3*q, 2*j - j - q - 357 = p. Is 59 a factor of j?
True
Let w = -113 + 71. Let f = 36 + w. Let z(b) = -b + 7. Is 13 a factor of z(f)?
True
Let b = 61 - 57. Suppose 2*q = 2*m - 4, 8 = 4*q + b. Let a(h) = 4*h**2 - h + 2. Is a(m) a multiple of 35?
True
Let r(n) = 36*n**3 + 3*n**2 + 7*n. Is r(4) a multiple of 17?
True
Suppose 0 = 2*i + 13 - 3, 2*i - 22289 = -3*p. Is 23 a factor of p?
False
Let t(x) = x - 1. Let l be t(5). Let m(o) be the second derivative of 3*o**4/4 - 11*o**3/6 + 2*o**2 - 95*o - 1. Is 10 a factor of m(l)?
False
Suppose -11*z + 730 = -18. Suppose 2*p - z = p - 2*d, 285 = 4*p - 5*d. Is p a multiple of 14?
True
Let m = 41 - 39. Is 26 a factor of (133 - 1) + (m - 4)?
True
Suppose 3*d = 5*d + 4, -2*d = 5*p - 1. Let z(b) = 373*b**2 - 2*b - 2. Is z(p) a multiple of 14?
False
Is 10 a factor of (-493)/34*(6 - (1177 + 9))?
True
Let z(j) = -13 + 160*j**2 + 2*j + 10*j + 95*j**2 - 3*j + 4*j. Is z(1) a multiple of 6?
False
Suppose 18*p = 79*p + 36992 - 662425. Is 18 a factor of p?
False
Let m = 8317 - 7418. Is m a multiple of 29?
True
Let o(r) = r**3 - 31*r**2 + 84*r + 14. Let c be o(28). Suppose 0 = 7*x - c*x + 336. Is x a multiple of 24?
True
Let a(x) = 33*x - 1. Let w be a(9). Let f = w + -136. Does 10 divide f?
True
Suppose 5*i = -5*l + 3265, -2*l = -19*i + 17*i + 1290. Let t = -318 + i. Is t a multiple of 10?
False
Suppose -s + 5*f = 78, 4*s - 4*f = s - 256. Let l = s + 92. Suppose -126 = -l*u - 2*v, 6*v - 141 = -4*u + v. Is u even?
False
Let a be (-10544)/18 - 122/549. Let y = -462 + 191. Let g = y - a. Is 45 a factor of g?
True
Suppose 73*w + 80 = 78*w. Suppose -w*g - 2*g - 72 = 0. Is (-11998)/(-70) + g/10 a multiple of 35?
False
Let b be (8/(-32))/(2/(0 + -104)). Suppose -p - 192 = -b*p. Is p a multiple of 8?
True
Let g(p) = 2*p + 16. Let m be g(-6). Suppose -4 = -2*i + m*d, -3*i + 2*d + 6 = -0*i. Does 23 divide 4 + (0 - i) - -56?
False
Let q be 1/((-6)/(-8) + 91/(-52)). Let b be (-42)/(-5)*(2 + -1)*5. Does 42 divide (b/q)/(12/(-72))?
True
Let v = 53161 + -37111. Does 75 divide v?
True
Let y(q) = q**2 + 19*q - 65. Let l be y(-13). Let i = 744 + l. Is 30 a factor of i?
False
Suppose 0 = -o - o - 8. Let v = -3348 + 3347. Is 31 a factor of o/(0 + 8/(-284)) - v?
False
Suppose 3*c = 5*s - 236, -s = -4*c - 49 + 12. Suppose 2*l - 27 = 2*n - 1, -2*n = -5*l + 50. Suppose l*h = -s + 377. Is 20 a factor of h?
False
Let r(w) = 2*w**2 + 107*w + 548. Does 80 divide r(-57)?
False
Let y(b) = b**2 - 8*b + 6. Let t be y(5). Is 11 a factor of 472/3 + 39/t + 4?
False
Let g(z) = -7*z**3 - 4*z**2 - 15*z + 10. Let q be g(-5). Let t = q - 570. Suppose 3*s - 238 = t. Is 8 a factor of s?
True
Let x = -116 - -70. Let l = x + 59. Does 2 divide (-1 - 1)/(l/((-429)/6))?
False
Let p(v) = v**3 - 10*v**2 + 7*v + 2. Let s = 19 - 10. Let b be p(s). Let j = b + 23. Is 2 a factor of j?
False
Let s be 5 - (-6 + 2 + -3)*-237. Let n = 2776 + s. Does 22 divide n?
True
Suppose d = -5*l + 24, 0*d - 12 = -5*l + 2*d. Suppose l*v - 442 = 138. Let s = v + -67. Does 13 divide s?
True
Suppose 67 = 4*o - 81. Suppose 0 = -4*p + 3 + o. Let w(n) = 3*n**2 - 9*n - 6. Does 17 divide w(p)?
True
Let k(a) = -a**3 + 6. Suppose -13 = 5*y - 33. Let h = -4 + y. Is 5 a factor of k(h)?
False
Suppose 3*z = -0*v + 5*v + 19, 0 = 4*z + v - 10. Suppose -2*d - d = -3*f + z, -3*f = -d - 7. Suppose -172 = -f*n - 4. Is n a multiple of 43?
False
Let c = 6034 - 2017. Is 3 a factor of c?
True
Let o(k) = 4*k + 3 - 36 + 3. Let t be o(7). Is 2 a factor of (-1)/((-1)/((t + 15)*1))?
False
Let w be (-2)/(-3)*-4*(-9)/6. Suppose -2 = -2*k, 3*o + k = w*o - 197. Does 9 divide o?
True
Is ((-1000)/(-16))/(8/480) a multiple of 75?
True
Let c(v) = -180*v**3 - 4*v**2 - 8*v + 10. Is 29 a factor of c(-2)?
True
Suppose 14*t + 10*t = 15120. Does 14 divide t?
True
Suppose 0 = 104*n + 4704 - 56496. Is n a multiple of 3?
True
Let j = -1899 + 2365. Does 2 divide j?
True
Let v = -24 - -36. Suppose -v*m = -8*m - 12. Does 22 divide m/((-12)/10)*880/(-100)?
True
Let c = -820 - -724. Is -24*(-8)/c*-3 a multiple of 6?
True
Let m(u) = 24*u + 92. Suppose -25*o = -21*o - 28. Is 10 a factor of m(o)?
True
Let l be 2*(-3 - 55/(-10)). Suppose 0*f - 4*w - 87 = 3*f, -3*f - 60 = -l*w. Does 23 divide (-1705)/f + 4/5?
True
Let v = 17381 - 2855. Is v a multiple of 19?
False
Is 47*(-2 + 78*(-12)/(-9)) a multiple of 34?
True
Suppose -112 = -3*i - i. Suppose -7*z = 4*m - 3*z - 60, 4*m + 2*z = 56. Suppose 0 = -3*d + 5*r + 21, 0 = -4*d + m*r - 10*r + i. Is 2 a factor of d?
False
Suppose -19*c - n + 164988 = -14*c, -2*n - 99011 = -3*c. Does 24 divide c?
False
Suppose -1450 - 970 = -11*r. Let k = 347 - r. Is 11 a factor of k?
False
Let m be 4 - (-8)/(-40)*25. Let d(r) = -34*r**3 - 5*r**2 - 4*r + 1. Does 22 divide d(m)?
False
Suppose 0 = -4*a - r + 55286, 0 = -3*a + 48*r - 43*r + 41499. Does 26 divide a?
False
Let x be 3 + 2813 + (-12)/15*-5. Suppose -x = 14*k - 20*k. Suppose -5*z + 2*w = -576, -z + k = 3*z + 3*w. Is 19 a factor of z?
False
Let d = 83 + -288. Let i = 889 - d. Is 30 a factor of i?
False
Suppose -26*n = -17*n - 27. Suppose -2*c - 3194 = -4*v, -n*v + 4000 = 2*v - 4*c. Is 83 a factor of v?
False
Let r = 8463 - 3723. Is 51 a factor of r?
False
Let q = 3785 - 6081. Is 12 a factor of 7/21 - (q/(-6))/(-4)?
True
Suppose 3*u = 3*q + 12, 14*u - 15*u = 4*q + 31. Does 6 divide 438 - (-4)/14*q/2?
False
Suppose 0 = 9*w - 14*w + 5*d + 115030, -3*w - 5*d = -69074. Is w a mult