*q = -8*q - 88. Suppose b - 247 = -3*u, u + 5*b - 51 = q. Is 2 a factor of ((-4)/(-4) + u)*2/4?
True
Let q = -1238 + 1687. Is 2 a factor of q?
False
Suppose -h - 137 = -2*j - 8, -j - 4*h + 42 = 0. Let b = 179 + -101. Suppose -j*l + 65*l - b = 0. Is l a multiple of 11?
False
Let r = -1163 + 3162. Is 4 a factor of r?
False
Let z = 2336 + 632. Suppose 52*d = 59*d - z. Does 19 divide d?
False
Let f = 3617 - -2991. Does 16 divide f?
True
Let o = -10 - -25. Suppose -11*f + o*f - 184 = 0. Does 23 divide f?
True
Let w(g) = -3*g + 1. Let l be w(6). Let v = 85 - l. Suppose 0 = 5*p - v - 193. Is p a multiple of 7?
False
Let j(o) = 23*o - 21. Let x be (-2)/(-4) + (-4)/(-16)*-2. Suppose -2*m + 9*m - 49 = x. Does 20 divide j(m)?
True
Suppose 39 = 2*w + 9. Does 12 divide 5 - (-5)/(w/129)?
True
Let b = 126 - 123. Suppose b*a - 4*i = 4*a - 98, -3*a = 3*i - 294. Is 11 a factor of a?
False
Suppose -23*s + 106 + 9 = 0. Suppose l + 358 = 5*v, -352 = -5*v - 6*l + s*l. Is v a multiple of 23?
False
Let i(c) = -c**2 + 22*c + 26. Let v be i(23). Suppose 5*g = -4*r + 25, 3*r - v*g = -7 - 8. Suppose r = -4*w + 3*w + 66. Does 6 divide w?
True
Suppose -27*z + 31*z = -32*z + 612324. Does 20 divide z?
False
Suppose 687 = 4*l + 2*q - 1139, 0 = l + 5*q - 452. Suppose -5*y + l = 4*g - 478, y = -3*g + 176. Let j = 311 - y. Is j a multiple of 30?
True
Let f(u) = -36*u**3 - 3*u**2 - 2*u - 14. Does 25 divide f(-4)?
True
Let k(j) = j**3 + 36*j**2 + 35*j + 3. Let g be k(-35). Is 39 a factor of 1169 + -4 - (g/3 - 1)?
False
Let i be 2/((7/(-4))/(-7)). Let l be (4 - 5)/((-3)/(-3)). Is i + (6 - 2) + l even?
False
Suppose 16*j + 410 = 6*j. Let g = 46 + j. Suppose 7 = 5*h + n, -3*h + g*n - n + 18 = 0. Is h a multiple of 2?
True
Let v(l) = l + 1. Let j be v(8). Suppose -5*h - 10 = 0, 3*m - j = -0*m - 3*h. Suppose 3*z = -5*y - 0*z + 199, -m*z + 205 = 5*y. Is y a multiple of 19?
True
Let r(u) = u**3 + 13*u**2 - 8*u + 17. Suppose z + 2*c = 30, 3*c + c = 4*z - 72. Suppose -4*l = z + 30. Is 14 a factor of r(l)?
False
Let v be 9/(4 + -1 - 0). Suppose -r + 0*z + 1313 = z, 3 = -v*z. Does 73 divide r?
True
Let u = 21 - 19. Suppose -u*g + 3*g - 2 = 0. Suppose -g - 6 = -s. Is 3 a factor of s?
False
Suppose 36 = 2*o - 36. Suppose 31*p - o*p + 470 = 0. Is 21 a factor of p?
False
Let g = -2134 + 8904. Does 35 divide g?
False
Let p = -3862 + 5287. Is 25 a factor of p?
True
Suppose 11*v - 178*v + 121781 = -11819. Does 20 divide v?
True
Let u(h) = h**3 - 22*h**2 - 5*h + 86. Let l be u(20). Let g = 1787 + l. Is g a multiple of 20?
False
Let c(m) = -m**2 - 5*m + 86. Let p be c(7). Let n = -481 + 683. Suppose 2*f = -p*w + n, w + 3*f - 513 = -4*w. Is w a multiple of 18?
False
Let p(h) = h**2 + 10*h + 2. Let z be p(-6). Let m = z - -186. Suppose -3*j = -2*u - 3*u + 228, -3*u = 5*j - m. Is u a multiple of 12?
True
Suppose 5*k = -5*l + 40, -4*l + 16 = 36. Suppose -k*b + 11*b - s = -393, 0 = 4*b + 4*s - 784. Does 9 divide b?
False
Let l(t) be the second derivative of 11*t**3/3 - t**2 - 13*t. Let i be l(1). Is 13 a factor of 5/(i/(-4)) - -66?
True
Let v(u) = u**2 - 14*u + 16. Suppose 0 = -4*y + a + 67, 3*y = 4*a + 46 - 12. Let r be v(y). Suppose r = 3*j - 392. Does 20 divide j?
True
Let o(q) = 580*q - 502. Is o(11) a multiple of 5?
False
Let w = 13 - 25. Let g be (-3)/9 + (-424)/w + 3. Suppose f - 22 = -v, 3*v - f - 24 - g = 0. Is 10 a factor of v?
False
Is 21 a factor of ((-6)/15)/(36/15) - 7058/(-12)?
True
Let d = 65 + 817. Does 14 divide d?
True
Let x(b) = -4*b**2 - b. Let o be x(1). Let l be 102/o*60/(-18). Suppose -22 = u - l. Is 23 a factor of u?
True
Let k be 8/10 + 55/25. Let j(w) = -5*w + w**3 - 2*w**2 + 4*w + 0*w**2 + k. Is j(4) a multiple of 8?
False
Let u = 285 + -279. Does 9 divide (7/(42/1292))/(4/u)?
False
Let h be 16/(-20)*10/(-4). Suppose -h*f = -4*f - 154. Let w = f - -133. Is w a multiple of 14?
True
Let p = -299 + 294. Let w(h) be the first derivative of -2*h**2 + 7*h - 4. Does 3 divide w(p)?
True
Let p be 93/(-6)*(-3 - -5). Let y = p + 32. Is 15 a factor of (178 - y) + 9 + -6?
True
Let b = -11988 + 21060. Is b a multiple of 12?
True
Let o(j) = 19*j - 2*j**2 + 2*j**2 + j**2 + 5. Suppose -2*c + 70 = -3*t, -t = c - 3 + 18. Is 5 a factor of o(t)?
True
Is 5/2 - 15/120*-25044 a multiple of 259?
False
Let f(z) = -z**2 - 6*z - 5. Let t be f(-2). Suppose -t*v + q + 1 = -3, 4*v = 3*q - 3. Suppose -j + 6*j + 175 = 2*c, c - 90 = v*j. Is c a multiple of 25?
True
Let z = -4 - -8. Let m be (14/2)/(((-1)/z)/(-1)). Does 7 divide (m/4*3)/1?
True
Suppose -31413 = -19*q + 6359. Suppose -3*o = -2*x - q, -9*o + 3*x = -7*o - 1317. Is o a multiple of 25?
False
Suppose 24*w + 50299 - 145531 = 0. Is 10 a factor of w?
False
Let i be 5/(-2)*(-6)/5. Suppose r + 1846 = 4*f, 2275 = 5*f + r - 28. Suppose f = i*p + y, y + 16 = -3*y. Is p a multiple of 23?
False
Let h(b) = 2*b**2 + 5*b - 16. Let f be h(-6). Suppose -f*t + 25*t = 190. Let v = t + 302. Is 18 a factor of v?
False
Let b(d) = 2*d + 18. Let a be b(-7). Let r be (-1 - 0)/(a/8). Is (6 - 132)/(r - 0) a multiple of 14?
False
Suppose 132152 = 3*i + b, -5*b = 11*i - 15*i + 176190. Does 46 divide i/175 + (-16)/(-7) + -2?
False
Suppose -14*j + 4*x + 227768 = 0, 4*j - 42*x = -38*x + 65088. Is j a multiple of 98?
True
Suppose -10416 = -85*j + 209. Is j a multiple of 12?
False
Suppose -21*d + 4405 = -14957. Let o = 1569 - d. Is 35 a factor of o?
False
Let o(r) = -238*r - 1575. Is 12 a factor of o(-17)?
False
Let t(q) = q - 12. Let h(c) = 6*c - 84. Let l(k) = 5*h(k) - 36*t(k). Let x be l(0). Suppose x*a = 7*a + 80. Does 4 divide a?
True
Suppose 5*d - 15 = -5*b, b + 9*d = 4*d - 5. Suppose -b*v - 3*v = -64. Is (-2184)/(-32) - 2/v a multiple of 17?
True
Let p = 205 + -205. Is 47 a factor of p + 1 + (3288/2)/12?
False
Let t(g) = -120*g**3 + 10*g**2 + 20*g - 38. Is t(-4) a multiple of 62?
False
Let p(x) be the first derivative of 67*x**2/2 - 47*x - 31. Does 9 divide p(5)?
True
Suppose -2*o + 920 = -24136. Is 12 a factor of o?
True
Suppose 3*n = -a + 5796, 0 = n - 263*a + 262*a - 1936. Is n a multiple of 17?
False
Suppose -6*f - 68 - 40 = 0. Let d = f - -23. Let m = d - -10. Does 3 divide m?
True
Let k(r) = -3*r + 29*r - 11 + 5 - 5. Let o be k(6). Suppose -o = -n - 58. Does 17 divide n?
False
Let o(i) = 57*i + 324. Let h(r) = 19*r + 107. Let d(f) = 7*h(f) - 2*o(f). Is 28 a factor of d(5)?
True
Is 24 a factor of (-222)/(-407) - (-49530)/66?
False
Let d = 57 - 55. Let p be ((d - -1) + -5)/((-1)/2). Does 18 divide 77 + (-4 - -3) - p?
True
Suppose 0*x = 4*y + 4*x + 8, -5*x - 12 = 4*y. Let r be (-125242)/(-364) - 2/28. Suppose 2*i + 3*i = 2*u - 324, 5*i = -y*u + r. Does 29 divide u?
False
Does 56 divide (4296/10 + 0)/(150/500)?
False
Let u be (-1)/(-4)*-2*-12. Suppose -n + 7 = b, 4*b - u = -3*n + 16. Is (2 + (-15)/n)*-182 a multiple of 13?
True
Suppose 94 = -3*g + 64. Let o be 2 - g/15*6/4. Suppose -o*m = -890 + 185. Is 31 a factor of m?
False
Let k(j) = 15*j**2 + 32*j + 27. Let y(c) = -23*c**2 - 50*c - 40. Let w(i) = 14*k(i) + 9*y(i). Let a be (-2 + -2 + 11)/(-1). Is 21 a factor of w(a)?
False
Is 37 a factor of 167406/(-12)*(12 + -14)?
False
Suppose 0*i + 4*i = -536. Let l = i - -179. Is l a multiple of 7?
False
Let o(m) = 2*m - 12*m**2 + m**3 - m + 0*m**3 + 15. Suppose -3*b + 0*b + 36 = 0. Is 15 a factor of o(b)?
False
Let m(i) = -i**3 - 8*i**2 + 25*i - 28. Let n = -316 - -303. Does 8 divide m(n)?
False
Does 18 divide (-50127)/(-5) + 162/270?
True
Let u(t) = t**2 - 7*t + 7. Let c be u(8). Suppose 728 = 19*s - c*s. Suppose -3*r + 16*r - s = 0. Is r a multiple of 9?
False
Suppose -5*g + f + 9 = 0, g - 2 = -4*f + 4. Does 22 divide 2 - 2 - 2 - (g - 224)?
True
Let l be (-2)/6 - (-80)/(-12). Let f(p) = -p**3 - 9*p**2 - 7*p + 1. Let o be f(-9). Let r = o + l. Is 7 a factor of r?
False
Let o = -92 - -97. Suppose -2*f + o*f - 5*b - 17 = 0, 0 = -f + 2*b + 6. Is 48 a factor of (-2298)/(-8) - (-3)/f?
True
Let w be -2*(-3 - -2) - 0. Suppose -3*t - 2*p = -30, -w*t + p + 22 = 3*p. Does 6 divide t + (-3)/(12/(-16))?
True
Suppose -162*o - 114*o + 121905 = -61*o. Does 3 divide o?
True
Suppose -61 = 5*h - 36, -f - 2*h + 6758 = 0. Is 24 a factor of f?
True
Let b(p) = -p**2 - 25*p - 27. Let o(f) = 3*f - 5. Let z be o(3). Suppose 20 = -4*j, 5*j + 105 = -z*l + 8. Is 24 a factor of b(l)?
False
Let c(d) = -d