
False
Let m(z) = -2*z + 3*z - 4 + 5 + 15*z**2. Is m(-1) a composite number?
True
Let k(j) be the third derivative of -19*j**4/24 - j**3/6 + j**2. Let v(q) = 2*q + 10. Let m be v(-6). Is k(m) composite?
False
Let p = 1119 + -761. Is p/4 + (-12)/(-8) a prime number?
False
Suppose -4*q - 6*i + 3*i = 517, 3*i - 626 = 5*q. Let v = q - -293. Is v prime?
False
Let p(n) = n**3 - n**2 - 7*n + 6. Let o be p(4). Is 4/26 - (-282)/o composite?
False
Suppose 4*z + 8 = 4*r, -12 = -2*z + 4*z - 4*r. Let h be (1 - z)/((-1)/(-97)). Let f = 162 + h. Is f prime?
False
Suppose -5*z - 216 = -9*z. Let q = 133 - z. Is q prime?
True
Suppose 2 = m + 4, 0 = k + m - 429. Is k a prime number?
True
Suppose 0 = 4*n - 5*f + 4, n + 4 = 2*f - 0. Suppose -4*p + n*z + 240 = -0*p, 2*p - 4*z - 110 = 0. Is p composite?
True
Let v = 1412 - 739. Is v prime?
True
Let w be (-1 + 0)/(13/65). Is (-2 + -1)/(w/145) a prime number?
False
Let k = -429 + 716. Is k a prime number?
False
Let z(x) be the second derivative of x**7/2520 + x**6/360 + 11*x**5/120 - x**4/6 - 2*x. Let p(y) be the third derivative of z(y). Is p(8) prime?
False
Suppose -2*s + 2*n = -174, -5*n = -2*s - 2*n + 179. Suppose s - 211 = 3*b. Let d = -30 - b. Is d a prime number?
True
Let m = 11 - 7. Suppose 2*w - m*w = 644. Let x = -189 - w. Is x a composite number?
True
Suppose 5*w + 2*u = 260, -2*w + 0*w + 128 = -4*u. Let o = w + -33. Is o a prime number?
False
Suppose 4*a + 2*s + 89 = 19, 0 = 2*a + 3*s + 33. Is (-4)/a - 1202/(-18) composite?
False
Let c(l) = 33*l**3 + 4*l - 3. Is c(1) composite?
True
Let u be (-12 - -5)/(1/(-29)). Let m = 36 + u. Is m prime?
True
Let x be 1 + -1 - 0 - 4. Let a = 501 + x. Is a a prime number?
False
Is (-12900)/(-44) + 2/(-11) a composite number?
False
Let o(w) = -w**2 - 3*w - 6. Let u(v) = v**2 + 3*v + 7. Let d(m) = -5*o(m) - 4*u(m). Let z be d(-2). Is (z - -25) + (2 - 1) prime?
False
Let z(r) = 2*r**2 + 3 - 14*r + r**2 + 12*r. Is z(4) a prime number?
True
Let h = -27 + 44. Suppose 4*d - h = y, 3*d - 2*y - 2*y - 16 = 0. Suppose d*k - 75 = 137. Is k a prime number?
True
Let a(m) = -m**2 - 8*m + 9. Suppose 0*w - 3*w - 27 = 0. Let y be a(w). Is (y - 0) + -2 + 9 a composite number?
False
Suppose 3*h + 68 = -5*u, -5*h - 101 = -u - 3*u. Let k = 11 + h. Let c = k + 17. Is c a composite number?
False
Suppose -5*w + 2*w = -3*t - 213, -t - 371 = -5*w. Is 2 + w + 6 + -4 a prime number?
True
Let b(x) = x**2 + 14*x + 8. Let p be b(-15). Let d = p + -10. Is d a prime number?
True
Let n(j) = j**3 - 5*j**2 + 6*j - 6. Suppose 6 = 2*l, -4*t - 4*l = l - 31. Let c be n(t). Let h(p) = 2*p**3 - 2*p + 1. Is h(c) a composite number?
False
Let r(b) = 19*b**3 - b**2 + 6*b - 11. Is r(2) composite?
False
Suppose 7*f = 2*f + 115. Let i = 14 - f. Is (-4)/6 + (-1149)/i prime?
True
Suppose -3*h + 10 = 1, 3*m - 9 = h. Let k = m + 0. Suppose 0 = -0*r - 3*r - k*z + 49, -5*z = 10. Is r a composite number?
False
Let b be 10 - (1 + 3 + -1). Suppose -3*q = -b - 386. Is q a composite number?
False
Is (8/(-2) + 81)/1 a prime number?
False
Is 0/(-19) + 34*1 a composite number?
True
Let y(t) = 46*t - 1. Is y(7) composite?
True
Suppose -i - 5*d = 3*i - 29, 2*d = 2. Let v be (-3)/(15/i + -1). Let f(j) = 9*j**2 + 2*j - 1. Is f(v) composite?
False
Suppose -35025 + 6759 = -6*a. Is a a prime number?
False
Let j be 2*(-3)/12*-2. Is (j/(-3))/(1/(-9)) prime?
True
Suppose 0*a - 4 = -a. Let g be -2 + (a + -2 - -2). Suppose 0 = g*o - 9 - 13. Is o composite?
False
Suppose u - 4*u + 791 = -2*q, -522 = -2*u - 4*q. Suppose k - 74 = -3*v + u, 6 = -3*k. Is v composite?
False
Suppose 3*m + 3*v - 291 - 951 = 0, 3*m + v - 1252 = 0. Is m a composite number?
False
Suppose -2*g = 3*w - 0*w - 71, 0 = -3*w - 4*g + 79. Is w prime?
False
Let z(o) = -o**3 - o**2 - 2*o - 211. Let r(f) = f. Let d(j) = -2*r(j) - z(j). Is d(0) a prime number?
True
Let z(n) be the first derivative of n**4/4 + n**3/3 - n**2/2 + 241*n - 1. Let q be z(0). Let p = q + -164. Is p prime?
False
Let r(w) = -15*w + 2 - 5*w + 2. Let p be r(-4). Let u = p - 17. Is u a composite number?
False
Suppose 258 = 4*s - 354. Suppose 3*z - 204 = s. Is z a composite number?
True
Let u = -4 + 7. Let b(i) = -3*i**2 - 2*i - 1. Let x be b(u). Let w = x - -57. Is w prime?
True
Suppose 0 = 4*j - 12, 5*p - 2*j + 0 = 4. Let t(l) = 3*l**3 + 2*l - 3*l**2 - 2*l + 1. Is t(p) prime?
True
Let s(r) = -r**3 + 2*r**2 + 3*r - 3. Let l be s(3). Let a(k) = -k**3 + k**2 + 2*k + 2. Let g be a(l). Let w = 67 - g. Is w prime?
False
Let w(r) = -r**2 - 8*r. Let h be w(-6). Suppose 2*z + 8 = -3*j, 0 = 2*z - 0*z + 4*j + h. Is z/(-3) + 236/12 a composite number?
False
Let z = 650 - 1116. Let u = z + 909. Is u a prime number?
True
Is -10*(212/(-8) - 4) composite?
True
Is 3158/(-4 + 4 - 2/(-3)) a composite number?
True
Let c(f) = 100*f**2 + 5*f - 2. Is c(3) prime?
False
Let m be (4 + 0)/((-1)/(-1)). Let i be (3 + -3)/(m/2). Suppose -127 = -c - i*c. Is c a composite number?
False
Let y = -23 + 25. Let n(h) = -h + 3. Let a be n(3). Suppose a = g - y*m - 15, -4*g - 2*m + 3*m = -53. Is g prime?
True
Let f = 90 - -201. Is f a prime number?
False
Suppose -27*n = -24*n - 753. Is n prime?
True
Is 14152/6 - (-70)/(-42) a composite number?
False
Suppose -2*s - s + h = 16, 4*s + 2*h = -18. Let i(q) = -65*q - 6. Is i(s) a composite number?
True
Let b(l) = 143*l**2 - 8*l - 6. Is b(-7) composite?
False
Suppose -2*z = -0*z. Let d(v) = v + 111. Is d(z) composite?
True
Let j(x) = x**2 - 5*x + 9. Let v(b) = b**2 - 5*b + 10. Let n(h) = 3*j(h) - 2*v(h). Is n(7) a prime number?
False
Let m = -2276 - -4784. Suppose -2*h + 1008 = 2*u, 2*h - h = -5*u + m. Is u a prime number?
False
Let x = 6035 + -1306. Is x a prime number?
True
Suppose 8*l - 3*l - 575 = 0. Is l composite?
True
Suppose 3*d = 6, -4*a = -a - d - 1. Suppose 0 = -0*k - 5*k. Is (k + a)/((-3)/(-63)) a composite number?
True
Let s(p) = 7*p**2 + 11*p - 4. Is s(5) prime?
False
Suppose c + 1 + 4 = -2*k, -5*c + 5*k - 10 = 0. Let a(f) = -6*f + 3. Is a(c) a composite number?
True
Suppose w - 4*w + 435 = 5*h, 4*h - 2*w = 370. Let y = 157 - h. Is y a prime number?
True
Suppose 5*k + 202 = z, 4*z + k = -2*k + 877. Is z prime?
False
Suppose -3*z + 0*z + 531 = 0. Is z a prime number?
False
Let i(n) be the first derivative of n**3/3 + 7*n**2/2 + 5*n + 1. Let c be i(-7). Is 2/(c/(265/2)) a prime number?
True
Suppose 0 = 5*y - 7 - 8. Suppose -y*m - 2*m - 3*v + 239 = 0, 4*m - v - 198 = 0. Is m a composite number?
True
Let g = -32 + 22. Is 11/(-55) - 952/g prime?
False
Suppose -3*b = -0*u + u - 4600, -b - 9221 = -2*u. Is u composite?
True
Suppose 0 = -5*a + 2*a. Suppose a*h + 2 = -h. Is (1 - 0)*(109 - h) composite?
True
Let q(z) = 6*z - 18. Let k(n) = 5*n - 17. Let c(i) = -7*k(i) + 6*q(i). Let b be c(-8). Let v(p) = 3*p**2 - 4*p + 4. Is v(b) prime?
True
Suppose f - 311 = 3*h, -2*f + 0*f + 3*h + 610 = 0. Is f a prime number?
False
Suppose 3*l + 7 = -5. Let q = 10 - 13. Is q/6*2*l prime?
False
Is 3 - -1 - (-1)/(2/822) composite?
True
Suppose 4540 - 1447 = 3*w + 3*j, w - 5*j - 1031 = 0. Is w composite?
False
Suppose -2*i = g - 7*i - 17, 9 = g - 3*i. Is (-3)/(g/53) - 0 a composite number?
False
Is 12/(-3) - -108 - 1 prime?
True
Let o = -2 + 14. Suppose o = 3*b, 0 = -2*m + 4*b - b - 4. Suppose m*f - 333 = f. Is f a prime number?
False
Let n = 8 - 6. Let l(z) = 3*z**2 - 3*z + 3. Is l(n) composite?
True
Let p(w) = 21*w + 1. Is p(12) a prime number?
False
Suppose 3*m + j - 423 = 0, 8*m = 3*m + 2*j + 716. Let w = 251 - m. Is w prime?
True
Let i(r) = -r**2 - 2*r + 1. Let a be i(1). Let s(h) = -28 + 56 - 17*h - 29. Is s(a) composite?
True
Let l(j) be the second derivative of j**5/12 + j**4/8 + j**3/6 + 3*j. Let f(b) be the second derivative of l(b). Is f(5) composite?
False
Let n(t) = -1 + 0*t - 67*t**3 - t - 12*t**3. Let m = -39 + 38. Is n(m) composite?
False
Suppose -634 = -2*l - 0*l - w, -l = -3*w - 310. Suppose -2*i = -4*u + 312, -2*u + 4*i = 2*u - l. Is u prime?
False
Is -1 + (-8)/4 + 302 a prime number?
False
Is ((-12)/(-4))/9*9 + 103 prime?
False
Suppose -2*n - 6 = -32. Suppose 0 = -2*k + n - 1. Suppose k*h - 2*h = 308. Is h a prime number?
False
Let i = -316 - -711. Is i a prime number?
False
Let k(c) = 0 - 2 + c**2 + 1 + 3*c + 19*c**3. Is k(2) a prime number?
False
Let j be -1 + 6/(-2) - 1. Let h = -1 - j. Suppo