rst derivative of 55*o**2/2 - 20*o + 3. Let d(r) = -15*c(r) + 2*p(r). Is d(-8) composite?
True
Suppose -2*f - 45 + 15 = 0. Is ((-1)/2)/(f/10050) prime?
False
Is (-9786)/(-9) - 1/3 a prime number?
True
Let v be (-114)/2*6/(-9). Is 11*v + (-1)/(-1) prime?
True
Suppose -2*s = 3*s - 1285. Is s prime?
True
Let m be (-30)/(-9) + (-3)/9. Suppose 5*b = -2*y - 9, -y = -m*b - 0*b - 1. Is 77 + 1 + b + 2 prime?
True
Let z be 2/6 - (-26)/(-6). Is z/6*21/(-2) a composite number?
False
Suppose 0*v + 5*i = v, 0 = -4*i. Suppose v = k - 6*k + 2785. Is k a prime number?
True
Let v(a) = -a**2 - 2*a + 3. Let x be v(-3). Let i be 0 + x + 0 + -1. Is i/(-2) + (-109)/(-2) a prime number?
False
Let s be 8/(-16)*4*-3. Suppose -2*a = -0*a - s. Is (a - -1)*(-59)/(-4) composite?
False
Suppose 7127 = 11*m - 3906. Is m a prime number?
False
Suppose -4*o - 28 = -2*o. Suppose -4*q + 134 = -5*z + 5, 5*z = 15. Let n = o + q. Is n a prime number?
False
Suppose 5*v = 6308 - 2053. Is v a prime number?
False
Let n = 5 + -4. Let p be 1/n + 1*-3. Is (p*1 + 136)/2 composite?
False
Suppose -v - 5*m + 31 = 0, -v + m = -2*m + 9. Is ((-9)/v)/(3/(-174)) a composite number?
True
Let q = -12 - -2. Let h = q - -9. Let t(d) = -71*d. Is t(h) composite?
False
Let r = 4 - 5. Is (-74)/(-2) + r - 1 a prime number?
False
Let z = -152 + 237. Is z a prime number?
False
Let v = 2 - 7. Let q be v*3/3 - -2. Is 75 + -1 + 3 + q composite?
True
Let b be 6/(-48) + (-6082)/(-16). Let o = b + -87. Is o prime?
True
Suppose -16 = -0*p - 4*p. Suppose -515 = -p*n + 317. Suppose -4*r - 2*g + n = 0, -4*g + 64 = 2*r - 34. Is r prime?
True
Let j(h) = -h**2 + 4*h - 3. Let a be j(3). Let k be ((-1116)/2)/3 + a. Let f = k + 265. Is f a prime number?
True
Let k = -939 - -1574. Is k composite?
True
Suppose 5*u + 6 - 41 = 0. Let v(d) = d - 7. Let z be v(u). Suppose -2*w + 89 - 19 = z. Is w a composite number?
True
Let l = 886 - 185. Is l prime?
True
Suppose -4*y - 4*s + s + 8797 = 0, 3*y = 4*s + 6629. Is y prime?
True
Suppose -18 = -3*i + 6. Let l = 85 + i. Let f = -42 + l. Is f prime?
False
Let k(b) be the second derivative of 7*b**4/12 + 3*b**2/2 + 2*b. Is k(4) prime?
False
Let q = 41 + -85. Let d = q + 171. Is d composite?
False
Suppose 0 = 3*h + 2*h. Suppose -4*a + 5*a - 133 = h. Is a prime?
False
Let x(s) be the third derivative of -19*s**6/20 + s**3/6 - 2*s**2. Let g be x(1). Let b = -58 - g. Is b a prime number?
False
Let s(d) = d**3 - 8*d**2 - 15*d + 5. Let p(t) = t**3 - 5*t**2 + 2*t. Let z be p(5). Is s(z) a composite number?
True
Let m(l) = -l**2 + 3*l**2 + 3*l**2 - 4*l**2. Is m(-3) a composite number?
True
Let d be 1*(-3 - 1) + 4. Let a(u) = 59*u**3 + u + 2. Let r be a(2). Suppose d = -3*i - i + r. Is i composite?
True
Let m be 6/(-39) + 1250/13. Let g = 329 - m. Is g a composite number?
False
Is (-1)/(-4) - 883/(-4) composite?
True
Let y = 17 + -13. Suppose -y*g + 3*g = -191. Is g a composite number?
False
Let d = -93 - -363. Let c = d - 159. Is c a prime number?
False
Suppose -3*d + 7*d = -n + 1001, 4948 = 5*n + d. Is n a composite number?
True
Let u = 9442 - 6237. Is u a prime number?
False
Let i(j) = -3*j + 1. Let n = 25 - 14. Let h(s) = 7*s - 2. Let x(z) = n*i(z) + 6*h(z). Is x(6) prime?
True
Let o = 413 - 245. Suppose -7*b = -3*b + o. Let t = -23 - b. Is t prime?
True
Let o(h) be the second derivative of 5*h**4/12 + 9*h**2/2 - 4*h. Is o(-8) composite?
True
Let r be 12/4 - 0/(-1). Suppose -63 = r*g + 21. Let h = g + 63. Is h prime?
False
Suppose 98 = 2*j - 4*v, 0 = 2*j - 2*v - 79 - 19. Is j prime?
False
Let w be ((-5)/2)/(-5)*0. Suppose w*s = s - 51. Is s a composite number?
True
Let o(h) = -5 - 4*h**2 - 9*h - 1 + 4*h**2 - h**2. Let i(u) = -u + 2. Let q be i(6). Is o(q) a prime number?
False
Suppose -8*d + 264 = -4*d. Is d/10 - (-16)/40 composite?
False
Suppose x = -3*s - 8, -4*x + 6*s = s - 36. Let c be (-138)/x - (-6)/(-12). Is 14/c + (-494)/(-10) composite?
True
Suppose -3*q + 300 = -3*j, q - j = -q + 197. Is q a prime number?
True
Let z = 173 - 60. Is z a composite number?
False
Is 2*(-124)/(-24)*3 a prime number?
True
Let h be -6 + 3 + -1 + 9. Suppose -h*x = 2 + 28. Is (-177)/x - (-6)/4 composite?
False
Is (-1)/(-5) - ((-196764)/(-10))/(-3) a composite number?
True
Is (-6)/(-18) + 4*355/6 a composite number?
True
Suppose -5*l + 9 = -2*l. Suppose 2*d + 126 = l*w - d, -5*d = 4*w - 177. Is w composite?
False
Suppose -8 = -2*p - 0*p. Is (118/p)/((-7)/(-14)) composite?
False
Let v(l) be the first derivative of -15*l**2/2 - 8*l - 4. Is v(-9) prime?
True
Suppose -f - 3*f = y + 12, -2 = -5*f + 3*y. Is (7/(-2))/(f/20) composite?
True
Is 477 + (4 - 8/20*5) a composite number?
False
Let m = 0 - -53. Is m composite?
False
Let o = 981 - 340. Is o a composite number?
False
Let v be 12 + -15 + (-3)/(-1). Suppose -5*x = -v*x - 775. Is x prime?
False
Suppose -65 = 5*v + 45. Is (-11)/(v/600) - 1 prime?
False
Let h = 266 + -111. Is h a composite number?
True
Let h = -1 + 3. Suppose -5*v + 195 = -h*x, 5*x = -2*v - 2*v + 123. Is v prime?
True
Let a(f) = -8*f + 3. Let v be a(-12). Is ((-2)/(-6))/1*v composite?
True
Let s(q) = 26*q**2 - 3*q - 2. Is s(3) prime?
True
Suppose -r = -3*h + 1, 3*r + 4*h - 81 + 32 = 0. Suppose -3*i + 11 = -4*p, -5*p + 3*p - 9 = -5*i. Suppose 3*y - r - i = 0. Is y a composite number?
True
Let b be (0 - 0)/(1 - 0). Suppose 4*w + 336 = -b*w. Is (-2 - -2 - w) + 1 composite?
True
Suppose -7 = -4*h + 5. Suppose 0 = -h*i + 196 + 275. Is i prime?
True
Suppose 0 = 2*m + 4*b - 40, -2*m = -b - 4*b - 31. Let u(y) = 26*y - 3. Let h be u(3). Suppose 3*n = m + h. Is n a prime number?
True
Let n be -2 - ((1 - -1) + -15). Let s be (-284)/(-24) - 2/(-12). Suppose -d = -s - n. Is d composite?
False
Suppose 6 + 14 = -4*c, 5*y - 1110 = 3*c. Is y a prime number?
False
Let p = 1 + 2. Suppose 0 = -p*l - l. Suppose l = 5*o + 4 - 109. Is o a prime number?
False
Suppose -12 = -2*w - 2*w. Suppose -2*a - 2*z = -7*z - 60, -101 = -w*a + 2*z. Is a a composite number?
True
Let d = 7 + 57. Let c(r) = -11*r**3 - r - 2. Let l be c(-2). Suppose 4*p = d + l. Is p prime?
False
Suppose 14*i - 7285 = 9*i. Is i a composite number?
True
Suppose 2*j = -4*s + 4*j + 4476, 5*j + 5605 = 5*s. Is s composite?
False
Let w be -4*((2 - 1) + -318). Let j = w - 687. Is j composite?
True
Let x be 2 - (0/(-2) - 2). Suppose z = -x*z + 235. Is z composite?
False
Let t be (-8 - -2)/(1 - -1). Is (17/t)/(12/(-72)) a prime number?
False
Let d(u) = -u**2 + 5*u - 2. Let x be d(4). Let g be -2 + (x + -5 - -10). Suppose a = g*a - 268. Is a composite?
False
Suppose 0 = -4*x + 2*a + 1554, -x - 4*x = -2*a - 1943. Is x a prime number?
True
Suppose -3*r + 443 + 268 = 0. Is r a prime number?
False
Let n be 3/(-9) + 32/6. Let j = n + -9. Let l(m) = -m**3 - 2*m**2 + 5*m - 2. Is l(j) a prime number?
False
Is (-1)/(27/6) + (-11744)/(-36) composite?
True
Suppose j = 4 - 10. Is -2*((-531)/j)/(-3) prime?
True
Let b = -121 + 606. Is b prime?
False
Suppose 6*l + 3*i - 3133 = 2*l, 3*i = l - 802. Is l a prime number?
True
Let z(v) = 4*v**2 - 4*v - 2. Let n = -6 - -10. Is z(n) a prime number?
False
Let l = 11 + -9. Suppose 7*m - l*m = 2095. Is m a prime number?
True
Let b = -779 + 1311. Let q = b - 366. Is q a composite number?
True
Let f(d) = d**2 + 4*d + 6. Let m be -5*(6/2 - 2). Is f(m) prime?
True
Suppose 7 + 7 = q. Let l be q/3 - 4/(-12). Is 1/l - 804/(-5) a composite number?
True
Let x = -78 + 157. Is x a prime number?
True
Let s(r) be the second derivative of r**5/20 + 5*r**4/12 - 2*r**3/3 + 3*r**2 - 4*r. Is s(-5) composite?
True
Suppose -2*b + 27 = 5*c, 5*b - 2 - 3 = 0. Suppose -c*r - 79 = -784. Is r composite?
True
Suppose 0 = -5*p - 4*a + 1051, -3*p - 4*a - 637 = -6*p. Is p a prime number?
True
Suppose 12 = 3*c - o, 4*c - o = 5 + 11. Let q be (10 + -2)*1/c. Suppose 0 = -3*a - 2*h + 102, -q*h + 83 - 15 = 2*a. Is a a prime number?
False
Suppose 2*n - 4*n = -446. Is n prime?
True
Let a(x) = x**2 + 3005. Is a(0) a composite number?
True
Suppose 2*i - 109 = -5*c + 40, -2*i + 5*c + 159 = 0. Is i a prime number?
False
Let m be (0 - 2*-1) + 23. Suppose -m = -4*z + c, z + c - 1 = -4*c. Let d = 73 - z. Is d a prime number?
True
Let g(h) = h**3 - 11*h**2 + 4*h + 1. Suppose -3 = -p + 1. Let q(m) = m**3 - 10*m**2 + 4*m. Let z(d) = p*g(d) - 5*q(d). Is z(5) a prime number?
False
Let 