 Is a(0) prime?
False
Let v(x) = x**2 - 9*x - 12. Let q be v(9). Is q/8 - 41/(-2) prime?
True
Let n = 968 + -567. Is n prime?
True
Let s(k) = -133*k - 5. Is s(-8) a prime number?
False
Let l be (664/(-10))/((-6)/15). Suppose 4*d = y + 232, -2*y - l = -3*d + 13. Is d a prime number?
False
Suppose -4*j - 162 + 910 = 0. Suppose 127 + j = 2*k. Is k a composite number?
False
Suppose -x - 4*x - 23 = -4*u, 4*u + 4*x = -4. Suppose -u*d = d + 6. Is 4/((-4)/(-353)) - d prime?
False
Suppose 0*s = s - 1. Suppose j = -3*f + s + 5, -f = 5*j - 2. Is 1/(1*1/f) composite?
False
Suppose -130 = -4*l + 5*h + 416, 0 = 2*l + 2*h - 282. Is l prime?
True
Suppose 135 = 3*x - 8*x + 4*c, 4*c = x + 27. Is (-1494)/x*6/4 prime?
True
Suppose 2*b + j - 2 = -5, -3*b + 5*j - 24 = 0. Let f be 1 + b/(-3) - 0. Suppose 5*k - f*k + 2*i - 37 = 0, k = -3*i + 10. Is k prime?
True
Suppose 3*f + 8 = 4*f. Suppose -2*x - 2 = f. Is (-193)/(-5) - 2/x prime?
False
Let y(u) = u**2 + 8*u - 16. Is y(17) composite?
False
Let i(v) be the first derivative of -v**4/4 - 2*v**3 - 5*v**2/2 + 4*v + 1. Let k be i(-5). Suppose k*z = 5*z - 82. Is z a prime number?
False
Let f = 10 - 7. Is f + 7/(21/228) composite?
False
Suppose 0 = -0*g - 5*g - 5*j + 1000, -4*g + 845 = -5*j. Is g prime?
False
Let t(o) = o**2 + o + 307. Is t(0) a prime number?
True
Let o be (936/90)/((-4)/(-10)). Suppose -2*b - b = -81. Let j = o + b. Is j a prime number?
True
Let c(x) = x**3 - x + 63. Let z be c(0). Let n be (-13)/3*(0 - -6). Let m = z + n. Is m composite?
False
Let f(d) = -d**3 - 4*d**2 + d + 3. Let u be f(-4). Let y(n) be the first derivative of 82*n**3/3 - n**2 - n + 20. Is y(u) a composite number?
False
Suppose 0 = 5*p - 2*p - 129. Let q = 128 - p. Is q a composite number?
True
Let u = -1348 + 3285. Is u prime?
False
Let r = -586 + 1439. Is r composite?
False
Suppose -3*v = 4*j + 2*v - 483, 3*j = -5*v + 356. Is j composite?
False
Let p = 6 - 3. Let h be 0 - 4*(0 + -1). Suppose v = -p*m + 19, 2*v - 57 = -v - h*m. Is v a prime number?
True
Let z(a) = -a**3 - 3*a**2. Let b be z(-2). Let t be 1/(1 + b/6). Is t/(3/(-63)*-3) a composite number?
True
Suppose 3*h + 2*h = 12355. Is h prime?
False
Is ((-45)/(-25))/(1/5) prime?
False
Let l be (0 - 0) + 2 - 1. Is 0 - l - 208/(-4) prime?
False
Suppose b - 3 = 1. Let j be 6/(-4) + b/(-8). Is -1*22/4*j a prime number?
True
Suppose 42 = -i + 4*i. Suppose -26 = -r - r + j, -5*j = 2*r - i. Suppose 3*z - 30 = r. Is z a composite number?
True
Let h = -21 - -40. Is h a prime number?
True
Let j(k) = k**3 + 7*k**2 + k + 10. Let p be j(-7). Suppose -2*h = -m + 16 - 1, m = -2*h - 9. Is (-3 - h)/p + 96 a composite number?
False
Let q(y) = 23*y**2. Let s be q(1). Let h = s - -10. Is h a composite number?
True
Let r be 2 + (0 - 43 - 0). Let a = -9 - r. Let x = a - 22. Is x composite?
True
Suppose -q - 5*q + 426 = 0. Is q a composite number?
False
Suppose 0*v + 2*v = 668. Let t = -237 + v. Is t a prime number?
True
Let j(s) = -14*s - 13. Let d(p) = -p - 1. Let b(r) = -6*d(r) + j(r). Is b(-5) a composite number?
True
Is (-1163)/(-9) + 1/((-18)/4) a prime number?
False
Let h(a) = -676*a - 3. Is h(-2) a prime number?
False
Let l(r) = r**2 + 14*r - 53. Is l(8) composite?
True
Suppose -5*z = 3 + 27. Let g = -6 - z. Suppose 51 = -g*q + q. Is q prime?
False
Let f = -1 - -3. Suppose -f*j - 18 = -4*j. Is j prime?
False
Is (-15)/45*(-1)/(2/4182) prime?
False
Let l = -520 - -1269. Is l a composite number?
True
Let w(i) = -4 - 4*i - 30*i**3 + 5 - 4 - 3*i**2. Is w(-2) a composite number?
False
Let v(c) = c**2 + 2. Let p be v(0). Suppose -158 = -p*r + 20. Is r a prime number?
True
Suppose -5*y + 1219 = -2126. Is y composite?
True
Suppose h + h - 28 = 0. Is 22/(-3)*(-21)/h prime?
True
Suppose -u = -o - 127, 5*o + 215 + 33 = 2*u. Suppose -u = -3*w + 6*t - 4*t, -5*t + 43 = w. Is w a prime number?
True
Let v(b) be the first derivative of 8/3*b**3 + b**2 + 7*b + 1/4*b**4 - 3. Is v(-6) composite?
False
Suppose 177 = 4*i - 7. Let m = i - -9. Is m composite?
True
Let s be (4 - 6)/((-4)/6). Suppose -s*f = 1 - 13. Let l(b) = 13*b + 5. Is l(f) a prime number?
False
Suppose -u = -3*u + 14. Is u a prime number?
True
Let x = 1 + -3. Is 1*(23 - x)/1 composite?
True
Let d = -6 + 11. Let o be (4/d)/((-2)/(-5)). Suppose -3*w + 50 = o*w. Is w prime?
False
Let y = -2 + 2. Let h = -8 - y. Is 1/4 - 438/h a composite number?
True
Let g = -194 + 825. Is g composite?
False
Suppose -2*j = -3*j + 2. Suppose -3*p - 4*d + 58 = 0, -2*d + 17 = j*p - 25. Let t = p + -12. Is t a prime number?
False
Let j(g) = g - 1. Let x(h) = 21*h - 12. Let d(k) = j(k) + x(k). Is d(14) a composite number?
True
Let j(l) = 69*l + 10. Is j(7) a prime number?
False
Let f = -340 - -503. Is f a composite number?
False
Let j be (491 - (-2 - 0)) + 1. Let u = -331 + j. Let p = u - 68. Is p prime?
False
Suppose -2*b + 3*b - 261 = -a, -3*b = -3*a + 759. Is a composite?
False
Let a(d) be the first derivative of 2*d**3/3 + d**2 - d + 2. Let h be a(2). Suppose -h*g + 8*g = -249. Is g a composite number?
False
Let l(c) = 71*c - 1. Let g be l(-3). Let h = g + 335. Is h composite?
True
Let n be -8*(7/(-2) + 1). Let d = 35 - n. Suppose d = 5*i - z, 3*z + z + 9 = 3*i. Is i prime?
True
Let k(y) = 2*y**2 + 22*y - 35. Is k(18) composite?
False
Suppose -x + 219 + 218 = 0. Is x prime?
False
Let t(j) = -j**3 + 12*j**2 - 4*j + 4. Let o(x) = 3*x - 9. Let c be o(6). Is t(c) a composite number?
False
Let t be (-1 - (2 - 4)) + 1. Suppose -t*k + 13 = -25. Is k prime?
True
Let u(j) = j**2 + 8*j + 7. Let b be u(-7). Let c(o) = b + 2*o**2 + 1 + 7 + 8*o + 1. Is c(-7) composite?
True
Let j be (-2)/(0 - (3 - 2)). Let p be (8/3 - j)*393. Let k = p - 105. Is k prime?
True
Suppose 2*q + 5 = 3*q. Suppose -6*f + 1011 = 3*j - f, -q*f = 0. Is j a composite number?
False
Let t be -2*(0 + 3/(-6)). Let g be (11 - (4 - t))/(-1). Is (118/g)/((-3)/12) a prime number?
True
Let i be 4*(-1)/2*-1. Suppose -i*f = 4*p + 2*f - 116, -f + 97 = 3*p. Is p a composite number?
True
Suppose -4*h - 8 = y, -4*y - 4*h = h - 1. Let d be ((-36)/10)/((-2)/120). Suppose -d - 20 = -y*g. Is g composite?
False
Is 4/(-2) + 187 + 2 composite?
True
Suppose 2 = 2*c - 0, -5*y = -4*c - 201. Let v = y + -10. Is v a prime number?
True
Suppose p - 4 = -0. Suppose -509 - 767 = -p*m. Is m a prime number?
False
Let x(w) = 4*w**2 - 3*w. Let d = -7 + 5. Let b be 2/d - -2 - -1. Is x(b) prime?
False
Let b = -571 - -1310. Let c(h) = h - 1. Let x be c(6). Suppose -x*w = -2*v - b, w - 2*v + 304 = 3*w. Is w prime?
True
Let d be ((-1)/2)/((-2)/468). Let x = 31 - 63. Let j = x + d. Is j prime?
False
Suppose 2*o - 515 = o - 2*q, 1035 = 2*o - q. Is o a prime number?
False
Suppose 4*y - 1283 = 5*p, 2*y = -0*y + 4*p + 646. Is y composite?
False
Is (0 - (-1)/(-2))/(3/(-510)) composite?
True
Let p = -57 - -96. Is p prime?
False
Suppose -p = 3*z - 1417, -5*z = -2*p + 4*p - 2363. Is z composite?
True
Suppose 2*c + 8 = 0, -1831 = -o - 0*o - 4*c. Is o a prime number?
True
Let v(m) be the third derivative of 7*m**5/30 - m**4/12 + 2*m**3/3 + m**2. Let p be v(-6). Let u = p - 337. Is u a composite number?
True
Suppose 8*q = 3*q + 5, -5*m - q = -1536. Is m prime?
True
Let g be (-1170)/4 - 4/8. Let o = 126 - g. Is o prime?
True
Let r be (1 - -84) + 6 + -7. Suppose 0 = -4*h + 4*p + 252, 4*p - r - 77 = -3*h. Is h a composite number?
False
Let k(g) = 11*g**2 - 5*g + 1. Is k(5) a prime number?
True
Suppose -1847 = -8*s + 481. Is s prime?
False
Let j(i) = i**3 - 7*i**2 - 9*i + 1. Let h be j(6). Let t = -42 - h. Suppose 4*k - t = 77. Is k a composite number?
False
Let n be ((-1)/2)/((-1)/12). Suppose 2*t - n = 2*f - f, -2*f = -t + 3. Suppose -t*d = -1 - 8. Is d composite?
False
Let y(k) = -2*k**2 - 4*k**2 + 4*k**3 + 1 + 0 + 3*k**2. Let i = 1 + 1. Is y(i) prime?
False
Suppose -3 = f - 5. Suppose -f*l - 2*l = -340. Is l a composite number?
True
Is 2*(1289/2 - 3) a composite number?
False
Suppose -1266 = -v - 5*v. Is v a composite number?
False
Suppose 2 = -3*z + 4*z. Suppose -5*n + 3*a + 17 = -n, -z = -2*a. Suppose -186 = n*o - 611. Is o a prime number?
False
Is 199*(2 - (1 + -1)) a prime number?
False
Let a(d) = -14*d + 7. Let p be (-4)/(-6) + 32/(-12). Let q be p*3/(18/15). Is a(q) prime?
False
Let h = 4 + 2. Is h/15 - (-706)/10 composite?
False
Let c = 232 + -113. Is