posite number?
False
Let d be 1/(-5) - 11556/(-30). Suppose 3*w - d = -2*w. Is w composite?
True
Let a(p) be the second derivative of p**4/12 - p**3/3 + 11*p**2/2 + p. Is a(8) a prime number?
True
Let k = 3 - 1. Suppose 8 = 2*w + 2. Suppose 0 = -3*l + k*z + 59, l + l = w*z + 36. Is l prime?
False
Let s = -1602 - -2693. Is s prime?
True
Let u = 16 - 8. Let c(i) = 43*i + 11. Is c(u) composite?
True
Let x = -464 + 929. Suppose -3*l - 3 = 0, -4*q + 4*l = -l - x. Is q a composite number?
True
Let p(b) = -2*b**3 + b**2 - 1. Is p(-2) prime?
True
Suppose -3*v = -4*d - 150, -2*v + 44 = 2*d - 42. Is ((-2)/4)/((-1)/v) prime?
True
Suppose n + 0*n = 0. Suppose -186 = -n*k - 3*k. Is k composite?
True
Suppose -k + 252 + 79 = 0. Is k a composite number?
False
Suppose -3*i = 3*g - 2*i - 101, -15 = -3*i. Suppose 0 = -2*s - 5*j + 91, 0 = -2*s + 5*j + 109 + g. Is s a prime number?
False
Let i(u) = u**2 + 4*u + 3. Let c be i(-6). Let h = 18 + c. Suppose 2*w - w - h = 0. Is w prime?
False
Suppose -3*f + 1 = -2*p - 2, 0 = -5*p + 3*f + 6. Suppose p*j = 80 + 34. Is (j/(-3))/((-2)/3) a prime number?
True
Suppose n + 4 = -4. Let s be -3*4/6 - n. Suppose -3*r + s = -2*r. Is r a prime number?
False
Let h = 139 + -60. Is (h/(-4))/((-4)/16) prime?
True
Let n = -6 - -12. Suppose t + 0 = n. Is (-2)/(8/(-6))*t composite?
True
Suppose s + 0*s - 395 = 0. Suppose 7*l = 2*l + 2*g + 894, 2*l - 5*g - 345 = 0. Suppose s + l = 5*i. Is i composite?
True
Let o be (-2 - -2)/(0 + 1). Let x(s) = 6*s + 13 - s - s - 5*s. Is x(o) prime?
True
Let n = -5 + 7. Is n/(-7) - (-247)/7 prime?
False
Let x(d) = -67*d**3 - 3*d**2 - 3*d - 1. Is x(-2) a prime number?
False
Suppose 5398 = 5*l + v + 2*v, -4*v - 1075 = -l. Is l composite?
True
Let g(s) = s - 4. Let b(y) = -1. Let d(h) = -2*b(h) + g(h). Let j be d(6). Let v(l) = -l**3 + 4*l**2 + l. Is v(j) a composite number?
True
Let s(z) = 11*z - 3. Let y be s(4). Suppose 4*c = 107 + y. Is c a composite number?
False
Let y be 39/6 - 6/4. Suppose -4*i + 2 = s - 2, -y*s + 20 = -2*i. Suppose -s*b + 27 = -305. Is b composite?
False
Suppose 0 = 3*r - 2531 - 922. Is r composite?
False
Let o(s) = s**2 - 2*s - 22. Is o(-9) prime?
False
Let s = 0 + 0. Suppose 0 = -6*n - 12 + 42. Suppose -n*a + 626 + 189 = s. Is a a prime number?
True
Let n be 3 + (-4)/(8/4). Let a(v) = 2 + 7*v + 51*v - 1. Is a(n) a composite number?
False
Suppose -3*g - 3*v + 60 = -0*g, -5*g = 4*v - 97. Suppose -5 = 3*b - g. Suppose z = b*z - 93. Is z prime?
True
Suppose 3*f - 875 = -x, -3*x + 1683 = 4*f + 523. Is f composite?
False
Suppose -v - 5*g = 26, 5*v - 2*g + 6*g = -25. Let h = v + 5. Let p(k) = 7*k**2 + 2*k - 1. Is p(h) a prime number?
False
Let y = -9 - -13. Let w(s) = s**3 - 6*s**2 - 7 + y - 5 - 2*s. Is w(9) a composite number?
True
Let u(i) = i**2 + i - 8. Let m(r) = -2*r**3 + r**2 + r. Let v be m(2). Is u(v) a composite number?
True
Let f = 6 - 8. Let w be 1 + 10 + -3 + f. Is (-4)/(-2)*159/w prime?
True
Suppose -2*c + 289 = -1081. Is c prime?
False
Let f(u) = 12*u + 4. Let q be f(-4). Let h = q + 80. Let s = 59 - h. Is s a composite number?
False
Suppose -4*x + x + 981 = 0. Is x a prime number?
False
Let t(n) = n + 2. Let p be t(2). Let l(m) = m**2 + m**2 - 2 + 1 - 4*m. Is l(p) a prime number?
False
Suppose 4*o + 2*d = -d + 2197, 3*d + 1121 = 2*o. Suppose 4*j + o = 5*t, -2*t + 0*j = 3*j - 235. Is t a prime number?
True
Suppose -6*c + 5*x = -c - 14710, -2*c + 4*x + 5890 = 0. Let n = c + -2086. Is n a composite number?
False
Suppose 0 = -q - 2*d + 2, -2*d = -q + 2*d + 2. Suppose -23 = -q*z + z + 2*t, 3*z - 67 = 5*t. Is z a prime number?
True
Let o(l) = -l + 1. Let v be o(-3). Suppose n - 500 = -5*p - 2*n, v*n - 20 = 0. Is p prime?
True
Suppose 638 = -t + 3*t. Is t composite?
True
Let x = -188 - -301. Suppose -v + 6 - x = -5*c, 0 = 2*v + 4. Is c prime?
False
Suppose 5*x - 10485 = 5*l, -3*x - 4*l + 11 = -6266. Is x prime?
False
Suppose -2*m = 4*j - 2040, 4*m + 3*j = 1674 + 2396. Suppose m = 3*o - 5*o. Is o/(-12)*1*3 composite?
False
Suppose 0 = 4*v - 430 + 90. Is v composite?
True
Is 4/6 + (-2666)/(-6) composite?
True
Let j(i) = 2*i**2 - i + 4507. Is j(0) prime?
True
Let f(d) = -d**2 - d + 2. Let o be f(0). Let p be 1 + (-1)/((-3)/783). Suppose -2*v - p = -4*h, h + o*h = -5*v + 216. Is h composite?
False
Let c(o) = 4*o**2 + 3. Let j(q) = -8*q - 17. Let r(v) = -3*v - 6. Let u(i) = 4*j(i) - 11*r(i). Let g be u(6). Is c(g) prime?
True
Let l be (2/(-4))/((-1)/(-8)). Let r(q) = q**2 + 2*q - 4. Let f be r(l). Is 2/f*4 - -1 a prime number?
True
Is (4/(-6))/((-12)/(-21078))*-1 composite?
False
Suppose 6*t - 2*t - 20 = 0. Suppose 9 = 3*k + 3. Suppose t = u + 2*j - 7, -k*u = -5*j + 12. Is u composite?
True
Let s(k) = 27*k - 15. Is s(4) a prime number?
False
Let b(w) = -w**2 - w + 46. Let s be b(0). Suppose -s = -2*x - 0*x. Is x a composite number?
False
Suppose -4*q = -q - 663. Is q composite?
True
Let g(w) = 137*w - 5. Is g(2) a prime number?
True
Let g(f) = -5*f. Let s be g(-1). Let l = -5 + s. Suppose -2*r - 3*a - a = -104, l = 2*r - 4*a - 128. Is r prime?
False
Suppose 3*j + 12 = 0, 2*j - 2615 = -5*q + 2422. Is q a prime number?
True
Let t be (-2 + -3 + 2)/(-1). Suppose -t - 6 = -r. Let c = r - -2. Is c a composite number?
False
Let x be (-2 - -4)/(2/(-1)). Let g be -2*(-2 + 6/4). Is -1 + (17 + x - g) a prime number?
False
Suppose 12*i - 9*i - 2121 = 0. Is i a prime number?
False
Let b be 3 + 2 - 2 - -484. Let m = b + -342. Is m a composite number?
True
Let d(p) = p**3 + 6*p**2 - p + 2. Let m be d(-6). Let b(i) = -22*i - 9. Let g be b(11). Let v = m - g. Is v composite?
True
Suppose 0 = 3*m + 3*q + 12, m + 5*q - 12 = -36. Let o(d) = 114*d**2 + d. Is o(m) composite?
True
Let z = 0 - -2. Suppose z*w - 3 + 9 = 0. Let b = w + 22. Is b a composite number?
False
Suppose 4*q + 1267 = 5*q. Is q a prime number?
False
Suppose 0 = -d + 3 - 1. Suppose 0 = u - k - 106, -k = d*u + 2*k - 227. Let h = -76 + u. Is h a composite number?
True
Let z = 2 + -6. Let b be (-1352)/9 - z/18. Is b/(-4) - 3/6 a prime number?
True
Let c(h) = 36*h**2 - 3. Is c(-2) prime?
False
Let j(y) be the second derivative of y**5/10 + 5*y**4/12 - 3*y**3/2 + 11*y**2/2 - 2*y. Is j(5) a prime number?
False
Let m(l) be the first derivative of -l**2 + 2*l + 2. Let g be m(-3). Suppose f - g = 45. Is f composite?
False
Let u be (1*(-2 - -2))/2. Suppose 0 = -3*d - u + 6. Is d a composite number?
False
Suppose 3*k - 455 = 454. Is k prime?
False
Suppose 0 = 3*x - 4*x. Suppose x*v - 2*v = 0. Suppose 5*c - 417 - 128 = v. Is c composite?
False
Let y be (-4)/3 + (-678)/(-9). Suppose -y = -2*x + 12. Is x a prime number?
True
Suppose -2*d - d = 2*w + 31, 0 = -2*d - 3*w - 19. Is (-4 - d)/(1 + 0) a prime number?
True
Suppose 255 = f - 439. Is f a prime number?
False
Suppose m + 2716 = 5*m. Is m a prime number?
False
Let r(j) = 46*j + 1. Let g(d) = -2*d - d - d**2 - 1 - 2*d**3 + 2*d. Let a be g(-1). Is r(a) composite?
False
Let m be 4/((-16)/(-18))*2. Suppose m = -3*t - 0*t. Is (10/t)/((-8)/132) prime?
False
Suppose -5*h + 14721 = -2*h. Is h composite?
True
Let i(m) = 9*m - 15. Let y be i(5). Let x(n) = -5*n - 1. Let a be x(-1). Let s = y - a. Is s a composite number?
True
Suppose 156 = -w + p, -2*w + 0*p - 318 = p. Let j = w - -285. Is j a prime number?
True
Let p(y) = 42*y**3 - 2*y**2 + y. Let b be p(2). Let l = b - 233. Is l composite?
False
Let u(b) = -9*b**3 - 3*b**2 + b - 2. Let t be u(-3). Suppose 3*k - 39 - 182 = 4*v, 2*v = 3*k - t. Is k prime?
True
Suppose k + 2939 = 2*z, 2*z - 4*z + 4*k = -2930. Is z a composite number?
False
Suppose -3*w + 2 = -4. Suppose -2*g = 3*g - 3*d - 15, 2*g - w*d - 10 = 0. Let a(v) = v**3 + 11. Is a(g) a prime number?
True
Suppose -8*j = -959 - 297. Is j composite?
False
Let b be 191*(3 - (-3 + 5)). Suppose 0 = z - b - 110. Is z a composite number?
True
Let g(x) = 3*x**2 + 3*x + 1. Suppose j + 17 - 1 = 5*a, 36 = -3*j + 3*a. Is g(j) prime?
True
Is (-3)/(1 + (-528)/524) a prime number?
False
Let n be ((-2)/4)/(2/(-12)). Suppose -9 = -4*t + 3. Suppose -2*u + 90 = n*q, -8*u = -3*u - t*q - 267. Is u composite?
True
Let r be (-1 - 5)*40/30. Let a(q) = -10*q - 1. Is a(r) a prime number?
True
Let b be ((-20)/(-30))/(2/93). Suppose -2*o = -o - b. Is o prime?
True
Suppose 4*a - 3 = 9. Suppose 2*r - 587 - 526 = -a*u, 3*u + 5*r