*2 + 3*s - 1. Is t(o) prime?
True
Suppose 2*d - 2*y = -6, 5*y - 9 = 2*d + 2*y. Suppose -3*g + 108 = h + 2*h, d = -4*h + 4*g + 104. Is h a prime number?
True
Let v(i) = 13 - i**3 + 7*i - 3 - 18*i**2 + 13*i**2. Is v(-7) a composite number?
False
Suppose -3*z = s + 4*s - 5, -s = -3*z - 19. Let y be (-1277)/z - 4/10. Suppose y = 2*u + u. Is u a prime number?
False
Is (-10554)/(-4)*8/12 a composite number?
False
Let w = 2601 - 1240. Is w prime?
True
Let n(s) = 4*s**2. Let q be n(-1). Suppose 0 = -4*o - 3*p + 412, o = q*o - 3*p - 309. Is o composite?
False
Suppose 6*o - 1170 = -24. Is o composite?
False
Is -2*(-5)/(40/708) composite?
True
Let q be (1/2)/(14/(-56)). Let b(d) = -28*d + 1. Is b(q) a composite number?
True
Let y(u) = -u**2 + 9*u - 9. Let z be y(7). Suppose -3*b + 2*b = -z*a - 98, -3*a + 574 = 5*b. Is b prime?
True
Let a(x) = x**2 - 2*x. Let s be a(-2). Let z = 41 - s. Is z prime?
False
Suppose 4*j - 1972 = -0*j. Is j prime?
False
Let o(b) = b**2 + 5. Let m be o(0). Suppose -3*v - m*d + 592 = 0, 3*d = -5*v + 404 + 588. Is v prime?
True
Suppose 3 = v, -3*v - 11 = 2*q - 32. Let b(f) = f**2 + 8*f + 3. Is b(q) composite?
True
Suppose 5*z = -0*z + 4345. Suppose -4*a = -3*a - z. Suppose -5*x - 2*j - 114 = -a, -x + 5*j + 124 = 0. Is x composite?
False
Suppose 0*s - 42 = -4*c - 2*s, 5*s = 5*c - 90. Let q = c - -24. Is q composite?
False
Let h(y) = -6*y**3 - 2*y**2 - 12*y + 1. Is h(-9) a prime number?
False
Let h be 1049/((-5 + 3)/(-2)). Suppose 2*n = -3*j - 0*j + 428, -5*n + 3*j = -h. Is n a composite number?
False
Suppose -3*r = -4*f - 7, -r + 20 = 5*f + r. Let p be 1*19 - f/2. Let z = p - 11. Is z prime?
True
Suppose g - 2*g = -131. Is g prime?
True
Suppose 2*m = -3*m + 5. Let j = 2 - m. Suppose s = 4*l - 87, 3*l = -3*s - j + 70. Is l a prime number?
False
Let a(u) = -761*u + 2. Is a(-1) a prime number?
False
Let k(f) = -f + 2. Let o be k(0). Suppose 7*u + 3*t - 423 = o*u, 281 = 3*u - 5*t. Is u a prime number?
False
Let m be (1/2)/((-4)/56). Let d(h) = 4*h**3 + 6*h**2 - 7*h - 1. Let o(x) = 3*x**3 + 4*x**2 - 5*x - 1. Let n(j) = m*o(j) + 5*d(j). Is n(-3) prime?
True
Let b(u) = 2*u**2 + 2*u - 1. Let d be b(1). Let m be -3 + 2 + (3 - -206). Suppose 4*g - d*n = 2*n + m, 55 = g - 2*n. Is g composite?
False
Let n(r) = 2*r**2 + 5*r + 2. Let l be n(-3). Suppose 0 = -0*u + u - l. Suppose -4*f + u = -23. Is f a composite number?
False
Let o(v) = v**3 - 6*v**2 + 6*v. Let u be o(5). Suppose 32 = 4*i + 2*s, 3*i = i + u*s + 40. Is i a composite number?
True
Let h be (-6)/(-9) - (-2)/(-3). Suppose -f + 4*f - 21 = h. Is f a prime number?
True
Let d = 36 + -5. Is d prime?
True
Let s(b) = b**3 - 4*b**2 + b. Let f be s(4). Suppose 0 = -x + f + 7. Is x a prime number?
True
Let c(w) = -w - 14. Let j(r) = r + 13. Let g(o) = 3*c(o) + 4*j(o). Let i(b) = 2*b - 1. Let f be i(5). Is g(f) a composite number?
False
Suppose 4*r - 182 = v, -3*r + 72 + 69 = -3*v. Let w = 122 - r. Is w a composite number?
True
Let i(y) = 17*y + 14. Let k be i(10). Let q = -90 + k. Is q prime?
False
Suppose -3*a + 3 = 0, -2*n + 3*a = 5*a - 112. Is n composite?
True
Suppose 3*j + 3412 = 4*l + 8*j, 4*l = -3*j + 3412. Is l a composite number?
False
Suppose 5000 = -2*k + 19182. Is k a composite number?
True
Let j(m) = -m**3 + 2*m**2 + 98. Let t be j(0). Let u(k) = -k - 1. Let n be u(-5). Suppose t = n*r - 90. Is r a prime number?
True
Let f(t) = t + 9. Let z be f(-12). Is (-581)/(-4) - z/(-12) a prime number?
False
Let m be (-16)/24 + 1061/3. Suppose m = b + 58. Is b a composite number?
True
Let b = -20 - -11. Is (-601)/b + (-4)/(-18) a composite number?
False
Suppose 519 = 4*o - 1653. Is o composite?
True
Let j(z) = -z**3 - 11*z**2 + 13*z + 16. Let f be j(-12). Let m(a) = 138*a + 5. Is m(f) a composite number?
False
Let g be (-1 + -3)*(-3)/6. Suppose 0 = i - 25 + 2. Suppose i = g*v - v. Is v composite?
False
Suppose -4*n - 2*a + 1 = 5, -5*a = 0. Is 55 + n + 0 + 1 prime?
False
Let p(v) = -3*v**3 - 2*v**2 + 3*v. Let q(i) = 2*i**3 + 3*i**2 - 3*i + 1. Let l(m) = 3*p(m) + 2*q(m). Let r be l(-4). Suppose 6*z = z + r. Is z composite?
True
Suppose 0 = -j + 3 + 5. Let v(f) = f**2 - 2*f + 5. Is v(j) a composite number?
False
Suppose -769 = -3*o + 2*j, -o + 254 = j - 4*j. Is o composite?
False
Let j(m) = -m**2 + 13*m - 4. Let g = 26 + -16. Is j(g) a prime number?
False
Let t = 196 + -610. Let z = t + 883. Is z composite?
True
Is (-1)/4*(-4220)/5 a composite number?
False
Is (-2973)/((-3)/2*2) a prime number?
True
Suppose -i = -76 - 51. Is i a prime number?
True
Let m(z) be the first derivative of z**3/3 - z**2 - 16*z - 8. Is m(-11) a composite number?
False
Let n(i) = -i**3 + 10*i**2 + 8*i - 5. Is n(8) a prime number?
False
Suppose -3*l = r, -3*l + 3*r = -8*l. Is 586/(2/1 + l) composite?
False
Is 2/(-5) - 1985/(-25) prime?
True
Suppose -4 = -z + j + 3*j, 0 = -4*z + 3*j + 16. Suppose -u + 242 = 3*n, -z*n + 2*u = -305 - 1. Is n prime?
True
Suppose 4*a - 38 = 2*a. Suppose 4 + 0 = 2*q. Suppose -q*g = -123 - a. Is g prime?
True
Suppose 0*n - 15 = -3*n. Let p(t) = -t**2 + 6*t - 1. Let u be p(n). Suppose u*z - 138 = -d, -2*d - 166 = -6*z + z. Is z a composite number?
True
Let t be ((-4)/(-3))/((-6)/(-9)). Suppose -4*m - 600 = -9*m. Suppose t*f - 134 = m. Is f a composite number?
False
Is 2*((-58)/4 - 0)*-11 a composite number?
True
Suppose -4*k - 22 = -86. Let q = k - -27. Is q prime?
True
Let d(s) = -s - 1. Let l be d(-5). Suppose -36 = p - l*p. Suppose 2*c + m - 33 = p, 71 = 3*c + 5*m. Is c composite?
True
Let z(v) = v**2 - 4*v + 3. Let b = 2 - -1. Suppose o = -b*y + 3, -4*y - 11 = -2*o + 5. Is z(o) a composite number?
True
Suppose -5*g = -g - 8. Let v = g + 24. Is v composite?
True
Let m = -28 + 46. Let b be 1588/m - (-10)/(-45). Let p = -63 + b. Is p a composite number?
True
Suppose -7*g = -3*g + 2*l - 1532, -5*g = 2*l - 1913. Is g a prime number?
False
Suppose 1143 = -5*i + 8*i. Is i composite?
True
Let q(z) = -3*z**2 - 2*z**3 + 4*z**2 + 0*z**3 - 3*z**2 - 6*z - 5. Let x(d) = d - 2. Let n be x(-2). Is q(n) prime?
False
Suppose 12*g + 484 = 16*g. Is g prime?
False
Let p(l) = 19*l. Let o be 3/(-4)*(7 + -3). Let j be p(o). Let c = j + 94. Is c composite?
False
Let k(w) = -90*w**3 + 2*w**2 - 1. Suppose -4*g - 3*x - 20 = g, -5*g - 4*x = 25. Is k(g) a prime number?
False
Is (0 - (-125 - 2)) + 0 prime?
True
Let j = 8 - 5. Let v(n) = n**3 - 3*n**2 + 3*n + 2. Let z be v(j). Suppose z = -4*s + 71. Is s prime?
False
Let b = -7 + 10. Suppose 43 = -b*w + 616. Is w a composite number?
False
Suppose 5*q - q + 8 = -m, 10 = 3*m - 5*q. Suppose m = 3*s - 3*j, 0 = s + j - 6*j + 16. Is s composite?
True
Let l = -52 - -101. Is l a prime number?
False
Let h be 32/5 - (-6)/(-15). Is (-341)/(-3) + (-4)/h composite?
False
Let y be ((-3)/(-6) + -2)*6. Is (-93)/y - (-2)/3 prime?
True
Suppose x - 1 = -2*b + 4, 9 = 3*x. Let v = 4 - b. Suppose -4*c - 4*y = -56, 3*y + 47 = v*c - 1. Is c a prime number?
False
Suppose -4*q = -2*p - 4234, -2*p - 5297 = -5*q - p. Suppose -4*c - q = -5*b + c, 849 = 4*b - 3*c. Is b a composite number?
True
Let c(n) = -n**2 - 6*n. Let x be c(-6). Suppose x + 2 = j. Suppose 4*s = j*s + 370. Is s a composite number?
True
Let n(q) = -q - 6. Let b(k) = -3*k - 18. Let g(r) = 6*b(r) - 17*n(r). Let d be g(-8). Suppose c + d*c + 2*w = 47, 0 = -2*w - 10. Is c prime?
True
Suppose g + 5*l - 26 = 0, 3*g - 12 = 2*l + 15. Is g prime?
True
Let g be (-2)/(1 - 9/10). Let s be (-12)/15*g/8. Suppose 0 = s*d + z - 140, 5*d + z = -0*z + 347. Is d composite?
True
Let k(v) = v**2 - 7*v - 13. Let r be k(9). Suppose r*x + 3*z - 21 = 54, 15 = x - z. Is x a prime number?
False
Suppose 2*b - 50 = 5*z, -4*b + b - 1 = 2*z. Let j be (1/(-3))/(z/96). Suppose j*f + q - 765 = 0, -4*f + 9*q = 4*q - 759. Is f composite?
False
Is 2/(-6) + 17628/18 prime?
False
Let f = -144 - -345. Is f composite?
True
Let r(b) = -2*b**2 + 5*b - 6. Let d(o) = o**2 - 6*o + 7. Let t(m) = -2*d(m) - 3*r(m). Is t(-3) composite?
True
Let n(x) = -3*x + 3. Let i be n(8). Let r = i - -76. Is r a composite number?
True
Suppose 5*v - 110 = -1145. Let k = -130 - v. Is k a composite number?
True
Suppose 3*u - 4*u + 2*s + 1153 = 0, -5*s + 4599 = 4*u. Is u a prime number?
True
Is (-1)/(1*4/(-1580)) a composite number?
True
Let g(y) be the third derivative of 2/15*y**5 - 1/4*y**4 