4*j = -8153, 2*n = 14*j - 17*j + 3275. Is 23 a factor of n?
True
Let d(s) = -s**2 - 13*s - 10. Let j be d(-13). Does 27 divide 1/(5/j) - (-30 - -1)?
True
Is (1/(2/(-3)))/((-134)/26264) a multiple of 46?
False
Suppose -z + 195 = 4*z + 5*y, -z + 43 = -3*y. Is z a multiple of 8?
True
Suppose 0 = -2*h + 5*g - 108, 7*h - 2*h + 237 = -4*g. Let m be 3/(-7) + 273/h. Is 8 a factor of (-14)/(-84) - 143/m?
True
Let k(b) = -47*b - 22. Is 55 a factor of k(-11)?
True
Suppose v + 0*v = 3. Suppose 0 = p + v*n + 3, 0 = p + 2*p - 3*n - 15. Suppose -84 = -p*y - s - 4*s, 2*y + 4*s = 58. Is 10 a factor of y?
False
Let h(k) = k**3 + 340. Let c be h(0). Is 14 a factor of c/3 - 2 - (-6)/9?
True
Let f = 59 + -53. Suppose -f*i + 195 = -i. Does 3 divide i?
True
Let h = -57 - -23. Let k = 63 + h. Is 4 a factor of k?
False
Suppose 13*x = -6*x + 11115. Does 45 divide x?
True
Let b be (2 - 9/3)*-4. Suppose 0 = -b*g - x + 215, -3*g + 177 = 5*x + 20. Suppose -4*y - m + 130 = 0, -2*y - g = -4*y + 5*m. Does 8 divide y?
True
Suppose 156 = -2*o + a - 0, 3*o + 5*a = -247. Let v = 63 - o. Is v a multiple of 25?
False
Suppose 2*r - 13 = -5*h, 0 = h + r - 3 + 1. Is 2 a factor of -11 + 22 + (2 - h - -1)?
False
Let f(o) = 17*o - 187. Does 24 divide f(28)?
False
Suppose 105*w - 103*w = i + 2911, -5*i = -2*w + 2907. Does 13 divide w?
True
Let y = -161 + 67. Let t = 52 + y. Does 27 divide (36/t)/((-2)/126)?
True
Let u(y) = -6*y + y + 1 + 6 - 1. Let i be u(-7). Let s = -16 + i. Is s a multiple of 25?
True
Let k = -65 + 72. Let b(u) = u**3 - 6*u**2 - u - 24. Is 10 a factor of b(k)?
False
Let u = -23 - -27. Suppose u*m - 31 = n - 99, -4*n + 308 = -4*m. Is n a multiple of 16?
True
Suppose l = -3*f + 17, -2*l + 25 + 4 = 5*f. Suppose 4*n - 20 = -3*w - 0*w, 0 = n - w - 5. Suppose -n*k = -l*k - 63. Is 11 a factor of k?
False
Let d(l) = 13*l**2 + 0 - 3*l + 8*l**2 + 1 + l. Is d(2) a multiple of 20?
False
Let p(a) = 8*a - 31. Let s be p(7). Let o = s - -78. Is 22 a factor of o?
False
Let d be 12/10*(-5)/(-2). Let h(s) = -d*s**3 + 6*s**3 + 130 - 2*s**3 - 136 + 2*s**2 + s. Does 10 divide h(3)?
False
Let a = 669 + -503. Is 6 a factor of a?
False
Let s(r) = r**2 + 6*r + 2. Let j be s(-5). Let y(c) = -c**3 - 5*c**2 + 5*c - 10. Let o be y(-5). Is o/(-28) + j/(-4) even?
True
Does 17 divide ((-30)/18)/(3/(-306))?
True
Is 19 a factor of 3 - (2 - 5) - -184?
True
Let r(z) = 35 - 15 - 5*z - 20*z - z**2. Is 29 a factor of r(-18)?
False
Let q = 2653 - 1834. Does 39 divide q?
True
Suppose -126 = 2*f - 5*o, -f + 0*f - 2*o = 45. Let j = 105 + f. Let u = j + 4. Is u a multiple of 14?
True
Let o be 3/12*4 + 3. Suppose -o*q - 7*q = -264. Is 6 a factor of q?
True
Let c(w) = 13*w**2 - 2*w + 7. Let l be -3*(-2)/(-21) + (-19)/7. Is 24 a factor of c(l)?
False
Let p(l) = 7*l**2 + 1. Let i(b) = b. Let g be i(0). Suppose 0 = -3*t + n - g*n - 8, -t - 4*n - 7 = 0. Is 17 a factor of p(t)?
False
Let d = 1432 - -262. Does 121 divide d?
True
Suppose 3*o - 4*x - 12 = -x, 3*o - 16 = 2*x. Let k = o - -7. Is 15 a factor of k?
True
Let i = 357 + -209. Let l = -93 + i. Suppose s + l = 6*s. Does 4 divide s?
False
Let f be 2/(-10) - (-66)/30. Suppose 3*h = -4*u + f - 0, 4*h = -8. Does 30 divide (-1)/u - 724/(-8)?
True
Suppose -57*n = -64*n + 2940. Is 15 a factor of n?
True
Suppose 6*p - 3346 - 2606 = 0. Is 11 a factor of p?
False
Suppose -14099 - 1525 = -14*v. Is 9 a factor of v?
True
Let u(l) = -12*l - 10. Let o be u(2). Let w = o + 115. Is w a multiple of 12?
False
Suppose -x + 7 + 13 = 4*q, 0 = q - 2*x - 14. Let u be (-42)/(-12) - q/4. Suppose u*j + 40 = 110. Does 23 divide j?
False
Let f = -17 + 87. Does 7 divide f?
True
Is -44*-1*(-14)/(-1) a multiple of 10?
False
Let g = -1858 + 2693. Does 21 divide g?
False
Suppose 372 = 5*o + 4*g - g, -4*o = 4*g - 304. Let i = -1 + o. Is i a multiple of 12?
False
Let h(m) = -3*m + 3. Let g be h(1). Suppose g = 3*f - 4*l - 338, 5*f - 2*l + 90 = 644. Is f a multiple of 10?
True
Let u(t) = -t**2 - 4*t. Let c be u(-4). Suppose 4 = 4*l, c*l - 5 = v - l. Is (v + 0)/((-5)/60) a multiple of 11?
False
Let x = 721 - 446. Is x a multiple of 25?
True
Let k = 4992 + -3488. Is 16 a factor of k?
True
Let g(d) be the second derivative of 20*d**4/3 + d**3/3 + d**2/2 + 12*d. Is g(-1) a multiple of 34?
False
Suppose -22062 = -4*z + 5*y, -6*z + 2*z = -4*y - 22064. Does 23 divide z?
False
Is 806 + (3 - 9 - -5) a multiple of 13?
False
Suppose 12 - 3 = -3*r. Is (r - (-276)/4) + 0 a multiple of 22?
True
Let g(j) = j**3 - 20*j**2 + 23*j - 5. Let k be g(19). Suppose 0 = -73*r + k*r + 560. Is 40 a factor of r?
True
Let s(x) = -x**2 - 2*x + 4. Let l be s(-3). Does 8 divide (l*(-399)/7)/(3/(-2))?
False
Let g(v) = -156*v - 505. Does 52 divide g(-6)?
False
Let o(d) = 51*d**2 - 8*d + 38. Does 10 divide o(4)?
False
Is 3 a factor of (-7 - 115/(-25))/(9/(-600))?
False
Suppose 0 = -0*s - 4*s. Suppose s = -o + 134. Is 57 a factor of o?
False
Let r be ((-1)/(-3))/((-2)/6). Let j = 33 + r. Is j a multiple of 32?
True
Let u(s) = 19*s - 60 + 2 - 8 - 5*s. Is 32 a factor of u(7)?
True
Let h = 659 - 235. Suppose 0 = 5*i - h - 106. Does 17 divide i?
False
Let k = -1 - -6. Suppose 0 = -t - i + 55 + 22, -2*i = 4. Suppose 0 = -n - 0*n - k, -t = -4*h + 3*n. Is h a multiple of 9?
False
Suppose 21 = -2*l + 2*d - 13, -l + 3*d - 23 = 0. Let j = -7 - l. Let u(f) = 11*f + 7. Is u(j) a multiple of 28?
True
Let g be (-2)/13 + (-112)/(-52). Suppose 5*v - s - 365 = s, g*v - 3*s - 135 = 0. Does 32 divide 4545/v + 6/(-10)?
False
Suppose -3*v = -v - 10. Suppose -2*f - 185 = -3*l, -l - v*f + 1 = -89. Is 13 a factor of l?
True
Does 18 divide (23 - 24)/(2/(-252)) - 0?
True
Let a = 185 + -108. Let c be a/15 - (-2)/(-15). Suppose 0 = -c*b + b + 52. Does 5 divide b?
False
Suppose -2*i = -3*r - 72, 3*r = i + 3*i - 144. Suppose q = 91 - i. Is q a multiple of 14?
False
Let n(v) = 2*v. Let a be n(-2). Let s be 7 - (-1 - 1 - a). Suppose 0 = -x + s*y + 22, 3*y + 37 + 5 = 3*x. Is 3 a factor of x?
True
Let h = 1809 + -1505. Is h a multiple of 4?
True
Let d(s) = 17*s**2 - 49*s + 335. Is 6 a factor of d(8)?
False
Suppose -u - 79 = -82. Suppose 290 = u*y - k - 4*k, y - 78 = -3*k. Does 9 divide y?
True
Suppose -8*m - g = -3*m - 8776, 4*m + 4*g - 7024 = 0. Does 13 divide m?
True
Suppose -2*q + 3*i + 335 = 0, 3*q - 303 = 2*i + 187. Is q a multiple of 5?
True
Let i(o) = 5*o**2 + 23*o + 3. Let l be i(-11). Suppose 0*d + 2*c + l = d, 2*d = 5*c + 706. Does 33 divide d?
True
Let x = -35 + 30. Let c(d) be the third derivative of -5*d**4/12 - 11*d**3/6 - d**2. Is 13 a factor of c(x)?
True
Let b = -110 + 113. Suppose -4*x - 4 = -2*d, b*d - 3*x = 11 + 4. Is d a multiple of 4?
True
Suppose 0 = -2*q + 6*q. Suppose 4 + q = z. Suppose -5*x - 95 = -2*s, 0*x - x - 181 = -z*s. Does 25 divide s?
False
Let v be -3*(-2 - 132/(-9)). Let u = -28 - v. Is u/(-25) + 231/15 a multiple of 5?
True
Let m = 66 - 53. Let x = 25 - m. Does 4 divide x?
True
Let b = -24 - -28. Suppose 5*y - 4*y + b*i - 184 = 0, 0 = -4*y + i + 702. Is y a multiple of 22?
True
Let j(q) be the third derivative of q**5/60 + q**4/3 + 2*q**3 + 3*q**2. Let k be j(-7). Suppose 0 = m - k*f - 37, m = -0*m - 3*f + 45. Is m a multiple of 9?
False
Let z(g) = -2*g**2 + g - 9. Let s(d) = 3*d**2 - 2*d + 10. Let l(m) = 4*s(m) + 3*z(m). Does 52 divide l(3)?
True
Let y be (-5116)/(-10) - (-6)/15. Let o = y + -356. Does 13 divide o?
True
Suppose -9*j + 8*j = -390. Is j a multiple of 26?
True
Suppose t = -4*z + 480, -1860 = -6*t + 2*t - z. Does 4 divide t?
True
Let r be (2 + 2)/((-6)/(-42)). Suppose -3*h = l - 11 + 1, 4*h = -5*l + r. Is 1 + h*32/4 a multiple of 12?
False
Let v = 111 - 21. Suppose v + 6 = h. Is 22 a factor of h?
False
Suppose 61307 + 32453 = 32*s. Is 45 a factor of s?
False
Suppose -3*r + 2*y + 1618 = 0, -3*r + 3*y + 1099 + 518 = 0. Is r a multiple of 8?
False
Is (-2)/6 - 46688/(-96) a multiple of 10?
False
Let g(n) = 2*n - 11. Let f be g(8). Let i be ((-6)/(-6))/(1/56). Suppose -p = -f*p + i. Does 4 divide p?
False
Let r(o) = 37*o - 50. Let z be r(9). Let g = 491 - z. Is 18 a factor of g?
False
Let b(m) = -879*m - 111. Is 27 a factor of b(-2)?
True
Let m(h) be the third derivative of -5*h**4/4 + 3*h**3 + 13*h**2. Is m(-2) a multiple of 17?
False
Let y be (-4 + 9)*(4/5)/2. Let r = 6 - -9. Suppose y*f - 9 = r. Is f a multiple of 6