Is l a multiple of 27?
False
Let m(d) = d**3 + 1 + 6*d - 4*d**2 - 7 - d. Let y be m(4). Suppose 2*f = 24 + y. Does 12 divide f?
False
Let d(j) = -3*j - 1. Let z be d(-3). Suppose s + 3*g - z - 6 = 0, -g + 2 = 3*s. Does 15 divide 13 + (s - 1 - -4)?
True
Let x(i) = -i**2 + 9*i - 8. Let c be x(7). Suppose 3*n = c + 9. Suppose -4*a + n*t = a - 140, 3*a = 5*t + 80. Is 30 a factor of a?
True
Suppose -21*u = u - 30690. Does 15 divide u?
True
Suppose 0*b - 4*w = 4*b + 4, 5*b = 5*w + 15. Is (0 - b - -98)*1 a multiple of 36?
False
Suppose 5*g + 145 = 5*d + 10*g, -2*g - 38 = -d. Does 3 divide d?
False
Let i be (9/(-6) + 2)/((-1)/356). Let l = -143 - i. Does 5 divide l?
True
Suppose 8*t - 12*t - 20 = 0. Does 7 divide (2 + 96/15)/((-1)/t)?
True
Suppose 5*q = 5*l + 2860, -4*q + 2*l + 0*l + 2296 = 0. Suppose -b + q = 3*b + x, -2*b + 282 = -x. Is 13 a factor of b?
True
Let a(m) = m**3 - 14*m**2 - 13*m - 30. Let s be a(15). Suppose s = 3*l - 2*r - 2*r - 316, 5*l - 4*r = 524. Is 13 a factor of l?
True
Suppose 7*q = 4*g + 2*q + 4, g = -2*q + 12. Let y = g - -11. Is y a multiple of 5?
True
Let g be -1 - (-5)/((-5)/(-16)). Let a be ((-33)/9 + -1)/((-2)/303). Is a/g + (-16)/120 a multiple of 7?
False
Does 18 divide (-12)/(-2)*-8*915/(-122)?
True
Let l(n) be the third derivative of n**7/840 + n**6/240 + n**5/60 - n**4/8 - 2*n**2. Let q(a) be the second derivative of l(a). Is q(-3) a multiple of 6?
False
Suppose -1 = -v + 4*z + 1, 4*v + z - 8 = 0. Suppose -v*w = 5 - 75. Is 3 a factor of w?
False
Let u = -2336 + 3344. Is 84 a factor of u?
True
Let u be (-9)/((-9)/2) - (3 - 1). Suppose -5*i + 18 + 237 = u. Is 17 a factor of i?
True
Suppose -20*t + 11*t + 5238 = 0. Is t a multiple of 24?
False
Let c(o) = -3 - 4*o + o**2 + 3*o + o. Let l be c(-7). Suppose 0 = 4*i - l + 10. Does 9 divide i?
True
Suppose 31*u - 645 = 26*u. Is 3 a factor of u?
True
Suppose -1 = 3*w - 16. Suppose 0 = -w*b + 10*b - 260. Suppose 3*z + f - 5*f = b, 3*z - 16 = -5*f. Does 6 divide z?
True
Suppose 0 = 3*z + 5*x + 13, 0 = -5*z + x + 15 + 10. Suppose 0*d - 28 = -d - 2*y, -z*d + 2*y = -142. Does 17 divide d?
True
Let u(h) = -2*h - 8. Let k be u(-10). Is 7 a factor of (4 + 2)*54/k?
False
Let t = -4334 - -7327. Does 73 divide t?
True
Let w be 33/55 + 102/5. Suppose l - 1 = 4*m + 1, 0 = 2*l - 3*m + w. Let n = -6 - l. Is 12 a factor of n?
True
Let i(y) = y**2 + y - 4. Let w be i(-3). Suppose -w*b + 12 = -0. Let z = 10 - b. Is 4 a factor of z?
True
Is (-2 - -3)*-36*(-138)/8 a multiple of 27?
True
Let r be (3/7)/((-1)/(-7)). Suppose -2*z - 4*w = -388 + 40, 0 = -r*z - w + 542. Does 26 divide z?
True
Let z = 365 - -1303. Does 25 divide z?
False
Suppose -79*w + 88*w - 540 = 0. Is w a multiple of 5?
True
Suppose -469*f + 2964 = -465*f. Is 39 a factor of f?
True
Let x = 13 - -107. Is x a multiple of 6?
True
Let j(h) = -h**3 + 26*h**2 + 31*h + 88. Is j(27) a multiple of 19?
False
Suppose -160 + 410 = 3*x + 5*t, 2*x - 5*t = 200. Does 9 divide x?
True
Let s(q) = q**2 - 1 + 5*q - q - 10. Is s(6) a multiple of 7?
True
Suppose -3*z - 368 + 23 = 0. Does 30 divide 2/(z/(-38) - 3)?
False
Suppose 0 = -2*y + 76 + 188. Is 36 a factor of y?
False
Let f = -18 + 21. Suppose g + 132 = f*g. Suppose 3*k - 6*k = -g. Is k a multiple of 11?
True
Let d(b) be the second derivative of b**4/4 + b**3/2 - 15*b**2/2 - 26*b. Is 7 a factor of d(5)?
False
Let q be 4/26 - (-1116)/13. Suppose n - t = q, 0*n - 4*t - 180 = -2*n. Does 22 divide n?
False
Suppose 0 = w + x, -5*x + 0 = 5. Does 18 divide (-3 - -1) + 330/(w - -1)?
False
Does 50 divide 2 - (-1 - -32)*(-22 - -15)?
False
Let j(n) = -n**3 + 10*n**2 - 11*n + 21. Let t(g) = -g**3 + 10*g**2 - 12*g + 21. Let z(s) = 4*j(s) - 3*t(s). Is z(9) a multiple of 15?
True
Let w(f) = -6*f**3 + 9*f**3 - 1 + 7*f**2 - f**3 - 3*f**3 - 9*f. Is w(4) a multiple of 8?
False
Suppose u + 3*u = 1224. Is u a multiple of 52?
False
Let q(w) = -8*w - 18. Let x be q(5). Let k = x + 67. Is k a multiple of 4?
False
Suppose 4*x - 1254 = q + 569, -q + 1 = 0. Is 8 a factor of x?
True
Suppose -2*u = 2, 0 = y - 3*u - u - 45. Let h(s) = -y*s + 15*s + 0 - 5 + 7. Does 18 divide h(-2)?
True
Let w be (-6)/9 - (-350)/(-6). Let q = -86 + 53. Let i = q - w. Is i a multiple of 13?
True
Let g(r) = 67*r + 92. Is 6 a factor of g(10)?
True
Let a be 45/60 - (-3)/(-4). Suppose a*z + 64 = 8*z. Does 13 divide -4*(-6)/z - -62?
True
Suppose -15*h + 5060 = -5140. Is h a multiple of 17?
True
Let n = -21 + 43. Let m = -49 + n. Let i = 24 - m. Does 17 divide i?
True
Suppose -7*a = 5*a - 312. Is 3 a factor of a?
False
Let j(s) = 61*s**2 - 39*s - 153. Is j(-4) a multiple of 10?
False
Let f be (-6)/15 + (-17)/(-5). Suppose -5*r + g - 3*g = -43, 3 = -f*g. Is 9 a factor of r?
True
Let f be -77 + -4 + (-8)/(-4). Let l = f - -123. Does 24 divide l?
False
Let z = -1000 - -1988. Is z a multiple of 76?
True
Let s be -1*(-5 - (1 + -4)). Suppose t - s*t = -416. Suppose 5*d = 5*r - 520, -2*d - d - t = -4*r. Is r a multiple of 28?
False
Let t(a) = -3*a**2 - a + 5. Let o be t(0). Suppose 0*i + i + o*h = 90, -5*i + 510 = 5*h. Is 27 a factor of i?
False
Let x(l) = -2*l + 10. Let u = 53 + -91. Let p be (-8)/(-12) - u/(-3). Does 17 divide x(p)?
True
Suppose 2*z + 234 = r - 3*r, r - 2*z + 108 = 0. Is ((-5)/10)/(3/r) even?
False
Let h be 3 - -5 - (0 + 2). Suppose h = -24*w + 26*w. Is 3 a factor of w?
True
Is (-4)/(-12) - (-1844)/3 a multiple of 15?
True
Let m(l) = -l**3 - 5*l**2 + 8*l + 7. Suppose -50 = 5*x - 20. Let n be m(x). Is 146/5*n/(-2) a multiple of 13?
False
Let w be (-33)/2*(-4)/(-2). Let c = 17 - w. Let i = -20 + c. Is 10 a factor of i?
True
Let o be (3 - 156)*(1 + 0). Let f = -107 - o. Does 3 divide f?
False
Let z(j) = 5*j**2 + j**2 - 1 - 7*j - j**2 + j**3. Let p be z(-6). Suppose p = 4*h - 107. Is h a multiple of 10?
False
Suppose -11*u + 9840 = -u. Suppose 6*n + 60 = u. Is n a multiple of 22?
True
Let s(p) = -24*p - 4. Let h be s(-8). Let b = 308 - h. Is 24 a factor of b?
True
Let r(a) = 23*a - 14. Let y be r(3). Suppose 17*w + y = 18*w. Does 10 divide w?
False
Let w be ((-24)/10)/((-4)/(-90)). Is w*9/((-54)/8) a multiple of 12?
True
Let u = -42 - -34. Does 14 divide -5*u/3 + (-8)/(-12)?
True
Let n = -89 + 320. Suppose n = 7*s + 49. Is 3 a factor of s?
False
Let m = 2814 + -1679. Is m a multiple of 32?
False
Let r(x) = 16*x - 20. Suppose 0 = -5*i - 20 + 60. Is r(i) a multiple of 27?
True
Let u(k) = -73*k + 68*k + 1 + 2*k**2 + 16. Does 16 divide u(7)?
True
Let l = 527 + -419. Is 27 a factor of l?
True
Let z(a) = -26*a + 25. Is 63 a factor of z(-16)?
True
Suppose -3*x = 4*o - 6*o + 59, -4*o - x = -97. Does 8 divide o?
False
Let f = -4642 - -7112. Is 65 a factor of f?
True
Let f = 54 + -51. Suppose f*q - 2*i = 4*q - 84, -2*i = 4*q - 354. Does 45 divide q?
True
Let f(z) be the second derivative of 4*z**4/3 + z**3/3 + z**2 + 2*z + 4. Let m = 1 + -2. Is 16 a factor of f(m)?
True
Suppose 3*d = -2 + 14. Let f = d + 18. Is f a multiple of 22?
True
Let d(v) = -v**2 + 6*v + 10. Let s = 6 + -3. Let w = s + 4. Is d(w) even?
False
Suppose 5*k - 2*d = 5, 3*d = 3*k - 4 + 1. Let l be 0/(1/(k/1)). Suppose p + 5*h - 55 = -l*p, -3*p - 5*h = -135. Is 9 a factor of p?
False
Let n be 0/(0 - (-2 + -1)). Suppose -5*q + n*q = -215. Suppose 0 = v - 5*k + 4, -k - 3*k = -3*v + q. Is v a multiple of 7?
True
Let o = 73 + -170. Let d = -112 - -68. Let z = d - o. Is z a multiple of 14?
False
Let i = 245 - 243. Let h(n) = -n**3 + 4*n**2 + 5*n + 4. Let p be h(-5). Suppose -73 = -i*x - 5*q, 5*x - p = -5*q - 29. Is 34 a factor of x?
True
Suppose -3*m - 3*q = -111, 4*m - 115 - 41 = -2*q. Suppose 3*w - 196 = -k, k - 204 = -3*w - 2*k. Suppose -t - a = -m - w, a - 513 = -5*t. Does 30 divide t?
False
Is 9 a factor of (-32 - -5 - 0)*-9?
True
Let l(w) = w + 10. Let j be l(-6). Is (j/10)/((-1)/(-20)) a multiple of 8?
True
Suppose 9*j = 26*j - 12563. Is 8 a factor of j?
False
Let n be (283/(-3) - 3)/((-2)/3). Suppose -2*a = 5*o - 384, -2*o - 3*a = -6*a - n. Does 19 divide o?
True
Let d = 204 - 120. Let g = 243 - d. Does 20 divide g?
False
Suppose 4*c - 3*c = 6. Suppose -2*x + 8 + c = 0. Is 12 a factor of 1*x/(21/36)?
True
Suppose -389 = -3*n + c, -2*c - 518 = -n - 3*n. Let g be (10/8 + 0)*4. Suppose -g*t = -n - 50. Is t a multiple of 12?
True
Suppose -3748 = 9*l + 518. Is (-3)/12 + (-5)/(40/l) a