Suppose -3*d = 15, y*x - 2*x = 3*d + 23. Let o = 31 + x. Is o prime?
False
Suppose -v + 1102 = -2101. Is v a composite number?
False
Let n(r) = 24 - 9*r - 14*r - 24. Let a be n(-8). Suppose -v + 20 = -3*p + 8*p, -3*p - a = -5*v. Is v a prime number?
False
Let x be (-214)/(-4) + 1/(-2). Suppose 4*v + 4*c - 104 = 0, -3*v - 4*c = c - 70. Let q = x - v. Is q a prime number?
True
Let g be (-206)/(-6) - (-1)/(-3). Let t = 99 - -14. Let r = t - g. Is r composite?
False
Is (-3 + -3 + (-9004)/(-16))*4 a prime number?
False
Let u(b) = -17*b - 1. Let y be u(1). Is (1 + -3)/(y/801) a prime number?
True
Let m = -55 + 107. Suppose 3*z = -2*c + 11, -2*z + 14 = 2*c + c. Suppose m + 96 = c*h. Is h composite?
False
Let r(m) be the third derivative of 11*m**4/12 + m**3/6 + 5*m**2. Is r(6) composite?
True
Suppose 6*c = 3*c. Let k(d) = -d**2 - d - 77. Let u be k(c). Let x = u + 156. Is x prime?
True
Let z = 6 - 3. Suppose 3*w - 30 = -5*h, -5 - z = -h - w. Let y = 38 - h. Is y prime?
False
Let o = -346 + 507. Is o prime?
False
Suppose 2275 = -2*u + 7*u. Suppose -u = -5*w - 0*w. Is w prime?
False
Suppose r + 0 = 2. Suppose 5*y - r*y = 471. Is y a prime number?
True
Suppose -2*h = h. Suppose h*f = f. Suppose 3*w + w - 316 = f. Is w a composite number?
False
Suppose 2*u - 43 = -5*q + 20, 0 = 3*u - 12. Suppose 0 = 3*r - 4*x - 417, q*x - 6*x = 0. Is r prime?
True
Is ((-15)/2)/((-33)/44) a composite number?
True
Let j(m) = m**2 + 25*m - 5. Is j(18) prime?
True
Let m = -1254 + 2093. Is m composite?
False
Let p(h) = h + 7. Let m(s) = 5*s + 28. Let q(l) = -2*m(l) + 9*p(l). Is q(-12) composite?
False
Let f(c) = -164*c**2 - c + 1. Let a be f(1). Let d = 135 - a. Is d a composite number?
True
Let u(a) = a**3 - a**2 + 1. Let w be (-3)/2*(-8)/(-12). Let d be u(w). Is (-7)/d*19/1 a composite number?
True
Let v(c) = 42*c + 0 + 2 - 1 + 6. Is v(5) a composite number?
True
Let q be 387 + 0 + (-3 - 0). Suppose a - 28 = -5*x + q, 0 = -3*a - x + 1222. Is a prime?
False
Suppose 0 = -4*u + u - 9. Let s(y) = -y**3 - 4*y**2 - 4*y + 1. Let t be s(u). Suppose 101 = -a + t*a - 5*g, -5*a + 2*g + 181 = 0. Is a prime?
True
Let c(m) = 63*m - 29. Is c(9) composite?
True
Let q be -5*(12/(-10))/(-1). Let l be (-367)/(-9) + 8/36. Let z = l + q. Is z a prime number?
False
Is (-3 - 6*-42) + 4 a prime number?
False
Suppose 0*z + z = 5. Suppose -2*q = z*f + 210 - 829, 5*q - 625 = -5*f. Is f prime?
False
Suppose -2*q - 383 = -0*o - o, 2*q = -5*o + 1891. Is o a prime number?
True
Let x be 1 - 1 - (50 - 6). Let b = -7 - x. Is b prime?
True
Suppose 0 = -5*d - 48 + 8. Let w(a) = 11*a**3 - 5*a**2 - 17*a - 6. Let o(f) = -4*f**3 + 2*f**2 + 6*f + 2. Let s(l) = d*o(l) - 3*w(l). Is s(-3) composite?
False
Suppose -3*o - 2002 + 304 = 0. Is (-2)/12 - o/12 composite?
False
Let q(r) = 70*r**3 + 1. Let y be q(-1). Let c = -32 - y. Is c a prime number?
True
Let z(k) = -k**2 - k + 2. Let v be z(0). Let a(j) = 40*j - v + 2 + 7. Is a(7) a composite number?
True
Let x = 2796 + -1943. Is x a prime number?
True
Let b(c) = c**3 + 4*c**2 + c - 3. Let o be b(-3). Let p(y) = -4*y**3 + 5*y**o + 2 + 0 - 1 + 4*y - 8*y**2. Is p(8) a prime number?
False
Let k be 2/7 - (-1088)/14. Suppose 0*j = 5*j - 25. Suppose -2*q + 94 = -j*f, 2*q - 3*f + 2*f - k = 0. Is q a prime number?
True
Let v be 0 - -8 - 2*1. Suppose v - 45 = -u. Is u composite?
True
Let j(f) = -f**3 + 9*f**2 - 3*f - 3. Let v be j(7). Suppose 4*l - l = -84. Let u = l + v. Is u a prime number?
False
Let o(c) = -c**3 + 5*c**2 - 5*c + 2. Let d be o(3). Suppose -d*y - 103 = -578. Is y composite?
True
Let v(i) = 62*i + 11. Is v(5) a prime number?
False
Suppose 0 = 5*w + 4*p - 19, 4*w - 3*w = 3*p. Let z(m) = -3*m + 7*m**2 - m**w + 0*m + 0*m**3 - m**2. Is z(5) a prime number?
False
Let a(j) = -49*j**3 - j**2 - 4*j - 1. Let n be a(-3). Suppose -4*q = q - n. Is q a composite number?
True
Suppose -8 = q - 3*t, 0 = q + 5*t - 34 + 2. Is q a prime number?
True
Let v = 3 + 12. Let u be (2/3)/(2/v). Suppose -u*b - 40 = -5*x, 4*x - x - 5*b - 20 = 0. Is x a prime number?
False
Suppose 3312 = -3*i + 18444. Suppose -6*s - 1198 = -i. Is s prime?
True
Suppose -2*u = -0*u. Suppose 0 = -3*l + 4*t + 534, -2*l + 0*l - 3*t + 356 = u. Is l a prime number?
False
Let d(i) = 8*i**2 + 8*i - 1. Is d(9) prime?
True
Suppose 2*p - 1 = 11. Suppose -5 = -2*y + j, -2*j + 2 = -3*y + 12. Suppose p*q - q - 275 = y. Is q composite?
True
Suppose 5*f = f - 4*r + 336, r = -3*f + 262. Is f a composite number?
False
Is -3 + (3 - -1) - -294 composite?
True
Let t = 18 - 13. Suppose 0 = -0*m + m - 2*i - 39, -5*m + 3*i = -174. Suppose -t*q + 2*q = -m. Is q a prime number?
True
Let f(t) = -t**3 - 9*t**2 + 4*t + 5. Is f(-10) prime?
False
Let l be (-1)/(-2)*-2 - -13. Suppose 5*j - l = 8. Suppose -j*t + 5*t = 79. Is t a prime number?
True
Let i(q) = 42*q**2 - 5*q + 7. Is i(4) prime?
True
Suppose -2*t + 7 + 1 = 0. Suppose -3*h = -5*r - 397, h + 264 = 3*h - t*r. Is h composite?
True
Suppose 0*j + 2*j = 20. Is (-6)/j - 236/(-10) a prime number?
True
Let s = 2 + 4. Suppose 4*l + s*a - 771 = 3*a, -2*l + 384 = 2*a. Is (-1)/(-4) + l/4 prime?
False
Let d = 93 - 48. Suppose -5*h + d = -20. Is h a prime number?
True
Suppose -y = -4*y - 387. Let q = 27 + y. Is -1*(q/3 + 1) prime?
False
Let x(i) = i**3 + 5*i**2 - 7*i - 2. Let n be x(-6). Suppose n = -3*q + 7. Is (-1)/1*q - -20 a composite number?
False
Let m(w) be the first derivative of 2 - 1/2*w**2 + 56/3*w**3 + 0*w. Is m(1) prime?
False
Suppose 2*a - 3*a = 0. Suppose 5*i - 787 + 182 = a. Is i composite?
True
Suppose -2*c - 2*s = -5*s - 936, c - 473 = -s. Is c prime?
False
Suppose 13*w + 4963 = 20*w. Is w composite?
False
Is 1/(-4*2/(-4328)) a prime number?
True
Suppose 7*m - 1445 - 3462 = 0. Is m a composite number?
False
Suppose -28 = -l + 35. Suppose 1 - l = -2*i. Is i a composite number?
False
Let w(p) = 12*p + 2. Let d be w(6). Is -3 - d/(-2) - 1 prime?
False
Suppose 0 = -4*v + t - 1057, 2*v + 3*v - 5*t = -1340. Let a = v + 368. Let c = a + -72. Is c composite?
True
Let q be (-3)/(3/(-2)) - 0. Suppose 0 = q*m + i - 12, -3*i + 16 = 2*m - 4. Suppose 0 = 4*t - 3*y + 4*y - 260, m*y = 0. Is t prime?
False
Suppose 2*v - 1289 = 785. Is v a prime number?
False
Let p = 197 - 662. Suppose 0 = -5*u - 7 - 3. Is u/3 - p/9 prime?
False
Let w = -27 - -52. Is 5/w + 208/10 composite?
True
Let z be (-1 - (2 + -1))/2. Let m be (-43)/z - (1 + 1). Suppose -2*o - 3 = -m. Is o a composite number?
False
Suppose -4*l + 8*l = 3004. Is l composite?
False
Let j(a) = 26*a**2 - 8 - 12*a**2 - 17*a**2 + 7*a - a**3. Suppose 5*k - k - 4*s + 16 = 0, -5*k = -4*s + 22. Is j(k) a composite number?
True
Let d = 500 + 395. Is d a composite number?
True
Let w(x) = 3*x + 1. Let o be w(4). Suppose m + 1 = 0, -4*i + 0*i - 3*m = -o. Is (-2)/i + 150/4 composite?
False
Let i be 6/(-2) - (1 + 1). Let l(m) = -m**3 - 4*m**2 + 5*m + 3. Let p be l(i). Suppose 0 = -j + p + 138. Is j prime?
False
Let s(z) = -1644*z - 5. Is s(-1) a composite number?
True
Let b be (-2)/(-13) - (-54)/(-13). Is (-69 + b + -1)/(-2) a prime number?
True
Suppose 5*l = h + 18, -5*l + 5*h = -3*l + 2. Suppose 0*d - l = -2*d, -16 = -3*w - 2*d. Is (w/(-6))/(4/(-18)) composite?
False
Suppose 0*f - f + 145 = 0. Is (-1)/((-146)/f - -1) composite?
True
Suppose -37 = -6*z + z + 4*k, -3*k + 6 = 3*z. Suppose -l + 0*r - 2*r = -10, -r = z*l - 68. Is l composite?
True
Let l(d) = 3*d**3 - 8*d**2 - 7*d - 1. Is l(7) composite?
False
Suppose r - 3*x - 12 = 0, 0 = r - 5*x - 33 + 11. Let f = 6 - 8. Is (r/(-6) + f)*-4 a prime number?
False
Let p = -279 - -406. Let l = p + -84. Is l composite?
False
Let g(l) = -l**3 - 3*l**2 - 2*l - 5. Is g(-4) composite?
False
Let l(r) = r**3 + 9*r**2 + 6*r - 4. Let o be l(-8). Suppose 6*y - y + o = -4*m, -22 = -3*m + 4*y. Let h(q) = 16*q + 2. Is h(m) prime?
False
Suppose -4*c = -3967 - 1621. Is c prime?
False
Suppose -68 + 278 = -2*s. Let m = 49 - s. Is 0 - 3/((-6)/m) a composite number?
True
Suppose 4*q + 2*u - 29 = -u, -u - 17 = -2*q. Let l(s) = 2*s**2 + 2*s - 10. Let b be l(q). Suppose -b = -x - 23. Is x a prime number?
False
Let m(d) = 130*d + 1. Let k(q) = 0*q - q + 9 + 0*q. Let j be k(8). Is m(j) a prime number?
True
Is (887/4)/(2/8) a composite number?
False
Let l(q) = q - 5. Let b be l(4). Let m = 2 - b. Suppose 4*j + 0*c = -c + 292, -m*c