4. Let s = t - -30. Is s prime?
True
Let i(p) = -80*p**3 - 2*p**2 - 2*p - 1. Let y = -2 + 4. Suppose y*x = -2*x - 4*c + 16, 0 = -x - 2*c + 9. Is i(x) a prime number?
True
Suppose -5*n + 1388 + 657 = 0. Is n a prime number?
True
Let f = 8371 - 1902. Is f a composite number?
False
Let f = 186 + -129. Is f prime?
False
Is (-8)/(-48) + (-581)/(-6) a composite number?
False
Suppose 4*p = -5*q + 842, -4*q + 645 + 7 = -4*p. Is -2 + q - -2 - 3 prime?
True
Let w = 71 + 0. Is w a prime number?
True
Let c(p) = -p**3 - 4*p**2 - 6*p - 3. Let j be c(-4). Suppose -k - 5*b + j = 0, 2*k + 3*b = 43 - 1. Is k a prime number?
False
Let w(a) = -5*a + 8. Let n(t) = 8*t - 1. Let z be n(-1). Is w(z) composite?
False
Let y = -279 + 897. Suppose -5*r + 123 = -4*l - y, 0 = r - 3*l - 157. Is r prime?
False
Let i = 46 - 9. Let c = -18 + i. Is c composite?
False
Let h(j) = 71*j + 1. Let c(b) = 142*b + 2. Let r(q) = -4*c(q) + 7*h(q). Suppose -2*g - 4 = -0*g. Is r(g) a composite number?
True
Let u = -6 + 7. Is (2 - u)/((-7)/(-2471)) a composite number?
False
Suppose -5*d + 8 + 2 = 0. Suppose 0 = -3*r - d*r. Suppose -5*b + 115 = -4*t, t + r*t = -4*b + 92. Is b composite?
False
Let b(y) = 4*y**2 + 1. Let k be b(-1). Let h = 6 - k. Is (39/(-4))/(h/(-4)) composite?
True
Suppose -2*c + 5*c = -132. Let j = -7 - c. Is j composite?
False
Let j = -698 + 1167. Is j prime?
False
Suppose 0 = 2*v + 2*f - 20 - 78, 0 = -4*v - f + 199. Suppose v - 241 = -m. Is m prime?
True
Let z = 62 + 139. Is z a composite number?
True
Let c = 5 - -31. Let n = c - 26. Let p = -1 + n. Is p a prime number?
False
Let m = -22 + 12. Let g = 19 + m. Is g prime?
False
Let x(t) = -t**3 + 19*t**2 - 23*t + 13. Is x(16) a prime number?
False
Let y(t) = 20*t - 1. Let f be y(2). Let o be (-2)/(-3)*1*-3. Is (f/(-9))/(o/6) a composite number?
False
Let a(h) = -516*h + 77. Is a(-9) a prime number?
True
Let j(g) = -35*g - 56. Let n(o) = 12*o + 19. Let r(m) = -6*j(m) - 17*n(m). Is r(12) composite?
True
Suppose s + 15 = 3*d, -s + 5*s + 20 = 2*d. Let i(c) = -c**2 + 5*c - 2. Let r be i(4). Is -7*(-2)/d*r a composite number?
False
Let b(v) be the second derivative of -3*v**3/2 + 5*v**2/2 - 3*v. Is b(-6) composite?
False
Let q = 157 - 95. Suppose q = s - 5*r, -s + r + 44 = 2. Is s prime?
True
Suppose -t + 2*t + 2 = 0. Let n(d) = 3*d**3 - 3 - 2*d - 20*d**3 + 2*d**3 + 2*d**2 + 0*d**2. Is n(t) prime?
False
Suppose 3*b + 81 = 252. Is b a prime number?
False
Let s be 60/(-6)*2/(-5). Suppose 0 = -t - t + s. Suppose -2*u = t - 516. Is u composite?
False
Suppose w - 5*v - 40 = 0, 7*w + v - 72 = 4*w. Let m = w - -40. Is m composite?
True
Let z(m) = 15*m**2 - 2. Let r = 22 + -27. Is z(r) composite?
False
Is (-5 - (1 - 60)) + 1 + 0 prime?
False
Let z be 238 + (0 - 6/(-2)). Let j = z + -92. Is j a prime number?
True
Let a(t) = -t**2 - 7*t - 6. Let d be a(-5). Suppose -d*p = 3 - 15. Is 112 + -3 + -1 + p composite?
True
Suppose 3*y + 22 + 23 = 0. Let n be ((-24)/(-9) + -2)*y. Let a(r) = -r**2 - 10*r + 9. Is a(n) composite?
True
Suppose 6*q - 748 = 2*q. Is q prime?
False
Let z(x) = -x**3 + 17*x**2 + 23*x + 19. Is z(14) composite?
False
Suppose 3*u + 6 + 5 = 5*t, -u - 7 = -t. Is ((-95)/4)/(3/u) a prime number?
False
Suppose -646 = -8*l + 6*l. Is l a composite number?
True
Is 5/(-15) + (610/3 - -2) prime?
False
Suppose -2*y + 418 = 4*r, -570 + 143 = -4*r - 5*y. Let d = 338 - r. Is d a composite number?
True
Suppose 7*q = 3*q + 2200. Suppose 5*l - 2*w = -q, -28 + 138 = -l + 4*w. Let i = -23 - l. Is i prime?
False
Let q = 25 + -16. Is (q/6)/(1/4) prime?
False
Suppose 0*s + 5*s + 20 = 0, 0 = -5*y + 4*s + 16. Suppose -4*n - 3*b = -y*b - 271, 3*n = 2*b + 199. Is n a prime number?
True
Let u be 6/(-21) + 382/14. Suppose -2*f + r = 2*r - u, -2*r - 6 = 0. Is f prime?
False
Suppose 229 + 527 = 4*m. Let d = m - 134. Is d prime?
False
Suppose -5246 = -6*o + 3184. Is o composite?
True
Let u = 12 + 99. Suppose -a = -4*a. Is (1 - (a + 0))*u composite?
True
Suppose 2*a = 6*a. Suppose 5 = 2*n + 3, a = 5*t - 3*n + 8. Is (15/5)/(t/(-7)) a composite number?
True
Let t(i) = 249*i**2 - 4*i + 3. Is t(2) composite?
False
Let t = 9 + -6. Suppose 0*f + t*f = n - 1, 2*n = 2*f - 2. Is ((-6)/(-18))/(n/(-36)) prime?
False
Suppose 2*w = 2*c - 208, -4*w + c = 215 + 204. Let k = 155 + w. Suppose 0 = 2*n - 0*n - k. Is n composite?
True
Suppose o = 4*p + 3*o - 56, -5*p = 2*o - 70. Suppose -r = -2*f + p, -5*r - 18 = -5*f + 27. Suppose f*g - 194 = 551. Is g a prime number?
True
Let q(z) = -70*z + 17. Is q(-18) a composite number?
False
Let i = 438 - -497. Let f = i + -516. Is f prime?
True
Let t be -95*(-7)/(35/6). Suppose -2*n - s + 38 + 39 = 0, 3*n = -s + t. Is n prime?
True
Let g = 3 - 1. Let k be 0 - (82 - (g + -3)). Let d = k + 150. Is d a prime number?
True
Let y be 1258/(-14) - 11/77. Is -1 + (-3 + 3 - y) a prime number?
True
Let i = 79 + -47. Suppose -3*m - y + i = 0, 5 + 17 = 3*m - y. Let z = m + 5. Is z a composite number?
True
Suppose 0 = -4*t - 7*a + 2*a + 24, 0 = -t - 5*a + 6. Let r be (-3)/(-3) + -2 + 0. Is (-25)/15*r*t prime?
False
Let x = -72 + 115. Is x a composite number?
False
Let f = 0 + 0. Suppose 3*x - 2*x - 5 = f, 2*w - x = 243. Suppose -w = u - 5*u. Is u composite?
False
Suppose -369 = -4*j + 647. Is j a prime number?
False
Let f = 229 - 158. Is f composite?
False
Let a(h) = 2*h**2 - h + 1. Let f be a(1). Is (4/8)/(f/44) a composite number?
False
Let q be 1962/6 - 0/(-1). Suppose 104 - q = -f. Is f composite?
False
Let a(b) = 2*b + 3. Let z be 2/(-15) + 366/45. Is a(z) a prime number?
True
Let o(j) = 72*j**2 + 11*j - 5. Is o(4) a prime number?
False
Suppose -37*k + 35*k = -148. Is k a prime number?
False
Let z(w) be the third derivative of -w**4/24 + w**3/3 - w**2. Suppose 0 = -n - 5*b - 29, -n + b = -3*n - 13. Is z(n) a prime number?
False
Suppose -4790 = 39*p - 41*p. Is p a prime number?
False
Let b = -6 + 15. Let a = 5 + b. Is a composite?
True
Let i = 20 - 8. Let k be (-15)/(i/(-10) - -1). Let d = k - 37. Is d composite?
True
Let k = 23 + -13. Suppose 5*x + 4075 = k*x. Is x prime?
False
Let s(c) = 6*c**3 + 5*c**2 - 5*c - 3. Let r be s(4). Suppose r + 394 = 5*q. Is q prime?
True
Suppose 0 = 5*v - 3658 + 448. Suppose 0 = -4*d + 82 + v. Is d composite?
False
Let p = 1152 - 810. Let x = -185 + p. Is x prime?
True
Let k(z) be the second derivative of 3*z**4 - z**3/3 - 2*z**2 + 4*z. Is k(3) a prime number?
False
Let o(r) = 3*r**2 - r - 8. Suppose 4*q - q + 6 = 0. Let z(u) = 7*u**2 - 2*u - 17. Let g(f) = q*z(f) + 5*o(f). Is g(5) a prime number?
False
Let u(r) = -68*r**3 + r**2 + 2*r + 1. Let l be 1*3/(-9)*3. Let h be u(l). Suppose -3*j + 2*j + 39 = -4*t, -2*j = -3*t - h. Is j a prime number?
True
Suppose 2*z - 84 = 230. Is z a prime number?
True
Is (1 + 1 - 6) + 59 a prime number?
False
Let h be 9/15 - (-69)/(-15). Let a(c) = 11*c**2 + 3*c - 1. Is a(h) composite?
False
Let s be (0 - -1)/(2/(-6)). Let d(f) = f**2 + 7*f - 6. Let c be d(-6). Is (62/s)/(8/c) a prime number?
True
Let s be ((-12)/30)/((-1)/30). Suppose 110 = 2*k + s. Is k a prime number?
False
Let k(n) = n - 3. Let i be k(6). Suppose i*z = -3 - 0. Is 2 + z/((-1)/11) a prime number?
True
Let z(k) = k - 1. Let h(j) = 7*j - 9. Suppose 5*w + x = 2, -2 + 1 = 5*w + 2*x. Let l(u) = w*h(u) - 2*z(u). Is l(6) a prime number?
True
Suppose 0 = -5*l - 3*i + 3, -2*l - 3*l + 7 = 2*i. Suppose 2*m = -l*k + 160, 3*k = 2*m + 5*k - 158. Is m a composite number?
True
Let o(z) be the third derivative of z**5/60 - z**4/12 + z**3 + z**2. Let s be 6 + -4 - (1 + -4). Is o(s) prime?
False
Is (-12)/(-32) - 4133/(-8) prime?
False
Suppose -3*f = 5782 - 394. Is (f/6)/(18/(-27)) a composite number?
False
Suppose -3*m - o = -1000, -o + 980 = 3*m + 4*o. Is m a composite number?
True
Is (-2)/(-12) + (-2513)/(-6) composite?
False
Suppose 4*k - 16 = 2*k. Suppose -m = -k - 15. Is m prime?
True
Is ((-3183)/(-6))/(2/4) a prime number?
True
Let r = 36 + -85. Let f = r - -19. Is ((-2)/(-4))/((-5)/f) prime?
True
Let p(y) = -17*y - 7. Is p(-6) composite?
True
Let z(j) = 6*j - 5. Let r(q) = -7*q + 5. Let b(m) = 4*r(m) + 5*z(m). Let f(y) = -y**2 + 7*y - 6. Let c be f(5). Is b(c) prime?
True
Let z(g) = -14*g + 2. Let u be z(-10). Suppose -555 + u = -a. Is a prime?
False
Let h(s) = 2*s**3 - 25*s**2 + 23*s + 1. Is h(16) prime?
True
Let f = 1