 -b + 947. Is b a composite number?
True
Let n be (-89 - 6)*(-6)/15. Suppose 5*l - n = 12. Suppose 236 = -l*s + 14*s. Is s composite?
False
Suppose 9*x - 27053 = -4364. Is x prime?
True
Is (2 - 7) + 8 - -118 prime?
False
Let z = -1338 - -2425. Is z prime?
True
Is 184154/6 + (-160)/120 prime?
False
Let g(i) = -397*i + 177. Is g(-26) prime?
True
Suppose 2*j - 3*j + b = -389, j + 5*b - 419 = 0. Let d = 605 - j. Is d a composite number?
False
Let w(x) = 28*x. Let u(a) = 168*a + 1. Let h(f) = -6*u(f) + 34*w(f). Is h(-20) a prime number?
False
Suppose -3*d - 42 = -5*j, 1 = -d - 3. Suppose 184 = 2*v + j. Is v prime?
True
Let q(c) = 2*c**3 - 2*c**2 - 4*c - 3. Let z be q(-7). Let p(f) = f**3 - 5*f**2 - 2*f + 8. Let t be p(5). Is (0 - z)/3 + t a prime number?
True
Let b = 47741 + -27972. Is b a composite number?
True
Let z = -1068 - -2132. Is z/6 - 6/(-9) composite?
True
Let a(y) = -y**3 + 36*y**2 + 22*y - 38. Is a(29) a composite number?
True
Suppose -3*j - 9 = -2*j. Let x = j + 13. Is 1150/x + 2/(-4) a prime number?
False
Let a(h) = -h**3 - 7*h**2 + 9*h + 8. Suppose -2 = b - 7. Let w(d) = d**3 - 4*d**2 - 8*d + 6. Let v be w(b). Is a(v) composite?
False
Suppose 0*f = -f - 7. Let u = f + 10. Suppose -2*d + 915 = u*h, 0 = 4*h + 3*d - 2*d - 1225. Is h a composite number?
False
Suppose -3*a + 25 = 2*a. Suppose -a*x + 4*x = 2. Is (4 + x)/(2/59) a prime number?
True
Suppose 0 = -3*u - 5*y, -6*y = 5*u - 3*y. Is (-11077)/(-11) + (u - -2) a composite number?
False
Let k = 235 - 347. Let o = -479 - -290. Let y = k - o. Is y composite?
True
Suppose 0 = k - 1 - 3. Suppose 9 = -k*i + 5. Let r(h) = 92*h**2 + 2*h + 1. Is r(i) a prime number?
False
Let n be (1/(-5))/((-2)/10). Is (-1 + -2 - n) + 635 a composite number?
False
Suppose 0 = 4*s + 2*v - v - 8776, 5*s - 10967 = -2*v. Suppose 5*c - 5*t - s = 0, -5*c - t + 2207 = -3*t. Is c composite?
False
Let n = 70 + -16. Let p = 20 - n. Let x = 67 + p. Is x a prime number?
False
Let r = 51 - -6. Let d = 58 + r. Is d composite?
True
Suppose -22800 = 10*u - 5580. Let p = -823 - u. Is p prime?
False
Suppose 3*i - 121 = -0*p - p, 5*i + 665 = 5*p. Suppose 2*l - p = 4*v, 3*l - 6*l + 205 = 4*v. Is l a prime number?
True
Let g(r) = 36*r**3 + 13*r**2 - 28*r + 36. Is g(5) prime?
True
Let q(k) = k**2 + k. Let o(r) = -49*r**2 + 3*r - 7. Let a(f) = -o(f) + 3*q(f). Is a(-4) a prime number?
True
Let h = 8 - 8. Suppose 3*z - 9*z + 6606 = h. Is z a composite number?
True
Let t be (36/(-42))/(2/(-7)). Suppose -157 = 2*i - t*i. Is i a composite number?
False
Suppose -x + 5239 = -5676. Suppose 44*t - 39*t = x. Is t a prime number?
False
Suppose 11 = 4*y + 3. Suppose -3*d + 3 = 0, 0*d - y*d = w - 93. Is w prime?
False
Suppose 5*x - 64 = -4*l, -2*l + 5 = x - 3. Is 9132/x - 2/(-8) a composite number?
False
Let z(s) = -148*s - 1. Let p be z(-1). Suppose 3*b - p = o + 339, -2*b + 341 = 5*o. Is b a prime number?
True
Suppose -8 + 3 = 2*n - 3*o, 3 = -n + o. Let g be (-4 - n)/(1*2). Suppose g = -5*a + 9*a - 184. Is a prime?
False
Let g(w) be the first derivative of w**5/60 + 5*w**4/12 - w**3/6 - 6*w**2 - 2. Let d(q) be the second derivative of g(q). Is d(7) a prime number?
False
Let u = 5124 + -3300. Suppose 634 - u = -f + 4*t, 5*f + 3*t = 5858. Is f composite?
True
Let a(w) = -w**3. Let x = 19 + -22. Let t(p) = -4*p**3 - 12*p**2 - 15*p - 17. Let f(o) = x*a(o) + t(o). Is f(-12) a composite number?
False
Suppose -816 = -5*c + 859. Let o = 176 - 398. Let l = c + o. Is l a prime number?
True
Suppose 7 - 2 = 5*h, 40 = b + 4*h. Let k = 7 + 18. Let q = b - k. Is q prime?
True
Let w(g) = 2839*g - 18. Let b be w(6). Suppose -4*s + 16971 = -5*u, 4*s = -0*u - 4*u + b. Is s a composite number?
True
Let o(f) = 97*f + 30. Let l(j) = 97*j + 31. Let g(m) = -6*l(m) + 7*o(m). Is g(7) a prime number?
False
Suppose 4*i = i - 4*a + 53079, -a = -3*i + 53079. Is i prime?
False
Let n(p) = -1274*p + 55. Is n(-24) a prime number?
True
Let y = 43627 + -23366. Is y composite?
False
Suppose -145577 = -9*y + 219418. Is y a prime number?
False
Suppose -c + 3 = 0, 6715 = 2*v - 5*c - 0*c. Is v composite?
True
Is (-2)/(-8)*(-244680)/(-30) prime?
True
Let r(l) = l**2 + 4*l - 23. Let p(m) = -m**2 - 5*m + 22. Let q(n) = -2*p(n) - 3*r(n). Is q(-5) prime?
False
Let h(j) be the first derivative of j**3/3 - j**2/2 - 10*j - 5. Let o be h(0). Is 8/20 + (-1906)/o a composite number?
False
Let p(r) = -r**3 + 4*r**2 + 11*r - 13. Suppose 25 = -9*x - 74. Is p(x) a composite number?
True
Let h(n) = -2*n + 3. Let a be (9/(-6))/(-3)*0. Let k be h(a). Is k/(-5) + 2065/25 a composite number?
True
Let j(w) = 5*w**2 + 16*w - 1. Let c(d) = -25*d**2 - 81*d + 5. Let r(o) = 2*c(o) + 11*j(o). Is r(-12) prime?
False
Let h(y) = y**3 - 6*y**2 + 6*y + 1. Let k be h(5). Let p = -12 + k. Is p/(-9) + 759/9 composite?
True
Suppose 0 = 6*y - 3*y - 6. Suppose 4*w - 770 = y*o + o, 5*o = -4*w + 754. Is w a composite number?
False
Let y = 106916 + -50687. Is y a composite number?
True
Is 7714 + 0 - 2/(-2) prime?
False
Let x(w) = 108*w + 1. Let c(l) = 431*l + 5. Let n(t) = 2*c(t) - 9*x(t). Let y be n(-5). Suppose a - y - 404 = 0. Is a a prime number?
False
Let r = 222 - -13669. Is r a prime number?
False
Suppose -3*n + 590 + 106 = 0. Let p be 0 + 3 + n + -5. Let r = 421 - p. Is r a prime number?
True
Suppose -5*z - 28 + 98 = 0. Let f = z - 11. Suppose 2*n - 4*q = 122, 0*q + 58 = n - f*q. Is n prime?
True
Suppose 27*b - 32*b = -125045. Is b a composite number?
True
Let o = 1 - 1. Let f(n) = n**2 + n + 118. Let k be f(o). Let l = 549 - k. Is l composite?
False
Let c be (-1)/((-5104)/5102 - -1). Let b = -79 + 84. Suppose 0 = -b*f - 2*p + c, -2*f + 7*p + 1030 = 3*p. Is f a composite number?
True
Let u(n) = 124*n - 3. Let k(y) = -372*y + 10. Let s(r) = 2*k(r) + 7*u(r). Suppose o + 4*o = 5. Is s(o) composite?
True
Suppose 4*g = -5*d + 699, -5*g - 4*d + 864 = -d. Let x(b) = -32*b - 1. Let k be x(3). Let q = k + g. Is q composite?
True
Suppose 0 = -3*o + 5 + 4. Suppose -o*z = 5*i + z - 1615, 0 = -2*i - 5*z + 646. Is i prime?
False
Suppose 16*x - 85*x + 378741 = 0. Is x composite?
True
Let j(m) = -133*m - 3. Suppose -14*a = -5*a + 117. Is j(a) a composite number?
True
Suppose 3*v + 0*v = -927. Let d = -50 - v. Is d a prime number?
False
Let l be (16/(-6))/2*-3. Suppose 0 = 8*f - 5*f - 6. Suppose l*w - t - 958 - 269 = 0, -f*w - t = -615. Is w prime?
True
Let p = 49124 + -32995. Is p composite?
True
Let a be 1 + -5 + (6 - -4). Let y be a*(-1 - (-20)/12). Suppose 4*q = -m + 136, q - 4*m = -y + 21. Is q composite?
True
Suppose -4*u - 23165 = -9*u. Let k = u + -1759. Suppose 0*f = -6*f + k. Is f a composite number?
False
Let i be 1/(-2 + (-75)/(-39)). Let w = i - -32. Is w a prime number?
True
Let t(m) = -9302*m**3 + 12*m**2 - 3*m - 4. Is t(-1) a composite number?
True
Let y = -57834 + 116891. Is y a composite number?
True
Suppose 5*c + 3*d - 2424 = 793, 0 = -3*c - d + 1927. Is c a prime number?
True
Let l = -17813 + 71394. Is l a prime number?
False
Let o(q) = -18*q + 4 + q**3 + 12*q**2 + 5 + 32*q. Is o(-10) a composite number?
True
Suppose -v = 5 - 16. Suppose 4*o = -16, o - v = -f - 4*f. Suppose 48 + 957 = f*a. Is a prime?
False
Suppose 5*k = 3*k + 10. Suppose -4*f + 2*f - 508 = -2*y, -k*f = -4*y + 1011. Suppose -9*z + y = -2*z. Is z prime?
True
Let a = -32 - -99. Suppose -653 = -2*s - a. Is s a prime number?
True
Suppose 5565 = -4*v - 2*w - w, -5*v - w = 6959. Let y = 2321 + v. Is y a composite number?
False
Let t be -17*(-15)/11 + 16/(-88). Suppose 0 = -5*r - 0 + 20. Suppose -t - 8 = -b + r*l, -l = 3*b - 93. Is b composite?
False
Let g(p) = 3 + 159*p + 1 - 3. Suppose x + 2 = 4. Is g(x) a composite number?
True
Suppose -5*w = -16 - 4. Suppose -78 = w*b - 426. Is b/((3 + -1)/2) a prime number?
False
Let c(j) = j**3 + 5*j**2 - 2*j + 2. Let x be c(5). Let q = -57 + x. Is q prime?
False
Let i be 3/9*(-1 - 2). Is 5526/(-6)*(i + 2/3) a composite number?
False
Let n(a) = -2*a**2 - 3*a + 6. Let i be n(9). Let h = -44 - i. Is h composite?
False
Is (-15)/(-25)*5 - -676 a prime number?
False
Let j be -3 + 1470/(4 - -1). Suppose j = 2*t - 143. Is t a composite number?
True
Is ((-483405)/27)/(-5) - (-32)/144 composite?
False
Is ((-5)/(-30)*-27129)/(3/(-6)) prime?
True
Suppose 4*y - 8 = -3*h + 7*h, h + 2 = 4*y. Suppose t - 5*x - 156 = y, 0