9*f - 5. Let q(o) = -o. Let j(g) = -k(g) + 6*q(g). Is j(s) a prime number?
True
Suppose 4*q + 3 = q. Let d be (q + -2)*-1 - 5. Is (-2)/(-4)*d*-19 prime?
True
Suppose -5*j - 4*d + 2*d + 1 = 0, -5 = j + 3*d. Let u be 0 + 1 + 0 + j. Suppose 3*v - 170 = -u*v. Is v a prime number?
False
Suppose 5*z = -195 - 1845. Suppose -2*u = 0, 0 = -p - p + 2*u - 526. Let n = p - z. Is n composite?
True
Suppose 5*o + 5*d - 1045 = -5640, -3*o + 5*d - 2733 = 0. Let u = -507 - o. Is u a composite number?
False
Suppose 2*f + 5 = n, -6*n = -5*f - 2*n - 20. Let y(w) = w + 127. Is y(f) a prime number?
True
Let g(n) = -n. Let s(v) = -v. Let r(y) = g(y) - 6*s(y). Is r(2) composite?
True
Let q(y) = 10*y**2 - 9*y + 6. Let m(t) = t + 2. Let p be m(3). Is q(p) composite?
False
Let a be 0 + (3 - (-3)/(-1)). Is -1 - 34*-2 - a composite?
False
Is (-32)/(-48) - 6530/(-6) - 2 a prime number?
True
Suppose 0*n = 4*i - 2*n - 170, -5*i - 2*n = -217. Is i a prime number?
True
Let s be 1 + 2/2*1. Suppose -18 + 76 = s*j. Let o = 8 + j. Is o a prime number?
True
Let a(m) = 61*m + 14. Is a(9) a prime number?
True
Suppose -d + 4*d + 9 = -o, -d - 19 = -5*o. Is (138/3)/(d/(-6)) composite?
True
Suppose -16 + 2 = -2*b. Suppose 0 = 4*l - 3*i - 296, -b*i + 2*i + 20 = 0. Is l a prime number?
False
Is 6/(-15) + ((-17883)/(-15))/3 prime?
True
Let d be 6/10 + 14/10. Is (-576)/(-42) + d/7 composite?
True
Let b(y) = -2*y**3 - 7*y**2 - 6*y - 5. Is b(-6) composite?
False
Let l be 3/12 - 14/(-8). Suppose -y - l*y = -42. Is y prime?
False
Let d be (1 + -1)/(0 - 1). Suppose -5*f = 4*o + 35, 0*f + f + 4*o - 9 = d. Let g = 30 + f. Is g a prime number?
True
Let l(v) = v**2 - 12*v + 10. Is l(12) composite?
True
Let y = -18 - -11. Let m be y + 1 - (-6 + 7). Let b = m - -50. Is b a composite number?
False
Let r = 24 + -109. Let y = r - -182. Suppose -5*n - 14 = -2*q + y, 0 = -3*q + 5*n + 164. Is q prime?
True
Let b be (237/12)/((-3)/12). Let x = 170 + b. Is x prime?
False
Let z(g) = 225*g**2 - g. Let c be z(-1). Let u = -13 - -148. Let y = c - u. Is y composite?
True
Suppose 1084 = d + 5*m, 6*d + 3*m - 1082 = 5*d. Is d a prime number?
False
Let m be 0*(-1 + -3 - -3). Suppose 3*t - o - 884 = m, -4*t + 0*t - 3*o + 1183 = 0. Is t a composite number?
True
Let t(p) = 31*p**2 - 4*p + 3. Let g be t(-4). Suppose -4*n - 141 = -3*c + 168, -5*n + g = 5*c. Is c composite?
False
Let c = 391 - 200. Is c a composite number?
False
Suppose 2*g + 296 = 6*g. Is g composite?
True
Let n = 89 - 30. Is n a composite number?
False
Let u(p) = 34*p - 2. Let k be u(7). Let n(f) = -6*f - 1. Let t be n(-1). Suppose -h = -t*h + k. Is h prime?
True
Let p(i) = -507*i**3 - i**2. Let o be p(1). Suppose -2*g + 5*g - 6 = 0. Is (2/(-4))/(g/o) prime?
True
Let a(v) = -8*v - 2. Let o be a(2). Let w be (2/(-6))/((-3)/o). Is (-5 - w - 115)/(-2) a prime number?
True
Suppose r + 5*k = 55, 2*r + k = r + 55. Let b be (-46)/(-14) - 4/14. Suppose b*i = 11 + r. Is i composite?
True
Suppose 0 = 3*i + 2*f - 5, -4*f + 11 = 2*i + 3*i. Let b = i + 90. Is b prime?
True
Let g = -47 + 20. Let m = g + 73. Is m a composite number?
True
Let j(m) = 5*m - 2*m - m - 6. Is j(6) prime?
False
Let d be 0/((2 + -1)*-1). Suppose -2*k + 15 + 23 = d. Is k a prime number?
True
Suppose 0*h = 2*h + 14. Let j(z) = -2*z - 5*z - 10 - 4*z. Is j(h) composite?
False
Let x = -2 + 3. Let q = 30 - 12. Is q + x - 0 - 0 composite?
False
Suppose 0 = 3*k - 533 - 235. Let d = k - 95. Is d prime?
False
Suppose 6*v = -6 + 66. Is v a composite number?
True
Let l(m) = -m**2 - 5*m - 3. Let x be l(-3). Let b(h) = -18*h**2 - 12*h + 15. Let c(j) = j**2 + j - 1. Let o(p) = -b(p) - 12*c(p). Is o(x) prime?
False
Let c(l) = l**2 - 7*l - 2. Let x(w) = -3 - 8*w + 0 + w. Let h(z) = 2*c(z) - 3*x(z). Is h(-6) prime?
False
Let w(a) = -a**2 + 0*a**3 - 1 - 3*a - a + a**3. Let q be w(3). Is (-10)/q + (-78)/(-2) a composite number?
False
Let b = 8 + -6. Suppose -20 = 4*u, -2*r = -0*r + b*u + 16. Is 1/r - (-43)/3 prime?
False
Let t = -170 - -585. Suppose -3*i - t = -2*y, 0*y = 2*y + 8. Is (i/(-6))/(1/2) a prime number?
True
Let c(l) = 6*l**2 + l. Let p be c(-5). Let k = -181 - -105. Let x = p + k. Is x composite?
True
Let h be ((-2)/4)/(-1)*-2. Is (h - -3)/((-18)/(-711)) a prime number?
True
Suppose 0*l = 3*l. Let r be 4 + (-1 - l) + 1. Suppose 3*q + r*s + 14 = 6*q, -4*q + 23 = -s. Is q prime?
False
Let k(u) = -u**3 + 12*u**2 + 28*u + 8. Is k(13) prime?
False
Let r(z) = 5*z**2 + 2*z + 1. Let a be r(-1). Suppose 4*c - 24 = 4*q, 3*c - 18 = a*q + 9. Let b = 140 + q. Is b a composite number?
False
Let j = -4 + 8. Suppose -2*y + 297 = 107. Suppose j*w = 3*a - y, -3*w = -1 - 2. Is a prime?
False
Let z(l) = 2*l**2 - 2*l + 3. Let t be z(2). Suppose s - 3*q = 91, -52 - t = -s - 5*q. Is s a prime number?
True
Is ((-21)/15)/(3/(-1065)) prime?
False
Let w(i) = -23*i - 3. Is w(-4) a prime number?
True
Suppose 0 = -4*g - 3*z + 35, 5*g = -2*z - 3*z + 50. Let i be (-4)/(-3)*(-183)/(-2). Suppose 4*f - 157 = -g*b, 2*f = -4*b - 3*f + i. Is b composite?
True
Is (2/(-3))/(32/(-30288)) a prime number?
True
Let m(r) = -14*r**3 + 1. Let u be m(-1). Let t be 8 - 6 - (0 + 0). Suppose -u = -t*g + g. Is g composite?
True
Let m(t) = t**3 - 3*t**2 - 2*t - 3. Suppose 0 = 3*p - 1 - 5. Suppose p*w - 11 + 1 = 0. Is m(w) a composite number?
False
Let w = -509 - -349. Let g = w + 497. Is g a composite number?
False
Suppose 3*c + k + 12 = -0, -3*k - 3 = -2*c. Let f = c - -6. Suppose v - 2*u + 194 = 3*v, 289 = f*v + 2*u. Is v prime?
False
Let d = -25 + 72. Suppose -3*v = -4*i + 2, -7 = -5*i + 3. Is d/v + (-2)/4 a prime number?
True
Suppose 0 = -5*z - 3*r, -4*z - 2*r = -7*r. Let n be z - (2/2 + 8). Let u(y) = -y + 1. Is u(n) composite?
True
Let r(o) = -o**3 + 3*o**2 + 10*o - 8. Let z be r(6). Is -4 + 0 + 3 - z a prime number?
False
Let o(l) = l**3 + 5. Let i be o(0). Suppose -4*y - i = y. Is ((-46)/8)/(y/4) a prime number?
True
Suppose 4*i + h - 1 = 0, 0 = -4*i - 2*h - 3 + 5. Let x = i - -11. Is x prime?
True
Let i(s) = 30*s + 3. Let a(q) = 89*q + 10. Let t(g) = -4*a(g) + 11*i(g). Is t(-6) a prime number?
True
Let p(d) = 3*d**2 + 106. Is p(0) a composite number?
True
Let j(u) = u**2 + 8*u + 13. Is j(-16) composite?
True
Suppose -18 = -5*i + 3*a + 22, 0 = i + 2*a + 5. Suppose 2*h = -i*r - 28, -3*h + 0*h = -3. Let t = -3 - r. Is t a prime number?
True
Let w(x) be the first derivative of x**4/6 - 5*x**3/6 - 2*x**2 + 2*x - 2. Let k(y) be the first derivative of w(y). Is k(6) a composite number?
True
Let f(m) = -m**2 - 8*m - 2. Let z be f(-8). Let k(b) = -8*b**3 - 3*b**2 - b + 1. Is k(z) composite?
True
Let x(j) be the third derivative of -5*j**4/6 + j**3/2 - j**2. Is x(-11) composite?
False
Suppose -4*t = 2*l - 16, -4*l + 0*t = t - 18. Suppose l*v + 328 - 974 = -2*i, 827 = 5*v - 4*i. Is v composite?
False
Let j(h) = h**3 - 6*h**2 + 3*h + 1. Let x be j(5). Is (-2)/x + (-799)/(-9) prime?
True
Let r = 146 - 87. Let j = r + -34. Is j a prime number?
False
Let b = 7 - 2. Suppose 0*s = b*s + 105. Is -1 + 8*s/(-3) composite?
True
Let z(m) = -m - 5. Suppose 3*y = 5*a - 49, -3*y + 3*a + a - 44 = 0. Let c be z(y). Suppose -39 = -2*k + i, 0 = c*k - 2*k + 4*i - 15. Is k composite?
False
Let a be (-46)/(-6) + 12/(-18). Let t(k) be the first derivative of 10*k**3/3 + 11*k**2/2 - 10*k + 2. Is t(a) prime?
True
Suppose 0 = -5*i - 5*r, i - 2*i = -4*r - 10. Suppose -5*c + 264 = i*o + 63, 0 = c - 3*o - 30. Let k = -8 + c. Is k composite?
False
Let y(x) be the third derivative of 107*x**4/24 + 5*x**3/6 - 5*x**2. Is y(3) composite?
True
Suppose 3*k - 4 = 2*l, -3 = -2*l - l. Suppose -36 = -k*a + 2*y, 4*a + 4*y - 23 - 57 = 0. Is a a prime number?
True
Suppose 0 = 24*a - 22*a - 1742. Is a prime?
False
Let q(u) = -u**2 + 3*u + 2. Let s be q(3). Suppose -s*x + 62 = -m - 36, 157 = 3*x + m. Is x composite?
True
Let r(n) = -n**3 + n - 1. Let l be r(-2). Suppose z = -2*u + 69, -3*u - l*z = -41 - 45. Is u a prime number?
True
Let n be (1242/(-3))/3 - -1. Let r = n + 72. Let d = r - -120. Is d composite?
True
Let r(n) = -8*n - 2. Let y be r(-8). Suppose 3*o - 5*o + y = 0. Is o a composite number?
False
Let z(n) be the third derivative of -n**6/120 + n**5/6 - n**4/24 + 7*n**3/6 - 4*n**2. Is z(9) prime?
True
Let i = -6 - -8. Suppose -3*x = -4*t - 363, 3*t - 2*t - 242 = -i*x. Is x a composite 