x + 3*h, -5*h + 11 + 19 = 5*x. Does 9 divide x?
True
Let x(i) = -i**2 - 2*i. Let r be x(-3). Let w = r + 7. Let j(a) = 2*a**2 - 4*a + 1. Is 11 a factor of j(w)?
False
Suppose -4*i - 2*a + 7415 + 1877 = 0, 11615 = 5*i - 5*a. Is 10 a factor of i?
False
Suppose -4*y = -y - 186. Is y a multiple of 8?
False
Let g(z) = 3*z + 3. Let r be g(0). Suppose 0*d = d - 5, 5*i - r*d = 260. Is i a multiple of 13?
False
Suppose -38 = -z + 5*d, -2*d - 172 = -5*z - 51. Is 2 a factor of z?
False
Suppose 0 = z + 2*z. Suppose -4*f + 55 = 3*p, 3*f + 3*p = -z*p + 39. Is 4 a factor of f?
True
Suppose 3*c + 6*w = 2*w + 29, 3*w = 6. Suppose -429 + 1080 = c*s. Is 31 a factor of s?
True
Suppose -t + 4*h = 10, 4*t + 0*t + 5*h = 44. Let n be (3/4)/(5*(-1)/(-440)). Suppose -n + t = -2*b. Is 10 a factor of b?
True
Let o be (-38)/4 - (-12)/(-8). Suppose -4*w = -3*j - 91, 3*w - 5*w + 63 = -5*j. Let s = o + w. Is s a multiple of 7?
False
Does 6 divide (-86 + 104)/(3/((-18)/(-4)))?
False
Let c(b) = -b**3 + 7*b**2 - 9*b. Let s(f) = 1. Let i(a) = -c(a) + s(a). Let u be i(7). Is 5 a factor of (-1)/(-2*2/u)?
False
Let c(a) = -2*a**3 - 11*a**2 + 10*a. Does 9 divide c(-9)?
True
Let z = -73 - -66. Is -2 - (z - 4/((-16)/(-12))) a multiple of 2?
True
Is 11/((-198)/24) + 692/6 a multiple of 7?
False
Suppose 383*h - 378*h = 1040. Does 8 divide h?
True
Let t(h) = -5*h - 14. Suppose 3*d - 7*d = -16. Suppose -a + 19 = -5*b, 27 = d*a + 5*b + 76. Does 16 divide t(a)?
True
Let f(w) be the first derivative of -13 + 7/3*w**3 + 8*w + 3*w**2. Does 6 divide f(-3)?
False
Suppose -3 - 2 = r. Let a be (r/(-20))/((-3)/12). Is 5 a factor of -10*-1*a/(-2)?
True
Let o = 2395 - 1579. Is o a multiple of 17?
True
Let k(a) = 7*a + 71. Is 18 a factor of k(15)?
False
Suppose 132*d - 139*d + 5649 = 0. Does 10 divide d?
False
Let d(i) = -i**3 + 19*i**2 + 5*i - 2. Suppose -4*p + 75 = 3*u + 2*u, -3*p = 3*u - 42. Is 12 a factor of d(u)?
False
Let z(u) = -386*u - 809. Is z(-6) a multiple of 33?
False
Let r(x) = -x**3 + 7*x**2 + 18*x + 3. Let j be r(9). Is (j - 6)*-1*(-248)/(-6) a multiple of 32?
False
Let n be 32/(-6)*6/4. Let v be (-4)/(1*n)*26. Let y = v + 20. Does 14 divide y?
False
Let p(j) = 5 + 32*j + 3*j**2 + 18 - 5 + 2. Is 37 a factor of p(-15)?
False
Suppose -5 = 18*w - 23*w, w = -2*j + 217. Is 54 a factor of j?
True
Suppose -v = 34 - 158. Is v a multiple of 8?
False
Let z(x) be the first derivative of 7*x**5/60 + 3*x**2/2 - 6. Let y(j) be the second derivative of z(j). Is 8 a factor of y(2)?
False
Let v(t) = t**2 - 9*t + 9. Let d be v(8). Let m be 2 + -3 + d + 39. Let u = m + -13. Is 14 a factor of u?
False
Suppose 44 = -3*r - m + 358, 5*r - 521 = -4*m. Does 14 divide 30/r - 192/(-14)?
True
Let m = -8 - -11. Suppose -85 = -m*v + 248. Let g = -47 + v. Is 16 a factor of g?
True
Let s be (4/6)/((-4)/12). Let m(d) = -d**2 - 2*d. Let a be m(s). Suppose -5*t + 3*t + 58 = a. Does 9 divide t?
False
Let f(z) = -z**2 - 11*z - 12. Let b be f(-9). Suppose -4*q = -b - 34. Suppose -3*r + 4*r - q = 0. Is r a multiple of 4?
False
Let i = -178 - -72. Let l = -47 - i. Is l a multiple of 10?
False
Suppose -5*t - 3 + 23 = 0. Suppose -3*u - 14 = t. Does 6 divide ((-16)/12)/(u/27)?
True
Suppose -m = k - 5*m - 149, -521 = -4*k + m. Suppose k - 417 = -6*p. Is 24 a factor of p?
True
Let t = -27 - 6. Let z = t - -26. Is 24 a factor of 4*z/(-1 - 0)?
False
Let s be 87*(-6*(-20)/36 + -3). Suppose 384 = 31*k - s*k. Is k a multiple of 48?
True
Let r(c) = -c**2 - 15*c - 14. Let t be r(-14). Suppose t*i = 5*i + 30. Does 21 divide (i/(-1))/((-6)/(-75))?
False
Suppose 2*i + 25 - 603 = -2*n, 4*n = 2*i + 1186. Is 38 a factor of n?
False
Let u(d) = d - 2. Suppose -3*f = 2*x - 2*f - 3, -3*x - f + 7 = 0. Let k be u(x). Suppose -5*v - 4*y = -268, -v = k*v + 5*y - 166. Is v a multiple of 13?
True
Suppose 14 + 1 = 3*q. Suppose 18 = i + 2*f, 5*i + q*f = i + 72. Does 5 divide i?
False
Let z(k) = 2*k**2 - 2*k - 7. Let a be z(-3). Suppose -48 = 14*l - a*l. Does 8 divide l?
True
Let o be 160 - 3/(-3 + (-9)/(-6)). Let y = o - 82. Is y a multiple of 10?
True
Suppose 3*v + w = 1799, 0 = 5*v - w - 1558 - 1443. Is v a multiple of 60?
True
Does 5 divide 69 + (-24 - -7) + 9?
False
Suppose -2*h = -4*h + 46. Let b = 27 - h. Suppose -410 + b = -7*a. Is 15 a factor of a?
False
Suppose h + 38 = 2*h - 3*o, 2*o = 3*h - 135. Let m = h + -45. Is m even?
True
Let d(p) = -16*p + 218. Is 13 a factor of d(-26)?
False
Let n(o) = 1980*o**3 + 2*o**2 - o - 1. Is n(1) a multiple of 12?
True
Let r(v) = 2*v + 10. Let o be r(-5). Suppose o*d + 223 = 3*d + 2*n, d + 5*n = 96. Is 15 a factor of d?
False
Suppose 4*p + 182 = t, t - 2*p = -0*t + 186. Suppose -t = -6*h + 278. Does 28 divide h?
False
Let s(q) = -q**3 + 5*q**2 + 2*q + 3. Let k be s(5). Let w = 2 - -2. Suppose -4*f + k = 2*a - 7*f, -w*a = -4*f - 24. Is 5 a factor of a?
True
Suppose 2*y - z = -6, 3*y - 5*z - 5 = -21. Does 15 divide ((-30)/(-25))/(y/(-50))?
True
Suppose -5*t - 5*g + 8*g + 378 = 0, 4*t - 320 = -2*g. Does 3 divide t?
True
Suppose -4*r = -2*b + b + 11, -r + 10 = 4*b. Let y = 46 - b. Is y a multiple of 8?
False
Let v(c) be the second derivative of -c**4/12 - c**3/3 + 20*c**2 - 9*c. Is v(0) a multiple of 6?
False
Let f(a) = 6*a + 16. Let y(s) = -7*s - 16. Let u(n) = 4*f(n) + 3*y(n). Let c be u(-7). Is (c - -19) + (-3 - -3) a multiple of 7?
True
Let z(a) = -2*a**3 + 37*a**2 + 13*a - 30. Does 8 divide z(18)?
True
Let u(n) = -n**3 + 23*n**2 - 6*n + 1. Let k be u(23). Let x = k + 198. Is 7 a factor of x?
False
Let r(f) = -f**3 + 10*f**2 - 9*f + 5. Suppose -7*z + 2*z = 3*h - 35, -5*z = 4*h - 40. Suppose 36 = -h*v + 9*v. Is r(v) a multiple of 2?
False
Suppose 3*z = -4*v - 37, -23 = 5*z + v - 4*v. Let j(n) = n**2 + 14*n + 52. Is j(z) a multiple of 3?
True
Is 54 a factor of 2 + (1358 - (9 + -14))?
False
Does 50 divide (-28 + -2)/(3/(-20))?
True
Let u = 144 + -104. Does 2 divide u?
True
Suppose 11*r - 10*r - 661 = -5*s, -5*r + 2*s = -3440. Does 11 divide r?
False
Let x(u) = 2*u - 3. Let i be x(3). Suppose -4*j - 3*o = -283, 2*j - i*o = -2*o + 139. Is 10 a factor of j?
True
Suppose -7*y - 1458 = -10*y + 4*t, -3*y + 1482 = 4*t. Does 14 divide y?
True
Let p(u) be the first derivative of 2*u**2 + 4*u + 9. Does 7 divide p(6)?
True
Suppose 4*y + 373 = 3*k, 2*k + 2*k - 3*y = 502. Does 10 divide k?
False
Let b(c) be the third derivative of -3*c**4/8 - c**3/2 + 5*c**2. Let t = -11 - -6. Is 15 a factor of b(t)?
False
Let u(f) = f**2 - 2. Let j = -11 - -13. Let g be u(j). Suppose -k = g - 0, -4*w = 2*k - 236. Is 30 a factor of w?
True
Let y = -68 + 75. Suppose -19 = y*x - 313. Is 7 a factor of x?
True
Let a(j) = -52*j - 4. Is 25 a factor of a(-2)?
True
Suppose -394*x = -399*x + 3105. Does 8 divide x?
False
Let l(g) = -3*g**3 - 40*g**2 - 11*g + 18. Does 39 divide l(-14)?
False
Let h(r) = 4 - 3 + 1 + 0*r - 2*r. Let m be h(-5). Does 15 divide 4/(m/(-45))*-3?
True
Let h = -3289 + 7012. Is 13 a factor of h?
False
Let y be (6/12)/((-2)/8). Is 10 a factor of 1458/72 + y/8?
True
Suppose 7*g + 22 = 8. Is 57 a factor of g/12*3*-568?
False
Let a(v) be the third derivative of v**6/360 - 7*v**5/120 + v**4/8 + v**3/2 - 2*v**2. Let q(u) be the first derivative of a(u). Is q(7) a multiple of 2?
False
Let a(n) = 117*n**2 - 8*n + 8. Is 20 a factor of a(2)?
True
Suppose a + 1941 = 2*w, w + 4850 = 6*w - 2*a. Is w a multiple of 22?
True
Suppose 9*w - 3636 = 1134. Is 18 a factor of w?
False
Is 25 a factor of 21/(-14) - 0 - 1206/(-4)?
True
Does 15 divide (10/(-4))/((-4)/96)?
True
Suppose 11*l = 18*l - 2506. Is 11 a factor of l?
False
Let y be 1*3/6*6. Suppose 0 = 5*h - 5*p - 5, -y*h - 3*p - 2*p - 5 = 0. Suppose 5*m + 5 - 10 = h, 2*n + m = 43. Does 7 divide n?
True
Suppose 2*t - 2*y - 6 = 0, 0*y = -2*t - 2*y - 10. Is t - -1 - (-384)/6 a multiple of 21?
False
Is 58 a factor of 2*1/7 + 178560/280?
True
Let i = -231 + 624. Suppose -3*v + 309 = -i. Suppose 0 = -5*c - 4*f + 2 + v, f = -1. Is c a multiple of 12?
True
Let x be -1*(-3 + (0 - 2)). Suppose 0 = -a - 4*k - 13, -25 = 5*k - x. Does 3 divide 4 + (a - 0) + 4?
False
Suppose 0 = 3*h, 0 = -2*z + 2*h - 3*h + 936. Is z a multiple of 26?
True
Suppose 0 = 2*l - o - 1264, 3*l + 19*o = 21*o + 1898. Is l a multiple of 35?
True
Suppose -26*m + 17*m + 378 = 0. Does 6 divide m?
True
Let b(d) = 267*d + 1. Let q be b(2).