 prime number?
False
Let k be (1006/(-4))/(9/(-18)). Let u(h) = h - 2. Let m be u(4). Suppose -m*l + 171 = -k. Is l composite?
False
Suppose -u = -2*x + 3*x - 104, 2*u = -5*x + 508. Suppose -5*c = -4*s + 3*s + x, 4*s + c - 463 = 0. Let z = s - 38. Is z prime?
False
Suppose 8 - 18 = v. Is (-3873)/(-7) + v/35 a prime number?
False
Is (-2265)/(-9) + (-14)/21 composite?
False
Let f be (-6 + 3 - -880) + -3. Let u = f - 543. Is u a composite number?
False
Let f = 5 - 5. Let d(j) = -6 + 7*j**2 + j**3 - 2*j**3 + 9*j + f*j**2 - 4. Is d(7) a prime number?
True
Suppose 15 = -4*h + 7. Let n be (4 + h)/1 + 1. Suppose -n*i = -7*i + 196. Is i prime?
False
Let c(g) be the first derivative of 46*g**3/3 - g**2 - 3*g - 4. Is c(-2) a prime number?
False
Let m be (-6)/(-39) - 134/26. Let d = m - -10. Let o = d - -46. Is o composite?
True
Let i(o) = -8*o. Let a be i(-2). Let v = -7 + a. Is 12/v*9 + -2 prime?
False
Suppose -p + 207 + 1136 = 0. Is p prime?
False
Suppose -3*v - r - 4*r = 1430, v + 5*r + 460 = 0. Let t = v + 934. Is t a composite number?
False
Let m(h) = 6*h**3 - 7*h**2 + 4*h + 1. Let g be m(5). Suppose 3*u + u - g = 0. Suppose u + 126 = 3*v + 4*s, s - 93 = -v. Is v prime?
True
Suppose -7*f + 5*f - 42 = 0. Let i = 74 + f. Is i a composite number?
False
Let s be 1/(-2)*(-196)/2. Suppose -4*y - u - 45 = 0, -4*u - s = 4*y + u. Is (-22)/(-6)*(-2 - y) a prime number?
False
Let q = 5 + -3. Suppose -2*j + 5*h = -149, 0 = h + 1 + q. Is j a composite number?
False
Let x(z) = z - 11. Let i be x(13). Suppose -3*j = i*f - 85, 11 = -5*f - 9. Is j prime?
True
Let h(p) = -1 - 5*p - 3*p + 3*p. Let a be h(1). Is (-10)/a*(-3 - -24) prime?
False
Let y(j) = j**2 - j + 187. Let h be y(0). Let n = h - 132. Is n prime?
False
Suppose 11 - 87 = -4*c. Is c a composite number?
False
Let n(y) = y**3 - y**2 + y + 3. Let v be n(0). Suppose -3*d + 202 = v*a + 76, 131 = 3*a + 4*d. Let b = 0 + a. Is b a prime number?
True
Let w(g) = -g - 6*g + 0 - 5 - 17*g. Let z = 0 - 4. Is w(z) prime?
False
Suppose 99 = 3*x - 12. Is x composite?
False
Suppose 5*a - 4 = 2*w - 0*w, 0 = 5*a - 3*w - 6. Suppose a = 6*b - 5*b - 71. Is b prime?
True
Let u(v) = -50*v**2 + 2*v + 2. Let b be u(2). Let m = -117 - b. Is m a prime number?
False
Suppose 4*s - 243 = -7. Is s prime?
True
Let j be (9/(-6))/(2/4). Let l = j - -9. Is l composite?
True
Let l be 22/(-3)*(-45)/5. Suppose -l = -4*a + 2*a. Is a composite?
True
Let q be (-35)/(-5) - 2*-1. Let k(f) = f**3 - 9*f**2 + 7*f - 10. Is k(q) prime?
True
Is 302/8 + (-3)/4 a prime number?
True
Let d = 323 + 30. Is d a prime number?
True
Let i(q) = -4*q + 13. Let r(c) = 7*c**3 - c. Let j be r(-1). Is i(j) a composite number?
False
Suppose 0 = -7*a + 4*a. Let f be (-5 - a)*(-4)/(-10). Is ((-489)/6)/(1/f) prime?
True
Suppose 3*v - 3*o - 2*o - 1268 = 0, 2*v = 3*o + 847. Is v a prime number?
True
Let v(o) = -13*o + 7. Let d(m) = -19*m + 11. Let j(f) = -5*d(f) + 8*v(f). Is j(-4) composite?
False
Let y(q) = -11*q**3 + 2*q**2 + 2*q - 2. Let l be y(-2). Suppose -b - b + l = 0. Let v = b - 30. Is v a prime number?
False
Suppose 0*h + h + 114 = 0. Let p = h + 165. Is p a prime number?
False
Let l(o) = 4*o - 4. Let a be l(3). Let n = a + -5. Suppose -43 = -n*z - 13. Is z a prime number?
False
Let y(c) = 74*c**2 + 3*c + 3. Is y(-2) composite?
False
Let l = -47 + 127. Let g = l - 47. Is (g/44)/((-1)/(-92)) a prime number?
False
Is 6/(-27) + 39467/9 composite?
True
Let f(l) = 9*l**2 - l - 3. Let n(m) = 4*m**2 - m - 2. Let r(d) = -3*f(d) + 7*n(d). Let t be r(5). Suppose 0 = b - t*b - 127. Is b a composite number?
False
Let q(u) = 3*u**3 + u**2 - u. Let w be q(1). Let b(y) = y**3 + y**2 - y + 1. Is b(w) composite?
True
Let s(k) = k**2 + k - 1. Let r = -2 + 4. Let t be s(r). Suppose 5*u - 13 = -x - 0, -t*u + 25 = 5*x. Is x prime?
True
Suppose 5*z = 5*o - 40, 4*z - 2*o + 32 = -0*o. Let r be 334/8 - (-6)/z. Let s = r + -22. Is s a composite number?
False
Suppose 0 = -9*b + 6*b + 3399. Is b composite?
True
Let a(r) = 3*r**2 - 9*r + 7. Is a(8) a composite number?
False
Let j(u) = 28*u - 5. Let q(x) = -5*x - 2 + 5 - 5 + 5 + 2*x**2. Let c be q(3). Is j(c) a prime number?
True
Suppose 3*i + 6 = i. Let m be (-21)/i - (0 + 1). Let j = -3 + m. Is j a prime number?
True
Suppose 5*a + 1783 - 5448 = 0. Is a prime?
True
Let v be 4/(-18) + (-10)/(-45). Suppose v*s = -3*s. Is 8/(-4)*(-1 + s) composite?
False
Let b = -2 + 2. Suppose 390 = -5*f - b*f. Is (-3 + 1)/(4/f) a prime number?
False
Let m be 1/(-2)*4/2. Is (447 + 0)*m/(-3) prime?
True
Suppose -3*p = k, -3*p + 28 = -2*k + 10. Let m be (-2)/k*(3 - 3). Suppose 2*o + 0*o - 674 = m. Is o prime?
True
Suppose 2*s = -0*s + 1270. Is s a prime number?
False
Suppose 4732 = 5*q + 4*h - 4071, 7038 = 4*q + h. Is q composite?
False
Let d be (-38)/(-9) - (-2)/(-9). Suppose -2*g + 4*l = -58, 0 = -d*g - 0*l + l + 137. Is g a composite number?
True
Let z = 0 - -3. Let s = z - 3. Is 87 - s - 2*1 prime?
False
Suppose -2*j - j + 6 = 0. Suppose -p + j*p - 7 = 0. Is p prime?
True
Suppose -4*q + 799 = 2*m - 1083, 0 = -4*m + q + 3773. Is m composite?
True
Let k = 2 - 1. Let s = 30 + 5. Is (2 - 2)/k + s a prime number?
False
Let v(j) = -14*j - 19. Let u(o) = -o**2 - 2*o - 5. Let p be u(-4). Is v(p) a composite number?
False
Let m(z) = -z**2 - 4*z + 7. Let l be m(-5). Suppose l*r - 5*i + 238 = 4*r, 0 = -3*r + 4*i + 357. Is r composite?
True
Let f = 8 + -5. Suppose -a + f*a = 110. Is a composite?
True
Let c be (-4)/(-24) + 1209/(-18). Suppose v = -v - 208. Let d = c - v. Is d a composite number?
False
Let l(h) = -3*h - 1. Let s be l(-1). Suppose -b = -5*u - 0*b + 298, -3*u + 183 = -s*b. Is u a composite number?
False
Let x be (33/6 + -3)*130. Suppose -x = -2*y + 117. Is y composite?
True
Let q = -6 - 5. Let y(k) = 9*k + 10. Let n(w) = -2*w - 2. Let j(c) = q*n(c) - 2*y(c). Is j(2) a composite number?
True
Let f = 4 + -8. Let y(n) = -2*n - 3. Let u be y(f). Suppose j + 4*w - 3 = 0, -21 - 18 = -u*j + 4*w. Is j a composite number?
False
Suppose 2*b - 106 = 84. Is b prime?
False
Let x(z) = -z**3 - 11*z**2 - 10*z + 2. Let a be x(-10). Suppose -3*c + o = -1404, 3*o = a*c + o - 932. Is c composite?
True
Let q = 2 + -1. Let z(r) = 2*r. Let n be z(q). Suppose -n*w + 201 = w. Is w a composite number?
False
Is 786 + -3 - (2 + 24/(-4)) a prime number?
True
Suppose m = -0*m + 51. Suppose -62 = -3*i + 5*t, 2*i + 10 - 34 = -t. Let c = m - i. Is c a composite number?
False
Let t be 4/(-2 + 4 + -1). Suppose 0 = 5*j - c - 160, -t*j + 2*c + 6 + 116 = 0. Is j a composite number?
True
Suppose 5*f + 370 = -0*f. Let m = f - -127. Is m a prime number?
True
Suppose 2*r + 7294 = 4*g, -3*r - 504 = -4*g + 6791. Is g a prime number?
True
Suppose -6*n + 5*n = -685. Is n composite?
True
Let l(o) = 8*o**2 - 18*o + 15. Is l(13) composite?
True
Suppose -v - 5*y + 241 = 0, -2*v + 2*y = 3*v - 1259. Is v composite?
False
Let m(f) = f**2 - 3*f - 3. Let d be m(6). Suppose -4*s - 3*w = d, 22 = -5*w - 3. Suppose a + 3*a - 60 = s. Is a prime?
False
Let j be (-126 - 1)/(-14 - -13). Let o = j + -68. Is o prime?
True
Suppose 0 = s + 3 - 0. Let f = -1 - s. Suppose 332 = z + z - 5*v, 316 = f*z + 3*v. Is z a prime number?
False
Suppose -3*s + 3 = -12. Suppose -2 + 19 = a + 2*u, -32 = -a - s*u. Is a prime?
True
Let q = 79 - 64. Is q prime?
False
Suppose -g - 10 = 23. Let y = -85 - -189. Let u = y + g. Is u a composite number?
False
Suppose -3*m + 12 = 0, -4*h = -8*h - 4*m + 6188. Is h prime?
True
Suppose 2*f = x + 231 - 76, 3*x + 476 = -5*f. Let u = x + 248. Let l = u - 44. Is l a composite number?
False
Let z = 64 + 59. Is z a prime number?
False
Suppose -3*n + 101 = -406. Let w = n + -90. Suppose 0 = -z - 0*z + w. Is z composite?
False
Let i(f) be the third derivative of 7*f**5/60 + f**4/24 - 5*f**3/6 + 3*f**2. Is i(-4) composite?
False
Suppose 3580 = -0*q + 4*q. Is q composite?
True
Is (-6)/15 - 8547/(-5) a prime number?
True
Suppose 5*o = -5*p + 1240, 0*p = 2*p - 2*o - 508. Is p a composite number?
False
Let u be -1*3/9*0. Let o be u*1*3/(-6). Let k(n) = -n + 85. Is k(o) composite?
True
Suppose 2*s = 7*s - 2975. Suppose 0 = -5*q - 25, -4*a - a = 4*q - s. Is a a composite number?
True
Suppose q + 0*q = 115. Let f = 182 - q. Is f a composite number?
False
Let y(v) = 4*v**2 - 5*v - 11. Is y(6) a prime number?
True
Su