se
Suppose 4*r - 16 = n, r = -2*r - 5*n + 12. Is 12/(-9)*(-246)/r a composite number?
True
Let c(i) = i**3 - 7*i**2 - 2*i - 5. Suppose 34 = 4*b + 2*q, 3*b - 4*q - 22 = b. Is c(b) prime?
True
Suppose 2*h = -4*u + 4, 0*u - 3*u + 6 = 3*h. Let c(t) = -t**3 + 12*t**2 + 12*t + 18. Let i be c(13). Suppose -5 = -5*m, i*j - 3*j + m - 45 = u. Is j composite?
True
Let k(g) = g**3 + g**2 + 163. Let j(v) = v**2 + v + 1. Let r(l) = 3*l**2 + 12*l + 4. Let o(z) = -4*j(z) + r(z). Let b be o(8). Is k(b) composite?
False
Let f = 44 - -25. Is f composite?
True
Suppose 3*b - 1416 = -4*l, 2*l - 4*b - 155 - 531 = 0. Let t = l + -150. Is t prime?
False
Let w = -9 - -21. Let y = 5 - 5. Suppose y = -l - w + 37. Is l composite?
True
Suppose 6*h + z - 35 = 3*h, -5*z - 7 = h. Is h a prime number?
True
Is (8 - 9)*(-74)/2 a composite number?
False
Let g = -17 - -21. Is (51/(-6))/(g/(-104)) a prime number?
False
Suppose 4*v + 0*v - 4 = 0. Let m be (v - -2)*(3 + -2). Suppose 3*j + m*l - 258 = 0, 90 - 437 = -4*j - 3*l. Is j a composite number?
False
Let x(c) = -c**3 + 6*c**2 - 4*c - 2. Suppose -11 = -3*r + 8*r + 3*f, -4*f - 10 = 2*r. Let z be (-2)/(-1) - 2/r. Is x(z) composite?
True
Let f(d) = d**2 + d + 4. Let p be f(4). Let u be (-238)/8 - 6/p. Let t = u + 119. Is t a prime number?
True
Let a(y) = 10*y - 7. Let s be (-4)/(-8) - 22/(-4). Is a(s) a prime number?
True
Suppose 0 = 4*d + 4*v + 12 - 32, 5*v - 11 = 2*d. Suppose -d*b + 206 = 4*o, 0*b - 2*o + 442 = 4*b. Is b a composite number?
False
Let j = -2653 - -6446. Is j composite?
False
Suppose 4*a + p - 20 = -a, -3*a + 12 = -4*p. Suppose 169 = 3*k - a*i, -2*k + 47 + 62 = i. Is k prime?
False
Suppose -5*g = -0 - 10. Let v be 139/(2/(-4)*-2). Suppose -w + v = g*t, 4*t + 4*w - 87 = 3*t. Is t prime?
True
Suppose 3*p - 21 = -3*n, p + n + 3*n = 16. Suppose 4*y = -u + 1201, -2*y + p*u + 478 = -136. Is y prime?
False
Suppose -3*h = -2*h + 29. Let j = 82 + h. Is j prime?
True
Let u(x) = 24*x**3 + x**2 + 3*x - 2. Let w be u(2). Suppose l + 4*l = w. Suppose -5*p + 55 + l = 0. Is p prime?
True
Suppose -40 = -4*r - 4*n, -3*n = -r - 2 + 4. Suppose -r = -5*b - 3. Is (12 + 3/(-3))*b a composite number?
False
Suppose -13*a - 2374 + 9121 = 0. Is a composite?
True
Suppose 5 = -5*p, -4*j + 23 = -0*p - 3*p. Suppose g - 23 = 4*x, 3*g + 5*x = 2*g + j. Is g a composite number?
True
Suppose 5*c - 388 = c. Let u = -23 + c. Is u a prime number?
False
Let n(q) = q - 2. Let f be n(-2). Is f/(-2) - 22/(-2) a composite number?
False
Let t be 6/(-4)*16/(-12). Let a(f) = -3*f + 1. Let i be a(t). Let c(v) = -34*v - 7. Is c(i) a composite number?
False
Let z(c) be the first derivative of 4*c**3/3 - 7*c**2/2 - 4*c - 1. Is z(7) prime?
False
Let f(k) = 107*k**2 + k + 1. Let l be f(-1). Let y = l - 60. Is y a composite number?
False
Let g(w) = 3*w - 10. Let p be g(6). Is (-4)/((p/58)/(-2)) a composite number?
True
Suppose 0 = -4*r + i - 2*i + 1528, 2*r + 5*i - 782 = 0. Is r composite?
True
Suppose -4*l + 4*v + 356 = 0, -3*l - 4*v = 2*l - 409. Is l a prime number?
False
Suppose 18415 = 5*m + 4920. Is m prime?
True
Suppose 0 = 10*u - 7*u - 117. Is (-6)/u - (-591)/39 composite?
True
Let z(i) = -41*i. Let m be z(1). Let y = 29 + m. Is (1*-2)/(y/126) a composite number?
True
Let b = -1236 + 2431. Is b prime?
False
Suppose -2705 = -4*s - s. Is s prime?
True
Is ((-11)/(-22))/((-1)/(-2086)) a composite number?
True
Let v(p) = -16*p - 16. Let o be v(-12). Suppose o = 2*s + 18. Is s a composite number?
False
Suppose -5*i + 4*b = -1391 - 9632, 2*i - 5*b = 4416. Is i a prime number?
True
Let s = 22 - 9. Is s prime?
True
Let q(x) = x**3 + 4*x**2 + 4. Let r(d) = -d**3 + 10*d**2 - 6*d - 11. Let v be r(9). Let c be (6/12)/((-2)/v). Is q(c) a composite number?
True
Let w(c) be the first derivative of -c**4/4 + 2*c**3/3 + 3*c**2/2 + 3*c + 2. Let g be w(3). Suppose 17 + 13 = g*l. Is l a composite number?
True
Suppose 2*k - 3*q + 5*q = 290, -k + 137 = 3*q. Is k prime?
True
Is 2/(-5) + 5816/40 composite?
True
Let x(l) be the second derivative of 191*l**4/12 + l**3/6 + l**2/2 + 7*l. Is x(-1) a prime number?
True
Let l(w) = -44*w + 4. Let o be l(-3). Let k = 437 - o. Is k a prime number?
False
Let i(y) be the first derivative of 4*y**3/3 - y**2 - 5*y + 1. Is i(6) a prime number?
True
Suppose 0*b - 360 = 4*b. Let u = 179 + b. Is u a composite number?
False
Let z be 10/(-3)*315/(-6). Suppose 5*y - z - 229 = 3*m, 231 = 3*y + 2*m. Is y a composite number?
False
Let f(g) = 78*g - 5. Is f(4) a prime number?
True
Let c(p) = -14*p - 2. Let w be c(-8). Let f = 243 - w. Is f a prime number?
False
Let n(y) = -y**2 + y - 1. Let k be n(3). Let v = 6 - k. Suppose 51 = s + v. Is s a composite number?
True
Suppose -3*w - 4*p + 13 = 0, -4*w + 4*p + 9 = 1. Is 562/w - 4/12 prime?
False
Suppose 0 = 2*g + 2*g - 404. Suppose -3*l + 4*b + 141 = 0, -5*b = -2*l - 0*l + g. Is l composite?
False
Let u be ((-40)/12)/((-4)/618). Suppose 6*t - 193 = u. Is t prime?
False
Suppose 0 = 2*s + 4*k - 28, -s - 4*k = k - 29. Let i(q) = q - 2. Let c be i(s). Suppose -p + 63 = 2*p + c*m, 5*m = 15. Is p a prime number?
True
Let d(y) = -3*y - 4. Let w be d(-3). Let o be 47/w + 18/30. Let f = o - -9. Is f a composite number?
False
Is 1014/8 - 8/(-32) prime?
True
Let z(w) = 2*w**2 - 13. Is z(-9) composite?
False
Let i(g) = 5*g - 9. Let j(f) = -f - 1. Let r(s) = -i(s) - 4*j(s). Let q be r(8). Suppose -q*m + 41 = -254. Is m prime?
True
Suppose -2*x - 3*v - 8 = -v, 2*x = 3*v - 18. Let t be 4/(-10) - x/15. Suppose -50 = -t*m - 5*m. Is m composite?
True
Let t(p) = 12*p**3 - 2*p**2 + 1. Let z = -2 + 3. Is t(z) composite?
False
Suppose 4*v = 2*v + 10. Suppose 4*b + 0*f - 369 = 5*f, v*f + 96 = b. Is b prime?
False
Let i be -1*(0 + -239) + 1. Suppose -t = 3*t - i. Suppose -a = 2*j - t - 49, 0 = -3*a + j + 362. Is a prime?
False
Let w(y) = 208*y + 3. Is w(1) composite?
False
Suppose 0 = -6*o + o - 4*a + 40487, 2*a + 40469 = 5*o. Is o prime?
False
Is 17499/45 + 2/15 a prime number?
True
Is (-2)/(-9) + (-6853)/(-63) a composite number?
False
Let a = 591 + 1066. Is a composite?
False
Suppose -2*f = 2*z + 16, 2*f + 3 = -3*z + 6*f. Let i(s) = -9*s - 3. Let x be i(z). Is ((-36)/x)/((-2)/14) a prime number?
False
Let t = -331 - -1062. Is t composite?
True
Let y(w) = w**3 + 6*w**2 + 4*w + 3. Suppose 3*v + 20 = -2*v. Let k(h) = h**2 + 4*h - 4. Let b be k(v). Is y(b) prime?
True
Let c(v) = 2*v**2 + 2*v - 4. Let p be c(-5). Suppose -5*t - 3*u - 54 = 0, p = -5*t - 0*u + 3*u. Is t/6*(-498)/9 a prime number?
True
Suppose 4*t - 3*m = 4662 + 788, -4*t - m + 5442 = 0. Is t a composite number?
False
Let t(o) be the first derivative of 3*o**3 + o**2/2 - 3. Let q be t(-1). Let h = 11 - q. Is h prime?
True
Suppose -914 - 51 = -5*h - 2*w, -4*h + 2*w + 790 = 0. Let t = h - 283. Let b = t - -141. Is b a composite number?
False
Let m be (1 - 1)*1/(-2). Suppose -2*z + 62 = 5*w, -3*w - 4*z - z + 22 = m. Is w composite?
True
Let z(k) = 6*k**3 - 2*k**2 + 1. Let t be z(1). Suppose 50 = t*f - 115. Is f prime?
False
Let v = 49 + 69. Is v prime?
False
Suppose 4*z = 30 - 6. Suppose 4*v = 3*n - 911 - 54, 3*v + z = 0. Is n composite?
True
Let b(q) = 0*q + 6*q + q + 5 - q**2. Let y(o) = -o**3 - 2*o**2 - 3*o. Let h be y(-2). Is b(h) a composite number?
False
Suppose -k - 344 = -2*k + 3*c, -2*k + c + 713 = 0. Let a = -236 + k. Is a a composite number?
True
Let t = -1692 - -3361. Is t a composite number?
False
Let k(l) = 2*l - 1 - 3*l + 5*l. Let i be k(1). Suppose 75 = i*n - 3. Is n a composite number?
True
Let x(z) = -z**3 - 6*z**2 + 7*z - 7. Let t be x(-7). Let q(r) be the first derivative of -r**4/4 - 4*r**3/3 - 3*r**2/2 - 9*r - 5. Is q(t) prime?
False
Let q(l) = -1899*l + 4. Is q(-1) composite?
True
Let p = 1342 - 896. Let r = p - 297. Is r prime?
True
Suppose 11*v = 5*v + 5118. Is v a prime number?
True
Let i = -108 - -44. Is (i - 2 - 1)/(-1) composite?
False
Let q be 1/(-4) + (-13)/(-4). Suppose 5*u - 1 = 4*p + 4, -5*u + 3*p + 10 = 0. Suppose 3*v - u*s - 165 = 0, -v + q*s = -4*v + 165. Is v a prime number?
False
Let p(b) = 17*b + 10. Let y be p(7). Suppose -3*g - 4*c + y = -0*c, 3*g - 102 = 5*c. Is g a composite number?
True
Suppose 2*v - 9449 = -5*o - 0*v, 0 = 5*o - 5*v - 9435. Is o a prime number?
True
Suppose 4*w - 1 + 5 = 0. Let b be w*4/((-4)/9). Is (2/2)/(3/b) p