k - 1 - k**2. Is h(-3) prime?
True
Let k(w) = 23*w + 124. Is k(9) a composite number?
False
Is (1 - 3)*(-6 + 27445/(-10)) prime?
True
Suppose -31 - 74 = -3*a. Is 12/(-20) - (-46536)/a a prime number?
False
Is (-6)/7 + (10 - (-636408)/28) a composite number?
True
Suppose -3*m = -d + 14, 2*m + 4 = 4*m + 2*d. Let c(s) = 19*s + 3. Let b be c(-3). Let i = m - b. Is i prime?
False
Let q be ((-3)/2)/((-15)/90). Is 94*(q/6 + 0) composite?
True
Suppose 0 + 18 = -2*u. Let d be (24/(-10))/(u/60). Is 1068/d - 1/(-4) composite?
False
Suppose 0 = -2*g - 7 - 21. Let a be (0 + -4)/(-1*1). Is a/(-6)*1365/g a prime number?
False
Let i = -20 - -12. Let h(f) = -f**3 - 6*f**2 + 11*f - 6. Is h(i) composite?
True
Is -2852*45/(-18) + -7 prime?
False
Let x be 0 - (-2 + (-4)/(-2)) - 0. Suppose 9*p - 577 - 728 = x. Is p a prime number?
False
Let i = -38 + 39. Is 2/(-1)*((-5692)/8)/i prime?
True
Let r(l) be the first derivative of 5*l**2 - 2 + 3*l + 2*l**2 + 0*l + 2*l. Is r(6) a prime number?
True
Suppose 0 = 9*l - 203392 - 50129. Is l a composite number?
True
Suppose -2*i + 15766 = n - 1203, 2*n + 3*i = 33940. Is n prime?
False
Is 6 - (-1 - 3 - 6793) a composite number?
False
Suppose -f + 752 + 266 = -5*m, -m - 208 = 2*f. Let n = m + 351. Let h = 64 + n. Is h prime?
True
Let a(b) = -11*b**3 - 23*b**2 - 4*b - 2. Let u(i) = -4*i**3 - 8*i**2 - i - 1. Let h(x) = 3*a(x) - 8*u(x). Is h(-5) composite?
True
Suppose 0*c = -5*c + h + 244, 0 = -5*c + 4*h + 241. Suppose 0 = -3*o + c + 992. Is o a composite number?
False
Let o(a) be the first derivative of 4*a**3/3 - 6*a**2 + 30*a + 14. Is o(7) a composite number?
True
Let q(a) = -2*a - 7. Let d be q(-6). Let h = 186 - 29. Suppose 42 = -d*g + h. Is g a composite number?
False
Suppose 3*s - 2*s - 2*f = 13, 15 = -5*f. Suppose -s*h - h + 24 = 0. Is 357/6 - h/6 a composite number?
False
Suppose -5*r = -r - 12. Suppose 5*a + r*a = 1416. Is a prime?
False
Is -4*(-35605)/(-60)*-3 prime?
True
Let a = 13 + -10. Let o be a - (-6 + 4 - -5). Suppose o = -5*q - 3*d + 1440, d + 782 = 4*q - 387. Is q composite?
True
Suppose 66522 - 3798 = 12*z. Is z a prime number?
True
Let j = 16 + 403. Is j a composite number?
False
Is -34*(-5)/15*696/16 prime?
False
Let i(v) = 87*v**2 + 32*v + 236. Is i(19) a composite number?
False
Let h(n) = 25*n**3 + 15*n**2 + 3*n - 12. Is h(5) a composite number?
True
Let p be (8/(-8))/((-2)/(-80)). Let i be 16/p - 32/(-5). Suppose -i = -4*w + 226. Is w composite?
True
Suppose 0*v + 18073 = 11*v. Is v prime?
False
Let s(x) = x - 8. Let a be s(8). Suppose -164 = -3*u + 2*k - k, -5*u - 3*k + 278 = a. Is u a composite number?
True
Let c be 34 + (-3 + 4)*-4. Suppose 0*m + m - 32 = 0. Suppose m*x - c*x = 1358. Is x a prime number?
False
Suppose 3*b + 17 = -2*p, -2*b - 2*p + 0 = 14. Is 1145 - (1 + (b - 2))*1 a prime number?
False
Suppose 4*s = -5*j - 31, 9*s - 3*j + 11 = 4*s. Let q = 6 + s. Suppose 3*n - 7 = q*n. Is n prime?
True
Suppose 3 - 18 = 3*s - 3*i, -2*i + 10 = 3*s. Suppose 15*z - 19*z + 2804 = s. Is z a composite number?
False
Suppose 6*p - 28243 - 41 = 0. Suppose -a + 5 = 4*a, a = 5*k - p. Is k a composite number?
True
Suppose 28 = -3*p - 4*n, -6*n + 2*n = 2*p + 24. Is 2397 + -4*p/(-9 - -1) prime?
False
Suppose 5*j - 3*j = 8. Suppose -2*u = -3*i - 65 - 145, 404 = j*u - 2*i. Is ((-15)/9)/((-3)/u) prime?
False
Suppose 0 = 2*b - 3*h - 13, 4*b + 3*h = -2 + 1. Let o be b/8 - 559/(-4). Suppose 4*r = 432 + o. Is r composite?
True
Suppose -3*t + y + 6 = 4*y, 0 = 3*t - 5*y + 26. Let o(c) = -829*c + 11. Is o(t) prime?
True
Suppose -g + 7465 = 2*g + 4*c, 0 = -3*g + 4*c + 7433. Is g composite?
True
Let t = 79 + 2554. Is t prime?
True
Let n = 169 + 2222. Suppose 0 = -3*o - 4*w + n, 2301 = 4*o + 3*w - 887. Is o a composite number?
False
Let n(c) = -c**3 + 6*c**2 + c + 242. Let z(s) = s**3 - 7*s**2 - s - 241. Let v = 11 - 5. Let j(d) = v*n(d) + 5*z(d). Is j(0) prime?
False
Suppose 7*m - 864178 = -27*m. Is m a prime number?
False
Let j be (14298/9)/((-11)/((-2145)/10)). Suppose -15*b + j + 16286 = 0. Is b prime?
False
Let u be 1 - 1 - 0 - 3. Is 175 - (u + 1 + -2) a prime number?
True
Let g(i) = -i**2 + 4*i + 47. Let d be g(9). Suppose -d*a - 393 + 3703 = 0. Is a prime?
False
Suppose 5*w - n = 24, -2*n + 6 = 4. Suppose 2579 = -4*s + w*s. Is s a composite number?
False
Suppose 0 = 12*s - 0 - 0. Suppose 3*y + 4*x - 1386 + 113 = s, -3*y + 1237 = -5*x. Is y a prime number?
True
Let u = -4 + 7. Suppose -u = -f - 0. Suppose f*p + p = -2*c + 754, -2*p - 4*c = -362. Is p a prime number?
True
Let x(w) = 5*w**2 - 17*w + 20. Let b be x(14). Suppose 2*p + p = b. Is p composite?
True
Let g(o) = -o + 2. Let l(u) = u**2 + 16*u + 19. Let j be l(-15). Let d be g(j). Is d*4/16*-74 composite?
False
Is ((-4506)/(-21))/(68/238) a prime number?
True
Let x be -4 - (-2 + 2/(-1)). Suppose 1101 + 3303 = 4*j + u, -5*j + u + 5505 = x. Is j a prime number?
False
Suppose n - 4*n + 231 = -l, 3*l = 5*n - 385. Suppose -i = -2, -106 = -g + 4*i + n. Is g prime?
True
Let m(c) = 58*c + 22. Let d(h) = h**3 + 13*h**2 + 12*h + 10. Let o be d(-12). Let a be m(o). Suppose 6*p - 904 - a = 0. Is p a composite number?
False
Suppose 3*i + o + 14 = 0, o - 15 - 6 = 4*i. Let t(j) = -j - 3. Let a be t(i). Is (133 - a) + (-3 - -5) a prime number?
False
Let x(f) = 32*f + 56857. Is x(0) a prime number?
True
Is ((-4)/(-6))/(8 + 575792/(-71976)) prime?
True
Let m(g) be the third derivative of g**6/120 + 13*g**5/60 - g**4/12 - 2*g**3 + 9*g**2. Is m(-13) prime?
False
Let s(q) = -239 + 51*q + 216 + 4*q + 55*q. Is s(11) composite?
False
Suppose -11*h - 17 = 82. Is 2/(-6) + 1 - 327/h a composite number?
False
Let l(q) = 20*q + 5*q - 6 + 69*q + 17. Is l(14) prime?
True
Suppose 3*l - 5*r - 1885 + 335 = 0, 3*r + 518 = l. Let h = -477 + 479. Suppose h*n - 3*n + l = 0. Is n a prime number?
False
Let a be ((-24)/(-18))/(-2)*(-489)/2. Let h = a - 20. Is h a composite number?
True
Suppose s = -10*s + 28963. Is s composite?
False
Let t(k) = -2*k**3 + 6*k**2 + 3*k + 5. Let m = 50 + -56. Is t(m) prime?
False
Let r(o) = -4*o**2 - 7*o - 5 + 2*o**2 + 4*o**2. Let i be r(-4). Suppose -55 - i = -2*b. Is b a composite number?
True
Let n = 7 - 2. Suppose -n*m + 8 = -m. Suppose 0 = -m*r + 12 + 10. Is r a prime number?
True
Suppose 14272*u - 14270*u = 17614. Is u prime?
True
Suppose 3*m - 6 - 3 = 0. Let z be (-6 - -5)/(-2 + 12/8). Suppose -m*o + z*o = -293. Is o prime?
True
Let n = -449 - -2734. Is n a prime number?
False
Let u(l) = -3*l - 2276. Let v(q) = -2*q - 1517. Let m(h) = -5*u(h) + 7*v(h). Is m(0) composite?
False
Let x be 4/6 + 7/21. Is 82 + -2 + x + 2 a composite number?
False
Suppose 4*k - 445 = -r, -5*k + 461 = -4*r - 111. Suppose 0 = -4*f + 4*d + 208 + k, d - 382 = -5*f. Is f composite?
True
Let v(u) be the second derivative of -2*u**5/5 - u**4/4 - 2*u**3/3 - u**2 + 12*u. Let h(k) = k + 2. Let b be h(-5). Is v(b) prime?
True
Let j(p) = -2481*p + 83. Is j(-6) a composite number?
False
Suppose 0 = 5*f + 2*w - 28889, -4*f + 6*w = 11*w - 23101. Is f a composite number?
False
Let g = 3524 - -1947. Is g a composite number?
False
Let z(k) be the third derivative of k**4/12 - k**3/6 + 3*k**2. Let s be z(3). Suppose -r = s*c - 326, 5*r + 3*c - 659 = 3*r. Is r a prime number?
True
Suppose 40*o - 2749432 = -16*o. Is o a prime number?
False
Suppose 2*k - 3825 = -k. Let x = k - 124. Is x a composite number?
False
Let s be (-2)/((-4)/10 - (-5256)/13190). Suppose -3*h - f + s = 0, f - 441 = 3*h - 4*h. Is h a composite number?
False
Let j(a) = -36*a - 6 + 3 + 2 - 4. Suppose 4*f + 6 = -2*o, -o - 9 = -0*o - f. Is j(o) prime?
False
Is (4579/(-3))/((-4)/12) a composite number?
True
Let u = -24 - -16. Let c(l) = l**2 + 9*l - 5. Let t be c(u). Let p = t + 28. Is p composite?
True
Let a(w) = -2*w**3 - 70*w**2 - 62*w - 77. Is a(-39) composite?
True
Let i(g) be the third derivative of g**7/360 + g**6/90 + g**5/60 + 5*g**4/12 + 2*g**2. Let m(t) be the second derivative of i(t). Is m(9) a composite number?
False
Let o be (-3)/(-2)*36020/15. Let t = o - 2451. Is t composite?
False
Suppose 0 = -b - 330 - 732. Let w = b - -1849. Is w prime?
True
Suppose -5585 = -66*g + 61*g. Is g composite?
False
Let a(y) = y**3 + 20*y**2 - 22*y - 19. Let j be a(-21). Suppose 2*r = 3*u + 4*r - 6963, 0 = -j*r. Is u a prime number?
False
Let i(w)