 - -114. Is y/(-6)*(0 + 42/4) a multiple of 4?
True
Let a be (-48)/(-27) + (-2)/(-9). Suppose 0 = a*x - 9 + 1. Suppose -84 = 3*m - 7*m - x*n, 90 = 4*m - 2*n. Is m a multiple of 19?
False
Let u = 465 + -97. Suppose -3*l + 2*v + u = 0, 4*l - 484 = v - 0*v. Does 15 divide l?
True
Suppose -148 = -2*j + m, -5*j = 2*m - 315 - 37. Suppose -66*x - 576 = -j*x. Is 24 a factor of x?
True
Let c(k) = k**3 - 2*k**2 - 14*k - 2. Let u be c(5). Suppose -i + 124 = -5*y, -2*y - 436 = -4*i + u*y. Is i a multiple of 26?
True
Suppose -t = 2*t - 180. Suppose -2*m - 3*m = -t. Suppose -5*s - 32 = -m, 3*s = -x + 23. Is x a multiple of 25?
False
Let i = 174 - -17. Is i a multiple of 22?
False
Let n be (-65)/(-15)*3*27. Let s = n - 108. Is 34 a factor of s?
False
Let b(f) = -f**2 - 85*f + 244. Is b(-38) a multiple of 70?
True
Let c(h) be the first derivative of 88*h**3/3 + h**2 - h + 11. Let z be c(1). Suppose -z = -o + 9. Is 14 a factor of o?
True
Suppose 6 + 6 = 6*j. Suppose 2*t + 53 + 121 = j*a, -2*t - 354 = -4*a. Is 10 a factor of a?
True
Let w = -26 - -16. Let r = -8 - w. Does 6 divide (-2 - -3) + (r - -9)?
True
Let l(c) = -c**3 - 3*c. Let i be l(3). Let d = i - -189. Is 42 a factor of d?
False
Suppose 67*v - 71*v = -4108. Does 23 divide v?
False
Suppose -l + 20 + 55 = 0. Is l a multiple of 12?
False
Let g = -202 + 292. Does 5 divide g?
True
Let u(h) = h**3 + 8*h**2 + 4*h - 8. Let y be u(-7). Let g = y + -11. Suppose -n + 108 = g*n. Is 10 a factor of n?
False
Let x(f) = -6*f - 2. Let b be x(-1). Suppose j - 2*j + l + 49 = 0, b*l = 0. Is 15 a factor of j?
False
Let m(f) = f**2 - 26*f + 12. Let v be m(12). Let h = v - -76. Let p = -56 - h. Is 6 a factor of p?
True
Let h(l) = l**2 - l + 20. Suppose -3*k + 68 = k. Let j be h(k). Suppose 0*t + 3*t + 12 = 0, -4*p = -t - j. Does 24 divide p?
True
Let d = 2013 + -744. Is d a multiple of 13?
False
Let o = 21 + -16. Suppose 3*n - 557 = -0*g - 2*g, -3*g + 930 = o*n. Does 27 divide n?
True
Suppose -20*c = -17*c - 1092. Is 13 a factor of c?
True
Let p be (-128)/(-5) + (-24)/(-60). Let n = p + -21. Suppose n*m = 67 + 333. Is m a multiple of 10?
True
Let f(n) = -n - 10. Let j be f(16). Let w(p) = -p**3 - 5*p**2 - 3*p - 5. Let y be w(-5). Let h = y - j. Does 17 divide h?
False
Does 52 divide 1*-3 + (454 + -9 - 9)?
False
Let s(k) = -k + 2. Let f be s(-3). Suppose -f*z = -68 - 17. Is 8 a factor of z?
False
Let t(u) = -u**3 - 6*u**2 + 46*u + 1. Is 5 a factor of t(4)?
True
Let z(y) = -y + 38. Suppose 0*a + 33 = 3*l + 3*a, 0 = 4*a. Is z(l) a multiple of 19?
False
Suppose -o + 15 = -2*i, 12 - 32 = -5*o - i. Let w = -603 - -601. Is (w/o)/(2/(-60)) even?
True
Let d(b) = -13 - b**3 + 12*b**2 + 22 + 32*b + 11. Is 32 a factor of d(14)?
False
Let x(c) = -c + 23. Let r be (-3 - -2)*13 + 1. Is x(r) a multiple of 35?
True
Let k = 23 + -18. Suppose 3*d - 4 = -k*n + n, -2*n = 2*d - 2. Suppose 0*t + 2*t - l - 14 = d, t - 5 = l. Does 7 divide t?
False
Let p(o) = -o**2 - 9*o - 6. Let m be p(-8). Suppose 15*l - 20 = 10*l. Suppose -4*g - 68 = -7*k + m*k, l*k - 70 = -2*g. Does 3 divide k?
False
Does 30 divide 28/(-42)*15/(-2) - -2481?
False
Let h = 12 - 11. Let g(u) = 5*u**3 + u. Let c be g(h). Let a(s) = s**2 - 6*s + 8. Is a(c) a multiple of 5?
False
Suppose 3*s = -4*c - 3 - 9, 0 = 2*s. Let z(x) = -x**2 - 5*x - 3. Let o be z(c). Suppose o*g = 5*w - 15 + 83, 0 = -2*g - 2*w + 24. Is 8 a factor of g?
True
Suppose g - 21 = -5*q, -g + 2*g - 1 = 0. Does 47 divide (q/(-10))/(1/(-2220)*3)?
False
Suppose -2*u = r - 9, u = -3*r - 0*u + 17. Let s = r - -8. Suppose -b + 17 + s = 0. Is b a multiple of 14?
False
Suppose 0 = 3*i - 2*j - 1, i - 5*j + 24 - 7 = 0. Suppose 5 = -2*g + 3*y - 6*y, -2*y = -i*g + 25. Does 3 divide 4/(-10) + 17/g?
True
Let q be (9/2)/((-27)/(-36)). Suppose q*r - 108 = -0*r. Is 351/r - 1/(-2) a multiple of 20?
True
Let k = 1539 - 888. Does 17 divide k?
False
Suppose 0 = -5*h + 4*g + 3768, 16*g - 15*g + 2265 = 3*h. Is 15 a factor of h?
False
Let w be 6 - ((-27)/45 + 2/(-5)). Let b(i) = 2*i**3 - 18*i**2 + 9*i + 13. Let r(s) = s**3 - 9*s**2 + 4*s + 7. Let v(j) = -3*b(j) + 5*r(j). Does 19 divide v(w)?
False
Let r(o) = 4*o**2 + 14*o + 124. Is r(-12) a multiple of 4?
True
Let k(a) = a**2 + 9*a - 15. Suppose 0 = -2*r - 2*r + 12. Suppose 2*b = -r*b - 60. Does 21 divide k(b)?
True
Let l(z) be the second derivative of z**7/2520 + 13*z**5/120 + 5*z**4/6 + 2*z. Let x(u) be the third derivative of l(u). Is x(-4) a multiple of 4?
False
Let r = 12 + -12. Suppose r = -7*o + 2*o + 470. Let q = -66 + o. Is q a multiple of 14?
True
Let h(w) = -20*w**3 - w**2 - 1. Let t = 20 + -22. Is 40 a factor of h(t)?
False
Let j(v) = -5*v + 12. Let m be j(-9). Let k = 19 - m. Let l = 80 + k. Is l a multiple of 15?
False
Suppose -i + 5 = 0, -80 + 373 = c + i. Suppose 9*h - c + 9 = 0. Is 3 a factor of h?
False
Let j(v) be the first derivative of -v**5/20 - 11*v**4/12 - v**3/6 + 3*v**2/2 - v + 11. Let r(k) be the first derivative of j(k). Is r(-11) a multiple of 14?
True
Suppose 16 = 2*l + 2*y - 4*y, -2*l - y + 10 = 0. Is 19 - l/8*(-2 - -6) even?
True
Let b(r) = -5*r**2 + r - 69 + 75 - r**3 + 6*r. Let g be b(-6). Suppose i - 18 = -g*i. Is 5 a factor of i?
False
Suppose -475 = 3*n - 8*n. Suppose 129 = 2*x - n. Suppose -5*d - z - z + 134 = 0, 4*d + 4*z = x. Is 13 a factor of d?
True
Let k(j) = j + 3. Let q be k(2). Suppose -3*v = -3*a - 3, -q*a + a - 4*v - 20 = 0. Is 12 a factor of ((-12)/(-9))/(a/(-27))?
True
Let w(z) = z**2 + 4*z - 3. Let o be w(-5). Let a be (104/(-12))/(o/(-21)). Suppose -x - 26 = -a. Does 11 divide x?
False
Let k(f) = -9*f + 24. Let w(p) = -3*p + 8. Let a(u) = -6*k(u) + 17*w(u). Is 2 a factor of a(6)?
True
Let h = -11 - -13. Suppose -168 = -4*m + h*n - 40, n = -m + 35. Is m a multiple of 29?
False
Suppose 786 + 614 = 2*h. Does 35 divide h?
True
Let a(z) = -133*z**2 + 2*z - 1. Let r be a(1). Let g = 257 + r. Does 20 divide g?
False
Let u = -628 + 688. Is u a multiple of 3?
True
Let c = -279 - -918. Is 9 a factor of c?
True
Suppose 97*n - 60 = 95*n. Does 10 divide n?
True
Let l = 42 - 39. Suppose -5 - 131 = -4*p - f, l*f = 0. Is 7 a factor of p?
False
Suppose -m + 2*w - 3*w = 2, -3*m - 4*w - 11 = 0. Suppose k - m*f - 27 = -0*f, -2*k = f - 61. Does 6 divide k?
True
Let q(y) = -2*y**2 + 13*y - 12. Let z be q(8). Is 6 a factor of (z/3)/(6/(-15))?
True
Suppose 0*t + 4*t = 0. Suppose -2*c + b = -t*c - 394, -2*b - 984 = -5*c. Suppose -4*i + 6*i = c. Is 36 a factor of i?
False
Let k(i) = -5*i + 63. Let r be k(12). Suppose -3*g - 840 = -r*s, 0*s - s - 2*g + 286 = 0. Is s a multiple of 47?
True
Suppose 0 = -7*l + 11 + 3. Suppose -l*r = -12 - 2. Is r a multiple of 3?
False
Let x(j) = -5*j**2 - 18*j - 9. Let l(a) = 2*a**2 + 9*a + 4. Let i(s) = -7*l(s) - 3*x(s). Let v(h) = h**3 + 5*h**2 - 5. Let k be v(-4). Is 8 a factor of i(k)?
False
Let v be (2 + 1/1)*(1 + -2). Suppose 5*b + 5 - 15 = 0. Does 28 divide b + v + 86 - 1?
True
Let l be 25/5 + (-2)/1. Suppose 0*q + 6 = -l*q. Does 16 divide (q - (3 - 35)) + 2?
True
Let x = 182 - 121. Let h = 8 + x. Is 19 a factor of h?
False
Let i(f) = 1740*f**2 - 30*f - 30. Is 12 a factor of i(-1)?
True
Let n(f) = f**3 - 10*f**2 - 7*f + 6. Let s be n(11). Let d = -39 + s. Does 11 divide d?
True
Let u(b) = b**2 - 8*b + 7. Let m be u(7). Let p = 0 + m. Suppose 6*r - 9*r + 126 = p. Is r a multiple of 21?
True
Is (-4)/((-12)/16047) - (64 - 61) a multiple of 22?
True
Suppose 6*n - 179 = 13. Suppose 3*v - o + 2 = 4*v, -2*v + 5*o = -n. Let y(k) = k**3 - 5*k**2 + 3*k - 9. Does 29 divide y(v)?
False
Let a(y) = 44*y - 3. Let g be 7/(-35) + (-58)/10. Let b be a(g). Is b/(-18) + 5/30 a multiple of 5?
True
Suppose -4*g + 272 = 2*k, g - 5*k - 35 = 33. Does 13 divide g?
False
Let h(d) = d**2 - 21*d + 43. Let s be h(19). Let o(n) = 17*n - 6. Is 12 a factor of o(s)?
False
Let b = -118 + 138. Is 3 a factor of b?
False
Suppose -1178 = -r + 2*n, 2*n = -3*r - 178 + 3680. Is 10 a factor of r?
True
Suppose 0 = 3*j - r - 61, j - 3*j + 26 = 3*r. Suppose 83 = l - j. Does 21 divide l?
False
Let b = 568 - 152. Is b a multiple of 52?
True
Let q = -288 + 794. Is 23 a factor of q?
True
Suppose -4*a = 5*w - 35, 5*a + 13 + 8 = 3*w. Let s = w - -17. Is 21 a factor of s?
False
Let l = 1340 + -1228. Is l a multiple of 5?
False
Let g be ((-40)/6)/((-2)/(-27)). Is 2 a factor 