*s = s - 7684. Is s prime?
False
Let z = 74762 - 52711. Is z composite?
False
Let d be 8/3 + (-4)/(-12). Let x be 34/(-10) - d/5. Is 1282/(-2 + 0 - x) prime?
True
Let c(a) = 614*a - 391. Is c(7) prime?
True
Let x = 16 - 10. Suppose -m = x*m - 182. Is m a prime number?
False
Let h be (-4 - -1)/(524/264 + -2). Let n = h - -5. Is n a composite number?
True
Let h(r) be the third derivative of 43*r**4/6 + 49*r**3/6 + 22*r**2. Is h(9) a composite number?
False
Let s(g) = g - 1. Let r(u) = -7*u**2 + 11. Let m(f) = -f**3 - 4*f**2 + 3*f + 6. Let x be m(-4). Let j(h) = x*s(h) - r(h). Is j(6) a prime number?
True
Suppose o - 11684 = -u, 3*u - u + 58399 = 5*o. Is o prime?
True
Suppose -17*n = -3455301 + 1326680. Is n prime?
False
Let v(b) = -164*b + 19. Let w(n) = 163*n - 20. Let j(h) = 4*v(h) + 5*w(h). Is j(5) prime?
False
Let a = -28 - -30. Let p(x) = 2 + 3*x**a - 3 - 4. Is p(-12) a composite number?
True
Let n(v) = -v**3 + 13*v**2 + v - 8. Let q = -5 + 18. Let y be n(q). Suppose -y*u + 246 = -239. Is u a prime number?
True
Is (-1)/((-1)/4) - 22476/(-4) composite?
False
Suppose -5*y - 19 + 49 = 5*t, -3*y + 10 = -t. Suppose -t*m + 2*k + 435 + 179 = 0, -614 = -2*m + 4*k. Is m a composite number?
False
Let o = -2 - -16. Let k = -15 + o. Is k + -3 - (-3 + -68) composite?
False
Let p(f) = 6*f - 10 - 4*f - 26*f**2 + 32*f**2 - 4*f. Let y be (-4)/((-3)/(27/6)). Is p(y) composite?
True
Let g(a) = 34*a**3 + a. Let s be g(1). Suppose 16*j - 15 = 11*j. Suppose -j*w + 199 = k, -k + 4*w + s = -136. Is k prime?
False
Let l = 4133 - 2559. Suppose 6*g - l = 4*g. Is g composite?
False
Let q(u) = -u**2 + 5*u + 2. Let h be q(6). Let y(t) = -63*t + 7. Is y(h) prime?
False
Let n(b) = -9*b - 12. Let j be n(-8). Suppose 0*g = 4*g - j. Let u = -6 + g. Is u composite?
True
Let x(c) = 57*c**2 - 9*c - 9. Is x(7) composite?
True
Suppose -55071 - 38581 = -2*t. Is (t/(-13))/(0 + -2) prime?
True
Let u be (-366748)/(-9) - ((-48)/(-27) + -2). Suppose 0 = -12*g + u - 6034. Is g a prime number?
False
Let m(a) = -a**3 - 6*a**2 + 5*a - 5. Suppose 0*v = -2*j + 4*v - 2, -4*j - v = 31. Is m(j) a prime number?
False
Suppose -47*i = -50*i + 15981. Is i prime?
False
Let c(l) = -l**2 + 13*l + 5. Let w be c(13). Suppose w*i - 8032 = 1273. Is i a composite number?
False
Suppose 0 = v - 0*v - 6. Let j(p) = 9*p + 5. Let x(b) = 17*b + 10. Let f(r) = 7*j(r) - 3*x(r). Is f(v) a composite number?
True
Suppose 3 = a, 30533 = 4*w - 2*w + 5*a. Is w prime?
True
Let b(r) = 6*r**2 - 6*r + 23. Let w(i) = -i**3 + 11*i**2 + 10*i + 14. Let a be w(12). Let d be b(a). Suppose -2*t = -699 - d. Is t a prime number?
True
Suppose z = 2*i - 35810, i - 17887 = -3*z - z. Is i a prime number?
True
Let g = 1128 - 408. Let h = g - 97. Is h a composite number?
True
Let m = 26374 - -4697. Is m a composite number?
True
Let y be 6*(-16)/(-6) + -4. Let u be -3 - -6 - y/2. Is 14/(-21) - 2903/u a prime number?
True
Suppose 3 = 4*l - x - 1, -3*l - 4*x - 16 = 0. Suppose l = 13*a - 15*a + 4. Suppose -290 = -a*d - 3*h - h, 2*d - 315 = h. Is d prime?
False
Suppose 2*x - 5 = -3*x. Let z be (x + -6)*189/(-9). Suppose -5*k - 7*n = -2*n - z, 0 = -2*k - 4*n + 38. Is k a prime number?
True
Suppose -q - d + 858 = -15417, -3*q + 48829 = 4*d. Is q composite?
True
Suppose -14*k = -12*k + 2, -5*h = -k - 12896. Is h a composite number?
False
Let f(a) be the second derivative of 7/2*a**3 + 0 + a + a**2. Is f(7) a prime number?
True
Let m be ((-1)/2*-10)/((-1)/(-1)). Suppose -m*z = 4 - 3369. Is z prime?
True
Is ((-2)/21 - 0) + 329395/105 a composite number?
False
Let s = -23798 + 60091. Is s composite?
False
Let c = -55 - -42. Let z(k) = -k**2 - 18*k + 14. Is z(c) a composite number?
False
Let f = 33 + -28. Suppose h = c + f*h - 97, -c + 5*h = -97. Is c a prime number?
True
Suppose 85*x = 101*x - 114928. Is x prime?
False
Suppose 36*r - 30*r = 16332. Is r a composite number?
True
Is (-2)/((-2)/5) + (-12712)/(-7) a prime number?
False
Let n(f) = -f**2 - 21*f + 51. Let x be n(-23). Suppose -3*u - a + x*a + 733 = 0, 0 = -5*a + 25. Is u a prime number?
True
Suppose -8*w + 3*w = -5. Let l = w - -1. Is (l/(-3))/((-16)/7608) a composite number?
False
Is (13004/6)/((408/36)/17) prime?
True
Suppose 160 = 4*o - 2*o. Suppose -h = 3*h - 20, 4*z = -5*h + 5. Is z/(o/(-76))*12 a composite number?
True
Let a(u) = 523*u + 159. Is a(22) composite?
True
Suppose w + 0 - 4 = 0. Suppose -5*c - 39 - w = 2*n, 0 = -4*n + 3*c - 21. Is (-10)/45 + (-821)/n a composite number?
True
Suppose 9870 + 128995 = o. Is o prime?
False
Suppose 97*l - 66274 = 4965795. Is l prime?
False
Let d(c) = c + 1. Let s be d(6). Suppose 4*p = s*p - 1281. Is p a composite number?
True
Let x = 4874 + -2055. Is x a composite number?
False
Let d = -6 + 9. Let c(t) = -t**3 + 2*t**2 + 3*t - 3. Let i be c(d). Let x = i - -6. Is x prime?
True
Let k = -64991 - -103336. Is k prime?
False
Let y(s) = -8*s**3 + 8*s**2 + s + 10. Let d be y(-9). Suppose 6*o = -247 + d. Is o a composite number?
False
Suppose 0*z = -8*z - 1672. Suppose -2*l + 318 = -l. Let k = l + z. Is k prime?
True
Let n be 6 + 18 - 0/2. Let r = 29 - n. Is (-1 - -2)/(r/1535) a composite number?
False
Let v(q) be the third derivative of q**8/20160 - q**7/5040 + 149*q**6/720 - q**5/6 - 12*q**2. Let r(t) be the third derivative of v(t). Is r(0) composite?
False
Let o(u) = -u**3 + 4*u**2 - 5*u + 4. Let l be o(2). Suppose 0 = 3*w - l*n - 245, -2*n = 5*w - w - 308. Let q = 165 - w. Is q prime?
False
Let p = 117457 - 82850. Is p composite?
False
Suppose -3*w + 534 = -3*o + 2*o, -5*w + 876 = 3*o. Let t = w + -667. Let m = t - -821. Is m a prime number?
True
Let r(c) be the third derivative of -c**5/60 + 307*c**3/6 - 9*c**2. Is r(0) a composite number?
False
Let a(h) = -12*h. Let m be a(1). Let i be (m - 5)/((-3)/93). Let d = -168 + i. Is d a prime number?
True
Let r be 1 - (1277 + -5 + 4). Let p = r - -2438. Is p prime?
True
Let b(y) = -338*y**3 - y. Let n be b(-1). Let u be n - (-3 - (-2 - 3)). Suppose -3*x - 46 = -u. Is x composite?
False
Suppose -4 = -4*n, -m + 16 = n + n. Is (-2)/14*-17285 + m/(-49) a composite number?
True
Let h be 3/(-6) - (-15)/6. Suppose 654 = h*x + 2*b, -6*x - b = -3*x - 973. Is x a composite number?
True
Let h = 20 - -213. Suppose -85 + h = 4*i. Is i a composite number?
False
Suppose -58135 = -5*u - 5*x, 13*u - 11*u = 5*x + 23268. Is u composite?
True
Let p = 4817 + 5981. Is p a prime number?
False
Let q be 0 + -3 + 566 + 1 + -1. Let s = q - -188. Is s composite?
False
Let f = 4966 + 38515. Is f composite?
False
Suppose 2*f = 3*f - 11. Let k(n) = 3*n**2 - 13*n - 9. Is k(f) composite?
False
Is 27/((-108)/20408)*1/(-2) prime?
True
Suppose -8*m + 2825 = -1567. Suppose -5*r = -2*u - 735, 4*r - 3*u = 46 + m. Is r a composite number?
True
Suppose -12*j + 5925 = -11*j. Let n = 8504 - j. Is n a prime number?
True
Let z(s) = 3*s - 18. Let k be z(7). Suppose -4*r = k*h - 1833, 4*r + 611 = -0*h + h. Is h a prime number?
False
Let f(c) = c**3 + 5*c**2 - 6*c + 5. Let i be f(-6). Suppose i*a + 18 = w - 0*a, 4*w = 2*a. Is 1 + 55 + w + -1 prime?
True
Let a(d) = 77*d**3 - 11*d**2 + d + 13. Is a(4) composite?
True
Let p(v) = -13*v**3 - v**2 - 8*v + 13. Is p(-6) composite?
False
Suppose 2*u + 15 = j, -5*u = -4*j + 29 + 10. Is -8 - u - (-2796)/2 a prime number?
False
Let g(x) = 50*x**3 - x**2 + 8*x - 4. Let o(q) = q - 12. Let s be o(15). Is g(s) composite?
False
Let l(v) = 4*v + 7. Let n(u) = -11*u - 22. Let b(g) = -8*l(g) - 3*n(g). Let d be b(-7). Suppose 12 = d*t - 90. Is t prime?
False
Suppose -z + 1160 = 5*m, 2*z - 464 = -2*m + 3*z. Is m + 2 + (4 - 3) a prime number?
False
Let z(s) = 8*s**2 - s - 19. Suppose 4*b - 5*y = -2*y + 42, 46 = 3*b + 5*y. Is z(b) composite?
True
Is (-30762)/(-15) + 40/200 a prime number?
False
Suppose w = 2*t + 8, 0 = 3*w - 4*t - 21 - 9. Suppose -w*f + 17*f = 15. Is (1418/f)/((-30)/(-75)) prime?
True
Suppose -b + 3*b = -a + 1463, -4*a = 4*b - 2928. Is b a composite number?
True
Suppose 4*d = -4, 5*c - 27727 = d + 13199. Is c a prime number?
False
Is (0 - 492/30)*(-145)/2 a composite number?
True
Let y(p) = 20*p - 3. Let j(k) = -61*k + 9. Let v(a) = -6*j(a) - 17*y(a). Is v(10) prime?
True
Suppose -5*a - 5 = 0, -3*a - 21 = 5*c + 17. Let z = 32 + c. Is z a prime number?
False
Let f be (-10)/45 + 46520/36. Suppose f = 4*c