*f - 20. Suppose -918 = -f*n - 170. Is n composite?
True
Let w(i) = 31*i**3 + i**2 - i + 1. Let r be w(1). Suppose 2*y - r = -0*y. Let q = y - 6. Is q prime?
False
Suppose -5*d + 2*d + 1743 = 4*u, 0 = -2*u + 3*d + 867. Suppose 13 = 4*w - 3. Suppose k - w*k = -u. Is k composite?
True
Suppose 150 = 3*o - 27. Is o a prime number?
True
Let g(u) be the second derivative of u**6/180 + u**5/30 + 5*u**4/24 - u**3/2 + 2*u. Let z(a) be the second derivative of g(a). Is z(4) prime?
True
Let q(v) = -v**3 - 11*v**2 - 8*v - 17. Is q(-12) composite?
False
Let r(h) = 82*h + 12. Let c be r(-5). Let i = -31 - c. Is i prime?
True
Let z = -14 + 18. Suppose z*t + 92 = 440. Is t a composite number?
True
Suppose v + 2*h + h = 4, -4*h - 12 = -3*v. Is v a prime number?
False
Let f = 119 + 512. Is f a prime number?
True
Is -6*(-1 + (2 - 2)/4) a composite number?
True
Let b be -2 + (-2 - 2)/(-2). Is 1/(b - 1)*-33 a prime number?
False
Let n = -2274 - -4430. Suppose -2*v + 3*r = -1082, -4*v + 2*r + 2*r = -n. Is v a composite number?
True
Let o(t) = -45*t + 57. Is o(-14) composite?
True
Suppose -193 - 22 = j + 2*r, 640 = -3*j - 5*r. Is (1 - 1) + -2 - j a composite number?
True
Let w be 12*(3/3)/3. Is w + 17 + 2 + -4 prime?
True
Let v(o) = -o**2 - 8*o + 2. Let u be v(-8). Is (-1)/u*(-86)/1 prime?
True
Suppose -4 + 13 = 3*p. Suppose 0 = p*g - 0*g - 99. Is g a prime number?
False
Let n(s) = 13*s**2 - 4*s + 3. Let f = 15 + -11. Suppose 3*w + 5*h = 18 - 2, 0 = 2*w + f*h - 12. Is n(w) composite?
False
Let i = -8 - -13. Suppose 0*c + 4*c = -q + 9, 4*q - 25 = -i*c. Suppose -2*h = b - 129 - 7, b = q*h - 333. Is h a composite number?
False
Is 5253 + -7 + 3 - (5 + -1) prime?
False
Let o(t) = t + 1. Let p be o(-3). Let j be (308/(-12))/(p/6). Let i = -44 + j. Is i prime?
False
Let t(b) = -b**2 + 20*b - 11. Let u(g) = -g**2 + g - 1. Let j(k) = t(k) - 3*u(k). Is j(-15) a prime number?
False
Suppose 1 = -l, 4*a + 972 - 339 = -l. Let v = 41 - a. Is v a composite number?
False
Let z = 7291 - 2150. Is z prime?
False
Suppose 5 = -5*p - 0, 5*h + p = 14. Let a(b) be the first derivative of b**4/4 - 2*b**3/3 - b**2/2 + b + 2. Is a(h) a composite number?
False
Let u = -1 + 8. Is -159*(u/(-3) - -2) a composite number?
False
Let q(y) = -y**3 + 18*y**2 - 7*y - 3. Is q(16) a composite number?
False
Let b(a) = 3*a**2 + 3*a + 1. Suppose 18 = 4*p + 4*x - 6, 12 = p + 3*x. Is b(p) composite?
False
Let j(a) = -21*a**2 - a + 2. Let z be j(-3). Let s = z + 447. Suppose 9 = -2*i + s. Is i prime?
True
Let x(u) = -1290*u - 5. Is x(-1) prime?
False
Suppose -2*k - 6 = 6. Let u(m) = m**3 + 6*m**2 - 4*m + 7. Is u(k) composite?
False
Suppose 2*m = -0*k - k + 233, 0 = 4*k - 12. Is m a prime number?
False
Let s = 1 + 3. Suppose s*f + 73 = 437. Is f prime?
False
Suppose -4*n - n + 2728 = 3*t, -4*t - 3*n = -3619. Is t a composite number?
True
Suppose -v + 4*v + 5*n = 9, 2*n = 4*v - 12. Let b(w) = w - v*w**2 + w**2 - 2 + w**3 - 3. Is b(4) a composite number?
False
Suppose 7 - 3 = 4*a. Let h(p) be the third derivative of p**6/10 + p**5/60 - p**4/24 + p**3/6 - p**2. Is h(a) prime?
True
Let a(c) = 5*c - 9. Is a(4) prime?
True
Suppose 0 = 3*p - 11 + 128. Let a = 94 + p. Is a composite?
True
Let r(n) = n**3 + 91. Let w be (-7)/(-3) - 6/18. Suppose -w*h = -0*h. Is r(h) a composite number?
True
Let i = 440 - 283. Suppose 4*w + 259 = -i. Let h = -30 - w. Is h prime?
False
Let c = -5 + 13. Let a be (-4)/c*(0 + 0). Suppose 5*i + 2*o - 380 - 195 = a, 4*i + o - 457 = 0. Is i a composite number?
False
Let r be (-1)/(-4) + (-14)/(-8). Suppose r*h - 6 = 3*n, n + h + 4 + 3 = 0. Is -2*1/n*134 composite?
False
Is (-2)/1 + (4 - 5 - -4774) composite?
True
Let r be (-6)/2*(-8)/(-12). Let n be (r/6)/(5/15). Let k = 10 + n. Is k a prime number?
False
Suppose -111 = 3*t - 4*u - 344, 0 = -t - 4*u + 99. Is t prime?
True
Suppose d = -2*d. Suppose -4*t + 2*j = 6 - 20, 5*j - 25 = d. Is ((-2)/t)/(7/(-2667)) a composite number?
False
Let j = 54 + -20. Is j a composite number?
True
Suppose -4*z + 0*z = -16. Suppose z*a - 44 - 60 = 0. Is a a prime number?
False
Let o be (12/(-10))/((-4)/20). Suppose -5 + 1 = -h. Is (-2 + o)/(h/14) composite?
True
Let g = -19 + 416. Is g a prime number?
True
Suppose -c - h + 796 = 0, -4*c + 9*c - 4025 = 4*h. Let n = c - 535. Let x = -177 + n. Is x a composite number?
False
Suppose -554 = 4*l + 714. Let x = l - -576. Is x a prime number?
False
Let z be (-2 - 1)*(-388)/12. Let m = 258 + z. Is m a composite number?
True
Suppose 62 = 4*g - 2*m, g - 6*m + m = 29. Suppose -34 + g = -5*r. Suppose 189 = 5*w + 4*j, r*w + 5*j - j = 152. Is w a composite number?
False
Let m = 49 + -9. Let p be m/18 + 8/(-36). Suppose 5*d = 7 - p, -7 = -4*o + d. Is o a composite number?
False
Let z be 0/(-2 - -1) - 1. Let b = z - 2. Is 7/(b/(-6)*1) a prime number?
False
Suppose -5*c + 1172 = -c. Is c a prime number?
True
Suppose -2*z = -5*z - 24. Let l(v) = -v**3 - 8*v**2 - 1. Let f be l(z). Is 2*1/f + 8 a composite number?
True
Suppose w = -2*q - 0 + 4, 5*w - 5 = -5*q. Is (-155)/w + 5/(-10) composite?
True
Let w(p) = 29*p**2 + 6*p + 12. Is w(-5) composite?
True
Let l be ((-16)/12)/((-3)/801). Let j = l - 49. Suppose -j = -5*h - 42. Is h composite?
False
Suppose q - 4*x = -4, 2*q + 3*q - 26 = -3*x. Suppose -q*w = -30 - 102. Is w a composite number?
True
Suppose -c + 12 = -5*z, c - z + 0*z + 8 = 0. Let l = -4 - c. Is l a prime number?
False
Suppose 3*y + 0*y = 0. Let k = 2 + y. Suppose 5*v + o = k*o + 92, o - 79 = -4*v. Is v composite?
False
Let d be ((-36)/(-15))/(10/25). Suppose -235 = g - d*g. Is g composite?
False
Let v(x) = -74*x - 16. Is v(-7) a prime number?
False
Suppose b = -a + 161, 132 = 2*b + 5*a - 184. Is b a prime number?
True
Let l(q) = -7*q - 15. Let f(o) = -3*o - 8. Let c(r) = 5*f(r) - 3*l(r). Is c(8) composite?
False
Suppose 0 = 4*q - 11 - 9. Let b = -102 + 265. Suppose 0 = -q*w + 122 + b. Is w a composite number?
True
Let m be (-43)/(-9) + 6/27. Suppose -249 - 136 = -m*t. Is t a prime number?
False
Let i = 46 + -92. Let x(j) = 32*j - 1. Let v be x(-1). Let s = v - i. Is s a prime number?
True
Let s(l) = 36*l**2 + 10*l + 27. Is s(-13) a prime number?
True
Suppose -113 = -z + 3*a, 2*z + 29 = -3*a + 255. Is z a prime number?
True
Let z(t) = 7*t + 1. Let b be z(-1). Is ((-2)/(-3))/(b/(-603)) a prime number?
True
Let d(x) = x**2 - 8*x + 4. Let r be d(8). Let c = 59 + 20. Suppose r*s - c + 3 = 0. Is s a composite number?
False
Let a(y) = y**3 - 13*y**2 + 2*y + 16. Let q be a(12). Let u = 194 + q. Suppose -3*j + u - 27 = 0. Is j prime?
False
Let b(v) = v**3 - 4*v**2 - 6*v - 5. Let g(a) = -3*a**3 + 11*a**2 + 19*a + 14. Let d(u) = 7*b(u) + 2*g(u). Is d(10) prime?
True
Let q(d) = 4*d**3 + d - 1. Let o = 4 - 3. Let t be q(o). Suppose -g + t*a + 53 = 0, -3*g + 3*a = -0*g - 159. Is g a prime number?
True
Suppose -3*j = u - 3 - 109, 4*u = j + 461. Is u composite?
True
Let k(l) be the third derivative of -l**6/120 - l**5/20 + l**4/4 - 2*l**3/3 + 2*l**2. Let i be k(-5). Suppose g - i = -6. Is g prime?
False
Let d be (-12)/((-8)/(-2)) + -9. Is (-710)/(-8) - 3/d a composite number?
False
Let f = -8 + -38. Let b be 3*(0 + 1)*-5. Let x = b - f. Is x prime?
True
Let q = -720 - -1711. Is q prime?
True
Suppose 5*t - 5*i = 180, -3*t + 106 = -0*i - i. Let n = t + -2. Is (42/(-9))/((-2)/n) composite?
True
Suppose 6*l - 15277 = 1217. Is l composite?
False
Let p = 13 - 13. Is 86 + p/4 + -1 a composite number?
True
Suppose -5*r + 138 = -3*r. Let b = 115 - r. Is b composite?
True
Suppose 4*c + 2*z = -0*c, 3*z + 16 = 2*c. Suppose 2 = 3*u - 5*u, c*x + 3*u = 5. Suppose 403 = 4*v + s + 2*s, -383 = -x*v + s. Is v a composite number?
False
Suppose 25 = 6*h - h, 4*h - 32 = 4*w. Let p(c) = -c**2 - 4*c + 2. Let g be p(w). Suppose g*d = 82 + 93. Is d a composite number?
True
Let q(s) = 67*s**3 - 4*s**2 - 4. Let a(r) = 66*r**3 - 3*r**2 - 3. Let h(v) = 4*a(v) - 3*q(v). Let d be h(-1). Is -2*(d/6)/3 prime?
True
Suppose 3*d = d + 1492. Is d prime?
False
Suppose -4*l + 3*b = -81, -6*l + l + 4*b + 102 = 0. Suppose -z - l = z. Let h = z + 16. Is h prime?
True
Let x = 2224 - 1245. Is x a composite number?
True
Let u = -1500 - -2321. Is u a prime number?
True
Let l(v) = -v**3 - 11*v**2 + v + 13. Let k be l(-11). Let m be (-14)/(-3) + 3/9. Suppose 5*z + 20 = k*r, z + 71 = m