*s - 24, 3*q - q + 3 = 3*s. Suppose 2*k + 21 = 3*k + s*j, 0 = k - 2*j - 11. Is k a composite number?
True
Let c = 2051 + -1303. Is 2/(-5) - c/(-20) a composite number?
False
Let m(t) = -232*t - 5. Is m(-12) prime?
False
Is 298*(-29)/(-2) + 0 a composite number?
True
Is (-6 + 4)/(4/(-7978)) prime?
True
Suppose -10 = -5*u, 4*n + 0*u - 3*u - 526 = 0. Is n a composite number?
True
Let l = 992 + -570. Suppose 0 = 2*o + 5*m - 493 + 71, 0 = 2*o - m - l. Is o composite?
False
Let f(x) = -x**2 + 9*x. Let g be f(9). Suppose 0 = 4*l - g - 4. Is l/2 - (-153)/6 a composite number?
True
Let c(y) = y**2 - 12*y + 6. Suppose w = -3*w - 12. Let d(o) = -o**2 + 13*o - 6. Let r(k) = w*d(k) - 4*c(k). Is r(5) composite?
True
Let x(t) = -t**3 + 6*t**2 + 7*t - 6. Let y be x(5). Let s be (-4)/(-18) + 17538/y. Suppose s = z + 4*z. Is z composite?
True
Let o(b) = -4*b**2 + 3*b**3 - 5 - 2*b**2 - 10*b + 7 - 2*b**3. Is o(9) a composite number?
True
Let i = -213 + 396. Is i a composite number?
True
Suppose 2*x - 73 = 41. Is x prime?
False
Let o(h) = -h**3 + 5*h**2 + 3*h - 1. Let x be (3 + 2)*(-1 - -2). Is o(x) prime?
False
Suppose 0 = -x - 931 + 2368. Is x prime?
False
Let z(n) = 2*n. Let d be z(8). Let f = d + -2. Is f prime?
False
Suppose 6*j - 3*j = 2019. Is j a prime number?
True
Let h = 89 - 70. Is h prime?
True
Suppose -4*m = 2*f - 188, 4*f - 45 = -2*m + 49. Is m a composite number?
False
Let z = -10 + 10. Suppose z = -2*u + 58 - 14. Is u a prime number?
False
Let l = -386 + 765. Is l a composite number?
False
Let s = 2064 - 901. Let r = s + -664. Is r composite?
False
Let d be 3*(-3)/(-9) - 1. Let r = 53 - d. Is r a prime number?
True
Let h = -18 + 26. Let p(b) = -4*b**3 + 11*b**2 - 9 - 3*b**2 + 7*b + 3*b**3. Is p(h) a composite number?
False
Let w(h) = -4*h**2 - 4*h - 5. Let u be w(-4). Let a = u + 208. Is a composite?
True
Let y = 2250 + 1657. Is y prime?
True
Suppose g = 52 + 107. Is g composite?
True
Let y(a) = -a**2 + 12*a + 5. Let p be y(12). Suppose 0 = -4*h, 448 = p*j - 4*h - 297. Is j a composite number?
False
Is (-2)/3*(-33468)/8 prime?
True
Let j(u) = u**2 - u - 2. Let h be j(2). Suppose -b + h*b = 0. Suppose -4*o + 57 - 5 = b. Is o composite?
False
Is -263*(-13 - (-5 - -3)) composite?
True
Let o(f) be the third derivative of 29*f**4/24 - f**3/6 - 5*f**2. Is o(3) a prime number?
False
Let l be 8/(-16) + (-219)/2. Is (0 - 1)/(2/l) a prime number?
False
Suppose -5*z - 43 = -3*g, g - 6 = z + 5. Suppose 4*s = 2*v + 540, -4*s + g*s - 4*v - 264 = 0. Suppose -s = 5*t - 551. Is t prime?
True
Let a(k) = -k**3 + 17*k**2 + 39*k + 13. Is a(18) a composite number?
True
Let z be 1/(3/(5 + -2)). Let n = 2 - z. Is (7/(-4))/(n/(-20)) a prime number?
False
Let i be 1/(-2)*(2 - 2). Suppose 3*n = -f + 159, 0 = -f - i*f. Is n composite?
False
Let u be 1466/(-30) - 36/270. Let v = 86 + u. Is v composite?
False
Let d = 5 + 0. Suppose -d*j = 3*x - 31, 2*j + 2 + 0 = 0. Is (-1)/3 - (-640)/x prime?
True
Suppose 4*n + 10 = 6*n. Suppose 3*s - 487 = -4*h, n*h + s - 601 = 5*s. Is h a prime number?
False
Suppose 979 = 4*b + 5*u, 0*b + u + 720 = 3*b. Let v = 612 - b. Is v a prime number?
False
Suppose -2*g + 5*l = -7, 5*g - 4*l - 28 = -2. Let u be (-13 - -4)/(g/(-4)). Suppose 115 = -n + u*n. Is n a composite number?
False
Let l = 238 + -123. Is l composite?
True
Let f be -2 - ((-3 - -4) + -3). Suppose v + f = 4. Suppose v*a - 7*a = -147. Is a composite?
True
Let j(w) = 180*w**2 - 3*w + 2. Is j(-3) a composite number?
True
Suppose -3*c = 3*c - 9822. Is c composite?
False
Let m = 646 - 275. Is m a prime number?
False
Let t(g) = 61*g**2 + 9*g - 9. Is t(-5) prime?
True
Suppose -115*u = -106*u - 9081. Is u prime?
True
Is 4/4 - (4633 - 1)/(-2) prime?
False
Suppose -1811 = -2*j - 3*q, -3*j - q + 374 = -2346. Is j a prime number?
True
Let v = -5 + -11. Let q = v - -31. Is q a composite number?
True
Suppose 2*s - 14 = 3*n - 6*n, 3*s = n + 32. Let l be (0 - 16/s)*-45. Let h = l - -91. Is h composite?
False
Is 6 + 19895/5 - -4 a prime number?
True
Let w(l) = -l**3 - 4*l**2 - 7*l - 4. Suppose 1 + 15 = -4*v. Let t be w(v). Let c = -10 + t. Is c a composite number?
True
Suppose -13 = -g - 5*v + 9, 5*v - 16 = -3*g. Let b = g - -6. Is b composite?
False
Suppose i + 93 = -2*i. Let r = 8 - i. Is r a composite number?
True
Let j(t) = 137*t - 9. Is j(10) composite?
False
Let f = 4 - -27. Suppose 5*j - 4*x = 246, -3*x + 111 = 2*j + f. Is j composite?
True
Suppose -m - 2*m - 4*r = 16, -2*m - 5*r = 20. Let f = 0 + m. Suppose f = -5*z + 5, 2*v - 8 = -4*z + 10. Is v a prime number?
True
Suppose 117 + 125 = 2*w. Suppose 3*r + 3*a - 52 = 41, 5*a = -4*r + w. Is r composite?
True
Let j = 187 - 110. Suppose 0 = z - 254 + j. Is z prime?
False
Let h be -6*(-3)/6 + 2. Suppose h*i - 2*d = 368, 3*d = 5*i - 117 - 250. Is i prime?
False
Is 12324/143 - (-2)/(-11) prime?
False
Let u = 125 - 238. Is (-1 + 3)/((-2)/u) a composite number?
False
Let t = 89 - 30. Is t prime?
True
Let c(w) = -17*w**3 - w**2 - 3. Is c(-2) a composite number?
True
Let s = -3 + 3. Suppose b - 4*n + 5 = s, -5*b - 1 = -2*b - 5*n. Suppose 2*t - 4*l = 0, -b*t + 20 = -2*l - 0*l. Is t a composite number?
True
Let x(y) = 5*y - 1. Let u be x(1). Suppose 2*o + 5*z - 19 = -0*o, 3*z - 15 = -3*o. Suppose -u*d + 110 = -o*d. Is d a prime number?
False
Let h(o) = -840*o**3 + 2*o + 1. Is h(-1) prime?
True
Suppose 3*u = -u + 632. Is u composite?
True
Let a = 473 - 30. Is a a prime number?
True
Let z = 9 + -13. Let j be 4/(-6)*(-30)/z. Let k(n) = -26*n + 1. Is k(j) a prime number?
True
Suppose -3*z = 4*a - 12 - 110, -116 = -4*z + 4*a. Is (z/(-3))/(6/(-63)) prime?
False
Let b(h) = 7*h**2 + 11*h - 13. Is b(18) composite?
True
Suppose 0 = 33*z - 36*z + 1353. Is z composite?
True
Suppose 5*f = -20, -5 + 1 = 3*v + 4*f. Suppose v*m - 395 = -m. Is m composite?
False
Let h(v) = v**3 + 6*v**2 - 4 + 8 - v**2 + 0*v**2 + 3*v. Suppose 0 = -2*i - i - 9. Is h(i) prime?
True
Let g = 4889 + -2988. Is g prime?
True
Is (2 - -5)/((-2)/(-194)) prime?
False
Let m(j) = j**3 + 7*j**2 - 5. Let h be m(5). Suppose z - h = -4*z. Is z composite?
False
Suppose -3*s - 5700 = -5*v - 0*s, 3*v + 3*s = 3396. Suppose -2*w + 5*w = v. Is w composite?
False
Suppose 4*b - 78 = b. Let z = 20 + b. Is z a composite number?
True
Let o(c) be the third derivative of 17*c**4/8 + c**3/3 + 4*c**2. Let b be o(2). Let u = b - 65. Is u prime?
False
Suppose 2*o + 1 + 7 = 0. Let x(r) = -59*r - 3. Is x(o) prime?
True
Let k = 3 - 0. Let v(x) = 21*x**2 + x - 1. Is v(k) prime?
True
Let c(n) = -208*n**3 - 4*n**2 - 6*n - 3. Is c(-2) a prime number?
True
Suppose 0 = 4*b + b - 4*f - 41, -4*b - 4*f = -4. Suppose b*w = 2*w + 12. Suppose j - 3*j - w*i + 150 = 0, -3*j + i = -190. Is j a composite number?
True
Let m(o) = -2 + 3 - 8*o**2 + 26*o**2 - 2. Let b be (-2)/((2/(-2))/(-1)). Is m(b) composite?
False
Let n(v) = -292*v**3 + 2*v**2 - 1. Is n(-1) prime?
True
Let z(o) = 2*o**2 - o + 1. Let p be z(1). Is 149/7 + p/(-7) prime?
False
Suppose 0 = 5*h - h + 112. Is ((-119)/h)/((-1)/(-20)) prime?
False
Let o(g) = g**3 - 5*g**2 - 7*g + 6. Let z be o(6). Is 1/((-2)/(-206) - z) a composite number?
False
Let o = -3 + -3. Let y = -6 - o. Suppose y = -0*j - 2*j + 26. Is j a prime number?
True
Is 7/((6/(-1567))/(-6)) a composite number?
True
Let m = 1080 + -493. Is m a prime number?
True
Suppose -3*x - 25 = -2*g - 254, 2*x - 3*g - 151 = 0. Suppose -x = 5*v - 422. Is v prime?
False
Let x(o) = -836*o + 17. Is x(-5) a composite number?
True
Suppose -3*j + 5*j = 6. Suppose -j*a + 3 = -0*a. Is 4 - (2 - (a + 0)) a composite number?
False
Let l = 57 - 31. Suppose -l = 2*a - 8. Is (-6)/(-9) - 183/a a prime number?
False
Suppose b - 14 = -9, -a = 4*b - 1534. Is a a prime number?
False
Is (3703/14 - 8) + 1/2 a prime number?
True
Let o(g) = -110*g**3 + 2*g**2 - 1. Is o(-1) prime?
False
Is (4468/(-16))/((-4)/16) prime?
True
Suppose -62 = -2*x - 2*n + 42, 0 = -x - 3*n + 60. Let j be (2/(-3))/(3/(-9)). Suppose q + 3*q - x = -2*a, j*a = 4. Is q a composite number?
False
Suppose -4*s + 366 = -0*c - c, -c = -2*s + 182. Let t(l) = -l**2 + 5*l - 2. Let r be t(4). Suppose -r*g + s = -90. Is g a composite number?
True
Let t(p) = -563*p**3 - p**2 - 2*p - 1. Let o be t(-1). Suppose -3*h - 4*g = -o, 421 = 4*h - 3*g - 313. Is h composite?
True
Let w(m) be the first d