t h(m) = m**3 + 15*m**2 + 3. Let f be h(c). Suppose r - 844 = -f*r. Is r prime?
True
Suppose -t = -3*i + 2088, 0 = 4*i - 3*i + 3*t - 686. Let a = -1762 + i. Let h = -502 - a. Is h prime?
False
Let x(h) = 458*h**3 - 4*h**2 - 7*h + 14. Is x(3) composite?
False
Suppose -3*u + 16 = 19. Let r be 1/u*0/(-2). Suppose r = -6*n + 4*n + 124. Is n a prime number?
False
Let v be (4/(-8))/((-2)/1764). Suppose -5*n + 105 = -s, 112 - v = 3*s - n. Is (22/(-55))/(2/s) prime?
False
Let j(u) = 10*u**2 + 5*u - 2. Suppose 3*b = -8 - 1. Let y be 5/(1 - (-1 - b)). Is j(y) prime?
True
Is 39/(-26)*7/(84/(-214456)) prime?
False
Suppose 3608 = -4*p + 8*p. Suppose i + 674 = 3*k, 4*k - 4*i = -2*i + p. Is k prime?
True
Suppose 0 = -2*d - l + 11 + 8, -4*d + l + 35 = 0. Suppose d*x - 26436 = -3*x. Is x a prime number?
True
Let t(l) = 4*l**2 + 18*l + 20. Let h be t(-10). Let r = -399 + 278. Let y = r + h. Is y composite?
True
Let w be 1926/14 - 3/(-7). Suppose s - 169 = w. Is s a composite number?
False
Suppose -q = -0 + 2, 5*q = 4*g + 1510. Let r = g + 687. Is r composite?
False
Suppose -88402 = -5*f - 3*j, 4*f + 3*j = 49553 + 21168. Is f prime?
True
Suppose -3*v - 4*g = -1649, 13*v = 9*v + 4*g + 2180. Is v composite?
False
Let z(n) = 148*n + 6. Let i be z(5). Is (-66)/(-14) - 5 - i/(-14) a composite number?
False
Suppose -3*z + 4*a + 91781 = 0, 368*a - 371*a = 5*z - 153007. Is z prime?
False
Suppose -4*b + 58 = -2*b. Let a = 66 - b. Is a a composite number?
False
Suppose -5 = -5*l - 5*x, 3*x + 6 = 2*l - 11. Let u be 10*3/24*l. Suppose u*j - 512 = 233. Is j composite?
False
Let i(m) = m - 7. Let z(v) = v**3 - 15*v**2 + 16*v - 21. Let s be z(14). Let p be i(s). Is 1 + 559 - p - 3 prime?
True
Suppose 79425 + 55923 = 12*c. Is c a prime number?
True
Let u be (-6 - (-16)/3) + 10/(-3). Is (4244/(-6))/(u/6 + 0) prime?
True
Suppose 3 = 8*x - 5*x. Let q be 33817/(-35) - x/(-5). Is (-6)/(-24) + q/(-8) prime?
False
Let j(h) = h**2 - 5*h - 12. Suppose -56 = -o + 5*o. Let m be j(o). Is m - (1 + -3 - -5) a composite number?
False
Let h be ((-3)/(-2))/(1/10). Suppose -5*w + 3*z = h, -z + 25 = 3*w + 4*z. Suppose w = -4*s + 643 - 183. Is s a composite number?
True
Let c(b) = -9*b - 5. Let q be c(-14). Suppose -4*f + 723 + q = 0. Is f a prime number?
True
Let j(m) = -m**2 + 2*m + 4. Let c be j(0). Suppose -4*u - c*u = -3496. Is u a prime number?
False
Suppose -3*w - 216 - 4623 = 0. Let f = -922 - w. Is f composite?
False
Suppose -2*y = -t + 20295, y - 16 = -14. Is t prime?
False
Let t(r) = 291*r**2 + 2. Let o = -5 - -6. Is t(o) composite?
False
Is 562/(248/(-1278) + (-20)/(-90)) prime?
False
Let u(i) = -i**2 + 15*i - 4. Let k be u(13). Is (-1 + 2 - 0)*(765 - k) prime?
True
Let r = 29 - 11. Suppose -3*f + r = -126. Suppose 0 = h - 73 - f. Is h a prime number?
False
Suppose 0 = -4*a + 2*u + u - 15, 2*u - 10 = a. Let d = -1167 + 1180. Suppose d - 3 = 2*o, a = c + 2*o - 213. Is c prime?
False
Is (30817 + -4 - -6) + -8 prime?
False
Let y = 6 - 4. Let b(j) = -1 + 10*j - 22*j + 112*j**2 + 6 + 7*j. Is b(y) prime?
True
Suppose -173*u = -174*u + 4629. Suppose 3*z = -0*z + u. Is z a prime number?
True
Let h = -399 - -218. Let r = h - -330. Is r a composite number?
False
Let f = 6 - -4. Suppose -2*n - 5*r = -14, 2*n - f = -4*r + r. Suppose -2*i - 102 = -2*a, 220 = n*a + 2*a + 4*i. Is a prime?
True
Let m be 3/12 + 318250/(-8). Is (-4)/26 + m/(-91) composite?
True
Let v(d) = -423*d + 28. Is v(-1) prime?
False
Is -6 - -109*77/7 a composite number?
False
Suppose 3*c - 2 = 13. Let u be 0/(3 - c - 0). Suppose -3*w + 3*g - 138 + 1071 = u, 3*g + 626 = 2*w. Is w a prime number?
True
Suppose 3*x + 5*q - 2748 = 0, q - 13 + 921 = x. Is x a prime number?
True
Let p be (3 - 6 - 2)*-1. Suppose 0 = 4*q + 5*c - 3127, 0 = -p*q + 3*q + 4*c + 1596. Let d = q + -345. Is d a composite number?
False
Let u(f) = -f + 1 + 7*f + 0*f + 85*f**2 + 0. Let o = 4 - 8. Is u(o) composite?
True
Let q(n) = 15*n**2 - 31*n - 205. Is q(-29) composite?
False
Let b = 357 + 55. Let m = b + -59. Is m prime?
True
Let z(x) = 12*x**3 + 10*x**2 - 13*x + 12. Let j be z(6). Let s = -1193 + j. Is s composite?
False
Suppose -n + y + 462 = 0, -n + 466 = -0*n - 3*y. Suppose -38*c + 9*c + 58 = 0. Is n/24 + c/(-12) a prime number?
True
Let m(j) = 17*j**3 - 15*j**2 - 23*j - 7. Is m(14) a prime number?
False
Suppose -5*g - 5*w + 9*w + 29717 = 0, 0 = -5*g - w + 29702. Is g composite?
True
Let d(g) be the first derivative of -g**5/20 - g**4/2 + 3*g**3/2 + 3*g**2/2 + 2*g - 6. Let y(x) be the first derivative of d(x). Is y(-8) composite?
False
Let g = 18 - 14. Let r be (-28)/(-1*g) - 2. Suppose -u - 278 = -r*a, -a - a + 125 = -5*u. Is a a prime number?
False
Suppose -6*y + 9586 = -26144. Suppose 16*k = k + y. Is k a prime number?
True
Let y(n) = -19*n - 247. Let i be y(-13). Let l be 2022 + (0 - 0/(-1)). Suppose -6*c + i*c = -l. Is c a composite number?
False
Let u be (-2)/3*6 + 104. Let a = 174 - u. Is a a composite number?
True
Suppose -2*y - 3*y + f + 4563 = 0, -2*f + 2743 = 3*y. Is y composite?
True
Let q(d) = -d**3 - 15*d**2 - 5*d - 3. Let b be q(-12). Let k be -2 + (-10588)/(-18) - (-2)/(-9). Let a = b + k. Is a prime?
True
Is (6/6)/(4/138884) a composite number?
False
Let a(m) = -2*m**2 - 6*m + 6. Let u be a(-5). Let i = -14 - u. Suppose i = -3*l + z + 424, 3*l + 5*z - 152 = 2*l. Is l prime?
False
Let q(t) = 34263*t + 85. Is q(2) a prime number?
True
Suppose 5*o = 3*o + t + 19, 5*t - 73 = -4*o. Suppose o + 13 = 5*x. Suppose 235 = g - 2*q - 2*q, -x*q - 25 = 0. Is g composite?
True
Suppose -985663 - 64211 = -42*o. Is o prime?
False
Let s(i) = -12*i + 1. Let h be s(-1). Let u = -12 + h. Is 42 + -3 - (u - 1) composite?
True
Let j = 11906 - 3715. Is j a composite number?
False
Let s(k) = -3*k**2 - 6*k + 2. Let b be s(-6). Let c = b + 461. Is c a prime number?
False
Let j = -1766 - -3019. Is j prime?
False
Let d = 36395 + -4282. Is d prime?
False
Let x be 0 - 0 - 6/2. Is (-9 + -71 - x/1)*-1 a prime number?
False
Let d(c) = c**3 + 2*c**2 + 5. Let w be d(0). Suppose w*l + 4*n = 1891, 4*l + n - 1021 = 494. Is l prime?
True
Suppose -4*q - 6 - 10 = 0, -4*h + 20 = -5*q. Let r be 0/(h - (-1)/(-1)). Is (r - -520) + -2 + 3 composite?
False
Suppose -4*b = 4*c + 24, 0 = 3*c - 4*b - 9 - 1. Is c + 10/2 - -919 prime?
False
Let m(v) = 949*v**3 - 14*v**2 + 12*v**2 + 47*v**3 + 3*v. Is m(1) composite?
False
Suppose -4*h = 36 - 4. Let v be h/16 - 11/(-2). Suppose 3*u + 0*u + 243 = 5*m, -u = v*m - 259. Is m prime?
False
Suppose -4*x = -6*x. Suppose 2*q + 21 = -5*n, 6*n - 2*n + 3*q + 14 = x. Is (-23)/2*(-7 - n) a composite number?
False
Let g(r) = -51*r + 13. Let s = 30 - 36. Is g(s) a prime number?
False
Let p be 49/7 - (-1 + 3). Suppose -p*g + 1271 + 259 = 0. Suppose g = 5*m + m. Is m a composite number?
True
Suppose 0 = -r + 2*r - 68. Let q = -17 + r. Suppose s = 16 + q. Is s prime?
True
Let c(b) = -282*b**2 - 2*b. Let d be c(-2). Let k = 1755 + d. Is k composite?
False
Suppose -15*j = -0*j - 195. Is j a prime number?
True
Suppose w + 3*t - 1107 = 524, -5*w + 5*t = -8195. Is w prime?
True
Suppose h - j - 4757 = 4*j, -4*j + 4757 = h. Is h composite?
True
Let a be (-12)/20 + 926/10. Suppose -3*l + 3*k = -96, 6*l - 3*l - a = -k. Let g = 44 - l. Is g a composite number?
False
Suppose -11171 = -2*u + 14711. Is u a composite number?
False
Let t(z) = -4*z - 40*z + 9 + 78*z + 84*z. Is t(8) a prime number?
True
Let o(y) = 2*y**3 + 4*y**2 - 6*y + 11. Let s be (2 + -3)/((-32)/10 + 3). Is o(s) a prime number?
True
Let z(i) = 21*i**2 - 2*i + 2. Let b = -32 - -20. Let q = b + 15. Is z(q) composite?
True
Let c(j) = 116*j**3 + 3*j**2 - 3*j - 2. Let d(o) = -o**2 + o + 1. Let u(l) = -c(l) - 3*d(l). Is u(-1) prime?
False
Let g be 4/7 + 14575/35. Let k = -124 + g. Is k a composite number?
False
Suppose 3*w - 6 = -2*b + 9, 0 = -2*b + 4*w + 36. Let i(z) = 111*z - 13. Is i(b) a prime number?
True
Let k be (-1302)/(-3) + (2 + -1 - 2). Let v = k - 166. Is v prime?
False
Let l = 11 + -9. Suppose -5*r - 1605 = -5*w, 0 = 5*w - l*w + 2*r - 943. Is w a composite number?
False
Let w(x) be the first derivative of 670*x**3/3 + x**2/2 - 2*x + 14. Is w(1) a prime number?
False
Let u(n) be the second derivative of 74*n**3/3 - 3*n**2/2 + n. Let r(y) = y**2 - 30*y + 83. Let x be r(27). Is u(x) composite?
False
Let