site number?
True
Suppose -4*k = 9 - 41. Suppose -v - 3*v + k = 0. Suppose -v*x + 381 = x. Is x a composite number?
False
Suppose z - 3*l = -4, 20 = -2*z + 7*z + 5*l. Suppose 142 = -5*y - 3*q, -z*y + 2*q + q = 40. Is 2 + 0 - (y + 5) a prime number?
True
Let j = 6 + 15. Let o = 106 + j. Is o a prime number?
True
Let m(k) = -4*k**3 + 8*k - 1. Is m(-9) prime?
True
Let p(x) = 2*x**3 + 3*x**2 - 5*x + 3. Is p(4) a prime number?
False
Let o(t) = 274*t + 31. Is o(9) composite?
True
Let s(f) = f. Let n be s(1). Let h(x) be the first derivative of 7*x**4/4 - 2*x**3/3 + x**2/2 - 4. Is h(n) a composite number?
True
Let v be -142 + 3*(-4)/(-12). Let g = 290 + v. Is g a composite number?
False
Let o(d) be the third derivative of 19*d**4/24 - d**3/2 + 3*d**2. Is o(2) a prime number?
False
Let k(h) = 6*h - 5. Let n be k(6). Let i = n - -30. Let o = i + -27. Is o prime?
False
Is (-4018 + (-6)/6)*-1 prime?
True
Suppose -3*u + 335 - 5 = 0. Suppose 0 = 3*p + f - u, 0 = -2*f - 2*f - 4. Is p prime?
True
Suppose -2*k + 3*q + 4592 = 2*k, -k = 2*q - 1137. Is k a composite number?
True
Let r(h) = -h**3 - 11*h - 11. Is r(-7) composite?
False
Suppose 2*w + 1061 = 5*a, 5*a - 4*w = 2*a + 645. Is a prime?
True
Suppose w = 0, -3*w + 0*w + 170 = 5*m. Suppose 199 = 4*t + 5*q, -2*t = -4*q - 72 - m. Is t a prime number?
False
Is (25/20)/(2/56) a prime number?
False
Suppose -7919 = -5*j + 13716. Is j a composite number?
False
Suppose y + 0*y - z = -7, -3*y - 5*z = 21. Let n(o) be the second derivative of -2*o**3/3 - 9*o**2/2 + 2*o. Is n(y) a prime number?
True
Suppose -3*x + 10835 = 4*j, -x + 3*x - 13535 = -5*j. Is j a prime number?
False
Let o be (-2 + 2)/(-2 + 1). Suppose -4*r + o*r = 16. Let g = 7 + r. Is g prime?
True
Let l(r) = r**2 - 8*r + 6. Let b be l(5). Let j = -5 - b. Suppose -2*i = -j*d - 5*i + 38, -2*d - 3*i + 16 = 0. Is d a composite number?
False
Suppose -5*d - 991 = -2*k, 46 = d + k + 247. Let f = -80 - d. Is f prime?
False
Suppose 0 = -4*z - 3649 + 34053. Is z composite?
True
Let x(g) = -g**2 + 2*g + 1. Let d(m) = 3*m**2 - 2*m + 1. Let u be d(1). Let h be x(u). Let z = h - -13. Is z prime?
False
Let g(w) = 785*w**2 + w - 1. Is g(1) composite?
True
Let n(s) be the first derivative of s**5/60 + s**4/24 - 2*s**3/3 + 1. Let f(c) be the third derivative of n(c). Is f(6) composite?
False
Is ((-111)/6)/(4/(-8)) a prime number?
True
Suppose 7*k - 2845 - 1026 = 0. Is k prime?
False
Let a(z) be the first derivative of -z**3/3 + 3*z**2/2 - 2*z + 2. Let o be a(2). Suppose o = -5*s + 24 + 31. Is s composite?
False
Suppose 5*r - 35 = 5*f, 0*f + f = 2*r - 10. Is (30/f)/(3/(-6)) a prime number?
False
Let g be (5 - (-8)/(-4)) + 0. Is ((-4)/(-4))/(g/114) prime?
False
Let m = 2 - -1. Let g = -3 + m. Is g - (1 + -2*7) prime?
True
Is (2 - 826/(-6))*(1 + 2) prime?
True
Let b(s) = s**3 + 6*s**2 - s. Let g be b(-6). Let o be (-2)/3 + 22/g. Suppose o*u = 241 + 92. Is u prime?
False
Let u(c) = -c**3 - 11*c**2 - 15*c - 13. Let m = 8 - 18. Is u(m) a composite number?
False
Suppose -6*n = 5*l - n - 22375, 5*n - 25 = 0. Is (-6)/21 - l/(-14) prime?
False
Let c(y) = 64*y**2 + 2*y + 2. Let q be c(-2). Suppose -q = -2*j - 0*j. Is j composite?
False
Let x(s) = s**2 + 3*s - 6. Let d(g) = -g**2 + 4*g - 4. Let h(n) = 5*n**2 - 21*n + 21. Let a(j) = -11*d(j) - 2*h(j). Let i be a(3). Is x(i) a prime number?
False
Let m(k) = -4*k**3 + 3*k**2 - 7*k - 1. Let y be m(-5). Suppose -3*b + 0*b = -y. Is b a composite number?
True
Is ((-296)/20)/(5/(-25)) a prime number?
False
Let q = -8 + 27. Is q composite?
False
Let c(a) = 24*a**2 - 3*a - 4. Is c(3) a composite number?
True
Let x(o) = 8*o**2 - o - 4. Is x(5) prime?
True
Suppose 0*o - 6352 = -8*o. Is o prime?
False
Let r(a) = -a**3 + 11*a**2 - 9*a - 1. Is r(8) prime?
False
Is (-5)/(5/(-607)) - -4 a composite number?
True
Let c be 2/(-6) + 115/(-15). Let k(x) be the third derivative of -11*x**4/24 - x**3/6 - 3*x**2. Is k(c) prime?
False
Let c = 1266 - 589. Is c a composite number?
False
Suppose -3*z + 6 = -12. Is 224/z - 5/15 a composite number?
False
Let u = 7 + -2. Suppose 2*r - u*z = 46, -115 = -r - 4*r - 2*z. Is r composite?
False
Let d(o) = -51*o - 14. Is d(-17) composite?
False
Suppose 1168 = 5*f + 193. Suppose f = 6*i - i. Is i composite?
True
Let x(n) = 3*n - 1. Let f be x(1). Suppose -4*w - i = -225, -3*w = -f*i - 89 - 66. Is w a composite number?
True
Suppose -5*v + 10*v - 563 = 2*g, -227 = -2*v - g. Is v prime?
True
Is 3/((-12)/(-788)) + 4 composite?
True
Let i = 24 + -39. Let n be ((-1056)/i)/(2/10). Let q = n - 167. Is q prime?
False
Let m be 6*(2 - -1)/6. Suppose 0 = -5*o - f + 98, m*f - 47 = -5*o + 3*o. Is o prime?
True
Let x = 27 + 128. Is x composite?
True
Is (-4)/(-13 + 5) + 61/2 prime?
True
Let w = 43 + 84. Let o = w - 74. Is o prime?
True
Let d = 631 + -182. Is d prime?
True
Let v = -539 + 884. Let p be (-3)/9 - v/(-9). Suppose 0 = -4*f + 54 + p. Is f a composite number?
False
Let x(b) = b - 1. Let f be x(3). Is (f - 126/(-4))*2 prime?
True
Let y(b) = b - 1. Let z be y(4). Suppose 0*r - z*r = 27. Is (-421)/r - 4/(-18) a prime number?
True
Let c = 2 - -2. Is c/(-10) + 747/5 a prime number?
True
Suppose 1526 = 2*r + 5*d, 2*r - 3786 = -3*r + 2*d. Is r a prime number?
False
Suppose -3*x = 2*x. Suppose x = 2*z - 142 - 156. Is z a prime number?
True
Suppose 3668 = 2*o - 4*i, 2*o - 5492 + 1822 = 5*i. Suppose -o = m - 7*m. Is m composite?
True
Let u be 1/2*-4 + 117. Let v be -1 - (1 + -1 + -5). Suppose 0 = -z - v*z + u. Is z a composite number?
False
Suppose x = 5*x. Suppose -20 = -4*y - 3*p, x = -3*y + 5*y - 2*p - 24. Suppose -2*o - y = -6*o, 4 = -l + 5*o. Is l a composite number?
True
Suppose 4*z = -5*u + 10, 2*u + 3*z - 2*z - 4 = 0. Suppose u*x - 1348 = -2*x. Is x prime?
True
Suppose -1667 - 785 = -4*d. Is d composite?
False
Let i(r) = -227*r + 4. Is i(-3) a composite number?
True
Let s be ((-5)/3)/((-1)/327). Suppose s + 387 = 4*u. Is u a composite number?
False
Suppose -p + 2*p = -5*u + 9878, -3*p + 4*u = -29577. Is p composite?
True
Let z = -3 - -3. Let v(k) = -k**3 + k**2 - k + 3. Let y be v(z). Is 18/(-12)*(-8)/y composite?
True
Suppose 0 = u + 4, 681 - 259 = o - 4*u. Let z = -273 + o. Is z composite?
True
Let l(v) = -3*v**2 - 11*v + 5. Let c(q) = -6*q**2 - 33*q - 7*q**2 + 5*q**2 + 15. Let j(w) = -4*c(w) + 11*l(w). Is j(9) a prime number?
True
Is -1 + 85*(2 + (-12)/10) a prime number?
True
Let j = -175 + 1130. Is j composite?
True
Let t(h) = -h - 10. Let n be t(-12). Is (-1 - n)/(11/(-517)) a composite number?
True
Let g(d) = -832*d + 41. Is g(-5) a composite number?
False
Let o = -3 + 1. Let s = 2 - o. Is (s/(-6))/(4/(-138)) prime?
True
Let b(v) = 2*v - 6. Let c be b(4). Suppose 0 = -2*l, -c*w - w + 2*l + 9 = 0. Let a = w + 20. Is a a composite number?
False
Let l = 11 - 5. Suppose -c - 310 = -l*c. Is c a prime number?
False
Let m(b) = -b**2 - 9*b + 2. Let c be m(-9). Is 71/c + (-2)/4 composite?
True
Suppose -5*u - 9 + 29 = 0. Let o be ((-42)/u)/(-3)*2. Is 2/o - (-369)/7 prime?
True
Suppose t + 4*t - 1340 = -5*p, -271 = -t - 4*p. Is t prime?
False
Suppose 3*r - 5*m - 6 = 18, -2*r - 3*m + 35 = 0. Let i = -8 + r. Let y = 20 - i. Is y composite?
True
Suppose -l = -42 + 7. Suppose 5*w + 0*w = -o + l, -4*w + 2*o + 14 = 0. Let q = w - -5. Is q a composite number?
False
Let s(m) = -28*m + 5. Let f = 14 + -23. Is s(f) a composite number?
False
Let a(k) = 117*k**2 - k + 1. Is a(2) a composite number?
False
Suppose 0*u - 210 = 5*u. Is 1698/14 - (-12)/u a composite number?
True
Let b(y) = -y**3 + 3*y + 2. Let z be b(-2). Suppose -4*m + 170 = -166. Suppose -5*l - 5*k + 105 = 0, 0*k = z*l - 3*k - m. Is l composite?
True
Let m = 384 + 505. Is m composite?
True
Let f = -9 + 12. Suppose -f*j + j + 110 = 0. Is j prime?
False
Let z be 2/3 - (-1183)/21. Suppose -4*s + z = -203. Is s a prime number?
False
Let v = 15 - 8. Suppose -25 = g + 5*r, v*r - 2*r + 25 = -3*g. Suppose g = -2*s + 4*s - 70. Is s prime?
False
Suppose b = 3*l + 3*b - 49, 0 = -l - 3*b + 28. Suppose l = -3*k + 91. Is k prime?
False
Let j = 6 + -2. Suppose -j*h = -2*h + 4*g - 266, -121 = -h + 2*g. Is h a prime number?
True
Suppose -3300 = -5*s + 5*g, 3*g = -2*s - g + 1296. Suppose 2*b = 555 + 91. Suppose 4*z + 0*z = -4*a + s, -b = -2*a + 3*z. Is a prime?
True
Let g(v) = -v - 77. Let c(u) = 