e first derivative of b**2/2 + b + 2. Let g be o(-4). Is 2*g/(12/(-74)) prime?
True
Let a(l) = 1 + 12*l + 0 + 0*l. Let k be 55/20 + (-1)/(-4). Is a(k) composite?
False
Let v(p) = 3*p**3 - p**2 + p - 1. Let s be v(1). Suppose 5*b - 93 = 3*z + 693, 3*b = s*z + 471. Is b prime?
False
Is ((-5 - -1) + 362)*1 prime?
False
Let o = -5 - -16. Let b = o + 4. Is b prime?
False
Let m be (3 - (-15)/(-6))*6. Suppose -m*h + 1914 = 3*v, -2*h - 632 = -v - h. Is v a composite number?
True
Let z = -190 - -277. Is z composite?
True
Let l(f) = f**3 - 10*f**2 + 9*f - 13. Let q be (1 + 2)*5/(-1). Let o be 156/15 - (-6)/q. Is l(o) composite?
True
Let t(g) = -g**2 - g. Let a be t(-1). Is (-1 - a)/(2/(-38)) prime?
True
Suppose 3*l - 191 = -4*f, 4*f + 2*l = 192 - 2. Is f composite?
False
Let l(y) = 296*y**3 + y**2 - 2*y + 1. Is l(2) prime?
False
Let y be (-5 + 1)/2*3. Let h be y*(-2)/4 + -3. Suppose 3*n - 71 - 4 = h. Is n composite?
True
Let y(b) be the second derivative of b**4/12 + 4*b**3/3 + b**2 + b. Let f be y(-7). Let d = f - -24. Is d composite?
False
Let j(g) = 4*g**3 - 2*g**2 + 2*g - 2. Is j(2) a composite number?
True
Let y be (50/(-6))/(2/(-108)). Let a = y + -269. Is a composite?
False
Suppose -x + 9 - 2 = -2*t, 0 = -5*x - 5*t + 95. Is x prime?
False
Suppose -2*x + 29528 = 6*x. Is x a composite number?
False
Suppose -16*i + 23447 = 6855. Is i composite?
True
Suppose o - 2*n - 701 = 24, -5*o = -5*n - 3610. Is o a prime number?
True
Let j be (327/6)/((-3)/(-36)). Let w be j/14 + 4/14. Let d = w + -32. Is d a composite number?
True
Suppose -2*z + 85 + 45 = 0. Let s = z - 27. Is s a prime number?
False
Let a = 3 + -1. Let r(k) = 9*k**3 - k**2 + k - 1. Is r(a) prime?
False
Suppose -3*f = s - 33, 2*f - 5*f + 9 = 0. Is 18/s + 1474/8 composite?
True
Let z be (240 + -2)*(-2)/4. Let a = z + 174. Is a a prime number?
False
Let w = 2 + 4. Suppose -d = -w*d + 935. Is d prime?
False
Is (-121 - -7)/(1 + -3) a prime number?
False
Suppose z - 4 = 3*z. Let a(f) = f + 1. Let s be a(z). Let g = s - -32. Is g prime?
True
Let y(h) = -6*h - 70. Let o(q) = -q - 14. Let r(m) = -11*o(m) + 2*y(m). Let s = 9 + -2. Is r(s) a prime number?
True
Let p(d) = 57*d**2 - 23*d**2 - 2*d - 25*d**2 - 3. Is p(4) a prime number?
False
Is -2 - 1*9*-13 a composite number?
True
Let t = 101 + -214. Let r = -80 - t. Suppose -m = -4*x + 24, -r = -5*x - 5*m - 3. Is x a composite number?
True
Let m = 2 - -1. Suppose -m*r = -8*r + 445. Is r a prime number?
True
Suppose k - 2919 = 3*d, -k + 2*d - 4*d + 2939 = 0. Is k a composite number?
True
Let f(y) = -2*y**3 - 4*y**2 + 3*y + 10. Is f(-9) a prime number?
True
Let r(c) = c**3 + 16*c**2 + 18*c + 5. Is r(-14) composite?
True
Suppose -3*f = 4*j - 236, -2*f - 3*f - 295 = -5*j. Is j a prime number?
True
Let s(q) = -3*q**2 + 3*q + 7*q**2 - 3*q**2 - 6. Is s(-7) prime?
False
Let j = 9 + -14. Let n be (-12)/(-5) - (-2)/j. Suppose -n*b = -3*b + 49. Is b a prime number?
False
Let y be -1*(-2 - (-2 + -6)). Let k be (-2)/((9/y)/3). Suppose 34 + 22 = k*r. Is r prime?
False
Let q = 555 + -354. Is q composite?
True
Let p be (2/(-4))/(1/2). Let r(x) = x + 5. Let a be r(-3). Is 11/a*(7 + p) a prime number?
False
Let i be 220/(-14) - 4/14. Suppose 0 = 6*z - 16*z - 10. Let c = z - i. Is c composite?
True
Let w be 3/(3/(-2)) - -1. Let v = w + 4. Suppose -5 + 28 = 5*p + 2*f, 0 = 4*p - v*f. Is p prime?
True
Let f(m) = 3*m**3 - 7*m**2 - 12*m - 7. Let x(t) = t**3 - t - 1. Let q(a) = -f(a) + 4*x(a). Suppose 2*c = -0*c - 10. Is q(c) prime?
True
Let g(f) = f**2 + 3*f + 1. Suppose 6*z + 10 = z. Let x be g(z). Let v = x - -34. Is v a composite number?
True
Is (-18480)/(-18) - (-2)/6 a prime number?
False
Let g(n) = n**3 - 16*n**2 + 21*n + 17. Is g(18) composite?
True
Let k = -2 + 5. Let b be (4 + 1)*188/(-10). Is b/(-6) + (-2)/k prime?
False
Let p be 42/(-6)*(-7 - 0). Let b = 272 - p. Is b prime?
True
Suppose 0 = -g - 0*g + 4. Let f(o) be the first derivative of 5*o**2/2 + o + 1. Is f(g) prime?
False
Let x(f) = -216*f + 73*f - 24*f - 131*f - 4. Let w be x(-3). Suppose 3*m = w - 257. Is m composite?
False
Suppose -u + 11 + 0 = 0. Let c(s) = -10*s + s + s**2 - 2*s**2 + 2*s**2 + 13. Is c(u) composite?
True
Suppose b = -b - 2, 2*b + 324 = 2*x. Is x a prime number?
False
Let u(z) = -166*z + 4. Let i be u(-4). Suppose i = 5*o - o. Is o composite?
False
Suppose 3*s - 29 = s + r, -4*r - 56 = -4*s. Is s prime?
False
Let d = -42 + 715. Is d prime?
True
Let p(c) = -79*c + 6. Is p(-9) prime?
False
Let k = 1871 + -757. Is k prime?
False
Let q(h) = -h**2 - 3. Let j be q(0). Let s = -3 - j. Suppose 3*p - 2*p - 13 = s. Is p a composite number?
False
Let k(x) = 11*x**2 - 17*x - 23. Is k(-10) a prime number?
False
Suppose -505 = -3*b + 398. Is b composite?
True
Let n = 2123 + 408. Is n prime?
True
Let u = -16 - -10. Is (-458)/u + (-6)/(-9) prime?
False
Let b = -44 - -72. Suppose 0 = -4*s + 5*s + b. Let d = s - -65. Is d prime?
True
Suppose 5*y - 95 = -0*y. Is y a composite number?
False
Let d(b) = b**3 + b**2 + b. Let y(z) be the second derivative of -z**5/20 + z**4/4 + z**3/3 + 5*z**2/2 - 2*z. Let o(h) = -2*d(h) - y(h). Is o(-6) composite?
True
Suppose -1 = -4*g - 2*o + 11, 6 = -3*o. Let v be (g/(-6))/(2/(-9)). Suppose 0 = 3*c + 2*h - h - 33, 11 = 2*c - v*h. Is c prime?
False
Let z(w) be the first derivative of -w**4/4 - 2*w**3/3 - 3*w**2/2 + 3*w - 2. Suppose 0 = -0*i - 5*i - 20. Is z(i) prime?
True
Suppose 2*k = -3*k. Suppose 2*h + 5*v - 64 = k, -72 = -h - h - v. Is h composite?
False
Let h(b) = 3 + 31*b - 2 + 3. Is h(3) prime?
True
Suppose 0 = a + 2*a + 2*g - 2047, -2*a + 1370 = -4*g. Is a prime?
True
Is 22/2*(29 - 18) composite?
True
Let q be (-1)/4 - (-45)/20. Suppose 3*g + q*i - 6 = -0, 4 = -2*g - 4*i. Is (-1059)/(-4) - (-1)/g composite?
True
Let t be (-13 - -10)/(2/(-2)). Suppose 2*v = -t*n + 169, -3*n + 5*v - 237 = -7*n. Is n a prime number?
True
Let m = -4 + 3. Let i = m + 5. Let s(n) = n**2 + 2*n - 5. Is s(i) a prime number?
True
Suppose -6*d - 180 = -3*d. Let w = 136 + -17. Let v = w + d. Is v a prime number?
True
Suppose 1 = -2*w + 3. Let s(p) = 72*p**2 - 1. Is s(w) a prime number?
True
Let r(f) be the second derivative of 0 - 3*f - 1/2*f**2 - 7/6*f**3. Is r(-12) composite?
False
Let r(l) = l**3 + 31 - 5*l + 4*l + 165. Let j be r(0). Suppose -3*m + j = m. Is m composite?
True
Let t be (-2)/7 - 1968/(-28). Let s = -14 + 18. Suppose s*r + r = t. Is r a prime number?
False
Let d(w) = 7*w - 13. Let h(q) = 20*q - 40. Let s(o) = 17*d(o) - 6*h(o). Let r be s(0). Suppose 0 = -z + 2*z - r. Is z a composite number?
False
Let p = -13 + 25. Let k = p + -21. Is 24 - -3*6/k composite?
True
Let t be (1 - -8)/(5/25). Suppose -3*i + 294 - t = 0. Is i a prime number?
True
Is (-2)/10 - 2155/(-25) a composite number?
True
Let i be (-94)/(-5) + 1/5. Suppose 0 = 3*a - 5*g - 94, i - 1 = a + 5*g. Suppose 4*k + 3*j - 14 = 3*k, 2*j = -2*k + a. Is k prime?
False
Suppose -5*y - 71 + 26 = 0. Let r be 2*(-1)/6*y. Suppose 0 = r*n - 100 - 11. Is n composite?
False
Let x(f) = -5*f**3 - f**2 + 4*f + 3. Let p = 1 - 5. Is x(p) prime?
False
Suppose -303 = 3*d + 4*j - 1085, -2*j = 4*d - 1026. Suppose 3*r = r + d. Is r a prime number?
True
Let y = 2955 + -1808. Is y a composite number?
True
Suppose 0 = -2*r - 0*r + 6. Suppose 0 = -2*w - 0*w + 4. Suppose r*q + 111 = 3*k, -w*k - 4*q + 49 = -13. Is k a composite number?
True
Let w = -69 + 124. Let l = 27 - w. Is (40/(-14))/(8/l) a composite number?
True
Let u(b) = 11*b**2 + 16*b + 31. Is u(8) composite?
False
Is 851 + (-5)/((-15)/6) prime?
True
Suppose -3*b + 9 = -9. Is ((-2)/(-2))/(b/318) a composite number?
False
Suppose 0 = -k + 6*k. Let m = k - -39. Suppose 2*x - 3 = m. Is x a prime number?
False
Let a(j) = 2*j - 1. Let w be a(1). Let i be ((-2)/(-4) - w)*-12. Suppose 0 = 3*v + 21 - i, 19 = 2*d + 5*v. Is d prime?
False
Let f = 1540 - 249. Is f a composite number?
False
Suppose -3*t + 3*l + 87 = 0, 3*l - 2 + 11 = 0. Is 3 - t*-3 - 2 composite?
False
Let t(m) = 2*m**2 - 2*m + 1. Let p be t(1). Let u be 677 + p + (-3)/(-1). Suppose -46 + u = 5*j. Is j prime?
True
Let x(s) = s. Suppose -3 = -2*l - r, -3*l - 5*r - 12 = -2*l. Let f be x(l). Suppose f = a - 35. Is a composite?
True
Is (-238)/3*42/(-28) composite?
True
Is 110 + 6 + 3/(-1) prime?
True
Let d(m) = 2 - 2 + 4*m - m. Is d(7)