*t. Is t composite?
True
Let n(z) = -z**3 - 12*z**2 + 17*z + 17. Suppose v + 2*m = -31, 0 = v - 3*m + 8 - 2. Is n(v) composite?
True
Let s = -42 - 9. Suppose 77 + 109 = 3*t. Let j = t - s. Is j prime?
True
Suppose 2246 = 9*p - 7*p. Is p prime?
True
Let j(z) = -45*z - 24. Let f be j(-10). Let r be 1/((1*-2)/(-274)). Suppose -c + f = -r. Is c a prime number?
True
Suppose -67 = -3*p + 38. Let u be 4/(-5)*p/(-14). Let s(j) = 10*j**3 + 4*j**2 - 4*j + 3. Is s(u) prime?
False
Suppose -j + h + 463 + 1402 = 0, -3*h = 3*j - 5571. Is 2/3*(j/2 + 4) composite?
True
Suppose 2*g = -4*n - 56416 + 190524, 3*g + 100581 = 3*n. Is n a composite number?
True
Let y be 5/10*2*20. Let t = 29 - y. Suppose -i = i - 5*o - t, -5*i = 2*o - 37. Is i a composite number?
False
Suppose 18041 = -8*v + 82145. Is v composite?
True
Let j(c) = 104*c - 5. Let p = -18 + 20. Is j(p) composite?
True
Let f(v) = -v**3 - 6*v**2 + 50*v + 31. Is f(-18) a composite number?
False
Let m be 99/21 + (-4)/(-14). Suppose 0 = -5*j - 3*b - m, -3*b - 10 = -b. Suppose 1465 = 5*i - 5*s, j*i - 5*s + 2*s - 586 = 0. Is i composite?
False
Let f(m) = -2*m + 43. Let c be f(20). Let u = -194 - -105. Is (3/c)/((-1)/u) prime?
True
Suppose 8*s + 1773 = -s. Let v be (-10)/5 + 2 + s. Let o = 26 - v. Is o a prime number?
True
Let q = 217 + -111. Suppose -161 = -3*f + q. Is f composite?
False
Let c = 8 - 4. Suppose 0*u = c*u. Suppose u*x - 195 = -3*x. Is x a composite number?
True
Let c be -1 + 3 + (1 - 2). Is ((-1)/3 + c)*(-2565)/(-18) a composite number?
True
Let k(u) = 75*u - 1. Let s be k(5). Let m = s - 173. Let x = m - 143. Is x composite?
True
Is 5753 + (-5 - -7) - 8 a prime number?
False
Let u = 202 + 267. Is u composite?
True
Let y(o) = 11 - 2*o + 4*o**2 - 7 - 13. Let t = 4 - 0. Is y(t) a composite number?
False
Suppose -30*k + 27*k = -4677. Is k a prime number?
True
Let u = 1125 - 500. Let j = 1118 - u. Is j a prime number?
False
Suppose -t = -2 - 4. Let y(v) = -v**2 + 2*v - 1 + 6*v**2 - v**2. Is y(t) a composite number?
True
Let r(v) = -929*v - 2. Let m(i) = -930*i - 1. Let q(t) = -2*m(t) + 3*r(t). Is q(-1) composite?
True
Suppose -4*v - 2*k = -8, 5*v - v - 4 = -4*k. Suppose -5*l + v = 13. Is (164 + -10)*l/(-4) a prime number?
False
Suppose 5057 = 3*r + 4*u - 5*u, r + 5*u - 1675 = 0. Is r composite?
True
Let m = 7 + -5. Suppose -8 = -w + 4*y, -w + m*y + 4 = -4*w. Suppose w = n - 0*n - 65. Is n prime?
False
Suppose 185 = 2*y - 69. Is y a composite number?
False
Suppose 4*d - g - 21340 = 0, 0 = -4*d - 0*d - 2*g + 21328. Suppose 6*o - d = 192. Is o composite?
True
Let i = 221 - 234. Let c(j) be the first derivative of j**4/4 + 13*j**3/3 - 5*j**2/2 + 1. Is c(i) prime?
False
Let f = 3100 + -1979. Is f a prime number?
False
Suppose -3*l + l + 6 = 0. Suppose -466 = -l*q - 103. Is q composite?
True
Suppose 16*b - 62795 - 13221 = 0. Is b a prime number?
True
Let w(o) = 482*o - 5. Is w(2) a prime number?
False
Is (5 - 2)/(-9*1/(-36021)) prime?
True
Let s(d) = 3*d**2 + 5*d + 6. Let o(n) = n**2 - 1. Let u(f) = 2*o(f) - s(f). Let r be u(7). Let g = r + 187. Is g a prime number?
False
Let n = -3899 - -7806. Is n a prime number?
True
Is 3 + (-3 + (-4 - -6) - -6435) prime?
False
Let d = 12 - -893. Is d a prime number?
False
Let a(s) = s**2 - 5*s + 3. Let g be a(5). Let z be g/(-2) - (-2216)/16. Let o = z - 3. Is o a composite number?
True
Let j(d) = 420*d**2 - 13*d - 78. Is j(-5) a prime number?
True
Let z(x) = -3*x**3 + 2*x**2 + x - 2. Let a be z(1). Is (a + -12)/(764/383 + -2) composite?
True
Let h(b) = -b**3 - 5*b**2 - 5*b - 1. Let i be (-2)/7 + 78/(-21). Let y be h(i). Suppose -y*t + 138 = -3. Is t a prime number?
True
Suppose -15*h = -5*h - 170. Suppose 0 = 3*t + h - 248. Is t a prime number?
False
Suppose 5*t - 4*a = -3*a + 7044, -3*t + 4*a = -4223. Is t a prime number?
True
Let o(j) = -962*j + 27. Is o(-7) a prime number?
True
Let k(a) = 8*a**2 - 9*a - 28. Let m(i) = 3*i**2 - 3*i - 9. Let s(z) = -2*k(z) + 7*m(z). Let l = -4 - 2. Is s(l) a prime number?
True
Let s = -8212 + 12833. Is s a prime number?
True
Suppose -44 = -13*b - 18. Suppose -j = b*p - 4483, -22425 = -5*j - 6*p + p. Is j a prime number?
False
Suppose 18672 - 323728 = -32*l. Is l a composite number?
False
Suppose -3*z = -35 + 26. Suppose a - z*o = 115, 2*o - 393 = -3*a - o. Is a prime?
True
Suppose a + c - 4683 = -c, -a + 4675 = 4*c. Is a composite?
False
Let g be -3*((-1000)/12 + 3). Let i = 357 - g. Is (i/8)/(2/44) a prime number?
False
Is (-1998477)/(-25) - (-238)/(-2975) a prime number?
True
Suppose -13*m = -3*m - 40. Suppose 2659 = m*q - 1313. Is q composite?
True
Suppose -4*n + 0*n + 5*z = -43578, 4 = 2*z. Suppose 0*j = -17*j + n. Is j prime?
True
Suppose 4*t - 1340 = -4*c, 666 = 7*t - 5*t + 4*c. Is t a composite number?
False
Let a = -57394 + 81753. Is a a prime number?
True
Let x = -10125 - -15214. Is x composite?
True
Let z(k) = k**3 + 14*k**2 + 18*k + 7. Let h be (-2 - 11) + 3 + (2 - 4). Is z(h) prime?
True
Is 31950 + 7*(-8 + 9) a composite number?
False
Suppose -7*l + 24*l = 33337. Is l a composite number?
True
Suppose 2*i = -3*i + 220. Suppose d = h - 0*d - i, -h - 2*d = -50. Suppose 2*x = x + h. Is x a composite number?
True
Let i be ((-18)/20)/(3/(-5))*4. Suppose 0 = 4*k + 5*r - 6669, -2*k + i*r + 3351 = 3*r. Is k prime?
False
Let r be (-4)/(-10) - (-8911)/(-70)*-2. Let t(v) = v**3 - 3*v**2 - 5*v - 7. Let u be t(5). Suppose 0 = -s + r - u. Is s prime?
False
Let p be 3*(-2)/(-12) + 57540/8. Suppose 0 = -2*z - v + 4786, 2*z + 2*v + p = 5*z. Is z composite?
True
Let m(c) = -45*c + 64. Let n(z) = -2*z**2 + 32*z - 21. Let s be n(16). Is m(s) composite?
False
Let d(l) = l**2 + 53 + l - l**2 + l**2 - 4*l. Is d(0) a prime number?
True
Let g(l) = -8*l**3 + 10*l**2 + 18*l + 1. Is g(-8) composite?
True
Suppose 0 = -5*c - 2*t - 172, 0*c = 4*c + 5*t + 124. Is ((-3554)/8)/(9/c) composite?
False
Suppose 0 = 1712*w - 1702*w - 1039510. Is w composite?
False
Suppose 77 = 5*f + 262. Let a = 37 + f. Suppose a = -5*n + 4*m + 676 + 49, 0 = -2*m. Is n a composite number?
True
Suppose 0 = -2*d - 3 - 1. Is ((-12)/21)/d - (-8541)/21 prime?
False
Let m be (380/6)/((-16)/(-72)). Suppose m - 954 = -w. Is w a composite number?
True
Let p = 31 - 26. Suppose -p*f = -5*a + 2*a + 2386, a - 796 = f. Is a prime?
True
Let s be (0 - 15678/15)/(6/(-20)). Suppose 0 = 2*c - 6*c + s. Is c composite?
True
Let o(j) be the third derivative of 131*j**4/24 + 19*j**3/6 + 3*j**2. Is o(8) a prime number?
False
Suppose -5*v + 2*v - 5*g = -5671, 4*g = -2*v + 3780. Suppose 5*c - 4918 = 4*i - 1759, v = 3*c + i. Is c composite?
False
Suppose -2*l = u - 380 - 1817, 5500 = 5*l + u. Is l prime?
False
Let h(i) = 16*i**3 - i**2 + 30. Is h(7) composite?
True
Suppose 6015 = 4*s - 3*v - 949, 2*s - 4*v = 3482. Is s composite?
False
Let j(z) = -5*z**3 + 2*z**2 + z - 5. Let k(y) = 11*y**3 - 3*y**2 - 2*y + 10. Let b(n) = -7*j(n) - 3*k(n). Suppose 0 = 27*v - 39 - 123. Is b(v) composite?
False
Suppose 119*h = 120*h - 5167. Is h a composite number?
False
Let y be (-2)/4 + 1252/8. Let p be (-1 + 1*y)*1. Suppose 17*h = 12*h + p. Is h prime?
True
Let l(i) = -71*i + 22. Let s(d) = d - 1. Let w(n) = 33*n - 8. Let y(m) = 3*s(m) + w(m). Let k(x) = -4*l(x) - 7*y(x). Is k(5) composite?
False
Suppose -3*h = -7*h + 47948. Is h composite?
False
Suppose -3*p + 10 = -2*s, -s = -0*p + p. Suppose 2*l - p = 2. Suppose 283 = l*m - 3*u, 154 = 2*m - m + u. Is m a composite number?
False
Suppose -48*l = -54*l + 14574. Is l a prime number?
False
Suppose -17*x = 5*x - 43142. Is x a composite number?
True
Let g = 830 - 358. Let t = 1171 - 446. Let q = t - g. Is q prime?
False
Let l(a) = 6*a**2 + 7*a + 3. Let s be (-1 - 3/(-9))/((-4)/24). Is l(s) composite?
False
Let g(l) = -l**2 - 65*l + 67. Is g(-30) composite?
False
Let h = 620 - 2323. Let c = 3264 + h. Is c a prime number?
False
Suppose 0 = -s + 4*o - 6, 0 = -0*o - 3*o + 6. Is (1/s)/((-2)/(-2676)) composite?
True
Let d(t) = -234*t. Let m be d(-1). Suppose s - m = -x + 273, -3*x = s - 501. Suppose 0 = -5*c - 12 + 2, 0 = -4*p + c + s. Is p composite?
False
Let g(v) = 163*v**2 + 6. Let u(y) = -4563*y**2 - 169. Let z(j) = 169*g(j) + 6*u(j). Let m be z(1). Let a = m + -95. Is a prime?
False
Suppose -5*x + 72 = 3*d, -55*d - 5*x = -54*d - 34. Is d a composite number?
False
Let 