y(c). Let t be h(12). Is t/(-8)*(-87 + 1) a prime number?
True
Let t(w) = w**3 + 7*w**2 - w + 1. Let i be t(-7). Suppose 4*c - i*c + 84 = 0. Is c a composite number?
True
Suppose -4*j - b = -14168, -j - 2*j + 10649 = -5*b. Is j prime?
False
Let u be (-14)/(-3) - 2/3. Suppose 2*z + 18 = 4*z - 5*w, 4*w = -u*z + 8. Is z composite?
True
Is (-51)/((12/(-8))/1) a prime number?
False
Let j(a) = a**2 + 5*a - 3. Let l be -3*(-3 + 16/3). Is j(l) a composite number?
False
Let f be 0/(-1)*2/(-4). Let l = 149 + -2. Suppose 0 = 3*z - f*z - l. Is z a prime number?
False
Let n(m) = m**3 - 5*m**2 - 5*m. Let o be n(5). Let j be (-10)/o + (-44)/10. Is j/(-24) - 257/(-6) a composite number?
False
Let r = -667 - -1352. Is r prime?
False
Let a(j) = 43*j - 16. Is a(11) composite?
False
Let h be (-18)/(-4)*4/3. Let u = 19 - h. Is u a composite number?
False
Let k = 3 - 1. Let v = k - 7. Let c(l) = l**3 + 7*l**2 + 4*l - 5. Is c(v) a prime number?
False
Let g = 3517 - 1238. Is g prime?
False
Let g(b) = b + 77. Is g(0) a composite number?
True
Suppose -3 = -v - 2. Let p be (-11*(5 + v))/1. Let r = -29 - p. Is r a prime number?
True
Is 518 + 2 + (2 - 1) composite?
False
Suppose 5*i + 3*u = -10, 0 = -2*i + u + 11 - 4. Suppose -4*h + 12 = 2*s, -h - 11 = -s + i. Let w = s - -223. Is w prime?
True
Let s be 1/(-3*3/(-63)). Suppose s*i - 262 = 5*i. Is i composite?
False
Suppose 0 = -3*r - 15, 15 = 3*o + o - 3*r. Suppose 0 = -o*q - 5*q. Let l(k) = -k**2 - k + 49. Is l(q) a prime number?
False
Let o(t) = 2*t**3 - 1. Let c be (-4)/(-7)*(-35)/(-10). Is o(c) a composite number?
True
Suppose 52 + 48 = 5*a. Let u be 0 + 2 - (6 - 4). Suppose u = k - 15 - a. Is k a composite number?
True
Is -3 + ((-5608)/(-7 + 3) - 0) prime?
True
Suppose 5*v = 2*f - 36, -2*v - 15 = -3*f + 2*f. Let k(n) = 5*n**3 + 8*n - 3. Let o(t) = -9*t**3 - 15*t + 6. Let w(j) = v*o(j) - 11*k(j). Is w(-4) prime?
True
Suppose 2574 = 4*h - 3*h - r, -5*h + 12915 = 4*r. Is h a prime number?
True
Suppose -4*a = 4*q - 10052, 2*q = 2*a + 1799 + 3247. Is q a composite number?
True
Let i(n) = -68*n - 1. Suppose 6 = -2*t + 3*u - u, 2*u - 6 = -4*t. Suppose -2*j + 0 - 2 = t. Is i(j) composite?
False
Let d = -3 - 5. Let g be d/(-20) - (-13)/5. Suppose 2*w + 59 = g*w. Is w a prime number?
True
Let z be 529*(-3 - -1)/(-2). Suppose h = 6*h - p - 650, z = 4*h + p. Is h prime?
True
Let g = 606 + -121. Is g a prime number?
False
Suppose -a - 2*a = 0. Suppose -3*p + p + 174 = a. Suppose -5*k = 3*j - p, -2*k + 23 + 3 = -j. Is k a composite number?
True
Let k(u) = 161*u - 5. Is k(2) prime?
True
Let u be (0 + 0)/(3 + -1). Suppose u = -2*d - 5*t + 56, 5*t + 28 = 3*d - 31. Is d a prime number?
True
Suppose -2*s + 4 = 2*t - 5*t, -3*s - t + 17 = 0. Suppose -l + 4*p + 25 = -0*l, -s*p + 16 = l. Is l a composite number?
True
Let w = 3 - 4. Is (-1 - -303) + (w - 2) composite?
True
Let s(f) = 2*f**2 + f - 2. Let n(u) = -u**2 + 8*u - 4. Let o be n(7). Is s(o) a prime number?
True
Suppose 4*z - 9280 = 3292. Is z a prime number?
False
Let g(t) = 13*t + 7. Is g(6) prime?
False
Is 2/(-15) + 50682/90 composite?
False
Suppose -120 = 2*c - 6*c. Let n = 151 - c. Is n composite?
True
Suppose -q + 3*q - 18 = -4*v, -q = -5*v + 26. Is (-5)/((-5)/(-51))*q a prime number?
False
Let s(q) = q + 5. Let i = 15 + -9. Is s(i) prime?
True
Suppose 0 = 3*a - 0*a - 351. Suppose 0*t = 3*t - a. Let h = t + -17. Is h a prime number?
False
Let c(g) = 0 - 2*g**2 - g**2 - 5*g - 5 + g**3. Let i be c(5). Suppose y = -2*o + 61, y + 4*o - 89 = -i. Is y prime?
True
Let u(t) = 4*t - 7. Let f(j) = -j**3 + 4*j**2 + 2*j. Let k be f(4). Is u(k) prime?
False
Let h(o) = -o - 3. Let w be h(-6). Suppose w*b - 29 - 70 = 0. Is b composite?
True
Let s = 1 + -26. Let q be 6/(-10)*s/5. Is q/2 + 2/4 a prime number?
True
Suppose 5*i + 616 + 1549 = 0. Let p be 1/(0 - 1/i). Suppose 297 + p = 5*c - 3*o, 5 = -o. Is c prime?
False
Let t(j) = -j**3 + 7*j**2 + 4. Let k be t(7). Let s(d) = 4*d**3 - 5*d**2 - 2*d - 5. Is s(k) a composite number?
False
Suppose 5*h = 9*h - 464. Suppose -3*b = -b - h. Is b prime?
False
Let k(y) = -20*y**3 - y**2 - 4*y. Is k(-5) prime?
False
Suppose k - 2 = 4*o + 1, 0 = 5*k - o + 23. Is (-9884)/(-70) - (-1)/k a prime number?
False
Let v = -910 + 1581. Is v prime?
False
Suppose 2*j - 4202 = -3*o, 10*o - 6*o + 2*j - 5604 = 0. Is o composite?
True
Suppose -5 - 67 = -3*q. Suppose 2*x = -0*x + 6. Suppose -q - 51 = -x*h. Is h a composite number?
True
Is 1358/3 - 2/(-6) prime?
False
Is 0/(0 + -4) + -1 + 1560 a prime number?
True
Let o = 10 + -4. Suppose -2*h - 15 = -3*y, 2*y - h = o*y - 9. Suppose -5*u + 14 = -3*u + 2*m, 0 = 5*u - y*m - 35. Is u a composite number?
False
Let c be -23*(-1 + 0)*1. Suppose 0 = 5*y + 4*w - 28, 4*w - 4 = y - 0*y. Suppose 5*l = y*l + c. Is l a composite number?
False
Let f be (-24)/56 + (-171)/(-7). Let s be (-1*(-29)/(-1))/(-1). Let p = f + s. Is p prime?
True
Let g = -8 - 0. Let u = 103 - g. Is u composite?
True
Let r(p) = 25*p**2 + 3*p + 3. Let j be r(-2). Suppose -3*u = 4*i - 279, i + 2*i - 5*u - 173 = 0. Let s = j - i. Is s composite?
False
Suppose 3*u + 2*u - 345 = 0. Is u prime?
False
Let j = 31 + 58. Is j a prime number?
True
Suppose -2 = q + 1. Let n(l) = 30*l**2 + l + 2. Is n(q) a composite number?
False
Let t be (1/1)/(3/15). Suppose -599 + 124 = -t*x. Is x a composite number?
True
Let w(m) = m**3 + 4*m**2 + 2*m - 3. Let l be w(-3). Suppose 4*x - 56 - 36 = l. Is x a composite number?
False
Is -1 + -2 + -2 + 1168 prime?
True
Let z(q) = -5*q - 11. Let r(f) = -f - 1. Let y(o) = 6*r(o) - z(o). Let a be y(5). Suppose -3*n + v + 505 = -a*v, 177 = n + 4*v. Is n prime?
False
Let a be 52/(6/(-117)*-3). Suppose 0 = -5*h - a + 1153. Is h prime?
True
Let f = -932 - -1453. Is f a prime number?
True
Let j(a) = -a**3 - a**2 - a + 9. Let b be j(0). Suppose 2*w + 2*w = -f - 1, -3*w = -2*f + b. Is f a composite number?
False
Suppose 6*o + 5*p = 2*o + 333, -4*p + 174 = 2*o. Is o a composite number?
True
Let m(c) = c**2 - 2*c - 1. Let q be m(3). Let f = q - 0. Suppose a = f*a - 13. Is a a composite number?
False
Let s(g) = g**2 - 5*g + 2. Let a be s(5). Suppose 147 = a*k - 29. Let x = k + -1. Is x composite?
True
Let s = 8 - 8. Let u be (-2)/(2 + -6)*s. Suppose u = 3*f - 5*n - 242, -5*f - n + 450 = -0*n. Is f composite?
False
Let v(g) = -438*g**3 + g**2 + g - 1. Is v(-2) a composite number?
True
Suppose 2*c = -3*c - 2*p + 1053, -4*c = -5*p - 849. Is c a prime number?
True
Suppose 4*k + k - 20 = 0. Let o(i) = 6*i**2 + i - 5. Let t(r) = 6*r**2 + 2*r - 5. Let a(h) = 4*o(h) - 3*t(h). Is a(k) prime?
True
Let k(w) = 2*w**3 - 5*w**2 - 7*w + 3. Is k(5) composite?
True
Let z be ((-6)/(-5))/(7/35). Let r(g) = 7*g - 5*g - g**2 - 6 + 6*g. Is r(z) a prime number?
False
Let x(h) be the second derivative of -h**8/6720 + h**6/720 + 89*h**5/120 + h**4/4 + 3*h. Let l(y) be the third derivative of x(y). Is l(0) a composite number?
False
Suppose 0 = 2*n - 2*y - 0*y - 12, 3*n - 10 = y. Let w(t) = -n*t + 2*t + 1 + 6*t. Is w(6) a composite number?
False
Let c(b) = -b**2 + b - 8. Let l be c(0). Is 9/12 - 266/l a prime number?
False
Let t(u) = u**3 - 5*u**2 + 6*u - 4. Let i be t(4). Suppose -2*l - i*p = p - 604, -4*l + 2*p = -1232. Is l composite?
False
Let f = 2 - 1. Let g be (2 + f)/(0 - 1). Let r(p) = p**3 + 6*p**2 + 5*p + 3. Is r(g) composite?
True
Let a(g) = -g**3 - 9*g**2 + 5*g + 10. Let d be a(-10). Suppose -4*o + d = -0*o. Is o prime?
False
Suppose -a + 1 = -3. Suppose l - 125 = -a*l. Is l prime?
False
Let c = 345 - 226. Is c prime?
False
Let b be (-3126)/4*12/18. Let q = -310 - b. Is q composite?
False
Suppose -2*b - 24 = -5*b. Let r(i) = -i**3 + 8*i**2 + i + 2. Is r(b) prime?
False
Let s = -89 - -124. Is s a composite number?
True
Let d(t) be the second derivative of 46*t**4/3 + t**2/2 - t. Is d(-1) a composite number?
True
Let a(r) = 5*r**2 + 12*r + 26. Is a(-11) a prime number?
True
Let y = 3010 - 1601. Is y a composite number?
False
Let i = 6 - 4. Suppose -183 - 567 = -i*q + 2*k, -q + 400 = 4*k. Let u = -253 + q. Is u composite?
False
Let z(u) = u - 12. Let k be z(6). Let i be (2 - 4) + k - -1. Let p(a) = -7*a. Is p(i) prime?
False
Suppose 4*o = 2*h + 16, 2*h + 1 + 7 = 0. Suppose -3*i - o*i = -110. Is i a composite number?
True
Let c = -3 + 5. Suppose 0 = c*y - 48 - 70. Is y 