t t be 1/(-1) - (-1 - 4). Suppose -b + 6 = -4*y, -t*b + 0*b + y = -54. Is b a prime number?
False
Is 11186/6 - 1*6/(-9) composite?
True
Let y = -1280 + 2179. Is y composite?
True
Suppose -3*s = u + 6, -4*s + 3 + 9 = -2*u. Let c = u - -2. Let p(w) = -w**3 + 2*w**2 + 6*w + 5. Is p(c) prime?
False
Let b = -19 - -19. Suppose 2825 = -b*p + 5*p. Is p composite?
True
Let q = -118 - -177. Is q composite?
False
Let y(o) = 47*o**3 + o. Let k be y(1). Suppose -2*i + 9 = -49. Let a = k - i. Is a a composite number?
False
Let h(o) be the second derivative of -o**5/20 - o**4/2 - 5*o**3/6 + 2*o**2 - o. Let n be h(-6). Suppose -3*f + f = -2*k - n, -2*k + 80 = 4*f. Is f composite?
False
Let i = -6 - -20. Let z(q) = 31*q**2 + q + 1. Let m be z(-1). Is i/21 - m/(-3) a composite number?
False
Let m = 1913 + -1034. Is m a composite number?
True
Let m(r) = -r**3 + 9*r**2 + r - 8. Let j be m(4). Let l = -33 + j. Is l a prime number?
True
Let r(l) be the first derivative of -3*l + 1 - 1/3*l**3 + 2*l**2 + 3/4*l**4. Is r(2) a prime number?
False
Let r(d) = -d**3 - 5*d**2 - 6*d + 5. Let g(u) = -u**3 - 6*u**2 - 7*u + 6. Let s(m) = -6*g(m) + 7*r(m). Is s(-4) a prime number?
True
Let d = 3 - 1. Let t be ((-25)/15)/(2/(-6)). Let f = t - d. Is f a prime number?
True
Let a(n) be the second derivative of n**4/12 + 37*n**2/2 + 2*n. Is a(0) a composite number?
False
Let b(a) = 0*a + 22*a - 3*a. Suppose -p + 4*h = 11, 2*p = -h + 10 + 4. Is b(p) a composite number?
True
Suppose 0 = -g - 46 - 35. Is (-11403)/g - (-4)/18 composite?
True
Let a = 6 - 6. Let j = 3 - a. Is (-364)/(-8)*(j - 1) a prime number?
False
Let u be -8 - -2*9/6. Let y(x) be the first derivative of -19*x**2/2 - 6*x - 1. Is y(u) composite?
False
Let w be 6/4 - (-2202)/(-12). Let m be w/2 + (4 - 1). Is 240/11 + (-16)/m a composite number?
True
Is (-6547)/(-3) + 6/36*-2 prime?
False
Suppose 5*f - 2*f - 6 = 2*r, -15 = 3*f + 5*r. Suppose -u + f = -1. Let y(n) = 63*n**2 - 2*n + 1. Is y(u) a prime number?
False
Let g(s) = -s**3 - 2*s**2 + 2*s. Let u be g(-3). Suppose -3*y - 2*c + 163 = 0, u*y + y = -5*c + 222. Suppose -y = -2*q + q. Is q prime?
True
Suppose -209*u = -212*u + 10095. Is u a prime number?
False
Let s be (7*-4)/(2/(-3)). Let t = s - 27. Is t a prime number?
False
Let f(v) = v**3 - v + 4. Let y be f(0). Suppose -y*l - l = -95. Is l a prime number?
True
Suppose -f = -261 + 28. Is f a composite number?
False
Let j = -1 - -3. Let h = j - 7. Is (26/h)/((-18)/45) prime?
True
Suppose 0 = -c + 4*i + 3809, -3*c - i - 7590 = -5*c. Is c a composite number?
False
Suppose o - 4*o + 4*x = -620, 3*x + 15 = 0. Suppose 4*d = -0*d + o. Suppose -5*a = 2*q - d, -3*a + 7*a = 4*q + 40. Is a composite?
True
Suppose 2 = 4*y + 6. Is y + 22/3*3 a prime number?
False
Is 17/7 + -2 + (-8810)/(-7) a prime number?
True
Let d = -17 + 19. Let u(x) = 16*x**2 - 4*x + 3. Is u(d) a composite number?
False
Let b = -46 + 339. Is b composite?
False
Let z = 181 + -98. Is z a prime number?
True
Let w(m) be the first derivative of 26*m**2 + m + 8. Is w(1) prime?
True
Let b = -10 + 14. Suppose -3*h + s + 0*s + 218 = 0, -b*s = -4*h + 304. Is h a prime number?
True
Let b(i) = i**2 + 4*i + 6. Let h be 58/7 - 4/14. Let p = h - 13. Is b(p) composite?
False
Let s be (-1)/2*1*-6. Suppose -u = s*u. Suppose 0*a - 3*a + 159 = u. Is a prime?
True
Suppose -9 = -2*i - i. Let b be (-1)/i + 1/3. Is 188 - (b + (-3)/1) composite?
False
Let g(l) = -l + 3. Let b be g(3). Let p = 1 - b. Is 13 + -4 - (p + -3) prime?
True
Suppose -3*x = -237 - 261. Suppose 3*v = x - 28. Is v a composite number?
True
Let s = -104 + 149. Suppose 0 = -j + 44 + s. Is j prime?
True
Let u be 12570/(-18) + (-1)/(-3). Let g = u + 991. Is g a composite number?
False
Let w be 4/(-3)*27/6. Is 1/(-3) - 86/w composite?
True
Let j(z) = -13*z**3 + 33*z**2 + 25*z - 12. Let v(t) = 3*t**3 - 8*t**2 - 6*t + 3. Let i(k) = -2*j(k) - 9*v(k). Suppose 5*u - 4 = 26. Is i(u) composite?
True
Let m = 4 + -10. Let l be 46/m - 8/(-12). Let p(s) = s**3 + 7*s**2 - 3*s - 7. Is p(l) a composite number?
True
Let j be (9 + 1)/(-2) - -2. Let z(d) = -5*d - 3. Let t be z(j). Let a = t - 5. Is a composite?
False
Suppose -3*p - 439 = -5*v, 2*v - 4*v - 5*p + 157 = 0. Let h = v + -49. Is h composite?
False
Is (594/(-10) - 2)*-5 prime?
True
Suppose -7*t - 697 = -102. Let l be (-2 + 6)/(4/(-46)). Let u = l - t. Is u composite?
True
Let k be ((-9)/6)/((-1)/2). Suppose q = k, 5*q - 22 = 5*p - 7. Suppose p = -5*u - 0*u + 155. Is u composite?
False
Suppose -x - 20 = 5*o, -o - 21 = 3*x - 3. Let q(s) = -5*s - 3. Is q(x) composite?
True
Suppose -4*g + 380 = -0*g. Let n = g + -42. Is n a composite number?
False
Suppose 0 = -3*i - 895 + 241. Let t = 511 + i. Is t a prime number?
True
Let s(y) = 105*y**2 + y. Let h be s(1). Suppose 0 = -0*c - c + h. Is c a composite number?
True
Suppose 3*r + 31 = 4*p, 3*r + 14 = p + r. Suppose -b - 16 = -4*u + 3, -u = p*b + 8. Let m(h) = h**3 + 5*h**2 - 4*h - 1. Is m(u) a composite number?
False
Let m(y) = y**3 - 9*y**2 + 10*y - 31. Is m(9) composite?
False
Let s(u) = -11*u**3 + 5*u**2 + 3*u - 3. Is s(-4) a prime number?
True
Let t(l) = 2*l**3 - 11*l**2 + 6*l + 11. Is t(8) composite?
False
Is 27/108 - (-14486)/8 a composite number?
False
Let d = -4 + 6. Suppose 3*r - 65 = -d*i, -3*i = r - 7*i - 3. Is r composite?
False
Is 4/(-6) + 29368/24 composite?
False
Let t be 1/(3/12 - 0). Suppose 0 = b + 4, -3*n - 3*b - 55 = -t. Let k = 32 + n. Is k a prime number?
True
Let l(b) = -265*b + 27. Is l(-4) prime?
True
Let x be (4/3)/(8/12). Suppose 153 + 1 = x*v. Is v a prime number?
False
Suppose 4*n = -5*u + 10 + 1, 4*u + 5*n = 7. Suppose -77 = -u*v + 367. Suppose v = 5*s - 97. Is s prime?
False
Let i(w) = 3*w**2. Let k be i(1). Suppose 2*f - k*f = -m + 3, 4*f = -3*m - 26. Is m/5 - 77/(-5) prime?
False
Let t(c) = 2*c - 2. Let d be t(5). Suppose -3*o = -x + 15, -4*x + 2*o + d = -2. Suppose x = 4*v, 4*u + 0*u + v - 60 = 0. Is u a prime number?
False
Let q(p) = 14*p**2 + 2*p - 5. Is q(-7) prime?
False
Let r(y) = y**3 - 6*y**2 + 2*y + 2. Let q(x) = -x**2 + x. Let j(b) = q(b) + r(b). Let z be j(6). Is (19/4)/((-4)/z) composite?
False
Let o(v) = -v**3 - 8*v**2 - 8*v + 7. Let s(y) = 3*y**2 + 4*y + 1. Let t be s(-3). Suppose -3*m - 5 - t = 0. Is o(m) composite?
True
Suppose -2*k = -4*r - 18, 0*r - 4*r = 4*k. Let x be (0 - k/6)*-6. Suppose 0 = -2*p + x*p - 7. Is p a prime number?
True
Let d(o) = -o**2 - 5*o - 4. Let j be d(-7). Let l = j - -31. Is l prime?
True
Let l = 35 + 11. Is l composite?
True
Is (-1)/(-2)*(-1 + 12006 - -5) prime?
False
Suppose -l + 5*l = 2*z + 370, 5*l + z - 473 = 0. Is l composite?
True
Let g(h) = -h**3 - 4*h**2 + h. Let l be g(-4). Is l/(-4)*(61 - -1) composite?
True
Let f = -61 + 26. Is (-354)/(-10) - (-14)/f a prime number?
False
Let g(t) = t**3 - 9*t**2 + 7*t - 2. Let c be g(5). Let o = c + 326. Is o a prime number?
False
Let y(x) = 20*x**3 - 25*x**2 - 54*x + 26. Let u(f) = 7*f**3 - 8*f**2 - 18*f + 9. Let c(j) = 17*u(j) - 6*y(j). Is c(12) a composite number?
True
Let i = 6 - 1. Suppose -2*v + 805 = i*w, 0 = -4*w - 3*v + 697 - 53. Is w a composite number?
True
Let v = 4 - 0. Suppose -161 = -v*k - 0*y - 5*y, -200 = -5*k - 5*y. Is k composite?
True
Suppose -k + 2*q - 2 = -4*k, 2*k = q - 1. Suppose k = o + 4*o - 435. Is o a composite number?
True
Suppose 0 = 2*z - 3 - 1. Is (15 - z) + 3 - -3 composite?
False
Suppose -4*g = -5*t - 5, 3*g - 9 = t + 3. Suppose 5*v = 2*x - 27, 2*v = -2*v - 12. Suppose -t*s - 105 = -x*s. Is s composite?
True
Let s be 6 + 1 + -2 + -1. Is (10/s)/((-6)/(-36)) prime?
False
Let l(d) = 44*d + 9. Let i be l(5). Suppose 68 = -s + i. Is s a prime number?
False
Let i(y) = -9*y + 4. Is i(-3) a composite number?
False
Let g(h) = -48*h**3 - h**2 - 2*h - 3. Let f = 6 - 8. Is g(f) a prime number?
False
Let g = -670 + 1197. Is g prime?
False
Suppose 4860 = 2*i - 2*k, 9715 = 4*i + 2*k - k. Is i a composite number?
True
Let p be (-210)/(-25) - 2/5. Let a(c) = c - 8. Let j be a(p). Suppose -4*s - 167 = -3*w, -4*s - 273 = -5*w - j*s. Is w prime?
True
Let y = 0 + -18. Let z = y - -24. Is z composite?
True
Suppose -q + 5*k - 39 = 0, -5*q - k - 195 = -4*k. Let m be (18/7)/(3/(-21)). Let y = m - q. Is y composite?
True
Suppose -3*s - 272 = -2*m, 4*m - m = -5*s + 389. Is m a prime number?
False
Let