 n(y) a composite number?
True
Let g(j) = 36*j**2 + 35*j - 21. Is g(-10) a composite number?
False
Suppose 930 = l + 5*f, 5*f - 3402 = -3*l - 562. Is l prime?
False
Suppose 3*a + 3512 = 11*a. Suppose 0 = 4*h + o - 866, 3*h - 3*o - a - 218 = 0. Is h a prime number?
False
Is 1458 - (1 + -4 - (1 + -5)) prime?
False
Suppose 15*o - 21*o + 48066 = 0. Is o a prime number?
True
Let u(q) = 8*q**2 + q - 5. Let y be 10/4*(-112)/70. Is u(y) composite?
True
Suppose -24 = -2*c + 4*n, -7*n + 3*n = 16. Suppose 0*d - 2*d + 14 = -5*g, 4*g = 4*d - c. Is g + -1 + 40 - 1 prime?
False
Suppose 0 = -4*j - 2*h + 64, -19 = -j + 3*h - 2*h. Suppose -5*k + 4*z - 47 = 0, -4*z + 2*z = 2*k + 26. Let s = j + k. Is s a prime number?
False
Suppose 3*u = u + 76. Suppose u*w + 233 = 39*w. Is w a prime number?
True
Let n = -25 - -8. Let l = 21 + n. Suppose -l*i - 2*v - v + 56 = 0, -4*i - 5*v + 64 = 0. Is i a composite number?
False
Suppose 633 = -19*c + 22*c. Is c composite?
False
Let s(a) = 2260*a + 57. Is s(7) composite?
False
Let s = 3 + 2. Let o(i) = -i**3 + 4*i**2 + 6*i + 6. Let w be o(s). Let h = 8 + w. Is h a prime number?
True
Let z(g) = -70*g**3 + 3. Is z(-2) a prime number?
True
Let p = -91744 - -130641. Is p composite?
True
Let k = 6686 - -1067. Is k a prime number?
True
Suppose 0 = 3*q + 4*j - 66, -2*q - 3*q - j = -93. Let h be q/(-4)*4/(-6). Let b(y) = 18*y - 1. Is b(h) a prime number?
True
Suppose -3*s + 2 = -j - j, 0 = 4*s + 3*j - 31. Suppose -2221 = -3*o + s*i, -3721 = -5*o - 7*i + 4*i. Is o a composite number?
False
Is 3592 + 5*(-2)/(-10) a prime number?
True
Suppose -9*v + 6 = -48. Suppose -1528 - 926 = -v*t. Is t a prime number?
True
Let r be 8 + -1 + 6/(-2). Suppose 0 = -r*h + 9*h. Let v(t) = 2*t + 209. Is v(h) a prime number?
False
Let m = -4006 + 5835. Is m composite?
True
Suppose -5*c + 25 = 0, -6*c = -4*m - c + 15. Let v be (5 - 4) + m + -1. Is (-394)/(-5) - (-2)/v prime?
True
Let l = 18 + -13. Let m(t) = 11*t**2 + 2*t + 1. Let a be m(l). Let s = 543 - a. Is s a composite number?
False
Is -1 + -1*3/2*-24976 a composite number?
False
Suppose -3*q = 2*s - 25061, 6*s - 8*s = -2. Is q a composite number?
False
Let u(x) = -67*x**3 - 7*x**2 - x. Let j be u(-5). Suppose 0 = 2*g, 4*s - s - j = -5*g. Is s a composite number?
True
Suppose -13*l + 18*l = 20. Suppose -l*x - 2*x = -1194. Is x prime?
True
Let c be (-8)/(-6)*18/12. Let n be 8/(1 - 0 - c). Let q = 69 - n. Is q a composite number?
True
Let l = 11002 - -1675. Is l prime?
False
Let q be (-1 + -3 - 0)*(-7480)/(-80). Let y = q + 819. Is y a prime number?
False
Suppose 5*l - 9*l = -5668. Suppose -3*g - g + 3*s + l = 0, -2*g = 3*s - 713. Is g a prime number?
False
Let f(z) = z**2 - z - 11. Let s be f(-4). Is ((-50)/15)/(-5) + 6699/s prime?
False
Is -1*2 + 5756 + (-60)/(-12) a composite number?
True
Is 397 + 602/(-147) + (-2)/(-21) prime?
False
Let u(c) = c**3 - 8*c**2 + 8*c + 7. Let a be u(7). Let l = a + -17. Is l/(-9) + (-798)/(-9) a composite number?
False
Suppose 4*j - 13189 = -53. Suppose 0*h = 2*h - j. Is h composite?
True
Let k = -118 - -120. Suppose 2*b - 6017 = -2*f + 1913, -3*f = -k*b - 11905. Is f prime?
True
Suppose -3*z - n - 31686 = -4*z, -4*z + 126745 = -5*n. Is z prime?
False
Let q(m) = -m**3 - m**2 - 2*m + 3. Is q(-4) composite?
False
Suppose -5*j - 60 = -4*o, -16 = 3*j + j. Is -2*(-15)/o - -296 a prime number?
False
Suppose -5*c + 2 + 8 = 0. Suppose 0 = 3*w, 4*y + 0*y - 4*w + 12 = 0. Is (-110)/5*y/c a composite number?
True
Suppose -5*q + 10025 = -22320. Is q prime?
True
Suppose -29918 - 6390 = -4*j. Is j a prime number?
False
Let o(t) = -t**3 + t**2 + t. Let z be o(3). Suppose -22*g - 10 = 100. Is 2/g - 2676/z a composite number?
True
Let b = 119226 - 80480. Is b prime?
False
Suppose 9*z - 32167 = -2908. Is z a composite number?
False
Let q(r) be the third derivative of 493*r**4/8 - r**3/6 - 18*r**2. Is q(1) a prime number?
False
Let j be (-4 + (1 - -3))/2. Suppose 2*b + 4100 - 499 = -3*d, j = 3*b + 3*d + 5409. Is (2/(-8))/(4/b) composite?
False
Suppose 2*f + v - 1634 = 0, -5*v - 2139 - 1143 = -4*f. Is f a prime number?
False
Let q(y) = 3*y - 4. Let s be q(-2). Let a = s - -13. Suppose a*u = u + 46. Is u a prime number?
True
Let p(y) = -9*y**3 - 57*y**2 - 16*y - 11. Is p(-10) a prime number?
True
Let f = 2 + -2. Suppose 0 = -f*c + 4*c - 84. Is c prime?
False
Let o be -2 - 30/(0 - 5). Suppose 2907 = 3*u + 4*b, -3*b - 4816 = -o*u - u. Is u a prime number?
False
Is 193644/24 - 4/8 - -3 prime?
False
Let j(i) = 1015*i**2 + 1. Let c be j(1). Let p = c - 677. Suppose 6*q + p = 3*n + 4*q, 3*q - 9 = 0. Is n prime?
False
Let k(g) = g - 1. Let w be k(0). Let p be 359 - -6*w/(-2). Suppose -r - 5*t = r - 187, -4*r + 2*t + p = 0. Is r prime?
False
Suppose -5*k = m - 117 - 271, 5*k + 2060 = 5*m. Let d = m - 202. Suppose a - 2*y - d = 3*y, -4*y - 418 = -2*a. Is a a prime number?
True
Let k(h) = 45*h - 2. Let d be ((-4)/8)/((-5)/50). Is k(d) composite?
False
Suppose 8 = -0*k - 2*k + 4*z, -5*z - 5 = 5*k. Is k/(-6) - (-19190)/57 composite?
False
Is 135/54*53516/10 prime?
False
Let v = -123 + 80. Let u = v - -764. Is u a prime number?
False
Let v(f) = -f - 5. Let r be v(-7). Suppose r*h - 3*y - 138 = 0, -4*h - 3*y + 84 = -192. Is h composite?
True
Let v(k) = 45*k**2 + 61*k - 43. Is v(-15) a composite number?
True
Let v = -32123 - -45728. Suppose -9*b + 12*b - v = 0. Is b a prime number?
False
Suppose 15 = -3*p - 12. Let x(k) = k**3 + 9*k**2 - 3*k - 16. Is x(p) composite?
False
Let t(i) = -i**2 + 17*i + 1. Let s be t(7). Suppose -4*b - 3*l - s = 0, 2*b = -l + 6*l - 55. Is 4/b + 2112/10 a composite number?
False
Let s(q) = 4*q**2 - 3*q - 2. Let d be s(2). Let t be (0 + -1)*-1*307. Suppose -9*c + t = -d*c. Is c composite?
False
Suppose 80 = 4*z - 2*z. Suppose j + z = -3*j. Is (-138)/j*10/2 composite?
True
Let c(n) = -2*n - 10. Let b be c(-7). Suppose 9 = y + y + t, -2*y - 16 = -b*t. Suppose 2*u + 0*z - 742 = -4*z, 2*z - 744 = -y*u. Is u a prime number?
True
Let a = -3 + 13. Suppose a*w = 4*w + 36. Let r(s) = 5*s**3 - 8*s**2 - 5. Is r(w) prime?
True
Suppose 47069 = 5*f - 4*k, 390 - 19219 = -2*f + 3*k. Is f composite?
False
Let c = 25 + -16. Let q = -9 + c. Suppose 2*f + q*f - 226 = 0. Is f a composite number?
False
Suppose 82 = 2*j + 5*u, 2*j + 7*u - 68 = 9*u. Let b = 475 - j. Is b a prime number?
True
Suppose -2*q + 4 = -3*o - q, -q = o - 4. Suppose 0 = -2*i + 2, s + 4*i - 48 - 3 = o. Is s a composite number?
False
Suppose -1650 = -2*u - 2*m + 158, -2*m = -5*u + 4541. Is u a composite number?
False
Let t(u) = u**3 - 24*u**2 - 2*u + 53. Let h be t(24). Suppose -2*o + 3721 = 3*g, 6211 = h*g - 7*o + 8*o. Is g a composite number?
True
Let s be -1 + (-10)/4*4. Let w(k) = 87*k - 46*k - 47*k - 11. Is w(s) composite?
True
Let p(l) = 169*l - 3. Let o be p(-1). Let i = -81 - o. Is i a prime number?
False
Let h = 2423 + -910. Is h a prime number?
False
Let m be (-18)/(81/9) - (1 + 11290). Let g = 17774 + m. Is g a prime number?
True
Let t(i) be the second derivative of 13*i**3/6 - 3*i**2 + 9*i. Let m be t(-2). Let a = 55 - m. Is a prime?
False
Let x be 1/(-2)*18/(-3). Let o(z) be the third derivative of 7*z**6/120 - z**5/60 - 5*z**4/24 + 2*z**3/3 - 2*z**2. Is o(x) prime?
False
Let u = 20 - -4. Let m = u + -21. Suppose 3*r + m*v = 3162, 5*v - 2*v = 3*r - 3132. Is r a composite number?
False
Let j(x) = 25*x**3 + 11*x**2 + 3*x - 29. Is j(4) a prime number?
True
Let b(c) = -c - c + 14 + c - 3. Let j be b(7). Suppose j*i - 1464 = 556. Is i composite?
True
Let z = -6335 + 12684. Is z prime?
False
Let m = 14871 + -9082. Is m a composite number?
True
Suppose 0 = t + 1, -2*s = -5*t + 291 + 218. Let k = 171 + s. Let p = 145 + k. Is p a prime number?
True
Let t(u) = 114*u**2 - 49*u - 142. Is t(-3) prime?
True
Suppose 0 = -5*f - 3*q + q + 5, 3*q + 3 = -4*f. Is (-2 - f) + 2 - (-2200 - -2) a composite number?
True
Let p = -2175 + 3184. Is p prime?
True
Let a(z) = z**3 + 5*z**2 - 5*z + 13. Let g be a(-6). Let b(l) = 61*l - 60. Is b(g) prime?
True
Let z(d) = 3*d**3 - 12*d**2 - 21*d + 5. Let b(l) = -l**3 + 4*l**2 + 7*l - 2. Let a(r) = 7*b(r) + 2*z(r). Let p be a(5). Let g = 21 - p. Is g composite?
True
Let d(w) = -2*w**2 - 19*w - 7. Let t be d(-9). Is (41 - -2385)*t/4 prime?
True
Let v(y) = -y**2 - 5*y + 8. Let g be v(-6). Let l(j) = 67*j 