Let p(h) = -216*h + 5. Is p(-9) composite?
False
Let x(d) = 1 - 5 - 2 + 9*d + 0. Let m be (1*-5)/(0 + -1). Is x(m) prime?
False
Suppose -2*k + 14 = 4*p, -3*k = k - 4. Suppose -p*d = 63 - 270. Is d a prime number?
False
Let z(r) = -4*r**2 - 7*r - 7. Let k(a) = 3*a**2 + 6*a + 6. Let x(c) = -5*k(c) - 4*z(c). Let p be (9 - -1)*(-1)/2. Is x(p) composite?
True
Suppose -468 = -3*j - 5*k, -4*j - 3*k + 191 = -444. Is j prime?
False
Let a(u) = 5 - 1 - 4*u**2 + u**3 + 2*u**2 - 3*u. Let b be a(3). Suppose -2*m - b*t + 0*t + 378 = 0, -t + 936 = 5*m. Is m prime?
False
Let b(n) = -7*n**3 - 24*n**2 - n - 25. Let s(c) = 3*c**3 + 12*c**2 + 13. Let h(t) = 2*b(t) + 5*s(t). Is h(-12) composite?
True
Suppose -7 - 2 = -3*a. Suppose 16 = -a*b - b, -3*l + 517 = 5*b. Is l a composite number?
False
Let w(t) be the first derivative of -t**4/2 - 4*t**3/3 - 7*t**2/2 - 3*t - 1. Is w(-4) composite?
False
Suppose -2*d + d + 1009 = 0. Is d prime?
True
Let v(w) = 8*w + 1967. Is v(0) a composite number?
True
Suppose 2*r - r + 2343 = 4*h, 607 = h + 4*r. Is h composite?
False
Let d = 672 + -403. Is d composite?
False
Let y(u) = 3*u + 5. Let r(f) = 13*f + 19. Let w(t) = 14*t + 18. Let j(a) = 3*r(a) - 2*w(a). Let c(s) = 2*j(s) - 9*y(s). Is c(-8) composite?
False
Suppose 4*m - 111 = 3*m. Is m a composite number?
True
Let j = 11816 + -6595. Is j a prime number?
False
Suppose 5*r + 4*i = 4*r, 45 = -4*r - i. Let f be r/30*-1*5. Suppose -3*y = 2*m - 161, y - f*m - 65 = 3*m. Is y a prime number?
False
Is 139/2*(-21 + 25) a composite number?
True
Let c(w) = -w**3 - 4*w**2 + 5*w + 3. Let f be c(-5). Suppose -f*p = -2*p - 49. Suppose 135 - p = 2*t. Is t prime?
True
Suppose 0 = 2*b - 4*j + 2*j + 7998, -5*j + 15998 = -4*b. Is b/(-21) - 2/(-3) a prime number?
True
Suppose -5*z - 25 = -5, 4*z + 461 = 5*p. Is p composite?
False
Let v be (-3)/(-3 - (1 + -3)). Let y(g) be the third derivative of 3*g**5/10 - g**4/24 - g**2. Is y(v) composite?
True
Let z be (-9)/((-2)/14 + 0). Let c be (-2)/9 - (-110201)/z. Is (-2)/7 - c/(-21) a composite number?
False
Suppose 21 = w + 2*w. Is w a prime number?
True
Suppose -5*t = 2*x - 52, 2*t + 4 = -4*x + 76. Suppose -3*y = 5*z - y - 157, -3*z + 4*y + 89 = 0. Let w = z - x. Is w composite?
True
Let z(b) = 382*b**2 - b. Let p be z(1). Suppose 2*j - p = -j. Is j a composite number?
False
Let g(t) = -5*t**2 + 5*t + 2. Let d be g(-3). Let u = d + 93. Suppose -p + 1 = -4*b + 15, 0 = -5*p - b + u. Is p a prime number?
False
Is (-2)/4 + 765/6 composite?
False
Suppose 3*p + 12 = -6. Let z(b) = -b**3 - 5*b**2 + 2*b. Let m be z(p). Let c = m - 11. Is c a composite number?
False
Let v(i) be the second derivative of i**5/20 + i**4/4 - i**3/2 - i**2/2 - 2*i. Let m be v(-6). Let c = 168 + m. Is c composite?
True
Let o(h) = -1211*h**3 + 5*h + 5. Is o(-1) prime?
False
Suppose 0 = -4*y - y + 5*b + 1195, 4*y = -2*b + 968. Let m = -130 + y. Is m a composite number?
True
Suppose 2*h = y + 30, -5*y = -3*h - 2*y + 48. Is h a composite number?
True
Suppose 0 = -5*r - 5, 2837 = 3*y + 2*r + 43. Suppose -o + 5*o = y. Is o prime?
True
Let j(q) = 17*q - 6. Suppose 3*n + 51 = 3*l, l - 73 = -4*l + 2*n. Let i = -6 + l. Is j(i) a prime number?
True
Suppose 0 = -12*a + 1365 + 783. Is a composite?
False
Let j(b) = 64*b**2 - 5*b - 11. Is j(4) prime?
False
Suppose -4*l + 96 = -52. Is l a prime number?
True
Let g(o) = 64*o + 63. Is g(11) composite?
True
Let c be (-115)/15 - (-1)/(-3). Let x(k) = 2*k**3 - 9*k**2 - 6*k + 2. Let v(j) = 3*j**3 - 18*j**2 - 13*j + 3. Let m(w) = 3*v(w) - 5*x(w). Is m(c) prime?
True
Let u be (-3 - (-1 + -2))/(-2). Suppose 3*r + 10 + 2 = u, -3*v + 335 = r. Is v a composite number?
False
Let r be -3 + 0 + 3 + -2. Let d be (-562)/(-8) + r/8. Suppose -2*u - 4*o + 63 = -7, -d = -2*u + o. Is u a prime number?
False
Let s(b) = -304*b + 3. Is s(-1) composite?
False
Let m(y) = -y**3 - 10*y**2 - 9*y - 2. Let b be m(-9). Let k(h) be the second derivative of h**4/2 + h**3/3 + 3*h**2/2 - h. Is k(b) a prime number?
True
Let u(z) = 43*z**2 - 4*z. Is u(-13) composite?
True
Is 7 + (-6 - -2) - -532 a prime number?
False
Is ((-20)/(-30))/(-1 + (-2265)/(-2259)) a composite number?
False
Let t = -72 - -109. Is t composite?
False
Let k(f) = 2*f**2 + f + 1. Let n be k(-1). Suppose n + 24 = 2*s. Is s prime?
True
Suppose 1 = 3*f + 13. Let w = f + 8. Suppose -57 = w*p - 7*p. Is p composite?
False
Let w(j) = 109*j + 13. Is w(1) a composite number?
True
Let o be 80 - -2*(-9)/6. Suppose 350 = 5*u + 3*z, -5*u + 268 = 2*z - o. Is u a prime number?
True
Let s = 243 - 43. Let m = 121 - s. Let l = 134 + m. Is l composite?
True
Suppose 6 = 4*s - 6. Suppose -4*y = -2*v - 42 + 206, v + s*y - 62 = 0. Is v composite?
True
Let u(s) = -s**3 - 26*s**2 - 6*s + 47. Is u(-26) a prime number?
False
Suppose x = u, 0 = -3*u + x + 3 + 3. Suppose -4*b - 2*b = -36. Is (-21)/(-2)*b/u a prime number?
False
Suppose 0 = -20*z + 15*z + 815. Is z a composite number?
False
Let j be 8/6*((-25)/(-10) + -1). Let y = -1 - -4. Suppose x - 198 = -j*x - r, y*r - 58 = -x. Is x prime?
True
Let h(r) = -5*r**3 - r**2 + r - 3. Let y(s) = -s**2 - 1. Let b(c) = -h(c) + y(c). Is b(3) a prime number?
False
Let x = -1054 - -1797. Is x a prime number?
True
Let t = -19 - -52. Is t a composite number?
True
Suppose -k - 5*r = -463, -4*k - r + 1784 = 2*r. Is k prime?
True
Let f be (45/6)/(3/6). Is (-5)/(f/9) + 194 a prime number?
True
Suppose -5*v + 6969 + 9966 = 5*f, -5*v - 2*f + 16929 = 0. Is v a composite number?
True
Let s = -18 - -10. Let v = s + 11. Suppose 5*m + g = v*g + 101, 0 = 5*m + g - 92. Is m a composite number?
False
Suppose 2*c + j + 3*j - 386 = 0, 4*c + j = 793. Let v = -57 + c. Is v prime?
False
Let c(t) = -7*t + 4. Let k be 0 - (-5)/(10/6). Suppose -3*a = -0*f + 2*f - 1, k*f + 2*a + 11 = 0. Is c(f) composite?
False
Let n = -103 + 320. Is n a composite number?
True
Let z(v) = 4*v**2 + 4. Let x be z(-7). Suppose -t + s - 3*s = -69, -3*t + x = -s. Is t a composite number?
False
Suppose -2*z = -5*z - 42. Is 6/(-21) - 1082/z a prime number?
False
Let r(f) = -6*f + f + 4*f + 1. Let z be r(-4). Suppose -275 - 50 = -z*k. Is k composite?
True
Suppose -2082 - 153 = -5*b. Is b prime?
False
Let t = 1580 + 1181. Is t a prime number?
False
Let o(w) = w - 4 + 34*w**2 - 4*w**2 + 0*w + 0*w. Is o(5) a composite number?
False
Let c(o) = 16*o - 35. Let z(p) = -8*p + 17. Let j(d) = -3*c(d) - 7*z(d). Is j(6) a composite number?
True
Suppose -444 = 3*n - 5*n. Suppose -4*g - 150 - n = 0. Let y = -40 - g. Is y a composite number?
False
Suppose -2*o - 20 = -7*o. Let m be 1 - (-5)/((-20)/(-8)). Suppose -m*p + 189 = 5*d, -p - 235 = -o*d - 77. Is d a prime number?
False
Let v be (-3)/(-6)*(-2 - -112). Let b = v + -34. Is b a prime number?
False
Let k(o) = -o + 4. Let u(d) = -2*d + 7. Let a(n) = -5*k(n) + 3*u(n). Let m be a(-1). Is -2*-1*m*1 composite?
True
Suppose 0 = -4*s + 2*v + 1384, -2*s - v + 854 = 158. Is s a prime number?
True
Is (42/(-12) - -4)*2222 a prime number?
False
Suppose -u = 1 - 271. Let s = -91 + u. Is s prime?
True
Let l(d) = d**3 + 4*d**2 - d + 5. Let v be l(-4). Let g(m) = m**3 - 16*m**2 + m - 22. Let w be g(16). Is v/w*(-118)/3 a prime number?
True
Suppose 427 = l + 4*b, -5*b = -0*l - 4*l + 1624. Suppose 0 = -v - 116 + l. Is v a prime number?
False
Suppose -3*n + 1031 = -4*i, -7*n + 4*n = i + 254. Let t = -40 - i. Is t composite?
True
Suppose -i = i - 6, 4*q + 4*i = 0. Let w(u) be the first derivative of -u**4/4 - u**2 + 5. Is w(q) a composite number?
True
Suppose -13*o + 8*o = -715. Is o a prime number?
False
Let b(x) = 0 + 0 - 4*x + 1 - 4. Is b(-6) a prime number?
False
Suppose -h - 32 = -124. Suppose 0 = -2*w + 303 + 39. Let s = w - h. Is s composite?
False
Let k = -15 + 284. Is k a composite number?
False
Suppose 4*t + y - 6149 = 9377, 0 = -5*t + 4*y + 19397. Is t a composite number?
False
Let h = -1239 - -2720. Is h a prime number?
True
Suppose -12 = -5*k + 33. Let j(f) = 3*f**2 + 3*f + 4. Let q be j(3). Let a = q - k. Is a a composite number?
False
Suppose -1247 = 2*y - 3121. Is y a prime number?
True
Is (709 - 2)/(1 - 0) prime?
False
Let d(m) = 236*m**2 + m. Let j = 7 - 8. Is d(j) composite?
True
Let t(o) = -22*o**3 - o**2 - o - 1. Suppose 5*d - 3*a - 16 = 0, a = -2*d - 3*a - 4. Suppose -3*m + 5*m + d = 0. Is t(m) a composite numb