n(w) = 15*w + 35*w + 42*w + 3 - 28*w. Let s be n(4). Is (-1)/4 + s/28 composite?
True
Suppose 4*h + 4*f + 114 = 3*h, -5*h - 5*f - 525 = 0. Let i = -49 - h. Is i prime?
True
Suppose 2 = 5*s - 33. Let y be (-12)/(-16) - s/4. Is (0 - y)*(-62)/(-2) a prime number?
True
Let p be 4/6 - (-17)/(-3). Let b(m) = -3*m + 9. Let s(q) = 6*q - 17. Let i(w) = p*b(w) - 3*s(w). Is i(-5) a prime number?
False
Suppose -4*b + b = -3*q - 30, 4*b + 3*q - 5 = 0. Suppose -4*u + 26 = 2*c, -2*c + 5*c - 27 = -3*u. Suppose -d = k - c, -b = 2*d - 3*k - 0. Is d prime?
True
Is (-4)/(-6) - 155805/(-45) a composite number?
False
Let m = -7 + 9. Suppose 0 = 5*p + 5, 3*o = m*p - 4*p + 127. Is o a prime number?
True
Let z = 14 - 2. Let d = -7 + z. Is ((-44)/(-6))/(d/15) prime?
False
Let y(c) = -c - 4. Let w(i) = 2*i + 9. Let h(s) = -3*w(s) - 5*y(s). Let o be h(-6). Is 1 - (-2 - (-124)/o) a composite number?
False
Let w be (1 - 3 - -184)/1. Suppose q - w = -q. Suppose -5*y - 2*i = -117, y = -2*y + 4*i + q. Is y a prime number?
False
Let g be (-6)/(-12) - 10/(-4). Suppose 0 = 5*j + g - 28. Suppose -3*w - 2*i = -i - 136, 3*i - 220 = -j*w. Is w a prime number?
True
Suppose 4 = -9*w + 7*w. Is (-954)/w - (-7 + 6) prime?
False
Suppose 3*h + 56 = 4*k - 67, -h - 113 = -4*k. Suppose -3*c + 5*f + k = 0, -5*c - 2*f + 14 = -0*c. Suppose 146 = c*j - 170. Is j a composite number?
False
Let v(p) = -22*p - 13. Is v(-12) a composite number?
False
Let l = 889 + -247. Suppose g = h + 162, -3*g - g + l = 2*h. Is g a composite number?
True
Let y = 6 + -9. Is (-211)/(y + 6/3) a prime number?
True
Suppose -13 = -p + 2*a, -5*p + 2*a = -68 + 11. Is p a composite number?
False
Suppose -12 = -3*y, -y - 354 = -4*z + 58. Let n = 10 - 79. Let b = n + z. Is b a prime number?
False
Let o(f) = 2*f + 94. Let b(n) = -n**3 - 4*n**2 + 6*n + 5. Let u be b(-5). Is o(u) a composite number?
True
Suppose n + 8*i - 3*i = 34, 4*i - 98 = -2*n. Is n prime?
True
Is (-1 - 2) + 435 - 1 a composite number?
False
Suppose -5*m - 30 = 10. Let x(c) = -14*c - 3. Is x(m) a composite number?
False
Suppose -3*m + 33 = 5*y, -m + 2*m - y - 3 = 0. Let v = m - 3. Let l(u) = 3*u**3 - u**2 + 5*u - 4. Is l(v) prime?
True
Let r(u) = -4*u**3 + u**2 + 2*u + 1. Let z be r(-1). Suppose -h + 110 = z*h. Is h prime?
False
Let h be -3 - (-76)/(2 + -4). Let j = 100 + h. Is j composite?
False
Let y = -384 + 1142. Is y prime?
False
Suppose 2*m - 3 = 3. Suppose -x - 2*n + 528 = -3*x, -2*x - m*n - 513 = 0. Is x/(-7) + (-2)/7 composite?
False
Suppose x - 342 = -2*x. Suppose -3*w + 77 + 102 = 5*j, 2*j - x = -2*w. Is w prime?
True
Let x(z) = z. Let o be x(4). Suppose q - 10 = 5*k + 12, -o*q = -5*k - 28. Suppose -4*p - 54 = -n - n, -5*n + q*p + 103 = 0. Is n a prime number?
True
Suppose 3*i - 3*o = 3, 3*i = -i + 3*o + 3. Suppose i = 7*p - 5*p - 230. Is p composite?
True
Suppose -6*q = -4*q - 6. Suppose -4 = 2*g - q*g. Suppose 0*z + 2*l + 3 = z, 0 = -g*l + 16. Is z composite?
False
Suppose -y + j + 28 = 0, 3*y - 44 - 36 = 5*j. Let l = 56 - y. Is l a prime number?
False
Let l = -4 - -9. Suppose 3 = -l*r - 7. Let q = r - -16. Is q prime?
False
Let w(q) be the second derivative of -3*q**4/8 - 5*q**3/6 - q**2/2 - q. Let p(f) be the first derivative of w(f). Is p(-4) a prime number?
True
Let p(j) = 4*j - 3*j**2 + 8 - 2 + 2*j**2. Let i be p(5). Is ((-2)/4)/(i/(-74)) composite?
False
Let t be (-1)/(4 - 9/2). Suppose 0 = -t*b - 235 + 701. Is b a prime number?
True
Let l(b) = b**2 + b + 70. Let t be l(0). Let f = -39 + t. Is f composite?
False
Let t(d) = 44*d**3 - 4*d**2 - 4*d + 10. Is t(4) a composite number?
True
Suppose -5*q - 1112 = -417. Let p(d) = -3*d**3 + 1. Let y be p(3). Let s = y - q. Is s a prime number?
True
Suppose 3*i + f + 16 = -4*f, 5*f + 40 = 5*i. Suppose 4*p = 3*p + 3*k + 80, 3*p = -4*k + 214. Is (p + 0)/(-1 + i) composite?
False
Suppose 3*i + 2*r = r, 3*r = -9. Let c(h) = h**3 - 3*h**2 + 4*h - 3. Let k be c(2). Let n = i + k. Is n prime?
True
Suppose 3*h - m + 139 = -5*m, -4*h - 206 = -5*m. Let g = h + 102. Is g composite?
False
Suppose 5*b = -3*m + 1055, -4*m + 35 = -2*b + 457. Let n = b + -116. Suppose -3*j + 8*j - n = 0. Is j prime?
True
Let s(z) be the third derivative of -z**5/60 - 5*z**4/24 + z**3/2 + 4*z**2. Is s(-5) composite?
False
Let s(x) = 2*x**2 - x - 8. Let j be s(7). Suppose 0 = 2*y - 2*u - 54, 3*y + 0*u - j = 4*u. Is y a prime number?
False
Suppose 4*s - 36 = -4*o - 0*o, -3*s = 5*o - 39. Let w(j) = j**3 - 6*j**2 + j - 4. Let r be w(o). Suppose -r*l + 9 = -97. Is l a composite number?
False
Let y be 116/16 + (-2)/8. Let r(z) = y - z**3 + 0*z**3 - z + 0*z + 8*z**2. Is r(7) prime?
False
Suppose 3*r + f = 113, f + f - 4 = 0. Is r prime?
True
Suppose 5*s + 950 = 5*v, -v + 0*s + 193 = 2*s. Is v prime?
True
Let l(z) = z**2 - 3*z + 4. Let b be l(3). Let w = 6 - b. Is 38 - (2 - 2/w) a prime number?
True
Let o = 430 - 113. Is o composite?
False
Suppose -1 = -2*l + 5. Suppose -5*u = -5*z + 980, l*z + u = -u + 578. Let y = -67 + z. Is y a prime number?
True
Let l(o) = 4*o**2 - 3*o - 2. Suppose -m + 3*m + 4 = 0. Let d be l(m). Is (-2)/(-5) + 1092/d prime?
False
Let k = -41 - -78. Is k a composite number?
False
Let y(a) = 8*a**2 - a. Let z be y(1). Let q be ((-2)/2)/(z/(-7)). Let l(g) = 3*g**2 - 1. Is l(q) a prime number?
True
Suppose v - 4*k - 20 = -4*v, k - 4 = -v. Suppose 4*f - 840 = -4*r, 2*r - 1053 = -v*f - f. Is f composite?
False
Let h = 798 - -41. Is h a composite number?
False
Let r be 2/(-1) + 2 + 2. Suppose 2*d = -5*x + 1645, d = -r*d. Is x a composite number?
True
Let d be (-13)/(-2) + 3/(-6). Is 6/4*652/d composite?
False
Suppose 0 = 5*s + 20, 0 = 4*c - 2*c + 2*s - 122. Suppose -8*i - c = -13*i. Is i composite?
False
Suppose 0 = 2*w - n + 43, -3*w - 52 = -3*n + 11. Is (4 - w)/((-2)/(-7)) a composite number?
True
Let l = 0 + 3. Suppose -2*w = l*w - 75. Is w a composite number?
True
Let f be 3/9 + (-20)/(-12). Suppose 5*d = g - 404, 6*g = 2*g + f*d + 1634. Is g prime?
True
Let c = -36 - -131. Suppose -21 + c = 2*l. Is l prime?
True
Let o(y) = 73*y**2 + 7*y - 7. Let p(s) be the third derivative of 37*s**5/30 + s**4/4 - s**3 - 2*s**2. Let g(d) = -5*o(d) + 6*p(d). Is g(1) a composite number?
False
Suppose 2*x = -10, 2*i - 5*x - 45 + 8 = 0. Suppose u - i*u = -130. Is u a prime number?
False
Suppose 5*k + 0*u = u + 5, 2*u + 10 = -2*k. Suppose 2*z - g - 3 = k, 2*z = -g + 5*g - 6. Suppose 0 = z*s - 0*s - 195. Is s a prime number?
False
Suppose q + 14 = -5*d, 0*d - 5*d + 6 = -4*q. Let c be (-3)/(-4 + 1) + d. Is (c - -11 - 3)*5 a composite number?
True
Let p be (-3 + 1 - 0)*-1033. Let o = 892 - p. Is 6/(-27) - o/18 prime?
False
Let c(j) = -j**2 - 11*j - 11. Let t be c(-9). Suppose -6*m - 19 = -t*m. Is m prime?
True
Let x = -15 + 9. Let m be ((-9)/x)/(3/(-132)). Is (m/(-9))/(6/45) a composite number?
True
Let s = -889 - -2132. Is s a prime number?
False
Let i be 103/4 - 1/(-4). Suppose -5*u = 4*l - i, -l + 4*u = 2*l - 4. Suppose w + 33 = l*w. Is w prime?
True
Is (-6)/(-2) + 132 - 1 a composite number?
True
Suppose -23 + 5 = -3*s. Let p = s - -19. Is p a prime number?
False
Suppose 5*z + 627 = 8*z. Is z a prime number?
False
Suppose 0 = 5*a - 9*a + 872. Suppose 680 = 3*f + t, 0*f + 4*t = f - a. Is f a prime number?
False
Let t(w) = 1 + 4 + 12*w - 8*w + 14*w. Let v(g) = -7*g - 1. Let u be v(-1). Is t(u) prime?
True
Suppose -2*m + 3*t = 0, -2*m + 8*t = 3*t + 4. Suppose -h - 2*z + 337 = 0, 5*z = m*h - 8*h + 1665. Is h a prime number?
False
Let h be 25 - (0 + 2)*1. Is -1*-3*h + -2 composite?
False
Let s be (9/6)/(3/8). Suppose 4*c + x = 505, 38 - 153 = -c - s*x. Is c a prime number?
True
Suppose 0 = 2*w + 5*j - 168, -387 = -5*w - 4*j + 16. Is w a composite number?
False
Suppose 5*c - 14 = 4*c. Is c a prime number?
False
Let l(u) = -u + 3. Let m be l(0). Let o = 12 - 7. Suppose -g - 2*f = -10, o*f + 49 = m*g - 3. Is g composite?
True
Let c(l) = l**2 + 10*l + 3. Is c(7) prime?
False
Let r(t) = -t**3 - 2*t**2 + 4*t + 7. Let o be r(-2). Let a(j) be the second derivative of -31*j**3 - j**2/2 - j. Is a(o) composite?
True
Suppose j = -0*j + 2. Let n(w) = 7*w**2 + j*w**2 + 3 + w + 0*w**2 - 4*w**2. Is n(-4) prime?
True
Suppose -229 = -4*f + 339. Suppose 28 = 5*k - f. Is k prime?
False
Suppose l - 20 = -3*l. Let v(r) be the third derivative of r**6/120 - r**5