 47 = -2*b, s = -0*b - 4*b + 5. Let a = s - -7. Let q(l) = l**3 + 5*l**2 - 4*l - 1. Is q(a) a prime number?
True
Let r(k) = -23*k - 1. Let u(w) = w. Let i(o) = -r(o) - 5*u(o). Is i(1) prime?
True
Suppose 0 = -n + 2*n - 5. Let o be (1/2)/(4/120). Let q = o - n. Is q prime?
False
Let t = 359 + -136. Let a = 434 - t. Is a a prime number?
True
Let q(x) = -x**3 - 7*x**2 - 8*x - 1. Let s(z) = z**3 + 10*z**2 + 11*z + 12. Let p be s(-9). Is q(p) prime?
True
Suppose 14 = u + u. Is u prime?
True
Let m be 5*(-5 + 3)/(-2). Let a = m + 1. Is a a prime number?
False
Suppose 8*g - 3*g - 895 = 0. Is g a prime number?
True
Suppose -5*a = 3*d - 4892, -4*a - 6*d + 3915 = -5*d. Is a prime?
False
Suppose 146 = 3*w - 145. Is 4/((-8)/w)*-2 a composite number?
False
Let i(w) = w**3 + 15*w - 15. Is i(11) composite?
False
Suppose -400 = g - 3*g. Suppose -5*a + 0*i = 5*i - 555, 3*a - 5*i - 349 = 0. Let b = g - a. Is b a prime number?
False
Let s(w) = -4*w - 9. Is s(-10) prime?
True
Let q be (1*-19)/((-9)/90). Suppose -s - q = -3*s. Is s a composite number?
True
Suppose 2*p = p - 2*k + 4201, 2*p - 8402 = 2*k. Is p a prime number?
True
Let u(d) = 44*d - 11. Is u(6) prime?
False
Let j be (2/(-1) - -3)*0. Suppose 0 = -l - 5*q + 49, 29 = l - j*l - 5*q. Is l a prime number?
False
Let j = 26 + -16. Suppose j*g - 5*g - 415 = 0. Is g a prime number?
True
Is (2/4)/((-6)/(-1044)) a prime number?
False
Let v(r) = -r + 8. Let c be v(7). Let a(m) = 11*m. Is a(c) prime?
True
Let a(s) = 180*s**2 - 46*s - 7. Is a(6) composite?
False
Let x(u) = u**2 + 2*u. Let m be x(-3). Suppose -6*o - 834 = -m*o. Let t = o - -541. Is t composite?
False
Let u(m) = -2*m**3 + 7*m**2 + 9. Let w(t) = 6*t**3 - 22*t**2 + t - 28. Let s(p) = -7*u(p) - 2*w(p). Is s(6) a prime number?
True
Suppose 11*q - 1 = 10*q. Is ((-1)/(-1))/(q/263) a composite number?
False
Let h(o) = 31*o - 13. Is h(4) a composite number?
True
Suppose 2*y = b - 2 - 0, -3*b = -2*y - 10. Let f be 1 - ((-3)/1 + y). Suppose -5*n + 0*n - 2*d + 28 = 0, -3 = f*d. Is n a prime number?
False
Let j(w) = 3*w - 19. Is j(18) prime?
False
Suppose -2*r + 6*y + 485 = 3*y, -5*r = -5*y - 1200. Is r a composite number?
True
Let y = 10 - 2. Let f(q) = -q**3 + 8*q**2 + q + 7. Is f(y) composite?
True
Let g(p) = p**3 - 6*p**2 + 5*p + 2. Let o(y) = y**3 - 7*y**2 + 2*y - 9. Let j be o(7). Let x be g(j). Suppose -4 = -x*k + 4. Is k composite?
True
Suppose 5*g = -173 - 307. Let t = 153 + g. Is t a prime number?
False
Let o be 6/4 + (-3)/(-6). Is (-2)/(-4) + 43/o prime?
False
Is -1*((-216)/1 + 3) composite?
True
Let w(s) = -s**2 + 3*s + 3. Let j be w(3). Let l(x) = -x**3 + 0 - 10*x**2 + j*x + 1 - 16*x. Is l(-9) composite?
False
Suppose -15*i + 513 = -6*i. Is i a prime number?
False
Let d = 702 + -289. Is d composite?
True
Let r(d) = d + 17. Let m be r(0). Let q = m + 8. Is q composite?
True
Let p(i) = -i**3 + i**2 + i - 1. Let w be p(1). Suppose w*u = 2*u - a - 7, 4*u + 4 = -4*a. Suppose -12 = -0*h - u*h. Is h a composite number?
True
Let k be 10 + (-3 - -6) + -3. Suppose -k = -2*i - 0*i. Suppose i*m = 142 - 17. Is m a composite number?
True
Suppose 4*c - 3543 = 2*h + 3*h, -3*h = -4*c + 3545. Is c composite?
False
Let m(n) = n**2 + 6*n + 2. Let f be m(-6). Suppose 63 = f*q - 5*q. Is (-6)/q - 901/(-7) a prime number?
False
Let o(z) = -z**2 + 9*z - 6. Let v be o(8). Suppose 155 = v*q - 3. Is q composite?
False
Let l(c) = -26*c + 1. Let j(n) = n**3 - 7*n**2 + 8*n - 5. Let i be j(6). Let v = i + -9. Is l(v) prime?
True
Let m be (-14)/(-6) - (-4)/6. Suppose -5*w = 3*r - 34, 0 = w + 6*r - m*r - 14. Suppose w*j = -38 + 208. Is j composite?
True
Suppose 0 = 4*m + 4, -89 = 2*o + 3*m - 3114. Is o a prime number?
False
Let r(q) = -5*q**3 + q**2 + 2*q + 1. Let z be r(-1). Suppose 0 = 3*g - z - 1. Suppose 5*b - 191 = 3*s, 70 = g*b - 0*b + 2*s. Is b composite?
False
Let z = 1711 + -1192. Is z composite?
True
Suppose 4*p + 116 = 3*g + g, p - 2*g = -33. Let c = 35 + -25. Let x = c - p. Is x composite?
True
Let r = 10 + -8. Suppose -r*v = -0*v - 298. Is v composite?
False
Suppose -3*h = 6*f - 2*f, -3*f = 0. Suppose h = -4*g + 84 + 16. Is g a prime number?
False
Suppose 4*q - 2*m = -m + 5863, -4*q - 4*m = -5848. Is q prime?
False
Suppose 3*f + 70 = 4. Let h = f - -8. Is h/(-4)*(3 + -1) a composite number?
False
Let p be (-5 - (2 + -3))*-1. Let k(z) = z**3 + 4*z**2 - 2*z - 1. Is k(p) a composite number?
True
Suppose -12 = g - 3*g + 3*z, -g = z - 1. Suppose -g*c - 3*k + 0*k = -42, 14 = c - 4*k. Is c composite?
True
Suppose 4*c = 3*t - 27, -5*t + 16 = 3*c - 0*t. Is (-294)/(-5) + c/(-15) composite?
False
Let p = 34 + -4. Suppose -u - 4*u = -p. Suppose -5*s = 3*d - 466, -u*s + 4*s + 202 = -4*d. Is s prime?
False
Suppose -2*v - v - 90 = 0. Let h = v + 277. Is h a prime number?
False
Let z be 1 + 1 + (-140)/(-2). Suppose -4*f - p + 7 = -57, -4*f = 3*p - z. Is f prime?
False
Let m be (-3)/(-2)*16/12. Suppose 0 = -m*q - q + 633. Is q a prime number?
True
Let t(a) = 16*a**2 - 4*a + 2. Suppose -4*j + 8 + 0 = 0. Is t(j) a prime number?
False
Let i be -3 - (-88 - 0 - 2). Suppose -s = -2*s + i. Is s a prime number?
False
Let w be 7/(-2)*(3 + -5). Let g(z) = 6*z - 7. Is g(w) a composite number?
True
Suppose b + 3 = 2*b. Suppose b*q + 5*f - 26 = -5, 0 = -5*f + 15. Suppose 3*u - 167 = -q*h, -2*u + 3*h = 2*u - 200. Is u a composite number?
False
Let q be (-1 + 2)*-1 - -26. Suppose 10 = -4*y - 2*s - 2, -5*s - 25 = 5*y. Let w = q - y. Is w prime?
False
Suppose 11*w + 629 = 12*w. Is w composite?
True
Let h = -278 + 394. Let p = h - -5. Is p composite?
True
Suppose 4*b + 40 = -b - 5*w, 5*b = w - 52. Let s be ((-8)/(-6))/(b/(-75)). Is 5/(s/(-4))*-5 prime?
False
Let r(g) = 220*g - 27. Is r(8) prime?
True
Suppose 0 = 5*y - 0*y + 4*h - 1035, 0 = 2*y - 5*h - 381. Is y composite?
True
Let k(v) = 9*v**2 + 2*v - 4. Let b be (-4)/8 - (-18)/(-4). Is k(b) a prime number?
True
Suppose 3*k - 2560 = -k - 4*c, 5*k - 3209 = 4*c. Is k composite?
False
Suppose 0*u - 15500 = -2*u - 5*y, -5*u + 38735 = 5*y. Is u a composite number?
True
Let y = 1316 + -829. Is y prime?
True
Let f = 253 - 96. Is f a prime number?
True
Let u(q) be the second derivative of q**5/10 - q**4/6 - q**3/3 - 2*q. Let i be u(3). Is (12/15)/(4/i) prime?
False
Let n(f) be the second derivative of f**3/2 - 5*f**2/2 - f. Let g be n(5). Suppose -31 + g = -c. Is c a prime number?
False
Let j = 3 - -2. Suppose j*u = 275 - 40. Is u a prime number?
True
Suppose 5*j + 0*l - 25 = -5*l, -j - 3*l = -9. Suppose -4*y + 174 = -y + 5*p, 0 = j*y + p - 162. Is y a composite number?
False
Is ((-10)/(5 - 10))/(2/1195) a prime number?
False
Let d = 463 - -36. Is d a prime number?
True
Suppose -z + 5*z - 5*x = 0, -4*x - 11 = -z. Let d(c) = -c**3 + 7*c + 4. Is d(z) composite?
True
Is (2073/12)/((-1)/(-4)) composite?
False
Let u(j) = 19*j**2 - 2*j - 1. Is u(-2) composite?
False
Let i = 216 + -46. Suppose i + 600 = 5*c. Suppose j - c = -j. Is j prime?
False
Suppose -4*k + 5*d = 2 - 0, -k - d = -4. Let m be (k + 1)*(1 - -2). Suppose -m*a = -5*a - 76. Is a a composite number?
False
Let i = -255 + 776. Is i a composite number?
False
Suppose 6*v - 2*v + 412 = 0. Let i = v - -252. Is i a composite number?
False
Suppose 0 = -j - 0*j + 117. Let z = -1 - -1. Suppose z = -2*q + 5*q - j. Is q a composite number?
True
Let w be 6/9*3 + 1. Suppose 0 = k + w*b - 86, 3*k - 151 - 42 = 4*b. Is k a prime number?
True
Let w(u) = 6*u**2 - 3*u**2 + 3*u**2 - u**2 - 4. Let x be w(-3). Let l = 124 - x. Is l a prime number?
True
Let n(x) = 7*x**3 - 24*x**2 + 21*x - 7. Let w(i) = -3*i**3 + 12*i**2 - 10*i + 4. Let c(a) = 2*n(a) + 5*w(a). Is c(11) prime?
False
Let r(p) = -7*p**2 - 4. Let t(c) = 7*c**2 + 4. Let a(f) = 2*r(f) + 3*t(f). Is a(3) a prime number?
True
Let s(z) = -z - 3. Let j be s(0). Let p(a) be the second derivative of -14*a**3/3 + a**2/2 - 2*a. Is p(j) a composite number?
True
Suppose -2*b - 255 = 445. Is b/15*(-3)/2 composite?
True
Let v = 1236 - 587. Is v a prime number?
False
Is 8/(-24) - (-4048)/3 a prime number?
False
Suppose -4*h - 3*u = -0*u - 344, u = -5*h + 441. Is h prime?
True
Suppose 0 = -i + 1 + 5. Suppose 2*f - i*f = -136. Is f composite?
True
Suppose -4*x - 24 = 2*r, -2*x + 4*r - 32 = -0*r. Let l = -2 - x. Is l composite?
True
Suppose 3*h = 3*f + 4*h - 1348, f = -3*h + 452. 