 k = -3. Suppose 18 = -n*g + 136. Suppose 0 = -3*h + 2*h + g. Is h a prime number?
True
Let a be 69/(-15) + 6/(-15). Let z(p) be the first derivative of -26*p**2 - 3*p - 2. Is z(a) prime?
True
Let y = -3283 - -2285. Let o = y - -2313. Is o a composite number?
True
Suppose -3*g + 3 + 12 = 0. Suppose -v + 5*v + 2*f - 1086 = 0, g*v - 2*f - 1335 = 0. Is v prime?
True
Let b = 80 + -82. Is 2437/b*(13 - 15) a composite number?
False
Is 2026773/36 - (-9)/(-36) a composite number?
False
Is (2759/(-62))/(2/(-148)) a prime number?
False
Let x = 6 + -3. Is ((-656)/12 + x)/(1/(-3)) a prime number?
False
Let t = 7386 + -23361. Is t/(-18) - (-3)/(-6) a composite number?
False
Let v(p) = -1754*p - 409. Is v(-18) prime?
False
Let s(r) = -r**3 - 5*r**2. Let o be s(-5). Suppose 5*y + 3*n - 1484 = o, 3*y - 3*n = 2*n + 870. Is y prime?
False
Suppose 3*h - 7 = -5*d, 6*h - 3 = -4*d + h. Let i(w) = 466*w**2 - 2*w + 7. Is i(d) prime?
True
Let j = 352 - -3757. Is j prime?
False
Let f = -217 + 396. Is f composite?
False
Let s = -30 - -50. Let a(g) = g - 1 - 6*g + 7*g - 3*g + s*g**2. Is a(2) a composite number?
True
Let v(b) = -b**3 - 45*b**2 - 10*b + 83. Is v(-46) prime?
True
Suppose -3*m = 2*m - 555. Suppose 25*f = 35*f. Let d = m - f. Is d a composite number?
True
Suppose -4*s - 11 + 67 = 0. Suppose s*p + 130 = 16*p. Is p a composite number?
True
Let d = 13 - 10. Suppose 5*z - 974 = -2*a, -4*z + d*a = -0*z - 793. Suppose 5*u - 269 = -g, -4*u - 4*g + 8*g + z = 0. Is u a prime number?
True
Suppose -2*w - 3*z = -w + 17, 4*w - 4*z = -4. Let t(y) be the first derivative of -3*y**4/4 + 2*y**3/3 + y**2 + 4*y + 2. Is t(w) composite?
False
Suppose 3638 + 7507 = 3*i. Is i a composite number?
True
Let i = -3454 - -5813. Is i a composite number?
True
Suppose -q + 4*z = -0*z + 328, 2*z = 3*q + 944. Let x = 229 - q. Is x prime?
True
Let h(y) be the third derivative of -y**6/120 + 17*y**5/60 - y**4/6 + 19*y**3/6 + 17*y**2. Is h(9) a prime number?
True
Suppose -22*k = -39*k + 40613. Is k prime?
True
Let o(s) = -15*s + 14. Suppose 4 = -2*x - 4. Is o(x) a composite number?
True
Suppose 2*n + 0*n = 12702. Let s = -4446 + n. Suppose s = 8*b - 3*b. Is b a prime number?
False
Is (-19 - (-6 - 3))*(-2402)/4 a prime number?
False
Let l(v) = 17*v - 531. Let a(t) = -9*t + 265. Let c(w) = -11*a(w) - 6*l(w). Is c(0) a prime number?
True
Let c be (-5522)/(-6) - 2/6. Suppose 6*y + c = 8*y. Suppose -2*k = -y + 122. Is k prime?
False
Let a(f) = f**2 + 11*f + 33. Let n be a(-6). Is ((-36)/4)/n - -470 composite?
False
Let y be (-3)/(-21) - 18474/(-42). Suppose 4*r + y = 5*r - a, -a = -2*r + 883. Is r composite?
False
Let u(w) = -1830*w - 13. Is u(-2) a composite number?
True
Let y(c) = 849*c**2. Is y(1) a prime number?
False
Suppose -58*j - 16708 = -62*j. Is j a prime number?
True
Suppose -4*s + k + 11 = -s, 4*s - 16 = k. Suppose -712 = 2*w - 6*w + 5*v, -2*w = -s*v - 346. Is w a composite number?
True
Suppose 4*h - 12*f - 7363 = -7*f, 1857 = h + 2*f. Is h a composite number?
False
Let s(r) be the third derivative of 0 + 0*r + 6*r**2 + 1/120*r**6 + 1/10*r**5 + 1/6*r**3 - 1/24*r**4. Is s(4) composite?
False
Let q(y) = 17*y + 2351. Is q(0) a composite number?
False
Is (1 + 15/10 + -2)*62278 prime?
True
Suppose 381 + 480 = -3*a. Let g = 1056 - a. Is g a composite number?
True
Let x(s) = 356*s - 23. Suppose 0 = q + 5*n + 20, -3*n - 20 = -4*q + 3*q. Is x(q) composite?
True
Let p be (-163)/(-2)*3*(-16)/6. Let d = 1157 + p. Is d prime?
False
Is 3116 - 1 - 3*2 prime?
True
Let t = -12 - -9. Let k be 3 - (-4 - t) - 1. Suppose k*u - 7*u + 1028 = 0. Is u prime?
True
Let t be -1 - (1 - 2) - -1. Let f(h) = 269 - 8*h - 268 + 54*h. Is f(t) prime?
True
Let s be (6 + -14 - -14)*(-1)/(-2). Suppose -4*y - 3*x + 448 = 0, 0 = -s*x + 8*x + 20. Is y composite?
True
Let l = 3280 + -7113. Let s = -2676 - l. Is s a prime number?
False
Let g be ((-3)/(-9))/((-2)/(-18)). Let m(r) = 5*r**2 + 1. Let q be m(-1). Is (5 + -2)*q/g a composite number?
True
Let o(t) be the first derivative of 19*t**3/2 + 3*t**2 + 2*t - 2. Let j(x) be the first derivative of o(x). Is j(5) a composite number?
True
Is (263/3)/((-2780)/348 + 8) a composite number?
True
Let x be 2 - 0*(-1)/(-2). Let u be x/9 + 30342/27. Suppose 3*b - 15 = 0, u = 2*j + 2*b - 0*b. Is j composite?
False
Let c(s) = s + 13. Let r be c(-13). Suppose 3*t - 2738 - 1345 = r. Is t composite?
False
Let o = 1382 - -16169. Is o composite?
False
Let i = -4793 + 10002. Is i composite?
False
Let m = -148 + 1410. Is m a composite number?
True
Suppose 0 = -2*t + 4*i + 3620, 3*i - 7214 = -4*t - 2*i. Let f = t + -1265. Is f a prime number?
True
Suppose -5*u + h = 6*h + 985, -5 = h. Suppose -3*l + 7*l = 0, -5*l - 625 = 5*w. Let n = w - u. Is n a prime number?
True
Is (-1)/(((-30)/8705)/6) composite?
False
Let t(h) = 6653*h + 108. Is t(7) a prime number?
True
Suppose -2*c + 19 = -1. Let h = 24 + c. Is h prime?
False
Suppose 5*p + 5*o = 7510, -4*o = -4*p + 7*p - 4507. Is p prime?
False
Suppose 0 = 2*n - 0*n. Suppose n = -7*f + 4*f - 42. Let y(c) = -c**3 - 12*c**2 + 11*c - 5. Is y(f) a prime number?
True
Let k(v) = 77*v**2 - 2*v - 51. Is k(-10) a prime number?
True
Let t = -574 + 277. Let p = 550 + t. Is p a composite number?
True
Let c be (-21)/(3/(-9) + 4/(-6)). Suppose -1257 = c*s - 24*s. Is s a prime number?
True
Let q(y) = -y**3 - 3*y**2 + 9*y + 18. Let b be q(-4). Is (537 - b) + -1 - (11 - 10) a composite number?
True
Let j = -28 - -33. Let c = -1192 - -3532. Suppose -o + c = 5*z, -j*z + 2370 = -0*z - 5*o. Is z a composite number?
True
Let r(v) = -v**2 - v + 1144. Let k be r(0). Suppose 0 = -p + 3059 - k. Is p prime?
False
Suppose -w - 2 = 4*w - 4*l, 4*l - 4 = 4*w. Suppose -6*o + 1826 - 518 = 0. Suppose 10 = -5*f, w*h - 4*f = 4*h - o. Is h a prime number?
True
Let l = 19 + -16. Suppose 3*t = 2*t + l. Is 119 + 3 + t + -2 composite?
True
Suppose 13*l - 15*l + 8974 = 2*t, 3*l - 13461 = 4*t. Is l a prime number?
False
Let i(x) = 10*x**2 - 2 + 77*x**2 + 6*x - 11*x**2 + 25*x**2. Is i(-3) composite?
True
Let d = -10 - -12. Suppose 3*m = -d*m. Suppose m = 4*i + 5*r - 1340, -4*i - r = -3*i - 335. Is i prime?
False
Let k = -9 + 11. Suppose -3*c - 3*z + 1502 = k*z, 5*c - 2491 = 4*z. Is c a composite number?
False
Let x(z) = z**2 - 3*z. Let y be x(2). Let m be y*(-1)/(4/628). Is m*1/(-8)*-4 a prime number?
True
Let t = 28158 - -3521. Is t a composite number?
True
Let n = -2282 + 1600. Is -17 - -17 - (n + -1) prime?
True
Let c(i) = 10*i**2 - 8*i - 41. Is c(21) prime?
True
Suppose -49*k + 33*k + 150608 = 0. Is k prime?
True
Suppose -103*o + 134*o - 112499 = 0. Is o a composite number?
True
Let q = -14 + 309. Is q composite?
True
Let t be -1*(1 + 0) - -1. Let c(b) = b**3 + b + 2. Let m be c(t). Suppose 3*v = -m*v + 1685. Is v a composite number?
False
Let p be (-690)/21 - 2/14. Let a = -31 - p. Suppose -15 = 7*u - 2*u, a*l - 2*u - 800 = 0. Is l a composite number?
False
Suppose 1 = 5*j + 5*f + 6, 4*f = 4. Let c(p) = -p**3 - 3*p**2 - 2*p. Let s be c(j). Suppose s*z = z - 77. Is z a composite number?
True
Suppose -3*m + 2*m = -3, 3*w = -5*m + 18. Suppose 5*b - 6 = -w. Is (4 - b) + (4 - -15) a composite number?
True
Suppose -569 = -x + 8250. Is x composite?
False
Suppose l + l - 22 = 0. Suppose -3*u + 0*u = -2*n + l, -2*n - u + 7 = 0. Suppose 0 = 3*m - 3*j - 249 - 219, n*j - 632 = -4*m. Is m a prime number?
True
Is ((-50636)/(-14))/(50/175) prime?
True
Let p(v) = 352*v - 1. Is p(5) prime?
True
Suppose -2144 = -5*l - 529. Suppose 8*t + l - 5787 = 0. Is t composite?
False
Let b(c) = -32*c**3 - 2*c**2 - 13*c - 64. Is b(-11) prime?
False
Let i = -763 - -2466. Suppose 5*g - 3595 = m, 2*m - i = -3*g + 454. Is g a prime number?
True
Let h(v) be the first derivative of -2*v + 16/3*v**3 + 0*v**2 + 3. Is h(-3) composite?
True
Let a be -2 - (-1 - (-6 + 2)). Is 78 - (2/2 - 0/a) prime?
False
Is 3 - (28/7)/((-2)/18923) a composite number?
True
Suppose 493754 = 63*x - 5*x. Is x prime?
True
Let f(o) = 208*o - 95. Let g(c) = -c - 6. Let p be g(-13). Is f(p) a composite number?
False
Let q = -205 + 392. Is q composite?
True
Let c = -17 - 259. Let b(k) = 97*k - 55. Let y be b(6). Let g = c + y. Is g a prime number?
True
Let w(h) = 24*h**2 - 34*h - 1. Is w(10) composite?
True
Let v = 20 - 22. Let f be (v - 5/4)*-4. Suppose -f*m