 - 719, 5*w + 5*f - 2545 = a. Is w a composite number?
False
Let r(d) = -d**2 + 6*d + 10. Suppose 0 = 3*k - 0*k - 21. Let m be r(k). Is 2*57/18*m a prime number?
True
Let v(x) = -x**2 - 3*x + 2. Let j be v(-4). Let r be (-1945)/10 - 1/j. Is (r/4)/((-2)/4) a prime number?
True
Let i(k) = k - 5. Let s be i(10). Suppose 2*l + s*o - 482 = 0, -3*l + 2*o + 745 = 4*o. Is l prime?
True
Let a be 25*1*(-18)/(-30). Suppose -4*y = -4*w - 23 - 21, -3*w = a. Is y composite?
True
Suppose -2*j + 153 = -3*w + j, 3*w + 4*j + 181 = 0. Let i = -35 - w. Suppose 2*x + i = 94. Is x prime?
True
Suppose 0 = -3*n + 7*n. Let b(c) = c**2 - c + 183. Is b(n) a composite number?
True
Let n = -3 - 5. Let v(o) = -6*o**2 - 4*o + 5. Let h be v(-4). Let z = n - h. Is z a prime number?
True
Suppose t + 4*t - 20 = 0. Suppose 0 = -6*i + i + 4075. Suppose -n - t*n = -i. Is n a prime number?
True
Let q(g) = g - 1. Let p be q(5). Is (p - 5)/(2/(-422)) a composite number?
False
Let z(l) = -l**3 - l. Let g be z(2). Is (9/3)/((-3)/g) a composite number?
True
Suppose 9 = -2*g + 5*g. Suppose -675 = 5*a + 4*z, -g*a + 2*a - 2*z = 141. Let r = a - -210. Is r composite?
False
Let c(i) = -i**3 - 2*i**2 - 6*i - 3. Is c(-4) composite?
False
Suppose -9*i + 3996 + 1683 = 0. Is i composite?
False
Let s = 15 - -5. Suppose 4 - s = -4*a. Suppose 3*u + a*y - 67 - 18 = 0, 4*u - 3*y - 80 = 0. Is u a composite number?
False
Let p be (-3 - -6)*(-404)/6. Let f = p - -507. Is f a prime number?
False
Let c = -3 + 4. Is (2 + c)*(-187)/(-3) prime?
False
Suppose -2*o - t = -1779, -o + 2663 = 2*o - 4*t. Is o a prime number?
False
Let n(m) = 2*m + 3. Let l be n(-2). Let g(v) = -31*v**2 - 5*v - 2. Let c(i) = -15*i**2 - 2*i - 1. Let b(f) = -5*c(f) + 2*g(f). Is b(l) a composite number?
True
Suppose -3*g = 5*w - 397, -g + 3*w + 131 = 5*w. Is g a prime number?
True
Let m(l) = 23*l**2 - 3*l - 7. Is m(5) a composite number?
True
Let d(j) = 4*j**2 + 7*j - 4. Let l(x) = 3*x - 7. Let v be l(5). Let z be d(v). Suppose z = 8*o - 4*o. Is o a composite number?
True
Suppose 1113 = 5*h - t, h + 87 = -5*t + 320. Is h prime?
True
Let v(b) = -31*b + 11. Is v(-8) composite?
True
Let v be -1 - 1 - (-9 + 1). Suppose -5*d + 247 + 198 = 0. Let p = d - v. Is p prime?
True
Let p(y) = 304*y + 43. Is p(4) composite?
False
Suppose -o - 4*r - 10 = 0, 0*o + r + 4 = -o. Let c = o - -5. Suppose c*z = z + 22. Is z prime?
True
Let z be 0/(-1)*9/18. Suppose -5*y + 723 + 272 = z. Is y a prime number?
True
Let b(s) be the second derivative of 2*s + 1/2*s**2 + 0 + 1/6*s**4 + 0*s**3. Is b(-5) prime?
False
Suppose -3*c = -4*z - 42 + 13, 2*z + 16 = 2*c. Suppose 3*n - 3 = 0, 2*g + 0*g = -3*n + 305. Suppose -4*u = 3*w - g - 52, c*u + 2*w - 153 = 0. Is u composite?
False
Let v = 160 - -174. Is v composite?
True
Let k = -4604 + 6631. Is k composite?
False
Let j(a) be the second derivative of 2*a + 0*a**3 + 0 + 23/20*a**5 + 0*a**2 - 1/12*a**4. Is j(1) composite?
True
Let s(b) = -b**2 + 1. Let j(v) = -2*v**2 + 13*v + 6. Let n(g) = j(g) - 3*s(g). Is n(-13) composite?
False
Suppose 0*h = -4*i - 3*h + 8, -3*i - 7 = -h. Is (i - -5)*13/2 composite?
True
Let o be 4*(9/6 - 2). Let n be o*3/(3/(-4)). Let f = 13 + n. Is f a prime number?
False
Suppose 5*f = 5*b + 625, 2*f + 3*f - 3*b = 617. Is f a composite number?
True
Suppose 258 + 519 = 3*g. Is g prime?
False
Suppose 5*o = 25, -2*o + 372 = n - 49. Is n composite?
True
Let f be 2 - (-3 + -83) - 2. Let o = f - -140. Is o a prime number?
False
Let s(x) be the third derivative of x**5/30 + x**4/6 - x**3/3 - 3*x**2. Is s(-6) a prime number?
False
Suppose 3*v - 22029 = -4*v. Is v a composite number?
True
Let s = -51 + 169. Is s a composite number?
True
Let l be 86/6 - 2/(-3). Is 456/15 + 9/l prime?
True
Let y(c) = 535*c + 9. Is y(4) composite?
True
Let u = 6 + -4. Suppose -3*s + 387 = 3*o, 4*s - 385 = -3*o + u*s. Is o a composite number?
False
Suppose -3*n + n - 8 = 0. Let g(v) = 2*v**2 + 3*v + 3. Is g(n) prime?
True
Let j be 3/((-2)/((-24)/(-9))). Is 378/12 - (-2)/j prime?
True
Let s be (1/(-2))/((-4)/1648). Suppose s = -0*k + 2*k + 4*h, 3*k - 3*h - 336 = 0. Is k a prime number?
True
Is 25687/(-34)*(0 + -2) composite?
False
Suppose y = -3*l + 3833, 0 = y - 2*l - 4853 + 1020. Is y prime?
True
Let f = -19 - -35. Suppose -3*n + f = -5. Is n a prime number?
True
Let k be (0 + 0)*2/(-4). Suppose -2*x - 5*h + 54 + 16 = k, -175 = -5*x + 2*h. Is x prime?
False
Suppose 4*m + 0 = -4. Is 56 + m/(4 + -3) composite?
True
Let w(j) = j**2 + 8*j + 5. Let t be w(-8). Let g(z) = -6*z - 2 - t*z + 5 - 2. Is g(-6) composite?
False
Let z be 4768/(-6) + 1/(-3). Let m = 1174 + z. Is m prime?
True
Let q(z) = -13*z + 7. Let c be q(-5). Suppose c = 3*v - 42. Is v prime?
False
Suppose -5*k - 15 = 0, -4*y + 43 = -3*k - 2. Let s = y + -6. Suppose 0 = 4*b + 4, 3*t = -2*b - s*b + 106. Is t a composite number?
False
Suppose 4*q - 2*m = m - 28, -2*m + 8 = 0. Let b be (-64)/(-3) + q/(-6). Suppose 0 = -2*j + 3*n + 21, 5*j - 82 = 5*n - b. Is j a prime number?
False
Let d = -4 + -1. Let f = d + 3. Is 6 + f + -2 - -107 prime?
True
Suppose a - 1385 = 308. Is a prime?
True
Let m(j) = -2*j**2 - j + 1. Let y be m(2). Let w be (-66)/y*(-9)/3. Is w*(1 - 10/4) composite?
True
Let c be (-1)/(1 + 0)*-3. Suppose 0 = -c*p - p + 684. Suppose 0 = m - p + 38. Is m prime?
False
Let w = 119 + 92. Is w composite?
False
Let z(g) = g**3 + g**2 - g - 1. Let r be z(-1). Suppose -s - 1 = -r. Is -5*((s - 1) + 0) prime?
False
Suppose 0 = -6*o + 11*o - 955. Is o a prime number?
True
Suppose 0 = -95*u + 97*u - 818. Is u composite?
False
Suppose 3*f - 8 = -4*g, 0 = 3*g + 2*g - f - 10. Suppose -2*o + g*k = -52, -22 = -0*o - o + 2*k. Let l = -11 + o. Is l a composite number?
False
Suppose 2*y = 5*y - 2229. Is y a prime number?
True
Suppose -2*j = -j - 43. Is j prime?
True
Suppose -u = 7 - 2, -4*k - 9 = 5*u. Suppose -k*x + 5*o = -9*x + 15, 2 = 2*o. Suppose -x*j + 0*j = -422. Is j a composite number?
False
Let d = -22 - -46. Let v = d - -55. Is v a prime number?
True
Suppose 7 = 4*v - 13. Suppose 2*w = -v*a - 70, -5*w - 69 - 75 = -3*a. Let m = 61 - w. Is m prime?
False
Let g be 1*446*4/8. Suppose 3*l - 2*a - 12 = -g, 2*l + 4*a = -162. Let n = l - -138. Is n prime?
False
Let q(w) = w**2 - 4*w - 1. Let l be q(5). Suppose l*d - d = 69. Suppose z - d + 8 = 0. Is z composite?
True
Let c = 30 + -182. Let p = -41 - c. Is p a composite number?
True
Suppose -5*a - 2 - 3 = 0. Let y be (a - 0)*(-2 - -1). Let v(f) = 55*f**3 - f**2 + f. Is v(y) a composite number?
True
Suppose 979 = 3*o - 188. Is o composite?
False
Suppose -6 - 18 = -4*m. Suppose 4*j - j = -m. Is (-1)/j*(-10 + 72) a prime number?
True
Suppose 2*o + 3*g = 13, 4*o - 37 = -o - 3*g. Let q(k) = -2*k**2 - 9*k + 4. Let f(d) = 3*d**2 + 10*d - 3. Let s(c) = 3*f(c) + 4*q(c). Is s(o) a composite number?
False
Let p be (-9)/9*(-9 - 0). Suppose p - 123 = -3*o. Is o a prime number?
False
Let h be -3 + 3 + 5*-1. Let s be (-156)/10 - (-2)/h. Let k = s + 26. Is k prime?
False
Suppose 0*z = z - 797. Is z a composite number?
False
Is (10941/(-21))/((0 - 1)/1) a composite number?
False
Let k = 114 + 565. Is k a prime number?
False
Let f(p) = 5*p**3 - 2*p**2 + p. Let r(n) = -n**2 + 6*n - 4. Let d be r(5). Let i be f(d). Suppose 1 = -t, -36 = -3*g - g - i*t. Is g composite?
True
Let b be (4 + (-9)/3)*1. Let s = 3 - b. Suppose -s*w + 133 = -0*w - 5*c, 10 = 2*c. Is w a composite number?
False
Let m(l) = -115*l**3 - 2*l**2 + 7*l. Let a(u) = 57*u**3 + u**2 - 3*u. Let b(q) = -9*a(q) - 4*m(q). Is b(-1) a composite number?
False
Let n(f) = -f**2 - 10*f + 1. Let b(r) = -r**3 - 7. Let k be b(0). Is n(k) a prime number?
False
Let w = -811 + 1569. Is w composite?
True
Let r(d) = 1000*d - 1. Let z be r(1). Let u = -418 + z. Is u prime?
False
Let j(h) = 4*h**2 + 6*h + 19. Is j(-11) prime?
False
Let u(i) = 22*i + 1. Let z be 2/(-2)*(-65)/5. Is u(z) prime?
False
Let t = 1717 + -428. Suppose 3*y = 2*s - 0*s + t, -1716 = -4*y + 2*s. Is y prime?
False
Let y(m) = 226*m**2 - 2*m + 3. Let n be y(2). Suppose -5*k + 2*k - 1504 = -5*s, 3*s - n = 2*k. Is s prime?
False
Let y = 654 + -149. Suppose 1256 = 5*b - x, 2*b - 3*x - y = -0*b. Is b prime?
True
Suppose -3*f + 25 - 199 = 0. Let c(u) = u**2 - 4*u - 5. Let z be c(-8). Let a = z + f. Is a composite?
True
Let g(q) = -11*q**3 + 