 - 4*t + 1 + 6*t + 3*t**2. Let a be y(-4). Let u(k) = k**3 - 5*k**2 - 2*k - 13. Is u(a) prime?
True
Let m be 3 - 1/1 - 10. Is 6/m + 622/8 composite?
True
Let m(n) = 256*n + 1. Is m(1) a composite number?
False
Let i(g) = -6*g**3 - 3*g**2 + 2*g + 2. Let l be i(2). Let a(p) = -27*p - 4. Let v be a(-3). Let j = l + v. Is j prime?
True
Suppose -5*b + 328 = 4*w, 3*w = -w + 5*b + 328. Is w a prime number?
False
Is 15/(-5) - 1 - -6*71 prime?
False
Let b = 2904 - 1147. Is b prime?
False
Let t(k) be the first derivative of -11*k**4 + k**2/2 - 2. Is t(-1) a composite number?
False
Suppose 0*g - 16 = -g. Let h be (-4)/g + (-3)/4. Is h*(-2 + (1 - 2)) composite?
False
Suppose k - 1358 = -k. Is k a composite number?
True
Suppose -4*s + 5*s = 1673. Is s a prime number?
False
Is (-2)/(-8) + 1686/8 composite?
False
Suppose g + 4*q = -14, 24 = 2*g - 3*q - 2*q. Suppose 663 = m + g*m. Is m a prime number?
False
Suppose 0 = p + 3*p + z - 837, -5*z = -2*p + 413. Is p a prime number?
False
Let g be 0 - 1 - (-24 - -14). Suppose h + g = 212. Is h composite?
True
Let r(d) = -d**3 + 6*d**2 + 7*d + 4. Let u be r(7). Is -4*u/(-48)*327 a composite number?
False
Suppose 0 = -2*r - r. Suppose k = h + 204, r*h = k + h - 202. Is k a prime number?
False
Let d = 1659 - 1158. Is d prime?
False
Suppose -3*z - 7 = -1, -4*s = 4*z - 2340. Is s a composite number?
False
Let r = -1578 + 3313. Is r a composite number?
True
Let u(h) = 2*h - 2. Let y be u(2). Let f(r) = 6*r - 7 + r**2 + y*r**2 - r**2. Is f(-5) a prime number?
True
Suppose 0 = 2*s - 3*z - 10, 0*z + z = s - 4. Suppose -p = s*y - 3*y + 52, 253 = 4*y + 5*p. Is y a composite number?
True
Let x be 0 + -1 + 0 + 1. Suppose -3*a = -4*r - 255, r + x*r = 4*a - 353. Is a a composite number?
False
Let z(j) = 2*j**2 + 5*j - 9. Suppose 5*o - 45 = -5. Let y be z(o). Suppose y = 6*x - 3*x. Is x composite?
False
Is (-2)/14 + 2796/21 a prime number?
False
Let d(f) = -f**3 - 7*f**2 + 15*f - 11. Is d(-12) composite?
True
Let b(x) = -149*x**2 - x + 1. Let t be b(1). Is t/2*-4 - -3 composite?
True
Suppose 0 = -4*p - 0*p + 3*s - 12, 0 = -5*p + s - 26. Let u be 5/(-2)*31*p. Suppose 66 = -3*k + u. Is k a composite number?
True
Let r = 133 - 90. Is r prime?
True
Let o = 4 - 2. Is o + 93/(-1 + 4) prime?
False
Is ((-86)/4)/(-1*(-2)/(-4)) a composite number?
False
Suppose -612 - 874 = -2*j. Is j a prime number?
True
Suppose 0 = -k + 6*k - 2425. Suppose -15*a = -10*a - k. Is a prime?
True
Is ((-16)/(-24))/((-4)/(-44598)) a composite number?
False
Let i be 1/(1 + 900/(-904)). Let c = -119 - -14. Let o = c + i. Is o composite?
True
Let p = -271 - -534. Is p prime?
True
Is 1*(-7 - -4)*-103 a composite number?
True
Let b(n) = n**2 - n. Let x be b(0). Suppose j + 2 = -x*j + 3*s, 5*s - 18 = -2*j. Suppose 3*h - 5*u - 18 = 0, 0 = h + j*h - 3*u - 46. Is h a composite number?
False
Let p = 5577 + -1250. Is p composite?
False
Let v(q) = -4*q**3 - 3*q**2 - 6*q + 3. Is v(-8) a composite number?
False
Suppose -3*x = -2*s + 33, -4*s + 3*x = -6*s + 39. Let g = s + -34. Let y = g + 26. Is y a composite number?
True
Let p(x) = 5*x - 9. Let w = -4 - -19. Let c = -7 + w. Is p(c) prime?
True
Let k = 615 - 307. Let c be (-12)/(-18) + k/(-3). Let r = -25 - c. Is r a prime number?
False
Let f(y) = -9*y - 10. Let m(r) = -10*r - 11. Let a(k) = -5*f(k) + 4*m(k). Let o be a(-4). Is 1 + o*-2*2 prime?
False
Let s = -504 + -329. Is s/(-5) + 10/25 a prime number?
True
Suppose 385 + 961 = 2*x. Is x composite?
False
Let s(p) = 11*p**3 - 7*p + 5. Let a(w) = 10*w**3 - 6*w + 4. Let d(l) = -6*a(l) + 5*s(l). Is d(-2) composite?
True
Let j(y) = 2*y**3 - y**2 - 3*y + 3. Let a(p) = 3*p**3 - 3*p**2 - 7*p + 5. Let v(w) = -3*a(w) + 5*j(w). Let u be v(-4). Let s = u - -93. Is s a composite number?
True
Suppose -5*a + a = 24. Let u be (-1139)/(-6) + (-1)/a. Suppose -5*h + 175 = -2*b, 5*h + 3*b - 2*b = u. Is h composite?
False
Let y(u) = u**3 - 13*u**2 + 2*u - 7. Is y(13) a prime number?
True
Suppose 2*v = 1 - 23. Let d = v - -78. Is d prime?
True
Suppose m = -m - 10. Let r = -8 - m. Let t(g) = -4*g**3 - 4*g**2 - 2*g + 1. Is t(r) prime?
True
Let y(w) = w**3 + 3*w**2 - 6*w - 6. Let j be y(-4). Suppose 2*f - 3*x = 2*x + 99, -j*x = -2*f + 102. Let l = 137 - f. Is l prime?
False
Let k(v) = 4*v**2 - 2*v - 2. Let i be k(2). Let t = i - -1. Is t a composite number?
False
Suppose -3*x + 13 = -17. Suppose -3*f - x = -4*f - 4*t, t = 2*f - 29. Is f prime?
False
Let u = -49 + 9. Let f = u - -123. Is f composite?
False
Suppose 0 = 4*b + 16, -9 = p - 2*b - 73. Let v = 0 - -9. Is p/6 + 6/v prime?
False
Let z be (54/(-12))/(1/(-2)). Suppose 5*m + 18 = -3*o, -2*m - z = o + 2*o. Is 7*33/m*-1 a prime number?
False
Is 1/1 - (-60 - -3) - -1 a prime number?
True
Let s(w) = -2*w - 7. Let j be s(-11). Suppose 4*r + d = j, -3*r + 2*d = -3*d + 6. Suppose -r*a = -155 + 17. Is a a prime number?
False
Let s be ((-4)/(-3))/(2/3). Suppose 126 = s*p + 4*h, -2*p + 150 = -2*h - 2*h. Is p a prime number?
False
Let h(l) = -3*l + 1. Let b be h(-1). Let x = b - -33. Is x a composite number?
False
Let d be (-1)/(-2 - -3) + 5. Suppose -d*q + 330 = q. Suppose -2*g - q = -4*g. Is g prime?
False
Let n(s) = -s**2 - 4*s + 7. Let t be n(-5). Suppose 0 = -o - t*m + 92, 2*o - 99 = 4*m + 61. Suppose 3*d = 2*l + 167, d + 5*l = -d + o. Is d prime?
True
Let v(q) = -q - 13. Let s be v(-13). Suppose s = n + n - 186. Is n composite?
True
Let b(n) = -5*n. Let j(q) = -4*q. Let h(a) = 3*b(a) - 4*j(a). Is h(3) a prime number?
True
Suppose 46*k = 41*k - 155. Let q be (-10)/(-1)*(-18)/(-4). Let c = k + q. Is c a prime number?
False
Let u(o) = -5*o**2 - o. Let f be u(1). Let t(p) = -p**2 - 6*p + 4. Let m be t(f). Suppose 2*i - m*i = -70. Is i a prime number?
False
Let k = -7 - -23. Let x be (2/8)/(2/k). Let m(y) = 18*y - 3. Is m(x) prime?
False
Let d = 677 - 258. Is d composite?
False
Let y be (5/3)/((-1)/(-3)). Suppose -3*j + 4*r = -107, 3*j + 32 = 4*j - y*r. Is j a composite number?
False
Let u(p) = p**3 - 6*p**2 + 4*p + 1. Let n be u(5). Let h be ((-14)/n)/((-5)/(-70)). Suppose 2 + h = r. Is r composite?
True
Suppose o = 12 + 85. Is o a prime number?
True
Let z(b) = 3*b**3 - b**2 - 4*b + 3. Let u be (-6)/(-39) + (-24)/(-13). Is z(u) a prime number?
False
Let a be (1/(-2))/(2/84). Let f be a/6*-2*1. Suppose 0*c + c - f = 0. Is c composite?
False
Let z(m) = -5*m - 3. Let g be z(3). Let o be (-2)/3 + (-124)/12. Let d = o - g. Is d composite?
False
Suppose -3*z + 201 = -144. Suppose -r - 2*f = -z, r - 347 = -2*r - 5*f. Is r a composite number?
True
Suppose 0 = 4*s - 2057 - 1091. Is s a composite number?
False
Let u(o) be the third derivative of o**5/30 + 5*o**4/12 + 3*o**3/2 - o**2. Let m = -45 + 38. Is u(m) a composite number?
False
Let x = 3371 - 1894. Is x a composite number?
True
Let a be 2 - (-5 + 8/4). Suppose -3*s + a*b + 751 = 0, 3*s - b = -s + 1024. Is s a prime number?
True
Let i be 736/4*18 + 2. Is i/10 + 12/(-30) prime?
True
Let p = 13 + -9. Suppose -p*h = 2 - 18. Is (-5)/((-10)/h) + 13 a composite number?
True
Suppose 0 = -5*h + 20, 238 = -m + 2*h + 19. Let y = -45 - m. Let g = y + -95. Is g a prime number?
True
Let l(u) = u**3 + 2*u**2 - u + 4. Let i be l(-3). Let k = i + 0. Let z = 6 + k. Is z composite?
True
Suppose 5*l + 236 = 31. Let p = l + -433. Let q = p - -887. Is q a composite number?
True
Suppose 4*k = 20, 4*k - 62 = -4*r + r. Suppose 2*d - 12 - r = 0. Is d a composite number?
False
Let y(m) = 166*m - 19. Is y(12) composite?
False
Let q(y) = -11*y**3 - 3*y**2 + 3*y + 2. Is q(-3) composite?
False
Suppose -3*o = -4 - 2. Let t be 13/(-4) - (-1)/4. Is -1*(o + t*3) a composite number?
False
Let m(t) be the third derivative of t**6/120 - t**5/60 - 5*t**3/6 + 2*t**2. Is m(4) a prime number?
True
Suppose 3*v - v - 12 = 0. Let s(p) be the second derivative of p**5/20 - p**4/2 + 2*p**3/3 + p**2 + 4*p. Is s(v) prime?
False
Let f(j) = 12*j**2 - 3*j + 51. Is f(14) prime?
False
Let d be 8 + -7 + 0/(-1). Suppose -4*n - d = 7. Is (n - 15)*-1 + 2 prime?
True
Let j(i) = 37*i - 3. Is j(10) a prime number?
True
Let m(u) be the third derivative of -u**5/60 - 11*u**4/24 + 7*u**3/6 - 3*u**2. Is m(-6) composite?
False
Suppose 0 = -4*d + d + 477. Suppose -5*o + 8*o = d. Is o prime?
True
Let f(t) = -t - 7. Suppose -k - 4*k - 35 = 0. Let u be f(k). Suppose u*