. Is 7 a factor of g?
True
Does 7 divide ((-12)/(-10))/(4*(-15)/(-2800))?
True
Let b(l) = 4*l + 11*l**2 + 1 - l**3 - 3*l**2 - 6. Suppose -5*f + 4*x = -51, -2*f - 5*x = -4*f + 34. Is 18 a factor of b(f)?
True
Suppose 3*u + 3*n = u + 272, 5*u + 5*n = 685. Does 9 divide u?
False
Suppose 4*o - 12 = -2*t, -o + 26 = 4*o - 3*t. Suppose 0 = -4*v + v + o*i + 104, 4*v - 3*i = 148. Does 40 divide v?
True
Suppose 3*u + 0*u - 21 = 0. Let a(o) = 3*o**3 + 4*o**2 - 13*o + 2. Let p(q) = -q**3 + q**2 + q + 1. Let c(y) = -a(y) - 4*p(y). Is 5 a factor of c(u)?
False
Let o(r) = 34*r**2 - 5*r - 1. Is 26 a factor of o(-3)?
False
Let n(x) = 3*x**3 + x**2 - x + 1. Let y be n(1). Suppose 0 = -y*h - 2*v - 26, 0 = -0*h - 3*h - 4*v - 32. Is (2/h)/((-1)/4) even?
True
Let z be 38/8 - (-3)/12. Suppose o = 2*o - z. Suppose -2*k + 50 = 5*c, 36 + 49 = o*c - 5*k. Does 6 divide c?
True
Let u = 12 + -20. Let x(s) = 7*s - s**3 - 2*s**3 - 7*s**2 + 3 + 2*s**3. Is 9 a factor of x(u)?
False
Let v(p) = 8*p**2 - 19*p - 15. Is v(9) a multiple of 77?
True
Let v(i) = 6*i**2 + 9*i. Let y be (4/7)/(((-80)/56)/(-10)). Is 22 a factor of v(y)?
True
Suppose 79*a - 52*a - 50436 = 0. Does 78 divide a?
False
Suppose 3*r = -a + 4354, 0 = 5*r - 36*a + 37*a - 7260. Is r a multiple of 10?
False
Let k be (6/5)/(6/15). Suppose -5*s + 78 = -k*s. Suppose -19*l + s = -16*l. Is 13 a factor of l?
True
Suppose -18*s + 574 = -740. Is s a multiple of 30?
False
Let n(p) = -40*p - 25. Let o be -2*(-2 + (-20)/(-4)). Is 25 a factor of n(o)?
False
Let x(z) = -z**3 + 5*z**2 - 5*z + 14. Let f = 10 - 6. Is 3 a factor of x(f)?
False
Suppose 2*v + 3 = -2*u + 7, 2*v = 2*u + 8. Let x = 11 - v. Suppose 54 = x*g - 6*g. Is 8 a factor of g?
False
Is 16 a factor of 168/(-35)*(-530)/3?
True
Let b = 9229 + -3647. Is 31 a factor of b?
False
Suppose -t = 4*t - 30. Suppose -u + 7*u - 2040 = 0. Suppose -o = -t*o + u. Is o a multiple of 34?
True
Let o(i) = 7. Let y(k) = -k - 1. Let q(f) = -o(f) - 6*y(f). Suppose 0 = -5*m - 4 + 44. Does 29 divide q(m)?
False
Let r = 23 + -25. Let x = r - -10. Suppose -x*u + 601 = 169. Is 18 a factor of u?
True
Let c(j) = 64*j + 6. Let a be c(8). Let z = a - 328. Is 38 a factor of z?
True
Suppose -4*u + 16490 = 2898. Is 31 a factor of u?
False
Suppose 3*z + d = -0*d + 640, -5*d = -z + 192. Does 6 divide z?
False
Suppose 0 = 2*u - 3*u. Suppose h = -q + 131, -4*h - h - 4*q + 655 = u. Let c = 186 - h. Is 28 a factor of c?
False
Let w be (-2)/(4 + 27/(-6)). Let y(a) = 3*a - 8. Is 2 a factor of y(w)?
True
Suppose -2*r = 2*c - 230, 3*c - 7*c = -r + 120. Is 29 a factor of r?
True
Is 5 a factor of (102 + -9 - -7)*(-6)/(-5)?
True
Let u = -562 - -1342. Is u a multiple of 5?
True
Let n(y) = 5*y - 15. Suppose -3*x = -2*z - 53, -4*x + 0*z = -2*z - 72. Suppose 4*b - 18 = i + 15, 3*b + 5*i = x. Is n(b) a multiple of 5?
True
Let t = -1852 + 3232. Does 10 divide t?
True
Let d = -120 - -424. Does 6 divide d?
False
Suppose 3*i + 2*s = 1408, 7*s - 10*s = -6. Does 52 divide i?
True
Let k(a) = 61*a**2. Let u be k(1). Does 12 divide u - (0 - (-2 + 6))?
False
Suppose 3*m - 155 = 190. Suppose 5*i + 10 = m. Is 5 a factor of i?
False
Let u be (-11)/((-3)/(-3) - (1 - -1)). Let j = u + 73. Is j a multiple of 14?
True
Let d(r) = 9*r**2 + r + 6. Let o be d(3). Let u = 20 + o. Is u a multiple of 22?
True
Suppose 566 = -3*o - 5*i, -3*o + 62 = 3*i + 626. Let s = -165 - o. Is s a multiple of 13?
False
Let o(u) = -55*u**3 - u**2 - u - 2. Let t be o(-1). Suppose -t*j + 50*j + 231 = 0. Is j a multiple of 11?
True
Suppose -5*r = -7*r + 2*y + 918, 918 = 2*r + 2*y. Is r a multiple of 17?
True
Suppose -4*l - 4*x + 112 = l, 57 = 3*l - x. Suppose -2*v = 2*v - l, 580 = 5*k + v. Is 23 a factor of k?
True
Let n(g) = g**3 + 14*g**2 + 6*g + 3. Suppose 0 = s + 2*b + b + 9, s = 5*b - 1. Let z be n(s). Suppose 0 = -4*k + q + 224, -4*k - k = 5*q - z. Does 11 divide k?
True
Suppose -u + 41 = 4*o, 28 = 2*o - 3*u + u. Suppose 275 = o*y + 55. Is 3 a factor of y?
False
Does 12 divide (-20 + -20)*30/(-4)?
True
Let v(d) = d**3 - d**2 + 14. Let p be v(0). Let n = 21 - p. Suppose -n*t + 275 = -2*t. Is 11 a factor of t?
True
Suppose -2*k - k + 2*d - 141 = 0, 0 = -3*k + 3*d - 144. Does 4 divide 8/(-60) - 1626/k?
True
Suppose 0 = 15*f - 22*f + 1330. Is f a multiple of 46?
False
Let g(o) = -o - 12. Let d be g(-16). Does 17 divide (1/2)/(d/136)?
True
Suppose 0 = -76*d + 74*d + 1064. Does 17 divide d?
False
Does 30 divide 185 + 40/(-15 + 7)?
True
Suppose -k + 83 = -155. Suppose 0 = 67*u - 65*u - k. Does 17 divide u?
True
Suppose -4*m - 5*i = -1825, -6*m + 4*i + 2271 = -m. Is m a multiple of 5?
True
Let r be (-24 - -21)*4/6. Is 3/(159/(-84) - r) a multiple of 4?
True
Suppose 2 = -0*t + t. Let n(j) = -3*j**3 + 4*j**2 - j - 3. Let p be n(t). Let v(a) = a**3 + 13*a**2 - 6*a - 8. Does 21 divide v(p)?
False
Suppose -2*r + 1000 = 3*r. Let c = r - 109. Is c a multiple of 13?
True
Let m = -9 - -12. Suppose -4*f + m = -9. Suppose -3*t + 154 = 2*t + d, t - 34 = f*d. Does 31 divide t?
True
Let v(h) be the first derivative of -2*h**3 - 3*h**2/2 - 3*h + 5. Let i be v(-3). Is i/(-10)*5*1 a multiple of 20?
False
Suppose 728 = 5*a + 98. Does 7 divide a?
True
Suppose 6*h = 2*h - s + 48, -2*h + 24 = -s. Does 4 divide 3/18 - (-286)/h?
True
Suppose m + 4*m = -4*p + 46, 20 = 5*p. Suppose t = m*t - 50. Does 6 divide t?
False
Suppose 5*v + 4*n - 39 = 1792, 3*v + 4*n = 1097. Let r = v + -171. Suppose 2*z = 2*b + 2*b - r, 4*z = -5*b + 245. Does 13 divide b?
False
Suppose m + 8 = 3*m. Suppose 4*s + 5*n = 264, m*n - 73 = -3*s + 125. Does 9 divide s + 1/((-1)/3)?
True
Suppose 2*c - 18 = 6. Suppose 3*d = 51 + 162. Let n = d - c. Is n a multiple of 29?
False
Suppose 4*n + 5*o - 8159 = 3233, 4*n = 4*o + 11356. Is n a multiple of 22?
False
Let j(f) be the first derivative of 8*f**3/3 + 3*f**2/2 - 7*f - 5. Let s be j(5). Suppose 3*d - s = -d. Does 22 divide d?
False
Let z = -5 - -15. Suppose -12*t + z*t = -118. Is 5 a factor of t?
False
Let q(p) be the second derivative of p**5/20 - p**4/3 - 5*p**3/6 - 3*p**2 - 11*p. Let s(d) = d**3 - 4*d**2 - 5*d + 6. Let j be s(5). Is q(j) a multiple of 18?
True
Let g = 695 - 648. Is 5 a factor of g?
False
Is (-662)/(-1) - (0 + -3) a multiple of 19?
True
Suppose -3*q = -5*s + 51, 9 = 2*s - 5*q - 0*q. Suppose -11*y = 33 + 55. Is y/s*279/(-2) a multiple of 31?
True
Let o(z) = z**2 - 8*z + 7. Suppose -11*n = -10*n + 5. Is 24 a factor of o(n)?
True
Let w(b) = b**3 - 13*b**2 + 14*b - 10. Let t(c) = -c**3 - 5*c**2 + 4*c. Let n be t(-6). Let q be w(n). Let d = q - -16. Is 15 a factor of d?
True
Let d(c) = c. Let i(z) = 39*z - 28. Let b(k) = -6*d(k) + i(k). Is b(10) a multiple of 57?
False
Let s = 27 + 95. Suppose s + 18 = u. Does 20 divide u/3 + (-4)/6?
False
Let h(o) = -3*o - 14. Let b be h(-6). Let c(i) = 1. Let m(p) = 5*p - 9. Let l(j) = 5*c(j) + m(j). Is 8 a factor of l(b)?
True
Let g = -1780 + 3111. Is g a multiple of 10?
False
Suppose 0*v + 5*v = -1215. Is (-11)/22*(-1 + v) a multiple of 18?
False
Let d(o) = -5*o - 25. Let j be d(-10). Let t = j - 21. Suppose 5*r - 142 = -2*f - 31, t*r - 4*f - 100 = 0. Is r a multiple of 23?
True
Suppose 241 = 5*u - 64. Let n = -18 + u. Is n a multiple of 27?
False
Let j(i) = 32*i**2 - i - 3*i + i + 1 + 5*i. Does 39 divide j(2)?
False
Suppose -f - 2 = -5*i - 19, -3*i = 2*f - 73. Is f a multiple of 27?
False
Let y(h) = 272*h - 1. Let g be y(1). Suppose 0 = -4*l + 3*b + g, 0 = 4*l - 7*b + 3*b - 268. Suppose l = -0*k + 2*k. Does 22 divide k?
False
Let p(c) = -c**3 - 5*c**2 - 4*c + 3. Is 21 a factor of p(-6)?
True
Suppose 3*i - 3*n = i, 5*i + 3*n = 0. Is 15 a factor of 130 + i + (-2 + -1 - -1)?
False
Let s = -2683 + 2976. Is s a multiple of 3?
False
Suppose -6*a + a - 15 = 0. Let h(t) = -54*t + 7. Does 39 divide h(a)?
False
Let g(y) = -2*y - 4. Let r be g(-4). Suppose -29 = -r*t - 161. Does 26 divide (-11)/t - 155/(-3)?
True
Let u(l) = -131*l - 17. Is u(-2) a multiple of 22?
False
Is 20 a factor of (-5 - -6) + (-2908)/(0 - 2)?
False
Does 8 divide ((-2274)/(-8))/((-36)/(-48)) - -6?
False
Let z be (1/4)/((-1)/(-8)). Let n(j) = -2*j + z - 4*j**2 + 2*j**3 + j - j. Does 7 divide n(3)?
True
Let s = -42 - -65. Does 13 divide s/(-2)*(-1 - 11)?
False
Is 38 - (6 + 4 + -13) a multiple of 12?
False
Suppose -3*i - 24 - 18 = 0. Let u = -3 - i. Suppos