+ m)?
True
Suppose 0 = -6*t + 4 - 910. Does 49 divide (53 + t)*5*4/(-2)?
True
Let j(c) = -c**3 - 13*c**2 - 47*c - 417. Let q be j(-12). Suppose -3*m = -42 - 72. Suppose 0 = -q*i + m + 91. Is 8 a factor of i?
False
Let q(s) = -s**3 - s**2 + 1. Let c be q(-2). Suppose -n = 4*h - 5*h + 85, 0 = -c*n - 4*h - 434. Let r = n + 198. Does 28 divide r?
True
Suppose -1177*l + 1288*l - 1361082 = 0. Is l a multiple of 4?
False
Let p be 2/(-9) - (5040/81)/8. Let m(a) = 11*a**2 + 26*a - 9. Is 27 a factor of m(p)?
False
Let j = 5 - 9. Let m(x) = 2*x**3 + x. Let t be m(j). Is 44 a factor of ((-20)/(-15) + -4)*t/2?
True
Suppose -4*v + 4*x = -22528, -2*v + 4*x + 397 = -10869. Is 66 a factor of v?
False
Let v(o) = o**3 + 16*o**2 - 14*o + 13. Let x be v(-13). Is 6 a factor of (x/195)/((-3)/(-345))?
True
Let p(c) = -13*c**2 + 5*c + 4. Let o be p(6). Let s = o - -894. Is s a multiple of 18?
False
Suppose -4*r - 36 = -4*y, 0 = y + y + r - 6. Suppose 4*a = y*b + 20 + 14, 2*b = -2*a + 8. Is a/(-18) + -2 + (-112)/(-3) a multiple of 31?
False
Suppose 0 = 4*x - 2*x - 4*j + 12, 5*j - 21 = x. Let f be (-86)/(-30) - x/(-30). Suppose -5*t = -5*g + 45, -f*g - 5*t = -0*g + 13. Does 3 divide g?
False
Suppose 5*t + 1179 + 976 = 0. Let k = -242 - t. Is 7 a factor of k?
True
Suppose 3*i = g - 6, g + i - 89 = -3*g. Suppose 16*a = g*a - 310. Does 62 divide a?
True
Let h be 2/4 + (-92)/8. Let o(f) = -6*f**3 + 2*f**2 + 3*f - 3. Let g be o(2). Let d = h - g. Is 3 a factor of d?
False
Let a(r) = 15*r - 5. Let v be a(2). Suppose v = p + 3*i, -4*p + 7 = -3*i - 18. Suppose -t + 63 = -p. Is t a multiple of 10?
False
Let m(r) = 2*r**3 - 15*r**2 + 12*r - 11. Let b be m(7). Suppose 40*d - 34*d = b. Suppose h - 81 + d = 0. Is h a multiple of 29?
False
Let i = 109 - 105. Suppose -168 = i*m - m - 3*a, 0 = -3*m - 3*a - 150. Let c = m + 65. Is 11 a factor of c?
False
Let c = 16043 - 8088. Is 13 a factor of c?
False
Let v(h) = 62*h**3 + 19*h**2 + 8*h - 155. Does 254 divide v(7)?
True
Let x = 8 + -2. Suppose -x = 2*m, 5*m + 428 + 327 = 2*q. Is 7 a factor of q?
False
Suppose 0 = 3*t + 1 + 35. Let c(y) = -3906*y + 10 + y**3 + 7811*y + 12*y**2 - 3915*y. Is 13 a factor of c(t)?
True
Let v = 9273 - 5241. Is 36 a factor of v?
True
Let u(f) = f**2 + 2*f + 18. Let v be u(-6). Suppose o + o = -v. Let g(t) = t**2 + 18*t + 22. Is g(o) a multiple of 17?
True
Suppose 0 = -4*u + 8 + 8. Suppose 8*d = -2*d - d. Suppose d = u*g - 27 + 19. Is g a multiple of 2?
True
Let z(h) = -19*h**2 + 45*h - 92. Let r(n) = 4*n**2 - 9*n + 18. Let g(i) = 11*r(i) + 2*z(i). Is g(-9) a multiple of 13?
False
Suppose -2*o = -5*o + 6. Suppose p - 3 = 0, 5*x - 3*p = x + 955. Suppose -2 = -o*h, -z - 3*h = z - x. Is 10 a factor of z?
False
Suppose -2*z + n = -93, 4*z - n + 171 = 8*z. Suppose 0 = -s + 2, z*b = 49*b + s - 3097. Is 14 a factor of b?
False
Let j be (2 + -3)/((4 - 7)/687). Let m = j + -107. Is 49 a factor of m?
False
Let l(h) = -h**2 - 15*h + 2. Let k be l(-15). Suppose 0*c - 4*c - 2*g + 20 = 0, -k*g = 2*c - 8. Is (-3*2 - 1)*(-108)/c a multiple of 21?
True
Suppose -4 = -2*g + 4*k, 4*k - 8 = -g - 0*k. Suppose -5*i + 3*i + 502 = u, -8 = g*u. Is 9 a factor of i?
True
Let f be (17/(-51))/((2/(-18))/1). Suppose -3*l + 753 = w, w = -4*w - f*l + 3789. Is w a multiple of 11?
True
Let v = 9491 - 3342. Is 143 a factor of v?
True
Suppose -228912 + 62720 = -17*j. Is j a multiple of 141?
False
Suppose 0 = a - 5*x - 179, 0*a + x = 2*a - 313. Suppose 2*d - a = -2*d + 2*p, -p = -d + 37. Let m = d + -31. Does 2 divide m?
False
Let z(o) = o + 19. Let w be z(-16). Suppose -2*s + 0*s + w*h + 385 = 0, 5*s - 3*h = 940. Suppose -6*j + 11*j = 5*k - s, -j = 5. Is 6 a factor of k?
False
Suppose 0 = -0*d + 5*d - f - 202, 2*d + 5*f - 70 = 0. Suppose 4*u + 160 = -0*c - 4*c, c + 5*u = -d. Let h = c + 192. Is h a multiple of 32?
False
Suppose 3079 = -11*m - 1420. Let j = 754 + m. Does 23 divide j?
True
Suppose 4*l = 2*v - 2138 + 242, 5*l = 3*v - 2369. Let s = l - -856. Does 24 divide s?
False
Suppose -14*l + 10*l = -20. Is 8 a factor of (20/30)/(l/1620)?
True
Suppose -4*s - s + 30 = 0. Let u(h) = -h**3 + 7*h**2 + h + 14. Let z be u(s). Let o = z + -38. Is o a multiple of 7?
False
Is 28 a factor of 0 + 13131 - (-22 + 12) - -1?
False
Suppose -4*a + 115 = -9*a. Let d = -16 - a. Is d/3 - 3 - 4692/(-18) a multiple of 26?
True
Let k = -377 + 1529. Is 9 a factor of k?
True
Suppose -2126 - 6436 = -5*y - 4*v, -2*v + 6846 = 4*y. Suppose n - 3 = -0. Suppose n*d - y = -6*d. Does 38 divide d?
True
Is (-1)/(5/310)*3177/(-36)*10 a multiple of 31?
True
Let h be 429*((-70)/(-168) - 3/(-12)). Let u = 923 - h. Is 91 a factor of u?
True
Let i(l) = l**2 - 18*l + 16. Suppose u - 5*u - 126 = -2*s, -4*s + 252 = 4*u. Suppose -7*w = -3*w + 3*q - s, -4*w - 4*q = -60. Is i(w) a multiple of 2?
True
Suppose 0 = 12*o - 2604 - 9264. Suppose 30*w - o = 1591. Is 8 a factor of w?
False
Suppose 0 = -5*q + 3*s + 43572, -8*q + 58*s + 69726 = 55*s. Is 24 a factor of q?
False
Suppose 0 = 5*y - 10*y - 5. Let n be y/(-1) + (-55)/1. Is 7 a factor of -1 - (4 - n/(-1))?
True
Let x = 10 + -5. Let h = -779 + 809. Suppose -130 = -x*y + 4*l, 2*y - h = -4*l - 6. Is 9 a factor of y?
False
Let x(k) be the third derivative of -23*k**4/24 - k**3/3 - 166*k**2. Suppose -3*u + 5*h + 0*h = 43, u - 14 = -4*h. Is x(u) a multiple of 34?
True
Suppose -3*l - 2*l - 585 = 0. Let r = l + 115. Is 29 a factor of (-4 + 6)*(45 - r - 0)?
False
Let f(u) = -236*u - 852. Is f(-56) a multiple of 125?
False
Let t(p) be the third derivative of p**4/24 - 7*p**3/3 - 3*p**2. Let s be t(19). Suppose 4*x + 28 = s*x - 4*w, -x = 5*w + 17. Is x a multiple of 3?
False
Suppose -5*n + 827 = 4*m - 573, 4*m = n + 1376. Suppose -30*l - m = -35*l. Let d = l + -44. Is 8 a factor of d?
False
Suppose 8*c = 3*c + 110. Suppose -y = 3, y - c = m + 6*y. Is 8 a factor of -4 - m - -1 - -15?
False
Let y = 562 + -549. Does 20 divide (y/1 - 8) + 235?
True
Suppose 6 = -5*y + 7*y. Let h be (y*12)/(-6*(-6)/264). Suppose -5*d = -d - h. Does 11 divide d?
True
Let s(f) = -179*f - 3748. Does 3 divide s(-22)?
False
Let f(c) = -c**2 + 1. Let l(t) = -3*t**2 + 8*t + 6. Let x(w) = 4*f(w) - l(w). Let d be x(-8). Is 15 a factor of (-1)/d - (-278)/4?
False
Let i(n) = 5*n**2 + 8*n - 19. Let d(p) = 2*p**2 + p + 1. Let l(q) = 3*d(q) - i(q). Does 2 divide l(3)?
True
Suppose -2*n = 3*n - 9*n + 8080. Does 5 divide n?
True
Let z be -2 - 1/(3 - (-13)/(-4)). Let p(l) = -12*l + 20. Let k be p(z). Let v(c) = -28*c - 27. Is v(k) a multiple of 5?
True
Let m = 158 - 88. Suppose -a - 153 = -4*v, -2*a - 8 = -2*v + m. Is v a multiple of 19?
True
Let k = 42 - 30. Does 21 divide k - 15 - (88 - -1)/(-1)?
False
Let y = -4583 + 5593. Does 78 divide y?
False
Let g(w) = 93*w**2 - 2*w + 90. Does 41 divide g(7)?
True
Is 173 a factor of -7 - -1 - ((-10)/4 + (-649)/2)?
False
Suppose 5*u = 1785 + 1620. Suppose -4*f + 83 = -u. Is 16 a factor of f?
False
Let o = -9 + 11. Suppose -m = 4*w + 28 - 168, 0 = o*w - 4. Is m a multiple of 11?
True
Let y(q) = -q**3 - 2*q**2 - 4*q + 1. Let n be y(-2). Suppose 175 = -n*j + 850. Is j a multiple of 25?
True
Let j = 705 + -365. Is j + 9 + 7 + (-1 - -6) a multiple of 40?
False
Is 25 a factor of 108/9 + (-13 - -6) - (-2 + -568)?
True
Let t(m) = -m**2 + 13*m + 19. Let y be t(-11). Let x = y - -347. Suppose -4*j + x = -142. Does 11 divide j?
False
Suppose 4*c = 4*k + 45540, 18*c - 16*c + k - 22770 = 0. Does 55 divide c?
True
Let x(l) be the third derivative of -3*l**4/2 + 83*l**3/6 + 3*l**2. Is x(-4) a multiple of 23?
False
Let w(l) = l**2 - 17*l - 321. Does 4 divide w(51)?
False
Suppose 4*n = -n + 20, -3*i = 3*n + 12. Let p be (-4 - 28/i)*0. Is 2 a factor of 1 + (p - (-6)/(-3)) - -24?
False
Let d(p) = -3*p + 1. Suppose -5*n - 2*q - 54 = -5*q, -n + 4*q = 21. Is d(n) a multiple of 14?
True
Suppose 137 + 145 = 3*k. Suppose -n - k = -99. Suppose -3*p = n - 74. Does 23 divide p?
True
Let x = 462 - 459. Suppose 0 = d + x*k - 593, 2*d + 3013 = 7*d + 3*k. Does 35 divide d?
False
Is 26 a factor of -9 + 11 + 1221 + -1?
True
Suppose 3*m + 2206 = -48*h + 50*h, -4436 = -4*h + 2*m. Does 26 divide h?
False
Suppose 2*h - 84189 = a, h - 1012*a = -1008*a + 42070. Does 13 divide h?
False
Suppose -2*y = -3*w + 12335, 16*w = 21*w - 3*y - 20556. Does 37 divide w?
True
Let w = 172 + -180. Is 4