*u + 152, 0 = -2*u - 10. Is s a multiple of 9?
True
Suppose -23*x - 1806 = -29*x. Suppose 2*r = -m + x, -582 = -4*r + 7*m - 5*m. Does 37 divide r?
True
Let s = 1255 + -521. Does 13 divide s?
False
Suppose 0 = -2*p + 3*n - 2, 4*p - n = -0*p + 6. Suppose -h = -p*m + 2, -2*h = -4*h - 4*m + 36. Is 18 a factor of -2*4/h + 24?
False
Let m = -31 - -34. Suppose -918 = -6*g - m*g. Is 13 a factor of g?
False
Let s(i) be the third derivative of 1/60*i**5 - 1/24*i**6 + 0*i + 1/4*i**4 + 3*i**2 - 1/3*i**3 + 0. Does 31 divide s(-3)?
True
Suppose 0 = 18*v - 6*v - 15048. Is v a multiple of 80?
False
Suppose -2*s = f - 4*s - 11, -2*s - 39 = -5*f. Let y(w) = w**2 - 7*w + 3. Let j be y(f). Is (j/4)/((-2)/(-136)) a multiple of 11?
False
Let x(a) = -5*a - 43. Let r be x(-9). Let f be (38/(-5))/((-1)/5). Suppose -r*n + 80 = -j, -2*n + f + 50 = -3*j. Does 19 divide n?
True
Suppose 1 = -5*k + 11. Suppose -5*f + 5 = 20. Does 12 divide k/f + 2336/48?
True
Let w be -2 - (-39 - 4)*1. Let t = w - 17. Is 10 a factor of t?
False
Let v be 15/(-4) - 1/4. Let x(l) = 9*l**2 + 3*l - 4. Let w(q) = -8*q**2 - 2*q + 3. Let n(k) = v*w(k) - 3*x(k). Is n(-3) a multiple of 12?
True
Let l be -1*2/((-4)/6). Suppose 2*z = 2*h - 0*z - 140, -l*z = 3*h - 186. Is 11 a factor of h?
True
Suppose s + 3*l + 9 = 0, -3*l + 12 = 5*s - 7*l. Suppose 9*g - 4*g - 120 = s. Is g a multiple of 7?
False
Let u = -61 - -60. Is (-1 - 1)/(0 + u/12) a multiple of 8?
True
Suppose -4*t + 3*z - 14 = 0, -2*z - 14 = 2*t - 7*z. Does 20 divide (30/9)/(t/(-48))?
True
Suppose 0 = -0*w + 2*w - 16. Let j be w/16*2*3. Suppose 3*n = -a - 2, -a + 32 = a - j*n. Is a a multiple of 4?
False
Let f(w) be the second derivative of -1/12*w**4 + 5/6*w**3 + w**2 + 0 - 4*w. Is 3 a factor of f(4)?
True
Let d = -33 + 267. Does 10 divide d?
False
Suppose -3*q - 3*w = 2*w - 5, -2*q - 5*w = 0. Suppose 2*u - 36 = -2*m - 3*m, 4*m - 9 = q*u. Is 25 a factor of (75 - 2) + m/3?
True
Suppose 0*u = u - 2. Suppose 0*r - 36 = 5*r - 4*c, u*c + 10 = -r. Let j = r + 31. Is 8 a factor of j?
False
Let u = -18 + 21. Suppose 5*r + 2*j = u*j - 18, 9 = -5*r - 2*j. Is ((-4)/r)/(4/42) a multiple of 7?
True
Let h(a) = 2*a + 7. Let n be h(3). Suppose -4*y + 17 - 7 = -2*l, y - n = -3*l. Suppose 0 = l*c - 37 - 251. Is 12 a factor of c?
True
Suppose 2*q - 7*k + 5*k - 152 = 0, -52 = -q - 5*k. Is q a multiple of 18?
True
Suppose -7*s + 15366 = 2388. Is 12 a factor of 9/(-21) - s/(-14)?
True
Let y(z) = 3*z**2 - 10*z + 6. Does 18 divide y(6)?
True
Let q(r) = -12*r + 14. Is q(-8) a multiple of 3?
False
Let s be 3/((-42)/12 - -2). Is 26 a factor of (-27)/s*(-104)/(-18)*3?
True
Suppose 2350 = 6*p + 4*p. Suppose p = 4*n - 5*c, -2*c = -6 - 4. Does 23 divide n?
False
Is 0 + (-1)/(6 + 18425/(-3070)) a multiple of 67?
False
Let n = -3 - -9. Let k(w) = -w**3 + 7*w**2 - 7*w + 6. Let t be k(n). Suppose -2*x + 80 + 12 = t. Is 12 a factor of x?
False
Let r(f) = 48*f**3 + 2*f + 1. Let b be r(-1). Let w = b - 38. Let d = w + 124. Is d a multiple of 19?
False
Let y(k) = 6*k**2 + 5*k - 33. Let z be y(-10). Suppose -z = -3*c - 4*x, c = -2*c + x + 512. Is c a multiple of 9?
True
Let o(u) = -279*u - 6. Let f be o(-3). Suppose 3*s + 126 = f. Does 47 divide s?
True
Suppose -2*r = -4*h + 96, 0 = -3*h + 2*r + 3*r + 86. Suppose -7*v = -h*v + 2880. Is v a multiple of 47?
False
Is 10 a factor of (7 + -3 - -78)/(2/15)?
False
Suppose -240 = -5*p - 0*p. Suppose -6*h + 10*h = p. Is 7 a factor of (45/18)/(2/h)?
False
Suppose -26*a - 6789 = -29*a - 3*n, -2*n = -4*a + 9022. Does 18 divide a?
False
Does 8 divide ((-14)/(-28))/((-2)/(-2112))?
True
Suppose 3*a + q = -8, 3*a = -0*a - 3*q - 18. Let b(u) = 73*u**2 + 1. Is b(a) a multiple of 12?
False
Suppose -4*w - 148 = -448. Suppose 0 = -3*o - 3*x + 1182, 4*x - 1253 + w = -3*o. Suppose o - 14 = 4*c. Is 32 a factor of c?
True
Let o(h) = 90*h**2 + h + 5. Does 10 divide o(-2)?
False
Suppose 3*p + 25 = 5*l, 2*p + 2*p + 25 = 5*l. Suppose 0 = -2*s + 5*d + 10, -5*d = -l*s + 22 + 3. Does 2 divide s?
False
Suppose -2*n + 39 - 17 = 0. Let x = n - -26. Is 17 a factor of x?
False
Suppose -3388 = -2*v + 5*r + 3196, v - 3298 = r. Does 19 divide v?
False
Let h(n) = 7*n**2 - 16*n + 104. Is h(6) a multiple of 12?
False
Let r be ((-8)/24)/(1/(-174)). Let n = r + -22. Is 12 a factor of n?
True
Let p = 137 + -233. Let t = 178 + p. Is 9 a factor of t?
False
Let o = 267 - -1004. Is 92 a factor of o?
False
Let b(k) = 26*k**2 + 2*k - 1. Let p be 4/(-1) - -1*16. Suppose 5 = p*l - 7*l. Does 9 divide b(l)?
True
Let w(f) = -39*f - 120. Does 32 divide w(-8)?
True
Let i = 23 - 27. Does 20 divide 16 - ((1 - 1) + i)?
True
Let m = -27 + 29. Suppose 3*r - 83 = -m*b + 48, -63 = -b + r. Is b a multiple of 9?
False
Is 37 a factor of 15/35 + (-195786)/(-42)?
True
Suppose z - 2*h = 147 + 97, -z + 259 = -5*h. Is 13 a factor of z?
True
Let k(a) = a**2 + 6*a - 10. Let y be k(-7). Let p = 12 - 42. Is ((-1)/y)/((-2)/p) a multiple of 2?
False
Let a(j) = -j**2 + 0 + 2*j**2 - 5*j**2 - 7 + 5*j + 8*j**2. Let b(h) = h - 2. Let z be b(5). Is a(z) a multiple of 11?
True
Suppose 1595 = 3*j - d, 6*j - 1055 = 4*j - d. Is 53 a factor of j?
True
Let o(m) = -m + 9. Let n be o(4). Suppose 5*a = 5*l - 105, 0 = -4*l - n*a + 32 + 88. Suppose 5*y - 165 + l = 0. Does 12 divide y?
False
Suppose -7 = -5*g + 13. Suppose g*r - 24 + 4 = 0. Suppose 4*k - 2*u = 60, -r*u + 26 = k - 0*u. Is 3 a factor of k?
False
Suppose -2*u - 2*u = d - 22, 0 = 4*d - 5*u - 130. Suppose d + 14 = k - 5*c, 0 = 4*k - 3*c - 125. Is 29 a factor of k?
True
Suppose 0 = z + 2*z - 12. Suppose -s - 3*s + 365 = 3*b, -3*s = -z*b + 495. Is 22 a factor of b?
False
Let g be (-2)/(-3) - 4/6. Let q be 1 + g + -7 + 8. Is 8 a factor of ((-3)/3)/(q/(-64))?
True
Let v(l) = -1614*l - 34. Is 15 a factor of v(-2)?
False
Let d = -27 + 71. Let n = 128 - d. Is n a multiple of 21?
True
Let k = -36 + -22. Is 3 a factor of (-10)/(-25) - 2*k/10?
True
Suppose -7 - 8 = -5*c. Let h(a) = a**2 + 2*a - 10. Let y be h(c). Suppose 0 = y*w - 20, 3*d - w = 2*d + 20. Is 22 a factor of d?
False
Let y(z) be the third derivative of -z**4/24 - 2*z**3/3 - z**2. Let v be y(-8). Suppose -s + 35 = v*l, -3*s = 2*l + 2*s - 13. Is l a multiple of 9?
True
Let n(f) = 12*f + 19. Let c(k) = -k**3 + 5*k**2 + 4*k - 12. Let j be c(5). Does 18 divide n(j)?
False
Let l(u) = -u**2 + 10*u. Let v(f) = f**2 - f - 1. Let r = 9 + -6. Let m(h) = r*v(h) + l(h). Is 27 a factor of m(-6)?
True
Let c be ((-4)/(-10))/(3/(-30)). Let r(p) = 7 - 45*p - 54*p - 6*p**2 + 93*p + 5*p**2. Does 4 divide r(c)?
False
Let a(m) = -5*m**3 + 19*m**2 + 5*m - 41. Is a(-7) a multiple of 76?
False
Let o be ((-4)/6)/((-26)/(-1599)). Let w = 124 + o. Is 6 a factor of w?
False
Suppose -9 = -7*q + 439. Suppose t + 5*y = q, t - 3*t = 3*y - 100. Is 16 a factor of t?
False
Let g(h) = -2*h**2 - 13*h + 7. Let o be g(-7). Suppose -5*t + 2*t + 18 = o. Is 4 a factor of t?
False
Let k(l) = 2*l + 38. Let q be k(-18). Suppose 0 = 6*m - m. Suppose q*s - 120 = -m*s. Does 22 divide s?
False
Suppose 11*z - 7*z = 1748. Is z a multiple of 3?
False
Let f(c) = 5*c**3 - 14*c. Does 6 divide f(4)?
True
Let p(q) = -13*q**3 - 2*q**2 - q. Suppose 0 = -3*u + 6*u + 3. Let y be p(u). Let a = -2 + y. Is a a multiple of 4?
False
Let p = 22 - -10. Let l = p - -24. Is l a multiple of 4?
True
Let a(g) = g**2 - 3*g. Let x be a(4). Let f be x*3*(-51)/(-36). Let r = 49 - f. Is 9 a factor of r?
False
Suppose -l - s = -261, 2*l - 3*s - 348 - 199 = 0. Is 19 a factor of l?
True
Suppose -74*d = 3*d - 75075. Is d a multiple of 39?
True
Suppose 4*d + 0*d = 5*x - 21, 4*x - 15 = 5*d. Let v(b) = -b**3 - 2*b**2 - 6*b - 5. Let i be v(x). Let u = 337 + i. Is 27 a factor of u?
False
Let g(r) = r + 1. Let o be g(0). Let d be -3 + 8 + -1 + o. Suppose 24 + 6 = d*w. Is 4 a factor of w?
False
Let m(t) = -12*t**2 + 28*t - 7. Let r be m(3). Suppose x + 3 = 59. Let w = r + x. Does 5 divide w?
True
Suppose y = 4*w - 2, -9 = -2*y - y - 3*w. Suppose -y*i + 2*v = 2*i - 570, -115 = -i - 5*v. Suppose -6*x - x + i = 0. Does 13 divide x?
False
Suppose 2*h - 34 = -6. Let i = -48 - -41. Let l = i + h. Is 2 a factor of l?
False
Suppose -9*q + 60 = -5*q. Let v(d) = 2*d**2 - 12*d + 8. Is v(q) a multiple of 11?
False
Let v(w) = -2*w**2 + 8*w - 3. Let f be v(6). Suppose 3 = -3*h - 15. Let i = h - f. Does 10 divi