 i = -52 - -56. Suppose -41 = -u + l, -i*l = -u - 2*u + 118. Is u a multiple of 23?
True
Let l(h) be the second derivative of 11*h**3/6 - h**2 - 3*h. Is l(10) a multiple of 26?
False
Suppose -16*o + 639 = -2625. Is 17 a factor of o?
True
Suppose -25*f = -9*f - 1200. Does 7 divide f?
False
Let x be 3/7 + (-95)/(-7). Let m(l) = -3*l + 4. Let i be m(x). Let r = -26 - i. Does 12 divide r?
True
Suppose 4*g = -3*j - 108, -j - 1 = 3*g + 75. Is 7*5*g/(-20) a multiple of 42?
True
Let d be -21*(-2 - (0 - 3)). Let g = d + -3. Let c = g + 57. Is 11 a factor of c?
True
Let s(d) be the first derivative of -d**3/3 - 4*d**2 + d + 2. Let m(t) = t**2 + 7*t - 6. Let r be m(-7). Is 5 a factor of s(r)?
False
Let i = -13 - -9. Let x = i + 14. Let h = x + -5. Does 2 divide h?
False
Let v = 493 - 317. Does 49 divide v?
False
Suppose -209 - 85 = -h. Does 7 divide h?
True
Let u(k) = 4*k**2 + 3*k + 4. Let o be u(-1). Suppose -x = -2*x, 0 = 3*a + o*x - 186. Is 10 a factor of a?
False
Let f(v) = -v**3 - 2*v**2 + 3*v - 44. Is 12 a factor of f(-7)?
True
Suppose -4 - 6 = -5*y. Suppose 2*x + y*x = 3*j - 11, 2*x - 7 = -j. Suppose -j = -c + 14. Does 11 divide c?
False
Let d be -3 - ((2 - 2) + 1). Let n be 1/d - 18/(-8). Suppose -1 + 27 = n*l. Is l a multiple of 13?
True
Suppose 5*j - 3*s - 57 + 2 = 0, 0 = j + 4*s + 12. Suppose 10*l = j*l + 86. Is 3 a factor of l?
False
Suppose g - 43 = -3*g - 3*a, 0 = 3*g - 5*a + 4. Let t(y) = -y + 37. Is 6 a factor of t(g)?
True
Is 6 a factor of ((-28)/(-15) - 58/(-435)) + 184?
True
Let v = 361 - -322. Is 11 a factor of v?
False
Let y(q) = -9*q**2 - 2*q - 1. Let b be y(-1). Let x(o) = -o**2 + 61*o + 32. Let a(u) = -15*u - 8. Let k(i) = -9*a(i) - 2*x(i). Is 24 a factor of k(b)?
False
Let x(h) = h**2 - 13*h + 23. Suppose 2*r - 18 - 6 = 0. Is x(r) a multiple of 3?
False
Let k = -9 + 3. Is 12 a factor of k + 3 + 117 - (-1)/(-1)?
False
Let o be ((-3)/2)/((-27)/486). Let g = 33 + o. Does 6 divide g?
True
Let k be 2/(2/1) - 4. Let l = 5 - k. Does 2 divide l?
True
Let r = 404 - 20. Is 42 a factor of r?
False
Let d(z) = -11*z + 96. Is 5 a factor of d(-15)?
False
Let s(r) = 18*r + 66. Is 39 a factor of s(5)?
True
Let h = 19 + -16. Let k be -2*h/((-12)/92). Suppose 3*x - k = 143. Is x a multiple of 16?
False
Suppose -3*l = -2*r + 307, -r - 2*l + 137 = 2*l. Suppose 5*n - 276 - r = 0. Is 17 a factor of n?
True
Let r = -88 - -60. Does 10 divide 4/((-1)/(r/8))?
False
Let s = 544 - 537. Suppose g - 10 + 5 = 0. Suppose -23 - s = -g*b. Is b a multiple of 3?
True
Let z be (4/6*1)/((-2)/(-1230)). Suppose 590 = 20*k - z. Is k a multiple of 5?
True
Suppose 4*d + 2 = -34. Let j = d + 14. Suppose 5*m - 81 = 4*u - 209, -j*u = 5*m - 205. Does 12 divide u?
False
Suppose -p - 2 = -2. Suppose -s = 1, 2*k - 84 = 4*s - p*s. Does 24 divide k?
False
Suppose -17*j - 1350 = -22*j. Is j a multiple of 18?
True
Let c = 9 - 3. Let t be (-99)/((45/c)/(-5)). Suppose 14 - t = -v. Is v a multiple of 19?
False
Is 60 a factor of -29 + 2842 + (5 - -2)?
True
Let h = 3676 - 2447. Does 15 divide h?
False
Let r(o) = -4*o**2 + 7*o + 16. Let z be r(-4). Is 5 a factor of (33/(-22))/(6/z)?
False
Let j = 649 + -392. Suppose 11 = -3*n + j. Does 16 divide n?
False
Let x(k) = k**2 - 65*k + 358. Is x(61) a multiple of 2?
True
Suppose 134 - 40 = -2*r. Suppose 2*o = -c + 79, 4*c + 12*o - 15*o - 272 = 0. Let z = c + r. Is 4 a factor of z?
True
Let z = -637 - -1504. Does 15 divide z?
False
Let c(d) = -d**3 + 11*d**2 - 8*d - 7. Let v be (12/(-30))/(1/(-5)). Suppose -v*w + 2 = -18. Does 13 divide c(w)?
True
Let t(j) = 9*j - 11. Suppose 0 = -3*f - 0 + 18. Let d(c) = 10*c - 12. Let z(n) = f*t(n) - 5*d(n). Is 3 a factor of z(3)?
True
Let f(k) = -2*k**2 - 41*k. Is f(-15) a multiple of 8?
False
Suppose 3*x + k = 927, -2*k + 930 = 5*x - 2*x. Let u be (x/21)/(2/3). Let c = u + -10. Does 12 divide c?
True
Let o(v) = -v**2 + 3*v + 2. Let z be o(2). Suppose -107 = -z*g + 1017. Is 48 a factor of g?
False
Let a = -226 + 730. Let y = a + -338. Does 22 divide y?
False
Let g(x) = -95*x - 40. Is 20 a factor of g(-7)?
False
Suppose -2*h = 122*n - 127*n + 261, 9 = -3*h. Does 32 divide n?
False
Let j be -3*(1 - (-2 + 4)). Let w(i) = 3 + 6 - i + j. Is w(5) even?
False
Suppose 5*r - 2*j = -0*r - 860, -r - 185 = -3*j. Let h = r - -356. Is h a multiple of 46?
False
Suppose -5*c + 242 = b - 4346, -5*c = -2*b - 4594. Is c a multiple of 51?
True
Let a = -179 - 63. Let f = -146 - a. Is f a multiple of 24?
True
Suppose -6*a + a = 0. Is (52/8)/(a + (-2)/(-12)) a multiple of 4?
False
Suppose -28 = -6*v - 10. Suppose 4*s - 2*s + v*h = 187, 2 = 2*h. Is 23 a factor of s?
True
Let b be (141/(-2))/(9/(-12)). Let v = 311 - 367. Let q = v + b. Is q a multiple of 19?
True
Is 11 a factor of 51/((-6120)/(-16)) - (-31018)/15?
True
Let q = -974 + 3899. Is 117 a factor of q?
True
Suppose 4 = -4*b, 3*w + 107 = -5*b - 132. Is (1 + 0 - w/2) + 2 a multiple of 7?
True
Suppose -4*h + 11 = -1. Suppose 3*q = -4*s + 166, 0 = -5*q + h*s + s + 330. Suppose q = 3*l + 2. Is l a multiple of 20?
True
Let l(g) = g**2 - g + 5. Let t be l(0). Suppose -3*v - t*w = -11 - 153, 62 = v - 2*w. Is v - 2/(-3)*3 a multiple of 20?
True
Let q(b) = b**3 + 6*b**2 + 7*b + 8. Let t(i) = i**3 + 3*i - 2. Let p be t(2). Suppose 0*h - p = 3*h. Does 7 divide q(h)?
False
Let u(y) = 17*y + 13. Let g(d) = 18*d + 13. Let w(f) = 2*g(f) - 3*u(f). Is w(-7) a multiple of 55?
False
Suppose 3*p - 3*x = 393, 3*p = -x + 2*x + 397. Suppose -12*m + 83 = -p. Is m even?
True
Suppose 2*r - 55 = -3*h, 8 = -5*r + 3. Let g = 23 - h. Does 5 divide ((-30)/(-3))/(g/6)?
True
Let x(j) = -1 - 7*j + 4*j**2 + 5 - 5*j**2 + 2. Let s be x(-8). Let b = 6 + s. Is b even?
True
Let z(l) = 195*l**2 + 14*l - 48. Does 26 divide z(3)?
False
Let p = -44 + 94. Let s be p/15*(17 + -2). Suppose -7*i + s = -2*i. Is 5 a factor of i?
True
Let q = 10 - -3. Let y(w) = -w**2 - 16*w - 54. Let a be y(-12). Let i = q + a. Is 7 a factor of i?
True
Let i(c) = -c**3 + 15*c**2 + 17*c - 9. Let l be i(16). Suppose l + 283 = 5*t. Is t a multiple of 17?
False
Suppose -2*o = 5*n - 34, -2*o - 9 = -o - 4*n. Let b be (-3 - o/(-2))*4. Suppose -5*g + 284 = -0*d + b*d, 0 = 4*d - 4*g - 512. Is 33 a factor of d?
True
Let y be 50/15 + 1/(-3). Let p = y + 9. Does 7 divide p/(-8)*32/(-3)?
False
Let u be 4782/13 - (-10)/65. Let v = -216 + u. Does 27 divide v?
False
Let q(m) = 47*m + 53. Is q(8) a multiple of 13?
True
Let u(l) = 2*l**2 - 3*l - 1. Let r(z) = z**2 + 8*z - 4. Let p be r(-9). Is u(p) a multiple of 6?
False
Suppose 0 = -3*s - 2*a + 51, -5*s - 5*a + 87 = -a. Let c = -14 + s. Is c*-3 + 32 + 6 a multiple of 35?
True
Let b be (9/18)/(1/72). Let k be (-114)/(-27) + (-8)/b. Suppose -2*t = -6*t, -f - k*t = -8. Is f a multiple of 3?
False
Let t be (-295)/(-20) - (-2)/8. Suppose -480 = -19*b + t*b. Does 28 divide b?
False
Is (-2)/(-6) - 6840/(-54) a multiple of 11?
False
Suppose -12*i = -920 - 544. Is 9 a factor of i?
False
Let a(d) = 20*d**2 + 2*d + 9. Is a(-3) a multiple of 8?
False
Suppose 3*s = 5*s - 936. Is s a multiple of 9?
True
Let s = 16 + -16. Let j be (s + 2)*(-21)/(-14). Suppose -j*o + 6*o = 60. Is 8 a factor of o?
False
Let o = 1921 + -1249. Does 7 divide o?
True
Let p(l) = -l**3 - 3*l**2 + 4. Suppose 0 + 3 = -f. Let g be p(f). Suppose n = g*h - 75 + 18, -2*n - 10 = 0. Does 3 divide h?
False
Suppose -j = -2*h - 136, -3 = 2*h + h. Is j a multiple of 16?
False
Suppose -2*o + 180 = 4*p, 268 = 2*o + o + 5*p. Is o even?
True
Let y be (-1)/(-8) + 351/72. Suppose y*v = -p + 22, v - 12 = 4*v. Suppose 2*o = 4*z + 144, 3*z - 88 - p = -2*o. Is 17 a factor of o?
True
Suppose -5*f + 14 = -4*g, -2*f = 2*g + 3*f - 8. Let d = g - 4. Let p = d + 9. Does 2 divide p?
True
Let k(s) = -7*s + 21. Let b(m) = m - 1. Let x(o) = b(o) - k(o). Let z(g) = 15*g - 45. Let h(d) = -7*x(d) + 4*z(d). Does 6 divide h(11)?
True
Let s be (-8)/(-36) - (-75)/27. Suppose -5*b - 89 = -3*j, s*j + 0*b = -2*b + 124. Is 28 a factor of j?
False
Suppose 0 = -8*t + 5*t - 4*z + 657, t - z = 212. Is t a multiple of 40?
False
Let d(p) = 7*p - 72. Is d(16) a multiple of 8?
True
Let f be 84/22 + (-2)/(-11). Suppose -f*o = -o - 54. Is o a multiple of 6?
True
Let w(y) = -44*y + 1. Let a(b) = b**2 - 13*b + 10. Let k be a(12). Let i be w(k). Suppose -2*n = 21 - i. Is 17 a factor of n?
True
Let j