n be (189/(-4))/(2/8). Is (w - n)*(1 - 0) a prime number?
True
Suppose -5*o - w = 2*w - 27, 0 = -4*o - w + 23. Let a be o/(-21) + (-32)/(-14). Suppose a*y - 23 = 267. Is y prime?
False
Let i be 2*(-1)/(-2) + -57. Let c be i/(-12)*(-1 - -13). Suppose -c + 1 = -y. Is y prime?
False
Suppose -5*n + 0*n - m + 40 = 0, -n - 11 = 4*m. Let o(p) = n*p + 4*p + 6*p. Is o(1) composite?
False
Let t be 1*(-2 - -3) - 0. Is 14/7*(t - -42) prime?
False
Let d = -470 - -759. Is d a composite number?
True
Let g(s) = -s**3 - 7*s**2 - 5*s - 9. Let o = -8 - -11. Suppose 5*d - o*d = -14. Is g(d) prime?
False
Is (0 + -412)*-1 - (-5 + 8) a composite number?
False
Let x be 210/3 - (1 + 0). Suppose 14 = -5*b + x. Is b prime?
True
Let b(m) = -5*m - 1. Let d(a) = -2*a**3 + 2*a. Let r be d(2). Is b(r) a prime number?
True
Let y(d) = -d - 4. Let g(n) = n + 9. Let w(o) = 2*g(o) + 5*y(o). Let u(l) = l**2 - 7*l - 11. Let h be u(8). Is w(h) prime?
True
Let q = -3 + -1. Let z(x) = -x**3 + 3. Is z(q) a composite number?
False
Let g(v) = 137*v + 2. Is g(3) a composite number?
True
Let a be 12/(-10)*(-11 - -1). Suppose -4*n = -2*v - a, n + 14 + 1 = -4*v. Is 35 - 0/(n/1) a prime number?
False
Suppose 4*k + 1664 = 4*x, -x + 410 = -0*k - 3*k. Is x prime?
True
Is 3730/12 - (-7)/42 composite?
False
Let t be ((-2)/1)/(4/(-10)). Suppose -4*d + t*m = -491, 0 = -2*d + 4*m + 12 + 238. Is d a composite number?
True
Let q = 667 + 814. Is q prime?
True
Let f(u) = 2*u**2 + 14*u - 23. Is f(-20) a prime number?
False
Let n(a) = a**3 + a**2 - 10*a + 2. Let l(s) = s**2 - s + 1. Let r(j) = 5*l(j) - n(j). Let z be r(5). Let i(g) = 2*g**3 - g. Is i(z) a composite number?
True
Suppose 0 = -0*v + 5*v. Suppose v = 2*b + 3*a - a, 0 = -5*a - 20. Suppose -b*d + 26 + 2 = 0. Is d a prime number?
True
Suppose 2888 = 2*r - 2254. Is r a prime number?
False
Let p(f) = -15*f**3 + f**2 + f. Let m = 2 + -3. Is p(m) composite?
True
Let i(q) = -2*q**3 + 10*q**2 + 5*q + 2. Let a be i(8). Let t = 757 + a. Is t composite?
True
Suppose n - 5*n - 16 = 0. Is ((-14)/n)/(5/110) a prime number?
False
Let u = 0 - 4. Let b(j) = 2*j + 4. Let a be b(u). Is ((-318)/9)/(a/30) a composite number?
True
Let u(x) = 56*x**2 + x. Let o = -8 - -7. Is u(o) composite?
True
Suppose -3*x + 24 = x. Let s(j) = -j + 6. Let c be s(6). Suppose c = h + h - x. Is h a prime number?
True
Is (6 - 9919/(-28))/(2/8) a composite number?
True
Suppose 2*l = -x + 1, -2*l - 4*x - 4 = -2*x. Suppose l*c - 106 = 2*c. Is c a prime number?
False
Let u = 121 + -18. Is u composite?
False
Let r be 8*((2 - 2) + 8). Let q = r + -45. Is q a prime number?
True
Let f(u) = -u**2 - 8*u - 4. Let v be f(-7). Suppose v*s - 9 = -0*s, a - 40 = -s. Is a prime?
True
Is 537/2*-2*(-5)/15 a prime number?
True
Let j(s) = 8*s. Let w be j(8). Suppose k = -4*u + 2 + 8, w = 3*k - 5*u. Is (-1)/((-3)/k*2) a composite number?
False
Let v(x) = 14*x**2 - 6*x - 43. Is v(-5) composite?
False
Let g(i) = i**2 - 6*i - 6. Let s be g(7). Suppose -s = 2*z - 11. Let w(t) = t**2 + 7*t - 7. Is w(z) prime?
True
Let t(g) = -g**3 - 7*g**2 + 3*g - 7. Let i = 16 + -24. Is t(i) a prime number?
False
Suppose 9*a = 8*a - 145. Let c be (5 - 1)*25/(-2). Let h = c - a. Is h a prime number?
False
Suppose -3*n = -4*s - 213, -n - 5*s = -25 - 27. Is n composite?
False
Suppose 3*u - 5*y + 20 = -3*y, -u = 5*y - 16. Let s(w) = 4*w**2 - 6*w - 3. Let d be s(u). Suppose 3*l - 101 = -4*g, -4*l = -7*l + 4*g + d. Is l prime?
True
Suppose -45 = 2*y + y. Let q = y - -412. Is q prime?
True
Let y = -3 - -6. Let p = 2 - y. Is (0 - p)*(3 - -4) a composite number?
False
Let g(j) = -j**3 - 13*j**2 - 19*j + 6. Is g(-13) a prime number?
False
Let c be 10/45 + (-43)/(-9). Suppose -3*d = -5*h + 243 + 309, 227 = 2*h + c*d. Suppose -4*x + x = -h. Is x a composite number?
False
Let g(x) = -16*x - 3. Suppose 0 = 4*m - 5*v - 20, 3*m - 4*v - 42 = -7*v. Suppose -5*r - m = -3*r. Is g(r) composite?
True
Is ((-5718)/15)/(1 - (-21)/(-15)) a composite number?
False
Suppose -2*w - 3*w + 15 = 0. Let s(l) = 27*l - 2. Is s(w) a prime number?
True
Suppose -3*d + 429 = -2*s - s, 3*s = -2*d - 434. Is (-2 + 1)/1 - s prime?
False
Suppose -2476 = -2*m + 2742. Is m a prime number?
True
Let p be (-1585)/(-7) - (-3)/(-7). Suppose -2*h + 0*h = -p. Is h a composite number?
False
Is (5 + -4)*2174/2 prime?
True
Is 6/24 + 2022/8 prime?
False
Let w(q) = -q - 1 + 4*q - q + 162*q**2 - 4*q. Is w(-1) prime?
True
Let u(s) = 110*s**3 + s - 5. Is u(2) composite?
False
Suppose -241*n + 247*n - 3342 = 0. Is n prime?
True
Let i(v) = -v**3 + 4*v**2. Let a(n) = -n**3 + 3*n**2 - 1. Let f(m) = 3*a(m) - 2*i(m). Let c be f(0). Is (-4)/(4/c) + 44 a composite number?
False
Let g(j) = -j**2 - 13*j - 3. Is g(-6) a prime number?
False
Is (-2 + 1006)*(-7)/(-12)*3 a prime number?
False
Let r(u) = u**2 + 2*u - 4. Suppose 0 = 5*v - 24 - 86. Suppose -5*d - v = 13. Is r(d) a prime number?
True
Let p = 69 - 33. Suppose -h + p = -6. Suppose -h = -4*t + 2*t. Is t composite?
True
Let t = 64 - -865. Is t prime?
True
Let b(u) = 2*u**3 + u**2 - 2*u - 2. Let n(p) = p**2 + 15*p + 5. Let c be n(-15). Is b(c) prime?
True
Suppose v + p + 2 = 16, 4*p = 16. Suppose 8*l + 746 = v*l. Is l prime?
True
Let q(g) = -g**3 + g + 581. Is q(0) prime?
False
Suppose 23 = 5*x + 5*g - g, -2*x - 4*g + 14 = 0. Is (160 + -2 + x)*1 a prime number?
False
Let h(k) be the second derivative of 5*k**4/3 + k**3 + 9*k**2/2 + 8*k. Is h(-5) a composite number?
False
Suppose -5*i + 2*w = -17 + 172, 0 = 4*i - 5*w + 124. Let a = 44 + i. Is a prime?
True
Suppose -1950 = -5*z - 635. Is z composite?
False
Let l(j) = 27*j**2 - 3*j - 1. Let h(t) = -t**3 + 8*t**2 - 7*t - 2. Let q be h(7). Is l(q) prime?
True
Suppose -3*y - 5*q + 0*q + 2942 = 0, -5*y + 4955 = -2*q. Is y composite?
True
Let v = 0 + 4. Suppose 4*d - 2 = 2*a - v, -3*a = 5*d - 25. Suppose 2*n + 3*p - 80 = 0, 3*n + d*n + 5*p = 195. Is n a composite number?
False
Let d = 4 - 6. Let i = d + 2. Is (14 + i)/(2 - 1) prime?
False
Suppose 0 = 2*r - 0*r - 2. Is (-5)/r - -2 - -40 prime?
True
Let v = 12 - 7. Suppose 10 + 15 = v*u. Suppose 0*a - 563 = -3*a + u*l, a - 201 = -5*l. Is a composite?
False
Let t(d) = 7*d**2 - 6*d + 4. Let p = -3 - -8. Is t(p) a composite number?
False
Suppose 8*c - 3*c = 15. Is (-18)/(-4)*22/c a prime number?
False
Suppose 3*g = -0*g + 2217. Is g prime?
True
Let p(a) = 10*a**3 - 4*a**2 - a + 4. Is p(3) composite?
True
Let l be (33/9)/(2/(-6)). Let k(i) = -i**2 - 13*i + 13. Is k(l) a prime number?
False
Let k(q) = 2*q - 2. Let f be k(2). Suppose -5*l - f*t = -524, -5*l + 0*l = -t - 533. Is l composite?
True
Is 3 + 20820/50 - 2/5 a prime number?
True
Suppose 12 + 10 = -k + 4*u, 5*k + 3*u - 5 = 0. Let n = k - -4. Suppose -5*v + 289 = -4*v + y, 4*v - 1180 = n*y. Is v composite?
False
Let r be 26/6 - 7/21. Suppose v - 910 = -r*v. Suppose 0 = -5*l + z + 297, -5*z + v = 3*l + 15. Is l a composite number?
False
Let y(j) = j - 7. Let z be y(10). Suppose 0 = -5*m + 5*p + 800, -4*m = -z*m - 5*p - 156. Is m prime?
False
Suppose 4*a + 208 = -3*f, -f + 59 = -a - 0*f. Let b = -18 - a. Is b prime?
True
Suppose 8 = 9*f - 5*f. Suppose -4*r = f*c - 1366, -4355 = -5*c - 3*r - 954. Is c a composite number?
True
Let v(x) = x**2 + 9*x**2 + 1 + 3*x**2. Suppose 4 = -0*a - 2*a. Is v(a) prime?
True
Let p be (-2)/5 + (-194)/(-10). Let o = 32 - p. Let u = 6 + o. Is u a prime number?
True
Suppose -a - x + 9 = 0, 2*a = -4*x - 3 + 25. Suppose 0 = a*l - 2*l - 230. Is l a prime number?
False
Suppose 0 - 2 = -x. Suppose 0 = 5*i + 5, -4*f - f + 5*i = -330. Let a = x + f. Is a a prime number?
True
Let n(j) = 115*j**2 - 15*j + 33. Is n(8) a prime number?
False
Let n(g) = 9*g - 7. Let h(j) = j**3 + 4*j**2 + 2*j + 3. Let b be h(-3). Is n(b) a prime number?
True
Let o be 1 - 37 - (1 + -3). Let d = o - -79. Suppose d = 2*k + k. Is k a prime number?
False
Let j(i) = -1530*i**3 + i**2 + i + 1. Is j(-1) composite?
False
Suppose -15*u - 4669 = -22*u. Is u a composite number?
True
Let w(t) = -t**3 + 5*t + 7. Let j be w(-6). Suppose 573 = 4*l + j. Is l a prime number?
False
Let x = 270 + -125. Is x prime?
False
Suppose 4*a + a + 125 = 0. Let v = a - -36. Is v prime?
True
Let a = -12 - -10. Is 142/2 - (0 - a) a composite number?
True
Suppose -5*w - 5*k + 11700 = 0, 3*w - w = k + 4677. Is w composite?
False
Suppose 