6 - z. Is -2 + l - (-2 - 1) composite?
True
Let s(j) = j**3 + 10*j**2 - 16*j - 6. Let f = -33 + 22. Is s(f) prime?
False
Let w = -1 - 6. Suppose x = 4*f + 44, -44 = 3*f - 4*x + 6*x. Is f/84 - 134/w a prime number?
True
Let x be (15/5)/((-3)/(-4)). Suppose 0 = x*r + 2*c + 3*c - 7765, -c = 2*r - 3887. Is r a prime number?
False
Let s = 28 + -5. Let a = -20 + s. Suppose -4*q + 3*z + 34 = 0, -2*z - 36 = -q - a*q. Is q prime?
False
Let r(b) = b**3 + 2*b - 5. Let v(p) = -3*p**3 - 3*p + 9. Let s(z) = 5*r(z) + 2*v(z). Let n be -2 - ((-12)/(-4) - -1). Is s(n) a prime number?
False
Let c(v) = -171*v**2 - 46*v - 9. Let d(y) = -86*y**2 - 23*y - 4. Let p(f) = -3*c(f) + 5*d(f). Is p(-6) composite?
False
Let j(g) = -2*g**2 + g - 2. Let b be j(-2). Let o be -5*b*3/(-30). Is o/9*-3 + 117 prime?
False
Let f(p) = -2*p + 3. Let n be f(2). Let i be n/((4 + -2)/32). Is 59 - (i/(-2) - 4) a prime number?
False
Suppose 11*g - 3*g - 784 = 0. Let l = g + -39. Is l a prime number?
True
Let v(p) = 202*p - 18. Suppose 0*s - 31 = -2*k + s, 0 = -2*s - 10. Let f be v(k). Suppose 4*t = 4*h + 2628, 2*h - h - f = -4*t. Is t a prime number?
True
Let t(g) be the first derivative of -47*g**2 - 3 - 5*g**2 + g + g**2. Is t(-3) prime?
True
Let y(d) = 2*d**3 - 2*d**2 - 1. Let q be y(2). Suppose 5*j - 5 - 7 = -3*c, -4*c = -j + q. Suppose t = -j*t + 452. Is t a composite number?
False
Let l(d) = d**3 + 8*d**2 + 3*d + 17. Let f be l(-8). Is -2*(f/(-21))/(1/(-537)) a prime number?
False
Let j(v) = -v**2 - 4*v + 3. Let w be j(-4). Suppose -w*f - 3*i + 903 = 0, 2*i - 4*i - 923 = -3*f. Suppose 5*x + 3*h = 301, 2*x + 3*x - f = -5*h. Is x prime?
True
Let j(c) = c + 6. Let z be j(-4). Suppose -i + 0*i + z*g - 301 = 0, 5*i + 1453 = -3*g. Let o = 778 + i. Is o a composite number?
True
Let z be 428*((-25)/10)/(-5). Is z/(5/(75/10)) composite?
True
Let g(q) = -q + 18. Let p be g(0). Is (1 + -34)*(-84)/p - -4 a composite number?
True
Let m(t) = -t**3 + 19*t**2 + 13*t + 49. Is m(12) a prime number?
True
Suppose 7*k - 39590 = -3*k. Is k a composite number?
True
Suppose p - 2 = 1. Suppose p*o - 25 = -2*o. Suppose 0 = -o*u + 96 + 259. Is u a prime number?
True
Suppose t = -0*t - 4*i + 58, -2*i = 3*t - 134. Suppose m - 3*m = -t. Is m a composite number?
True
Suppose 5*l + 45 - 125 = 0. Let f = l - 14. Suppose -5*d + 392 = f*y - 3*y, -4*y + 12 = 0. Is d composite?
False
Let y(n) = n - 1. Let r be y(3). Let h(g) = 31 + 2*g**3 + 2*g**2 + g - 17 - 14. Is h(r) composite?
True
Let z be 1/4 - ((-915)/4 - -4). Suppose -1823 = -2*n - z. Is n a composite number?
True
Suppose 5*l = 52 + 23. Let x be l/10 + 5844/(-8). Is 5/(4 + x/183) a composite number?
True
Let h(j) = 1817*j - 91. Is h(4) prime?
True
Let l(s) = 2*s**3 + 131*s**2 + 42*s + 99. Is l(-62) prime?
False
Let z(m) = -m - 11. Let i be z(-8). Let g be (0 - i)*(-1 - -2). Suppose g*y - y = 182. Is y prime?
False
Let f = 157 + -152. Suppose -5815 = -f*v + 4950. Is v composite?
False
Let n(k) = 2*k**2 + 20*k - 20. Let c be n(-11). Let i(m) be the second derivative of 11*m**3/6 + 3*m**2/2 - m. Is i(c) composite?
True
Suppose -3*o - 25955 = -8*o. Is o prime?
False
Is 12333/5 + 2/5 composite?
False
Suppose 0 = -7*a + 13*a - 5802. Let f = a - 558. Is f prime?
True
Let y = 111 + -111. Suppose -2*h - 11*h + 13507 = y. Is h composite?
False
Let o = 14 - 10. Suppose o*i - 819 = 505. Is i a composite number?
False
Let g(r) = 320*r**3 - 5*r**2 + 10*r + 8. Is g(3) a composite number?
True
Suppose -10*n - 16*n = -261482. Is n prime?
False
Suppose 8*q + 36 = -12. Let s(y) = -6*y**2 - 9*y - 4. Let x be s(q). Is (0 - x) + -3 - -4 a prime number?
True
Let w(y) = -y**2 + 13*y - 1. Let o be w(10). Let v(b) = -o*b + 31*b + 181*b**3 - 16*b**3 - 1. Is v(1) a prime number?
False
Suppose -3*f + 3*t = -2*f - 73, 0 = f + t - 85. Let o = f + -42. Let c = 71 - o. Is c a composite number?
False
Let k = 240 - -809. Is k composite?
False
Let j = 17269 - 9486. Suppose -3*w = -5*p + j, -w - 6232 = -4*p - 0*p. Is p a composite number?
False
Let b be 10/(-50) - (-32)/10. Suppose 0 = 4*o - b*g - 356, 4*o - g = o + 267. Is o a composite number?
False
Let c be (-12)/(1 + 6/(-3)). Let j = -12 + c. Suppose -17 = 2*f - 5*k, -4*k = -5*f - j*k. Is f a prime number?
False
Let s = -11 + 13. Suppose h - 3*f = 96, 0 = -s*f - 3 + 1. Suppose -2*w + h = w. Is w prime?
True
Let k(h) = 5*h**2 + 4*h - 130. Is k(15) prime?
False
Let s = 891 + 932. Is s composite?
False
Let w = 6 + 9. Let v be (-4)/(-2)*(-3)/(-6). Suppose v + w = 4*r. Is r a composite number?
True
Suppose -2*o - 4*k = -12894, -o + 6164 = -k - 280. Suppose d - 7*n = -5*n + 1301, 5*d + 5*n = o. Is d prime?
False
Let u(q) = 13*q**3 + 3*q**2 + 1. Let s(d) = -d**3 - d**2 - d. Let r be 1/2 - (-49)/14. Let x(m) = r*s(m) + u(m). Is x(3) a composite number?
False
Suppose 1 = -n - 5*q, 0*n = -4*n - 2*q + 14. Suppose -n*p = -5*p + 113. Is p a prime number?
True
Suppose 2*b + x = 9519, -b - 3*x + 4523 = -239. Is b prime?
True
Let f(k) = -13*k - 2. Let p be f(1). Let l = p - -10. Is ((-6)/l)/((-8)/(-740)) a prime number?
False
Let l(o) = o - 6. Let s be l(8). Suppose 3*b = f + s*f - 819, b - 5 = 0. Is f a composite number?
True
Suppose w = -4*w. Suppose 0 = -w*n + n - 31. Is n a prime number?
True
Suppose -k = -w - 5 + 8, -3*k = 5*w + 9. Let x(t) = -8*t**3 - 4*t**2 + t + 1. Is x(k) composite?
True
Suppose 3*h + h - 472 = 0. Suppose 3*c - 2*i = -495, 356 = -3*c - 5*i - h. Let j = 246 + c. Is j prime?
True
Suppose 556305 = 332*r - 317*r. Is r a composite number?
False
Let g = -73 + 77. Suppose b = -b - i + 3875, 0 = b + g*i - 1927. Is b a composite number?
True
Let g = -6 + 8. Let a = g + 18. Let q = a + 3. Is q composite?
False
Let a = -4724 - -9357. Is a a prime number?
False
Suppose 17*h = 11*h + 12978. Suppose -7*g + 1120 = -h. Is g prime?
False
Is ((-9)/((-162)/24))/(4/114) composite?
True
Let y(z) = 384*z - 273. Let k(b) = 24*b - 17. Let q(u) = 33*k(u) - 2*y(u). Let l(r) = 72*r - 44. Let n(p) = -4*l(p) + 11*q(p). Is n(-10) prime?
True
Let j be 238 + (-1 - 2/1). Suppose -225 = -4*c + j. Is c a composite number?
True
Let q(c) = -3*c + 7. Let x be q(-5). Suppose m + x = 8. Is (-1004)/(-6)*(-21)/m a prime number?
True
Suppose r = -4*r + 2*x - 7, -r - 23 = 5*x. Let z(c) = -14*c**3 + 3*c**2 + c + 1. Is z(r) a composite number?
True
Suppose y + 4*b = 1528 + 4391, -5*y = -4*b - 29619. Is y a prime number?
True
Suppose 61012 = 2*r - 9*r. Is r/(-14) - (-12)/28 a composite number?
True
Let c = -256 - -1263. Is c a composite number?
True
Let z be 536/18 - (-6)/27. Let g be -3*(z/(-9) + 2). Suppose g*o - 35 = 185. Is o composite?
True
Let d = 12519 - 1362. Is d a composite number?
True
Let i = -10 - -12. Suppose 6*h - i*h = 0. Suppose -g + 5*t + 273 = h, 5*g + 2*t - 4*t = 1457. Is g a prime number?
True
Let v = -4604 + 7017. Is v composite?
True
Let j be 8 + 2 - (0 - -4). Let o(h) = h**2 - 9*h + 13. Let r be o(j). Is 66/(-4)*(r + 3) prime?
False
Let h be 2/2 + -2 - 296. Let p = 469 - -45. Let z = p + h. Is z prime?
False
Suppose 191 = 2*y - 949. Suppose -y = -5*f - f. Let l = f + -44. Is l a prime number?
False
Suppose 273*x - 268*x = 78035. Is x prime?
True
Let z(a) = -2*a - 2. Let r be z(-3). Suppose 3*y = r*y + 19. Is 2/(-2) - (7 + y) composite?
False
Let l(b) = -2*b**2 + 5*b**2 + 0*b**2 - 9 - 2*b**2 - 6*b. Let v be l(7). Is ((-5)/v)/((-2)/(-1108)) prime?
False
Is (40421 + 10/5)/1 a prime number?
True
Let q be (0 - 1 - 2)/(-1). Suppose q*w - 23 = 2*w. Is w a composite number?
False
Suppose 3*i + 2*b - 19 = 0, -3*i - b + 9 + 11 = 0. Let v(n) = 2*n**3 - 9*n**2 - 4*n. Is v(i) a prime number?
False
Let x = -12 - -14. Let s be -3 + x + -1 + 4. Suppose -s*d + 3*p = -d - 54, d = -3*p + 48. Is d a prime number?
False
Let d be ((-1 - -2) + 1)*(-6)/(-4). Suppose 184 = 2*x - 4*w - 54, -d*w + 621 = 5*x. Is x a prime number?
False
Suppose -b = -5*b + 312. Is b/(3 + (-1 - 0)) composite?
True
Suppose -46 = -t + 2*t. Let y = 172 - t. Suppose 5*j + 442 = 4*v, 3*j - 14 = -2*v + y. Is v a prime number?
True
Let d = 6595 + 16087. Suppose -7*z = -d - 20319. Is z composite?
False
Let t(g) = -g**3 + 37*g**2 - 19*g - 71. Is t(35) a composite number?
True
Let t(v) = v**3 + 2*v + 339. Is t(0) a prime number?
False
Suppose -o + 3*w + 1036 = 0, -3*o = -o - 2*w - 2060. Let y = o + -573. Is 