-1 - -9). Does 4 divide (-12 - -4)/g - -5?
False
Let u(h) = -3*h + 3. Let y(b) = b**3 - 8*b**2 + b - 3. Let z be y(8). Suppose 5*d - o = -15, z*d - 2*o = -10 - 5. Is u(d) a multiple of 3?
True
Suppose 0 = -b - 5*b - 222. Let f = 72 + b. Is f a multiple of 35?
True
Let u = -96 - -231. Is u a multiple of 15?
True
Suppose d + 81 = 2*z - 1938, 0 = -3*z + 4*d + 3016. Is z a multiple of 26?
False
Suppose 5*a = 2*r + 41, -2*r + 26 = -3*r - 3*a. Let j(h) = 5*h + 1. Let x be j(1). Is r*(x - 3)*-1 a multiple of 23?
True
Let u(y) = -y**2 + 13*y - 23. Let o be u(14). Let d = o - -277. Does 23 divide d?
False
Suppose 1228 - 1163 = h. Is h a multiple of 5?
True
Let s(a) = 32*a**2 - 4*a + 21. Is s(-9) a multiple of 12?
False
Is 48 a factor of (384/4)/((-1)/(-10))?
True
Let h be (21 + -1)*(2 - (-204)/8). Let a = h - 349. Is 34 a factor of a?
False
Let l(j) = 2267*j**3 - 2*j**2 - j + 2. Is l(1) a multiple of 22?
True
Let s(k) be the second derivative of k**3/6 - 2*k**2 - 5*k. Let n be s(8). Let x = 2 + n. Does 3 divide x?
True
Let x(n) = 45*n**2 - n - 12. Is x(-3) a multiple of 26?
False
Suppose o - 262 = -2*l + 34, 880 = 3*o - 2*l. Is o a multiple of 49?
True
Suppose -5*j + 4*j = 0. Suppose j = 3*d + 3*y - 57, -5*d + 70 + 37 = y. Is d a multiple of 6?
False
Is 60850/14 - ((-464)/28 + 17) a multiple of 41?
True
Suppose -3*x + 146 = 4*y - 12, -5*y = -x + 59. Let a = x - 22. Does 8 divide a?
True
Let o = 122 - -51. Suppose -472 = -2*y - 5*f - o, -612 = -4*y + 4*f. Does 8 divide y?
True
Let f(m) = m**2 - 4*m + 6. Let s be f(6). Does 2 divide (s/8)/(36/96)?
True
Let f(c) = 5*c**2 - 16*c + 222. Is f(12) a multiple of 15?
True
Let p(x) = 35*x + 211. Is 27 a factor of p(31)?
True
Let l(y) = -y + 1. Let z be l(1). Let w(v) = -3*v**2 + 2*v + 30. Is 10 a factor of w(z)?
True
Let w = 95 + -93. Let t(g) = 11*g**3 + 2*g + 1. Does 31 divide t(w)?
True
Let c(n) = -2*n**2 + 4*n - 6. Suppose -5*u + 10*u - 55 = 0. Let p(v) = 4*v**2 - 7*v + 12. Let f(r) = u*c(r) + 6*p(r). Is 15 a factor of f(-4)?
True
Suppose 0 = -9*y + 3*y + 228. Is 10 a factor of y?
False
Let j = 14 + -27. Let a(v) be the second derivative of -v**4/12 - 7*v**3/3 - v**2/2 + 72*v - 2. Is a(j) a multiple of 7?
False
Let v(p) be the second derivative of -7*p**3/6 + 11*p**2/2 + 5*p. Does 13 divide v(-6)?
False
Suppose 5*k = -9 - 26. Let m = k + 72. Does 13 divide m?
True
Let a(x) = 6*x**2 - 19*x - 111. Does 90 divide a(19)?
False
Let v be (-2)/(-3) - (-424)/3. Let g(x) = -x**3 + 3*x**2 + 13*x - 6. Let p be g(5). Is 16 a factor of v/p - 4/(-18)?
True
Suppose 0 = 2*t - 4*c - 216, 5*t - 172 - 396 = -4*c. Let o = t - 60. Is o a multiple of 26?
True
Let d = 58 - -1148. Is d a multiple of 18?
True
Let h = 32 - 44. Let z = -24 - -17. Let v = z - h. Does 2 divide v?
False
Let g(y) = -51*y + 5. Does 50 divide g(-32)?
False
Let o(s) = 104*s - 246. Does 2 divide o(8)?
True
Let x(j) = -4*j + 2. Let v be x(2). Let d(u) = u**2 + 7*u + 12. Is d(v) a multiple of 3?
True
Is (2 + 52)*77/22 a multiple of 25?
False
Let r(w) = -2*w - 12. Let l = 2 + -7. Let q be r(l). Is 14/(-3 - q)*-3 a multiple of 14?
True
Suppose -62 - 5 = -t + d, -3*d = -t + 75. Let o = 420 - t. Does 51 divide o?
True
Suppose -56*b + 52*b = -200. Is 8 a factor of b?
False
Suppose -4*n - 2*n = 0. Suppose n = 2*k + 4*a - 444, 5*a + 1080 = 8*k - 3*k. Is k a multiple of 15?
False
Let h(r) = r**2 + r + 6. Let x be h(-7). Suppose 0 = 3*q + 12, 0 = -i + q + 35 + 18. Does 21 divide x/(-14)*i/(-2)?
True
Let l(w) = w**3 - 3*w**2 + 2*w + 1. Let y be l(2). Let h be y/2*(7 - 7). Suppose h = 5*x + 5*i - 240, 6*x - 186 = 2*x - 2*i. Does 15 divide x?
True
Let k(g) = 524*g**2 - 5*g + 14. Is k(2) a multiple of 35?
True
Let i be 4/(-18) + (-120)/(-54). Suppose i*p + 2*a + a - 12 = 0, -4 = 2*p - 5*a. Suppose -4*z = 2*y - 51 - 63, 79 = p*z - 5*y. Is 11 a factor of z?
False
Let j(c) = 4*c + 11. Let q be 9 + (0 - 4) + 4. Is j(q) a multiple of 17?
False
Let n(z) = -z**3 - 14*z**2 - 14*z + 3. Let w be n(-13). Is 348/w - 3/(-12) a multiple of 13?
False
Suppose -5*s + 5*w + 28 = -27, 2*s + 8 = -4*w. Let k = 23 - s. Is 4 a factor of k?
False
Let l = -1405 + 1585. Is l a multiple of 10?
True
Suppose -28 + 1732 = 8*y. Does 27 divide y?
False
Suppose 2*g + 16 + 26 = -2*l, 3*g + 2*l + 59 = 0. Let x = -2 + g. Let b = x - -31. Is b a multiple of 4?
True
Let i(s) = -s**3 + 12*s**2 - s - 8. Is i(6) a multiple of 21?
False
Let w be (3 + (-9)/3)/2. Suppose w*c - 6 = -c. Is c a multiple of 2?
True
Let r(l) = 29*l**2 + 2*l + 2. Let w be r(-1). Let m = w - 9. Does 6 divide m?
False
Let k = -29 - -33. Let b be -2*1*(-2 + k). Is 4 a factor of (b - -2) + (-69)/(-3)?
False
Suppose 3646 = 8*i - 74. Is 13 a factor of i?
False
Let w be (-21)/(-5) - 2/10. Suppose o + 7 = -j + 2, 43 = -3*j + w*o. Does 9 divide (4*j)/(-2) + 0?
True
Let j be (-33)/(-12) - 1/(-4). Let h be 2/(-5) - 244/(-10). Suppose 0*x + j*x = h. Does 4 divide x?
True
Is 16 a factor of (2 - (-7)/7)*(226 - -1)?
False
Let f(l) be the second derivative of -l**5/20 + l**4/6 + l**3/3 + 65*l**2 - 27*l. Is 26 a factor of f(0)?
True
Is (621/(-6))/((-9)/(-540)*-5) a multiple of 18?
True
Suppose 94*k - 4576 = 86*k. Does 58 divide k?
False
Let t(h) be the third derivative of h**5/120 + 5*h**4/6 - 4*h**3/3 + h**2. Let f(z) be the first derivative of t(z). Is f(0) a multiple of 6?
False
Let g = 2 - 8. Let l be (-16 + 4)/(g/(-44)). Let r = 130 + l. Does 14 divide r?
True
Suppose -3 = 3*i, 5*u + 0*i - i - 56 = 0. Suppose -u*b + 7*b = -632. Is 28 a factor of b?
False
Let y = -16 + 25. Let k(u) = 5*u + 15. Does 30 divide k(y)?
True
Let d(l) = -l**3 - 9*l**2 - 21*l - 52. Does 5 divide d(-8)?
False
Let z = -56 + 54. Does 33 divide z + (-4 - -107 - 2)?
True
Suppose 5 = 4*r + 5*y, -5*r + 0*y - 3*y = 10. Let w = r + 10. Suppose 0 = 3*p + w*d - 114, -4*p + 93 = -2*d - 59. Does 19 divide p?
True
Let x(c) = c**2 - 18*c - 63. Is 15 a factor of x(-23)?
False
Suppose -3*q = -4*u + 156, -76 = -2*u - 3*q + 4*q. Suppose 32*k - u*k = -732. Does 14 divide k?
False
Let t = -67 - -419. Does 22 divide t?
True
Let g = 387 + -246. Is g a multiple of 2?
False
Suppose -3*s + 24 = -3*x + 5*x, s + 4*x - 18 = 0. Let k(n) be the second derivative of n**4/3 - 4*n**3/3 - 3*n**2 + 5*n. Is k(s) a multiple of 30?
True
Let m be -4 - (-15 + 5 + -1). Suppose -5*d - 3*y = -m*y - 117, 2*d = y + 45. Does 21 divide d?
True
Let w(f) = 217*f + 70. Does 14 divide w(2)?
True
Let y = -183 + 495. Is y a multiple of 9?
False
Let k(w) = -5*w + 183. Let d be k(37). Let z = 89 - 4. Is z - d*(-2)/(-4) a multiple of 16?
False
Suppose 4*b - n + 24 = 0, 0 = 5*b + 4*n - 8*n + 41. Let t(h) = h**2 + 4*h. Let p be t(b). Suppose -2*s - x + 42 = -3*x, 100 = p*s - 4*x. Is s a multiple of 5?
False
Suppose 13*d - 16*d = -687. Does 12 divide d?
False
Let i(b) = 3*b + 1 + 41*b**2 + 0*b + 1 + 2*b. Is i(-2) a multiple of 39?
True
Let k be (-26)/(-65) - 4/10. Suppose -5*v + 244 + 191 = k. Is 29 a factor of v?
True
Let x be 59 + 1*(0 + 3). Suppose -4*r + 6*r - x = 0. Let j = 39 + r. Does 23 divide j?
False
Suppose 1 = k + 3. Let p(x) = -3 - 4 - 2 - 23*x + 11. Is 16 a factor of p(k)?
True
Is (-1467)/(-815)*2405/3 a multiple of 76?
False
Let q(m) = m**3 + 11*m**2 - 9*m - 6. Let o be -5 - (-2 - (-10 - -4)). Let s be q(o). Let b = -123 + s. Is 38 a factor of b?
True
Suppose 142 - 40 = -2*w. Let c be (-80)/(-30)*w/(-2). Suppose -c = -4*l + 84. Is 14 a factor of l?
False
Let q(x) = x**2 - 8*x + 10. Let v be q(5). Is (-4)/v + 166/5 a multiple of 13?
False
Let w = 595 + -215. Let p be (-1)/(2/w)*-1. Suppose 0 = -2*f + 7*f - 5*o - p, -3*o = -12. Is f a multiple of 19?
False
Let x = 1128 + -840. Is x a multiple of 96?
True
Let q be ((-8)/(-10))/((-2)/(-5)). Suppose 3*r - 3*g + 33 = 0, g = r + 3*g + q. Let z = 32 + r. Does 8 divide z?
True
Suppose r + 5*a = 147, -3*a - 531 = 3*r - 6*r. Does 4 divide r?
True
Is 7346/14 + 58/203 a multiple of 25?
True
Suppose 0 = -0*n - 5*n - k, -n = 3*k. Suppose n = y - 3*h - 39, 7*h - 3*h = 2*y - 78. Is y a multiple of 13?
True
Suppose -11752 + 104040 = 28*u. Is 17 a factor of u?
False
Let q = -641 - -752. Is 37 a factor of q?
True
Suppose -1101 = -7*c + 705. Is c a multiple of 4?
False
Does 19 divide 139*(-104)/(-28) - (-2)/(-7)?
False
Suppose -3*m + 1129 = 2*k - 614, 1146 = 2*m - 4*k. Is m a multiple o