Let j(a) = -12*a + 3. Is j(d) a prime number?
False
Let r = 63 - -29. Let s be (1 - 4)/(1/(-1)). Suppose s*j + r = 7*j. Is j composite?
False
Suppose 15 = -0*g - 5*g, 2*g = n - 1763. Is n a composite number?
True
Suppose -70 = -4*k + 474. Suppose -t - 3*t + 3*x - 342 = 0, 4*x - 79 = t. Let l = t + k. Is l composite?
True
Let c(l) = -l**3 - 3*l**2 + 13*l + 4. Is c(-9) a composite number?
False
Let z(q) = 37*q - 7. Is z(6) composite?
True
Is (6/(-9))/(8/(-32028)) a composite number?
True
Let w(y) = 9*y**2 + 2*y + 16. Let o be w(8). Suppose 3*s = -q + 892, 2*q = -s + 3*s - o. Is s prime?
False
Suppose 2*n + 9 = u, -2*n - 18 = -5*u - n. Suppose 5*g + 4*w - 643 = 0, g + u*w = 77 + 56. Is g composite?
False
Suppose 5*f = 3*c - 347, -3*c + 175 + 144 = 2*f. Is c a composite number?
False
Is 1045 + ((-270)/(-63) - 2/7) composite?
False
Let r = 4 - 3. Is (-2)/r + 37 - 0 a composite number?
True
Suppose -7*w = -9*w + 238. Is w a prime number?
False
Let r = 58 - 89. Suppose -7 = -3*y - 2*x + 141, -5*y = 2*x - 244. Let z = y - r. Is z prime?
True
Let s(o) = 2*o**3 + o**2 - o + 1. Let z(x) = -x + 7. Let k be z(5). Is s(k) a prime number?
True
Let c be (2/4)/(2/4124). Let g be c/7 + (-2)/7. Suppose u = -3*s + g, 0 = s - 2*u + 1 - 50. Is s prime?
False
Let p = 1 - -1. Is 249/p*12/18 a composite number?
False
Let w = 990 - 587. Is w a composite number?
True
Let v = -155 + 270. Is v prime?
False
Suppose -5*d + 5*f + 6100 = 0, 2*d + 3657 = 5*d - 4*f. Is d a composite number?
False
Let c be (2 + (-6)/2)/(-1). Let p be -1 + 1 + (c - 2). Is -262*(p/2)/1 prime?
True
Suppose -3*s - 3*a + 11 = -8*a, 2 = 2*s + 2*a. Suppose -h + 1 + 16 = s*u, -4*h = -3*u - 79. Is h a composite number?
False
Let c be (-11)/(-3) - 4/6. Suppose 449 = c*n + 56. Is n prime?
True
Suppose -174 = -4*y - 5*d, 2*y - 82 = -8*d + 3*d. Is y a prime number?
False
Let g(d) = 7*d**3 + 7*d**2 + 6*d - 27. Let s(x) = -20*x**3 - 20*x**2 - 17*x + 80. Let o(p) = 17*g(p) + 6*s(p). Is o(0) prime?
False
Let d = 73 - 24. Is d prime?
False
Let b = -134 - -23. Is b*(-3)/(18/2) a composite number?
False
Let r = 3 + -10. Let h(k) = -k - 6. Let o be h(r). Is 21/((-3)/(-1))*o a prime number?
True
Suppose -5*t + 617 = -2*t - 2*g, -3*g - 621 = -3*t. Is t a prime number?
False
Suppose 4*l - 3*j - 160 = 0, l - 2*j + 1 - 46 = 0. Let f = 56 - l. Is f a composite number?
False
Let r be (0 - 10/4)*-2. Suppose 124 = -x + r*x. Is x prime?
True
Suppose -5*s + 73 = -u + 4*u, 2*u = -4*s + 60. Let d = 6 + s. Let f = d + -4. Is f composite?
False
Let k(d) = d**2 + 2*d + 7. Let w be k(7). Is (w/(-3))/(2/(-3)) a composite number?
True
Suppose -2*f + 3546 = 2*c + 2*c, c = 4*f + 909. Is c composite?
True
Let b = -6 + 8. Suppose 0*j - 194 = -b*j. Is j prime?
True
Suppose -13*i + 8*i + 290 = 0. Is i a composite number?
True
Suppose -3745 = -3*t - 5*n, -1588 = -5*t + 3*n + 4699. Is t a prime number?
False
Let p(u) = 2*u - 7. Let r be p(-6). Let w = r + 32. Suppose 5*j + 5 = 3*d + w, 4*d = j + 12. Is j a composite number?
True
Let s be (-6)/(-4)*80/30. Is 400 - (s + 1/(-1)) composite?
False
Let q be 98/(-8)*(-72 - 4). Let n = -540 + q. Is n prime?
False
Let x(i) = -i**3 + 5*i**2 + 2*i - 3. Let s(t) = t**3 - 3*t**2 + 3*t - 2. Let y be s(2). Suppose 4*l - 23 + 3 = y. Is x(l) a prime number?
True
Let w = -6 - -9. Is (-127*2)/(-5 + w) a prime number?
True
Let f be 0 - (-1 - 3/1). Is (-3015)/(-12) + (-1)/f a composite number?
False
Suppose -4*k = 3*o - 17, 0 = -7*k + 4*k + 2*o. Suppose -6 + k = -s. Suppose 220 = -0*f + s*f. Is f a composite number?
True
Suppose 0*w + 5*w = 0. Suppose 2*l = -2*a + a + 102, -3*l + 2*a + 153 = w. Is l composite?
True
Let r(q) be the third derivative of q**4/24 - q**3/3 - q**2. Let k be r(3). Is 9*((-14)/(-3) - k) a prime number?
False
Suppose 2*n - 40 = 3*j, -5*n + n + 70 = -5*j. Let u be ((-12)/(-8))/((-3)/j). Suppose -u*q + 2*q + 3*p = -300, -p = 4*q - 375. Is q a prime number?
False
Suppose -2*r + 6*r = 8252. Is r prime?
True
Let d(t) = 7*t**2 - 10*t - 6. Let k be (2 + 2 - 1) + -10. Is d(k) a prime number?
False
Suppose 5*b - 81 = -3*c, 4*b + 4*c = -0*b + 68. Suppose 0 = -3*i + 245 + 403. Is i/b - (-2)/(-5) a prime number?
False
Let r(l) = 34*l + 1. Is r(9) a prime number?
True
Suppose -1455 = -5*v - 5*c, 3*v = 5*v - 3*c - 592. Is v composite?
False
Let v(r) be the first derivative of 11*r**4/24 - 5*r**3/3 + r**2 + 1. Let q(j) be the second derivative of v(j). Is q(7) prime?
True
Let y = -50 - -124. Is y prime?
False
Let t(b) = 3*b - 10. Let l(r) = r**3 - r**2 - r + 6. Let d be l(0). Let y be ((-9)/6)/(d/(-44)). Is t(y) a prime number?
True
Suppose -5*b + 2*p + 13 = 36, -4*b + 5*p - 32 = 0. Let h be (0 + 2 + b)*7. Is (3 - -11)*h/(-2) a prime number?
False
Suppose 5*s + 15 - 5 = 0. Is 80 + s + -1 - -2 a prime number?
True
Suppose 0 = 5*a, q + 12 = -a + 45. Is q a composite number?
True
Let r(i) be the third derivative of i**6/120 - 3*i**5/20 - i**4/6 - 7*i**3/6 + 2*i**2. Is r(11) a prime number?
True
Suppose 21 = -3*l + 6*l. Suppose -s - l = -2. Let f = s + 8. Is f a composite number?
False
Let t be (0*(-1)/(-3))/(-1). Let d(g) = 69 + 55 - g + 3. Is d(t) composite?
False
Let f(p) = 29*p - 10. Suppose 2*s = 4*j + 7*s + 47, -5*j + 2*s = 34. Let q be f(j). Let l = -109 - q. Is l a prime number?
False
Suppose 0 = m - 15 - 339. Suppose z - m = 3*z. Let c = -28 - z. Is c prime?
True
Let m(q) = -q - 2. Let b be m(-3). Let r(x) = x + 1. Let i(z) = -4*z + 4. Let c(w) = b*i(w) + 3*r(w). Is c(-6) a prime number?
True
Let h be 2 + (-3 - -2) + 1. Suppose 3*d = -z - 24, h*z = 4*d - 12 - 16. Is 2/(-9) - 418/z prime?
True
Suppose -5*u = -3*j - 1324, 2*u - 2*j - 458 = 74. Is u a prime number?
True
Let k = 3 - 2. Let l be k/((-6)/(-3) + -3). Is (1 - l) + (-46)/(-2) a composite number?
True
Let t(l) be the third derivative of 11*l**5/60 + l**4/12 + 2*l**3/3 - 3*l**2. Is t(-3) prime?
True
Let j = -153 - -280. Is j prime?
True
Suppose 5*z = 12 + 3. Suppose z*j + 5*a + 542 = 153, 4*j - a = -534. Let k = j - -212. Is k prime?
True
Let v(c) = c**2 - 9*c - 11. Let i(t) = t**2 + t + 14. Let r be i(0). Is v(r) composite?
False
Let h be (-10)/14 - (-2)/(-7). Is -22*(-3 + h/2) prime?
False
Let c(j) = 6*j + 1. Let h be c(6). Let m = h + 2. Is m a composite number?
True
Let n(g) be the second derivative of 23*g**5/120 - g**4/12 + g**3/3 - g. Let r(v) be the second derivative of n(v). Is r(3) a prime number?
True
Let g = -135 + 31. Let y be (4 - 1)/((-8)/g). Let s = y + -20. Is s composite?
False
Suppose -3*d = 4*h - 2117, d + h - 656 = 50. Is d prime?
False
Suppose -s + 2 = -3*s. Let a = -1 - s. Suppose 102 = 4*x - 5*j, a = x - 3*j - 24 - 5. Is x prime?
True
Suppose 332 = 4*z - 176. Is z composite?
False
Let z = -6 + 8. Let d = z - 6. Let l(p) = -48*p - 1. Is l(d) composite?
False
Let x = 51 + -22. Let f = -8 + x. Is (-2)/((-44)/f + 2) composite?
True
Let t(m) = -13*m - 11. Let j be t(-5). Suppose -u - j = -2*u + 3*s, -226 = -4*u + 2*s. Is u a composite number?
True
Suppose 3*c - 40 = 14. Let y = c + -13. Suppose -3*r + 106 + y = 0. Is r prime?
True
Let n be -5*(0 + 1 + -2). Let j(g) = -235*g + 1. Let o be j(-1). Suppose n*l - l = o. Is l composite?
False
Suppose -2*s - 5*a + 0*a + 51 = 0, 0 = -4*s - 5*a + 127. Is s a prime number?
False
Let x(w) = -w - 1. Let i be x(8). Let n be (-8)/36 + (-2198)/i. Let p = n + -141. Is p composite?
False
Let z(g) = -4*g**2 + g - 13. Let f be z(10). Let p = f + 581. Suppose 2*k - 4*k - 445 = -5*j, 2*j - p = 3*k. Is j prime?
True
Let f(x) = 5*x + 1. Let l be f(-1). Is 327/6 - (-6)/l a prime number?
True
Suppose -2*s - 6 = -0. Let d(a) = -a**3 - 5*a**2 - 5*a - 4. Let o be d(s). Is (o/2)/(3/(-42)) prime?
False
Let w(o) = 38*o + 11. Is w(12) a composite number?
False
Suppose 0 = 4*c - c - 969. Is c composite?
True
Is (-2448)/(-8) + 9/(-3) a prime number?
False
Let x = -199 + 702. Is x a composite number?
False
Let q be (5/(5/(-2)))/2. Let d be (-9)/3*q - 3. Suppose d*f + 652 = 4*f. Is f a prime number?
True
Let o(r) = -r**3 - 8*r**2 - 6*r + 5. Let l be o(-7). Let x = -4 - l. Let b(v) = -4*v + 1. Is b(x) a prime number?
False
Let l(f) = -8*f**2 + 10*f - 17. Let p(q) = -4*q**2 + 5*q - 8. Let a(u) = 6*l(u) - 13*p(u). Is a(5) a prime number?
False
Suppose 2*y - 4*x + x = 1271, -2*x - 6 = 0. Is y a composite numb