s 18 + (-3)/k + 2 prime?
True
Let j = 3 + -3. Let z(b) = 12*b + 2. Let n be z(1). Suppose -2*f + 60 + n = j. Is f a prime number?
True
Let c be ((-2)/6)/(5/30). Is 186 + (-1)/1 - c prime?
False
Is -2 + -1 + 6 - -446 a prime number?
True
Let a = 646 - 251. Is a a prime number?
False
Suppose -4*t + 4 = 0, r + 7 = 4*r + t. Is (0 + r)/((-2)/(-11)) a prime number?
True
Let j(d) = -d**2 + d. Let i be j(-2). Let c be ((-105)/i + -1)*2. Suppose -3*l + 0*l - c = -3*o, -25 = 5*l. Is o a prime number?
False
Let u(j) = -j**3 + 15*j**2 - 7*j + 4. Let p(v) = 3*v**3 - 2*v**2 - 3*v + 3. Let h be p(2). Is u(h) composite?
False
Let y(u) be the first derivative of -2*u**2 + 7*u + 3. Suppose 0*g = 2*g + 12. Is y(g) a composite number?
False
Suppose 113 + 1051 = 4*y. Let i = y - 142. Is i a prime number?
True
Suppose 4*m - 8*m = 720. Let r be m/22 + (-4)/(-22). Let g = 39 + r. Is g prime?
True
Let l(b) = 2*b**2 - 3*b + 2. Let i be l(2). Suppose 2*j + 4*t + 70 = i*j, t = 3*j - 105. Suppose -j = -0*r - r. Is r prime?
False
Let i(d) = -4*d + 2. Let g(w) = 3*w - 2. Let r(v) = -5*g(v) - 4*i(v). Let h be 1 - -1 - (0 + 0). Is r(h) a prime number?
False
Let n = 763 + 714. Is n composite?
True
Suppose d - 3*d - 154 = 0. Let m = 73 - d. Suppose -3*n + 70 = -g, -5*g = 4*n + n - m. Is n a composite number?
True
Let v = 2814 - 507. Is v a composite number?
True
Suppose 0 = 5*j + 6 - 16. Let g be -2 - -258 - j/1. Is (g/4)/(4/8) a prime number?
True
Suppose 4*d = 6 - 18. Let b = 3 + d. Suppose 0 = 5*v - 5*m - 5 - 65, b = -v - 3*m + 18. Is v a prime number?
False
Is (-26 - -27)*(1 + 960) prime?
False
Suppose -2*n + 670 = -4*p, 0*n - 5*p - 335 = -n. Is n prime?
False
Let h(j) = 7*j**2 + 20*j - 8. Is h(-9) a composite number?
False
Suppose 2*q + 6 = 0, -5*y - 2*q - 53 + 17 = 0. Let l be (-3)/(-6) - y/4. Is 48 - (6/3)/l prime?
True
Let c(k) = k**2 + k - 3. Let j be c(-3). Suppose -j*u - 2*f = -415, -3*f = 6*u - u - 692. Is u a prime number?
True
Let c be (-5)/((-20)/(-232)) - 0. Let l = -365 + 158. Let k = c - l. Is k a composite number?
False
Is (-27 + -1)*46/(-8) a composite number?
True
Let u(m) = -m**3 + m**2 - 1. Let h be u(0). Let q be (0/(-2) + h)*0. Is (-21 - q/3)*-1 a prime number?
False
Let h be 57 - (-5 + (-2)/(-2)). Let j = 120 - h. Is j a composite number?
False
Suppose -4*h = -3*p + 3, 0 = 2*h + 2*h + 3*p + 21. Is h*(-1)/(-3) - -212 a composite number?
False
Let s = 34 - 4. Let h = s + 83. Is h prime?
True
Suppose 0 = 88*k - 92*k + 268. Is k a prime number?
True
Let r(z) = -z**2 + 9*z - 10. Let y be r(8). Let a be y/(-7) - 2763/(-7). Suppose -p = -6*p + a. Is p composite?
False
Let k(u) = 3*u - 5. Is k(6) prime?
True
Suppose 0*p = 2*p, -5006 = -2*z + 5*p. Is z a prime number?
True
Let g be -1*(1 + 0) - 3. Let f = 0 - g. Is f/(-6) - 204/(-9) a prime number?
False
Let x(f) = 637*f**2 - 5*f + 3. Is x(1) a composite number?
True
Let d = 1277 - 714. Is d prime?
True
Let a be 7*7/((-49)/(-30)). Let q = 161 + a. Is q a prime number?
True
Let q(b) = -b**3 + 6*b**2 + 3*b - 3. Suppose t = -v + 2, -5*v = t + 2*t + 2. Is q(t) a prime number?
False
Let d(j) = -322*j + 2. Let h be d(-2). Let a = 1325 - h. Is a prime?
False
Suppose 0*b = -2*m - b + 15, 2*b = -2*m + 20. Suppose n = -3 + m. Is n*(-1)/4*-18 composite?
True
Let j = 1593 + -796. Is j prime?
True
Is 0 + (-8)/(-12)*2961/6 composite?
True
Let f(a) = 78*a - 1. Suppose -5*g = -d - 4*g + 2, 0 = -4*d - 4*g + 8. Is f(d) prime?
False
Let q be 6*(1 - 0) - 2. Suppose -95 = -3*i + 2*j, -3*i + 22 = q*j - 67. Is i prime?
True
Suppose 3*h - 253 = -a + 457, 5*a - 3618 = 2*h. Suppose 3*j - 9 = 0, -2*j = -2*d + 6*d - a. Is d a prime number?
True
Let d = 866 - 176. Suppose -2*t = -5*t - d. Is 2/6 + t/(-3) a prime number?
False
Suppose -3*u = 3*u - 5442. Is u a composite number?
False
Let h(o) = 455 - o**3 + 14 - o + 5*o**2 - 3*o**2 - o**2. Is h(0) composite?
True
Suppose -5*s - 1686 = -a, s + 431 = -5*a + 8887. Suppose -a = -d - 540. Is d a prime number?
True
Let h(z) = 69*z - 6. Is h(3) composite?
True
Let h(x) = x**2 + 6*x + 3. Let w be h(-7). Suppose -u + j = -w, 1 = -u - j + 11. Is u prime?
False
Let z be (-2)/(-4)*-2*-2. Let n(m) = -18*m - 4. Let r(h) = 19*h + 5. Let a(k) = -4*n(k) - 3*r(k). Is a(z) composite?
False
Let k be 1 - (288 + -2)/2. Let x be 2/3 + 1714/(-6). Let i = k - x. Is i a composite number?
True
Let h(k) = -k - 6. Let r be h(-11). Suppose 2*m = -4*j + 190, 0 = -2*m + r*j + 81 + 64. Is m + -1 + 6/2 a prime number?
False
Let d(l) = 0*l - 2*l**2 + l - 1 + 24*l**2. Suppose 8*o - 4 = 4*o. Is d(o) a prime number?
False
Let p(h) = 4*h**3 + 18*h**2 - 4*h + 13. Let d(l) = -3*l**3 - 12*l**2 + 3*l - 9. Let r(k) = -7*d(k) - 5*p(k). Is r(8) a prime number?
False
Suppose 4*z + 68 - 5664 = 0. Is z a prime number?
True
Let p(n) = 2*n - 2*n + n. Let i be p(3). Let h = 6 - i. Is h a composite number?
False
Let m(g) = -g + 0*g + 4*g**3 - 2 - 3*g**3. Let w be m(0). Is (57/(-6) - 0)*w prime?
True
Suppose -2*w - 2*j - j = -13, 5*j = -2*w + 23. Is 226/(-1*(-1 + w)) composite?
False
Let b = 82 + 15. Is b composite?
False
Suppose -d = -18 - 79. Is d prime?
True
Suppose k = 3*o - 953, 0 = -5*o + 3*k + 1041 + 542. Is o a composite number?
True
Let d(b) = -11*b + 26. Is d(-13) composite?
True
Let w(n) = -n**3 + 8*n**2 - 7*n - 7. Is w(6) a prime number?
True
Let c = 2258 + -205. Is c prime?
True
Is (-3)/(-7) - ((-55242)/21 - 2) a composite number?
False
Let p(z) = z**2 + 11*z - 8. Suppose h = -2*h + 21. Let l be p(h). Suppose -2*s + l = -36. Is s a prime number?
False
Suppose 36 - 8 = -4*y. Let r(u) = -5*u - 1. Is r(y) prime?
False
Suppose -6*d + 2*d = -20. Let n(i) = 2*i**3 + i**3 - 4*i**3 + 1 + 7*i + 4*i**2. Is n(d) a composite number?
False
Let h = -15 + 17. Suppose -2*t - 3*t + 817 = h*k, -t + 168 = 5*k. Is t a composite number?
False
Suppose -2*m - 2*f - 14 = -f, -20 = 5*f. Let a(c) = -c**3 - 4*c**2 - 8*c - 6. Is a(m) prime?
True
Let r(j) = 7*j + 3. Let f(d) = 4*d + 1. Let i(s) = -5*f(s) + 3*r(s). Let o be i(-4). Suppose p + 1 = o, p + 240 = 4*w - 3*p. Is w prime?
True
Let p(l) = -l + 3. Let m be p(-16). Let w = 50 - m. Is w a composite number?
False
Suppose 5 = 2*s - 1. Is 442*4*s/24 prime?
False
Suppose 0 = 7*j - 4*j - 2*v + 2, -4*j - 3*v = -3. Is (-96 - -2)/(-1 + j) prime?
False
Let k(v) = 90*v**2 - v. Let z be (-1)/((-7)/(-4) - 2). Let w = z + -3. Is k(w) composite?
False
Let t(a) = -14*a**3 - 3*a**2 - a - 1. Is t(-3) a composite number?
False
Let p = 1824 - 751. Is p a composite number?
True
Let s be 15/(-10)*(2 + -4). Suppose 0*j - s*a + 1350 = 2*j, -689 = -j - 5*a. Is j a prime number?
False
Let q = -50 - -88. Suppose -2*v + q = 4*o, 2*o - 3*v = -o + 33. Is o a composite number?
True
Suppose 0 = -4*z - 4*x + 40, -3*z + 10 = -6*z + 5*x. Suppose 0*l = 3*m - 3*l - 213, -z*m = -l - 351. Suppose -4*f + m + 206 = 0. Is f prime?
False
Suppose -4*l + 485 = l. Is l prime?
True
Let a be (0 - -1)*729 - 1. Let z = 1171 - a. Is z a prime number?
True
Let z(w) = -5*w**3 + 2*w**2 - 2*w + 4. Is z(-7) prime?
True
Suppose -n + 20 = -0*n. Suppose -o - o = -n. Is 2/o + 920/25 composite?
False
Let m(x) be the third derivative of 2*x**2 - 1/2*x**3 - 1/15*x**5 + 0*x + 1/120*x**6 + 0 - 1/8*x**4. Is m(5) a composite number?
False
Suppose 3*t + g - 4*g = 402, -4*g = -t + 143. Suppose -3*p + 4*q = -t, -6*p = -2*p - 2*q - 158. Is p a composite number?
False
Let w(r) = 3*r**2 - 4*r + 3. Let g be w(2). Let h(z) = -g*z + 0 - 17*z + 1 + 0. Is h(-4) composite?
False
Suppose 0 = 3*f - 7 + 43. Suppose 2*u + 0*u + 12 = 0. Is u/f*(-1 - -443) prime?
False
Let l be 1*-13 - (-2 + 3). Let z = 29 + l. Is z a composite number?
True
Suppose -2*p = c + 3*p - 120, -3*c = -4*p - 265. Suppose -2*o - c = -7*o. Is o a prime number?
True
Let z(m) = m**3 - 10*m**2 + m + 11. Is z(10) prime?
False
Suppose -5*s + 4*s - 5 = 0. Let w = 8 + s. Is 146/w + (-1)/(-3) a prime number?
False
Suppose 0 = -2*c - c - 5*x + 24, 0 = -4*x + 12. Suppose 3*k - 177 = c*g, k + 2*g = 43 + 16. Is k a composite number?
False
Let h be (-2)/(-5)*(4 + 11). Suppose 0 = -h*o + 3*o + 5*u + 2477, 2495 = 3*o + 4*u. Is o a prime number?
True
Suppose 94 = 3*f - 686. Suppose -2*j + 62 = -j - g, 5*j = -5*g + f. Is j composite?
True
Let f(w) = -w. Let u be f(-2). Let x be 3/(-9) - u/(-6). Suppose a - 43 + x = 0. Is a c