 q*s + 14 = -21, w*s = 4*g - 208. Is g a prime number?
True
Suppose -155 = -5*p + 3*l, p - 5*l - 8 = 1. Suppose -5*b + 35 + 200 = 0. Let i = b - p. Is i composite?
False
Let w = -6162 - -12113. Is w a composite number?
True
Let j(p) be the second derivative of -p**5/20 + p**3/6 - 2*p**2 - p. Let w be j(3). Let t = w - -53. Is t prime?
False
Suppose 2 = -4*t - 22. Let a(h) = 7*h**2 + 2*h - 2. Let g be a(t). Suppose -2*m + 48 = -g. Is m a prime number?
False
Let l = 59 + -52. Is l a composite number?
False
Suppose -108 = -4*s + 3*s. Let k = -49 + s. Is k composite?
False
Suppose 0 = -3*r - 216 + 2139. Is r composite?
False
Suppose 3*w = d - 6, 0 = -3*d + 6*d + 4*w - 5. Suppose -5*o + 56 = 3*u, -d*o + 104 = -0*u + 5*u. Is u - (-1 - (2 + -2)) prime?
True
Suppose -15 = j - 6*j. Suppose 265 = j*u + 2*u. Is u composite?
False
Let n be (-1 - -2)*(-464 + 1). Let z = -272 - n. Is z a composite number?
False
Let x(r) = r**3 - r**2 - 5*r + 2. Let z be x(4). Let n = 25 + z. Is n composite?
True
Suppose 16 = 4*y - 4*m, 3*m - m = -8. Let u = 3 - y. Suppose -188 = -u*b - b. Is b a prime number?
True
Let z be 94*(3 - 5/2). Let n = z - -8. Is n a prime number?
False
Suppose -2*d = -4*u - 18, -3*d = -4*d - 3*u - 1. Let r be 1 - ((-2)/2 + 1). Suppose -d*n + r + 94 = 0. Is n composite?
False
Let b be 1/4 + 30/8. Suppose -b*a = -80 - 68. Is a prime?
True
Suppose 4*o + 86 - 474 = 0. Suppose o = 3*s + i, 85 - 4 = 3*s - 3*i. Is s prime?
True
Let b = 255 - 96. Suppose b + 162 = 5*s + 2*q, -3*q + 59 = s. Is s a prime number?
False
Is 115/920 - (113102/(-16) - 0) a composite number?
False
Suppose 5*g - 126 - 164 = 0. Suppose g = s - 61. Is s a prime number?
False
Let p(g) = g - 4. Let w be p(8). Is ((-26)/w)/((-1)/10) composite?
True
Let u(y) = y**2 - 4*y - 1. Let o be u(5). Suppose 4*r = -o*q - 42980, q - 2*q - 10730 = 4*r. Is 1/(-7) - q/35 composite?
False
Let g = -21 - 0. Suppose -3*o - 28 - 4 = 4*j, 4*j = -5*o - 56. Let q = o - g. Is q prime?
False
Let h(r) = -r**3 - 10*r**2 + 12*r + 5. Let j be h(-11). Is (-5526)/(-12)*(-4)/j a composite number?
False
Let r(o) be the second derivative of -o**5/20 + o**4/3 + 5*o**3/6 + 2*o**2 - o. Let g be r(5). Suppose v + g = 23. Is v composite?
False
Let v(u) = 12*u + 3. Suppose -2*a + 26 = 2*i, -4*i - i = -2*a - 79. Let g = -11 + i. Is v(g) prime?
False
Let i = -5 - -3. Is 164/12 - i/(-3) prime?
True
Suppose 0 = -3*k - 2*k + 270. Let q = -8 + k. Is q a prime number?
False
Let f(d) = -1 + 5*d**2 - 3*d + 3 - d**3 - d**2. Let b be f(3). Suppose 455 = 5*u + b*o, -107 + 16 = -u - 2*o. Is u a composite number?
True
Let t(x) be the first derivative of x**2 - 6*x - 2. Let l be t(4). Is (2/3)/(l/201) prime?
True
Is 5/(-25) + (-4758)/(-15) prime?
True
Let k = 930 - -469. Is k a composite number?
False
Suppose k + 29 = 88. Is k composite?
False
Let c = 1 + -4. Let a be 13/(-4) - c/12. Is a/(-5) - 342/(-5) composite?
True
Let u = -47 + 286. Is u prime?
True
Let j = 16 + -14. Suppose -k + 42 = j*k. Is k a prime number?
False
Let s(r) = 9*r**2 - 5*r - 5. Let n(o) = 26*o**2 - 14*o - 14. Let z(v) = 6*n(v) - 17*s(v). Let k be 42/35*10/4. Is z(k) composite?
False
Suppose -1401 + 3602 = 3*m + 4*x, 2*m = 4*x + 1454. Let w = -506 + 190. Let s = m + w. Is s prime?
False
Let y(a) = 2 - 3 + 0*a**2 - 11*a**2. Let r be y(-2). Let k = 76 + r. Is k composite?
False
Suppose -3*g + 4928 = g. Suppose 0*b + g = 2*b. Let f = b - 315. Is f prime?
False
Suppose 0 = w + 4*w - 700. Let i be 52/14 + (-8)/(-28). Suppose -i*r + 2*t = -w, r - t = 4*t + 53. Is r a composite number?
True
Suppose 4*n + 16 = 8*n. Suppose -b + w + 22 = -17, n = w. Is b composite?
False
Suppose 7 + 8 = -u. Is (1 + 1)*(-2235)/u composite?
True
Let j(l) = l**3 - 5*l**2 - 5*l - 1. Let h be j(6). Let w(g) = 4*g - 5. Let m be w(h). Suppose -2*s + 41 = m. Is s composite?
False
Let q(n) = -n**3 + 8*n**2 + 8*n - 8. Is q(7) a prime number?
True
Let r be 3*((3 - 0) + 4). Suppose r = 2*j - 167. Is j prime?
False
Let n be -2 + (-2 - -1)*-7. Let s(f) = f**2 - 4*f - 1. Let z be s(n). Suppose 4*w - z*y = y + 95, -3*y = -4*w + 97. Is w prime?
False
Let s be (16/10)/(2/(-15)). Is (332/6)/((-8)/s) a composite number?
False
Let t(w) = -w**2 - 19*w - 17. Suppose -29 + 1 = 4*h. Is t(h) a prime number?
True
Let p be 6/(-21) + 65/7. Let m = p - -24. Is m composite?
True
Let n(h) = -h**2 - 3*h + 4. Let q be n(-4). Let y = 0 + q. Suppose -i + 25 = -y*i. Is i a composite number?
True
Suppose -2 + 4 = w. Let i = 13 - 10. Suppose 2 = 2*q, -2*r - 12 = -i*r + w*q. Is r prime?
False
Let s(g) = -37*g - 5. Suppose -4 = -3*u - 2*f - 2*f, -3*f + 3 = 2*u. Suppose 2*q - 5*a + 8 = 0, 0 = -4*q - 3*a - u*a - 16. Is s(q) prime?
False
Let o be 0/(-3) + (0 - 2). Let d be 0/((2 - 3) + 3). Is o - -2 - (-35 - d) a prime number?
False
Let d(r) = -r**3 + 2*r**2 + r. Let t be d(-1). Suppose -3*y = t*y - 390. Suppose -20 + y = k. Is k composite?
True
Let k(h) = 406*h**2 - 5*h + 6. Is k(1) prime?
False
Let h(y) = -y + 7. Let c be h(6). Let v be 0 - (c + -2 - 1). Is -19*(v/(-1) + -3) a composite number?
True
Suppose -v + 3 = 2*s - 1, 4*v + 2*s = 16. Suppose 0 = v*a + 128 + 132. Let z = a - -132. Is z a prime number?
True
Is (-2)/((8/(-758))/2) a prime number?
True
Let v(p) = p**2 - p - 2. Let f be v(-2). Suppose f*u - 795 = -u. Suppose -t = 2*t - u. Is t prime?
True
Suppose 6*l = l + 25. Suppose 24 = c + l*f, 3*f = -5 - 1. Is c prime?
False
Suppose 2*q = 10*q - 5448. Is q prime?
False
Let r be (2 + 0)/((-2)/(-10)). Suppose 5*m - 3*s = 590, m - 105 = -4*s - r. Is m a composite number?
True
Is ((-19)/(-4))/(10/200) composite?
True
Suppose 2*i = 3 + 1. Suppose 5*j - 4*c = 815, 2*j + 10 = i*c + 336. Is j a composite number?
False
Suppose 0 = 4*i - 2*y - 2526, i + y - 630 = -0*y. Is i prime?
True
Let r(h) = 6*h**3 - 3*h - 2*h**3 - 8 - h**2 - 5*h**3. Let g be r(-7). Suppose -5*i + g - 72 = 0. Is i a prime number?
True
Let f = -517 - -810. Is f composite?
False
Let d(l) = 2*l - 6. Let j be d(4). Suppose 633 = 3*b + h, 109 + 313 = 2*b + j*h. Is b a prime number?
True
Let r(t) = 3*t**3 + t**2 - t - 9. Is r(5) a prime number?
False
Let y = -402 + 995. Is y prime?
True
Let b(t) = 15*t**3 + 3*t**2 - 4*t + 21. Is b(5) a prime number?
True
Suppose 2460 - 250 = 10*c. Is c composite?
True
Let f(y) = -2027*y - 5. Is f(-2) prime?
True
Suppose 4 = -2*u + 12. Suppose -c - 8 - 8 = -u*t, 2*c + t - 13 = 0. Let v = c + 10. Is v composite?
True
Let z(g) = -g**3 + 6*g**2 - g + 6. Let c be z(6). Let v(w) = -w + 11. Is v(c) a composite number?
False
Let d be 2/(-4) - (-25)/(-10). Let i be (1 - -1)/((-6)/15). Let x = d - i. Is x a composite number?
False
Is 3 - 0 - 328/(-1) composite?
False
Suppose -5*b + 5*p + 75 = 0, -2*p = 2*b - 11 - 7. Suppose 3*c - b = -0*c. Suppose 0 = -c*m - 0*m + 84. Is m a composite number?
True
Let m be ((-3)/(-2))/(1/2). Is 424/6*m + -1 a prime number?
True
Suppose 6*y - 164 = 4*y. Is y a prime number?
False
Is ((-797)/(-4))/(4/16) a composite number?
False
Let r be (-2)/(2 + 0)*3. Let v = 2 - r. Suppose -3*f + 28 = i - 0*i, 3*f - 32 = -v*i. Is f composite?
True
Suppose f - 5*f + 212 = 0. Suppose 4*m = 5*m - f. Is m prime?
True
Let z be ((-486)/(-30) + -1)*(5 + 0). Suppose 9 = 4*q - 3. Suppose a = q*a - z. Is a prime?
False
Let m = 43 - 20. Let s = m + 104. Is s prime?
True
Let g(a) = a**3 + 10*a**2 + 2. Let f be g(-10). Suppose -f*m + 3*m = 223. Is m composite?
False
Let t = -15 + 73. Let s be ((-2)/5)/((-1)/5). Suppose -59 = -s*n - 3*x, 3*n + 3*x - t = 26. Is n a composite number?
True
Let d = -140 + 447. Is d prime?
True
Suppose -2*u + 21 = u. Let p(m) = -m**3 - u + 2*m - 7*m - 5*m**2 + 0. Is p(-6) a composite number?
False
Let t = -281 - -678. Is t composite?
False
Suppose -3*t - 4*f + 1072 = t, 1073 = 4*t + 3*f. Is t a composite number?
False
Let x = -242 + 441. Is x a composite number?
False
Let l(u) = -16*u - 2. Let v(i) be the first derivative of i**4/4 - 8*i**3/3 + 7*i**2/2 - 3*i - 3. Let y be v(7). Is l(y) a prime number?
False
Let t be 26/(-4) + 3/6. Let y(d) = -3*d**2 - 7*d - 12. Let c(w) = -2*w**2 - 6*w - 11. Let v(h) = 5*c(h) - 4*y(h). Is v(t) prime?
False
Let s = 8 - 4. Suppose 126 - 397 = -s*b - r, -3*r - 326 = -5*b. Is b a prime number?
True
Let i = -7 - -3. Let o(k) = k**2 + k + 3. Is o(i) a prime number?
False
Let h = 66