
True
Let m(q) = 9*q**3 - 2*q**2 - q - 1. Suppose 2*f = 8 - 2. Let l be m(f). Let b = l - 75. Is b a composite number?
True
Let t(c) = c**3 - 7*c**2 - 4*c - 18. Let a be t(11). Suppose 3*j - 190 - a = -3*n, 2*n = 3*j - 637. Is j a composite number?
True
Let w(p) = -p - p + 16*p**2 + 10*p**2 + 2 - 3. Is w(-5) prime?
True
Suppose -p - 624 = 2*a, -3*p - p = 4*a + 1252. Let q = -101 - 367. Let m = a - q. Is m a prime number?
True
Suppose -349 = -6*u + 1421. Suppose 0 = -0*a - 2*a - 3*j + 611, -u = -a + 2*j. Is a a composite number?
True
Let v be -5*(-1 + 4 + -4). Suppose 2*m = v*m - 57. Is m a composite number?
False
Suppose 3*t - 2*z = 8*t - 31, 0 = 3*t + 4*z - 13. Suppose -3347 = t*p - 19846. Is p composite?
False
Suppose -b + 5*b + 41 = -5*n, 4*n = -5*b - 31. Let z(y) be the third derivative of -y**6/120 - 2*y**5/15 + y**4/4 + 7*y**3/6 + y**2. Is z(n) a prime number?
False
Let a be (3 + 727)/2 - 3. Suppose 3*j = -a - 76. Is (3 - j)*(-2 + 3) a prime number?
True
Let u(a) = -182*a + 27. Is u(-5) prime?
True
Is 13580 + 64 + 10/2 composite?
False
Suppose -15 = 5*l - 5*k, -2*l - 4*k = -l - 2. Let n be 0*l/8 - -3. Suppose n*j + 2*f - 442 = -57, 2*j - 2*f - 250 = 0. Is j prime?
True
Let u = -129 - 10. Let k be 0 + -4 + (u - 10). Let n = 86 - k. Is n a prime number?
True
Let g = 79 + -58. Is -4 - (-2 - g) - -3 a prime number?
False
Let o(n) = -2*n**2 - 19*n + 44. Let g(a) = -a**2 - 20*a + 44. Let j(l) = 3*g(l) - 4*o(l). Is j(11) prime?
False
Let n = -157 + 246. Is n a composite number?
False
Suppose -27*y = -15*y - 26196. Is y a prime number?
False
Is (2 + 35/(-14))/((-3)/23934) composite?
False
Suppose 5*x + 2 + 1 = n, -4*n = -2*x - 12. Is 474/4*(1 - n/9) a prime number?
True
Let f = 1665 - 2507. Let c = 477 - f. Is c a composite number?
False
Is 181679/102 + (1 - 21/18) composite?
True
Let j(k) = -2 + 4*k + 4 + 2*k - 9*k + 3*k**2 + 5. Suppose n - 5*n = -36. Is j(n) prime?
True
Let d(f) = -13*f**3 - 6*f - 9. Is d(-5) a prime number?
False
Suppose -3*q = -2*k + 5716, -4*q + 6*q - 2851 = -k. Is k prime?
False
Suppose y = 4*m - 225, 668 = -3*y + 2*m + 3*m. Let k = 40 - y. Suppose 21*s = 18*s + k. Is s a composite number?
True
Let r(h) = 171*h**2 - h - 31. Is r(6) prime?
False
Let l = 14 - -2. Suppose 29*b = 33*b - l. Is b a prime number?
False
Let x = 1240 - 407. Let k be 0/(-4) - -5 - -1. Suppose -k*m + 2255 = x. Is m a composite number?
True
Let z be -76 - (0 + -3 - -2). Let k = z + 313. Is (k/(-6))/((-1)/3) a composite number?
True
Suppose 7*b - 15 = 2*b. Is b/(1/(1833/9)) a prime number?
False
Let i(d) = 43*d - 47. Is i(16) composite?
False
Let g be (0/2)/(-2 - -3). Suppose g*q + 227 = q. Let c = q + -158. Is c a composite number?
True
Let w be 4/(-10) - (-71510)/25. Let v = w - -249. Is v composite?
False
Let j(n) = 2*n - 1. Let b be j(7). Let i(k) = -b + 2 + 26*k + 18*k. Is i(8) a composite number?
True
Let m = 56 - 53. Suppose -2234 = -s + m*d, 0 = 5*s - 4*s + 2*d - 2249. Is s a composite number?
False
Let o(h) = h**3 - 3*h**2 - 5*h + 6. Let q be o(4). Let w be 6515/(-13) + q/13. Let b = w - -706. Is b a prime number?
False
Let i(j) = -3398*j**3 + j**2 + 5*j - 5. Is i(-2) a prime number?
False
Suppose 3*s - 2*c = -5, -c - 5 = s - 5*c. Is s/(4 + 1882/(-470)) composite?
True
Let c be ((-4)/(-1) - 4)/(-2). Suppose -3*p = -6, c = 4*l + p - 3879 + 693. Suppose 5*f = -3*w + l, -2*f = -3*w + f + 756. Is w a composite number?
False
Let y be (12/3 - 3)*370. Suppose -4*k = -3*x - y, x - 4*k + k = -115. Let v = 285 + x. Is v prime?
False
Suppose -5*m - 2358 = -p, 0*m + 2308 = p + 5*m. Is p a prime number?
True
Suppose 4*r = 36 - 12. Let m(v) = v**3 - 5*v**2 - 5*v - 6. Let p be m(r). Suppose p = -4*a + 8*a - 1164. Is a a prime number?
False
Let t be 5319/13 - (-8)/(-52). Let s = 96 - -152. Let j = t - s. Is j prime?
False
Let p = 65 - 60. Suppose 0 = -3*v - 6, 3*h = 4*h - p*v - 3369. Is h a prime number?
True
Suppose 13*i = 6*i + 44429. Is i composite?
True
Suppose -7*k + 13*k = 54906. Is k prime?
True
Let x(t) = 73*t**3 + 12*t**2 - 4*t + 7. Is x(6) prime?
True
Let t(o) = 181*o. Let n be t(-2). Let r = -203 - n. Is r a prime number?
False
Let t(l) = -218*l - 27. Let f(z) = -12*z + 5. Let d be f(1). Is t(d) composite?
False
Suppose -4*h + 4*z + 28 = 0, 0 = 3*h + 4*z + 7 - 63. Is (3/h - 1) + (-67386)/(-24) a composite number?
True
Let f = 14837 - 8550. Is f a prime number?
True
Suppose 3*x = -f + 20794, -5*f + 1 = -4*f. Is x a composite number?
True
Let l(p) = 34*p + 193. Is l(16) prime?
False
Suppose 0 = -3*i + 2*i + 4. Suppose -4*f + 277 = 4*p - 507, -i*p + 2*f + 754 = 0. Suppose 5*t - 234 = p. Is t a composite number?
True
Let s be (-8808)/(-20)*(-2 + 16/3). Suppose 0 = 13*j - s - 5019. Is j composite?
False
Suppose -5*j - 4 = -19. Suppose -3*k + 373 = 5*o, -3*k + 2*k + 143 = -j*o. Is k prime?
True
Let l be (1/2)/(-6 - (-549)/90). Suppose 5*j - 6085 = 2*p, -j - 2*p + l*p = -1204. Is j a prime number?
False
Suppose 25 = 5*u, -u + 5405 = -5*w + 2*u. Let h = 4467 + w. Is h a composite number?
False
Suppose 2*j + 3*j - 7 = -4*x, 4*x = 3*j + 15. Suppose -4*u + 2 = -x*w - 349, 353 = 4*u - 5*w. Is u prime?
False
Let o(b) = -31*b**2 + 6*b - 8. Let r(h) = -10*h**2 + 2*h - 3. Let a(s) = -6*o(s) + 17*r(s). Let j be (12/(-4) + 4)*-5. Is a(j) a prime number?
False
Suppose -5*i + 12*i = -91. Let m = i + 23. Suppose x + 0*x = m. Is x prime?
False
Let l be (-7)/((-21)/12) - 8. Let d be 626 + 3 + -6 + l. Let r = -204 + d. Is r composite?
True
Suppose -5*s + 4*k + 19 + 21 = 0, 3*k = 4*s - 31. Let g(p) = p**2 + p + 3. Let c be g(s). Let h = 30 + c. Is h a prime number?
True
Let s = 25 + -23. Let c be (-2 + s + -2)*-6. Suppose -3*x = 3*h - 2493, -3*x + 6*x = -c. Is h a composite number?
True
Is (4/(-2))/(4/(-3142)) prime?
True
Is (3691/(-5))/(5 + (-130)/25) prime?
True
Let u(q) = 783*q**2 - 13*q - 3. Is u(2) a prime number?
False
Let d be 6/21 + (-10325)/(-49). Let h = d - 0. Is h prime?
True
Let j(q) = q**3 - 4*q**2 - 8*q + 15. Let a be j(5). Suppose 2*i + m = -2*m + 5083, -3*i + 3*m + 7632 = a. Is i a prime number?
True
Is 4*61119/48 - 4/16 a prime number?
False
Let v(c) = -c**3 + 5*c**2 - c + 11. Let h be v(4). Let k(j) = 73*j - 40. Is k(h) a composite number?
True
Let w(i) = -6*i**3 - i**2 - 3*i - 2. Let r be w(3). Let x = r + 287. Suppose 0 = 5*l - 0*l - x. Is l a composite number?
True
Suppose 6 = 2*v, -2*v + 1 = -h - 0. Suppose -h*k + 1994 = -0*n + n, -n + 3*k + 1954 = 0. Is n composite?
True
Suppose 4*r - r = -5*t - 3579, -5965 = 5*r + 2*t. Let l = r + 3030. Is l prime?
False
Suppose -2*i - 14 = 2*o - 6, 5*i - 4*o + 11 = 0. Let x be 3 - -3*(-1)/i. Is (1605/12)/(1/x) prime?
False
Let g(p) = 25080*p + 199. Is g(2) composite?
False
Let b(l) = -5*l**3 - 26*l**2 - 21*l + 1. Is b(-15) prime?
False
Let x be (-1)/(-3) + (-12545)/15. Let i = x - -2135. Is i composite?
True
Is ((-192928)/(-48))/(2/3) prime?
True
Suppose -1255 = -5*k - 325. Suppose -2*b = x - 2, 3*x - 13 = -3*b + 4*b. Is (k*b)/(-2)*1 a composite number?
True
Let x = 27 + 224. Suppose 0 = q - 2. Suppose 0 = q*m + 2*b + 3*b - x, -m + 3*b + 98 = 0. Is m a prime number?
True
Let x = -1208 + 3567. Suppose -2*v - 5*v = -x. Is v a prime number?
True
Let c be ((-16)/(-24))/((-2)/6). Is (-1 + 0)*116/c a prime number?
False
Let w be 1*((2 - 3) + -3 + 847). Let m = -394 + w. Is m prime?
True
Suppose -3*q - 1481 = -4*b - 2*q, -753 = -2*b + 3*q. Let x be ((-227)/3)/((-2)/(-6)). Let f = x + b. Is f composite?
True
Let q(b) = 2*b + 1. Let f be q(-2). Let o be (-40)/30 - 1/f. Is (-1)/((-2)/(-446)*o) a composite number?
False
Suppose 0 = 18*s - 16510 - 7772. Is s prime?
False
Suppose 2*m - 19 = 5*d, 0*d = -3*m - 4*d - 6. Let j(i) = -4*i + 674 - 6*i + 18*i + i**m - 9*i. Is j(0) a composite number?
True
Let a(o) be the second derivative of -125*o**3/6 - 7*o**2 - 10*o. Is a(-11) a composite number?
False
Suppose 0 = 3*t + 11*b - 9*b - 2139, -2*b + 3565 = 5*t. Is t a composite number?
True
Suppose 0 = -2*k - 0 + 24. Suppose 5*b - k = b. Is 396/4 - (b + -1) prime?
True
Suppose -4*i = -47 + 59, -x + 5*i = -14146. Is x prime?
False
Let w = 1229 - 2304. Let y = -714 - w. Is y a prime number?
False
Suppose 4*d - 3*r = 2579, d - 3*r - 647 = -0*r. Let v = d + -325. Is v composite?
True
Let l = -1 + 7. Let d(n) = 4*n**2 - 24*n + 24*n + 5