**3 + 9*d**2/2 + 5*d + 5. Is t(14) a prime number?
True
Let s be (25 - -6) + -1*1. Let v be (-65)/2*192/s. Let q = 293 + v. Is q composite?
True
Let b = -1845 - -6152. Is b a prime number?
False
Let b = 189 - 96. Suppose 5*s + 3*z - z - 465 = 0, 5*z - b = -s. Is s prime?
False
Let y(p) = 16*p + 4. Let g be y(-2). Let k = -21 - g. Let o(r) = 8*r**2 - 7*r - 6. Is o(k) a composite number?
False
Let y be 4/(-10) - (-8)/(-5). Is (y/3)/(13/(-2067)) prime?
False
Is (-50646 - -2)*((-57)/(-12) - 5) prime?
False
Let l be -6 - (-9)/3 - -2. Let n be l/(5/(5595/(-1))). Suppose -21*j - n = -24*j. Is j composite?
False
Let c be (-14 - -10)/(1/(-20)). Suppose c = g - 507. Is g prime?
True
Suppose 5*l + 3*r - 131 = 0, r = 4*l - r - 96. Suppose 21*q = l*q - 3908. Is q composite?
False
Let l = 823 - 1689. Let s = l + 1273. Is s prime?
False
Suppose 2*l + 0*p + 2*p = 14, 5*l - 8 = 4*p. Suppose -3*v + l*v = 2103. Is v a composite number?
True
Let n be -1 + (1 - (-291)/(-3)) + -1. Let y = n + 372. Is y prime?
False
Let d(n) = -n**3 - n**2 - 2. Let z be d(-2). Suppose z*r = -r - 525. Is (r/4 - -2)*-4 composite?
False
Let o = 15 - 12. Suppose o*c + c = 4*x + 72, 2*x = 0. Suppose 4*r - c = 186. Is r a composite number?
True
Is -1 + 1385 + 2 - (-38 - -42) composite?
True
Let b be 19411/6 - -1 - (-1)/(-6). Let c = b + -1. Is c a prime number?
False
Let v(n) = 6*n**3 - n**2 + 2*n + 1. Let t(d) = -d**3 + 7*d**2 - 8*d + 10. Let l be t(6). Let p be v(l). Is (-10)/p - (-240)/11 composite?
True
Suppose 0 = -3*u - o + 70 - 11, 0 = -5*u + 2*o + 102. Let l = -28 + 18. Is 12/u - 224/l a composite number?
False
Suppose -4*a + 79 = -533. Let s = 302 - a. Is s prime?
True
Suppose -2*h - 5*t = -5*h - 29, -5*h = 5*t + 35. Let o(w) = w + 10. Let p be o(h). Is 143*p/(-4)*-2 prime?
False
Suppose -3*w = 4*g + 5, 0*w + 2*w - 5*g = -34. Let s(r) = r**2 - 7*r + 5. Let x(p) = -3*p**2 + 21*p - 15. Let h(b) = -11*s(b) - 4*x(b). Is h(w) a prime number?
True
Let k(q) = 2*q**2 + 10*q - 9. Let c be k(-9). Is (-4)/6 - (-12957)/c prime?
False
Let t(k) = 17*k**3 - 2*k**2 + k. Let o be t(1). Suppose -5*a + 20 = -5*m, -2*m + o = 5*a - 6*m. Is -1 + a - (-3 - 849) a prime number?
False
Let q be (-9)/18 - (-10394)/4. Suppose -q = 2*l - 5*l. Suppose 3*r - 19 - l = 0. Is r composite?
True
Let y(w) = w**3 + 11*w**2 - 5*w**2 + 9 - 5*w**2 - 2*w. Is y(5) composite?
False
Let l(u) = 30*u**2 + 23*u - 55. Is l(16) a prime number?
True
Let t = 4757 - 3106. Suppose t = -7*a + 20*a. Is a a composite number?
False
Let a(h) = 3*h + 30. Let n(u) = u + 10. Let g(r) = 4*a(r) - 11*n(r). Let w be g(-7). Suppose -18 + 3 = 3*t, -w*m + 2358 = 3*t. Is m a composite number?
True
Let k = 20 - 20. Let x(y) = y - 140. Let a be x(k). Let g = a - -282. Is g prime?
False
Suppose 8*j + a - 384060 = 3*j, -4*a = -j + 76833. Is j a prime number?
False
Let d = 0 + 2. Suppose 3*n - 3433 = -n + k, 3*n + d*k - 2583 = 0. Is n composite?
False
Is ((-720)/112 - -6) + (-89981)/(-7) a prime number?
False
Let m(h) = -4*h**3 - h**2 + 3. Let c be m(-5). Suppose -3*r - c - 368 = 0. Is r/(-42) + 2/7 a composite number?
False
Suppose -367 = 3*q + 224. Let m = q - -373. Suppose m + 25 = 3*j. Is j composite?
False
Let t = -791 + 1566. Suppose -d - t = -3*i - 2*d, 12 = 3*d. Is i a prime number?
True
Let d be 20/11 - (-66)/363. Suppose d*c - 2805 = -h, 8*h - 3*h + 4*c = 14031. Is h a composite number?
True
Let o = 660 + 4193. Is o a prime number?
False
Suppose -3*m - 2*y + 1498 = -1550, 12 = -4*y. Is m composite?
True
Let h = -29176 + 57639. Is h prime?
True
Suppose 0 = -d - 3*z + 2896, -38*d - 2*z - 8655 = -41*d. Suppose -3 = -s, -5347 = -5*u + 4*s + 6281. Suppose u + d = 5*a. Is a prime?
False
Let u(l) = l**2 - 5*l + 6. Let g be u(4). Suppose -3*a - g*r = -7*r + 4676, -7810 = 5*a - 5*r. Let d = 2668 + a. Is d a composite number?
True
Suppose 0 = -2*u - 3*p + 11, -p + 3 = -5*u + 5. Is u/(-5) + (-772)/(-10) a composite number?
True
Suppose 3*o - 3 - 9 = 0. Suppose -t + 2 + 2 = 0, o*b = 4*t + 840. Is b prime?
False
Is (1 + (-35541)/18)*(-4)/2 a prime number?
True
Let g(w) = 14*w**2 + 10*w - 101. Is g(10) prime?
True
Suppose -31216 - 56349 = -5*z. Is z a prime number?
False
Let s(d) = 12*d**3 + d**2 - 8. Suppose -1 + 13 = 4*w. Let c(i) = 13*i**3 + i**2 - i - 7. Let u(r) = w*s(r) - 4*c(r). Is u(-3) a prime number?
False
Let d(i) = i**3 + 15*i**2 - 8*i - 1. Is d(-14) composite?
False
Is (-3)/(1 - (-1784)/(-1772)) prime?
True
Let k be (-3)/6 + 14/4. Suppose 0 = -4*t - p - p - 4, 3*t - k*p = -12. Is 1*(32 + 3 - t) a prime number?
True
Suppose 0 = 2*i - 5*i + 69. Let s be (0 + 1)*i - -3. Let m = s + -13. Is m a prime number?
True
Let m be ((-3)/6)/((-2)/12). Suppose 0 = 3*b - 5*k, m*b - 14 = -k + 4. Suppose 5*f + 3 = -4*z, b*z = 4*z - 2*f - 3. Is z a composite number?
False
Let g = -1882 - -16269. Is g a composite number?
False
Suppose -21*y + 16*y = 150. Let c = y - -236. Is c prime?
False
Let v be 6052/7 + 1 - 8/14. Suppose -v + 5037 = 4*n. Is n composite?
True
Let n = 4661 + -942. Is n a prime number?
True
Let y = -48 - -58. Suppose -y*h = -9*h - 1829. Is h a prime number?
False
Suppose -10*h + 2*r = -6*h - 1738, 1314 = 3*h + 2*r. Suppose 8*o - 12*o = -h. Is o composite?
False
Let y(n) = 57*n**2 + 6*n - 34. Is y(9) prime?
True
Let b = 30680 + -20713. Is b a prime number?
True
Let q = -278 + 590. Let v be -3*2/(-4)*554. Let k = v - q. Is k a composite number?
True
Let y = 67 + -72. Is (2/(-4))/((y/(-1))/(-6730)) composite?
False
Suppose -41*d + 43*d = 19488. Suppose z - 2844 = 5*x - d, -5 = -z. Is x a prime number?
True
Let c = -2287 - -3441. Is c a prime number?
False
Suppose -4 = -13*r + 11*r. Let u = 5 - r. Suppose u*g - 1327 = -2*i, 2527 = 5*g - i + 298. Is g prime?
False
Let g(b) = -b**3 + 4*b**2 - b - 2. Let n be g(3). Suppose 0*l - n = -2*l. Suppose -5*k - 4*c + 72 = -583, -l*k + 262 = -5*c. Is k composite?
False
Let j = -9 + -3. Let d be 41 - 2/(8/j). Suppose -3*x + 2*t = -2*x - d, 4*t = -20. Is x prime?
False
Let v = 3032 + -1933. Is v prime?
False
Let c be (56/(-10))/((-13)/65). Suppose -29*u + 1571 = -c*u. Is u a composite number?
False
Let g(p) = p**3 - 7*p**2 - 17*p + 20. Let j be (-134)/(-12) + ((-2)/12)/1. Is g(j) a prime number?
True
Suppose 4*z - 5 = 19. Let w(g) = -2*g + 11. Let j be w(z). Is j/((12/284)/(-3)) composite?
False
Suppose 0 = 4*w + 10 - 30. Suppose w*t + 1946 - 6391 = 0. Is t prime?
False
Suppose -2*v = 4*x - 33822, -x + 3059 = -2*v - 5399. Suppose -3*w - x = -11*w. Is w prime?
False
Let a(g) = -12*g**3 + g**2 - g. Let m be a(1). Let q be 863/2 + (-6)/m. Suppose -4*b = b + v - 541, 4*b + v = q. Is b a prime number?
True
Let x(u) = -u**3 + 7*u**2 - 8*u. Let q be x(6). Let a(h) = -12*h**2 + h**3 - 2*h**3 + 5082 - 13*h - 5089. Is a(q) prime?
True
Let v(r) = -188*r - 19 - 4 + 17. Is v(-4) composite?
True
Suppose p + 5*n + 22 = -0*n, -5*p = n - 10. Suppose 0 = -p*h + m + 2403, -h = 5*m - 227 - 574. Let c = h + -443. Is c a composite number?
True
Is 4/(-6) + 193808/48 a composite number?
True
Suppose -4*z - 2 = 5*o, 2*z - o = -0*o + 6. Suppose -c + 468 = 4*u + 3*c, -z*u = -2*c - 238. Is u a prime number?
False
Let k = 692 - 385. Is k prime?
True
Let l(h) = h**2 + 9*h - 8. Let k be l(-10). Suppose k*r - 6 + 0 = 0. Let b(m) = 22*m**2 - 3*m + 2. Is b(r) composite?
False
Let g(h) = -h**3 - 22*h**2 - 20*h + 28. Let s be g(-21). Suppose -s*y + 5003 = 894. Is y prime?
True
Let h = 3174 - 565. Is h composite?
False
Let x be (-8)/(-12) + 20/6. Suppose 4*i = -x*h - 6 + 718, 703 = 4*i + h. Suppose 3*n - 6*n + 493 = -o, n - i = 3*o. Is n prime?
True
Let y(l) = -10*l - 23. Let g = 8 + -16. Is y(g) composite?
True
Suppose -5*z = 3 - 18. Is ((-37)/z)/(221/111 - 2) prime?
False
Suppose 2*a - 3 = a. Suppose -4*k = -3*k + a*z - 20, 3*k - 5 = 2*z. Suppose 4*i + 46 = j + 1, 2*i + 171 = k*j. Is j prime?
False
Suppose 0 = m + m + 6. Let r(q) = -q**3 + 4*q**2 - q - 7. Is r(m) prime?
True
Let c be ((-10)/(-3))/((-1)/(-72)). Let s be (-1 - 1)*((-296)/(-16) - 4). Let q = s + c. Is q composite?
False
Suppose 60944 = 19*u - 11*u. Suppose 3*a - u = -5*r, 4*a + 4565 = r + 2*r. Is r a prime number?
True
Suppose -4*h - 54 = 2*h. Let j(p) = 8*p + 13. Let o be j(h). Let r = o + 126. Is r composite?
False
Let m(k) = k**3 - 38*k**2 + 170*k + 78. Is m(47) a composite nu