/2 a prime number?
True
Let z(j) = -j**3 + 9*j**2 + 6*j - 1. Let m = -12 + 20. Let f be z(m). Suppose 2*a + f = 5*a. Is a prime?
True
Suppose 0 = -w - w + 6. Let y(a) = 2*a**3 - 5*a**2 + 4*a. Is y(w) prime?
False
Suppose 14 = 5*w - 1. Suppose 0*r = -w*r - 15. Let x(a) = a**3 + 6*a**2 - 5*a + 3. Is x(r) composite?
False
Let g = 1734 + -845. Is g composite?
True
Let h(l) = -2*l**2 + 19*l + 13. Let u(n) = 3*n**2 - 37*n - 26. Let q(j) = 5*h(j) + 3*u(j). Is q(-10) a prime number?
True
Let n(c) = 13 - c - 3*c - 2*c. Is n(-11) composite?
False
Let c(s) = s - 7 + 7 + 6*s**2. Let q be c(-1). Let k(d) = 5*d + 1. Is k(q) composite?
True
Suppose l - 329 = 2*n, 341 = 4*l - 3*l + 2*n. Is l prime?
False
Suppose -4*x = -3*k - k + 1756, -5*x = -2*k + 884. Is k a prime number?
False
Let f(x) = 340*x**2 + 3*x + 2. Is f(-1) prime?
False
Let m = -2592 - -4327. Is m composite?
True
Suppose -7*i + 3*i = -52. Let l = 114 + i. Is l a prime number?
True
Let s(c) = -68*c + 37. Is s(-18) a prime number?
False
Let d(b) = -3*b - 1. Is d(-5) a prime number?
False
Let y(w) = 2*w**2 - 9*w + 1. Let v(s) = s**2 - 2*s - 2. Let i be v(4). Is y(i) composite?
False
Let j(g) be the third derivative of g**6/120 - 2*g**5/15 - g**4/6 + 4*g**3/3 - 3*g**2. Is j(9) a prime number?
True
Let o be (21/4)/((-3)/(-56)). Suppose -s = s - o. Is s composite?
True
Suppose 6*j - 2*j - 24 = 0. Let t = j - 4. Suppose 0 = 5*l + 4*a - 475, -5*a - 64 = -l + t. Is l prime?
False
Suppose 2*l - 504 = -5*c, 2*c + 3*l + 94 = 3*c. Suppose -5*b + 5 + c = 0. Suppose 2*d - d = b. Is d a prime number?
False
Is (-2)/(8/(-316))*1 composite?
False
Suppose 0 = 3*y - 3241 - 1838. Is y composite?
False
Let r be 255/2 + (-2)/(-4). Suppose 231 = 2*x - 3*j, -3*j = x - 2*j - r. Is x composite?
True
Let m(r) = -51*r + 2. Is m(-1) composite?
False
Let a(x) = -6*x**2 + 6*x + 3. Let z(h) = -11*h**2 + 11*h + 6. Let r(f) = 5*a(f) - 3*z(f). Is r(3) a prime number?
False
Suppose 3*i = i - 440. Is -1*i/(-1 - -5) prime?
False
Suppose 5*w = 3*w + 586. Suppose -14*z + w = -13*z. Is z a prime number?
True
Let i be (137 + 1)/(5 + -3). Let u(l) = 3*l - 1. Let r be u(1). Suppose -i = -g - r. Is g a prime number?
True
Let q = -42 - -69. Let r be (4/(-6))/((-6)/q). Suppose 0 = -3*o - 2*j - 2*j + 147, r*j + 221 = 4*o. Is o composite?
False
Suppose -3*c = -3*z - 27, -2*z + 24 = 3*c - 4*z. Suppose -12 = 2*g - c*g. Suppose -g*y + 0*y = -30. Is y a composite number?
True
Suppose 3320 = 4*w - 4*t, -t - 2737 = -4*w + 571. Let q = 1377 - w. Is q a prime number?
False
Let q(w) = -30*w + 1. Let f be q(-6). Let l = f - 98. Is l a composite number?
False
Let u(b) be the first derivative of b**4/4 - b**2/2 - 92*b + 2. Let i be u(0). Is i/(-4) - (2 - 2) a composite number?
False
Let h(a) = 79*a. Let r be h(6). Is (r/6)/(1 + 0) composite?
False
Let k be -3 - (1 + 8/(-2)). Suppose k = -3*x + 112 + 647. Is x composite?
True
Suppose 0 = 2*o + c - 11, -o - c = 2*c - 18. Is 106*(o/(-6) + 1) prime?
True
Let y be 3 + ((-1)/(-1) - 4). Suppose y*n + 114 = 2*n. Is n a composite number?
True
Let g(a) = a**3 - 2*a**2 - 5*a + 3. Let m be g(4). Suppose -5*t = 3*h + 125 - 709, -5*h = -m. Is t prime?
False
Suppose 2*l - l = -4*j + 14, l - j = -1. Suppose -l*i + 495 = 3*i. Suppose -q = 2*q - i. Is q a composite number?
True
Suppose -4*c = -9*c + 30. Suppose -c*h + 16 = -2*h - 3*u, 2*u = 5*h - 27. Is h composite?
False
Let u(z) = 5*z**3 + 8*z**2 - 4*z - 7. Let k(s) = -6*s**3 - 8*s**2 + 4*s + 7. Let i(v) = 4*k(v) + 5*u(v). Is i(-6) prime?
True
Let v = 132 + 533. Suppose 7*l + v = 12*l. Is l composite?
True
Suppose 0 = -5*o + 2*a + 795, 2*a + 147 + 4 = o. Suppose 16 = -4*y, 5*y = 3*h - 0*h - o. Is h a prime number?
True
Is 20 - 1 - (-2 + 2) prime?
True
Suppose 0 = -4*q + q. Suppose -3*m + 7*m + 12 = q, -b + 3*m = -24. Is b composite?
True
Suppose w = -0*w + 6. Let k = w + -4. Suppose 5*l = -3*u + 43, -7 = -k*u - 2*l + 19. Is u prime?
True
Let r = -3293 + 5862. Is r a composite number?
True
Suppose -5*o - 28150 = -15*o. Is o composite?
True
Let a(o) = o**3 - 8*o**2 + 6*o + 5. Let x be a(7). Let d be (-4 - 2)/x - 1. Suppose d*u = -2*u + 172. Is u prime?
True
Suppose -5 - 3 = g - 3*i, 0 = 2*g - 4*i + 18. Let n = -7 - g. Suppose -1 = u - n. Is u a composite number?
False
Let c(l) be the first derivative of 3*l**2 + 5*l - 3. Let g = -6 - -11. Is c(g) a composite number?
True
Let t(p) = 3*p**2 + 10*p. Let a be t(9). Suppose -h = -4*h + a. Is h a prime number?
False
Suppose -5*q - 3*h = -34, 5*q + 0*h = -h + 28. Suppose q*s = 3*k + 455, 2*k - 6*k + 91 = s. Is s a composite number?
True
Let o(z) = 29*z**3 + z**2 - 3*z - 6. Let m(s) = -28*s**3 + 3*s + 5. Let r(a) = 5*m(a) + 4*o(a). Is r(-2) a prime number?
False
Suppose -4*l - 1094 = -3858. Is l prime?
True
Let h(g) be the second derivative of 0 - g**3 + 3/2*g**2 + 2*g. Is h(-3) a prime number?
False
Suppose 20 = 5*h, 0*h - 5*h + 10 = 5*p. Suppose 3*w = 7*w + 296. Is w*(-1 - 1/p) a composite number?
False
Let m(p) = 10*p + 3. Let w = 5 + 0. Is m(w) a prime number?
True
Let g(c) = c**3 - 18*c**2 + 6*c - 9. Let k be g(18). Let w be (-1)/4 + 381/(-12). Let o = w + k. Is o a prime number?
True
Let a = -12 + 14. Suppose -r - 2*r + 671 = -a*l, 2*r - l - 447 = 0. Is r a prime number?
True
Suppose 3 = -r, -5*p + r - 1014 = -5522. Is p a prime number?
False
Let o be 2 - (-8)/(3 + -1). Suppose o*m + 4*c - 144 = 2*m, -2*m + 77 = 3*c. Is m composite?
False
Suppose -3*x + 7 + 35 = 0. Is x a prime number?
False
Let x(y) = -8*y - y - 5 + 3 + y**2. Let w be x(8). Is 2/w - (-116)/5 a composite number?
False
Let l(m) be the third derivative of -m**4/24 - 7*m**3/6 - m**2. Let a be l(-7). Suppose k - 32 = -3*j, 3*j + a*j = 2*k - 73. Is k a prime number?
False
Let x be 3*((-24)/(-9))/(-4). Is 0 - -22 - (x - -2) prime?
False
Suppose -3*w - 792 = -1941. Suppose 2*g - w = -121. Is g a prime number?
True
Let j = 216 + 90. Let q = j + -179. Is q composite?
False
Let y(l) be the second derivative of -l**6/30 - l**5/20 - l**4/6 - 2*l**3/3 - 3*l**2/2 - 2*l. Let a(z) be the first derivative of y(z). Is a(-3) a prime number?
True
Suppose -54 + 19 = 5*u. Let k(g) = -g**3 + 5*g**2 + 2*g + 7. Is k(u) prime?
False
Suppose -7*k = 4*q - 6*k - 230, 4*q = 4*k + 240. Is q composite?
True
Let k(g) = -g**2 - 10*g - 16. Let p be k(-8). Is p - -83 - 4/1 a composite number?
False
Let t(s) = 4*s**2 + s. Is t(-11) composite?
True
Suppose 0*q - 17 = -3*y - 2*q, 4*y - 2*q - 32 = 0. Let n = y + -1. Is n composite?
True
Suppose 481 = t + 2*p, 4*t = 4*p + 2625 - 641. Is t prime?
True
Let v(o) = 484*o + 7. Is v(12) a composite number?
True
Let d(v) = 2*v - 4. Suppose 1 + 11 = 3*g, -g + 24 = 4*m. Is d(m) composite?
True
Suppose -2*k - 3*p = -0*k - 973, 5*p - 1460 = -3*k. Is k prime?
False
Let o(b) = 126*b + 5. Suppose -2*w - 3*w = -25. Is o(w) a composite number?
True
Let g(d) = d**3 + 6*d**2 + d + 4. Let v be g(-6). Let i be (v - (-1 - 0))*-5. Suppose 0*l = -l + 2*y + 25, 0 = i*l - 2*y - 109. Is l a composite number?
True
Let b be 2/2*2 - -10. Let f be (b/15)/(1/35). Suppose 4*m = -0*m + f. Is m a prime number?
True
Suppose -5*l = b - 21, -l - b = -6 + 1. Suppose 0*t = l*t - 508. Is t a prime number?
True
Suppose -35*q + 3110 = -33*q. Is q composite?
True
Let k(p) = p**3 + p + 2. Let r be k(0). Suppose r*d + 0*d - o = 430, -d + o + 217 = 0. Is d a prime number?
False
Suppose -2*f + 4*f + 19 = 3*i, -3 = 4*f + i. Let s(q) = -102*q - 1. Is s(f) a prime number?
False
Suppose v + 112 - 1160 = 0. Is (-1)/(-1 - v/(-1052)) a prime number?
True
Let i(d) = -4 + 8*d**2 + 0 + 5 - 6*d + d**3 + 2*d**2. Let w be i(-6). Let b = -54 + w. Is b a composite number?
False
Suppose 5 = 5*j - 0. Let u(b) = 1 - 102*b + j - 1. Is u(-2) a prime number?
False
Let x(t) = t - 1. Let r be x(-1). Let m be (-8)/(4/r) + -1. Let y = m - -4. Is y composite?
False
Let f = 15 + -7. Suppose -2*g + f + 290 = 0. Is g composite?
False
Suppose 16*h = 13*h + 1605. Let j = h + -344. Is j prime?
True
Let i = -753 - -1471. Is i a composite number?
True
Let q = 2 + 0. Suppose 3*v - 5 = -q*v. Is 36 + v*(-3)/3 a prime number?
False
Suppose 2*k = l + 3345, -8*l = -7*l - 1. Is k a composite number?
True
Suppose 5*b + 16 = b, 0 = -u + b + 261. Suppose 0 = 3*k + 4*f - u, -3*k = k + 2*f - 336. Let r = k + -34. Is r prime?
False
Let r 