4*s, z = 3*s + 2*f. Is s a prime number?
False
Suppose 0 = 2*n - 4 - 6. Let s = 27 - n. Suppose 0 = 5*z - s - 8. Is z a composite number?
True
Let x(k) = -k**3 + 14*k**2 + k + 7. Is x(12) composite?
False
Let l = 768 + -379. Is l a prime number?
True
Let u(g) = -g**3 - 6*g**2 - 10*g - 3. Suppose -1 = -t - 9. Is u(t) a composite number?
True
Suppose -2*f + 15 = 5*b, b + 3*f - 3 = -0*b. Suppose -b*j - 2*j + 46 = -u, -4*u - 130 = -2*j. Let g = u - -84. Is g a composite number?
False
Let r be 3/((-3)/(-2)) - -29. Let k(u) = 30*u + r*u + 3*u - 7*u - 1. Is k(2) a prime number?
True
Suppose -n + 6 = n. Suppose -4*g = -n*g - 2. Suppose -y + 3*y = -g*l + 78, -y = -3*l - 55. Is y composite?
False
Let j(k) = -30*k**3 + 2*k**2 + 3*k - 2. Let m be j(2). Let i = m + 325. Is i composite?
False
Let r be 5/(20/1624) + 2. Is (-10)/35 + r/7 composite?
True
Is -1 + (132 - (3 + -3)) composite?
False
Is (12/(-27))/2 + (-4313)/(-9) a prime number?
True
Let j(b) = -2*b + 2*b**3 + b**2 + 8*b**3 + 1 - 2. Suppose -10 = -2*l, -9 = 5*k - 4*l + 1. Is j(k) a prime number?
True
Suppose -7*c = -20273 + 1870. Is c a composite number?
True
Let o(w) = w**2 + 2*w - 4 + 0 + 1. Let k = 6 - 2. Is o(k) a composite number?
True
Let g(c) = 7*c**2 + 7*c + 1. Is g(-6) a prime number?
True
Suppose 1294 = 5*l - 3*z, 4*l - 3*z - 534 = 503. Is l prime?
True
Is 5/(-25) + (-566)/(-5) prime?
True
Is 590/(-4)*(-18)/15 a composite number?
True
Suppose 0 = -2*v - 330 + 12. Let a = v + 314. Is a a composite number?
True
Suppose -2*a + 56 = 2*t, -3*a + t + 16 = -88. Is a a prime number?
False
Suppose -2*h - 2060 = -7*h. Let a = h - 704. Let p = a + 411. Is p a prime number?
False
Let v = 14 + -10. Suppose y = 5*a - 152 - 80, -3*y = 4*a - 178. Suppose -5*x - 33 = -2*t, -2*t - 4*x + a = v. Is t prime?
True
Let g = -3 - -5. Let d(w) = 2*w**2 - 3*w + 3. Let x be d(g). Suppose 0 = -3*p - m + 44, 0 = -4*p + x*m - m + 64. Is p a composite number?
True
Suppose -n - 20 = -4*o, -n - 2*o - o = -1. Is n/(-12)*33/2 composite?
False
Let n(l) = -l**2 - 9*l - 9. Let t be n(-7). Suppose 266 = t*m - 789. Is m composite?
False
Let t = 17 + -14. Suppose 361 = 5*p - 3*i, 0 = -4*p + 8*i - t*i + 281. Is p composite?
True
Suppose 4113 = 4*o - 2659. Is o prime?
True
Suppose 20 = -7*j + 9*j. Is 1692/45 - 6/j composite?
False
Suppose -4*d = 3 + 1. Let u = d - -95. Is u a composite number?
True
Suppose -c + 10 = -2. Let u be (39/c - 2)*-12. Let g = u + 36. Is g prime?
False
Let n = 6 - 6. Suppose -6*d - 2*w = -3*d - 113, n = d - 5*w - 32. Is d prime?
True
Suppose -5*u + 20 = 55. Let j = u - -218. Is j composite?
False
Let m(s) = -4*s**3 + s**2 + s + 1. Let u be m(-1). Suppose u*h + 2 = -3. Is (-419)/(-2)*(h + 3) composite?
False
Suppose -4*b + 49 - 21 = 0. Is 2/(b/(602/4)) a prime number?
True
Let k(y) = -14*y + 5. Let w = -6 - -16. Let j be k(w). Let r = 194 + j. Is r composite?
False
Let r(y) = y**2 + 2*y - 3. Suppose 9 = 5*l - 1. Let b be r(l). Suppose b*k + 0*k = -3*c + 259, -5*c = 5*k - 255. Is k a composite number?
False
Let d(y) = -y**3 - 8*y**2 - 6. Let m be d(-8). Is (9/(-3) - m) + 88 composite?
True
Suppose 4*c + 3*k = 2*k + 295, 0 = 4*c + 3*k - 293. Let t be ((-56)/(-4))/((-6)/9). Let l = c + t. Is l composite?
False
Suppose 0 = -6*c + 4*c. Suppose l - 4*l = -5*x - 32, c = -4*l - 4*x + 64. Is l a prime number?
False
Suppose 16*v = 14*v + 3286. Is v a composite number?
True
Let f be (-2 - -1)/((-1)/5). Suppose -2*s = -0*s + c - f, 5*s - 12 = -2*c. Suppose -4*a + 2*r = -106, -s*a - 3*a + 137 = -4*r. Is a prime?
False
Let b(s) = -s**2 + 6*s + 2. Let m be b(6). Suppose 0*u - 140 = -m*u. Let p = -35 + u. Is p a composite number?
True
Suppose 3*u = 12, 2*o - 12 = -0*u - 2*u. Is 203 - (-1 - (-2)/o) a composite number?
True
Let i = -814 - -1445. Is i prime?
True
Let g be (-3)/2*14/(-3). Let i(r) = 3*r**2 - 17*r + 1. Let n(q) = 6*q**2 - 33*q + 3. Let z(l) = -11*i(l) + 6*n(l). Is z(g) prime?
False
Let r = -4 + 4. Let t = r + 1. Suppose 3*z = 70 - t. Is z composite?
False
Let j(d) = -106*d**3 + d**2 + 6*d + 8. Is j(-3) composite?
False
Let v(l) = -l**2 - 5*l - 2. Suppose 3*o + 3*d = o - 12, -7 = -o + 5*d. Let y be v(o). Suppose -s + 4*t + 21 = 0, -t - y*t - 84 = -3*s. Is s a prime number?
False
Let r be (-1)/1*(-153 + 2). Let o = 402 - r. Let m = o - 168. Is m a prime number?
True
Let z(s) = s**3 + 6*s**2 + 5*s - 1. Suppose 2*l = -d + 5*l + 4, 0 = 2*d - 4*l - 2. Let u be z(d). Is 3 + u - 22/(-2) a composite number?
False
Let k be (-2)/(-4) - (-155)/(-10). Is (k - -1)*25/(-10) a prime number?
False
Let h(z) = 180*z + 1. Let f(s) = s**3 - 5*s**2 + 5*s - 1. Let u be f(4). Is h(u) a prime number?
True
Suppose 0 = -2*i + 2. Let u = 1 - i. Is u - (0 + -75 + -2) a composite number?
True
Let l be (-1)/(1/(-3))*-10. Let h = 14 - l. Suppose 0*t = 2*t - h. Is t a prime number?
False
Let z = 5 + -2. Suppose 5*f - 16 = z*f. Suppose -3*c = -f*c - 15, -5*p = 2*c - 949. Is p a composite number?
False
Let z(u) = -2*u + 2*u - 2*u + 55 + u. Is z(0) composite?
True
Suppose 3*r - 514 = -31. Is r a composite number?
True
Let y(v) = 3*v**2 + 7*v - 7. Let h be -3*(-1)/3*-14. Let t = h - -8. Is y(t) a prime number?
True
Is (-166)/3*(-3 + 0) a composite number?
True
Let j(z) = -8*z - 1. Let c(o) = -3*o. Let x be c(2). Let m = x - -4. Is j(m) prime?
False
Let y(f) = -f**3 - 6*f**2 + 8*f - 26. Is y(-9) a prime number?
False
Suppose 0 = -3*z + k + 599, -6*z = -2*z - 5*k - 784. Let i = 350 - z. Is i prime?
True
Let k(h) be the first derivative of h**4/4 - 2*h**3/3 + 7*h**2/2 - 5*h - 7. Let g = -4 - -8. Is k(g) prime?
False
Let m = -4 - -6. Suppose 6 = b + m*b. Suppose -b*t + 11 = -t. Is t a composite number?
False
Let i = 0 - -22. Suppose r - 339 = -i. Is r prime?
True
Let x be ((-24)/(-9))/((-6)/(-9)). Suppose -a = 4*h - 5*a - 252, -3*h = 2*a - 204. Is (h/4)/3*x composite?
True
Let d be 0 - (-3 + 1 - 1). Suppose 2*i = 5*i - d*h - 54, 3*i + 5*h = 62. Is i composite?
False
Suppose l - 404 = 153. Is l composite?
False
Suppose 0 = 4*c - 4*g + 4, 3*g - 1 = 4*c + 1. Suppose 4*j - 12 = 0, 17 = -4*a + 4*j + c. Is (0 + a)*-3*5 composite?
True
Let v = 18 - 9. Let h(x) = -x**3 + 10*x**2 - 3*x + 5. Is h(v) composite?
False
Let g = -3 + 5. Is 2/(g/(-79))*-1 prime?
True
Let i = -56 - -102. Is i a composite number?
True
Let i(m) = 8*m - 2. Let p = 4 + -1. Is i(p) composite?
True
Let q(t) = 8*t**2 + 4*t - 5. Is q(-18) prime?
False
Let z(j) = 83*j**3 + 5*j**2 + 8*j - 7. Let y(b) = -250*b**3 - 14*b**2 - 23*b + 20. Let s(q) = -6*y(q) - 17*z(q). Is s(1) composite?
False
Suppose y = -3*d + 7423, -3*d + 4*y = -5*d + 4962. Is d composite?
False
Let g be 30/(-9)*444/(-10). Let k be (-2)/7 + g/28. Suppose k*q = 3*j + 184, -3*q + 32 = -2*q + j. Is q prime?
False
Suppose -3*r + 1 = -4*u + 2*r, 15 = 5*u - 3*r. Let w(k) = 2*k**3 + k**2 + 3*k - 1. Let d be w(2). Let p = d - u. Is p composite?
False
Let u(p) = -2*p**2 + 4*p - 3. Let n be u(12). Let x = n - -421. Is x composite?
True
Suppose 0*w - 3*w + 447 = 0. Suppose -4*f + 275 = -w. Suppose i - f = -i. Is i a composite number?
False
Suppose 2*y + 2*s = 58, -2*s - 3*s + 46 = 2*y. Is y composite?
True
Let k(v) = 3*v**3 + 6*v**2 + 2*v. Let p be k(-4). Is p/4*(-23)/2 prime?
False
Let a = 19 - 65. Let i = -23 - a. Is i composite?
False
Suppose -4*v + l + 0*l = -3185, -l = -v + 794. Is v a prime number?
True
Let r(t) be the second derivative of t**5/20 + t**4/2 - t**3 - t**2/2 - t. Is r(-6) a composite number?
True
Suppose 291 = 3*s - w, 0 = -7*s + 2*s - 5*w + 485. Is s composite?
False
Let a(l) = -13*l + 5. Let k(v) be the first derivative of v**3/3 - 2*v**2 - v - 3. Let x be k(3). Is a(x) composite?
True
Let k(j) be the first derivative of -j**6/120 - j**4/24 + 37*j**3/6 + j**2 - 1. Let v(m) be the second derivative of k(m). Is v(0) a composite number?
False
Let o(r) be the first derivative of r**4/4 + 7*r**3/3 - 13*r**2/2 - 9*r - 1. Is o(-8) a composite number?
False
Let m(r) = 22*r + 0 - 7 + 6*r. Let p be m(5). Suppose -l - 46 = -h + 2*l, 0 = -4*h - 5*l + p. Is h prime?
True
Let p be (3/6 - 1)*-8. Suppose -3*i - 2*i = 5*g - 80, -p*i = -3*g - 36. Is (4/i)/((-1)/(-114)) a prime number?
False
Let b be (0 - -1 - -2)/(-1). Let x be (-34)/b + 6/(-18). Let c = -2 + x. Is c prime?
False
Is (-3)/6 - (-285)/2 composite?
True
Let m = 8 - 1.