
True
Suppose -335*g + 50505 = 3*o - 338*g, 0 = -9*o + 5*g + 151487. Does 14 divide o?
True
Suppose -5897947 = -487*q + 13215829. Is q a multiple of 23?
False
Suppose 2*l + 0*l = 512. Suppose 2*w = -19 + 29. Suppose w*f - l = f. Is f a multiple of 16?
True
Let l = -566 - -565. Suppose -5*t = -4*a - 2737, -5*t + 2722 = -a + 2*a. Is 10 a factor of l*(-5)/(25/t)?
False
Let t(l) = 6001*l**3 + l**2 - 233*l + 231. Is t(1) a multiple of 16?
True
Let s(q) = q**3 + q**2 - 2*q. Let h(o) = -6*o**3 - 19*o**2 + 22*o - 49. Let v(t) = -h(t) - 5*s(t). Is v(-13) a multiple of 17?
True
Suppose -3*w + 15 + 19 = r, 4*r - 26 = -w. Let v be (32/w + -1)*5. Does 21 divide 233/v - ((-52)/(-44) - 1)?
True
Let a = 593 - 588. Suppose -3*y + 122 + 673 = a*m, -4*y + 800 = 5*m. Does 2 divide m?
True
Let q = 5 + -4. Let f be q/((-16)/(-4) + -3). Let l = f - -12. Is 5 a factor of l?
False
Suppose -83*j + 109774 + 181696 = -83607. Is j a multiple of 14?
False
Let n be (-204)/7 + -2 - (-4)/28. Let x = n + 33. Suppose -x*j = -2*i + 44, -i - 52 = -2*i - 5*j. Is i a multiple of 5?
False
Let k be (-8)/(-14) - 107*(-20)/28. Let c = k - 36. Suppose 59 = 5*u + 2*b + 4, -2*u + c = -3*b. Is u a multiple of 13?
True
Let s(x) = 124*x**2 - 570*x + 23. Is s(10) a multiple of 87?
False
Suppose 160603 = 12*g + 43267. Does 9 divide g?
False
Let s = -30 + 32. Suppose 8*d - 18 = s*d. Suppose 16 + 149 = 3*y - 3*r, r = d*y - 167. Is y a multiple of 18?
False
Let z = -22 - -7. Let w be 20/3 - (-10)/z. Is 582/(-2)*w/(-18) a multiple of 10?
False
Let f be 2 + 12 + 5 + (-1 - -1). Suppose -647 = f*q - 3839. Is q a multiple of 28?
True
Suppose -c + 1474 = -5*n, -5*c + 8*n = 9*n - 7474. Does 83 divide c?
True
Suppose 41*v = -24*v + 31*v + 272952. Is 18 a factor of v?
True
Let f be ((-2)/(-3))/(-3 + 132/45). Does 14 divide ((-44)/f)/(22/385) + 0?
False
Let y = 2 + 8. Let u(i) = 19*i**2 - 51*i + 78. Let x(t) = -12*t**2 + 34*t - 52. Let w(p) = 5*u(p) + 8*x(p). Is 9 a factor of w(y)?
False
Suppose 0 = 18*s - 27 - 117. Suppose 0 = s*i - 12*i - l + 1406, -i = -3*l - 358. Does 22 divide i?
True
Suppose 42*u - 64232 = 38*u - 4*i, 4*i = -u + 16055. Is u a multiple of 82?
False
Let p(x) = -x**3 - 46*x**2 + 281*x - 37. Is p(-62) a multiple of 12?
False
Let a(m) = -16*m**3 + 3*m**2 - 1. Let q be a(-1). Is ((-1972)/(-8))/17*q/3 a multiple of 29?
True
Let l be (-6)/(-7)*((-84)/(-8) + -7). Suppose -4*p + 55 = v - 355, 4*p - l*v - 402 = 0. Is p a multiple of 6?
True
Suppose 0 = h - d + 6, -h - 3*d + 14 = 0. Let b be (-944)/32 - h/(-2). Does 6 divide (70/b)/(1/(-21))?
False
Suppose 45*m - 4941915 = -52*m - 68*m. Does 11 divide m?
False
Let s = -286 - -289. Suppose -5*f - 393 = -3*t - 0*f, 0 = -3*t - s*f + 393. Is t a multiple of 7?
False
Suppose 6*u - 2885 = -1157 + 1254. Is u a multiple of 7?
True
Let f be (-70)/(-6)*69 - (-16)/4. Let p = 1644 - f. Does 20 divide p?
False
Let m(z) = -z**3 - 9*z**2 - 9*z + 10. Let j be m(-7). Let d be -4 + 2/(8/260). Let o = j + d. Is 5 a factor of o?
False
Let u = -1147 - -1163. Let q be 0 - (105/(-1) - -3). Suppose 2*x = u + q. Is x a multiple of 9?
False
Suppose -15 = -b - 13. Let c be (-1)/(b/8 + 27/(-60)). Suppose -2*k = -3*f + 2*k + 559, -f + c*k + 179 = 0. Is 21 a factor of f?
True
Suppose -22*p + 21*p + 72 = 0. Suppose 185*k + p = 186*k. Is 12 a factor of k?
True
Suppose 2305 = 16*h + 6*h - 33863. Is 3 a factor of h?
True
Let w(m) = -m + 0 + 10 + m**2 + 2 - 3. Let p be w(6). Suppose 2*g - 5*g + 4*t + 60 = 0, -g - 5*t + p = 0. Does 24 divide g?
True
Is 20 a factor of -12*(183/27 - 13)*15/4?
True
Suppose 7*r + 12 - 26 = 0. Suppose r*c - 12 = -4. Does 11 divide (-2 - (-3 - -4)) + 140/c?
False
Let y(p) = 695*p + 131. Does 32 divide y(7)?
False
Let t(p) = -p - 10. Let s be t(-20). Suppose 0 = -s*y + 2871 + 3339. Suppose -3*z - 4*w + w = -y, -4*z = -4*w - 836. Does 26 divide z?
True
Suppose -15902 = -s - 3*d, -3*s + 47634 = -379*d + 376*d. Is 22 a factor of s?
True
Let h(u) = u**2 + 22*u - 29. Let y be h(-24). Suppose i - y = -9. Suppose 21*k = i*k + 33. Is k a multiple of 2?
False
Suppose 15*w = 27141 - 2301. Let j = w - 940. Is 97 a factor of j?
False
Let s = 633 + -311. Let v = 56 + s. Is 9 a factor of v?
True
Suppose 2*x = 4*g - 1258 - 404, -3*x + 4*g - 2485 = 0. Let c = 569 - x. Is c a multiple of 29?
True
Suppose -4*a + 797 = 3*c, a + 614 = 4*a - c. Let f = a - 179. Is f even?
True
Suppose -807*s + 802*s - 5 = 0. Let f(t) = 251*t**2 - 34*t - 33. Is 9 a factor of f(s)?
True
Let j = -367 - -373. Let z(s) = 2*s**2 - 22*s + 119. Does 2 divide z(j)?
False
Let a be (5 - (2 - -1))*(-3195)/(-10). Let k = a + -411. Suppose x - 208 = -o - 3*o, -4*x = -4*o + k. Is o a multiple of 13?
False
Let o(w) be the first derivative of 5*w**3/3 + 41*w**2 - 31*w + 40. Is o(-17) a multiple of 7?
False
Suppose -g - 2*r - r = 7, 2*r + 14 = -2*g. Let j = -31 - g. Does 8 divide (-1 + -6)*j/7?
True
Let m(f) = -f**3 - 211 + 476 + 5*f + 200. Does 15 divide m(0)?
True
Let p be (9/(-4))/((-36)/18240). Suppose -4*u + 5*g + p = 3*g, 5*g = -2*u + 570. Is u a multiple of 19?
True
Suppose -5*j + 8*j = -5*i + 28864, -3*j + 3*i + 28896 = 0. Does 29 divide j?
True
Is (444/(-259))/((-2)/22015) a multiple of 74?
True
Let j = 5477 - 2822. Suppose 5*z - 2628 = -3*t, -2*t + 5*t = 4*z + j. Is t a multiple of 13?
False
Let o = 3811 - 2651. Is 5 a factor of o?
True
Suppose -34*j + 8184 = 10*j. Suppose m - 4*m = 2*n - 40, -m - 24 = -2*n. Let k = j - n. Does 14 divide k?
False
Let j(z) = z**2 - 47*z + 2320. Does 7 divide j(51)?
False
Let i(o) = -5*o + 30. Let k be i(4). Suppose -k*y = -19*y + 2547. Is y a multiple of 6?
False
Suppose 2*l - 27984 = 43*g - 39*g, -4*l + 4*g + 55968 = 0. Does 6 divide l?
True
Let i(k) = k**2 + 15*k + 55. Let o be i(-9). Let t(w) = 310*w**2 + 1. Does 50 divide t(o)?
False
Is 12 a factor of (6958 + (-6)/(-3))*(-7)/((-245)/14)?
True
Suppose 0 = 5*a - 884 + 19. Let q = a + 214. Does 9 divide q?
True
Let p(d) = 227*d**2 + d. Suppose 0 = 4*n + 11 - 7. Let v be p(n). Suppose 0 = 3*t + t + 3*w - 426, 2*t = 5*w + v. Is t a multiple of 18?
True
Suppose 66*k = 71*k + 90. Let g(n) = -n**3 - 15*n**2 + 33*n. Does 9 divide g(k)?
True
Is (9829/2)/(5 + 464/(-96)) a multiple of 62?
False
Let s(k) = 13*k**2 - 13*k + 39. Suppose -24 = -2*w + 4*q, 3*q - 21 = -5*w - 0*w. Is s(w) a multiple of 11?
True
Suppose 0 = -44*p + 52*p - 40. Suppose -180 + 1495 = p*s. Does 30 divide s?
False
Suppose -29*r + 20800 = -24498. Is 89 a factor of r?
False
Let f = 807 - 818. Let i(t) be the first derivative of -t**4/4 - 11*t**3/3 - 3*t**2 - 30*t - 5. Is 36 a factor of i(f)?
True
Suppose q - 3852 = -4*g, -108*g = -113*g - 15. Suppose q = 73*v - 61*v. Does 17 divide v?
False
Let a = -1296 - -2444. Suppose 220 = 8*d - a. Is 19 a factor of d?
True
Let c(a) = -31*a - 93. Let t be c(-3). Suppose 9*h - 902 + 254 = t. Is 3 a factor of h?
True
Let i be 244/(-5*8/(-140)). Suppose -4*q = -2*b - 692, b = -5*q - 2*b + i. Is q a multiple of 37?
False
Let b be (6 + -2)*((-103)/4 + -1). Suppose -k - 303 = 4*m + 4*k, 5*m + k = -384. Let z = m - b. Is 8 a factor of z?
False
Let t = 546 - 503. Suppose 61*g - 4284 = t*g. Is 17 a factor of g?
True
Does 16 divide (-1654420)/(-110) + (-13)/(429/6)?
True
Let v(h) = -2*h + 1 + 2*h + 2*h**2. Let a(q) = 11*q - 72. Let f be a(7). Does 7 divide v(f)?
False
Let p(y) = 150*y**3 - 133*y**2 + 806*y + 29. Is 7 a factor of p(6)?
False
Let w = 39337 - 20962. Is 25 a factor of w?
True
Suppose 14 = 5*y + d, 2*y - 2*d - 2 = -3*y. Suppose 185 = f - y*l - 165, 0 = 5*f - l - 1723. Does 17 divide f?
False
Is 35 a factor of (2/(-4))/(462/385 - (-711658)/(-593040))?
False
Let l(p) = 29*p + 148. Let h(o) = -o. Let q be h(5). Does 2 divide l(q)?
False
Suppose 0 = -l + 12*l - 22. Let q be (49 + 3 + -3)/(l/2). Suppose -q = -4*p + 411. Is 7 a factor of p?
False
Let g be 3*18*3/9. Suppose 0 = -g*j + 72 - 18. Suppose -j*l + 5*c = 2*l - 515, l + 5*c - 103 = 0. Is l a multiple of 8?
False
Let t(q) be the second derivative of q**5/20 + q**4/12 + q**3/3 + 49*q**2 - 8*q + 19. Let y = 0 - 0. Is 9 a factor of t(y)?
False
Suppose 0*u - 10 = -5*u. Suppose -u*d = 5*k - 20, -2*k - 20 = -4*d - 4. Suppose a - 24 = -k*a + 4*v, 0 = 5*a - 4*v - 48. Is 4 a factor of a?
True
Let c = 2 - -5286. Is 9 a factor of c?
False
Let z(c) = -13*c**3 + 2*c**2 + 52