-617. Let c = 19 - l. Is c a prime number?
True
Suppose -y - 475 = -3*g, g - 89 - 88 = 5*y. Is g a prime number?
True
Let a(o) = 3*o**3 + o**2 - 4*o - 3. Let w be a(-4). Let f = -36 - w. Is f a prime number?
True
Let l = -128 - -219. Is l a prime number?
False
Suppose -l = 15 + 35. Let g(k) = 7*k. Let j be g(-4). Let s = j - l. Is s composite?
True
Suppose -3*w + 12 = -0*w. Suppose -w*t + 1335 = -t. Is t a prime number?
False
Let t = -581 + 846. Is t prime?
False
Let w = -767 - -1348. Is w composite?
True
Let r(o) be the second derivative of o**4/6 + 7*o**3/6 - 4*o**2 + o. Is r(-9) composite?
True
Suppose -2*k + 166 = -0*k. Is k a prime number?
True
Let j(b) = b**3 + b**2 + 53. Let p(m) = -m. Let f be 0*2*2/(-8). Let c be p(f). Is j(c) a prime number?
True
Suppose -8*x + 1099 = -1533. Is x a composite number?
True
Let w = 12 + -16. Is (-4 - -4)/w - -869 a prime number?
False
Let h be 15/(-10)*4/(-3). Suppose -h*p = 5*j - 1, -j = 2*j - 9. Let i(y) = -19*y - 6. Is i(p) a prime number?
True
Let v(o) = -o + 1. Let j be v(-4). Let c = j - 4. Is 3 + 1/(c/370) a prime number?
True
Let s = -5 - -8. Suppose 0 = -p - s, 2*l + 2*p + 2 = 4*p. Let i = 0 - l. Is i a prime number?
False
Suppose -2*z - 2 = -3*z. Suppose -2 = q - 3*q, -z*t = 2*q - 10. Suppose h + 5*g - 32 = 0, h - 3*g - 12 = -t*g. Is h a prime number?
True
Suppose -3*w + 357 = -246. Is w prime?
False
Suppose 3*n = 2*y - 7*y + 5, 33 = 5*n - 4*y. Suppose -3*x - 178 = -n*x. Is x composite?
False
Let y = -416 - -1473. Is y composite?
True
Suppose d - 3*b - 24 = 217, -201 = -d - 5*b. Suppose 2*g = d + 56. Is g prime?
False
Let h(a) = -a**3 + 5*a**2 - 3*a. Let s be h(4). Let d = 6 - s. Suppose 12 = d*n - 34. Is n prime?
True
Let o = 246 - -265. Is o prime?
False
Suppose 0 = o + 24 - 6. Let c = -8 - o. Is c prime?
False
Suppose 0 = 8*d - 6*d - 2162. Is d composite?
True
Let a(d) = -4*d**2 + 1 - 2*d - 6*d**3 + 3 - 9*d**3 - 6. Is a(-3) a composite number?
False
Let t(d) = 76*d**2 + d. Is t(1) a composite number?
True
Let a(x) = 0 + 5*x - x + 3 - x**3 + 4*x**2. Suppose 5*w + 11 - 31 = 0. Is a(w) prime?
True
Let z(u) = 6*u. Let a be z(-2). Let m = -1 - a. Suppose -n + 30 = m. Is n composite?
False
Let q = -161 - -25. Let n = 208 + q. Suppose -p + 26 = -d, 3*p = -0*p + d + n. Is p a prime number?
True
Suppose -4*y + j = -j - 1402, 2*y + 5*j = 731. Is y a prime number?
True
Suppose 271 = 6*w - 1253. Is w prime?
False
Let t = 4 + 0. Suppose t*p = -0*p - 88. Is p/5*(0 + -5) prime?
False
Let v = -72 + 323. Is v prime?
True
Let b be 17/4 - (-2)/(-8). Let l(q) = q**3 - 16*q**2 - 18*q + 22. Let x be l(17). Suppose 0 - b = 2*u, -3*d - x*u + 131 = 0. Is d a composite number?
False
Suppose 44 = 3*l - 91. Let i = l + -23. Is i composite?
True
Suppose 5*i = 1785 + 190. Is i prime?
False
Suppose 0 = 14*b - 19*b + 2395. Is b composite?
False
Suppose -9*u + 248 = -5*u. Is u a prime number?
False
Let q be 2 - (-11 - -2)/3. Suppose 4*u = q*j + 273, 0*u + 225 = -4*j + u. Let a = 208 - j. Is a composite?
True
Let m(i) = -336*i**3 - 2*i**2 + i + 2. Is m(-1) a prime number?
False
Suppose 2*q + 0*q = 12. Suppose 2*r - 77 = -p + q*p, p = r - 34. Suppose 56 = 2*y - 5*l, y = -0*y + 4*l + r. Is y a composite number?
False
Let j(l) = 13*l + 55*l - 19*l. Is j(1) a prime number?
False
Let g be 1*-2 - 2/(-1). Let p = 2 + g. Let j = 32 + p. Is j prime?
False
Let s be (-5)/(-20) - 262/(-8). Let r(v) = v**2 + 6*v + 7. Let p be r(-5). Let a = p + s. Is a a composite number?
True
Let w be 8/(-28) + 10398/(-14). Let u = 1084 + w. Is u composite?
True
Suppose 30 = -5*r - 2*p - 0*p, -2*p = 0. Let a(u) = -u**3 - u - 8. Let b(z) = z**3 - z**2 + z + 8. Let m(c) = 6*a(c) + 5*b(c). Is m(r) a composite number?
True
Let x = 120 - -206. Is x a prime number?
False
Let d = 6 - 4. Is -187*(-1 + -2 + d) composite?
True
Let u(l) = -l**3 - 8*l**2 - l - 4. Let q be u(-8). Suppose 2*c = -i + 29, q*c - i - 40 = 3*i. Is c prime?
True
Suppose -i = 5*b - 1171 + 116, -1055 = -5*b + 4*i. Is b composite?
False
Let p be (-1 + 0 + 0)*-3. Suppose 0*a = r + a - 86, r + p*a = 80. Is r a composite number?
False
Let g(k) = k**2. Let f be g(1). Let a(m) = f + m**2 + 4 - 2 - 4*m. Is a(6) composite?
True
Is (-2)/(-4) - (-5 - 534/4) a composite number?
False
Let r(k) be the third derivative of 41*k**6/120 + k**4/6 - k**3/2 - k**2. Let q be r(2). Is ((-2)/(-3))/(6/q) a prime number?
True
Suppose 2*i = -2*s + 192, i = 4*s + 88 - 487. Is 3 - (-4 + s/(-1)) a composite number?
True
Let g(n) = n**2 - 9*n - 1. Let f = 10 + -1. Let l be g(f). Is -10*((-7)/2 - l) prime?
False
Let d be 4/14 - (-141)/21. Let l(k) = k**3 - 8*k**2 + 7*k. Let h be l(d). Suppose i + h*i = 53. Is i a composite number?
False
Suppose 2*p - 4*p - 263 = -5*k, -k + 71 = -5*p. Is k a prime number?
False
Let o = -630 - -1472. Is o a composite number?
True
Let l be (-14)/1*-14 + -2. Suppose -2*w - u + 37 = -l, -4 = -4*u. Is w a composite number?
True
Let l(w) be the first derivative of -w**4/4 - w**3 - 5*w**2/2 - 3*w - 2. Let s be (3 + (1 - 0))/(-1). Is l(s) a composite number?
True
Let i be (12/15)/((-4)/(-10)). Suppose 3*t + 4*o - 73 = 0, i*o - 42 = -2*t + o. Is t composite?
False
Let s(f) = -f**3 + 9*f**2 + 20*f - 11. Let k be s(13). Let n = k + 692. Is n composite?
True
Let v be 2/(-8) - (-1)/4. Suppose 3*l + 4*p - 14 = -v*p, 4*p - 20 = -4*l. Is l a prime number?
False
Suppose -1 + 3 = -2*j. Is j - (-3)/2*24 a composite number?
True
Let t = 1916 + -555. Is t a prime number?
True
Let r(t) = 2*t**2 + 5*t + 1. Let j(a) be the third derivative of -a**4/24 - a**3/2 - 3*a**2. Let z be j(-7). Is r(z) prime?
True
Let f = 24 - -110. Is f a composite number?
True
Suppose 0 = j + 4*h - 71, -2*h - 127 = -3*j + 114. Suppose -y + j = -0*y. Is y composite?
False
Let r(a) be the first derivative of 155*a**4/2 - 2*a**3/3 + a**2 - a + 2. Let b be 0 + -3 + (-8)/(-2). Is r(b) a composite number?
True
Let v(t) = 260*t + 27. Is v(13) prime?
True
Let p = -201 + 460. Is p a prime number?
False
Let i(r) = -r + 157. Is i(0) a prime number?
True
Let w(r) = -r**2 + 8*r - 4. Let h be w(7). Is 3*h*1838/18 composite?
False
Let t(s) = 38*s + 9. Let f(r) = -39*r - 8. Let o(l) = -6*f(l) - 5*t(l). Is o(11) a composite number?
False
Suppose 580 = -2*b + 6*b. Is b a prime number?
False
Let q(i) = i**3 + 2*i**2 + 2. Let r(c) = -c - 12. Let h be r(-10). Let x be q(h). Is ((x - -2) + -3)*39 composite?
True
Let b(f) = 2*f**2 - 3*f - 4. Let z be b(3). Suppose 3*c - 79 = 5*l, 0*c + 2*c + z*l = 86. Is c a prime number?
False
Let t(g) = g**3 - 7*g**2 + 8*g - 10. Let k be t(6). Let l(h) = 574*h + 3. Is l(k) prime?
True
Suppose -5*x - 2*j + 692 = -61, 0 = -x + j + 145. Is x prime?
True
Let y(d) = d**3 + d + 2. Let t be y(0). Let s(i) = -3*i - 5*i - 7 - t*i. Is s(-6) a composite number?
False
Suppose 3*b + 12 = 0, 4*q + 20 = 3*b - b. Let t = 9 + q. Is -326*(3 - 7/t) prime?
True
Let p be (-70)/(3/60*4). Let l = -239 - p. Is l a prime number?
False
Let y(x) = -2*x + 25*x**3 - 1 + 5*x**2 + 3*x - 4*x**2 + 0*x. Let n be y(1). Suppose 4*k - 4*s = 44, 3*k - n = -5*s + s. Is k a composite number?
True
Is 2 - -1 - (-392 + -2) a prime number?
True
Suppose 2*s + 4*g - 6 = -2, -3 = 3*s - 3*g. Let u = s - -12. Let p = u - -3. Is p a composite number?
True
Let s(b) be the second derivative of b**5/20 - b**4/4 + b**3/6 + 3*b**2/2 + 5*b. Is s(3) a composite number?
True
Is 2*2/((-8)/(-254)) prime?
True
Suppose 134 - 1607 = -3*u - 2*s, -2*u = 3*s - 982. Is u a composite number?
False
Let f(l) be the third derivative of 23*l**5/60 - l**4/12 - l**3/3 - l**2. Is f(-3) a prime number?
True
Let q(v) be the second derivative of 5*v**4/2 + v**2/2 + 4*v. Is q(-2) composite?
True
Suppose 3*x = -5*q + 827, -2*x + 823 = q + 4*q. Is q composite?
False
Let y be 3 - (-1 + 12 - 1). Let f(b) = -2*b - 4. Is f(y) a composite number?
True
Let t = 5 + -1. Suppose 5*n - 137 = -2*v, 3*n = -3*v + t*n + 214. Let r = 78 + v. Is r composite?
False
Let y be 0 + (-1 - (0 - -1)). Let k = y - -4. Is (-10)/(-1)*2/k a prime number?
False
Let a(m) = m**2 + 4*m + 4. Let r be a(-4). Suppose 2*n - 16 = -r*h, n = -4*h + 12 + 2. Suppose -5*s = -h*s - 194. Is s a composite number?
False
Suppose r - 2*n = 7, -4*n + 1 = 5. Suppose 2*u = 5*q - 159, 0*u + 149 = r*q + 3*u. Let c = 52 - q. Is c composite?
True
Let 