s = -n. Is 3 a factor of h?
True
Let r(f) = -f + 8. Let u be r(5). Let c = 52 - 48. Suppose b - 82 = -4*o, u*o - 343 = -c*b - 28. Does 10 divide b?
False
Is 12 a factor of 18490*1*(7 + (-264)/40)?
False
Suppose -385 - 31 = 26*u. Is 30 a factor of 28790/40 + 4/u*-1?
True
Suppose 15*q = 4*q - 165. Let m = q + 17. Is (m - -2) + -1 - -35 a multiple of 19?
True
Suppose 12*l = 17*l + a - 30793, -3*l + 18477 = a. Suppose 4*q = -k + l, 14*q - 16*q + 3076 = -k. Is 19 a factor of q?
True
Let n be (12/(-8))/((-1)/2 + 0). Suppose n*b = 4*b - 4*p - 649, -p - 4 = 0. Suppose 3*j + 2*k = 384, k - b = -0*j - 5*j. Is j a multiple of 18?
True
Let t = -9214 + 10650. Is 9 a factor of t?
False
Suppose 2*s = 5*f - 16, -2*s - 14 = -3*f - 3*s. Let i be 2 + (4/f - 4). Is (-1)/(-5) - ((-1504)/5 - i) a multiple of 20?
True
Suppose 18*a - 1178655 = 112*a - 6627365. Does 140 divide a?
False
Let x = -5218 + 12290. Is x a multiple of 13?
True
Let k(h) = -h**2 + 3*h - 18. Let q be k(10). Let f = 90 + q. Suppose t - 5*m - 19 = 0, 4*t + m - 27 = f*t. Does 2 divide t?
True
Let o be 66/4 - 2/(-4). Let d(b) = -b**3 + 64*b**2 + 131*b + 27. Let f be d(66). Let t = o - f. Does 4 divide t?
True
Let s(x) = -13*x + 34. Let p be s(-29). Suppose 5*m + o = -o + p, -4*m + 5*o = -342. Is m a multiple of 5?
False
Let i = 5476 - 1832. Does 73 divide i?
False
Let k = 88 + -86. Let y be k + (-13)/(26/(-140)). Suppose u - y = -2. Is u a multiple of 23?
False
Suppose -w + 3265 = o, 2*o - w + 1516 = 8064. Is 156 a factor of o?
False
Suppose -3*c + 17460 = 3*i, -c + 5*i = -4263 - 1563. Is c a multiple of 7?
False
Suppose 4*x + 406 = -3*g + 9*x, 0 = 5*g - x + 640. Let m = g + 71. Let r = 114 + m. Does 17 divide r?
False
Let q = -34502 - -49289. Does 93 divide q?
True
Is ((-798)/63)/(2/(-288)) a multiple of 6?
True
Let v be 3/15 - (-108)/(-15). Let y be (-6 - v)/((-3)/18). Is ((-154)/y)/(8/48) a multiple of 23?
False
Let y = 7 + -11. Suppose -126 = 12*u - 546. Let h = y + u. Is h a multiple of 25?
False
Let g = -7 - 10. Let u(v) = -v**3 - 16*v**2 + 17*v + 4. Let l be u(g). Suppose -2*c - 63 = -2*p - 3*c, 2*p + l*c = 72. Is 6 a factor of p?
True
Let w = -21206 - -53058. Is w a multiple of 114?
False
Let i be (-4 - -3)*1*-271. Let k = i + 49. Is k a multiple of 40?
True
Let h(r) = r**2 + 11*r - 33. Let j(q) = 4*q + 1. Let p be j(-3). Let z be (-1 + p)*((-33)/(-9) + -4). Is 3 a factor of h(z)?
True
Let a(z) = 1050*z**2 + 11*z - 6. Does 62 divide a(2)?
True
Suppose a + 1 - 17 = -4*l, -3*a - l + 4 = 0. Suppose a = 2*j - 5 - 1. Is 10 a factor of (j/(-12))/(1/(-164))?
False
Suppose 15*c + 5 = 20. Does 41 divide (-5 - -1)/(2/(-164)*c)?
True
Suppose 23534 = 3*r + 5*x, -4*x + 210 = -5*r + 39421. Does 41 divide r?
False
Let i = -2483 + 4172. Is 7 a factor of i?
False
Let i(b) = -201*b**3 - b**2 + b + 84*b**3 + 1 - 290*b**3. Let v be i(-1). Suppose 5*l + 5*j - 675 = 0, -5*j + v = 3*l - 3*j. Is 34 a factor of l?
True
Let k(v) = 9*v - 57. Let m(o) = -250*o + 1540. Let u(x) = -55*k(x) - 2*m(x). Suppose -6*w + w + 65 = 0. Is u(w) a multiple of 12?
True
Let q(a) = -5*a**2 + 34*a + 87. Let v be q(-3). Is 12 a factor of v/90 - 1460/(-3)?
False
Suppose 2*p + 4 = -4*x, -1 = p + x + 2. Let c be -99 - (-4 - (p + 1)). Let j = c + 115. Does 3 divide j?
False
Suppose -408*s + 177050 = -1349278. Is 11 a factor of s?
False
Suppose -d - 6*a + 408 = -2*a, 4*d - 1632 = 5*a. Let j = d + -112. Let o = j + -139. Does 10 divide o?
False
Suppose -41 = 3*q + 22. Let o be (-1464)/(-42)*q/(-6). Suppose z - 2*s - o = 0, -2*z + 3*s - 2*s + 253 = 0. Is z a multiple of 20?
False
Does 7 divide ((-221598)/819)/(1/(-14))?
False
Let r be (3/((-18)/4))/(68/(-8874)). Suppose 3*z = r - 105. Does 35 divide (-790)/(-12) - (3 + 19/z)?
False
Suppose -3*q - 25 - 32 = 3*h, 0 = 3*q + h + 59. Is 13 a factor of 2/(q/(-385)) - 1/(-2)?
True
Let w = -2856 + 3820. Does 28 divide w?
False
Does 15 divide (-1 - 1373)*-3*(-85)/(-102)?
True
Let i be 858/30 + 2/5. Suppose 5 = -12*y + i. Suppose -m - 11 = 4*x - 59, -106 = -2*m + y*x. Does 13 divide m?
True
Let v be (-2)/((-20)/8 + 2). Suppose 1788 = -2*y + v*y. Suppose -297 = -u + o, -4*o - y = 4*u - 7*u. Is u a multiple of 49?
True
Suppose -50*x + 1171406 - 248810 = -270904. Is 77 a factor of x?
True
Suppose -8*d - 92 = -44. Let b(z) = -2*z**3 - 7*z**2 + z + 15. Is b(d) a multiple of 6?
False
Let x = 4249 - -117. Is x a multiple of 23?
False
Suppose 2*o = u + 3635, 0 = -4*o - 13*u + 14*u + 7273. Is o a multiple of 17?
True
Let a = 332 - -79. Suppose n - i - a = 0, -2*n - 4*i = -689 - 121. Does 14 divide n?
False
Let p = 54 - 44. Suppose -p*j + 11*j - 602 = 0. Suppose 3*f - j - 349 = 0. Is f a multiple of 25?
False
Is 14 a factor of (-17)/(102/18) + 776 + -3?
True
Let o(c) = c**2 - 7. Let v be o(3). Suppose -v*m = -2*q - m - 5, m = 5. Suppose 84 = -q*f + f - p, -144 = -2*f - 4*p. Does 20 divide f?
True
Let c(q) = 15*q**2 - q + 3. Suppose 0 = 8*r - 2*r - 648. Suppose -r*l + 104*l = -12. Is c(l) a multiple of 9?
True
Let l be 72/(-54)*(-113 + -1). Suppose -8*a - 24 = -l. Does 16 divide a?
True
Suppose -4*i + d + 2262 = 0, -3*i + 2*d = -8*i + 2821. Let l = i + -313. Is 9 a factor of l?
True
Let w(r) be the third derivative of 17*r**2 + 0*r - 1/24*r**4 + 1/60*r**5 + 1/3*r**3 + 0. Is 11 a factor of w(-6)?
True
Suppose -21*h + 2*h - 9*h = 0. Suppose -a + 0 + 3 = 0. Suppose -264 = -a*o - 0*s + 3*s, 3*o - s - 256 = h. Is 21 a factor of o?
True
Let j = 4351 + -4212. Is j a multiple of 10?
False
Let x be (264/308)/((-1)/(-42)). Suppose -3808 = -x*g + 28*g. Is g a multiple of 17?
True
Let t = -17 + -193. Let g = 52 - t. Is g a multiple of 4?
False
Suppose -3*n = -a + 1778, -3*n - 2292 + 509 = 4*a. Let t = -412 - n. Is t a multiple of 6?
False
Suppose -3*r - 2928 = -4*a + 14241, 0 = 10*a - 3*r - 42945. Does 24 divide a?
True
Let o(l) be the second derivative of 13*l**3/3 + 69*l**2/2 - 78*l. Does 26 divide o(12)?
False
Let g be (-120)/(-14) + 120/35 + -3. Is (198/2)/(-1 - (-12)/g) a multiple of 30?
False
Let s = 855 - 464. Suppose 0 = 17*l - 3859 + s. Does 51 divide l?
True
Let m(c) = 29*c + 441. Suppose -3*a + 1240 = 1174. Does 11 divide m(a)?
False
Let d be (5/(-10) + 6/(-4))*-19. Does 19 divide -8*d*1/((-14)/35)?
True
Let u(x) = -x**3 + x**2 - 2*x - 2. Let n(c) = -c + 2. Let q be n(-7). Suppose -11 = q*h + 16. Is 40 a factor of u(h)?
True
Suppose -5*d = -3*x + 1258 - 278, -d + 956 = 3*x. Let y be ((-140)/16 - -6)/((-2)/x). Let w = y + -305. Is w a multiple of 15?
True
Suppose 118 + 242 = 2*k. Suppose 0 = -3*u - 4*y + 104, -4*u + 4*y - 60 + k = 0. Suppose 0 = u*v - 37*v + 420. Is v a multiple of 7?
True
Suppose -224 = 2*a - 2*t, 4*a - 5*t + 8*t = -448. Let s = 547 + a. Is 9 a factor of s?
False
Let t(c) = -4*c**3 - 14*c**2 - 2*c - 42. Let r be t(-6). Does 99 divide ((-5)/10 + 5)*r?
True
Suppose 0 = -5*v - 18*a + 23251, 2*a - 21942 = -4*v - 3366. Is 30 a factor of v?
False
Is 1 - ((-54)/(-18) - 13248) a multiple of 67?
False
Let o(c) = c - 1. Let x be o(3). Suppose -x*a = -9 + 7. Does 11 divide a - (4 - 16*7)?
False
Suppose -8 = 2*y, 17*y - 20*y = -4*s + 79432. Is 19 a factor of s?
True
Let c(f) = -107*f**3 - 4*f**2 + 112*f**3 + 0*f**2 + 2*f. Is 14 a factor of c(2)?
True
Suppose 4 = 4*a, 96*x + 3*a - 71967 = 94*x. Is 167 a factor of x?
False
Let f = -24604 + 51242. Is f a multiple of 19?
True
Suppose 0 = z - y + 9, -5*z + 10*z + y + 45 = 0. Let v(n) = 47*n - 23*n - 14*n + 39 - 25*n - 2*n. Is 16 a factor of v(z)?
True
Let f(b) = 4*b**3 - 5*b**2 - 387*b + 2768. Is 79 a factor of f(7)?
False
Suppose -559*q - 468013 = -698*q. Does 91 divide q?
True
Let p(o) = 19*o**3 - 175*o**2 + 13*o - 29. Is 4 a factor of p(11)?
True
Suppose 2*k + 4 = -4*n - k, 3*n = -4*k - 10. Does 13 divide n/(-9) - (-60511)/99?
True
Let u(q) = -q**3 - 15*q**2 + 14*q - 27. Let t = 140 - 156. Does 2 divide u(t)?
False
Let b(p) = 76*p - 97. Suppose 0 = -8*g + 40 - 8. Does 4 divide b(g)?
False
Let n = 37 - 25. Let b = n + -7. Suppose 2*f - 22 = 2*g, -2*f - b*g - 7 = -1. Does 3 divide f?
False
Suppose 4*o - 88795 = -5*r, 15009 = 3*r - 5*o - 38268. Is 11 a factor of r?
False
Let o(g) = g**2 + 39*g + 74. Let c be o(-37). Let w(j) = -3*j**3 + j**2 + 378. Does 42 divide w(c)?
True
Suppose 442*n + 7023 = 445*n - 5*y, -4*n + 9312 = 2*y. Is 9 a factor of n?
True
Let n be