t y = -564 - -1265. Is y composite?
False
Let r(v) = 6*v**3 + 2*v**2 + 7*v - 17. Is r(5) a prime number?
False
Let x be ((-18)/(-24))/((-1)/(-12)). Let d(c) = -c**3 + 10*c**2 + 13*c + 1. Is d(x) composite?
False
Let h(w) = w**2 + 9*w - 17. Let p = 13 + -9. Suppose -s - p - 8 = 0. Is h(s) composite?
False
Let t = 2593 + -936. Is t composite?
False
Let a(w) = -w - 1. Let n(u) = -u**2 - 5*u + 13. Let b(q) = 3*a(q) - n(q). Is b(11) a prime number?
True
Suppose n - 5*n = -5*v - 550, v + 3*n + 91 = 0. Let l = -64 - v. Suppose -r - r = -l. Is r a prime number?
False
Suppose u = 5*s + 50, 0 = -5*u + 4*s + 23 + 206. Let b = 194 - u. Is b a composite number?
False
Let c(f) = -f**3 - 9. Let w be c(-7). Suppose w = 4*t + 26. Is t a composite number?
True
Let n be 1/(2/8*2). Let z(f) = -8*f**2 + 1 + 24*f**n + 36*f**2. Is z(-1) a prime number?
True
Let p(h) = -h**2 - 5*h - 4. Let y be p(-3). Suppose 4*j = y*j + 222. Is j a prime number?
False
Suppose -3 - 1 = -2*s. Suppose 0 = -3*g + s*g + 145. Is g composite?
True
Let i(f) = f**2 + 3*f + 1. Let o(h) = h**3 + 4*h**2 + 3*h + 1. Suppose 2 = g - 2*g. Let l be o(g). Is i(l) composite?
False
Suppose -v + 5*q + 22 = 2, 0 = -5*v - q - 4. Suppose -2*a - 148 + 1322 = v. Is a prime?
True
Let a = 33 + -19. Let p be (-4)/a - 2472/21. Let b = 309 + p. Is b composite?
False
Suppose -3*m - u = -2 - 5, -4 = -4*u. Suppose -c + 23 = -m*c. Let w = 2 - c. Is w composite?
True
Suppose 0*h + 4*h = -4*l + 16, -5*h + 28 = -3*l. Let f = -2 - l. Is 0 - (f*35 - 2) a composite number?
False
Suppose -y = -4 - 2. Let m(q) = -q**3 + 6*q**2 + 5*q - 9. Is m(y) a prime number?
False
Let c(v) = -1 - 5*v - v + 2*v - v**2. Let w be c(-3). Suppose 0*j + w*j - 20 = 0. Is j composite?
True
Let h(t) = 7*t + 2. Let q be h(5). Let n = q - 18. Is n prime?
True
Let m be (-3)/9 - (-116)/6. Let x = -12 + m. Suppose w = x - 0. Is w a prime number?
True
Let f(u) = 144*u + 3. Let b be f(-2). Let z = -95 - b. Suppose -s = -5*m + z, -3*m + 2*m + 2*s + 47 = 0. Is m a prime number?
True
Let i(h) = -3*h**3 - 6*h**2 + 5*h - 6. Let y be i(-5). Let g = -23 - y. Is (g/14)/(1/(-2)) prime?
True
Let i(m) be the first derivative of 39*m**4/4 + m**3/3 - m - 5. Is i(1) prime?
False
Let w = -284 - -535. Is w composite?
False
Suppose 6 + 2 = 4*c. Let w(k) be the third derivative of 11*k**4/24 + k**3/6 - 6*k**2. Is w(c) a composite number?
False
Is 4621/2*(-4 - -6) a prime number?
True
Let f(n) be the third derivative of -5*n**4/12 + n**3/6 - n**2. Let g(p) = 3*p + 6. Let u be g(-5). Is f(u) a composite number?
True
Let u(x) = x**2 + 4*x - 7. Let g be u(-6). Suppose -4*c = -g*f + 139, 0*f + c = 5*f - 151. Is f composite?
False
Let g = 13 - -44. Is g composite?
True
Suppose -5*p = 5*m - 645, -m + 458 = 3*p + 75. Is p prime?
True
Suppose 0 = -k + 3*k + 6. Let g(s) be the first derivative of -s**4/2 + s**3/3 + 2*s**2 - 1. Is g(k) a prime number?
False
Let o(x) = -4*x + x**3 - 3 + 6*x**2 - x**2 - x**2. Let p be 2/(-9) + 68/(-18). Is o(p) a composite number?
False
Suppose -3*i = 4*s + 11, s + 2*i - i + 3 = 0. Let v be ((-2)/4)/(s/8). Suppose 72 = 4*q - 2*k - 2*k, 0 = -q - 3*k + v. Is q a composite number?
True
Let x = 27 + -23. Suppose -x*d - 663 = -m, -3*d - 63 - 1971 = -3*m. Is m a prime number?
True
Let q(d) = -13*d - 16. Let i(u) = -u - 4. Let g be i(7). Is q(g) prime?
True
Suppose -5*t - 8 = -2*r, -r + 0*t + 7 = -4*t. Let k be (-1)/(r - (-6)/9). Is (-2)/k*3 - -67 a composite number?
True
Let w = 221 + -12. Is w a prime number?
False
Let w = -54 - -28. Let i = w + 79. Is i a prime number?
True
Let t be 13/2*4/(-1). Let p = t - -190. Suppose -p - 145 = -3*x. Is x composite?
False
Let l be (-6)/2 + (7 - 44). Let t = -21 - l. Is t composite?
False
Let j(w) = -w**2 - 7. Let t be j(0). Let d(m) = -10*m + 2. Let o be d(t). Suppose -2*a + 34 = -o. Is a composite?
False
Suppose 0 = 3*t + 1 - 16. Suppose 3*x + p + 40 - 11 = 0, t*x - p = -51. Let c = x - -41. Is c prime?
True
Let z(v) be the second derivative of v**5/20 + 7*v**4/12 - 5*v**3/6 + 4*v**2 + 5*v. Is z(-7) prime?
True
Suppose -v = -2*g - 0*g - 6, 5*v + 3*g = 82. Suppose 2*y + 2 = v. Is y a prime number?
False
Suppose 60 = -3*z - 2*z. Let l be ((-3)/2)/(z/1216). Suppose -3*k + l + 193 = 0. Is k prime?
False
Let y be -8*1*(-203)/14. Suppose 77 + 39 = 2*j - 4*t, -5*t = 2*j - y. Is j a prime number?
False
Let f(i) = -96*i**3 + 11*i**2 - 9*i. Let p(m) = 48*m**3 - 5*m**2 + 4*m. Let g(w) = -4*f(w) - 9*p(w). Is g(-1) prime?
False
Suppose 12 + 53 = v. Is v a prime number?
False
Let s(g) = -g**2 - 14*g + 16. Let x be s(-12). Suppose x = 2*t - 4. Is t a prime number?
False
Suppose -5*b + 341 = 4*f, -5*b = -4*f - 142 - 167. Is b prime?
False
Suppose 0 = 4*d + 5*x + 16, x + 1 = -2*d - 1. Let a be 1/(d + 3/(-4)). Suppose -2*y - 6 = -0, a*y = -3*l + 66. Is l a prime number?
False
Let a = -3 + 54. Is a a composite number?
True
Let t(f) = 126*f**3 + f**2 - f + 1. Let j(m) = m - 8. Let s be j(9). Is t(s) composite?
False
Let x = 94 + -41. Is x composite?
False
Let w(a) = a. Let l be (2 - 6)*(-1)/4. Let u be (-5 + l)*14/(-8). Is w(u) prime?
True
Let j = 282 - 105. Is j a composite number?
True
Suppose -96 = -5*b + 959. Is (-1 - -1) + 1*b composite?
False
Suppose -5*h = 4*m + 529, 4*h + 189 + 335 = -4*m. Let o = -55 - m. Is o a prime number?
True
Let b(r) = 2*r**2 + 4*r - 11. Let h = -36 - -30. Is b(h) a prime number?
True
Let w = 11 - 6. Suppose 2*p = -2, p + 4 + 12 = w*j. Let l = 40 - j. Is l a prime number?
True
Suppose -5*l + 3 = 2*x, -4*x + 2*l - 3 = 3*l. Is 1/((x/89)/(-1)) composite?
False
Suppose 4*n = 4*u + 1152, -4*u - u = 2*n - 611. Is n a prime number?
True
Is (-4 + 4 - -289) + -2 prime?
False
Is (-635)/10*(-12)/6 composite?
False
Let s = 8 + -1. Is s prime?
True
Let t be (-2 + 4/3)*-3. Suppose z - 13 = -t. Is z prime?
True
Let t(f) = 2*f + 1. Let a be t(3). Suppose -a = 3*h - h + g, -2*g = 3*h + 8. Is 3/(h/4) + 55 composite?
False
Suppose -4*m + 4*y + 26109 = -15531, m = 4*y + 10395. Is m a prime number?
False
Suppose -4*h + 0*g - 1 = -3*g, h - 2*g + 4 = 0. Suppose -k - h*j + 24 = -6*j, 4*k + 3*j - 1 = 0. Suppose -4*p + k = -456. Is p a prime number?
False
Let d = 5 + -2. Suppose 4*r - d*w + 1 = 3, -w = -2. Suppose -247 = -3*l - 2*c, r*l - 204 + 18 = 4*c. Is l a prime number?
False
Suppose 4*s - 5*h + 278 = 0, -5*s - h - 99 = 263. Let x = s - -159. Suppose 5*f = -l + 424, 3*f - x = 4*l + 172. Is f a prime number?
False
Let o = 17 - 12. Suppose 2774 = o*z + 264. Let y = z - 345. Is y a prime number?
True
Let s = 178 + -17. Is s a prime number?
False
Suppose 6 = z - 25. Let k = 96 - z. Is k a composite number?
True
Let y = 83 + 30. Is y a prime number?
True
Suppose 0 = -0*q + 4*q. Let a be (q - 2)*(-26)/(-4). Is (a - 1)/(6/(-21)) a composite number?
True
Suppose -5*y = 2 - 22. Suppose 0 = -y*d - 23 + 107. Is d a prime number?
False
Suppose 5*d - 7 = 2*k - 17, 3*d = 0. Let i be ((-9)/15)/(1/k). Is (254/i)/((-2)/3) prime?
True
Suppose -89*y + 12515 = -84*y. Is y a prime number?
True
Is (6/15)/(2/790) composite?
True
Let l = 319 - -12. Is l a composite number?
False
Suppose 0 = v - 2*v + 2. Suppose -v*u = 4*c - 40, 0 = 2*c + 8*u - 3*u - 28. Suppose -w + 2 = -c. Is w prime?
True
Suppose 3*x + 2 = -4. Let h be 2/(-1)*7/x. Let z(m) = -m**3 + 8*m**2 - 5*m - 3. Is z(h) composite?
False
Suppose 2*g = -0 + 10. Let j = g - 1. Is j prime?
False
Let i(w) = -w**3 - 1. Let n(r) = -2*r**3 - r**2 - 5*r - 4. Let m(t) = -3*i(t) + n(t). Let c be m(5). Let a = c - 37. Is a a composite number?
False
Let l be ((-4)/(-12))/(1/9). Suppose -3*r + 2*h - 2 = r, -1 = 5*r - l*h. Let j(n) = 7*n**2 - 2*n + 1. Is j(r) prime?
False
Suppose -28 = -2*b + 28. Suppose -5*f + f = 4*p - 24, p - b = -3*f. Let k = f + 3. Is k composite?
True
Let y be 18/(-10)*20/(-6). Let m = y - 10. Is 4*(-3 - 175/m) a composite number?
False
Let f(t) = -9*t + 5. Let o be f(8). Let h be 2*1 + (-236)/(-2). Let u = h + o. Is u a composite number?
False
Suppose 0 = 3*u - o - 199, 5*u + 2*o = -0*o + 339. Is u a composite number?
False
Let b = 23 - 0. Is b a composite number?
False
Let x = 1 + 0. Suppose 19 + x = 4*v. Is (-2)/v*-5*5 prime?
False
Suppose 4*h = -h. Suppose h = -4*g + g. Suppose c + 2*d - 161 = g, -2*c = -6*c + 5*d + 618. Is c a composite number?
False
Suppose -382 + 87 = -5*u