v*2 prime?
True
Let n(r) = r**2 - 11*r + 2. Let w be n(11). Suppose 2*d + w*x - 435 = -d, 2*d - 2*x - 290 = 0. Is d a prime number?
False
Let v = -355 - -986. Is v a composite number?
False
Let r be (-1)/(3/6)*-47. Suppose 0 = b - 103 - r. Suppose 0 = -5*t - u + 181, -4*t + 9*t - 3*u = b. Is t a composite number?
False
Let h(n) = 123*n**3 + n**2 + n + 1. Is h(2) prime?
True
Let a(t) = -t**3 + 3*t**2 - 2*t - 1. Let r be a(3). Suppose 2*d = -3 + 39. Let b = d + r. Is b composite?
False
Let j(v) = 3*v**3 - 3*v**2 + v - 23. Is j(7) a composite number?
True
Suppose 3*t - 355 = -5*c, 0 = 2*t + t. Is c a prime number?
True
Let h be 12/(-4) - (-3)/1. Suppose 3*t - t - 6 = h. Suppose 0 = b + 5, -t*m - 4*b + 47 = -2*m. Is m prime?
True
Suppose 2*p - 7*p = -f - 190, -5*f = 2*p - 49. Is p a prime number?
True
Let j(i) = 4*i**2 + 2*i. Let h be j(1). Suppose h*c + c - 9667 = 0. Is c composite?
False
Let y = -105 + 64. Let d be y/(-3)*(1 - -2). Suppose -8 = v - 3*b + 6*b, -3*v + 4*b = -d. Is v composite?
False
Let g = 1 - -2. Suppose 484 = g*c + 130. Let j = c + -81. Is j a prime number?
True
Let g(x) = 2*x**3 + 2*x**2 - 2*x - 2. Let u be g(-3). Is (-509)/(-4) + 8/u prime?
True
Let k be (-6 + 0)*1/(-1). Suppose j = k*j. Is (j - -1)*(-111)/(-3) composite?
False
Suppose -3*c = 3*k - 1113, -3*c - 5*k = -0*c - 1117. Suppose -2*s - 123 = -c. Is s a prime number?
False
Let p be (1 - 0/(-2)) + 2. Suppose p*i - i - 8 = 0. Suppose -69 = -t - i*g, 375 = -t + 6*t + 5*g. Is t a prime number?
False
Suppose -4*v = x - 38, -x = -v - 2*x + 8. Suppose 4*m - 7*m + 6 = 0. Suppose 2*d = -v, 280 - 762 = -4*j - m*d. Is j a composite number?
True
Let o(r) = 8. Let v(k) = k + 7. Let q(a) = 2*o(a) - 3*v(a). Suppose 30 = -4*m - m. Is q(m) prime?
True
Suppose -3*i = 0, 5*i = 2*q - 2 - 2. Suppose -q*x = -100 - 2. Is x a prime number?
False
Let c(w) = -5*w**2 - 2*w + 8. Let p(z) = -6*z**2 - 2*z + 7. Let l(v) = 4*c(v) - 5*p(v). Is l(-4) a composite number?
False
Let u = 197 - 28. Is u composite?
True
Suppose t = 2*t + 56. Let s = t - -225. Let w = s - 92. Is w prime?
False
Let m(f) = -8*f**3 - f**2 - 2*f - 1. Let g be m(-1). Let d be (-301)/(-4) + (-2)/g. Suppose d + 4 = i. Is i a composite number?
False
Suppose 3*l + l = 8. Suppose p = -l - 4. Is 53 - (-3 - (p - -3)) prime?
True
Suppose 0 = 5*h - 10, 5*h + 166 = -2*q - 0*q. Let f = q + 255. Is f composite?
False
Suppose u + 3*u = 28. Let d = u + -5. Suppose -5*s - 4*q + 239 = 0, -5*s - d*q + 95 = -142. Is s prime?
True
Let v be ((-2)/6)/(4/(-72)). Suppose v*i - 805 = i. Is i a prime number?
False
Let j(w) = 2*w**2 - 5*w - 2. Let f(n) = -n**2 + 5*n + 2. Let h(a) = 6*f(a) + 5*j(a). Suppose 0 = 5*v - 2*v + 9. Is h(v) prime?
True
Suppose b + 2223 = 4*r, 3*r = 2*r - 4*b + 577. Let z be (3 - 4 - 1)*r. Let t = -761 - z. Is t prime?
True
Let n = 712 - -85. Is n a prime number?
True
Suppose 530 = z + 4*z. Is z composite?
True
Let p = 11 - 11. Suppose -s = -5*s + 5*n + 1032, p = 3*s + n - 755. Is s a composite number?
True
Let c(b) = b**2 - 7*b - 3. Suppose 4*y + 0*y = 32. Let h be c(y). Suppose -h*g + 308 = -g. Is g a composite number?
True
Let j(y) = -2*y - 8. Let g be j(-11). Is (-7962)/(-21) - 2/g prime?
True
Let v(k) = 35*k**2 - k + 1. Let n be v(1). Suppose u + n = 2*u. Is u - (2 - -1 - 2) composite?
True
Let l(c) = 103*c + 3. Is l(2) a composite number?
True
Let r(o) = -o**3 - 6*o**2 + o + 7. Let s be r(5). Let x = 163 + s. Let y = 153 + x. Is y prime?
True
Let f be (-1 - 3)*4/(-4). Suppose 5*h + 113 = s, 0*s - f*h - 226 = -2*s. Is s a prime number?
True
Suppose 2931 = 3*n - 0*n - 3*t, 0 = -t + 2. Is n prime?
False
Suppose f = -2*f + 222. Let g = -121 - -84. Let i = f + g. Is i composite?
False
Let k be (4/8)/(1/14). Let p(n) = n**3 - 8*n**2 + 8*n + 8. Is p(k) a prime number?
False
Suppose -q - 4*y = -25, 5*q - 132 + 7 = -2*y. Suppose 9 = -4*l + q. Suppose 0 = -l*d + d + 111. Is d a composite number?
False
Suppose -41 = 4*w - 5685. Is w a prime number?
False
Suppose -a = -69 - 1198. Is a composite?
True
Suppose 5*b = 780 + 235. Let w = b - 84. Is w a composite number?
True
Let a be (-2)/(4/(-2)) - -73. Let u = a + -49. Is 1 - (2 - (2 + u)) composite?
True
Suppose -2*m = -95 + 35. Let c = m + -8. Is c composite?
True
Let t(y) = -y**3 + 12*y**2 + 4*y + 14. Is t(9) a composite number?
False
Is -3 + 2 - 10*-9 a prime number?
True
Suppose 5*c = m + 294, 58 = c + 3*m - 4*m. Is c prime?
True
Suppose -r - 1860 = -5*g, r = 2*g - 7*g + 1870. Is g a prime number?
True
Is 12/18 - (-8)/(-3) - -951 a composite number?
True
Is -1*3 + 11/((-22)/(-712)) a prime number?
True
Let m(l) be the third derivative of -1/6*l**3 + 0 + 0*l - 4*l**2 + 9/4*l**4. Is m(3) a prime number?
False
Is 93930/90 + 4/(-6) composite?
True
Let l = 213 - 82. Suppose -5*m - 36 = -l. Is m a composite number?
False
Let s(d) = d**3 + 3*d**2 - 4. Let j = 8 + -11. Let b be s(j). Is (33/2)/((-3)/b) a prime number?
False
Let j be 0 - (-3)/6*0. Suppose -v + 3*v = -d - 5, -5*v - 5*d - 25 = j. Suppose -1 = -q, 5*p - 2*q = -v*q + 183. Is p a composite number?
False
Let l = -106 + 149. Is l a composite number?
False
Suppose -c - 4 = -3*c. Suppose -c*v + 265 = l, -5*v = l + 2*l - 797. Suppose 4*j - 4*r - 101 = 3*j, -l = -3*j - 5*r. Is j a composite number?
True
Suppose -155 - 106 = -3*m. Is m a prime number?
False
Let h(q) = 9*q + 1. Let g(d) = 4*d + 4. Let f be g(5). Let u be (18/4)/(18/f). Is h(u) composite?
True
Let n(b) = -170*b - 5. Is n(-2) composite?
True
Let f(h) = -51*h**3 - 4*h**2 - 2*h + 1. Is f(-2) a prime number?
True
Let w(x) = x**3 - 6*x**2 + 3*x + 1. Let c(f) be the third derivative of 7*f**6/120 - f**5/60 + f**2. Let d be c(1). Is w(d) a composite number?
False
Let t(h) = 3*h**3 - 3*h**2 + 3. Suppose o - 11 = -3*m - o, -5*o - 1 = -2*m. Is t(m) prime?
False
Let f(x) = -2*x**3 - 4*x**2 - 3*x + 1. Let b be f(-3). Let n = b - -11. Is (-4)/(-16) - n/(-4) prime?
False
Suppose 3*u + 0*u = -18. Let a be 2 - (-12)/(-4)*-78. Is a/3 - 2/u a composite number?
False
Let w(t) = -2*t**3 + t**2. Let o be w(-1). Suppose -2*y = y - 99. Suppose o*l - y = -0*l. Is l prime?
True
Suppose 0 = 8*i - 23406 + 2534. Is i a prime number?
True
Is (-1 + -2)/(2365/(-1181) - -2) composite?
False
Let b(z) = -2*z**2 + 4*z + 7. Let a be b(-3). Suppose -2*r + 169 = -3*m, 3*r = -r - 4*m + 308. Let o = a + r. Is o composite?
True
Suppose 163 + 4833 = 4*m. Is m a composite number?
False
Let i = 285 + -146. Is i a prime number?
True
Let b = -6 - -32. Let h = 39 - b. Is h composite?
False
Suppose -4*h - 6*h + 1450 = 0. Is h composite?
True
Let t be 1 + (0 - (-3 + 1)). Suppose -q + t = -2. Suppose 3*o - q*o + 52 = 0. Is o a prime number?
False
Let c(f) = f**3 + 18*f**2 - 25*f - 5. Is c(-19) a composite number?
False
Suppose -10681 = 10*x - 56151. Is x composite?
False
Is 3 - (2 + -2) - 47*-4 a prime number?
True
Let b = -2 - -12. Suppose 0 = -f - 5*d + b, 3*d - 5*d - 20 = -2*f. Is f prime?
False
Let p(x) be the second derivative of x**5/20 - x**4/3 - x**3 + 4*x**2 + 4*x. Let j = 7 + 0. Is p(j) composite?
False
Suppose 3 = 5*m - 7. Let z be ((-1)/m)/(2/(-700)). Suppose 3*q - 536 = z. Is q a prime number?
False
Let q(v) = v**3 - 3*v**2 - 4. Let d be q(3). Is (158/d - 0)*-2 a composite number?
False
Let p(k) = -93*k - 1. Is p(-4) a composite number?
True
Let i(q) = -148*q**2 - q - 1. Let u be i(-1). Let g be 2/(-7) - u/28. Suppose -5*y - 4*k + 155 = 0, -g*k - 124 = -4*y - 7*k. Is y a prime number?
True
Let l(o) = o**3 + 4*o**2 + 2*o + 3. Let s be l(-4). Let h = 8 + s. Suppose -9 = -h*v, 0 = -0*q + 4*q + 3*v - 49. Is q prime?
False
Let f(n) = -3*n - 4. Let k be f(-2). Suppose k*m + 0*m = 2*v - 422, -3*m = -v + 211. Is v a prime number?
True
Let i(y) = 7*y**2 - 33*y + 9. Is i(14) a prime number?
True
Suppose -5*l = -5*g - 958 - 3227, 2*l - 1666 = 4*g. Is l a composite number?
True
Let a be (-2)/(-4)*4 - -249. Suppose 0 = -2*z + z + a. Is z prime?
True
Let u = -229 + 443. Let d be (-129)/2 - 5/10. Let r = u + d. Is r a composite number?
False
Let d = -6 + 8. Suppose d*g - 26 = -4*q, g + 17 = 4*q - 0*g. Suppose -2*l = q*z - 43, 3*l - z = -2*l + 94. Is l composite?
False
Suppose 5*t + 0*t + b - 22 = 0, -5*t - 4*b = -13. Is t/(-10)*(-2 - 104) prime?
True
Let v = 3071 - 1810. Is v composite?
True
Suppose 2*m - 2 = r, 3*m - r