d - 1166 = -15197. Suppose -r = -5*v - 4*r + 1942, 4*v - 3*r - d = 0. Is v a composite number?
False
Let t(x) = 12*x**2 - 5*x - 8. Let c be t(9). Let p = c + 984. Is p composite?
True
Suppose 6*f + 93 = 7*f. Let k = f - 22. Is k prime?
True
Is 3721 + -3*(-8)/(-36)*3 a prime number?
True
Let i be 1/(-1*1/5). Let a = 9 + i. Suppose -7*v + a*v = -111. Is v a prime number?
True
Let v(d) = 36780*d**2 - 30*d + 29. Is v(1) a composite number?
False
Let c be ((-7)/2 - -3)/((-1)/8212). Suppose m = -m + c. Is m composite?
False
Let z = -28 - -63. Suppose -3*s - z + 416 = 0. Is s a composite number?
False
Let f be -5 + (-12)/(-3) - -9. Is 413 + f - (1 - -1) a composite number?
False
Suppose -5*y - 11 = 3*a - 0*a, 4*a - 5*y = 32. Suppose -n = -4*b - 343, -a*b - 681 = -0*n - 2*n. Is n a prime number?
False
Let t(i) be the first derivative of -8 - 5/2*i**2 + 7*i**3 - 3*i. Is t(-4) prime?
True
Is -2 - 115577/(-25) - (-48)/(-600) prime?
True
Suppose -3*b - 4*l = -15495, -l = 2*b - 633 - 9702. Is b a prime number?
False
Let n = -7998 + 16541. Is n composite?
False
Let j(h) = 3*h**2 - 3*h + 23. Let o be 0 + (23 - -1)/3. Is j(o) a prime number?
True
Let a be 2 + (-2)/(-1 - (-172)/164). Let k = 73 + a. Is k prime?
False
Suppose 3*v + k - 2083 = 3*k, 4*k = 4*v - 2776. Suppose -3*y + v = -820. Is y composite?
True
Let k(m) = 15*m - 2. Let g be (-1 + -11)/(-4)*-1. Let p be g*2/(-4)*6. Is k(p) composite?
True
Let b(g) be the second derivative of 13/6*g**3 - g**2 + 6*g + 0. Is b(3) prime?
True
Let w = -62462 - -144919. Is w composite?
False
Let z = -1645 - 220. Let o = 3327 + z. Let g = -711 + o. Is g composite?
False
Let u = 43 + -19. Suppose -x - 72 = -4*z - u, -z = 4*x + 226. Let b = 201 - x. Is b composite?
False
Let t(n) = 6*n**2 + 10*n - 1. Suppose -3*q + 11 = -4, 0 = -3*d - 2*q - 11. Is t(d) a prime number?
True
Is (8584/6 + -3)/((-12)/(-252)) a composite number?
True
Suppose 0 = -10*g + 7*g - m + 1337, 5*g + m - 2227 = 0. Is g composite?
True
Suppose 4*p = -5*c + 3060, c - p + 3*p = 618. Let s = -277 + c. Is s a composite number?
False
Let c(x) = -4*x - 10. Let i be c(-3). Let u be (i - (0 + 10)) + -2. Is u/(-35) + (-257)/(-7) a composite number?
False
Let z = 26 + -8. Let c be 1/5 - z/(-10). Is 75/c + 2/(-4) a composite number?
False
Let r(j) = -j - 1. Let w be r(-4). Suppose 0*c - w*c + 5*g = -19, 3*c = -4*g + 1. Suppose -i + 3*u + 101 = -2*u, 0 = -c*i - 4*u + 379. Is i a composite number?
True
Let f be -2*(-2)/(-4)*-5. Suppose f*c = 6*l - 4*l + 12695, -5*c - 3*l + 12695 = 0. Is c composite?
False
Let x(k) = k**3 + 8*k**2 - 6*k - 3. Let n = 23 - 27. Is x(n) prime?
False
Suppose 0 = -2*n + 46 - 36. Suppose n*u = 2*s + 415, 8*u - 3*s - 415 = 3*u. Is u a prime number?
True
Suppose 4*w + 20 = 0, -5*s + 2*s = 5*w - 521. Suppose -s - 333 = -5*j. Is j composite?
False
Suppose 0 = -3*m + w + 47140 + 11614, 3*m + 4*w = 58759. Is m prime?
False
Suppose 26 = 5*f + 2*d, 15 = 4*d + d. Suppose -5*i = -3*n + 360, i = f*n - i - 466. Is n composite?
True
Let a = -29 - -18. Let w = a - -7. Let b(n) = -35*n + 3. Is b(w) a prime number?
False
Let h(a) = 18*a**2 - 23*a + 115. Is h(18) prime?
False
Suppose -3*y + 5*v - 4 = -y, 44 = 5*y + v. Suppose -k = 3*t - y, 5*t = t + 3*k - 11. Is ((-381)/(-12))/(t/4) a prime number?
True
Let k be (-1)/((-100)/96 - (5 - 6)). Suppose k*d - 29*d = -1025. Is d prime?
False
Let v = 1430 - 1275. Is v composite?
True
Let b(n) = 27*n**2 + 60*n + 5. Is b(6) a prime number?
False
Suppose 3*h + t = 232, 152 = 2*h + t - 3*t. Suppose -3*p + h = -118. Is p a composite number?
True
Let q = 762 + -148. Is ((-28)/8 + 4)*q a prime number?
True
Suppose 4*w = -5*h + 208, 0 = 4*w + h - 2*h - 232. Suppose 17 = 4*r + w. Let f = 147 - r. Is f composite?
False
Let d(w) = -9*w - 5. Let m(v) = -v**2 - 4*v - 4. Let z = 13 + -17. Let n be m(z). Is d(n) a prime number?
True
Suppose 16 = -4*k, -10*u - 11320 = -5*u + 5*k. Let y = u - -4651. Is y prime?
False
Let a = 28 - 25. Let c(y) = 15*y**3 + 3*y**2 - 4*y - 1. Is c(a) prime?
True
Suppose -4*o = o + 3*b - 167276, -4*o + 133816 = 4*b. Is o prime?
True
Let k(f) = -33*f**3 - 2*f + 4. Suppose -v + 2*w - 6 = 0, -4 = 5*v - 5*w + 31. Let b = v - -5. Is k(b) a composite number?
True
Suppose -5*c = 2*p - 15, 5*c + 0 = 5*p + 15. Suppose p = -2*n + 5 + 1. Suppose 0 = 4*h, -n*h - 2*h = 4*w - 132. Is w composite?
True
Let y = 456 - 297. Let z = -284 + y. Let n = 272 - z. Is n prime?
True
Suppose -2*x - 1549 + 2045 = 0. Suppose 0 = 3*t - 4*i + i - 588, 0 = -5*i + 5. Suppose 5*v - t = x. Is v composite?
False
Let t = 2714 - -236. Suppose 417 = -r + t. Is r a prime number?
False
Let q(c) = -c**3 - 11*c**2 + 27*c + 16. Let l be q(-13). Suppose -2*k - 394 = g - 1494, 0 = l*k - 3*g - 1659. Is k a composite number?
True
Let b(d) = -d**2 + 4*d. Suppose -8*k + 6*k = -6. Let t be b(k). Suppose -t*p + 163 = 2*o, -p + 3*o = -3*p + 112. Is p a prime number?
True
Is 1 - (-3 + 2) - (82 - 769) composite?
True
Let n = 18 - 13. Suppose 5*c - 78 = -z, n*z + 5*c - 22 = 288. Is z a prime number?
False
Suppose 330591 = 35*o + 32076. Is o a composite number?
True
Suppose 4*s + 34 = 5*z, 0 = s - 3*z + 16 - 4. Let c be (-658)/4*s/(-3). Let d = -138 - c. Is d prime?
True
Let x(u) = 377*u**2 + 0*u**2 + 231*u**2 - u - 1 - 21*u**2. Is x(-1) a prime number?
True
Let q = -12041 - -5109. Is (q/6)/2*-3 a prime number?
True
Let s(u) = 35 - 25*u - 41*u + 23*u - 29. Is s(-5) a prime number?
False
Let q be 14940/9*10/8. Suppose 4*j - q = -j. Is j prime?
False
Let o be (-15 - -11)*1/1 - -4. Let t = 2 + 0. Suppose -t*p - 2*p - 190 = -2*i, -3*i + p + 260 = o. Is i a prime number?
False
Suppose 0 = -2*g - 4 + 8. Suppose -q + g*s + 46 = -75, -q - 5*s + 121 = 0. Is q - -3 - (2 + -5) a prime number?
True
Is 4454/4*(32 + -30) a composite number?
True
Suppose -30 = -3*r + 12. Let g = r + -10. Suppose -g*o + 476 = -y, 2*o = -3*y + 242 - 4. Is o composite?
True
Let a(x) = 8*x**2 - 2*x - 5. Let l be a(4). Suppose n - 46 = l. Is n composite?
True
Let p = 10 + -7. Suppose 0 = -i - 2*y + 62, 0*i - p*i + y + 172 = 0. Is i composite?
True
Suppose -11*h + 67 = 12. Suppose h*r + 7204 = 9*r. Is r a composite number?
False
Let p(b) = 91*b**3 - 4*b**2 + 4*b - 4. Is p(3) a composite number?
True
Suppose 2*y = 3*k + 8, 4*y = -5*k + y + 12. Suppose k = a - 3*a + 2818. Is a prime?
True
Let q(g) be the first derivative of 26*g**3/3 + g**2 + 2*g + 8. Let m be q(-4). Suppose 0 = -4*b - b + m. Is b a composite number?
True
Suppose 43 = y - 546. Let x = -101 + y. Suppose 4*n - 20 = 0, 0 = -5*s + s + 4*n + x. Is s a prime number?
True
Suppose -330*j + 336*j - 8214 = 0. Is j a prime number?
False
Let q(d) be the second derivative of -19*d**4/4 + d**3/3 - d**2 + 2*d. Let l be q(1). Let t = 140 + l. Is t prime?
True
Let o(f) = -686*f + 183. Is o(-19) prime?
True
Suppose -29497 = -6*b - 12103. Is b prime?
False
Suppose 36*u = 149960 + 618316. Is u a prime number?
True
Let k(x) = x**2 - 17*x + 19. Let w be k(16). Let p(o) = -o**2 - 6*o**2 + 4 - 4*o**3 + 6*o + 6*o**w. Is p(7) a composite number?
False
Suppose 0*c = 4*p - c - 4436, -4*p + 4456 = 4*c. Suppose 2*t + 4*t - p = 0. Is t composite?
True
Is 1*(-9)/9 - -48486 prime?
False
Is 0 + 416664/45 - (-1)/(-5) prime?
False
Let a(w) = 2*w**2 + 2*w + 2. Let h be a(-2). Suppose -h*z + 28 = -2*z. Is (-4)/z + (-8220)/(-28) composite?
False
Let o be 0*(-1 + 0/(-3)). Suppose 5*t - 3*d - 2676 = 0, -4*t = -o*d - 2*d - 2142. Is t a prime number?
False
Suppose -550 = 3*l - 8*l. Suppose 2*z + l = -0*z + t, 5*z = -4*t - 262. Is 4/(-18) - 3522/z a composite number?
True
Is (-68)/(-3)*4770/20 - -1 a prime number?
True
Suppose 7*d - 5*d - 1492 = -2*p, 3*p = -5*d + 3724. Is d composite?
False
Let a = 91 + 13. Suppose 3*f + 274 = p - a, 0 = 4*f - 4. Is p a composite number?
True
Suppose 13*r - 11*r + 5*n + 1795 = 0, 4*n = 2*r + 1750. Let k = 1384 - r. Is k a prime number?
True
Let i(s) = 3*s - 16. Let f be i(7). Suppose 5*o - 19 - 17 = -4*c, -f*c + 20 = 0. Suppose 0 = o*n - 108 - 40. Is n a composite number?
False
Let k(s) = 74*s + 17. Let f(g) = -75*g - 17. Let l(t) = -4*f(t) - 3*k(t). Is l(4) a composite number?
True
Let z(p) = -p**2 + 9*p - 6. Let g be z(8). Let x(b) = -3 + 4 + 8*b**2 + 10*b**g + 0. Is x(1) a composite number?
False
Suppose -3*f = -2*h - f + 4, f = 4*h