 = d + 10. Let a be l(-7). Let u be (-12)/16*-4 + 2. Suppose 3*s - u*y = 65, -a = s + 5*y + 2. Is s composite?
True
Let o = 838 - 476. Is o composite?
True
Suppose b = 6*b. Suppose b = -0*x - 3*x + 69. Is x a composite number?
False
Suppose 83 = -2*g - 503. Let k = g - -424. Is k a composite number?
False
Let h(w) = -46*w + 17. Let v(p) = 23*p - 8. Let f(z) = -6*h(z) - 13*v(z). Is f(-3) a composite number?
False
Suppose -2*g - 92 = 4*j, -3*j - 87 = -3*g + 5*g. Let n = 58 + g. Is n prime?
False
Let a be -3 - -2*3/2. Suppose -2*c - 3*c = -2*h + 29, a = c + 5. Suppose h*o - o = 55. Is o a composite number?
True
Let y(g) = 31*g**2 + 10*g - 17. Is y(6) composite?
True
Suppose -5*z = 2*m - 920, 4*z - 2279 = -5*m + 2*z. Suppose -5*g + 2*f + m = 0, 0 = -5*g + 5*f + 210 + 260. Is g a prime number?
True
Suppose -531 + 80 = -z. Is z a prime number?
False
Let n(p) = 157*p + 1. Let o(l) = -156*l. Let t(x) = 4*n(x) + 3*o(x). Let c be t(-4). Is (-2)/4 + c/(-8) prime?
True
Suppose -27 = 2*v + 9. Let q = v + 13. Let w(p) = -p**3 - 5*p**2 - 5*p - 4. Is w(q) a prime number?
False
Suppose 0 = 2*p - 6*p + 124. Let d(f) = -f**2 + 3*f + 2. Let o be d(2). Suppose -o - p = -q. Is q prime?
False
Let f(v) = 2*v**3 + 8*v**2 - v + 5. Let p be f(8). Suppose 2*s - 2*j + j - 616 = 0, -5*s + p = j. Is s a prime number?
True
Let b = -1210 - -1772. Suppose 1496 = 2*r + b. Is r a prime number?
True
Suppose -4*i + 9*i + 15 = 0. Let o = -3 - i. Suppose o = t + 5, -z - 41 = -2*z + 2*t. Is z composite?
False
Let k = 0 - 0. Suppose h - 78 - 51 = k. Let m = h - 50. Is m a composite number?
False
Let b(x) = -3*x**3 - x**2 + 5*x + 1 - 5*x**2 + 2*x**2. Is b(-5) a composite number?
False
Let a(y) = 4*y + 1. Let m(p) = -25*p - 7. Let o(d) = -39*a(d) - 6*m(d). Let g be o(-6). Let j = g + -2. Is j prime?
True
Let k = 230 + 39. Is k prime?
True
Let d = 335 - 132. Is d composite?
True
Let i(d) = d**2 + 6*d - 11. Let m be i(-8). Suppose -h = m*q - 444, -q - 3*h - 448 = -6*q. Is q a prime number?
True
Let k(m) = 4*m**2 + 18*m - 5. Is k(9) a prime number?
False
Let b(i) = 10*i**2 - 5. Let f(u) = -5*u**2 + 2. Let s(w) = -4*b(w) - 9*f(w). Is s(-3) a prime number?
True
Suppose 0*l - l = -2. Suppose -4*h + 18 = -l. Suppose 0 = 2*v - 3*v + q + 114, -h*v = -q - 590. Is v composite?
True
Suppose k - 4*c + 10 = -2*k, c + 2 = 3*k. Suppose k*a - 4*a + 2*q + 12 = 0, -39 = -5*a - 4*q. Is a prime?
True
Let u = -10 + 9. Let r(s) = 76*s**2 + 1. Is r(u) composite?
True
Let t(y) be the first derivative of y**4/4 - 8*y**3/3 - y**2 - 12*y - 3. Is t(9) composite?
True
Let q(c) = 2*c**2 - 3*c**2 + 0*c**2 + c**3 + 97. Is q(0) prime?
True
Let c(w) be the first derivative of w**3/6 + 79*w**2/2 + w - 1. Let f(q) be the first derivative of c(q). Is f(0) composite?
False
Let l(f) = -f**2 - 3*f + 2. Let a be l(-3). Suppose -12 = -a*u + 14. Let q(g) = g**3 - 13*g**2 + 2*g - 5. Is q(u) composite?
True
Let x(f) = f - 1. Let g be x(-1). Let m = 10 - g. Is 1/(-4) - (-591)/m a prime number?
False
Let j be 7 + 169 - (-2)/(-1). Let m = 263 - j. Is m a prime number?
True
Let t(h) = -7*h - 3 - 5 + 9*h**2 + 0 + h**3 - 4. Is t(-9) a prime number?
False
Suppose 5*z = 5, -5*k - 2*z = -0*k - 277. Is k prime?
False
Suppose 3 = c, 2*c - 6*c = 4*p + 36. Let h be 9*(4 + -2)*1. Let r = h + p. Is r composite?
True
Let n be 2 - 2*1/(-2). Suppose 0 = -0*o - n*o + 237. Is o composite?
False
Let w = -2 - -7. Suppose 0*s - 3*s = w*o - 13, -5*s = -o - 3. Let y(c) = 78*c**2 + 2*c - 1. Is y(s) a prime number?
True
Let u be (-1)/(1 + 0)*-1. Is 317/u*(-1 + 2) prime?
True
Let k(g) = g + 6. Let t = -1 - 2. Let j be k(t). Suppose -52 = -j*q - q. Is q prime?
True
Suppose 7*a - 2*a = 3*r - 652, -2*a = -5*r + 1055. Is r a prime number?
False
Let f(i) = -141*i + 1. Let g(j) = -424*j + 3. Let d(t) = 17*f(t) - 6*g(t). Is d(2) composite?
False
Suppose 2*z - 147 = 5*v + 68, -2*v - 454 = -4*z. Is z prime?
False
Let n be (-32)/(-12) - (-4)/(-6). Suppose -f = 5*r + 7, -f - 2*r = -n*f + 7. Suppose 6*w - f*w = 75. Is w composite?
True
Suppose 5*f - 5*t - 375 = 0, -4*f - t = -3*t - 294. Let m = f - -7. Is m composite?
False
Let f(w) = 2*w**2 + 7*w - 4. Suppose -4 = c + 4*i - 2*i, 4*c = 3*i - 27. Let j be f(c). Suppose -q = -3*d - 0 + 3, -j = -2*q - 2*d. Is q prime?
False
Let b(i) = 51*i - 5. Is b(2) a prime number?
True
Suppose -2*l = -l - 4. Suppose 2 = 2*u - l*t - 28, u - 4*t = 11. Is u prime?
True
Let t(i) = 3*i**3 + 3*i - 2 - i**3 + 2*i**2 - 6*i**3. Suppose -3 = 2*x + 3. Is t(x) a composite number?
True
Suppose 5*t = -3*f + 1221, 7*t - 8*t = -3*f + 1221. Is f a prime number?
False
Let u(t) = -75*t + 55. Let b(y) = -19*y + 14. Let i(d) = 15*b(d) - 4*u(d). Is i(7) prime?
False
Let x = -3 + 5. Suppose -1 = -x*k + 3*k, 4*y - k = 237. Suppose -5*l - y + 244 = 0. Is l prime?
True
Let v(s) = s**2 + 5*s + 2. Let c(r) = -r. Let y be c(5). Let h be v(y). Is 67 + (1 - 4) - h prime?
False
Let o = 180 - 17. Is o prime?
True
Let v(m) = -2*m - 5. Suppose 0 = -r - 0*r + 9. Let l be v(r). Is (l/(-4))/((-2)/(-24)) a prime number?
False
Suppose -5*h = -20, -3*p = -0*p + 5*h - 32. Suppose 3*a - 15 = p*f + f, -f = -a + 3. Suppose a = -3*d + 532 + 371. Is d a composite number?
True
Let j = 101 - 47. Suppose 10 = -m + f - 45, m - 2*f = -j. Let k = -33 - m. Is k a composite number?
False
Let o(s) = s**3 - 22*s**2 + 41*s + 6. Is o(20) composite?
True
Suppose -c + 20 = -6*c. Let p = c - -6. Suppose x + 1 = 0, p*x + x + 137 = 2*i. Is i a prime number?
True
Suppose 0*x = 4*x. Suppose 6*c = c - d - 67, x = -2*d + 6. Is (-6)/21 - 102/c prime?
True
Suppose 21028 = 37*d - 23*d. Is d composite?
True
Let o(i) = -2*i - 1. Let t be o(-1). Let g be 1*t/1 + 1. Suppose -3*q = -g*q - 2*y - 74, -2*q + y = -160. Is q prime?
False
Let w = 57 - 9. Let x = 127 - w. Is x a composite number?
False
Suppose -1902 = -2*a - 2*w, -5*a + 10*w + 4775 = 5*w. Is a a composite number?
False
Let c be 0/(-3 + (2 - 1)). Suppose 0 = 5*a - c*a + 25. Is 46/(a/(-3) - 1) composite?
True
Let i = -1384 - -2865. Is i a composite number?
False
Suppose -3*z + 721 = -545. Is z composite?
True
Let v(x) = 6*x**2 - 3 + 3*x**2 + 2 + 0*x**2. Is v(4) composite?
True
Let r(y) = y**2 + 10*y + 23. Is r(-20) a composite number?
False
Let g be ((-105)/6)/(1/4). Let m = g - -107. Is m a composite number?
False
Let n(y) be the first derivative of 3*y**4/2 - y**3/3 - y**2 + 2*y + 4. Is n(3) composite?
False
Let p = -24 - -43. Is p a composite number?
False
Suppose 0 = -10*q + q + 10305. Is q a prime number?
False
Let n(k) = -5*k**3 - 2*k**2 + k. Let a be n(1). Let y = -7 - a. Is (1 - (-1 - y))*67 composite?
False
Suppose 2*q - 4182 = -2*d, -2*d - 10483 = -7*q + 2*q. Is q composite?
True
Suppose -3*v + 0 = 3. Let s be 4/(-10)*(-6 - v). Suppose s*c + 0*c - 70 = 0. Is c prime?
False
Is 13467/21 - 2/7 a prime number?
True
Let y(s) = -62*s. Suppose -2 + 4 = -b. Let c be y(b). Let u = c - 55. Is u a prime number?
False
Let l = 844 - 397. Suppose 3*n - l = -3*k, -4*k + 453 = -k - 3*n. Suppose 302 = 4*c - k. Is c composite?
False
Is (-3284)/36*-15*(-6)/(-2) prime?
False
Suppose 15 = -8*w + 935. Is w prime?
False
Suppose 0 = -5*f + 5*j, 5*f + 0 = 3*j + 4. Suppose 0 = -f*p - 4*b + 333 - 3, -4*p - b = -674. Is p prime?
False
Suppose -4*k + 220 = -0*k. Is k a composite number?
True
Let c be 2*((-1)/2 - -2). Let a(m) = -m**3 + 2*m**2 + 3*m + 4. Let h be a(c). Let z = h - -9. Is z prime?
True
Let r = 1134 + -550. Suppose -5*z = -z - r. Is z prime?
False
Let g = 312 - 160. Let n = -55 + g. Is n a composite number?
False
Let w = -387 + 1846. Is w a prime number?
True
Is ((-1004)/8)/(2/(-4)) a prime number?
True
Suppose 231 = 4*z - z. Is z prime?
False
Suppose 3*p - 11 - 22 = 0. Is p prime?
True
Suppose -4*o + 15 = 2*n + 1, -4*o = 4*n - 16. Let x(k) = 2*k - 6*k**2 + 56*k**3 + 23*k**3 - 1 + 5*k**2. Is x(n) prime?
True
Suppose -2 = -v + 1, -16 = s - 5*v. Let a = 144 - s. Is a composite?
True
Suppose 0 = -3*s - 0*s - 3. Is (-195)/(-6) + s/(-2) composite?
True
Suppose 5*y - 5*k = 740, 5*y = 3*k - 253 + 995. Is y a composite number?
False
Suppose -h + 4 = -0*h. Suppose 207 = 5*v - h*l, 2 = -v - 2*l + 49. Is v composite?
False
Let j = 7 + -13. Let a be 1516/10 - j/15. Let g = a + -73. Is g composite?
False
Suppose 3*m + m = 1296. Suppose p + 4*w = 156, -3*p - 2*w + m 