c - 220. Is (-12)/(3 + 1) + r a composite number?
False
Let t(p) = 14*p - 4. Let q be t(4). Let u = -34 + q. Let d = -8 + u. Is d a prime number?
False
Let m = 886 - 177. Is m a composite number?
False
Let i(d) = -4*d**2 + d + 1. Let o be i(-1). Let n be o/(-3)*(-3)/2. Is 53/5 - n/5 a prime number?
True
Suppose -j + w - 131 = 0, -2*j - 2*w - 3*w - 234 = 0. Let k = 196 + j. Is k composite?
True
Let m(n) = n**2 + 4. Suppose 0 = -3*p - 0*p - 9. Is m(p) a prime number?
True
Suppose -6*t + t = -20. Let l be (-1)/t - (-14)/(-8). Let p(c) = -3*c**3 - c**2 - 2*c + 1. Is p(l) composite?
True
Let o = 2 + 47. Let x be 1 + -2 + (-1 - o). Is (-4)/(-8) - x/2 prime?
False
Let y(h) = -5*h**3 - 4*h**2 - 4*h + 7. Is y(-6) a prime number?
True
Let i = 10 + -6. Suppose i*r - 4*f = 124, -2*r + 4*f + 20 + 34 = 0. Is r prime?
False
Let y = -592 - -1559. Is y composite?
False
Let r = -1109 + 1998. Is r composite?
True
Let d be 1/((-14)/6 - -2). Let l = -4 - d. Let w(s) = 76*s**2 + 1. Is w(l) a composite number?
True
Suppose 2*o - 5*o + 582 = 0. Is o a prime number?
False
Let g = -8 - -11. Suppose -3*w + 12 - g = 0. Suppose -i + w*x + 2 = 0, x = -0*x + 4. Is i a prime number?
False
Let c = -46 + 173. Is c prime?
True
Let a(m) = m**3 + 8*m**2 - 8*m + 8. Let f be a(-9). Is f*(-4)/(8/254) a composite number?
False
Let l be (-28)/(-5)*(-10)/(-4). Is 3 + (l - 1 - 1) a prime number?
False
Suppose j = -4*j + 80. Let p = j - 10. Suppose -175 = d - p*d. Is d a prime number?
False
Let d(n) be the third derivative of n**5/60 - 3*n**4/8 - 4*n**3/3 - 4*n**2. Let v be d(10). Suppose -26 = -2*u + v. Is u prime?
False
Suppose 5*p + 219 = 1474. Is p prime?
True
Suppose 2*w - 35 - 195 = 0. Suppose 1401 + w = 4*g. Is g a composite number?
False
Let l = 1460 - 813. Is l a prime number?
True
Let k(n) = -6*n. Suppose -5*b - 3 = -2*b. Let g be k(b). Suppose 0 = t - g. Is t prime?
False
Suppose t - 5*b - 3721 = -3*t, 0 = t + 3*b - 943. Is t a composite number?
True
Let m be -20 + 1 - (22 - 22). Let o be (-60 - 0)*1/2. Let d = m - o. Is d composite?
False
Suppose f - 2*m = -0*m, -2 = 3*f - 5*m. Is (-2)/f*(447 - 1) a composite number?
False
Let v(d) = 91*d**2 - 5*d - 11. Is v(-4) a prime number?
False
Let h be (-20)/(-8)*8/10. Suppose -2 = 5*r + 8, 5*x + 9 = -h*r. Is (-1)/(1*x/22) prime?
False
Let w(o) = -150*o**3 - 2*o**2 - o. Let x(y) = -3 + 0*y + 0*y**2 + y**2 + y**3 - 5*y + 2*y. Let d be x(-2). Is w(d) a composite number?
False
Let v be (0 + -3)*33/9. Suppose -q - 4 = 4*c, q = -3*c + c - 4. Let l = c - v. Is l a composite number?
False
Suppose 4*w + 4*o - 40 = 0, -3*w + 0*w + 22 = o. Let k = w + -3. Suppose 0 = -2*l + c + 102, c - 8 = k*c. Is l a composite number?
True
Is (-157)/(-3) + (-8)/(-12) a composite number?
False
Suppose 4*m - 5 = -m. Let k(w) = 20 + 33*w**2 - 21 + 100*w**2 + 25*w**2. Is k(m) a prime number?
True
Let k = 4 + -4. Suppose -393 = -k*j - j. Is j composite?
True
Let i(d) = 5*d**2 - 5*d + 7. Let v be i(-5). Let r = 236 - v. Is r a prime number?
True
Let b(q) be the second derivative of -5/2*q**2 - 7/6*q**3 - 3*q + 1/12*q**4 + 0. Is b(-5) prime?
False
Suppose 6*x = -0*x + 2658. Is x composite?
False
Let f(a) = -a**3 + 7*a**2 + 2*a - 10. Let y be f(7). Suppose -t + r + 13 = -2*r, 0 = 3*t + y*r. Suppose -47 = t*p - 123. Is p a composite number?
False
Suppose -u + 77 = 4*l - 200, 0 = -5*l - 2*u + 347. Is l a prime number?
False
Let t be ((-27)/18)/(1/(-8)). Suppose -c - c = -t. Is c prime?
False
Let y = -375 + 874. Is y composite?
False
Suppose -3*o + 11 + 10 = 0. Suppose o*h + 280 = 3*h. Let k = 119 + h. Is k prime?
False
Let d(i) = 6*i**2 - 6*i + 9. Let j(v) = -v**2 - v - 1. Let p(r) = d(r) + 4*j(r). Is p(8) composite?
False
Let j(f) be the second derivative of -3*f + 1/6*f**4 - 1/3*f**3 + 1/20*f**5 + 1/2*f**2 + 0. Is j(2) composite?
False
Let j be 2/(-7 + 3 - -2). Let p = j - -27. Is p a prime number?
False
Is -3 - (2 - -4638)/(-4) composite?
True
Let a = 210 - 45. Let j = a - -14. Is j a composite number?
False
Let s(k) = -6 - 3 + 4*k + 1 + 5*k. Let i be s(8). Is 1 + i/2 + 0 composite?
True
Suppose -8*k + 11*k - 345 = 0. Is k a prime number?
False
Let z = 11 - -46. Is z prime?
False
Suppose -8*s + 1985 = 2*i - 5*s, 3*i - 4*s = 2935. Is i a prime number?
False
Let y be (12/(-8))/((-9)/12). Is (-8)/8 - -106*y a prime number?
True
Is 4/(-6) - 1316/(-12) a composite number?
False
Suppose 47 = q - 4*b, -4*b - 176 = -3*q - 35. Is q a composite number?
False
Let d(m) = m**3 + 4*m**2 + 2*m. Let f(q) = -2*q + q**2 - 2*q + 0*q. Let o be f(3). Is d(o) composite?
False
Suppose 7 + 5 = -3*m. Let b(u) = -4*u + u**2 + 6 - 1 + 0*u**2. Is b(m) composite?
False
Let y(p) = 1254*p - 1. Let f be 21/(-14)*4/(-6). Is y(f) a prime number?
False
Suppose 55 + 430 = s. Is s prime?
False
Suppose v + a - 4*a - 15 = 0, 0 = v + 4*a + 13. Suppose -v*o + 2*o + 3 = 0, -4*o = 2*z - 46. Is (z + 0)*(0 - -7) a prime number?
False
Let z = 11 - -11. Let l be (-8)/(z/24 - 1). Let d = l + -27. Is d a prime number?
False
Suppose 7*b - 2*b - 147 = -4*u, 3*u = b - 37. Is b a composite number?
False
Let z be 253/3 + 1/(-3). Suppose -4*s + z - 12 = 0. Suppose -5*c + s = -32. Is c a prime number?
False
Let t(z) = 3 + 4*z + 4*z - 2 - 3*z. Let b be t(4). Suppose x - 25 = b. Is x a composite number?
True
Let t(d) = -d**3 + 10. Let b = -1 + 3. Suppose -b*i - 2*f - 6 = 0, -4*i + 5 = -3*f - 4. Is t(i) a prime number?
False
Is 0 + -1 + (4 - -56) composite?
False
Let x(g) = g - 15 - 6 + 5 + 14*g. Is x(9) composite?
True
Suppose x + 11 + 54 = 3*r, -3*x = 3*r - 45. Let m = -19 - -9. Is 1584/r + 2/m a composite number?
False
Let n = 4 - 0. Is (-6)/n*472/(-12) composite?
False
Suppose 10 = 2*r + 2*k, 3 = -4*r - k + 14. Suppose -r*d + 101 = -5*l, -d - 5*l - 48 = -2*d. Is d a composite number?
False
Let l(d) = 7*d - 5. Let o(v) = 4*v - 2. Let i(q) = -3*l(q) + 7*o(q). Let r be i(4). Suppose r = j + 2*m, 7 = m + 2. Is j composite?
False
Let y(q) = q - 4. Let w be y(-4). Let n(a) be the first derivative of a**2/2 + 11*a - 2. Is n(w) a composite number?
False
Suppose -5*q - 1 = -41. Suppose 5*p - q = 22. Suppose -5*i + 180 = -5*s, -2*i + s = -p*i + 149. Is i a composite number?
False
Is 2 + (1 - -1) + 405 composite?
False
Is 28*(-28)/32*-2 composite?
True
Let c(v) = 15*v**3 + 3*v**2 - 2*v - 1. Suppose -6*y = -y - 25. Let t(j) = -j**2 + 6*j - 3. Let w be t(y). Is c(w) a prime number?
True
Let q(g) = 4*g**2 - 9*g + 4. Is q(-7) prime?
True
Suppose -9939 = -3*v - l, 0 = -v + l + l + 3313. Is v a prime number?
True
Let k(w) be the first derivative of 36*w**2 - w + 3. Is k(3) a prime number?
False
Suppose 0*c = -5*c + 5. Let h(p) be the third derivative of 13*p**5/60 - 3*p**2. Is h(c) composite?
False
Suppose 5*n - f + 2*f = -5, 0 = -n - 4*f - 20. Suppose 23 = m - n*m. Is m composite?
False
Let x = -2 + 4. Suppose -3*w = -x - 97. Is w prime?
False
Let h(x) = -2*x**3 + 6*x**2 - 5*x - 6. Let z be -6 - (9/3 - 4). Is h(z) prime?
True
Let b = 124 - -3. Is b a composite number?
False
Let b = 23 + -11. Is ((-1162)/(-3))/(b/18) composite?
True
Let i = 10 - 13. Let p(d) = -36*d + 10. Let u(a) = -12*a + 3. Let y(q) = -2*p(q) + 7*u(q). Is y(i) a composite number?
False
Let j = -336 + 528. Let k be j/14 - 6/(-21). Is k/((4/7)/2) composite?
True
Let x(z) = 3*z**3 - 6*z**2 + 6*z + 5. Let y(w) = -4*w**3 + 5*w**2 - 6*w - 5. Let m(g) = -3*x(g) - 2*y(g). Let p be m(5). Let t = 13 + p. Is t a prime number?
True
Let j = -897 - -1588. Is j a prime number?
True
Suppose 0 = -z - l - 1, 2*z + 24 = 6*z - 3*l. Is 115/3 + z/(-9) composite?
True
Let x = -15 + 25. Is 3*21/18*x a prime number?
False
Let y(r) = r - 2. Let s be y(2). Let w(u) = -u + 3. Let k be w(s). Suppose 241 - 34 = 2*q + 5*j, -3*j = k*q - 288. Is q prime?
False
Let i be 2*4/(-16)*-212. Is i - (16/(-4) + 1) prime?
True
Let i = 42 - -4. Suppose -2*v + i = 20. Is v prime?
True
Let a = 159 + 42. Is a a composite number?
True
Let f(r) = -r**3 + r - 63. Let w(l) = 3*l**3 - 3*l + 188. Let y(o) = -7*f(o) - 2*w(o). Is y(0) prime?
False
Suppose 0 = y + 97 - 7. Let r = 43 - y. Is r a prime number?
False
Suppose 16 = 3*r + 4. Suppose 5*n - r*i - 45 = 0, -2*n = n - 4*i - 35. Suppose -2*b + 433 = n*j, 5*j - 2*j - 263 = -2*b. Is j prime?
False
Let x(z) = 30*z. Let h be x(2). Let l be (52/(-6))/(5/h). Let b = -1