- 1/1 - (-12 + -2312) a composite number?
True
Suppose -2*h = -24 + 10. Let j(c) = 6*c - 2*c + c. Is j(h) a composite number?
True
Let q = -309 + 180. Let v = 31 + q. Let m = 175 + v. Is m prime?
False
Let a = 5 + -6. Is 25 + (a - -2) + -1 a prime number?
False
Let v(u) = -68*u**3 + u**2 + 2*u. Is v(-1) composite?
False
Suppose -15*j = -12*j - 12603. Is j a composite number?
False
Let x(a) = 5*a**3 - 3*a**2 + 5*a - 4. Suppose 5*q - q - 12 = 0. Is x(q) a prime number?
False
Let o = -1177 - -1712. Is o a prime number?
False
Let m = -6 - -8. Suppose -4*y + 4 = -0. Suppose m*t + 87 = g, g - 94 - y = 4*t. Is g a prime number?
True
Suppose 2*v - 4*v = -6. Suppose -1356 = -3*o - 3*m, v*m + 530 = o + 78. Suppose 4*a - 188 = -3*z + o, z + 330 = 2*a. Is a a composite number?
False
Let j = 916 + -437. Is j prime?
True
Let t be (3 + -4)*(208 - 0). Let y = 305 + t. Is y a composite number?
False
Is 21/(-4 + 62/14) prime?
False
Let g = 63 - 29. Is g prime?
False
Let c = -221 + 337. Suppose 0 = 5*z - 1141 + c. Is z composite?
True
Let b = 1 + 4. Suppose -2 + b = 3*x. Is (-1)/x*-54 - -1 a composite number?
True
Suppose -3*s + 15 = 2*s. Let a be 2/(-4 + -1 + s). Is 19*(a - (1 + -3)) a prime number?
True
Suppose -2*c = o - 6*c - 307, 3*c = -o + 307. Is o a composite number?
False
Let z(s) = s**2 + 5*s + 5. Let k be z(-4). Let t(v) = 31*v**3 - v**2 + v. Is t(k) prime?
True
Suppose 2*k + 2*k = 2*q + 558, 0 = 5*k + 10. Let b = 404 + q. Is b a prime number?
False
Suppose -5*b - 736 + 256 = 0. Let w = -1 - b. Is w composite?
True
Suppose 0 = -3*m + 10 - 4. Let r be -1*(-3)/6*m. Is 3/r - 0 - -10 a prime number?
True
Suppose p = 5*d + 141, 322 = -p + 3*p - 2*d. Is p composite?
True
Let g be 3/(-5) - 4/10. Let b = g + 2. Is 0 + (20 - (b + 0)) prime?
True
Let c be (6/27)/(1/9). Suppose 3*p - 355 = -c*p. Is p a composite number?
False
Let g(q) = q**3 + 7*q**2 - 9*q - 2. Let d be g(-8). Suppose -d*y = -4*y - 578. Is y a prime number?
False
Let c be ((-3)/2)/((-3)/4). Let o be (2 - c)/(-2) + 6. Let x(m) = m**2 - 2*m - 5. Is x(o) prime?
True
Let u(n) = n**3 + 4*n**2 - 3*n. Let r be u(-4). Suppose r + 30 = 2*a. Is a a composite number?
True
Suppose -5*b + 0*d = 3*d + 10, -b - 4 = d. Let t(c) = 4 + 13*c**2 + b + 2*c - 4. Is t(2) prime?
False
Let h(s) = -703*s - 2. Is h(-1) a prime number?
True
Let q = -240 + 529. Is q a composite number?
True
Suppose 2 = 3*s - 2*u, 0 = 2*s + 4*u - 30 + 2. Suppose -2*l = -2*d + 40, -3*l + 2*l + 75 = s*d. Suppose 3*r = -0*j - 2*j + d, 2*r = -2*j + 22. Is j prime?
False
Suppose n + 4*j = 3563, 3*j + 2*j - 3563 = -n. Is n a composite number?
True
Suppose 0 = 4*t + 8, i = t + 2*t + 95. Is i a prime number?
True
Let o(i) = -25*i - 4. Let g be o(-5). Let u(n) = -n**3 - 8*n**2. Let x be u(-6). Let c = g + x. Is c composite?
True
Let q = -4 - -7. Is ((-1)/q)/(1/(-99)) a prime number?
False
Let k(z) = z**2 + 8*z - 6. Let a be k(-9). Let r(j) = -8*j**3 - j - 20*j**a - j - 38*j**3 - 1. Is r(-1) prime?
True
Suppose -3*x = x + 340. Let u = 270 + x. Is u a prime number?
False
Suppose 4*a + 3 = -g + 10, 0 = 5*a - 15. Is g/30 + (-679)/(-6) composite?
False
Let w = -11 + 7. Is (74/w)/(3/(-6)) a composite number?
False
Let q = -3 - 0. Let z = 1 - q. Suppose -z*t - 16 = 0, -3*h - 2*t = -2*h - 51. Is h composite?
False
Suppose y - 3 = 6. Let u = 14 - y. Suppose -4*d + 33 = 4*l + 13, -4*d + 19 = u*l. Is d a composite number?
True
Let q = -9 + 9. Suppose 3*s + s + 224 = q. Let n = s - -93. Is n a prime number?
True
Suppose -3*d + 472 = 4*w, 3*d - 491 = -3*w - 140. Suppose 2*f - 9 = -3*r, -3*f - r + 8 = -2. Suppose 0 = -f*q + 5*m + w, 2*q - 47 = -3*m + 21. Is q prime?
True
Suppose -65 = -2*n + 17. Suppose -4*d + 15 + n = 0. Is d composite?
True
Suppose 5*a + 2*q = 20 - 5, -3*a - q + 9 = 0. Suppose -2*l - 2 = a*c - 2*c, 6 = -2*c - 5*l. Is c a composite number?
False
Let l = -10 + 14. Suppose -l = 4*x - 360. Is x composite?
False
Let v = 4 + -2. Let p be 1 + 3/(v + -1). Suppose -149 + 1 = -p*w. Is w a prime number?
True
Let c be (-2)/(-6) - (-3)/(-9). Suppose c = -u + 3*u - 28. Is u composite?
True
Let m(t) = 3*t + 12. Let u be m(-8). Let b = 2 - u. Is b a composite number?
True
Let y(v) be the second derivative of -v**3/3 - 5*v**2/2 - 2*v. Let p be y(-7). Suppose 0 = -0*n + 3*n - p. Is n prime?
True
Let r(v) = -12*v**3 + v**2 + 7*v - 5. Let c(d) = -d**3 + d. Let f(p) = 4*c(p) - r(p). Is f(2) a composite number?
False
Let d(a) = a - 1. Let j be d(7). Suppose 2*p = j*k - 2*k + 70, 189 = 5*p + 4*k. Is p composite?
False
Let m(f) be the first derivative of 10/3*f**3 - 2 + 9/2*f**2 + 1/4*f**4 + f. Is m(-7) composite?
True
Let d = 13 + -9. Suppose d*h - 854 = -2*r, 0*r - 2*r = -4*h + 866. Let x = h + -132. Is x a composite number?
False
Is ((-10)/40)/(1/(-844)) composite?
False
Let f(k) = k**2 + 12*k + 43. Is f(-20) prime?
False
Suppose 2*w + 5 = w - 2*y, 5*w - y = 8. Let g(f) = -f + 14*f**3 + 4*f - f - w. Is g(1) a composite number?
True
Suppose 0 = 3*t - 3, 5*v - 18 = -0*v - 3*t. Suppose -v*s - 2*s = -4*i - 31, 4*i + 10 = -2*s. Is (s - -1)*(-6)/(-8) a prime number?
True
Suppose -3 = 2*y + u - 9, 4*y - 8 = -4*u. Suppose -y*g + g + 12 = 0. Is 44 + (g - 2/2) a prime number?
True
Let m(g) = 16*g**2 - 15*g + 7. Is m(-8) prime?
True
Suppose 0 = 4*s - 567 - 3917. Is s prime?
False
Let v(k) = -2*k**3 - 4*k + 1. Suppose 1 = -2*h + 3*h + 4*c, -2*h = 4*c + 2. Is v(h) a prime number?
True
Let y(k) = k + 3. Let j be y(-3). Suppose j*i + 4*i = 2*p - 82, 0 = 3*p - 2*i - 111. Is p prime?
False
Let o = -621 - -1136. Suppose -5*t = h + 143, 5*h + 152 = -t - o. Let c = -38 - h. Is c prime?
False
Suppose -2*z + 50 = 3*z. Suppose -5*f + z + 25 = -5*y, -5*f + 3*y = -27. Suppose f*h - 12 = 9. Is h prime?
True
Let p = 2779 - 1520. Is p composite?
False
Let b be 3/(-12) - (-58)/8. Suppose 13 + b = 5*s. Suppose -s = -2*g + 70. Is g composite?
False
Let p(z) = z + 134. Let i = -4 - -2. Let d(x) = -x - 134. Let s(c) = i*p(c) - 3*d(c). Is s(0) composite?
True
Let s(y) be the first derivative of 93*y**2/2 + 2*y + 3. Is s(5) composite?
False
Suppose -2*v + v = s - 3, 2*s + 3*v = 11. Let u = s - -2. Suppose 3*f - 7*f + 88 = u. Is f composite?
True
Suppose -4*h + 744 = -2*d, -3*h + 179 + 374 = d. Suppose -h = 2*l - 3*l. Is l prime?
False
Let n(s) = s**3 + 9*s**2 + 4*s - 11. Let i be n(-8). Suppose 0 = -p - 0*p + i. Is p a composite number?
True
Suppose -318 = -6*x + 4*x. Is x a prime number?
False
Let m be -3*(-4)/((-16)/12). Is (-32)/(-1) + (m - -11) a composite number?
True
Suppose 2*s - 3*s = -809. Is s prime?
True
Let j be 8 + -1*(-4)/(-2). Suppose j*m = 2*m - 4. Is (-2)/((-6)/(-63))*m a composite number?
True
Suppose 4*g - 18 = -74. Let k be 1/(g/(-4) - 3). Suppose -3*r + 0*r + 461 = k*n, 3*r = 15. Is n prime?
True
Let y = -8 - -11. Let d(k) = -4*k + 1 - 5 + y. Is d(-1) a prime number?
True
Suppose -3*q - 2*q = -2*u + 14, -4*u + 8 = -5*q. Let y be 2 + u + 14*2. Suppose -y = -3*k - 2*f, 0*f = -3*k - f + 24. Is k composite?
False
Let b(f) be the first derivative of 7*f**2 - 3*f + 5. Is b(7) composite?
True
Let k(d) = d**2 - 8*d + 0*d**2 + 0 + 2. Let z be k(8). Suppose -5*f = 2*u - 64, -f = z*u + f - 52. Is u a prime number?
False
Suppose 5*k + 196 = -3*x + 1317, 2*k - 5*x = 436. Is k a prime number?
True
Suppose -2710 = -8*o + 1234. Is o a prime number?
False
Suppose 8*h - 9*h + 499 = 0. Is h a composite number?
False
Let d(b) = 2*b**3 + 17*b + 14. Let a(l) = l**3 + 6*l + 5. Let c(o) = -8*a(o) + 3*d(o). Let n be c(-2). Let p(f) = 11*f - 17. Is p(n) a composite number?
True
Let b = 2 - -9. Suppose 2*q = 3*q - b. Is q prime?
True
Let x(b) = -9*b - 1. Let m(s) = 9*s + 1. Let t(l) = 4*m(l) + 3*x(l). Is t(2) a composite number?
False
Let c(j) be the second derivative of j**4/4 - j**3/3 - j**2/2 + j. Suppose 4*g = -b + 4, 5*g - b - 20 = -6. Is c(g) a prime number?
True
Suppose -5*u = -3*v - 22, -5*u = 7*v - 2*v - 30. Let t = u - 3. Let l = 1 + t. Is l prime?
True
Let b = -144 - -4010. Is b/18 - 14/(-63) a composite number?
True
Suppose 7*j = 6*j + 3. Suppose -i - 2*i + 4*p = -47, -4*i = -j*p - 58. Is i composite?
False
Is 3351/(-2)*(4 - 6) a composite number?
True
Suppose -2*g - k = 19, -3*g - 1 = -3*k - k. Is (-212 + -1)*(6 + g) a composite number?
True
Let m(f) = 14*f**2 + 1. Let n be (-1 + -1 - -2)