 composite number?
False
Suppose 5*p - 13 = -3*s + 4, -s = -p - 3. Is 941 + s*(-1)/(-2) + 0 a composite number?
True
Let s(k) = 4*k**3 - 3*k**2 - 5*k - 12. Suppose 8*m - 7*m - 7 = 0. Let w be s(m). Let r = w + -711. Is r a prime number?
True
Suppose 2*h - 4 - 6 = 0. Is 7/35 + 694/h composite?
False
Suppose 2*i - g = 5793, 4*g - 5818 = 5*i - 7*i. Is i prime?
False
Let p be (-4 + 3 + 2)*0. Suppose p = -3*m + 5*g - 10, 15 = -2*m - 4*g - g. Let y(x) = -x**3 - 3*x**2 + 7*x + 7. Is y(m) prime?
False
Let n(h) = -h**2 - 17*h - 17. Let i(m) = 3*m + 1. Let q be i(2). Let x(y) = -y**3 + 7*y**2 - 2*y + 2. Let r be x(q). Is n(r) a prime number?
True
Suppose 0*t - 9 = -t. Suppose -4*w - 285 = 5*m - t*w, -3*w - 147 = 3*m. Let r = 84 + m. Is r composite?
False
Let i(k) = -3*k + 25. Let c be i(13). Is 7/(c/(-948)) - 1 a prime number?
False
Suppose -2*q = -2*d + 4963 - 14875, 3*q - d = 14866. Suppose 3*l + 991 = v - l, -5*v + q = -4*l. Is v composite?
False
Suppose 5*s - 2*c - 70525 = 0, -9*c + 7*c = -3*s + 42311. Is s composite?
False
Let s(t) = 8*t + 33. Let w be s(-5). Let q(n) be the second derivative of -109*n**3/6 - 7*n**2 - 2*n. Is q(w) a composite number?
True
Let g be 4/26 + (-300)/(-78). Suppose -5*w - g*z + 6788 = 0, 0*w + 4064 = 3*w - 2*z. Suppose -313 = 7*u - w. Is u a prime number?
True
Let k(f) = -14882*f**3 + 3*f**2 + 7*f + 3. Is k(-1) a prime number?
False
Is (26798 + 8/(-2))/2 a prime number?
True
Let a be (0 + -2)*13/2. Let v(j) = -j**2 - 12*j + 8. Let i be v(a). Is (-1228)/(-8)*(-10)/i a prime number?
True
Suppose 77*b - 5214 = 71*b. Is b prime?
False
Let q = -31 - 95. Let s = q - -775. Is s composite?
True
Let r be ((-10)/(-3))/(-5)*-6. Suppose -2*l - 3*b - 240 + 1439 = 0, 3*l = -r*b + 1799. Suppose -l = -4*g - 29. Is g a prime number?
False
Suppose -78*j + 83*j - 3670 = 0. Suppose -g = 0, 5*w = -2*g - 9 + j. Is w a prime number?
False
Let i(v) = -v**3 + 9*v**2 + 2*v + 13. Suppose -8 = -5*w + 22. Let o(a) = a + 3. Let s be o(w). Is i(s) prime?
True
Let h(a) = 2*a + 17. Let u be h(-5). Suppose -4253 = -u*o + 2404. Is o a composite number?
True
Let b = -22 + 12. Let g = b - -12. Suppose 0 = -0*l - g*l + 518. Is l composite?
True
Is (-287614)/(-30) + (-1904)/(-120) + -16 composite?
False
Suppose -2 = t - 3*t. Is -9687*t*(18/9)/(-6) a prime number?
True
Suppose -g + 4*r - 3*r = 2, 3*g - 2*r = -1. Suppose 2288 = g*m - 1795. Is m composite?
False
Let k(n) = 11*n**2 + 27*n + 17. Is k(9) a composite number?
False
Is 0 - -1 - 2940/(-14) a composite number?
False
Suppose -u - u + 16 = 0. Suppose -u*h + 1655 = -3*h. Is h a prime number?
True
Suppose -p + 4*p - 6 = 0, -q + 1850 = p. Let g = -1159 + q. Is g composite?
True
Let z be (5/2)/(1/2). Let k(y) = -y + 13. Let w be k(z). Suppose -w*j + 3*j = -615. Is j composite?
True
Let t(y) = y**3 - 2*y**2 + 7*y + 10841. Is t(0) a composite number?
True
Is (1 + 405800/(-15))/((-18)/54) a prime number?
True
Let g(j) be the first derivative of 5*j**4/12 + j**2 + 2*j + 4. Let w(v) be the first derivative of g(v). Is w(2) a composite number?
True
Let n = 1487 + -580. Is n a prime number?
True
Let m = -184 + 128. Is m/32*(-412)/1 a prime number?
False
Let h(y) = -8*y + 4. Let f be h(-4). Suppose -c = 3*c - f. Let d(o) = 4*o + 7. Is d(c) composite?
False
Let z(v) = 2745*v + 12. Is z(3) a composite number?
True
Suppose 3*y + p = -1368 + 7903, 2*y - 4350 = -4*p. Is y prime?
True
Let h be 105/30 - (-1)/2. Suppose 42 - 1006 = -h*b. Let k = b - 164. Is k prime?
False
Let a(b) = b**2 + 12*b - 9. Suppose -4*i = 2*m + 2*m + 36, 46 = -2*i + 5*m. Let l be a(i). Suppose -5*s + 471 = -2*s - l*r, -2*r + 6 = 0. Is s composite?
True
Let m(g) = 720*g**2 - 7*g - 51. Is m(-4) a prime number?
True
Let l be (13 - 16)*1*-1. Suppose -g = 5*z - 49 - 8, l*z + 320 = 4*g. Is g a composite number?
True
Let w be (-12)/18 - (-3893)/3. Let g = w + -38. Is g composite?
False
Suppose 0 = 2*v, 0*v = 2*a - 5*v + 4. Let c be 1/a + (-238)/28. Is 208 + 1/((-3)/c) composite?
False
Is 14/77 + (-723093)/(-77) prime?
True
Let m = 12 + 6. Let o = -16 + m. Is 52 - (2 - 10/o) a prime number?
False
Let h(c) = 8*c**2 + 10*c + 9. Let q be h(11). Suppose 3*x = -a + q, 4*a + 2*x = -a + 5435. Is a composite?
False
Let s(u) = 6*u**2 + 9*u - 11. Suppose 0 = 7*a + 68 - 5. Is s(a) composite?
True
Suppose -i - 9660 = -4*h - 1111, -3*i = h - 2134. Is h prime?
True
Let q = 136 - 341. Let g = -126 - q. Is g prime?
True
Is (650865/10)/((-33)/(-22)) composite?
False
Suppose 2*x = -8, -3*x = s + 2*s - 30. Suppose 13*o - s*o + 251 = 0. Is o a composite number?
False
Suppose 0 = z - 0 - 5. Let h(c) = 74*c**2 - 5*c + 10. Is h(z) composite?
True
Let w be ((-2)/3)/(4/6). Suppose i - 1 = -4. Is (255 - w) + i/(-1) prime?
False
Let d = 20 - 17. Suppose -2*s + 3*o = -o + 1250, d*o - 3097 = 5*s. Let m = -132 - s. Is m prime?
False
Let f(b) be the second derivative of -b**5/20 + b**4/2 + b**3/3 - b**2 - 2*b. Suppose -4*x = -8 - 12. Is f(x) composite?
True
Let m(g) = -10*g**2 - 11*g - 26. Let l(u) = -2*u**2 - 2*u - 5. Let f(i) = -11*l(i) + 2*m(i). Let x be f(2). Is -4 - x/(-1)*49 composite?
True
Let j be 146*(0 + 15/6). Let p = 450 + j. Is p a prime number?
False
Suppose 15*b - 13*b - 266 = 0. Is b a composite number?
True
Let u be -195*3/(-9)*101. Suppose -h = -5*y + u, 0 = -y - 3*y - 4*h + 5276. Suppose -4*t + 1493 + y = -w, -2*t = -5*w - 1417. Is t prime?
True
Let q(v) be the first derivative of 64*v**3/3 - 19*v**2/2 + 76*v - 47. Is q(9) composite?
True
Let z(x) = 76*x + 361*x + 3 + 0 + 294*x. Is z(4) prime?
True
Let i(l) = 828*l**3 + 2*l**2 + 3*l - 1. Is i(2) a composite number?
False
Suppose 3*v - 278725 = -5*j, 18*j + 55745 = 19*j + 4*v. Is j a prime number?
False
Suppose 0 = 5*b + 352 + 588. Is (-1)/(b/92 + 2) a composite number?
False
Suppose d + 4400 = 3*a, -3*d - 3077 - 1333 = -3*a. Suppose -c - a = -6*c. Is c composite?
False
Suppose 0 = 5*s - 20, 4*j - 5*s = 7548 - 224. Let m = -983 + j. Is m a composite number?
False
Suppose 0 = y + y - 6. Suppose -4*j = 5*c - 3595, -3*j + 2160 = y*c - 0*j. Suppose -c = 4*r - 9*r. Is r composite?
True
Let p(x) = x**3 - 4*x**2 + 3*x. Let i be p(3). Suppose -y - q + 1640 = i, -8*q = -4*y - 3*q + 6578. Is y prime?
False
Suppose -3*s - r = -11, -r + 2*r - 5 = 0. Suppose 5*w = -12 + s. Is 5 + w - (10 + -69) a prime number?
False
Suppose -3*d + 3*i + 4107 = 6*i, -5476 = -4*d + i. Is d a prime number?
False
Suppose -h - 2*p + 1 = -3*p, -p - 5 = 3*h. Is (-3 + 2)*(-6 + h) a prime number?
True
Suppose 6*o - 2 - 10 = 0. Let l(i) = 112*i**3 + 4*i - 3. Is l(o) prime?
False
Suppose -3659 = -5*d - 734. Let z = d - 246. Is z prime?
False
Let j = -1555 + 2244. Is j prime?
False
Is 4/10 + (-8)/((-80)/62166) a composite number?
False
Suppose 8*p = 5*p - 4362. Is (-7)/((-2 + (-2906)/p)/1) a prime number?
False
Let y = 6411 + -3832. Is y prime?
True
Suppose w + 0 = -3, 3*w = l - 9. Suppose l*d - 6*d = -762. Is d prime?
True
Let r = 39 + -31. Suppose -r*z + 14607 = z. Is z a prime number?
False
Is (4 + -6 + 4)*(-1958)/(-4) a composite number?
True
Suppose i - 4 = 4*k, -4*k - i = i + 4. Let y be (3 - 7)/(k/2). Suppose y*f - 293 = 7*f. Is f prime?
True
Let p be (-6)/8 - 32630/(-40). Let k be (-2)/(-4*4/(-3536)). Let u = p + k. Is u composite?
False
Let v(j) = -j**3 - 7*j**2 - j + 9. Let n(p) = p**3 + 2*p**2 + 2. Let w be n(-3). Let c be v(w). Let i(x) = 2*x**2 - 18*x - 13. Is i(c) prime?
True
Let g(n) = 4*n - 6*n + 81*n**2 + n + 85*n**2 - 3. Is g(2) prime?
True
Let g(k) = -19*k**2 + k**3 + 9*k - 2*k**3 - 6 + 9*k**2 + 7*k**2. Is g(-7) a prime number?
True
Let v(k) be the second derivative of k**4/12 - k**3/3 + 19*k**2/2 - 2*k. Let y be v(0). Is (y/(-38))/((-2)/1324) a composite number?
False
Let w(o) = -o**3 + 4*o**2 + 11*o + 11. Let s be w(6). Suppose -25906 = -s*y - 8871. Is y prime?
True
Let b(c) = -c**3 + 15*c**2 - 46*c + 23. Let x be b(19). Let g = 5816 + x. Is g prime?
False
Let r(h) be the third derivative of 11*h**5/20 - 7*h**4/24 - 7*h**3/6 + 41*h**2. Is r(-5) a composite number?
False
Suppose -g = 3*g - 40. Is 9/15 - (-224)/g composite?
False
Suppose 4*h = -23 + 3. Is (((-30)/(-9))/h)/(4/(-29454)) prime?
True
Let z(f) = -5*f - 1. Let g be z(-1). Let j be 5/(-1) + (-12)/g. Let d(v) = 2*v**2 - 7*v + 7. Is d(j) a composite number?
False
Let m be ((-15)/