pose -4*s + 10 = -2*s. Suppose 3*j - 16 = -5*k, -3*k = -s*k + 10. Is 8 - (-2)/6*j prime?
True
Suppose 3 = -4*a + 23. Suppose a*d - d - 2*y - 40 = 0, 5*y + 10 = 0. Is 759/d + 2/3 composite?
True
Is (129 - -1) + (-5)/((-15)/(-9)) a composite number?
False
Let q(d) = 5*d. Let j be -4*(-1 - (-2)/4). Is q(j) composite?
True
Let k(u) = 24*u + 4. Let g(b) = 14*b + 1. Let f(q) = 13*q. Let o(y) = -2*f(y) + 3*g(y). Let a(v) = 5*k(v) - 7*o(v). Is a(2) a prime number?
False
Suppose -q + 2*q = 2. Suppose -t = -q*t + 67. Is t prime?
True
Let t(a) be the second derivative of a**5/60 - 5*a**4/24 + a**3/2 + 3*a**2/2 + 3*a. Let c(g) be the first derivative of t(g). Is c(5) prime?
True
Suppose y - 8 = -2. Suppose -y*d = -d. Suppose -3*u = 4*f - 17, 19 = 2*f - d*f + 5*u. Is f a prime number?
True
Let d be (-13 - -15) + 102 + 1. Let b = -28 + d. Is b a prime number?
False
Is (3/(-5))/((-7)/2905) a prime number?
False
Suppose 37 - 13 = 4*z. Suppose z*x = 8*x - 130. Is x prime?
False
Let o(q) = -7*q**2 + q - 19. Let d(z) = 4*z**2 + 9. Let a(t) = 5*d(t) + 2*o(t). Is a(-6) composite?
False
Suppose 160 + 136 = 4*h + 5*y, -4*y = h - 63. Is h prime?
True
Suppose 9*x - 3*x - 3102 = 0. Is x a composite number?
True
Suppose 2*u + u - 8103 = 2*r, 0 = u + 3*r - 2690. Is u composite?
False
Let y(j) = j**2 + 15*j + 8. Let v be y(-6). Is (2 + -1)/((-2)/v) a prime number?
True
Let u be ((-8)/(-24))/(2/(-18)). Let t = -1 - u. Is t prime?
True
Let r(h) = -h**2 - h**3 - h**3 - 5 + 0*h**2 + 3*h - 3*h**2. Is r(-4) composite?
False
Let w be 144*-1*(-8)/6. Suppose -5*x + 280 = -3*b - w, 473 = 5*x - 2*b. Is x prime?
False
Suppose 2*v - 44 - 67 = -3*h, 12 = -4*h. Suppose -4*k - m = -58 - 64, 2*k = -m + v. Is k a composite number?
False
Suppose -206 = u + 3*a, -4*u - 5*a - 410 = -2*u. Let j = u + 378. Is j a composite number?
True
Is (-2 - -1) + 1 + 553 a composite number?
True
Let t(b) = -120*b + 1. Let p be t(-1). Let u = p - 68. Is u a prime number?
True
Is 1534/5 + (-8)/(-40) a prime number?
True
Let k = -256 + 378. Let g be (2 + 6/(-2))*18. Is (-4)/g - k/(-18) prime?
True
Suppose -130 = 3*x - 43. Let v = -14 - x. Is v a composite number?
True
Is (-25101)/3*4/(-12) prime?
True
Let x = 227 + -339. Let d = x - -165. Is d composite?
False
Let v(s) = s**3 + 8*s**2. Let m be v(-8). Suppose m = -2*y + y + 106. Let t = y - -105. Is t prime?
True
Suppose -3 = -3*g - 0*g. Suppose 2*r = -5*t - 1 - g, -2*r - 4*t = 0. Suppose 2*x - r - 24 = 0. Is x prime?
False
Suppose 3*y - 6 = 0, -4*y - 12 = -i - 6*y. Suppose -i*t + 136 = -4*t. Is t composite?
True
Suppose -5*v = -0*v. Suppose 3*j + v*w - w = 393, -3 = w. Suppose r + 5*x = 10, -3*r = -x - 4*x - j. Is r a composite number?
True
Suppose l - 16 = 5*l. Let g = 0 - l. Let h = 15 + g. Is h composite?
False
Let o(y) be the first derivative of y**4/4 - 11*y**3/3 + 2. Let w be o(11). Is 5/((-10)/(-66)) + w composite?
True
Suppose -w + 23 + 27 = 0. Let t(h) = 2*h**2 + 21*h - 15. Let d be t(-14). Let r = d - w. Is r prime?
False
Let o = -208 + 587. Is o composite?
False
Let v(b) = -5*b**2 + b + 13. Let d(y) = -y**2. Let i(h) = -6*d(h) + v(h). Is i(0) composite?
False
Suppose -2*q - 56 = -z + 3*z, -q - 2*z - 30 = 0. Let u = 113 + q. Is u composite?
True
Let i(k) = 2*k**2 + 4*k + 2 + 0*k**2 - k**3 + 0*k**3. Let t be (-3 - 4/(-1))*-5. Is i(t) a prime number?
True
Suppose -t = -5*v - 389, 0*t + v = -3*t + 1183. Is t a composite number?
True
Let u = 1813 + 76. Is u prime?
True
Let u = -2 - -2. Let r(f) = -f + 21. Let s be r(u). Suppose -s = -a + j, 5*a - 3*a - 42 = 3*j. Is a a prime number?
False
Suppose -m = -4*f + 182, 0*f - 5 = 5*f. Is m/(-5) + (-48)/(-60) composite?
True
Let u = 127 - -180. Is u a composite number?
False
Suppose -2*j + 5*j - 12 = 0. Suppose 444 = j*d - 488. Is d composite?
False
Is ((-9465)/(-10))/(6/4) composite?
False
Let k = -49 + 120. Suppose -4*c - k = -1347. Is c prime?
False
Suppose 6 = -0*y - 2*y. Suppose 0 = 8*h - 4*h + 248. Is -4*h*y/(-24) a composite number?
False
Suppose 141*y + 1599 = 144*y. Is y a composite number?
True
Let p(d) = 10*d**2 + 3*d + 21. Is p(8) prime?
False
Suppose -5*m = 0, -5*t + 3070 = 4*m - 0*m. Is t a prime number?
False
Let i(o) = o**2 - o + 272. Let n be i(0). Let y = -178 + n. Is y a composite number?
True
Is 3 - 1/(2/(-8)) a prime number?
True
Suppose -9 = 3*r - 30. Let k(a) = 8*a**2 - 4*a - 8. Let v be k(r). Suppose 7*l - 3*l - v = 0. Is l a composite number?
False
Let o be 0/2 - 84/(-6). Let n be (-4)/(-14) - 4/o. Suppose -5*u + 130 + 100 = n. Is u a composite number?
True
Let u(q) = 32*q**3 + 2*q**2 - q. Suppose v = 4*v - 4*f + 5, -5*v - 3*f = -11. Is u(v) a composite number?
True
Let m = 8651 - 5452. Is m a composite number?
True
Let n(d) = d - 2. Let r be n(6). Suppose 4 + 0 = r*z. Let q = 5 + z. Is q prime?
False
Let v(p) = -p**2 - 2*p**2 - 5*p**3 + 1 + 4*p + 4*p**3. Let c be v(-3). Let r = c - -22. Is r a composite number?
False
Let j(s) = s**2 - s + 92. Suppose 5 = 2*p + y - 6*y, -4*p + 5 = -5*y. Let b be j(p). Let i = b - 39. Is i a composite number?
False
Suppose 9648 = 6*l + 1482. Is l prime?
True
Suppose -4*x + 2606 = 2*p, -4*x - 20 = -9*x. Suppose 0 = -0*b - 5*b + p. Is b composite?
True
Let q = 6 - -61. Is q a composite number?
False
Suppose -s + z = -0*s - 233, s - 5*z - 241 = 0. Let b = -104 + s. Is b a prime number?
True
Let d(h) = 19*h**2 + h + 3. Let g(o) = o**2 - 3*o - 1. Let k be g(4). Is d(k) composite?
True
Let u(h) be the first derivative of -h**4/4 + 3*h**3 + h**2 + 8*h - 1. Let n be u(9). Suppose q = s - n, -2*s - 12 = -5*q - 79. Is s composite?
True
Let x be (-3 + 13)*1/2. Suppose h + y = 5*h - 231, x*h - 291 = -y. Is h a composite number?
True
Suppose 0 = -5*s + 2*v + 22, v = -s + 2*v + 5. Suppose 75 = -3*u - 2*i + 574, s*i + 338 = 2*u. Is u a prime number?
True
Let p be ((-2)/(-6))/((-4)/(-24)). Suppose 0 = -p*w - 0*w + 606. Is w composite?
True
Suppose 3*c = -3*h + 6, -1 + 29 = 5*h - c. Let x = h + -3. Suppose -3*i + 44 = 5*u, 3*i = -x*u + i + 20. Is u prime?
True
Let b = 0 + 5. Let f = 9 - b. Is f a prime number?
False
Let k(a) = -148*a + 2. Suppose -6 + 4 = z. Is k(z) a prime number?
False
Suppose -2 = -4*l + 3*y, 2 = 5*l + y - 5*y. Suppose -l*z + 150 = -172. Is z a prime number?
False
Suppose v - 3*v = -1582. Is v a composite number?
True
Let s(z) = 18*z**2 - z + 2. Let n be s(-2). Suppose d - 3 = -0*d. Suppose 3*p + x = 52, 34 = 5*p - d*x - n. Is p prime?
True
Let h be 6/(-8) + 4/(-16). Is h*(0 + 1) + 54 composite?
False
Let n(h) = h**2 - 10*h - 9. Let z be n(8). Let r = 45 + z. Suppose 5*o = r + 635. Is o prime?
True
Let q(m) = -m + 12. Let j be q(10). Suppose 0*r = -j*r + 474. Suppose c + r = 4*f + 4*c, 0 = 2*f - 3*c - 105. Is f composite?
True
Let w(o) = 3*o**2 + 2*o - 7*o + 1 + 2*o + 0*o. Is w(2) a prime number?
True
Is -41*(2 - 5/1) prime?
False
Let u = 11 - 8. Suppose -2*b + 3*b - 79 = u*f, 4*f = 4*b - 300. Let w = b + -52. Is w prime?
False
Let y(f) = 24*f - 6. Let q(u) = -5*u + 1. Let z(a) = 22*q(a) + 4*y(a). Let s be z(-3). Suppose 4*j = 3*i + s, -5*i - 2 - 18 = 0. Is j a composite number?
False
Let k(h) be the second derivative of h**5/15 + h**4/12 + h**3/3 + h**2 - 4*h. Let y(g) be the first derivative of k(g). Is y(-2) a prime number?
False
Is 6265/25 + (-2)/(-5) a prime number?
True
Let r be 3*1/(3/6). Let f be (-2 - -6)*9/r. Suppose 796 = -2*a + f*a. Is a a prime number?
True
Is ((-74)/(-4))/(1/4) a composite number?
True
Suppose 0 = -h + 5, -4*y - 3*h = -h - 10. Suppose y = 2*m + m + 5*c - 165, -5*m = -4*c - 312. Suppose -41 = -2*z - w, 2*z + z + w - m = 0. Is z prime?
True
Is (-1)/(-3) + (-950)/(-3) a composite number?
False
Let q = 467 - -60. Is q a prime number?
False
Let m be (-4)/18 + 16/72. Let o = -9 - m. Is 534/o*6/(-4) a prime number?
True
Let b = -312 + 659. Is b a composite number?
False
Let m = -12 - -7. Let k(w) = -8*w**2 + 2*w - 3. Let h be k(m). Let i = h + 358. Is i prime?
False
Let z be ((-32)/(-2))/((-3)/(-6)). Let r = z - 13. Suppose 0 = 2*b - b - r. Is b a composite number?
False
Suppose l - 3*l = -638. Is l a composite number?
True
Suppose 0 = -3*w - 1170 + 4473. Is w composite?
True
Suppose 0 = -4*x - 20, 13 = 2*t + 2*x - 1. Let n = -2 + t. Is n a composite number?
True
Suppose -i = -l + 4*l - 2767, -4*l - 5*i = -3704. Is l prime