10 + 1 = 5*y. Suppose i*u + 5 = -1. Is 2 + u - (-218)/1 a prime number?
False
Let w = -142 + 587. Is w composite?
True
Let z(q) = -q**2 + 4*q - 4. Let f be z(4). Let l = f - -5. Is 3 - l/(2/(-46)) a prime number?
False
Let l = 8 + -6. Let x(r) = 14*r**2 - 2*r + 1. Is x(l) composite?
False
Suppose 3*f - 5*f + 238 = 0. Is f a composite number?
True
Let a = 187 - 30. Is a prime?
True
Let d(i) = -2*i**3 + i**2 + i + 1. Let b be d(-1). Suppose -2 - 4 = -b*o - 3*g, -4*o - 5*g + 4 = 0. Suppose -o*v + 60 = -2*v. Is v composite?
True
Let h(w) = -w**2 - 7*w - 7. Let f be h(-3). Suppose -4*z = -f*z + 127. Is z prime?
True
Let y(j) = 5*j**3 - 2*j**2 + j + 1. Let k be y(3). Suppose -4*r - z - k = 0, -53 = 2*r + z + 2*z. Is r/(-3) - 8/(-12) a prime number?
True
Let h = -434 - -847. Is h composite?
True
Suppose 2*b + 2546 = 4*w - 2812, 5*w - 6696 = 2*b. Is w/15 - 4/20 prime?
True
Let o(d) = 83*d**2 + 5*d + 5. Let s(f) = -f**2 + f + 1. Let b(r) = o(r) - 4*s(r). Is b(-1) prime?
False
Let f(z) = z + 8. Let x be f(-6). Suppose 2*r = 5*r - h + 115, -x*h + 116 = -3*r. Let i = -7 - r. Is i composite?
False
Let u(m) = -968*m - 11. Is u(-3) a prime number?
False
Suppose -3*q = -6*q - 129. Let o = -5 + 169. Let s = o + q. Is s a prime number?
False
Suppose -3*z + 1330 = 2*z. Let f = -147 + z. Is f prime?
False
Let c be -1 - -326*(-2)/4. Let f = c - -297. Is f composite?
True
Let z(s) be the second derivative of -s**6/20 - s**5/30 + s**4/24 - s**3/6 + s**2 + s. Let n(u) be the first derivative of z(u). Is n(-2) prime?
True
Let q = -87 - -94. Is q a prime number?
True
Let n = -3 - -1. Let r(w) = 11*w - 3. Let x(o) = 4*o - 1. Let k(g) = -3*r(g) + 8*x(g). Is k(n) prime?
True
Let m = 19 + -20. Let p(a) = 184*a**2 + 1. Is p(m) prime?
False
Let v = 26 - -33. Is v a prime number?
True
Let u(h) = h**2 + 11*h + 14. Let x be u(-10). Suppose x*w + 0*w + 986 = 5*f, 2*f = 3*w + 400. Is f a prime number?
False
Suppose 0 = -6*h + 775 + 347. Is h composite?
True
Suppose -8*i + 170 = -3*i. Is i composite?
True
Suppose 10565 = 5*m + 1510. Is m a composite number?
False
Suppose f - 28 = -p, 2*p + 2*f = -f + 61. Let m = p + -13. Is 1 - (-5)/(m/108) prime?
False
Let x = 250 + -173. Is x a composite number?
True
Let k be 56/(-10) - 4/10. Let w(y) = 20*y**2 + 7*y + 1. Is w(k) prime?
False
Suppose k - 6*k = -2*l + 157, -5*l - k + 352 = 0. Let f = 282 + l. Is f prime?
True
Let p = -13 - -48. Suppose 2*a = 407 - p. Suppose 4*h - 2*k + a = 536, 5*h = 4*k + 433. Is h prime?
True
Let b = 32 + 27. Is b a prime number?
True
Suppose 5*p + 5*t + 6 = -9, p + 3 = t. Is -2*(p + (-237)/6) prime?
False
Let v = 15 + -11. Suppose 7*o + 15 = i + 2*o, 8 = v*o. Is i prime?
False
Suppose 1362 = 3*h + 4*f - 280, 3*h = 3*f + 1677. Let c = -355 + h. Is c composite?
False
Let j = 11 - 0. Let l(m) = 18 - j + 12 + m**2. Is l(0) composite?
False
Let y = 188 + -69. Is y prime?
False
Is 56/(-4)*(-1077)/6 a composite number?
True
Suppose -575 = -4*n - d + 990, 4*d = -4*n + 1568. Is n composite?
True
Suppose 5*a = 3*a + 132. Suppose r - a = -2*r. Is r composite?
True
Let v = -2984 - -4835. Is v a composite number?
True
Let t = 19 - -7. Is t + -2 - (1 - -2) prime?
False
Let w(d) = 7*d - d**3 - 8*d**2 + 5 + d - 5*d. Is w(-9) a prime number?
True
Let b(r) = r**3 - 13*r**2 + r + 12. Is b(13) prime?
False
Let n(l) = -5*l - 16. Suppose 4*v - 2*y - 5 = -3*y, -5*y - 15 = 0. Suppose 0 = -4*k + v*d - 3*d - 49, 4*k + 69 = -5*d. Is n(k) composite?
True
Let h(g) = 50*g**2 + 3. Is h(2) a composite number?
True
Let q = 140 - 196. Let l = q - -94. Let s = l + 80. Is s a prime number?
False
Is ((-381)/(-12))/((-4)/(-16)) composite?
False
Let w(c) = 2*c + 1 - 12*c - 2*c + 0*c. Is w(-3) a composite number?
False
Let l(t) = 2*t**3 - 4*t**2 - 4. Let v be l(3). Suppose -4*m + v = -2. Suppose m*p - 12 = -0*g - 2*g, 4*g + 15 = 5*p. Is p a composite number?
False
Let f = 6 - 0. Let r(x) = -2*x**2 + 9*x + 7. Let d(c) = c**2 - 4*c - 4. Let n(i) = 5*d(i) + 3*r(i). Is n(f) a prime number?
True
Suppose 2*w + 16 = -2*w. Let h be w/(-8) - (-5)/2. Suppose h*p - 1000 = -5*s, 7*p - 3*p - 792 = -4*s. Is s a prime number?
False
Is ((-14)/(-3))/(2/39) a composite number?
True
Let f be (-1098)/((-2)/1) - 3. Let y = f + 41. Is y composite?
False
Let s(j) = j**2 + j + 4. Let t be s(0). Let x be (-42)/t*(-2)/3. Suppose x = 3*z - 2*z. Is z a composite number?
False
Let v = 4 - -8. Suppose -7*f = -v*f + 125. Is f prime?
False
Let p = 285 + -108. Is p prime?
False
Let p(m) = m**2 - 14*m. Let z be p(-11). Suppose -s + 4 = -2*f, 0 = -5*s + 3*s - 2*f + 8. Suppose z = s*k - 33. Is k a composite number?
True
Let u(w) = 5*w**2 + 0*w - 3 + 2 + w. Let z be u(-2). Suppose -s - 15 = -g + s, -3*s = -g + z. Is g a composite number?
False
Let x be ((-20)/3)/((-10)/75). Suppose x = -5*y + 595. Is y a prime number?
True
Let k = -397 - -648. Is k composite?
False
Let f be ((-43)/4)/((-3)/(-12)). Let t = 62 + f. Is t a prime number?
True
Is 4*4/80*2245 a prime number?
True
Suppose -11 = 3*f + 3*x + 16, 4*f = 4*x - 4. Let q be f/4*-68*2. Let k = q + -85. Is k prime?
False
Let g(v) = -3 + 3*v + 4*v**2 + 4 - v**2 - 4. Suppose 2*t + n + 8 = -2*n, -3*t - 12 = -4*n. Is g(t) a prime number?
False
Let n(k) be the first derivative of 3 - 4*k + 5/2*k**2. Is n(5) prime?
False
Suppose o + 17 = 373. Suppose 0 = -3*l - 7*u + 2*u + o, 4*l - 3*u = 523. Is l composite?
False
Let z(m) = 48*m**3 + 2*m**2 - 1. Is z(2) a prime number?
False
Suppose -4*l + 4*x = -3040 + 484, -5*l - 4*x = -3222. Suppose 0 = 5*q + 4*i - l, -q - 141 = -2*q - 5*i. Suppose -q = -3*m - 33. Is m a prime number?
True
Let d = 15 - 10. Suppose 2*m - d*z = m + 264, 3*m = -3*z + 774. Is m a prime number?
False
Let c be (-40)/6*(-42)/4. Suppose -2*f + 63 = b - c, 2*f = -2*b + 136. Is f composite?
True
Let p = 1160 - -89. Is p a prime number?
True
Let w(j) = -31*j**3 + 2*j**2 - 2. Is w(-3) a composite number?
False
Let x(j) = -18*j. Let u be x(-1). Suppose -5*h + 3 - u = 0. Let o = h - -7. Is o prime?
False
Let z be (2 - -2) + 1 - 2. Suppose -n + z*n - 8 = 0. Is n a composite number?
True
Suppose 0 = -3*o + 2*o - 7. Let z(v) = -2*v - 3. Is z(o) a prime number?
True
Suppose -y + 329 = -0*y. Is y a composite number?
True
Suppose -21*u - 879 = -22*u. Is u prime?
False
Suppose 16 = 4*v, j - 4*v + 35 - 8 = 0. Let a = j - -12. Is (0 + 14)/(2/a) a composite number?
False
Let h = -3 - -3. Is 1 + (20 - (h + -2)) prime?
True
Let y(i) = -i**3 - 4*i**2 + 5*i + 2. Let a be y(-5). Suppose 0 = -2*p - 5*k + 283, a*k = 5*p + 6*k - 733. Is p a prime number?
True
Suppose -6 = -5*f + j, f - j + 6 = 2*f. Suppose 0 = 5*v - 5*o - 1075, f*v + v - 4*o = 649. Is v composite?
False
Let f(q) = -q**2 - q - 15. Let b be f(0). Let r = 41 + b. Is r composite?
True
Let k(d) = 3*d**2 + 2*d + 1. Let f be k(-1). Suppose -o + f*o + 453 = 0. Let w = -304 - o. Is w a prime number?
True
Let r(l) = l**3 + l**2 + 2*l + 293. Is r(0) a prime number?
True
Suppose 16*w = -5945 + 40009. Is w prime?
True
Let w(y) = 4*y**2 + y - 1. Let q be w(1). Let u(z) = 13*z - 1. Is u(q) composite?
True
Let s = -28 - -20. Let x(g) = -g**2 - 10*g - 11. Let u be x(s). Suppose -u*q - 77 = -6*q. Is q prime?
False
Suppose 3*i + 2*i + 5 = 0. Let z be 18*-1 + 3 + i. Is (-4)/z - (-294)/8 composite?
False
Suppose -n + 3*m + 959 = 2*m, 2*m - 6 = 0. Suppose 5*w + 1442 = 4*b + 191, 3*b + w = n. Is b prime?
False
Let a(q) = 5*q - 2. Let r be a(-3). Suppose -l = -i + 26, -20 = -7*l + 3*l. Let n = r + i. Is n a prime number?
False
Suppose -2*o = 4*m - 24, -2*o = -m + 2*m - 12. Let c be 10/(-25) - 17/(-5). Is 157/c + m/6 a composite number?
False
Let x(g) = -235*g - 23. Is x(-18) a prime number?
False
Let f = -278 - -1533. Is f prime?
False
Suppose 4*v - 5*b = 2027, 5*v - 3*b + 676 = 3213. Suppose 0*w - v = -4*w. Is w composite?
False
Let s = -29 + 17. Is (1 - 3)*966/s prime?
False
Suppose -9 = -3*b + 6. Let j(z) = 7*z**2. Let v be j(-2). Suppose -b*s = -s - v. Is s a composite number?
False
Suppose 4*a - 736 = 12. Is a prime?
False
Let k be 2 + (2 + -3)*5. Is (-316)/(-2) + k/1 a composite number?
True
Suppose z + 4 = 2*z. Let l(c) = 19*c + 1. Is l(z) a prime number?
False
Let d(m) = 2*m**2 + 11*m + 7. Let w be d(-7). Let g be w - (-1 + -1 + 4). Suppose q - n = g, -q - 3*n = -2*q + 32. Is q a prime number?
