ite?
True
Let t(o) = o**3 + 4*o**2 - o. Let q be t(-2). Is 3/6 + 225/q a composite number?
False
Let k(d) = 45*d + 1. Suppose 2*a = 4*a. Suppose l + 0*l - 2 = a. Is k(l) a prime number?
False
Suppose -5*o = 3*x + 16 + 57, -2*x = -3*o + 17. Let k = x - -22. Is 7/((-3)/k*-2) a prime number?
True
Let d be (-25)/(-2) - 1/(-2). Let y = 158 - d. Is y composite?
True
Let u(k) = k**2 - k + 6. Let r be u(0). Suppose r = -2*q, 4*y - q - 221 = 2*q. Is y a prime number?
True
Suppose 0 = 3*v - 29 - 82. Is v prime?
True
Let j(m) = -m**2 + 12*m - 17. Is j(9) prime?
False
Let r = 79 + 100. Is r a prime number?
True
Let h(b) = 2*b**2 + 3*b + 67. Is h(0) a prime number?
True
Let z be 4*(-2)/(-4) + 25. Let l = z + -5. Let w = l + -3. Is w prime?
True
Suppose -11933 - 6544 = -9*a. Is a prime?
True
Suppose 484 = 10*b - 6*b. Is b a composite number?
True
Suppose -11*h + 6942 = 1123. Is h a prime number?
False
Is -4 - (3/(-9) + 74616/(-9)) a prime number?
True
Let a be 5868/52 + 6/39. Is (-2)/(1/a*-2) prime?
True
Let g(s) = -s**3 - s - 3. Let x be g(0). Let m = 8 + x. Suppose m*j - 1 = -h, 5 = h - 2*j + 5*j. Is h a prime number?
True
Suppose -q + 0*q + 2*z = -377, -3*q + 3*z + 1125 = 0. Is q a composite number?
False
Let k be (3 + -4)*4/(-2). Let f be -5 + 3 - (4 - k). Is (-1 + 255)/((-8)/f) composite?
False
Let o(t) = 5*t**2 + 2*t + 3. Let j be o(5). Let i = j - -97. Is i composite?
True
Let t(j) = 2*j**3 + 6*j**2 + 5*j - 5. Let r(u) = -u**3 - 6*u**2 - 6*u + 6. Let a(n) = -3*r(n) - 2*t(n). Let i be a(7). Is (66 + 1)/(i + 2) a composite number?
False
Suppose 0 = 2*l - 7*l. Suppose 4 = -2*p - l. Is 3*((-159)/(-9) - p) a prime number?
True
Is (-6982)/(-14) - (-26)/91 a composite number?
False
Let u = -43 + 96. Is u a prime number?
True
Let s be 10 - (-3 - 10/(-2)). Let u be (-2)/s - 230/8. Let t = 64 + u. Is t a composite number?
True
Let t be (-12)/(-18) - 13/(-3). Let u be (14/(-5))/(1/t). Is 214/14 + u/49 a composite number?
True
Suppose 3*g - 2213 = 1798. Is g a prime number?
False
Let j(k) = k**3 + 9*k**2 - 3*k + 6. Let q be j(-6). Is 2/(6/(-9)) + q prime?
False
Let u(o) = o**3 - 8*o**2 - 11*o + 12. Let y be u(9). Suppose 3*r - 166 = -55. Is (y + 8)*r/2 prime?
True
Let i(u) be the second derivative of -u**4/12 - u**3 - 3*u**2/2 + 2*u. Let y be i(-5). Suppose -30 = -y*p - p. Is p a composite number?
True
Suppose -957 = 2*u - 5*u. Suppose 0 = -a, -o - 6*a - u = -2*a. Let n = 450 + o. Is n a prime number?
True
Let z(g) = -g - 1. Let s be z(-6). Suppose s*y - 3*y - 22 = -4*u, u = y + 13. Let n = 27 - u. Is n a composite number?
False
Suppose 3*y + 176 = 5*y - 2*n, 4*n = 2*y - 170. Is y prime?
False
Suppose 2*d = d + 203. Is d prime?
False
Let y be (-1)/(-2*(-1)/(-8)). Let h(v) = 5*v - 2 + 5*v**2 + y*v**2 - 9*v + 0. Is h(-3) prime?
False
Let o be 1274/10 + (-4)/10. Suppose -o = -2*r + r. Is r composite?
False
Suppose 0*o = 2*o + 14. Let t(b) = -24*b - 5. Is t(o) prime?
True
Let p(s) = 7*s**2 + 7*s**2 + 3 + s**3 - 7*s**2. Let i be p(-7). Suppose 3*o + 2*w - 3 = 0, -4*w - 1 - 20 = -i*o. Is o composite?
False
Suppose -1 = 3*q + 2*l, -4*l + 19 - 48 = -3*q. Suppose -q*i + 334 = 61. Is i a composite number?
True
Let p be 45/(-5)*(0 + -1). Let v be (p/15)/(1/5). Is v/9 + 274/6 a composite number?
True
Let l = 0 + 2. Suppose -278 = -l*v + 88. Is v prime?
False
Is 884/8 - 1/(-2) prime?
False
Suppose -3*b + 10*s = 6*s - 22, 5*s = 3*b - 20. Is b prime?
False
Is 1/(-2) - (-444)/8 prime?
False
Let q(s) = 0*s**2 - s**2 + 14*s - 7*s - 4 + 0*s**2. Let t be q(6). Is t/2 - 2*-26 composite?
False
Let w = 2830 - 1085. Is w composite?
True
Is 2361*4/(0 - -12) composite?
False
Suppose -3*g + s - 2249 = 0, 0*g + 747 = -g + s. Let j = 1748 + g. Is j a prime number?
True
Suppose -6 = -k - 3. Let x be (4 - 6/k)*1. Suppose 0 = -x*c + 3*c - 26. Is c a composite number?
True
Let d = 8 + 43. Is d composite?
True
Suppose -4*h - 15 = -5*t + 1, 0 = -2*h - 5*t + 22. Suppose b = h + 10. Is b a composite number?
False
Is 363/2 + (-24)/(-16) a prime number?
False
Let v(y) = -10*y**3 - 3*y - 3. Suppose -2 = -g + 2*g. Is v(g) a prime number?
True
Let o(q) = -2*q**2 - 15*q. Let u(a) = 3*a**2 + 23*a. Let v(z) = -7*o(z) - 5*u(z). Is v(-7) a prime number?
False
Let j(r) = -18*r + 17. Suppose 4*a - 1 = -33. Is j(a) composite?
True
Suppose -175 = 3*l + 2*l. Let o = 87 + l. Suppose -2*q = -6*k + 3*k + 73, 0 = -2*k + 3*q + o. Is k a composite number?
False
Let t(b) be the first derivative of -b**3/3 - 2*b**2 + 8*b + 1. Let w be t(6). Let f = w - -89. Is f a prime number?
True
Suppose 2*r = 0, 5*s - r - 2324 - 3011 = 0. Is s a prime number?
False
Suppose -3*z + 22 = -z. Is z a composite number?
False
Suppose 11*i = 3*i + 10504. Is i prime?
False
Let w(q) = 4*q**2 + q + 1. Let a be w(-1). Suppose a*l + l = 25. Is (9 + 2)/(1/l) a composite number?
True
Let a = -5 + 27. Suppose x + 3*d = -a - 28, 4*d = 0. Let b = -31 - x. Is b a composite number?
False
Let d(b) = 54*b - 17. Is d(4) a prime number?
True
Let s(a) be the first derivative of -26*a**2 + a - 6. Let m be (1/(-2)*-2)/(-1). Is s(m) prime?
True
Let f(x) = 3*x - 4*x + 9*x**2 - 2*x - x**3 - 6. Let a be f(5). Let s = 170 - a. Is s a composite number?
True
Let k = 3 + 1. Suppose -k*z - 24 = -0*z. Is z/9*762/(-4) composite?
False
Let r(f) = -2*f**3 - f**2 + 2*f - 4. Is r(-5) composite?
False
Suppose -4*x + 102 = -250. Suppose 2*y + 3*y = 3*f - x, -4*y - 41 = -f. Is f composite?
True
Let p(m) = -48*m**2 - m. Let y be p(-1). Let k = y + 18. Let t = k - -106. Is t a prime number?
False
Suppose -13*z + 9977 = -2*z. Is z prime?
True
Let o = 1475 + -996. Is o a composite number?
False
Let u = -543 + 346. Let c = 346 + u. Is c composite?
False
Let p = 34 - 3. Let j = 45 - p. Is j prime?
False
Let d be 8 + -4 - (0 - 1). Let r(a) = 37*a + 6. Is r(d) composite?
False
Suppose 3*s - 21 = 3*o, -2*s - 1 - 3 = 4*o. Is (-10 + o)*(-14)/2 a composite number?
True
Suppose -6 = -2*b + 74. Let x = 43 + b. Is x prime?
True
Let g be 5 - -3*(-4)/(-12). Is ((-9)/g)/3*-92 composite?
True
Is 2374 + (-2)/(-3)*(-36)/8 prime?
True
Let r(i) = 49*i + 2. Is r(3) prime?
True
Suppose -2*q + 718 = 4*d, 2*q - 688 = -4*d + 6*q. Is d prime?
False
Let o = 12134 + -7545. Is o a composite number?
True
Let c(f) = 3*f + 5. Let h be c(-5). Let x = 16 + h. Let l(n) = 2*n**2 - 3*n - 1. Is l(x) a prime number?
True
Let j = -4 - 4. Let u = 12 + j. Is (-2154)/(-26) - u/(-26) prime?
True
Let k(m) = 1. Let o(r) = -r**2 - 3*r - 3. Let g be o(-2). Let l(x) = -4*x - 1. Let f(z) = g*l(z) - 4*k(z). Is f(7) prime?
False
Let y be (2*49)/(0 - -1). Let z = 59 + y. Is z a prime number?
True
Let v(r) = -5*r**2 - 6*r - 10. Let p(n) = n**2 + n + 1. Suppose 2*j - 2 + 4 = 0. Let w(y) = j*v(y) - 2*p(y). Is w(-7) a composite number?
False
Suppose 0 = 2*q - w + 62, w = -2*q - 2*w - 54. Let s be 2*7*(-23)/(-2). Let j = s + q. Is j prime?
True
Suppose 0 = -0*b - b. Suppose -5*r + 0*r - 75 = b. Is 2/((-2)/r*1) a composite number?
True
Let q = -1 + 3. Suppose 5*j - 6*j = -6. Suppose -6 - j = -q*p. Is p prime?
False
Let b be (1/2)/(2/20). Suppose 3 = b*h - 3*f - 2, 30 = 5*h + 2*f. Suppose 17 = h*v - 11. Is v a composite number?
False
Let d = 49 + -104. Let n = d + 122. Is n a composite number?
False
Is 253 - 4/6*-6 a prime number?
True
Let p(n) be the first derivative of 53*n**2/2 + 2. Is p(1) prime?
True
Suppose 2*v = 3*t + 896 + 875, 0 = 2*v + 3*t - 1777. Is v prime?
True
Let d(u) = -2*u + 2 + u - 8*u - 7. Is d(-7) composite?
True
Suppose -4*s + 9*s - 58225 = 0. Is s/45 + (-4)/(-18) a prime number?
False
Let v = -5 + 7. Suppose 4*u = v*u - 10, -5*u = -4*g + 41. Suppose g*l = 0, 5*y + 4*l + 62 - 537 = 0. Is y prime?
False
Let k(z) = -6*z + 2. Let j be k(2). Is (-4)/j + 365/25 a composite number?
True
Let i be -2*2/(-2*1). Let x(b) = -b**2 + 41. Let u be x(0). Suppose -p + 113 = -0*f + 3*f, -u = -f - i*p. Is f a composite number?
False
Suppose -3*y = 3 - 9. Let a(z) = 17*z**3 + 4*z**2 - 4*z + 2. Is a(y) a composite number?
True
Let t = 2146 - 1185. Is t composite?
True
Let u(s) = -s + 79. Let h be u(0). Suppose 4*x - h = 3*x. Is x a composite number?
False
Suppose 3*o = -5*o + 344. Is o a composite number?
False
Suppose -z + 6 - 29 = -4*a, -7 = a + 4*z. Suppose -2*k - 20 = -a*j, -j - 18 = -5*j + 2*k. Is j a prime number?
True
Suppose 