 = -2*h - 3*n + 5*n + 70, 2*n + l = 5*h. Is h prime?
True
Suppose -o = -4*d + 263, 5 = -5*d - 2*o + 350. Let h = d - 48. Is h composite?
False
Let u(p) be the second derivative of -p**5/20 + p**4/3 + p**3/6 - p**2/2 + 3*p. Is u(3) a prime number?
True
Suppose u = 6*u - 10. Suppose 2 = u*l - 4. Suppose 4*h - 328 = -5*w, -3*h + l*w = -0*w - 219. Is h prime?
False
Let l = 47 - -57. Let n be 0 + -1 + (l - -2). Suppose 2*h = -3*h + n. Is h a prime number?
False
Let x be 716/(-10) - (-4)/(-10). Let n be 92/9 - (-16)/x. Let b = 43 + n. Is b a composite number?
False
Suppose o = 5*o - 388. Is o a composite number?
False
Suppose 10*t - t - 22311 = 0. Is t a prime number?
False
Suppose -5*k - 56 = -226. Suppose -8*c - k = -9*c. Is c composite?
True
Let t be (-24)/(-14) - (-6)/21. Suppose -4*c = -4*j - 8, 0 = 3*j + 2*j - t*c + 4. Is (j + -1)/((-4)/220) a composite number?
True
Let g be (28/35)/(1/5). Suppose -g*l = l - 555. Is l a prime number?
False
Suppose -5*c + 0*c = -20. Suppose -376 = -4*t - 4*l, -3*l + c*l + 302 = 3*t. Let q = t - 62. Is q composite?
False
Suppose -2*g = 2*g - 5924. Is g a prime number?
True
Let o(f) = -f**2 + 3*f + 2. Suppose -3*q + 20 = 2*q. Let u be o(q). Is 14*((-3)/u - -2) a composite number?
True
Let h(z) = 4*z**2 - 10*z - 1. Is h(9) a composite number?
False
Let d = -123 + 244. Is d a prime number?
False
Suppose 4*c = 3*w + 15 - 0, 4*c + 4*w = -20. Suppose -3*k + 142 = -n, 2*n = -c*k + 4*k - 190. Is k prime?
True
Is (182/(-8))/(5/(-20)) composite?
True
Suppose 81 + 393 = 3*d. Is d composite?
True
Let c(o) = -o**2 - 5*o - 1. Let i be c(-4). Suppose 2*j - 5*j = 4*s - 27, 0 = 3*j - i*s - 48. Suppose -k + j = -24. Is k a prime number?
True
Let g(z) = -178*z. Is g(-1) a prime number?
False
Suppose -584 = -5*d + 81. Suppose -5*u = -d - 37. Is u prime?
False
Suppose 0 = 5*y - y - 12. Suppose -y*x = -100 - 38. Is x composite?
True
Let m be (0 + 2)/(12/66). Suppose -8*s = -m*s + 63. Is s a prime number?
False
Suppose 10 = 3*n - 5*n. Let h(v) = -v**2 - 7*v - 3. Let k be h(n). Let f = k + -5. Is f a composite number?
False
Suppose 2*a = 2*c + 580, -5*a + 2*c + 429 + 1018 = 0. Is a composite?
True
Suppose 2*g = 5*g - 15. Suppose g*n = -r - 35, -3*r + 0*n = -n + 73. Let k = 48 + r. Is k a composite number?
False
Suppose 0 = -3*r + 6*r + 9. Is (-2 - r)/(4/940) prime?
False
Let d(a) be the first derivative of 262*a**3/3 + 1. Let n be d(1). Suppose 0 = 5*v - n - 553. Is v prime?
True
Is 1/2 + (-3554)/(-4) prime?
False
Let f be 108/14 - 2/(-7). Let z(p) = -p + 1. Let g(k) = k - 4. Let d(y) = g(y) - z(y). Is d(f) composite?
False
Let a(k) = k**3 - 4*k**2 + 2*k - 3. Let o be a(5). Let c = o + -13. Is c composite?
False
Suppose z - 2853 = -3*d, 3*z - 3*d = -0*d + 8511. Is z a prime number?
False
Let p be -5*3/(45/(-93)). Let q(i) = i - 26. Let l be q(0). Let c = p - l. Is c composite?
True
Let k(d) = d**2 + d - 11. Let v(c) = -c - 2. Let r be v(8). Let h = r - -19. Is k(h) prime?
True
Suppose -4 - 8 = -2*z. Suppose 5*f - 5 = 0, z*a - 5*a - 2*f = 4. Is 153/a*(-28)/(-6) a prime number?
False
Suppose -2*o - 4*t = 0, 4*t - 22 = o - 4. Let q = -2 - o. Suppose 0*v + 19 = f + v, -q*f - v = -64. Is f a prime number?
False
Suppose -d = 3*d. Suppose d = 2*g - 2*o - 154, -4*o = -g - 0*o + 77. Suppose 0 = w - 44 - g. Is w composite?
True
Suppose -3*l + 4624 = -2*r + 979, -9 = 3*r. Is l prime?
True
Let f(y) = y**2 - y. Let o(h) = h**2 - 5*h - 4. Let a(z) = 2*f(z) + o(z). Is a(7) prime?
False
Suppose -4*h = -5*u + 22, -2*h = -5*u + 2 + 14. Suppose 0 = 5*l + t + 35, 5*l + u*t + 19 = -21. Is l*(87/(-6) - 0) prime?
False
Suppose -2*p - 5 = -15, 4*i = -2*p + 10182. Is i a prime number?
True
Suppose -4*l - 10 = l. Is l/(2 + (-648)/322) composite?
True
Suppose -q + 4*j + 135 = -0*q, -3*q = -5*j - 391. Is q composite?
False
Let y = 8 + -5. Is y composite?
False
Suppose -4*l = 5*s - 102, 7*s - 60 = 3*s + 4*l. Suppose 0*n + 2*n = -h + s, -4*n + 40 = h. Is n composite?
False
Let l = -3185 + 7048. Is l a prime number?
True
Is (-7)/7 + (-828)/(-2) composite?
True
Suppose 3*o + 2 = 5*x + 11, o = 4*x + 10. Let n(g) = -51*g**3 + 2*g**2 + 2*g + 3. Is n(o) a composite number?
True
Is -1*262*8/(-16) composite?
False
Suppose -28 = -5*k - 18. Suppose k*i = -3*i + 195. Is i composite?
True
Suppose 0 = -5*l + 4*l + 10. Let r = -11 - -6. Let c = l - r. Is c a prime number?
False
Suppose -2*m - 2*m = 28. Let a(y) = 2*y**2 + 9*y - 8. Let h be a(m). Suppose -5*o = 3*b - 3*o - 85, -b + h = o. Is b a prime number?
True
Suppose -3*t = 4*i - 2458, -5*t - 429 = -i + 174. Is i prime?
True
Let x(i) be the third derivative of i**5/60 - i**4/6 - i**2. Let n be x(4). Is (-79)/(n - -1 - 2) prime?
True
Let p = -5 + 7. Suppose -l = -p*l + 373. Is l composite?
False
Suppose 31 = 5*z - 9. Let k(a) = 2*a**2 + 12 + 1 - 3*a - 6 - 7*a. Is k(z) prime?
False
Suppose 4*v + i = 1566, -3*v + 1961 = 2*v + 3*i. Let u = v - 276. Is u a prime number?
False
Suppose -5*z + 6902 = -0*n + 3*n, z - 1378 = -3*n. Is z a prime number?
True
Let d(s) = -s**2 - 9*s - 10. Let v be d(-7). Let p = v + -8. Let c(q) = q**3 + 5*q**2 - q + 3. Is c(p) a composite number?
False
Let g(q) = q + 7. Let d be g(8). Let l = 30 - d. Is 6/l - (-63)/5 a prime number?
True
Let a(p) = -11*p. Suppose -3*b = -0 - 6. Suppose 2*h + b*h + 4 = 0. Is a(h) a composite number?
False
Let k(j) be the third derivative of j**4/6 + j**3/6 + 2*j**2. Let w(o) = -3*o - 2. Let x(r) = -3*k(r) - 2*w(r). Is x(-6) composite?
False
Let n(t) = 76*t**2 + 5. Is n(-3) composite?
True
Let n be 21*159 - (0 - 0). Suppose 5*d - n = -0*l - 2*l, l - 1335 = -2*d. Suppose 3*r + 0*r = d. Is r a prime number?
True
Suppose 3*q - 11 + 2 = 0. Suppose 0 = -0*b - 5*b - 3*g - 17, -q*b + 13 = -4*g. Let f(w) = -160*w**3 + 2*w**2 + w. Is f(b) composite?
True
Suppose -d + 1 = 5. Is 156/(-8)*d - -1 prime?
True
Is (1118 - 4) + 4 + -3*1 composite?
True
Let i(a) = -4*a**3 + 5*a**2 - 3*a - 1. Let v be i(3). Let r = -34 - v. Is r composite?
True
Suppose b + 3*p = 334, 5*b - 3*p - 1935 = -355. Is b a composite number?
True
Is (-2)/(-7) - 25388/(-28) a prime number?
True
Let c = -6 - -8. Let u(n) = 7*n**3 - n**2 + n - 1. Is u(c) a composite number?
False
Let v = -7 + 38. Is v a composite number?
False
Let l be ((-12)/(-8))/((-2)/4). Let z be 83/l - 2/6. Let n = z - -117. Is n a composite number?
False
Suppose 0 = 4*n - 1137 - 631. Suppose -83 = -4*o + 3*c + 364, 0 = -4*o - 2*c + n. Is o composite?
True
Let y be 36*(-1)/(6/4). Let v be (-4)/6 + y/(-9). Suppose 4*b + 6*w - 71 = w, b - 20 = -v*w. Is b a prime number?
False
Is 4/(-1 + -3)*-311 a prime number?
True
Is 86*885/70 - (-2)/(-7) composite?
False
Let o(x) = 2*x**3 + 43*x**2 - 6*x - 17. Is o(-18) a composite number?
True
Let z be -2 - (10/(-1) + 2). Let a(w) = 3*w**2 + 4*w - 9. Is a(z) composite?
True
Suppose 0 = 3*u - u - 10. Suppose -u*t - 6805 = -5*i, -i + 1361 = -3*t - 2*t. Is i a composite number?
False
Let i(b) = -b**2 - 10*b - 9. Let t be i(-9). Suppose t*p + 204 = 4*p. Is p prime?
False
Let m(s) = -s**3 - 14*s**2 - 14*s + 19. Is m(-14) prime?
False
Let s(d) = d**3 + 10*d**2 - 8*d - 9. Let p be s(-9). Suppose 2*g + p = 476. Is g a prime number?
False
Let a(d) = -d. Let n be a(-4). Suppose -2*i - 13 = -p + i, 3*p = -n*i + 13. Is p composite?
False
Is 156 + ((-1)/(-4) - (-6)/8) a prime number?
True
Let h(y) = -y**3 + 11*y**2 + 17*y - 17. Let m be h(12). Suppose 0 = z + 2*d - 121, z - 2*d = -m + 176. Is z a prime number?
True
Let d(c) = c**2 - 5*c + 12. Let a be d(8). Suppose -5*o = -2*b + 154, 0 = 3*b + o - 212 - a. Is b prime?
False
Let n = -1 + -13. Let o be (n/(-6))/(4/396). Suppose -f = 2*f - o. Is f composite?
True
Let r(u) = -u**3 + 6. Let b be r(0). Let y = b - -3. Is y a composite number?
True
Let s be 470/(-20)*1*-2. Is -3 + (s - 3/(-1)) a composite number?
False
Let v(p) = -41*p**2 - 21*p + 25. Let y(d) = -10*d**2 - 5*d + 6. Let q(m) = 2*v(m) - 9*y(m). Is q(15) a composite number?
True
Let v(l) = -1. Let g(p) = -356*p**2 + 2*p + 5. Let u(k) = -g(k) - 6*v(k). Let d be u(1). Suppose -3*a - d = -7*a + z, -4*z - 352 = -4*a. Is a a prime number?
True
Let f be (-2)/4 - (-202)/4. Suppose -f - 42 = -4*j. Is j composite?
False
Suppose 3 + 3 = -2*q. Let s be q/(-6) + (-3)/2. Is 10*(2/s)/(-2) prime?
False
Let i(r) = -r**3 + 4*r**2 