pose 0 = 3*h + h - 440. Suppose 0 = -3*z - n + h, -n - 12 = 2*n. Is z prime?
False
Let g(c) = 4*c**2 + 10*c - 7. Let r be 18/12*(-32)/6. Let n be g(r). Suppose 5*a - 4*q + q = 278, 3*a = 4*q + n. Is a composite?
True
Let r = 640 + 459. Is r a composite number?
True
Let n(h) be the third derivative of -h**4/24 - h**3/2 + 2*h**2. Let y be n(-5). Suppose 38 + 14 = y*g. Is g prime?
False
Let c(z) = 5*z**2 + 2*z - 2. Let o be c(-2). Suppose 0*n - 2*n - o = 0. Let k(v) = -17*v + 8. Is k(n) composite?
False
Suppose 3*q - 2*q = 0. Let o(l) = -2*l - 3 - 2*l**2 + q*l**3 + 0*l**3 + l**3. Is o(4) composite?
True
Suppose -2*g + 39 = -3*r + g, 4*g + 23 = -r. Let n(a) = -5*a**3 + a + 4. Let s be n(-3). Let d = r + s. Is d a prime number?
False
Let r = -4 + 3. Let t be r/(((-3)/50)/(-3)). Let d = t - -103. Is d a prime number?
True
Let g = 65 + -24. Suppose 2*c - g = -w + 4*c, -5*w + 265 = 2*c. Is w a prime number?
False
Suppose -5*r + 2*r + 13 = -f, 0 = 2*f - 3*r + 14. Let x be (-2 + 0)/(-1) - f. Suppose 126 = 4*t - w - 2*w, -95 = -x*t + 2*w. Is t prime?
False
Let x(b) = -5*b - 4*b - 5*b + 1 + 2*b + 2*b**2. Is x(8) a composite number?
True
Let j(h) be the third derivative of -h**5/60 - h**4/24 + 251*h**3/6 + 4*h**2. Is j(0) composite?
False
Let y(u) = -975*u - 19. Is y(-2) a composite number?
False
Let o = -3078 - -4539. Suppose -9*z = -6*z - o. Is z a prime number?
True
Suppose 4 = 2*j + 5*k, -4*k + 3*k - 9 = -j. Suppose -g + j = -0*g. Let l(c) = c**3 - 8*c**2 + 10*c + 2. Is l(g) prime?
True
Let v(k) = -k**2 + 23*k + 11. Is v(17) a prime number?
True
Let r(q) = q - 1. Let u be r(3). Let v = u - -1. Suppose -2*k + 409 - v = 0. Is k composite?
True
Suppose 25*l - 24*l = 331. Is l composite?
False
Let f = 240 - 91. Is f composite?
False
Let o = 8 + -5. Suppose -137 = o*f - 926. Is f a composite number?
False
Let m(b) = -61*b. Let f(y) = 30*y. Let s(c) = -7*f(c) - 4*m(c). Let k be s(-5). Is (-5 - -3)*k/4 prime?
False
Suppose -3*v = 2 - 11, 4*r + 5*v = 23. Suppose -3*c - 20 = -3*h - r*c, -h + 4*c = -25. Is (-441)/(-35) + 2/h composite?
False
Let p = 118 - -4. Let c = -55 + p. Is c composite?
False
Let d(m) = 36*m - 2. Is d(4) composite?
True
Let i(l) = 3*l + 2. Let v = 6 - 3. Suppose -k - v*k = -28. Is i(k) composite?
False
Suppose 9 = 3*u, -3*w - 1 = -w - 3*u. Suppose 435 = 3*q - w*c, 4*q = 8*q - 4*c - 584. Is q a composite number?
False
Suppose g = 5*j + 946 + 135, -4*g - j + 4240 = 0. Is g a composite number?
False
Let f(g) = g**3 + 8*g**2 - 7*g - 2. Let x be f(-5). Let q = 269 - x. Suppose 5*z = -2*n + q, -z - z = -4*n + 334. Is n a composite number?
False
Let z = 7 + -4. Let o(p) = 2*p**2 + p**2 - p - p**2. Is o(z) a composite number?
True
Suppose 0 = -w - 3, a - 2*w - 3*w = 317. Is a prime?
False
Suppose -3*z = 4*a + 71 - 1846, 2*a - 887 = -z. Is a prime?
True
Let l(o) = -o**3 + 6*o**2 - 4*o + 1. Let a be l(5). Let r be a*(5/2 - -2). Is 1815/r + 2/(-9) prime?
True
Let s(t) = t**3 + t**2 - t + 97. Is s(0) prime?
True
Let z(w) be the first derivative of 2*w**3/3 - 9*w**2/2 - 4*w + 3. Is z(-6) a prime number?
False
Suppose 710 = -5*r + 3*b, -3*r + 4*b - 426 = -0*r. Let y be 6/(-15) + r/(-5). Is (y - -3) + 0/1 a prime number?
True
Let h(t) = -6 - 29*t + 41*t + 32*t. Let x be h(7). Is (-8)/(-12) - x/(-6) a prime number?
False
Let x be (-74)/((-3)/((-63)/3)). Is (-6)/(-24) - x/8 a prime number?
False
Suppose -7*u = -2076 - 3503. Is u a composite number?
False
Suppose l = -8*l + 1935. Is l prime?
False
Let q(r) = -r**3 + 19*r - 4 - 2 - 3*r**2 - 8*r**2. Suppose -33 = -5*h - 2*t - 102, 5*h + 63 = t. Is q(h) a composite number?
True
Let l = -182 - -305. Is l prime?
False
Let k = 10 + -7. Suppose -4*i - 2*l = -k*i - 27, 5*l - 49 = -2*i. Is i a prime number?
True
Let p(q) = -43*q**2 + 2*q + 10. Let d be p(8). Is d/(-8) - (-1)/4 prime?
False
Let v = 5 - 0. Suppose -2*g - v*k - 16 = 0, -5*g + 5*k + 18 = -12. Suppose 0 = -g*l + 2*x + 32, 3*l = -0*l - 4*x + 27. Is l composite?
False
Let y be -5 - (-6)/3 - 100. Let l be (y/3)/((-2)/(-12)). Let o = l - -333. Is o a composite number?
False
Let f(z) = z**3 - 8*z**2 + z - 11. Is f(9) composite?
False
Let b be 2*4 + (-22 - -18). Let k(p) = p**3 + p**2 - 4*p - 3. Let g be k(-3). Let y = b - g. Is y a prime number?
True
Suppose 0 = -u - 4*n + 60 + 95, -2*n = -4*u + 638. Is u composite?
True
Suppose -472 = 6*u - 10*u. Is u composite?
True
Let t be 12/((-3)/(-1)) + -4. Suppose 12*h - 13*h + 397 = t. Is h prime?
True
Suppose 2*z - 6 = -2*w, z - 3 = -3*w - 2. Suppose -z*b = -2*j + 286, 0 = 3*j - 2*j - 5*b - 143. Is j a composite number?
True
Let x = 2346 - 967. Is x composite?
True
Suppose 0 = 3*a - d - 17, -2*a - d = -a + 1. Let b(j) = -j**3 + 5 - 3*j - a*j + j**2 - 9*j**2 - 2*j. Is b(-7) composite?
False
Suppose 0 = 3*x - 4*y + 196, 0 = x - 0*y - 5*y + 80. Let f = 199 - x. Is f prime?
False
Suppose -278 = -3*l - 41. Is l a prime number?
True
Suppose -2 = d + 2. Let q be (-345)/d - 3/12. Let o = q - -77. Is o a composite number?
False
Let b(v) = v**3 - v**2 + v + 1361. Is b(0) a composite number?
False
Let k(v) = -5*v - 4. Let a be k(-6). Let d = a + 17. Is d prime?
True
Suppose -h + 5 + 5 = s, 3*h - 6 = 0. Suppose -s = -4*o + 8. Suppose x = 3*v - 162, -4 = o*x + 8. Is v composite?
False
Let w(d) = -d + 114 + d**2 + 0*d**2 - 47. Let a(j) = -j - 7. Let p be a(-7). Is w(p) composite?
False
Suppose 4*z + 4*u + 437 = 2057, 3*z - 2*u = 1235. Is z a prime number?
True
Let z(d) = -2*d - 3. Let u be z(-2). Let a(i) = 19*i**2 - i + 1. Is a(u) a composite number?
False
Let f(g) be the first derivative of -g**4/4 + 7*g**3/3 + 4*g**2 - g - 2. Let w be f(8). Is -2*w/6*69 prime?
True
Let m(d) = -77*d - 1. Is m(-10) a composite number?
False
Let m(d) = 17*d - 24. Is m(11) a prime number?
True
Let n(z) = -2*z - 3. Let j(a) = -a - 1. Let w(r) = 5*j(r) - 2*n(r). Let k be w(-2). Suppose -55 = -k*t + 2*t. Is t prime?
False
Let b(u) = 3*u + 8. Let d be (-3 + -6)*2/(-3). Is b(d) composite?
True
Suppose 542 = 7*x - 5*x. Suppose 2*b - x = -3*j, -125 = b - 2*b + 2*j. Is b prime?
True
Let q = -8 + 3. Let g = q + 3. Is g + 117/(1/1) a prime number?
False
Let k = -1838 - 664. Is k/(-15) + 2/10 prime?
True
Let c(z) = -66*z + 11. Is c(-6) prime?
False
Let g be (-2)/(-12) + 115/30. Is -717*(8/(-6))/g a prime number?
True
Let u(m) = -m**2 + 7*m - 4. Let o be u(5). Suppose 0 = -o*y + 3*y. Suppose y*f + 55 = f. Is f a prime number?
False
Let n = 357 - 152. Is n a composite number?
True
Let c(l) = -l**3 + 5*l**2 + 4*l + 5. Suppose 3*o - 8 - 46 = 0. Suppose -4*d + o = 2*r, 2*d + 4 = 4*d. Is c(r) prime?
False
Suppose -l + 1 = 0, 5*r = 2*r + l + 68. Is r prime?
True
Let x = -2 + 2. Let y(n) = 2*n**2 - 2*n - 1. Let t be y(2). Suppose -g + 2*m + 4 = -1, 4*g + t*m - 9 = x. Is g composite?
False
Suppose 0 = -5*b + b. Suppose 0 = -j - b*j + 6. Is j a composite number?
True
Let f be (-10)/(-5)*(-2)/(-2). Suppose -f*d + 455 = 3*d. Is d prime?
False
Let n = -1027 - -272. Let i = n + 1123. Suppose -k + 2*u + 83 = 0, -4*k - 2*u + i = -u. Is k composite?
True
Let p be 8/12*(4 + 2). Suppose 4*d - 306 = -2*r, -6*r + p*d = -2*r - 564. Is r prime?
False
Let y be 1/(5/2)*5. Suppose -y*t + 133 = 5*o, 2*o - 4*t - 8 - 26 = 0. Is o a composite number?
True
Let t = 8 + -4. Let d(b) = 2*b**2 - 8*b - 7. Let k be d(5). Suppose 3*y + 5 - 39 = -v, k*v - t*y - 89 = 0. Is v a prime number?
True
Let c = -525 + 262. Let r = 502 + c. Is r a prime number?
True
Let g(y) = -30*y + 3. Let p = -15 + 7. Let r be g(p). Suppose -4*l = 3*m - r, -m - 5*l + l = -89. Is m prime?
False
Let s(n) = -55*n - 10. Is s(-5) a prime number?
False
Let d = 7175 - 2554. Is d a prime number?
True
Let k(a) = 4*a**2 + a - 1. Is k(8) a prime number?
True
Let f(p) = -4*p + 167 + 4*p + 3*p - 4*p. Let s be f(0). Suppose 3*z - c - 163 = c, -3*z = -c - s. Is z prime?
False
Suppose 0*o + 4 = -o + 2*t, o + 2*t = 12. Let d(a) = -a**3 + 6*a**2 - 6*a + 1. Is d(o) composite?
True
Let r(n) = -1 - 5 + 1 + 3 - 12*n. Is r(-2) a prime number?
False
Suppose 3*j = 2*j + 132. Suppose -5*d + j = -113. Is d composite?
True
Is 71/(-2 - 92/(-44)) prime?
False
Let f = 83 - 57. Is f composite?
True
Let p = 213 + 49. Suppose 0 = -3*r + 3*c - 54 + 465, 2*r - p = 5*c. Is r a composite number?
True
Suppose 2*c - 24 = -4*t, 3*t = 7*t - 2*c - 40. Let u 