n be d(-7). Is n*u/1 - 1 a prime number?
False
Let o(n) be the second derivative of -n**6/120 + n**5/10 - n**4/12 - n**3/6 - n**2 - n. Let i(t) be the first derivative of o(t). Is i(2) a prime number?
True
Let a(o) = 110*o**2 + o + 1. Is a(-2) a prime number?
True
Suppose 4*g - 3 = 5. Is (-8)/12*(-381)/g a composite number?
False
Let k be (-321)/(-15) - 2/5. Suppose -3 = -4*l + k. Suppose l*u - 201 = 3*u. Is u composite?
False
Suppose 0 = -w + 1 - 4. Is w/((-1 - 3)/20) prime?
False
Let z(n) = 14*n**2 - n - 1. Let d be (-14)/(-49) + 18/(-14). Is z(d) composite?
True
Let y(i) = -6*i**2 + 3*i + 1. Let m be y(-4). Let u = -24 - m. Is u a prime number?
True
Let g(y) = 17*y + 4. Let m be g(4). Let r = m - 51. Is r a composite number?
True
Let n be 9 - 8/4 - 3. Suppose 318 = n*t - 106. Is t a prime number?
False
Suppose v + 2*a = -v + 436, -2*a = -4*v + 902. Is v composite?
False
Let z(s) be the second derivative of -7*s**4/12 + s**3/6 + s**2 - 3*s. Let g be z(-2). Let w = 9 - g. Is w a prime number?
True
Let j be 4*(-1)/(-8)*362. Let t(y) = -86*y. Let w be t(-3). Let v = w - j. Is v a composite number?
True
Suppose 7*p - 4*p - 393 = 0. Suppose 0 = q - 0*q - p. Is q prime?
True
Suppose m - 6*m + g + 1706 = 0, -m + 339 = 2*g. Is m a prime number?
False
Let x(d) = -7*d**3 + 1. Let g be x(1). Is (-1)/(-2) - 867/g composite?
True
Suppose y - 54 = -4*f, 2*y + 4*f = -y + 146. Is y prime?
False
Suppose 0 = 2*p - 3 - 7. Suppose 0*z = -p*z + 10. Suppose -z*b + 356 = 2*b. Is b a composite number?
False
Is (21224/(-84))/(2/(-3)) composite?
False
Suppose -2*r + 15 = 3*r. Suppose 0*w + r*w = 171. Is w a prime number?
False
Let a(o) = -103*o + 1. Is a(-4) a composite number?
True
Let d(y) = -8*y - 21. Is d(-7) a composite number?
True
Let a be -1 - (-756 + 4)/4. Let k = 206 + a. Is k prime?
False
Suppose o = 3*g - 12, -3*o + 2*g - 8 = o. Suppose 105 = -o*b - 5*b. Let t = b + 30. Is t composite?
True
Let t(u) = 25*u**2 - 3*u - 5. Is t(-4) a composite number?
True
Let r = -459 + 1495. Suppose -3*t = t - r. Is t a prime number?
False
Suppose -12*g = 3941 - 14873. Is g a composite number?
False
Suppose -3*u + 4*u = g + 58, -2*u + 112 = 2*g. Is u a composite number?
True
Let x(d) = 4*d**2 - 10*d - 5. Let q be x(10). Suppose -2*m + 3*v + q = -0*v, 5*v = -4*m + 601. Is m prime?
True
Let a(z) = z**2 + 8*z + 3. Let d be a(-8). Let c(b) = 85*b**d + 0 - 3*b - b**2 + 4*b + 0. Is c(1) a composite number?
True
Let g(w) = 2*w**3 - 7*w**2 - 3*w - 23. Is g(7) a prime number?
False
Let u be 12/4*(1 - 0). Suppose -595 = u*l - 8*l. Is l composite?
True
Let n = 1337 - 2457. Let d = -349 - n. Suppose -5*q + 2*y + 68 + 1217 = 0, -d = -3*q - 2*y. Is q prime?
True
Suppose 5*h = 710 + 1635. Is h a composite number?
True
Let j(l) = -3*l**2 + 2*l**3 - 2 + 3*l**3 - 3*l - 6*l**3. Let s be j(-2). Suppose 22 = -s*m + 2*m. Is m a composite number?
False
Suppose 3*l = 2*q + 4, -3*l - 4*q + 2*q + 20 = 0. Let p(o) = -5*o + 5. Let y(w) = 6*w - 5. Let v(s) = -3*p(s) - 2*y(s). Is v(l) composite?
False
Let l(m) = -m**2 + 10*m - 12. Let u be l(8). Suppose -2*d = 3*d - 3*w - 908, 729 = u*d - 5*w. Is d prime?
True
Let j = -159 + 317. Is j prime?
False
Is 2346/(-4)*10/(-15) a composite number?
True
Suppose 17 + 20 = k. Is k prime?
True
Let i(q) = 0 - 5*q - 1 - 1 - 2. Is i(-6) a prime number?
False
Let j(d) = -5*d - 1. Let b be j(-2). Suppose -5*n - 4*r + 90 - b = 0, -2*n = 2*r - 34. Is n composite?
False
Suppose -2*t = -0*t - 26. Is t prime?
True
Suppose 10 = 5*j - 0*j. Suppose 0 = i + j*i - 171. Is i a prime number?
False
Let n = 39 - 2. Is n composite?
False
Let z(k) = 146*k - 1. Is z(1) composite?
True
Let t(l) = -195*l + 2. Let m be t(2). Let s = -275 - m. Is s prime?
True
Suppose 1 = a - 1. Let m be a/6 - (-5)/3. Is (332/(-12))/(m/(-6)) a prime number?
True
Suppose 3*z + 3 = 18. Let v = 3 + -5. Let p = z - v. Is p a composite number?
False
Let p(q) = q - 7. Let s be p(5). Let l be (3 + -3)*1*-1. Is l + (1*36 - s) prime?
False
Suppose -9 = 3*k, 1 = -4*b - 3*k - 8. Suppose b*f - 3*m + 7 = f, 0 = -5*f + 4*m - 22. Is ((-2 - 19) + -1)/f a composite number?
False
Suppose -2*q = -3*q. Is (q - 1)/(2/(-142)) a composite number?
False
Suppose l - 5*p + 13 = -0*p, -4*p + 4 = -4*l. Suppose 0 = -l*r + 154 + 88. Is r composite?
True
Suppose -12*l + 6444 = -0*l. Is l prime?
False
Let x(u) be the first derivative of 23*u**2/2 + u - 3. Is x(6) composite?
False
Suppose 0*n - 3*n = -27. Let c = -2 + n. Is c composite?
False
Let v(g) = g**3 + 10*g**2 - 16*g - 12. Is v(-11) a composite number?
False
Is (445/2)/((-2)/(-4)) a composite number?
True
Let g be 16/12*(-3)/(-2). Suppose 5*d - 2*a = 0, 3*d = g*a + 3 - 7. Suppose 0*s = d*s - 370. Is s prime?
False
Let f(v) = -5*v**3 - 3*v - 2. Let n be f(-2). Suppose 20 = -5*l - 3*k, 5*l = l + 2*k + 6. Let i = l + n. Is i prime?
True
Let a = 1894 - 1107. Is a prime?
True
Suppose 5*g + 0*g = 25. Let l(h) = h + h - 2 + 5*h. Is l(g) a composite number?
True
Suppose 323 = 2*j - 207. Let i = j + -117. Suppose -6*o + 2*o = -i. Is o a composite number?
False
Suppose 3*n - 5*n = -118. Is n composite?
False
Let h = 262 - -160. Is h a composite number?
True
Suppose 0 = 2*l + 3*q - 499, -l + 2*q + 781 = 2*l. Is l a composite number?
False
Let u = 901 - 200. Is u composite?
False
Let m(w) = -5*w + 2. Let f(v) = v**3 - 2*v**2 - 2*v - 3. Let a be f(3). Suppose a = -r - 4*l + 2 + 7, -3*r + 3*l = 33. Is m(r) composite?
False
Suppose -2*d + 2*s = -294, 743 = 4*d + d - s. Is d a composite number?
False
Suppose -q - 2*d + 1039 = -3*d, -q - d = -1045. Is q a composite number?
True
Let o(v) = v**3 - 4*v**2 + 2*v - 2. Let f = 5 + -1. Is o(f) a prime number?
False
Let b(o) = 24*o - 1. Is b(4) a prime number?
False
Suppose q - 267 = -32. Is q prime?
False
Let t(n) = -n**2 + n - 1. Let r(v) = 7*v**2 - v + 1. Let s(d) = r(d) + 4*t(d). Is s(4) a prime number?
False
Suppose 190 = 4*w - 2194. Is -1*w/(-4)*1 prime?
True
Is 4/6*(-3438)/(-12) a prime number?
True
Let z = -2 + 1. Let k = 5 + z. Suppose 4*g - k = 72. Is g composite?
False
Suppose -5*f + q = -2*q - 32, -4*f = 4*q. Let c = 58 - -4. Suppose f*d = 2*d + c. Is d prime?
True
Let s(q) = 84*q - 31. Is s(5) a prime number?
True
Let r(p) be the first derivative of -19*p**2/2 + 3*p - 2. Is r(-4) prime?
True
Suppose -2*x + 2626 = 5*v + x, v = 3*x + 536. Suppose 0 = -5*c + 3*b + 1283, -3*c = b - 254 - v. Is c a prime number?
False
Let a = -22 - -19. Is ((-3)/a + -2)*-271 prime?
True
Let q be -3 + 0 + 3 + 3. Suppose 0 = 2*j + j - q*u + 969, 12 = 4*u. Let x = j + 461. Is x a composite number?
True
Let a be 27/6*2/(-3). Is 1264/6 + (-1)/a prime?
True
Let z = 51 - -250. Is z a prime number?
False
Let k(c) be the first derivative of c**3/3 + 3*c**2/2 - 3*c + 3. Is k(-8) prime?
True
Let u = 1 - 0. Suppose -u - 7 = -2*l. Suppose w + r = 16, -l*w + 0*w + 74 = 2*r. Is w a composite number?
True
Let z = -1 + -12. Let o = z - 31. Let a = o - -63. Is a prime?
True
Let q be (-16)/(-2) - (1 + -1). Suppose s + q = 22. Let w = s - 4. Is w composite?
True
Suppose -1957 - 2434 = -a. Is a composite?
False
Let g(y) be the first derivative of 2*y**2 + 13*y - 26. Suppose 0 = 2*r - 0*d - 2*d - 28, 0 = r - 2*d - 19. Is g(r) composite?
True
Let f(o) = o**3 - 4*o**2 + 5*o + 3. Is f(4) composite?
False
Let l = -7 + 7. Suppose l = 3*f + 15, -5*j + 2*j + 5*f = -1714. Is j composite?
False
Is 55 - (-1 + 2)*-2 prime?
False
Suppose 3*l - 16 = -g + 8*l, -17 = -2*g - 5*l. Suppose n = 6 - g. Let b(s) = -18*s - 1. Is b(n) a prime number?
True
Let i(h) = -2*h**3 + 4*h**2 + 4*h + 1. Is i(-5) composite?
False
Let v = -23 + 82. Suppose -336 = -3*x - x. Let y = x - v. Is y a prime number?
False
Suppose -5*z - 5*i - 236 = -z, 2*i = 4*z + 208. Let k(u) = -5*u**3 + 3*u**2 - u + 1. Let l be k(2). Let c = l - z. Is c a composite number?
True
Let q = 719 - -792. Is q a composite number?
False
Suppose -v - 15 = -4*v. Suppose -v*n = -37 - 13. Is n/(-5)*119/(-2) a composite number?
True
Suppose -x - 12 = 2*t + 9, 3*t = -x - 34. Let w = 19 + t. Suppose z = -w + 25. Is z a prime number?
True
Suppose 21 = 2*q - 3*j, q - 5*q - 2*j + 2 = 0. Suppose -g + 7 = -3*m, q*m + 3 = -0. Is 972/28 - g/(-14) a prime number?
False
Suppose 7*c - 4403 - 938 = 0. Is c composite?
True
Let b = 0 - -2. Let u = b - -30. Let x = u