*g - 4*g + d + 12 = k, 0 = -4*d. Suppose 88 = 4*a + g*h - 5*h, -4*a = h - 94. Is a prime?
True
Suppose 0 = -y + 2*r + 28, -2*r = -5*y + 2*r + 146. Suppose 4*c - y + 82 = 0. Let z(t) = t**2 + 8*t - 12. Is z(c) composite?
False
Suppose 5 = -3*g + 4*g, 6318 = 3*u - 3*g. Is u composite?
False
Let t(r) = r**2 - 4*r - 2. Let x be t(5). Suppose 4*k - x*k - 959 = -5*d, 4*k - 589 = -3*d. Is d composite?
False
Is ((-48)/32)/(2/(6236/(-3))) a prime number?
True
Let k = 5 + -5. Is k + 0 + 1*46 prime?
False
Let v = -28 + 185. Is v a composite number?
False
Let o = 43 + -69. Let z = 36 + o. Suppose -i - 7 + z = 0. Is i a prime number?
True
Let w be (-3 - (-26)/10)*-5. Let b = 48 - -1. Suppose -b + 7 = -w*o. Is o a prime number?
False
Suppose -2*s = -619 - 121. Is (s/20)/(1/10) a prime number?
False
Is (-507)/(-4) - (-3)/12 prime?
True
Suppose 0 = 4*j - 2 - 2. Let u be 3 - (j + -1)/(-1). Is 4/u*45/6 prime?
False
Let y(v) = 465*v + 11. Is y(2) a prime number?
True
Let j(n) be the second derivative of n**6/80 + n**5/120 - n**4/12 + 2*n. Let u(x) be the third derivative of j(x). Is u(2) a composite number?
False
Let x(o) = -9*o**3 + o**2 - 4*o - 1. Is x(-3) composite?
False
Suppose -6 = -x - 4*v + 5, 5*v + 5 = -5*x. Let a be (x/4)/(2/(-936)). Suppose -5*m + 92 - a = -3*l, -795 = -5*l - 5*m. Is l composite?
True
Let x be ((-6)/18)/((-2)/12). Let j = 5 - x. Suppose 4*y = -0*y - 5*p + 227, 0 = -2*y + j*p + 97. Is y a prime number?
True
Is 394 + -4 + -4 + 11 composite?
False
Let t(c) be the second derivative of 3*c**5/20 - c**3/3 + 2*c**2 + c. Let d be (-5)/2*12/(-10). Is t(d) prime?
True
Let k(o) = -76*o - 7. Let v(r) = -153*r - 15. Let d(z) = 13*k(z) - 6*v(z). Is d(-1) prime?
False
Let k(h) = -h - 1. Let q be k(-1). Suppose q = -3*c - 13 - 11. Is 77 - (-2 - c)/(-3) a composite number?
False
Suppose 3*r = -185 + 728. Suppose 3*g - r = -4*b, 4*b - 166 = -2*g + 4*g. Is b prime?
True
Suppose -5*b + 38 = 2*u, -u - 3*u - 2 = -3*b. Is ((-1)/(-2))/(b/1164) composite?
False
Let l(j) = 395*j + 4. Let c be l(4). Suppose a + 569 = c. Suppose 0 = 4*b + b - a. Is b a prime number?
False
Let j be 0 - (-2 + 1/(-1)). Suppose 0 = -3*l - 2*c - 1, 3*l + 3*c + j = -0. Suppose -l = 2*a - 3*a, 5*a + 90 = h. Is h prime?
False
Suppose -4*a = -135 - 13. Is a prime?
True
Suppose -5*g = -6*z + 7*z + 4, -5*z + 3*g - 20 = 0. Is (6 - 18)*23/z a composite number?
True
Let m(y) = -y**3 - 6*y**2 - y - 2. Let b be m(-6). Suppose -4*g + 5*z = -872, -465 - 634 = -5*g + b*z. Is g a prime number?
True
Let z(f) = -f**2 + 10*f - 7. Let u be z(7). Suppose 4*c - 54 + u = -4*j, -5*j - 4*c + 46 = 0. Is j a composite number?
True
Let h = 783 + 1870. Is h a composite number?
True
Let b(o) = 247*o**2 + 2. Is b(-1) a composite number?
True
Suppose 19 = 2*v + 5*n, -4*v - v + n = -7. Suppose v*r + 4 = 3*r. Is r a composite number?
True
Suppose 1585 = 3*q - 2*u - 516, u = -4*q + 2805. Is q prime?
True
Let x(r) be the third derivative of -7*r**4/24 - r**3/6 + r**2. Let f = -5 - -4. Is x(f) prime?
False
Suppose 2*n + 28 = 2*h - 2*n, -3*n + 1 = 4*h. Suppose 2*a - h*d = 666, 5*a + 0*d - 1654 = -d. Is a prime?
True
Let j be 1/(-3*(-2)/264). Let s = -23 + j. Is s composite?
True
Let w = -132 - -584. Is (w/(-4))/((-2)/2) composite?
False
Let s be 2/(-11) - (-8334)/99. Let m = s + -29. Is m a prime number?
False
Let w be (-6)/(-24) + 578/(-8). Let j(s) = 20*s - 1. Let r be j(-2). Let d = r - w. Is d prime?
True
Suppose -10*x = 4*t - 11*x - 4994, 3*t - 3741 = 3*x. Is t a prime number?
True
Suppose -a - 56 - 53 = 0. Let f = -32 - a. Suppose 0 = -3*v + 4*v - f. Is v a prime number?
False
Let m = 616 - 358. Let k = -143 + m. Is k prime?
False
Is -1 - ((21 - 17) + -147 + 0) a composite number?
True
Let x(a) be the third derivative of a**5/60 + 7*a**4/24 + a**3/2 + 4*a**2. Let d be x(-6). Let c(z) = -2*z**3 + 3*z**2 - 2. Is c(d) composite?
False
Suppose -4*m = -8 + 76. Let d = m - -202. Is d composite?
True
Let x = -45 - -63. Suppose -m - m = -x. Is m a composite number?
True
Suppose 22 = 4*a - 2*y, -4 = -0*y - 4*y. Is a a composite number?
True
Suppose -s - v - 210 = -4*s, -2*v - 351 = -5*s. Let g(y) = y**2 + 9*y - 8. Let o be g(-8). Let x = o + s. Is x a composite number?
False
Let z = 3 - 0. Suppose s + 3*h - 11 = 0, -2 = -0*s - 2*s + 4*h. Suppose -s*m = -3*r - 568, 456 = m + z*m - 4*r. Is m prime?
True
Let g be (405/10)/((-1)/2). Let v = g + 45. Let n = v - -71. Is n composite?
True
Let p = -68 + 67. Let z(t) = t**2 + 5*t. Let h be z(-4). Is -1 - h/2 - p a prime number?
True
Suppose 480 = u + 185. Is u composite?
True
Let y = -7 - -5. Let q be 3 + y + 0 + -1. Let x = q - -9. Is x composite?
True
Suppose 41 = 3*o - 664. Is o prime?
False
Let b = 170 - 677. Is (b/9)/((-1)/3) composite?
True
Let j(z) = z**2 - 2*z - 1. Let c be j(-1). Suppose -3*h - 3 = 0, -4*q + 0*h = -4*h - 52. Suppose -c*n + 64 - q = 0. Is n a prime number?
False
Let f(r) = -r**3 - 7*r**2 - 3*r + 3. Let g be f(-7). Suppose -3*z = -0*z - g. Suppose -2*v + z = -86. Is v a prime number?
True
Suppose -3*i + 3*l = 2*i - 4882, -4886 = -5*i + 4*l. Is i prime?
False
Suppose 9527 = q + 6*q. Is q prime?
True
Is 1/2 - (-594)/4 a composite number?
False
Let y(h) be the second derivative of -3*h**5/20 - h**4/12 + h**2/2 + 4*h. Is y(-2) a composite number?
True
Suppose 5*v + 13 = -4*m, -11 = m - 3*m + v. Suppose -k - m*k + 20 = 0. Suppose 3*c = 5*u - 569, -k*u + 0*u + 5*c + 565 = 0. Is u a prime number?
False
Suppose 2*t = 12 - 4. Is (-3786)/(-9)*6/t composite?
False
Suppose 0 = -3*z - 3*f + 15, 2*z - 5*f - 8 = 2. Suppose -4*a + 3*a = 4, -z*y + 5*a = -285. Is y a composite number?
False
Let y = 10 + -39. Let p = 8 - y. Is p prime?
True
Let i be (-4)/18 - (-4)/18. Suppose 3*u - 69 - 615 = i. Is ((-2)/6)/((-4)/u) a composite number?
False
Let w be (-20)/35 + 234/(-7). Let u = w - -103. Is u a prime number?
False
Suppose -2*k + 3 = -1. Suppose 8 = k*b, 2*z - 26 = 4*b - b. Is z prime?
True
Let m be -2 - (0 + -5 + 0). Let v(y) = 13*y**2 - 2*y - 1. Let n be v(-2). Suppose -4*g = -r + n, m*r - 4*r - g = -70. Is r composite?
False
Suppose 3*z = 548 + 376. Suppose -2*f = 2*f - z. Is f prime?
False
Suppose 0 = -4*o - o + 3*d - 110, 3*o + 2*d = -47. Is o/((6/(-21))/2) composite?
True
Suppose -402 = -4*x + 5*t + 165, 2*t = -2*x + 270. Let l = 18 + x. Suppose -l = -0*u - 4*u. Is u a composite number?
True
Let v(i) = -29*i + 13. Is v(-10) prime?
False
Let d(s) = s + 8. Is d(15) composite?
False
Suppose -4*r - 20 = -6*r. Let y(t) = t - 7. Let k be y(r). Suppose k*g = g + 50. Is g a prime number?
False
Suppose -2*c - 116 = -3*g, 71 + 77 = 4*g + 4*c. Let j = g - -17. Is j composite?
True
Let o = 8 - 6. Let r be 4/4 + o*-3. Is (-12)/(-16) - r/4 prime?
True
Suppose 4*q - 5 + 1 = 0. Is q/2 - (-488)/16 a prime number?
True
Let l(f) = 169*f - 2. Let w be l(-2). Is (4/(-5))/(8/w) composite?
True
Let a = 182 + -120. Is a composite?
True
Suppose -3*j - d + 3345 = 0, 0 = 2*j - 3*d - 1015 - 1215. Is j prime?
False
Let c be (1 + 9)*(1 + 18). Let z = c + -128. Is z composite?
True
Let r = 5 - 5. Suppose 4*a + 230 + 15 = 5*d, -2*a + 10 = r. Is d prime?
True
Let t(r) = 11*r**2 + 8*r + 3. Is t(4) a composite number?
False
Let v = 3 + -4. Is v/3 - 3856/(-12) prime?
False
Suppose 5*j - 3450 = -4*b, j - 2*j + 5*b = -661. Suppose 692 = -w - k, -w + 0*k = -2*k + j. Is (10/3)/((-20)/w) composite?
True
Let w(l) = -l. Let f be w(2). Is ((-16)/(-12))/(f/(-6)) composite?
True
Suppose 3*y = 4*y - 18. Let m = 1 - 2. Is y - (-3)/(2 - m) a prime number?
True
Suppose 5*y - 6 = 4. Let r = 50 + -25. Is (r/y)/((-3)/(-6)) a composite number?
True
Suppose 7*c = 9*c - 236. Is c prime?
False
Let k(h) = -1. Let b(u) = -u**3 + 10*u**2 - 6*u - 16. Let f(x) = b(x) - 3*k(x). Is f(9) a composite number?
True
Let l = 1 - 1. Suppose 2*g + 10 = l, -4*x + 2 = -2*g - 0*g. Is ((-33)/x)/(6/8) composite?
True
Let n(z) = 11*z**2 - 9*z + 1. Let w(k) = -5*k**2 + 5*k. Let s(y) = -4*n(y) - 9*w(y). Let d be s(9). Is -1*3*d - 1 prime?
True
Let q = -360 - -611. Is q prime?
True
Let r(p) = -13*p**3 - 3*p**2 - 20*p - 14. Let c(y) = 19*y**3 + 4*y**2 + 30*y + 21. Let o(g) = -5*c(g) - 7*r(g). Is o(-6) composite?
False
Let o be (8/(-6))/(8/(-12)). Let f(q) = q**2 - 3*q + 2. Let k be f(o). Suppose k = -4*n - 4*h + 368, h = 4*n + 3*h - 362. Is n a c