 prime number?
False
Let w(f) = 4*f**3 + f**2 - 5*f - 3. Suppose 0 = -r + 10 - 5. Is w(r) prime?
False
Suppose -2271 = 3*k - 0*k. Let v be 12878/(-8) + -1 + (-3)/(-4). Let d = k - v. Is d composite?
False
Suppose -16026 = 3*k + 1620. Let r = k - -8643. Is r prime?
False
Let p(o) = -13 + 7*o + o + 21*o - 17*o**2 - 3*o**2 - o**3. Is p(-23) composite?
False
Let l(d) = 2*d**2 + 2 + 1 + 5*d + 15*d. Suppose -28 = 121*u - 119*u. Is l(u) composite?
True
Let a = -34 + 34. Let i(f) = 2*f + a*f + 10*f**2 + f**3 + 7 + 2 - 3*f. Is i(-10) composite?
False
Suppose -89*v - 689227 + 8589668 = 0. Is v prime?
False
Suppose -5*g + 2955 = 5*b - 7*g, -b - 4*g = -613. Suppose 19*u = 338 + b. Is u a prime number?
False
Let r(v) = v**2 + 1. Let i be r(-1). Is 2/6*(i - -553) a prime number?
False
Suppose 2*p - 516 = -a, 5*a + 5*p = 465 + 2110. Let b = -265 + a. Is b prime?
False
Suppose 0 = -5*d + 15, -3*c + 0*c + 3 = -4*d. Suppose 168 = c*o - 3*o. Suppose 379 = 5*r + o. Is r a composite number?
False
Let o be (75/(-5))/3 - -1513. Let y(g) = g**2 + 3*g + 3. Let i be y(-3). Suppose i*x = o - 521. Is x composite?
True
Let u = 24846 - 11675. Is u prime?
True
Suppose 3*z = -9*z + 26268. Suppose 0 = 2*b + m - 813, -5*b + z = -m + 139. Is b composite?
False
Suppose -3 = -2*o + z - 2, -5*z = 4*o - 23. Suppose 5 = o*s + 3*s. Let q(b) = 203*b**2 + 2*b - 2. Is q(s) a prime number?
False
Let p(r) = -121*r**3. Suppose 2 + 2 = -4*a. Is p(a) composite?
True
Let x(t) = -t**3 - t**2. Let c be x(-1). Let g be ((-292)/(-8) + c)*2. Suppose -84 = -k + g. Is k a composite number?
False
Let o(b) = b - 2. Let f be o(5). Let t(p) = 4*p - 1. Let d be t(1). Suppose d*r - 1718 = 4*s - f*s, 2*s + 1723 = 3*r. Is r a prime number?
True
Let r = -8024 - -26641. Is r prime?
True
Suppose -2*r + 34525 = 10023. Is r a prime number?
True
Let j(k) = -k + 4. Let p be j(0). Is 402/3*2/p prime?
True
Suppose -2*v + 4*j + 42 = 3*v, 0 = -j - 3. Let p(s) be the first derivative of -s**4/4 + 2*s**3 + 2*s**2 - 2*s - 29. Is p(v) a composite number?
True
Let x(g) be the third derivative of -1/5*g**5 + 0 + 4*g**2 + 7/6*g**3 + 5/8*g**4 + 0*g + 1/120*g**6. Is x(13) a composite number?
True
Suppose 2*g - 5*g - o + 26457 = 0, o - 35277 = -4*g. Suppose -3*h = -p + 46 + 2159, 5*h = -4*p + g. Is (-5)/20 - p/(-4) a prime number?
False
Let j(p) = -4*p + 3*p + 9*p - 9 + 6*p**2. Is j(4) composite?
True
Let s = -20466 - -33047. Is s a prime number?
False
Let m = -3179 + 5413. Is m composite?
True
Let i(h) be the second derivative of 5*h**4/12 + 5*h**3/3 + 7*h**2/2 - 7*h. Is i(-6) prime?
True
Suppose -3*d - 3 - 3 = 0. Let s be (-732)/8 - d/(-4). Is s/6*24/(-16) prime?
True
Is (-1)/7 - (278436/(-28) + 3) a prime number?
True
Suppose 99*d - 17946 = 97*d + 5*f, -2*d + 17962 = -f. Is d prime?
False
Suppose -2*c - 1142 = -2*k, -40*k + 1142 = -38*k + 5*c. Is k composite?
False
Suppose -s = 3*k - 4*s - 10932, -4*k - 5*s = -14531. Is k composite?
True
Suppose 5*a = 8935 + 65080. Is a a prime number?
False
Let f(a) = 4*a - 15. Let c be f(4). Is 16732/10 + c/(-5) a prime number?
False
Let a be -1*2*(-597)/2. Let s = 1516 - a. Is s a composite number?
False
Suppose 7*v + 2*v - 2673 = 0. Suppose 0 = -5*p + 3488 + v. Is p composite?
False
Let g be (-2)/((6/15)/(-1)). Suppose g*j - 5 = 5, 5*i = 5*j - 100. Let t = -8 - i. Is t a prime number?
False
Let b(i) = -i**3 + i**2 + 2. Let m be b(3). Let n = m - -13. Is ((-2)/(-4))/(n/(-2814)) composite?
True
Let d be 3841/5 - (-5 - 104/(-20)). Suppose -2*z - 4*h + 1436 = -d, 0 = -z + 2*h + 1086. Is z prime?
False
Let f be -8 - -11 - 11*-1. Let j(n) = -15*n - 6. Let o(y) = -8*y - 3. Let s(l) = -6*j(l) + 11*o(l). Is s(f) a composite number?
False
Let z = -6130 + 8877. Is z prime?
False
Let s(q) = 4*q + 16. Let w be s(-4). Suppose -2*r = d - 34, 2*r - d = -w*d + 26. Is r a composite number?
True
Let h(w) be the second derivative of 3*w**5/20 - w**4/12 - 2*w**3/3 - w**2/2 + 65*w. Suppose 5*x + 37 = 3*j, -j - 4*x + 9*x = -29. Is h(j) prime?
False
Let p be 2 + -3 + 126 + -3. Suppose 5*x - 2495 = 2*y, y = -x - p + 614. Is x composite?
True
Suppose 13*g = 7*g + 134922. Is g a prime number?
False
Let u(r) = r**3 - 13*r**2 + 31*r - 25. Is u(18) a composite number?
False
Let v(p) = -5*p**2 + 2 + 2 + 18*p**3 - 5 + 4*p**2. Is v(2) a prime number?
True
Let o(k) = -23*k + 24. Let f(z) = -8*z + 8. Let g(a) = -17*f(a) + 6*o(a). Let v be g(4). Suppose -n - 4*n + 740 = -3*m, m + 5 = v. Is n composite?
True
Let i(l) = -2*l**3 - 91*l**2 - 172*l - 105. Is i(-44) a prime number?
False
Let h be (-117)/(-26) + 1/(-2). Let j(g) = 23*g**2 + 6*g - 10. Is j(h) a prime number?
False
Let x(v) be the first derivative of v**2/2 + 7*v + 3. Let o be x(6). Let h(i) = 16*i + 1. Is h(o) a prime number?
False
Suppose 5*a + f = 12657, -3*f - 2*f = 15. Let n = -1495 + a. Suppose 142 + n = 9*r. Is r a composite number?
False
Let k(u) = u**2 + 7*u - 6. Let a be k(-9). Suppose 0 = a*y - 13262 - 3382. Is y composite?
True
Let b = 3588 - -919. Is b a prime number?
True
Let r(g) be the second derivative of -55*g**3/6 - g**2/2 + 2*g. Let d(t) = -10*t**2 + t + 3. Let m be d(-1). Is r(m) composite?
False
Let c = 35 - 32. Suppose c*s - 119 = 2*s. Is s composite?
True
Is (-4237363)/(-19) + (-36)/342 prime?
True
Is (-3)/(-4) - (-1)/(4/12169) a prime number?
False
Let x(n) be the second derivative of -n**5/20 - 11*n**4/6 - 7*n**3/6 + 13*n**2/2 + 36*n. Is x(-23) a prime number?
False
Suppose 0 = 12*n - 9*n - 114. Suppose 179 = y - n. Is y a composite number?
True
Let u be -3 - 0 - (-2 - 4). Suppose -3*l - 2219 = 5*z - 297, u*l - 2*z = -1915. Let c = -308 - l. Is c a prime number?
True
Let o(j) = 2*j**2 + j - 3. Let m be o(-2). Suppose -m*n + 182 = -739. Is n a prime number?
True
Let x be (-12)/7 + (-18)/63. Let k(c) = -80*c**3 - 2*c**2 + c + 1. Is k(x) composite?
False
Suppose 4*m - b = 1081 + 667, 3*m - 5*b = 1328. Let l = 9 + m. Is l prime?
False
Let a = -115 + 1958. Is a composite?
True
Suppose 0*h - 294 = -3*h. Let d(r) = r**3 + 3*r**2 - 5*r - 50. Let o be d(7). Let a = o - h. Is a prime?
True
Let q be (-1 - 1) + 2 + 2. Suppose -q*c = 5*x - 146 - 23, -c - 3*x = -86. Is c a composite number?
True
Suppose -3*z - 10 = 8. Suppose 5*v = o + v - 8, 0 = 2*v - 2. Is 345/z*o/(-10) composite?
True
Suppose n - 112 = 3*n. Let v = n - -115. Is v a prime number?
True
Let i(j) = 22*j - 1. Let d(g) = -g**3 - 5*g**2 - 5*g + 2. Let r be d(-4). Let n be i(r). Suppose -3*o + 46 = -n. Is o prime?
True
Suppose 5*l - 2*m - 60 = -7*m, 2*l - 5*m = -4. Let j(c) = -c**3 + 8*c**2 + c - 6. Let v be j(l). Let g(q) = 111*q**2 + 2*q + 1. Is g(v) a composite number?
False
Let d = -13 - -17. Suppose -5*f - 90 = -0*f. Let t = d - f. Is t prime?
False
Let b(f) = 64*f + 19. Let g(r) = r**2 - 13*r + 12. Let a be g(13). Is b(a) composite?
False
Suppose -4*x - 3392 = 3*c, -5*c - 2149 = 5*x + 2091. Let t = 1445 + x. Is t a prime number?
False
Let c be (0 - 1/(-3))*3. Let x(y) = 1 + 6*y**2 - 10*y**2 + 25*y**2 + c. Is x(-3) a composite number?
False
Suppose 12*t = 10*t + 14138. Is t composite?
False
Let j = 11 - 11. Is -11 + 12 - (-552 - j) prime?
False
Let c = 73 + -73. Suppose -9*h + 1272 - 174 = c. Is h composite?
True
Let n(f) be the third derivative of 7*f**5/60 + 23*f**4/24 + 3*f**3/2 - 9*f**2 + 1. Is n(12) prime?
False
Let k be (-1)/((-2)/16) - 2. Let g be 3*(4 - (k + -3)). Suppose -3*p + y = -89, -g*p + 51 + 62 = 5*y. Is p prime?
True
Let p(b) = b**3 + b**2 - 2*b + 2. Let u be p(1). Is -87*(-10)/15 - (1 + u) a prime number?
False
Is 992 + (2 - 4)/2 composite?
False
Suppose 7*u - 7560 = 5040. Suppose -n + 2 = -2*t + 3, 11 = -5*t - 2*n. Is t/1 + u/12 prime?
True
Suppose 21 = 5*y - 2*h, -2*y + 2*h + 18 = 6. Suppose -3 = -y*q + 3. Suppose 1228 = 2*a + q*a. Is a composite?
False
Suppose -3496 = -4*z + 3*j - 333, 2*j = -4*z + 3138. Is z a composite number?
False
Suppose 0 = 4*p - 8*p. Let q = -4 + p. Is q/(3 + -7) + 1534 composite?
True
Suppose 5*f - 19 = -9. Is 343*f - ((-4 - -2) + 5) composite?
False
Let v(k) = -k + 1. Let m be v(3). Let w be 2 + (-2)/m - -26. Let p = w - 19. Is p a composite number?
True
Suppose 2*m - 3*y - 16397 = 0, -m - 5*y + 0*y + 8166 = 0. Is m a prime number?
True
Let l(w) = -2*w + 28. Let n be l(15). Let j(k) = -614*k - 9. Is j(n) prime?
False
Suppose 0 = -19*s 