False
Let q(w) = -5*w + 23. Let j be q(7). Is (118 - 0)*j/(-24) a prime number?
True
Let h be (-1 + 5/2)*6. Suppose -h = -3*n, 0*j - 136 = -4*j + 4*n. Is j composite?
False
Let k = 1760 + 1583. Is k a prime number?
True
Let p(b) be the first derivative of 3*b**3 - 11*b**2 + 21*b - 1. Is p(16) composite?
False
Suppose 582 = -9*o - 1461. Suppose -3*u - 530 = 2*u. Let k = u - o. Is k composite?
True
Suppose -17*y = -23*y + 24. Suppose 2*b = -y*d + 1794, 7 - 2 = d. Is b composite?
False
Let f(m) be the first derivative of 15*m**2 - m - 1. Let u = 84 - 82. Is f(u) composite?
False
Suppose 8*s - 1421 = 8283. Is s a composite number?
False
Let c = -1 - -6. Suppose 4*l + c = 5*j - 3, -27 = -5*l - 3*j. Suppose -4*t + l*v = t - 554, 0 = 3*t - v - 330. Is t prime?
True
Let i(h) be the second derivative of 7*h**4/12 + 5*h**3/6 + 11*h**2/2 + 4*h. Is i(6) a composite number?
False
Suppose 0 = -4*h - 46 - 26. Let r = 22 + h. Suppose -3*i = r*y - 931, -i - 253 = -2*y + 220. Is y composite?
True
Let j(i) = 21*i**2 + 27*i - 55. Is j(14) composite?
True
Suppose 26392 = 4*v - 64508. Is (-4)/(-14) - v/(-63) a composite number?
True
Let f = -54 - -91. Let k(d) = -d**3 - 10*d**2 - 15*d + 20. Let t be k(-10). Suppose -3*r + f = -t. Is r composite?
True
Let b(q) = 59*q**3 + 2*q**2 - 8*q - 5. Is b(6) a prime number?
True
Suppose 77 = 3*r + 4*a, 4*r + 4*a + a - 102 = 0. Let o = r - -119. Is o a composite number?
True
Suppose 0 = 3*b - 12, 0 = 5*l + 3*b + b - 72201. Is l composite?
False
Suppose 72 = 4*w - 4*j, w + 4*j - 81 = -4*w. Suppose -2 = -i - w. Let q = i + 21. Is q prime?
False
Suppose 0 = 3*b + 4*j - 20857, 14*b + j = 16*b - 13890. Is b composite?
False
Let m(k) = -37*k - 9. Let x(l) = 73*l + 17. Let v(a) = -11*m(a) - 6*x(a). Is v(-10) a composite number?
False
Suppose -m = -6*m. Suppose m = 2*n + 5*n - 5887. Is n prime?
False
Is (-1)/((-60)/(-140) + 49520/(-115514)) a prime number?
False
Is 7807/(2/(-6) + (-12)/(-9)) a prime number?
False
Suppose -5*t + 24700 = -5*m, 0*t + m - 9877 = -2*t. Let p = t - 1032. Is p a composite number?
False
Suppose 0 = 4*c - z - 289 - 3027, 3316 = 4*c + 2*z. Is c composite?
False
Let n(s) = s. Let j(k) = -1101*k**2 - 6*k - 2. Let q(c) = -j(c) - 5*n(c). Let y be q(-1). Suppose 0 = -f - f + y. Is f prime?
False
Is 6 - ((-208)/(-65))/(3/(-19140)) a prime number?
False
Let q = -8402 - -16417. Is q/63 - 4/18 composite?
False
Let u = -9 + 8. Let w be u/(-4) + (-45)/(-12). Suppose -w*x = 4*a - 1488, -5*x + 1775 = -a - 79. Is x a prime number?
False
Let x(d) = -30 - 6 + 36*d**2 - 34*d**2 - 15*d. Is x(23) a composite number?
False
Let p = 7879 - -6192. Is p a prime number?
True
Let p = 2425 - 882. Is p composite?
False
Suppose -24596 - 42880 = -12*s. Is s prime?
True
Suppose 2 - 85 = m. Let y be 7/((-21)/9) - m. Suppose -4*r = n + n - y, -5*n = -5*r - 155. Is n composite?
True
Suppose -2*b - g = -b + 9, 2*b + 18 = -4*g. Let o(n) = 33 + 9*n - 85 + 39 + 3*n**2. Is o(b) composite?
False
Let v be 5/1*(-386)/(-2). Suppose v + 134 = 7*h. Is h a composite number?
False
Is (-10565349)/(-399) + (4/(-7) - 0) composite?
False
Let y = -10 + 21. Let a(v) be the third derivative of v**5/20 + 5*v**4/24 - 23*v**3/6 - 62*v**2. Is a(y) a composite number?
True
Let j = 22550 + -15483. Is j prime?
False
Suppose 16 - 6 = 2*m. Suppose 2*l = -5*o + 97, m*o - 113 = l + l. Is o a prime number?
False
Let l = 6317 - 4323. Is l a composite number?
True
Let y = 25006 + -14165. Is y a prime number?
False
Suppose 9343 = -5*u + f, -5*f - 10428 + 2942 = 4*u. Is u/(-28) + 2/8 composite?
False
Let p(y) = 1893*y**2 + 10*y - 9. Is p(2) a prime number?
True
Let m be 36 + 10 + 0/1. Let h = 173 - m. Is h a prime number?
True
Let f(d) = -d**3 + d**2 + 3*d + 1. Let p be f(3). Let k(r) be the second derivative of -r**5/20 - 7*r**4/12 - r**3 - 3*r**2/2 - 4*r. Is k(p) composite?
False
Let p(g) = -69*g**2 - 2*g + 9. Let j be p(-5). Let k = -808 - j. Is k a composite number?
True
Let j = 25984 - 17468. Suppose 4*n - j = -0*n. Is n composite?
False
Let x(y) = y**3 + 4*y**2 + 2. Let f be x(-4). Suppose -2*o + f*s - 9809 = -7*o, 2*s + 9801 = 5*o. Is o a composite number?
True
Is 8/((-360)/(-16767)) - 2/(-5) composite?
False
Let z(i) = i**2 - 2*i - 2. Let y be z(2). Let l be y/4 + (-102)/(-12). Suppose 2*a = n + a - 417, 0 = -4*a + l. Is n a prime number?
True
Is (-2 + 3)*-10 + 38463 prime?
True
Suppose -z = -4*r - 4537, -5*z - 5*r = -2*z - 13679. Is z a prime number?
False
Suppose 3 = 4*j - p - 2, 5 = -5*j + 5*p. Suppose -3*k = 5*q - 20, k = q + 2*q + j. Suppose 1592 = 2*v + k*u, -4*v + 3*u - 786 = -3944. Is v a prime number?
False
Is -4790*(21/14)/(-3) a prime number?
False
Suppose 12*l = 9*l. Let g = 3 - l. Suppose -g*u + 5*u - 614 = 0. Is u a prime number?
True
Let z be ((-2)/4)/(-4 + 370197/92550). Suppose 3*q = 8*q - z. Is q composite?
True
Let a(d) = -15 + 75 - d**2 + 87 + d**3 - 20. Is a(0) composite?
False
Let f be 2/((6/(-15))/1) - 1. Is (-2)/(f/(-9) + (-17984)/26958) composite?
False
Suppose -w + 4*w + l = 9361, -9369 = -3*w - 3*l. Is w composite?
False
Let w(x) = x**3 + 6*x**2 + 3*x - 3. Let o be w(-4). Suppose -12*b - 2095 = -o*b. Is b composite?
False
Suppose -q - 25 = -6*q. Let i(b) = 38*b + 1. Let p be i(q). Suppose 0*o + o = p. Is o a prime number?
True
Suppose -301 = -4*f - 3005. Let y = 1013 + f. Is y composite?
False
Suppose 0 = 3*g - 5*a - 101017 - 1115, g - 4*a - 34037 = 0. Is g a prime number?
False
Let f be (-15 + -3)*1/(-3). Suppose -f = -4*m + 6. Is m*1*(-1503)/(-27) a prime number?
True
Let x(z) = -10*z - 3. Let p be x(-14). Let o be 1/2 + p/2. Let m = 184 + o. Is m a prime number?
False
Let l = -8 - -13. Suppose 0 = -l*k + 3 + 17. Suppose -p - 109 = -k*n, 4*p + 0*p + 98 = 3*n. Is n a prime number?
False
Is -17462*(-2)/12 - (-10)/15 composite?
True
Suppose 0 = j + 3*j - 3*c - 29, c = 3*j - 18. Suppose -f + 4*y = -0*y - 15, j*f - 2*y = 21. Let h(d) = 3*d**2 + d + 4. Is h(f) composite?
True
Let q = 10 + 5721. Is q prime?
False
Let n(y) = y**3 - 4*y**2 - 11*y - 27. Is n(31) a prime number?
True
Let n be (12/8)/((-6)/16). Let r(l) = 34*l**2 + 7*l - 5. Is r(n) a prime number?
False
Let l(y) = 58*y**3 + y**2 + 13*y + 9. Is l(11) a prime number?
True
Let w(a) = -7 + 88*a - 1 - 13*a + 7. Let g = -5 - -7. Is w(g) prime?
True
Let v be 5/(10/(-4)) + 16. Let u = 18 - v. Suppose 0*t + 421 = d - 4*t, -5*t = u*d - 1621. Is d a composite number?
False
Suppose 5*v - 4*k - 33479 = 44144, 3*k - 9 = 0. Is v composite?
False
Suppose -5*y = -7*y - 2708. Let r = 2339 + y. Is r a composite number?
True
Suppose -4*y + 77508 = 2*d - 40602, 4*d - 236256 = y. Is d prime?
True
Let p = 1593 - 50. Is p a prime number?
True
Let f = -17 + 21. Suppose -2*s - 10 = t, -4*t + s + 3*s = f. Is 3/12 - 1011/t a prime number?
False
Let j(u) be the third derivative of 83*u**4/4 + 9*u**3/2 - 55*u**2. Is j(4) prime?
False
Let p(x) = -x + 2. Let y be p(0). Let l be y/4 + 12/8. Let c = l - -29. Is c a composite number?
False
Let u(v) = 2312*v + 1. Let w be u(3). Suppose -5*a + 6949 = -y + 4*y, -3*y + a = -w. Is ((-2)/(-3))/(6/y) composite?
False
Let k(b) = 37*b**2 - b + 1. Let h be k(-2). Let m(q) = -q**3 - 13*q**2 - 17*q - 6. Let j be m(-12). Suppose -h = -t - j. Is t a composite number?
False
Suppose -v = 3*m + 45, 0*v + 2*v = 2*m + 30. Is 1280/25 - (12/m)/(-4) composite?
True
Suppose 6*r - 2*r = -s + 40316, -5*r = -3*s - 50395. Is r a prime number?
True
Let z be (878/(-2) + -2)*-1. Suppose -6*u = -2*u - v - 336, -4*v + z = 5*u. Is u a prime number?
False
Suppose 61*h - 28250 = 11*h. Let w = 525 + -269. Let l = h + w. Is l a composite number?
False
Let s = 16 - 11. Suppose -7*g + 2*g + s = 0. Is (598/(-4))/(g/(-2)) a composite number?
True
Let j be (-38)/(-12) + 3/(-18). Suppose 6*v - j*v - 6 = 0. Suppose -6*y - q + 32 = -y, -y + 10 = v*q. Is y prime?
False
Suppose -312 = -7*g + 3258. Suppose 0 = 5*p + 5*t - g, -5*p + t = 4*t - 512. Is p composite?
False
Let t be 365/25 + 4/10. Suppose 5*v - 3*z + 118 = -t, 5*v + 134 = 4*z. Is (-423)/(-2) - (-13)/v composite?
False
Let y = 462 + -216. Let a be -3 + 10 + -3 - y. Let j = a + 387. Is j composite?
True
Let a(t) = 3*t**2 - 28. Let x be a(12). Let b = -241 + x. Is b a composite number?
False
Suppose 2*i - 1885 = -3*w, i + 5*w = 6*w + 940. Is i composite?
Fal