z - 2*a + 487, -6*z + 5*a + 795 = -z. Suppose -z = -d*b - b. Is b a composite number?
True
Let r(y) = 4*y**3 - 3*y**2 + 2*y - 2. Let d(u) = 5*u**3 - 3*u**2 + 2*u - 2. Let l(i) = -3*d(i) + 4*r(i). Let h be l(2). Is h/(-5) + 2640/25 composite?
True
Let m = 2620 + -659. Is m composite?
True
Suppose 0 = 4*s + 2*k - 15770, -15776 = -4*s - 3*k + 7*k. Is s prime?
True
Let n(z) = -7*z**2 + 32. Let f(w) = -w + 1. Let k(j) = 5*f(j) - n(j). Is k(8) prime?
False
Let b(h) = 849*h + 26. Is b(3) composite?
True
Let m(w) = -4*w - 5 - 3*w + 3*w + 0*w**3 - w**3 - 2*w**2. Suppose 4*v = -4*f - 32, -3*v = -0*f - 2*f + 14. Is m(v) a prime number?
True
Let r(l) = -640*l**3 - 3*l**2 - 4*l + 13. Is r(-2) prime?
False
Let f(n) = -145*n**2 + n - 2. Let w be f(1). Let v be ((-22)/(-3))/(2/(-27)). Let b = v - w. Is b composite?
False
Let w(j) = 961*j**3 + 11*j**2 - 17*j - 4. Is w(2) prime?
False
Let o = 11887 + -6582. Is o composite?
True
Suppose -56181 + 10034 = -5*g + k, 3*k + 9235 = g. Is g a composite number?
True
Let u(a) = 15*a**3 - 28*a**2 + 179*a - 43. Is u(15) a prime number?
False
Let u(v) = 174*v - 47. Let r(w) = -348*w + 93. Let a(l) = 6*r(l) + 11*u(l). Is a(-4) prime?
False
Let v(f) = 7*f**2 + 2 + 0 + 3 - 12*f - 2. Is v(-8) composite?
False
Suppose t - 4*o + 3 = 0, 2*t + 2*o + 0*o - 14 = 0. Suppose -2*p + t*p - 691 = -2*b, 4*p + 994 = 3*b. Let z = b - 40. Is z prime?
False
Suppose 0 = -3*v - k + 4711, v - 3*k = -3*v + 6290. Is v composite?
False
Let x(v) be the third derivative of v**6/120 + 7*v**5/30 - 5*v**4/8 + 10*v**3/3 + 7*v**2. Let d be x(-15). Is (-519)/(-12) - 5/d composite?
False
Let o(y) be the first derivative of -y**2/2 + 9*y - 6. Let g be o(4). Suppose 0 = -5*i + 2*i + 4*u + 1465, 5*i - g*u - 2440 = 0. Is i composite?
False
Let p = 13246 + -5189. Suppose -5*l + m = p - 582, m - 5980 = 4*l. Is l/(-7) + (-20)/35 composite?
True
Let c(k) = -5*k + 3. Let h be c(-5). Suppose -2*l = -l - 5*g - h, 38 = 2*l - g. Suppose 0 = l*b - 20*b + 794. Is b a composite number?
False
Suppose 16 - 22 = -2*m. Suppose 5*v + 1422 = -4*g + 4353, v + m*g - 595 = 0. Is v prime?
False
Suppose -5*g - 2*b = -4*b - 50031, -2*b = -g + 10003. Is g a prime number?
True
Suppose -7776 = -14*o + 1282. Is o prime?
True
Suppose 4*t = 3*b + 1174, 5*t - 2*t + 4*b = 893. Suppose -5*g = -2*i + 4*i - 593, 0 = -i - 4*g + t. Is i prime?
False
Suppose -3*i = -0*g - g, -3*g = 5*i - 42. Suppose -c = 5*w - 2, 0*c - w = 3*c + 8. Is 1905/g - (-2)/c composite?
False
Let s be 4/(-8) + 9/(-6). Let f be 1 - -32 - s/1. Let k = f - 4. Is k composite?
False
Suppose -v = 291 - 1808. Is v prime?
False
Is (-1)/(-4) + -8 + 81522/24 prime?
True
Let h(g) = 9*g**2 + 2*g + 1. Let j(z) = -10*z**2 - z - 2. Let d(n) = 7*h(n) + 6*j(n). Let c be (-11 - 1)/4*(-16)/(-6). Is d(c) composite?
True
Let f(z) = 55*z + 30 + 17 + 1. Is f(25) prime?
True
Let d = 5063 - 74. Is d a prime number?
False
Let d(b) = -2*b - 3. Let y be d(0). Is 959/14*(-1 - y)*5 a prime number?
False
Let i(r) = -11*r - 3*r**2 + 10 + 2*r**2 + 0*r**2 + 4*r. Let d be i(-8). Suppose d*a - 382 = -0*a. Is a a prime number?
True
Suppose 2*q + 20 = -10. Let u be 2322/(-30) - 6/q. Is u/(-5) - 14/35 a prime number?
False
Let b(h) = 2*h**2 - h - 1. Let r(x) = 3*x**2 + 11*x - 16. Let t(n) = 3*b(n) + r(n). Is t(-6) prime?
True
Let x(q) = q**3 - 4*q**2 - 3*q - 7. Let d be x(5). Suppose -d*w - 2*l + 15 = -13, 3*l - 3 = 2*w. Suppose w*v - 3*v = 5*r - 2036, 4*r - 1639 = -v. Is r prime?
True
Let g = -566 - -1087. Is g a prime number?
True
Let r(z) = 4*z**2 + 5*z - 31. Suppose 3*d - 9 = 3, -3*d = 5*k + 38. Is r(k) a composite number?
True
Let t(u) = 23*u**2 - 43*u - 323. Is t(-9) composite?
True
Let d be (-8 + 7)/((-2)/8). Let g be 1/(d + 9876/(-2468)). Let k = -246 - g. Is k a prime number?
False
Let w(j) = 261*j. Let q be w(-1). Let s be 1/5 - (-549)/5. Let h = s - q. Is h a prime number?
False
Let z(n) = 15*n + 77. Is z(28) prime?
False
Let m(n) = -n**3 - 5*n**2 + 5*n. Let g be m(-6). Suppose g*a - 2*p = 2*a + 3472, 3480 = 4*a - 4*p. Is a a composite number?
True
Suppose 0 = -47*f + 37*f + 258910. Is f prime?
False
Let j be (1 + 2021*1/(-3))*-3. Suppose 0 = 13*t + j - 10221. Is t a composite number?
False
Suppose 18*m + 29*m - 1167151 = 0. Is m a prime number?
False
Is 250065/(-18)*(-6)/15 a prime number?
True
Suppose 15*f + 10 = 17*f. Suppose l = -2*l - 6, f*c = -2*l + 2451. Is c a composite number?
False
Let o be ((-2)/4)/((-3)/6). Let z be o/7 - 48/(-7). Suppose u + 4*j = 8*j + 7, -u - 3*j + z = 0. Is u a prime number?
True
Let o(f) = -f**2 + 1. Let h(n) = 12*n**2 - 5*n + 4. Let u(x) = h(x) + o(x). Let q be u(6). Let j = 780 - q. Is j composite?
False
Suppose -15*f - 46286 = 11734. Let i = f + 6147. Is i prime?
False
Suppose -6*h + 15648 = 1482. Is h a composite number?
True
Let s(j) = 327*j - 2. Let i be s(-3). Let h = -352 - i. Is h composite?
False
Suppose v = -2*i - 187, -v + 2*i - 18 = 169. Let g = 28 - 52. Let f = g - v. Is f composite?
False
Suppose -5*d - 7*u + 2*u + 8795 = 0, 0 = 3*d + 5*u - 5277. Is d a prime number?
True
Suppose -15*x - 7726 = -16*x. Is x a composite number?
True
Let y = -14 - -16. Suppose y*r = 739 + 287. Suppose p + 4*p = -3*q + 620, 4*p = q + r. Is p prime?
True
Let i = -2362 - 1708. Let q = -2900 - i. Suppose 5*n - u = q, -n - 4*u + 213 = -0*n. Is n a prime number?
True
Suppose -6511 - 74 = -3*k. Is k a composite number?
True
Let y be 4/6 - (-1730)/15. Suppose 70 = 6*z - y. Is z composite?
False
Suppose -6*f + 12 = -2*f. Suppose 13 = -f*q + 208. Is q composite?
True
Let d(f) = -f**3 - 4*f**2 - 4*f - 3. Let h be d(-3). Suppose 3*t + 2*t - 1535 = h. Is t prime?
True
Let y(u) = -u**3 + 16*u**2 - 14*u - 19. Let p be y(15). Is (4/p)/(-2 + 1293/647) a prime number?
True
Suppose -7*a + 10944 = 2887. Is a a composite number?
False
Let z = 616 - -276. Suppose -z = -6*u + 2894. Is u prime?
True
Suppose 4*c = x + 15, 3*x + c - 25 = -c. Suppose -2*p - 1 + x = 0. Suppose 0 = -3*h + 2*q - 7*q + 158, -h - p*q + 53 = 0. Is h a composite number?
True
Let o(j) = 122*j**2 + 6*j + 31. Is o(-9) composite?
False
Let y be 2*(0 + 1*2). Let n(i) = 2 - 1 - 511*i + 541*i. Is n(y) prime?
False
Suppose -6*r = 4*r - 20. Suppose -4*l + 1056 = 2*c, 2*c = r*l - 56 - 478. Is l prime?
False
Suppose 4*k = -304 + 48. Let b = -30 - k. Is 8*b/4 + 1 a composite number?
True
Suppose -18 = -4*g + 2. Let f = 272 - g. Is f composite?
True
Let q = 83 + -71. Is 718/8 - q/32*2 composite?
False
Suppose t - 2*k - 2*k + 5 = 0, -t + k = -1. Suppose -3*v - p = -332, t*v = -5*p - 34 + 386. Is v prime?
True
Let x be ((-4)/6)/((-8)/36). Let s be 5 + -2 - 0/x. Suppose -5*r - 5*m + 0*m + 145 = 0, 2*r - 38 = s*m. Is r a prime number?
False
Suppose -3 = -3*r, 0*g + 25 = -2*g + 5*r. Let m(y) = 4*y**2 + 14*y - 3. Let w be m(g). Is (-10)/(-35) + w/7 composite?
False
Let t = -22 + 11. Let q = t - 12. Let v = 48 + q. Is v prime?
False
Let l(r) = 1453*r - 3. Let i be l(5). Let m = -4263 + i. Is m a composite number?
False
Is (8 - 3 - 1)*-1 - -107 prime?
True
Suppose 0 = 5*j + f + 4477, -3*j + 0*f = 2*f + 2689. Let l = 34 - j. Is l a prime number?
True
Suppose -31*r + 28*r + 16629 = -3*h, -4*r = -2*h - 22164. Is r a prime number?
False
Suppose 0 = 2*y - 3*d + 671 - 210, -5*d = -25. Let i = 605 + y. Is i a composite number?
True
Let s(p) = 10*p**2 + p. Let k be s(-1). Let i = -4 + k. Let n = 24 - i. Is n a composite number?
False
Suppose -2*s = 2*v - s + 6, v = 4*s - 3. Is (-3 - v - (0 - 1399)) + 0 composite?
False
Let g(o) = -o**3 - 3*o**2 - 3*o + 2. Let r be g(-2). Let s be -5*1/(2 + -3). Suppose -s*l - 368 = -r*n - l, n - 83 = 4*l. Is n prime?
False
Let a = -33 + 30. Let s be 2 - -1 - (0 - a). Suppose s*k + 2*k + 3*b - 193 = 0, -3*k + 2*b = -257. Is k a prime number?
True
Suppose 0 = -14*y + 7*y + 13223. Is y prime?
True
Suppose -1 = -5*n + 29. Let l(p) = 60*p. Let a be l(n). Let t = a + -181. Is t a prime number?
True
Suppose -r - 179 = m + 4*m, -r - 179 = -5*m. Let f = -256 - r. Let p = f - -111. Is p prime?
False
Let k(f) = 2499*f + 46. Is k(7) a prime number?
True
Suppose 3*i - 2*l + 61 = 19, l + 45 = -4*i. Suppose 6 = -5*d + y, -4*d + 12 = -10*y + 5*y. Is d*-2*(-213)/i a composite number?
False
Let d(f) = 3*f**2 - 2*f + 4741. Let p be d(0). Suppose p = 3*y + 1102. Is y a prime number?
