
Suppose -6867 = -2*v - g, 2*v - 3089 = -2*g + 3779. Is v prime?
True
Let n(s) = -7*s + 227. Let r be n(13). Suppose -4*v = 5*w - 13 - 362, 10 = -2*v. Let t = r - w. Is t a prime number?
False
Let z(u) = 44*u + 33. Let d be z(12). Let o = d - 298. Is o a prime number?
True
Let s(h) = h**3 - 6*h**2 + 6*h - 6. Let n be s(3). Is 24428/10 - n/75 a composite number?
True
Let h be (-714)/(-98) + 2/(-7). Let o(j) = j - 3. Let t be o(h). Suppose 351 = t*n - 5*g, 442 = 3*n + 2*n - 3*g. Is n composite?
False
Suppose a = 5*g + 22, -38 = -5*a - 0*a + g. Let d = 5 - a. Is 74 - (-6)/(d - 0) prime?
True
Suppose -9*m = -10*m + 922. Is m a composite number?
True
Let t(h) = 226*h - 11. Suppose -5*f + 12 = -f. Is t(f) a prime number?
False
Suppose -4*m + m + 1732 = -4*y, 1143 = 2*m - 5*y. Let k = m + 208. Suppose 5*w - 602 = -3*s, -6*s + k = -2*s + 4*w. Is s composite?
True
Let g = -38 + 35. Is g/(-2)*(78932/6)/7 a composite number?
False
Let t(g) = 158*g**2 + 20*g + 14. Is t(-6) prime?
False
Suppose -3*p = f - 0*p - 4, 4*p = f - 4. Let y(n) = 99*n**3 - 12*n**2 - 4*n + 3. Is y(f) prime?
True
Suppose 2*m - 3012 = -2*l + 18560, 5*l = 4*m - 43171. Is m prime?
True
Let t(b) = b**3 - 14*b**2 + 13*b - 10. Let i be t(13). Let p = i + 14. Suppose -2*f + 0*n - 5*n = -1577, 3*f = p*n + 2331. Is f a composite number?
True
Let g(b) = 83*b**2 - 2*b - 1. Let a be 4/10 - 7/5. Let h be g(a). Let j = h + -49. Is j composite?
True
Suppose k - 3114 = -3*r + 4627, k - r = 7725. Is k prime?
False
Let m(u) be the third derivative of u**4/8 + 2*u**2. Let w be m(1). Suppose -3*s - k - 104 = -6*s, -w*k - 142 = -4*s. Is s prime?
False
Let z(f) = -30*f**2 - 2*f - 31. Let g(d) = -10*d**2 - d - 10. Let x(c) = c**3 - 4*c**2 + 2*c. Let v be x(3). Let i(o) = v*z(o) + 8*g(o). Is i(5) a prime number?
False
Suppose -b - 5*o - 19 = -4*b, o - 1 = -b. Suppose 0 = 2*c - b*k - 352, 0 = 3*c + 2*k - 84 - 457. Is c composite?
False
Let z = 65962 - 27311. Is z a prime number?
True
Suppose -3*w = -2*p - 1335, -w + 667 = -p + 221. Suppose -w + 21 = -2*u. Is u composite?
False
Suppose i = 5*i. Is (237/12 - i)*12 a composite number?
True
Suppose -o + 6689 = -3*f - 8389, 5*o = -5*f + 75290. Is o prime?
False
Let y(i) = -16*i - 3. Let b be y(1). Let f = 312 - b. Is f a prime number?
True
Let c(u) = 26*u - 10. Let a be c(-5). Let x be (6/5)/((-42)/a). Suppose 2*k = x*d - 208, -3*d - 3*k = -5*d + 100. Is d a composite number?
False
Let k(l) = l**3 + 18*l**2 + 18*l - 1. Let u(o) = o**3 + 12*o**2 + o - 4. Let d be u(-12). Is k(d) a composite number?
False
Suppose -9*i = 783 + 468. Let l = i - -11736. Is l prime?
True
Let s(r) = -58*r + 8. Let c be (-3)/(2/((-28)/6)). Suppose 2*m - c*m - 25 = 0. Is s(m) a composite number?
True
Suppose 0*h + 2*h - 22 = 0. Suppose -w + 4 = 0, 2*l - 4*w + 7 + h = 0. Let j = l + 308. Is j composite?
False
Let d(i) = i**3 - 5*i**2 + 10*i - 7. Suppose 6*g + 36 = 10*g. Suppose g = m + 2. Is d(m) prime?
False
Let h(r) = -8*r + 5. Let i = 34 - 51. Let u = i - -8. Is h(u) a prime number?
False
Let c(j) = j**2 - 3*j + 1. Let i(m) = 2*m**2 - 6*m + 2. Let g(f) = 7*c(f) - 3*i(f). Let t be 41/(-4) - 2/(-8). Is g(t) a composite number?
False
Let d be ((-8)/3)/((-6)/(-9)). Let o be 10 + -4 + d - 4510. Is (-4)/8 + o/(-8) a prime number?
True
Suppose -2*x - 8*x + 60 = 0. Suppose -3964 = -10*j + x*j. Is j composite?
False
Let g = 5 + -2. Suppose 2*b = 3*b - 13. Suppose -5*l - g = -b. Is l prime?
True
Suppose -5*s + 4*s + 10 = 0. Let b(o) = 3*o + 1 + 5 - 3 + s*o**2. Is b(-2) a prime number?
True
Let k(z) be the second derivative of z**7/420 - z**6/180 - z**5/20 + 5*z**4/24 + 7*z**3/6 - 3*z. Let c(h) be the second derivative of k(h). Is c(4) composite?
True
Let w = 1898 + -1341. Is w composite?
False
Suppose 0 = -2*d - h + 1259 + 101, 671 = d + 5*h. Is d a composite number?
True
Let c(t) = -t**2 + 4*t + 2. Let d be c(4). Let k(i) = i. Let a be k(d). Suppose 20 = 5*x, -2*f - x = a*f - 96. Is f composite?
False
Let h = 523 + -269. Suppose -6*u - h + 1016 = 0. Is u a prime number?
True
Suppose -d + 4*a - 6*a = -226, -4*a + 908 = 4*d. Suppose -5*n = -d + 58. Suppose -6*t + 5*l + 160 = -t, -3*l - n = -t. Is t composite?
False
Is 0*4/(-8) - (-3670 + 5) prime?
False
Let o be (-1)/(15/(-88085)) + 2/3. Suppose u - 8*u = -o. Is u a prime number?
True
Suppose -7*a + 10*a - 891 = 0. Suppose -4*i + 275 + a = 0. Is i a composite number?
True
Suppose -3*a - 1469 + 10232 = 0. Is a composite?
True
Let o(l) = l**3 - 8*l**2 + 9*l - 10. Let h be o(7). Is (-5 - -2) + 416 - h a prime number?
True
Let l(s) = 9*s**2 - 36*s - 1. Is l(-14) a composite number?
False
Let i = -766 + 728. Let z(g) = 3*g**3 - 4*g**2 + 6*g - 1. Let j be z(4). Let h = i + j. Is h composite?
False
Let a(k) = -k**2 + 5*k - 1. Let i be 3*(-1)/(-1) + 0. Let m be a(i). Suppose 0*t = -t - 3*s + 68, 0 = -m*s + 25. Is t a composite number?
False
Let r be 85/(-25) - 6/(-15). Is (-63 - -1)*-2*r/(-12) a composite number?
False
Suppose 3*d + 12 = 0, 2*f + 0*f - 18 = d. Suppose -f*v + 1016 = -3*v. Is v a prime number?
False
Let a(k) = 33*k**3 + 2*k**2 - 22*k + 8. Is a(3) a prime number?
False
Let t = -88 - 16. Let s = -29 - t. Suppose -84 = -3*h + 3*n, -4*h + n + s + 22 = 0. Is h a prime number?
True
Suppose 2*b - 6258 = 2460. Is b prime?
False
Suppose -n + 4106 = -2*k + 5*k, -3*n - 5*k = -12322. Is n composite?
True
Let y(q) = -q**3 + 17*q**2 - 15*q - 12. Let v be (18 + (-6 - -4))/1. Let r be y(v). Suppose r*z - 651 = 233. Is z composite?
True
Let y = -363 - -517. Suppose -y = -5*j + 551. Suppose 0 = 5*m, 5*b - 254 = 4*m + j. Is b prime?
True
Let o(q) = 645*q**2 - 7*q + 9. Let m be o(3). Let g = 11632 - m. Is g composite?
False
Let z = 280 + -148. Let n = z + -216. Let l = n - -127. Is l composite?
False
Let v = -100 - -84. Let c = v - -227. Is c prime?
True
Suppose 2*r + 2 = 10. Suppose r*o - 1175 = o + 2*w, 0 = 4*o - 3*w - 1567. Is o composite?
True
Let o(y) = -y**3 + y**2 - 63. Let h be o(0). Is 409970/70 + (-6)/h*3 composite?
False
Let p be (-4)/4 + 4 - -8. Suppose -5*s = -79 - p. Suppose 4385 = -13*b + s*b. Is b composite?
False
Suppose 0 = h - 9*h + 19944. Let o = 7784 - 3537. Suppose -5*j = -4*g - o, -4*g = 5*j - h - 1770. Is j a prime number?
False
Let t = 19 - 16. Suppose -2*m + 5*d + 35 = -0*m, m - 10 = d. Suppose t*n = -2*s + 593, m*s + n = -0*n + 1502. Is s a composite number?
True
Let o(u) = u**3 - u**2 + u + 1. Let z(p) = -3*p**3 - 24*p**2 - 2*p + 6. Let x(j) = -o(j) + z(j). Is x(-7) prime?
True
Suppose 0 = -3*n - 6*n + 11988. Let v = 3061 + n. Is v a prime number?
False
Is 6788 + -33 - 2*4/4 composite?
True
Let d be 22/14 + 9/21. Suppose q = -0*n + 5*n - 2045, d*n - 3*q = 818. Is n a prime number?
True
Let x = 11 - 8. Let o(b) = 60*b + 5. Is o(x) composite?
True
Let j(f) = f**3 + f + 125. Let z be j(0). Suppose -z = -10*q + 3105. Is q a composite number?
True
Let y(t) = -2*t**3 + 11*t**2 - 5*t + 4. Let a be y(5). Suppose -30241 = -a*p - 1829. Is p composite?
False
Let u be -1*(3 - 1) + 1256. Suppose 2*c - 452 - u = 0. Is c composite?
False
Let s(g) = -g**2 + 6*g + 8. Suppose 0 = -0*u + 4*u - 4*a - 36, -2*u = 2*a - 6. Let m be s(u). Suppose -10*b + m*b = -266. Is b a prime number?
False
Let g(i) = 105*i**2 + 4*i - 3. Suppose -4*f = -2*f - p - 8, 0 = -2*p - 8. Let j be g(f). Let y = j + -132. Is y prime?
True
Let a be 3 - (-377 + 4/2). Suppose g - 5*p - 284 = 0, 2*p - a = -3*g + 423. Is g a composite number?
False
Suppose -97 = -3*b + 50. Suppose -4*v + 51 + 173 = -3*u, -v + b = u. Is v a prime number?
True
Suppose 751689 = 78*t - 205449. Is t a prime number?
False
Let x(k) = 2*k + 2. Suppose 0 = -5*i - 31 + 11, 2*i = -2*n. Let f be x(n). Suppose -f = -q + 307. Is q composite?
False
Suppose 6*f + 2*d = 9*f - 21567, -2*f - 3*d + 14365 = 0. Is f a prime number?
True
Let i = 48 - 28. Suppose 3*v = -2*v + i. Suppose -v*k - 2*p + 475 = -p, 2*k + p = 239. Is k a prime number?
False
Let m be (-2 - -2)/(-1 + 2). Suppose -2*u + 6*u - 28 = m. Suppose u = -2*n + 5*n - c, -3*c = 3. Is n prime?
True
Let h(b) = -67*b - 46. Let r = -87 + 78. Is h(r) a composite number?
False
Let u be 133/((-9)/45*(-5)/(-3)). Is (u/(-6) - 2)*10/15 composite?
False
Suppose -12 - 18 = -6*y. Suppose 0 = 2*o + y + 15. Is ((-177)/6)/(5/o) a prime number?
True
Let d(a) = -238*a**3 - a