 + 8. Let j be m(-7). Let y(z) = z**2 + 5. Let d be y(-4). Is (-6)/21 - j/d a prime number?
True
Is ((-1)/2)/((-1)/26) a composite number?
False
Let k(u) = -u**2 - 9*u + 7. Let f(r) = 2*r**3 + 2. Let z be f(2). Suppose z = -0*g - 3*g. Is k(g) composite?
True
Let x = 41 - -54. Is x composite?
True
Suppose 23*q + 7914 = 29*q. Is q a composite number?
False
Suppose 1117 = 5*m + 212. Is m a prime number?
True
Let o(x) be the third derivative of x**6/120 + x**5/12 - x**4/4 + 5*x**3/6 + x**2. Let y be o(-6). Suppose -y*m + 539 = 94. Is m composite?
False
Let i(d) be the third derivative of d**6/40 - d**5/30 + d**4/12 - d**3/6 - d**2. Let p be i(1). Is 35*1 - (0 + p) composite?
True
Let t(j) = 4*j + 3. Let x be 8/(-3)*15/(-10). Let u(z) = 4*z + 3. Let k(s) = x*u(s) - 3*t(s). Is k(3) a composite number?
True
Let l be (-4390)/(-25) + 4/10. Suppose -4*s = 4, 2*m - l - 11 = 5*s. Is m a prime number?
False
Let b(i) = -18*i**2 + i. Let a be b(-3). Is a/(-25) - 4/(-10) composite?
False
Is 790/3*((-36)/(-8))/3 composite?
True
Let k(x) = -x**3 - 8*x**2 + 8*x - 6. Let f be k(-9). Suppose -14 = -f*z + 5*n + 6, -4*z + 45 = -3*n. Is z a composite number?
True
Suppose -4*h + 2 = -26. Let o(g) = -4*g + 20*g - 11*g. Is o(h) composite?
True
Suppose 0 = 6*u - 11*u. Let h(p) = p**3 - p. Let x be h(u). Suppose 0 = -x*a + a - 69. Is a a composite number?
True
Suppose -3*x - 312 = -3*h, -h - 4*x = -x - 112. Is h composite?
True
Let r(h) = 7*h**3 + 4*h**2 - 2*h - 1. Suppose -3*f + n + 5 = 0, -f - 4*n = 4*f - 14. Is r(f) a composite number?
False
Let g(c) = -c**2 + 2*c + 3. Let x(j) = -2*j**2 + j + 4. Suppose 0*t + 2*t - 6 = 0. Let n(u) = t*g(u) - 2*x(u). Is n(-7) a composite number?
True
Let s be 2/(-4) - 3/(-6). Suppose 3*m + 5*g - 235 - 594 = s, 3*g = 15. Suppose 0 = -0*l + 4*l - m. Is l a composite number?
False
Suppose 3*n - 5*f = 2*n - 39, 4*n = -5*f - 256. Let g = -22 - n. Is g composite?
False
Suppose 0 = 2*k - 5*o - 1934, -5*o + 997 = -7*k + 8*k. Is k a prime number?
True
Let g(y) = 14*y**2 + 2*y - 13. Is g(8) composite?
True
Let n = -117 - -223. Let a be (n/(-3))/((-1)/(-6)). Is a/(-6) + (-1)/3 a prime number?
False
Suppose c + 2 = 4. Let w(n) = 6 + 4*n**2 - n**2 - 2*n**c + n. Is w(-5) a composite number?
True
Let l = 236 + -139. Is ((0 - -1) + 0)*l composite?
False
Let z be (10/4)/(2/4). Suppose -z*l - 1 = -66. Let h = l + 8. Is h prime?
False
Let v be -6*(0 + 2/(-4)). Suppose v*x - 11 = 100. Is x composite?
False
Let l be 1*13 + -7 + 6. Let i be 3*l/(-15)*-15. Is ((-15)/(-12))/(3/i) composite?
True
Let a(l) be the first derivative of -l**2/2 - 9*l + 2. Let o be a(-8). Let c(s) = 57*s**2 + 1. Is c(o) prime?
False
Let h(q) = 2*q + 0*q + q**2 - 3*q + 2 + 0. Is h(5) a prime number?
False
Let w(z) = 10*z**2 + 12*z + 19. Is w(-6) a composite number?
False
Suppose -3*y = -3*l - 6975, 2*l - 2874 = 4*y - 12166. Is y composite?
True
Let y(f) = -6*f**3 - 8*f - 14. Let i be y(-6). Suppose -10 = 2*c, -5*o + 2*c + i = c. Is o a composite number?
True
Let z(g) = 25*g**2 + 3*g - 2. Let m be z(2). Suppose -4*q - 3*t - 32 = m, 5*q + 2*t + 177 = 0. Is q/(1 - (-3 + 5)) a composite number?
False
Suppose -167 - 87 = -2*g. Is g a prime number?
True
Let x(h) = 8*h**3 + 2*h - 13. Let y(i) = 4*i**3 + i - 7. Let n be 3 + -5 - (0 - -1). Let c(l) = n*x(l) + 5*y(l). Is c(-3) a composite number?
True
Let i be (2/(-4))/(5/(-630)). Suppose x + 2*x = i. Is x prime?
False
Let k = 8 + -5. Let g(i) = 7*i + 20. Let c(s) = -4*s - 10. Let l(o) = k*g(o) + 7*c(o). Is l(-8) a prime number?
False
Suppose -6*c + 4*l + 4104 = -2*c, -4*c + 4139 = 3*l. Is c a prime number?
True
Let d(h) = h**3 - 17*h**2 + 16*h + 19. Is d(18) prime?
True
Let n = 4 - 10. Let i be 22/n - (-2)/(-6). Is (-1 + (-6)/i)*22 composite?
False
Suppose 2*d - 113 = -q, -2*d = -5*q + 3*q + 256. Is q a prime number?
False
Let k(p) = 456*p + 5. Is k(2) a composite number?
True
Suppose 4*k = 7*k. Suppose 4*w - 184 = -w - f, k = -4*w - 2*f + 146. Is w a composite number?
False
Suppose -52 = -5*n - d, -2*n - 3*d + 13 = -0*n. Is n a composite number?
False
Let p = 15 - 10. Suppose 4*f - 20 = -p*y + 276, -5*f - y + 370 = 0. Is f a prime number?
False
Let n(i) = 4*i**2 - 4*i + 3. Is n(2) prime?
True
Suppose -4*s - 257 = -1437. Is s a composite number?
True
Let d = 425 - 106. Is d prime?
False
Let h = -2 - 16. Let r be 4/h + 83/9. Is 28*(r/(-6) + 2) composite?
True
Suppose -4*t - 489 = -o - 5*t, -1447 = -3*o + 2*t. Is o prime?
False
Let r be 2/8 + (-220)/(-16). Let h be 1/(((-2)/7)/2). Let y = r + h. Is y a composite number?
False
Let g(c) = -2*c - 3. Let m be g(-3). Suppose 6*d - 2*d = -2*v + 58, 4*v = m*d - 38. Is d a composite number?
True
Let f(y) = y**2 + 8*y + 6. Let h be f(-7). Let w(j) be the first derivative of 76*j**3/3 - j**2/2 - 1. Is w(h) a composite number?
True
Suppose v = -4*v - 25. Let p = 25 - v. Let k = 215 - p. Is k a composite number?
True
Let t = 21 - 131. Let s = -416 + 605. Let y = s + t. Is y prime?
True
Suppose -2*a + 2*m - 3*m = -111, -4*m = -4. Is a prime?
False
Let b be (-98)/34 + (-4)/34. Is (-25)/b*9/3 a composite number?
True
Let q(d) = -d**3 + 5*d**2 - 2*d + 1. Let t be q(4). Let a = t + 49. Is a prime?
False
Let w(u) = -22*u + 9. Is w(-7) composite?
False
Suppose 5*h - x + 43 = 0, 2*h + 34 = -2*h + x. Is (582/h)/((-4)/18) prime?
False
Suppose -11 = 2*a - z - 4*z, 2*z = -5*a + 16. Suppose 957 = -a*x + 5*x. Is x composite?
True
Let j = 1518 + -721. Is j prime?
True
Suppose 0 = 2*k - 0*k - 6. Is k/(-2)*(-84)/9 a prime number?
False
Is 1354 - (4/(-18) + 174/54) a composite number?
True
Let o = 6 - 3. Is ((-62)/(-4))/(o/6) a prime number?
True
Suppose 0 = -0*p + 4*p - 2764. Is p a composite number?
False
Let t(f) = -f**3 + 3*f**2 - f - 2. Let v be t(2). Suppose v = y + y - 634. Is y prime?
True
Suppose 3*d + 3*p = 36, 4*d + 4*p - 8*p - 88 = 0. Suppose -d*w + 110 = -15*w. Is w a composite number?
True
Suppose -4*i - l + 405 = 0, 0 = 4*i - l - 135 - 276. Suppose 4*x + 2*t = i - 0, 0 = -5*x - 2*t + 129. Suppose x = 5*j + 3*c + c, -c + 3 = 0. Is j prime?
True
Suppose -12 = -h - 4*h + 3*m, 1 = -h + 4*m. Let p = 0 + h. Is p composite?
False
Let y be (-18)/(-2) - 2 - 1. Suppose -3*j + 3 = -y*j. Is (-174)/(-8) - j/4 composite?
True
Let l be (-8)/(2 - 3) - 4. Suppose -16 + 76 = l*w. Is w a composite number?
True
Suppose 30 = -5*f + 3*u, -5*f = -10*f + 5*u - 30. Let s(g) = -g**3 - 5*g**2 + 4*g. Let x be s(f). Suppose -266 = -2*k - x. Is k composite?
False
Suppose 3*t + 2313 = 3*w, 10*w - 5*w + t = 3837. Suppose 5*d - 2*g = 3711, 2*d - w = 3*g + 712. Suppose -4*x = -3*u - d, -1 = -u - 2. Is x a prime number?
False
Suppose 2*p - 4*p = -2018. Is p prime?
True
Suppose 5*y + 0*y - 4*z = 682, 0 = z + 3. Suppose -2*u = -4*u + y. Is u composite?
False
Suppose 5*k - 7*k = 38. Let s = 104 + k. Is s prime?
False
Let z(t) = 11*t**2 - 2*t**2 + 6 - 2. Let y = 4 - 1. Is z(y) a composite number?
True
Let o(y) = 2*y**2 + 4*y - 1. Let z be o(-5). Let b = z - 14. Is b a composite number?
True
Suppose -r - 198 = 2*r. Let h = -47 - r. Is h composite?
False
Let x(f) = -f**2 - f - 3. Let l be x(6). Let i be 0/(((-2)/(-4))/((-5)/20)). Is 1 + i - (l - 0) prime?
False
Is -2*1028/(-16)*2 a prime number?
True
Suppose -5*b + 80 = -5*n, 4*n = 3*b - 4*b + 41. Is b a composite number?
True
Is (-4 - -5)*(1603 - 0) a prime number?
False
Suppose u - 6 = -2*u. Suppose 0 = 3*t - u*t - 5, a = -4*t + 315. Is a a prime number?
False
Let f = -3 - -3. Suppose 2*n + 1 = -f*y + y, 0 = y + 3. Let p(a) = 6*a**2 + 2*a + 3. Is p(n) a prime number?
True
Let x(s) be the third derivative of s**5/60 + s**4/3 - 7*s**3/6 + s**2. Let h be x(-9). Suppose -3*n = 5*v - 280, 0 = -3*v - h*v - 2*n + 275. Is v prime?
True
Suppose 2*l + 5*h = 205, 215 = 4*l + 4*h - 225. Is l a prime number?
False
Suppose -2*h + 12 = 136. Let s = h + 43. Let x = 2 - s. Is x composite?
True
Suppose 3*o + 11 = w, 3*w - 2*o - 29 = -2*w. Suppose 3*u = -15, -d + 0*u + 18 = w*u. Is d prime?
True
Suppose 3 + 0 = 3*p. Suppose 0*j + 2*j - 2 = 0. Is -1 + 56*p/j a composite number?
True
Let d = -3 + -3. Let h = d - -10. Suppose -h*n + 163 = 31. Is n prime?
False
Let l(s) = 2*s. Let u be l(3). Suppose u*v - v = 4*r + 22, 3*v - 24 = -3*r. Is 16/v*(-204)/(-16) prime?
False
Let b = 6 + -2. Suppose 4*k - 32 = -4*m + 468,