 = s - 1. Let x be l/5 + (-26)/(-10). Suppose -a + 50 = -3*u, u + x*u = 3*a - 125. Is a composite?
True
Let q be 15 + (-2 - -3 - 0). Let y = q - 3. Is y a prime number?
True
Let q(t) = -t + 94. Is q(0) composite?
True
Suppose 7*t = 3*t + 12. Suppose -4*y = -t - 5. Suppose -y*v + v - j = -28, -v - 5*j = -48. Is v composite?
False
Suppose 1347 = -3*t - 552. Is (t/9)/(2/(-6)) composite?
False
Suppose -5*s + 5*h - 8289 = 2831, 5*h = -25. Let p be s/(-12) + (-2)/(-8). Suppose 2*o - 4*i + 0*i = 114, 0 = 3*o - 3*i - p. Is o a prime number?
True
Let f(w) = -3*w + 3. Let x be f(5). Let v(i) = -i**3 - 13*i**2 - 13*i - 10. Is v(x) prime?
True
Let s(y) = 9*y + 2. Let w(g) = 17*g + 3. Let b(q) = 7*s(q) - 4*w(q). Let t be b(2). Is (-4)/t - 321/(-2) a composite number?
True
Suppose -5*w + 2047 = -k, -w + 0*k + 3*k + 415 = 0. Is w composite?
False
Let m(l) = -6*l + 13. Let j(g) = 4*g + 17. Let t be j(-7). Is m(t) a prime number?
True
Let i(c) = c**3 + 8*c**2 + 3*c - 7. Is i(-5) a prime number?
True
Let c(w) = w**3 + 6*w**2 + 4*w - 2. Let q be c(-5). Is 2/((-37)/13 + q) composite?
False
Let z be ((-1)/(-2))/(6/84). Let j = 36 + z. Is j composite?
False
Let n(j) = 3*j - 3. Let g be n(2). Suppose 5*s + 23 = -o, 4*o + g*s = -5 - 2. Is 2*(1 + 51/o) composite?
False
Suppose -162 - 562 = -4*b. Is b a prime number?
True
Suppose 0 = 4*s - z - 1871 - 1754, 2*s = -3*z + 1823. Is s a composite number?
False
Let j = -75 - -128. Is j composite?
False
Let n(m) = 3*m**2 + 2*m - 2. Suppose -5*f - 3 = -4*k + 14, 5*k = 3*f + 31. Let o(a) = -a + 11. Let w be o(k). Is n(w) composite?
False
Suppose -2*l = l + 42. Let j be (l/5)/(1/(-20)). Let p = 103 - j. Is p a prime number?
True
Suppose -4*g - 2 = -5*g. Suppose -g*a = -50 - 42. Is a composite?
True
Suppose 16 = 3*y - y. Let i(m) = m**3 - 7*m**2 + 7*m. Let w be i(6). Suppose -y*b + 158 = -w*b. Is b composite?
False
Suppose 0*o - 2*o - 76 = 0. Let i = o - -97. Is i composite?
False
Is ((124 - -3)/(-1))/(-1) prime?
True
Let g be (2*3)/(8/12). Suppose 10 = -4*n + g*n. Is 51 - n/(-1) - 0 a composite number?
False
Suppose -2*s - 166 = -4*s. Is s a prime number?
True
Let i = -273 - -387. Suppose f = -3*f + 148. Let u = i - f. Is u a prime number?
False
Let y be (-4)/6*3*-1. Let o = y - 3. Is 33*o*3/(-9) a prime number?
True
Let c(s) = 14*s**3 - 16*s**2 - 11. Is c(6) a prime number?
True
Let k be (-8)/4*(-2 - 0). Suppose 3*n - 209 = 4*q, -k*n - q + 264 = q. Is n a composite number?
False
Is (-419)/1*(-1 + 4)/(-3) a composite number?
False
Suppose 2*h + 21 = -201. Let i = 490 + h. Is i composite?
False
Let f(b) = -b**2 + 16*b + 7. Is f(12) a prime number?
False
Let t(l) = -109*l + 1. Let j be t(-1). Let v = j - 21. Is v prime?
True
Suppose 4*f - 480 = u, 3*f - 86 = 3*u + 283. Is f a prime number?
False
Let r = 377 + -154. Is r prime?
True
Let t(h) = -21*h. Let j be t(2). Is (j/8)/(1/(-4)) a composite number?
True
Suppose 0*d + 9 = 3*d. Suppose 66 = d*q - 195. Is q composite?
True
Suppose -3 + 12 = 3*p. Suppose -5*u + 4*h + 26 = 0, -p*u = 3*h - 6*h - 18. Suppose 106 = u*i - 0*i. Is i prime?
True
Let l(r) = -3*r**3 - 2*r**2 + 9*r + 1. Is l(-7) a composite number?
True
Suppose 4*x - 24 = 20. Suppose 0 = 4*c - 5*c - 55. Is 2/x + (-6315)/c prime?
False
Suppose 4*m - 6*d = -2*d + 4580, 4*m = -2*d + 4556. Is m composite?
True
Let v(g) = 4 + 2*g**2 - g - 4*g - 3*g**2. Let o be v(-5). Suppose 0 = -2*d - o + 74. Is d a prime number?
False
Suppose -2*t + 0*t + 2 = 0. Let q = 1 + t. Is q + (2 - 4) + 21 a prime number?
False
Suppose f + 2*j = 12, -7*f = -2*f + 2*j - 28. Suppose -b - f*b = -185. Is b prime?
True
Let t be (-16)/(-10) - 6/(-15). Suppose t*h = -2*h + 744. Let j = -43 + h. Is j composite?
True
Suppose 0 = y + 4*z - 0*z - 11, 0 = -4*y + 3*z + 25. Let v(h) = 3*h**2 + 8*h. Is v(y) composite?
True
Let m = 6 - 3. Let f(t) = -3*t - 6. Let n(w) = -w**2 + 1. Let i(u) = -f(u) - 5*n(u). Is i(m) a prime number?
False
Let n(h) be the third derivative of -h**6/120 - h**5/12 + h**4/4 + 3*h**3/2 - 2*h**2. Let q be n(-6). Is 447/q + (-2)/3 a composite number?
True
Let m(n) = -n**3 + n**2 + 6*n + 1. Is m(-10) a prime number?
False
Suppose -4*k + 1081 = -111. Suppose 5*d = 267 + k. Let f = 168 - d. Is f prime?
False
Suppose -4*j + 6*j = -2*p - 40, p = -5*j - 80. Let h = j - -39. Let q = 61 + h. Is q a prime number?
False
Suppose -19 = -3*l + k, 3*l + 2*k + 1 = -2*k. Let f be (-24)/9*3/(-2). Suppose -3*s = -o + f*o - 18, -o + 34 = l*s. Is s a prime number?
True
Let y(i) = i**3 + 3*i**2 + 4*i + 2. Let h be y(-2). Let q = -3 - h. Is 538/8 + q/4 prime?
True
Let r = 2 + 0. Is (1/r)/((-2)/(-28)) composite?
False
Suppose 13*m = -4*m + 78965. Is m a prime number?
False
Let t = 859 - 601. Suppose t = -j + 4*j. Is j composite?
True
Suppose -p - 80 = 3*r - 4*r, 5*p = 25. Is r a prime number?
False
Let f be (-782)/7 - 8/28. Let c = 45 + f. Let z = c + 100. Is z a composite number?
True
Is (-57177)/(-21) + (-2)/(-7) prime?
False
Let x(n) = n**2 + 8*n - 4. Let c be x(-9). Suppose -3*h = -c*o + 734, 2*o = 3*h - 8*h + 275. Is o a composite number?
True
Let i(c) = -25*c**3 - 2*c**2 + 4*c + 7. Is i(-6) a composite number?
True
Let q(d) = -3*d**2 - 8*d - 9. Let a be q(-6). Let n = 178 - 314. Let r = a - n. Is r a composite number?
False
Suppose -9 + 0 = 3*f. Suppose -1 = 4*t - 13. Is ((-158)/f)/(2/t) a composite number?
False
Suppose 0 = -33*z + 36*z - 14451. Is z prime?
True
Let h = -1398 + 555. Let d = -578 - h. Is d a composite number?
True
Let w(f) = -3*f**3 + f**2 - 1. Let z be w(-2). Let v = 3 - 1. Suppose -r + z = v*r. Is r prime?
False
Let o be (-2 - -9) + -1 + -2. Suppose -o*b - b + 335 = 0. Is b a composite number?
False
Suppose -64*h + 70*h = 9228. Is h composite?
True
Let d(h) = 2*h + 10 + h**3 - 4*h - 5*h**3 - 13. Is d(-3) a composite number?
True
Suppose -5*k + 422 + 843 = 0. Suppose k = 4*f - 5*g, -4*g = 5*f - 431 + 125. Is f prime?
False
Let m = -6 - -5. Let g = m + 34. Is g composite?
True
Is (-54)/8 + 7 - (-1851)/4 composite?
False
Suppose 0 = -t + 3*t + 8, -3*t + 314 = 2*j. Is j a prime number?
True
Let x(d) = -d**3 - 7*d**2 - 7*d - 2. Let u(l) = 5*l**3 - 2*l**2 - 2*l - 1. Let j be u(-1). Let m be x(j). Is (-32)/(-8)*74/m prime?
False
Let o = 3 - 2. Let j be (9/12)/(o/8). Suppose 0 = 2*h - j. Is h a prime number?
True
Let j(q) = -4*q - 3. Let a be j(-2). Suppose 0*r + 31 = r + 5*i, 75 = 5*r + a*i. Is r prime?
True
Let n(r) = -r**3 - 5*r**2 - 3*r + 5. Let h be n(-4). Let x = h + 1. Suppose -k + 4*k + 4*l - 205 = 0, -65 = -k + x*l. Is k composite?
False
Let d(c) be the second derivative of -19*c**3/3 - c**2/2 + 3*c. Is d(-1) prime?
True
Let w(z) = 16*z - 3. Let t(d) = 15*d - 3. Let h(k) = 3*t(k) - 2*w(k). Is h(2) a prime number?
True
Suppose -3*z - 1440 = -2*h - h, 4*z + 4 = 0. Is h composite?
False
Let j(u) = 59*u - 5. Let g be j(4). Let t = 451 - g. Let f = t - 137. Is f a prime number?
True
Let v(y) = 3 - 3 + 2*y - 2 + 3 + 308*y**2. Is v(-1) a prime number?
True
Let m = 2 + 0. Suppose 3*i = -15, -m*i - 625 = -3*v - 2*v. Is v a prime number?
False
Let r(d) = 62*d + 6. Is r(4) composite?
True
Suppose 2*o - 6*o = -20. Suppose o*t - 300 - 145 = 0. Is t a composite number?
False
Let r(q) = 5*q**2 - 18*q + 34. Is r(15) a composite number?
True
Let h = -2610 - -4367. Is h prime?
False
Suppose -2*v = 2*n - 8, 0 = -2*n + 6*n - 20. Let q be v/3 + (-10)/(-3). Suppose 66 = -i + q*i. Is i composite?
True
Let i = -2107 - -2994. Is i prime?
True
Let q = 6760 + -4523. Is q a composite number?
False
Let q be (-695)/(-5) + (1 - 0). Suppose 3*x - 133 - q = 0. Is x a prime number?
False
Let l = 0 + 0. Is (-2)/(-3)*(6 + l) composite?
True
Suppose -4*j = -7*j - 564. Let p = 351 + j. Is p a composite number?
False
Let t(s) = 13*s + 3. Let o(l) = 25*l + 7. Let m(r) = 2*o(r) - 5*t(r). Let u = 10 - 11. Is m(u) composite?
True
Suppose -3*n = -3*f - 189, -n = 2*n + 5*f - 173. Suppose 0 = -2*o + n + 73. Is o prime?
True
Let k = 43 - -44. Let d = 31 + 123. Let o = d - k. Is o prime?
True
Let p(m) = -42*m + 1. Let h = -1 - -7. Suppose 3*j + j = -l - h, -l - 2 = 0. Is p(j) prime?
True
Let g = 383 - 956. Let k be ((-5)/(-15))/((-1)/g). Suppose 0*w + w + k = 5*l, 0 = -5*l + 5*w + 175. Is l prime?
False
Let r(v) = 18*v**2 - 4*v. Let u be r(3). Let j = u + -83. Is j prime?
True
Suppose