**2 - 3*f - 5. Is g(o) prime?
False
Let d be 34/(1 - 3/(-3)). Let p = -25 - d. Let s = -11 - p. Is s prime?
True
Let r(t) = t**2 + 10*t - 2. Is r(-12) composite?
True
Let f = 5889 - 4112. Is f prime?
True
Suppose -k = 3*k - 676. Is k a composite number?
True
Let n(i) = -i**3 + 4*i**2 + 6*i - 2. Let x be n(5). Suppose -264 = -2*d - 2*y, -x*y + 152 = d + 2*y. Is d composite?
False
Let s = -53 - -30. Let w = -14 - s. Is w prime?
False
Let z = -5 - -26. Is z a prime number?
False
Let s be (-6)/8 + 244/(-16). Let d be s/(-7) + 2/(-7). Suppose h + 2*y = 56, -2*h + 6*h - d*y = 174. Is h composite?
True
Let a(s) = s**3 - s**2 - 3*s + 1. Let j be a(2). Is j + 1 - -2 - -9 a prime number?
True
Suppose -5*z + 4*f + 5 = 0, z + 2*z = -2*f + 25. Suppose h - 68 = -z*p, -2*h + 2*p + 44 = -56. Is h composite?
False
Suppose -2*r - 289 = -k, -2*r - 3*r = -4*k + 1162. Is k prime?
True
Let z(j) = -j**3 + j**2 + 205. Is z(0) composite?
True
Let b(l) = -l + 8. Let g be b(7). Suppose 2*t + j = g, 4*t - j - j = -2. Suppose 2*o - 44 = -t. Is o a composite number?
True
Is 327/(-2)*(-4)/6 a prime number?
True
Let k be (-3)/(-4) - (-1)/4. Is 1 + -1 + k + 12 prime?
True
Let k = -57 - -85. Let z(w) = -1 + 48*w**2 + 2*w + 58*w**2 + 12*w**2 - k*w**2. Is z(1) a prime number?
False
Is 213/4 - (-17)/(-68) a composite number?
False
Let r = 3 - 5. Let l = 3 + r. Is l*-3*42/(-9) composite?
True
Let w = 3072 - -575. Is w a prime number?
False
Let r(l) = l**3 - 2*l + 1. Let g be r(1). Suppose g = -2*i, 5*k + 23 = -5*i - 2. Is (-26)/((k + 1)/2) composite?
False
Let k = -120 - -239. Suppose 277 = 3*a + 2*w, -5*w - k + 4 = -a. Is a prime?
False
Let v(h) = 55*h**2 - h + 1. Let q be v(1). Let k be 2 + 2*q/2. Suppose -3*z = -k - 54. Is z a composite number?
False
Suppose 10*w - 4*w = 276. Is w a composite number?
True
Suppose -3*n = n - 60. Let j be n/(-2)*24/(-9). Is 4/10 + 492/j composite?
True
Let t = 11 - 10. Is 3 - t - 0/9 prime?
True
Suppose 3*b - 4*l - 1219 = 0, 2*b - 94 - 716 = 4*l. Is b prime?
True
Is (1 + -4)/((-45)/1245) a prime number?
True
Suppose -a + 5 = -n, 6 = -2*a + 4*n + 24. Is 5 - 2 - a - -17 prime?
True
Is (-1495)/(-8) + 5/40 prime?
False
Let j(v) = -v**2 + 67. Let p be j(0). Let q = p - 9. Is q prime?
False
Let n(r) = 19*r - 1. Let o be n(9). Let p = o - 98. Suppose -3*b + p = -39. Is b a prime number?
True
Suppose -2119 = -6*x + 551. Is x a prime number?
False
Let x = -2164 + 3155. Is x a composite number?
False
Let j(q) = -q**2 + 12*q - 1. Let m be j(7). Suppose m = 2*v - 16. Is v a composite number?
True
Let d(q) be the first derivative of 8*q**3/3 + q**2/2 - 2. Let r = -2 + 1. Is d(r) a composite number?
False
Suppose -24 = -c - 4*u, c - 11 = 2*c - 3*u. Suppose c*h = 5 + 11. Suppose h*s = 2*n + 127 + 29, s + n - 39 = 0. Is s a composite number?
True
Suppose 2*i - p = 1, 0 = 4*i + 2*p + 3*p - 37. Suppose -5*j + 115 = 5*d, i*d - j = 2*j + 39. Let x = d + -9. Is x prime?
False
Suppose 4*s - 2002 = -s + 3*y, -2*s - 5*y + 807 = 0. Is s a composite number?
False
Suppose -5*b + 0*k + 2*k = -275, 5*b - k - 270 = 0. Is b a composite number?
False
Let s = -110 - -222. Suppose -3*w = -5*d + w + 150, 2*w = -3*d + s. Is d composite?
True
Let t(l) = -83*l - 44. Is t(-9) composite?
True
Let w(s) = -s**3 - 4*s**2 + 3*s - 5. Let g be w(-5). Suppose -2 + g = l. Suppose -m - l*m + 188 = 0. Is m a prime number?
True
Suppose -y = 4*y - 630. Suppose -b + 23 = -y. Is b prime?
True
Let r(h) = h**2 + 7*h + 5. Let f be r(-6). Let d(c) be the first derivative of -5*c**4 - 2*c**3/3 + c + 1. Is d(f) a composite number?
False
Let d = 3 - 1. Suppose 137 = -5*l + 2*n, -d*l + 4*n + 45 = -3*l. Let j = -18 - l. Is j prime?
True
Is (-39774)/(-24) + 1/(-4) a prime number?
True
Let t(x) be the third derivative of -x**6/120 + 7*x**5/60 - x**4/6 - x**3 + 2*x**2. Let i(u) = 2*u - 6. Let c be i(6). Is t(c) composite?
True
Let f(s) = s**3 - 10*s**2 - 14*s + 7. Is f(12) prime?
True
Suppose 8*n - 3*n = -3*w - 13, -4*n + 2*w - 6 = 0. Let t be (1 - 1)*n/(-4). Is (0 - -1)*t - -14 a composite number?
True
Let y(b) = 285*b + 22. Is y(3) a prime number?
True
Let y = 225 + -130. Let a = y + -36. Is a composite?
False
Let p(x) = -4*x**3 - 4*x**2 - x + 7. Let b(f) = -4*f**3 - f**2 + f. Let k be b(1). Is p(k) a prime number?
False
Is (307*(-4 + 3))/(-1) composite?
False
Let s(g) = g**3 + 7*g**2 - 2*g - 9. Let j be s(-7). Let t(q) = 2*q + 2*q**2 + j*q - q**3 - 5 - 4*q. Is t(-4) prime?
True
Suppose -b + 4*g - 12 = 9*g, 0 = 2*b + g - 3. Suppose 14 = b*w - 13. Is w a prime number?
False
Let o(q) = -q**2 + 4. Let a be o(-3). Let m = a - -13. Suppose 23 - m = r. Is r prime?
False
Let g be -2*2234/8*-2. Suppose 5*b + 287 = g. Is b prime?
False
Is -4*(-3)/6 - -451 prime?
False
Is (-5)/(70/(-3048)) + (-2)/(-7) prime?
False
Let h(p) = 2*p**2 - 3*p + 5. Let n(k) = -k**2 - 7*k - 4. Let l be n(-5). Is h(l) a composite number?
False
Let g(i) = i**2 + 4*i + 2. Let l be g(-3). Is (l - 2)/((-2)/10) composite?
True
Suppose -5*l + 10*l - 475 = 0. Is l a composite number?
True
Let a be 8/6*3/(-2). Let r(q) = -4*q - 5. Let x(h) = 20*h + 24. Let t(s) = -14*r(s) - 3*x(s). Is t(a) a prime number?
False
Let u(q) = -5*q**2 + 15*q - 6. Let o(i) = -4*i**2 + 15*i - 6. Let k(l) = 4*o(l) - 3*u(l). Is k(11) prime?
False
Let t be (-134)/(-6) + (-3)/9. Is 20/110 + 8070/t composite?
False
Suppose 4*w + q = 625, w - 784 = -4*w - 4*q. Let g = 44 - -18. Let t = w - g. Is t composite?
True
Let q(t) = -t**2 - 5*t. Let o(g) = -2*g**2 - 6*g - 1. Let m(j) = -2*o(j) + 3*q(j). Let i be m(2). Suppose k - 51 - 16 = i. Is k a composite number?
False
Let k = -44 - -65. Is k prime?
False
Suppose 3*h + 5*z = 28 + 656, 2*h - z - 443 = 0. Is h prime?
True
Suppose 0*x = -2*x + 6, -3*j + 4*x + 471 = 0. Is j a prime number?
False
Suppose 19 = -4*w - 5*g, -3*g = -3*w - 4*g - 6. Is 4/2 - w - -76 a prime number?
True
Let c = -58 - -171. Is c prime?
True
Let b(t) be the third derivative of -t**4 - 5*t**3/6 - t**2. Is b(-4) a composite number?
True
Let d be (3 + -2)/((-1)/(-5)). Suppose 0 = z - 3*t + 24 - 58, 5*z - d*t - 160 = 0. Let g = z - 16. Is g prime?
False
Let o(s) = 12*s**2 + s + 18. Is o(7) a prime number?
True
Let k(t) = -t**3 - 8*t**2 + 2*t + 12. Let g be k(-8). Is 312/22 - g/(-22) a composite number?
True
Suppose -1 = -4*q + 11. Let v be -2 + (-12)/q*-1. Is ((-44)/v)/(3 - 5) a composite number?
False
Let m(b) = -136*b + 1. Is m(-3) a composite number?
False
Suppose -3*k + 5*b = -1001, 4*k = 3*k - 5*b + 307. Is k a composite number?
True
Suppose 69 = -4*i + 5*y, -2*y + 65 = 5*i - 10*i. Let p = i + 15. Suppose p*k = -20, 0 = -5*h - 6*k + 2*k + 155. Is h a composite number?
True
Let f(u) = -6*u**2 + 4*u. Let y be f(4). Let w = 133 + y. Is w a prime number?
True
Suppose -z + 4 = z. Suppose -5*u + 3*n - 5 = 0, -4*n + z*n - 5 = 5*u. Is u + (1 - (-36 - 1)) a prime number?
True
Is (15/10)/((-1)/(-850)) + 2 prime?
True
Suppose -4*u + 5 + 3 = 0. Is (-4428)/(-8) - u/4 prime?
False
Let y(c) = 16*c**2 + 35*c - 21. Let d(l) = 3*l**2 + 7*l - 4. Let b(j) = -11*d(j) + 2*y(j). Let z be b(-7). Suppose 2*p + 32 = 3*h, z*p + 1 = -1. Is h composite?
True
Suppose 2*n + 535 = 4*r + 3*n, 2*r - 2*n - 260 = 0. Is r a composite number?
True
Suppose 11 = 2*p - 5*m, 4*m = -2*p + 5*m + 7. Let q(r) = 54*r**2 + 4*r - 1. Is q(p) a composite number?
True
Let x(h) = -h**2 - 13*h - 5. Suppose 0 = 5*s - 8*s + 108. Let f be (-222)/s + 1/6. Is x(f) a prime number?
True
Let f = 0 - 6. Let d = 16 + f. Is d a composite number?
True
Suppose 0 = 4*t - 3*w - 1274, t - 4*t + 4*w + 959 = 0. Is t prime?
True
Is (20132/(-6))/(30/(-45)) prime?
False
Let m(o) = -7*o**3 + 11*o**2 + 24*o - 11. Let k(g) = -3*g**3 + 6*g**2 + 12*g - 5. Let y(j) = -5*k(j) + 2*m(j). Is y(10) a composite number?
False
Let y = 0 + 5. Let z be y - -2*(-1)/1. Suppose -3*u + 28 = -2*u + 3*s, 0 = -z*u + 3*s + 120. Is u a prime number?
True
Let o be (2/(-5))/((-3)/(-45)). Let j be (-5)/((-15)/o)*4. Let l = j + 30. Is l a prime number?
False
Let d(h) be the second derivative of 29*h**3/6 + h**2/2 - 3*h. Let n be d(-1). Let z = 65 + n. Is z a prime number?
True
Let g(d) = -d**3 - 5*d**2 + 8*d - 15. Is g(-11) a composite number?
True
Suppose -105 = 5*n - 6*n. Let o = n + -69. Suppose 0 = 5*d - d - o. Is d composite?
True
Suppose x + 18 = 5*k, 4*k