 g(a) = 1. Let l(n) = 74*n + 1. Let t(z) = 2*g(z) - l(z). Is t(-3) prime?
True
Let k(d) be the second derivative of d**6/180 + d**5/15 + d**4/6 - d**3/3 + 2*d. Let a(r) be the second derivative of k(r). Is a(-5) composite?
True
Is ((-8338)/(-22))/(-1 - -2) a prime number?
True
Let o(p) = 13*p**2 + 13*p - 7. Let x(m) = 6*m**2 + 6*m - 3. Let j(t) = -2*o(t) + 5*x(t). Is j(-6) composite?
True
Suppose 5*d = 2*w - 15, 3*w + 9 = -w - 3*d. Suppose u - 6*u = w. Suppose u = -c - 0 - 1, -r + c = -90. Is r a composite number?
False
Suppose -k - 4 = 0, -s - 4*k - 4 = -5*k. Let u(i) be the third derivative of -i**6/120 - 2*i**5/15 - i**4/12 + 3*i**3/2 - i**2. Is u(s) prime?
False
Let s(c) = -2*c**3 + 1 + 3*c**3 - 6*c + 2*c**3 + 3*c - 3*c**2. Is s(3) a prime number?
False
Let r(n) = -n**3 - n**2 - 5*n - 4. Let y be r(-3). Suppose 3*w = -8 + y. Is w a prime number?
True
Let d(o) = 135*o + 4. Let k be 5 - 2/(2 + -1). Is d(k) a composite number?
False
Is (16/4 + -1 - 2)*701 composite?
False
Let p be ((-1668)/(-16))/((-3)/(-8)). Let v = p - 117. Is v a composite number?
True
Let t(o) = 38*o**3 - o**2 + 2*o + 2. Let l(v) = -190*v**3 + 6*v**2 - 11*v - 11. Let w(s) = -2*l(s) - 11*t(s). Let z be w(1). Let d = 35 - z. Is d prime?
False
Suppose -5*z - p + 3360 = 4*p, -z + p + 670 = 0. Is z composite?
True
Let g(j) = 2*j**2 + 9*j - 41. Is g(-12) a prime number?
True
Is (-4452)/(-20) + 6/15 a prime number?
True
Let a be (3906/4 + -2)*2. Suppose -4*q - 625 = -a. Is q composite?
False
Let p be (2 + (-10)/6)*6. Let i(x) = 2*x**p + 4*x**3 + 4*x - 5*x + 14*x**3. Is i(1) a composite number?
False
Suppose -2 = 2*v, 4*v + v = z - 7. Let h(g) = 1 + 2 - 9 - g + 4*g**z. Is h(5) composite?
False
Suppose -4 = l + 10. Let n = l - -10. Is (-3837)/(-21) + n/(-14) prime?
False
Let u(m) = m**2 + 8*m + 6. Let q be u(-5). Let t = -4 - q. Is 26/(-5)*t*-1 a composite number?
True
Let b(d) be the second derivative of d**5/20 - 3*d**4/4 + 11*d**3/6 - d**2/2 + 3*d. Let h be b(8). Suppose -2*j + h + 30 = r, -2*r - 94 = -4*j. Is j composite?
True
Suppose 0*i = i. Let g = i - -1. Is (g + -4)*89/(-3) a prime number?
True
Let k = 1257 + -90. Is k a composite number?
True
Suppose -4*a + 2*h + 621 = -897, 2*h = -2. Is a a composite number?
False
Suppose -4*p + 2*p = l - 65, -4 = 4*l. Is p a composite number?
True
Suppose -3*c + 6 = -c. Let t be 5*c*4/30. Suppose 4*k = -v + 311, -3*k + 2*v + 379 = t*k. Is k composite?
True
Let a(y) = 16*y + 6. Let n be a(3). Let r = 425 - n. Is r prime?
False
Suppose -i = -5*i + 3*q + 277, q - 1 = 0. Suppose 0 = -5*j - c + 117, 5*c + 14 = -2*j + i. Is j prime?
True
Let t be ((-12)/(-10))/(6/15). Let u be t + -2 - 3 - -25. Suppose -u = -2*m + 51. Is m composite?
False
Suppose 2*q - 5*r = 18, 8 + 8 = -4*r. Let s = q - -20. Let z = 33 - s. Is z a composite number?
True
Let u(v) = -9*v - 1. Let j(l) = l + 4. Let p be j(5). Let n = 3 - p. Is u(n) composite?
False
Suppose t = -3*t - 16. Let k be (t/2)/(1 + 0). Is k + 0 - 9/(-1) a composite number?
False
Let h = 14 - 9. Suppose h*r + 0*p - 4 = 4*p, -r = -4*p - 4. Suppose r = -2*a + 19 + 55. Is a composite?
False
Suppose 0 = 2*y + y - 12. Suppose 3*a + y*w + 92 = -w, 0 = -4*a - 4*w - 128. Let c = 59 + a. Is c a composite number?
True
Suppose -x - 4*r = -95, r + 98 - 3 = x. Is x prime?
False
Let s(n) be the first derivative of 29*n**5/10 - n**3/3 + n**2/2 - 2*n + 2. Let g(z) be the first derivative of s(z). Is g(1) prime?
False
Let h be (-2)/(-6) - (-5914)/6. Is h/18 - 4/(-18) a composite number?
True
Let x(v) = v + 1. Let u(c) = -28*c + 7. Let b(s) = u(s) - 6*x(s). Is b(-3) a prime number?
True
Suppose -5*y + 166 = s, 5*s + 15 = y - 13. Let n = y + -10. Is n a prime number?
True
Let u(f) = -f**3 + 2*f**2 - f + 2. Let n be u(2). Suppose 25 = -j + 6*j + 5*w, n = -3*w - 6. Is j prime?
True
Suppose -h + 375 = 2*l, -4*h + 543 = 3*l - 32. Is l prime?
False
Is (498/(-12))/(2/(-4)) a composite number?
False
Suppose -9 = -6*c + 3*c. Suppose 5*w = c*w + 52. Is w composite?
True
Let p be (2 - 3)/((-2)/(-4)). Let z be 5694/6 - (-1 + p). Suppose 5*s - z = -t, -2*t - 2*t - 12 = 0. Is s a composite number?
False
Suppose -2000 = -4*i + 3*r, -4*i + r = i - 2489. Is i a composite number?
True
Is ((-762)/(-12))/(1/2) prime?
True
Let a = -408 + 889. Is a composite?
True
Let r = 14 + 12. Suppose -2*l + l = -2*b + 7, -3*l + 9 = 0. Let u = b + r. Is u a prime number?
True
Let v be (-13 + 1)*3/(-9). Let k = 7 - v. Let d(a) = 3*a**2 + 4*a - 2. Is d(k) composite?
False
Let w(u) = 41*u**3 + 3*u**2 - 7*u + 2. Is w(3) prime?
False
Let z = 297 + -95. Let w be z/((-6 - 0)/(-3)). Suppose 0 = -2*j - 5*p + 99, 5*j - 3*p - w - 69 = 0. Is j prime?
True
Let j(a) = -34*a + 1. Let t = -4 - 1. Let c(z) = 34*z - 1. Let k(y) = t*c(y) - 4*j(y). Is k(-1) a prime number?
False
Suppose 4*p - 8 = 0, 2*j + 39 = 3*j + p. Is j prime?
True
Let j(f) = -f - 1. Let h(y) = y**2 - 3*y - 3. Let u be h(4). Let b(a) = -11*a + 2. Let t(c) = u*b(c) + j(c). Is t(-2) composite?
True
Let d = 1939 - 300. Is d composite?
True
Suppose 5*h = -3*d + 4*d + 3, 5*d + 4*h - 101 = 0. Suppose -5 = -l - d. Is -4*(507/l - -2) composite?
True
Is 9/3 - (-8628)/3 a prime number?
True
Let i(a) = -2*a + 79. Let g(n) = n. Let v(d) = g(d) + i(d). Suppose 0 = 3*w - 0*w. Is v(w) a prime number?
True
Let l(i) = 0 + 0 + 1 + 2*i**2 + 9*i**3 + 3. Let u be l(3). Suppose -5*k - v = -u, 5*v = -2*k + 4*k - 106. Is k composite?
False
Let m = 21 - 13. Suppose -2*f = y - 11, 3*f + f - m = 0. Is y composite?
False
Let y = 260 + 159. Is y a prime number?
True
Let k(b) = -63*b**2 + b + 7. Let d(z) = 62*z**2 - z - 6. Let r(c) = 7*d(c) + 6*k(c). Is r(-1) a prime number?
False
Suppose -5*a + 4*z + 15565 = 0, 5*a + z = 11916 + 3624. Is a prime?
True
Let v(g) = 172*g**2 - 5*g - 2. Is v(3) a prime number?
True
Let i(g) = -g**2 - 15*g - 5*g**2 - g**3 + 7 - 7*g**2 + 3. Is i(-12) composite?
True
Let m = 814 - -2697. Is m a composite number?
False
Suppose 10*z - 12*z + 1302 = 0. Suppose r = 5*x - 245 - z, r - 536 = -3*x. Is x composite?
False
Let q(c) = 210*c + 52. Is q(17) a prime number?
False
Let d = 90 + 21. Let v = d - 52. Is v a prime number?
True
Let n = -5 + 9. Suppose -m - 2*j + 138 = 0, m + 454 = n*m - 4*j. Is m composite?
True
Let u(s) = -5*s**2 + s**2 - 2*s**3 + 5*s - 4*s + 1 + 3*s**3. Is u(6) a prime number?
True
Let u = -5 - -5. Suppose u = v + 92 - 249. Is v prime?
True
Suppose 4043 = 13*c - 0*c. Is c a composite number?
False
Let b(m) be the third derivative of -m**6/120 + 3*m**5/20 + m**4/24 - 5*m**3/6 + 2*m**2. Let n be 23/3 - (-1)/3. Is b(n) composite?
False
Suppose 4*j - 4 = 2*q, -j - 6 - 3 = -3*q. Suppose 2*h - 2 = q. Suppose 0 = -8*m + 3*m + 5*l + 110, -h*m + 74 = -l. Is m a composite number?
True
Let f be 2/(-7) - (-3700)/14. Suppose w + 3 = 0, 0 = 3*m + 2*w - w - f. Let c = m + 44. Is c composite?
True
Let y(p) = p + 1. Let n be y(5). Is n/4 + (-251)/(-2) prime?
True
Let y(b) = b**2 - b - 1. Let m(n) = n**3 - n**2 + n + 1. Let h be m(0). Let v(d) = -4*d**2 - 9*d + 5. Let s(p) = h*v(p) + 3*y(p). Is s(-5) a prime number?
True
Let i be (-3)/(2*(-3)/62). Is i + (-1 + 0 - -1) composite?
False
Let n(s) = -2*s**3 - 10*s**2 - 10*s + 1. Is n(-7) a prime number?
False
Suppose 2*u = 4 + 2. Suppose 29 = -w - 4*g, u*w = -w - 2*g - 116. Let j = -7 - w. Is j composite?
True
Let a be 7/(-14) + 22/4. Suppose a*u = 450 - 5. Is u composite?
False
Suppose 5*y + 0*y = 15. Suppose -5*i - 1209 = -y*j, -5*i - 1209 = -3*j - 2*i. Is j composite?
True
Let w(s) = -s**3 - 3*s**2 + 4*s + 4. Let x be w(-4). Suppose -3*t - 134 = x. Let d = t + 125. Is d composite?
False
Let f(l) = -45*l - 3. Suppose -4*k - 6 = 2. Is f(k) composite?
True
Let b be (1 + -1)/(6/3). Suppose b*v + 614 = 2*v. Is v prime?
True
Let j be 40/2 + -2 + 2. Suppose -d + 4*d + 4*a - j = 0, -10 = -d - 3*a. Suppose k = d*k - 69. Is k a prime number?
True
Let u = 1695 - 718. Is u prime?
True
Let t(n) = n - 8. Let w be t(6). Let k = 2 + w. Suppose k = -2*h + 3*h - 37. Is h prime?
True
Suppose 7*v - 10345 = 5202. Is v prime?
True
Let v = -3 - -3. Suppose x = -v*x. Let f(y) = -y**2 + 25. Is f(x) prime?
False
Let j(i) = -2*i + 6. Let v(x) = x**3 + 4*x**2 - 2*x - 4. Let w be v(-4). Let a be j(w). Is (1/(-3))/(a/222) prime?
True
Let y = 1 - 1. Suppose m - 18 = 3*h, m = -2*h - y*