 + w**3 + 8*w**2. Suppose 0 = -2*s - 0*t - 4*t - 22, -4*s - 5*t - 41 = 0. Is v(s) prime?
False
Let a(g) = 3*g**2 - 8*g + 22. Is a(17) a composite number?
True
Let l(i) = 3*i**3 - 7*i**2 - 6*i - 1. Is l(5) prime?
False
Let c(t) = -9*t + 3. Let j(b) = -5*b + 1 + 0*b + b. Let f(z) = 6*c(z) - 13*j(z). Is f(-4) a composite number?
False
Let j(f) = 24*f**3 - 2*f**2 - f + 1. Let v be j(-1). Let b = v + 77. Is b a composite number?
False
Let m be (-14)/3 + (-3)/9. Let i be (-4)/(40/6)*m. Suppose -b = 3*z - 25, -i*z - 2 = 10. Is b composite?
False
Let z = 911 + 56. Is z prime?
True
Let s(h) = -65*h - 9. Let z(u) = 33*u + 4. Let r(x) = -3*s(x) - 7*z(x). Let g be (-1 - -1) + 2 + -3. Is r(g) prime?
False
Let j(y) = 209*y**2 + 4*y - 1. Is j(4) prime?
True
Is (9/(-12))/(4/(-48)) prime?
False
Suppose 5*t - 16 = 4*t + 3*c, t + 2*c = -4. Suppose -5*d = 20, t*d + 75 = -m - 0*d. Let k = 136 + m. Is k a prime number?
False
Let f(r) = r + 12. Let n be f(-10). Suppose n*o - 1435 = -3*o. Is o a prime number?
False
Suppose 6 = -u + 3*u + 2*n, -3 = -u + n. Suppose 12 = -u*a, 6*f - 2*f - a = 20. Is (77/(-4))/(f/(-16)) a composite number?
True
Let b(j) = j + 4. Let i be b(-2). Let o be (-1 - 1) + 183 + -2. Suppose i*y - 142 = -3*h - h, -4*y + o = 5*h. Is h composite?
True
Suppose -2*x + 2759 = 3*d, -1833 = -0*d - 2*d + 5*x. Is d a prime number?
True
Suppose -3*t = -1273 + 16. Is t prime?
True
Let j(x) = x**3 - 4*x**2 - 47*x - 25. Is j(20) composite?
True
Let h(o) = 2*o**3 + 4*o**2 - 3*o + 12. Let k(q) = -q**3 - 3*q**2 + 2*q - 11. Let t(u) = -2*h(u) - 3*k(u). Is t(0) a composite number?
True
Suppose 3*o - 4*l - 2090 = 0, 2*o + 4*l - 1713 + 353 = 0. Let v = o + -473. Is v a composite number?
True
Let a = -748 + 1195. Is a composite?
True
Suppose 1 = 3*j + 25. Let f(r) = 2*r**2 + 9*r + 11. Is f(j) composite?
False
Let t(n) = 5*n**3 - 4 - 7*n**2 - 4*n**3 - n + 8 + 8*n. Suppose r - 28 = -3*r. Is t(r) composite?
False
Let k be (-3)/9*-5*3. Suppose 2*m = 11 - k. Is 9*4/m - -2 a prime number?
False
Let p be -3*24/27*3. Let c = p + 17. Suppose 2*d = 1 + c, -5*d = j - 72. Is j a composite number?
False
Let w = -711 - -1868. Is w composite?
True
Let m(h) = -h**3 + 9*h**2 - 14*h - 23. Is m(-10) a prime number?
True
Let d(i) = 2896*i - 3. Is d(1) composite?
True
Is (-37)/(1/(-5 + 4)) a prime number?
True
Let a be 13/4 + (-24)/(-32). Suppose a*k - 1029 = -5*n, -k + 5*k + 201 = n. Is n composite?
True
Suppose 2*d + 645 = 7*d. Is d a prime number?
False
Let i(w) = 7*w**2 + 2*w - 2. Let b be i(-4). Let a = 171 - b. Is a prime?
False
Let z(q) = 3*q - 2. Let y be z(2). Suppose 76 - 4 = -y*j. Let v = 37 + j. Is v a composite number?
False
Let r = -4155 - -5824. Is r a prime number?
True
Suppose 0 = 2*m + m + 12, -5*q - 2*m = -67. Let p = 25 - q. Is p prime?
False
Suppose -4*u - 2*p - 40 = 0, 28 = -2*u - 2*u - 5*p. Let h be (-11)/((-3)/u*-1). Let i = 35 + h. Is i composite?
False
Let o = -3 - -5. Suppose -6*g = -o*g - 76. Is g composite?
False
Let k(h) = 3*h**2 - 4*h + 3. Is k(2) composite?
False
Let j be -1 - 1/((-2)/60). Suppose 3*h = -10 - j. Let u = -6 - h. Is u a composite number?
False
Let g be (2 - 0) + 0 - -23. Is (g/4)/((-1)/(-4)) a prime number?
False
Suppose i = 5*o - 82, -i + 18 = 2*o - 12. Suppose 0 = -2*u - 4*h + 55 - 1, -39 = -u - 5*h. Suppose -3*j - u = -4*k - 0*k, -3*j = k - o. Is k a prime number?
True
Let h = -95 - -47. Let a = h - -110. Is a composite?
True
Suppose 4*h - h = 5*i - 329, -2*i + 3*h = -128. Is i prime?
True
Suppose 3*h + 6 + 21 = 0. Let b = 12 - h. Is b a prime number?
False
Let u be 1/2 + 161/14. Let x(p) = 3 - u*p - 6*p + 2*p. Is x(-4) a composite number?
False
Let x be (-2)/3 - (-1914)/9. Suppose 8*u - 4*u - x = 0. Is u prime?
True
Let j = -4 + -13. Let a = -12 - j. Suppose -100 = a*u - 435. Is u prime?
True
Let k be 56/12 - (-4)/(-6). Suppose 2*o + y = -2*y + 315, k*o + 2*y - 634 = 0. Is o composite?
True
Let n(v) be the first derivative of v**4/4 - 7*v**3/3 - 4*v**2 + 6*v - 2. Is n(8) a prime number?
False
Let w = -39 - -21. Let p be 1/(-3) + (-1410)/w. Suppose p + 189 = 3*i. Is i a composite number?
False
Let j(z) be the first derivative of -1/4*z**4 - 8*z + 8/3*z**3 - 5/2*z**2 - 2. Is j(7) prime?
False
Let q be (-28)/2 + (-6 - -7). Is (-7428)/(-52) - 2/q a composite number?
True
Suppose -2*g - 3*g = 40. Let m be (-2)/(-7) + g/28. Suppose m = -3*p + 18 + 45. Is p composite?
True
Let p(l) = -170*l**3 - l**2. Let j be p(-1). Suppose 4*i + 8 = -h + j, -439 = -3*h - i. Is h a prime number?
False
Let g = -862 + 1653. Is g a composite number?
True
Let q = -153 + 904. Is q a prime number?
True
Suppose 5*f = 5*m + 6025, 5*m = 2*f + m - 2410. Is f prime?
False
Is ((-3354)/8)/(-1) + (-11)/44 a prime number?
True
Is 4/(-6)*(4556/(-8) + 4) a composite number?
True
Let h(c) = 2*c**3 - c**2 + c. Let t be h(1). Suppose t*v + 4 = 4*v. Suppose -2*z - v*z = -228. Is z prime?
False
Suppose -2*k - 9 = -5*k + 2*h, -17 = -k - 4*h. Is 1322/5 + 3/k a prime number?
False
Is (-1)/2 - ((-1281)/2 - 7) composite?
False
Let u(v) = -169*v - 1. Suppose -4*n - 2 = 3*j, 6 = -2*j + j + 4*n. Is u(j) prime?
True
Suppose -5*f + 520 + 415 = 0. Is f a composite number?
True
Let c(o) = 7*o**2 + 3*o + 3. Let q be c(-2). Suppose 0 = -a - q + 110. Is a a composite number?
True
Let j(i) = -2*i + 1. Let g be j(-1). Let t(z) = -4*z**2 - 10*z**g + 6*z**3 + 1 - 2*z + 0. Is t(-3) prime?
True
Suppose 55324 - 13702 = 6*u. Is u a composite number?
True
Suppose -7*q = 2610 - 8567. Is q composite?
True
Suppose 0*r - 2*r = -12. Suppose -n - 1 = 0, -n - r - 3 = -2*x. Suppose -y + 18 = -d, 5*d + 75 = x*y + 7. Is y a composite number?
True
Suppose 16*g - 21231 = 7*g. Is g prime?
False
Let y(t) be the second derivative of -t**8/3360 - t**6/180 + t**5/24 + t**4/6 + 2*t. Let b(r) be the third derivative of y(r). Is b(-4) composite?
False
Let j be ((-448)/(-10))/((-7)/35). Let p = j - -514. Suppose d + 4*d = p. Is d a composite number?
True
Let z be (-5)/20 - 41/(-4). Suppose -18 - z = -2*w. Is w composite?
True
Let o(t) = 13*t - 7. Let w(i) = 19*i - 10. Let b(p) = -7*o(p) + 5*w(p). Let k(j) = -j**2 - j + 1. Let s(g) = -b(g) - 2*k(g). Is s(2) a composite number?
False
Suppose 3*n - 254 = 5*p, 0*n + 248 = -5*p + n. Let o = 0 - p. Is o composite?
True
Let l(b) = -b**3 + 5*b**2 + 6. Let s be l(5). Let i(p) = -p**2 + 4*p + 8. Let x be i(s). Is ((-15)/x)/((-3)/(-12)) a prime number?
False
Is (-5)/((-20)/514)*2 prime?
True
Let c(p) = -13*p**2 + 5*p + 6. Let x(j) = -14*j**2 + 5*j + 7. Let a(q) = -6*c(q) + 5*x(q). Is a(6) a composite number?
False
Suppose 0 = -3*v + 2*v + 4. Suppose k = -3*k - s + 129, v*k + 5*s - 117 = 0. Is k a composite number?
True
Suppose 2*w - 102 + 34 = 0. Is w prime?
False
Let m = -992 - -2143. Is m composite?
False
Suppose 0 = -6*u + 303 + 1731. Is u composite?
True
Let p = 6 - 2. Suppose d = p*d + 711. Is (4/12)/((-1)/d) composite?
False
Let x(w) = 2*w**2 - 6*w + 5. Let k = 3 - -5. Is x(k) a prime number?
False
Let u be (-15)/10*(-10)/3. Suppose -3*d - 4*k - 3 = -7, u*d + k - 18 = 0. Suppose -2*w + 116 = -d*m + 6, 4*w - 214 = 2*m. Is w composite?
False
Suppose 2*n = -4, 0 = -3*m - 5*n + 5 - 51. Let c be -3*(-2 - m/9). Suppose -4*p = c*y - 46, 69 = 5*p + 5*y + 19. Is p a prime number?
True
Is (-7)/(14/4) - -493 composite?
False
Suppose 3*i = -5*p + 301, -4*i + 353 = -5*p + 2*p. Suppose -5*h + 67 + 31 = n, 0 = -n - 3*h + i. Is n a composite number?
False
Suppose 3*b + 34 = -5*i, b - 21 + 4 = 4*i. Let k(y) = -2*y**2 + 2*y + 4 - 16*y**3 + 3*y**3 + 0*y. Is k(b) a composite number?
False
Suppose -268 = 4*r + 108. Let g = -12 + r. Let v = -53 - g. Is v prime?
True
Suppose 3*p + 2*s - 6 = s, -s + 12 = 5*p. Suppose -4*q - 2*z + 20 = 2*z, -3*q + 3 = -z. Suppose p*a + 4*d - 331 = 2*d, a - 121 = q*d. Is a prime?
True
Let r(w) = 179*w**3 - w**2 + 1. Is r(1) prime?
True
Let l(s) = -s**2 - 3*s + 4. Let u be 2/6 - (-10)/(-3). Let x be l(u). Suppose -x*b + 26 = -2. Is b a prime number?
True
Let a(y) = 2*y**3 - 4*y**2 + y + 34. Let s(v) = v**3 - v**2 + 1. Let m(n) = a(n) - 3*s(n). Let x(h) = -h**3 + 2*h**2 + h - 2. Let b be x(2). Is m(b) composite?
False
Let g(d) = -2*d**3 + 6 - 2*d**2 - 4 - 33*d**3. Let z be g(2). Let n = -201 - z. Is n a composite number?
True
Suppose 0 = -0*l - l + 629. Let d = l - 372. 