p = 3 - s. Is p prime?
False
Let v = 13 - 8. Suppose -2*j + d = -v, 4*d = -4*j + d + 25. Suppose j*o - 17 = 11. Is o composite?
False
Suppose q = 5*f - 0*q - 11666, -5*f + 4*q + 11669 = 0. Is f a composite number?
False
Let n(d) = 2*d + 11. Let a be n(8). Suppose f = -2*f - a. Let m = f - -13. Is m prime?
False
Suppose -16 = 4*j - 152. Suppose 4*l - 4 - 16 = 0. Suppose -33 = -y - l*a + j, 0 = -5*y + a + 231. Is y a composite number?
False
Suppose z = -2*x + 793, 0*z - 3*x = -4*z + 3172. Is z a prime number?
False
Let f be -3 - (-880 - (2 + 1)). Is (-4)/(-6) + f/12 a composite number?
True
Let i(d) = 10*d + 1. Is i(3) a prime number?
True
Let j = 31 + 54. Is j a prime number?
False
Let s(j) = -j**2 + 10*j - 3. Let q = -9 - 12. Let a = 29 + q. Is s(a) prime?
True
Is (6/(-15))/((-10)/212525) composite?
False
Let l(n) = 89*n + 1. Is l(6) a prime number?
False
Is (-51)/3*26/(-2) a composite number?
True
Is (8/(-24))/(3/(-28827)) a prime number?
True
Suppose -7*x + 60 = -199. Is x a composite number?
False
Suppose 4*m + 0*m - 871 = -l, -5*l - 5*m = -4355. Is l a prime number?
False
Let p(r) = -8*r - 7. Let m be p(-5). Suppose -z = -0*z - m. Is z composite?
True
Suppose 9*s - 4*s = -55. Let i = 2 + s. Is (-1986)/(-54) + (-2)/i composite?
False
Suppose -116 = -2*i + 114. Is i composite?
True
Let j be 58/(-1 + (-4)/(-5)). Let s be ((-48)/(-30))/((-2)/j). Suppose 0 = -4*i + s + 588. Is i a composite number?
True
Let k be 2/(-4) + 13/2. Suppose k*a = 2*a. Suppose a = -h + 5*n + 45, -3*n = h - 6 - 7. Is h prime?
False
Suppose t = -2*g + 5, 2*g + 0*t + 2*t - 2 = 0. Let i be (1/(-1)*g)/1. Is 42/i*(-12)/9 a composite number?
True
Let f = 6 - 27. Let m = -12 - f. Is m a composite number?
True
Is (5650/12 - -2) + (-1)/(-6) prime?
False
Suppose 0 = -o + 2, -w + 3*o = 3*w + 406. Suppose -2*b + 0*b = -334. Let c = b + w. Is c composite?
False
Suppose -3*c = 20 - 50. Is c/(5/((-1580)/(-8))) a composite number?
True
Let q be -2 + (1 - 2) - -5. Is q/7 - (-150)/14 prime?
True
Let a = 3 + -1. Suppose y + 0*y + 4*t = 1, 32 = a*y + 2*t. Let f = y + -2. Is f a prime number?
True
Suppose -i = -2*i + 9. Is i composite?
True
Let o = 6 - 1. Suppose o*p - p = 1276. Is p a prime number?
False
Let y be (-2)/1 - (-71 - -5). Is 4/8*6 + y a prime number?
True
Let x(y) = y**3 + 15*y**2 - 44*y + 13. Is x(-13) composite?
True
Let n(l) = -5*l**3 - 2*l**2 - 2*l - 4. Is n(-3) prime?
False
Suppose v + 1 = -2, 4*t + 2*v = 1486. Is t composite?
False
Is -3 + -58*3/(-6) composite?
True
Let h = 588 - 47. Is h a prime number?
True
Let c be -4 - -4 - (1 + -54). Suppose 0 = 4*z - b - 42, -1 = 4*z + 4*b - c. Is z prime?
True
Let x = 15 + -13. Suppose o - 536 = -4*i - 0*o, x*o = 5*i - 670. Is i composite?
True
Let l(h) = 13*h**2 - h - 3. Let i be l(4). Suppose 4*v - i = 115. Is v a prime number?
True
Let a(q) = 29*q + 12. Is a(11) a prime number?
True
Suppose 3*h - 2*g = -g + 39, -2*g + 54 = 5*h. Let j(y) = -y**2 + 11*y + 15. Is j(h) prime?
True
Let x(a) = 3*a**2 + 6*a - 11. Is x(5) composite?
True
Let i(g) = -g**2 + 7*g + 1. Let p be i(6). Suppose -p*x + 3*x = -52. Is x composite?
False
Let t = 49 - -100. Is t a composite number?
False
Let l(g) = g**3 + g**2 - g + 7. Is l(6) a prime number?
False
Let y(a) = 1. Let n(o) = -o**2 - o + 2. Let b(v) = n(v) - 3*y(v). Let d(z) = 2*z**2 + 2*z + 8. Let s(w) = b(w) + d(w). Is s(-6) composite?
False
Suppose 2*c + 2*c = -a + 88, -3*c + 43 = -5*a. Let z be 130/14 + (-6)/c. Is ((-6)/z)/(2/(-93)) prime?
True
Suppose v = 4*c + 729, 0 = v + 3*c - 0*c - 708. Is v a prime number?
False
Let g(k) = -164*k + 1. Is g(-3) a prime number?
False
Let i(l) = -l**3 - 2*l**2 + 2*l - 6. Is i(-5) a prime number?
True
Suppose 5*a = 0, g - 4*a - 2656 + 637 = 0. Is g composite?
True
Suppose -4*m = -2*m - 254. Is m a prime number?
True
Let z(u) = u**2 + 3*u - 1. Let f be z(-4). Suppose -4*s = 3*q - 0*q - 259, q + f*s = 83. Is q composite?
False
Suppose 0*p - s = -4*p + 3533, 0 = 2*p - 3*s - 1769. Is p a composite number?
False
Is 796/(-12)*-13 + (-1)/3 prime?
False
Let f = 1 - -3. Suppose 2*c + 0*c - 182 = u, -5*c = -5*u - 460. Suppose 650 + c = f*z. Is z prime?
False
Let w = 1419 - 1000. Is w composite?
False
Suppose 5*m + 5*f - 20 = 0, -2*m + 5*m - 22 = -f. Let x(g) be the first derivative of -g**4/4 + 3*g**3 + g**2 + 3*g + 4. Is x(m) prime?
False
Let c(u) = 7*u**2 - 2*u + 1. Let s be -1*9/(-5 - -2). Suppose 0 = h + 2*h - s*l - 12, -5*l - 18 = -3*h. Is c(h) composite?
True
Is -3 + 4*(-35)/(-2) composite?
False
Let q = 368 + 99. Is q composite?
False
Is ((-1441)/3)/((-16)/(-6) + -3) a prime number?
False
Let t = -911 - -1682. Is t a composite number?
True
Let i = 65 - 46. Is i prime?
True
Suppose 43 = 3*r - 0*r - 5*o, 3*r - o - 35 = 0. Suppose -3 = q, -3*q = n + q + r. Suppose -5*s + 25 = -2*f, -2*f - n = -2*s - 3*f. Is s prime?
True
Let f(d) = -d**2 - 2*d - 65. Suppose 5*y - 2 = 4*y. Let m(x) = -6*x**2 - 11*x - 324. Let r(v) = y*m(v) - 11*f(v). Is r(0) a composite number?
False
Let d be 65 - (3/3 + 1). Suppose -4*w + 3*i = -i - 68, 0 = 3*w + 3*i - d. Is w composite?
False
Suppose -6 = -5*z + 9. Suppose -2*p - 27 = -y, p - 20 - 96 = -z*y. Is y composite?
False
Let x(b) = -54*b**2 - 4*b - 2. Let z be x(-2). Is ((-2)/(-4))/((-3)/z) a composite number?
True
Let y(p) = p**2 + p - 2. Let c be y(2). Suppose 123 = n - c*l, 0 = 5*n - 2*l - 34 - 599. Is n a prime number?
True
Let o(a) = 2*a**3 + 17*a**2 + 24*a - 3. Let z(l) = -l**3 - 8*l**2 - 12*l + 2. Let u(f) = -4*o(f) - 7*z(f). Is u(-11) a prime number?
False
Is (-70)/(-7)*(-178)/(-4) composite?
True
Suppose -60 = 3*r - 945. Is r a prime number?
False
Let n(u) = -13*u - 3. Suppose 0 = -2*h - 24 + 4. Is n(h) a prime number?
True
Suppose -4*x = t - 45, 3*x - 41 + 1 = -2*t. Suppose 4*p - x - 54 = -4*q, -5*p = 2*q - 47. Is q a prime number?
True
Let n(y) be the third derivative of -y**7/504 - y**6/144 - y**5/60 - 2*y**2. Let w(i) be the third derivative of n(i). Is w(-4) prime?
False
Is (1 - 4/3)/(14/(-7854)) composite?
True
Suppose t = 273 + 605. Is t prime?
False
Suppose -5*i = -r - 128, 5*r + 240 = 2*i - 423. Let f = 0 - r. Suppose 2*u - u - f = 0. Is u composite?
True
Suppose 10 = -f - 2*n, -4*f - 7 = n + 5. Let q be 59*(21/(-3) + f). Is q/(-27) + (-2)/3 a composite number?
False
Suppose -7 = 5*o + 8. Let w be (5 - 1)*9/o. Is 2*14*(-6)/w a composite number?
True
Let c be 2/(2/1) + -3. Is c*1*79/(-2) a composite number?
False
Let k(p) = -4*p + 3. Suppose -3*o - 30 = 2*o. Let x(m) = -m**3 - 6*m**2 - 5. Let j be x(o). Is k(j) a composite number?
False
Let l = -29 + 43. Is l composite?
True
Let j be -3 + 1 + (-3479)/(-7). Let l = -256 + j. Is l composite?
False
Suppose -2*v + 0 = -126. Let l = -44 + v. Is l a composite number?
False
Let f be ((-6)/(-4))/(2/(-140)). Let m = f + 183. Suppose 2*s - m = 104. Is s prime?
False
Suppose 5*k - 1 = 29. Is 46/k*15*1 composite?
True
Suppose -5*j = -b + 4, -4*j + 1 - 4 = -b. Let v(i) = -63*i - 1 + 2 - 27*i. Is v(b) composite?
True
Suppose -3*z = f - 0*f, 0 = 4*z + 3*f - 5. Let n be 0 - ((z - -19) + 0). Is (-4)/n + (-3606)/(-54) a prime number?
True
Suppose 4*q + 4*r + 27 = r, 3*q + 14 = -r. Is (-2 + 12)/(-2)*q a prime number?
False
Suppose 2*q + 5*j - 1106 = j, 0 = 2*q + j - 1106. Suppose -4*p + q + 43 = 0. Is p composite?
False
Suppose -4*q - 2*h + 3854 + 1628 = 0, 5*q - 4*h = 6885. Is q a composite number?
False
Is 1892/12 + 6/(-9) composite?
False
Let s(d) = -d**3 + 8*d**2 - 5*d - 3. Let m be s(7). Is (2 - (-1 + -8))*m prime?
False
Let a be 3/6 - (-1)/(-2). Let h be a - ((-150)/2)/(-1). Let o = 130 + h. Is o a composite number?
True
Let u = -22 - -521. Is u prime?
True
Let p(u) = 54*u - 5. Is p(6) a prime number?
False
Suppose -4*j = -23*j + 11951. Is j a prime number?
False
Let h = -1 + 0. Let s be (44/(-55))/(h/(-5)). Let c = s - -17. Is c a composite number?
False
Let x = 1257 - 886. Is x a prime number?
False
Let v(c) = 4*c**2 + 3*c - 4. Let m(y) = -y**3 - y. Let p(o) = -m(o) - v(o). Suppose -5*q + 31 = -5*i - 9, 3*q = 2*i + 21. Is p(q) a composite number?
False
Suppose 2*i - 3*i + 161 = 0. Is i a prime number?
False
Let i(x) be the second derivative of -2*x**3 + 5*x**2/2 + 4*x. Is i(-4) prime?
True
Let s(z) = 2*z**2 + 10*z - 3. Let c(y) = -y - 20. Let o be c(-10). Is s(o) a composite numb