 164 = 0. Suppose -y = -230 + w. Suppose 3*v + m = 290, 2*m + y = 2*v + 7*m. Is v prime?
True
Suppose -6*o + 13031 = -11167. Is o a composite number?
True
Let z = -7 - -12. Suppose 0 = -2*p - 2*g + 104, 60 = -2*p + 3*p - g. Suppose p = -n + z*n. Is n prime?
False
Let i(u) = -u**2 - 1. Let o(t) = 224*t**3 - t**2 + 2*t - 2. Let k(j) = 3*i(j) - o(j). Is k(-1) prime?
True
Let s(d) be the third derivative of -3*d**4/8 + 7*d**3/6 - 22*d**2. Let q(x) = -x**3 - x. Let r be q(2). Is s(r) composite?
False
Suppose 5 = h + 3. Suppose -h*a + 4652 = 884. Is a/16 + 1/4 a composite number?
True
Suppose 3*v - j = -1016, -649 = -2*v + 4*v + 5*j. Let h = v - -878. Is h a prime number?
True
Suppose 3*b + f = -11 - 33, -2*f - 13 = b. Let v be 214/3*b/(-10). Suppose 2*i + v = p, -4*p + 2*i = -2*p - 216. Is p composite?
False
Let w(z) = 437*z**2 - 10*z - 1. Is w(-1) a composite number?
True
Let p be (2/3)/((-15)/90). Let i = -2 - p. Suppose 5*x - 94 = -0*t - 3*t, -i*x + 79 = 3*t. Is t a prime number?
True
Suppose -1371502 + 249852 = -50*v. Is v prime?
True
Let s = 26079 - 9590. Is s prime?
False
Let u(r) = -r**2 + 10*r. Let f(b) = 2*b - 4. Let s be f(7). Let i be u(s). Suppose -p - p + 14 = i. Is p composite?
False
Suppose 9*a - 7*a = 12. Suppose a*i - 4933 - 1433 = 0. Is i composite?
False
Suppose -753 = -6*h + 9153. Is h a prime number?
False
Suppose -60*h = -58*h - 758. Suppose -3*p = -2*p + 176. Let s = h + p. Is s prime?
False
Let m(b) = 63*b + 69. Is m(20) prime?
False
Suppose 7 = m - 2*f - 1, 5*m + 4*f + 2 = 0. Suppose -3*x + 71 = -m*x. Is x composite?
False
Suppose 4*b - 27201 = -10389. Is (b + -7)*(-2)/(-8) a composite number?
False
Suppose 9*i = 2*i + 26684. Suppose -5*o - i = -9*o. Is o a prime number?
True
Let j(p) = -23*p**3 - 54*p**2 + 11*p + 25. Is j(-7) a composite number?
True
Let i = 2725 - 1586. Is i composite?
True
Let c(m) = -3*m - 5*m**2 + 0 - m**3 - 3*m - 2*m + 1. Is c(-8) prime?
True
Suppose 2*a = -5*j + 19, 2 = a - 0*a. Suppose 0 = -j*f - f + 8. Is 106/f - (-10 + 10) composite?
False
Let c(n) = 6*n**2 + 112*n - 41. Is c(-23) composite?
False
Let m be 2/(-2 - 2)*-12. Let l = m + 6. Is 26/3*l/8 composite?
False
Let f(o) = 455*o**3 + o**2 - 2*o. Let i be f(2). Suppose 0 = 4*d - 708 - i. Is d a prime number?
True
Let k(b) = 3*b**2 + b - 2. Let c be k(4). Suppose s - 5*w = 10 - 30, 0 = 4*s - 5*w + c. Is 663/1*s/(-30) a prime number?
False
Let x = 3354 + -919. Is x a prime number?
False
Suppose -6*u + 12 = -3*u. Suppose 2*n - 29 = 5*z, -3*z + 6*z = 5*n - 101. Suppose -n = -u*o + 2*o. Is o a prime number?
True
Let v(k) = -10*k**2 - 19. Let x(t) = -5*t**2 - 18 - 5*t**2 - 5*t + 4*t. Let z(c) = 2*v(c) - 3*x(c). Is z(-7) prime?
False
Let y = 398 + 641. Is y composite?
False
Suppose -7*z - 6992 - 1821 = 0. Is (z/2)/((-4)/8) a composite number?
False
Let i(n) = -2*n - 18. Let r be i(-11). Suppose b + 3*b = -5*u + 2571, r*b = u + 2601. Is b prime?
False
Let b = -2 + 5. Is ((-6)/b)/((-6)/6999) prime?
True
Suppose 0*v - 16 = -3*v + g, 4*g - 20 = -2*v. Let k be (-4)/6 + v/9. Suppose 5*n - 206 - 139 = k. Is n composite?
True
Let g(t) = t**2 + t - 45. Let m be (-5 - -5)/(4/2). Let i be g(m). Let d = 116 - i. Is d composite?
True
Let r = 28309 + -19611. Is r a prime number?
False
Suppose 100*m - 259 = 93*m. Is m a composite number?
False
Is 7447 + 60/(-300) + (-42)/(-10) prime?
True
Suppose 5*h - 2 = -12, -5*c + 5474 = -2*h. Let j be -205 - (-1 - -1)*1. Let v = j + c. Is v a composite number?
True
Suppose 0*q = 5*q - 3190. Let z be -1 + 0 + (-1002)/(-3). Let p = q - z. Is p prime?
False
Let k = -41 - -47. Is (2*3/k)/(2/1838) composite?
False
Let m(i) = -i - 2. Let t be m(-4). Let s(b) = 197*b + 0 - 1 + 3 + 1. Is s(t) a composite number?
False
Let v(g) = 16*g - 1. Let x be v(1). Suppose -x - 195 = -a. Suppose -m + a = 19. Is m a composite number?
False
Is (4 - 6465/10)*-2 a prime number?
False
Let n(m) = m**2 + 12*m + 1. Let u be n(-12). Let w be (3/4)/(u/244). Suppose -5*k + 1228 = w. Is k a prime number?
False
Let m = -15 + 2. Let b(i) be the first derivative of -i**3/3 - 21*i**2/2 - 13*i + 18. Is b(m) a composite number?
True
Let a(x) = -68*x - 3. Let g be a(-3). Suppose 0 = y + 2*y - g. Suppose -5*w + y = 2*d, 2 - 8 = -d + 3*w. Is d a composite number?
True
Suppose 4*z = b + 15, 6*z - z + 5*b = 25. Suppose -4*y + 1106 + 32854 = z*x, 0 = -5*x - 4*y + 42451. Is x a prime number?
False
Suppose 0 = -12*b + 1466402 - 566270. Is b composite?
False
Let x = 31 + -31. Suppose -3*v + 41 = v - 5*p, x = -4*v - 4*p - 4. Suppose -8*q + v*q + 1004 = 0. Is q a composite number?
False
Let i(y) = -7*y**2 + 5*y - 1. Let h(w) = 9*w**2 + 0 - 6*w - w**2 + 2. Let c(f) = -4*h(f) - 5*i(f). Is c(-5) prime?
False
Suppose -2*w - 20 = 2*w. Let t be 631/w - 4/(-20). Let c = 217 + t. Is c composite?
True
Suppose 4*w = 3*c - 12030, 4*w = 4*c + 6*w - 16062. Suppose a + 3*a - 10031 = -5*x, 2*a = -2*x + c. Is x a composite number?
False
Let a = 48210 - 24959. Is a a composite number?
False
Let m = -42606 + 106175. Is m a prime number?
False
Is (1/(-1))/((-36)/19476) prime?
True
Let p = 9262 + -4541. Is p composite?
False
Let m = -3521 + 5362. Is m composite?
True
Let h = -2756 + 6252. Suppose p - 991 = -w, -4*w - 2*p = -464 - h. Let b = 1440 - w. Is b a composite number?
True
Suppose 3*r = 7*r + 16, k = 3*r + 77. Suppose -3*c = -j - 551, -4*j + 136 + k = c. Suppose 4*p + c = 5*p. Is p prime?
False
Let c = 36 - 29. Let f(g) = 12*g - 31. Is f(c) a prime number?
True
Let p(k) = 76*k - 13. Let i be p(9). Let f = -360 + i. Is f a prime number?
True
Let k(c) = -9*c + 1. Let f be k(1). Suppose 3*w - 1468 - 38 = 0. Is (w/f)/(8/(-32)) prime?
True
Let y(t) = 8*t**3 + 2*t**2 + t + 2. Let x be y(-2). Let f = -28 - x. Let s = 65 - f. Is s composite?
False
Suppose -5*p = -4*o + 2*o - 1353, -2771 = 4*o + 3*p. Let x = o - -1044. Is x a prime number?
False
Let l(z) = z - 4. Let u be -2 + 1 + 9/1. Let s be l(u). Suppose -4*a = s*p - 45 - 279, -3*a + p + 235 = 0. Is a a composite number?
False
Let f(m) be the second derivative of 0*m**3 + 0*m**2 + 4*m - 16*m**5 + 1/12*m**4 + 0. Is f(-1) a prime number?
False
Let q = 22 - -3. Let j = q + -6. Is j a composite number?
False
Suppose 5*b = 2*r - 28, 2*b + 0*b + 8 = 0. Suppose 0 = -r*h + 69 + 575. Is h prime?
False
Let o = 2 + -2. Let y(f) = 2 + o + 28*f - 11. Is y(7) prime?
False
Let c = 74 - 105. Let n = c + 264. Is n a composite number?
False
Suppose 2*t - 3*b = 12352, b = -7*t + 6*t + 6171. Is t composite?
False
Let c(d) = -805*d + 118. Is c(-31) composite?
False
Let i = 25 - 17. Is 0 - (-2)/(i/6244) a composite number?
True
Is (-1)/(1*5) + (-406904)/(-95) prime?
True
Suppose -25*w + 3*w + 2178 = 0. Suppose -57 = -z - 3*j, 0*j - 3*j = -2*z + 69. Let a = w - z. Is a a prime number?
False
Let a = -643 + -677. Let r = 2579 + a. Is r a prime number?
True
Let w(c) = -c**3 - 8*c**2 - 11*c - 8. Let t be w(-8). Suppose -z - 3*j = -t, -4*z + 2*j = -2*j - 240. Is z composite?
True
Let a be ((-186)/(-30) - 1) + (-1)/5. Suppose 0 = a*g - 15, 2*p + 2027 = 4*p - 3*g. Is p a composite number?
True
Let c be ((-3)/6)/(2/196). Let u be 306/1*c/(-14). Suppose 1740 = 4*b - 4*t, -4*b - 2*t + u + 681 = 0. Is b a composite number?
True
Suppose 5*n - 6 = 3*c, 0*c + 15 = 3*n + 2*c. Suppose -3*m + 20337 = 4*v, m = -m + n*v + 13558. Is m a prime number?
True
Suppose 35648 - 263998 = -25*b. Is b prime?
False
Let c(w) = -149*w + 7. Let v be c(-20). Let t = -1738 + v. Is t a composite number?
False
Suppose -63 = -2*w + 35. Suppose -1004 = w*m - 53*m. Is m a prime number?
True
Suppose 0 = 9*m - 10*m + 1. Let u be m/(-3) - 626/3. Let y = u + 604. Is y a prime number?
False
Suppose 4*o - 5*w = 449, -7*w = 2*o - 3*w - 244. Suppose -3*s - o + 470 = 0. Suppose s = u + v, -v = -4*u + 207 + 240. Is u a prime number?
True
Let k(x) = -2*x - 4. Let z be k(-5). Suppose -4*g + 20 = -s, -2*s + z*g - 2*g = 20. Suppose 4*a - 55 - 37 = s. Is a a prime number?
True
Let m = 589 + -987. Is (-5 + 4)*(m - -1) prime?
True
Let k(x) = -x - 7. Let w be k(-9). Let f(s) = -30*s**2 + 4*s - 3. Let j be f(w). Is (-4)/(-10)*j/(-1) composite?
True
Let v(q) = 2*q**3 - 67*q**2 - 18*q + 86. Is v(35) a prime number?
False
Suppose 10 + 20 = 5*c. Suppose -q - 3*q - 4*g + 32 = 0, 0 = 2*g - c. Suppose q*u = -0*u, 0 = 5*b - 3*u 