059 = -j, 0 = 3*j - 5*o - 18262. Is j a composite number?
False
Let d(k) = -168*k**3 - 3*k**2 - 9*k - 77. Is d(-4) composite?
False
Suppose 8*l - 78016 = -4552. Is l a composite number?
True
Let r = -1570 + 5851. Is r composite?
True
Suppose 3 = -4*v + 5*o + 11, -2*o + 8 = 4*v. Suppose -u = 2*m - 664, -m - 666 = -3*m - v*u. Is m a composite number?
False
Let i(r) = -r**2 + 9*r - 12. Let s be i(8). Let n(v) = 92*v**2 + 8*v + 8. Let w be n(s). Let x = w - 757. Is x composite?
False
Suppose -4*m - 69 = -4*o + 19, 3*m + 26 = o. Suppose 0 = 9*g - 4*g - o. Suppose -g*f + 796 = 4*a, -2*f + 363 = -5*a + 1323. Is a a prime number?
False
Let l(c) be the second derivative of -239*c**3/6 - c**2/2 - 19*c. Is l(-4) composite?
True
Let h = -87836 + 135393. Is h a prime number?
False
Let u = 6346 - -1476. Is u composite?
True
Suppose 0 = -3*m - m + s + 5448, 12 = -3*s. Is m prime?
True
Suppose -9*k + 13*k - 17524 = 0. Suppose 237 = x - 5*p - 1210, -5*p + k = 3*x. Is x composite?
True
Let v = 203 + -126. Is v a composite number?
True
Let b be 0 - 1*4/2. Let g(z) = 48*z + 1. Let k(t) = -143*t - 2. Let d(j) = -7*g(j) - 2*k(j). Is d(b) composite?
False
Suppose 3 = 3*s - 2*q - 13, -5*q = -2*s + 18. Suppose 2*j - s = 24. Suppose -j*t = -11*t - 2055. Is t a composite number?
True
Suppose 168*p = 102*p + 4066458. Is p a composite number?
False
Suppose 41 = -0*h + 5*h + 2*x, 2*h - 12 = -3*x. Let k(b) = b**3 + 3*b - 6*b**2 + 0*b**3 - h - 2*b**3. Is k(-8) a composite number?
True
Suppose 4 = 4*s - 2*s. Let j(p) = -2*p**3 - 7*p**2 + 2*p - 27. Let b be j(-5). Suppose 0*c + b = s*c. Is c composite?
False
Let n(d) be the second derivative of 4*d + 0 - 55/6*d**3 + 5/2*d**2. Is n(-6) prime?
False
Suppose x + 3*f = -f + 10, -2*f + 8 = 2*x. Suppose 0*i = x*i - 170. Is i a composite number?
True
Let x(y) = 308*y - 217. Is x(7) a composite number?
True
Let o = -13 + 12. Let t(n) = -4*n + 2. Let g be t(o). Suppose -4*p - 430 = -2*u - 0*u, 2*p = -g. Is u composite?
True
Let v = -13947 - -29504. Is v prime?
False
Suppose 10 - 9 = -c. Is (c/2)/((-2)/748) a composite number?
True
Suppose -w + 1336 = b - 3153, -17984 = -4*w + 3*b. Is w prime?
True
Let p(k) = 95*k + 1. Suppose -2*v + 1 = -1. Let d be p(v). Suppose d = r - 67. Is r a composite number?
False
Suppose 6 = 2*b, -3*m = 4*b - 3*b - 22920. Is m a composite number?
False
Let x(y) = -7589*y**3 - 1. Let s be x(-1). Suppose 3*n + n - s = 0. Suppose z - n = -4*z + 2*c, 2*z - 774 = -3*c. Is z a composite number?
True
Let k = 429 - -2998. Is k prime?
False
Is (-2)/(-6)*4241061/33 a prime number?
True
Suppose -i - f - 1 = -2*i, 7 = -3*i + f. Is -1*-2*(-921)/24*i a composite number?
False
Let z = -4543 - -11152. Is z a composite number?
True
Let z be (-4 - (-8)/2)/(-2). Suppose 3*c - 5*w - 279 = 0, z = -4*c - 0*w + 2*w + 372. Let l = c - -68. Is l composite?
True
Suppose 5*a - 75498 = -4*r, -3*a - 50213 - 44178 = -5*r. Is r a prime number?
False
Suppose 5*t = -137 + 27. Let q = 25 + t. Suppose y = -z + 90, 3*z + 128 = q*y + 368. Is z a prime number?
False
Let p be (-36)/(-63) - (-18)/(-7). Let r be -7 + 38 - (p - 2). Is (-3879)/(-21) + 10/r a prime number?
False
Let y = -2 + 3. Let k(u) = 4*u**2 - 18*u**2 + 14*u**2 + 6*u**3. Is k(y) a composite number?
True
Suppose -5*p - 30621 = -0*n - 3*n, 2*n - 5*p = 20414. Is n composite?
True
Is 9/12*(-14)/21*-12086 a prime number?
True
Let s be (-5)/(-3) - (-3)/9. Suppose k = s, 0 = n - k - k - 267. Is n a prime number?
True
Let c(b) = -26*b - 3. Let d be ((-25)/50)/((-2)/(-28)). Is c(d) a prime number?
True
Suppose -4*j = -3*g - 9*j + 1, 3*g = -3*j + 3. Suppose -2*d + 2*l = -106, -l + 0*l + 94 = g*d. Is d a prime number?
False
Suppose 2*h = -2*h + 5908. Is h composite?
True
Suppose 3*k - 37 + 10 = 0. Let b(d) = -d**2 + 5*d + 4. Let p be b(7). Let v = k - p. Is v a composite number?
False
Suppose -8*r + 4*r + 12 = 0. Suppose -25 = -y - 3*q + 8*q, r*q + 6 = 0. Suppose 3*x + 87 = 4*f, f = x + 7 + y. Is f a prime number?
False
Suppose -2*x - j + 4*j = -395, -187 = -x - 2*j. Suppose 4798 = 7*y - x. Is y composite?
True
Let h(a) = a**2 + 9*a - 6. Let z be h(-10). Suppose 0*m - z*x = -3*m + 56, m - 2*x = 22. Let l = m + -8. Is l a composite number?
True
Let s be 5*(-1)/(15/(-9)). Suppose -s*o = 3*w - 15, -2*w - 3*w + 25 = 4*o. Suppose w*h = 3*k - 371, -h - 258 = -2*k - 3*h. Is k a prime number?
True
Let p(f) = f**2 + 6*f - 13. Let x be p(-9). Suppose -895 = 9*q - x*q. Suppose -5*l + q = 3*c, -3*c + 111 = 2*l + l. Is l composite?
True
Let w(p) = p**3 - 2*p**2 + 4*p - 9. Let c be w(2). Suppose a = 3*s - 3 - 4, 5*s + 2*a = -3. Is (-1)/(s/(-212)) - c a prime number?
False
Let j(z) = 2*z**2 - z + 212. Is j(35) composite?
True
Let r(p) = 8*p**3 - 8*p**2 - 13*p + 11. Is r(8) a prime number?
True
Suppose 6*i - 69918 = -13128. Let y be i/9 - 6/9. Let b = 1680 - y. Is b a prime number?
False
Is ((-1)/(-2))/((-36)/(-98424)) a prime number?
True
Let n(o) = o + 1. Let d(g) = 4*g - 948. Let s(y) = -d(y) + 5*n(y). Is s(0) a prime number?
True
Let q(i) = -i**3 - 3*i**2 - i - 1. Let a be q(-3). Suppose 5*r - 24 = 3*r + 2*m, 4*m = 12. Suppose -23 = -a*n + r. Is n composite?
False
Let p(l) = 34*l**3 - 4*l**2 - 19*l**3 + 12 - 6*l + 0*l**2. Is p(5) a prime number?
False
Let c = 574 + 57. Is c composite?
False
Let o = 75 - 73. Is (-5)/(10/(-163))*(o + 0) composite?
False
Let b(o) = 284*o**2 + 3*o - 3. Let l be b(-3). Suppose -4*h = s - l, -h - 2*s = -3*s - 631. Is h prime?
False
Suppose 2*g - 4 = -2*k + 4, k = -4*g + 7. Suppose 0 = -k*q - 3*f + 11526, -2*q + q = -4*f - 3867. Is q a prime number?
True
Let n(t) = 57*t + 11. Let l(i) = -1. Let b(u) = 6*l(u) + n(u). Let o be b(-5). Let j = -153 - o. Is j a prime number?
True
Suppose -4*d - 24 = d - 4*h, 3*d + 5*h = -44. Let z = d + 178. Suppose 8*r - 3*r + 239 = 3*s, -2*s = 2*r - z. Is s composite?
False
Suppose 8*t - 6904 = 624. Is t a prime number?
True
Let j = -2 + 6. Suppose 0 = j*w + 4*d - d - 108, -100 = -5*w + 5*d. Is (-5986)/(-12) - (-4)/w a prime number?
True
Let t = 25 - 27. Is 5355/36 - t/8 prime?
True
Let l(b) = -12*b + 46*b + 24*b + 121*b. Let m be l(6). Is m/4*4/6 prime?
True
Let a(d) = -d**2 - 3*d + 1. Let y(t) = -t**2 - 4*t + 2. Let j be y(-5). Let k be a(j). Is k/(((-10)/(-254))/5) composite?
False
Let o = -622 - -6131. Is o a composite number?
True
Suppose 12*a - 19077 = -4*u + 13*a, 5*u + 4*a = 23841. Is u composite?
True
Let j(y) = 33*y**2 + 46*y + 5. Is j(14) a composite number?
True
Let y(x) = 3*x**3 - x**2 + 4*x + 1. Let o(c) = 5*c**2 + c - 6. Let n be o(-5). Let b be (n/95)/((-2)/(-5)). Is y(b) prime?
False
Let a(j) be the first derivative of 767*j**4/2 - j**3 + 5*j**2/2 - j - 1. Is a(1) composite?
True
Suppose 46 = 5*g - 29. Let k = 246 - 246. Suppose i - 2*s - 337 = -4*s, 5*s - g = k. Is i a prime number?
True
Let q be 27/4 - (-1)/4. Let x = q - -3. Let b(j) = 34*j - 3. Is b(x) prime?
True
Let w = 13 + 86. Let a = -42 + w. Suppose 4*h - 239 = a. Is h prime?
False
Suppose 8*d + 334 = 10*d. Suppose -3*v + d = -136. Suppose i = -3*l + v, -6*i + 50 = 2*l - i. Is l a composite number?
True
Let u(o) = -22*o + 13 + 17 - 31. Is u(-14) composite?
False
Let f(p) = -p**2 + 11*p - 19. Let y be f(9). Let d be y + (-1)/((-4)/(-72)). Let j = 204 - d. Is j composite?
False
Let b = 2 - 11. Suppose k - 3*v = 1343, 0*k = 5*k + 2*v - 6681. Is 3*(-3)/b*k composite?
True
Let i be -4 + 110/25 + (-182)/5. Is (-2)/8 - 3/(i/399) a prime number?
False
Let o = 82272 - 55715. Is o prime?
True
Let a(s) = -s**2 - 18*s - 7. Suppose 3*g + 11 = r - 1, 2*g = -4*r + 90. Let b = -30 + r. Is a(b) a composite number?
True
Suppose 0 = -3*p + 3*l + 161433, 4*l + 53805 = 9*p - 8*p. Is p composite?
False
Is 123601/7 - 46/161 a prime number?
True
Suppose 2*s - 3*s + 56 = 0. Suppose 6*z - 2*z + s = 0. Let l = -4 - z. Is l a composite number?
True
Let g(l) be the second derivative of -3/4*l**4 + 1/20*l**5 + 2*l**3 + 0 - 4*l - 9/2*l**2. Is g(10) a composite number?
False
Suppose -5*v + 184 = 14. Suppose -2*i + 4*w = -147 - 35, 185 = 2*i - 3*w. Let g = v + i. Is g a composite number?
False
Suppose -3*y = -4*o - 8*y + 1131, 0 = 4*o + 2*y - 1134. Suppose 3*m - o = 853. Is m a composite number?
False
Let h(z) = -6*z - 1. Let o be h(-1). Suppose -3*l + 8*l = 15, 0 = -3*t - l + 66. Suppose -g - 132 =