, -g = f - 2820. Is g composite?
False
Suppose 2*g - 5*j - 813 = 0, 0*j = -5*g - 3*j + 2048. Is g a prime number?
True
Let z = 2 - -2. Suppose 229 = 3*s + 3*w - 71, -z*s = -5*w - 436. Let f = -13 + s. Is f composite?
True
Let y(f) = 46*f**3 + 2*f**2 - 2*f + 1. Suppose 5*c - 3*l = 2*l - 20, 10 = 5*c + l. Is y(c) composite?
False
Suppose -3*h = h - 8. Suppose h*w - w = 22. Is w a composite number?
True
Suppose 3*s + s - 41392 = 0. Let a be 8/36 + s/9. Suppose 0*z + z - 3*y - 224 = 0, -5*z = -5*y - a. Is z a prime number?
True
Let q be (-43308)/66 - (-2)/11. Is (10/4)/((-8)/q) a prime number?
False
Let p(s) = s**3 + s**2 - s - 26. Let k be p(0). Let j be (-4)/16 + k/(-8). Is 109/3 + 2/j a prime number?
True
Suppose -30 = -3*x + 4*m - 8*m, 4*x - 36 = -4*m. Suppose 3*y + 99 = x*y. Is y a composite number?
True
Suppose -5*j + 36 = 2*q + 8, 4*q - 16 = 0. Suppose -g - 13 = w + 3*w, -12 = -4*w + j*g. Let a(t) = -106*t - 1. Is a(w) a prime number?
True
Let b(v) = -v**3 + 5*v**2 + 6*v. Let o be b(6). Let p = 3 + -1. Suppose o = -u - 5*q + 6, 0 = -q - p*q - 3. Is u a prime number?
True
Let j(m) = m**2 + 8*m + 6. Let o be j(-5). Let z(c) = -c - 2. Is z(o) composite?
False
Let d(x) = 2 - 1 - 2*x**3 + 4*x**2 + 2*x - 5*x. Let l be d(2). Is (l/5)/(2/(-118)) composite?
False
Suppose 2*i + 3*k + 12 - 4 = 0, 5*k = 4*i + 16. Let h(g) = 5*g**2 - 3. Is h(i) composite?
True
Is (3 + -5)*(-379)/2 composite?
False
Let r = 2246 - 1228. Suppose -5*c - k + 1017 = -3*k, -r = -5*c + 3*k. Is c a prime number?
False
Let k(f) = 2*f**2 - f + 257. Is k(0) a prime number?
True
Suppose -u + 0*u + 3 = 0. Suppose 5*y + 278 - 965 = -4*c, 5*c - 875 = -u*y. Suppose d - c = -d. Is d a composite number?
False
Suppose 2*q = 3*i - 1038 + 226, -4*i - 4*q = -1076. Let s = -47 + i. Is s prime?
True
Let p = 2 - -1. Suppose -d - d = -3*n - 262, -3*d + 393 = -p*n. Is d a prime number?
True
Let o(s) = s**3 - 10*s**2 + 11*s - 13. Let k be o(9). Suppose 5*x - 2*x - 1139 = 5*n, 2*x = -k*n + 726. Is x a prime number?
True
Is (3 - 10/5) + 292 composite?
False
Let p = 14 - 22. Let a be p/6 + (-4)/6. Is 74/(0/3 - a) prime?
True
Let a = 894 + -26. Suppose 0*f + 4*f = 2244. Let m = a - f. Is m composite?
False
Let l(m) be the third derivative of m**5/30 + 7*m**4/24 - 5*m**3/6 - m**2. Suppose 3*a - 16 = 2*h, 6 = 3*a - 4*a - 5*h. Is l(a) composite?
True
Let k(i) = i - 2. Let d be k(4). Is (-831)/(-18) + d/(-12) a composite number?
True
Let r(a) = 6*a**2 + 4*a - 1. Let t(g) = g**3 + 8*g**2 + 7*g - 6. Let s be t(-7). Is r(s) prime?
True
Suppose 0*f = -2*u - 3*f - 1, f + 1 = 0. Let s(g) = 40*g**3 - 2*g + 1. Is s(u) prime?
False
Suppose -4 = -5*u - 5*l + 6, 3*u - 4*l + 8 = 0. Let t = 94 - -64. Suppose u = -s + 36 + t. Is s a composite number?
True
Is 1 + 14*(-2 - (-166)/4) a composite number?
True
Let t = 1400 - 930. Let i be 3/5 + (-6990)/25. Let h = t + i. Is h composite?
False
Let b(p) = -p**2 - 1. Let d(x) = -x**3 - 9*x**2 - 9*x - 9. Let w be d(-8). Let n(s) = 6*s**2 + 13*s + 14. Let r(g) = w*n(g) - 5*b(g). Is r(-8) prime?
True
Let l(q) = -15*q + 4. Let c be l(-8). Let i = 128 + -61. Let t = c - i. Is t a composite number?
True
Suppose 5855 + 2793 = 8*y. Is y composite?
True
Let p(v) = -v**3 - 2*v**2 - 4*v - 2. Let j(o) = -o + 2. Let a be j(-4). Suppose -4*b + 8 = -5*c, -a*b - 27 = -b + 3*c. Is p(b) prime?
True
Suppose -31 = -4*q + 5*h, -5*q = -2*h - 4 - 22. Let y = q + -1. Suppose -76 = -4*f + 2*s, -f + 4*s + 17 = y*s. Is f a composite number?
True
Let x = -599 + 1018. Is x a prime number?
True
Let n(w) = w**2 + 11*w - 23. Is n(-20) composite?
False
Let i(m) = 6*m**3 - 6*m**2 - 8*m - 1. Let k be i(6). Suppose -2*h - k = -5*h + d, -3*d = 4*h - 1366. Suppose 3*a = o + 341, 2*a - 2*o - h = -a. Is a composite?
False
Suppose -2*o = 4*u - 122 - 14, -5*u - 109 = -2*o. Is o prime?
False
Let b = -8 + 67. Is b a prime number?
True
Let b(z) = z**3 + z**2 + 669. Let a be b(0). Suppose m = 4*m - a. Is m composite?
False
Suppose -4*h = -2*v - 616, 0 = 5*h + 2*v + 2*v - 770. Let l = 97 + h. Is l a composite number?
False
Let s(f) be the third derivative of 2*f**5/15 - f**4/3 - 5*f**3/6 + 6*f**2. Is s(-6) prime?
True
Suppose 8*v - 162 = 1270. Is v a composite number?
False
Suppose l - 11 = -b + 3*b, 0 = -4*b + 5*l - 31. Is 382/4 + b/8 composite?
True
Let i be (-22)/18 - 10/(-45). Is (-1)/(i*(-2)/(-166)) prime?
True
Suppose -3*n + 5*t = -8*n + 700, 4*n = -2*t + 570. Is n composite?
True
Suppose 0*i + 5*i = 1295. Is i prime?
False
Suppose 3*t + 133 = 1240. Suppose 3*i - 276 = -0*j - 3*j, -3*i = 4*j - t. Is j a prime number?
False
Let h(s) = s**3 - 8*s**2 + 3*s - 1. Suppose 4*f + 2*z = 36, 2*f - 2*z = 2*z + 8. Let k be h(f). Suppose k + 7 = 3*c. Is c composite?
True
Suppose o + 2*o + 3 = 0. Let s = o + 54. Is s prime?
True
Suppose s - 551 = 128. Is s a prime number?
False
Let u be (-8)/(-6)*1020/8. Let q = -105 + u. Is q a composite number?
True
Let j(w) = w**2 + 5*w + 319. Is j(0) composite?
True
Suppose -14 = -4*y + 6. Suppose -3*d + 7 = m - 4, y*m + 2*d - 16 = 0. Suppose m*s = -s + 5*l + 200, 0 = -2*s + l + 131. Is s a prime number?
False
Is (7/(-4))/(10/(-680)) a composite number?
True
Is 50919/44*8/6 a prime number?
True
Suppose -12 = 4*g + 5*z, 3*g - z - 12 = -g. Let o be (-1)/g*(-8)/2. Is o - (1 - 2)*7 a composite number?
True
Let c(d) = -d + 1. Let h be c(-3). Suppose 0 = -h*o + 9*o - 265. Is o a prime number?
True
Is 14576/12 + (-5)/(30/4) a composite number?
True
Let y be 3 + 0 + (2 - 143). Let n = y - -297. Is n prime?
False
Let x = 181 + -31. Suppose 2*h - 245 = -3*g, -2*g = -4*h + 2*h - x. Is g prime?
True
Let j be (-24)/(-18)*3/2. Let m = -3 - 74. Is (1 - j - 0)*m a prime number?
False
Let d = 210 - 399. Is (-1)/(d/186 + 1) a composite number?
True
Suppose 5*m - 2*p + 4*p = -25, 0 = 4*p + 20. Is 92 + 1/(-1)*m a composite number?
True
Let m = -6 - -3. Is 69*((-3)/m)/1 a composite number?
True
Let x(m) = -m - 6. Let y(l) = l + 7. Let p(d) = 5*x(d) + 4*y(d). Let h be p(-5). Suppose 32 = h*s + 2. Is s a composite number?
True
Suppose -3*n - 3*s + 1020 = 0, 5*n - 6*n = -4*s - 315. Let c be (-3 - 4*-1)*n. Suppose 7*x - c = 2*x. Is x a prime number?
True
Let u(c) = 32*c**2 + 8*c - 9. Is u(4) a composite number?
True
Let h(r) = -r + 5. Let f be h(5). Suppose f = 5*c + 2*k - 749, 4*c + 0*k + 4*k = 604. Is c a composite number?
False
Suppose 2*t + 3*x = t + 339, t - x = 335. Suppose 5*n + 2*a = t + 765, a = 5*n - 1107. Is n a prime number?
False
Let u = -351 + 170. Let o = u - -500. Is o a composite number?
True
Is -7 + 10 - 145*-2 composite?
False
Suppose -s + 4*w = -0*s + 5, 0 = -2*s - 5*w - 75. Suppose 3*n - 116 = n. Let m = s + n. Is m a prime number?
False
Suppose 8 - 4 = -4*g. Let x(j) = 316*j**2 - 3*j - 2. Is x(g) a prime number?
True
Suppose 0 = 69*c - 70*c + 2657. Is c a prime number?
True
Let f = -163 - -720. Is f a prime number?
True
Let o(u) = 10*u**3 - 9*u**3 + u**3 + 11*u**3. Is o(1) composite?
False
Let l = -143 - -196. Is l composite?
False
Let x(y) = y**3 + 6*y - 3. Is x(4) a composite number?
True
Suppose 3*g - 1 = 11. Is (-98)/21*(-318)/g composite?
True
Let m(r) = 2*r**2 - 11*r + 4. Suppose 3*y + 3*a = -21, -2*y + 4*a = 3*y + 8. Let f(n) = 2*n**2 + 7*n + 5. Let d be f(y). Is m(d) composite?
False
Let b be 26/8 - 1/4. Suppose -2*d = -5*j + 2, b*d - 2*d + 3*j = -12. Let o = 4 - d. Is o composite?
True
Let d(g) = g**3 - 7*g**2 + 8*g - 7. Let y be d(6). Suppose -2*b - 5*a + 325 = 27, -y*a - 258 = -2*b. Is b a composite number?
False
Let t be -3*-1*(33 + 2). Suppose r = -4*r + t. Suppose 3*o = -u + r, 5*u + o + 4*o = 55. Is u a composite number?
True
Let q = -2 + 2. Suppose 5*z - r - 5 - 152 = q, -r = 4*z - 122. Is z prime?
True
Suppose m = 4*s - 4729, m = -7 + 2. Is s composite?
False
Let q(g) = -g**2 + 6*g - 6. Let o be q(6). Is (-3411)/(-7) + o/21 a prime number?
True
Let l(s) = 112*s**3 + 2*s**2 + s + 4. Is l(3) a composite number?
False
Let c(q) = -q**3 - 6*q**2 + 8*q + 6. Let f be c(-7). Let b be f + 232 + -5 + 5. Suppose -2*m + 3*p + 68 + b = 0, 0 = 3*m - 4*p - 447. Is m a prime number?
False
Suppose 0 = 4*r - 1001 + 45. Let s = -52 + r. Is s prime?
False
Let k(m) be the first derivative of m**4/4 - 8*m**3/3 + 3*m**2 + 9*m - 3. Let z be k(7). Suppose -3*x + 38 = 2*t, z*t - 4 = -x + 6. Is x prime