True
Let q(z) = z**3 - 18*z**2 + 18*z - 14. Let a be q(17). Suppose -4*v + 12249 = -3*g + 6*g, v - 12249 = -a*g. Is g composite?
True
Let s(d) = d**3 - 48*d**2 - 122*d + 68. Is s(51) prime?
False
Suppose -6*g + 198 = 3*g. Suppose 0 = 26*b - g*b - 1316. Is b prime?
False
Let w(b) = 112*b**2 - 4*b - 9. Let a be w(-4). Let n = -1032 + a. Is n a composite number?
True
Let c = 14 + -11. Let t(q) = -q**3 + 3*q**2 - q + 4. Let x be t(c). Is 1/((-312)/316 + x) composite?
False
Let x = -8705 - -19116. Is x a composite number?
True
Suppose 5*o = -r + 36 + 15, -4*r = 4*o - 124. Suppose 0*b - 96 = 4*b. Let s = r + b. Is s prime?
True
Suppose 18*z - 429372 = 381024. Is z a prime number?
False
Suppose 3*d + 4*l - 10 = 0, 2*d + 3*l = -0*d + 8. Let w = d + 3. Is (-1 - -123 - 2) + w composite?
True
Let p(t) = -t**3 - 10*t**2 - 12*t - 2. Let k be p(-9). Suppose 0 = 5*d + k, -2*j - d + 4739 = -6*d. Is j composite?
False
Let k(j) = 2*j - 4. Let n be k(-3). Let c be n/(-1 - (3 + -2)). Suppose -d + c*u + 232 = 56, 3*d + 5*u - 628 = 0. Is d a prime number?
False
Let z(a) = a**2 - 7*a + 5. Let d be z(7). Let j(u) = -3*u - u + d*u + 2 + 4*u**2. Is j(-4) prime?
False
Suppose 0 = 285*i - 290*i + 6985. Is i a composite number?
True
Suppose -3469 = -n - 4*r, 12*r - 10380 = -3*n + 9*r. Is n a composite number?
False
Let f(w) = 2*w**2 - 4*w - 1. Let x(c) = -c**2 + 11*c + 4. Let b be x(11). Suppose r - 3*r - 2 = -b*g, 0 = -5*r - 2*g + 43. Is f(r) a prime number?
False
Suppose 2808 = 3*u - h, -h - h = -5*u + 4679. Let w = u + -488. Is w a prime number?
True
Is 29/4*(8940 + 12)/6 a composite number?
True
Let l = 9 + -6. Suppose -4*p = l*j - 28, -j = -6*j + 20. Is 4*p/48*93 prime?
True
Suppose -19 = -x + 10. Let h be x - (4 + -2 + 0). Let s = h - -107. Is s a prime number?
False
Suppose 0 = -8*t + 13*t - 6895. Is t composite?
True
Let i(v) = -60*v - 138. Let q(s) = -30*s - 69. Let m(y) = 3*i(y) - 5*q(y). Is m(-7) a prime number?
False
Let a = 1 - 0. Let j be (-2 + 209 - 0)*a. Suppose 2*l + k = 418, l + k + 0*k - j = 0. Is l composite?
False
Suppose 2*p + 21 = -3*c, 0 = -p - 3*c + 3 - 18. Let a(g) = -22*g + 13. Is a(p) a prime number?
False
Suppose 244*l = 247*l - 19167. Is l prime?
True
Suppose j + 14718 = 4*j. Suppose 0 = 2*x + 240 - j. Is x prime?
True
Let m = 1429 + 4552. Is m composite?
False
Let d be (-15)/6*(3 - 1). Let l(t) = t + 7. Let k be l(d). Is 52 + 2 + k - -2 a prime number?
False
Let i(u) = -2*u - 9. Let d be i(-5). Let x be -1188 - d/(1/(-2)). Let q = 1931 + x. Is q a composite number?
True
Suppose 2 = 2*a - 0. Is (3 - 2)/a + 126 a composite number?
False
Let a be (-1)/2 - ((-30)/4 + 7). Let m be 108 - (1 + -2*1). Is a - (3 - 8*m) a composite number?
True
Let u be (57 - 1)*(-24)/(-12). Let z = 51 - u. Let k = 94 + z. Is k a prime number?
False
Let g = -19 + 13. Let y(c) = 4*c**2 - 8*c - 1. Is y(g) composite?
False
Suppose 0 = -3*m - 4*k + 19, 5*m - m = 5*k - 16. Let w(l) = 127*l**3 + l - 1. Let b be w(m). Suppose b = -3*o + 4*o. Is o a prime number?
True
Suppose -17*n + 74849 = -106422. Is n composite?
False
Let i = 1455 - 962. Is i a composite number?
True
Let f = 5567 - 1312. Suppose -5*w = 5*k - f, 2*w + 851 = 2*k - k. Is k a composite number?
True
Let j(r) = 6*r - 16. Let c be j(3). Let h(d) = 157*d - 7. Is h(c) composite?
False
Let n = 11 + -19. Let m = n - -6. Is m*35*(-1)/2 composite?
True
Let j(i) be the third derivative of -i**5/60 - i**4/4 + 10*i**2. Let g be j(-6). Suppose g = 4*c - z - 737, 2*c + 3*z - 423 = -44. Is c a prime number?
False
Suppose -x + 3*b + 14 = -9, -4*x = 4*b - 60. Let o = x + -7. Suppose -o*j + 5*j = -1315. Is j a composite number?
False
Let f(k) be the first derivative of k**3 + k**2/2 - 9*k + 14. Is f(-6) a composite number?
True
Suppose -2*g = -c - 0*c + 3, g + 2*c = 6. Suppose g = 3*w + 2*w - 2190. Suppose -w = z - 4*z. Is z a prime number?
False
Let d(s) = -2*s - 6. Let p be d(-3). Suppose -3385 = -2*c - 3*k - p*k, -c + 1710 = 5*k. Is c composite?
True
Let m = -5509 + 11406. Is m composite?
False
Let d(l) = 560*l - 6. Let g be d(2). Is g*2/4*(1 + 0) a prime number?
True
Is (-1)/((-5 - -6)/(-11115 + 2)) prime?
True
Suppose 2*b + 99 = d, -14 = b + d + 43. Let q = -31 - b. Is q prime?
False
Let d(l) be the third derivative of l**4/24 - 5*l**3/6 - 2*l**2. Let c be d(9). Suppose 0 = c*r - 4*g - 452, -r + 6*g + 113 = 3*g. Is r a prime number?
True
Suppose -i + 3*x + 17 = -0*i, -5*x - 5 = 3*i. Suppose 0 = -4*d - 5*a + 456, i*d + 4*a = 689 - 110. Is d prime?
False
Suppose 4*d + 4*f = 16216, -4*d - 2*f - 224 = -16430. Is d prime?
True
Is (-6 - (-31)/5)/(1/44995) a composite number?
False
Suppose 0 = -2*m - 7*r + 31247, m - 18407 = -r - 2791. Is m prime?
False
Let x = 6265 + -3224. Suppose -3*v + 0*v + 2*g = -3037, -4*g = -3*v + x. Is v a composite number?
True
Suppose 6073 + 20273 = 2*a. Is a prime?
False
Let w(u) = 438*u**2 + 7*u - 6. Is w(3) a prime number?
False
Suppose 3*z - 3*p - 259 = 7019, 4*z - 5*p = 9707. Is z prime?
True
Let x(v) = 2*v + 20. Suppose 2*z = -2*z - s - 34, -22 = 4*z - 5*s. Let m be x(z). Suppose 4 = -2*i, m*c + 10 = -i + 892. Is c composite?
True
Let n(d) = -d**3 - 14*d**2 - 13*d + 3. Let r be n(-13). Is (1 - r)/(50/(-16025)) composite?
False
Let i be (-2 + 3)*(3 + -2). Let q(g) = 7*g + 1. Let b be q(i). Let n(t) = 9*t**2 - 2*t + 13. Is n(b) composite?
True
Let k = -859 - -1635. Let r = k - -563. Is r composite?
True
Let d be (-2)/2*(10 - -1). Let t(v) = v**3 + 15*v**2 - 8*v + 11. Is t(d) prime?
False
Let z(o) = -118*o**3 + 9*o**2 + 11*o + 31. Is z(-6) a prime number?
False
Let w = -59 - -61. Suppose 3*n + 1940 = b - w*n, b - 1895 = -4*n. Is b a composite number?
True
Let a(x) = 2997*x**3 + 2*x**2 - 15*x + 5. Is a(3) a prime number?
True
Is (-1)/(-7 + 21600/3086) composite?
False
Let p(g) be the first derivative of g**4/2 + g**3 - 2*g + 14. Is p(3) prime?
True
Suppose 2*k - y + 1168 = -141, -4*k + 5*y = 2627. Let n = k + 1007. Let z = n - 251. Is z a composite number?
False
Let g(v) = 43*v**3 - 2*v**2 + v + 5. Is g(3) prime?
True
Let z = 2 + 4. Let i(h) = -h**3 + 9*h**2 - h - 5. Is i(z) a composite number?
False
Suppose -2*b = -16535 - 40019. Is b composite?
False
Suppose -2*i - 9 = -1. Let a(n) = -4*n + 13. Let h(p) = 11*p - 25. Let x(v) = -11*a(v) - 6*h(v). Is x(i) prime?
False
Suppose 2*f + 17 = -3*r, -2*f + 0*r - 27 = 5*r. Let s = 10 - 13. Is f*(s + -1*290) a composite number?
False
Suppose 0 = -2*f - 3*t + 26, -2*t = -5*f + 21 + 25. Suppose f*v = v + 5013. Is v prime?
True
Let j(q) = -4*q - 14. Let u be j(-7). Suppose 4*m = -u + 2, 2*f - 999 = m. Suppose -8*n + 6*n = -f. Is n a prime number?
False
Let i(g) = -44*g + 2. Let z = 34 + -38. Is i(z) prime?
False
Let a(y) = -y**2 - 10*y - 9. Let f be a(-9). Suppose 2*k = -3*u + 575, -2*u - 5*k + 10*k + 377 = f. Is u composite?
False
Let m(a) = 180*a**3. Let q be m(1). Is 10025/6 + (-6)/q*-5 a prime number?
False
Suppose -10 + 54 = 11*g. Suppose g*v + f = 32224, -3*f = -4*v - 0*f + 32240. Is v a composite number?
True
Suppose 60 + 94 = -14*m. Is 2623 + m + (-1 - (-2 + 4)) composite?
False
Let m(f) = f**3 + 23*f**2 - 32*f - 3. Let s(g) = -g**3 - 23*g**2 + 32*g + 2. Let v(z) = -4*m(z) - 5*s(z). Is v(-24) a composite number?
True
Let m be -4*(9/(-6))/1. Suppose -m*j = -2 - 22. Suppose -3*t - 4*z + 0*z + 1049 = 0, 0 = -3*t + j*z + 1033. Is t composite?
False
Suppose -p - 2*p = 2*i - 45, i - 35 = -4*p. Suppose 6*l - i = 3*l. Suppose 0 = -l*a + 2*m + 6, -m - m = 3*a - 10. Is a prime?
True
Is -1*(-8)/20*(-1325)/(-5) prime?
False
Let f be -2*3595/4*-6. Suppose 5*h - f - 880 = 0. Is h prime?
True
Let a(x) = 230*x**2 - 30*x + 177. Is a(11) prime?
False
Suppose 0 = -63*w + 12*w + 571047. Is w prime?
True
Let t(b) = 465*b**2 + 4*b + 21. Is t(-4) a composite number?
True
Is ((-9693361)/(-387))/((-2)/(-18)) a composite number?
False
Let a(r) = 53*r - 9. Let l be a(16). Suppose -l = -3*w + 1390. Is w a composite number?
False
Let l(g) = -28*g - 13. Let c be l(-6). Suppose 6*p + 251 = 1691. Let b = p - c. Is b prime?
False
Let k(v) = 641*v + 35. Is k(8) composite?
True
Let u(v) be the first derivative of 7*v**3 + 9*v**2/2 + 19*v + 6. Is u(-5) prime?
True
Let t = -399 + 3004. Suppose 4*v - t = -5*f, v + 5*f = f + 665. Suppose -3 = -a - 0*a, -4*a = 3*k - v. Is k composite?
Fa