e 5*p - 4*a - 99 = 4*p, 4*p + 5*a - 291 = n. Is p prime?
True
Let b(t) = 15*t**2 - 4*t - 5. Let j(i) be the first derivative of -i**3/3 - 5*i**2/2 + 2*i + 5. Let h be j(-6). Is b(h) a prime number?
True
Let j(u) = -8*u**3 + u - 2. Suppose -5*b = -2*h - 1, -5*h - 8 = 4*b + 11. Is j(h) a prime number?
True
Let h = -1170 + 1373. Is h composite?
True
Let o be -350 - ((-9)/(-27) + 7/(-3)). Let t = -1155 - -1664. Let f = o + t. Is f a composite number?
True
Let a(u) = -3*u**3 + 4*u**2 - 2*u - 7. Let i be -1 + 0 + -2 + -3. Is a(i) a composite number?
False
Suppose -2*t + 543 + 1814 = c, -4*t = -2*c + 4690. Let l = c + -996. Is l prime?
False
Suppose 4*x + 30 = 3*q, 3*q = 5*x + 15 + 18. Let t be (2/q)/(12/14004). Is t + 3/(-9)*-6 a prime number?
False
Let k(x) = -x + 10. Let z be k(6). Suppose -z = -g - 0. Suppose 88 = g*f - 2*y, -46 = -3*f + 2*y + 21. Is f a prime number?
False
Suppose p - 57 = -2*p. Let s = -21 + p. Is 7 - (-6)/(-4)*s a composite number?
True
Suppose -i + 5*i = 4. Let y be (-1)/i*0 + 0. Let z(m) = -m**2 - 2*m + 347. Is z(y) a composite number?
False
Is 8983/(1 + 0/9) composite?
True
Let v be -1*(-7)/(21/18). Let r be (6/4)/((-3)/v). Let g = 12 + r. Is g a composite number?
True
Let i(z) = 4*z + 8. Let j be i(-8). Let r be (3/4)/((-6)/j). Suppose -r*s - 2*m = -469, 0 = 5*s - 3*m - 555 - 214. Is s a composite number?
True
Let p(i) = 873*i - 3. Suppose 1 = s - 0*s. Let m be p(s). Let j = -549 + m. Is j prime?
False
Suppose 0 = -0*a - 4*a - 2*o - 18, a = -5*o - 9. Is ((-5)/a)/5 - 1627/(-4) prime?
False
Is (66077/(-4))/(2/(-8)) a prime number?
False
Suppose -m = -5*o - 5, -3*m + 3*o + 25 = -2*o. Let u = m - 13. Let x(k) = -7*k**3 + k**2 + k + 4. Is x(u) composite?
False
Suppose -4 - 2 = -3*w. Suppose -2*b - 3*j = w*b - 1513, -5 = 5*j. Is b composite?
False
Suppose -5*x + 2*x - 25 = -2*n, 5*x + 15 = -2*n. Suppose -n*q + 1207 = 152. Is q a composite number?
False
Suppose -4*p - 4*w = -10544, -4*p + 5*w + 10535 = 6*w. Is p a composite number?
False
Let z be 2 - ((0 - -2) + 0). Suppose 0 = 4*l - z*l. Suppose 0 = 4*v - 196 - l. Is v a prime number?
False
Let c(v) = 10 - 3*v + 18*v**2 - v**3 + 0*v + 2*v + 11. Is c(17) prime?
True
Let c = -17 - -20. Suppose 0 = -2*b, 4*w + 0*b - 8212 = c*b. Is w composite?
False
Let v(r) = 10 + 9*r - 2*r + r. Let m be v(-5). Is 344/6 - 20/m a composite number?
True
Let d be 9/6*8/12. Suppose d - 5 = b. Is (-3 - b)*(144 - 5) composite?
False
Let y(n) be the second derivative of 0 + 1/6*n**4 - 3*n + 2/3*n**3 - 1/2*n**2. Is y(-7) prime?
False
Suppose -108 - 214 = 2*a. Is (-158631)/a - (-4)/(-14) a prime number?
False
Suppose -2*c - 10 = -24. Suppose -199 = -c*r + 144. Is r composite?
True
Suppose -3*g - 3*m - 237 = 0, 2*g + 3*m - 255 = 5*g. Let d = g + 137. Is d a composite number?
True
Let r be (2/4)/(2/4). Is 765/6 - (-2)/(-4)*r a composite number?
False
Let y = -713 - -4120. Is y composite?
False
Is 29/(((-104)/13)/(-26968)) prime?
False
Let s = 1242 - -1193. Is s a composite number?
True
Let r = 23 + -19. Suppose -3*m - 3 = -r*m. Suppose -g + 3*g = 2, 396 = m*i + 3*g. Is i a composite number?
False
Suppose 4 = 3*y + 2*z, -2*z - 1 = 4*y - 9. Let m = -166 + 796. Suppose -5*x = -3*c - m, -2*x - c - 251 = -y*x. Is x a composite number?
True
Let r(x) = -x**2 - 6*x - 3. Let n be r(-5). Suppose k + n = 6. Suppose 5*a + 3 = k*y + 50, 3*a - 25 = 4*y. Is a a composite number?
False
Let t = -7515 + 13552. Is t composite?
False
Suppose 0 = f - 8 - 0. Let b = f - 10. Is -3 + 43 + 4/b composite?
True
Let o(z) = 161*z**3 - 4*z**2 - 5*z - 6. Let p be o(5). Suppose -p = -6*j - 7*j. Is j prime?
False
Suppose -14*y + 19*y = 35270. Is y composite?
True
Let r(k) = -348*k**3 - 2*k**2 - 2*k + 2. Let x be r(2). Let j = -1527 - x. Let z = j - 704. Is z prime?
True
Let g(i) = 7*i**3 + i**2 - 3. Let x(k) = 14*k**3 + 2*k**2 - k - 7. Let p(c) = -5*g(c) + 2*x(c). Let h be p(2). Let w = h - -860. Is w prime?
True
Let w = -76 - -415. Is w prime?
False
Let y(l) = -1419*l - 40. Let w(m) = -709*m - 19. Let s(g) = 7*w(g) - 3*y(g). Is s(-2) prime?
True
Let x(r) = 2*r**2 - 8*r + 3. Let t be x(6). Let a = t + -29. Is (-1)/((-579)/(-291) + a) composite?
False
Let q(y) = -y**3 - 3*y**2 + y + 6. Let b be q(-3). Suppose -2986 = -5*j + d, 0 = -b*j - 3*d - 0*d + 1806. Suppose 3*i = 5*i - j. Is i a composite number?
True
Let t(l) = -l**2 - l + 4. Let b be t(3). Let k = 15 + b. Suppose k*z - 3*z - 188 = 0. Is z a composite number?
False
Let z(n) = -n**3 - 6*n**2 + 2. Let c be z(-6). Suppose -1 = -t + 5*a, c*a - 5 = -5*t - a. Is (247 + 3 + t)/1 prime?
True
Suppose -3*u + 45 = 36. Let j be 2 - (1 + -1 + -2470). Suppose 3*d + j = 3*w, 1027 + 1424 = u*w + 4*d. Is w prime?
True
Let p(x) = x**2 - 12*x - 3. Let a be -2*(0 - 40)/4. Let s be 20/6*(-48)/a. Is p(s) a prime number?
True
Let k(t) = -t**3 + 24*t**2 + t - 19. Let y be k(24). Suppose r + 3*r + f = 1049, 2*f = y*r - 1308. Is r composite?
True
Suppose 46*g - 23*g = 152191. Is g a composite number?
True
Let o = -29 + 32. Suppose -o = r - 8. Suppose 43 = h - 3*u - 17, -r*h - 3*u + 354 = 0. Is h prime?
False
Let n(d) = 36*d - 33*d - d**3 + 0 - 3*d**2 + 1. Let u be n(-4). Suppose u*p = -0*p + 1015. Is p a composite number?
True
Suppose -6*j + 0*j = -12. Suppose -23 + 56 = 4*l - i, 45 = 5*l - j*i. Suppose l*r - 3*r = 1228. Is r composite?
False
Is ((-89732)/(-14))/(82/287) a prime number?
True
Suppose 0 = -12*c + 10 + 50. Suppose 5*x - 115 = -c. Is x a composite number?
True
Let k(f) = -11*f - 7. Let t be k(-5). Let v = -20 + t. Suppose 5*y = 4*z + 70, -12 = -5*y - 2*z + v. Is y prime?
False
Suppose 2630 = -237*v + 239*v. Is v a prime number?
False
Suppose 44511 = q - 24835. Is q prime?
False
Let w = 169064 + -78219. Is w prime?
False
Let s be ((-2)/4)/((-10)/100). Suppose 0 = -s*x + 600 - 125. Is x a prime number?
False
Suppose x - 3*s - 407 = 2382, -3*s - 12 = 0. Is x composite?
False
Is (4/24*9)/(6/1556) a prime number?
True
Let a(c) = -877*c**3 - 2*c - 2. Let j be -2 + (-22)/(-26) - (-2)/13. Is a(j) prime?
True
Is (-2)/6 - 152368/(-12) prime?
True
Let l = 1319 + 15926. Is l prime?
False
Let w be 3/6*(-298)/1. Is w/(2/(-10)*1) a composite number?
True
Suppose 10482 = 3*n - 7029. Is n a composite number?
True
Suppose 0*g - g + 3412 = 4*v, -v - 4*g + 853 = 0. Is v prime?
True
Let v = -4217 - -6550. Is v composite?
False
Let t be (-2)/(-7) - 115/35. Is 22352/20 + t/5 a prime number?
True
Suppose 139*t = 141*t - 125482. Is t prime?
False
Suppose -2*j + p = -10, p + 2 = 4*j - 14. Suppose 8388 = j*k - 195. Is k a composite number?
False
Let n = 43 + -35. Suppose -n*x = -6448 + 1064. Is x a prime number?
True
Suppose -4*y = -2*s - 144, 0 = -0*s - s - y - 75. Let j = 153 + s. Is j prime?
True
Suppose 80994 = 4*q + 6502. Is q a prime number?
False
Let i(y) = y - 21. Let h be i(5). Is 2*(596/h)/((-2)/4) composite?
False
Suppose 18 = -0*h + 6*h. Suppose 0*l - 5*l = 15, h*d - 183 = 2*l. Is d prime?
True
Let v(y) = -1417*y + 618. Is v(-29) composite?
True
Suppose 36*f + 29135 - 577955 = 0. Is f a prime number?
False
Let u(j) = j**3 + 49*j**2 - 46*j + 99. Is u(-37) a prime number?
True
Is 4/(-12) + (-7496)/(-6) a prime number?
True
Let a(y) = -y**2 - 5*y + 1. Let c be a(-4). Let n = 9 - c. Suppose -4*j = 3*d - 105 - 156, 5*d = -n*j + 435. Is d prime?
False
Let i = -27 - -29. Let g be (8 - i)*(-4)/6. Is (-186)/g - 12/(-24) composite?
False
Let h(d) be the third derivative of 421*d**4/24 + 7*d**3/2 - 6*d**2. Is h(8) prime?
True
Let r be 52/6 - 3/(-9). Let p be r/(-3) + -2 + -2. Is (19 + -2)*(0 - p) prime?
False
Suppose 5*a = -5*s + 36165, -5*a - s + 53451 = 17270. Is a prime?
True
Let z = 2173 - -160. Is z prime?
True
Suppose 4*v + 3*a + 0*a - 393 = 0, 0 = -2*a + 6. Is (-4735)/(-6) - 16/v a composite number?
True
Suppose 19*q = 18*q + 3593. Is q a prime number?
True
Suppose 87*r = -37375 + 485164. Is r prime?
True
Suppose 7373 = 3*x + 2*t, -4*x + 9723 = 4*t - 113. Is x prime?
False
Let d = 191 - -252. Is d prime?
True
Let y be 0/(0 - -1) - -4. Suppose 3*s + f = 836 + 392, 0 = y*s + 3*f - 1639. Suppose -3*j - 2*z = -421, 2*j - 4*z - s = -j. Is j a prime number?
True
Suppose 5*j - 6*j = -165. Suppose -j = -6*n + 57. Is n prime?
True
Let z be 0 - 0/(12/(-3)). Suppose 2*j + 7*j - 54 = z. Is j composite?
True
Let y(g) = g**3