2*j. Is j composite?
True
Let w = 20 + -13. Let m = w + -5. Suppose -m*u + 68 = -6. Is u a prime number?
True
Suppose 7113 = -23*w + 26*w. Is w composite?
False
Suppose 5*d - 2*q - 1017 = 0, -d - 3*d = -q - 816. Is d prime?
False
Suppose -4*z + z = -6. Let x(v) = v**3 + 7*v**z + v - 10 + 0*v - 12*v. Is x(-8) a prime number?
False
Suppose -4*j = 2*s - 504, -3*s - j - 255 = -4*s. Is s composite?
True
Let w be ((-6)/4)/(5/(-10)). Is -1*-18*w - 1 a composite number?
False
Let s = 76 - -37. Is s a prime number?
True
Is -1*(12/(-2) - 181) prime?
False
Suppose y + 4 = 2*y. Suppose -y*w - 38 = -186. Is w a composite number?
False
Let l(r) = r**3 - 13*r**2 - 20*r + 5. Is l(15) a prime number?
False
Suppose -g + 0*b + 4*b = -373, -4*g - 3*b = -1530. Is g prime?
False
Suppose 0*t - 5*t + 285 = 0. Suppose g + t = 2*g. Is g a prime number?
False
Let h be (-30)/36 - (-1)/(-6). Let y = 47 + h. Is y composite?
True
Let g be (2 - 3/9)*3. Let f = -9 + g. Let a = f - -89. Is a a prime number?
False
Let m = 106 - -53. Is 2*(m/(-2))/(-3) prime?
True
Let p(y) be the first derivative of 65*y**2/2 + 6*y + 1. Is p(5) a composite number?
False
Suppose 0 = -5*i + 2*t + 13, 0*i + 2*i + 5*t + 18 = 0. Is (57*i)/3 + 0 a composite number?
False
Suppose -k - 2826 = -7*k. Is k composite?
True
Let q = -3 - -3. Is -46*(-1 - 0 - q) a prime number?
False
Let v be ((-621)/(-2))/(2/(-24)). Is v/(-10) + (-28)/(-70) composite?
False
Let v = -666 + 1177. Is v composite?
True
Let w(u) = -u + 3. Let n be w(7). Let v = n + 10. Is v prime?
False
Let x = 2418 - 1379. Is x composite?
False
Let n(h) = -h**3 - 3*h**2 + 3*h - 2. Let x be n(-4). Suppose 0 = 4*i - 5*f - 33, x*i - 2*f - 20 = -4. Is i composite?
False
Let f(g) be the second derivative of g**4/12 + 5*g**3/6 + 3*g**2/2 + 2*g. Let b be f(-5). Suppose -31 = -b*s + 8. Is s a prime number?
True
Suppose c + 17 = 84. Is c a composite number?
False
Let v = 86 + 467. Let r = 187 + v. Suppose -2*u - w + 95 + r = 0, 5*w = -15. Is u a prime number?
True
Let v(o) = o**2 - 8*o - 6. Let d(l) = -l - 10. Suppose r - 2 = -7. Let k be d(r). Is v(k) composite?
False
Suppose m - 625 = 2*w, 2*w + 3*w = 2*m - 1247. Is m prime?
True
Let h = -1 - -5. Suppose 3*g + 15 = 2*q, -4*q + 3*q + 5*g + h = 0. Is q a composite number?
True
Let n be 738/8 + 12/16. Suppose -2*d = -5*d + n. Is d a prime number?
True
Let i(y) = 2*y**3 - 4*y**2 + 3*y + 1. Let q be (1 - 1 - -1) + 3. Is i(q) a prime number?
False
Let o(k) = -2 + 2 - 10 - 41*k - 3. Is o(-6) a composite number?
False
Let j = 15 - 25. Suppose 3*k + 16 = 2*g, -5*k - 4*g + 5*g = 29. Is (4/k)/(j/1155) composite?
True
Suppose 10 = -0*l - 2*l, -70 = 5*g + 5*l. Let s(n) = -n**2 - 8*n + 6. Let k be s(g). Is k + (27 - (3 - 0)) composite?
True
Is (1 - 0)*(306 + 1) composite?
False
Suppose p - 2 = 1. Suppose -p*j + 188 = 5*z - 150, -2*j = 3*z - 224. Is j a prime number?
False
Let c(r) = -26*r + 13. Is c(-6) prime?
False
Let k = -19 + 37. Let w = 97 - k. Is w prime?
True
Let h be (-2 + 2)/(1 - 0). Suppose -3*l + l - 30 = h. Let o = l - -34. Is o prime?
True
Let u(g) = 5*g + 5. Let n(d) = -d**3 + 8*d**2 + 10*d - 3. Let s be n(9). Is u(s) a composite number?
True
Let v(w) = 12*w**2 + w - 1. Let c be v(1). Is 1*(2 - c/(-1)) a composite number?
True
Suppose -2*o = 2*o + 12. Let n(y) = -19*y - 4. Is n(o) a composite number?
False
Suppose -t - 14 = -2*t. Suppose -5*x - t = 3*p - 63, -5*x = -3*p + 89. Is p composite?
False
Let l = 15940 + -6279. Is l a prime number?
True
Let j = 6 - 1. Let s be 322/4 + 7/(-14). Suppose -3*a = j*m - s, -6 = m + 2*a - 15. Is m a prime number?
True
Suppose i - 4*n = -0*i + 903, 2716 = 3*i - 5*n. Is i composite?
False
Let q = 0 + -2. Suppose 0*c - 84 = -4*a + 4*c, -3*c + 77 = 4*a. Is a + q*(-1)/(-2) prime?
True
Let o be -1 - (-2 + 6 - 442). Suppose 0 = 3*l - 34 - o. Is l a composite number?
False
Let c(m) = 9*m**2 + 10*m. Is c(-7) prime?
False
Suppose 941 = 4*u + 3*s - 430, 1022 = 3*u + s. Is u prime?
False
Let m(v) be the second derivative of 0 - 1/12*v**4 + 4/3*v**3 - 2*v - 3/2*v**2. Is m(4) a composite number?
False
Suppose -3*q + q - 10 = 0. Let x = q + 8. Is 2 + (21 - 0/x) a prime number?
True
Let y(m) = -m - 4 + m**3 + 4 - 1. Is y(5) composite?
True
Let k be (-48)/(-20)*600/9. Let t = 239 - k. Is t prime?
True
Suppose 3*j - 5*p = 3171, -3*j - 2*p - 2*p = -3171. Is j composite?
True
Let j(q) be the first derivative of 5*q**2/2 - q - 3. Is j(3) a prime number?
False
Let r(u) = 187*u - 23. Is r(10) composite?
False
Let a be 2/3*105/(-10). Let j be 1/2 - 178/4. Let o = a - j. Is o a prime number?
True
Suppose -3*s - 2 + 47 = 0. Let y be (-3)/s + 11/5. Suppose -4*f + 51 = x - 4, y*f - 115 = -3*x. Is x a composite number?
True
Let n(j) = j. Let t(a) = -6*a + 1. Let f(s) = -3*n(s) - t(s). Let o be f(1). Suppose 2*r = o*w - 52, 4*w + 4*r - 37 = 27. Is w composite?
True
Let o(k) = -k**3 + 9*k**2. Let i be o(9). Let t be 60 + 3 + i/3. Suppose 7 + t = 5*y. Is y composite?
True
Let d(t) = -t + 65. Let z(j) = 6*j - 325. Let v(p) = 11*d(p) + 2*z(p). Is v(0) composite?
True
Let z(m) = 392*m**3 - 2*m**2 + 4*m - 1. Is z(3) a composite number?
True
Suppose 543 + 36 = m - 4*a, 4*a - 8 = 0. Is m composite?
False
Suppose -190 = 4*r + r. Let u = r - -72. Is u a composite number?
True
Let k be (-2)/(-6) + (-1996)/12. Let c = 285 + k. Suppose 5*l - c = 2*g, -3*l - 2*g + 65 = -0. Is l composite?
False
Let f(m) = 284*m**2 + 2. Is f(-2) a prime number?
False
Is 4 - (-3822)/2*42/14 prime?
True
Suppose 5*y + 3*j = 4*y + 142, 5*j = -4*y + 533. Suppose 0 = -3*s + y + 254. Is s composite?
False
Let f = 466 - 255. Is f a prime number?
True
Let j(d) = 7*d**2 - 18*d + 10. Let q(l) = -10 + 17*l - 2*l**2 + 5*l**2 - 9*l**2. Let o(p) = -4*j(p) - 5*q(p). Is o(8) composite?
True
Let w = 0 + -10. Let r be (-52)/w - 4/20. Suppose -5*d - r = 4*y - 92, 2*d + 5*y - 28 = 0. Is d composite?
False
Suppose -2*u - u = -795. Suppose -i = -6*i + 5*d + u, 106 = 2*i - d. Is i prime?
True
Let b(f) = 38*f + 6. Let x be b(5). Suppose 0 = -3*u + 1481 + x. Is u a prime number?
False
Let b be (3/(-2))/((-5)/(-20)). Is 1/(-3) + (-44)/b prime?
True
Let v be 1 + 1/2*-4. Is (-38 + -4)/(v*2) prime?
False
Suppose 0 = 3*b - 13*b + 15410. Is b a composite number?
True
Suppose -7*d + 56 = -3*d. Is (3 - 2) + d*3 composite?
False
Let s(c) = c**2 + 10*c - 9. Is s(10) prime?
True
Suppose -3*b = 4 - 16, 0 = -2*m - 4*b + 8. Let f = m + 7. Suppose t = -2*k + 59, 137 = f*t - 0*t - 4*k. Is t prime?
False
Suppose -2*q + 18 = -72. Suppose 0 = 5*z + 490 - q. Let a = 60 - z. Is a prime?
True
Suppose -2*l = -4*p - 131 + 19, -188 = -4*l - p. Suppose -6*d + 3*d = -l. Let m = d + -2. Is m a prime number?
False
Let a(h) = -3*h + 1 + h - h**3 - 2. Let u(y) = y**3 + 11*y**2 - 2*y - 24. Let q be u(-11). Is a(q) a composite number?
False
Let f = 6 + -4. Suppose 39 = -f*b + 3*b. Is b composite?
True
Suppose 1 = 3*b - 14. Suppose b*p + 80 = 5*c, -c + 5*p + 32 = -0*p. Suppose -5*y + 2*y = -5*r + 253, 3*y - c = 0. Is r composite?
False
Let a = -747 - -1393. Is a*(-2 + 10/4) a prime number?
False
Let w(u) = 3*u**2 + 4*u + 3. Let r(v) = -4*v**2 - 4*v - 2. Let l(t) = -4*r(t) - 5*w(t). Is l(-6) prime?
True
Let r(o) = o**3 + 3*o**2 - 14*o + 6. Let u be r(6). Suppose 3*i - 166 - u = -2*p, 4*i = 3*p - 601. Is p prime?
False
Let c = -234 - -391. Is c a composite number?
False
Let y be (-2)/(-7) + (-9976)/28. Let k = y - -559. Is k prime?
False
Let q be (-207)/(-5) + 8/(-20). Let s = 78 - q. Is s a prime number?
True
Let l(d) = -3*d + 10. Let i(p) = p - 1. Let n(v) = -v - 17. Let g be n(-12). Let j(h) = g*i(h) - l(h). Is j(-4) a prime number?
True
Suppose -3*a = -5*a + 4*k + 20, -4*a + 7 = 3*k. Suppose a = -g + 3*g. Suppose -3*q - g*q = -195. Is q prime?
False
Suppose 4*a - 72 - 160 = 0. Suppose -91 = -z + a. Is z composite?
False
Let a(p) = -p**3 - 12*p**2 - 2*p + 10. Is a(-13) composite?
True
Let o(d) = -7*d + 8. Let q(u) = -15*u + 17. Let i(n) = -13*o(n) + 6*q(n). Let r be i(4). Suppose x + 37 = r*m, 3*m - 2*x = 14 + 41. Is m a prime number?
True
Let g = 100 + -48. Let s = g - 15. Is s composite?
False
Suppose 0 = l - 115 - 150. Is l composite?
True
Let n(g) = g - 4. Let u be n(5). Let w(d) = u - 8*d + 0 - 17*d. Is w(-1) a composite number?
True
Let s(f) be the third derivative of -f**4/2