*m = -4*f - 12. Let b(u) = 5*u**3 - 4*u**2 + 2*u - 1. Is b(m) a composite number?
False
Suppose 0 = -5*y - j + 11799, -j - 2372 = -3*y + 4701. Is y prime?
False
Let x(n) = 10*n + 5 - 1 - 2 + 15*n. Is x(5) a prime number?
True
Suppose -1145 - 1321 = -6*o. Is o composite?
True
Let u(s) = 7*s + 1. Let q be u(-7). Let t be (2/6)/((-8)/q). Suppose 138 = d + t*d. Is d prime?
False
Suppose -17 - 3 = 4*x. Let d be (1 + x)*(21 + 1). Let l = -41 - d. Is l composite?
False
Let m(i) = -i**3 - i**2 + 2*i + 2. Let h be m(-2). Suppose h*r - 179 = -5*w, 5*w - 85 = -r - 3. Is r prime?
True
Let s(m) = 22*m**2 - 9*m + 10. Is s(-7) a prime number?
True
Suppose 0 = -9*l + 4*l + 25, 4*u + 797 = -3*l. Let x be (u - -1)*(-1)/2. Let c = 192 - x. Is c prime?
False
Suppose -24*s = -19*s - 8115. Is s a prime number?
False
Is 1/(-2) - 1030/(-4) prime?
True
Let f = 72 - 19. Is f a composite number?
False
Suppose k + r = 3*k - 3, 0 = -5*r - 15. Is 4 + (-4)/2 + k a prime number?
True
Let a(h) = 7*h**2 + 11*h - 1. Let t(z) = 20*z**2 + 33*z - 2. Let n(v) = -17*a(v) + 6*t(v). Let p be n(-11). Suppose -c + 51 = p. Is c prime?
False
Suppose -5*k + 9366 = k. Is k a prime number?
False
Is 3/4 + 12108/48 a composite number?
True
Suppose 0*v = -3*v - 3. Is 318 + -3 + (v - -3) a prime number?
True
Let a be ((-2 - -3) + -147)/2. Let b = a + 128. Is b a prime number?
False
Suppose -86 = -5*m - 3*d, -4*m + 2*m + 3*d = -47. Is m prime?
True
Let q = -22 + -90. Let c = q - -197. Is c a composite number?
True
Let h(k) = -k**2 + 4*k + 5. Let b be h(4). Suppose 7*a = b*a + 28. Is a composite?
True
Suppose 70 - 392 = -2*c. Is c a composite number?
True
Let x = 1 + 1. Let w = 2 - x. Is 69 - (w - (2 - 4)) prime?
True
Suppose 4*w = -0*w + 8, -5*w + 94 = -o. Is o/((-3)/3) - -1 a composite number?
True
Suppose -3*w + 14 = c, -3*c = -w - 8*c. Suppose w*r + 18 - 83 = 0. Is r a prime number?
True
Let y(p) = 38*p**3 + p**2 - 2*p + 1. Let a be y(1). Suppose 2*q + 2*q = o + 177, q + o = a. Is q composite?
False
Let i(t) = 11*t - 7. Let l(x) = x + 19. Let w be l(-10). Suppose -2*o - w = -21. Is i(o) composite?
False
Suppose 3*d - 2*d - 3 = 0. Let s = d - -3. Let b(m) = 2*m**2 - 7*m - 4. Is b(s) composite?
True
Suppose -2*v = -5*u + 2*v + 979, -12 = -3*v. Is u composite?
False
Suppose 3*h - 6*h = 18. Is (-294)/h + (-4)/(-1) composite?
False
Let p = -998 - -485. Let c = -336 - p. Is c composite?
True
Is 1277/((0 + -3)/(-3)) a composite number?
False
Let a = -37 - -13. Is 2/(-2) - 11*a a composite number?
False
Let q be 13*-2*1/1. Let j be q/(-6) + (-2)/(-3). Suppose -2*l = -k - 106, 0*k - 5*k + 295 = j*l. Is l a composite number?
True
Suppose -3*j = -j - 36. Is 1390/j + (-6)/27 prime?
False
Let i = 314 + 155. Is i a composite number?
True
Let n(o) = 2*o**3 - 6*o**2 - 5*o + 6 + 7*o + 3*o - 3. Is n(4) a prime number?
False
Let p = -541 - -360. Let x = 308 + p. Is x a composite number?
False
Suppose 15 - 1 = 2*h + 2*p, 0 = 4*p - 16. Suppose h*f = 2 + 22. Is ((-6)/f - -2)*20 composite?
True
Let c(w) = w**3 + 13*w**2 - 3*w - 17. Is c(-12) prime?
True
Suppose -3*q = -4*q + 5. Suppose i + 4*t = 80, 0 = -0*i - 5*i + 4*t + 472. Suppose 0 = p - q - i. Is p a composite number?
False
Let n(b) = -b + 17. Let l(p) be the second derivative of p**5/10 - p**4/4 + p**3/2 - 3*p**2/2 + p. Let r be l(2). Is n(r) a prime number?
False
Suppose 3*h = -h + 812. Is h prime?
False
Suppose 86 - 10 = 4*x + 2*a, a = -x + 21. Let j = 36 - x. Is j a prime number?
True
Let z(n) = n + 12. Let j be z(-7). Suppose 0 = -3*x + j*s - 86, -1 = 3*s - 4. Let m = -5 - x. Is m a composite number?
True
Suppose 8*z + 4 = 12*z. Is 141/z - (-2 - 2) a composite number?
True
Let k = 56 + -95. Let h = 124 + k. Is h a composite number?
True
Let j(c) = -40*c - 7. Is j(-12) prime?
False
Let s = -2 + 7. Suppose 2*m + t = 19 + 22, -s*t = 2*m - 21. Is m a prime number?
True
Suppose 3*j + 3*o = 8*o + 24, 9 = -3*o. Suppose j*r = 3*w - 5*w + 112, -w - 63 = -2*r. Is r a composite number?
True
Let a = 104 - 205. Let r = a - -288. Is r prime?
False
Suppose 5*w - 25 = -5. Let z(j) = 7*j + 1. Let q be z(w). Let u = -18 + q. Is u a composite number?
False
Suppose 3*i + 2*i = 590. Is i a prime number?
False
Let w(k) = 4*k**3 + 5*k**2 - k - 3. Let f be w(-5). Let v = f - -672. Is v a prime number?
False
Let x = 4 + -4. Suppose 5*l + 10 = x, 2*p + 2*l = 6*p - 48. Is p prime?
True
Suppose 5*o = -p - 149, -2*p - p + 2*o - 515 = 0. Let l = p + 236. Is l composite?
False
Is 1*(13 - 6/3) a prime number?
True
Suppose 0 = 3*a + 3 + 24. Is ((-2)/4)/(a/630) a composite number?
True
Is (10209/(-6))/(2/(-4)) a composite number?
True
Let d(b) = -77*b**3 - 3*b**2 + 1. Is d(-3) a prime number?
True
Suppose -6 = 2*y + 50. Let c = 63 + y. Is c composite?
True
Let k(y) = 2*y**2 - 2. Let i be k(-2). Let b be (-3)/i + (-321)/(-6). Suppose q - 44 = b. Is q a composite number?
False
Let y = 2370 - 1669. Is y prime?
True
Let i = 307 - -10. Is i prime?
True
Let a(p) = 3*p**3 + p. Let s be a(1). Suppose 0*i - 4*b = -2*i + 30, 4*i + s*b = 60. Is i a prime number?
False
Is 296 + (-3 + 6 - 6) composite?
False
Let p = 48 - 28. Suppose 2*m + 72 = b - 2*m, b + 2*m - 48 = 0. Is b/p*(4 - -1) a prime number?
False
Let a(t) = -t**2 - 186. Let z be a(0). Let y = z + 485. Is y a prime number?
False
Suppose m + 0*m = 5. Suppose -m*a + 15 + 5 = 0. Suppose 87 = a*f - 101. Is f composite?
False
Suppose -2 = 4*d - 9*r + 4*r, r = -3*d + 8. Suppose 4*y + 172 = 4*l, 2*y + 31 = l - d*y. Is l prime?
True
Let m(t) = -4*t**2 - 7*t + 1. Let b be m(5). Is b*-1*1/2 a composite number?
False
Suppose 2*n - 8 = 50. Let m = n + -15. Suppose 0 = w - m - 9. Is w composite?
False
Let j(x) = x**3 - 8*x**2 - 4. Let d be j(8). Let v be d/24 - (-50)/12. Suppose 6*n - v*n - 62 = 0. Is n prime?
True
Let l(h) = -8*h**3 + 41*h**2 - 34*h + 9. Let t(z) = 3*z**3 - 14*z**2 + 11*z - 3. Let p(u) = 4*l(u) + 11*t(u). Is p(-11) a composite number?
False
Let r be (0 - 1)/((-2)/6). Suppose -4*g + 8 = 0, c + 6 = -0*c + r*g. Suppose -38 = -2*w - c. Is w prime?
True
Let x(r) = r**2 - r + 2. Let i be x(0). Suppose 2*l = -i*l + 340. Is l prime?
False
Let k(t) = -t + 3. Suppose y - 5*y = 28. Is k(y) composite?
True
Let f be (-1)/((-663)/330 + 2). Let r = 313 - f. Suppose 0 = -2*p + p + r. Is p a prime number?
False
Let t = 879 - -164. Is t a prime number?
False
Suppose -t + 0*l - 3*l + 238 = 0, -5*t = -4*l - 1285. Suppose t = 5*o + 4*m, -3*m + 3 = 12. Is o prime?
True
Let s(g) be the third derivative of g**5/60 + g**4/12 - g**3/2 - 2*g**2. Let w be s(-3). Suppose 3*f = w, 0*f = 4*n - f - 620. Is n composite?
True
Let t be 1*-6*(-871)/(-39). Suppose 71 + 156 = -a. Let o = t - a. Is o prime?
False
Suppose -5*o + 2727 = -4238. Is o prime?
False
Let a(y) = -y**3 - 16*y**2 + 18*y - 45. Is a(-20) a composite number?
True
Let v(s) = 142*s - 7. Is v(14) composite?
True
Let o be (7/3 + 0)*-3. Let i(u) be the first derivative of -u**2 + 8*u - 3. Is i(o) a prime number?
False
Let x = 2 + -3. Let f(s) = -2*s + 1. Let d be f(x). Suppose -d*c = -0*c - 129. Is c a composite number?
False
Suppose 3*c - 6 = -0*c. Suppose -k - 3 = -c*k, 1157 = 2*o - 3*k. Is o composite?
True
Let q = 1529 - -1752. Is q a composite number?
True
Let j(w) = 14 - 11 + 9*w + 2*w. Let g be j(-6). Is g/6*-2 - 2 composite?
False
Let c(r) be the first derivative of 2 + 3*r + 9/2*r**2 + 2/3*r**3. Is c(-6) a composite number?
True
Let o = -46 + 83. Is o composite?
False
Suppose -5*m = 3*h - 2286, 0 = -5*h - 4*m + 4102 - 305. Suppose -h = -2*i + 3*b, 0*b = 4*i + 5*b - 1459. Let a = i + -84. Is a prime?
False
Let m = -28 - -39. Let j = m + -7. Suppose j*k = -5*s + 77, -3*s - 112 = -5*k - 4*s. Is k a prime number?
True
Suppose -t - p - p + 216 = 0, 5*t - 5*p = 1050. Suppose 0 = -4*f + 4, 0 = -5*s + 5*f + 528 + t. Is s a composite number?
False
Let l be 12/5 + 2/(-5). Let g(b) = -2*b**2 - 9*b + 3. Let m be g(7). Is m/4*-1*l a composite number?
False
Let m be 1 + ((-12)/3)/(-2). Let s = m + -1. Suppose s*u = 54 + 62. Is u prime?
False
Let d = -9 + 13. Suppose -d*b + 222 = 3*g + 5, 3*g - 101 = -2*b. Is b prime?
False
Is (2 - (3 + -2)) + 588 prime?
False
Let n(j) = 37*j**2 - 4*j + 9. Is n(2) prime?
True
Suppose -644 = -3*t - t. Is t prime?
False
Let j(z) = z - 1. Let d be (-1 - (2 - 2))/1. Let x(b) = -9*b