 -37 + a. Is m a prime number?
True
Let t(o) = 6*o - 1. Let z be t(1). Suppose 2*p - 380 = 2*m, -z*m + 0*m + 196 = p. Is p a prime number?
True
Let v = -7 - -12. Suppose 0 = 4*a - v*a + 93. Is a a prime number?
False
Let d = -6 - -11. Is (-1)/d - (-1788)/15 composite?
True
Let w(v) be the third derivative of v**6/120 + v**5/60 - v**4/24 + v**3/3 + 3*v**2. Let h be w(0). Suppose 3*l = 2*y + y - 24, 4*l = h*y - 12. Is y composite?
True
Let r = 1477 - -568. Is r a composite number?
True
Let l = 20 + -17. Suppose 3*r + l*w = 954, r = -r - w + 641. Is r a prime number?
False
Suppose 0 = -4*b + 4*l, -3*b - 3*l = -4*b - 10. Let k(d) = -2*d - 2 - 1 + 3*d. Is k(b) composite?
False
Suppose 3*z + 4*p - 9589 = 0, 0 = 5*z + 3*p + 2*p - 15990. Is z a composite number?
False
Let x(y) = y. Let f(g) = -97*g + 3. Let w(n) = 49*n - 2. Let p(c) = -4*f(c) - 7*w(c). Let h(k) = -p(k) + 2*x(k). Is h(-3) prime?
True
Suppose -9*j + 86325 = 6*j. Is j a composite number?
True
Let q(g) = -39*g + 1. Let s be q(3). Let z = s + 165. Is z a composite number?
True
Let t(g) = 2*g**2 - 3*g + 3. Let v be 39/(-9) - (-1)/3. Is t(v) a prime number?
True
Let w(b) be the second derivative of -53*b**5/20 - b**4/12 - b**3/6 - 8*b. Is w(-1) a composite number?
False
Let p(h) = -2*h**3 - 7*h**2 + 3*h + 5. Is p(-8) prime?
True
Let p = -142 - -261. Is p a composite number?
True
Let m(x) = x**2 + 2*x - 4. Let h be m(-4). Suppose a + h = 2*a. Suppose 0 = a*i - 394 - 186. Is i prime?
False
Let p = 67 - -12. Suppose -7*j + 6*j + 77 = 3*b, -3*b + p = 2*j. Is b composite?
True
Let u(d) = -d**2 + 15*d - 6. Let j be u(14). Is (-2)/j + 1105/20 a composite number?
True
Let q be (-1)/((-2)/((-6)/3)). Is ((-1)/1)/(q/467) composite?
False
Suppose -10647 = 3*o - 162297. Is (-2)/(-13) + o/130 prime?
True
Is (-3 - -2) + 1 + -1 + 78 a prime number?
False
Suppose -5*l + 2250 = -v, 2*v + 3*v - 1322 = -3*l. Is l composite?
False
Let h(f) = f**2 - 2*f + 2. Suppose 4*k + 11 = -0*w - w, 4*w + 22 = -5*k. Let v be (w - -2) + -2 + -2. Is h(v) a prime number?
True
Let u = -20 - -23. Suppose 89 = z - 0*t + u*t, -5*z = -2*t - 445. Is z a prime number?
True
Let m(f) = f - 2. Let z(d) = -d + 2. Let x be z(-4). Let t be m(x). Suppose -t*i = -2*b - b + 29, b - 5 = -i. Is b a prime number?
True
Let x = -715 - -1780. Is 1/(-6) - x/(-18) composite?
False
Let o(p) = -14*p**3 - 3*p**2 - p - 23. Is o(-6) a composite number?
True
Let k(j) be the first derivative of -j**4/4 - 2*j**3 - 3*j**2 + 6*j + 5. Suppose 4*b - 6 = -34. Is k(b) a prime number?
True
Suppose -1 + 2 = 4*x - 5*o, 4*x - 3*o = 7. Suppose 233 = 4*c - 3*m, 0*c + c + x*m - 44 = 0. Suppose 1 - c = -t. Is t a prime number?
False
Suppose -6 = j - 3*j. Suppose 2*x + 20 = 7*x. Suppose -7*q = -j*q - u - 41, x*u = -q + 23. Is q a composite number?
False
Let d(x) = 71*x - 1. Let i be d(1). Suppose 2*c - 78 = 4*g, -2*c + 4*g + i = 8*g. Let k = c - 16. Is k a prime number?
False
Let h(u) = -4*u**2 + 3*u. Let t be h(-3). Let i = t + 67. Is i prime?
False
Let o(d) = -d**3 - d**2 - d + 106. Is o(0) prime?
False
Let x be (-16)/(-4) + (1 - 1). Suppose -3*v + 585 = z, -x*v + 4*z = 3*z - 787. Suppose -6*l - 2*k = -4*l - v, 5*l - 478 = -k. Is l composite?
True
Suppose 0 = -43*h + 41*h + 194. Is h prime?
True
Suppose -2*i - 4 = 4. Let k be (-20)/(-9) + i/18. Let w(q) = 8*q**3 - 4*q**2 + 4*q - 3. Is w(k) a composite number?
False
Suppose 4*f = -4*d + 2*f + 1286, -d + 314 = 3*f. Suppose 0 = 3*w - 106 - d. Is w prime?
False
Let h(g) = 39*g. Let v be h(2). Let a be (2/(-4) - 0)*-58. Let o = v - a. Is o composite?
True
Suppose -4*b = -9 - 3. Suppose -b*g - 212 = -7*g. Is g composite?
False
Let n = -5466 + 10139. Is n a composite number?
False
Suppose 0 = 2*f - 4, 2*c - 163 = -3*c - 4*f. Is c a composite number?
False
Let f = -2 + 253. Is f prime?
True
Let q = -1616 - -2413. Is q a prime number?
True
Suppose -3*b = 2*b - 4*k - 282, 5*k - 68 = -b. Let j = b + 156. Let d = -51 + j. Is d a prime number?
True
Is 8781/(18/5 - (-3)/(-5)) composite?
False
Let j(a) = 72*a**2 - 7*a + 9. Is j(4) a prime number?
False
Let w(g) = -122*g**3 + 2*g**2 + 3*g + 2. Is w(-1) a composite number?
True
Let b be 9/4*(0 - 4). Let p = b + 9. Suppose 3*m - 68 - 97 = p. Is m composite?
True
Suppose 13*m - 9148 = 9*m. Is m a prime number?
True
Let k = 565 + -240. Let u(l) = -l**3 + 5*l**2. Let p be u(5). Suppose -k = -p*v - 5*v. Is v a prime number?
False
Let h(j) be the first derivative of -j**4/2 + j**3 + j**2 - j + 5. Is h(-3) composite?
True
Let c = -430 + 749. Is c a composite number?
True
Is 15/5 + -1 - -335 a prime number?
True
Let w be 4*(1 + 74/8). Suppose -286 = -5*v - w. Is v composite?
True
Let b be (6/(-2))/(-5 - -4). Is 112/b - 1/3 prime?
True
Let z(t) = -194*t**3 + 2*t**2 - 3*t - 3. Is z(-2) composite?
True
Let a = -224 - -383. Let d = 181 + a. Suppose d = 3*f + 55. Is f a prime number?
False
Let v(l) = -l**2 + 9*l + 5. Let u be v(9). Suppose 55 = u*h - 360. Is h a composite number?
False
Suppose -2*a + 73 = -67. Is a/3 - 12/36 composite?
False
Suppose w = 5*w - 16. Suppose -z = w*z - 1945. Is z composite?
False
Suppose -4*w + r + 2 = 6, -8 = w - 2*r. Suppose w = -6*i + 2*i + 84. Is i a composite number?
True
Let x(y) = y**2 - 3*y + 7. Let n(q) = -2*q**2 + 5*q - 15. Let s(g) = -4*n(g) - 9*x(g). Suppose -c = -1 - 4. Is s(c) composite?
False
Suppose -87 = -3*x - 5*p + 64, 3*p - 100 = -2*x. Suppose 0 = 2*k - x - 45. Is k a prime number?
False
Is 12/(-8)*502/(-3) composite?
False
Let h(u) = u**3 - 6*u**2 - 5*u - 9. Let a = 16 - 9. Let o be h(a). Suppose 0 = 5*y - 3*d - 180, 4*d - 112 = y - o*y. Is y a prime number?
False
Let d(i) be the third derivative of -i**4/12 + 7*i**3/3 - i**2. Is d(-12) prime?
False
Let z(w) be the second derivative of 3/2*w**2 - 1/6*w**3 + 0 - 2*w. Is z(-4) prime?
True
Suppose -4*f = f - 185. Is f a composite number?
False
Let j = 10397 - 5470. Is j prime?
False
Let h(k) = k + 12. Let s be h(-11). Is (-418)/(-1)*s/2 a composite number?
True
Suppose -k - 5*a + 369 = -27, k = -4*a + 391. Is k prime?
False
Suppose 0 = -5*s + 4 - 54. Suppose -4*g + g - 12 = 2*t, 5*g + 16 = -2*t. Is s*29/g - 0 prime?
False
Suppose -3*r + g = 5*g - 5, 0 = -5*g + 25. Suppose 0 = -2*m - i + 13, -4*m = -5*i - 11 - 50. Let z = m - r. Is z a prime number?
False
Let d = -19 + 11. Let s(t) = 5*t**2 - 8*t + 4. Let w(b) = 6*b**2 - 8*b + 3. Let y(a) = 7*s(a) - 6*w(a). Is y(d) a composite number?
True
Let k(w) = -27*w - 1. Let t be k(-1). Suppose -4*s + t = -2*s. Is s a composite number?
False
Suppose 9*p = 3*p + 978. Is p composite?
False
Suppose 2*c + j + 2 = -0*j, 3*c + 6 = -3*j. Suppose -2*x + 3*x - 22 = c. Is x a composite number?
True
Suppose -4 = 2*b, -5*m - 5*b + 4 = -1. Let d(v) = 149*v - 4. Is d(m) composite?
False
Suppose -102 = -5*n - 32. Is n composite?
True
Suppose -4*c - 3*u - 2 = 0, 0 = -5*c + 4*c + 4*u - 10. Is c/8 - 298/(-8) prime?
True
Let g = -65 - -474. Is g composite?
False
Let w(j) be the third derivative of j**6/120 - j**5/60 - j**4/8 - 2*j**3/3 + 3*j**2. Let b be w(3). Suppose -b*n + 39 = -91. Is n composite?
True
Let q be ((-9)/(-6))/((-1)/6). Let d = q - -23. Is d composite?
True
Let q be 2/(-4) - 27/(-6). Suppose 3 = -7*y + q*y. Let j = y - -23. Is j prime?
False
Suppose -s - 3 = -p - 0, 3*p - 5*s - 11 = 0. Suppose z - 2*x - p*x = 31, 5*z - 107 = 4*x. Is z composite?
False
Let b = 8 + -22. Let i = -9 - b. Suppose 3*w = 3*x - 21, -2*x + 5*x - i*w = 15. Is x prime?
False
Let f(a) = -a**2 - 5*a - 187. Let x(k) = -k**2 - 4*k - 188. Let n(d) = 3*f(d) - 4*x(d). Is n(0) a prime number?
True
Let d = -297 - -520. Is d a composite number?
False
Suppose 5*t - v = 64, t - 44 = -2*t + 2*v. Suppose -z + 2*k = 5, 3*z + 5*k - 35 = z. Suppose t + 173 = z*g. Is g a composite number?
False
Let x be (-2)/11 + (-2032)/(-44). Let h = 321 + x. Is h a composite number?
False
Suppose 174 = -0*o + 2*o. Is o prime?
False
Let v(z) = 22*z**2 - z. Let c be ((-36)/(-8))/((-1)/(-2)). Suppose 5*u - 5*r - 6 = u, -u = -5*r - c. Is v(u) a composite number?
False
Let j be (0 - -1)/(-2 + 3). Suppose -2*b - 1 = -9. Let a = b - j. Is a a prime number?
True
Let j(p) = p**2 + 411. Is j(0) a prime number?
False
Let o(y) = y**2 + 2*y - 2. Let t be o(-6). Let j = t - -27. Is j composite?
True
Suppose 7*t - 4*t = 0. Suppose a + a 