 composite?
False
Let y(f) = -f + 6. Let i(d) = 2*d - 12. Let k(j) = -3*i(j) - 7*y(j). Let o be k(5). Let a(q) = -12*q**3 - q. Is a(o) composite?
False
Suppose a - 3049 = 5*m, 3*a + 3*m = -400 + 9475. Is a prime?
False
Let w(o) = -o**3 - 7*o**2 + 10*o + 11. Let t be w(-8). Let k(z) = -z - 2. Let i be k(t). Suppose -i*m = -x + 2*m + 21, -4*m - 42 = -5*x. Is x a prime number?
False
Suppose -g - 5*f - 1 = g, 4*g - 2*f = 10. Let c be (g - 2)/(0 + -1). Suppose c = -0*s + 3*s - 399. Is s a composite number?
True
Let u = -248 + 505. Is u prime?
True
Suppose -4*c + 8 = 4*z, 2 = -2*c + 4*z - 0. Suppose -a - c = -0*a. Is (a - -6)*(-1 + 6) composite?
True
Let p(u) = -61*u**2 + 3*u + 4. Let g be p(3). Let v = g + 775. Is v prime?
True
Is -1 - (-5 + 4) - -579 a prime number?
False
Suppose 5 - 3 = -q. Let r = 16 + q. Is r a composite number?
True
Let j be (-1)/3 - 16/(-3). Suppose -3*b + 7 + 162 = j*a, -a = b - 55. Is b prime?
True
Let s = -74 - -159. Let p = s - 34. Is p a composite number?
True
Suppose -r + 5 = -h + 5*h, 4 = 4*r. Let a be h + (-2)/(-1) - 1. Suppose 0 = -y + a*y + z - 23, 4*z + 12 = 0. Is y prime?
False
Suppose -3*a - 140 = -h - 4*h, -2*h + 72 = 2*a. Suppose -2*f - h = -3*f. Is f prime?
True
Is (-10)/(-45) + 18698/18 composite?
False
Suppose 0 = -2*i - 0*i + 48. Let m be (i/10)/((-4)/(-250)). Is 2/2*(m - -5) a composite number?
True
Suppose -6*v + 4*m + 1587 = -3*v, 2*v + 4*m = 1078. Is v a prime number?
False
Let z(n) = -n**3 - 5*n**2 + 2. Let y be z(-5). Suppose y*k = 4*k. Suppose 0 = -2*b + 4*h + 90, -189 = -4*b - k*b - h. Is b a composite number?
False
Suppose -3*r - r = u - 1155, 3*r + 2299 = 2*u. Is u a composite number?
False
Let b(n) = 4*n**3 - 5*n**2 + 8*n - 6. Is b(5) composite?
False
Suppose -3*z + 2*b + 10 = 0, 4*z + 2*b - 5*b - 14 = 0. Let j = z - 0. Is j*((-19)/(-2) + 0) prime?
True
Is (388/16)/((-3)/(-84)) a prime number?
False
Suppose 2*t + 3*c + 14 = 59, 3*t + 3*c - 63 = 0. Suppose 5*w = 173 - t. Is w prime?
True
Let y(i) = 5*i - 5. Let n(u) = -9*u + 10. Let x(o) = -4*n(o) - 9*y(o). Let r = -19 + 13. Is x(r) a composite number?
False
Let b(h) = h**3 + 6*h**2 - 3*h + 4. Let r = 2 - -7. Suppose 12 = -2*p - k, -k + 15 + r = -4*p. Is b(p) prime?
False
Let a = 831 + -485. Is a a prime number?
False
Let k(u) = u**2 - 6*u + 2. Let q be k(5). Is 2/q - (-161)/3 a composite number?
False
Let d be ((-6)/(-5))/(15/50). Suppose 3*m = -p - 1, 31 = p - d*m - m. Let l = 2 + p. Is l a prime number?
True
Suppose 4 - 29 = -5*v. Suppose c - v = -2. Suppose -10 = -2*d - m, c*d + 2 = 2*d - 4*m. Is d prime?
False
Is 4460/8 + (-5)/10 a composite number?
False
Suppose -4*f = -f - 48. Suppose -m + 5*l = f, -4*m - 6*l + 4*l = 64. Is (m - -6)*19/(-2) a composite number?
True
Suppose 0 = 4*w - 23 + 7. Let m(o) = 13*o**2 - o + 1. Is m(w) a composite number?
True
Let n be -57*(3 - (5 - -3)). Let x = n + -183. Suppose -135 = -3*t + x. Is t prime?
True
Suppose n - 4125 = -4*n. Suppose 0 = 5*i - 5*x - n, 1209 = 5*i - 3*x + 388. Is i composite?
False
Is 17248/(3 - -5) + 3*1 prime?
False
Suppose -y = a - 143, -a + 0 = 2. Suppose -5*v = -190 - y. Is v composite?
False
Suppose 730 = t - 2*i, -3*i + 881 = t + 126. Suppose k + 5*w - 79 - 95 = 0, 5*k - w = t. Is k a composite number?
False
Suppose -3*m = -2*m + 4. Let p(u) = u**2 - 4*u + 1. Let q be p(m). Suppose -5*c + 362 + q = 0. Is c a prime number?
True
Suppose -987 = -37*a + 30*a. Is a prime?
False
Let b be (-1 + 3)/(6/12). Let z(j) = -1 + 0 + j + 7*j - 3*j. Is z(b) a composite number?
False
Let s(b) = b**2 - 9*b - 20. Let l be s(11). Let j(q) = -252*q**3 + 1. Let u be j(-1). Is u/l*(5 + -3) a prime number?
False
Suppose -2*h = 2*h - 20. Suppose -h*r = 15 - 170. Is r composite?
False
Let q(n) = -n**3 - 15*n**2 - 14*n - 19. Is q(-15) a prime number?
True
Let m = 9 - 5. Let g be (-1 - -19)/(m/(-14)). Let a = 16 - g. Is a a composite number?
False
Let r(z) = 5*z**3 - 2*z**2 + 3*z. Let h be r(2). Suppose s = -4*y + 20, -2*y + 8 + 2 = -5*s. Suppose s = -0*u + 2*u - h. Is u composite?
False
Suppose 3*t = -2*g + g - 5, -4*g + 2*t + 22 = 0. Suppose 250 = g*o + o. Suppose -2*i - 3*i = -o. Is i a composite number?
True
Let o(f) = -6*f**3 - 10*f**2 + 4*f - 9. Is o(-7) a composite number?
False
Suppose 4*w = 5*c, 0*w = -3*w + 3*c - 3. Let k(n) be the first derivative of n**3/3 - 3*n**2/2 + 6*n - 1. Is k(w) a composite number?
True
Let q(v) = v**3 + 9*v**2 - 12*v - 1. Let p be (-3)/(-5) - (-104)/10. Let t(n) = -n**3 + 11*n**2 - 10. Let m be t(p). Is q(m) a prime number?
True
Let r = -1 + 0. Let w be -34*(r + 1/(-2)). Suppose -96 = -3*l + w. Is l a prime number?
False
Let f be 6/12 - 13/2. Let k be (-740)/f*12/10. Let j = k - 105. Is j prime?
True
Let k(g) = -9*g - 2. Is k(-9) a prime number?
True
Let y be 0/((3 - 0)/(-3)). Suppose 0 = -y*a + a - 2. Suppose 0 = a*j - 4*j + 46. Is j composite?
False
Let g(c) = -c**3 - 8*c**2 - c - 2. Let u be g(-8). Let f(b) = -7*b + 5. Let i(t) = 15*t - 9. Let s(o) = -5*f(o) - 2*i(o). Is s(u) prime?
True
Suppose 5*a - 5*b = 15, 11 = 4*a - 0*a - 5*b. Suppose -a*t - 2 + 23 = -v, -5 = -2*t - 5*v. Suppose t*q + 18 = 113. Is q composite?
False
Let f = -4 - -4. Let k be -2 + (f - -2) - 4. Is (-2)/k - (-362)/4 composite?
True
Let t(m) be the third derivative of m**6/24 + m**5/30 + m**4/12 - 5*m**3/6 - 3*m**2. Is t(4) a prime number?
False
Let v(j) = j**2 - 4*j. Let i be v(5). Suppose -38 = -i*q + 762. Suppose -q - 113 = -5*o + 2*m, 3*o = -2*m + 151. Is o prime?
True
Let y = -4 - -57. Suppose 2*u = -y - 15. Let k = u + 73. Is k a prime number?
False
Let o = -2 - -7. Suppose 30 = -0*f - o*f. Is 27/f*(-1 - 1) prime?
False
Suppose -14 = -5*p - 4. Suppose -p*i + 7 = n, -5*n - 4*i = i - 25. Is (-2)/n + (-1149)/(-9) a composite number?
False
Let t = 1410 - 469. Is t prime?
True
Is 1893 + (-10 + 14 - (5 - 1)) composite?
True
Is (-2)/18*2 + (-23285)/(-9) a prime number?
False
Suppose 3*l = 4*n - 928, 0*n + 4*n - 4*l = 924. Is n a prime number?
False
Suppose -3*v - 5*f - 51 + 131 = 0, -5 = f. Is v a prime number?
False
Let g(y) = 340*y**3 + 7*y**2 - 3*y + 5. Is g(3) composite?
False
Let g(s) = -2*s - 13. Let i(x) = -x - 9. Let c(h) = 5*g(h) - 7*i(h). Is c(-4) a prime number?
False
Let p(k) = 3*k**2 + 4*k + 3. Suppose 0 = -3*l + 3*b + 6, -5*l + 8 + 18 = 3*b. Suppose 5*y = -2*h - 29, -l = y + 1. Is p(h) composite?
False
Suppose 0 = 5*r - 20, -3*r + 8*r - 22 = -2*a. Let q(s) be the second derivative of 11*s**3/3 - s**2/2 - s. Is q(a) a prime number?
False
Suppose 0 = -2*f + 2*n + 10, f = -4*f + 3*n + 23. Suppose 4*d + 31 - 753 = -2*h, f*d - 3*h = 727. Is d prime?
True
Is ((-6)/(-4))/(15/10610) a composite number?
False
Let i(h) = -2*h**2 + 4*h + 6. Let r be i(-5). Let p = 8 - r. Let v = p + -50. Is v a composite number?
True
Suppose 3*r + r = 796. Is r prime?
True
Let n(j) = -3*j**2 + 5*j - 5. Let g be n(4). Let u = -7 - g. Is u prime?
False
Suppose 49 = 4*n - 75. Is n a composite number?
False
Let j(g) = 3*g + 20. Is j(11) composite?
False
Let q be 3 + 84/(-3 + -1). Is 73/3 + (-12)/q a composite number?
True
Suppose 0 = -4*p - 3*f + 4480, 0 = 2*p - p + 4*f - 1133. Is p a composite number?
False
Suppose 4471 - 75 = 4*x. Is x a composite number?
True
Let s(n) = 35*n**3 + n**2 - 2*n + 5. Let f(q) = -69*q**3 - 2*q**2 + 4*q - 11. Let d(c) = 4*f(c) + 9*s(c). Is d(1) composite?
True
Suppose -5*q = 6*q - 781. Is q prime?
True
Is -2*4/4 + 49 composite?
False
Let o = 4027 + -2208. Is o composite?
True
Let b = -532 - -1148. Suppose 964 = 4*c - b. Is c composite?
True
Let x(s) = -s**2 - 8*s + 5. Let g be x(-8). Suppose 7 = g*v - 23. Suppose -h - v + 16 = 0. Is h composite?
True
Let h(g) = -778*g - 27. Is h(-5) prime?
True
Let d be (28/(-21))/(1/3). Let v be (-30)/d*(-2)/(-3). Suppose -b - 3*b + 1269 = v*r, 4*r - 1009 = 3*b. Is r prime?
False
Let i(c) = 12*c - 1. Is i(5) a prime number?
True
Let v be (-2 - 1) + (-25)/(-5). Suppose -v*d + 0*d + 4*b + 366 = 0, 0 = -3*b + 12. Is d a prime number?
True
Suppose -2*u - 3*u + 60 = 0. Let m(q) = -q + 13. Let p be m(u). Let l = 10 + p. Is l a prime number?
True
Is (-26055)/(-35) + (-4)/(-7) a composite number?
True
Suppose v - 570 = -v. Suppose 0 = -5*i - 4*u + v, 3*i - 222 = -i - 2*u. Is i a prime number?
True
Let h = -180 - -745. Suppose -4*u - 5*m = -473, -5*u - m + h =