Is k composite?
True
Let s(g) be the first derivative of -5*g**4/2 + g**3 + 2*g**2 + 3*g + 1. Let b = -23 - -21. Is s(b) prime?
False
Is (((-5)/(-3))/(-5))/((-7)/7539) prime?
True
Suppose -2*n - 14 = -4*a, 3*n + 13 = -2*a - 0*a. Suppose -5 = 5*b, -l - 2*b = -1 - a. Is l/18 + 842/18 prime?
True
Let g(x) = 16*x**2 - x - 11. Let c be 4 - 4*3/(-6). Is g(c) prime?
False
Suppose -101 - 183 = 4*z. Let t = z + 294. Is t prime?
True
Is ((2 - (1 + 2))*1189)/(-1) a prime number?
False
Let y = 3 + -20. Let b = y + 68. Is b a composite number?
True
Suppose 246 = 2*i - 2*h, -401 = -3*i - 7*h + 2*h. Is i composite?
False
Suppose 0 = d - 27 + 2. Is d a prime number?
False
Let k(q) = -q**2 - 11*q + 14. Let t be k(-12). Suppose u = 8 + t. Is u prime?
False
Let s(i) = -i**2 + 1. Let y be s(0). Let h(p) = -p**3 - 4*p**2 - p - 4. Let j be h(-4). Is (77 - -1) + y + j a prime number?
True
Let v be 66/2*(48 - -4). Let b = -2542 + v. Is b/(3*4/(-6)) a composite number?
True
Suppose -4*t - 634 = -3350. Is t composite?
True
Let p = -191 - -286. Is p composite?
True
Is (-3 - 0)*44/(-4) composite?
True
Suppose -4*z - 11680 = -29684. Is z composite?
True
Suppose -508 = -5*w - 3*p + 231, 2*w + p - 296 = 0. Is w composite?
False
Suppose -a - 3*a + 48 = 0. Suppose q - 3*q + a = 0. Is (-114)/(q/(-2)) - 1 prime?
True
Let r be (2/10)/(2/10). Suppose 0 = i - 2*i + r. Is (-133 - i)*7/(-14) composite?
False
Is (4 - 476/(-8))*2 prime?
True
Suppose -4*t = -5*a - 7901, 5*a - 564 = -3*t + 5318. Is t a composite number?
True
Suppose 0 = 5*m + 2*p + 3*p - 630, 5*m + 4*p - 635 = 0. Is m composite?
False
Let l(x) = 15*x**2 - 19. Let g(v) = -10*v**2 + 13. Let w(o) = 7*g(o) + 5*l(o). Is w(9) composite?
False
Is 18/(-45) - (-1 - (-1682)/(-5)) a composite number?
False
Let v(h) = 4*h**3 + 3*h**2 - 4*h - 1. Let u be v(4). Let r = u + -198. Is r composite?
False
Let c be 0 + (-4 - -2 - 9). Let q = c + 15. Is (6/q)/((-2)/(-52)) a prime number?
False
Let u = -11 + 13. Suppose y = 4*y - 3, -u*m + 161 = 3*y. Is m composite?
False
Suppose 2*j - 4*j = -508. Is (1 - (-2 - -4)) + j a prime number?
False
Let w = -7 + 5. Let i(y) = y**2 + 2*y + 2. Let s be i(w). Is (-1)/s*7*-2 prime?
True
Suppose 4*u = 41 + 23. Suppose -16 = -4*p + u. Let a(w) = -w**2 + 9*w + 6. Is a(p) prime?
False
Suppose 3*a + 1 = 4*a, 5*m = -a + 476. Is m a composite number?
True
Let k be (3/6)/(1/12). Is (68/k)/(4/30) composite?
True
Suppose 3*r + 2*r = 35. Let g = r + -2. Suppose 3*n - g*n + 98 = 0. Is n prime?
False
Suppose -4*g = -s + 286 - 1396, 0 = 4*g + 4*s - 1100. Is g a prime number?
True
Is 4/(-20) - 3168/(-15) a composite number?
False
Suppose v - 5*w = -v + 5873, -v = -w - 2938. Is v a composite number?
False
Let m(r) = 21*r**2 - 7*r - 1. Is m(4) composite?
False
Suppose 3*x - 5*b - 31 = 0, 17 = x + 2*x + 2*b. Suppose -93 + x = 2*j. Let f = j + 134. Is f prime?
False
Is 56*49 - (10 + -7) a prime number?
True
Let s be 42 + -2*3/(-2). Is s*2 - (-9)/(-3) prime?
False
Suppose 3*q - 2*a - 297 = 41, -4*q + 449 = -a. Let w = -1 - -6. Suppose -w*r + 273 = -q. Is r composite?
True
Suppose -13094 + 5138 = -4*v. Let q be v/3*2/6. Suppose -q = -4*s + 5*x, 168 = 2*s + s - 3*x. Is s prime?
True
Let d(g) = 2 + 5*g - 5*g**2 + g**2 + 3*g**2. Let r be d(5). Suppose r*h - 39 - 71 = 0. Is h a composite number?
True
Let h = 206 + 296. Is h a composite number?
True
Suppose 2*w - 3 = 5*w. Let r be (-2 - w)*2*-1. Suppose b - r*b = -9. Is b prime?
False
Let s(k) = -k - 1. Let u(l) = 3*l + 5. Let o(c) = -4*s(c) - u(c). Let i be o(2). Is ((-10)/(-1) + -1)/i prime?
False
Suppose -15 = 5*i, 4*m - 3*i - i = 2096. Is m a prime number?
True
Let i(r) = -r**2 - 8*r - 3. Let u be i(-7). Suppose 220 = m + u*k - 5*k, k = -2*m + 434. Is m a prime number?
False
Suppose -3*x = -3, 2*p - 2 = 5*x - 3. Suppose -p*n + 8 = q - 3, -2*q = 2*n - 16. Suppose q*v - 17 = 18. Is v composite?
False
Suppose 8*s = 4*s + 356. Is s a prime number?
True
Let j(z) = -5*z - 1. Let n be j(-1). Let f(h) = -1 - 2*h**3 + 4 - 6*h - h**2 + 3*h**3 - h**2. Is f(n) a composite number?
False
Suppose a + 1039 = 5*a + s, -271 = -a + 2*s. Suppose -3*c - a = -6*c. Is c prime?
False
Suppose 12*o - 17*o = 0. Suppose 0 = -6*w - o*w + 186. Is w composite?
False
Suppose 8*c = 10*c - 8090. Is c a composite number?
True
Let z(o) = o + 1. Let q be z(4). Suppose q*v + 4*k = 210, k = -v + 6*k + 71. Is v composite?
True
Suppose -2*t - 5*i = -6*t + 5591, -4*t + 5597 = i. Is t prime?
True
Let i = -12 + 15. Is i prime?
True
Let x = 2 + -113. Let v = 198 + x. Is v a prime number?
False
Is 36942/16 + 1/8 prime?
True
Let u(f) = -107*f + 17. Is u(-10) prime?
True
Suppose -4*w = -1974 - 254. Is w composite?
False
Suppose w = 52 + 29. Let q = w + -44. Is q composite?
False
Let l(d) = 299*d**2 + 2*d + 1. Let t be l(-1). Suppose 7*k - t = -4*m + 2*k, 5*k + 241 = 3*m. Is m a prime number?
False
Is -2*(141/(-6) - 3) a composite number?
False
Suppose -b = -2*b - 60. Let t = 91 + b. Is t composite?
False
Let x(j) = -j**2 - 1. Let l(z) = -z**2 + 4*z - 6. Suppose 0 = -3*y + 4 - 1. Let w(h) = y*l(h) - 3*x(h). Is w(-4) composite?
False
Suppose -2*j + 2*f + 0 = -2, -4 = -j - 2*f. Let o(m) = -3 + m - m**j - m + 3*m**2. Is o(-3) a composite number?
True
Let l = 3 + 0. Let s be (-83 + 1)*l/(-6). Suppose 2*y - 5*y = -3*u - 36, s = 4*y + 3*u. Is y composite?
False
Let n(s) = 2 + 1 + 10*s + 16*s. Is n(5) a composite number?
True
Let t(n) = 0 + 37*n + 1 + 41*n. Is t(1) a composite number?
False
Let x be ((-846)/(-15))/((-2)/(-5)). Suppose -3*a + 0*a + x = 0. Is a composite?
False
Suppose 5*q = 3*q + 74. Is q a composite number?
False
Suppose 0 = 12*d - 3*d - 16191. Is d a prime number?
False
Let j(y) = y**3 - 5*y**2 - 6*y + 7. Let q be j(6). Suppose -q*k - o + 478 = -4*k, 5 = 5*o. Is k a prime number?
False
Is 8/(-4) + 134 - 1 a prime number?
True
Let n be -1 - (-9 + -2*1). Suppose 4*q - 5*p = 7, p - 3*p - n = -4*q. Suppose -190 = -2*h + q*v + 58, 0 = -v - 2. Is h prime?
False
Suppose -4 = v, -2*a + 7*a = -v + 9271. Suppose 2*z - 2*j - 742 = 0, 0 = 5*z - 0*j + j - a. Is z prime?
False
Suppose 4*g - 84 - 872 = 0. Is g a prime number?
True
Suppose 89 = s - 2*w - 66, 0 = 5*s - 5*w - 795. Is s composite?
False
Suppose 4*l = 3*l + 6. Let n be (1 + -7)*l/4. Let y = 18 + n. Is y a prime number?
False
Let t = 3021 + -2120. Is t a composite number?
True
Let n(z) = -253*z + 10. Is n(-3) a prime number?
True
Suppose 3*k + a = 1345, -4*a = 4*k - 0*a - 1804. Is k a prime number?
False
Is (-4)/6*(-33)/(-22) + 702 composite?
False
Let j(w) = w**2 - 8*w + 3. Let b be j(8). Suppose 0 = -4*q - b*f - 21, q = 2*q + f + 5. Is 3/q*(-132 - -2) a prime number?
False
Suppose -11*j = -16*j + 195. Is j a composite number?
True
Let j be 7299/6*(-2)/(-3). Is (-1)/(-4) + j/4 prime?
False
Let v be 7/35 + (-3698)/(-10). Let s = v - -429. Is s a prime number?
False
Let q be 34*((-60)/(-8) - 2). Suppose 4*l + 4*c - 17 = 3*c, -25 = -5*l - 2*c. Suppose -q + l = -4*u. Is u a prime number?
False
Let z(c) be the second derivative of -17*c**4/12 - c**3/3 + c**2/2 + c. Let j be z(-2). Is j/3*(-2)/6 prime?
True
Let b(c) = -c + 3. Let i be b(-4). Is i*(-97)/(-1) + 0 composite?
True
Suppose 0 = -5*i - 3*l - l - 386, -2*l - 82 = i. Is (-8 + i)*(0 - 1) a composite number?
True
Let d = -7 + 10. Suppose -15 = -0*n - d*n. Suppose 5 = n*u - 100. Is u prime?
False
Let x(h) = -2*h**3 - 2*h**2 + h + 1. Let v = -1 + 0. Let r = -3 - v. Is x(r) composite?
False
Suppose -1206 - 1389 = 5*n. Let q = n + 341. Let r = -47 - q. Is r prime?
True
Let k = -35 + 104. Suppose -c + 5 = -3*w + 4*c, 4*w - 5 = -5*c. Suppose k = u - w*u. Is u composite?
True
Let r(n) = -6*n - 5. Let j(k) = -7*k - 6. Let d(c) = -5*j(c) + 6*r(c). Let f be d(2). Is 3/(9/96) - f a prime number?
False
Let u = -8 - -10. Suppose 68 - 17 = 5*y + 4*m, -u*y + 3*m + 2 = 0. Is y a prime number?
True
Let m(x) = -1458*x + 5. Is m(-2) a prime number?
False
Let l(q) be the first derivative of q**4/4 + q**3/3 - q**2 + 2*q - 2. Let a be l(2). Suppose 0 = -3*o + 3*j + 12, 2*j + 32 = 4*o + a. Is o prime?
True
Suppose 2*l - 6*l - 3*k = 0, 5*l - 4*k = -31. Let s be l/(-1*2/238). Suppose s = 3*y - 0*y. Is y a composite number?
True
Suppose 3*v = x + 13, 3*v - 4*x - 10 = -6*x. Suppose -v = y + y. Is 20 - (-3 - (y + 0)) composite?
True
Let 