pose 2*u - 3*r = -0*r + s, -10 = -2*r. Is u prime?
True
Let k(y) = 5*y + 1. Let i be k(4). Is ((-2)/2 - i)/(-2) a composite number?
False
Let s = 91 - -36. Is s a prime number?
True
Suppose -1681 = 6*n - 68743. Is n prime?
True
Let g(a) = 16*a - 1. Let f be g(1). Is 2/5 + 2439/f prime?
True
Suppose -2*n - 80 = -270. Is n a prime number?
False
Suppose 7*h = 3*h + 520. Let b = h + -92. Is b composite?
True
Suppose 5*x = 3*x + 8. Suppose x*l - 118 = -2*c, -3*c - 5 = -4*c. Is 2*(-2)/(-12)*l a prime number?
False
Let j = -8 - -14. Suppose -3*l + 32 = 4*f, f + j = 4*l - f. Let o(m) = 2*m**2 + 1. Is o(l) prime?
False
Let n = 163 + 90. Is n prime?
False
Suppose -3*d + 50 = -5*s, s - 5*d - 16 + 48 = 0. Let r(n) = 0*n**2 - 4 + 5*n**2 - 2*n + 2*n**2 + n**3. Is r(s) a prime number?
False
Suppose -4*m - 3754 = -5*h, 3*h + 5*m + 204 - 2486 = 0. Let y = h + -377. Is y a composite number?
True
Let j be 62343/18 - 1/2. Suppose -5*i + j = 18. Is i composite?
True
Suppose -9 = -5*s - 3*d - 4, -s + 29 = -5*d. Let b be (s/(-6) + 1)*3. Let f(p) = 26*p**2 + p - 1. Is f(b) prime?
False
Let d(f) = f**3 + 7*f**2 + 6*f + 4. Let t be d(-6). Let j = -43 + 154. Suppose t*h = h + j. Is h a prime number?
True
Suppose 1542 + 2105 = 7*u. Is u a prime number?
True
Let m = -2920 - -4121. Is m prime?
True
Let n be (-9)/(-27) + 16/6. Suppose -f = n*f - 76. Let p = f + -10. Is p composite?
True
Suppose 47*m + 1292 = 51*m. Is m a composite number?
True
Suppose 4*m + 12 = 4*u, 5*m + 1 = u + 6. Suppose 4*w = m*z - 5*z + 193, 2*z + w - 132 = 0. Is z composite?
False
Let p be (5 - -2)/(2/14). Suppose -p = -3*r + 5*v + 47, 117 = 3*r + 2*v. Is r composite?
False
Suppose -2*a - a + 93 = 0. Is a a composite number?
False
Suppose p = 4*y - 0 + 1, 8 = -5*y - p. Let s(x) = 45*x**2 + 1. Is s(y) composite?
True
Let v(p) = -3*p + 6. Let b be v(-6). Suppose 4*w = 4*d - b, 2*d + 3*w = 4*w + 10. Is (-42)/(-3)*10/d composite?
True
Let o be 1 + 396/(3 - 2). Let f be (-22)/(-77) + (-19)/(-7). Suppose -t = -f*g + t + 235, -2*t + o = 5*g. Is g prime?
True
Suppose 3*a + 650 = 5*b, 5*b + 4*a - 810 + 195 = 0. Suppose -3*v - 16 = -b. Is v composite?
False
Is -1*(4/4 + -96) composite?
True
Suppose -8 = 3*s - s + d, s = -d - 4. Let o = 4 + s. Suppose o - 37 = -w. Is w composite?
False
Suppose -8*f - 745 = -5*u - 3*f, 0 = -5*f. Is u a prime number?
True
Suppose 3*s + 15 = -0. Let h(v) = v**2 - 2*v + 4. Is h(s) a composite number?
True
Suppose -7*m + 2*m = -2510. Is m a prime number?
False
Let k be (-1)/(0 + 1) - -1. Suppose 5*z = u - 0 + 4, k = 5*u - 5. Let x(c) = 87*c**2. Is x(z) prime?
False
Let d = -2 + -1. Let h = d + 22. Is h a prime number?
True
Let r be 4 + 468 + (-3 - -5). Suppose j = -j + r. Is j composite?
True
Is (5/(-40)*-8)/(2/1270) prime?
False
Let f(h) = 26*h**3 - 2*h**2 - 2*h + 3. Is f(2) a prime number?
True
Let l = -1036 - -1913. Is l prime?
True
Suppose 2*o + 3*y - 2*y = 1776, -5*o = y - 4443. Is o a prime number?
False
Let v be (2/(-4))/((-2)/8). Let u be -2 - (-82 + 6 + -3). Suppose 4 = -n + v*n, -t + u = -2*n. Is t a prime number?
False
Suppose 3*i - 3*o - 1593 = 0, 0 = -3*i + o - 5*o + 1565. Is i a composite number?
True
Let s(u) be the second derivative of 2*u**3 - 7/2*u**2 - 3*u + 0. Is s(8) a prime number?
True
Let p be 2/((-1)/(-48)*4). Is 3870/p + (-2)/8 composite?
True
Let t(b) = -2 + 4*b - 1 - 2*b - b. Let x be t(-6). Let u = 5 - x. Is u a prime number?
False
Let q = 1 + 1. Suppose -2*z - 2*j + 60 = -0, 0 = -4*j - 20. Is z + -2 + 2 - q a composite number?
True
Let m(p) = 5*p**2 - 5*p + 2. Let c(h) = h**2 - h + 1. Let d(y) = -2*c(y) + m(y). Suppose -5*i = -3*w - 14, 0*i + i - 12 = -4*w. Is d(w) a composite number?
True
Suppose 3*k + 4*q + 1 = -59, q + 40 = -2*k. Let j = k + 147. Is j a composite number?
False
Let r = -156 - -319. Suppose 2*h + 2*s - 326 = 0, 0*s + r = h - 3*s. Is h a composite number?
False
Suppose 1666 = 3*f - 3587. Let q = 2658 - f. Is q composite?
False
Suppose -3*f + 367 = -2*q, -3*q - 610 = -5*f + 2*q. Let k = 10 - 18. Let c = k + f. Is c prime?
False
Let i = 2624 + -1398. Is i a prime number?
False
Let d = -2291 - -3442. Is d a composite number?
False
Let a be (1 + 1 - -6)/1. Let p = a - -1. Is 1*p - 4/(-2) a composite number?
False
Let v(g) be the first derivative of 6*g**2 - g - 3. Is v(2) composite?
False
Let b be ((-3)/2)/(7/(-14)). Suppose 4*v - 3*w - 48 - 55 = 0, 0 = -b*v + 5*w + 91. Is v composite?
True
Let f = -75 + 149. Suppose 5*r - 3*r = f. Is r prime?
True
Suppose 5*m + 5 - 30 = 0. Let g(q) = -q**2 + 11*q - 6. Let t be g(m). Suppose -3*w + l - t = -4*w, -4*l + 77 = 3*w. Is w composite?
False
Let u(t) = t**2 + t**2 + t**2 + t. Let j be u(-1). Suppose 0 = -v - j*n + 35, -4*v + 38 + 92 = 3*n. Is v prime?
True
Let i be (-6 + 2)*(-5)/(-2). Let l(d) = -d**3 - 10*d**2 - d - 5. Let a be l(i). Suppose 142 = 4*v + 2*y, -y = -v + a*v - 145. Is v prime?
True
Let n(k) = 2*k**2 + 8*k + 9. Let u be n(-7). Is (-2)/(-2)*u*1 prime?
False
Let b = -11 + 6. Let p(a) = 6*a + 3. Let u(t) = -11*t - 6. Let x(s) = b*p(s) - 3*u(s). Is x(6) a composite number?
True
Is (262/2 - 4) + 0 a prime number?
True
Let g(b) = -b**3 - 5*b**2 + 8*b - 9. Let v be ((-6)/(-3) - 1)*-23. Let z = v + 16. Is g(z) a prime number?
False
Suppose 6*k + 136 = 2*k. Is (-4)/((-16)/k)*-14 composite?
True
Suppose 4*y - 361 = 223. Suppose -5*c - y = -541. Is c a prime number?
True
Is -6964*(6/(-4) + 30/24) a composite number?
False
Let g(x) = x**2 + 3*x + 11. Let p(z) = z**2 + 2*z + 12. Let r(t) = 7*g(t) - 6*p(t). Let k be r(-8). Is (k/(-2))/((-3)/(-42)) composite?
True
Suppose -a + 4635 = 2*z, -5*a - 2312 = -4*z + 3*z. Is z a composite number?
True
Let b(w) = -w**3 + 6*w**2 - 3*w - 7. Let q be b(5). Suppose -3*p - 2*p + 426 = 2*i, q*i = -2*p + 661. Is i a prime number?
True
Let g(v) = -2*v**3 - 2*v**2 + v - 1. Let t be g(-2). Is t + -1 + -3 + 5 a composite number?
True
Let h = 537 + -242. Is h a prime number?
False
Let b(o) = -16*o + 7. Let k(u) = u + 1. Let s(a) = -b(a) + 5*k(a). Let g be s(2). Suppose g = 3*x - 2. Is x prime?
False
Suppose -3453 = -2*j + 2029. Is j composite?
False
Is (-2)/4 + (-153)/(-6) a prime number?
False
Suppose 0*l + 9 = 3*l. Let p be (l/(-3))/(-1) + 1. Suppose p*o + 2*o - 112 = -4*f, 4*o = -f + 103. Is o a prime number?
False
Suppose 2*w - 7*w - 11 = -3*j, 4*j - 24 = 2*w. Suppose j*h - 3*h - 58 = 2*r, 5*r - 65 = -4*h. Is h a composite number?
True
Let q(h) = 1 - 3*h**3 - 5*h + 3*h**2 + 0*h**2 - 9*h**2. Is q(-5) a composite number?
False
Suppose 0 = -5*v + 7726 + 4219. Is v composite?
False
Let n(l) = -l**3 + 5*l + 3*l**3 - 2*l**3 + l**3 - 6*l**2 + 2. Let d be n(5). Suppose w = -d*a + 75, 0*w + 4*a = 4*w - 312. Is w prime?
False
Suppose -5*b + x + 27 = -165, x = -3*b + 112. Is b a prime number?
False
Let l = -7 + 9. Suppose -194 = g - l*g. Is g composite?
True
Suppose -2061 - 5306 = -5*q - d, -4*q - d + 5894 = 0. Is q composite?
True
Suppose -25 = -4*z - z. Suppose 15 = z*u - 10. Suppose -5*b - 2*q + 60 = -b, -u*b = -3*q - 75. Is b prime?
False
Let t(p) = 13*p**3 + 2*p**2 + 3*p - 3. Is t(2) a prime number?
False
Suppose 3*o - 86 = -4*r + 37, -o = -2*r + 59. Let u = r + -11. Is u prime?
True
Let v(g) = 4*g**2 + 3 + 2*g**2 + 4 - g. Suppose 0*c + c + 4*o = -6, 4*c - 33 = 3*o. Is v(c) a composite number?
True
Let z = -9 - -8. Let q be (-2)/6 + (-43)/(-3). Let n = q - z. Is n composite?
True
Let k be ((-1)/(-2))/((-4)/8). Is ((112 - 3)*k)/(-1) composite?
False
Let a(t) = 16*t**3 - t + 1. Is a(2) a prime number?
True
Suppose -4*h - 3*v = -20, h - 14 = -2*h - 2*v. Suppose 844 = 2*x + h*x. Is x composite?
False
Suppose 3*t - 2*l = 603, 5*l - l - 215 = -t. Is t a prime number?
False
Let b(z) = z**2 - z + 5. Let o(h) = h**2 - 7*h + 1. Let f be o(7). Suppose s + f = -4. Is b(s) a composite number?
True
Let d(l) = l**3 - 4*l**2 + 3*l + 7. Let z be (-26)/(0 + 2/(-1)). Suppose -g = -2*a + z, 0 = a - 5*a + 3*g + 29. Is d(a) a composite number?
False
Let n(j) = -96*j - 3. Let d be n(-4). Suppose w = -2*w + d. Is w composite?
False
Suppose -3*g = -4*g - 5. Let w(q) = 20*q - 19. Let k(l) = -10*l + 9. Let r(p) = 13*k(p) + 6*w(p). Is r(g) composite?
False
Let r(b) = -b**2 + 12*b - 5. Let y be r(11). Let z = y + -3. Suppose 4*h - 27 = z*h - 5*x, 0 = -2*h - x + 18. Is h composite?
False
Let c(a)