2*z = 4*t - 990, -324 = -t + q*z - 72. Is 2/(-6) + t/9 a multiple of 7?
False
Let s(h) = h**3 - 5*h**2 + 3*h + 1. Let c be s(3). Let n(x) = -3*x**2 + 4. Let a(u) = -4*u**2 + u + 3. Let k(v) = 2*a(v) - 3*n(v). Does 14 divide k(c)?
True
Suppose 4 = 4*a - 8*a. Does 14 divide -1 + (3 - a - 3 - -56)?
True
Suppose 1176 = 3*m - 4*l, m + 18*l - 391 = 19*l. Does 12 divide m?
False
Suppose 0 = -34*k + 13*k + 756. Is 9 a factor of k?
True
Suppose 6438 = 3*f + m, -34*f = -35*f - 3*m + 2154. Is f a multiple of 13?
True
Suppose -3*y = q + q - 17, -16 = -4*y - q. Suppose 3*p = p + 4. Does 25 divide (1 - p)/(y/(-225))?
True
Let x(z) = z**3 + 18*z**2 - z + 9. Let j be x(-18). Let a = 35 + j. Is 31 a factor of a?
True
Let g(y) = -2*y - 2 - 4*y + 16. Does 38 divide g(-4)?
True
Suppose -3 - 3 = 2*v, 0 = 3*j + 5*v - 342. Suppose 0 = 2*p + l + 3*l - 214, -p + 2*l = -j. Is p a multiple of 10?
False
Let q(h) = 5*h - 16. Let y be (4/(-2))/(4/(-10)). Is q(y) a multiple of 9?
True
Suppose 0 = -3*y + 5*q - 128, -y = -5*y - q - 140. Let p = 86 + y. Does 10 divide p?
True
Suppose -l + 2 = -3*p, -4*p - 3*l = -4 - 2. Suppose o = 11 - p. Does 11 divide o?
True
Suppose 3*x - 4*h - 24 = 0, 2*h = -h - 9. Suppose 400 = x*k - 5*v, -175 + 58 = -k - 3*v. Suppose 4*a = 5*o + k, 3*a - 96 = -o - o. Is 8 a factor of a?
False
Suppose 3*u + 20 = -2*p - 2*p, 2*u + 5*p = -25. Suppose u = 4*a - 8*a + 84. Is 2 a factor of a?
False
Let l = 728 + -675. Is 4 a factor of l?
False
Suppose 4*w = 15*w - 6380. Is w a multiple of 20?
True
Let d = -2875 - -4414. Does 39 divide d?
False
Let g(r) = -4*r**3 - r**2 - 2*r - 2. Let f be g(-2). Let t be (-3*1)/((-18)/f). Suppose -4*m = a - 76, -m + 38 = -0*a + t*a. Is m a multiple of 17?
False
Let a = 5 - -6. Let j = 17 - a. Suppose 47 = t + j. Does 21 divide t?
False
Let f(t) = 18*t + 16. Is 43 a factor of f(7)?
False
Let v = -13 + 7. Let h be 66 + 0 + v/(-3). Suppose 2*d - 4*k + 2*k - h = 0, -2*d = -3*k - 63. Is d a multiple of 24?
False
Suppose -o - 23*j + 1247 = -18*j, 20 = -4*j. Is 53 a factor of o?
True
Let p be (-88)/(-6) - (-3)/9. Is 10 a factor of (-12)/20 + 759/p?
True
Is (-21536)/(-12) + 4/12 a multiple of 46?
False
Let q = 1000 + -494. Is 28 a factor of q?
False
Let j(p) be the second derivative of -p**4/12 - 13*p**3/6 - 27*p**2/2 - 22*p. Is 2 a factor of j(-7)?
False
Let n(j) = -18*j**2 + 963*j - 8. Does 9 divide n(53)?
False
Let c = 2880 - 1080. Does 12 divide c?
True
Let v(s) = 119*s**3 + 10*s**2 - 21*s + 1. Is v(2) a multiple of 125?
False
Let y be 343/(-14) - (-2)/4. Let m = y + 33. Suppose m*r = 4*r + 275. Does 11 divide r?
True
Suppose -28 = -q + 11. Is q a multiple of 3?
True
Suppose -y = -d, -3*y = d - 2*d - 4. Suppose 0 = 3*f - o - 81, 3*f - d*o + 4*o - 81 = 0. Is (-3)/(f/33)*-9 a multiple of 11?
True
Let t = -2492 + 4781. Is 17 a factor of t?
False
Let u = 347 + -281. Is u a multiple of 19?
False
Suppose 24*s - 5454 = 354. Is s a multiple of 40?
False
Let z = 8 - 26. Let d be (-9)/z*34*1. Suppose r + 3*n = 66, r - d = n + 33. Is r a multiple of 16?
False
Suppose -12 = -6*b - 0*b. Does 5 divide (8 + -5)*b*(-6)/(-4)?
False
Let i = -1341 + 2397. Is i a multiple of 40?
False
Is 88 a factor of 10296/91*28/6?
True
Suppose 2*u - 7 + 1 = 0. Suppose -5*o = -u*o - 10. Suppose -x - a = -27, 0*x + 113 = 3*x - o*a. Is 13 a factor of x?
False
Let q be 559/4 + (-3)/(-12). Let c = -58 + q. Suppose -t + c = 32. Is 14 a factor of t?
False
Suppose 14*z = 4684 + 15252. Is 14 a factor of z?
False
Let t = -31 + 60. Let p(f) = -f**3 + 7*f**2 - 4*f - 7. Let w be p(6). Suppose w*k = 146 + t. Is 35 a factor of k?
True
Suppose 2*l = -5*a + 1823, -5*l + 1 = 6. Is 11 a factor of 2/5 + (a/25 - -5)?
False
Suppose -5*t + c = -422, 3*t + 41 - 295 = c. Suppose 4*s + t = 2*n + 2*s, 4*s + 92 = 2*n. Does 19 divide n?
True
Let k = -34 - -38. Suppose -4*a = 0, 181 + 11 = k*g - 5*a. Is g a multiple of 11?
False
Does 26 divide (273/(-84))/((-2)/352)?
True
Let z = 2253 - -183. Is 14 a factor of z?
True
Let g be -2*(-31)/2*1. Suppose -4*p + 481 = l, -3*p + l + 487 = p. Suppose -g = 2*v - p. Is 15 a factor of v?
True
Let b(l) = -4*l. Let g be b(-1). Suppose 4*w + g*c = 8*w - 352, c = -3*w + 280. Does 23 divide w?
True
Let b be 1/2 - (-69)/(-6). Let z = 14 + b. Suppose -f = 5*m - 47, -2*f - 2*m = -z*m - 61. Is 4 a factor of f?
True
Let o be -2 - (334/2)/(-1). Suppose 0*y - 3*f + o = -3*y, 2*f = -10. Is 28 a factor of (-2 - y)*(-2)/(-4)?
False
Let t = 59 + -15. Is 13 a factor of (-4)/22 - (4 - 8764/t)?
True
Let v(i) = 181*i - 153. Does 59 divide v(3)?
False
Let u(p) = -p**2 - p - 1. Let c(l) = 6*l**2 + 17*l + 22. Let x(t) = -c(t) - 5*u(t). Let g be x(-10). Does 23 divide g*(2 - (-19 + -2))?
True
Let a(p) = 24*p - 46. Is a(29) a multiple of 26?
True
Suppose 2*g - 17 = 5*t, -t + 6 + 11 = 3*g. Suppose g*b - 4*r = 2*b, 3*b - 5*r + 4 = 0. Does 18 divide 804/15 + b/5?
True
Suppose -2*u + 20 = -28. Let a = 26 - u. Suppose 0 = a*x - 2*j - 58, -115 = 4*x - 9*x - j. Does 8 divide x?
True
Suppose -4*c - 5*n + 2171 = 0, 16*n = 12*n - 4. Is 16 a factor of c?
True
Let z = 73 + -71. Suppose 0 = 3*f + z*f - 775. Is 24 a factor of f?
False
Let m(j) = 9*j**2 + 4*j - 8. Let g be 12/42 - 44/7. Let t be m(g). Suppose 3*q + 3*c - 213 = 0, q - 5*q + 4*c = -t. Is q a multiple of 19?
False
Suppose 0*d - 288 = 3*d. Let n = -248 + 196. Let b = n - d. Is 22 a factor of b?
True
Does 11 divide (434/4 + -4)*2?
True
Let z be 51/(-12) - (-1)/4. Let j be 12/(-18)*18/z. Suppose -2*v = -4*s - 3*v + 103, j*v - 23 = -s. Is 13 a factor of s?
True
Let s = -420 + 650. Let d = -152 + s. Is d a multiple of 6?
True
Let p(z) = -z**2 + 5*z - 4. Suppose -h + 11 = g + h, -h - 22 = -5*g. Let y be p(g). Is 2 a factor of 0 + 13 + y/4?
True
Suppose 3*o + 4*l + 113 = 523, 245 = 2*o - 3*l. Let d = -60 + o. Does 17 divide d?
False
Is (-2 - -220)*(-5 - -6) - -2 a multiple of 7?
False
Let f(j) = 2*j**2 - 14*j + 17. Let l(s) = -s**2 + 13*s - 17. Let w(a) = 2*f(a) + 3*l(a). Let n(d) = 2*d - 7. Let g be n(-3). Is w(g) a multiple of 7?
False
Let c = -605 + 1115. Is c a multiple of 30?
True
Let c(b) = 4 - 14 - 3*b**3 + 9*b**2 + 2*b**3 - 2*b - 6*b. Let y be c(7). Suppose 2*s + 6*j - 51 = j, s - 4*j = y. Is s a multiple of 9?
False
Let p = 736 + -500. Let z = p + -92. Is 12 a factor of z?
True
Suppose -s - 256 = -5*s. Let a(k) = -k**2 - 20*k + 31. Let b be a(-20). Let g = s - b. Does 11 divide g?
True
Let v(y) = 4*y**2 + 1. Let q be v(-1). Suppose 8 = -7*n + q*n. Is (-112)/(-20) + n/(-10) a multiple of 4?
False
Suppose -7*b + 1883 = 364. Is 10 a factor of b?
False
Let l(b) = -2*b**3 - 34*b**2 - 14*b - 26. Is l(-17) a multiple of 4?
True
Suppose 3*a = -3*t - 33, -5*t + 51 = -3*a + 10. Let x(m) be the third derivative of -m**4/12 - 17*m**3/6 + 7*m**2. Is 7 a factor of x(a)?
True
Let b = 83 - 72. Is b even?
False
Let k be -3*1 + (-5 - (-2 + -4)). Is 5 a factor of k/16 - 241/(-8)?
True
Let p = -68 - -68. Let j(b) = b**3 - b**2 + b + 168. Is j(p) a multiple of 28?
True
Suppose 32 + 24 = -2*a. Let l be 2 + (-7)/(a/(-8)). Suppose l*c = -2*c + 38. Does 4 divide c?
False
Suppose -142*j + 31240 = -131*j. Does 69 divide j?
False
Suppose 4*w + 2803 = 5*s, -3*s - 2*w + 1675 = -w. Is s a multiple of 12?
False
Suppose 0 = 15*i - 53*i + 84170. Does 118 divide i?
False
Let n be 9/(-6)*(-312)/9. Suppose -n = -5*m + m. Is m a multiple of 3?
False
Let j = -599 + 1085. Is j a multiple of 11?
False
Suppose 0 = -4*q + 12, -155 = -79*c + 77*c + 5*q. Is 15 a factor of c?
False
Let o(j) be the third derivative of 7*j**4/4 + j**2. Let w be o(6). Suppose 0 = 4*k - 0*k - w. Does 21 divide k?
True
Let j(q) = 2*q**3 + 7*q**2 + 4. Let n(w) = -w**2 + w + 1. Let l(r) = -j(r) + 5*n(r). Is 8 a factor of l(-7)?
True
Suppose -11 = -3*u + 4. Suppose -5*b + 247 = 4*n, -u*n + 66 = -4*b + 239. Is b a multiple of 4?
False
Suppose -11*g + 8*g = 5*f - 1025, 3*g - 1027 = -4*f. Does 14 divide g?
False
Let t(k) = k**2 - 2*k - 198. Let s be t(0). Let p = s - -283. Does 3 divide p/2*26/65?
False
Let g be 3 + (-2 - -3 - -286). Suppose -5*r = -3*v + g, 0*v + 2*r + 98 = v. Is v a multiple of 30?
True
Let r be 2*3/(-12)*-4. Let m(a) be the second derivative of 9*a**5/20 - a**4/6 + a**3/6 - 3*a**2/2 - 5*a. Is m(r) a multiple of 17?
False
Let s(q) = -2*q**2 - 4 + q + 4*q + q**3 - 5*q. Let l be 