first derivative of 5*l**2/2 - 6*l - 1. Let g be (9/18)/((-1)/(-10)). Is s(g) a prime number?
True
Let k(n) = -n**3 + 6*n**2 - 4*n - 5. Let x be k(5). Suppose x*q = -4*q + 28. Is q composite?
False
Is (153/85 + 4/(-5))*71 composite?
False
Suppose -9*w + 10585 = 3484. Is w composite?
True
Let s(c) = c + 4. Let t be s(-6). Let z = t - -4. Suppose -j + 4 = -z. Is j prime?
False
Let s(h) = 10*h**2 + 20*h + 29. Is s(-15) a composite number?
False
Let h(c) = -3*c**2 - 3. Let i be h(-5). Let u = i - -112. Is u composite?
True
Suppose 4*z + 144 = -b, 0 = -z - 2*b - 5 - 24. Let t(h) = h + 5. Let i be t(-4). Is i - (z - -1) - 2 prime?
False
Suppose -5*s + 159 = -2*s. Is s a composite number?
False
Let g = 4191 + -2468. Is g a prime number?
True
Let t = -6007 - -8784. Is t a composite number?
False
Let n = -405 + 926. Is n a composite number?
False
Let g(u) = -4*u**3 + 2*u**2 - 10*u - 7. Let r be g(-6). Suppose 4*b - 1171 = -q, -4*b + 178 = 5*q - r. Is b a composite number?
False
Is 1053/5 + (-2)/(-5) a composite number?
False
Let t be 0/(0 + -1) - -9. Let g = t - 4. Suppose -3*h - 2*h + 4*b + 403 = 0, 5*b = g*h - 405. Is h a prime number?
True
Let t be -3*(9/3 - 2). Let y = -1 - 1. Is (1/t)/(y/132) composite?
True
Suppose -4*l = 25 + 39. Is ((-8)/l)/((-2)/(-884)) a prime number?
False
Suppose -15 = -3*a + h, 5*a - h - 2*h = 29. Suppose a*p = -0*p + 128. Suppose 5*b - 277 = -p. Is b prime?
False
Let p(d) = -3*d + 2. Let c be p(-2). Let r = 2 + 2. Let m = c - r. Is m a prime number?
False
Let s(n) = -107*n**2 - n. Let q be s(-1). Let j = -143 + q. Is (j/12)/((-2)/8) prime?
True
Suppose 2*t + r = -3*r - 116, 4*t - 3*r + 199 = 0. Let h = 1 - t. Is h a prime number?
True
Suppose 3*f - f - 4 = 0. Suppose -f = -3*l + 7. Suppose -2*m = -s - 100, 2*m + l*s - 43 = m. Is m composite?
True
Let k(u) = 5*u**2 + 2*u + 2. Let z be k(-2). Suppose 3205 = -13*l + z*l. Is l composite?
False
Let m be ((-30)/(-35))/(3/14). Suppose 6*s - 578 = m*s. Is s composite?
True
Suppose -3*i + 425 = -4*t, 2*t + 276 = 2*i + 3*t. Suppose -3*r - 2*h - 95 = i, 3*r - 3*h = -234. Is ((-1)/(-2))/((-3)/r) composite?
False
Suppose 0 = -3*r + 2*f + 5, 4*r - r = f + 7. Suppose r*o + p = 607, 0 = -o + 5*p + 111 + 102. Is o composite?
True
Let j(g) be the third derivative of 11*g**5/30 - g**4/12 + g**3/6 + 5*g**2. Is j(-3) a prime number?
False
Let f(i) = 2*i + 1. Let p be f(2). Suppose 3*b = -3*a + 357, p*b - a = -248 + 849. Is (b/9 - -1)*3 a prime number?
True
Suppose 5*m + u + u - 14 = 0, 0 = -2*m - u + 5. Suppose m*l - 5 = 39. Is l a prime number?
True
Suppose -3*q = -0*q. Suppose -5*v + 6 = -2*v - 3*h, -5*v = -h - 22. Suppose 10 = 2*d, -v*w + q*d = d - 80. Is w a prime number?
False
Is (-160 - 14)*2/(-4) prime?
False
Let w(l) = l**3 - 15*l**2 + 7*l - 19. Let m be w(15). Let y = 71 + m. Is y a prime number?
True
Let z(l) = -l**3 - 5*l**2 - 5*l - 4. Let a be z(-4). Suppose 5*o - 2 = -y - 3, -5*o - 2*y - 2 = a. Is (o + -1)/(2/(-118)) a prime number?
True
Let a(z) = 14*z + 4. Let d be a(3). Let r = d + -76. Let t = -11 - r. Is t a composite number?
False
Suppose 5*b - 26 = -1. Suppose 3*w - 6 = 3*c, w + w = -b*c + 18. Is (-3)/c*204/(-9) prime?
False
Let c = -11 - -36. Suppose -10 = -s + c. Is s a prime number?
False
Let l be (-2 - -3)*3 + 0. Suppose -3*y = -z + 1477, z - 8*y + l*y = 1481. Is z composite?
False
Let m(y) = 12*y - 3. Let q(d) = d**3 - 4*d + 3. Let a be q(2). Is m(a) a composite number?
True
Let g(v) = 86*v - 1. Let m be g(1). Is m - (0 + -2 - -2) composite?
True
Let i(s) = 13*s**2 - 10*s - 6. Is i(-7) a composite number?
False
Suppose 0 = 2*v + 8, v + 234 = 2*l. Is l a composite number?
True
Suppose 0 = -b - 4*n - 2, -5*n + 3*n = 2*b + 10. Let u be 2/3 + (-14)/b. Is 67*(0 + -2 + u) composite?
False
Let t(p) = 198*p**2 + 2*p - 3. Is t(2) a composite number?
True
Suppose 3*f + 117 = -5*o - 38, -2*o - 71 = 3*f. Is (133/o)/(2/(-8)) composite?
False
Suppose -n = 4*n - 25. Suppose -173 = -2*r - n*g, -4*g + 119 = r + 25. Is r composite?
True
Let x(z) = 5*z**2 - 3*z - 3. Let d be (-66)/(-12) + (-2)/4. Suppose 8 = d*w + 2*k + 3, 3*k + 12 = -w. Is x(w) composite?
True
Let x(n) = 10*n + 3. Let p be x(3). Suppose -p - 11 = -4*r. Is r prime?
True
Let o(x) = -x**3 - 2*x - 2. Let b(s) = 1. Let p(i) = 2*b(i) - o(i). Let n be p(3). Suppose 3*r - a = -6*a + n, -3*r - 3*a = -45. Is r prime?
True
Let f = -227 + 342. Is f composite?
True
Let x be 23/(-5) - 8/20. Let j(l) = -2*l + 5. Is j(x) prime?
False
Let o be 18/(-8)*(-12)/(-3). Let v be (8/(-12))/(-1)*-30. Is (-3)/(o/6) - v composite?
True
Let y = -8 + 10. Suppose -y*x = -x - 203. Is x a composite number?
True
Suppose 3*q = -4 + 19. Let u = q - 6. Is (-1 + 2)*(u - -10) a composite number?
True
Let r be 690/(-8) + (-6)/(-24). Let u = -55 - r. Is u a prime number?
True
Let t(l) = -l + 10. Let g be t(5). Let p = 32 + g. Is p a prime number?
True
Is 417 - (40/(-18) + 2/9) prime?
True
Let u be (-2 - -5) + 198*6. Suppose -4*d - d + 2*l = -2925, 5*l = 2*d - u. Is d prime?
False
Suppose -644 = -2*h + 1442. Is h composite?
True
Is (260/(-12))/(1/(-3)) a composite number?
True
Let y(c) = -9 + 0*c - 12*c - 45*c. Let g(l) = 38*l + 6. Let o(t) = -8*g(t) - 5*y(t). Is o(-2) prime?
False
Let g be 64/(-6)*(-42)/8. Suppose 444 = 5*b + 3*v, b - 37 - g = -2*v. Is b a prime number?
False
Suppose 4*x + 2*z - 54 = 0, 2 = -x + 3*z + 5. Suppose -5*n - x = -3*n. Let f(i) = -i**3 - 4*i**2 + 3*i + 1. Is f(n) prime?
False
Let c(d) = -102*d - 1. Let g = 14 + -18. Is c(g) a composite number?
True
Suppose -3*f + 12 = 0, 4*c + 2*f = 2*c + 610. Is c a composite number?
True
Is ((-20)/10)/(2/(-2551)) a composite number?
False
Let m = -3702 - -7213. Is m a composite number?
False
Let w = 329 + 828. Is w a composite number?
True
Let m be (4 - 1)/(9/120). Let c = m - 61. Let d = -7 - c. Is d composite?
True
Suppose 0 = 3*h - 2*x - 4951, -3*h - 2*h = -4*x - 8251. Is h prime?
False
Suppose -15 = 4*w + 3*z, 0 = -2*z + 4 - 14. Suppose -2*s - 3*n = 25 + 4, w = 2*s - 2*n + 4. Let y(c) = 2*c**2 + 2*c - 7. Is y(s) a prime number?
False
Let y = 409 + -158. Is y composite?
False
Suppose 0 = -4*f + 7*f + 4*v + 11, 0 = -5*f - v - 7. Is 7/(f + (-84)/(-82)) composite?
True
Let b = -27 - -12. Let k = 44 - b. Let q = k + -10. Is q a prime number?
False
Let x be 335/9 + (-4)/18. Suppose 3*q - 2*q - x = 0. Is q prime?
True
Suppose i - 2*t = 11, 4*i = 3*i + 5*t + 26. Let b be i/(-2) - 33/(-6). Suppose l = b*l - 356. Is l composite?
False
Let h = 61 + 5. Suppose 4*j = 6*j - h. Is j composite?
True
Suppose 0 = -4*w - 5*m + 2, 0 = -2*w + 5*m + 16. Suppose -11*v + 4*v = -14. Suppose -93 = -3*b + v*y, 5*b + y = -w*y + 155. Is b a composite number?
False
Let a = -262 + 669. Is a prime?
False
Let v(p) = -7*p**2 - 12*p - 10. Let r be v(-10). Let d = -105 - r. Is d a prime number?
False
Suppose -4*d + 4*z - 4324 = 0, -3*z - 2162 = 2*d + z. Let x = d + 1970. Is x composite?
True
Let r = -29 - -67. Is (r/6)/(1/3) prime?
True
Suppose -o - 5*w - 62 = 0, 4*w = -4*o + 6*w - 248. Let m = 95 + o. Is m a composite number?
True
Let q(y) = y**2 - y + 19. Let d(i) = -i + 2. Let z be 2/(-3) - (-8)/3. Let c be d(z). Is q(c) a prime number?
True
Let a be 9/(-3 + 0) + 6. Suppose -a*g + 5*g = 2*u - 1232, 4*g + 3084 = 5*u. Suppose -f = 3*f - u. Is f a composite number?
True
Suppose -5*x = -x - 3*c - 3, 2*x = 5*c + 5. Let r(o) = -o**2 + o + 3. Let s be r(x). Suppose -y = 3*a - 124, -s*a + 7*y = 2*y - 154. Is a a composite number?
False
Let p(m) = 2*m**3 + m**2 + 5. Let y(a) = -a**3 + 5*a**2 - 3*a. Let k be y(4). Is p(k) a composite number?
False
Suppose 0 = x - 5*k + 19, 2*x + 4*k - 1 = k. Let q(j) = -5*j - 5. Is q(x) prime?
False
Let m(t) = 4*t + 5. Let w be m(-5). Suppose -r - 26 = -2*r. Let u = r + w. Is u a prime number?
True
Let j = -9 + 11. Suppose j*x - 2*o = 2*o + 126, -3*o = 2*x - 140. Is x prime?
True
Let j(a) = a - 4. Let w be j(7). Suppose -2*h = -3*k - 27, -w*h + 9 = -0*h. Is 2/k + 46/14 composite?
False
Suppose -5*y = 20, -5*i - 5*y = -0*i - 2650. Let p = i - 373. Is p a composite number?
True
Let m(k) = -k**2 - 6*k - 4. Let n be m(-4). Suppose n*v = -5*o - 252 - 168, 0 = -2*o + 4*v - 196. Is o/(-6) + 1/3 a composite number?
True
Let b = 2 - 2. Suppose 3*i + j - 98 = b, i - j - 41 = -3*j. Is i a composite number?
F