 Let q = 146 - h. Is q a prime number?
False
Let r be -2 + 4 - 4/(-4). Suppose f = 4*c + 4*f - 2177, 3*c - r*f = 1638. Is c prime?
False
Let a = 10 - 7. Suppose -a*w = -4*w + 53. Is w a composite number?
False
Is (((-534)/2)/(-1)*1)/1 composite?
True
Suppose -5 = -b - 0*b. Suppose -5*a = -4*n + 403, 4 - 1 = 3*a. Suppose -x + 5*x = 2*t + n, 0 = -x - b*t + 20. Is x composite?
True
Is 2/(-6) - (-238)/3 composite?
False
Suppose 0 = 5*w + 4*j + 84 + 56, 3*j - 57 = 3*w. Is ((-1328)/w)/(2/3) composite?
False
Let o(h) = 4*h**2 - 53*h - 18. Is o(19) prime?
True
Suppose -3*f - 3 = 0, q - 2*f = 2*f + 2727. Is q composite?
True
Let k = -1080 - -1529. Is k prime?
True
Let t = -8 + 11. Let o = t - 5. Is o/4 - 60/(-8) composite?
False
Let w be 3/(-1 + 63/60). Suppose 10 - w = -5*j. Let y = 17 - j. Is y prime?
True
Let c(s) = 30*s**2 + 5*s - 3. Is c(2) prime?
True
Let f = -5 - -3. Is (67*(1 + f))/(-1) prime?
True
Let b = -146 - -272. Let i be 4/3*b/12. Let f = 51 - i. Is f a prime number?
True
Let m = 10 - 5. Suppose -29 = m*j + 36. Let t = j + 32. Is t prime?
True
Suppose -3*z + 4*z = 103. Is z a prime number?
True
Let x(h) = 3*h**3 - 6*h**2 - 2*h - 14. Is x(5) a prime number?
False
Let t(y) = 11*y - 19. Is t(8) a prime number?
False
Let g = 4 + -10. Is (-92)/g*36/8 composite?
True
Let t(p) be the third derivative of p**7/840 - p**5/120 + p**4/6 + 3*p**2. Let w(g) be the second derivative of t(g). Is w(4) prime?
True
Let g(b) = 54*b - 1. Let j be (-1)/((3/(-9))/1). Is g(j) a composite number?
True
Suppose 5245 = 5*u - 3*j, 0 = 3*u + 6*j - 5*j - 3147. Is u composite?
False
Let t = 65 - 60. Suppose 1813 - 317 = 4*v. Suppose v = t*w - 641. Is w composite?
True
Suppose 0 = -4*o - o + 3*v + 63, -5*o - 5*v = -95. Suppose 3*l = -4*g - 47, 2*g + 1 = 4*l + 5. Let d = o + g. Is d prime?
True
Suppose -3*l = 845 - 242. Let c(a) = -296*a**3 + a**2 - a. Let z be c(1). Let b = l - z. Is b prime?
False
Suppose -j + 59 = -47. Is j a composite number?
True
Let s = 24 + -13. Suppose 0 = -w + 44 - 0. Let h = w + s. Is h composite?
True
Let v(k) = k**2 - 5*k + 7. Suppose 3*o - 5*a - 19 = 0, -2*a = -2*o - a + 15. Let y be v(o). Let p = y + -17. Is p composite?
True
Let p be (2/(-4))/((-5)/20). Suppose -5*d = p*z - 397, 3*z - 2*z = 4*d + 231. Is z a prime number?
True
Let l be 3 + (2 + -3 - -4). Suppose 130 - l = 4*s. Is s a prime number?
True
Suppose -3*s = -2*a - 11 - 0, s = -4*a - 15. Let c(f) = 295*f. Is c(s) a prime number?
False
Let x be ((-10)/8)/(4/(-16)). Suppose -5*d + 90 = x*z - z, 5*d - 80 = -2*z. Is d a prime number?
False
Let n(v) = 2*v + 1. Suppose 31 = 2*s - q + 6*q, 2*s = 5*q - 19. Let a be n(s). Suppose 0 = -h + 2*h - a. Is h a composite number?
False
Let j be 1172/14 + (-2)/(-7). Let g = -3 - -16. Suppose -n + j = -g. Is n composite?
False
Let r be 16/5 - (-1)/(-5). Suppose -4*q = -2*s + 3*s - 9, -4*s + 23 = r*q. Suppose 4*l - 74 = t, -t + 20 = s*l - 77. Is l prime?
True
Suppose 0*y = -y - 3. Let b(m) be the third derivative of -m**6/120 - m**5/30 - m**4/24 - m**3/6 + m**2. Is b(y) prime?
True
Suppose -k - 3*k = -8. Is k/(-8) + (-477)/(-4) a composite number?
True
Let y(r) be the second derivative of 17*r**3/2 + 2*r. Is y(1) composite?
True
Let j(r) = r**3 - 4*r**2 + 5*r - 3. Let a be j(4). Suppose 3*c - a = -5. Suppose 0 = -2*o + c + 34. Is o a prime number?
True
Suppose u = 4*t - 3475, u = 5*t - 4669 + 325. Is t prime?
False
Let p = -13 - -10. Let w be 1/(-2)*2*p. Suppose -l = -5*i - 4*l + 662, -w*i = -2*l - 401. Is i composite?
True
Let q(s) = s + 409. Is q(0) prime?
True
Is -3 - (-74 - (-8)/4) a composite number?
True
Suppose -n + 4 = 1. Let h = n - 3. Suppose h = 3*i + 1 - 64. Is i prime?
False
Let n = -224 + 445. Is n composite?
True
Suppose -3*b + 4*k - 12 = -179, k = 4*b - 214. Is b a composite number?
False
Suppose 2*y - 9 = 1. Suppose 2*s - 485 = -5*l + 547, 3*s + y*l = 1553. Is s composite?
False
Suppose 7 + 19 = 2*c. Is c composite?
False
Let d = 517 + -178. Let j be 242*(4 + (-6)/2). Let y = d - j. Is y composite?
False
Let q = -1 + 6. Suppose q*h = 215 + 120. Is h prime?
True
Let w(f) = -2370*f + 53. Is w(-5) prime?
True
Let y be (-7)/((1 + 0)/(-1)). Is -1*y/(-2)*2 composite?
False
Suppose 4*r - 141 = -37. Let y = r - -29. Is y prime?
False
Let y(k) = 0*k + 2*k**2 + 4*k - 7 - k**2. Let l be y(-6). Suppose 2*i = l*n - 2*i - 171, -n + 2*i = -33. Is n a composite number?
True
Let p(g) = -g**3 - 3*g**2 - 14*g - 26. Is p(-9) a prime number?
False
Suppose -7*z = 10642 - 28163. Is z composite?
False
Suppose 0 = 4*k - 2*a - 608, 0*k = 5*k - 2*a - 759. Let o = k + -2. Suppose 0*v = v - o. Is v prime?
True
Suppose -2*o + 1775 = 3*v, -3*o = 3*v - 3794 + 1130. Is o a composite number?
True
Let n(t) = t**2 - 1. Let s be n(-1). Suppose s*a = -a + 237. Is a a prime number?
False
Let z(i) = -4*i - 33. Is z(-18) a composite number?
True
Let q be 124/(-6) + (-4)/(-6). Let d = 12 + -22. Let k = d - q. Is k prime?
False
Suppose w + 537 = 2*h + 2234, h - 1691 = -w. Is w prime?
True
Let l = -5 - -19. Suppose 508 = l*i - 10*i. Is i composite?
False
Let r be (18/(-15))/((-3)/10). Suppose 0 = -4*a + r*k + 192, -3*a + 2*k = -9 - 140. Is a composite?
False
Suppose -4*n + 1109 = -w, -3*n + 4*w + 897 - 75 = 0. Is n a composite number?
True
Suppose -4*t + 103 = -1245. Is t composite?
False
Suppose -5*h = -4*d - 21165, 8602 = 4*h + 4*d - 8294. Is h composite?
False
Suppose 0 = -b + 8 - 0. Suppose p = 23 + b. Is p a prime number?
True
Let v = -7 + 12. Suppose -v = 2*g - 1. Is 0 + (-1 - g - -25) a prime number?
False
Let b be (333/(-12))/(3/(-8)). Suppose -2*d - 3*j = -j - b, 3*d - 87 = 5*j. Is d composite?
True
Let h(c) be the third derivative of 1/6*c**3 - 2*c**2 + 0*c + 3/8*c**4 + 1/60*c**5 + 0. Is h(-11) prime?
True
Suppose -2 = -f + 3*f. Let v be 1 + -2 + (6 - 3). Is f + (v/(-1) - -36) composite?
True
Suppose 0 = v - 5*g - 10, 3*g = -v + 27 - 9. Is 1242/v - 2/(-10) a prime number?
True
Let i(h) = h**3 + 6*h**2 - 8*h + 10. Let w be i(-7). Let c = w + 14. Is c a composite number?
False
Let g(z) = 35*z + 12. Suppose 4*d + 0 = 8, -b = 4*d - 19. Is g(b) a composite number?
False
Is ((-18)/(-36))/((-2)/(-476)) a prime number?
False
Suppose -14*b - 4 = -16*b. Suppose 0 = -4*c - 20, 2*t = -b*t - c + 567. Is t a prime number?
False
Let g(r) = 14*r + 3. Let f be g(-13). Let l = f + 324. Is l a composite number?
True
Let x(t) be the first derivative of t**6/180 + t**5/60 + t**4/24 - 2*t**3/3 + 2. Let p(h) be the third derivative of x(h). Is p(2) prime?
True
Suppose 2*p + 3*p + 5 = 0. Let z = 56 + -33. Is p + 1/(1/z) composite?
True
Suppose -z + 2*r = 3*r + 2, r + 2 = z. Let a be (-6)/((-3)/(-2) - z). Is (a - -1)*11/(-1) a prime number?
False
Suppose 405 = -k + 1466. Is k prime?
True
Let t be (-3 - 9)/((-6)/(-9)). Let c be 6/(-4)*24/t. Suppose c*d - 6*g + 3*g = 133, -3*g + 15 = 0. Is d composite?
True
Let a(b) = b**2 - 10 + b - 5*b + 14 - 16. Suppose 0 = -0*c + 4*c - 44. Is a(c) prime?
False
Is 214 - (3/1 + 0) a composite number?
False
Suppose -d + 4*d - 291 = 0. Is d prime?
True
Let q(f) be the first derivative of 52*f**3/3 + f**2/2 + 1. Suppose -2*y + 18 = -5*c, -2*y + y - 3*c - 13 = 0. Is q(y) composite?
True
Let x(m) = 6*m - 14. Let t be x(6). Suppose 73 + t = 5*k. Is k a composite number?
False
Let u(t) = 1. Let j(z) = -30*z + 1. Let o(x) = j(x) - 4*u(x). Is o(-3) prime?
False
Suppose 0 = -5*d + 788 + 1547. Is d composite?
False
Let k(v) = 2*v + 121. Is k(0) a composite number?
True
Let y be 2/2 - (0 - 5). Let d = y - -121. Is d composite?
False
Let g = 116 - -629. Is g a prime number?
False
Suppose -4*v = -18 - 2. Suppose 77 = 2*x - 3*t - 2*t, v*t + 41 = x. Let k = x + 1. Is k a prime number?
True
Suppose 4*i = -2*j + 7*j - 376, -2*i + j = 194. Let m = i + 62. Is (2 - 5)*m/3 prime?
True
Let b(h) = 9*h**2 - 5*h + 9. Is b(6) prime?
False
Suppose 0 = p + 3*j + 13, -3*j = 4*p - 5*j - 18. Suppose p*w = 2*y - 34, -4*w - 75 = -3*y - 7*w. Is y composite?
True
Suppose -17*g + 3406 = -15*g. Is g a composite number?
True
Suppose -30 = 3*u + 2*u. Is (u - -7) + 44*6 a composite number?
True
Let w(d) be the third derivative of -d**6/120 + d**5/15 + d**4/24 - 2*d**3/3 + 2*d**2. Let j be w(4). Let a = j - -6. Is a a prime number?
False
Suppose 4*d + 3*n - 654 = -0*d, 0 = 4*d - 5*n - 638. Supp