j - 30 = 0, 0*q + 4*j + 8 = -4*q. Suppose q = 3*m - 7. Suppose 2*x + m*x = 2*b + 173, 5*b = -x + 13. Is x prime?
False
Suppose -p + 5 = -0*p. Suppose -3*i + p*g + 947 = 0, -3*g + 213 = 3*i - 774. Let n = i - 205. Is n prime?
False
Suppose -q = 4*o - 15, -q - 3*o + 9 = -6. Let d(r) = -4 - 3*r + q*r + 11. Is d(7) prime?
False
Suppose 6*t - 89 = -305. Let i = 74 + t. Is i a prime number?
False
Let w be 4/14 - 1152/(-84). Let t(b) = b**3 - 2*b**2 - 2*b - 3. Let l be t(3). Let f = l + w. Is f prime?
False
Is ((-104)/16)/((-1)/(-134)*-1) a composite number?
True
Let a(q) = 2*q + 9. Suppose -5*x + 20 = 0, -4*x - 13 = -2*d + 15. Suppose v - d = -v. Is a(v) prime?
True
Let t(d) = -d**3 - d**2 + d. Let j be t(0). Let g(s) = s**2 - 11*s + 2*s**2 + 9 + j. Is g(8) composite?
False
Let u(o) = -1. Suppose 0 - 1 = c. Let l(f) = -28*f + 15. Let y(b) = c*l(b) - 6*u(b). Is y(8) prime?
False
Let i(m) = -2*m - 6. Let y be i(-4). Suppose 5*k = 5*c, 2*c - y*k - 3*k + 9 = 0. Is 2/c + 1137/9 prime?
True
Let n = -3 - -7. Let o(s) = 4*s + 3. Is o(n) prime?
True
Let z = 71 + -18. Is z prime?
True
Suppose -5*i - 206 + 2256 = 5*c, -3*c = 4*i - 1637. Is i composite?
True
Let s = -23 + 692. Is s a prime number?
False
Suppose 33 = h + 2*k, -4*k = -4 - 0. Is h composite?
False
Let d be (-1)/(3*3/279). Is (3 + -5)/(2/d) a composite number?
False
Suppose 0 = c + 7*c - 2968. Is c a composite number?
True
Suppose 5*m - 223 = -3*u + 783, 3*m + 1014 = 3*u. Is u a composite number?
False
Let n(h) = h**3 + 4*h**2 - h - 6. Let o be n(-3). Let w = 10 + 0. Is 608/20 + o/w composite?
False
Let f(o) = 8*o**2 + 4 - 5*o - 2 - 3*o**2 - o**3. Let l be f(4). Is 3 - (1 + l - 34) composite?
True
Let o be (-2 - -1)*-1 + 2. Suppose o*k - 6 = -4*h, 0 = h - 0*h + k - 2. Suppose -b + 12 + 107 = h. Is b a prime number?
False
Is 15/(-25)*5 - (-1736 - 0) a composite number?
False
Let y = -4 - -5. Let u be -178*((-2)/y - -1). Suppose 0 = -t + 4*k + 95, t + t - u = 5*k. Is t a prime number?
True
Suppose 0 = -4*n - 3*u + 4, -2*n - 2*u + 4 = -0*n. Let m be n - (2 + 1*-3). Let w(z) = -32*z - 1. Is w(m) prime?
True
Suppose -28 = -2*d - 8. Is (-4)/12 - d/(-3) prime?
True
Is 1/(2860/17016 + (-2)/12) composite?
False
Is 79*-2*3/(-6) a composite number?
False
Let o = 79 + 112. Is o a prime number?
True
Let k be 3/(-1)*46/(-1). Let d = k + -55. Is d a prime number?
True
Suppose -746 + 3238 = 4*j. Is j a prime number?
False
Suppose -43 = -3*g + 1880. Is g composite?
False
Let q(g) = 4*g - 3. Let l be q(4). Suppose -s + 10 = -l. Is s composite?
False
Suppose 6*x + 2*m = x + 128, -2*x = 3*m - 49. Let o(r) = 2*r - 2. Let v be o(7). Let a = x - v. Is a prime?
False
Let g be 10/2 + (-2 - 1). Suppose 6*a - g*a = 564. Is a composite?
True
Suppose 4*v - 2*j = -5*j + 2530, v + 3*j - 637 = 0. Is v a composite number?
False
Let h = -195 - -406. Is h composite?
False
Is 3/2*2286/27 a prime number?
True
Let j(p) = p**2 - p + 1. Let t(f) = -10*f**2 + 9*f - 1. Let n(l) = -5*j(l) - t(l). Is n(-3) composite?
False
Suppose d = -3*d - 3*v + 86, 3*v + 74 = 4*d. Suppose -p = 3*p - d. Suppose -4*i + 11 = 2*r - 41, -p*i = 0. Is r composite?
True
Let m = 20 + 1. Is m a composite number?
True
Let k(l) = -41*l - 6. Let b be k(-8). Suppose 0 = -3*h + h + b. Is h a composite number?
True
Suppose -4*g + 11573 - 4365 = 0. Suppose 0 = 4*w - n - 1588, -5*w - 4*n = -g - 183. Is w a prime number?
True
Let b(k) = 32*k**2 + k. Is b(3) composite?
True
Is -3 + 1256 + -2 - -2 composite?
True
Suppose 5*v = -2*b + 1562, 3*b + 0*b = v + 2309. Is b a composite number?
True
Suppose -5 = 4*h - 21. Is 2/(-4)*(h + -134) a prime number?
False
Suppose -234 = -0*u + 3*u. Let b(x) = x + 1. Let o(d) = -91*d - 78. Let q(r) = u*b(r) - o(r). Is q(5) a prime number?
False
Suppose -2*m - 91 = -c - 0*m, 5*c + 5*m - 500 = 0. Is c prime?
True
Suppose -4*d - 5*y - 406 - 462 = 0, 4*y = d + 238. Let w = 1013 + d. Is w composite?
True
Let k(x) = x**3 - 3*x**2 + x. Let j be k(3). Suppose 0*t + 78 = j*t. Is t a prime number?
False
Suppose 5*r - 6*r + 263 = 0. Is r a composite number?
False
Let z(r) = -3 - 3*r**2 + 5*r + 5*r**2 - r**2. Let n be z(6). Let a = -44 + n. Is a a composite number?
False
Let f(o) = o**3 + 3*o**2 - 2*o - 3. Let u be f(-4). Is (u/2)/((-2)/4) composite?
False
Let z(g) be the second derivative of g**4/12 + g**3/2 - 2*g**2 + 2*g. Is z(3) prime?
False
Let v(w) = 4*w**2 - 2*w**2 - w - w**2. Let n be v(1). Suppose -4*s - 2*r + 3*r + 103 = n, -2*r + 69 = 3*s. Is s composite?
True
Let d(r) = 285*r**2 + 2*r - 1. Let j be d(2). Is j/(-36)*4/(-1) a composite number?
False
Let l be (1 - -137)/(3 + -2). Let n = -67 + l. Is n composite?
False
Let c = 8 + -13. Let j(v) = v**2 - v + 4. Is j(c) composite?
True
Let w be -203 + 4/4*2. Let y = w - -286. Is y a prime number?
False
Let a(f) = -f**2 + f. Let d be a(1). Suppose -4*p + 16 = d, g - 4 = -3*p + 2. Is (-82)/g - (-2)/6 a composite number?
True
Is 2/(4 - (-3438)/(-861)) composite?
True
Let j = 0 - -2. Suppose -v = j*q + 4*v + 7, -5*q - 5*v + 5 = 0. Suppose -z - q*p + 8 = -6, 5*z - 120 = 5*p. Is z a composite number?
True
Let d(s) = -4*s - 5. Let n = 20 - 38. Let a = n - -12. Is d(a) a prime number?
True
Let y(h) = -27*h + 5. Let z(o) = -3*o + 3 + o + o - 5. Let b be z(2). Is y(b) prime?
True
Suppose -27 = -5*h - 2. Suppose -3*l + h*j - 11 = 0, 5*l + 46 = -j + 9. Let d(b) = b**2 - 3*b - 1. Is d(l) composite?
True
Let a(n) = -n**2 + 6*n - 3. Suppose 5 - 17 = -2*b. Let m be a(b). Let s = m - -40. Is s a prime number?
True
Suppose -347 = -2*q + 119. Is q composite?
False
Let j(b) = 6*b**2 + 3*b - 5. Let h = 4 + -8. Is j(h) a composite number?
False
Is -1 + (214*12)/4 composite?
False
Suppose -6*j = -3*j + 12, -3*j = 5*k + 2562. Let t = -192 - k. Is (2/4)/(3/t) composite?
False
Let z = -9 - -10. Let q be 6/7*7*z. Let n(p) = p**2 - 5*p + 3. Is n(q) composite?
True
Let z(x) = -14*x - 9. Is z(-11) composite?
True
Suppose 3*y - 1550 = -4*h, 0 = 7*h - 3*h - 3*y - 1562. Let x = -244 + h. Is x a composite number?
True
Let h(j) = -3*j**3 + j**2 + 2 + 2*j - 12*j**3 - 1. Suppose -20*s + 16*s - 4 = 0. Is h(s) a prime number?
False
Let n(y) = 10*y**2 - 2. Let h(r) = r**2 - 3*r - 4. Let u be h(3). Is n(u) a prime number?
False
Let b = 23 + 335. Suppose -5*s + b + 187 = 0. Is s composite?
False
Is (-76824)/(-40) - 4/(-10) composite?
True
Let n(c) = c**2 - 3*c - 2. Let l be n(2). Let t = l + 5. Is ((-21)/(-6))/(t/10) a prime number?
False
Let m(l) be the second derivative of l**5/20 - 5*l**4/12 - l**3 + 3*l**2/2 + l. Let t be m(6). Suppose 0 = -t*s - 5 + 26. Is s prime?
True
Suppose -k + 3 = -c, -3*k + 14 = 2*c - 0*c. Suppose -102 = a - k*a. Is a a composite number?
True
Suppose 0 = 5*a + 60. Let u(v) = -2*v + 9. Is u(a) a composite number?
True
Let f be 1 - 1 - -1 - -138. Suppose 62 = 3*b - f. Is b a prime number?
True
Let x = 146 + -57. Is x prime?
True
Let l be 1/((-3)/18)*-1. Suppose o = -2*c + l, -3 = 2*c + 3*o - 9. Suppose -4*y + 238 - 33 = q, c*y - 415 = -2*q. Is q a prime number?
False
Let w(o) = 3*o - 11. Is w(10) a composite number?
False
Suppose 2*t - 3045 + 1063 = 0. Is t a composite number?
False
Let p be 26/8 + (-3)/12. Suppose 2*d + 1 + 9 = 0, -3*d = p*r - 60. Suppose 0 = -5*c + 120 - r. Is c a prime number?
True
Let y be (-12)/(-28) - 31/7. Let t(v) = -4*v**3 - 4*v - 3 + 2*v**3 + v**2 - 2*v**3 - 4*v**2. Is t(y) a composite number?
True
Let r(o) = 3*o - 4 + 5*o - o - 3*o. Let u be r(3). Suppose -u = -k + 45. Is k a composite number?
False
Let a(d) = 65*d**2 + 3*d - 8. Let b(c) = -33*c**2 - 2*c + 4. Let z(f) = 4*a(f) + 7*b(f). Is z(-3) a prime number?
True
Let v(r) = -4*r - 2. Let s be v(-1). Let m = -3 - -2. Let b = s - m. Is b a composite number?
False
Let t be (12 + 1)*(-8 - -7). Is 974/10*(-8 - t) a prime number?
True
Let k be (-86)/(-11) + 18/99. Let d = -4 + k. Is d composite?
True
Suppose -4*l - k - 2*k + 12 = 0, -2*k + 8 = -l. Let u(t) = -2*t + t + 6 + 9*t**2 + l*t - t**3. Is u(7) prime?
True
Suppose -4*b + 5 = -7. Let i(o) = -11*o**2 + 2*o - 8. Let v be i(10). Is v/(-20) - b/(-5) a prime number?
False
Suppose 2*z - 586 = p, 3*p + 293 = -z + 2*z. Is z prime?
True
Let l be (1/1)/((-3)/36). Let c be 1/(-4) + (-2175)/l. Suppose 0 = 4*n - 39 - c. Is n prime?
False
Let k(b) = b**2 + 5*b + 1. Is k(9) a composite number?