?
True
Suppose 0 = 4*j + 2*s - 12988, 6494 = 4*j - 2*j - 4*s. Let q = -2210 + j. Is q composite?
True
Let z = 27865 - 16307. Is z composite?
True
Let s = -56 - -62. Suppose 7*z = s*z + 2. Suppose z*o + 20 = 130. Is o a composite number?
True
Is 189076/(-2)*(-1 + (-5)/(-10)) composite?
False
Let o(m) = 36*m**3 - 10*m**2 + 27*m - 7. Let k be o(4). Let c be (-1)/(-2)*2*-1. Is (c + -1 + 0)*k/(-10) a composite number?
False
Suppose 0 = 5*p - 3*r - 188917, -7*r = p - 5*r - 37773. Is p a composite number?
False
Let q = -3 - -8. Let p(c) = -c**2 - c + 1. Let h(b) = 11*b**2 + 16*b - 16. Let l(z) = h(z) + 4*p(z). Is l(q) prime?
True
Suppose -17*p + 2843453 + 3516876 = 0. Is p prime?
True
Let g(z) = 205*z - 94. Let b(u) = 102*u - 47. Let s(m) = 5*b(m) - 2*g(m). Is s(9) a prime number?
True
Suppose -14*h = -5*h + 9. Is h*3011/(7 + -8) a composite number?
False
Suppose 2*s + 529662 = 4*t, 0 = 13*t - 16*t - 4*s + 397219. Is t prime?
False
Suppose 446665 = 48*v - 430151. Is v a composite number?
True
Suppose -49*i + 10083985 = 10*i. Is i composite?
True
Suppose -4*x = 2*n - 32, -2*x + 22 = -n - n. Let o be (-986)/(-8) + (-30)/(-40). Let b = o - x. Is b composite?
True
Let d be 2/(-8) + (-17082)/(-72). Suppose -b = -6160 + d. Is b a composite number?
False
Let w be (-74)/10 + 2/5. Let z be (-8)/14*(-1 + (-50)/20). Is z/(-14) + (-1044)/w prime?
True
Let o(a) = 17*a**2 - 97*a - 1501. Is o(-22) a composite number?
False
Let r = -14 + 25. Suppose 0 = 5*j + 3*u - 7*u, -3*u + r = -j. Suppose 295 + 157 = j*t. Is t a prime number?
True
Let p be 2 + (-39)/18 - 14098/12. Let t = p + 2682. Is t a composite number?
True
Let j(p) = 7375*p**2 + 123*p - 1141. Is j(10) prime?
False
Let l be 1 - 4 - (-4 + (-451)/1). Suppose 2*n - 2634 = l. Is n composite?
False
Let o(m) = 7*m**2 - 17*m - 17. Let q(r) be the first derivative of -7*r**3 + 25*r**2 + 52*r - 7. Let u(s) = -8*o(s) - 3*q(s). Is u(-9) a composite number?
False
Suppose -12*q - 24048 = -21*q. Let l = q + -865. Is l prime?
False
Let l(u) be the third derivative of -u**6/120 + 3*u**5/4 + 13*u**4/12 - 73*u**3/6 + 5*u**2 + u. Is l(27) prime?
True
Let t(o) = 32*o**2 - 24*o - 46. Let g be t(-2). Let r(l) = -l**3 + 4*l**2 - 3*l + 1. Let q be r(5). Is (g/q)/((-2)/21) prime?
False
Suppose 131*f = 132*f - 14281. Is f a composite number?
False
Let f(l) = 2762*l**3 - 3*l**2 + 19*l - 35. Is f(2) composite?
True
Let i(t) = 399*t**2 + 3*t + 4. Let y be i(-5). Let c = 5629 - 12652. Let x = y + c. Is x a prime number?
False
Let c(s) = s**2 + 9*s - 16. Let a be c(-10). Let j(f) = -f**2 - 7*f + 2. Let n be j(a). Suppose -4*x = d - 950, 2*x + n*d = 3*d + 484. Is x a prime number?
False
Let j(d) = 152593*d**2 - 7*d + 5. Is j(-2) prime?
True
Let y(g) = -7750*g + 2929. Is y(-27) composite?
True
Let m be -5 + -1 - (-5 + (-10)/(-5)). Is 2613 - 4*(m - -4) prime?
True
Let q(a) = -a**2 - 6*a + 46133. Is q(0) composite?
False
Suppose 0 = -r + 4, 0 = -5*u - 0*r - 2*r + 3. Is (8/16*u)/((-1)/4822) a prime number?
True
Let w = 61470 + -7787. Is w prime?
False
Let i = -848 - -860. Suppose -r = -5*o - 3*r + 4501, 4*r - i = 0. Is o composite?
True
Let a be (-4)/(-16)*-10*-4*3. Is (4 - 1962/a)*-5 prime?
True
Is (2 + 12092)*-13*(10 + (-189)/18) composite?
True
Let a be 4184/(-13) + 12/(-78). Let h be (-5)/(-5) + -2 + a. Is (6 + -2 - h) + 4 composite?
False
Suppose 33*k + 8*k - 67*k + 28835378 = 0. Is k a composite number?
True
Let z(o) = -9400*o - 25. Let x be z(-6). Suppose -x - 36047 = -11*p. Is p a prime number?
False
Let s(g) be the third derivative of -g**6/360 + 17*g**5/30 + g**4/3 - g**3/3 - g**2 + 8. Let o(v) be the second derivative of s(v). Is o(17) prime?
False
Suppose 5*y = -4*y + 45. Suppose -y*h = -2*g - h + 1858, 3*g = -3*h + 2751. Is g prime?
False
Let j = 19 - 14. Suppose 3*f + j = -2*f, 2*u + 5*f = 3675. Suppose 2*c - 1841 = -3*o, -2*c = 3*o - o - u. Is c a composite number?
False
Suppose -5*q = -q + 2796. Suppose 14156 = 20*z + 23676. Let d = z - q. Is d prime?
True
Let x = 729530 + -412516. Is x prime?
False
Let r = 69270 - -71431. Suppose -280*p = -269*p - r. Is p a composite number?
False
Suppose -5*r = -0*r, -15 = -f + 4*r. Is ((-3)/2)/(f/(-18010)) a composite number?
False
Let s = 107734 + -22055. Suppose r - s = 5328. Is r composite?
True
Let y = -44039 + 64192. Is y a prime number?
False
Suppose 7*u - 4*k = 2*u + 83, 4*k = 4*u - 68. Suppose -16*l + 3 = -u*l. Is (632 - -4)/3 - l a composite number?
True
Is (-8459 - -2)/(2*(-8)/16) a composite number?
True
Suppose -3*k - 5*h + 457664 = 0, 4461*k + 3*h + 457704 = 4464*k. Is k a composite number?
False
Let g(k) = 13 - k + 3 + 10 - 15. Let q be g(11). Suppose -l + 4*s + 12913 = q, 3*s + 38335 = 3*l - 440. Is l prime?
False
Let c(h) be the third derivative of -h**4/12 + 175*h**3/6 + 84*h**2. Is c(-12) a composite number?
False
Let n = 261 - 478. Let x = n + 380. Suppose -18*i + 19*i = x. Is i prime?
True
Let j(s) = -2585*s - 1180. Is j(-19) a composite number?
True
Suppose 231*k + 231*k + 101962 = 476*k. Is k a prime number?
True
Let s(t) = t**3 - 9*t**2 + 9*t - 1. Let b be s(8). Suppose b*n - 25 = 2*n. Suppose 3*q = 5*l + 1229, 421 = n*q - 4*q + 4*l. Is q a composite number?
True
Suppose -26*x = -35*x - 106470. Let g = x + 18729. Is g prime?
True
Suppose 11*r - 875 = -853. Suppose 2*v = -2*o + 8 - 0, 5*o = 3*v + 20. Suppose 0*d = -4*k - o*d + 1192, k = r*d + 289. Is k prime?
False
Let j(v) = -8*v + 74. Let s(k) = -k + 1. Let c(g) = j(g) - 12*s(g). Let z be c(-21). Is (z - (-3)/1)/((-3)/123) composite?
True
Suppose -18*g + 19*g + 307972 = 3*s, 5*s + 4*g = 513315. Is s a composite number?
True
Suppose 20 = p + 5*z, -z + 20 = 2*p - 2. Is (30695/p)/(-1 - (-12)/8) a composite number?
True
Let t = 15704 + -25171. Let l = t + 14936. Is l prime?
False
Suppose 0*s + 4*y - 246 = -s, -s - 2*y + 256 = 0. Let x be 3 - (0 + 24/6). Let o = s - x. Is o a composite number?
True
Let m(c) = 6297*c**3 + 3*c**2 - 5*c - 1. Is m(2) a composite number?
False
Let l(r) = 72*r + 11. Let u be l(8). Suppose -571 = -3*j - 2*o, 0*j - 3*j + 2*o = -u. Suppose -4*d + 1131 = -j. Is d a composite number?
False
Let p(m) = -2*m + 21. Let h(g) = -2*g + 22. Let d(o) = 3*h(o) - 2*p(o). Let y be d(11). Suppose -y*a = -925 - 189. Is a a composite number?
False
Suppose 5*d - d = 0. Let r be (d - 5)*(-1 - 0). Suppose -n = 5*g - 2174, -r*g + 6 + 9 = 0. Is n prime?
False
Suppose -11*x + 40 - 7 = 0. Suppose 4*f + 5*c = 437, -2*f - x*c = -200 - 17. Is f a composite number?
False
Let q(o) be the second derivative of 181*o**5/20 + o**4/6 - 5*o**3/6 + 15*o**2/2 - 91*o. Is q(4) a composite number?
True
Suppose -q - 256860 - 37880 = -5*q. Is q prime?
False
Let l(p) = -568*p - 33. Let z(a) = 189*a + 11. Let k(o) = -3*l(o) - 8*z(o). Is k(6) composite?
False
Let d be (1/(-3)*0)/(-1). Suppose 0 = -d*t + 5*t - 14725. Let v = t + -1732. Is v prime?
True
Suppose 181*u - 186*u + 25 = 0, t + 3*u - 227314 = 0. Is t prime?
True
Suppose 13365 = 2*j - 3*y, 0 = -j + y + 3626 + 3055. Let l = j + 961. Is l a prime number?
True
Suppose 4 - 7 = -x, 5*x = -4*l + 24999. Suppose -l = -c + 2495. Is c composite?
False
Suppose 5*x + 3*n - 100094 = 0, 6*x - 10*x + 80056 = -4*n. Is x composite?
True
Let x be (-11)/2*2*1. Let o(c) = -32*c + 1 - 29*c - 14*c - 19. Is o(x) composite?
True
Let a = 304421 + -181338. Is a a composite number?
False
Let s = -91 - -96. Suppose 2*p - 4*y = -6*y + 4160, 0 = 5*p - s*y - 10440. Suppose -5*l - p = -8169. Is l a composite number?
False
Let z(q) = 1833*q**3 + 5*q**2 - 11*q + 75. Is z(8) a prime number?
True
Let b be (-3)/7 + -2*(-6)/(-21). Let f be b*2/4*0. Suppose -2*o + 5*p + 1727 = f, 4*o - 3490 = -3*p + p. Is o a prime number?
False
Suppose 10*r - 1031775 = 385425. Is (-17)/((-102)/r) - 1 a prime number?
False
Let i(n) be the first derivative of 47*n**4/24 + 4*n**3/3 - 19*n**2/2 + 7. Let u(c) be the second derivative of i(c). Is u(7) a composite number?
False
Suppose -17*s - 806338 = -2606349. Is s composite?
False
Suppose -z + 6 = 4*g + z, 0 = -g - z + 3. Is -5 - -243 - (5 - g) composite?
False
Is 3/8*8 + 1 + 2022645 prime?
True
Let b = 214499 + -80667. Is -1*3*b/(-24) a prime number?
True
Let z(j) be the first derivative of 5*j**3 - 2*j - 1. Let k(g) = 19*g + 142. Let d be k(-7). Is z(d) composite?
False
Suppose 0 = 2*a