alse
Let r(h) be the first derivative of -h**7/840 - h**6/30 - 7*h**5/60 - 7*h**4/12 - h**3/3 + 1. Let w(c) be the third derivative of r(c). Is w(-11) composite?
False
Suppose -o + 2*p = -0*p + 365, -2*p = -3*o - 1111. Let w = -438 + 192. Let v = w - o. Is v a prime number?
True
Let r(y) = -y**3 + 5*y + 5. Suppose 3*j - 12 = -j. Suppose -12 = j*u + 3*b, 4*b + 2 = -u - 2. Is r(u) a prime number?
False
Let l(n) = 2*n**2 - 4*n + 2. Let g be l(2). Let z = g + 10. Is ((-52)/(-8))/(2/z) a composite number?
True
Let d(m) = -m**2 - 6*m - 1. Let g be d(-5). Suppose c - 2*t = 10, -8*c + g*c = -3*t - 35. Suppose 5*k + 245 - 802 = -r, c = 4*r. Is k a prime number?
False
Suppose 2*c - 4*d + 2*d + 164 = 0, 0 = -2*c - 5*d - 171. Let p(n) = -2*n**3 + 4*n**2 + 7*n - 3. Let k be p(5). Let f = c - k. Is f a composite number?
True
Let q(f) = 2*f - 6. Let t be q(4). Suppose -x + t*x = 127. Is x composite?
False
Let w = -9 + 12. Suppose -274 + 1 = -w*o. Is o a composite number?
True
Let c(s) = 2*s**2 - s - 2. Let a be c(2). Let k(i) = 4 - 3*i + 9*i + 23*i - 5. Is k(a) a composite number?
True
Suppose 7*j = 2*j + 3535. Is j prime?
False
Let p = -17 + 10. Let x(s) = -4*s + 2 + 1 + 0. Is x(p) prime?
True
Let s = 8 + -5. Suppose s*a + 652 = 3*d - 1595, -3*d + a = -2251. Is d prime?
True
Is (-1)/(3/4257*-3) composite?
True
Suppose 0 = 5*r - 3 - 12. Is (-158)/3*r/(-2) a composite number?
False
Let f(p) be the first derivative of -p**3/3 - 15*p**2/2 - 13*p - 2. Let t(y) = -2*y + 2. Let n be t(6). Is f(n) a composite number?
False
Let g(h) be the first derivative of -1 + 1/3*h**3 + 3*h + 1/2*h**2. Is g(4) prime?
True
Let d be 3*1/3*60. Suppose -2*v + 4*k = -476, 5*k = v - d - 175. Let s = v + -143. Is s prime?
True
Let o = 267 + -128. Is o composite?
False
Let a(f) = 3*f**2 - f - 27. Is a(8) a prime number?
True
Let n(w) = -w**3 + 13*w**2 + 3*w + 14. Let k = 3 - -10. Is n(k) a prime number?
True
Let t be 3 + (2 - 6) + 5. Suppose t*p - 144 = -4*n, 0*n = 3*p + 2*n - 107. Is p composite?
True
Suppose 4*w + w = 5. Let g(c) = c**2 - c. Let r be g(w). Suppose 0*h - 2*h + 258 = r. Is h a prime number?
False
Suppose -4*y - 101 = -j + 273, 748 = 2*j - 3*y. Let v(f) = f**2 + f - 2. Let k be v(3). Is j/k + (-2)/5 a prime number?
True
Suppose -3*d = -4*g - 1694, -2*d - 2*g + 546 + 588 = 0. Let s = d + -111. Suppose -s = -4*b - b. Is b a composite number?
True
Let y = 63 - 10. Is y prime?
True
Suppose 4*g - 7*g + 35907 = 0. Is g a composite number?
False
Suppose -k = 3*k - 172. Let i = k - 78. Is (i - (2 - 0))*-1 composite?
False
Let d be (54/15)/((-3)/(-100)). Suppose -2*s = -d - 54. Is s a prime number?
False
Let k(n) be the second derivative of 2*n**7/63 + n**6/360 + n**5/120 + n**4/12 - 3*n. Let d(z) be the third derivative of k(z). Is d(-1) prime?
True
Let d = 2 - -2. Suppose 185 = x + d*x. Is x composite?
False
Suppose 0 = 3*t + 4*z - 747, 2*t + 3*z - 497 = -0*t. Is t composite?
True
Suppose -2 = 3*o - 5. Suppose -5*c + 6*r = 2*r - 2131, 0 = r - o. Is c a prime number?
False
Let x(l) = -l**3 + 3*l**2 - 3*l + 4. Let c be x(3). Let j be (-21)/5 - 8/(-40). Is ((-70)/j)/(c/(-10)) a composite number?
True
Suppose -3*c + 0*c + 247 = 2*k, 0 = -2*c - 10. Is k a prime number?
True
Let m(i) = -i**3 + 8*i**2 + 4*i - 17. Is m(8) a composite number?
True
Suppose -7 = -2*s + c, 3*s + s - 23 = -c. Let y(h) = -40*h + 6. Let t be y(s). Is t/(-10) - 6/15 a composite number?
False
Let n be (-8)/(-10)*2205/(-6). Is n/(-9) - 2/(-6) a prime number?
False
Let s = 37 + 87. Suppose 2*f + 3*k = -s, 2*k + k - 12 = 0. Is (2/(-2) - f)*1 a composite number?
False
Let n(h) be the third derivative of h**5/60 + 13*h**3/6 + 4*h**2. Is n(-10) a prime number?
True
Let t(z) = 3*z**2 + 5. Is t(-10) a composite number?
True
Suppose 64 = 5*s - 11. Is s composite?
True
Let z(p) = -p**3 - 4*p**2 - 9*p - 5. Is z(-6) composite?
True
Suppose 2*d - 2*o = 4*d - 1856, -3*o - 6 = 0. Suppose -d = -4*j + 2*z - 4*z, 3*z + 3 = 0. Is j prime?
True
Suppose b = 4*q - 900, 0*b + 2*b = 3*q - 675. Suppose 0 = 3*l - 2*l + q. Let n = l - -316. Is n composite?
True
Suppose f - 1641 = -248. Is f composite?
True
Suppose -20 = -5*j - 4*p, 5*j - 8 = 4*p + 12. Suppose b + b + 428 = 2*o, j*o = -b + 876. Suppose -4*x - u = -o, -2*u - 361 = -5*x - 82. Is x composite?
True
Let n(f) = 2*f**2. Let c be n(3). Let g be 0 + 22 + 0 + -4. Is 4/c + 662/g a prime number?
True
Let f(w) = 33*w**2 + w - 1. Is f(6) a prime number?
True
Is ((-1)/(-1) + (-978)/(-4))*2 a composite number?
False
Suppose -3*s = 4 + 2, -3*s = 5*m - 114. Suppose -m - 21 = -3*n. Is n prime?
False
Let p = 344 - 538. Let h = 661 + p. Is h a prime number?
True
Is (-4 - (-19 - 4))*3 prime?
False
Let g be (-4)/6 + 634/6. Suppose 2*y - g = -3*y. Is y a composite number?
True
Suppose 4*s - 46 = 154. Suppose 0 = 6*i - i - s. Suppose -o = -2*o + i. Is o prime?
False
Let c(a) = -446*a**3 + 2*a + 1. Is c(-1) a composite number?
True
Suppose 3*m = -4*n - 35, 0*n - m = -n. Let l = n + 7. Suppose -l*d + 116 = -122. Is d composite?
True
Let o(i) be the first derivative of -i**3/3 - 2*i**2 + i + 1. Let d be o(-3). Suppose -2*x + 2*y + 24 = 0, -d*y = 2*x + 7 - 1. Is x a composite number?
False
Suppose -512 = -4*u + l + 9, 5*l + 670 = 5*u. Is u a prime number?
False
Suppose 3*p = 3 - 15. Is p/(-3) - 245/(-3) composite?
False
Let j be (8/6)/((-4)/(-72)). Suppose 2*q - 6*q - 4*k + 4980 = 0, -5*k = -q + 1227. Is q/j - 3/4 a composite number?
True
Let v(h) = 5*h**2 - 2*h - 1. Let o be v(-1). Let w(d) = -d**3 + 8*d**2 - 8*d - 5. Is w(o) composite?
False
Let s(h) = -15*h - 40. Let y be s(-10). Let k = -39 - -17. Is 4/k + 17070/y a prime number?
False
Suppose 2*o + 4 = 4*u - u, -5*o - 5*u + 40 = 0. Suppose -o*k = -k - 987. Suppose -k - 6 = -5*h. Is h composite?
False
Suppose -5*a = 0, 3*h + 0*a = -a. Suppose h = -i - 3*i + 332. Is i composite?
False
Suppose 6*i - 2*g - 4961 = i, -2964 = -3*i - 3*g. Is i composite?
False
Let d = -1264 + 2943. Is d a prime number?
False
Suppose o - 48 = 22. Suppose -o = -3*p + 89. Is p a prime number?
True
Suppose 28 = 3*u - 2*q, 3*q + 7 = 4*u - 3*u. Is u a prime number?
False
Let s(t) = 6*t**2 - 4*t**2 + 4 - t**2. Let x be s(3). Suppose k - 3*k + 31 = z, -z + x = -4*k. Is z prime?
False
Suppose 5*c + 2*z = 5*z + 51, 2*z = -2*c + 14. Let i = c - 5. Suppose -i*q - 3*n + 271 = 0, 5*n - 340 = -6*q + q. Is q composite?
False
Is (10 - 6)*(5115/12 - -1) a composite number?
False
Suppose -2*h = -2*m + 36, -3*m + 54 = -2*h - 2. Let p(o) = -o**3 - 4*o**2 - 4*o. Let w be p(-3). Let a = w + m. Is a a composite number?
False
Let s be (1 + -2 - -3) + 4. Let g(h) = 23*h - 5. Is g(s) prime?
False
Let n(l) = -l + 2. Let d(t) = -t**3 - 7*t**2 - 6*t - 4. Let r be d(-6). Let j be n(r). Suppose 46 = j*u - 5*u. Is u a prime number?
False
Let b(x) = -x**3 - x**2 + x + 3. Let f be b(-3). Let j = 87 - f. Is j a composite number?
True
Let p = -77 + 133. Suppose 3*l = -p + 245. Suppose 3*z = -0*z + l. Is z composite?
True
Let x(d) = d**2 + 4*d + 1. Let g be x(-3). Let z(w) = -w**2 - w + 1. Let t be z(g). Let j = t + 4. Is j a prime number?
True
Let c = 1 - 0. Let t(z) = -c + 2*z + 4 - 14*z. Is t(-3) a composite number?
True
Suppose 4*p = -p. Suppose -5*r + 1 - 11 = p. Is (-115)/10*(r - 4) composite?
True
Let p be 22/(-26) + 10/(-65). Is (-3)/p - (-2 - 32) composite?
False
Let z = 86 - 19. Let l = 94 - z. Let p = 150 - l. Is p prime?
False
Let w(p) = -2*p - 1. Let z be w(6). Is -2 + (0 - 13*z) a composite number?
False
Suppose -16 = -2*s + 4*s + 4*h, 5*h + 35 = 5*s. Let n(w) = 8*w**3 + 2*w**2 - w - 1. Is n(s) composite?
True
Suppose -i = 2*x - 1386, -4*x + 0*x + 2*i + 2756 = 0. Is x a prime number?
True
Let c(q) = -429*q**2 + 21*q - 6. Let y(i) = 86*i**2 - 4*i + 1. Let x(l) = 2*c(l) + 11*y(l). Is x(-1) a composite number?
False
Is 979/(-1*3/(-3)) prime?
False
Suppose -1115 = -d - 0*d. Is d prime?
False
Let y = -420 - -1165. Suppose -v + 5*v + 235 = a, -3*a + 2*v + y = 0. Is a composite?
False
Suppose -1173 = -2*q - 99. Is q composite?
True
Let i be 870/(-45)*3/2. Suppose 2*y - 14 + 2 = 0. Let o = y - i. Is o prime?
False
Let f(l) = l + 1. Let r be ((-2)/2)/(2 + -1). Let n be f(r). Is (-46)/(-2 - (0 - n)) a composite number?
False
Suppose 20*n - 47307 = 7*n. Is n a prime number?
False
Let x = 5 - -1. S