
Let h(w) = 4691*w - 260. Is h(11) a composite number?
False
Suppose 12 = -0*w - w. Let i be w/(-4)*(-1 + 2). Suppose i*l = -l + 5*o + 4590, -4588 = -4*l + 4*o. Is l a composite number?
True
Suppose -22*k = 35*k + 72*k - 68057949. Is k prime?
True
Suppose -283*p + 368*p - 5328055 = 0. Is p composite?
False
Let v(l) = -20*l + 165. Let n be v(8). Is (5 - 192/40) + 2344/n prime?
False
Let q = -193 - -197. Suppose t + 0 = q, -3*t = 4*m - 720. Is m composite?
True
Let s(n) = 3*n**3 - 8 + 2*n**3 + 13 + 35*n**2 - 56*n - 6*n**3. Is s(26) composite?
True
Suppose -17*u - 2*f - 613421 = -18*u, 5*f = -4*u + 2453684. Is u prime?
True
Let d = -10 + 17. Let y(r) = 12*r**3 + 5*r**2 - 11*r - 21. Let j(h) = -16*h**3 - 6*h**2 + 13*h + 23. Let m(t) = -4*j(t) - 5*y(t). Is m(d) a prime number?
False
Suppose 5*w + 4*c = 18 + 22, 4*w - 26 = -2*c. Suppose -w*z = 3*b - 5242 - 498, 4*z - 5*b = 5772. Is z a composite number?
True
Is (-126)/105*20 + 568445 a composite number?
True
Suppose 0 = -c - 0*s + 2*s - 1011, 0 = 2*c - 3*s + 2025. Let y(h) = 1691*h**2 - 2*h + 1. Let d be y(1). Let q = c + d. Is q a composite number?
False
Let m(d) = -314*d**2 - 2*d. Let l be m(-1). Let q be -6 - l/54 - (-14)/(-18). Is q + 5148 - (3 + -3) composite?
False
Suppose 26*a - 10*a = 80. Suppose -3*p - 22696 = -4*k + 2*p, a*p - 28325 = -5*k. Is k a composite number?
False
Suppose 377840 + 435271 = 39*p. Is p prime?
True
Let i(l) = -l**3 + 16*l**2 - 58*l - 20. Let g be i(10). Suppose -2*z + 2134 + 1040 = 2*f, g = -3*f - 4*z + 4765. Is f a composite number?
False
Let o(p) be the first derivative of 9*p**4/4 - 4*p**3 - 44*p + 92. Is o(11) a composite number?
True
Let f(y) be the first derivative of 3*y**3 + 71*y**2/2 - 37*y + 97. Is f(31) a prime number?
False
Let f(x) = 17169*x + 248. Is f(15) prime?
True
Let l = -391 - -388. Is l/(2/(21858/(-9))) a prime number?
True
Suppose -68 = 4*a - 4*b - 12, -a = -4*b + 5. Let g = a + 21. Suppose 3759 = 3*s + 4*f, 0*s + g*f = 2*s - 2506. Is s a composite number?
True
Let u(w) = w**3 + 4*w**2 - 10*w - 36. Let b be u(-5). Let r(f) = 0 + 30*f**2 + 8 + 6 - 13*f. Is r(b) composite?
True
Let t(d) = -5525*d + 383. Is t(-12) composite?
False
Let s(h) = -h**3 + 3*h**2 - h - 1. Let c = -5 + 7. Let o be s(c). Let z(n) = 1566*n + 1. Is z(o) prime?
True
Let h(z) = -38*z**3 + 4*z**2 + 3*z - 14. Let t be h(-10). Suppose -14*g = -18*g + t. Is g composite?
True
Suppose -11691505 = 70*u - 105*u. Is u prime?
True
Let a(h) = h**3 + 28*h**2 - 12*h + 35. Let k be a(-25). Let j = k + -1521. Is j a prime number?
False
Let f = -49 - -30. Let a(h) = h**3 + 22*h**2 + 13*h - 6. Let i be a(f). Suppose -8*c + i = -3*c. Is c a prime number?
False
Suppose 34*p = 89*p + 140*p - 1229605455. Is p prime?
True
Suppose 0 = -3*r - 3*z + 1811968 + 325988, r - 712650 = z. Is r a composite number?
False
Suppose 3*k - 2*y = 2*y + 38449, 3*y = -5*k + 64130. Suppose 0 = 5*r - 457 - k. Let l = r + -1295. Is l a composite number?
False
Let f(h) = h**3 + 9*h**2 - h - 1. Let z be f(-9). Suppose -5*w = -z*w + 4701. Suppose c = -p - 0*c + 520, 4*c + w = 3*p. Is p prime?
True
Let p = 4 + -1. Suppose 0 = -3*l + p*l - 4*l. Suppose 2*m - t + 1844 - 7989 = l, 0 = -m + 2*t + 3077. Is m composite?
True
Let w(s) = 20*s**3 - 7*s**2 + 30. Let n = -337 - -344. Is w(n) a prime number?
True
Suppose 5*d = 4*l - 46066, -35*d + 34549 = 3*l - 39*d. Is l a prime number?
True
Let l(q) = -1286*q**3 - q**2 - 5*q - 26. Let i be l(-4). Let v = i - 58751. Is v prime?
True
Let i be (-32)/(-17) + (-34)/(-289). Let v(y) = 86*y**3 - y**2 + 2*y + 9. Is v(i) a composite number?
True
Let v = -334 + 1065. Suppose -v = -2*t - 153. Suppose -4*s = -1565 + t. Is s a prime number?
False
Let z = 216 + -204. Is ((-6980)/z - -4)*-3 a prime number?
True
Suppose -11*i - 335466 = -1816451. Is i a composite number?
True
Let k(w) = 119704*w + 5079. Is k(16) prime?
True
Let w(b) = b**3 + 8*b**2 + 8*b + 8. Let t be w(-6). Let n = -548 - -546. Is (t - -51)/(n/(-2)) a prime number?
True
Let i(v) = -52*v - 5. Let s be 6/(-39) - ((-1420)/(-65) + -2). Let k be -2 + 7 + -4 + s. Is i(k) prime?
True
Let q(r) = -56*r + 1335. Is q(-44) a composite number?
True
Suppose w = -3*y + 3*w + 12, -4*w - 18 = -3*y. Suppose -3*z + 10051 = 4*m, 5 = y*m + 9. Is z a prime number?
False
Suppose 15*r + 10143 = -36942. Let f = r - -4745. Suppose -2*z - f = -4*a, -3*z = a - z - 409. Is a a composite number?
True
Let n = -4901 + 8049. Let g(k) = -k**2 + k + 3. Let d be g(0). Suppose -b + n = d*b. Is b prime?
True
Let s be (-4)/2*3/(-12)*26. Suppose 9*a + 30128 = s*a. Is (-1)/(4/(-6)) - a/(-8) a prime number?
False
Let v be -7 - 1*(8 - 3). Let l(c) = 126*c**2 - 30*c + 1. Is l(v) composite?
True
Let v be -8 - 13/((-130)/80). Let k(t) = t**3 - 5*t**2 + 2*t + 2459. Is k(v) a composite number?
False
Let t = -39 + 52. Suppose -t + 15 = c. Is 560/15 + -1*c/(-3) a composite number?
True
Suppose 4*z = k + 11, -3*z + 0*k + 11 = 2*k. Let o(f) = 335*f**3 + 2*f**2 - 5*f + 11. Is o(z) a composite number?
False
Let m be ((-2)/4)/(22/(-1892)). Let w = 46 - m. Suppose -w*i - 2*v = -85, v - 90 = -4*i + 3*v. Is i prime?
False
Let n = -318 + 321. Suppose 11069 = 2*h + 3*q, n*q - 927 = h - 6457. Is h a prime number?
False
Let h(z) be the third derivative of 203*z**6/120 - z**4/6 + z**3/2 + 26*z**2. Is h(2) a composite number?
False
Let v be (-3)/(-18) + (-25180)/24 + -8. Let u = 16472 + v. Is u prime?
False
Let t(r) = -106*r**2 + 4*r + 10*r - 5*r + 361*r**2 - 79. Is t(7) prime?
True
Let u = -5964 + 5821. Let s = -402 - -1662. Let x = u + s. Is x a prime number?
True
Let x be 24/3 - (-2 + 1). Let l be 14/504*9 - 526/(-8). Suppose x*t + l = 1407. Is t prime?
True
Let j = -90274 - -181221. Is j a composite number?
False
Suppose 0 = 5*u + 3*l - 1453, 4*u - 412 - 772 = 3*l. Is u prime?
True
Let h(j) = -91*j - 10. Let w = 52 - 56. Let v be h(w). Suppose v = 3*q + 5*b, -q + b = 4*q - 562. Is q a composite number?
False
Let t = -112787 - -579388. Is t a prime number?
False
Suppose 0 = -22*h - 2*h + 4614888. Is h a composite number?
True
Suppose -3*u = -8*u + 4*h + 178630, 4*u - 2*h - 142904 = 0. Is (7*(-6)/84)/((-1)/u) composite?
False
Let v(t) = 347666*t - 683. Is v(2) a composite number?
False
Suppose 0 = 4*g - 2*h - 22896, -4*g = 4*h - 1122 - 21762. Is g prime?
False
Let r = 121787 - 73514. Let n be 4*3/66 + r/33. Suppose 2*l - n = 375. Is l composite?
False
Suppose 0 = -5*d - 184 - 66. Let k be (5 + d/(-5))*(-2 + 1). Is (970/k)/(4/(-18)) a prime number?
False
Let y(f) be the third derivative of 0*f + 4/3*f**3 - 18*f**2 - 19/8*f**4 + 0. Is y(-9) a prime number?
True
Suppose -z = 2*r - 1, -3*r = 3*z - 3 - 3. Suppose -4*u - u = 10. Is (z/(-15)*743)/(u/10) prime?
True
Suppose -3*n - 5*k - 226 = -0*n, n = -5*k - 82. Let m = n + 76. Suppose -434 = -2*j + 4*f, 2*j + m*f - 3*f = 449. Is j composite?
False
Let c(i) = 5*i**2 + 20*i - 506. Is c(43) a composite number?
True
Suppose -46*i + 894645 - 272035 = 0. Is i a composite number?
True
Let u be 10 - 7*24/28. Suppose -u*b + 2691 = 5*d, 0*b = -b - 2*d + 675. Is b a prime number?
False
Let p(b) be the third derivative of b**6/360 - b**5/30 - 7*b**4/24 + 13*b**3/6 - 11*b**2. Let u(y) be the first derivative of p(y). Is u(10) prime?
True
Let u(m) = -m**3 - 28*m**2 - 11*m + 32. Let k be u(-25). Let i = 2775 + k. Is i a prime number?
False
Let u be (-9)/27 + (-20)/(-6). Let t(b) = 80*b**2 + 23*b - 2. Is t(u) composite?
False
Is 0 - 2/(((-20)/(-113983))/(-10)) prime?
True
Let d be (-7 - -7)/(-1 + 5). Suppose -12 = 10*a - 6*a, d = 4*t - a - 85871. Is t a composite number?
False
Let a(b) = 129*b - 1159. Let j be a(9). Suppose -3*z - 9 = -3*n, -6*z + 2*z = 3*n - 23. Suppose -6*o - 20 = -j*o, 5*y - 15355 = -z*o. Is y composite?
True
Let a(c) = -c**2 - 27*c + 52999. Is a(0) a composite number?
False
Suppose 3*v + 120395 - 399902 = 0. Is v a composite number?
False
Is 138566/(-14)*-13 + (-128)/(-224) composite?
False
Suppose 2*p + 4*r = 5*p - 9906, 5*r + 13207 = 4*p. Suppose p = 44*i - 42*i. Is i prime?
False
Suppose -2*k = -o - 3*k + 4128, 0 = -k. Let t = o - 2335. Is t prime?
False
Let q(l) = -4*l + 20. Let w be q(12). Let t be 16/56 - 8*6/w. Is 15378/22 - t*(-1)/(-1) a prime number?
False
Let o(g) = -g**3 + 9*g**2 - 7*g + 76. Let k be o(9). Let w(u) = u**2 + 20*u -