1 + 14*n + n**2. Is l(-6) prime?
False
Let s = -5 - -5. Let l = 1 - s. Is -7*(l - 0)*-1 prime?
True
Suppose 4*x = 2*s + 174, -3*s + x = 6*x + 294. Let y = -63 - s. Suppose r - 4*r + y = 0. Is r composite?
True
Suppose -2*n - k = -5 - 2, 4*n - 9 = 3*k. Suppose n*m = 471 + 180. Is m prime?
False
Let t(h) = -h**2 - 6*h - 5. Let p be t(-5). Suppose -4*b = -p*b. Suppose -2*f + 67 = -s, -2*f + b*f - 5*s = -37. Is f a composite number?
False
Suppose 9*t - 2808 - 414 = 0. Is t a composite number?
True
Let b(u) = -u**3 + 4*u**2 - 3*u + 3. Let o be b(3). Suppose 5*i - 2*c + 0*c = 10, -o*c = 0. Suppose 3*m + i*m = 70. Is m composite?
True
Is ((232/(-12))/1)/(2/(-51)) a prime number?
False
Let t(d) = -23*d - 2. Suppose 0 = w - 6*w - 10. Let z be t(w). Suppose -v + 2*g = -17, 3*v + g = -0*g + z. Is v a composite number?
True
Let k be (-4)/(((-5)/(-2))/5). Let h(w) = w**3 + 14*w**2 + 2*w + 11. Is h(k) composite?
False
Let v(p) = -p**2 + 5*p + 8. Let h be v(6). Suppose m = -h*t + 85, 0*m + 465 = 5*m + 2*t. Is m composite?
True
Let p(k) = -k**2 - 16*k + 2. Is p(-7) a composite number?
True
Let l(v) = v**3 + 11*v**2 + 10*v + 4. Suppose 0 = 4*w + 14 + 26. Let b be l(w). Suppose -3*a + 2*a + 148 = b*u, 5*u = a + 185. Is u a prime number?
True
Suppose -3*a = 2*d + 3*d + 28, -3*a - 3 = 0. Let g = 24 + d. Suppose -3*f + 4*p + 42 = -g, -5*p = -f + 13. Is f prime?
True
Let g = -132 + 14. Suppose -3*y + 8*y + 115 = 0. Let i = y - g. Is i composite?
True
Let s = 2 + -3. Is (-1125)/(-10) + s/(-2) a prime number?
True
Let h = -10 + 10. Suppose -r + 10 = -h*r. Is r a composite number?
True
Let p(k) = -169*k + 9. Is p(-8) a prime number?
True
Let j = -1 - -88. Is j a composite number?
True
Let c(f) = -f**2 - 6*f + 4. Let l be c(-6). Suppose y = 3*m + 7, 5*m - 1 = -l*y + 10. Suppose u - r = -u + 131, r + 261 = y*u. Is u prime?
False
Let f be 2/(-5)*(-2 + -23). Let n(c) = c - 3. Let l be n(f). Suppose 5*r = -2*z - l + 72, 4*z + 13 = r. Is r prime?
True
Let k be 1590/3 - 9/3. Suppose -3*o + 5*u = -1283, o + 4*u - k + 88 = 0. Is o a composite number?
False
Let q(g) = 2*g**3 - 2*g**2 - 3*g - 2. Suppose 0 = 2*n + 4*x - 28 + 6, 2*x = 4*n - 4. Is q(n) a prime number?
False
Let t(x) = -3*x**3 + 5*x**2 - 3*x. Let r(l) = -5*l**3 + 11*l**2 - 5*l - 1. Let i(z) = 2*r(z) - 5*t(z). Is i(3) a prime number?
False
Let p = -206 - -2191. Is p prime?
False
Let m = -5 - -244. Is m prime?
True
Let o(n) = 25*n - 3. Let r(i) = -1 - 1 + 1 + 6*i. Let a(g) = -2*o(g) + 9*r(g). Is a(3) prime?
False
Is 5 + -1 + -1 + 56 prime?
True
Is -3*(-10)/135 + 18003/27 prime?
False
Suppose -34*c = -42*c + 7736. Is c composite?
False
Let j(f) = -f**3 + 2*f**2 + 3*f + 3. Let y be ((-12)/(-5))/((-9)/(-30)). Suppose 0 = r - 2*r + 2*b - 6, y = 4*b. Is j(r) a prime number?
True
Suppose 0 = -0*d - 5*d. Let v(q) = -q**3 + q**2 + 220. Let f be v(d). Let y = -138 + f. Is y a prime number?
False
Suppose -1 = -4*d - 4*k - 9, d = 5*k - 20. Let v = d - -118. Is v a composite number?
False
Let s(v) = -v + 6. Let g be s(4). Suppose 46 = g*j + 5*u, u - 23 = -2*j + j. Is j prime?
True
Let n(h) = -2*h - 11. Let p be n(-8). Suppose -m + 4*t = 8*t - 3, m - 3 = p*t. Suppose m = l - 4. Is l a composite number?
False
Suppose -5*a - 5*m = -645, 2*a + a = -5*m + 387. Let y = -60 + a. Is y prime?
False
Let t(g) = 35*g**2 + 2*g - 8. Is t(5) a prime number?
True
Let m(u) be the first derivative of u**3/3 + u**2/2 + 59*u + 4. Is m(0) a prime number?
True
Let u(f) = 81*f**2 - f. Is u(-1) prime?
False
Let h(c) = 623*c - 29. Is h(8) a prime number?
False
Let u(l) = -4*l + 3. Suppose 3*d = 2*d + 5. Suppose -d*a - 41 = 4*k, k + 2*k = -4*a - 32. Is u(a) a prime number?
True
Let h(g) be the third derivative of 9*g**4/8 + g**3/2 + 4*g**2. Is h(4) composite?
True
Let w(s) = 3*s**2 + 2*s. Let p be w(-2). Let v = -2 + p. Is (3/v)/1*26 a composite number?
False
Let u be 9/(-6)*(-16)/6. Suppose u*a + 2*k - 5 = k, -a = 4*k - 5. Suppose 345 = 4*i + m, 2*m - 9 = a. Is i a prime number?
False
Let h be 3 + (-2 - 0) + 1. Suppose -3*a - h*a = -75. Suppose a + 7 = m. Is m a prime number?
False
Let w = 233 - 166. Is w a prime number?
True
Let u(i) = -4*i + 6. Let h(t) = 3*t - 5. Let d(a) = -5*h(a) - 4*u(a). Let z be 3 - (-2 + 0 - 0). Is d(z) prime?
False
Let q(v) = -2*v**2 + 8*v + 1. Let n be q(6). Let d = 8 - n. Is d prime?
True
Suppose -5*o - 7 = -b, -3*b + 4*b = -2*o. Let l = -2 + b. Suppose 2*s + l*s - 30 = 0. Is s a composite number?
True
Suppose 20608 = 7*b - 8127. Is b a prime number?
False
Let p(b) = b**2 + 4*b - 2. Let h be p(-4). Is 9 + -1*(h - -1) prime?
False
Suppose -20 = 5*y, -s + 2*y + 354 + 711 = 0. Is s composite?
True
Let r be (4/(-10))/(2/(-10)). Suppose -r*m + 16 = -4*a, -2*m - 3*a - 17 = -5. Suppose v + 2*v + 15 = 0, m = -4*y + 2*v + 198. Is y a composite number?
False
Suppose -5 = -5*w - 25. Is 52/(-6)*78/w a prime number?
False
Let r(y) be the first derivative of -y**4/2 - 5*y**3/3 + y**2/2 + 7*y - 3. Is r(-5) a prime number?
True
Let q = 16 - 1. Is q a prime number?
False
Let u = -8 + 32. Suppose s = 2*s - u. Suppose -2*i + 5*l + 47 = 0, 2*i - s - 26 = 2*l. Is i composite?
True
Let u(t) = t - 3. Let o be u(3). Suppose o = -z - 3*z, n = 4*z + 83. Is n prime?
True
Suppose 0 = -h - 2*h + 3. Is 70/(2 + 0)*h prime?
False
Let l be 6 - (1 + -2) - 2. Suppose -119 = -l*c - 24. Is c prime?
True
Suppose 2*z = 3*o + 17, 0 = -3*z - 5*o - 3 - 0. Suppose b + b + 3*m - 8 = 0, -b + z = -2*m. Suppose -u + 73 = -b*l, -187 = 3*u - 6*u - 4*l. Is u composite?
True
Let f be 5/2 - (-1)/2. Let n(o) = -7*o - 4. Let t(q) = -q. Let k(a) = -n(a) - 4*t(a). Is k(f) a composite number?
False
Let c be 2/(-4) + (-11)/(-2). Let u(t) = 2*t**2 - 4*t + 5. Is u(c) a prime number?
False
Suppose 4*d = -4*l + 12, 7*l - 4*l - 3*d - 15 = 0. Let o(k) = -l*k**2 - 1 + 3*k**3 + k - 3 - 2*k**3 - 3. Is o(8) prime?
True
Let c(j) = j**2 + 4*j + 3. Let x be c(-6). Suppose -2*y = -4*p + 202, -x = -4*y + y. Is p prime?
True
Suppose -4*q = -821 - 255. Is q prime?
True
Suppose 0 = -2*s + 5 - 1. Suppose -n - 37 = -s*n. Is n a prime number?
True
Suppose -i - 138 + 905 = 0. Is i composite?
True
Let r = 2111 - 1152. Is r composite?
True
Let p(j) = 4*j - 3. Let l be p(2). Suppose m - 1 = -l, -2*c = -4*m - 20. Suppose -c*g + 666 = 2*v, -v = -g + 2*v + 325. Is g composite?
False
Let t(b) = -b**2 + 6*b + 4. Let y be t(6). Let a(h) = 3*h**2 - 4*h + 3. Is a(y) composite?
True
Let j(b) = b**3 + 10*b**2 + 6*b + 11. Let d = -20 + 12. Is j(d) a prime number?
False
Let u(h) = -174*h + 2. Let r be u(-2). Suppose 5*g = r + 135. Is g prime?
True
Suppose -4*x + 6*x = 4. Suppose 5*c - 37 = -o + 3*c, -x*o + c + 64 = 0. Is o a composite number?
True
Suppose 0*z + 4*z = 1796. Is z a composite number?
False
Suppose -5*r + 0*r = -p + 22, 3*p - 3*r - 18 = 0. Suppose p*g = -4*l - 3*g - 10, -2*l - 5*g = 0. Is (15/l)/(0 - 1) composite?
False
Let x(a) = -10*a**3 - 3*a**2 - 5*a - 7. Let q be x(-3). Let p = q + -160. Is p a composite number?
True
Let k(g) = 12*g**3 - g**2 + 3*g - 4. Is k(2) prime?
False
Let t = 133 - -196. Is t prime?
False
Suppose -2*g = -g - 198. Suppose 0*d + 3*d - g = 0. Suppose 0 = -2*c - c + d. Is c prime?
False
Let r be 2/((-24)/(-15))*12. Suppose -2*y + 51 + r = 0. Let k = y - 23. Is k prime?
False
Let z(d) = d - 11. Let f be z(10). Is -1 + (f + 2)*116 a composite number?
True
Suppose 4*b = -0*m - 3*m + 6, -2*m - 19 = -5*b. Suppose 4*q + b = q. Is 2/4*-62*q a prime number?
True
Let i be 2*20/(-16)*-2. Suppose i*l - x = 4*x + 1490, 0 = l + 5*x - 268. Is l a prime number?
True
Let w(v) be the first derivative of 3 - 1/4*v**4 + 5/2*v**2 + 8/3*v**3 + 9*v. Is w(8) a prime number?
False
Suppose 10 = -5*x, 2*x - 40 = 2*d + 4*x. Let r = -13 - d. Let u(f) = 11*f**2 - 3*f + 5. Is u(r) a composite number?
True
Suppose -4*g + 5 - 17 = 0. Let h(y) = y**3 + 6*y**2 - 3*y - 1. Is h(g) a composite number?
True
Suppose -4*p + 3*c + c = 0, 18 = 4*p + 2*c. Suppose -2*g + g + 4 = p*a, -8 = -2*g - a. Is (7/g)/(-7)*-268 prime?
True
Let j = -848 - -1227. Is j composite?
False
Suppose 5*f + 0*f - 5*n - 345 = 0, 2*n = -10. Suppose 0 = -2*x + 3*s + f, -3*s = 2*x + 2*x - 146. Is x prime?
False
Let s(p) = p - 3. Let v be s(-3). Let c be (-18)/v + (-6)/2. Suppose c = -4*u + u + 4*n + 369, 4*u - 493 = 5*n. Is u prime?
True
Let n(u)