*f = -15, 3*f - k = -z + 64. Is z a composite number?
False
Let o = 757 + 444. Is o a composite number?
False
Suppose 2*p - 3*v = -6, p = -0*v + 3*v - 6. Suppose p = 2*t + 6. Is ((-29)/(-2))/(t/(-12)) prime?
False
Let s = -39236 - -62379. Is s prime?
True
Let t(z) be the second derivative of z**4 - z**2/2 - 29*z. Is t(4) composite?
False
Let j(o) = -o**3 + 6*o**2 + o - 3. Let i be j(6). Suppose -i*x + 51 = -3*y, -x = -3*x + y + 38. Is x prime?
False
Let r = 28246 - 15117. Is r a prime number?
False
Let q = -11 + 13. Suppose -24 = -b + 5*y, q*b + 3 = -y + 7. Suppose 0 = 3*p - b*g - 153, p - g + 51 = 2*p. Is p a prime number?
False
Let i be ((-3)/(-1))/(3/5774). Let v = -3337 + i. Is v prime?
True
Suppose 0 = 4*n - 5*k + 516 + 2309, -2125 = 3*n - 5*k. Let g = -251 - n. Is g composite?
False
Let s be 44/(1 - 3)*-2. Let y = s + 41. Suppose 5*a - 3*r - 457 = 0, 3*a + 5*r - 332 + y = 0. Is a a prime number?
True
Suppose 0 = 3*a - 6 - 75. Let r be (140/21)/(-4*(-1)/(-6)). Let g = a - r. Is g a prime number?
True
Suppose 7*y - 5487 + 328 = 0. Is y prime?
False
Let c = -3008 + 5959. Suppose -4*a + 2370 = 3*b, a + 2*b = 6*a - c. Is a a composite number?
True
Suppose 15*y + 43946 = 173756. Is y a composite number?
True
Suppose g - 4*v = 52, -5*g + g = -5*v - 197. Let r(l) = 22*l**2 - 4*l + 3. Let o be r(-4). Let f = o + g. Is f a prime number?
True
Let l(z) = z**3 - 6*z - 4. Let u be l(3). Let n(t) = 3*t - 12. Let s be n(u). Is 635/2 - s/6 composite?
False
Let o(x) = -5*x**2 - 7*x - 2. Let h(b) = 6*b**2 + 8*b + 3. Let i(z) = 3*h(z) + 2*o(z). Is i(-9) prime?
True
Let m(z) = 2*z**2 + 4*z - 211. Let v(x) = -x. Let o(p) = -m(p) - 6*v(p). Is o(0) composite?
False
Let r(a) = -54*a + 3. Suppose 22*u = 82 - 742. Is r(u) a composite number?
True
Is -1397*(4/(-3) - (-7)/21) composite?
True
Suppose -2*q - 5 = -7*q, -10 = -3*c - 4*q. Suppose -2763 = -4*g + p, 4*g - 2811 = -c*p - 45. Is g composite?
False
Let h(y) = 2*y**2 - y - 21. Let w(o) = o**2 - 10. Let s(a) = -6*h(a) + 13*w(a). Let n be s(-7). Suppose -2*c + 1055 = n*c. Is c prime?
True
Let r(f) be the first derivative of f**2 + 16*f + 4. Let y be r(-7). Suppose 0*u = y*u - 138. Is u a composite number?
True
Let t(l) = 28*l**2 - 7*l + 130. Is t(25) composite?
True
Let i = 17694 - 3027. Is i prime?
False
Let c(q) = 82*q**3 + q**2 - 27*q - 7. Is c(5) a prime number?
True
Suppose 5*z - 908 = 3*n + 1091, 0 = -z + 4*n + 393. Is z a composite number?
False
Let c = -98935 - -223748. Is c a prime number?
False
Let q = -18906 - -37679. Is q a composite number?
False
Let z(m) = -1658*m - 111. Is z(-14) a composite number?
True
Let o be (-16)/(-12)*(-12)/(-8). Suppose o*l + 2*l + 3*s + 407 = 0, -2*s - 402 = 4*l. Let m = l + 137. Is m composite?
True
Suppose -15*a + 11*a = 5*q - 10180, -4*a + 3*q = -10180. Is a a composite number?
True
Let d be (0 + 1)*(0 + 2). Is d/(-5) - ((-22434)/10 + -2) a prime number?
False
Let a(q) = q + 14. Let l be a(-10). Suppose 4*o - 3*f - 75 = 0, -3*f = l*o - 4*f - 65. Is o composite?
True
Let i(q) = 31 - 4*q - 14 - 3*q + 3*q**2. Is i(-7) a composite number?
True
Let h be ((-25)/2)/((-1)/74). Let q = h + -612. Suppose -3*m - q = -2350. Is m composite?
True
Suppose 10 = 2*n + 2. Suppose -2*y - 366 = -n*g, 2*y + 270 = 3*g - 7. Is g a composite number?
False
Suppose 25*n - 652449 = 173426. Is n composite?
True
Let i be (-63)/(-12) + 1/(-4). Let c(t) = -2*t - 3*t - t**3 - i*t + 3*t - 6*t**2. Is c(-5) prime?
False
Suppose -3*p + 6 = -3. Let g be ((-1)/(-3))/((-6)/(-11142)). Suppose 2*r = 5*u - 106 - g, 271 = 2*u + p*r. Is u composite?
True
Let k be -1*3*(-272)/6. Suppose -x = b - k, -5*x = 9 + 16. Is b prime?
False
Suppose -s + 5*h = 6 + 8, -16 = -2*s - h. Is -1*s/(-27) - 2570/(-18) a composite number?
True
Suppose 38 = s + 7. Let h = -3 - 5. Let g = h + s. Is g composite?
False
Let i(a) = -4*a - 10. Let t(q) = q + 3. Let z(h) = -4*i(h) - 14*t(h). Let o be z(6). Suppose -3*m - 4*y + o = 2*m, m + 5*y = -19. Is m composite?
True
Suppose 0 = 2*j - 4*j - 8, 692 = 3*l - 2*j. Suppose l + 280 = 4*o. Is o prime?
True
Let v be (-7)/(1 + 74/(-73)). Let k = v + 192. Suppose 5*m - 35 = -15, 0 = -q - 3*m + k. Is q a composite number?
False
Is (12/9)/4 + 55896/9 a prime number?
True
Let l(g) = -g**3 + 9*g**2 + 9*g + 13. Let z be (-2)/(-8) - (-78)/8. Let u be l(z). Suppose 879 = 6*x - u*x. Is x prime?
True
Suppose 4*a - 4*p = 40, -3*a + p + 11 = -23. Is (-598)/(-4) - (-2 + 30/a) prime?
True
Suppose 0 = 3*p - 12, 0*j - 6101 = -j + 3*p. Is j a prime number?
True
Suppose 17*u + s = 15*u + 39065, -3*s = -2*u + 39053. Is u composite?
False
Suppose -15*m = -213842 - 19693. Is m composite?
False
Suppose 0*o + 495 = 3*o. Let m = o + -55. Suppose -2*y - 4 = -m. Is y a composite number?
False
Let a = 2062 + 65. Is a prime?
False
Let h(g) = 98*g**2 + g - 3. Let i be h(6). Suppose -11*n = -8*n - i. Is n composite?
True
Suppose -5*o = 3*l + 719, -16 = o + 3*o. Let a = l - -714. Is a prime?
False
Is ((-3)/(-2))/(-3) - (-12516)/24 a composite number?
False
Suppose -276 = -y - 3*y. Suppose 464 = 5*t + y. Is t a prime number?
True
Let c be 62268/44 + 10/(-55). Let z = c - 597. Is z prime?
False
Suppose 3*u - 2 = 1. Let j(r) = 51*r**2 + 2*r - 1. Let q be j(u). Let a = q + 3. Is a a composite number?
True
Let f(v) = v + 1. Let c(n) = 1438*n + 2. Let b(l) = c(l) - f(l). Is b(1) a prime number?
False
Is 1 + 1 + -2 + 3797 prime?
True
Suppose -5*m - 45 = 4*h, -2 = -2*h + 3*m + 3. Let a = h + 5. Let z = 79 - a. Is z composite?
False
Suppose -5*p = -p - 20. Is (-1410)/(-12)*(p + -3) prime?
False
Suppose 4*x = -x + w + 53, 4*w + 52 = 4*x. Let i = 13 - x. Suppose -4*h + 285 = t, -5*t - i*h = -2*t - 873. Is t a composite number?
False
Suppose 0 = z - 626 + 3091. Is (-1)/(-5 - 12320/z) a prime number?
False
Let c be (36/3)/(-3) + -2. Let j be (c - -1)*23/(-5). Suppose -j = -2*w + w. Is w prime?
True
Let n be 3/(-12) - (-1)/4. Suppose 2*g + l - 5 = 0, n*g + 5*g - 2*l + 10 = 0. Suppose 4*k - k - 177 = g. Is k prime?
True
Let r = 972 + -347. Suppose 2397 = 2*l - r. Is l composite?
False
Let f(r) = r**3 - 8*r**2 + 7*r - 6. Let u be f(7). Is ((-446)/(-3))/(u/(-9)) a prime number?
True
Let q be (-15)/(-10)*4/3. Let h(r) = q*r**3 - 2*r**2 - 3*r**2 - 4*r + 3 + 14*r**2 - 5*r**2. Is h(4) a prime number?
True
Suppose 2*o + 0*o = -3*k + 25, 0 = -2*o - k + 15. Suppose b - 5118 = -o*b. Is b prime?
True
Let l(o) = o**3 - 9*o**2 + 7*o + 9. Let b be l(10). Let y = b - -8. Is y a composite number?
True
Let o(s) = -s**3 + 16*s**2 + 25*s - 18. Let h be o(12). Suppose 0 = -11*w + 5*w + h. Is w composite?
True
Let r = -6542 + 9435. Is r prime?
False
Let r(b) = -b**2 - 2*b + 4. Let g be r(-2). Suppose -h = -4*v + 32 - 11, -g*v + 16 = 4*h. Suppose 2*j = v*j - 27. Is j prime?
False
Suppose -3*t + 8*t = 785. Suppose 49 = -3*k + j + 207, -t = -3*k + 2*j. Is k prime?
True
Suppose -10*f = -9*f. Suppose 3*l + 0*l + 114 = f. Let x = 64 + l. Is x prime?
False
Let a(r) = -134*r + 13. Let d = -62 + 46. Is a(d) composite?
True
Let r be (1 - 8757/15)/(1/(-10)). Let i = r - 2811. Is i a composite number?
True
Let h be 13091/95 + 4/(-5). Suppose 0 = -q + 2*n + h, n - 134 = -q + 6*n. Is q composite?
False
Let i(p) = 8*p**2 + 10*p + 4. Let y be i(9). Let d = 1620 - y. Let g = d + -295. Is g a prime number?
False
Let h be 8/36 - (-2465)/45. Suppose -h = -3*i + 50. Is 34/2*i/7 a composite number?
True
Suppose -2*o + 7*o = 20, -4*h + 51808 = -o. Is h a composite number?
False
Suppose -5*a = -4*w - 23, 3*a - a - 14 = 4*w. Suppose -a*g = 33 - 417. Suppose -q + g = 5. Is q composite?
True
Let b(x) = x**3 - 7*x**2 + 9*x + 5. Let i be b(5). Suppose -j + 71 = -i. Is j a prime number?
True
Let n be (-3 + (-16)/(-2))*1. Suppose -n*m - 5*j = -15, 0*j - 3 = -3*j. Suppose 3*f + 5*g - 111 = 0, m*f - 74 = -0*f + g. Is f a prime number?
True
Suppose -869208 = -12*i - 12*i. Is i a composite number?
False
Suppose 72*r - 74*r + 6814 = 0. Is r a prime number?
True
Let w(d) = 6413*d + 5. Is w(1) prime?
False
Let n(r) = -r**3 + 23*r**2 - 20*r + 41. Let q be n(22). Suppose 0 = h - 774 + q. Is h a prime number?
False
Let d(r) = -12*r**3 + 7*r**2 - 55*r - 13. Is d(-9) a prime number?
False
Suppose x + 5*p - 6 = 0, 3*x - p - 3 + 17 = 0. Let y be 9*((-7)/3 - x). Is 3*305/y - -1 a composite number?
True
