= -6 - -10. Let w = 7 - q. Suppose -15 = -r - m, w*m = 4*r + 4*m - 45. Is r prime?
False
Let a(z) = z + 3. Let i be a(-3). Let r be -3 + i/(-3) + 0. Let d(o) = -3*o**3 + 3*o**2 - o. Is d(r) prime?
False
Let y(j) = 34*j**2 - j + 4. Is y(3) prime?
True
Suppose 3*y - 5*w + w - 29 = 0, 9 = -2*y - 3*w. Suppose -5*z = -4*n - 253, -3*z + 2*n = -y*n - 144. Is z a prime number?
True
Suppose 0 = -4*k + 2*n - 224, 0 = -3*k - 2*n - 78 - 90. Let a = k - -103. Is a a prime number?
True
Let b(d) = -4*d**2 + 7*d + 6. Let g(o) = o**3 + 8*o**2 + o + 4. Let l be g(-8). Let u be b(l). Is (-4)/(-10) - u/10 composite?
True
Let v(k) = k**2 + 5*k - 2. Let a be v(-6). Suppose -1 = f + a. Let r = -3 - f. Is r a prime number?
True
Let o(s) = s**3 + 3*s**2 - 6*s - 3. Let j be o(-4). Suppose 0 = -j*n + 25, 0*a + 2*a - 159 = 3*n. Is a a prime number?
False
Let x(d) = -6*d**3 - 6*d**2 - 2*d - 3. Is x(-4) a prime number?
True
Let p(v) = -v + 7. Let h(o) = o**3 - 10*o**2 + 2*o - 10. Let l be h(10). Let c = l + -18. Is p(c) prime?
False
Suppose 0 = -5*q + 15. Let w be (-1)/(-3) + (-680)/(-3). Suppose g = -q*g - 3*y + 320, -3*g = -y - w. Is g a composite number?
True
Let k(c) be the third derivative of c**5/30 - c**4/8 + 2*c**3 + c**2. Is k(-9) composite?
True
Is (-4)/12*3*-1465 a composite number?
True
Let y(f) = 5*f - 2. Let t be y(8). Suppose 117 = -5*v - t. Let a = 116 + v. Is a prime?
False
Suppose -a = -3*k - 33, 25 = 3*a - 3*k - 80. Suppose g - 5*c = 2*g - 18, 4*c - 12 = 0. Suppose -2*x = 2, j + g*x = 2*j - a. Is j a composite number?
True
Let j = 8 + 0. Let m = 73 - j. Is m composite?
True
Suppose 2*k + 22 = 4*a, 0 = 4*a + 5*k + 2 - 3. Let n = 55 + a. Is n a prime number?
True
Let p be (-6)/(-21) + (-69)/21. Is -34*(-1)/2 + p prime?
False
Let f(c) = -c**3 + 8*c**2 + 10*c - 6. Let z be f(9). Suppose 2*n = 3*r - 393, -z*n - 2 = -11. Is r prime?
False
Let u = -533 + 991. Is u composite?
True
Suppose -74 - 101 = -u. Let q be (-5)/(15/(-6)) + u. Suppose 742 = 4*o + 3*a, -5*a + 0*a = o - q. Is o prime?
False
Suppose 5*d - 1505 - 80 = 0. Is d a prime number?
True
Suppose -2*z + 2 = 20. Is (-6)/27 - 1307/z prime?
False
Suppose 3*l - 1 = 5, -4*c = -5*l - 5514. Is c a composite number?
False
Suppose -3*v + 24 = -0*v. Let i be ((-3)/(-4))/((-2)/v). Is 5 + 51 - i/1 composite?
False
Is 2/8 + 104/(-32) + 524 a composite number?
False
Suppose 0 = 2*o - 9 + 3. Suppose 212 = -o*h + 7*h. Is h a composite number?
False
Let k(d) = 13*d + 16. Is k(15) prime?
True
Suppose -2*w = -672 - 1118. Is w a prime number?
False
Suppose 0 = 5*d + 2*s - 27, 0 = 5*d - s + 5*s - 29. Suppose -4*n + 2*n = -4*t + 590, -d*t = -5*n - 730. Is t a prime number?
True
Let p be 2 - 1 - (-142)/2. Let u = 137 - p. Suppose 3*a + 0*n - 63 = -3*n, 0 = -3*a - 4*n + u. Is a a composite number?
False
Suppose -c = c - 814. Is c a composite number?
True
Let o(z) = z**3 - z**2 - z + 3. Let j be o(0). Let u(h) = 3 - 5*h + 7*h + 3*h + j*h. Is u(8) composite?
False
Let l(k) = -57*k + 2. Let d be (-24)/(-9)*(-6)/4. Let f be l(d). Suppose 0 = -3*y - 2*y + f. Is y composite?
True
Suppose 0 = 2*s + s - 429. Is s composite?
True
Let f = -68 - -330. Is f prime?
False
Let h = -14 - -27. Is h prime?
True
Let i(h) = h**2 - 3*h + 1. Suppose -2*l = -3*p + 43, -l = 2*p - p - 21. Suppose -5*b = -2*z - p, -b - 1 = -2*b + z. Is i(b) prime?
True
Suppose y = 3*y - 142. Is y prime?
True
Suppose 3*h = z + 2, 3*z + h = 6 - 2. Let p be (-96)/3*z/2. Is (-4)/(2 - p/(-7)) a prime number?
False
Let s = -986 + 1653. Is s a composite number?
True
Let l(f) = f**2 + 4*f - 1. Suppose -38 = -5*z + 22. Suppose 4*s = s + z. Is l(s) a prime number?
True
Let l = -2211 - -3848. Is l prime?
True
Suppose 3*o - 26 = 5*i, 2*o - 4*i - 7 - 11 = 0. Suppose o*u - 2*u = 1535. Is u a prime number?
True
Let x be (-4)/(-3)*(-165)/(-2). Let t = -41 + x. Is t a composite number?
True
Suppose -12 - 36 = -y. Suppose -2*t - 2*t - y = 0. Let s = t - -43. Is s prime?
True
Is 1 + -5 + (-9)/3 + 886 composite?
True
Let j(w) = 8*w. Let b = 4 + -2. Let p be j(b). Suppose f - p + 2 = 0. Is f a composite number?
True
Suppose -3*p - 1551 = -3*k, 0 = 3*k - 4*p - 663 - 884. Is k a composite number?
False
Suppose -9332 = -4*o + q, 2*q + q - 6999 = -3*o. Is o a composite number?
False
Let k(c) = 2*c + 0*c + 1 + 0. Let y be k(1). Is (-1)/(0 + y/(-63)) a prime number?
False
Is (-1 + -289)/(2 + -4) prime?
False
Let h(b) = -b + 13. Let t be h(11). Let g be -129 + (-1 - t - -1). Let n = -34 - g. Is n composite?
False
Suppose 2*n = -4*k + 8*k - 276, -75 = -k + 2*n. Is k a composite number?
False
Suppose 9*d = 13*d - 356. Is d a composite number?
False
Let l = -143 + 87. Let k = l - -87. Is k prime?
True
Suppose -x = -4*x + 12, 0 = c + 3*x - 8069. Is c a prime number?
False
Suppose -t = 2*t - 249. Is t composite?
False
Let l(s) be the third derivative of -65*s**4/24 - 2*s**2. Suppose -2*p + 4*m = -2, -3*p + m - 1 = -m. Is l(p) prime?
False
Let d(l) = -8*l + 5. Let g(f) = -f**2 + 3*f - 4. Let i be g(3). Is d(i) prime?
True
Is (382/(-1))/(-2)*1 composite?
False
Let q = -69 + 237. Suppose -3*m + q + 27 = 0. Let v = -28 + m. Is v a prime number?
True
Let f(m) = m + 1. Let n be f(-8). Let w(a) = -a**3 - 7*a**2. Let s be w(n). Suppose 0*p - 2*p + 6 = s. Is p prime?
True
Let h(u) = -u**3 - u**2 - u. Let i be h(-1). Is (1 - (-2)/1)*i composite?
False
Suppose -n - 4*d = 2*n - 203, 3*n - 3*d - 210 = 0. Is n prime?
False
Let u = -11 + 11. Suppose u = 10*w - 5*w - 785. Is w prime?
True
Let c(i) = 2*i - 16. Let a be c(0). Let f = a - -227. Is f prime?
True
Let w(z) = -4*z - 3. Let u(g) = -g**2 + 4*g - 4. Let c be u(4). Is w(c) a composite number?
False
Is 8253/(-6)*2/(-3) a prime number?
False
Let i(f) = 0 - 3 + f**2 - 5 + f. Is i(-6) a composite number?
True
Let v(q) = 8*q + 787. Is v(0) prime?
True
Suppose 0 = 7*q - 306 - 1843. Is q a composite number?
False
Suppose -5 = 5*n, 0 = 2*z - n - 3*n + 222. Is 2/((-1)/1) - z a composite number?
True
Suppose 4*y = 20, -3*h - 25 = -h - 5*y. Let b = 8 + -4. Suppose h*n = b*n - 460. Is n composite?
True
Suppose -x + 7 = -12. Is (x/(-3))/(10/(-30)) a prime number?
True
Let l = 361 - 151. Suppose -z + 2*c = -l - 144, 2*z - 700 = 2*c. Let k = z + -81. Is k composite?
True
Suppose p - n - 533 = 0, -4*n = p + p - 1078. Is p prime?
False
Let l = 14 + -20. Let r be 1/(-1)*l - 1. Suppose -20 = -5*f + 3*v, -r*v = -f - 0*f - 18. Is f a composite number?
False
Suppose 0 = 4*r + 4 - 16. Suppose -3 = r*w - 24. Is (1 + 12)*(w + -5) a prime number?
False
Let m = -14 + 19. Suppose 0*h + m*h - 395 = 0. Is h composite?
False
Suppose l = j - 223 - 38, 2*j = -2*l + 526. Is j composite?
True
Is 3 + -2 - -1*3376 a prime number?
False
Suppose -271 = -x + 2*a + 320, -4*x + 5*a + 2352 = 0. Is x composite?
True
Let k = 110 + -57. Is k a prime number?
True
Let i(f) = -27*f + 26. Is i(-13) a prime number?
False
Suppose -2*m + 8 = -4*m - 3*o, -5*m = -4*o - 26. Suppose 0 = -m*t - 0*t + 8. Suppose 2*s = t*k + 8, -s - 4*k - k + 11 = 0. Is s a prime number?
False
Let q(i) = i - 2. Let d be q(2). Suppose d = a - 2*h + 69, 2*a = 6*a + 2*h + 236. Let r = 18 - a. Is r a prime number?
True
Let p(d) = -30*d - 1. Is p(-10) composite?
True
Let x be -3 + 0 + 3 + 1. Is (-1)/(x/(-85)) - -2 a composite number?
True
Let o = 87 + -137. Let k be ((-12)/(-10))/((-1)/o). Let v = k - 23. Is v a prime number?
True
Let d(z) = z**2 + 9*z - 5. Let t be d(-10). Let x(k) = 5*k**2 + 8. Is x(t) prime?
False
Let l be (5 - 2)/((-2)/(-50)). Let u = 44 + l. Is u a composite number?
True
Let a = 44 - 22. Let k = 179 - a. Is k composite?
False
Suppose 0 = 3*x - 7*x + 12. Suppose x*g - 23 = -2. Is g a prime number?
True
Let f(v) = 175*v - 3. Is f(2) a prime number?
True
Let f(n) = n + 1. Let h(z) be the first derivative of -2*z**2 - 60*z - 2. Let b(o) = -3*f(o) - h(o). Is b(0) prime?
False
Let v = 20 + -15. Suppose -3*l + i = 4*i - 780, -15 = v*i. Is l a composite number?
False
Let n(t) = 20*t + 3. Let i be n(-6). Suppose 431 + 345 = -4*r. Let w = i - r. Is w composite?
True
Suppose -3*s - 15 = 4*k - 0*s, 0 = k + s + 4. Let b be 1 + k/(-1) + -2. Is 53 - (-1 + 2)*b prime?
False
Let y be -2 - 1 - (-27 + 2). Is (-3)/15 + y/10 composite?
False
Suppose o - 304 = -w, 2*o + 1213 = 6*o + 3*w. Is o composite?
True
Let j = -16 + 309. Is j pri