rue
Let l(g) = 6*g - 4. Let s(b) be the second derivative of 7*b**3/6 - 5*b**2/2 + b. Let m(a) = -3*l(a) + 2*s(a). Is m(-5) composite?
True
Let m(c) = -c**3 - 2*c**2 + c - 2. Let u be m(-3). Is 2/(-1*u/(-134)) prime?
True
Let p be -4 - 75*12/(-3). Let h = 245 + p. Is h a prime number?
True
Suppose -5*d + d = 3*w - 27, -2*d - 5*w + 31 = 0. Suppose p - d*p + 24 = 0. Is -1 + 159*p/9 a prime number?
True
Let p(f) = -10*f + 7. Let y be 5/10 - 15/2. Is p(y) prime?
False
Let r(l) = 12*l**2 - 1. Let t = 4 - 2. Suppose -t*v - 2 = -v. Is r(v) a prime number?
True
Let h(i) = i**3 + 10*i**2 + 10*i + 13. Let r be h(-9). Suppose 0 = 3*x + 2*o + 83, -4*x - 103 = -o - r*o. Let a = x + 154. Is a composite?
False
Let o(w) = -w**3 - 6*w**2 + 4*w + 5. Let f be o(-7). Let t = -5 - f. Let m = -17 - t. Is m composite?
True
Let h be ((-2)/4)/(1/(-10)). Suppose -a + 2*a = h. Let i(x) = 16*x - 3. Is i(a) composite?
True
Suppose 0 = -2*t + 10, 0 = 2*c + c + t - 2792. Is c a prime number?
True
Suppose 0 = -3*n + 2 - 8, -2*b + n = -136. Is b prime?
True
Let g(q) = 519*q - 2. Is g(1) a prime number?
False
Suppose 0 = -5*q + 20, 4*r + 2*q = r + 425. Is r prime?
True
Suppose 5*d - 20 = 0, -3*d = 3*l - 0*l - 657. Let k = 2 + l. Is k a composite number?
True
Suppose -3*h + 15 = 3*a - 0, -5 = -4*a - h. Is 1*((a - 0) + 19) composite?
False
Let o(l) = 176*l - 3. Is o(5) a prime number?
True
Let n = 30 - 20. Let d be ((-5)/n)/((-2)/12). Suppose 6 = d*y, 0 = -2*m - 2*y + 4*y + 2. Is m a composite number?
False
Let d(b) be the third derivative of -18*b**6/5 - b**3/6 - b**2. Is d(-1) a prime number?
True
Let r(y) = 15*y**2 - 2 + 13*y + y**3 + 0*y**3 - 10. Is r(-13) a composite number?
False
Suppose y - 433 = 2104. Suppose 5*j = 518 + y. Is j composite?
True
Let r(x) = -6*x**3 - x**2. Let u be 20/(-5) + 2 + 1. Let k be r(u). Suppose k*b = 83 + 102. Is b a composite number?
False
Suppose 4*q - 3*q = 0. Suppose -2*p - 3*p + 40 = q. Let s = p + -5. Is s prime?
True
Suppose -j - 3*j = -16. Suppose 0 = -0*w + j*w - 8. Suppose -7*o = -w*o - 815. Is o prime?
True
Let y(i) = -i**2 + 2*i - 3. Let z be y(6). Is 1*(2 - (z - 2)) a composite number?
False
Suppose 0*p + 4*p = 1676. Is p composite?
False
Let v = 4 - 1. Suppose -w - v*t + 85 = -4*t, 3*t - 354 = -4*w. Is w a composite number?
True
Suppose -546 = -8*m + 2*m. Is m a prime number?
False
Suppose -3482 = l - 3*l. Is l composite?
False
Suppose 0*a + 66 = 4*a - j, 81 = 5*a - 2*j. Suppose 3*k = -5*q + 19, 0*q - 3*k + a = 4*q. Suppose 7*o - 385 = q*o. Is o a prime number?
False
Let a(o) be the third derivative of 0 + 0*o**5 + 53/30*o**6 + 0*o - o**2 + 0*o**4 - 1/6*o**3. Is a(1) a prime number?
True
Let s(v) = v**2 + 5*v - 5. Let n be s(-7). Let f = 10 + n. Is f a composite number?
False
Suppose 4*a + 0*t = -3*t - 7, -4*a - 2*t - 2 = 0. Suppose -270 + 88 = -a*q. Suppose -q = -m - 2. Is m composite?
False
Let c be 1/2 - (-14)/4. Suppose -174 = -2*t - c*p, -391 = -3*t + p - 158. Is t a composite number?
False
Is 3 - 1 - (869 - 8)*-1 prime?
True
Suppose 3*p = -a + 1329, 886 = p + p + a. Is p a prime number?
True
Suppose 0 = 3*h - 7*h + 7604. Is h a prime number?
True
Suppose 3*p = -2*w + 4*p + 111, -5*p = -w + 60. Suppose -2*h = o - 2*o + w, 5*h = 2*o - 105. Is o prime?
False
Let p(m) = -m**2 - 10*m - 7. Let t be p(-9). Suppose -2*i - 1 = -3*x + 8, -t*x + 38 = -4*i. Let k = i + 26. Is k prime?
False
Let m be 77/(-35) + 1/5. Let w(c) = 3*c**2 + 3*c. Is w(m) prime?
False
Let s = 3 - 1. Is 2*8 + s/(-2) prime?
False
Let i be (-6)/5*30/(-18). Let f(y) = 2*y - 7. Let u be f(5). Suppose -i*z + z = 5*t - 99, u*z = 3*t - 45. Is t composite?
False
Let i(m) = 4*m - 10 - m - 2*m. Let t be i(8). Is (20 - (t - -1)) + 0 composite?
True
Let q be (-4)/(-24)*-2*-33. Let b(y) = y**2 - 7*y - 13. Is b(q) composite?
False
Let j = 31 - 2. Suppose 21 = 5*y - j. Is y prime?
False
Let f(r) = -r - 2. Let c be f(-6). Is 56 + 6*(-2)/c a composite number?
False
Suppose -3*a = -k - 2, -4*k + 4*a - 6 = -k. Let b be k*(-2 - (-135)/(-6)). Is b + 0 + 4/(-2) a prime number?
True
Let p = -35 - -88. Is p prime?
True
Let z be (6/4 - 1)*8. Suppose 2*f + 0*f = -m + 7, -2*m = 5*f - 15. Suppose -z*k - 370 = c - 3*c, -m*c - 4*k = -925. Is c composite?
True
Suppose -t - 4*t + 2991 = 2*w, -t = -2*w - 603. Is t a composite number?
False
Let d(r) = 26*r**2 + 3*r + 2. Let y be d(3). Suppose 2*c - s - 155 = -c, -y = -5*c + 5*s. Is c a prime number?
True
Let m = -25 + 122. Let r = m - 32. Is r a composite number?
True
Let y(m) = 2*m**2 - 3*m - 3. Let d be y(-5). Let c = d + -43. Is c prime?
True
Let b be ((0/(-1))/1)/(-1). Let q = 9 - 16. Let m = b - q. Is m a prime number?
True
Let r = 65 - 19. Is r a composite number?
True
Let l(k) = k**3 + 9*k**2 - 18*k + 7. Is l(-10) composite?
True
Suppose -2 = -t + 5. Is t prime?
True
Let d(z) = -z**3 + 4*z + 3*z**3 + 1 + 5*z**2 - 7*z. Suppose 5*i + 0 = 15. Is d(i) a prime number?
False
Suppose -g - 3 = 0, 5*u + 3*g - 306 = -0*u. Let n = u + 28. Is n prime?
False
Suppose 26 = -2*l + 114. Suppose 2*r + 1 = -1, 4*h + 4*r - l = 0. Is ((-8)/h)/((-4)/114) composite?
False
Let d = -8 - -11. Let z(y) = -8*y - 3*y - d + 1. Is z(-3) a composite number?
False
Let h(u) be the third derivative of -u**6/40 + u**5/20 + u**4/6 + u**3/2 - u**2. Let s(m) = 2*m + 2. Let c be s(-2). Is h(c) a composite number?
False
Let v = -138 - 91. Let y = -150 - v. Is y a composite number?
False
Let a = 722 + 365. Is a prime?
True
Let f = -413 - -858. Is f a prime number?
False
Let t = -9 - -11. Suppose -161 = -t*z + 467. Is z composite?
True
Suppose 0 = 4*n - 4, 2*i + 0*n + 4 = 4*n. Suppose 2*z = 3*m - 225, -5*m + i*z + 388 = z. Is m a composite number?
True
Suppose 385 = -3*w + 7*w - 5*p, -5*w = 4*p - 512. Let g = 14 - 9. Suppose 0 = -g*h + h + w. Is h prime?
False
Suppose -i + 1 = -2. Suppose 0 = i*g - 5*g - 2. Is g*(-23 - (-3 + 5)) a prime number?
False
Suppose u - 190 = -d, -574 = 2*u - 5*u - 2*d. Suppose o - 62 = 3*r, -3*o + 0*r + r + u = 0. Is o prime?
False
Let g = 6 - 3. Let z(w) = 27*w - 2. Is z(g) a prime number?
True
Let x(r) = -r**3 + 12*r**2 + 3*r - 1. Suppose -2*v + 9 = -15. Is x(v) prime?
False
Let u = 5 + -3. Is 10 + 1 + (-2)/u composite?
True
Let t be (-48)/(1 - 12/9). Let b = 213 - t. Is b a composite number?
True
Let q = 2000 + -1087. Is q prime?
False
Let j = -1 - -1. Suppose 4*l - 6*l + 26 = j. Is l prime?
True
Let g(m) = 53*m**2 + 5*m - 1. Is g(3) composite?
False
Let w(c) = c**2 - 5*c + 5. Let y be w(4). Let u(g) = g**2 - g + 1. Let k be u(y). Suppose -4*r - k = s + 4, 0 = -5*s - 3*r + 60. Is s prime?
False
Let j = 2 + 0. Suppose -3*l = -j*l. Suppose 5*p - 5*c - 640 = l, -2*c - 1 = 1. Is p prime?
True
Let t be 1/((-14)/(-12))*7. Let f be t*(0 - -14) + -1. Let j = -57 + f. Is j composite?
True
Let v(h) = -5*h**3 - 5*h**2 + h + 2. Let i be v(-4). Suppose x + x - i = 0. Is x a prime number?
False
Let r(u) = -99*u + 19. Is r(-10) composite?
False
Suppose 2*h - 598 = -4*b, -3*b + 1152 = 4*h - 29. Is h a composite number?
False
Let c(m) = -62*m + 1. Let s be c(3). Let f(b) = 53*b - 2. Let i be f(6). Let g = s + i. Is g prime?
True
Let d be -2 - (3 - (-1 - -6)). Suppose 2*n - 348 = f - 3*f, d = 5*n - 2*f - 898. Is n composite?
True
Suppose 0*d + 4207 = 3*d - 4*n, 3*d - 4187 = -n. Is d prime?
False
Let u(d) be the third derivative of d**5/60 - d**4/12 + d**3/3 + 2*d**2. Suppose -4*a + 4 = 4*z, -2*z = 3*z - 5*a - 35. Is u(z) a prime number?
False
Suppose 3*x = 5*x - 8. Suppose 106 = 3*r - x*m, -r - m + 6 + 27 = 0. Is r a composite number?
True
Let c(u) = -5*u - 3. Is c(-10) composite?
False
Let m = 38 + -19. Is m a composite number?
False
Let w = 120 + -184. Let a = 21 - w. Is a prime?
False
Suppose 0 = -3*n + 2*n + 3. Suppose -2*g - 37 = -n*g. Is g a prime number?
True
Let f be ((-27)/6)/(-1)*-2. Let p be 2/((-6)/f)*1. Suppose s - 4*s + 282 = p*l, 4*l - 378 = -2*s. Is l composite?
True
Let r(l) = 2*l**2 + 11*l + 1. Let q be r(13). Suppose 0 = -3*m + q + 763. Is m a composite number?
True
Suppose -f - 76 = -455. Is f prime?
True
Suppose -5*w - 4*l + 323 = -156, 4*l = w - 91. Is w prime?
False
Let h = -1803 - -3378. Suppose 40 = -5*s + h. Suppose -s = -4*t - 5*y, -3*t + 0*t + 244 = y. Is t prime?
True
Suppose -3*l = 4*v + 56 - 323, -2*v - 419 = -5*l. Suppose 2*t - 41 - 3