ose -4*j + 2*v = -478, -r*j = 2*v - 605 + 131. Is j a prime number?
False
Let i(x) = 28*x**2 + 2*x + 1. Is i(-3) a prime number?
False
Let x = 27 + -38. Let o = x + 10. Is o*(1 + 0)*-49 a composite number?
True
Is (2 - 292/(-6)) + (-7)/(-21) a prime number?
False
Let t = -18 - -71. Is t prime?
True
Let a(v) be the third derivative of v**6/120 + v**5/60 + v**4/24 + 31*v**3/6 + 5*v**2. Is a(0) a prime number?
True
Is 471 + (-1 - (5 - 2)) composite?
False
Let t(x) = -9*x + 2. Suppose v + 2*v = 2*n - 16, 0 = -n - 5*v + 8. Let l be t(n). Is 3/2*l/(-15) a prime number?
True
Let r(b) = -3*b - 1. Let a be r(-1). Let n be (2 + -2)/a + 0. Suppose n = 3*v + 11 - 68. Is v composite?
False
Let s = -285 + 1340. Is s prime?
False
Let p(o) = 2*o**2 + 2*o. Let l be p(-2). Suppose 91 = 3*i - 4*n, 4*i - 168 = -l*n - 0*n. Is i a prime number?
True
Let r(x) = 31*x**2 - x + 4. Suppose -6 = -2*o - 0. Let n be r(o). Let p = -153 + n. Is p a prime number?
True
Suppose -4*c = 12 + 4. Suppose -4*q - 10 = 10. Is (-117)/q + c/10 a composite number?
False
Let l = 3448 + -743. Is l a composite number?
True
Suppose 8 = 5*j - 7. Suppose -2*q + 23 = j. Is q composite?
True
Suppose n - 185 = 16. Is n a composite number?
True
Let s be (3/6)/((-2)/(-16)). Suppose 2*g - 1440 = 4*h + 698, 2*g = -s*h + 2130. Is g composite?
True
Let v = -133 - -251. Let x be (v/3)/(4/18). Suppose 0 = -3*h - 0*h + x. Is h prime?
True
Let y(b) be the third derivative of b**6/120 - b**5/20 - 5*b**4/24 + b**3/6 + 19*b**2. Suppose 4*d - 18 = d. Is y(d) prime?
True
Let n(v) = -2*v - 1. Let a be n(-5). Let q(s) = 7*s + 6. Is q(a) a prime number?
False
Suppose -3*r = -4*s - 2*r + 3, 0 = -3*s + 4*r - 1. Is s/(1114/371 + -3) a prime number?
False
Let k(m) be the second derivative of m**5/20 + 11*m**4/12 - m**3/2 - 11*m**2/2 + 2*m. Is k(-11) prime?
False
Let h(k) = 51*k + 5. Let o be h(5). Suppose 2*f - o = -2*f. Is f prime?
False
Suppose 4*q - 684 = 808. Is q prime?
True
Suppose 20 = -4*d - 0*w + 4*w, -20 = -5*d - 4*w. Suppose d = 3*y - 297 + 12. Is y a composite number?
True
Let u = -5 - -4. Let n(y) = 3*y**2 + y. Let l be n(u). Suppose 0 = p - v - 91, 5*p - 328 = -l*v + 113. Is p composite?
False
Let o be 3*1 - 8/4. Is -1 + -2 + 36/o a composite number?
True
Let y be 3 + (1 - (-2 - -2)). Suppose -5*f = 2*v - 2, -3 = y*f + v - 7. Suppose f*l - 8 = -2. Is l composite?
False
Let n(r) = -460*r - 11. Let d(w) = -153*w - 4. Let s(u) = 8*d(u) - 3*n(u). Is s(1) prime?
True
Let q(u) = u**2 + 9*u + 4. Let v be q(-9). Suppose 0 = o - 3*o + 2*j + 1266, 20 = v*j. Suppose -2*d - 4*w + o = 0, -4*d = -3*w - 649 - 682. Is d composite?
True
Let d(m) = m**2 + 6*m + 2. Let o(c) = -2*c + 8. Let t be o(7). Let s be d(t). Suppose 0 = 3*q - x - 2*x - 156, -2*x = -s. Is q a composite number?
False
Let a(n) = -n**2 - n + 1. Let t(m) = -m**2 - m + 2. Let b(q) = -2*a(q) + t(q). Let u be b(1). Suppose u*w - w - 149 = -v, -w - 286 = -2*v. Is v prime?
False
Let t(v) = 21*v**2 + 2*v - 1. Is t(2) a composite number?
True
Let i(l) = l**3 - l**2 - l - 1. Let q(p) = 2*p**3 + 3*p**2 + p - 7. Let z(w) = 3*i(w) - q(w). Let m = 12 - 5. Is z(m) a prime number?
False
Suppose 0*t - 4*t = -148. Let i = 12 + -10. Let k = t - i. Is k a prime number?
False
Suppose -935 = 4*i + x, 0 = -2*i + 3*x + x - 454. Let p = -162 - i. Is p prime?
True
Suppose 1 = 2*i + 9. Let x = i + 4. Suppose t = 5*l - 391, x*l = 4*l - 2*t - 308. Is l composite?
False
Let y = 1256 - 625. Is y composite?
False
Let r(c) = 331*c**3 - 2*c + 1. Let a be r(2). Is 2/9 + a/45 a prime number?
True
Is (-320)/(-15) + (-1)/3 composite?
True
Is 12056/48 - 2/12 a prime number?
True
Let y(j) be the third derivative of -j**4/12 + 3*j**3 - 7*j**2. Is y(-10) composite?
True
Let k(i) = i**3 + 10*i**2 - 12*i + 5. Let f be k(-11). Is 188/f*(2 - -2) a composite number?
False
Let a(i) = -i**2 - i. Let d be a(0). Let k(o) = o**2 + 5*o - 3. Let y be k(-6). Let g = y + d. Is g a composite number?
False
Let y = 185 - 0. Is y composite?
True
Suppose -3*n + 2504 = -4*o, 3*n - 2*n = -2*o + 838. Let j = 1467 - n. Is j a composite number?
False
Let r(z) = z**3 - 3*z**2 + 2*z - 4. Let c be r(6). Let w be c + 2 - 0/1. Suppose -h + 0*y - y = -29, 4*h - w = -3*y. Is h a prime number?
True
Is -2524*((-4)/16 - 0) a prime number?
True
Let q(k) = k**2 + 10*k + 11. Let i be q(-9). Suppose -i*r - 5 = -107. Is r prime?
False
Suppose 0 = -3*d + d - 5*b + 168, 2*d - 5*b - 128 = 0. Is d prime?
False
Let x(y) = 14*y - 12. Let i(u) = -13*u + 12. Suppose 4*r - 5*k = 23, r - k - 4 = 1. Let l(p) = r*x(p) + 3*i(p). Is l(-9) prime?
False
Let f = -4 + 5. Is 69 + 1*-2*f composite?
False
Suppose 0 = 3*a - 2*i - 2*i - 1351, 3*a - 1345 = -2*i. Is a composite?
False
Let z(l) = -l**3 + 3*l**2 + 4*l + 3. Let t be z(4). Is (1 - t - -3) + 36 composite?
False
Is 211 + (1 - -1) + -2 a prime number?
True
Suppose -2*f - 4*c + 22 = 3*f, 4*f - 14 = -2*c. Suppose t = -f*t. Suppose t = -0*y + y - 203. Is y a composite number?
True
Suppose 4*c - c + 2*o = 13, -3*c = -3*o - 18. Suppose -3*t = -c*t - 1164. Is t/(-30) - 2/5 a composite number?
False
Suppose 4*i = -v + 16, -v - 4*i + 3*i + 13 = 0. Let n = v - -16. Suppose 3*z = -2*z + j + 73, j + n = 2*z. Is z a composite number?
True
Let u(s) be the second derivative of 13*s**5/10 + s**4/3 - s**3/3 - s**2/2 + 3*s. Is u(2) prime?
False
Let r(g) = 5*g**3 + 2*g**2 - 1. Let t be r(1). Let q = t + -2. Let o = 15 - q. Is o prime?
True
Let t be 0*(3/6)/1. Suppose t*s - 725 = -5*s. Is s prime?
False
Is 6*3/((-18)/(-159)) prime?
False
Suppose -389 = n - 2*n. Is n prime?
True
Suppose 33 = 5*n - 4*x, -2 = -n + 2*x + 7. Suppose -235 = -4*l + n*y - 4*y, 5*y - 64 = -l. Is l a composite number?
False
Let p = -1 + 0. Let j be 22/12 + p/(-6). Suppose 0*v = 5*v - 4*c - 103, 0 = v - j*c - 23. Is v a composite number?
False
Let d(x) = x**2 + 1. Let s be d(-2). Suppose 0 = s*i - 4*i. Suppose i = -7*z + 4*z + 45. Is z a prime number?
False
Suppose 5*r + 3*l - 1034 = 0, -3*l = 3*r - 2*l - 618. Is r a prime number?
False
Suppose 4*z = 3*n + 7, -3*z = -z - 8. Is n composite?
False
Let q be ((-4)/14)/(4/(-28)). Suppose -3*c - q = -17. Suppose h = c*b + 37, 2*h - h - 3*b = 41. Is h composite?
False
Let w = 3 - 3. Suppose w = 2*g - 11 - 9. Is g composite?
True
Suppose 0*o = -2*k + 4*o + 16, -o = 2. Let l be 772/6 - k/6. Let s = l + -79. Is s composite?
True
Suppose -2*j = -0*j - 974. Is j composite?
False
Is ((-3129)/12)/(3/(-12)) composite?
True
Let v(m) = 3*m**3 - 2*m**2 + 2*m - 1. Suppose 2*q + 4 = q. Let k = -2 - q. Is v(k) composite?
False
Let y(z) = z**2 + 5*z + 2. Let t be y(-6). Is 4*(0 + 74/t) prime?
True
Let x be ((-4)/2 - -1)/((-2)/6). Suppose n = -1 + 3. Suppose -x*h + 235 = n*h. Is h a prime number?
True
Let a(n) = 4*n - 13. Let o(i) = i - 3. Let g(k) = -2*a(k) + 9*o(k). Let l be g(5). Suppose 0 = -l*d + 8 - 0. Is d prime?
True
Is (22/3)/((-14)/(-609)) a composite number?
True
Is 75 + -1 + 0 + 3 prime?
False
Suppose 4*f - 204 - 381 = -5*q, 0 = 3*f + 2*q - 437. Is f composite?
True
Suppose 0*z + 2104 = 8*z. Is z a composite number?
False
Let o be 3 - (0 + -1 - 1). Suppose -4*l - 518 = -2*x, -o*l = 3*x - 576 - 201. Is x a composite number?
True
Suppose 0 = -2*k - 2*f + f + 14, 2*k - 30 = -5*f. Suppose k*v - 443 = 212. Is v a composite number?
False
Let h = 497 - -24. Is h composite?
False
Is 26/(-4)*(-9 - -5) a composite number?
True
Suppose -3*u - 1 + 13 = 0. Suppose 4*m = g - 0*g + 25, u*m = -5*g + 43. Suppose 2 = 3*y - m. Is y prime?
True
Let t be 1*-3*(4 - 5). Let j be (t - -1)*(-1)/(-2). Let d(c) = 3*c**3 + 3*c**2 - c + 1. Is d(j) composite?
True
Let t be (1 - (-10)/(-6))*-6. Suppose -l - 4*r = 3*l - 24, 0 = -t*r + 8. Suppose -3*y = -d - 46, -2*y - 35 = -l*y + 5*d. Is y a prime number?
False
Let d be (0 - 2)*(0 - 3). Let t be (d/(-9))/(2/6). Let u(v) = 2*v**2 - 2*v - 1. Is u(t) a composite number?
False
Suppose 2*t = t - 204. Let z = -125 - t. Suppose 3*s - 2*n - 63 = 0, 4*s - z = -4*n - 15. Is s a prime number?
True
Is (-632)/(-3) + 6/18 a prime number?
True
Is 1 + 77 + (-7)/7 a prime number?
False
Suppose 2*f + 2*f = 3*m - 31, 0 = -2*m - f + 39. Suppose m = -2*q + 119. Is q a composite number?
True
Let z be (4/5)/((-1)/15). Let r be z/(-10)*(9 - 4). Suppose -r*c = -3*c - 159. Is c a composite number?
False
S