False
Suppose -5*n - 36 = -d, d - 18 = -2*n + 4. Let s be (-236)/(-20) - (-7)/35. Suppose -s - d = -m. Is m a composite number?
True
Suppose -49*h - 887866 = -63*h. Is h a prime number?
True
Let j = 16 - 32. Let r = 16 + j. Suppose -d - 1 + 56 = r. Is d prime?
False
Let z(u) = 2*u**3 + 10*u**2 + 5*u + 8. Let g be z(-7). Let c = g - -346. Is c composite?
True
Let c(u) be the second derivative of 7*u**4/12 - u**3 - 7*u**2/2 + 28*u. Is c(12) composite?
False
Let w(y) = 3*y - 19. Let p be w(7). Suppose 0 = p*l - 8, -391 = -0*x - x + 5*l. Is x composite?
True
Let b = -5557 - -55466. Is b a composite number?
True
Let j = 96 + -92. Suppose -37 + 345 = j*v. Is v composite?
True
Let z = 9092 - 3831. Is z a composite number?
False
Let o(t) = t**3 - 5*t**2 - 5*t - 4. Suppose 8*x - 44 = 4*x. Is o(x) composite?
True
Suppose 10757 = 3*s - 7*s - 5*h, 5*s - h + 13468 = 0. Let g = s - -3814. Is g prime?
False
Let r(b) = -23*b**3 + 8*b**2 - 2*b + 69. Is r(-8) prime?
True
Suppose -15 - 9 = -3*n. Let k(q) = -q**3 + 9*q**2 - 8*q + 7. Let a be k(n). Is 18/(-63) + 835/a composite?
True
Let o(y) = 15*y**2 + 106*y + 39. Is o(62) a prime number?
True
Suppose 0 = -4*x + 192 + 76. Is x prime?
True
Let r be ((0 + -3)/3)/((-6)/(-19434)). Let q = r - -4662. Is q a composite number?
False
Suppose -12 = -2*f - 5*c, -4*c - 7 = -2*f + 5. Suppose -6*t + 4*t + 18 = 2*u, -f = -u - 4*t. Is 3184/u - (-15)/25 a prime number?
False
Let k(a) = -2442*a - 395. Is k(-17) prime?
False
Let a = -6025 - -11762. Is a a composite number?
False
Suppose -145 = 5*c - 3*t, -2*c - t - 83 = -14. Let q = c - -103. Is q a composite number?
False
Suppose -3*x = -4*x + 4. Suppose -f = y - 90 - 22, 12 = x*y. Is f a composite number?
False
Let x(l) = l**3 - 3*l**2 - 3*l - 2. Let k be x(4). Suppose 0 = 5*j - 0*j - 5*s - 9505, 3802 = k*j + s. Is j a prime number?
True
Suppose 3*z = q + 19, 55 - 12 = -3*q - 5*z. Is (-1)/2 - 5464/q a composite number?
True
Let m be (1 + -2)/(1/(-4)). Let o be 8/m - 12 - -4. Is o/(-4)*(-2620)/(-30) a prime number?
True
Let a(w) = 338*w**2 - 7. Let s = 55 - 58. Is a(s) a composite number?
True
Let v be ((-9)/(-18))/((-3)/4)*-36. Is (474/v)/((-2)/(-16)) composite?
True
Suppose -5*n + 30 = 10. Suppose n*p - 6 - 10 = 0. Suppose 4*a = -5*b + 2736, -p*a + 2*b = -0*b - 2708. Is a composite?
True
Let i = -1205 + 2244. Is i a prime number?
True
Suppose 3*m - 7 - 11 = 0. Let z = m + -4. Suppose z*s - 198 = 4*g - 3238, -3*g = 2*s - 2287. Is g a prime number?
True
Suppose -12 = -5*i + i. Suppose -i*b - 2303 = -6050. Is b prime?
True
Let a(c) = -3*c - 17. Let y be a(-7). Suppose -v + y*d + 1581 = 0, -2*v + 4*v + 3*d = 3107. Is v prime?
False
Let g = -7 + 16. Suppose s + g = 4*s. Is s + -1 - 2 - -142 a prime number?
False
Let p = -43 - -63. Is (-3058)/(-4) - 30/p prime?
False
Let g(u) = 127*u - 12. Let w be g(6). Let n = -511 + w. Is n composite?
False
Let p be -2*(-3)/(-18)*1*-9. Suppose -p*a + 4150 = -1433. Is a prime?
True
Let t = 15 - 3. Let p = 119 - 76. Suppose -t = -5*r + p. Is r composite?
False
Let z(h) = 11*h**3 + 7*h**2 - h + 1. Let p(x) = x**2 - x. Let d(n) = -5*p(n) + z(n). Let g be d(3). Let l = g + -161. Is l prime?
True
Let o(i) = -1. Let n(a) = 4*a**2 + 5*a + 10. Let r(q) = n(q) - 3*o(q). Let b(p) be the first derivative of r(p). Is b(10) a prime number?
False
Suppose -2*r = 5*h - 99515, h + 3*r + 2846 - 22762 = 0. Is h a prime number?
False
Suppose 76*u - 82*u = -100554. Is u prime?
True
Let b be (70/(-8))/(2/(-40)). Suppose 2*g = 5*u + 58, -5*g = -0*g - u - 168. Suppose 0 = -3*a - g + b. Is a a composite number?
False
Let p = -7 + 5. Let v(r) = 277*r**2 - r - 1. Is v(p) prime?
True
Let g = 32913 - 16070. Is g composite?
False
Suppose g = -4*t + 47110, 4*g - 11785 = 12*t - 13*t. Is t a composite number?
False
Suppose 0 = 4*z + h - 26089, 2*z - 4*z + 13037 = 3*h. Suppose 2*i - z = -5*k, -2227 = -i + 4*k + 1028. Is i prime?
True
Suppose 0 = -5*t - c + 1, -2*c + 2 = -0. Let m = 38 - -19. Suppose x + 2*s - m = t, 6*x - 3*x = -2*s + 163. Is x prime?
True
Suppose -3*t + 5*r = -221, -213 = -3*t + r - 4*r. Suppose -3*f - t - 54 = 0. Let a = 184 + f. Is a prime?
False
Suppose -37*t + 20718 = -19*t. Is t a composite number?
False
Let i(m) = 62*m**2 - 3*m + 5. Let s be i(4). Suppose 0*b + 3*p + 564 = 3*b, 2*b - 370 = -4*p. Suppose 4*h - b = s. Is h composite?
False
Suppose 0 = -3*q - h + 3359, -2*h = 12*q - 8*q - 4476. Is q a prime number?
False
Suppose -o + 275 = -273. Let b = o - 139. Is b a composite number?
False
Suppose -5*y = 8 - 18, 0 = 3*r + 2*y - 58. Let q = 77 - r. Is q composite?
False
Let k(s) be the second derivative of 13*s**5/20 - 5*s**4/12 + s**3/6 - s**2 + 45*s. Is k(3) prime?
True
Let d(z) = 163*z**2 - 10*z + 20. Is d(-11) a prime number?
True
Let r(t) be the third derivative of -t**6/120 - t**5/12 + 5*t**4/24 - t**3 - 7*t**2. Let i be r(-6). Suppose -5*g + 90 + 555 = i. Is g composite?
True
Let p be (-3 - -15)*4/(-6). Let y be (1986/p)/(18/(-48)). Suppose -2*w - y = -4*w. Is w composite?
False
Let f(t) = 16*t**3 - t + 8. Let v be f(-5). Let r = -1358 - v. Is r a prime number?
False
Let t(f) = -69*f**2 - 16*f - 4. Let k be t(-8). Let a = -499 - k. Is a a prime number?
True
Suppose 11960 = 3*g + 4*o - 13011, -2*g - 3*o + 16646 = 0. Is g prime?
True
Let s = 56 + -38. Let q be (-12)/(-54) - (-50)/s. Suppose 7*p - 3*p = -5*o + 133, q*p + 4*o - 99 = 0. Is p a composite number?
False
Let b be 57/15 - 1/(-5). Suppose -b*s + 299 = -53. Suppose 0 = -5*z + 533 - s. Is z a prime number?
True
Suppose c + 3*a = 323, -2*c - 2*a = -5*a - 601. Let y be (-6)/(-8) + c/16. Suppose 0 = -5*f - y, 2*z + z + 5*f = 1873. Is z prime?
True
Suppose -h = 10046 - 2840. Is ((-3)/(-9))/(1 + 7204/h) a prime number?
True
Suppose q = -14*q + 203505. Is q a prime number?
True
Is (-101301 + 103)*(-2)/4 prime?
True
Suppose 0 = 2*b + 9 - 7. Let y be 7 - 9 - 4/b. Suppose y*v = -24 + 140. Is v a prime number?
False
Suppose 6*f - 12*f + 42 = 0. Is 3 - (2/(-7) - 1272/f) composite?
True
Let r(w) = 765*w + 110. Is r(7) composite?
True
Let n = -7 - 1. Let l(j) be the first derivative of -19*j**2 - 11*j + 46. Is l(n) composite?
False
Suppose -1 = -2*l - 35. Let f = l + 20. Suppose 959 = f*t + d, 8*t - 5*d = 3*t + 1585. Is t a prime number?
False
Let b = 80 + -71. Suppose 2*n - 421 = -r, -2*n + 2*r + b = -415. Is n a prime number?
True
Let j = -25109 - -54972. Is j composite?
False
Let h = 1416 + -1009. Suppose 21*j + h = 22*j. Is j prime?
False
Let d be (12/(-20))/1*(-10)/2. Suppose -d*b + 381 + 252 = 0. Is b a composite number?
False
Let q(h) = -h**3 + 7*h**2 - h + 7. Let x be q(7). Suppose -j + 2*j - 2857 = x. Is j a composite number?
False
Let r(o) = o**3 + o + 1949. Let s be r(0). Let c = s + -1282. Is c composite?
True
Suppose -2*x + 6 + 10 = 2*b, -2*b - 19 = -5*x. Suppose -b*a + u = 2*a - 4834, 1 = u. Is a a composite number?
False
Suppose 4*k - 36 = -5*l - 6, 2*k - 4 = 3*l. Let c = -1155 + 1158. Suppose 3*p = l*x + 77, -23 = -c*p + 3*x + 58. Is p a composite number?
False
Suppose 24 = 2*p + 5*v, -2*p + 5*v - 38 = -6*p. Suppose -4*m = 2*a - 9*m - 130, 5*a - 5*m - 340 = 0. Suppose -p*k = -2*k - a. Is k composite?
True
Let t(s) be the second derivative of -4*s**3 + s**2/2 - 6*s. Let z be -28*4*2/16. Is t(z) composite?
False
Let q(h) = 5838*h**3 + 4*h - 3. Is q(1) a composite number?
False
Let i(p) be the first derivative of p**5/30 - p**4/2 + p**3/2 + p**2 + 3. Let a(m) be the second derivative of i(m). Is a(9) a composite number?
True
Suppose l + 174 = -236. Let f = 332 - l. Suppose 4*c = 2*c + f. Is c a prime number?
False
Suppose 0 = 3*o + 5*h - 5471, 0*o + 5462 = 3*o - 4*h. Is o a composite number?
True
Let c(x) = 5*x**3 - 27*x**2 - 30*x - 65. Is c(21) a prime number?
True
Let i = 198730 + -110685. Is i prime?
False
Suppose 2*w = 958 - 372. Suppose 0*v - w = -v. Is v a composite number?
False
Suppose 0 = f + 31 - 169. Let k = f - 61. Suppose -r = -k - 64. Is r composite?
True
Let s = -80 - -229. Suppose 0 = -5*t + 22 + 38. Let m = t + s. Is m composite?
True
Let c(g) = -7*g**3 + 11*g + 9. Let x be c(-6). Suppose 3*d - 6*d = -x. Is d prime?
False
Let d be 7679/5 - (-5)/25. Suppose s + 3*s - d = 0. Suppose 2*y - s = -2*y - 4*c, -c = -2*y + 186. Is y composite?
True
Suppose 12*d - 17*d + 20 = 0. Suppos