*h + 223 = 655. Is 3 a factor of h?
True
Let q(h) = 18*h + 174. Let l be q(14). Suppose -3*o - t = -417, 19*o + 2*t + l = 22*o. Is o a multiple of 20?
True
Let c be -1*(2 - -2) - (-5 - 41). Suppose 4*g = 4*u - 44, 2*g + c + 6 = 4*u. Is 13 a factor of u?
True
Let c(a) = -50*a - 201. Let b be c(-6). Suppose -4*f = -2*i - 746, 0*f + 2*f - 3*i = 363. Let t = f - b. Does 15 divide t?
True
Suppose 5*g + 24 = -3*s + 7, 3*g + 15 = 3*s. Suppose -q = 3 + s, -x - 4*q = 14. Does 35 divide 214/(4 - x) + 4?
False
Let y = -29552 + 43720. Is y a multiple of 28?
True
Suppose -30*g - 84*g - 3*g = -383760. Does 41 divide g?
True
Suppose 59826 = 16*u + 23*u. Suppose -o = -4*f + 2041, 11*o = 3*f + 7*o - u. Is 15 a factor of f?
True
Suppose 0 = -2*k + 4*s + 14043 + 1381, 5*s = -5. Is k a multiple of 30?
True
Let m = 1163 - 719. Let a be 14*(-2 + 135/6). Let j = m - a. Is 23 a factor of j?
False
Let v(j) = 70 + 2*j + 45 - 40 + j**2. Let h(o) = -2*o**2 + 9*o + 180. Let n be h(12). Is 8 a factor of v(n)?
False
Let l be (120/10)/(-4) + 4/2. Is (l + -37 + 2)*(-114)/9 a multiple of 71?
False
Let j be 1/4 - (-1155)/(-28). Suppose -23*o + 7*o = -1232. Let p = j + o. Is 6 a factor of p?
True
Suppose -d + 22 = 9. Let y = d + 23. Suppose y = 8*v + v. Is 2 a factor of v?
True
Suppose 7*y = 3*y - 104. Is 7 a factor of (-23895)/(-351) - (-2)/y?
False
Is 33 a factor of 3123 - (-4 + 7) - (-1 - 1)?
False
Let b(y) = 3*y**2 - 93*y - 58. Let d be b(32). Suppose 6*g = d*g - 9856. Is g a multiple of 11?
True
Suppose 0 = 5*m + 3 + 2, m = -u + 12635. Is u a multiple of 10?
False
Suppose 26*a - 33*a - 987 = 0. Let d(m) = -218*m**2 - m + 1. Let y be d(1). Let q = a - y. Is q a multiple of 11?
True
Suppose 4*b + 3601 = 4629. Is 3 a factor of b?
False
Let j = 1398 + 438. Is j a multiple of 9?
True
Suppose -5*g - 2*q = -15084, 16*g + 2*q = 19*g - 9044. Does 52 divide g?
True
Let t be 624/(-10) - ((-6)/(-15))/(-1). Let k = t + 137. Let l = -12 + k. Is 7 a factor of l?
True
Let z be (-44)/(-154)*(7 + 0). Let h be -4 - -3 - (15 - z). Is 11 a factor of 4/h + (-7)/((-196)/5552)?
True
Let d be (44376/(-6))/(-4) - -5. Suppose 0 = -5*q + d - 384. Does 30 divide q?
False
Let j(t) = 71*t - 85*t + 12 + 16*t**2 - t**2. Is 36 a factor of j(10)?
False
Let s(c) = -29*c + 254. Does 3 divide s(-17)?
True
Suppose -5*u + 28 = -72. Suppose 4*p = -p + u. Suppose -p*a - 363 = -4*l + 289, 0 = -l - 3*a + 155. Does 21 divide l?
False
Let u = 50031 + -33615. Is 38 a factor of u?
True
Suppose -26*d + 30*d = 1788. Let u be (d/(-2))/(18/144). Is 28 a factor of u/(-16) + 1/4?
True
Let u be ((-12)/(-4))/3*7. Suppose -u*z + 2 - 156 = 0. Is (z/4)/((-9)/18) a multiple of 3?
False
Suppose 8*g + 31*g - 2*g = 153254. Is g a multiple of 10?
False
Suppose 3*f = -s + 21453, -2*f - 41*s = -40*s - 14300. Is f a multiple of 85?
False
Suppose 4*a + a = 26405. Suppose -11*k - 1497 = -a. Suppose -32*g + k = -28*g. Does 20 divide g?
False
Let o = 1110 + 294. Is 26 a factor of o?
True
Does 9 divide 4/(96/10264*(-2)/(-54))?
True
Let r(s) = 1715*s + 609. Is 9 a factor of r(6)?
True
Let x be ((-21)/(-28))/(3/88). Suppose 476 = x*f - 184. Does 5 divide f?
True
Let p = 406 + -420. Is 4 a factor of p/(-4)*(39 + 35)?
False
Let p(n) = n - 12. Let k be p(-12). Let r(b) = b**3 + 22*b**2 - 56*b - 13. Is 7 a factor of r(k)?
False
Let i(c) = 8*c - 86. Let f be i(19). Does 13 divide 162 + ((-1)/(-3))/(11/f)?
False
Suppose 42*c = 904917 + 637113. Is c a multiple of 113?
False
Let g(i) = -715*i + 2556. Is 20 a factor of g(2)?
False
Let n = -401 - -405. Suppose 8*p + 3076 = 5*s + n*p, 0 = -p + 1. Is s a multiple of 69?
False
Let d = -123 - -2. Let k = -208 - d. Let o = k + 217. Is o a multiple of 13?
True
Let j = 20513 - 12623. Is j a multiple of 30?
True
Let j = -3461 - -1527. Let y = 3022 + j. Does 17 divide y?
True
Suppose 0 = -15*z + 23*z - 1944. Is 81 a factor of z?
True
Let r(q) = -3*q + 6. Let l be r(2). Suppose -5*c = -4*t - 1913 - 468, -5*t + 5 = l. Does 10 divide c?
False
Suppose 15 + 3 = 3*p. Let z(k) = k**3 - 5*k**2 - 6*k - 13. Let b be z(p). Does 5 divide b/((-7)/2 - -3)?
False
Suppose -4*l = 10 - 54. Suppose -l*f = 3*f + 350. Let w = 37 - f. Does 10 divide w?
False
Let h be (1 + -15 - 3)/((-2)/2). Suppose -20*w + 1299 = -h*w. Is w a multiple of 26?
False
Suppose 0 = -q + 4*q - 4*j - 694, 4*j + 242 = q. Suppose -2*y - h + 319 = 0, -y = -3*h + 63 - q. Is 72 a factor of y?
False
Suppose -2*k = i - 23414, 605*k + 70330 = 3*i + 600*k. Is 330 a factor of i?
True
Let x = 1589 - 1104. Let s = x + -309. Is 8 a factor of s?
True
Let v(o) = 83*o + 61. Let y be v(-14). Is (7 + y/3)*(-4)/6 a multiple of 40?
True
Let t be ((-12)/(-1))/((-9)/((-72)/16)). Is 7 a factor of t/(72/1652) + 6/(-9)?
False
Suppose -93*a + 938158 + 1118155 = 45188. Does 125 divide a?
True
Let z(m) = -2*m**3 + 19*m**2 + 6*m + 4. Suppose 6*p + 3*p = 81. Let y be z(p). Suppose -644 = -141*u + y*u. Is u a multiple of 34?
False
Let v = 502 + -504. Let i be 68/6 + (-4)/(-6). Does 31 divide 3/((i/(-62))/v)?
True
Suppose 3518903 = 208*u - 76585. Is u a multiple of 102?
False
Suppose -3*t + 3*s = -180, -t - t - 2*s = -112. Let k = t - -35. Suppose 0 = -5*x + 117 + k. Is 14 a factor of x?
True
Let m(g) = -2*g + 1. Let s be m(5). Let b(q) be the third derivative of -q**4/2 - 13*q**3/6 - 11*q**2. Is 19 a factor of b(s)?
True
Suppose 4*p - 4*k = 135120, 2*p - 25*k = -22*k + 67567. Is 21 a factor of p?
False
Let x(g) = -32*g + 1. Let u be x(3). Let c be (-1064)/u - 4/(-5). Is 42/c*108/21 a multiple of 6?
True
Is 11 a factor of (-16)/16*-1 - (-8138 + 1 + 1)?
False
Suppose 12*f + 11 = f. Let h = f - -571. Is h a multiple of 15?
True
Suppose 41*c - 4685 - 626 - 1126 = 0. Is 72 a factor of c?
False
Let n = 214 + 135. Let g = n + -214. Does 9 divide g?
True
Let c(o) = -340*o + 8187. Is 2 a factor of c(0)?
False
Suppose 0 = 3*p + 5*z - 748, p - 2*z = -3*p + 1006. Does 39 divide (-6 - 30/(-6))*p/(-1)?
False
Let b(z) = -z**2 - 9*z + 28. Suppose 3*s + 18 = 3*h, 12 = h - 0*s + s. Let t be b(h). Does 20 divide (t/(-3))/((-2)/(-3))?
False
Let t = -1103 - -25690. Does 11 divide t?
False
Let f be (-9)/450*-295 + (-1)/(-10). Suppose -609 = -f*q + 1641. Is 25 a factor of q?
True
Let a(i) = 7*i - 102. Let u be a(16). Suppose -183 = -3*q + 5*t, t + 3*t = -3*q + 156. Let z = u + q. Does 33 divide z?
True
Suppose -5*t - 4*r + 47756 + 124144 = 0, 0 = -2*t + 3*r + 68760. Does 20 divide t?
True
Suppose 18 = p + 2*k + 5, 2*k = -3*p + 23. Suppose -p*t = 4*t - 63. Let o(x) = x**2 - x + 4. Is 28 a factor of o(t)?
False
Let k = -56 + -3. Let f = 42 + k. Does 14 divide (f - -24)/((-1)/(-2))?
True
Let w(a) = 2*a**3 + 19*a**2 + 11*a + 16. Let i be w(-9). Let r(d) be the first derivative of 10*d**3/3 + d - 3. Does 10 divide r(i)?
False
Suppose -17598 = 1363*a - 1369*a. Suppose 0 = -2926*h + a*h - 3836. Does 28 divide h?
False
Let u(t) = 16*t - 1. Let s be u(0). Is 2 a factor of (-97)/((-6)/(5 - s))?
False
Let u(q) = 71 - 103*q + 46*q + 52*q. Let c(k) = -5*k + 72. Let i(s) = -2*c(s) + 3*u(s). Is i(-8) a multiple of 11?
False
Suppose 5*k + 309 = -r - 0*k, 5*r + 1524 = -4*k. Let v = r - -541. Is 19 a factor of v?
False
Suppose -10 + 60 = 5*p. Let x = p - -3. Suppose 2*j - 23 = x. Is 6 a factor of j?
True
Suppose 17 = -2*p + 77. Let t = 12 - 18. Is t/5*p/(-4) a multiple of 3?
True
Let p = 2560 - 4668. Let n be p/(-22) + (-4)/(-22). Suppose 3*u - 4*r + r = 270, -n = -u + 3*r. Is 25 a factor of u?
False
Let y = 1028 + -726. Suppose 0 = -4*d + z + y, -2*d - 72 + 216 = 3*z. Let a = d - 60. Is a a multiple of 3?
True
Let v = -16 + 26. Suppose -14 = -t - v. Suppose -2*u = -8, t*u = -a + 3*u + 259. Does 10 divide a?
False
Let s = 176 + 793. Does 15 divide s?
False
Suppose 123*v - 213096 = 20*v + 393883. Is v a multiple of 83?
True
Suppose 0 = -6*l + 13 - 1. Suppose -k = -l*i + 74 + 472, -4*k = 4*i - 1080. Does 13 divide i?
False
Suppose -o + 4*q + 630 = 0, 2*o = -4*q + 834 + 450. Suppose 3*k - 3*s + 5*s - 996 = 0, 4*k = -4*s + 1332. Let g = o - k. Is 22 a factor of g?
True
Is 15 a factor of 148167/9 + (-3 - -11)?
False
Suppose -5 = 5*z - i - 58, -2*z = 3*i - 28. Let s = -9 + z. Suppose m - s*m = -8. Is 4 a factor of m?
True
Let t(w) = -w**3 - 40*w**2 + 75*w - 138. Does 25 divide t(-43)?
False
Let g = -71 - -72. Does 5 divide (134/4 + 