alse
Suppose -5*l + 3*l + 20 = -b, 3*l = b + 29. Suppose -l*h = 10*h - 32167. Is h composite?
False
Let t = 6424 - 2253. Is t a prime number?
False
Let k(w) be the second derivative of w**3/6 + 11*w**2/2 + w. Let d be -3 - (1 + -2) - (-5 + 3). Is k(d) a composite number?
False
Suppose 0 = -219*o + 218*o + 12373. Is o composite?
False
Let x = 435 + -147. Let g = x - 147. Is g composite?
True
Let o(j) be the first derivative of -j**4/4 - j**3/3 - j + 1. Let i(h) = -3*h**3 + 7*h**2 + 4. Let p(a) = i(a) + 6*o(a). Is p(-2) a prime number?
False
Suppose 4*w + 0*w + 4*b = 10296, -w + 5*b + 2604 = 0. Is w a composite number?
False
Suppose 0 = -20*t + 16*t + 64132. Is t a prime number?
True
Let t(l) = -152*l + 24. Let h be t(-8). Let j(p) = 4*p. Let y be j(-4). Is 1/(-2) - h/y composite?
True
Let g be 8022/(-12) + (-1)/(-2). Let k(y) = y**3 - 14*y**2 - 15*y - 19. Let u be k(18). Let i = g + u. Is i composite?
True
Suppose -8*t + 555 + 117 = 0. Suppose 5*r - 2141 = t. Is r prime?
False
Let q = -94 - -66. Let v = q + 58. Suppose v = -0*x + 3*x. Is x prime?
False
Suppose -484 - 3483 = -g. Is g prime?
True
Let c(o) be the second derivative of 21*o**3 + 1/2*o**2 - 4*o + 0. Is c(1) composite?
False
Is (-1 - -4)*28064/96 composite?
False
Let x(h) = 119*h + 57. Is x(20) composite?
False
Let v(i) = i**3 - 18*i**2 + 18*i - 17. Let l be v(17). Let b be 873 - 3*(-3)/(-9). Suppose 4*t = -l*t + b. Is t a prime number?
False
Let k(b) = 1611*b**2 + 17*b + 55. Is k(-4) a prime number?
True
Is 6/42 + 5/35*12606 a prime number?
True
Suppose -2*t + 3*l + 37211 - 11341 = 0, -2*l + 8 = 0. Is t prime?
True
Let y(z) = -z**3 + 9*z**2 + 9*z + 10. Let s be y(10). Suppose 0 = -w - 4*i + 578, 4 = i - s*i. Is w a composite number?
True
Let u be (12/10)/(6/3560). Suppose -3*d = d - u. Is d/((-6 - -2)/(-4)) prime?
False
Let p be (-6)/9 - 6/(-9). Suppose 0 = -p*t + t - 12. Is t/(-42) - 51/(-7) a prime number?
True
Suppose -3*i - 3*t + 64752 = 0, i + 7662 = 5*t + 29264. Is i composite?
False
Suppose 4*t - 9740 = 4*w, -10 = -w - 4*w. Is t prime?
True
Let x be 200/(-12)*12/(-10). Suppose -x = -2*u - 3*u. Suppose 3*b + 267 = 4*v - 0*b, v - u*b - 57 = 0. Is v prime?
False
Is 6/(-3) + 2 - -9601 composite?
False
Suppose -628 = -v + 3621. Is v prime?
False
Let b(w) be the first derivative of -181*w**2/2 - 8*w + 1. Let p be b(-5). Is p/6 - (-2)/(-4) a prime number?
True
Let m(i) = -i + 6. Let l be m(5). Let x = l - 9. Let h(s) = -6*s + 3. Is h(x) prime?
False
Suppose 3*b - 10 = -4*y, 4*y - 2*y - 2 = 0. Let m(a) = 33*a**3 - a - 3. Is m(b) prime?
False
Let l(p) = -1. Let n(o) = -84*o + 4. Let f(k) = 5*l(k) + n(k). Let v(d) = d**3 + 2*d**2 - 5. Let w be v(0). Is f(w) prime?
True
Suppose -d - 4*d = -2*a - 37, 4*d = 4. Let m be (-6)/9 + a/(-6). Suppose -2*r + 53 = 4*o - 37, m*r = 4*o - 94. Is o a prime number?
True
Let i be (-12 - -11)/(1/(-4)). Suppose 0 = -5*r - 5*w + 460, i*r - 6*w = -4*w + 362. Is r prime?
False
Let b = 15 - 22. Let g = b - -3. Let z(c) = -201*c - 1. Is z(g) prime?
False
Is (1 - -447401)*(13 + 9)/132 prime?
True
Let a(r) = r**2 + 6*r - 4. Let p be a(-7). Suppose -6331 = 5*d - b, p*d = 4*d + 3*b + 1263. Is d/(-24) + (-2)/(-8) a composite number?
False
Suppose 5 + 7 = 4*t. Suppose 402 + 33 = t*n. Suppose -7*b = -8*b + n. Is b a composite number?
True
Suppose -d + 4*o + 17 = -21, -4*d = 3*o - 247. Let f = -1 - -3. Suppose -p + 57 = 4*v, 3*p = f*p - 5*v + d. Is p a prime number?
True
Suppose 7*b - 1084 = 6*b + y, 4*y = 3*b - 3249. Is b prime?
True
Let m(k) = 534 + 65*k - 63*k + 107. Is m(0) composite?
False
Suppose -2*o - 6 = -0*o. Let z be (-2 + 3 + 0)*o. Let d(v) = -6*v**3 - 4*v**2 - 2*v - 1. Is d(z) prime?
True
Suppose -s = 5*q - 413, -2*q + 3*q - 4 = 0. Suppose -2*z = p - 6, 0*p + 2*z - 14 = -3*p. Suppose -p*f + s = -f. Is f a prime number?
True
Let u(r) = r + 18. Let p be u(-16). Is -1 + 524 + -4 + p composite?
False
Let r be (-14 - 1)/((-3)/2). Let v(f) = f**3 - 9*f**2 + 9*f + 21. Is v(r) a composite number?
False
Suppose 0 = -4*a - 4*p + 15016, -5*a + 18730 = -p - 2*p. Is a a composite number?
True
Let z(m) = -2391*m + 73. Is z(-4) composite?
True
Is (-9)/(-81)*186364 - (-2)/(-18) composite?
False
Is 0 + -1 + 9 + 19863 prime?
False
Suppose a + 2*b + 0*b = 10, 0 = -2*a - b + 35. Is 7932/a + 2/5 a composite number?
False
Let g(q) = 56*q**3 - 17*q**2 + 53*q - 3. Is g(7) a prime number?
True
Let q be (5 - 16/4) + 4. Suppose q*f + 1027 = 4232. Is f a prime number?
True
Let d = 3129 + -612. Is d a prime number?
False
Let q be -3 - (-5 + -3)/(-2). Let g(y) = 103*y**2 + y. Let w be g(1). Let c = w - q. Is c prime?
False
Let t = -4 - -4. Suppose t = -4*b + b - 3*q - 6, 0 = -3*q - 12. Suppose b*n + 808 = 6*n - p, -5*n + 1019 = p. Is n composite?
True
Let y be -126*(828/(-42) + 0). Let d = y + -683. Is d a prime number?
True
Let w(c) = -c**3 - 10*c**2 - 59*c - 3. Is w(-7) prime?
True
Let u = -66980 + 94483. Is u composite?
True
Suppose -2*l = 3*l - 325. Let b = -114 - -68. Let d = b + l. Is d prime?
True
Let r = -41 - -67. Let d be 10/1*689/r. Let o = -154 + d. Is o prime?
False
Let n(y) = -2*y**2 + 11*y. Let w be n(6). Suppose -4*u = -845 + 61. Is (-2)/(-6) - u/w a prime number?
False
Let d(i) = 11*i + 30. Let o be d(18). Let z = 901 - o. Is z a prime number?
True
Let s(d) = d**3 + 3*d + 11279. Is s(0) a composite number?
False
Suppose -6*j + 3*j + 18 = 0. Suppose j*l + 50 = 4*l. Let t = l - -51. Is t composite?
True
Suppose 24 + 0 = 5*v - i, 3*v - 11 = 4*i. Suppose 0 = -v*m + m + 628. Is m a composite number?
False
Let u(h) = 2*h - 1. Let p be u(3). Suppose 0 = p*s + 5*q, 0 = -5*s - 3*q - q. Suppose s = -3*a - 2*f + 5180 - 1099, -f = -a + 1362. Is a a composite number?
False
Suppose -4*k - 2 = 2*h, h - 14 - 3 = 4*k. Suppose 2*p + x - 779 = 0, -h*p + x + 3*x + 1967 = 0. Is p prime?
False
Suppose -i + 2*i = 2*j + 1257, 3760 = 3*i + 5*j. Suppose 5*q - i = 2*g, 2*q = -3*g + 99 + 403. Is q a prime number?
True
Suppose -15 = -k - 4*k. Suppose 3*s + o = 107, -4*s + k*o + 138 = 4. Suppose l - 132 = -b, 0 = -l - 4*b + s + 112. Is l composite?
False
Suppose -27640 + 8063 = -m. Is m a composite number?
False
Let s(v) = 29*v**2 - 4*v + 7. Is s(2) composite?
True
Let v(p) = 17*p**2 + 16*p - 14. Is v(21) prime?
False
Suppose 5*z = 4*v + 1410, 4*v = -5*z - 1173 - 257. Let f = 518 + v. Is f a prime number?
True
Let n(s) = s - 1. Let j(q) = -90*q + 20. Let g(t) = j(t) + 25*n(t). Let z be g(-5). Let f = -129 + z. Is f a prime number?
True
Let l = -171 - -314. Suppose 4*p - l + 563 = 0. Let a = p - -310. Is a a prime number?
False
Let p(j) = -2*j**2 - 10*j + 1. Let s be p(-5). Let u(g) = 35*g**3 - g**2 + g. Is u(s) composite?
True
Let i(n) = 78*n**2 - 3*n + 8. Suppose -4*l + 2 = -10. Is i(l) composite?
False
Suppose 0*n + t = -n + 5738, 2*n - 11479 = -5*t. Is n prime?
True
Suppose 34908 = 26*v - 108274. Is v a composite number?
False
Is (62993/(-14))/((-10)/20) a composite number?
False
Is -2500*10/(-4) - (-56 - -61) composite?
True
Let d = 85 - 57. Suppose 4 = 3*v + d. Let j(u) = -u**3 - 8*u**2 - 11*u - 9. Is j(v) prime?
True
Suppose 32181 - 3053 = 8*w. Is w a composite number?
True
Suppose 0 = 3*m - 264 - 2313. Is m prime?
True
Suppose 0 = -5*s + 5*r + 379 + 116, 0 = 4*s - 3*r - 397. Let d = -23 + s. Is d prime?
False
Let m be ((-49)/(-14))/(2/188). Suppose -z + 2*l + m = 0, -5*l + 301 = -z + 2*z. Is z composite?
True
Let i(n) = -6*n**2 - n + 1. Let j be i(1). Is (12/6 + 1)/(j/(-9122)) a prime number?
True
Let s = -10223 - -17154. Is s a prime number?
False
Suppose -104885 = -14*u + 3*u. Is u prime?
False
Suppose v - 9 = -3*y, -3*y - 2*v + 3 + 3 = 0. Suppose y*j = -2*j. Suppose 4*i + 2*w + 0*w - 30 = j, 0 = -5*w - 15. Is i a prime number?
False
Suppose 2*a + 0*a = 12. Let f be (-2)/a + (-1506)/(-9). Suppose 4*i = -4*d + f + 2693, 2*d - 1434 = -i. Is d a composite number?
False
Suppose l + 2*l - 2970 = 0. Suppose 1077 = -5*f + 4*t + 3580, 2*f + 4*t - l = 0. Is f prime?
True
Let i(z) = -z + 0*z + 4*z - 27. Let y(u) = -2*u + 13. Let f(v) = 4*i(v) + 9*y(v). Is f(-4) a composite number?
True
Suppose -2*o = -5 - 33. Let k = o - 14. Suppose 0 = k*y - 906 + 121. Is y prime?
True
Suppose 0 = -11*c - 8*c + 87305. Is c a prime number?
False
Let o(r) be the third derivative of 49*r**5/10 + r**4/12 - r**3/6 