2 + 5*f + 17. Let g be v(8). Is a(g) composite?
False
Suppose 2*n = 3*n. Suppose o - 189 - 2 = n. Is o composite?
False
Let m be 28*1 + 1 - 1. Is 259/m - (-2)/(-8) a prime number?
False
Let b(s) = -s**3 - 3*s**2 - s + 1. Let z be b(-3). Suppose z*a = -0*a. Suppose a = -j - 3*j + 84. Is j a prime number?
False
Is (23 + -6)/((-246)/(-122) + -2) prime?
False
Is ((-103)/2)/(1/(-2)) a composite number?
False
Let f(v) = v**2 - 3*v + 2. Let h be f(3). Suppose 4*l - o + 64 = 3*o, -4*o = 4*l + 72. Let p = h - l. Is p a composite number?
False
Is (-6)/(-9) + 3950/6 a composite number?
False
Let b be 2/4*(3 - 3). Suppose b = u, g - 3*g + 5*u = -158. Is g a prime number?
True
Let u(x) be the second derivative of x + 2/3*x**3 + 0 + 5/2*x**2. Is u(8) prime?
True
Suppose -2*v = -2*x, 3*x - 5*v - 3 = -1. Is 52/((-1)/x*2) composite?
True
Let v be -3 + (-1)/(2 - 3). Let q be v/((-2)/674 + 0). Suppose 222 - q = -4*d. Is d composite?
False
Let m(v) = -v**3 - 13*v**2 - 13*v - 12. Let i be m(-12). Suppose -3*k + 13 + 26 = i. Is k a prime number?
True
Let x = -13 + -17. Let z be (-1)/(-4) + x/(-8). Suppose n - 155 = -z*n. Is n a prime number?
True
Let n(r) = -r + 14. Let u be n(11). Suppose 0 = -5*o - 5*j + 395, -u*j - 162 + 557 = 5*o. Is o composite?
False
Let o be ((-12)/(-15))/((-1)/(-30)). Suppose 3*j - 2*v = v + o, 5*j + 2*v - 54 = 0. Let h(b) = b**3 - 9*b**2 - 8*b + 1. Is h(j) a composite number?
True
Let x(n) = 2*n + 1. Let v be x(4). Let m be ((-1)/2)/((-2)/(-12)). Is 196/3 + m/v composite?
True
Let f = 1 + -3. Is 39/((-6)/f) + 2 composite?
True
Is -3*2/(18/(-447)) composite?
False
Suppose -5*g = 5*s - 455, -2*g + 364 = -s + 5*s. Is s + 1 - (7 - 4) a composite number?
False
Suppose -4*i + 443 = -2*v - 1051, 391 = i - 4*v. Is i prime?
False
Suppose k + 3*l = -3*k + 3827, -3*k + 2871 = 2*l. Is k prime?
False
Suppose 4*c - 2221 = -225. Is c composite?
False
Let p = -13659 + 21500. Is p composite?
False
Let z = 1 + 1. Suppose 5*o - 3*d - 290 = 0, -z*o = 3*d - 25 - 91. Is o a prime number?
False
Suppose -3*j = j - v - 384, 4*j = -4*v + 404. Is j a prime number?
True
Let q(v) = -v**2 - 6*v + 1. Let a be q(-7). Let o be 405/3*a/(-15). Suppose o = -4*w + 186. Is w composite?
True
Let f(u) = 6*u**2 - 6*u - 1. Is f(-5) a prime number?
True
Let c(f) = 1. Let n(u) = -u - 6. Let b(d) = 6*c(d) + n(d). Is b(-11) a prime number?
True
Suppose -3*p + 4*p - 2 = 0. Suppose 0 = p*q - 6 - 8. Is q a composite number?
False
Suppose 4*d = -d - 20. Let t(v) = -4*v**3 + 6*v**2 + 3*v - 5. Is t(d) prime?
False
Suppose -3*m = -4*m + 1. Let b be -1*-2*94/4. Is b*2 - (m + -2) a composite number?
True
Let f(y) = -1 + 3 + y**2 + 7*y**2 + 0. Is f(-2) composite?
True
Let g(v) = -v - 10. Let i = 2 + -11. Let n(w) = 2*w + 21. Let k(p) = i*g(p) - 4*n(p). Is k(-3) prime?
True
Let s(h) = 6 - 2*h + 0*h**3 + 15*h**2 - 2*h + 5*h + h**3. Is s(-13) a prime number?
True
Let w(n) = n + 7. Let x be w(-7). Suppose x = -3*g + g + 80. Suppose 109 = 5*j - 3*s, 0*s + g = 2*j - 3*s. Is j a composite number?
False
Let u(o) = 0*o - 2*o + 83 + o. Is u(0) a prime number?
True
Suppose -2*l = 4*r - 2, 2*l = -2*r - 3*l - 11. Suppose -r*y - 376 = 2*y. Let j = -41 - y. Is j a composite number?
False
Suppose 2 = 5*a - 23, -2*t - 2*a + 1096 = 0. Is t composite?
True
Let v = -457 - -1530. Is v a composite number?
True
Suppose -q = -4*g + 10, 3*g - 7 = 2*q + 3. Suppose 0 = 5*y - n - 1287, -y = n + g - 257. Is y a prime number?
True
Suppose -2*h - 19 = -5*u, -4*u = -5*h - 2*u - 16. Let w be (2 - -1)/(h/(-12)). Let a = 83 - w. Is a a prime number?
False
Let j(c) = c**3 - 14*c**2 + c - 12. Let w be j(14). Is 452 - w/(2 + 0) composite?
True
Let v(a) be the first derivative of -a**4/2 + a**2 - a + 1. Let w be v(1). Is 133/(-2)*(-1 + w) a prime number?
False
Suppose -5*z + 4*y + 134 = 0, 138 = 3*z + 2*z - 3*y. Let m = 51 - z. Is m prime?
False
Let f = -66 + 68. Let u be 3/12 + 1/(-4). Suppose -f*g + 81 - 11 = u. Is g composite?
True
Let a(u) = 100*u - 9. Is a(6) composite?
True
Suppose -4*t = -5*t + 5*o - 19, -o = -5. Suppose q - 159 = -3*r, -2*q + 6*r = r - 373. Is 3/t*(q - 2) a prime number?
False
Suppose 6*o = 5*u + 3*o, 4*o = -5*u. Suppose u*i - 208 = -4*i. Suppose -d + i = d. Is d composite?
True
Let d be 0*(1 + 1 - 1). Let h(m) = -m**2 + 14 + 17 - 12 + 2*m**2 + m. Is h(d) prime?
True
Suppose 2*u = 7*u - 20. Suppose 1194 = 4*i - b, 4*b + 713 + 487 = u*i. Is i composite?
True
Suppose 0 = -57*s + 53*s + 8444. Is s a prime number?
True
Suppose -2*o = 4*c + 338, o - c + 0*c + 166 = 0. Let q = o - -421. Is q composite?
True
Let c(n) = 4*n**2 + 1 + 4*n**3 + 2*n**3 + 4*n - 5*n**3. Let m be c(-3). Is ((-4)/5)/(m/65) a prime number?
False
Let k = 10 + -5. Suppose -k*r = -122 - 63. Is r a composite number?
False
Suppose 0 = -d + 680 - 211. Is d composite?
True
Suppose -4*y + 1362 = h - 299, -6680 = -4*h - 4*y. Is h a composite number?
True
Let g(f) be the second derivative of f**5/20 - f**3/6 + 79*f**2/2 - 3*f. Is g(0) composite?
False
Let u(f) = 136*f - 5. Let n be u(5). Let j = n - 256. Is j a prime number?
True
Suppose -2 = -2*w + 2. Suppose 2*p - 579 = -3*s + 10, -w*s - 1138 = -4*p. Let x = p - 160. Is x a prime number?
True
Let q(w) = 10*w + 5. Is q(8) a composite number?
True
Suppose -s + 6*s = 1345. Is s composite?
False
Let g be (-3)/(-18) + (-68)/(-24). Suppose g*q = -q + 76. Is q a prime number?
True
Let c(s) be the third derivative of -s**6/6 - s**5/30 + s**3/6 + 2*s**2. Is c(-1) composite?
False
Suppose 4*s - 45 = 3*m + 406, -2*s + m = -223. Is 3/(3/s) + 2 a prime number?
False
Let y = 12 + 67. Is y composite?
False
Suppose -5*b = -z - 15, -2*b - 3*z = -0*b + 11. Let i = 92 + -58. Suppose -36 = -b*w + i. Is w a prime number?
False
Let m(l) = -l**2 + 8*l - 5. Let o be m(7). Let s(i) = -i**2 + 6*i**2 + 3 + i**o + 2*i. Is s(-2) prime?
True
Let m be -2*-1*3/3. Suppose 0 = y - 3 - m. Suppose y*b - 10*b = -265. Is b prime?
True
Let p(u) = 4*u**3 - 3*u**2 + 2*u - 2. Let b = 11 + -8. Suppose -y = g + 1, 4*g + 10 = b*y - 8. Is p(y) composite?
True
Let w(m) = 11*m + 1. Suppose 2*v - 6 + 2 = 0. Is w(v) composite?
False
Is 2/(-6)*(3 - 1077) a composite number?
True
Suppose -6*q + 3*q - 3 = 0. Let w = q + 5. Is (371/14)/(2/w) prime?
True
Let y(v) = -2*v**3 + 2*v**2 + 2*v + 1. Let b be y(-1). Suppose -3*q - 58 = -2*x - 8, x + 4*q - b = 0. Is x composite?
False
Let r(x) = -70*x - 31. Is r(-5) a composite number?
True
Suppose 2*z + 20 = 6*z. Suppose l + 10 + 58 = c, c - z*l = 64. Is c a composite number?
True
Suppose 31*v - 32*v + 1761 = 0. Is v a prime number?
False
Let h = -23 - -51. Suppose -51 = -2*v + 4*d - 3*d, h = v + 2*d. Let n = v - -8. Is n composite?
True
Let x(f) = f**2 - 3*f - 5. Let n = 4 - 4. Suppose z - 6 = -n. Is x(z) prime?
True
Let b be ((-3)/(-6))/((-1)/2). Let z = -3 + 2. Is z - b/(-1)*-54 composite?
False
Let o = -6 + 10. Suppose -l - a + 0*a = o, -5*a = 25. Is (l/(2/52))/2 a prime number?
True
Suppose 89 = 4*d + 261. Let p = d + 74. Is p prime?
True
Suppose 5*v = -349 + 879. Let l = 233 - v. Is l a prime number?
True
Let d(h) be the second derivative of -5*h**3/6 - h**2 + 12*h. Let s(x) = x**2 + 6*x - 6. Let r be s(-5). Is d(r) composite?
False
Suppose z - 2 = -0*z. Suppose z*t + 5*f = -57 - 2, -3*t - 2*f = 61. Let a = t - -48. Is a a prime number?
True
Let l(r) = -13*r**3 - 12*r**2 - 9*r - 3. Is l(-4) prime?
True
Let y(b) = -2*b**3 + 2*b**2 + 4*b - 1. Let q be y(-3). Let n = q + -10. Is n a prime number?
False
Let y = 14 + -24. Let a(r) = -2*r + 5 + r**2 + 0 + 0 - 2*r. Is a(y) a prime number?
False
Let b(n) = n**3 + 7*n**2 - n - 7. Let g be b(-6). Let u = 25 + -45. Let l = u + g. Is l prime?
False
Let d(t) = t**3 - 7*t**2 + t - 5. Let p be d(7). Suppose -p*y - 924 = -5*y. Suppose y = 4*f - n, -3*n = 4*f - 2*n - 308. Is f a composite number?
True
Suppose 0 = 6*i - 4*i - 10. Let b(g) = -3*g - 1. Let f be b(-1). Suppose 0 = 5*j + f*s - 145, 4*j + 1 = i*s + 150. Is j prime?
True
Let s = 25 - 15. Is s a prime number?
False
Let c = 431 - -1068. Is c a prime number?
True
Let h(g) = g + 5. Let w be h(8). Suppose 5*x + 2*l + w = -9, 0 = -2*x - l - 8. Is 39/x*(-6 + 0) a prime number?
False
Let y be ((-9)/18)/((-1)/8). Suppose 7*f - 420 = y*f. Suppose -x - 2*w = -25, -2*w = -0*x - 4*x + f. Is x a composite number?
True
Is