2 + d. Is k prime?
True
Let v = 388 - 182. Is v a composite number?
True
Suppose -1 + 7 = 3*f. Suppose -66 = -5*t + i + 2, 4 = f*i. Is t a composite number?
True
Let b(o) = o**2 - 6*o - 12. Let g be b(11). Suppose -3*s = 5*u + g, 35 = -5*u - 5*s - 10. Is (u/(-6) + -1)*159 prime?
True
Let h = 7 - 2. Let i(l) = 6*l**2 - 4*l - 5. Let v(d) = -25*d**2 + 16*d + 21. Let x(z) = 9*i(z) + 2*v(z). Is x(h) composite?
True
Let p(n) = 6*n**3 + 2*n**2 - n + 1. Suppose -2*i = -3*h - 7, -2 = 2*h - 0. Let o be p(i). Let q = 92 - o. Is q a prime number?
True
Let m = 51 - 32. Suppose -m = -5*g + 6. Suppose 4*p = 5*u + 38, -3*u + 30 = g*p + 1. Is p composite?
False
Let n(y) be the second derivative of y**4/6 + 5*y**3/6 - 3*y**2 + 8*y. Is n(7) prime?
True
Suppose 7*t - 5*j = 2*t + 525, -5*j = t - 105. Let y(l) = 3*l**2 + 4*l - 2. Let f be y(-2). Is f/((-309)/t + 3) a composite number?
True
Suppose 8*t = s + 4*t - 155, s - t - 149 = 0. Suppose -4*j + o = -4*o - s, -5*o - 104 = -3*j. Is j composite?
False
Let j(b) = 5*b**3 - 7*b**2 + 7*b - 2. Let i be j(5). Suppose 3*s - i = -0*s. Is s prime?
False
Let s = 214 + 693. Is s prime?
True
Suppose 43*g - 47*g + 29396 = 0. Is g a prime number?
True
Suppose -3*q = -10449 - 10290. Is q a composite number?
True
Let z(d) be the third derivative of 29*d**5/60 - d**4/12 - d**3/6 + 3*d**2. Let v be ((-1)/2)/((-3)/(-12)). Is z(v) prime?
False
Suppose -2*d - z = -5, -2*d + 2*z = -10 - 4. Suppose -74 + 390 = d*f. Is f prime?
True
Suppose 6 = -f - 7. Let u = 56 - f. Is u a prime number?
False
Let w(k) = -k**2 + 2. Let d be w(0). Suppose j = d*j - 3. Suppose -255 = -j*v - 108. Is v prime?
False
Let x(o) = o**2 + 3*o - 4. Let p be x(-7). Suppose 0 = -3*w - p + 198. Is w a composite number?
True
Suppose 4*m + l - 2349 = 0, -5*m - 2*l = l - 2938. Is m a prime number?
True
Suppose 2*v = 7*v + 125. Suppose 53 = -2*q - 23. Let t = v - q. Is t a prime number?
True
Suppose -q = -112 - 49. Is q composite?
True
Let u = 11 - 22. Is (u - -9) + 113*1 prime?
False
Let d = 128 - 61. Is d a composite number?
False
Suppose 0*i = 2*i - 678. Suppose -4*x + x = -i. Is x composite?
False
Suppose -11 - 5 = -w. Let q = w - 14. Is q a composite number?
False
Let s be ((-88)/6)/(10/(-15)). Is 0 + (-12)/(-4) + s prime?
False
Suppose -b = 4*o - 15, -3*b - 2*b - 5 = 0. Is o/26 - 19566/(-78) a composite number?
False
Suppose 2*q - 6 = -q. Is (-5)/q*(-3 + -7) a composite number?
True
Suppose 5*a - 3*z = z - 6, -5*z = -20. Suppose h + a*g - 173 = -0*g, 546 = 3*h - 3*g. Suppose 5*f + 24 = h. Is f composite?
False
Let i be (-24)/(-30)*(-10)/(-4). Is i/(-8) - (-385)/20 composite?
False
Suppose -3*y = -4*y - 1, 0 = -4*h + y + 9. Let j be h/(-5) - (-110)/25. Suppose -57 = s - j*s. Is s composite?
False
Let o(n) = -8*n**3 + 3*n**2 - 4*n + 4. Let r(g) = 7*g**3 - 3*g**2 + 3*g - 4. Let x(h) = 5*o(h) + 6*r(h). Is x(5) a composite number?
True
Suppose 4*k - 2*c = 14, -3*k - 1 = 4*c - 28. Let a(m) = 13*m + 12. Is a(k) a composite number?
True
Suppose -2*r - r = z + 9, -5*z = -r - 19. Is 2 - r/(4/153) a prime number?
False
Suppose -y + 3*g = 11, -y - 5*g = -g + 18. Let q = 22 - y. Let o = q - 17. Is o a composite number?
False
Is (27/12)/((-21)/(-140)) composite?
True
Let t be (246/(-4))/((-21)/112). Suppose 3*k = 2*i - 385, 37 + t = 2*i + k. Is i a prime number?
False
Suppose 4*r = -506 + 3222. Is r prime?
False
Suppose 0 = -6*o + 78 + 636. Is o composite?
True
Is (-373)/(-7) + 4/(-14) prime?
True
Suppose 5*u = 3*d - 2055, -2*d - 3*u = -4*u - 1370. Is d prime?
False
Let z(v) = -21*v**3 + 6*v**3 - 2 - v - 5*v**3 + 1. Is z(-2) a prime number?
False
Suppose 4*w + 4*f = 580, 2*w + 443 = 5*w + f. Is w a prime number?
True
Suppose -l = -5*k - 72, -2*l = -3*k - 31 - 8. Let v be (2 - k/(-6))*-222. Suppose -5*w = -2*w - v. Is w prime?
True
Is 2 - -123 - 1*-2 composite?
False
Let j = 84 + -29. Is j composite?
True
Suppose -4*f = -5*f + 587. Is f prime?
True
Let d be ((-1)/((-2)/460))/2. Let n = d - 62. Is n a composite number?
False
Let l(h) = 2*h + 4. Suppose -9 = g - 4*g. Is l(g) prime?
False
Suppose -690 = -d - 4*w - 107, 5*d + w - 2820 = 0. Is d composite?
False
Let p = -271 + 558. Is p composite?
True
Let i = 289 - 206. Let b(p) = p**3 - 7*p**2 + 5*p + 16. Let c be b(8). Let y = c - i. Is y a prime number?
True
Let r be 6/(-27) + (-816)/(-27). Let v = r - -21. Is v a prime number?
False
Suppose -2*d + 318 = -4*n, -n - 601 = -4*d + 28. Is d/4 - 1/4 a composite number?
True
Let l(x) = x**3 + 9*x**2 - 2*x + 6. Suppose -4*j = -0 + 28. Is l(j) a composite number?
True
Let i be ((-3)/(-2) + -1)*-16. Let d(v) = 3 - 14 - 12*v + 4*v. Is d(i) a prime number?
True
Let l(v) = -9*v. Let q be l(-1). Is (-2)/(-2)*3771/q prime?
True
Suppose 3*p = -p - 20. Let h = -6 - p. Is h*(-53)/2*2 prime?
True
Let j = 184 - 119. Is j composite?
True
Let y(x) = -x**2 + 11*x - 5. Suppose -2*i = -0*i - 20. Let a be y(i). Suppose -5*s + 19 = a*f - 241, 5*s - f = 266. Is s a prime number?
True
Suppose 0 = 2*w + 3*w - 10. Suppose r = 2*m - 5, -4*r + 13 = w*m + 3. Is (4/6)/(r/69) prime?
False
Let w = 142 - -1908. Suppose 7*p - 2*p = x + w, 4*p - 1641 = x. Is p composite?
False
Let a = 205 + -126. Let m be 6/(3 - (-63)/(-24)). Suppose -a = -5*g + m. Is g composite?
False
Let q be 352/24 + (-2)/3. Suppose 5*b - q = 31. Is b a composite number?
True
Suppose f - 4*k - 407 = k, -5*f + 2035 = k. Is f composite?
True
Let d = -2 + 6. Suppose -4*i + g + 18 = 0, d*i + 0*g = 5*g + 26. Suppose 4*x + 1 = s - 0*x, -i*x + 8 = 0. Is s a composite number?
True
Suppose 5*j = 26 + 19. Let f = 1 + j. Is f a prime number?
False
Let q(g) = -2*g**2 - g + 2521. Is q(0) composite?
False
Suppose 6*l + 175 - 1513 = 0. Is l composite?
False
Is (-1 - 0) + (1 - -13) prime?
True
Let u = 0 - -2. Suppose -3*w - u*z - 189 = -8*w, -2*w + 70 = 2*z. Is w composite?
False
Let w = 4 + -2. Suppose -w*o = -6*o + 628. Is o a prime number?
True
Suppose -16*h + 126 = -7*h. Is h a prime number?
False
Let x(z) = 3*z**3 + 2*z - 1. Let n be x(1). Suppose -192 = -3*w - n*k + 229, 0 = 3*w + 5*k - 422. Is w composite?
False
Let q(f) = -3*f + 1. Let t be q(-1). Let i = t - 20. Let s = i - -47. Is s a composite number?
False
Let b(n) = n**2 + 4*n + 1. Let c be b(-2). Let u = c - -176. Suppose 0 = w - 2, -4*w = 3*s - 0*s - u. Is s prime?
False
Suppose -7*c + 11638 = 3371. Is c composite?
False
Let u(j) = -j**3 + 4*j**2 - 3*j. Let a be u(3). Suppose a = -5*c - 0*c + 40. Suppose 0 = -2*n + 38 + c. Is n prime?
True
Let a(c) = 7*c**2 + 3*c + 1. Let r(w) = 4*w + 6. Let s be r(-5). Let d be (-32)/14 - 4/s. Is a(d) a composite number?
False
Suppose 5*n - 2*o = 2 + 1, -5*n + o - 1 = 0. Let t be (39 - (1 - n)) + 1. Is (-1)/((-2)/t*1) prime?
True
Let o = -12 - -120. Is (-1)/(-4 + 3) + o a composite number?
False
Let v = 77 + -12. Let r = 104 - v. Is r composite?
True
Let x(w) = -w**3 + 11*w**2 + 5*w + 9. Let u be x(12). Let y = 572 + u. Is y composite?
True
Suppose -2*j = -27 + 7. Suppose 0 = 2*v - 4 - 0. Suppose -l = -o + j, -8 = -0*o - 2*o - v*l. Is o composite?
False
Let k = -3104 + 4467. Is k prime?
False
Let r = 0 - -1. Is (r - 3)*715/(-10) prime?
False
Suppose -3*q = 3*m - 18, m - 3*q - 17 = 5. Let y = m - -37. Is y prime?
True
Suppose -6 = 5*i - 31. Let y(p) = 7*p - 4. Is y(i) composite?
False
Let t(f) be the third derivative of -3*f**4/4 - f**3/2 + 3*f**2. Is t(-2) composite?
True
Suppose 4*t - 5*r = 24755, -t - 3*t = -3*r - 24749. Is t a composite number?
True
Let r be -4 - (3 + 3 + 0). Let h(c) = -c - c + 11 - 2*c. Is h(r) composite?
True
Let a = 223 - 461. Let j = a - -387. Is j prime?
True
Suppose -3*q = g - 4, 2*g + 26 = 2*q - 2*g. Suppose -j = q*j - 12. Suppose -j*a = h, -3*a = h - 7*a - 7. Is h prime?
True
Suppose -53 = -d - 2*s + 4*s, -3*s = d - 53. Is d prime?
True
Let w(h) be the second derivative of -h**8/6720 - h**7/2520 + 133*h**5/120 + h**4/12 - 4*h. Let c(p) be the third derivative of w(p). Is c(0) composite?
True
Suppose 0 = -3*n - 2*a - 0*a + 8, -5*a = -5. Let t(o) = 74*o**3 - 2*o**3 + 7*o**3 + o**n - o. Is t(1) a composite number?
False
Let d(f) = f**2 + 5*f + 5. Let j be d(-5). Is (-2)/(j/((-295)/2)) a composite number?
False
Suppose -r = -226 + 41. Is r prime?
False
Suppose 2*k = -4*h + 292 + 458, 4*k + h = 1493. Is k a prime number?
True
Suppose -