 = -0*y - 1376, -3*j - 6820 = -5*y. Is y a composite number?
False
Let o be (-118)/8 + (-1)/4. Let m = -5 - o. Is 548/m - (-2)/10 a prime number?
False
Let t(d) = d - 5. Let j be t(-4). Let y be 0 - (-3)/(j/(-24)). Let n(g) = g + 11. Is n(y) a prime number?
True
Suppose 3*k = -4*v + 1187, v + v = -5*k + 611. Is v prime?
True
Let n(g) = -4*g**2 - 4*g + 1. Let a(o) = 13*o**2 + 13*o - 3. Let s(f) = -2*a(f) - 7*n(f). Let i be s(1). Is (-2 + i)/((-2)/(-230)) prime?
False
Suppose 0 = 17*n - 13*n - 8. Let d be (4/(-6))/(3/(-9)). Is (134/(-1 + n))/d a prime number?
True
Let x = -5 + 8. Suppose -235 = -x*w + 26. Is w composite?
True
Suppose 130 = 3*b - 110. Let y = -1 + b. Is y prime?
True
Suppose 2*v + o = -0*v + 1187, -o = -v + 586. Is v prime?
False
Is 3 + 1 - (1 - 464) a composite number?
False
Is (-3 + 0 + 2)/(2/(-1814)) prime?
True
Suppose 0 = 5*q - 4*o + 17, -5*q + q - 3*o - 26 = 0. Is q/(15/(-9)) - -88 prime?
False
Let w(o) = o**3 + 4*o**2 + 2*o + 3. Let n be w(-3). Suppose 0 = -2*r + n, 5*c + 0*c - 3*r = 6. Suppose -2*l - 38 = -5*k + c*k, 0 = -k - l + 23. Is k prime?
False
Suppose 0 = -8*t + 3*t + 25. Let a be (2*-3)/2 + 201. Suppose -2*q - t*x = -a, q + 93 = 2*q + x. Is q a prime number?
True
Suppose 0 = -3*o + 6 - 3. Let j(z) = -3 + 0 + 47*z + 2. Is j(o) a prime number?
False
Let w(c) = -c**3 + 24*c**2 - 5*c - 1. Is w(15) a composite number?
False
Let n(o) = -2*o**2 - 8*o + 12. Let t be n(9). Let w = -73 - t. Is w composite?
False
Let d(k) = 4*k**2 - 7*k - 5. Is d(7) a prime number?
False
Let d(g) be the second derivative of 5*g**3/6 + 7*g**2/2 + 3*g. Is d(6) composite?
False
Suppose 3*g = g. Let j(q) = -q + 82. Is j(g) a composite number?
True
Let y(k) = 4*k**3 - 10*k**2 + 5*k + 7. Is y(6) a prime number?
True
Suppose -3*v + 2 = 5. Let m be (-3 + -1)*(-1)/v. Is (2/m)/((-3)/66) a composite number?
False
Suppose -3 - 5 = 5*n + 4*y, -8 = 4*y. Let p be n*(-3)/6 - -1. Is p/(12/(-21))*-4 a composite number?
False
Let s(a) = -3*a**3 - a. Suppose p - 5 = 4*c, -3*c - 6*p = -p - 2. Let u be s(c). Suppose 66 = u*t + 14. Is t a composite number?
False
Let p = 1 - -1. Suppose 0 = -p*u - 2, 5*n = 2*n + 5*u + 191. Is n composite?
True
Let c(y) = y**2 - 9*y + 11. Let r be c(8). Suppose 0 = 2*u + r*a + 4 - 33, -5*u + 4*a + 38 = 0. Is u prime?
False
Suppose 0 = 3*j + 4*l - 119, 3*j + 4*l - 104 = 3*l. Let q = j + 0. Is q prime?
False
Suppose -3*l + 517 = -4*z - 616, -2*z - 1865 = -5*l. Let r = 250 - 460. Let p = r + l. Is p a prime number?
False
Let x(w) = 31*w**2 + 4*w + 11. Is x(6) composite?
False
Let g be 2/5 + (-1599)/(-15). Suppose 2*w = 4*w + p - 49, -4*w = 5*p - g. Is w prime?
True
Suppose 3*m = 10 + 8. Suppose m*k - 34 = 5*k. Is k composite?
True
Suppose 43 + 327 = -5*f. Let m be (-131)/3 - (-4)/6. Let g = m - f. Is g prime?
True
Let k be 2/(-5) - 6/(-15). Let h = 3 - k. Suppose -3*d - 139 = -h*t + 95, -d = -5*t + 386. Is t prime?
False
Suppose 0 = 2*z - 7*z - 20. Let x be -1*(z/(-2) + -1). Let b(o) = 4*o**2 + o + 1. Is b(x) a prime number?
False
Is ((-380)/(-2) - -1)*(1 - 0) prime?
True
Let y = -2 + 4. Let o = 5 - y. Is (-2)/o - 82/(-6) prime?
True
Suppose 3*w - 6*w + 2883 = 0. Is w a prime number?
False
Let x = 575 + -138. Is x composite?
True
Suppose -25 = -3*g - 7. Let c(x) = -3*x**2 + 13*x - 19. Let i(n) = 5*n**2 - 19*n + 29. Let t(h) = 8*c(h) + 5*i(h). Is t(g) a prime number?
True
Is ((-22)/33)/(2/(-1887)) a composite number?
True
Suppose 0 = -5*s + 2*s - 588. Let u(a) = a**3 - 11*a**2 + 11*a - 1. Let m be u(12). Let y = s + m. Is y prime?
True
Suppose -4*g + 17 = 5*w, 4*w + 1 + 7 = 4*g. Suppose g*s + 202 = -62. Let z = 45 - s. Is z composite?
True
Let o(m) = m**2 + 2*m + 3. Let t be o(-2). Let j(n) = 2*n**3 + 2. Let p be j(t). Suppose 2*u - c = 23, p = -0*u + 5*u - 3*c. Is u composite?
False
Suppose 6*x - 388 = 554. Is x a prime number?
True
Is ((-2755)/10)/(1*(-2)/4) composite?
True
Let y be ((-2)/(-3))/((-2)/(-327)). Let k = -56 + y. Is k prime?
True
Suppose 875 = 2*h - 5*o - 668, -4*h + 3097 = o. Suppose q - h = 7. Is q a prime number?
False
Suppose 0 = 2*g - 2 + 6. Is 1/g - (-1293)/6 composite?
True
Let w(d) = d + 424. Let s be w(0). Suppose 4*y - 320 = s. Let a = -109 + y. Is a a composite number?
True
Suppose j - 3*d - 111 = 28, -4*d + 619 = 5*j. Is j a prime number?
True
Let n = 118 - 81. Let j = n - 4. Is j prime?
False
Let h(w) = -w. Let u(j) = -2*j - 4. Let d(a) = -5*h(a) + u(a). Is d(5) prime?
True
Let i(r) be the third derivative of -r**4/6 + r**3/6 + 4*r**2. Let g be i(-1). Suppose -m + g*y = -0*m - 216, -2*y + 181 = m. Is m prime?
True
Let u(q) be the first derivative of 482*q**3/3 + q**2 + q - 7. Is u(-1) a prime number?
False
Let a(d) = -d**3 - 3*d**2 + d - 1. Let r = -5 + 2. Let u be a(r). Is (u/(-5))/((-10)/(-175)) a prime number?
False
Let v(q) = 8*q - 5. Let u be v(5). Suppose u = -5*y + 10*y. Is y a prime number?
True
Let w(x) = 5*x**2 + 3*x - 7. Suppose 2 = 3*n - 85. Suppose 0 - 3 = -j, 0 = -4*s - 3*j + n. Is w(s) composite?
True
Let m(x) = 250*x - 3. Let o be m(9). Suppose 4*v = o - 83. Is v a composite number?
False
Let r(w) be the third derivative of -w**4/24 - w**3/3 - 4*w**2. Is r(-5) prime?
True
Let i(m) = -m**3 + 3*m**2 + 5*m - 2. Let b be i(4). Suppose b*f - 186 = -f. Is f composite?
True
Let z = -3495 - -6766. Is z a prime number?
True
Is 5/(-2) + 25929/6 a prime number?
False
Let p(w) = 24*w**3 - w**2 + w. Let q be p(1). Suppose -4*c + q - 4 = 0. Suppose -3*g - c = -26. Is g a prime number?
True
Let j(f) = -f**3 + 30*f**2 - 31*f + 73. Is j(29) composite?
True
Suppose -13*o + 10420 = -9*o. Is o prime?
False
Let t(q) = q**3 + 22*q**2 - 7*q + 1. Is t(6) composite?
False
Let c = -1 - -3. Let b be c*(-3 + 53/(-2)). Let l = 8 - b. Is l a composite number?
False
Let z(v) = -33*v - 4. Let i = -4 - 1. Is z(i) composite?
True
Suppose 3409 = -5*j + 12*j. Is j composite?
False
Suppose 10 = -5*f - 0*f. Is (f/3)/(10/(-2445)) prime?
True
Let b = 730 + -79. Suppose m - 4*m = -b. Is m a prime number?
False
Suppose 0 = -5*q + 10, q = -2*r - 3*q + 22. Suppose -i + r = 2. Suppose -162 = -i*a + 233. Is a prime?
True
Suppose 0 = -2*v + 4*i + 32, 4*i = 2*v + 2*i - 30. Is v composite?
True
Let d(n) = 8*n**2 + 1 - 2 - 5*n**2 + 2*n. Let w be d(1). Suppose -172 - 96 = -w*m. Is m prime?
True
Let v = 5643 - 2374. Is v a prime number?
False
Let v = 100 + -15. Is v a prime number?
False
Let b(c) = -11*c + 26. Let m(d) = -7*d + 17. Let r(x) = -5*b(x) + 8*m(x). Let t be r(0). Is (t - 0) + (0 - -1) a composite number?
False
Suppose -3*q = -2*q + 5. Let n(w) = -12*w - 5. Is n(q) prime?
False
Let y = -1825 + 2564. Is y a composite number?
False
Let a = 11 + -7. Let c = a - 2. Suppose 71 = c*g - 5*d, -3*g - 206 = -8*g + 3*d. Is g a composite number?
False
Suppose -69 = -5*t + 96. Suppose 3*z + 3 - t = 0. Is z a composite number?
True
Let y = 317 - 133. Suppose -2 = -3*b + 3*v + 112, -5*b = v - y. Is b a composite number?
False
Let w = 3 + 62. Let c = -3 - -8. Suppose -5*h + 3*q = -0*h - 41, w = c*h + 5*q. Is h a composite number?
True
Let p(r) = 10*r**2 + 4. Let o be p(5). Suppose o = s - 611. Is s a composite number?
True
Let q = 338 - 225. Is q composite?
False
Suppose 0*p = 5*b - p - 2460, -513 = -b - 4*p. Is b a prime number?
False
Let w be (-11388)/(-44) - (-4)/22. Let c = w - 141. Is c a composite number?
True
Let y(b) = b**3 - 3*b**2 - 4*b - 2. Let a be y(4). Is a/5 + (-774)/(-10) prime?
False
Let z be 2/((-2)/(0 - 2)). Suppose z*r + 8 = 4*r. Is (-154)/(-8) - r/16 composite?
False
Suppose -6*a + 3*a - 552 = 0. Let u = -96 - a. Suppose 0 = -2*t + 54 + u. Is t composite?
False
Let y be (7/21)/((-1)/(-12)). Suppose -5*w + 4*c = -2083, 410 = 5*w - y*w - 3*c. Is w prime?
True
Let g(l) = -57*l**2 + 2. Let r(z) = 28*z**2 - 1. Let t(u) = 4*g(u) + 9*r(u). Is t(-2) prime?
False
Let n(j) = j**2 + j + 4. Is n(-6) a prime number?
False
Suppose -5*l - 35 = 2*j, 3*j + 61 - 3 = -2*l. Let g = j + 42. Is g prime?
False
Suppose 5*i - 2*v = 1081, 0 = -4*i - v - v + 854. Let h = i + -124. Is h composite?
True
Suppose 2*a + 3*j - 1002 = 56, 2*a - 1054 = -2*j. Is a prime?
True
Let s be 3/((-3)/(-2)) - -3. Suppose 2*y - 16 = -4*z + 230, 2*z = s*y - 663. Is y composite?
False
Suppose 27 = 3*g + g - 5*i, -5*g + 5*i = -30. Suppose 4*z = 2*n + g*z - 969, 0 = 2*n +