*p + f, i + 2 = -4*p. Is i a composite number?
True
Suppose 60 = -p + 6*p. Suppose -5*l - p = -177. Is l a composite number?
True
Let g = 24 - 13. Suppose -3*j - 4*o - 16 = o, o + g = 2*j. Suppose j*y = -5*f + 120, f = 4*y + 2*f - 143. Is y a composite number?
True
Let q(o) = 8*o**3 - 4*o**2 + 6*o - 3. Suppose 0 = -2*z + 3*g - 2*g + 9, 0 = -z - 4*g. Is q(z) a prime number?
False
Let k = 6 + -8. Is k - (-6)/3 - -58 a prime number?
False
Let k be (-2)/9 - 33/(-27). Suppose 2*d = 3 + k. Suppose d*l = 4 + 126. Is l a composite number?
True
Let x = 90 + 4. Is x composite?
True
Let k = -419 + 798. Is k prime?
True
Let n(l) = l**2 - 5*l + 3. Let j(m) = -m**3 - 4*m**2 - 3*m + 4. Let k be j(-3). Let z be n(k). Is ((-39)/6 - z)*-2 a composite number?
False
Let p = 16 - 10. Suppose p*t - 7*t + 93 = 0. Is t prime?
False
Let o(n) be the third derivative of 9*n**4/8 - 13*n**3/6 - 4*n**2. Is o(6) prime?
True
Let z(y) = 3*y + 85 - 2*y - 2*y + y**2. Let w be z(0). Let r = w + -48. Is r a prime number?
True
Let j be 6/(-15) + 189/35. Suppose -2*m - 344 = -p, -2 = 2*m - 4. Suppose -249 - p = -j*i. Is i composite?
True
Suppose 4*p + 5*w = 4*w + 12394, 3*w + 6204 = 2*p. Is p a prime number?
False
Let l(c) be the second derivative of -63*c**5/10 - c**3/3 - c**2/2 - 2*c. Let s be 3/(-3) - 0/4. Is l(s) a prime number?
True
Suppose 0*n + 6 = 2*n. Suppose -h + 1020 = n*h. Suppose 2*d - h = -3*d. Is d composite?
True
Suppose -3*s + 877 = -2*v, -s + 5*v + 1174 = 3*s. Is s a composite number?
True
Suppose -o + 6*o + 25 = 0. Let x(q) = 2*q**2 - 2*q + 6. Let n be x(-6). Is (-2)/(-1) + o + n a prime number?
False
Let m be (-1)/(0 + 3/(-6)). Suppose 0 = m*t - 282 + 56. Is t a composite number?
False
Let x(a) = -a**3 - 3*a**2 - 5*a - 7. Let l be ((-6)/(-7))/((-1)/7). Is x(l) a composite number?
False
Let n(o) = -38*o + 1. Is n(-2) prime?
False
Suppose 0 = -k - 4*k + 5. Let p(l) = 11*l**2 + 0*l**2 - 3*l + l + 27*l**2 + 1. Is p(k) prime?
True
Suppose -3*c + 5*l + 377 = 0, 3*c + 0*c + 2*l - 391 = 0. Suppose 2*j + c = 383. Is j composite?
False
Is (1908/(-8))/(-9)*14 a composite number?
True
Let p = -9 - -30. Let x = -2 + p. Is x a prime number?
True
Suppose 2*k - 280 = -o, 2*o = k + 6*o - 133. Is k prime?
False
Let j(t) = -141*t - 2. Let i be j(-12). Let q = i + -939. Is q a composite number?
False
Let o(b) = -3*b**3 - 2*b**2 - 2*b. Let t be o(-2). Suppose -5*f + 0*f - 5*x = -t, 0 = 3*x + 3. Suppose -15 + 50 = f*a. Is a a prime number?
True
Suppose 0 = -2*i - 0*g - 2*g, 2*g + 12 = 2*i. Let f(d) = d - 2. Let c be f(4). Suppose 174 = 3*v + 3*b, -i*v - 49 = -4*v + c*b. Is v composite?
True
Suppose 3*i = 7*i + 12. Let z be ((-18)/8)/(i/12). Is (-231)/(-9) + (-6)/z a prime number?
False
Let d = 77 + 1022. Is d a composite number?
True
Let u(b) = -b**3 + 30. Let z be u(0). Suppose -7 = -3*x + 2*x. Let g = z - x. Is g prime?
True
Let m be (-2 - 6) + 2/2. Is -67*(m + 3 + 3) prime?
True
Is 6/((-6)/(-3109)) - 0 a composite number?
False
Let z = 47 + 70. Is z/6*1*2 a prime number?
False
Suppose -1958 + 673 = -5*g. Is g composite?
False
Let i(m) = m**2 - 5*m + 22. Is i(12) a prime number?
False
Let v = -11 - -15. Suppose -23 = -s - v*p, -s - 3*s = 4*p - 92. Suppose 2*a + 9 = s. Is a a composite number?
False
Let g be (-2)/(-5) - (-1864)/40. Let m = g + 30. Is m a composite number?
True
Let t(r) = -144*r - 21. Let o be t(-6). Suppose 5*y - o = 172. Is y a prime number?
False
Let x(o) = -o**3 + 9*o**2 + 3*o - 12. Let n be x(9). Suppose 2*t - 3*t = -n. Is t composite?
True
Let q = 1 - -3. Suppose -4*m + 66 = 2*g, 4*g - 158 = m + q*m. Is g a composite number?
False
Is (-372)/10*(-10)/4 prime?
False
Let l be (-38)/(-14) + (-4)/(-14). Let s be ((-4)/(-12))/((-3)/(-9)). Let y = l - s. Is y prime?
True
Let x be (-95)/(-1*(2 - 1)). Suppose 0 = 5*m - 5*j, 0 = 2*m + 2*m + 2*j - 12. Is m*(x/(-2))/(-5) a composite number?
False
Is -1 + (-1)/(3/(-1068)) a prime number?
False
Let m(i) = -i**2 - 3*i - 4. Let c(k) = k + 9. Let a be c(-12). Let w be m(a). Let h(x) = -x**3 - 2*x**2 - 6*x - 3. Is h(w) prime?
True
Is 381/(-2)*6/(-9) a composite number?
False
Let y(j) = 6*j - 3. Let o be (-1)/(-1*1/3). Is y(o) composite?
True
Let l(k) = -5 + 2*k + 4 + 4*k**2 - 8*k. Is l(-4) prime?
False
Let h(d) = -d**3 + 7*d**2 - 11*d + 6. Let j be h(7). Is (-1)/(143/j - -2) a composite number?
False
Suppose 0 = -20*n + 17*n + 4443. Is n prime?
True
Let j(m) = m**3 - 8*m**2 + 5*m + 4. Let c be j(4). Let x = 34 - c. Suppose k - x = -5*n + 28, 274 = 2*k - 4*n. Is k prime?
True
Let m = 1620 + -1109. Is m prime?
False
Suppose 5*d - 1140 - 2455 = 0. Is d a prime number?
True
Let v(y) = -1 - 5*y + y**3 + y + 4 - 7*y**2. Let s be ((-24)/9)/(2/(-6)). Is v(s) a prime number?
False
Let u be 2 + -2 - (1 - 207). Let k = u + -45. Is k prime?
False
Is 2/(-3) + (-5537)/(-3) + -6 a composite number?
True
Let f be (1/2)/(2/(-220)). Let x = 0 - f. Is x composite?
True
Let r be 10 + -7 + (-18)/(-2). Let n = r - 10. Suppose b + 2*s - 3 - n = 0, -5*b = -2*s - 61. Is b a prime number?
True
Suppose 94 + 691 = u. Suppose -n - u = -6*n. Is n composite?
False
Let i(l) = -3*l + 3. Let x(m) = -4*m + 4. Let t(z) = -5*i(z) + 4*x(z). Let u be t(-6). Is (-318)/(-14) - (-2)/u composite?
False
Is 19142/5 - (-6 + 135/25) a composite number?
True
Suppose -4*v + 3 = -4*h - 1, -4*h - 36 = 4*v. Let z = h + 7. Is z/(-3)*57/(-2) a prime number?
True
Let a(w) = -w**3 - 5*w**2 + 12*w - 2. Let g be a(-11). Suppose g = 4*u - 4*h, -220 = -5*u - 2*h + 485. Is u prime?
False
Suppose 4*o - 2463 = o. Is o a prime number?
True
Let y(v) = 3*v + 0 - 4*v + 2. Let s be y(-6). Let i = 111 - s. Is i a composite number?
False
Let l(f) = 6*f**3 - f**2 + 2*f - 2. Let j be l(1). Suppose 16 = j*h - 19. Is h prime?
True
Let n(h) = h**2 - h - 8. Let k be n(8). Let q = k + -15. Suppose q = -c + 2*c. Is c a prime number?
False
Suppose a - 1 = 4*f, -1 = -3*a + 3*f + 11. Suppose a*p - 456 + 131 = 0. Is p prime?
False
Let b(k) = -k**3 + 3*k**2 + 3*k + 4. Let v be b(4). Suppose -30 - 4 = -2*s - 4*m, 4*s - 4*m - 20 = v. Is s a composite number?
True
Suppose -2*v = -9*v + 2779. Is v a composite number?
False
Let r(f) = 47*f - 12. Is r(5) prime?
True
Let v = -1083 + 1701. Suppose 2*s + v = 5*s. Is s prime?
False
Suppose 0 = -3*d + 7*d - 424. Is d/8 - 1/4 a composite number?
False
Let a = -9 - -16. Let p be a/2 + (-2)/(-4). Suppose -p*d + 0*d = -348. Is d a composite number?
True
Suppose m - 2*k - 61 = 2, 3*k + 315 = 5*m. Suppose -3*y - 2*z = -43, -8*y + 3*y + z = -m. Suppose 5*r - y = 92. Is r composite?
True
Let i = 100 - -19. Is i a prime number?
False
Let i(b) = -b**2 + 6*b + 4. Let p be i(4). Let t be (p/(-9))/((-2)/3). Suppose z = -t*z + 111. Is z composite?
False
Let m(x) = 14*x - 39. Is m(16) a composite number?
True
Suppose -3*c + 5*u = -109 - 58, -5*u - 39 = -c. Let z = c - 41. Is z a composite number?
False
Is (-1)/(-2)*6/15*655 prime?
True
Let m = 9 - 6. Let w be 50/15 - 1/m. Is -1*w/(3/(-37)) a prime number?
True
Let t be 1 + (112 - (-2 - -1)). Is (0 + t/15)*5 a prime number?
False
Suppose -11*y + 1533 = -1184. Is y prime?
False
Let o be ((-80)/(-25))/(4/30). Suppose -i + 31 = -o. Is i prime?
False
Let z(d) = d - 1. Let q be z(-2). Is (3/5)/(q/(-15)) a prime number?
True
Is ((-4146)/(-18))/(-1)*(-1 + -20) a prime number?
False
Let r(f) = 2*f**2 - 2*f + 7. Is r(-7) prime?
False
Let s(j) = j**3 - 9*j**2 + 17*j - 16. Is s(11) a prime number?
False
Suppose 4*p = -a + 1176, 2*a - 3*a = p - 297. Is p a prime number?
True
Let c(l) be the third derivative of -3*l**4/8 + l**3/6 + 6*l**2. Is c(-13) composite?
True
Suppose 0 = j + 6*h - h - 22, 3*j - 26 = -5*h. Suppose -j*l = -3*s - 174, 3*l - 261 = -0*l - 3*s. Is l a composite number?
True
Is -1*(-2)/(-6)*-201 a prime number?
True
Let x = -6 - -8. Suppose k + 0*k = -x. Is (-67)/(-6)*k*-3 a composite number?
False
Let o(m) = -m**3 - 2*m**2 + 12. Is o(-7) a prime number?
True
Suppose 2*v = -4*n + 20, -4*n + 4*v = -v - 20. Suppose -3 - 1 = -2*y - 4*d, -5*d + 35 = n*y. Let j = 22 - y. Is j prime?
False
Let r(l) be the second derivative of 13*l**3/3 + 7*l**2/2 - 6*l. Is r(4) prime?
False
Suppose -m + 13056 = 4*p, -4*m = -8 - 8. Is p composite?
True
Let v(a) = 6*a**3 + 4*a**2 + a - 10. Is v(3) composite?
False
Let r be (-565 - 0)*(-30)/50. Suppose -