 g = 78 + -15. Suppose 0 = 4*z - 93 - g. Suppose 3*x = -0*x + z. Does 13 divide x?
True
Let t(q) = -63*q - 6. Let v be t(-3). Is 18 a factor of (10/15)/(1/v)?
False
Let t(s) = 40*s - 580. Is 23 a factor of t(25)?
False
Let c be (-24 - (2 + -1))*-1. Let x be (-10)/2*(-20)/c. Suppose -3*b - 2*k = -0*b - 126, x*k = 0. Is b a multiple of 10?
False
Let j = 93 - 27. Let i = -38 + j. Suppose -5*y + b + 194 = 0, -i - 52 = -2*y + b. Is 16 a factor of y?
False
Let y = -441 + 849. Is y a multiple of 40?
False
Let d = -137 - -172. Is d a multiple of 3?
False
Let u = -3 + 7. Let h be (u + (-6 - -2))/1. Suppose -15 = -v + 4*o, 60 = 2*v - h*v + 2*o. Is 11 a factor of v?
False
Let d(l) = l**2 - 2*l - 25. Is d(-5) a multiple of 4?
False
Let q(d) = -d**3 + 20*d**2 + d - 20. Let v be q(20). Suppose 4*l + 2*h - 958 = v, 4*l - h = 439 + 522. Is l a multiple of 30?
True
Let n = -356 - -620. Is n a multiple of 40?
False
Let b be ((-2)/(-6) - (-6)/(-18)) + 2. Suppose -5*d = -2*s + b - 9, d = s - 1. Does 2 divide s?
True
Let g(h) = -3*h**2 - 6*h + 13. Let w be g(10). Let z = w - -596. Is z a multiple of 11?
False
Let s(i) be the second derivative of -i**4/4 - i**3/3 - i**2/2 + 2*i. Let y be s(-1). Is 8 a factor of y - (1 + -1 + -18)?
True
Suppose 5*d - 34 + 4 = 0. Suppose d*t - 11 = 13. Is 4 a factor of (-8)/t*(-16)/4?
True
Suppose 4*u = -0*u + 8. Suppose -u*x - 12 = -128. Let c = x + -32. Does 13 divide c?
True
Let q(g) be the first derivative of g**4/4 - 20*g**3/3 + 39*g**2/2 + 3*g + 14. Is 19 a factor of q(18)?
True
Let i be 2/15 - 280/(-150). Suppose 3 = -2*n - 7, 0 = -i*k - n + 11. Let d = k - 2. Is 3 a factor of d?
True
Suppose 0 = -5*l - 2 + 7. Let h = -48 + l. Let y = h - -82. Does 11 divide y?
False
Suppose -17*r + 1561 = -802. Does 14 divide r?
False
Let n(f) = -f + 18. Let z be n(10). Is (-3)/(1 - -2) + z even?
False
Let y(j) = j**3 + 5*j**2 - 16*j + 1. Suppose 4*w - 138 = -g, 2*w + 2*w - 136 = -2*g. Suppose p = 6*p + w. Does 5 divide y(p)?
True
Suppose 4*p + 114 = 5*v, -2*v + 2*p = -3*v + 34. Does 10 divide v?
False
Suppose -85*o = -25*o - 47880. Is 42 a factor of o?
True
Suppose -4009 = -8*p + 1535. Does 33 divide p?
True
Let v be 1/2 + (-17)/2. Let z(m) = -4 + 2*m - m**3 - 6*m + 2*m - 4*m**2 - 4*m**2. Is z(v) a multiple of 6?
True
Let f = -71 - -128. Let p = 157 - f. Is 25 a factor of p?
True
Suppose -181 = -3*g - 2*g - 3*k, -k = 5*g - 177. Let f = 29 - g. Let w(o) = -2*o - 5. Is w(f) a multiple of 2?
False
Let p(r) = 74*r - 324. Is p(19) a multiple of 9?
False
Suppose 2178 = 9*s - 2574. Is s a multiple of 66?
True
Suppose -4*u - 5*k = -791, -5 = -3*k + 4*k. Is 12 a factor of u?
True
Suppose -34*u = -37*u - 18. Does 11 divide (-16)/6 + 2 - 370/u?
False
Suppose 23*i - 5264 - 4097 = 0. Is i a multiple of 2?
False
Let q(y) = 5*y**2 + 17*y + 204. Is 8 a factor of q(-17)?
True
Suppose -5*p + 39 = -4*p. Suppose -p = -3*h + 585. Is 18 a factor of h?
False
Suppose 0 = -4*w + 121 + 447. Is 5 a factor of w?
False
Let d = 14 + 364. Is d a multiple of 9?
True
Let x(b) = b**2 - 2*b + 4. Let f be x(7). Suppose -6*k + f + 87 = 0. Is k a multiple of 8?
False
Let l(f) = -5*f**3 - 5*f**2 - 5*f - 2. Suppose 0 = -3*y - 2*y - 10. Does 4 divide l(y)?
True
Let y(i) = i**2 + 22*i + 381. Is y(-25) a multiple of 6?
True
Suppose -h + 186 = -2*i, -4*h = -5*i - 250 - 491. Is h a multiple of 8?
True
Let w = -25 - -27. Suppose -156 = -w*r + z, -5*r + 5*z + 462 - 82 = 0. Is 40 a factor of r?
True
Suppose 0 = l - 5*l + 40. Let m be l*36/(-16)*-2. Suppose 42*d - 39*d = m. Does 2 divide d?
False
Let j(n) = -n**3 + 31*n**2 - n + 55. Is j(31) even?
True
Let v be 9/4*5/(5/(-4)). Let p = 31 + v. Does 14 divide p?
False
Suppose 5*w - 892 = 718. Let l = -47 + w. Does 25 divide l?
True
Suppose -89*b + 88*b = -1273. Is 19 a factor of b?
True
Let j = -119 + 55. Let q = 33 + j. Let y = q - -56. Is y a multiple of 6?
False
Let d be 57 - 1 - (12 - 6). Suppose -4*v + 332 = g, -3*g + 2*g = -v + 88. Let o = v - d. Is 7 a factor of o?
False
Let d(k) = 33*k**3 + 2*k**2 + 2*k + 1. Let l be d(-1). Let y = -2 - l. Is y even?
True
Does 44 divide (1 - -87)*11/((-22)/(-12))?
True
Suppose -4*g - 3*u - 2*u = -8, -3*g + 6 = -5*u. Suppose 5*y = -20, 0*r + g*y = -2*r + 28. Is (5/10)/(1/r) a multiple of 3?
True
Suppose 2*z + 2 = 0, 3 - 10 = -2*d - 3*z. Suppose -d*o + 15 = -5, -56 = -2*m - o. Suppose a - m = -5. Is a a multiple of 9?
False
Let o(c) = 2*c**2 - 22*c - 40. Is 82 a factor of o(17)?
True
Let s(g) = -3*g - 3. Let u be s(-2). Does 3 divide (4/6)/(-4*u/(-648))?
True
Let h be (6/(-4))/((-1)/(-12)). Let c be (-6)/27 - 1084/h. Is (-7)/((-28)/c) - 3 a multiple of 9?
False
Suppose -q = -4*o - 83, -q = -16*o + 19*o - 48. Is 6 a factor of q?
False
Let v = -63 - 13. Let u = 14 - v. Is 15 a factor of u?
True
Let n(g) = -g**2 + 4*g + 15. Let p be n(6). Let s(b) be the first derivative of 2*b**3/3 - b**2/2 + b + 1. Does 4 divide s(p)?
True
Suppose w + 0 = 5. Suppose 5*g - w = -m - 0*m, -g = m + 3. Is (-111)/(-9) + g/(-6) a multiple of 6?
True
Let u(f) = 7*f**3 - 7*f**2 - 20*f + 34. Is u(8) a multiple of 43?
True
Let x be (-5 - -1 - -96)*2. Suppose 2*d + 102 = -2*w, 4*d + 0*w - w + x = 0. Let q = d - -69. Does 22 divide q?
True
Let q(j) = j**3 + 3*j**2 + j + 5. Let x be q(-3). Is 35 a factor of x*(71 + (2 - 3))?
True
Let u = -704 - -1011. Is u a multiple of 14?
False
Let f(z) = 331*z - 182. Does 20 divide f(2)?
True
Let k(v) be the third derivative of 11*v**4/12 - 13*v**3/6 - 16*v**2. Is 13 a factor of k(7)?
False
Let l(u) = u**2 + 5*u - 21. Let n be l(-13). Let q = n - 36. Is q a multiple of 7?
False
Suppose 1 = -7*l + 78. Suppose -3*c - l = -4*c. Is c a multiple of 10?
False
Suppose 4*f + 4*l = 4848, -7*f - l + 3*l = -8466. Is f a multiple of 13?
False
Suppose 9*o - 6*o - 2*r - 5134 = 0, -3*o = 2*r - 5126. Is 102 a factor of o?
False
Let j(x) = -x**3 - 3*x**2 - 5. Let f be (3/9)/(1/(-39)). Let d = f - -9. Does 4 divide j(d)?
False
Let u(i) be the first derivative of 2*i**3/3 + 3*i**2 + 10*i - 7. Is u(-4) a multiple of 3?
True
Let o = -82 - -97. Is 222/4 - o/(-10) a multiple of 19?
True
Let o = -81 + 49. Let q = -12 - o. Does 5 divide q?
True
Let v(j) = 76*j**3 - 2*j**2 + 6*j - 6. Is 22 a factor of v(3)?
True
Let g be 6/(-12)*(0 + -30). Suppose -g - 9 = -4*l. Let k = l - -1. Is k a multiple of 7?
True
Let r(c) = 45*c**2 - 2*c + 16. Does 12 divide r(-4)?
True
Suppose 61*r = 85*r - 3360. Is 35 a factor of r?
True
Suppose -88 - 626 = -17*u. Does 4 divide u?
False
Suppose 35*u = 10064 + 32496. Is 32 a factor of u?
True
Let a(x) = x**3 - 9*x**2 + 2*x - 4. Let q be a(9). Suppose 3*r + q - 53 = 0. Is 2 a factor of r?
False
Let b(z) = 11*z - 7. Let m be b(3). Suppose 3 = o - 5*k + 2, -k + 19 = 3*o. Let n = m - o. Is 10 a factor of n?
True
Let q(y) = 40*y**3 - 13*y**2 - 2*y + 8. Is 28 a factor of q(4)?
True
Let g = -2 - -5. Suppose g*x - 175 = 71. Suppose 3*r - 46 = -0*r - 4*a, -5*r + x = 4*a. Is 5 a factor of r?
False
Suppose -4*u = 5*i + 2 - 4, 6 = 4*i + u. Suppose 0 = -i*f + 12 + 10. Is 7 a factor of f?
False
Suppose -13*j + 3*j + 4640 = 0. Is j a multiple of 16?
True
Suppose 4*k - 8 = 0, 5*l - k - 124 = 359. Does 3 divide l?
False
Suppose -z = -5*j + j - 94, -2*z + 228 = 2*j. Let f = -45 + z. Is 11 a factor of f?
False
Let r be 10/3 - 6/(-9). Suppose 0 = a + r*a - 315. Let f = a + -27. Is f a multiple of 12?
True
Let a(t) = -141*t + 1239. Does 79 divide a(6)?
False
Let v(r) = 2*r**2 + 3*r. Let h be v(-2). Let m be (-10)/55 - h/(-11). Suppose -4*c = -4*s + 80, m*s - 3*c + 78 = 3*s. Is s a multiple of 11?
False
Let y = -115 - -161. Suppose 0 = 5*s - 21 + 91. Let a = y + s. Does 13 divide a?
False
Let g be 9 + (15/5)/(-3). Suppose 6*y = g*y - 50. Is 3 a factor of y?
False
Is 5 a factor of -2 + -5*198/(-45)?
True
Suppose -4*g + 8*g = 80. Let a be (-4)/g*290/(-2). Suppose -j = -w - 28, -j + 2*w - 6 = -a. Is j a multiple of 7?
False
Suppose 26 = 2*d - 14. Suppose 0 = -d*z + 21*z - 13. Is 6 a factor of z?
False
Let v(p) = p**2 + 13*p - 13. Let u be 11*((-24)/9 + 12/18). Is v(u) a multiple of 19?
False
Suppose -7*l - 50 = 391. Let n = l - -118. Does 7 divide n?
False
Let c(v) = 2*v**2 - 38*v + 158. Is 9 a factor of c(17)?
True
Let r(p) be the first derivative of 27*p**3 + p**2/2 - p - 1. Let h(m) = m**3 - 2*m**2 + 2*m - 3. Let 