4*v = 3532, -6*b + 4418 = -b - 2*v. Let n = b + 158. Is n composite?
True
Let t be (-1)/(-2)*4/(3 + -2). Suppose t*b + 1277 = 3051. Is b a prime number?
True
Let v(g) = 12 + 7*g - 7 - g**2 + 6. Let u be v(8). Suppose -122 = -b + n + 7, -5*b + u*n = -641. Is b composite?
False
Suppose -11171 = -5*m + 14. Is m a composite number?
False
Suppose -3*l - 6 = 12. Is (-45)/(-6)*(-356)/l a prime number?
False
Let a(t) = -t**2 + 5*t - 1. Let p be a(9). Let d = 171 + -327. Let i = p - d. Is i composite?
True
Suppose 28 = -7*p + 9*p. Let i = p + 2. Is (-12554)/(-16) - (-6)/i a composite number?
True
Suppose -67*d - 7892 = -68*d. Suppose 19*y - 15*y - d = 0. Is y prime?
True
Let b be (-1)/(((-8)/(-1716))/(-1 - 35)). Suppose -3*m + b = -501. Is m prime?
True
Let z be 2/9 + (-4)/18. Let i = 175 + -117. Suppose p - i - 19 = z. Is p prime?
False
Let j(b) = -b + 3. Let y be j(8). Let a = y - -10. Suppose 226 = 2*q + 4*v, -a*q + 3*v + 551 = -v. Is q a prime number?
False
Let o = -19391 - -33498. Is o composite?
False
Let q = -22 + 14. Let c = q + 12. Is 1754*1/(c - 2) composite?
False
Suppose 4*v + 24*g - 14779 = 29*g, -g + 14761 = 4*v. Is v composite?
False
Is -2 + 96/45 + (-246795)/(-225) a prime number?
True
Suppose w - 2*w = 5*n - 202, 3*n + 2*w = 117. Let j = 62 - n. Let r(b) = b**3 - 20*b**2 - 6*b - 22. Is r(j) composite?
False
Suppose 0 = 40*c - 4137 - 51263. Is c composite?
True
Let a(j) = 296*j - 163. Is a(25) prime?
True
Let i(y) = 117*y - 9. Let o be i(-3). Let c = 523 + o. Is c composite?
False
Suppose 20143 + 12329 = -12*y. Is y/3*3/(-12)*2 composite?
True
Let u = -976 + -381. Let c = u - -4850. Is c a prime number?
False
Suppose -8*p = -3*p + 4*k - 4176, 3344 = 4*p + 4*k. Let m = p + 199. Is m a composite number?
False
Suppose -x = 2*c - 11367, -34106 = -10*x + 7*x - c. Is x a composite number?
False
Let y(f) = -9*f - 2 - 2 + 1. Let n be y(8). Let o = n - -216. Is o a composite number?
True
Let z(l) = 14*l**2 + 38*l - 7. Is z(-27) a composite number?
False
Let n(g) = -130*g - 9. Let w be n(-3). Let p = 710 - w. Is p a composite number?
True
Suppose -2*n - 5*t = -3*n - 1, 5*t = 0. Let r be (-39)/(-12) + n/4. Suppose r*m - u - 287 = 249, 5*m - 886 = -2*u. Is m a prime number?
False
Suppose -14*x = -50833 - 9745. Is x a composite number?
False
Let l(b) = 10*b**3 - 6*b**2 - 11*b + 19. Let x(m) = -m**3 + m**2 + m - 1. Let g(z) = -l(z) - 6*x(z). Is g(-6) composite?
False
Let o(h) = -40650*h**3 + 19*h + 18. Is o(-1) a composite number?
True
Is ((-18899)/(-5))/(25/125) prime?
True
Suppose y = -b + 8, 0*y = 4*y + 5*b - 32. Suppose -11*z = -y*z - 615. Is z a composite number?
True
Suppose -9*u = -2*u. Suppose -3*t - p + 257 = 0, -93 = -t - u*t - 4*p. Is t composite?
True
Suppose -3*t - 12 = -r - r, 3*r - 5 = -2*t. Suppose -4*b + 21 = 3*n + 4, n = 3*b - r. Is ((-53)/n)/(4/(-36)) a prime number?
False
Suppose 4*p + 33*p = 9287. Is p a prime number?
True
Let r(m) = -14*m - 71. Let l be r(12). Let d = 4288 + l. Is d a composite number?
False
Suppose 2646 = -2*n - 2*d, -n - 1331 = 2*d + d. Let x = n - -2206. Is x prime?
True
Let g = 67 + -68. Let j(t) = -2154*t**3 + t. Is j(g) composite?
False
Let n = 1302 - -188. Is (n/3)/(22/33) a composite number?
True
Let p(k) = k**3 + 10*k**2 + 10*k + 12. Let w be p(-9). Suppose -7*s + w*s = 16. Is ((-1 - s) + -2)*53 a composite number?
False
Is 144/(-32) - (-77848)/16 prime?
True
Let f(d) = d**2 - d + 4. Let r be f(0). Suppose 2*h = t + r*t - 39, -4*t + 5*h + 21 = 0. Is 2/(-6) - (-3684)/t composite?
False
Suppose 4*q + 5*i - i - 15116 = 0, 0 = -i - 2. Suppose -4*b = 707 + q. Is b/3*(-3)/6 a composite number?
True
Let b be ((-6)/(-4))/((-12)/(-16)). Suppose 0 = i + 5*h - 0*h + b, 2*i + 3*h - 3 = 0. Is (-2)/i*-6 + 145 composite?
False
Is (125/30 - 4)*63822 a prime number?
False
Suppose j = 4 - 1. Suppose j*f - 712 = -4*x + 329, 4*x - 347 = -f. Is f a prime number?
True
Suppose 5*d + 482 = -3373. Let z = d - -1870. Is z a composite number?
True
Let n(v) = 163*v + 44. Let g(m) = -7*m - 12. Let k be g(-3). Is n(k) a prime number?
True
Let w be (-48)/(-3) - 6/(-2). Let f(r) = -r**2 + 41*r + 25. Is f(w) a composite number?
False
Let w be (-1 + 1)/(-1) - 229/(-1). Let z = w - 38. Is z a composite number?
False
Let b(u) = -u**2 - 12*u - 10. Let y be b(-10). Let v = y - 10. Suppose 3*c - 1257 = -v*c. Is c a composite number?
False
Let v(w) = 72*w**2 - w - 10. Let t(l) = 3*l + 12. Let d be t(-5). Is v(d) a prime number?
True
Is -2*1/4 + 78534/4 prime?
False
Let a = 217 + -133. Suppose -5*h + a = -2*d - 0*d, -d + 2*h = 40. Is 8/d - 277/(-4) a prime number?
False
Suppose -2*w + 4*w - 6 = 0. Suppose 435 = 4*f + 3*c - 427, -644 = -w*f - c. Suppose -69 + f = z. Is z prime?
False
Let u(h) = -14228*h**3 + 2*h**2 + 2*h - 1. Is u(-1) prime?
False
Let x = -18 - -21. Let z(c) = c - 4. Let f be z(7). Suppose -3*g - f*h + 2385 = 0, -x*h + 172 = g - 631. Is g a composite number?
True
Let w(s) = -s**3 + 3*s**2 - 2. Let j be w(4). Let g = 18 + j. Suppose g*f - 105 = -5*f. Is f a composite number?
True
Suppose 0 = -0*g + 2*g + 1916. Let i = 979 - g. Is i a composite number?
True
Let x = 347 - 59. Let a = x + 181. Is a composite?
True
Is (-5)/(5/(-1154)) + -3 a composite number?
False
Let b = 24 + -22. Suppose -b*f - 4*u = -66, -3*u = -f + 3 + 40. Is f a prime number?
True
Let n(m) = 20*m - 3. Let r be n(9). Let k be (-3 - r)*(-64)/6. Suppose 6*x - k = 534. Is x a composite number?
False
Suppose 112979 = -34*v + 35*v. Is v prime?
True
Let k = 2284 + -946. Is (k/(-12))/((-1)/2) composite?
False
Is (-2)/((-2)/(-1)) + 9612/9 a composite number?
True
Let k = 4396 + -2065. Suppose -1492 - 857 = -3*x + 5*g, 0 = -3*x - g + k. Is x composite?
True
Let i = -39 - -42. Is 1*-563*(0 + -3)/i composite?
False
Let s = -1 - -9. Let c be 34/s + 1/(-4). Suppose c*a - 132 - 80 = 0. Is a composite?
False
Let g(q) = q - 3. Let w be g(5). Let k(n) = 0*n**3 - 4*n**w - n**3 + 18*n**2 - 10 - 2*n. Is k(11) composite?
False
Is 95328/6 - 66/6 composite?
False
Suppose 0 = -16*o + 133278 + 156034. Is o prime?
False
Suppose 5*x - 25 = -3*f, -14 - 6 = -4*x. Let r be (-3)/1 + f - -5. Is (-1)/r*-3*22 prime?
False
Suppose 315 = 3*o + 3*q, 202 = 2*o + q + 3*q. Suppose 9*j = 8*j + o. Is j a composite number?
False
Suppose -5*g + 4*z = 16, 4*g = 2*g + 3*z - 12. Suppose f + g = 4. Suppose 0 = 3*w - 3*v - 84, w - f*v = -2*v + 25. Is w a prime number?
True
Let u be 0 - 2/((-2)/3). Let k(o) be the second derivative of o**5/2 - o**4/3 - o**3/6 + 2*o**2 + 24*o. Is k(u) composite?
True
Let t be 27/6*24/(-18). Let h be -4 - -2*(-111)/t. Suppose -c + 4*g - h = -98, -2*c + 169 = 5*g. Is c composite?
True
Suppose 7*g = 3*g. Let a(r) = -2*r + 449. Let v be a(g). Suppose -4*c = 5*m - v, 4*m + 4*c - 124 - 236 = 0. Is m prime?
True
Let r(h) = 9*h**3 - h**2 - 2*h + 5. Let c be r(3). Suppose 0 = 3*w - 85 - 269. Let x = c - w. Is x a composite number?
True
Let g = 6 - 10. Let u(m) = 18*m**2 + 4*m + 5. Let k be u(g). Suppose 100 = 2*p - 5*a, -a = -0*p + 5*p - k. Is p a prime number?
False
Let t be (-1 - 1 - 234) + (-4 - -4). Is ((-15)/20)/(1/t) a prime number?
False
Let x(j) = 144*j - 89. Is x(23) prime?
False
Suppose -89709 = -4*p - 0*m - 5*m, 15 = -5*m. Is p a composite number?
True
Let x = 59 - 17. Let r be -1 + 62 + (5 + 6 - 7). Let o = r - x. Is o composite?
False
Suppose 0 = -2*q - 4*m + 20, -m + 3*m - 2 = 3*q. Let l(r) = -26*r**3 + 4*r**3 + 0*r**2 - 1 + 2*r**q + 0*r**2. Is l(-1) composite?
False
Is 96523 + -2 + ((-12)/6 - -8) composite?
False
Let k(v) = 7*v + 59. Is k(14) a prime number?
True
Suppose -69*s - 2254745 = -7075982. Is s composite?
True
Let b(m) = -9*m + 158. Is b(9) prime?
False
Let k = 0 - -8. Let u be 12*k + -2 + 3. Let h = u + -46. Is h prime?
False
Suppose b + 109444 = 5*b. Is b a prime number?
True
Suppose 18948 + 12359 = 5*u + 3*q, -4*u = 2*q - 25044. Is u composite?
True
Let i = 2850 + 4429. Is i a prime number?
False
Let w(o) = -3*o**3 - 3*o**2 + 4*o + 1. Let q be w(-3). Let g = q + -34. Is g composite?
True
Let j(x) be the second derivative of x**4/12 + 89*x**2/2 + x. Let s = 63 - 63. Is j(s) a prime number?
True
Let b be 224/24*6/4. Suppose b + 884 = 2*a. Is a a prime number?
True
Let f(k) = -k**3 - 6*k**2 - 18*k + 29. Is f(-21) prime?
False
Let k be (12/(-15))/(18/45). Is 