?
True
Suppose 0 = 28*i - 29*i. Suppose 4*h + 5*n + i*n - 254 = 0, -4*n - 338 = -5*h. Is 17 a factor of h?
False
Let b = 92 + 1937. Does 13 divide b?
False
Suppose -f = 2 - 4. Suppose -3*l + 4 = -f. Suppose 148 = 5*j - l. Is 10 a factor of j?
True
Is (0 + -2)/((-78)/49101) a multiple of 19?
False
Let x = -31 - -49. Let v = x - -32. Suppose 0 = 5*k - 5*u - v, 5*k + 3*u - 6 = 2*k. Is 6 a factor of k?
True
Let y(m) = -m + 46. Does 14 divide y(-4)?
False
Suppose 2*y + 13 = 19. Suppose 2*n = n + y. Suppose n*r + 6 = 42. Does 9 divide r?
False
Suppose 2*i - 5 = m + 5, 0 = -2*m + 5*i - 25. Suppose 0 = 4*f + z - 26 + 4, m = 3*f - z - 13. Suppose -f*b + 125 = -45. Is 17 a factor of b?
True
Let q = 99 - 49. Let n = q + 45. Is n a multiple of 10?
False
Suppose 5*b + 116 = 3*i - 34, -b + 177 = 4*i. Suppose f + i = 4*f. Does 5 divide f?
True
Suppose 15*b = 4*b + 660. Is b/(-25)*5/(-2) a multiple of 4?
False
Let m = -22 - -62. Is m a multiple of 20?
True
Let a(b) = -b**3 - 10*b**2 - 13. Let k be a(-11). Let s be (6/4)/((-2)/(-100)). Let p = k - s. Is 11 a factor of p?
True
Suppose 29*t = 25*t + 248. Let j = 120 - t. Is 11 a factor of j?
False
Let c(n) be the first derivative of 23*n**2 + 2*n - 133. Let j = 3 - 2. Is c(j) a multiple of 16?
True
Suppose 0 = -2*s + 2*m - 20, -3*s - 72 + 18 = 3*m. Let a = 0 - s. Is 7 a factor of a?
True
Is 57 a factor of (-4)/(-20) - (-9 - (-9668)/(-10))?
False
Let d = 413 + -407. Is 3 a factor of d?
True
Let w = 22 - -13. Suppose 40*g - w*g = 190. Does 7 divide g?
False
Let d = 20 + -14. Let y be 2/6 + 388/d. Suppose -3*z = -6*u + 3*u - 57, 5*u - y = -5*z. Is z a multiple of 8?
True
Suppose -393 + 141 = 4*u. Suppose -3*f = 3*c + 42, -3*f = 2*f - 4*c + 52. Let k = f - u. Is 20 a factor of k?
False
Let g(p) = 3*p - 114. Let f be g(19). Let i be (-14)/2 - (-1 - -1). Let x = i - f. Is x a multiple of 16?
False
Let m = 2 + 3. Let r = -1 + m. Suppose 0 = r*g - g - 63. Does 7 divide g?
True
Suppose -144*b + 150*b = 624. Is b a multiple of 28?
False
Does 10 divide 6548/5 - (-34)/85*1?
True
Let o(y) = -4*y - 9. Let b(h) = -h - 1. Let s(k) = -5*b(k) - o(k). Is 30 a factor of s(7)?
False
Let z(f) = 2 + 1 + 7*f + 2*f**2 + f. Suppose -3*r - 21 = -6. Is z(r) a multiple of 13?
True
Suppose 0 = -o - 39 - 21. Let w be (o/(-12))/(2/20). Suppose 0 = 4*n - j - 4*j - 66, 4*n = -3*j + w. Is n a multiple of 14?
True
Does 5 divide (-3 - 2 - -2)/((-1)/45)?
True
Let u = 26 + -15. Let g(b) = b**3 + 5*b**2 - 16*b - 5. Let r be g(-7). Does 3 divide (-6 + r)*u/3?
False
Suppose -3*t = -5*i + 41, -t + 5*t - 2*i + 36 = 0. Is 8 a factor of t/(-21) + (-83)/(-3)?
False
Suppose -4*i + 55 = -4*w - 9*i, 3*i = 4*w + 63. Let p = w + 20. Suppose p*x - 219 = 2*x. Is 25 a factor of x?
False
Suppose 3*f + 3*z + 213 = 0, 3*z - 1 = 2*z. Let q be (f/(-21))/((-3)/(-21)). Let i = 39 - q. Does 5 divide i?
True
Suppose g - 5*f + 4 = 53, -f + 297 = 5*g. Is g a multiple of 7?
False
Let w be 0/(-3 - -8 - 4). Suppose 3*j - 4*r - 413 = w, 0*r = j + 4*r - 111. Is 34 a factor of j?
False
Let z(g) = -7*g**2 + 5*g + 7. Let w(i) = i**2 - i + 1. Let u(y) = -2*w(y) - z(y). Suppose -c = 2*x + 1, 3*c + 8 = 4*x - 5*x. Is 6 a factor of u(c)?
False
Suppose 8*j + 23 - 87 = 0. Suppose 228 + 188 = j*o. Is o a multiple of 26?
True
Suppose 4*c = 2860 + 276. Is c a multiple of 7?
True
Suppose -5*k - 6 = 29. Let b(l) = -9 - 3*l**3 + 2*l**3 - 9*l - 2*l**2 - 6*l**2. Is 4 a factor of b(k)?
False
Let z(g) = g**3 + 5*g**2 - 8*g - 6. Let p(b) = b**2 - 8*b + 2. Let a be p(7). Does 15 divide z(a)?
False
Let j = -419 + 754. Suppose 0 = -z - 4*z + j. Does 13 divide z?
False
Suppose -1073*r + 1087*r = 9646. Is 13 a factor of r?
True
Suppose 5*a + 477 = o + 105, -5*o = 2*a - 1914. Does 12 divide o?
False
Suppose -3*w - 10013 + 2763 = -4*a, -7234 = -4*a - 5*w. Suppose 21 = 8*l - a. Is l a multiple of 49?
False
Let g be ((-36)/16)/(1/(-4)). Suppose -3*c + g = 18. Is 12 a factor of (c/(-2))/((-3)/(-92))?
False
Let z(c) = -c**3 + 12*c**2 - 10*c + 17. Is 3 a factor of z(11)?
False
Let r(u) = -9*u - 16. Let b be (-4)/(-16) + 189/12. Suppose 0*k = 2*k + b. Is 14 a factor of r(k)?
True
Let g = -5 - -9. Suppose g*k - b + 4*b = 53, 2*b + 61 = 3*k. Is 9 a factor of k?
False
Suppose 28*v = 29*v + 4. Is 8 a factor of (-2)/v*(-7 - -45)?
False
Suppose -286 + 72 = -2*u + 2*x, -538 = -5*u + 2*x. Let f be -1 - -2*u/(-8). Is (-424)/(-14) + 8/f a multiple of 18?
False
Suppose 589 = 5*t + 3*a, 0 = t + 3*t + 2*a - 470. Suppose -4*m - 2*r = -434, 9*m - 2*r - t = 8*m. Is 10 a factor of m?
True
Let z(l) = 49*l**2 - 6*l + 22. Does 125 divide z(6)?
True
Let n(i) = 4*i**3 + 3*i**2 - 6*i - 1. Let a(d) = -d**3 + d. Let u(j) = -5*a(j) - n(j). Let t be u(2). Is 15/(t/(-1)) - -3 a multiple of 5?
False
Let r(b) = b**2 - 5*b + 8. Let x be 324/10 - (-10)/(-25). Let j be (-1)/4 - (-264)/x. Does 16 divide r(j)?
True
Let x(u) = 6*u**3 - u**2 + 3*u + 2. Let z be x(-2). Suppose 0 = 4*v + 13 + 35. Let h = v - z. Does 25 divide h?
False
Let t(p) = -21*p + 20. Let o be t(8). Let a = 76 + o. Is ((-2)/4)/(2/a) a multiple of 9?
True
Let o = -79 - -192. Suppose -4*v + o = -167. Does 5 divide v?
True
Let v be (0 + 3 - 3)/(-1). Suppose v*f = -f. Is 6 a factor of 4*(f - 27/(-6))?
True
Suppose 2*s + 19 = 5. Let u be 596/28 - (-2)/s. Suppose -60 = -2*j + d + 27, 4*d - u = -j. Does 11 divide j?
False
Suppose 8*l - 3*l - 1544 = -3*s, -4*l - 1562 = -3*s. Is 14 a factor of s?
True
Does 19 divide 10*3*1140/75?
True
Let q = 2 - -1. Suppose 0 = q*s - 9 + 3. Suppose -s*r = -r - 48. Is 12 a factor of r?
True
Suppose 6*y - 626 = -5*j + 3*y, 4*y + 364 = 3*j. Is j a multiple of 4?
True
Suppose -4*p = 4, -45*p - 1031 = -x - 41*p. Is 13 a factor of x?
True
Suppose 0 = 4*b + 4*r - 0*r + 16, 0 = b + 3*r. Let w = 35 + b. Does 13 divide w?
False
Let t(r) = r**3 + 9*r**2 - r - 9. Let x be t(-9). Suppose -2*d - 42 = -5*d - 3*p, 3*p + 3 = x. Is 2 a factor of d?
False
Let l be ((-48)/4)/4 + 405. Suppose -249 = -0*y - 2*y - 3*h, 3*y - 5*h = l. Does 15 divide y?
False
Suppose 3*g + 4*h + 168 = -2*g, -5*h - 57 = 2*g. Let y = 80 - g. Is 11 a factor of y?
False
Suppose 0 = 2*b - l + 26, -26 = 2*b + l + 4. Let c be 2/10 + b/(-5). Suppose 0 = -q - 3*n + 22, 0 = q + 4*q + c*n - 98. Does 10 divide q?
False
Let d(f) = -2*f + 15. Let r be d(-6). Suppose -r = -j + 4*p + 64, 5*p + 500 = 5*j. Is j a multiple of 18?
False
Let y be (2 - 0)/((-5)/(-70)). Let t = -40 + y. Does 11 divide 100/t*(-6 - 0)?
False
Suppose 4*w + s = 16, -5*w + 3*s = 4*s - 20. Let l(p) be the second derivative of p**4/12 + p**3/6 - p**2 - p. Is l(w) a multiple of 6?
True
Let u(b) = -2 - 1 - b + 4 + 1 + 59*b**2. Let i be u(2). Let q = -161 + i. Is 25 a factor of q?
True
Suppose 5*g + 979 - 4844 = 0. Let j = g + -340. Suppose -5*w + j = 118. Does 17 divide w?
False
Does 2 divide 56/((12/(-38))/(-3))?
True
Suppose 2*i = 3*x + 61, 6*x - i + 83 = 2*x. Let j = x + 66. Is 8 a factor of j?
False
Suppose 2*s + 3 = 2*u + 7, 2*s = 5*u - 8. Suppose 3*n - 4*y + 8 = 0, 0 = -5*n + 4*y + 4 - 12. Suppose n = -t + s*t - 120. Does 6 divide t?
True
Let z be (-121 + -3)/(-4) - 4. Suppose -6*n + z = -3*n. Does 9 divide n?
True
Let q = 2 + 8. Let o = q - -4. Let d = 24 - o. Does 3 divide d?
False
Let s(c) = -c**3 - 24*c**2 + 35*c - 70. Does 4 divide s(-26)?
True
Suppose 0 = -3*x, -2*x = -2*i + x - 30. Is 5 a factor of (-3)/(2/(100/i))?
True
Let x(v) = 13 + 0 + v - 2*v - 23. Let n be x(-15). Suppose t + n = 18. Is t a multiple of 10?
False
Let m = -51 - -50. Is 12 a factor of ((-20)/(-50))/(m/(-240))?
True
Suppose 2 = -2*j + 4. Let y be ((-64)/(-10))/((-6)/(-15)). Let q = y - j. Does 11 divide q?
False
Suppose -4*o - 51 = -3*d + 233, -3*o = 2*d - 178. Suppose -3*z + 2*m = -d, -5*m + 4*m - 60 = -2*z. Is 15 a factor of z?
False
Suppose -5*m - 1281 = -2*d, d + 141*m = 139*m + 618. Is d a multiple of 3?
False
Suppose 3*n = 12, -17*n + 18*n = b - 651. Is b a multiple of 12?
False
Is 46 + -42 - -32*5 a multiple of 13?
False
Let n(a) = 5*a + 6 - 9*a - 46. Is 6 a factor of n(-19)?
True
Suppose 0 = 33*w - 24975 - 10665. Is 12 a factor of w?
True
Let v = 216 - 111. Let g = v + -54. Does 15 divide g?
False
Is -8 + 34844/24 - 2/(-12) a multiple of 38?
True
Let d = 1387 + -361. Is d a multiple of 27?
True
Let p = 0 - -2. Let q(w) = 4*w + p*w**2 - 4 - 2 - 13*w.