 -m - 3*y + 213, 0 = 5*m + 3*y - 1011. Does 38 divide m?
False
Suppose 0 = 4*w - 6*s - 2429 - 711, -s - 783 = -w. Does 19 divide w?
True
Let z be 16/(1 - 173/175). Suppose 16*g + z = 26*g. Is 12 a factor of g?
False
Suppose -6*q = -309 - 3303. Is q a multiple of 39?
False
Let s(l) = -l**3 + 3*l**2 + 6*l - 2. Let j = -7 + 11. Let r be s(j). Suppose -t = 4*x, 0 = r*t - 3*t - 2*x - 42. Does 6 divide t?
True
Let c = 2175 + -2087. Is 3 a factor of c?
False
Let m(b) = -1. Let t(g) = 3*g. Let f(s) = -3*m(s) - t(s). Let n be ((-24)/44)/3 - (-20)/(-11). Does 9 divide f(n)?
True
Suppose 3*s = -3*s - 240. Let c be 5/2*s/(-25). Suppose -y = 4*y + c*u - 16, -3*u + 1 = y. Is 4 a factor of y?
True
Is (-1161)/(-24)*-2*-4 a multiple of 7?
False
Let m = -837 + 1236. Is m a multiple of 21?
True
Does 8 divide (1*(-8)/(-10))/(62/18600)?
True
Let d(j) = -6*j - 2*j + 1 + 7*j. Let p be d(8). Let a = -3 - p. Is 4 a factor of a?
True
Suppose 2*o - 609 = -3*x, 8*o - 4*o - 4*x = 1248. Is 78 a factor of o?
False
Let m = 48 + -44. Suppose -4*i + 200 = 3*q - m, 5*q = 3*i + 369. Is q a multiple of 18?
True
Let g(t) = t**2 - 3*t - 4. Let h be g(4). Suppose -7*l = -h*l - 1477. Does 39 divide l?
False
Let b be 4/6 + 4436/6. Let s be b/32 + 2/(-16). Let g = 31 - s. Is 5 a factor of g?
False
Let j = 20 + -18. Suppose -3 - 1 = -j*g. Does 6 divide -9*2*(-2)/g?
True
Suppose -y + 2309 = 3*s, 4*y = -5*s + 8082 + 1189. Does 13 divide y/24 + 1/6?
False
Suppose 5*i - 12 = m, -12 = -3*i + 4*m + 2. Let j(l) = 33*l + 3. Let r be j(i). Suppose -r = -3*t - 12. Is t a multiple of 19?
True
Let l(b) = -7*b**2 + 40*b**3 + 6 - 16*b**3 - 23*b**3 + 7*b. Is 32 a factor of l(8)?
False
Suppose -15*r + 47300 = 40*r. Does 5 divide r?
True
Suppose 14 = -3*v - x + 92, -2*v + x + 57 = 0. Suppose -255 = -5*o - 2*l, -24 = -o + 3*l + v. Is o a multiple of 6?
False
Let k(p) = 15*p**2 + 3*p - 6. Is 13 a factor of k(5)?
False
Let p = -53 + 40. Let c = 223 + p. Is c a multiple of 39?
False
Suppose -2 = -m + 1. Suppose -6*v - m*v = -801. Does 10 divide v?
False
Let r(s) = 28 + 5*s - 10 - s**2 + 9*s + 0*s. Let q be r(15). Suppose 0 = -7*t + 2*t - 4*g + 277, 2*t - 120 = q*g. Does 10 divide t?
False
Let o = -77 - -76. Does 14 divide (3 - -128)/(0 - o) - -2?
False
Suppose 15 - 5 = 2*c - 2*i, 2*c + 4*i - 4 = 0. Suppose -7*u + 2*w = -2*u + 8, -c = -w. Suppose 5*z - 28 - 12 = u. Does 4 divide z?
True
Suppose 3 = 2*l + b - 2, -4*b = 4*l. Suppose -l*y + 4 = -1, -a - 2*y + 99 = 0. Is a a multiple of 9?
False
Suppose -3*m = -0*m - 5*d - 507, -2*d = 0. Does 20 divide m?
False
Is (-1050)/(-1)*896/280 a multiple of 20?
True
Let r = -5 + 56. Is 200/(-30)*r/(-2) a multiple of 8?
False
Let u(w) = 178*w**2 - 2*w + 1. Let s be u(-1). Let b = -145 + s. Is b a multiple of 12?
True
Suppose 3*m = -7*d + 2*d + 77, 2*m - 52 = -4*d. Suppose -7*c - 3 = -m. Suppose -108 = -3*h - c*v, 2*h = -4*v + 23 + 55. Does 10 divide h?
False
Let n = 489 - 188. Is n a multiple of 23?
False
Is 40 a factor of (491 - 1) + (5 - 3) + -6?
False
Suppose 3*c + 31 = 5*w + 7, -3*w - 3*c = 0. Suppose 6*t = q + w*t - 16, 2*q + 3*t = -4. Does 3 divide q?
False
Let y be (-1 - 4) + 58 + 3. Let c = 14 + y. Is 7 a factor of c?
True
Suppose -15 = 3*g, 4*a + 5*g = a + 44. Is a a multiple of 4?
False
Let v = 3 + 0. Does 28 divide (560/((-15)/v))/(-1)?
True
Suppose x + 3215 = 5*r + 4*x, 5*x + 3255 = 5*r. Does 17 divide r?
True
Let d(l) be the third derivative of -3*l**4/8 - 5*l**3/6 + l**2. Suppose 2*o + 4*r + 4 = 0, -25*r + 2 = -o - 30*r. Does 3 divide d(o)?
False
Let w = 14 + 31. Let m = -29 + w. Is m a multiple of 3?
False
Let l(f) = f**2 + 14*f - 27. Is 21 a factor of l(8)?
False
Let w be 25/(-10)*8/(-10). Suppose -3*a + j = -127, j = 5*a - w*j - 217. Is a a multiple of 6?
False
Suppose 13*m - 2973 = -360. Is m a multiple of 5?
False
Suppose -127 = -9*g + 188. Does 3 divide g?
False
Let h(t) = t**2 - 9*t - 18. Let u be h(11). Suppose 0 = -3*a - f + 69, a - u*f - 36 = -0*a. Does 5 divide a?
False
Let y(p) = p**3 - 9*p**2 + 8*p + 5. Let d be y(8). Suppose -d*q = -216 - 144. Does 18 divide q?
True
Let i = -23 - -26. Suppose -i*w - 2*w + 490 = 0. Is 14 a factor of w?
True
Let x = -1246 + 1772. Is 18 a factor of x?
False
Let y = 33 - 17. Let l = y + -48. Let h = l - -45. Does 13 divide h?
True
Let k(n) = -5*n**3 + 36*n**2 + 42*n + 19. Let f(g) = 2*g**3 - 12*g**2 - 14*g - 6. Let r(a) = 8*f(a) + 3*k(a). Is 27 a factor of r(-9)?
False
Suppose 0 = -o - o + 20. Suppose 3*k = -4 + o. Suppose -k*y + 11 = 2*i - 5, -20 = -3*y + i. Is 4 a factor of y?
False
Suppose -3*l = 4*d - 4555, -6 = 4*l - 2*l. Does 11 divide d?
False
Suppose -f - 8 = -2*s, -5*s = f + 1 - 21. Does 35 divide -1 - 106/(-5 + s)?
True
Let x(f) = 2*f**2 - 3. Let z be x(-2). Suppose -45 = -5*p - g, z*g - 2*g = -p + 23. Is 7 a factor of p?
False
Let n = -33 - -27. Is n/2 + 46 - (-1)/1 a multiple of 11?
True
Let a(d) = 13*d - 1. Let c be a(1). Is (-165)/(-4) + (-3)/c a multiple of 36?
False
Let i(j) be the second derivative of 2*j**4/3 + j**3/2 - 3*j**2/2 - 9*j. Is i(2) a multiple of 5?
True
Let s be 2 - -6*18/(-3). Let g = 69 + s. Suppose -2*k + g = 5*p, 2*p - 15 = -p. Is 5 a factor of k?
True
Suppose 4*n - 3*c - 841 = 0, 467 - 57 = 2*n + 2*c. Is n a multiple of 7?
False
Let l(b) = 1 - 3*b**2 + 3*b**2 + 5*b - 2*b**2 + b**2. Let d be l(4). Suppose d*i - s = 48, i = -3*i - 4*s + 48. Does 6 divide i?
False
Let a(c) = c**2 + 3*c - 7. Let k be a(0). Is ((-190)/(-35) - 2)/((-1)/k) a multiple of 8?
True
Let j(q) = 28*q - 7. Let g be j(7). Let u be (-2)/6 + (-598)/6. Let z = u + g. Is 18 a factor of z?
False
Let o(m) = 6*m**2 + m - 6. Let d(z) = -5*z**2 + 5. Let j(i) = -3*d(i) - 2*o(i). Let q = -52 - -49. Does 10 divide j(q)?
True
Let z(u) = -u**2 - 23*u - 12. Does 9 divide z(-6)?
True
Let i(l) = 306*l - 233. Does 10 divide i(3)?
False
Suppose 3*g + w - 653 = 2*w, 5*g + 3*w = 1093. Does 2 divide g?
True
Suppose -404 + 164 = -4*w. Is 10 a factor of 253/5 + 0 - 36/w?
True
Let v(t) = 2*t + 5. Let p be v(19). Let l = -40 + p. Suppose -58 = -i + 2*k, 0*k = i + l*k - 73. Does 23 divide i?
False
Let l be (-1 + 0)/(1/(-3)). Suppose -2*o = -l*o + 104. Suppose o = 2*y - 0*y. Does 16 divide y?
False
Suppose 5*o - n = 1228, -n = o + 107 - 349. Is 5 a factor of o?
True
Suppose 5*d - 4*r = -24, r - 3*r + 10 = -2*d. Let h be (35/(-10))/(2/d). Is 15 a factor of (-2)/h + 848/28?
True
Let v(i) = 267*i**2 + 3*i + 2. Does 32 divide v(-2)?
False
Is 13 a factor of (-1 + 4)*47370/45?
False
Suppose -4*n - 1367 = -3*t, -2*t - 2*n + 277 + 625 = 0. Is t a multiple of 20?
False
Suppose -5*n - 3*i = 16 - 0, -3*n - 3 = 4*i. Let t(h) = -4*h - 8. Does 11 divide t(n)?
False
Suppose -d = -5*t + 9 - 2, -2*d - 6 = -2*t. Let u be (-3)/5*(-4 - t). Let k(w) = w**3 + w**2 - 2*w - 4. Is 13 a factor of k(u)?
True
Suppose f - 13 = -1. Suppose -7*k = -f*k. Let x = k - -15. Is 11 a factor of x?
False
Let d(b) = b**2 - 3*b + 5. Let z be d(2). Suppose -u = 3*x - 22, -z*u + 4*x + 18 = x. Is 6 a factor of u?
False
Let x(h) = -h**2 - 12*h - 8. Let c be x(-6). Suppose 0 = -3*f + c + 14. Suppose 3*j = 85 + f. Does 19 divide j?
False
Is ((-210)/25)/((-21)/20 + 1) a multiple of 4?
True
Let q = 2107 - 1455. Is 26 a factor of q?
False
Suppose 2*y - 3*p = 116 - 41, -3*y + 3*p = -117. Does 19 divide (-4)/14 + 810/y?
True
Let z = 23 - 21. Suppose 10 = z*d + 2*a, -5*d - a = -0*d - 5. Suppose -g - 6 + 17 = d. Does 2 divide g?
False
Suppose 129 = 5*b - 4*b - 3*o, 2*b - 4*o = 256. Does 21 divide b?
True
Let v = 59 - 69. Is 14 a factor of (-904)/2*v/20?
False
Suppose -3*m - 92 + 383 = -4*l, 0 = -4*m - 3*l + 388. Suppose m = -t + 2*t. Is 10 a factor of t?
False
Let b = 8 + -8. Suppose 0 = i - b*i + 28. Is (i/21)/((-2)/3) even?
True
Suppose -d - 3*m - 1 = 0, -d + 0*d + m + 7 = 0. Suppose d*t = 4*t. Let o = t - -9. Is 9 a factor of o?
True
Let r(d) = -d**2 + 6*d - 10. Let q be r(3). Is (2 - q) + 19 + 6 a multiple of 14?
True
Suppose -2*r - 615 = -7*r. Suppose -53*t = -52*t + 59. Let n = t + r. Is n a multiple of 24?
False
Let o be ((-2)/5)/(-2) + 918/(-15). Let v = 68 + o. Is v a multiple of 7?
True
Suppose -76*k + 70*k = -1668. Is k a multiple of 33?
False
Let o(w) = -6*w**2 - w + 17. Let b(s) = s**2 + s. Let n = 1 - 2. Let h(g) = n*o(g) - 4*b(g). Does 26 divide h(-7)?
False
Suppose 4*k + 5