d*n + 3667 = 0, 4*k + 3*n = -0*n + 4880. Is k a composite number?
False
Suppose -5*a = 3*j + 15, 0 = a + 4*j + 27 - 7. Suppose a*t = -3*t + 3642. Is t a prime number?
False
Let r = 570 - 87. Suppose 3*q - r = -0*q. Is q a prime number?
False
Let s(g) = -21*g**2 + 9*g - 9. Let r be s(-8). Let u = r + 2324. Let k = u + -450. Is k a composite number?
False
Suppose -5*b + 4*b = -124. Let h be (513/(-18))/((-57)/30 - -2). Let w = b - h. Is w a composite number?
False
Suppose 6 = -2*u, d - 3*u = -2*d - 93. Let q(t) = t**3 - 9*t**2 + t - 6. Let m be q(9). Let x = m - d. Is x a prime number?
True
Let q be 2/(-3 - -5) - 2. Let l(j) = -246*j**3 + j**2 - j - 1. Is l(q) prime?
False
Suppose -2*f + 10 = 2*b, -6*f = -3*f + 5*b - 13. Suppose -f*z + 1224 = -4278. Is z a composite number?
True
Let b be (14/(-21))/(2026/(-2022) - -1). Let x = 744 - b. Is x prime?
False
Let j(i) = i**3 - 8*i**2 + 6*i + 5. Let q be (19 + -1)*4/8. Let z be j(q). Let h = 447 - z. Is h a prime number?
True
Suppose -11*s = 170025 - 580567. Is s prime?
False
Suppose 4*m = p - 115494 + 292116, -4*m + 4*p = -176628. Is m a composite number?
True
Suppose 5*y - 4090 - 2905 = 0. Is y a prime number?
True
Let z(k) be the first derivative of 4*k + 9 + 117/2*k**2. Is z(3) a prime number?
False
Suppose 4*o + a - 337 = -33, 4*o + 3*a - 296 = 0. Let r = 108 + 36. Let h = r - o. Is h a composite number?
False
Suppose 0 = -2*p - 34*p + 169524. Is p composite?
True
Suppose -h - 2 = 2*z - 0, 0 = -h + 3*z - 12. Let a = h + 1. Let f(u) = 11*u**2 - 5*u - 7. Is f(a) a prime number?
True
Let n(x) = -7 - 8 + 6*x**2 + 6 - 7*x. Let r = 52 - 42. Is n(r) a composite number?
False
Suppose -3*m - 5688 = 7*a - 10*a, 5*a = -3*m + 9520. Is a a prime number?
True
Let s(a) = -a**3 + 14*a**2 + 13*a + 15. Let c be (-2)/7 + (316/(-14))/(-2). Is s(c) a prime number?
True
Let n be (2/(-8))/(7/(-84)). Suppose -3*q = -n*k - 168, q + 29 - 91 = -k. Is q a prime number?
True
Suppose 0 = u + 5, -35 = 2*q + 4*u - 3. Let d be q/(-1) - (-4)/(-2). Suppose 105 = d*m - 91. Is m a prime number?
False
Let u be (-960)/70*-14*1. Let c = -289 - u. Let i = -180 - c. Is i composite?
True
Let y(p) = 93*p**2 + 12*p - 23. Is y(-10) a prime number?
True
Let b(m) = m**3 + 8*m**2 + 7*m - 10. Let w be b(-7). Let z = w - -23. Let h = z + 8. Is h a prime number?
False
Let x(m) = -378*m**3 + 2*m**2 + 3*m + 2. Let p(w) = w**2 - 3*w + 1. Let s be p(2). Is x(s) composite?
False
Let q(n) = -n**2 - 18*n + 23. Let y be q(-19). Let g = 18 + y. Is g composite?
True
Is -4 + (15938 - 24 - (-1 + -2)) a prime number?
True
Is 242564/6*(2 + (-2)/4) composite?
True
Suppose -5*j + 2*z + 3 = -2*j, -2*j + 2*z = 0. Is 130/j - 16/48 composite?
False
Let r = 114 + -147. Is 40920/21 - r/77 composite?
False
Suppose -o - 3*x + 1180 = -x, 4*o + 3*x - 4715 = 0. Let a = o + 849. Is a composite?
False
Suppose -35 + 9 = -5*y - 3*p, 4*y = -5*p + 26. Suppose -5*w - y*v + 84 + 12 = 0, 3*v + 43 = 2*w. Let l = w - -38. Is l a prime number?
False
Let i(x) = x**2 + x - 18. Let k be i(-8). Let s = 38 - k. Suppose v + 2 - 69 = s. Is v prime?
True
Suppose l = 2*l + 3*t - 169, 4*l - 5*t = 710. Let d = l + -26. Is d composite?
False
Is (-28927)/((-96)/(-64)*2/(-3)) composite?
False
Let j = 11028 + -3287. Is j composite?
False
Let k(w) = 15*w - 2. Suppose 0 = p + 2*p - 12. Suppose 7 = 4*m + f, 0*m + p*f + 35 = 5*m. Is k(m) composite?
False
Let i = -159 + 162. Suppose i*f - 3*r - 11904 = 0, 4*r + 1170 = f - 2801. Is f a composite number?
False
Let m = -15 + 44. Suppose -4*q = -5*v + m, 0*q - 3*q = -v + 19. Is 493 + -2 + (-4 - q) a composite number?
True
Let w(i) = -2*i + 13. Let m = 16 - 10. Let o be w(m). Suppose -2*b + 797 = 3*n, 11 = 2*n + o. Is b a composite number?
True
Is ((-2)/(-1))/((-24)/(-32460)) a composite number?
True
Let z(s) be the third derivative of 3/2*s**3 - 5*s**2 - 1/6*s**4 + 0*s + 0 + 1/60*s**5. Is z(-10) a composite number?
False
Let f(c) = 50*c**2 + 19*c**2 + 2*c - 3 + 0*c. Is f(4) composite?
False
Let n = -1 + 13. Let b = n - 8. Suppose 0 = b*a + 4, 3*y + 3*a - 155 = 97. Is y a composite number?
True
Let w(g) = -g**3 + 5*g**2 + 9*g - 9. Let c be w(6). Let v(m) = 23*m**2 + 3*m + 6. Let l be v(c). Is ((-4)/6)/((-16)/l) composite?
False
Let q = 5296 + 2685. Is q a prime number?
False
Suppose 3*v = -4*i - 29, 4*i + 7*v = 2*v - 19. Let b(g) be the third derivative of g**5/12 + g**4/2 + 2*g**3 - 3*g**2 - 9. Is b(i) composite?
True
Let d(m) = -m + 14. Suppose 5*a + 2 = y - 10, -36 = -3*y + 3*a. Let p be d(y). Suppose -o = 5, 3*r - p*o = -3*o + 1456. Is r a composite number?
False
Suppose 2*f - 38 = -2*a, 5*a + 18 - 103 = -3*f. Let y(v) be the third derivative of -v**6/120 + 13*v**5/60 + 2*v**4/3 - v**3 + v**2. Is y(a) composite?
True
Suppose 4*j + 6005 = -1855. Let g(m) = m**3 - 4*m**2 - 5*m + 4. Let z be g(5). Is z*(j/12)/(-5) a composite number?
False
Let v = -27 + 30. Suppose -5*n + n + 849 = -3*p, 1404 = -5*p + v*n. Let b = -68 - p. Is b a composite number?
False
Let b(g) = 149*g + 73. Is b(6) composite?
False
Let t = 59422 + 1071. Is t composite?
False
Suppose 18549 = 5*t + 2*j, 70*j = 72*j - 4. Is t a composite number?
False
Let a(p) = 82*p**3 - p**2 + 5*p + 11. Is a(7) prime?
True
Suppose 0 = -y - 5, -5*l + 20 = -0*y + 3*y. Suppose -f = 5 - l. Suppose -f*z = 214 - 800. Is z a composite number?
False
Let j be (-201)/5 - (-6)/30. Let q = -3 - j. Is q a composite number?
False
Suppose -4*w + 33 = 5. Let d(c) = 0 - 4 - w + 5*c. Is d(9) a composite number?
True
Suppose -5*d + 3*d - 2*v + 3076 = 0, 0 = 3*v - 3. Is d composite?
True
Suppose -308 - 349 = -g - 5*h, 0 = 3*g - 4*h - 2009. Suppose 0 = -4*l + r + 1492, -3*r - g = 3*l - 1786. Is l prime?
True
Let g = 39 + -34. Let v(n) = 45*n**2 - 8*n + 12. Is v(g) a composite number?
False
Let o = 554 - 309. Suppose 5*p + 177 = 3*f, 5*f - 2*p = o + 31. Let u = f + 1. Is u a composite number?
True
Suppose -24*b + 82027 = -213485. Is b composite?
True
Let p(h) = 3542*h**3 - 3*h**2 + h - 7. Is p(3) a prime number?
True
Let f = 24 - 36. Let o(k) = k**2 + 12*k - 6. Let m be o(f). Let h = 241 - m. Is h a prime number?
False
Suppose 9*x + x + 1450 = 0. Is 174/x - 6281/(-5) a composite number?
True
Suppose -10*r + 2296 + 1054 = 0. Is r a prime number?
False
Suppose 0 = 5*m + u - 2393, 17*m + 2405 = 22*m - 5*u. Is m prime?
True
Let p = 12 + -6. Let a(w) = w**3 + p*w**2 + 11*w**2 - 23 - 19*w**2 + 10*w. Is a(10) composite?
False
Let s(b) = -541*b**3 - 3*b**2 - 6*b - 7. Is s(-3) prime?
True
Let r = 4320 + 1097. Suppose -7*i + r = -32250. Is i a prime number?
True
Let f(z) = -z**3 - 7*z**2 - 5*z + 5. Let x be f(-6). Let m = x - -1. Suppose -n = 4*p - 25, -3*p - 157 = -4*n - m*n. Is n prime?
True
Let z(l) = l**3 + 14*l**2 - 4*l + 1. Let u(n) = -6 - 4*n**2 + 4 + 6. Let i be u(2). Is z(i) composite?
False
Is 1088/96*(-1 + 1042/4) a prime number?
False
Let j = -1 - -3. Suppose -2*z = 5*b + j + 10, 4*z + 4*b + 12 = 0. Is ((-381)/12)/(z/4) composite?
False
Let u = 19 - 18. Let t be (u - 1)/(-2 - -1). Suppose 3*d + 0*o + o - 794 = t, -d + 3*o + 268 = 0. Is d a prime number?
False
Suppose 0 = 14*f - 4*f - 26290. Is f prime?
False
Let f = -9 - -14. Suppose f*l - 3*l = 1674. Let d = 70 + l. Is d prime?
True
Let h(l) = -2*l - l - l - 2*l. Let i be h(-12). Let z = i - -109. Is z a prime number?
True
Let r(h) = -129*h + 200. Is r(-27) prime?
False
Let p be 25/9 + 28/126. Suppose 2*m + p*m = -3*i + 1928, 2*i + 2*m = 1284. Is i a composite number?
False
Let j = 89 + -90. Is ((-4)/12*5)/(j/3489) prime?
False
Let l = 8 + -16. Is 2/(-3 - 1)*l prime?
False
Suppose -27*o = -42*o + 1348590. Is o a composite number?
True
Let f = 3 - 1. Let p(x) = x**3 + 2*x**f - 8*x**2 - 14 + 10*x + 7. Is p(6) a prime number?
True
Let k = -8 - -12. Suppose 0 = -i + k*i. Suppose 4*z - 5*q - 30 = 17, -3*z + 4*q + 35 = i. Is z prime?
True
Suppose -3*n - 25 = 2*n + 5*t, 10 = -2*t. Suppose n*k + 3*k = -5610. Is k/(-30) + (-1)/3 prime?
False
Let c = 4 - 10. Let s(b) = b**3 + 6*b**2 - 2*b - 7. Let a be s(c). Suppose -5*v + 348 = p, -7*v + a*p + 330 = -2*v. Is v composite?
True
Let c(k) = -391*k - 4. Let n be c(10). Suppose 5*a + 2*f + 13753 = 0, a + 2750 = -2*f + f. Let o = a - n. Is o prime?
True
Is (-2)/(-64)*-4 - (-14537)/8 a prime number?
False
Suppose -4*j - 2*q + 5*q + 5438 = 