?
True
Let r(s) = 18*s + 19. Let u be r(3). Let i = u + -46. Suppose 7*l - 517 = -i. Does 14 divide l?
True
Let k = 50 - 47. Suppose 5*q + 5*w = 10 + 65, 0 = -k*q - 2*w + 46. Suppose -256 = -4*p - 2*b, -5*b - 58 + q = -p. Does 31 divide p?
True
Suppose -7*t - 1495 = -8404. Is t a multiple of 21?
True
Let p = 4479 + 7995. Is 126 a factor of p?
True
Let j = 4868 + -1008. Is 19 a factor of j?
False
Suppose -2*l - 1626 = -2*x + 2700, 4302 = 2*x + 4*l. Does 15 divide x?
False
Suppose -16*z + 156135 + 78969 = 0. Is z a multiple of 186?
True
Suppose 0 = -19*o + 7*o + 672. Suppose -4*g = 4*g + o. Does 9 divide (g + (-255)/(-10))*1*2?
False
Let w(h) = 253*h**3 - 6*h**2 - 2*h - 6. Does 15 divide w(3)?
True
Is 22 a factor of ((-264)/110)/((-8)/10)*(-7348)/(-6)?
True
Suppose -35232 = -2*g + 2*y + 14898, 2*g = 4*y + 50132. Is 13 a factor of g?
True
Let z(p) = -75*p - 2. Let u be z(-1). Suppose -i = -5*g - 58, u = -3*g + 4*i + 28. Let n = 9 - g. Is n a multiple of 20?
True
Is 11/(-121) + (-20)/264 - (-135062)/12 a multiple of 147?
False
Suppose 43*m - 49*m + 14418 = 0. Is 19 a factor of m?
False
Suppose -2*v + 3*v = -3*w + 2709, w - 3*v - 893 = 0. Let s = w - -35. Is s a multiple of 89?
False
Let y = -4244 - -5002. Is y a multiple of 8?
False
Is (-6)/12 - (13 + 49688/(-16)) a multiple of 6?
False
Suppose -8*m + 1428 = 2*h - 4*m, 0 = -4*h + m + 2829. Does 8 divide h?
False
Is 11 a factor of 74/740 + 17817/30?
True
Let j(t) = -2005*t + 15. Is 60 a factor of j(-4)?
False
Let t(x) = -12*x + 42. Let i be t(12). Let n = 302 + i. Suppose 20 = 5*z - n. Is 16 a factor of z?
False
Let y be (-20)/(-50) + (-134)/10. Let v = -62 - y. Let m = v - -72. Is m a multiple of 3?
False
Let o = 644 - 652. Is (-1)/o*0 + (207 - 0) a multiple of 9?
True
Is 121 a factor of (-6)/((-12)/22)*(-2)/(4/(-2034))?
False
Let g(p) = -544*p + 2911. Is g(-33) a multiple of 31?
True
Let w = -718 - -730. Suppose 0 = -m - y + 878, 15*m + 4*y - 2631 = w*m. Does 73 divide m?
False
Let r be 8036/2 + (-36 - -43). Suppose 13*m - r = 6*m. Does 20 divide m?
False
Suppose -7*x + 3 = -4*x + 2*f, -f = -2*x + 9. Suppose 0 = -3*b + 5*w + 76, -x*w = -23*b + 22*b + 20. Is b a multiple of 17?
False
Suppose -3*d - 7*i + 9*i = 871, 5*d = -4*i - 1459. Is ((-350)/8 - -1)/(d/776) a multiple of 38?
True
Let c(z) = 2*z**2 + 20*z + 0*z**2 - 38*z + 62 + 6*z**2. Is c(11) a multiple of 8?
True
Suppose -3*c = -5*d + 12, -4*d + 11*c - 6*c + 20 = 0. Suppose 8*f + 4*f + 5040 = d. Let m = -241 - f. Does 12 divide m?
False
Let c(v) = 767*v - 1745. Does 17 divide c(14)?
True
Let q(l) = -2*l**2 + 9*l**3 + 9*l + 9*l**2 - l**2 - 10*l**3 - 8. Is q(5) a multiple of 31?
True
Let l = 3290 + -3199. Let r(g) = 68*g**2 - 2*g + 1. Let d be r(1). Let s = l - d. Does 6 divide s?
True
Is ((-33)/176*12)/((-3)/2560) a multiple of 6?
True
Let t(r) = -10*r**3 - 17*r**2 - 16*r - 51. Is 23 a factor of t(-12)?
True
Let x(y) = 2*y**2 + 51*y + 77. Let m be x(-24). Suppose -z = -r + 238, 958 = -m*r + 9*r - z. Is r a multiple of 12?
True
Let c = 166 - 301. Let z = 82 - c. Is z a multiple of 5?
False
Suppose -5*q - 40 = -15*q. Is 38 a factor of (23 + 2 + -6)*q*3?
True
Let o be (-32512)/(-6) + 92/(-138). Suppose 0 = 2*g + 19*g - o. Is g a multiple of 12?
False
Let r = 135 + -133. Is 9 a factor of (15/r)/((-42)/(-756))?
True
Let a(c) be the second derivative of -c**3/3 + 33*c**2/2 + 29*c. Let b be a(16). Does 12 divide (11*b + 1)/(26 + -25)?
True
Suppose 5*r + 2 = 3*a + 31, -2*a = 4*r - 10. Suppose 0 = -10*l + 126 - 96. Suppose r*z = -2*j - j + 484, 0 = l*z - 3. Is j a multiple of 20?
True
Suppose 4*p + 2*c - 43250 = c, 0 = 3*p - 4*c - 32428. Is p a multiple of 63?
False
Suppose 12*i + i + 390 = 0. Is (i/(-90))/(1/6165) a multiple of 15?
True
Let k = -13701 + 18957. Is 72 a factor of k?
True
Let n = 57 - 54. Suppose -3*w - 99 = -3*t, -4*t = n*w - 51 - 60. Suppose 0 = t*h - 25*h - 125. Is 6 a factor of h?
False
Is 160 a factor of (-38695)/284*3024/(-30)?
False
Let y = 147 + 113. Suppose -2*q = -6*q + y. Does 22 divide q?
False
Let v be 41/4 + 4 + (-102)/24. Suppose 14*u - 176 = v*u. Does 6 divide u?
False
Suppose 31*f = 19*f + 15840. Is 44 a factor of ((-5)/50*4)/((-4)/f)?
True
Suppose 0 = -5*c - 3*q + 129 - 24, 0 = -2*c - 2*q + 38. Suppose -12*t = -0*t - c. Suppose -5*z + t*v = -768, 2*z - 56 = 5*v + 247. Does 14 divide z?
True
Let z be (-948)/(-158) - (-1 + 2)*6. Suppose z = 5*l - 3*v - 5205, -4*v - 1024 = -l - 0*l. Does 35 divide l?
False
Let n(k) = -2*k**2 - 73*k + 59. Suppose z + 7 = -5*m, -2*z - 3*m = z + 81. Is 58 a factor of n(z)?
False
Let u = -2816 + 7237. Does 10 divide u?
False
Let x(f) = 2*f**2 - 9. Let z be x(3). Suppose 936 = -z*u + 12*u. Let a = u + -216. Does 24 divide a?
True
Suppose 0 = 5*h - 12*h - 147. Let a(i) = 13*i + 437. Does 41 divide a(h)?
True
Is (-8660)/(-6) + (-48)/(-72) a multiple of 35?
False
Let u(s) = s**3 - 7*s**2 - 7*s - 11. Let l(r) = 2*r**3 - 14*r**2 - 14*r - 22. Let z(o) = 6*l(o) - 13*u(o). Does 2 divide z(5)?
True
Let v(r) = 265*r**2 + 7*r - 5. Let p be v(1). Let h = -139 + p. Is 20 a factor of h?
False
Let i(t) = t**3 + 10*t**2 - 10*t + 30. Let u be i(-11). Suppose 22 - u = h. Does 4 divide h + 585/(0 + 5)?
True
Let a(i) = -i**3 - 30*i**2 + 7*i + 53. Let w(j) = j - 38. Let d be w(7). Is a(d) a multiple of 27?
False
Let m(f) = 7*f**2 - 26*f - 672. Is m(35) a multiple of 111?
True
Does 3 divide 718/(-9)*927/(-206)?
False
Let b(c) = -20*c - 21. Let n(k) = 20*k + 20. Let g(s) = 4*b(s) + 3*n(s). Let j = -66 - -60. Does 8 divide g(j)?
True
Suppose 36748 = 4*b - 2*v, 1728 + 7438 = b - 4*v. Does 10 divide b?
True
Suppose -3*j + 20 - 2 = 0. Let o be (-3)/(-9)*(-12)/(j/(-3)). Suppose -5*d - o*a + 110 = 0, -d + 2*a + 11 = 1. Does 6 divide d?
False
Suppose 6 = -5*t + 1, 5*d - 2239 = -t. Suppose -2*w + 232 = -m, -3*w = w + 2*m - d. Let q = w - 45. Does 23 divide q?
True
Let p(i) = 174*i**2 - 16*i + 15. Let k be p(1). Let w = k - 11. Is 18 a factor of w?
True
Let l(t) = 2574*t**2 + 12*t - 13. Let a be l(2). Suppose -23748 = -49*u + a. Does 14 divide u?
False
Is (90460/60)/(9/27) a multiple of 50?
False
Let d(n) = 472*n + 1894. Does 6 divide d(11)?
True
Suppose -2*v + 606 = -3*r, -v + 6*v = r + 215. Let o = r - -304. Let s = -72 + o. Is 8 a factor of s?
True
Suppose 0 = -101*b + 295*b - 8602154. Does 40 divide b?
False
Suppose 5*v = -4*r + 2009, 12*v = 10*v + 2. Suppose -6*o = -75 - r. Does 16 divide o?
True
Let v = -7781 - -16077. Does 17 divide v?
True
Let v be ((-2)/3)/((-3)/36). Suppose -v*f + 9 + 423 = 0. Is f a multiple of 6?
True
Let t(i) be the third derivative of -13*i**4/24 - 11*i**3/3 + 10*i**2. Let s be t(2). Let g = s + 121. Is 6 a factor of g?
False
Let p(b) = -2*b**2 - 8*b + 7. Let u(d) = 5*d**2 + 15*d - 13. Let m(t) = 11*p(t) + 6*u(t). Suppose 3*x = -2*x - 10. Is m(x) a multiple of 4?
False
Let k(t) = 13 - 7 - 46 - 62*t - 36. Is k(-6) a multiple of 16?
False
Suppose -v - v - 4*a + 9766 = 0, -3*v - 4*a + 14639 = 0. Suppose r + 10*r + v = 0. Let z = -262 - r. Does 22 divide z?
False
Let z = 55 + -44. Suppose -z*m = -12*m + 4. Suppose 0 = 5*f - 2*b - 543, -4*f = m*b - 9*b - 448. Does 18 divide f?
False
Let l = -2277 + 4335. Does 28 divide l/26 - 32/208?
False
Suppose 59418 = 3*o + 24*n - 21*n, 79242 = 4*o - 5*n. Does 16 divide o?
True
Is (-2502131)/(-649) + 74/(-22) + 3 a multiple of 39?
False
Let b(j) = 19*j**2 + 6*j - 6. Let y be b(2). Suppose 6*o = y + 182. Is o a multiple of 22?
True
Suppose -4*p + 2*q + 243 = -1025, 5*p + 2*q - 1576 = 0. Suppose 16 = -4*l, -l = -s + 3*l + p. Suppose -7*r + s = -2*r. Does 12 divide r?
True
Suppose 5*h + 430 = -3*b, -3*h - 247 = 25*b - 21*b. Is (h*(-1)/5)/(1/85) a multiple of 72?
False
Let n be (-18)/(-2)*28/21. Suppose -5*o = 5*x - 365, 4*o - n + 0 = 0. Does 10 divide x?
True
Let o(s) = -s**3 + 22*s**2 + 4. Let f be o(22). Suppose 4*p - 1044 = -f*y, 5*y + p + 164 = 1489. Does 50 divide y?
False
Let k(t) = -304*t + 1418. Is k(4) a multiple of 7?
False
Suppose 85*k - 40576 = 34904. Is k a multiple of 105?
False
Let d(p) = -2*p**2 - 11*p + 10. Let v be d(-6). Suppose v*h - 297 = 1043. Is 67 a factor of h?
True
Let t(s) = 108*s**2 - 6*s + 16. Let k be t(2). Let z = k + -160. Does 17 divide z?
False
Let u(q) = 10*q**2 + 16*q - 1204. Let z(p) = -3*p**2 - 5*p + 401. Let v(a) = 2*u(a) 