) composite?
True
Let y(s) = 8*s + 11. Let w be y(10). Suppose 0 = -k + 2*r + 117, -4*k - 5*r = w - 546. Is k composite?
True
Suppose 112 = -7*k + 6*k. Let g = -33 - k. Is g a composite number?
False
Is 3 - 65/20 - (-25839)/12 composite?
False
Suppose 2*s - 29 = i, -5*i + 74 = 5*s + 24. Suppose 3*v - v = 3*c - s, 0 = 3*c + 4*v - 1. Suppose c*a + 2*z = 627, -748 = -4*a + 2*z + 102. Is a composite?
False
Let b be -1 + 2*1/2. Suppose 3*i + q = -b*q - 42, 4*q - 12 = 0. Let y = 6 - i. Is y composite?
True
Let w be 1 + -2 + -105 - 0. Let n = w + 261. Is n a composite number?
True
Let x = 61 + -61. Suppose 5*a - 3*v = 797, 5*v + 334 = -x*a + 2*a. Is a prime?
True
Let m = 136 - 265. Let r = m + -157. Let y = r + 413. Is y prime?
True
Is 13759/6 - ((-51)/18 - -3) a prime number?
True
Let h be 1/2 + (-63)/(-14). Suppose d + h*k = -13 - 0, -2*k = -4*d + 36. Suppose -128 + d = -j. Is j a prime number?
False
Let g = -27 - -27. Suppose 674 = -g*r + 5*r - 2*i, 0 = i + 2. Is r a composite number?
True
Suppose 3*w + 10635 = 6*w. Is w prime?
False
Suppose -i - 2*d = -7*d - 35, -4*d = -i + 30. Suppose 12*u - 62 = i*u. Is u a prime number?
True
Suppose -3*l = l. Suppose -k - q - 9 = l, 3*k - 2*k - 3*q + 21 = 0. Let z = 7 - k. Is z a prime number?
True
Suppose -702*k + 30220 = -698*k. Is k a composite number?
True
Is (-4243)/(-4) + (-37)/(-148) a prime number?
True
Let k(h) be the second derivative of -h**5/60 + 13*h**4/24 - h**3/6 + 2*h**2 + 6*h. Let i(a) be the first derivative of k(a). Is i(9) prime?
False
Let f(v) = -9*v - 19. Suppose -4*l + 0*l - 20 = 0, -5*k = l + 30. Is f(k) composite?
True
Let a be (8 - (-8)/(-2)) + -4. Suppose -d + 43 = -a*d. Suppose -2*j = -31 - d. Is j prime?
True
Suppose -18298 = -n - q + 2*q, 5*n - 91470 = q. Is n composite?
True
Let a = 15 + -23. Let x(u) = -3*u**2 - 4*u + 3. Let b(l) = -2*l**2 - 3*l + 3. Let o(k) = 4*b(k) - 3*x(k). Is o(a) composite?
False
Let w = 52 - -218. Suppose w*r + 20337 = 273*r. Is r composite?
False
Suppose 0 = 3*w + j - 4*j - 1089, 2*w - 3*j - 728 = 0. Is w a composite number?
True
Let m = 46 - 48. Is 183*(12 - -5) - m/(-1) prime?
True
Let q = 21 - 15. Suppose -2*w = q*s - 2*s - 6050, -3*s - 2*w = -4538. Let f = -623 + s. Is f a prime number?
False
Let w be (-1)/((-4)/(16 - -4)). Suppose -7*y + 886 = -w*y. Is y a composite number?
False
Let v(z) = 3650*z - 3. Suppose q = 3*b + 5*q + 9, 2*b + 3*q = -7. Is v(b) a composite number?
True
Suppose 2 = 2*y, 4*y = 3*o - o - 1146. Suppose -8 = -3*v + 7, 0 = -5*h + 3*v + o. Suppose 0 = -0*r + 2*r - h. Is r a composite number?
False
Let w = 1 - -27. Let s = -24 + w. Is 537*s/(-48)*-4 composite?
False
Is 31/(-155) - (-5)/(25/38966) composite?
False
Let y(l) = 6*l - 4. Let u(m) = -6*m + 3. Let j(x) = 3*u(x) + 2*y(x). Is j(-6) a prime number?
True
Let z(o) = 72*o**2 + 3*o - 7. Suppose -4*n - 6 = -14. Is z(n) composite?
True
Let t(f) be the third derivative of -13*f**7/2520 - f**6/240 - f**5/10 + 7*f**2. Let y(l) be the third derivative of t(l). Is y(-5) a composite number?
False
Suppose 27 - 4 = -q. Let d = -23 + q. Is 1/3*d*-3 a composite number?
True
Let j(b) be the second derivative of -17*b**3/3 + 23*b**2 + 10*b. Is j(-12) a composite number?
True
Let q(k) = -k**3 + k**2 + 3*k - 138. Let m be q(0). Let y = 301 + m. Is y a composite number?
False
Is 15972/18 - (-3)/(-9) a composite number?
False
Suppose -11*r + 6*r = -290. Let o = r - 155. Is o/(-3)*(11 - 5) a prime number?
False
Suppose 2*w + 4*i = -1596, -2815 - 332 = 4*w - i. Let j = w - -1201. Is j a prime number?
False
Let l = 1882 - 996. Is l composite?
True
Suppose 0 = -5*d - 5*t + 390, d + 3*t = 5*d - 319. Suppose 0 = 3*u - d - 458. Suppose -4*a + 97 = -u. Is a a prime number?
False
Let j(x) = -x**3 - 12*x**2 + 11*x - 59. Let h be j(-13). Suppose 0*t + 4*t - 44 = 0. Is (t - 12)*(h - 1) prime?
False
Let b(x) = 14*x - 2. Let a = -16 + 18. Suppose a*o - 2*m - 2 = -0, -o + 4*m = 2. Is b(o) a prime number?
False
Let w(r) = -2*r + 61. Let n be w(-7). Suppose f + 2*f = 6. Suppose -3*m - f*m + n = 0. Is m prime?
False
Let p be 2 - (-3)/9*0. Suppose 4 = 2*q - p. Suppose u + q = 16. Is u composite?
False
Let s(j) be the third derivative of j**6/24 - j**5/30 + j**4/6 + j**3/2 - j**2. Suppose -31*y + 200 = 19*y. Is s(y) a composite number?
False
Suppose -3*g + 15 + 1 = 2*d, 14 = -3*g + 4*d. Let h be ((-14)/(-4))/(g/116). Suppose -21 = 2*b - h. Is b composite?
True
Is (8/(-32))/((-3)/26580) composite?
True
Suppose -262 + 1182 = a. Let k = 89 + a. Is k a composite number?
False
Suppose 0 = 2*p + 2321 - 16311. Is p a composite number?
True
Suppose -1853 + 543 = -2*i. Let f = i + -384. Suppose -2*x - 3*g - 330 = -7*x, 4*x - f = g. Is x prime?
False
Let u(g) = g**3 + 4*g**2 - 6*g + 1. Let i be u(-5). Suppose -2*x + 6425 = -4*v - 1215, -3*v - 3821 = -x. Is x/i - (-36)/(-27) prime?
False
Let a be (-233 + -2)*(0 - 1). Suppose -2*k + 7*k = a. Is k composite?
False
Let v = -3897 + 17414. Is v prime?
False
Suppose -3*m + 56676 = 3*h, -4*h + 4*m + 23779 = -51813. Is h a composite number?
True
Let i = 8252 + 4319. Is i a composite number?
True
Suppose -185 = -14*y + 9*y. Suppose 14*w - y = 117. Is w a prime number?
True
Suppose 3*f = -4*s + 210, -4*s - 42 = -3*f - 264. Suppose 4*n = -45 - 319. Let o = s - n. Is o composite?
True
Let p = 130583 + -92662. Is p composite?
True
Suppose 4*d + 2*a = -2*a + 11512, -3*d = -2*a - 8639. Is d a composite number?
False
Let x(k) = k**3 + 12*k**2 - 20*k - 29. Let t be x(-14). Let p = -10 - t. Is p a composite number?
False
Let s(w) = 2504*w**2 + w. Let b(y) = 2504*y**2 - 1. Let h(j) = 3*b(j) - 2*s(j). Is h(-1) prime?
True
Suppose 0 = -5*s + 24 + 1. Suppose -5*i + 11 = u, -s*i + 3 = -u - 6. Suppose 3*c + 9 = 0, 3*b - i*b = -c + 18. Is b a composite number?
True
Let p(h) = -6*h**3 - 2*h - 1. Let w be p(-1). Suppose -6*i + w*i - 2 = 0. Suppose 0*n = -i*n + 154. Is n composite?
True
Suppose 0 = -s + 3*u + 7402, -4*u + 7378 = s + u. Is s a prime number?
True
Let v(l) = -6*l**2 - 6*l - 4. Let p(t) = 7*t**2 + 6*t + 4. Let n(m) = -5*p(m) - 6*v(m). Let w be n(-6). Suppose -44 = -w*k + 128. Is k a composite number?
False
Let t be (-20)/(-5)*569/(-4). Let l = t + 976. Is l a prime number?
False
Let x = -922 + 1478. Suppose 8*q - x = 12*q. Let h = 376 + q. Is h a composite number?
True
Let v = 144988 + -93557. Is v a composite number?
False
Let f = -28 - -32. Suppose 235 = -f*k + 5*k. Is k composite?
True
Let x be -4 - -1*(4 + -4). Let f = -3 - x. Let g(w) = 267*w - 2. Is g(f) a prime number?
False
Let w(c) = c**3 + c**2 - c + 1. Let k(v) = 27*v**3 - 2*v**2 - 3*v - 3. Let x(i) = -k(i) - 2*w(i). Is x(-2) composite?
False
Let k be 6*12/8*-2. Let p be (-8)/(-6)*(-27)/k. Suppose -o + p*s + 20 = 0, 40 = 4*o + 2*s + 10. Is o composite?
True
Let f = -7508 - -20977. Is f a composite number?
False
Suppose 4*a - 2395 = -859. Let g be ((-12)/3)/(-2) - (1 + -264). Let z = a - g. Is z a prime number?
False
Suppose -4*z - n - 34 = 0, -z = 4*n - 3 + 19. Let q be (z/(-10))/((-6)/(-3555)). Is (q/24)/(4/16) composite?
False
Suppose 3*x - 2 = 2*z, 5*z = -4*x + 3*x + 12. Suppose -7638 = -5*b - 2*k + 787, 0 = -x*b - 5*k + 3349. Is b a composite number?
True
Let r(k) be the first derivative of 14*k**3 - 5*k**2/2 - k - 31. Is r(-2) prime?
False
Suppose -41*f + 29485 = q - 37*f, -5*q - 4*f = -147489. Is q a prime number?
True
Is 21/35 - 28284*8/(-30) prime?
False
Let b(r) = -r**2 + 3*r - 2. Let y be b(2). Suppose -x + 1 = -5*q, q - 3 = -y*q - 3*x. Suppose 2*m + 4*h = 638, -2*m + 643 = 3*h - q*h. Is m a prime number?
False
Let i(z) = 34*z**2 - 3 - 8*z - 24*z**2 - 6*z. Is i(-11) a prime number?
True
Let k be (-2)/(1 - (0 - -3)). Suppose -4*y - k = 3. Is (y/(-2))/(1/74) composite?
False
Suppose -1580 = 2*v + 2*v. Let q(r) = -2*r**3 - r**2 - 2*r - 236. Let l be q(0). Let k = l - v. Is k composite?
True
Let b = 6 + -1. Suppose b*f = 15 - 55. Is 186/5 + f/40 prime?
True
Suppose 4*y = -4*b + 8372, 0*y = -5*y - 15. Suppose -2*m + 2228 = 2*c, 4*m = c + 2360 + b. Is m prime?
False
Suppose -54*l + 56*l = 5158. Is l prime?
True
Let p(c) be the third derivative of c**5/60 + c**4/12 + 11*c**3/3 - 25*c**2. Is p(-9) prime?
False
Suppose 4*n - 8 = 0, 3*n - 6 = 3*w - 6*w. Let a(u) = -2*u - 7. Let q be a(-5). Suppose -o + 487 = 5*m, -q*m + 4*m + 