 = -162*s + 169. Let v be y(2). Let u = k - v. Is 8 a factor of u?
True
Suppose 13*t = 15*t + q - 8618, -t - 4*q = -4295. Is t a multiple of 9?
True
Let x = 734 + -340. Suppose x + 506 = g. Suppose 15*y - g = 5*y. Is y a multiple of 30?
True
Suppose 0 = 2*l - 4 - 2. Suppose l*j = 2*j + 13. Is j a multiple of 13?
True
Let a = 31420 + -21952. Is 18 a factor of a?
True
Let x be (-3 + 5)*14/(-4). Let v(r) = -r**3 - 6*r**2 - 21*r - 2. Let n be v(x). Is 14 a factor of -3 - (-1 - n) - -3?
False
Let d(g) = -407*g + 19. Does 141 divide d(-10)?
True
Let v be 3 - (5/25 + 6/(-5)). Suppose -3*h - h + 348 = v*b, -4*h + 16 = 0. Does 5 divide b?
False
Suppose 0 = -y - 8*n + 13*n + 1176, n = -5*y + 5854. Is 8 a factor of y?
False
Let t = -226 - -222. Let v(n) = -83*n + 7. Is v(t) a multiple of 23?
False
Let c(i) = i**2 + 5*i - 29 + 5 + 3*i + 3*i. Let q be c(-13). Does 26 divide (57/(-2))/((-1)/q)?
False
Let c = 32216 - 18235. Does 41 divide c?
True
Suppose -16 = 35*q - 37*q. Suppose 50 + q = 4*n + 2*p, 5*p = 3*n - 24. Let h = n - -17. Is 6 a factor of h?
True
Suppose 4*l + 21 = 465. Let t = l - -1. Does 7 divide t?
True
Let z(f) = f + 38. Suppose -2*d - 29 = -0*q - q, 5*q - 19 = d. Let b be z(d). Suppose 0 = -7*p + b + 74. Does 13 divide p?
False
Let l = -205 - -218. Suppose l*s - 1033 = -4*k + 10*s, -s - 1021 = -4*k. Does 29 divide k?
False
Let w = 2801 - 2126. Does 5 divide w?
True
Suppose -35 = -16*l - 3. Suppose 5*m - 112 = 2*v, -5*v + 52 = l*m - 4*v. Is 11 a factor of m?
False
Let b be 211/2 - 3/(6 + 0). Suppose 111*x - b*x - 5820 = 0. Is x a multiple of 67?
False
Let u(q) = q + 13. Let y be u(-9). Suppose -4*s + 18 - 2 = y*n, -2*s - 3*n = -7. Suppose -s*z + 1 + 14 = 0. Is 3 a factor of z?
True
Let j = -608 - -606. Is j + 5/(5/80 - 0) a multiple of 6?
True
Let x be 18/4*(-26)/3. Let r = 18 + x. Is 25 a factor of (-4180)/(-35) - -6*(-2)/r?
False
Suppose 0 = 4*n - 9790 + 1010. Suppose 5*g - n = 5*u, 0*g - 5*u - 1752 = -4*g. Is g a multiple of 17?
False
Is ((2/1)/(-4))/((-109)/64528) a multiple of 105?
False
Let r = 411 - 191. Let g = 547 + r. Is 13 a factor of g?
True
Is 16 a factor of (-47 + -161)*(-64 + -1)?
True
Let b(l) = -2*l**3 - 55*l**2 + 26*l - 47. Let s be b(-28). Is 5 a factor of (s - (68 - 10))*(-10 + 0)?
True
Let v(o) = -o**3 - 18*o**2 - 13*o - 9. Suppose k + 9 - 17 = 0. Suppose 4*b - 2 = -m, m + k = b - 3*b. Is 31 a factor of v(m)?
False
Is 6128 + (13 - 15 - -12) a multiple of 62?
True
Suppose 3382 = 5*g + 21*c - 17*c, 2*c - 680 = -g. Is g a multiple of 9?
False
Suppose 2*u - u + q = -1, -5 = -u + q. Suppose -u*j + 131 = 21. Is 6 a factor of j?
False
Is 1656514/340 + (2/20)/(-1) a multiple of 197?
False
Let t(v) = -48*v**3 - 4*v**2 + 54*v + 56. Is t(-1) a multiple of 23?
True
Suppose -t - 3*y + 409 = 0, -t - 61 = 4*y - 465. Is t a multiple of 9?
False
Suppose 2*d - 19976 = 4*m, 8*d = 10*d + 5*m - 19940. Does 141 divide d?
False
Is 9 a factor of 2673984/168 + 6/14?
False
Let i be (-4 - 0)/(3*1/(-60)). Suppose 0*m + 2*z - 55 = 3*m, 5*m - z + i = 0. Let c = m + 150. Does 15 divide c?
True
Let y(v) = v**3 + 6*v**2 - 21*v - 13. Let i be y(3). Suppose 0 = -i*b + 4*d + 2432, -5*b + 12*d = 7*d - 2430. Is 34 a factor of b?
False
Is (-5711)/(-3) - 120/180 a multiple of 10?
False
Suppose 2*k + u - 5129 = 0, 3*k = 7*k - 4*u - 10228. Suppose 0*a = -21*a + k. Is a a multiple of 12?
False
Let g(x) = x**3 + x**2 + 7*x + 3050. Is 50 a factor of g(0)?
True
Let y(k) = 97*k + 268. Is 12 a factor of y(8)?
True
Let x be ((-16)/3)/((-5)/1860). Let c be x/(-22) - 32/(-176). Let l = c - -190. Is l a multiple of 6?
False
Let n(h) = 149*h**2 + 18*h - 2. Is n(-2) a multiple of 23?
False
Suppose -2*f - 10 = -2*a, -5*f + 3*a = 4 + 11. Suppose 2*w + 310 = 2*y + 3*w, f = -w. Let v = -91 + y. Is 32 a factor of v?
True
Let y(p) = 5 - 5*p - 55*p**2 + 130*p**2 + 90*p**2. Let f be y(1). Suppose -2*v - 57 = -f. Is 10 a factor of v?
False
Let p(u) = -44*u + 473. Is p(-59) a multiple of 99?
True
Let z(a) = 4*a + 7*a - 5*a - 4*a - 1. Let r be z(3). Does 29 divide 415/r - (-8)/2?
True
Let g = 797 + -825. Is g/49 + (-369)/(-21) a multiple of 17?
True
Suppose m - 1590 = -3799*f + 3796*f, 3*m = 4*f + 4744. Is 12 a factor of m?
True
Let h = -66 - -67. Let p(g) = 262*g**3 - g**2 - 2*g + 2. Does 70 divide p(h)?
False
Let p(y) = 13*y**2 + 5*y + 7. Let z(f) = -3*f + 43. Let d be z(13). Does 32 divide p(d)?
False
Let g be (-320)/(-176) + (-2 - (-48)/22). Suppose -g*o - 20 = -258. Suppose -5*k = -o - 251. Does 7 divide k?
False
Does 48 divide 24720/(-927)*(-21132)/10?
True
Suppose 3*r = 6*m - 5*m + 5648, 3*r + 3*m = 5640. Suppose 5*w = 2*s - r, s - w = 1299 - 352. Is 59 a factor of s?
False
Suppose 3*b - 167 = -2*b - 3*u, 3*b - 85 = 2*u. Let x = b + -27. Suppose x*s - 4*n - 148 = 0, -n - 4*n - 68 = -2*s. Does 13 divide s?
True
Suppose 2*l = 2*g - 0*g + 460, -l = 2*g - 218. Suppose p + 16 = 5*p. Suppose p*w = 2*w + l. Is 41 a factor of w?
False
Let n(b) = 173*b**2 - 197*b - 13. Does 30 divide n(8)?
False
Suppose 16*x + 208 = 24*x. Is 23 a factor of 13/((2 - 2) + 2/x)?
False
Let w(j) = -23*j - 10. Let a be w(-14). Let h = a - 213. Is h a multiple of 2?
False
Suppose 0 = 5*u - 15, 2*w + 4*u - 2571 = 791. Does 9 divide w?
False
Let d(g) = 1786*g**2 - 30*g - 26. Is 24 a factor of d(-1)?
False
Let q(l) = -15*l**3 - 4*l**2 + 14*l + 33. Does 114 divide q(-6)?
False
Suppose 201042 + 567157 = 133*s - 101621. Is 109 a factor of s?
True
Let c = 101 - 93. Suppose 0 = -c*l - 3*l + 66. Suppose l*x = 78 + 30. Does 6 divide x?
True
Let z = 12367 + -6913. Is 101 a factor of z?
True
Let c(r) = -2*r - 1. Let h(d) = 73*d - 24. Let t(s) = -5*c(s) - h(s). Is 15 a factor of t(-3)?
False
Let n(t) = 99*t**2 + 8*t + 61. Does 52 divide n(-5)?
True
Suppose -2*n - 29*z + 31*z + 15590 = 0, -31175 = -4*n + 3*z. Does 19 divide n?
True
Let q be 2/(-11) + 1564/374. Suppose -q*v + 1071 + 133 = 0. Is 52 a factor of v?
False
Let w(b) = b - 19. Let p be w(22). Suppose -p*a = 2*i + a - 14, a + 4 = i. Suppose -3*m = i*o - 278, 2*o + 120 = 4*o - m. Does 6 divide o?
False
Let y(d) = 3*d**3 + 98*d**2 - 56*d - 104. Is 8 a factor of y(-32)?
True
Let d = -35 + 73. Suppose -2*f = -f - 5*h + d, 0 = -h + 4. Does 4 divide (-140)/f + (-8)/(-36)?
True
Suppose 3*n - 13 = h, -3*h + 2*n + 0 = 4. Suppose 0 = -3*k + 2*r + 67, -5*k + h*r = -0*k - 109. Suppose k = 4*m + o - 103, 4 = -o. Does 2 divide m?
True
Suppose -v - 25712 = -3*n, 0 = 3*n - 5*n - 4*v + 17104. Is 63 a factor of n?
True
Suppose 9*j = 7*j + p + 14, 0 = 5*p + 10. Suppose 3*y - 3625 = -5*n, j*n = 2*n + y + 2917. Is 91 a factor of n?
True
Suppose -15 + 7 = 4*a. Let g = 7 + a. Suppose -g*c = 2*y - 109, -5*c + c - 35 = -y. Is 25 a factor of y?
False
Does 15 divide ((-9)/(-12))/((-7)/(-3024))?
False
Suppose -2*d + 6*a + 11516 = 10*a, -17252 = -3*d + 5*a. Suppose 1974 = -15*k + d. Is k a multiple of 63?
True
Suppose -9*j + 7362 = -2790. Does 2 divide j?
True
Suppose -4*s - 13100 = -5*a, 4*a - 188*s = -192*s + 10516. Is 3 a factor of a?
False
Suppose 774*b = 653*b + 927223. Does 79 divide b?
True
Let c(g) = 20*g + 244. Let t be c(-12). Let f(s) = -s**2 - 5*s - 3. Let p be f(-3). Suppose p*q = 0, q + 48 = t*z + 4*q. Is 4 a factor of z?
True
Let t(q) = -5*q**2 + 382*q - 58. Does 2 divide t(30)?
True
Suppose -62 = 4*m + f, 12 = -m - 3*f + f. Let j = -13 - m. Suppose -3*t + 81 = -3*q, -2*t - 3*q - j + 67 = 0. Is t a multiple of 3?
False
Let c(g) = 295*g**3 + 3*g**2 - 7*g + 9. Let m be c(2). Suppose -3*i - 4*a = -1981, 4*i = 4*a + m + 321. Does 29 divide i?
True
Let a(b) = -40*b**3 + 2*b + 39*b**3 + 20*b**2 + 32*b + 27. Does 15 divide a(21)?
True
Let o(d) = d**2 - 32*d + 90. Let l be o(29). Suppose -5*y + 24 = l*q, 3*q = 4*y - 2*y + 24. Is q a multiple of 6?
False
Suppose 5*p + 12 = 2*z + 4*p, -3*p = -5*z + 30. Suppose 8*y - 5*y + z = 0, 5*y - 448 = -2*a. Does 14 divide a?
False
Suppose -619 = 2*c - 5*c + v, 5*c - 1037 = 3*v. Suppose -3*z + 0*o - 5*o + 275 = 0, 2*z = o + c. Suppose -z + 10 = -5*r. Does 7 divide r?
False
Let l be 0/2*(0 - (4 - 3)). Suppose 3*y + 182 + 367 = l. Let z = 315 + y. Does 11 divide z?
True
Let f = 23 - 18. Let t be -15*(f - 4 - 2). Is 2 a factor of (-2)/3*(t + -21)?
True
Suppose -3*h - 177 - 8 = -b, -4*b + 5*h + 733 = 0. Does 2 divide b/(-49) + 4 - (-1046)/14?
False
Is