True
Let m = -1816 - -2963. Is m prime?
False
Let h = -58956 - -104963. Is h a prime number?
False
Let r = 104053 + -14798. Is r a prime number?
False
Let i(r) = r + 15. Let z be i(-16). Is (z/(-3))/(2/402) composite?
False
Let s(a) = -38*a**3 - 7*a**2 + 10*a - 29. Is s(-8) a composite number?
False
Let n be ((-2)/(-5))/(4/40). Suppose -b + 0*a - 12 = 3*a, 4*b + 32 = n*a. Let u(c) = c**3 + 10*c**2 + 6*c - 8. Is u(b) a composite number?
False
Let o be 12/(-10)*(-1 + 6/(-4)). Suppose -2*n + 921 = o*g, -n - 2*n = 0. Is g a composite number?
False
Let b(p) = 7*p**3 + 6*p**2 - 3*p - 6. Let o be 1 - (0 - 12)/3. Let y be b(o). Suppose 5*d = d + y. Is d a composite number?
False
Let a = 171 - 47. Let r = 1354 - a. Suppose -r = -5*g - g. Is g a prime number?
False
Suppose -y - 2 = -4. Suppose 63 = -y*q + 605. Suppose -j + 4*u - 347 = -6*j, -u + q = 4*j. Is j a prime number?
True
Let g(l) = -2*l**3 + 9*l**2 - 7*l + 40. Let x(m) = 6*m**3 - 28*m**2 + 20*m - 121. Let q(t) = 8*g(t) + 3*x(t). Is q(10) a composite number?
False
Suppose -8543 = -5*a + 2*b - b, -2*a + 3*b + 3412 = 0. Is a prime?
True
Suppose 0 = 2*o + 6, 3*w - 3252 + 79089 = o. Let p be (-8)/14 - w/(-56). Is ((-3)/2)/(2/p) a prime number?
False
Let x(k) = -k**3 + 16*k**2 + 20*k - 18. Let i be x(17). Suppose -t - 3 = 0, 5*l - i = -2*t + 391. Is l a prime number?
False
Is 30151/(-22)*(-8)/4 a prime number?
True
Let b(m) be the third derivative of -m**5/60 + m**3/6 + m**2. Let z be b(1). Suppose -k + 47 = -z*k. Is k prime?
True
Let a = 7 + 7. Suppose -s + a = s. Is (s - 6) + 1 + 83 prime?
False
Let v = 12 - 9. Let z(w) = -1 + 3*w**v - 5*w - 4*w**2 - 2 - 2*w**3 - 2*w**3. Is z(-5) a composite number?
False
Suppose -19884 = -7*c + 5*c. Suppose -2*a + c = 2*m - 442, 3 = -m. Is a composite?
True
Let d(q) = 409*q**3 + q**2 - q. Let y(b) = -b**2 + 9*b + 3. Let o be y(9). Suppose -n - o*n = -4. Is d(n) prime?
True
Suppose -664 = -8*c + 18000. Is c a prime number?
True
Is (-1)/((-2)/30642*3) composite?
False
Suppose 5*l + 7886 = g, -5*g + 0*l = 4*l - 39517. Is g prime?
True
Let l(x) = -39*x - 58. Let w(k) = 13*k + 19. Let o(v) = 2*l(v) + 7*w(v). Is o(5) prime?
False
Let b = -4485 - -6818. Is b composite?
False
Is -362*(-6)/(-24)*-102 - 4 a prime number?
True
Let q(j) = 275*j + 20. Let m be q(3). Let h = m + -528. Is h prime?
True
Let x = 49 + -142. Is x/2*-4*(-2)/(-4) prime?
False
Suppose 34 = -4*u - 34. Let h = 34 + 70. Let j = u + h. Is j composite?
True
Let k = 111 - -81. Suppose -3*l - b = -249 - k, -2*b = -6. Is l a prime number?
False
Let l be (-1)/2 - (-71)/2. Let u = 61 - l. Let v = u + 32. Is v composite?
True
Let f = -119 + 989. Suppose -h = 5*h - f. Is h prime?
False
Let l(n) = 747*n - 53. Is l(4) prime?
False
Suppose 2*n + 2*n - 4 = 0, 6060 = 2*h - 2*n. Let j = h + -2153. Is j a composite number?
True
Let n = -166 + 168. Suppose -4*m + 3 + 9 = 0. Suppose -m*f - 307 = -2*z, n*f = -2 - 4. Is z a prime number?
True
Let j(r) = -10*r + 2*r**2 - 992 - 19*r + 983. Is j(15) a composite number?
True
Let b be (22*-164 + -2)*1. Let t = 5087 + b. Is t a composite number?
True
Suppose -141*u = -187*u + 536590. Is u a prime number?
False
Let q(w) = w**3 + 4*w**2 - w - 2. Let f be q(-4). Suppose 4*u + 4 = 5*m + 21, -f*u = 3*m - 3. Suppose u*l - 7 = 158. Is l prime?
False
Let q(p) = -p**3 - 22*p**2 - 23*p - 11. Let z(f) = -f**3 - 6*f**2 - 2*f. Let y be z(-3). Is q(y) a composite number?
False
Suppose -339*l + 378347 = -320*l. Is l a prime number?
True
Let v(w) = 172*w**3 - 17*w**2 - 6*w + 48. Is v(7) prime?
True
Let k = -25503 - -39854. Is k prime?
False
Let l(b) = -55*b**3 - 4*b**2 + b - 9. Let n(w) = -14*w**3 - w**2 - 2. Let z(u) = -2*l(u) + 9*n(u). Is z(-5) a composite number?
True
Let l = -4 - -4. Suppose -3*i + 65 + 1414 = l. Is i composite?
True
Suppose f - 24 - 4147 = 0. Is f prime?
False
Let r be (522/3 - 0)*-1. Let u = -121 - r. Is u composite?
False
Let a(g) = g**3 - 7*g**2 + 5*g + 9. Let y be a(6). Suppose 983 = y*t - 1084. Is t prime?
False
Let y be -38 + 0 + -1 + -1. Suppose 0 = -6*t + 766 + 1520. Let c = y + t. Is c composite?
True
Suppose -6*c + 6893 = s - 2*c, 3*s + c = 20712. Is s a prime number?
False
Let r(u) = -215*u - 68*u + 10*u - 28. Is r(-9) a composite number?
True
Let d = -8 - -10. Suppose 0 = 3*k - 2*s - 247 - 350, 382 = d*k + 4*s. Suppose 6*j - 3*j = v - 221, -v - 3*j + k = 0. Is v a prime number?
False
Suppose j = 4*h - 4, 4*h + 13 = -5*j + 65. Suppose 4*z - j*z = -k + 402, 0 = -4*k + 2*z + 1580. Suppose -62 = 4*p - k. Is p composite?
False
Is (-276990)/(-18) - 6/(-9) composite?
True
Let q(h) = -86*h**3 + 15*h - 7. Is q(-4) a composite number?
False
Let c = 9176 - 6067. Is c a prime number?
True
Suppose 5*f + 5 = -0. Suppose 4*r - 7 + 35 = -2*j, -3*j - 75 = -5*r. Let v = f - j. Is v composite?
False
Let l = -596 - -1005. Is l prime?
True
Suppose -1990 - 8963 = -9*s. Is s composite?
False
Let t(p) = p - 11 - 2*p + 12*p + p**3 + 14*p**2. Is t(-12) composite?
True
Let z be (4/(-2) - 2) + 39. Suppose 3*q - z = -2*m + 70, 5*m = 3*q - 126. Is q a prime number?
True
Suppose -2*y - 198 = 18. Let s = y + 530. Is s prime?
False
Is 7 - 100/(-15)*6 a prime number?
True
Let s be ((-22)/11)/(2/(-9)) - 3. Let h(a) be the first derivative of a**3 + a**2/2 + 5*a + 1. Is h(s) a composite number?
True
Let y(h) = -h**3 - 24*h**2 - 39*h - 109. Is y(-54) composite?
False
Let d(y) = -2*y**2 + 13*y + 11. Let i(w) = 2*w**2 - 12*w - 10. Let j(p) = -5*d(p) - 6*i(p). Let v be j(-7). Let n = -15 - v. Is n a composite number?
False
Let p(u) = 149*u**2 + 28*u - 209. Is p(6) composite?
False
Let g(d) = d**2 - 24. Let l = -16 + 16. Let n be g(l). Let k = 34 + n. Is k prime?
False
Let x = 3690 + -2525. Suppose 6*s - s - x = 0. Is s composite?
False
Suppose 2*h + 2640 = 4*l + 698, -2*h = -5*l + 1940. Let r(w) = -55*w**3 + 2*w**2 + 5*w + 2. Let s be r(-3). Let z = h + s. Is z prime?
False
Let k = 984 - -103. Is k a prime number?
True
Let c(t) = -163*t**2 + 1. Let q(s) = -s + 4*s + 0*s - 4*s. Let u(g) = -c(g) - q(g). Is u(1) prime?
True
Let g(f) = 21*f**3 - 2*f**2 - 11*f + 125. Is g(7) a prime number?
False
Suppose 792140 = 74*p - 54*p. Is p prime?
True
Is (12 - 24) + 6 + 927 composite?
True
Let g(u) = 39*u + 3. Let i be g(-3). Let w = -45 - i. Is (1/(-3))/((-1)/w) composite?
False
Is 55027/98*(2 - (3 + -35)) composite?
True
Suppose 0 = -4*x + 5*j + 18413, 3*j + 17864 = 4*x - 539. Is x prime?
True
Suppose 6*u - 37 + 7 = 0. Suppose -w + 5*d + 251 = 84, -d = u*w - 861. Suppose w = 42*v - 38*v. Is v a prime number?
True
Let c = 0 + 1. Let m be 4 + -2 + -1 + c. Is (2950/4)/5*m a prime number?
False
Is (-234360)/(-96) - 3/12 a composite number?
False
Let x = 85 - 170. Suppose -2*u - 4*l + 372 = 0, -2*l + 590 = 4*u - 142. Let o = x + u. Is o composite?
False
Let n = -14 - -10. Is ((-6855)/(-10))/((-3)/n) a prime number?
False
Suppose -5*p + 2 = -6*p. Is ((-27916)/12)/(p/6) a composite number?
True
Let g(n) = -353*n + 16. Let x(h) = -2*h. Let w(m) = g(m) + 3*x(m). Is w(-2) a composite number?
True
Let g(m) be the third derivative of 3*m**5/20 + m**4/2 + 16*m**3/3 + 3*m**2. Is g(-13) prime?
False
Is (-30742 - 1)*-2 + (-785)/157 prime?
False
Suppose 0*p - 5*p = 0. Suppose 3*n = -3*d + 2*d + 170, 288 = 5*n - 3*d. Suppose p = 2*k - n - 257. Is k a prime number?
True
Suppose -3166 = -5*r + 5244. Suppose 2*w + 0*z = -2*z + r, -3*w - 2*z + 2520 = 0. Is w a prime number?
False
Let r(b) = 7*b**2 + 2*b - 26. Let q(a) = 6*a**2 + 3*a - 25. Let x(u) = 6*q(u) - 5*r(u). Let k be x(-10). Suppose -c + 593 = -k*c. Is c a composite number?
False
Suppose -45 = 4*j - 8*j + m, 2*j = -m + 15. Let n = 12 - j. Suppose -5*g + 286 = 2*z, -240 = -4*g + 2*z + n*z. Is g a prime number?
False
Let m(x) = 303*x**3 + 4*x**2 - 8*x + 5. Is m(2) composite?
True
Suppose -3*d + 6*d = 864. Suppose -5*n = n - d. Suppose 0 = 5*c - 233 + n. Is c composite?
False
Suppose -r = 3*s + 15, -r - 2*s - 1 = 9. Suppose 5*o - y - 994 = 0, 4*y = -r*o + o - 195. Is o prime?
True
Is ((-4)/(-16)*-2374)/((-16)/32) a composite number?
False
Suppose -2*s + k + 0*k = -9, 4 = -4*k. Let g(f) = 3 + 9*f**2 + 19*f - s*f**2 - 19*f. Is g(4) a composite number?
False
Let a = 1459 - -2530. Is a prime?
True
Let s(f) = -38*f - 3. Let c be s(-1). Is (3 - (-5360)/25)*c a composite number?
Tru