 0 = -s*h + 44*h + 32406. Is h composite?
True
Let d(y) = 373*y**2 + 30*y - 129. Is d(4) prime?
False
Let b(d) be the first derivative of 161*d - 6 + 1/2*d**2. Is b(0) prime?
False
Let i(s) = s**2 - s - 1. Let y be i(2). Let u = 961 - 681. Is (y + 0)/(8/u) prime?
False
Suppose -4*y - 3*k = -26, -3*k + 18 - 2 = 2*y. Suppose 0 = -y*s + 2116 + 1609. Is s a prime number?
False
Let u = 12590 + -4149. Is u a prime number?
False
Suppose -6*n + 8*n = -g + 9769, -4*n + 4*g = -19520. Is n prime?
False
Let j = -617 - -433. Let u be 2 - j/(8/2). Suppose 5*o + 4*z = 122, -5*o + z + u + 59 = 0. Is o a prime number?
False
Suppose 5*h + 0*h = 10. Suppose 0 = 4*f - h*f - 5*k - 176, -5*k + 118 = f. Let l = f - 1. Is l composite?
False
Let v(s) = 103*s - 38. Let i(c) = c + 1. Let u(a) = 3*i(a) - v(a). Is u(-15) a prime number?
False
Let x = 16002 + -3731. Is x prime?
False
Let n be ((-66)/55)/(1/5). Let q be -1*(-3)/n*-4. Is (q + -1)/((-6)/(-1074)) composite?
False
Suppose 3*n + 3 = 0, 21*n + 7464 = 4*p + 25*n. Is p a composite number?
False
Suppose 10*r - 13*r - 3*x + 77922 = 0, 0 = -4*r + 2*x + 103866. Is r composite?
False
Let t(p) = -p**3 + 7*p**2 + 9*p - 3. Let a be t(8). Suppose c - 24 = a*c. Is (-2)/(-3) + (-794)/c composite?
True
Is (30/6 - 7) + (11056 - 1) composite?
True
Let f = 33 - 33. Suppose 3*r = -2*k + 790, -2*r + f*k = 3*k - 530. Is r prime?
False
Let m(l) = -19*l**3 - 4*l**2 + l - 1. Let z be m(-3). Let y = z + -308. Let k = -2 + y. Is k prime?
True
Suppose 0 = -12*l + 22*l - 59230. Is l a composite number?
False
Suppose 1 - 3 = -2*d. Is d/2*(-7 - -1065) composite?
True
Let c(r) be the second derivative of -r**5/20 - r**4/12 - r**3/3 + r**2/2 - 3*r. Is c(-3) prime?
False
Let c(v) = -v + 2. Let f be c(6). Is (-14)/7*1594/f a composite number?
False
Let f(w) = 5*w**3 - w**2 + 2*w - 1. Let z be (-5)/2*(-84)/30. Let v = -4 + z. Is f(v) composite?
False
Let z = 296 + 3497. Is z a prime number?
True
Let d(p) = -26*p**3 - 24*p**2 - 4*p - 25. Is d(-6) a composite number?
False
Suppose 20 = -4*j, 5*m - 2054 = 4*j + 3941. Is m prime?
False
Suppose 66*o + 2*m + 444360 = 70*o, 222188 = 2*o + 3*m. Is o a prime number?
True
Let l be (6/(-2)*-2)/2. Let m = 1496 - 435. Suppose -4*d - 4*j = -9*d + 1769, -l*d + 2*j = -m. Is d composite?
False
Let v = 11578 + 6255. Is v a composite number?
True
Is 16762/(-51)*(-9)/6 a prime number?
False
Let k(s) be the first derivative of 8*s**2 + 3*s - 1. Let c = -32 + 39. Is k(c) prime?
False
Let s be 0*(-3)/(-12) + 3. Let n = 5 + s. Suppose 3*a = n + 13. Is a a composite number?
False
Suppose u = -1 - 4. Suppose -2*a + 53 = 57. Is ((-694)/u)/(a/(-5)) a prime number?
True
Let z be 306/8 + 42/24 + -2. Suppose -v + 5*o = -z, 2*v + 41 = o + 144. Is v a composite number?
False
Let i = -6671 + 12037. Is i composite?
True
Suppose -h + 3*x = -6*h + 3, -11 = -h + 2*x. Let a(i) = 4*i**3 + 3*i - 4. Is a(h) composite?
False
Suppose 4*b + 4*o - 36 = 0, 10*o = -2*b + 6*o + 28. Suppose 2067 = b*l - 1585. Is l prime?
False
Let f(y) = -5173*y - 79. Is f(-2) a composite number?
False
Suppose -2*c + 4761 + 3483 = -2*k, -3*k + 15 = 0. Is c a prime number?
True
Let n(b) = 1098*b - 73. Is n(3) prime?
True
Let y(x) = -5*x**3 + x**2 - 3*x + 9. Let l be y(-5). Suppose 2*r = 7*r - 4875. Let a = r - l. Is a a prime number?
False
Suppose -5*r + 4*l - 12 = 7*l, 3*l = -2*r - 12. Suppose r = 6*h - 3*h + 3, 4*m + 2*h = 522. Is m a prime number?
True
Let i(m) = 2*m**3 + m**2 + m + 4. Let t be i(-3). Let h(c) = -c - 7. Let j be h(-5). Is (-1 - t/2) + j composite?
False
Let p(n) = 157*n**3 + 3*n + 4. Let a be p(-1). Let s = -79 - a. Is s composite?
True
Suppose -29*a = -21*a - 295696. Is a a prime number?
False
Let l(u) = -53*u**3 + 3*u**2 - 20*u - 75. Is l(-7) prime?
False
Let c(h) = -3*h**3 - 19*h**2 - 18*h - 7. Is c(-18) a composite number?
False
Let s = -4 - 10. Is (-1*121)/(-1) - (-42)/s a composite number?
True
Suppose 5*n + 13 = 53. Suppose -3*d = -5*d + n. Suppose -149 = -r - 3*x, -d*x + 23 = 3. Is r a composite number?
True
Suppose -30*t = -28*t - 158. Is t prime?
True
Suppose -52*i = -51*i - 7297. Is i a composite number?
False
Suppose 0 = -4*b + 2*n - 8, -2*b - 5*n + 24 - 4 = 0. Let a be b/11 + 565 + 1. Let l = a - 303. Is l composite?
False
Let q = 170 + 132. Is q prime?
False
Let n(i) = -i**2 + 13*i - 25. Let k be n(10). Suppose -k*p + 868 = -1927. Is p a composite number?
True
Suppose -8*i = -4*i - 3*c - 102937, 5*i - 2*c = 128673. Is i prime?
False
Is (62539/(-2) - 4)*(-2)/3 a prime number?
True
Let d be 6/((-1)/24*-9). Let s be (-4 - (-34)/8)*d. Suppose -s*b - 2*q - 3*q + 628 = 0, -4*b + 628 = -q. Is b a prime number?
True
Let h(w) = 2650*w**2 - 6*w + 5. Is h(1) a prime number?
False
Let y(r) = 33*r**2 - 2*r - 3. Let c be y(3). Let h be (c/8)/(1 + 0). Suppose -6 = 3*k - h. Is k prime?
False
Let v = 6 - 6. Suppose v = -s - 5. Let u(w) = -16*w - 3. Is u(s) prime?
False
Let b = -162 + 168. Is 6586 - (2 + -1) - b/(-3) prime?
False
Let w = -342 - -533. Is w composite?
False
Let z = 7264 - -1399. Is z a composite number?
False
Suppose -5*y = -32 + 7. Let q(u) = 61*u - 12. Is q(y) a composite number?
False
Suppose -s + 2*z = -27149, 10*s + 2*z + 108596 = 14*s. Is s a prime number?
False
Let f = -147480 + 272663. Is f a prime number?
True
Let h(g) = 703*g + 107. Is h(8) composite?
True
Let j be -1 + 3 - (1 - 2). Suppose 4*c - 2*h = j*c + 3, 2 = c - 3*h. Suppose -38 = -c*d + 7. Is d a composite number?
True
Let j(r) = 985*r**2 + 3*r - 1. Let k be j(1). Suppose k = 6*z - 3*z. Is z a composite number?
True
Let r be 4*3/6 + -2. Suppose r = -j - 2*j + 132. Let x = j - 7. Is x a prime number?
True
Suppose -4*t = 9*t - 163865. Is t a composite number?
True
Suppose -2*p - 4823 + 1292 = -5*b, 3*b = p + 2118. Suppose 0 = 3*r - 4*g - b, 466 = 3*r - 5*g - 236. Let v = r - 160. Is v prime?
True
Suppose 0 = -6*m + 3*m. Suppose -g + 5*y - 36 = 0, -y + 27 = -2*g - m*g. Let u = 102 + g. Is u prime?
False
Let b(r) be the first derivative of -14*r**2 + 5*r + 2. Is b(-3) prime?
True
Suppose 3*v - 9 = 0, 9*r + 15547 = 10*r + 2*v. Is r a composite number?
False
Suppose 0 = 9*s - 7*s - 10. Suppose 2*y - 230 = 3*l, -4*l = -s*y - l + 593. Is y a prime number?
False
Let g(b) = -2*b + 13. Let v be g(4). Is -2 - (4 + (-10395)/v) a prime number?
False
Suppose -164*r = -160*r - 24196. Is r prime?
False
Let n(p) = p**3 + 11*p**2. Let j be n(-11). Suppose -1 = -j*a - a. Let y = a + 34. Is y a prime number?
False
Suppose -65*f + 30457 = -58*f. Is f composite?
True
Let j(n) = -97*n**3 - 2*n**2 + 8*n - 1. Is j(-4) prime?
True
Suppose 3 + 5 = 4*m. Suppose m*r + 2 = r. Is 60 - (-4)/(2*r) a prime number?
True
Let l be (-2)/(-13) - 112/52. Let h(i) = -34*i - 1. Is h(l) prime?
True
Suppose 5*f + 0*f + 3*m + 1750 = 0, -3*f - 1046 = m. Is 3/(-3) - -1 - f a prime number?
True
Let i(l) = l**3 - l**2 - l + 2683. Is i(0) a prime number?
True
Let m(y) = 2 + 11 + 6*y**2 + 14*y + 0*y**2. Suppose -15*x - 36 = -11*x. Is m(x) a composite number?
False
Suppose 4*r = 31 + 1. Suppose 14693 = r*h - h. Is h prime?
True
Let j be (-2614)/(-5)*-1 + (-4)/20. Let r = -176 - j. Is r a composite number?
False
Suppose -8*w - 5 = -9*w. Suppose w - 14 = -3*u. Suppose 4*j - 119 = u*j. Is j a prime number?
False
Suppose -15*b + 177154 + 116261 = 0. Is b prime?
False
Suppose -5*l + 5*g - 1210 = -0*l, 0 = 2*l - 3*g + 486. Let v = l - -649. Is v composite?
False
Suppose -3*c + 2053 = -6*t + 2*t, c = -3*t + 680. Is c composite?
False
Let j be (-12)/3 + 1 + 578. Suppose 0 = -z - 4*z + j. Is z a prime number?
False
Let x(f) = 6*f**3 - 4*f**2 - 3*f - 2. Let o be x(-6). Let i = 2671 + o. Let b = -789 + i. Is b prime?
False
Suppose 4*j + 2*w - 24196 = 0, 5*j - 4*j - 6052 = -2*w. Suppose -5*n = -j - 12727. Is n a prime number?
False
Let b be (-2)/(-2) - (0 - -1). Suppose b = -5*p + 2*v + 376 + 1305, -p - 5*v + 320 = 0. Is p a prime number?
False
Let c = -4 - -8. Let y be (39*c/6)/(-2). Let r(x) = -3*x + 16. Is r(y) prime?
False
Suppose 0 = -f + 4*v + 13, 2*v = 3*v + 2. Let t be -329*((-150)/35 - 2/(-7)). Suppose 1937 = f*w - 4*b, b + 3259 = 5*w + t. Is w composite?
False
Let u(h) = h**3 + 5*h**2 + 5*h + 6. Let i be u(-4). Suppose 2*o - 4 = 0, 0 = -5*k + i*k - 4*o + 107. Suppose -f = -182 + k. Is f a prime number?
True
Let w 