q = c + -17. Is (24 - q)*1 + 4 a multiple of 11?
False
Suppose 0 = 127*n - 1054 - 378676. Is n a multiple of 23?
True
Suppose -2*p - 2 = 0, -10*g + 11*g = 5*p + 464. Is 51 a factor of g?
True
Let l(b) = -2*b**3 + 2*b**2 - 8. Does 26 divide l(-5)?
False
Let k(r) = 15*r - 67*r**2 + 66*r**2 + 1 + 0. Is 5 a factor of k(4)?
True
Let p = 151 + 96. Does 13 divide p?
True
Let a(w) = -4*w**2 + 151*w + 85. Is 2 a factor of a(37)?
True
Suppose -994 = 4*t + h - 2947, 0 = -2*t - h + 979. Is t a multiple of 7?
False
Suppose -5*l = -2*u - 7596, -5*l + 8381 = 2*u + 777. Is l a multiple of 19?
True
Let r be 2/(-8) + 965/4. Let p = -164 + r. Is p a multiple of 18?
False
Suppose s + 20 = 3*s. Let c = s + -9. Let p(d) = 32*d**3 + d. Does 23 divide p(c)?
False
Let d(i) = i - 4. Let f be d(4). Suppose 3*l = 90 - f. Does 30 divide l?
True
Let b(u) = -u - 11*u**2 + 8*u**3 - 7*u - 7*u**3 - 26. Is b(12) a multiple of 3?
False
Let t = 374 - 178. Suppose 4*m = 840 - t. Does 23 divide m?
True
Is 2 a factor of 1/((-35)/(-1980)) + 8/(-14)?
True
Let t = 5 + 135. Suppose 2*b + t = 4*b. Is 29 a factor of b?
False
Let s be 3*2/6*(349 + 1). Suppose 5*t + 4*b = -b + 370, s = 5*t - 5*b. Is 9 a factor of t?
True
Let t be (3/6)/(1/2). Let p be (2 - -30)*t/2. Let y = -1 + p. Is y a multiple of 15?
True
Suppose -882 - 553 = -5*u + 5*z, 4*u - 1157 = z. Does 5 divide u?
True
Let d(y) = -19*y**3 + 2*y**2 + 7. Does 15 divide d(-3)?
False
Let c(o) = 236*o**2 + 2*o - 3. Let a be c(1). Suppose -2*k - q = -115, -7*k + 3*q + a = -3*k. Is 29 a factor of k?
True
Let v = 1453 + 1280. Is 69 a factor of v?
False
Let w(p) = 2*p**3 - 9*p**2 + 7*p - 103. Is 81 a factor of w(11)?
False
Suppose 4*p + 180 = -2*p. Let q = 33 + p. Suppose -4*o + 207 = l, 4*l + 101 + 40 = q*o. Is 22 a factor of o?
False
Suppose -3*o + 113 = -73. Is 31 a factor of o?
True
Is 10 a factor of (-6)/(((-132)/(-16))/11) - -378?
True
Let u be (28 - -2)*(3 + 86/(-4)). Let t = u - -806. Is 27 a factor of t?
False
Let s be 24/16 - (330/(-4) + 2). Let c(y) = y**3 + 9*y**2 + 2*y - 2. Let q be c(-8). Let f = s - q. Is 18 a factor of f?
True
Suppose -938 = -3*v - 20. Is v a multiple of 25?
False
Let n be -1 - ((-2)/6*-9 - -9). Let r(i) = 14*i**2 - 4 - 5 + i**3 + 2 + 9*i. Does 7 divide r(n)?
False
Let p(w) be the third derivative of 29*w**4/12 + 5*w**3/6 - 11*w**2. Does 10 divide p(3)?
False
Suppose -2 = -p + 34. Is 18 a factor of p?
True
Suppose 15 = 3*w - z + 1, 0 = -3*z + 12. Suppose 6*t + w = 708. Is 16 a factor of t?
False
Suppose -5*g + 4*k + 0*k = -90, -54 = -3*g - 4*k. Is 6 a factor of 4/(8/g) - 3?
True
Let r(j) = j**2 - j + 2. Let n be r(2). Suppose -15 = 5*b, -n*f + 79 = 4*b - 5*b. Let p = 29 - f. Does 5 divide p?
True
Let v = -350 - -571. Does 4 divide v?
False
Suppose 0 = 4*b - 3 - 9. Suppose -r - 10 = -4*q, -3*r = 2*q - 3*q - b. Suppose 6 = q*g, 2*k + 109 = 5*k + 2*g. Does 7 divide k?
True
Let m(o) = 24*o. Let z = 3 - 5. Let i(f) = f**3 + 3*f**2 + 2*f + 1. Let l be i(z). Does 6 divide m(l)?
True
Let w = 20 - -13. Suppose w = -2*s + 131. Is s a multiple of 10?
False
Let v(w) = w**3 + 4*w**2 + 3*w. Let s be v(-2). Suppose -s*f - 13 = -9. Does 8 divide ((-12)/(-30))/(f/(-180))?
False
Suppose 110 = 2*o - 30. Let l be 2/(-14) + 500/o. Is 7 a factor of 3 + (-2*l)/(-1)?
False
Let o(a) = -a - 5. Let b(r) = -r - 1. Let s(k) = 6*b(k) + o(k). Let f = 3 + -8. Does 12 divide s(f)?
True
Suppose -5*r + 22 = 2*x, -2*x - 4 = 2*r + 2*x. Let b(f) = f**3 - 7*f**2 + 8*f + 1. Let n be b(r). Let j = -6 + n. Is j even?
False
Suppose -4*c + 1164 = -5*m, 4*m + 2206 = 5*c + 742. Does 28 divide c?
False
Let k(w) be the second derivative of -w**4/12 + w**3 + 9*w**2/2 + 6*w. Let p be k(8). Let c(s) = -s**3 - 7*s**2 - 6*s - 5. Is 11 a factor of c(p)?
False
Let t = -112 - -127. Is 8 a factor of (-2)/15 - (-317)/t?
False
Suppose -p = -2*c + 8 - 20, 2*c + 6 = 0. Let d(w) = w - 5. Let o be d(p). Suppose -5 = 5*h, -o = -3*j - 2*h + 69. Does 8 divide j?
True
Let h = 441 + 443. Is h a multiple of 52?
True
Let d(h) = -2*h**3 - 10*h**2 - 6*h + 6. Suppose 2*m = -2*n - 4, -n + 8 = -m - 0*m. Does 18 divide d(m)?
True
Let y(j) be the third derivative of -2*j**2 + j**3 + 0*j + 1/6*j**4 + 0. Is y(6) a multiple of 13?
False
Suppose l = -3*n + 22, n - 4*l = -0*l + 29. Suppose -14*a = -n*a - 150. Is 6 a factor of a?
True
Suppose 9 = -47*q + 50*q. Suppose -236 = -3*n - 68. Suppose g = -q*g + n. Is g a multiple of 7?
True
Is (1 - 28960/(-35)) + 18/(-42) a multiple of 92?
True
Is (-1897)/(-4) + 2 + 25/(-20) a multiple of 5?
True
Suppose 4*u + 0*c - 3*c = -33, -4*c - 18 = 5*u. Is ((-454)/(-4))/((-3)/u) a multiple of 21?
False
Is (2 - -3) + 120/4 a multiple of 15?
False
Let u(f) = 2*f**3 - 5*f**2 - 4*f - 4. Is u(5) a multiple of 57?
False
Suppose -5*k + u + 4 = 4*u, 2*k - 2*u + 8 = 0. Let y = k + 3. Is 455/10 - y/4 a multiple of 10?
False
Let o(s) = s**3 + 8*s**2 - 5*s - 4. Let c(z) = z + 2. Let r be c(6). Suppose 4*j = 5*j + r. Does 9 divide o(j)?
True
Suppose 5*m = 11*h - 10*h + 4074, 1612 = 2*m + 4*h. Is m a multiple of 37?
True
Let o = 31 - 24. Let u(c) = -17*c**3 - c**2 - 10*c + 9. Let t(h) = 18*h**3 + h**2 + 9*h - 8. Let f(i) = o*t(i) + 6*u(i). Is 5 a factor of f(1)?
False
Suppose 4*l = -4, 6*s - s - 2*l - 992 = 0. Let i = s + 192. Suppose i = 3*y + 3*y. Does 16 divide y?
False
Suppose -3*b + 11 = -10. Suppose 0 = -6*c + 227 + b. Suppose -4*y - 8 = -2*d - 50, -4*y - d + c = 0. Does 10 divide y?
True
Let n = 311 - 151. Is 7 a factor of n?
False
Let l(o) = 2*o**2 + 6*o. Does 20 divide l(-5)?
True
Let g(q) = -180*q**2 + 3*q + 1. Let i be g(-1). Is 6/4*i/(-21) a multiple of 2?
False
Let d = -2 + 3. Let a be 10/4*(14 + -4). Suppose 5*x = 3*f + f - a, f = 3*x + d. Is 9 a factor of f?
False
Suppose u = -y + 6, u = -2*y - 0*y + 10. Let q be 30*(y - (-30)/(-9)). Suppose q*g = 21*g - 9. Does 4 divide g?
False
Let k be -2 - -2 - (-3 + 23). Let d = k + 32. Is 8 a factor of (21/d)/(3/36)?
False
Let z(h) = -h**3 + 7*h**2 - 7*h - 5. Let x be z(6). Let c(q) = 8*q + q + 0 + 0 + q**2. Is c(x) a multiple of 11?
True
Let l(y) be the first derivative of y**3/3 + 9*y**2 - 31*y + 3. Is l(-25) a multiple of 48?
True
Let h(d) = d**2 - 11*d - 17. Let u = -2 + 15. Is 2 a factor of h(u)?
False
Suppose 51*t - 30259 - 30686 = 0. Is t a multiple of 47?
False
Suppose 3*d - 5*t - 119 = 448, 3*d + 5*t - 597 = 0. Is 14 a factor of d?
False
Suppose -k = -3*k, 5*t = 3*k + 640. Let x = -87 + t. Is x a multiple of 6?
False
Let f = -51 - -107. Does 7 divide f?
True
Suppose 8761 = 15*q - 1304. Is q a multiple of 61?
True
Let z = -99 + 167. Is 7 a factor of z?
False
Let i(w) be the first derivative of -w**2/2 + 20*w - 4. Is i(6) a multiple of 3?
False
Suppose 40 = -0*a + 4*a. Let j(i) be the second derivative of 5*i**3/6 - 15*i**2/2 + 142*i. Is j(a) a multiple of 12?
False
Let u(r) = 19*r + 205. Is 3 a factor of u(4)?
False
Suppose 0 = -5*g + 57 + 18. Let v(a) = a**2 - 15*a + 34. Does 8 divide v(g)?
False
Let q(u) = 25*u + 1071. Does 63 divide q(0)?
True
Let w(h) = 2*h - 6. Let m be w(4). Let c = -1006 + 1009. Suppose m = c*l - 7. Is l a multiple of 2?
False
Suppose -2*t + 4*c + 895 = 3*t, 2*c = 5*t - 905. Is t a multiple of 61?
True
Suppose -453 = -y + a + 2*a, 0 = 3*a - 3. Is y a multiple of 46?
False
Suppose 2*m = -20 - 28. Let y(a) = -a**3 - 6*a**2 + 10*a + 11. Let o be y(-8). Let q = o + m. Is 15 a factor of q?
False
Let l be (-2)/(-10) + 32/(-10). Is 5 a factor of (-35)/((l - -2) + 0)?
True
Let m be -6 - -8 - (1 + -2). Suppose -m*s - 4*q - 11 = 0, 3*s - 3*q + 0*q + 39 = 0. Is s/1*(-1)/3 a multiple of 3?
True
Suppose -1724 = -5*k - h, 0*h + 1040 = 3*k + 2*h. Suppose -4*i - 4*c = -k, -c = 3*c. Does 5 divide i?
False
Suppose 129*v + 3528 = 135*v. Does 21 divide v?
True
Let x(a) = a**3 - a**2 - 2*a + 14. Let f(y) = -y - 26. Let q be f(-26). Is 2 a factor of x(q)?
True
Suppose 3*l = -3*x, -l + 10 = -x - 3*x. Suppose -l*g + 2*y - 776 = -7*g, 296 = 2*g - 4*y. Is 8 a factor of g?
False
Suppose -3*p = 5*f - 13, 3*p = 10 - 22. Let g = -16 + 45. Let u = f + g. Is 8 a factor of u?
False
Let c(z) = 2*z - 2*z**2 + z - 1 + z**3 + z - 3*z. Let k be c(3). Suppose k*g = 15*g - 8. Is 2 a factor of g?
True
Does 42 divide 464 - (-1 - 4 - 5)?
False
Let d(a) = 2*a + 127. Is d(-20) a multiple of 15?
False
Suppose -p = 5*n - 516