rime number?
True
Suppose -o - 94 = -4*o + x, 5*x - 130 = -5*o. Let q be (-1 - -5)*o/(-4). Let l = 55 + q. Is l a prime number?
False
Let h(k) = k**2 + 2*k - 3. Let s be h(3). Suppose 0 = -4*f - s + 84. Let o = 55 - f. Is o a prime number?
True
Suppose 0 = -0*z - 3*z + 681. Suppose -5*a + 682 = z. Is a prime?
False
Let f = 12 + -7. Suppose -2*b = 2*d - f*d + 19, 4*b + 13 = d. Let z(p) = 12*p**2 + p. Is z(b) composite?
True
Suppose -6*s + s + 723 = -2*f, 0 = 5*f + 20. Is s prime?
False
Suppose 3*o - 320 = 475. Let u = o - 490. Let h = 428 + u. Is h composite?
True
Let o = 98 + 989. Is o prime?
True
Let k(p) = -8*p + 11. Let q(n) = 3*n - 4. Let x(s) = 2*k(s) + 7*q(s). Suppose -2*f + u + 24 = 3*f, -3*f - 5*u + 20 = 0. Is x(f) a prime number?
True
Let c = 16 + -8. Suppose 2*z + 18 = -5*w, 4*w - 2*w = -5*z - 24. Is z/16 + 922/c prime?
False
Let j(u) = u**3 - 18*u**2 - 35*u + 21. Is j(23) a composite number?
False
Suppose 2*y = -2*h - 64, 0 = 4*h - y - 4*y + 110. Is 24/h*(-290)/4 composite?
True
Let b = -11 + 16. Let u = 10 - b. Suppose u*f - 15 - 15 = 0. Is f a composite number?
True
Let w(h) = -h. Let q = 4 - 8. Let r be w(q). Suppose 0*u + r*t + 115 = 3*u, -4*u = 5*t - 143. Is u a prime number?
True
Let n(f) be the second derivative of 35*f**4/3 - f**2/2 + f. Is n(1) composite?
False
Is (-1301)/(-6) - 5/(-30) prime?
False
Suppose -385 = -2*z + 487. Suppose 4*o - z = o - u, 576 = 4*o - 4*u. Is o prime?
False
Let k be (2/4)/(5/(-90)). Is (195/k)/(2/(-6)) a prime number?
False
Let a = 12 + -11. Is a/(-3) + 60/18 a composite number?
False
Let k = -428 - -865. Is k a prime number?
False
Suppose 6*p = 2*p + 2*d + 8, -d = 5*p - 17. Suppose -p*l - 220 = -1120. Suppose -3*q + 2*o = -2*q - 141, 5*o - l = -2*q. Is q a composite number?
True
Let f = 11 + -8. Suppose -g - f*y = -29 - 35, 2*g - 116 = -2*y. Is g prime?
False
Let n = 16 + -7. Suppose -4*k = 20, 4*k = m - 26 + n. Is 6/9*111 - m a composite number?
True
Suppose 3*c - 37 = -f, 5*f - 3*c = -38 + 277. Suppose -v = v - f. Is v prime?
True
Let b = 849 - 475. Suppose -b = -2*j - 0*j. Is j a prime number?
False
Suppose -4835 = -7*p + 3*p + 3*z, -3624 = -3*p + 3*z. Is p a composite number?
True
Suppose 2*g + x = 1077, g + 4*g + 4*x - 2685 = 0. Is g composite?
False
Let v be 6 + -2*(-6)/(-4). Suppose -3*o + 73 = -5*s, 4*s + v = 7*s. Let m = 63 - o. Is m prime?
True
Suppose 0*y - 211 = -y. Suppose -2*p = -3*f - 422, 2*p + 4*f + y = 3*p. Is p composite?
False
Let u be -2 + 1 - (-4 + 6). Let c(z) be the second derivative of -z**5/10 - z**4/3 - z**3/6 + z**2 + 3*z. Is c(u) composite?
False
Let y = -29 + 68. Suppose -j + y - 14 = 0. Is j a composite number?
True
Is 12 + -14 + 1134/2 composite?
True
Let l = -11 - -48. Is l composite?
False
Suppose 2*u - 2*s - 3*s - 267 = 0, -2*s + 391 = 3*u. Let k = u - 64. Is k prime?
True
Suppose -5*v = 2*l - 61, l = -4 + 2. Is v a prime number?
True
Suppose 4*u = -5*t + 338, -2*t - 4*u = 4 - 144. Suppose -t = -0*i - 2*i. Is i composite?
True
Let h = 337 + 78. Is h a composite number?
True
Let s = 205 + 176. Suppose 0*a - s = -a. Is a a composite number?
True
Let p(z) = z + 9. Let d be p(-7). Suppose 3*v = -12, -w = d*v + 2*v - 21. Is w prime?
True
Let p = -4 + 7. Let l(r) = 2*r**2 - 6*r + 5. Let c be l(-6). Suppose -2*v - 286 = -5*d - p*v, c = 2*d - v. Is d composite?
True
Let l = -36 + 21. Is (-9)/l - 107/(-5) prime?
False
Suppose 10 = -5*q - 5. Let x be (2/q)/((-1)/3). Suppose 2*l - 52 = -x*l + 2*d, -3*d + 12 = 0. Is l a prime number?
False
Is 3172/10 - (2 + 45/(-25)) prime?
True
Is (565/3)/((-12)/(-36)) prime?
False
Let n = -38 - -27. Let q(m) = -7*m + 8. Is q(n) composite?
True
Suppose -947 = 2*q + y, -5*q + y = -2*q + 1413. Let k = -327 - q. Is k a composite number?
True
Let l(h) = -h**3 - 4*h + 3 + 5*h**2 + 5*h**3 - 3*h**3. Is l(-4) prime?
False
Let w be (-1)/3 + 516/9. Suppose -i = -4*i + w. Is i a prime number?
True
Let v = 107 - -3404. Is v composite?
False
Suppose -4*f + j + 4*j + 764 = 0, 5*f - 996 = -4*j. Let x = 293 - f. Is x a composite number?
False
Let z = -2 + 2. Suppose 3*s - 300 = -4*w, z*w + 5*s = 2*w - 150. Let l = w + -8. Is l composite?
False
Suppose -413 = -m - 4. Is m prime?
True
Let l be 3/(-6)*(0 - 0). Let v = l + -3. Let g(r) = 9*r**2 + r - 1. Is g(v) composite?
True
Let c(w) = 268*w**2 + 2*w + 1. Is c(-1) composite?
True
Suppose 4*q = 4*m + 28, 4*q - 20 = -0*q + 2*m. Suppose 2*i - 5*i - 9 = 0, -6 = -q*h + 3*i. Is h + 5/(5/26) a composite number?
True
Let u be 2 - (-1 - 13*3). Let x = -19 + u. Is x a composite number?
False
Suppose 19*u - 22*u = -753. Is u prime?
True
Let h(c) be the second derivative of -7*c**3/2 - 2*c**2 + c. Let t be h(3). Let q = -48 - t. Is q prime?
True
Suppose 2*g = 165 + 125. Is g a prime number?
False
Suppose 0 = 4*y + 12, -3*w - 4*y - 414 = y. Let u = -84 - w. Is u a composite number?
True
Suppose 3*a + 72 = -2*t, -139 + 23 = 4*a - 4*t. Suppose -v = -5*v - 2*q - 52, -5*v + 2*q - 56 = 0. Let y = v - a. Is y a prime number?
False
Let q(z) = 464*z**2 - 4*z - 5. Is q(2) prime?
False
Suppose -7*k + 2*k + 55 = 0. Let j = -8 + k. Suppose 275 = 5*o - j*q - 2*q, 0 = 3*o - 4*q - 163. Is o composite?
True
Suppose 1218 = -n + 5753. Is n composite?
True
Let c(f) = -2*f**2 - 2*f + 3. Let b be c(-6). Suppose -8*h = -2*h - 60. Let j = h - b. Is j a prime number?
True
Let r(g) = -g**2 + 3*g + 187. Is r(0) prime?
False
Suppose -354 = -j + 115. Is j a prime number?
False
Suppose 5*t - 1027 = 2*a + 961, 4 = -2*t. Let v = a - -1448. Is v composite?
False
Let u be 2/2 + 81/3. Let z be (-2)/(-2 + 54/u). Suppose -z = -5*n + 147. Is n a composite number?
True
Suppose 912 = -4*r - 804. Let g = r - -612. Let m = g - 94. Is m a prime number?
True
Suppose -2*k - 2 = 4*a, 0*k - 5*k = -2*a + 17. Let b be (k/(-4))/(2/8). Suppose 2*o + 14 = b*o. Is o a composite number?
True
Let a(p) = p**3 + 2. Let u be a(2). Suppose 4*i = 4*s - 20, 5*i - 3*s + 25 - u = 0. Suppose i*y - 5*y + 2*r = -74, 10 = y + 2*r. Is y prime?
False
Let l(a) = -a + 11. Suppose 0 = -0*v + 2*v. Is l(v) a prime number?
True
Let a = -3 - -5. Suppose 5*g + 2*m - 265 = 396, a*m = g - 137. Is g a prime number?
False
Suppose -4*k - 249 = -s, 3*k - 747 = -s - 2*s. Is s a composite number?
True
Let y(b) = 11*b - 10. Let s be y(7). Let u be s/(-1 - (-1 - 1)). Suppose 15 = -4*g + u. Is g a prime number?
True
Let i(x) = -x**3 + x**2 + x. Let p(h) = -4*h**3 - 4*h**2 - h + 1. Let u(v) = 3*i(v) - p(v). Is u(-4) composite?
False
Let n = 559 + -222. Is n a prime number?
True
Suppose 2*t + 762 = 2464. Is t a composite number?
True
Let i(y) = -y**2 - 5*y - 4. Let z be i(-3). Suppose -z*x = 2*x - 16. Let d = 3 + x. Is d a composite number?
False
Let r(c) = -8*c**2 + 35*c - 38. Let l(h) = -3*h**2 + 12*h - 13. Let z(x) = -11*l(x) + 4*r(x). Is z(-12) composite?
True
Let x(j) = j**2 + 7*j + 11. Let c be x(-8). Let m(d) = -d**2 - d + 8. Let p be m(0). Is 4*2*c/p prime?
True
Let f(u) = -16*u - 3. Let m(q) = -q**2 + 1. Let j(a) = -f(a) + m(a). Let i be j(7). Let x = i + -45. Is x prime?
False
Let q = 82 - 39. Suppose 4*t + t = -5*u - 10, -5*t + 4*u + 8 = 0. Suppose 3*x + t*x + 2*w = 149, 2*w - q = -x. Is x prime?
True
Let q be 0 - (3/(-1))/1. Suppose q*l - 263 - 133 = 0. Let a = l - 93. Is a a prime number?
False
Let f be -2*(-191)/4*2. Suppose -f = -3*h + 49. Suppose -h = -4*c + j, 0 = c - 6*c - j + 91. Is c a composite number?
False
Suppose -3*f + 10 = -26. Is (115/15)/(2/f) prime?
False
Let v be (-31)/1*(6 + 2). Is ((-27)/(-36))/((-2)/v) composite?
True
Suppose -2*m + 3 = -m. Let d = m + -1. Is (-3)/(d*(-1)/10) prime?
False
Let f(m) = -12*m - 5. Let u(l) = 8*l + 1. Let n(o) = -o**2 - 14*o - 14. Let x be n(-13). Let y be u(x). Is f(y) a composite number?
False
Let n(j) = 1214*j + 9. Is n(2) composite?
False
Let t(i) = i**3 + 11*i**2 + 5*i - 2. Is t(-7) a composite number?
True
Suppose -3*n - 5 + 11 = 0. Suppose -n*x = -224 - 92. Is x a prime number?
False
Suppose -a + 4*n + 6 = -0*a, -5*a + 5 = 5*n. Suppose -4*c - 89 - 20 = -3*q, 5*c - 65 = -a*q. Is q a composite number?
True
Let l(c) = c**3 + c**2 - c - 11. Is l(5) composite?
True
Let m(w) = -15*w - 1. Is m(-4) composite?
False
Let o(p) = 87*p**2 + 20*p + 7. Is o(-6) a composite number?
False
Suppose 333 = 3*t - s, 0 = 3*t - 4*s - 88 - 245. Suppose 3*j -