ime?
False
Suppose 0 = r + 2*n + 1, -4*n + 28 = -4*r. Let p = -6 - r. Let j(q) = -20*q**3 - 1. Is j(p) prime?
True
Let f be 153/2*(-16)/(-12). Is f/(6/2 - 1) a composite number?
True
Let u(z) = -z**3 + 2*z**2 - 5*z + 5. Let v be u(-5). Let i = -120 + v. Is i a prime number?
False
Suppose k - 2*h = 529, 3*k - 1583 = -0*h + 5*h. Is k composite?
False
Let h(c) = -c**3 - 7*c**2 + c + 10. Let x be h(-7). Suppose -20 = -8*l + 4*l. Suppose 3*g + 202 = x*j - 62, 0 = 3*j - l*g - 270. Is j composite?
True
Let s(w) = 4*w - 4*w + 0*w - 79*w**3. Suppose -2*u - 2 = -0*u. Is s(u) composite?
False
Suppose -2*u - 3*b + 413 = 0, -2*b - 410 = -2*u - 6*b. Is u a composite number?
False
Let p(c) = 5*c**2 + 5*c + 15. Is p(7) composite?
True
Let t(l) = l + 16. Let u be t(-11). Is 37*u - (3 - 3) prime?
False
Is (3/3)/((-4)/(-356)) prime?
True
Let a(i) = -i**3 + 6*i**2 - i + 3. Let u be a(6). Is 5/((-5 - u)/(-34)) prime?
False
Let t be 4/(-6) - 5597/(-3). Suppose -t = -3*a - 2*a. Is a a composite number?
False
Let z(f) = f**2 + 2*f - 1 + 0*f + f**2. Let o be z(1). Is ((-1)/o)/(1/(-93)) composite?
False
Let i = -311 - -435. Suppose 4*h = 5*k - 9, 7*k - 3*k = h + 16. Suppose 2*m - i - 54 = h*g, -m + 3*g + 85 = 0. Is m composite?
False
Let r(s) be the first derivative of s**4/4 - 2*s**3/3 + s**2/2 - s + 3. Is r(4) prime?
False
Let j be (3 - 2) + -1 + 2. Is (-3 + j)*(-69 - 2) composite?
False
Let c(l) = -17*l**3 - l**2 - 2*l + 1. Let y(a) = -16*a**3 - a**2 - 2*a. Let d(h) = -4*c(h) + 5*y(h). Is d(-3) a composite number?
False
Suppose -2*x + 0*x + 8 = 0. Let v(c) = 9*c - 3. Is v(x) a prime number?
False
Let z(t) = t**3 - 6*t**2 - t + 8. Let p be z(6). Suppose -q = p*q - 141. Is q composite?
False
Suppose 8 = -2*l, 5*f = -0*f + 5*l + 10925. Is f a composite number?
True
Let s(x) = -2*x**2 + 4. Let h(j) = -2*j**2 + 3. Let t(b) = -6*h(b) + 5*s(b). Let g be t(-6). Let r = -53 + g. Is r prime?
False
Suppose 2*i - 3*s - 1106 = i, 0 = 5*i - 4*s - 5563. Is i composite?
True
Suppose 411 = 5*d + 2*o, 3*d - 251 = -o + 2*o. Is d a prime number?
True
Is (-565)/(-1)*5*(-3)/(-15) a prime number?
False
Let c(w) be the third derivative of 23*w**4/24 + w**3/3 - w**2. Let m be c(-2). Is 2/(-6) + m/(-6) a prime number?
True
Let l(x) = 2*x**2 + 9. Let r be ((-8)/(-4))/(2/(-8)). Let d be l(r). Suppose -5*k - 136 = -3*h, -2*k - 2 = -3*h + d. Is h prime?
True
Let d = 524 + 224. Suppose 0*u - d = -4*u. Is u a composite number?
True
Let w = -4 - -6. Suppose -w*d + 12 = d. Is d prime?
False
Let m = 249 - 147. Suppose m + 96 = -o. Is ((-2)/3)/(4/o) prime?
False
Let c be (1 + -13 + 1)*-7. Let l = 41 - c. Is 199/6 + 6/l prime?
False
Suppose 5*g - 4*g = -5. Let j be 1/g + 2464/20. Suppose -2*m + 3*m = -5*c + 124, -2*m = 5*c - j. Is c composite?
True
Suppose 8*n + 257 = 9*n. Is n composite?
False
Let l(p) = -p**3 + 19*p**2 + 3*p - 23. Is l(19) a prime number?
False
Let l be 3/(-15)*-3*5. Is 3033/6 + l/(-6) composite?
True
Let s = -8 - -12. Let j(r) = 7*r**2 - 3. Is j(s) a composite number?
False
Let g = 9 + -6. Is (4/8)/(g/2586) prime?
True
Let r = -154 - -263. Is r composite?
False
Let j(q) = q**2 - 9*q - 5. Is j(13) composite?
False
Is 21/42*7190/1 prime?
False
Suppose -k + 3*n = -0*n - 547, -4*n + 1693 = 3*k. Is k prime?
False
Suppose 3*l - 20 = 4*l + 5*j, 0 = 3*l + j + 4. Suppose -69 = -2*s - g, l = s - g + 4*g - 32. Is s prime?
False
Is 108848/24*((-18)/4)/(-3) composite?
False
Is 799/(-34)*(-11 + 1) prime?
False
Let h(k) = -11*k - 8*k + 1 + 2 - 1. Is h(-3) a composite number?
False
Suppose 0 = 3*i + 3*w - 1756 - 5828, 3*i + 2*w = 7585. Suppose 5*x = p + i, 5*x - 2509 = p - 5*p. Is x a prime number?
False
Suppose 2*v - 3*v - 4*i + 635 = 0, 4*i - 2528 = -4*v. Is v a prime number?
True
Let n(u) be the second derivative of 83*u**3/6 + u**2/2 + 3*u. Let l be n(1). Suppose -4*h + 2*s + 232 = l, 4*s = 0. Is h prime?
True
Let l = 1 + 3. Suppose l*n = -n. Is 0 + -1 + n + 54 a prime number?
True
Suppose 4*w - 7 = 17. Let r(y) = 2*y**3 - 6*y**2 + y - 1. Is r(w) a prime number?
False
Suppose -4*q + 0 + 7 = -5*m, -5*m - 4*q + 17 = 0. Is m*(6/3 + 80) a composite number?
True
Let u(s) = s**2 - 6*s + 22. Is u(-15) a composite number?
False
Let d(z) be the second derivative of z**4/12 - z**3/6 - z**2/2 + z. Let r(q) = -10*q**2 + 5*q + 4. Let i(t) = -4*d(t) - r(t). Is i(-3) a prime number?
False
Let j(d) = -7*d + 2 + 9 + 1 + 0. Is j(-10) prime?
False
Let d(w) = -w + 14. Let q be d(9). Suppose g = q*g - 24. Let s(j) = -j**3 + 7*j**2 - 4*j - 6. Is s(g) a composite number?
True
Let a(o) = -22*o + 23. Is a(-9) composite?
True
Suppose -2*x + 1844 = -270. Suppose -2*k + 0*k = 3*g - x, -5*g + 1735 = -2*k. Is 4/18 + g/9 a composite number?
True
Let k = 56 + -112. Suppose -3*z = -16 + 4. Is (k/(-12))/(z/18) prime?
False
Let b = -14 + 91. Is b a composite number?
True
Let g be 178/(-3 + 0 + 1). Let f = 156 + g. Is f composite?
False
Let b = 18 - 15. Suppose 19 = b*d - 20. Is d a composite number?
False
Let j(h) = 2*h**2 + h - 3. Let u be j(-3). Let r be 3/(-5 + -1)*u. Let x(g) = -7*g + 5. Is x(r) composite?
False
Suppose -3*s + 7159 - 718 = 0. Is s composite?
True
Let v = -2 + 2. Suppose -s - 4*s - 165 = v. Let w = -18 - s. Is w prime?
False
Let c(r) = 2*r**2 - 12*r + 1. Is c(12) composite?
True
Suppose -6 = -3*b, -2*z - 3*b = 2*b - 16. Let s be (-3 - z*-101) + 0. Suppose -2*p + 15 + 277 = -3*i, i - s = -2*p. Is p prime?
True
Suppose -69863 = -12*g + 39661. Is g a composite number?
False
Let u(z) = z**2 + 4*z + 2. Let w(b) = -b**3 - 6*b**2 + 2*b + 2. Let g be w(-6). Let a be (12/(-15))/((-2)/g). Is u(a) composite?
False
Suppose -5*o - 781 - 69 = 0. Is o/4*(-8)/10 prime?
False
Suppose -3*b - b = -344. Let l = -42 + b. Suppose 0 = v + 3*v + 2*c - l, 0 = -2*v - 5*c + 22. Is v a prime number?
True
Let r(w) = 14*w**2 + 6*w + 17. Is r(-6) a prime number?
False
Suppose -i = 5*p - 147, -4*p + i = -i - 112. Suppose 33 + p = 2*n. Is n a composite number?
False
Suppose z - 14 = -0*z. Let f = 25 - z. Is f composite?
False
Suppose -2*i + 6*i - 2828 = 0. Is i composite?
True
Suppose 216 = 4*d + 4*v, 7*d = 2*d - v + 258. Is d composite?
True
Suppose o = -3*w - 5, w = -8*o + 3*o + 17. Let g(u) = -3*u**3 + 7*u. Let f(k) = -k**3 + k**2 + k + 1. Let h(y) = -5*f(y) + g(y). Is h(o) composite?
True
Let b = 3 - -3. Suppose b = 3*x - 9. Suppose 0*n - 55 = -x*n. Is n prime?
True
Is (-1 + -37)/((-2)/1) prime?
True
Let r = 485 - -630. Suppose r = -j + 6*j. Is j a prime number?
True
Suppose p + 8 = 3*p. Is p/(-8) + 897/6 a prime number?
True
Suppose 2*k + 407 = l, -l - k - 408 = -2*l. Is l a prime number?
True
Let g be ((-4)/(-10))/((-1)/(-5)). Suppose 0 = -z - 5*w + w - 14, w + g = -z. Suppose -5*n + 243 = -2*j, z*j + 2 = 4. Is n composite?
True
Suppose -2*m = -5*m + 42. Suppose -8 - m = -d. Is d prime?
False
Is ((-69)/9)/(2/(-66)) a prime number?
False
Let j = -470 + 661. Is j prime?
True
Let c = -7191 + 14092. Suppose 4139 = 3*n + 4*m, 5*n - c = -0*n - 4*m. Is n a composite number?
False
Let d be 22/4 + (-3)/2. Suppose -4*u = -y + 49, y + 3*u - u - 37 = 0. Let r = y - d. Is r a composite number?
False
Let w = -5872 + 8919. Is w a prime number?
False
Let b(v) = 419*v**2 - v - 1. Is b(-1) prime?
True
Suppose 285 + 378 = 3*b. Suppose -2*x + 150 = 2*n, -3*x - 8*n = -3*n - b. Is x prime?
False
Let n(s) = -1041*s + 2. Is n(-1) composite?
True
Let y(q) = 3 + 10*q**2 + q**3 - 4*q + 3*q + 6. Is y(-8) prime?
False
Suppose z = -2*r - z - 6, 5*r = 2*z + 20. Suppose g = 2*n - 71, n - 4*n - r*g = -103. Is n composite?
True
Suppose -2*h = -5*h + 471. Is h a composite number?
False
Is 27/(-162) - 10526/(-12) a prime number?
True
Let c = -205 - -731. Is (-4)/6 - c/(-6) a prime number?
False
Let s(p) be the third derivative of -p**5/60 + 5*p**4/12 + 5*p**3/6 + 2*p**2. Let v be s(6). Suppose v = -k + 156. Is k prime?
True
Let k(q) = -2*q**2 + 3*q**2 + 9*q**2 + 10 + q**3. Let v be k(-7). Is 2*v*(-7)/(-14) a prime number?
True
Let h(s) = -2*s**3 - 2*s**2 + s + 4. Is h(-3) a prime number?
True
Let n be (1 + 11)*(-3 - 14/(-4)). Let i be 1*8 + 0/(-2). Let a = i + n. Is a prime?
False
Suppose 4*r = -5 + 49. Let a(c) = -c**3 + 11*c**2 + 10. Is a(r) a prime number?
False
Suppose -3*c + 378 = 3*i, -5*c + 38 + 84 = i. Is i a prime number?
True
Suppose 695 = -o + 2*o. Is o a