. Is j a prime number?
False
Suppose 0 = -c - 5*k + 514, -4*c - 1198 = k - 3216. Let n = c + -341. Is n prime?
True
Let w = -249 + 552. Is w composite?
True
Let i(h) = -h**2 + 56. Let u be i(0). Let k be (u/(-10))/((-2)/20). Suppose 2*r = k + 12. Is r a composite number?
True
Suppose -40 = -2*s - 2*y, -s + y + 60 = 2*s. Let h(p) = p**2 - 3*p - 2. Let z be h(4). Suppose -z*a = -4*a + s. Is a a composite number?
True
Is -1*3847*(-8)/8 - 0 composite?
False
Suppose 31 = 2*k - 471. Is k a composite number?
False
Let x(o) = o**3 - 2*o**2 + 3*o - 1. Let k be x(2). Let s(d) = 7*d - 2. Is s(k) a prime number?
False
Let t be ((-1)/(-2))/(8/(-80)). Let m(q) = 6*q + 7*q**2 + 3*q**3 + 1 - 2*q**3 + 0*q**2. Is m(t) a prime number?
False
Suppose 0 = 2*b - 1849 + 767. Is b a composite number?
False
Let j = 717 + -410. Is j a composite number?
False
Suppose -12 + 197 = 5*y. Is y composite?
False
Let t(y) = -1. Let o(j) = 3*j**2 - 11*j + 3. Let c(z) = 3*z**2 - 12*z + 2. Let h(s) = 5*c(s) - 6*o(s). Let x(m) = -h(m) + 2*t(m). Is x(-5) composite?
True
Suppose 5*p = 2*k - 112, -p + 3*p = 4*k - 208. Is k a composite number?
True
Let b(m) = -8*m - 13. Is b(-10) prime?
True
Let g(d) be the second derivative of d**4/12 - 13*d**3/6 - 9*d**2/2 - 3*d. Is g(-12) a prime number?
False
Is (66/(-9))/(4/(-12)) a prime number?
False
Let h be (16/6)/((-4)/(-6)). Suppose -u + 652 = h*v + 3*u, -4*v - 2*u = -644. Is v a prime number?
False
Let n(y) = y + 5*y**2 - 5*y + 4*y**2 + 3. Let p be -1 - (-2 - (0 + 1)). Is n(p) a prime number?
True
Suppose -4 = 4*a - 4*f, 2*a + 3 = 5*f - 2. Suppose -s + a = -g - 3, 5*s + 3*g = 23. Suppose -2*p - 276 = -2*b - 2*b, -s*p - 284 = -4*b. Is b a prime number?
True
Suppose -3*g + 4*l + 561 = 0, -161 = -g - 2*l + 36. Is g a prime number?
True
Let n be (7/(-2))/(4/88). Let y = n + 110. Is y composite?
True
Let l(w) = 21*w + 9. Let c(q) = 20*q + 9. Let k(p) = -5*c(p) + 4*l(p). Is k(-6) a composite number?
True
Is -3 + (-488)/(-4 + 3) a composite number?
True
Let u = 7 + -5. Is -76*2/(u*-2) composite?
True
Let m be 0 - ((-2)/2 - 0). Suppose -5 - m = -y. Let g = y - 3. Is g composite?
False
Let d be (1 - 1) + 19 + -9. Let z(o) = 8*o - 9. Is z(d) composite?
False
Let j be 3 + 28/(-12) - 155/3. Let f(o) = -5*o**3 - 3*o**2 + 1. Let t be f(-3). Let x = t + j. Is x prime?
False
Let c(o) = -42*o - 5. Let v(l) = l. Let b(r) = c(r) - 2*v(r). Is b(-8) a prime number?
True
Let h be 2/4*(3 + -3). Suppose -4*u + 110 + 186 = h. Suppose 0 = -0*f - 2*f + u. Is f a prime number?
True
Is -4*1087*1/(-4) a prime number?
True
Suppose 5*y = y + 2524. Is y prime?
True
Let m(a) = 14*a - 19. Is m(5) composite?
True
Let w be 10/(-6)*(-6)/2. Suppose 3*q + w*g - 381 = g, -5*g = 0. Is q prime?
True
Is -1 - 6/(-5) - (-54702)/15 a prime number?
False
Is 6/(-4)*(-2508)/18 composite?
True
Let r = 14 - -22. Suppose -3*m = 2*w - 61, m + 93 + r = 4*w. Let o = 15 + w. Is o composite?
False
Suppose 5*l + 236 - 646 = 0. Is l a prime number?
False
Let g(s) = s**2 + 2*s + 1. Let n = -7 + 6. Let z be g(n). Suppose l = -z*l + 19. Is l a composite number?
False
Let l = -5 - -16. Is l prime?
True
Let o be 76/4 - (1 - -1). Let t = o - 37. Is 2*(-21)/24*t a composite number?
True
Let n = -13 + 17. Suppose 3*r + 65 = n*r. Is r a composite number?
True
Let n(h) = h**3 - 5*h**2 + 3*h + 2. Let i be n(4). Let u be i/5 + (-3404)/(-10). Let r = u - 225. Is r a composite number?
True
Let i = -6 + 4. Let t be (-1 - (1 + i)) + 10. Is 6/t + (-335)/(-25) prime?
False
Suppose 9 + 3 = -3*z. Let m be 1/2 + (-14)/z. Suppose -2*s + 52 = m*d, -4*s = -d + s + 13. Is d a composite number?
False
Let l(p) = -p + 1. Let b be l(-4). Suppose 5*o - b*r = 280 + 190, 283 = 3*o - 2*r. Is o a composite number?
True
Suppose -7*c + 387 = -502. Is c a composite number?
False
Let y(s) = -16*s + 5. Is y(-3) a composite number?
False
Let t be 1/(-1) + 51 + 1. Let l = -20 + t. Is l composite?
False
Let a = 125 + -38. Is a prime?
False
Let o(h) = 11*h**2 - 10*h - 14. Is o(9) composite?
False
Is (-4)/30 + 21274/30 a prime number?
True
Suppose -7 = -q - 5*t, -2*q - 1 = t + 3. Is -2 + (381 - 0/q) prime?
True
Let f(w) = 24*w**3 - 3*w**2 + 9*w + 3. Is f(5) composite?
True
Let l = -1 - 2. Let f = l + 3. Suppose 8*d - 5*d - 111 = f. Is d composite?
False
Let f = -202 + 1193. Is f composite?
False
Suppose 3*f + 404 = 4*j, 3*j - f - 412 = -j. Let r = j + 107. Is r prime?
True
Suppose 0 = 3*t - 5*b - 207, -3*t + 4*b - 91 + 298 = 0. Is t prime?
False
Let p(b) = b + 4. Let c be p(0). Suppose -w + 213 = 4*k + 4, -k + 65 = -c*w. Is k prime?
True
Let w(t) = 6*t**2 + 26*t + 27. Is w(-17) a prime number?
True
Let k be 1 + (2 - 8 - -2). Is 192 - (8 + -4) - k prime?
True
Let q be (-2)/5 - (-24)/10. Suppose -970 + 36 = -q*k. Is k prime?
True
Let u = 63 - -391. Is u prime?
False
Let t(k) = 17*k**2 - 21*k + 17. Is t(19) composite?
True
Let x(t) = -t**3 - 4*t**2 - t + 1. Let f be x(-4). Suppose 0 = -v + f*v - 1524. Let b = -270 + v. Is b prime?
False
Suppose 2*q - 2 = q. Suppose -q*v + 4 = 2. Is (134/10)/(v/5) prime?
True
Let d be 2/(-7) - (-27)/21. Let h be -2 - ((d - -1) + 2). Let q(g) = -7*g - 7. Is q(h) a prime number?
False
Let i(d) = d**3 + 4*d**2 + 2*d + 7. Let q be i(-4). Is q/(2 - (-574)/(-286)) a prime number?
False
Suppose -5*h = -4*g - 2961, h + g - 597 = -3*g. Is h prime?
True
Let r(k) = 123*k**3 + 2*k**2 - 2*k + 1. Let t be r(1). Suppose 0 = -2*d + 2 + 4. Suppose -c + t = d*c. Is c a composite number?
False
Let g be (2/(-4))/(3/12). Let w = g - -4. Is -1 + w*3 + 2 composite?
False
Suppose 7 = -2*a + 1. Is -2 + (-6)/a - -121 prime?
False
Let t be (6/(-9))/((-2)/120). Suppose 5*o - t = o. Suppose -3*p - l - o = -44, p + 3*l = 14. Is p a composite number?
False
Let s(m) be the second derivative of 0 + 1/6*m**3 - 2*m - 1/2*m**2 + 3/4*m**4. Is s(-2) composite?
True
Suppose 104 = 11*k - 7*k. Is k composite?
True
Let s = 0 - -3. Suppose 0 = -5*h - 3*y + 13 + 19, 4*h + s*y = 25. Is h a composite number?
False
Suppose -6*b = -20 - 16. Is (237/b)/(2/4) a prime number?
True
Let a(t) be the second derivative of t**4/12 - 7*t**3/6 - 7*t**2/2 - t. Let r be a(6). Let i = r + 24. Is i prime?
True
Let d(x) = -x + 3. Let q(j) = j**2 - 10*j + 4. Let c be q(9). Let h = c + 1. Is d(h) a prime number?
True
Let p(h) = -8*h**3 - h**2 - h - 3. Is p(-2) composite?
False
Is (-5 + 3)*1 - (-265 + -6) prime?
True
Is -3 - (2 + 1 + -21) composite?
True
Let k(j) = 16*j**2 - 2*j + 1. Let y be k(2). Let o = y + -30. Is o a prime number?
True
Suppose 5*i = -3*m + 1234, -4*i = 3*m - 6*m + 1189. Is m prime?
False
Suppose 5*o - 1657 = -577. Suppose -5*j + 267 = 2*t, o = 4*j + 3*t + t. Is j composite?
False
Let h(s) = 41*s**3 - 2*s**2 - 2*s + 3. Is h(2) a composite number?
True
Let s(k) = 3*k**3 + 30*k**2 - 42*k - 29. Let j(x) = -x**3 - 10*x**2 + 14*x + 10. Let l(h) = -11*j(h) - 4*s(h). Is l(-13) a prime number?
True
Let r(y) = 5*y**3 - 6*y**2 + 2*y. Let o be r(4). Suppose -o = -g - 3*g. Is g prime?
False
Let p = -9 - -10. Is p*-1 + (27 - 0) composite?
True
Let b be (4/5)/(3/45). Suppose -3*q = -b - 3, -2*q = -n + 112. Suppose p = -2*s + 116, 3*p + n = 2*s + p. Is s prime?
True
Let s be (2 - 4)*517/(-2). Suppose 1244 + s = 3*b. Is b prime?
True
Let x(g) = g**2 - 8*g + 7. Let b be x(7). Let m be 0 + b + (3 - 3). Suppose 4*r - 21 = -s - 0*s, 2*s + 2*r - 42 = m. Is s composite?
True
Is (-10 - -1)*-83 - (-1 - -5) prime?
True
Let g be 2 - (0 + (-2 - -2)). Suppose -h + 2*u = -0*h - 118, 114 = h + g*u. Let k = -25 + h. Is k composite?
True
Let i = -56 - -174. Is i prime?
False
Let j(c) = -3*c - 21. Let i(s) = -s - 7. Let k(q) = 11*i(q) - 4*j(q). Let w be k(-9). Let f(g) = -17*g - 3. Is f(w) a prime number?
True
Suppose 2*u - 3635 + 681 = 0. Is u composite?
True
Let u(w) = 7*w + 2. Suppose 0 = -h + 4*h - 3. Let m(s) = 8*s + 1. Let f be m(h). Is u(f) a prime number?
False
Suppose 0 = -4*r - 5*o + 1473, r - 3*r + 4*o = -704. Is r prime?
False
Is (49/(-35))/((-1)/((-2740)/(-4))) a composite number?
True
Let a be (-26)/(-6) + (-1)/3. Suppose -29 = -a*m + 59. Is m composite?
True
Let h = 22 + -15. Is h a prime number?
True
Suppose 0*t - t = -83. Is t composite?
False
Suppose -a = -0 - 2. Suppose a*o = g + 12, 2*g - 8 = -2*o - 2*o. Suppose 2*h = -o*n + 3*n + 16, -4*n + 5*h = -51. Is n a prime n