 number?
True
Suppose -4*v + 8676 = 4*y, -2*y - 4*v + 7*v + 4363 = 0. Suppose -4*u = -y - 278. Is u a prime number?
True
Let u(z) = z + 1. Let p(q) = -2*q**3 - q**2 - 6*q - 7. Let y be (-1 + 3)/(5 + -3). Let f(j) = y*p(j) + 2*u(j). Is f(-2) prime?
False
Suppose 5246 = 3*d - 5*l, 3143 = 4*d + 5*l - 3875. Suppose 6422 = 5*c + d. Is c a prime number?
False
Suppose -15*a - a + 82064 = 0. Is a a prime number?
False
Suppose 6*o - o - 20 = 0. Suppose 4 - 3 = 2*j + k, -o = -5*j - 2*k. Suppose g - 123 = -b, 0*g + 238 = j*g + 4*b. Is g composite?
False
Let r be 3 + -5 + (-23)/(-1). Suppose 4*i - 15 = -g, -g - 5*i + r = g. Suppose 413 = g*w - 2*f, -227 = -5*w - 3*f + 474. Is w composite?
False
Let j be 0 + (8 - 2 - 2). Let b be 2/8*j + 4. Suppose 75 = u - 4*k - 79, -b*k - 156 = -u. Is u prime?
False
Is (1*53)/(-4*11/(-24508)) a composite number?
True
Let k = -484 + 320. Let x = k - -543. Is x a prime number?
True
Let n = 115 - 107. Suppose -4*m - n = 0, -12*f + 14*f + 5*m = 396. Is f a prime number?
False
Let i(a) = -a**3 - a**2 + 2*a + 2. Let l be i(0). Suppose -5*h - 63 = -l*r - 0*r, -3*h = 3*r - 126. Is r a prime number?
False
Let f(d) = -82*d**3 - 5*d**2 - 21*d + 25. Is f(-8) prime?
False
Let a(l) = -l**2 - 11*l - 17. Let z be a(-4). Let k(n) = n**3 - n**2 - 4*n - 15. Is k(z) a prime number?
True
Let c(h) = h**2 - 3*h - 6. Let i be c(5). Let x be (i - -1)*(-138)/15. Let g = x + 123. Is g a prime number?
False
Let u = -9074 - -21571. Is u a prime number?
True
Suppose -7*i = -2*z - 4*i + 17153, -3*z + 25749 = 2*i. Is z prime?
True
Let k = 5634 - 7974. Let b = -1171 - k. Is b prime?
False
Let q(f) = -f**3 - 9*f**2 - 4*f + 8. Let s be q(-10). Let o = s + -21. Is o a prime number?
True
Suppose -m + 6*m - 5*v = 100, 15 = -3*v. Suppose 0 = 8*a - m*a + 1771. Is a prime?
False
Let o be ((-98)/12 + 3/(-9))*26. Is o*(0/3 - 1) a composite number?
True
Let a = 337 - -982. Is a prime?
True
Let l(m) = m**3 + 14*m**2 - 3*m + 6. Let z be l(-8). Let q = 43 + z. Is q a prime number?
True
Is 6/(-18)*(-10053)/3 composite?
False
Suppose 3*z + c = -4*c + 16542, 27589 = 5*z + 2*c. Is z a prime number?
True
Let z(s) = -s + 186. Is z(37) a composite number?
False
Suppose 0*h + 4*h = -3*v + 28, 0 = 2*v - 4*h + 8. Suppose -v*j = -7*j + 1257. Is j composite?
False
Let m(w) = -w**3 + 3*w**2 - 2. Let k be m(3). Is ((-5)/(25/5570))/k a prime number?
True
Let n be 121*(-2 + -1 + 23). Let f = -861 + n. Is f composite?
False
Let z be 16/10*(4 - 1504/(-4)). Suppose 4*s - z = 564. Is s composite?
False
Suppose 0 = 3*h + 2*z - 3349, 5*h - 2979 - 2604 = -4*z. Suppose -33*g + h = -28*g. Is g a composite number?
False
Let y = 7121 + 2114. Is y a composite number?
True
Let n(t) = t**2 + 10*t + 12. Let p = -11 - -2. Let h be n(p). Suppose h*i + 5*y - 1014 + 188 = 0, y + 262 = i. Is i prime?
False
Let o(t) = t**2 - 6*t - 11. Let p be o(-9). Suppose 0 = 3*l + h - 92 - 1, 4*l + 3*h = p. Is l composite?
False
Let r(t) = t**3 - 33*t**2 - 2*t - 71. Is r(35) composite?
False
Let s(w) = 7*w - 14. Suppose -4*h = h + 25. Let a(q) = -7*q + 15. Let c(y) = h*s(y) - 4*a(y). Is c(-7) prime?
True
Let p(j) = -j**2 - 8*j - 10. Let s be p(-4). Is 1/((s - 4)/1858) composite?
False
Is (-42)/63*(-8163)/6 prime?
True
Is (-6)/26 - 2264796/(-117) a composite number?
True
Let x = 19 + -13. Let r(g) = 3*g**2 - 6*g + 48. Let o be r(21). Suppose -x*z = -3*z - o. Is z a prime number?
False
Let p = -740 + 1527. Is p a prime number?
True
Suppose -2*i + 4 - 10 = 0. Let n = 6 + i. Suppose 715 = n*w + 2*w. Is w a prime number?
False
Suppose 26*m - 20*m = 55434. Is m a prime number?
True
Suppose -z - 4*h + 1855 = 0, -z - h + 5609 = 2*z. Is z prime?
True
Let q(u) be the first derivative of 7*u**4/4 + u**3/3 + 3*u**2/2 + 4*u - 16. Is q(3) a composite number?
False
Suppose -15 = 5*k, 5*k + 80 = 4*p + p. Let w(r) be the second derivative of r**5/20 - r**4 + r**3/6 - 15*r**2/2 + 3*r. Is w(p) prime?
True
Let f(c) = -13*c - 21. Let w(h) = h - 5. Let j be w(11). Let l be (j - 1)*12/(-10). Is f(l) prime?
False
Let w(l) = 23*l - 4 - 12*l + 3*l**2 + 9*l. Is w(-15) prime?
False
Let v(k) = -11*k**2 + 0*k**3 - 2*k + 4*k - 2*k**3 + 10. Let c be v(-8). Suppose 0 = 4*d - 2*y - c, 5*y = 4*y + 1. Is d prime?
True
Is (-2 - -21)*2510/10 a composite number?
True
Let x(d) = 6*d + 241. Is x(-13) composite?
False
Let y = 262 + 1301. Let v = y + -146. Is v composite?
True
Let y(n) = -1454*n + 231. Is y(-8) prime?
True
Let n(r) be the second derivative of -r**4/12 - 11*r**3/2 - 7*r**2/2 + 3*r. Is n(-18) a prime number?
True
Let l(z) = 36*z**2 - z + 3. Let x(q) = -q**2 - 19*q - 4. Let s be x(-19). Is l(s) a prime number?
False
Let g = -2780 + 5940. Is (-3)/(4/g*-6) a prime number?
False
Let y(f) = -f**3 - 4*f**2 - 3*f - 1. Let u be y(-2). Is 55 + -2 + 0/u a composite number?
False
Let w = -118 - -425. Suppose -w = 4*h - 1103. Suppose 2*d - 39 = h. Is d a prime number?
False
Is (2 + -2 + 1)*(4601 + 28) a prime number?
False
Suppose -9 = -15*x + 12*x. Suppose x*z - 5*z = -400. Let m = z - 97. Is m a prime number?
True
Suppose -x - 284 = 324. Let q = x + 1277. Is q a prime number?
False
Suppose 23*c - 11*c = 43068. Is c a prime number?
False
Suppose 4*p = -l + 19, -2*p + 10 = -p + 2*l. Suppose 4*s + 0*s = w - 16, -w - 16 = p*s. Suppose k + 55 - 146 = w. Is k prime?
False
Let k(w) = -59*w + 14. Suppose 56 = q + 6*q. Let n be k(q). Is (-6)/(-9) - n/6 composite?
True
Let b(c) = 829*c - 360. Is b(25) a composite number?
True
Suppose -36*l + 5*a = -40*l + 82147, 0 = -5*l + 5*a + 102740. Is l a composite number?
False
Suppose -2080 = -8*g + 264. Is g composite?
False
Suppose 3*c - 34 + 7 = 0. Let t be ((-2498)/(-5))/(c/135). Suppose 6*d + 1200 = t. Is d a composite number?
False
Suppose o - 8360 = 4685. Is o prime?
False
Let n(h) = -h**2 - 10*h - 6. Let j be n(-9). Suppose -2*c = -3 - j. Suppose c*t - 330 = -3*o, -2*o - t - 3*t + 210 = 0. Is o composite?
True
Suppose 0 = 5*r + 4*t - 14091, -14099 = -3*r - 2*r + 4*t. Is r prime?
True
Let g(n) = 22*n**2 - 6*n + 6. Let d be g(6). Let q = d - 242. Suppose 0 = 2*b - 5*j + 2*j - q, 0 = -2*b - 2*j + 510. Is b prime?
True
Suppose -2*v + 4*o - 920 = -5*v, -4*v + 1224 = 4*o. Let a = v + -207. Is a prime?
True
Let f = -9202 + 15125. Is f a composite number?
False
Suppose -25 = -c - 5*m, -c = c - 3*m + 2. Suppose -2*y = 2*y - p - 202, -y + c*p = -41. Is y composite?
True
Is 132579/11 + (-244)/(-671) composite?
True
Suppose -7*r + 3*r + 5908 = -z, 1477 = r - 2*z. Is r prime?
False
Suppose -4*f - 16 = 4*f. Is -557*(-3 - f - 0) prime?
True
Let x(l) = 3*l**2 - 2. Let c be x(13). Suppose 4*h + 3*a = -0*a + c, 3*h - 386 = 5*a. Is h a composite number?
False
Suppose -r = -2*b + 173, -3*b = -0*b + 15. Let f = -61 - r. Is f a composite number?
True
Let f(v) = 239*v**2 - 18*v + 20. Is f(-5) a composite number?
True
Let s be (0 - 3)/(30/(-50)). Suppose j - r - 927 + 139 = 0, -3944 = -s*j + 4*r. Suppose 5*f + j = 3*c, -2*f - f + 1027 = 4*c. Is c a composite number?
True
Let r(f) = -18*f**2 + 51*f**2 - 13 + 5*f - 15*f**2 - 17*f**2. Let y be (1 + (-9)/6)*20. Is r(y) prime?
True
Let l(u) be the second derivative of 3*u**4/4 + u**3/6 + u**2/2 - u. Let m(p) = 10*p**2 + 1. Let o(c) = -3*l(c) + 4*m(c). Is o(-3) composite?
False
Is ((-2)/8)/(27/(-92124)) a prime number?
True
Let x(m) = 3*m**2 - m. Let b be x(1). Suppose u = -3*v + b*u - 295, 2*v = 2*u - 190. Let o = v - -197. Is o a prime number?
True
Suppose -10*s = 13*s - 78959. Is s prime?
True
Let i = 35483 - 3820. Is i a prime number?
True
Let z(i) = -i + 1. Let u(x) = 6. Let l(s) = u(s) + 2*z(s). Let q = -24 - -17. Is l(q) a composite number?
True
Let o be (-66)/(-15) + (-2)/5. Suppose z - 2 = 3*n - o, z = -3*n - 2. Is (-339)/(-3) + n/(-3) composite?
False
Let d = 6756 + -12648. Let r = d - -11575. Is r composite?
False
Let f = -23 - -27. Suppose -2*g + 3*z = -1402, f*z = -6*g + 3*g + 2103. Is g a composite number?
False
Let t(o) = 4*o**2 + 20*o + 45. Is t(29) a composite number?
False
Let k(b) = 220*b**2 + 7*b - 28. Is k(3) composite?
False
Let q(g) = -g**2 - 3*g + 6. Let m be q(-4). Suppose 0*r - s + 1 = -m*r, -4*r - 2*s = -18. Suppose -118 = -r*o - 0*o. Is o composite?
False
Suppose -5413 - 109254 = -4*u - 5*b, 114672 = 4*u + 4*b. Is u composite?
True
Suppose k + 4*p = 8747, 6*k - 