multiple of 6?
True
Suppose 4*s - 6*s - 5*g + 1315 = 0, -g = -3*s + 1947. Is 13 a factor of s?
True
Let c(i) = -19*i + 34. Let x(t) = 2*t. Let h(l) = -c(l) - 2*x(l). Is h(7) a multiple of 13?
False
Let r = 3 - 42. Let i = r + 47. Does 8 divide i?
True
Suppose g + 4*q + 12 = 0, -4*g = -0*q + 4*q. Suppose 0*b + g*x = 3*b - 199, 57 = b + x. Does 13 divide b?
False
Suppose 3*o - 3*n = 2*n + 24, 2*n = 0. Let c be (o/(-6))/(4/(-6)). Suppose 3*q - 99 = -c*k, 3*q - 2*k = 7*q - 132. Does 15 divide q?
False
Suppose -5*u + 38 - 3 = 0. Suppose 2*n = u*n - 15. Is 3 a factor of n?
True
Let v be 1/(-3) + 133/57. Suppose -3 - 5 = 4*x, b - v*x - 86 = 0. Does 23 divide b?
False
Suppose n - 3*u = -0 - 10, 2*n = -4*u + 30. Let g be 1/n + 370/25. Is 5 a factor of (g/10)/((-2)/(-20))?
True
Suppose -24 = 3*w - 183. Let d = w - 37. Is 13 a factor of d?
False
Does 19 divide (-1)/(((-27)/(-483))/(-9))?
False
Suppose -14*s + 33*s = 5168. Does 2 divide s?
True
Let t(u) = u**3 + 12 + 7*u**2 + 71*u + 5*u**2 - 61*u. Let l be t(-11). Let h = -9 + l. Is h a multiple of 7?
True
Let t = -35 - -21. Let g be 20*(2 - t/(-8)). Suppose -g*j = 4*d - 122 + 21, -5*j - 32 = -3*d. Is 8 a factor of d?
False
Let d(b) = -b**3 - 9*b**2 + 4*b - 1. Is 34 a factor of d(-15)?
False
Does 20 divide (-676)/78*(-6)/2?
False
Suppose 0 = -4*a + 3*r + 45, -2*a - a + 37 = r. Suppose a*q - 4*q = 40. Is 2 a factor of q?
False
Let n be (-2)/(14/(-6) - -2). Suppose -n*j = -13*j + 756. Does 27 divide j?
True
Let p(x) = x + 1. Let g be p(-4). Let j be (-2 - -3)/(1/g). Is (0 + j)*(-9 + 4) a multiple of 5?
True
Suppose 9*o = 5*o + 856. Suppose -o = -10*m + 8*m. Does 22 divide m?
False
Let j(o) = -34 + 18*o**2 + 25*o - 54*o**2 + 7 + 11*o**3. Let s(t) = 7*t**3 - 24*t**2 + 17*t - 18. Let r(b) = 5*j(b) - 8*s(b). Does 3 divide r(11)?
True
Let q = 3 - -1. Suppose 5*b - i = 23, -2*i + 28 = q*b - 6*i. Let s(d) = d**2 + d + 2. Is 6 a factor of s(b)?
False
Let v(f) = -200*f + 285. Is v(-9) a multiple of 49?
False
Let a = 485 - 259. Suppose -w + 46 = -0*w - 4*y, -4*w + a = 5*y. Does 18 divide w?
True
Let d = -12 + 14. Suppose d*c = 2 + 2. Suppose 5*u + t = c*t + 60, -2*u - 4*t = -24. Is 6 a factor of u?
True
Let t = 792 - -178. Is t a multiple of 15?
False
Let a(c) = -c**3 + 14*c**2 + 32*c + 12. Let l be a(16). Let k be (2 + 1)*2/3. Let v = l + k. Is v a multiple of 12?
False
Let x = -7 + 19. Let h be (-2 + 32/x)*-3. Let a = h + 41. Is 13 a factor of a?
True
Is 24 a factor of ((-12)/10)/((-1)/320)?
True
Suppose 5*n - x + 783 = 0, -2*n + n - 5*x - 167 = 0. Let z = 222 + n. Is z a multiple of 4?
False
Let h = -21 + 24. Suppose h*y + y - 108 = 0. Does 27 divide y?
True
Suppose -16 - 9 = -5*n. Suppose -n*w + 2 = 2*p - 30, -2*p = -3*w - 32. Is 2 a factor of (-1)/2*p/(-2)?
True
Suppose 0 = -36*j + 33*j + 5556. Is 16 a factor of j?
False
Let c be -2 + 1*(-2 - -3). Let g be (c + 3)*25/10. Let r = g - -10. Is r a multiple of 4?
False
Suppose -88 = -2*w - 5*p, -3*w - p = -0*p - 158. Let c = w - -11. Is c a multiple of 22?
False
Let r = -99 + 96. Does 19 divide (r/6)/((-3)/798)?
True
Let s(v) = 24*v - 18. Let b be s(-7). Let w = b + 267. Does 27 divide w?
True
Suppose 34*i = 38*i - 192. Let a = i - 14. Is a a multiple of 29?
False
Let b(f) be the first derivative of f**3/3 - 4*f**2 + 10*f + 2. Let h(d) = 10*d**2 + 1. Let t be h(-1). Is b(t) a multiple of 18?
False
Let t(a) = 187*a**3 - 7*a**2 + a + 5. Is t(2) a multiple of 11?
False
Let l(o) be the first derivative of -5*o**2/2 - 53*o - 39. Does 5 divide l(-13)?
False
Suppose -4*g + 5*b + 36 = 0, -4*b + 2*b = 8. Is 24 a factor of -1 - g/(-3) - 1525/(-15)?
False
Suppose 9*m + 1 = -26. Is 12 a factor of (-49 - (-3 + 2))*3/m?
True
Is 32 a factor of -64*(0 - 143/26)?
True
Suppose -4*l + 4 = -4. Let j(w) = 43 - 6*w**l + 7*w**2 + 0*w**2. Is 22 a factor of j(0)?
False
Let m = -114 + 179. Does 13 divide m?
True
Suppose -3*m + 22 = -f - 54, -2*m = 2*f - 48. Let n = m + 15. Is 4 a factor of n?
True
Let u(a) = -a**3 + 8*a**2 - 10*a + 2. Let y be 2/9 - 170/(-45). Let c be u(y). Let g = c + 6. Is g a multiple of 16?
True
Suppose -2*u + 3*n - 6 = 0, 5*u + 7 - 30 = -2*n. Suppose 0 = 2*f - 2*b + u*b - 63, -2*f - 4*b = -60. Is 18 a factor of f?
False
Let r be 58/(-4)*(-3 + 1). Suppose 5*s + 84 = -z - r, 2*s - 2*z = -38. Let j = s + 50. Is j a multiple of 14?
True
Let j(p) = -2*p**2 - 6*p. Let w be j(-4). Let v(q) = -q**3 - 9*q**2 - 10*q - 12. Let d be v(w). Suppose -291 = -d*r + 69. Is 30 a factor of r?
True
Let o = 4643 - 2283. Is o a multiple of 45?
False
Is 13 a factor of 4/(-14) + (-15824)/(-14)?
False
Let f(a) be the first derivative of 7*a**6/120 - a**5/60 - a**4/24 + a**3/3 - 2*a**2 + 2. Let d(b) be the second derivative of f(b). Is d(2) a multiple of 26?
True
Let i be -1*(-2 - (3 - 14)). Does 19 divide (i + 11)*(-234)/(-4)?
False
Let i(o) = -49*o + 4. Suppose -x + 5 + 0 = -3*z, 3*z - 7 = 4*x. Let h be i(x). Suppose 207 = 3*l - 2*b + 58, 0 = 4*l - 4*b - h. Is l a multiple of 15?
False
Let k(g) = 2*g**3 + 26*g**2 + g + 31. Let a be k(-13). Let w be 2/8*2*4. Does 12 divide -1*w*(-387)/a?
False
Does 9 divide 13530/75 - (-14)/(-35)?
True
Suppose 6 = 5*w - 2*n, 2*n - 4*n - 6 = 3*w. Suppose h = 2*t - 111, 54 = t - h - w*h. Is 18 a factor of t?
False
Is (42/7 - 4) + 55 a multiple of 19?
True
Suppose 0 = -10*h - 23*h + 1584. Is 32 a factor of h?
False
Let f be (5 - 19)*2/(-4). Suppose -8*t = -f*t - 2. Let u = t - -13. Is 15 a factor of u?
True
Suppose 0 = 4*p - 0*p - c - 24, 11 = p + c. Suppose 0 = -o + 2*o - p. Suppose -o = 3*f - 49. Is f a multiple of 2?
True
Suppose 2*r = 2*s + 94, -114 = -2*r - 0*r - 3*s. Is r a multiple of 5?
False
Let m(i) = -2*i - 5. Let u be m(-8). Suppose y + 9 = -u. Is (12/(-4))/(6/y) a multiple of 5?
True
Let r(q) = 2 + 14 + 21 - q. Is r(-16) a multiple of 12?
False
Let a = 210 - 124. Is a a multiple of 19?
False
Let s(y) = 16*y**2 - 6*y - 48. Is s(-4) a multiple of 15?
False
Let v = -20 - -28. Let q be (3 - 44/v)*-18. Is 15 a factor of 39/(q/12 + -3)?
False
Let z = -446 + 299. Is (-4)/14 + (-6216)/z a multiple of 6?
True
Let j(d) = d**2 - 2*d + 10. Is 14 a factor of j(-8)?
False
Suppose 5*l - 911 = 6*x - 2*x, 179 = l - 4*x. Suppose -15*v + l = -12*v. Is v a multiple of 15?
False
Let g = -498 + 177. Let b = -209 - g. Is 16 a factor of b?
True
Suppose 4*b = s - 4, -4*s - 3*b - 3 + 0 = 0. Suppose 0*m - 4*m + 928 = s. Suppose -m = -9*l + 5*l. Is l a multiple of 19?
False
Suppose -728 = 27*y - 23*y. Let a = -35 - y. Is a a multiple of 33?
False
Suppose 3*q - 195 - 402 = -a, -785 = -4*q - 5*a. Suppose 3*t = 97 + q. Is 15 a factor of t?
False
Let j = 19 - -100. Suppose -4*l + j = -v, -3*l - 7*v + 75 = -3*v. Let y = -20 + l. Is y a multiple of 2?
False
Suppose 5 - 8 = f. Let n be (12/2)/1 + f. Suppose n*o - 33 = -l - 2*l, 3*l = 12. Does 5 divide o?
False
Let t(l) = 7*l**2 + 33*l - 4. Does 12 divide t(5)?
True
Suppose -3*i = -0*i + 24. Let u(q) = -5*q + 10. Is 12 a factor of u(i)?
False
Let d be (-45)/(-6) + 1/(-2). Let t(c) = -c + 11. Let l be t(d). Suppose 8*x - 192 = l*x. Does 19 divide x?
False
Let v = 54 - -62. Is 13 a factor of v?
False
Let x be 2/(-4) + 447/6. Let j = x - 15. Let q = j - 17. Does 18 divide q?
False
Let p(j) = -125*j**2 - 3*j - 4. Let f(u) = -126*u**2 - 4*u - 5. Let s(o) = 5*f(o) - 6*p(o). Is 36 a factor of s(-1)?
False
Suppose -3*r - 50 = -r + 4*v, 0 = r - v + 28. Let m = r - -33. Let h = m + 16. Is 11 a factor of h?
True
Let w be (-48)/12 + 168/(-2). Let h = 174 + w. Does 10 divide h?
False
Let h = -17 + 22. Suppose -2*o = -o - 4. Is 4 a factor of h/(15/o)*3?
True
Let p(d) = d**2 - 5*d. Let g be p(7). Let w = 50 + g. Is w a multiple of 31?
False
Suppose -5*n - 2*f + 2345 + 8999 = 0, -5*f = -2*n + 4526. Is 9 a factor of n?
True
Let y(n) = n + 12. Let r be y(-7). Suppose 4*k - 181 = -5*g, 0 = -r*k + 2 + 18. Is 33 a factor of g?
True
Let j(o) be the first derivative of -o**4/4 - o**3/3 - o + 1. Let x(h) = 4*h**3 - 2*h**2 + 9*h + 8. Let a(z) = -5*j(z) - x(z). Does 5 divide a(-8)?
True
Let p(h) = 25*h - 53. Is 6 a factor of p(5)?
True
Let d(q) = 2*q + 11. Let m be d(-5). Let l = 37 - m. Does 9 divide l?
True
Suppose 5*a - 29 = 76. Let j = 22 - a. Is 209/3 + j/3 a multiple of 14?
True
Suppose 11*r - 181 = 754. Does 17 divide r?
True
Let a(p) = -19*p - 7. Le