*n + 2353. Is j a composite number?
True
Suppose -z + 224 = 7*h - 4*h, 2*z + 5*h = 452. Let w = z - 87. Is w prime?
True
Let j = -138 + 1616. Is j a prime number?
False
Let m(a) be the second derivative of -a**4/12 - 2*a**3/3 + 5*a**2/2 + a. Let v be m(-4). Suppose v = 2*r - 45. Is r prime?
False
Let m = -216 - -365. Suppose -4*s + 3*s + m = 0. Is s a composite number?
False
Let v(i) = i**2 + 4*i + 5. Let b be v(-4). Suppose -b*a + y + 2364 = -703, 3*a - 2*y = 1843. Is a prime?
True
Let d(z) = -4*z**2 + 1. Let k be d(1). Let t(l) = -l. Is t(k) a composite number?
False
Let j(o) = 4*o**2 - o - 2. Suppose 2*c + i = 4*i - 13, -4*c - 5*i + 7 = 0. Let y be j(c). Is 34/y*10*4 a composite number?
True
Suppose -3*n - z + 5474 = 0, 4*z - 9120 = -5*n - z. Suppose -5*g = 5*w - 390 - n, 16 = -4*g. Is w a composite number?
True
Let i(x) = -x**2 + 6*x - 3. Let g be i(5). Suppose -4*k = 5*j - 95, -g*k - 12 = 2*j - 60. Is k composite?
True
Let z be 3 + -2 + 4 - 3. Is (z*(-255)/(-6))/1 prime?
False
Let w be (-5 - -2) + 2/2. Let i be (0 - 2 - -2)/w. Suppose -m = -i*m - 26. Is m a composite number?
True
Let j(u) = u. Let f be j(0). Suppose 4*t + f = 12. Suppose m = -5*v + 5, t*m - 3*v = v + 53. Is m composite?
True
Let s = -11 + 19. Suppose t = 2*j - 23 + 68, s = -2*j. Is t a prime number?
True
Is -2 + 5 - 49*-40 a prime number?
False
Let t = -78 + 775. Is t composite?
True
Is 2/(-1) + -10 + 274 prime?
False
Suppose -v - 4*v = 0. Let c be (0 - v) + 1*-18. Let a = -9 - c. Is a composite?
True
Suppose -2*h - 2*h = 0. Suppose 0*s + 186 = 2*s. Suppose -5*t + s + 2 = h. Is t a composite number?
False
Is (1/(-2)*-297 + -2)*2 composite?
False
Let h = 242 - 362. Let o = -47 - h. Let v = o - 36. Is v prime?
True
Let f = -17 + 21. Suppose f*y + 148 = 6*y. Is y composite?
True
Suppose u + 733 = 2*u. Is u prime?
True
Let i(k) be the first derivative of k**4/4 - k**3/3 - 6*k - 2. Is i(5) composite?
True
Let r(o) = -80*o**3 - 2*o**2 + 1. Is r(-1) prime?
True
Suppose -3*u = 0, -k = -4*u + 8*u. Suppose 0 = -k*t - 2*t. Suppose 5*j - 2*j - 231 = t. Is j a composite number?
True
Suppose 0*x + x = 0. Suppose -3*m + 3 = -3*a - 0, x = -4*a - 4*m - 44. Is (5/2)/(a/(-60)) composite?
True
Is (-3)/15 + 25998/15 a composite number?
False
Let x be 4/4*0/(-3). Suppose x = -4*w + 406 + 334. Is w a composite number?
True
Let s = 4 + 12. Let n be 438/(-8) - 4/s. Is (-1773)/(-11) - (-10)/n a prime number?
False
Suppose 6*t = 58 + 2. Is t prime?
False
Let g = -329 + 540. Is g prime?
True
Let h(n) = n**2 - 3*n**3 + n + n**2 + n**3. Let l be h(-1). Suppose -5*p = l*c - 104, -p - 4*c = 4*p - 107. Is p prime?
True
Suppose 3*o - 1 = 11. Let q(p) be the third derivative of -p**6/120 + p**5/20 + p**4/4 - p**3/6 - 2*p**2. Is q(o) prime?
True
Is (-449)/((6/(-2))/3) prime?
True
Suppose -394 = 16*a - 2522. Is a a composite number?
True
Let m = -118 - -309. Suppose 0 = 4*r + 43 - m. Is r prime?
True
Is (1187*(-1)/1)/(-1) a composite number?
False
Suppose -3*t + 30 = 5*d, d + d + 4*t = 26. Suppose d*w = -3*k + 2*w + 28, k - w = 16. Is k a composite number?
False
Let k = -156 - -63. Let p = k - -308. Is p prime?
False
Suppose -p - 11 = -29. Let k = -3 + -5. Is k/(-36) - (-464)/p a prime number?
False
Suppose -3*n + 2 = u + 21, -12 = -2*u + 4*n. Let j(g) = -65*g - 1. Let x be j(u). Is (x/7)/(0 - -1) composite?
False
Let x = 9 + 70. Is x composite?
False
Let z(t) = -t**3 - 5*t**2 - 5*t - 4. Let c be z(-4). Suppose c = -4*f + q - 10, f - 5*q + 6*q + 5 = 0. Is (-2)/f*(-78)/(-4) a prime number?
True
Suppose 491 + 267 = 2*r. Is r a prime number?
True
Let u be -2*-2*(-3)/12. Let y(r) = 32*r**3 + r - 4 + 5 - 147*r**3. Is y(u) composite?
True
Let g(v) = 33*v**2 + 5*v. Let d(l) = 132*l**2 + 21*l. Suppose -5*o - 15 = -5*z, 3*o + 3*z = o - 16. Let n(s) = o*d(s) + 21*g(s). Is n(1) a composite number?
True
Suppose 4*o - 2*t - 322 = 0, t = -3*o + 9 + 225. Is o a prime number?
True
Let j(z) be the first derivative of 4*z**3/3 + 5*z**2/2 - 5*z + 4. Is j(4) a composite number?
False
Let u(m) = m**3 - 6*m**2 + 2*m + 6. Let b be u(6). Let t = b + -9. Is t a composite number?
True
Suppose -3*b + 4 = -2*b. Is 24 - (-2)/b*2 prime?
False
Let g(q) = -43*q - 3. Let z = -6 + 4. Is g(z) a composite number?
False
Let j(y) = 4*y + 2. Let p be j(-2). Is (p/4)/((-3)/18) composite?
True
Let t(n) = n - 13. Let r(z) = z - 12. Let d(m) = -5*r(m) + 4*t(m). Let w be d(11). Is 12 - -2*w/(-6) composite?
False
Is 1 + (-5)/(10/(-756)) a prime number?
True
Suppose 5*p - 2*s - 269 = 299, -5*p + 3*s + 572 = 0. Suppose -g - o = -p, 4*o = 3*g + 2*g - 605. Let h = g + -38. Is h a prime number?
True
Let r(u) = 2*u**2 + u + 1. Let a be r(-3). Suppose 2*g - 3*q - 9 = 0, -5*q + 1 = a. Suppose 0 = -3*b + 4*k + 70, g = b + 4*b + 2*k - 134. Is b composite?
True
Let m = -2709 + 1350. Let i = -38 + 17. Is m/i - (-2)/7 a composite number?
True
Let p = 102 + -42. Let i = p + -41. Is i a prime number?
True
Suppose -u = -2, -u = -2*r + 6*r - 4854. Is r prime?
True
Let w = -10 - -16. Let f = w - -1. Is f a composite number?
False
Let m(d) = -2*d**2 - 19*d + 5. Let g(f) = -f**2 - 9*f + 3. Let r(h) = -13*g(h) + 6*m(h). Is r(-8) a prime number?
True
Let i be (-2)/(-4) - 15/(-2). Let k = 16 - i. Suppose k*v = 4*v + 132. Is v composite?
True
Let m = -6 + 10. Suppose 5*r - m = 6. Suppose -r*d - 125 = -7*d. Is d a prime number?
False
Let y(v) = -1863*v**3 - 4*v**2 - 9. Let g(z) = 466*z**3 + z**2 + 2. Let u(l) = 9*g(l) + 2*y(l). Is u(1) a composite number?
True
Suppose 5*s - 2*h - 805 = h, -5*h = 25. Is s a composite number?
True
Let z = 1 - 2. Let h(a) = 134*a - 11. Let q(d) = -d + 2. Let s(u) = -h(u) - 6*q(u). Is s(z) a prime number?
True
Suppose -3*m - 364 + 1771 = 0. Is m composite?
True
Let a = 15 + -7. Let s = -3 + a. Suppose -665 = -s*g - 7*k + 4*k, -5*k = 4*g - 532. Is g prime?
False
Suppose 4*d + 1141 = 5*d. Is d composite?
True
Suppose 255 = 5*b - 2*p, 0*p - 102 = -2*b - p. Is b composite?
True
Let r be 0 - -6 - (4 + -2). Suppose 0 = -9*z + r*z. Suppose 0 = 4*q - z*q - m - 456, -3*q + 3*m = -351. Is q composite?
False
Let j(c) = 1196*c + 3. Is j(2) prime?
False
Let g be -2 - ((-2 - -4) + -43). Suppose -95 - g = -2*w. Suppose 5*n - 156 = s - 2*s, -2*n + w = 5*s. Is n prime?
True
Suppose -6*a = -2*a. Let s be (-1)/((-3)/(-9) - a). Is 285/9 - (-2)/s a prime number?
True
Let k be (-2)/(3 + (-2 - 2)). Is (-251)/(2/(k - 4)) composite?
False
Let i(d) = 26*d + 3. Suppose -3*y + 21 = -0*y. Is i(y) prime?
False
Is 13/((18/(-21))/1 - -1) a composite number?
True
Let x(y) = 30*y**2 + 2*y - 1. Let j be x(-3). Is j + 1/(3/(-12)) composite?
True
Suppose 0 = -0*r + 2*r + 4. Let h be 63/6 - r/(-4). Suppose -155 - h = -3*s. Is s a composite number?
True
Let z(k) = 3*k + 5*k - 4 - 4*k. Let v be z(4). Suppose d - 10 = v. Is d prime?
False
Let u(m) = -m**3 - m**2 + m + 1. Let b be u(-1). Let p be (236 - -1) + 2 + -2. Suppose b*d - p = -3*d. Is d a composite number?
False
Let l(d) = -46*d - 3. Let j be l(-6). Suppose -16*i = -19*i + j. Is i prime?
False
Let u(w) = -w - 3. Let p be 1 + 1 + 5 + -1. Let z(d) = -2*d + 6. Let h be z(p). Is u(h) a prime number?
True
Suppose -11*d + 8*d = -885. Is d a prime number?
False
Let w(d) = -114*d - 5. Is w(-3) prime?
True
Let g(y) be the second derivative of -y**8/6720 - y**7/840 - y**6/240 - y**5/20 - y**4/6 + 3*y. Let s(j) be the third derivative of g(j). Is s(-5) prime?
True
Let z be 0/(-1 + -1 + 0). Is (z + -3)*(-291)/9 a composite number?
False
Let p be (-17)/(2/8*-2). Let i be 6/(-15) + 494/10. Let t = i - p. Is t a prime number?
False
Suppose -p + 2232 = 5*d - 2*p, p = -d + 450. Is d composite?
True
Let x be 0/(1*(2 + -3)). Suppose 20 = -4*z, 5*k = -5*z - x*z + 630. Let w = -48 + k. Is w composite?
False
Let y be 328/18 + (-22)/99. Suppose 0 = 3*g - 3*f - 27, -2*g + f + y = -2*f. Is g a prime number?
False
Let u = -808 + 1217. Is u a composite number?
False
Let o = -1506 + 2641. Is o composite?
True
Let l(v) = 52*v + 1. Suppose -5*u + 45 = -0*u. Is l(u) prime?
False
Let u(v) = 114*v - 11. Let n be u(8). Suppose -4*z = -5*r + 1063, -4*z + n = 5*r - 146. Is r prime?
True
Suppose 36 = -3*r - 2*w + 526, 3*r - 496 = -5*w. Let j = r + -97. Is j a composite number?
True
Let c(r) = -r + 3. Let a be c(3). Suppose -k + 6 - 4 = a. Suppose 0 = -k*n - 3*s