5*s + s + 2364. Is s a prime number?
False
Is 8/((-32)/(-12)) - -706 a composite number?
False
Let q = 0 + -9. Is (-3)/q - (-1446)/9 a composite number?
True
Is ((-133)/(-21) - 7)/((-2)/7833) composite?
True
Let d(s) = 442*s + 31. Is d(3) prime?
False
Suppose -2*s + f = -4*f - 31, -3*s + 43 = -4*f. Is s a composite number?
False
Suppose 0 = 3*y + 5*r - 29590, -5*y - 2*r + 0*r + 49323 = 0. Is y prime?
False
Suppose 7 = 3*w - w + l, -5*w = -2*l - 4. Let k(n) = 2 - 4 - 7*n**w + 7*n + n**3 + 0. Is k(7) prime?
True
Let n(d) = -24*d - 6. Let o be n(-7). Let i = -116 + o. Is i composite?
True
Let p = -23 - -27. Suppose -2*y = p*u - 456, u + 4*y - 567 = -4*u. Is u composite?
True
Let o(y) = y**2 - 3*y + 9. Let d be o(11). Let z = d - -156. Let p = z + -138. Is p prime?
False
Let u = 122 - 100. Is u a prime number?
False
Let i = 4 + -2. Is (-54 + 2/i)/(-1) a prime number?
True
Let v(k) = -k**3 + 6*k**2 - 4*k + 5. Let u be 30/(-3)*3/(-6). Is v(u) a prime number?
False
Let k(g) = 28*g + 3. Let c(q) = q**3 + 10*q**2 + 11. Let p be c(-10). Let m = -7 + p. Is k(m) a composite number?
True
Suppose c = 7*c - 10266. Is c prime?
False
Suppose 132 = -2*g + 4*g. Suppose -19*s - g = -22*s. Is s a prime number?
False
Let g be 1/(6/(-4) - -2). Suppose t + 223 = 2*p - 366, 0 = -2*p + g*t + 592. Is p prime?
True
Let a(x) be the first derivative of 2*x**2 - 6*x - 1. Let d(g) = -3*g + 6. Let t(n) = 4*a(n) + 5*d(n). Is t(7) a prime number?
True
Let k(n) be the third derivative of n**5/20 - n**4/8 - n**3/6 - 2*n**2. Is k(5) composite?
False
Let z = -90 + 1633. Is z a composite number?
False
Is (-2 - -143)*10/15 composite?
True
Suppose -3*x + u + 17 = 0, 4*x - 8 - 16 = 2*u. Suppose -3*i - 37 = -4*z, 3*z - 17 = x*i + 19. Is z composite?
False
Is 446 - (1 - 1 - -1) composite?
True
Let h(i) be the third derivative of -15*i**4/2 - i**3/2 - 3*i**2. Let d be h(-4). Let p = d - 386. Is p a prime number?
True
Let u(k) = k**2 - k + 67. Suppose 15 = 5*c - 0*c - 5*x, 0 = 4*x + 12. Is u(c) a prime number?
True
Let f = -12 - -14. Suppose -4*l = -l - 4*t - 385, -f*t = 5*l - 633. Is l composite?
False
Let s be (-141)/(4/((-64)/12)). Let m = s + -67. Is m a composite number?
True
Let z be ((-4)/8*158)/(-1). Suppose -5*r + 264 = z. Is r a composite number?
False
Let y be (0 + 2)*(2 - 1). Suppose -y*n + 0*s + 287 = s, 2*s = 3*n - 427. Is n a composite number?
True
Let k(u) = -5*u - 1. Let z(a) = -a. Let p(j) = 2*k(j) + 4*z(j). Let v be p(-3). Suppose i = v - 3. Is i a prime number?
True
Let d(l) = -12*l - 3. Is d(-11) a prime number?
False
Suppose -3*s = 3 + 3. Is (s/4)/((-1)/38) a prime number?
True
Let j be 1/4 - (-118)/8. Suppose -4*u + j = -5. Suppose -25 - 40 = -x + 3*i, 73 = x - u*i. Is x a composite number?
False
Let j(n) = n - 2. Let b be j(2). Suppose 3*i + 4*d - 345 = b, -454 = -3*i - d - 118. Is i prime?
False
Let f(r) = -r**3 + 9*r**2 + 11*r + 10. Suppose 0 = 3*h - 19 - 8. Is f(h) composite?
False
Let g(p) = -p**3 - 11*p**2 + p + 9. Is g(-12) a composite number?
True
Let q(c) = c + 8*c**2 + 2 + 6*c + 6 - 4*c. Is q(-7) a composite number?
False
Suppose -765 + 3141 = 3*p - 3*j, 3*j = 2*p - 1579. Let g = -264 + p. Is g a prime number?
False
Suppose -2*r - 173 = -485. Suppose -7*a = -3*a + 12, 0 = -3*w - 3*a + r. Is w composite?
True
Suppose 2*d - 4*o = 382, 5*d + 0*o = -2*o + 931. Suppose -d = -2*j + 99. Is j prime?
False
Let c(b) = 0 + 24*b - 5 - 2. Let i be c(8). Suppose 55 = -5*w + i. Is w composite?
True
Let n = -64 + 24. Let y be 5/(-2)*64/n. Suppose 0 = y*b - 65 - 35. Is b composite?
True
Let k = -33 + 139. Is k prime?
False
Let q = 1496 - 867. Let l(f) = f**3 - 4*f**2 + f - 4. Let o be l(4). Suppose q = 4*h - 5*x, 3*h - 477 = -o*h + 2*x. Is h a prime number?
False
Suppose 5*o = 5*l + 30, -3*l + 22 = 5*o - 0*l. Suppose -5*c - 519 = -r - 1717, -941 = -4*c - o*r. Suppose -5*f + c = 2*u, 3*u = -f + 6*f - 254. Is f prime?
False
Suppose -3*h + 459 = -420. Suppose h = 4*g - 3*g. Is g a composite number?
False
Suppose -4*f + 483 = -f. Is f a composite number?
True
Let h(c) = -3*c**2 + 5*c + 3. Let p(i) = -13*i**2 + 20*i + 11. Let b(x) = 9*h(x) - 2*p(x). Let w be b(5). Suppose 10*j = w*j + 15. Is j a prime number?
True
Let y = 892 + -459. Suppose -4*g + 607 = -y. Suppose 5*i - g = i. Is i composite?
True
Suppose y + 2*y - 471 = 0. Is y a composite number?
False
Suppose -8*g + 7*g = -2063. Is g prime?
True
Let h be (-4)/6 - (-14)/3. Let d be 4/16 - (-31)/h. Let b(u) = u + 6. Is b(d) prime?
False
Let m = 323 + -164. Is m a composite number?
True
Suppose 4 + 0 = r. Let a(b) = 4*b**2 + 4*b - 3. Is a(r) composite?
True
Let i be 4/(-6) - (-28)/42. Suppose i = -2*a - 2*a + 664. Is a composite?
True
Suppose -3*i + 0*i - 3 = x, -5*x = -3*i + 15. Suppose 4 = 2*b - i, 2*b + 107 = l. Is l composite?
True
Let j(c) = -c**3 + 4*c**2 + 24*c + 23. Is j(-11) composite?
True
Suppose 7*w - 2159 = 6*w. Is w a composite number?
True
Let i(o) = o**3 + 13*o**2 + o + 7. Is i(-5) a prime number?
False
Let o(v) = 296*v - 3. Is o(1) prime?
True
Let l be -1*(-4 + 2 - -2). Suppose -4*w + 5*z = -69, 2*w = -l*w - 3*z + 51. Is w prime?
False
Let n(w) = w**2 - 4*w + 2. Let k be n(4). Suppose 67 = x - 4*a, -5*x = k*a - 0 - 445. Is x a prime number?
False
Suppose -2*o - 3*o = -2*g + 23, 2*g - 3*o - 17 = 0. Suppose g = q - 73. Is q composite?
True
Let z be -3*15/(-9)*1. Suppose -z*y = 4 - 44. Suppose -3*h + 139 = -y. Is h a composite number?
True
Suppose -6*f + f - 3*l = -6370, -5*l + 5083 = 4*f. Is f composite?
False
Suppose 0 = 2*z - 3*x - 17 - 7, 0 = 2*x + 4. Is (10 - z)/((-1)/(-263)) composite?
False
Let f(k) = -k + 5. Let o be f(0). Let d(c) be the third derivative of -c**6/120 + 2*c**5/15 - 5*c**4/24 - c**3/2 + 21*c**2. Is d(o) composite?
False
Let n = -713 + 1008. Is n composite?
True
Suppose 4*n + 33 = -3*j, -4*n + 18 = -9*n + 4*j. Let l(s) = -3 + 10 + 4*s**2 + 6*s - 3*s**2. Is l(n) prime?
True
Let n(a) = -a**2 + 3*a + 1. Let g(t) = t**2 - 4*t - 7. Let w be g(6). Let f be n(w). Is (-202)/(-18) + 2/f composite?
False
Is (-7662)/36*-3*(-6)/(-1) a prime number?
False
Let y(r) = -225*r - 1. Let h be y(-1). Let t = h - 23. Is t prime?
False
Let x = 2443 - 882. Is x a composite number?
True
Is (-751 + 14)*(2 - 3) a prime number?
False
Suppose 0 = -2*o - 0*o + 6. Suppose -5 = 3*g + 2*m + o, -4*g = m + 4. Suppose u + 395 = 5*z, g = -u - 3*u. Is z a composite number?
False
Suppose p - 3*p = -3*w + 5, -3*w = -9. Suppose 357 = u - f + p*f, 369 = u - 2*f. Is u a composite number?
True
Let c = 16 - 11. Suppose 83 + 152 = c*g. Is g a composite number?
False
Suppose -3*c + 92 = -10*n + 5*n, -3*c = 5*n + 68. Let j = -15 + -12. Let p = n - j. Is p composite?
False
Is ((-8)/12)/(-2)*0 + 223 prime?
True
Let f = 2 - 2. Suppose f = 8*i - 3*i - 325. Suppose 0*l + i = 5*l. Is l prime?
True
Let o = 3 + -1. Suppose 3*y + 3*t = 654, 3*t = -o*t + 25. Is (-3)/6 - y/(-6) a composite number?
True
Suppose 479 + 597 = -4*d. Let t = 396 + d. Is t a composite number?
False
Is (-2 + -1117)*(-1)/3 composite?
False
Let d(n) = 2*n - 4. Let w be d(3). Suppose -802 = -w*v + 4*k, 5*v + 738 - 2727 = 2*k. Is v a prime number?
True
Let z(k) be the third derivative of -5*k**4 - k**3/6 - 3*k**2. Let b be z(-1). Let n = b + -68. Is n composite?
True
Suppose -441 = -5*d + 2*l, l + l = -6. Is d a composite number?
True
Let g(k) = k**3 - 3*k**2 - k - 8. Is g(6) a prime number?
False
Suppose 3661 = c - 1024. Is c composite?
True
Let g(x) = 32*x**2 + x + 1. Let q be g(2). Let i(w) = w**2 - 9*w - 10. Let a be i(14). Let o = q - a. Is o prime?
True
Let p = -131 + 264. Is p a prime number?
False
Suppose 3*f - 145 = -c + f, 5*c - 761 = -f. Let z = c + -282. Let u = z - -188. Is u a prime number?
True
Suppose -3*a = 3*b - 285, -5*b - 237 + 47 = -2*a. Is a composite?
True
Suppose -133 = -b - 5*n, 214 = 2*b + 2*n - 5*n. Let k be (-32)/(-4) + (-1 - 3). Suppose -3*x + k*u + b = 0, u = x - 6*x + 150. Is x composite?
False
Let y(q) = q**3 - 7*q**2 + 5*q - 10. Suppose -3*t + 2*t + 7 = 0. Let m be y(t). Let a = m - 18. Is a composite?
False
Let s = 34 - -843. Is s composite?
False
Let m = 11 - 6. Suppose -m*f + 163 = -4*f. Is f a composite number?
False
Suppose 2*d = -0*d - 4. Is (-1)/d - (-105)/2 a composite number?
False
Let b(z) = 4*z**2 + 5. Is b(-6) a composite numb