 Is p a prime number?
False
Is ((-3)/6)/((-5)/80) - -617865 a composite number?
False
Suppose -5*r - 797728 + 236194 = -4*p, 0 = 2*p + 5*r - 280752. Is p a prime number?
True
Suppose 516266 = 221*c - 218*c + 5*o, 5*o + 516316 = 3*c. Is c a prime number?
True
Let l = 1813 + 657. Suppose -l = -27*n + 17*n. Is n a composite number?
True
Let w = -31 - -39. Let q(c) be the second derivative of 5*c**4/12 + 7*c**3/3 - 23*c**2/2 + 37*c. Is q(w) prime?
True
Suppose 0 = -5*s + 3*b - b + 69, -49 = -3*s + 5*b. Suppose 0 = s*y - 4*y - 45. Suppose y*f - 5*n = f + 2784, 709 = f + 2*n. Is f a prime number?
True
Let s(o) = -2*o**3 - 41*o**2 + 26*o + 18. Let v be (-1080)/27 + 8 + 0. Is s(v) a composite number?
True
Suppose 0 = -w - 3*w - 16. Let t(m) be the second derivative of -3*m**5/20 - m**4/2 - 7*m**3/6 + 3*m**2/2 - m + 43. Is t(w) composite?
False
Let s(x) = -x**3 - x**2 + 2. Let p(v) = 21*v**3 - 4*v**2 - 11*v + 3. Let q(f) = p(f) + 2*s(f). Is q(6) prime?
False
Let u = 1025871 + -424310. Is u prime?
False
Let l be 9458/10 + (-8 + -1)/(-45). Suppose l*h - 943*h - 16413 = 0. Is h prime?
True
Is (-13)/(390/(-12))*(0 + 72395) composite?
True
Suppose -117054 = 6*x + 15756. Let s be 6/(-15) + x/(-25). Let o = -368 + s. Is o composite?
True
Suppose 6*d = -0*d + 8136. Let z = d + -649. Is z a prime number?
False
Let k(f) be the first derivative of f**5/20 - f**4 - f**3/6 + f**2/2 + 3*f + 17. Let i(s) be the first derivative of k(s). Is i(13) prime?
True
Suppose 0 = -3*d - s - 14, -3*s = -3. Is d/10*2*-4049 composite?
False
Let q = 364741 - 199110. Is q prime?
False
Suppose 7*a + 5 = 26. Suppose -5*x + 10260 = -5*p, 5*x - 10262 = -0*p + a*p. Is x prime?
True
Suppose 5*y + 4*w - 77 = 0, 33 = 2*y - w - 3. Suppose 2*l - 3*z = -0*l + y, 0 = 5*l + 3*z + 10. Let i(v) = 1848*v**3 + v**2 - 4*v + 2. Is i(l) prime?
True
Let f(d) = 45*d + 2. Let m be f(2). Suppose -6 = 33*b - 3 - 3. Suppose -g - g + m = b. Is g a prime number?
False
Let j(w) = 2*w**3 + 30*w**2 - 6*w + 23. Is j(12) composite?
False
Let k(w) = 1331*w + 2596. Is k(81) a prime number?
False
Suppose c - 14*r + 9*r = 852, 3*c - 2574 = -3*r. Let p = c - -710. Is p a prime number?
True
Let i(q) = -q**3 + 7*q + 21. Let w be ((-2)/(-3))/(2/(-15)). Is i(w) a prime number?
False
Suppose 29575207 = 361*k - 294*k. Is k a prime number?
True
Suppose -2*f = 4*b - 29600, -5*b + 12701 + 24296 = 3*f. Is b a composite number?
True
Let u be (2/(-4))/(-1)*-4. Let k(h) = -28*h - 1271. Let y be k(-68). Is (420/90)/((-1)/y*u) prime?
False
Let a(f) = -745*f**3 - f**2 + 2*f - 1. Let q be a(1). Suppose -4*t = 46 - 50, -l = -2*t - 1064. Let d = l + q. Is d a composite number?
True
Let l(u) be the third derivative of 44*u**5/3 + 5*u**4/12 - 3*u**3/2 + 74*u**2. Is l(3) composite?
True
Suppose 2*t = 14*t + 3432. Suppose -653 + 1979 = 2*n. Let g = t + n. Is g a prime number?
False
Let t(q) be the third derivative of -97*q**4/8 + 154*q**3/3 + 178*q**2. Is t(-15) composite?
False
Let p be (-6722)/((4/(-35))/(36/90)). Suppose -p - 6794 = -9*b. Is b prime?
False
Suppose -2*r = -i - 7, -3*i - 19 = -3*r - 2*r. Is (-9 + 10)/(i*(-3)/61947) a prime number?
True
Suppose 0 = 2*n - 4 - 8. Let r(k) = 188*k - 1337. Let y be r(7). Is 7/(y/n)*(-913)/2 composite?
True
Let z(d) = 14*d**3 + 9*d**2 + 25*d + 16. Let c be z(-4). Let b = c - -3763. Is b composite?
False
Suppose -5511*c - 45169 = -5512*c. Is c composite?
True
Let c = 23403 + -2860. Suppose -21263 = -2*a - 3*m, -c + 73733 = 5*a + m. Is a a composite number?
False
Let s(n) = -3*n. Let z be s(-3). Let h(r) = r**2 - 9*r + 5. Let i be h(z). Suppose 0 = -i*j + 2912 + 5893. Is j composite?
True
Let q(w) = -w**3 + 2*w**2 + 11*w + 13. Let x be q(5). Let b(o) be the second derivative of o**4/4 - 7*o**3/2 - o**2/2 + 12*o. Is b(x) prime?
True
Let c(d) = 31*d**3 - 2*d**2 + 8*d - 4. Let h = -15 + 19. Suppose 9 = h*m - m. Is c(m) composite?
False
Let a(m) = -4*m - 19. Suppose -5*p - 4*h - 30 = -0*p, 0 = 2*p - 3*h + 12. Let j be a(p). Suppose -j*w = -7072 + 2357. Is w a composite number?
True
Let n(t) = 4*t**2 + 17*t + 21. Let f be n(-3). Suppose f*j - 4789 - 7679 = 0. Is j prime?
False
Is (0 - -5 - 2) + 128193 + 61 a composite number?
False
Suppose -2*r + 5*b + 7575 = -26658, 17144 = r + 3*b. Suppose 0*m - m + r = 0. Is m a composite number?
True
Let l be (-140)/18 + 76/(-342). Is (-297220)/l + (-24)/16 a composite number?
True
Suppose -287 = -10*z - 167. Suppose z*a + 0*a = 55428. Is a a prime number?
False
Let k be 14*(1 - 15/10). Let g(f) = 19*f**2 - 14*f - 29. Let j be g(k). Let z = j - 353. Is z composite?
False
Let w be (2474/1)/(-4 - -6). Suppose -3*o + w = -d, 2*d = 4*d - 4. Let r = -22 + o. Is r composite?
True
Let n(g) = -g**2 - 16*g - 52. Let s be n(-11). Suppose -s*l + 1588 = -647. Is l composite?
True
Let y(b) be the third derivative of 2*b**5/15 + b**4/24 - b**3/6 + 49*b**2. Is y(6) composite?
False
Let j(v) = -3*v + 9. Let w be j(6). Let d(b) = -11*b**2 - 9*b - 9. Let h(x) = 23*x**2 + 18*x + 19. Let z(m) = -7*d(m) - 3*h(m). Is z(w) a composite number?
True
Let m be (10/(-5))/(2/2). Let j be ((3 + 9)*(-2)/3)/m. Suppose -l = -j*l - 2*d + 67, 4*d + 73 = 3*l. Is l a composite number?
False
Let c be (-6)/3*30/(-12). Suppose 7*t - c*t + 8 = 0. Is 26*(254/t)/(-1) a prime number?
False
Suppose -6*v - 154 - 92 = 0. Let h = v - -2222. Let y = h - -248. Is y a prime number?
False
Let h be (5 + -5)/(-6 - -5). Suppose h = -16*o + 47 + 33. Suppose -347 = -a - 4*b, o*a + 6*b = 2*b + 1671. Is a composite?
False
Let u be (4/16*-8593)/(4/48). Is (-9)/(-12) - 2/(24/u) a prime number?
False
Let j = 9 + 37. Suppose j*z - 41*z - 490 = 0. Let o = z + 47. Is o a composite number?
True
Let t = -430 - -435. Suppose 4*j - 18442 = -3*u, -1 + 11 = t*u. Is j a prime number?
False
Suppose 2*n + 3*z = 88549 + 135379, 0 = 5*n - 3*z - 559862. Let k be 2/(-11) - n/55. Let v = -975 - k. Is v prime?
True
Suppose 0 = 73*u - 1441871 - 23814158. Is u composite?
True
Let y be (-92226)/(-95) - (-54)/(-30). Let p(l) = -l**3 + 239. Let o be p(0). Suppose -o = -4*j + y. Is j a prime number?
False
Suppose -52567 = -f + 3*p, -p = 2*f + 3*f - 262755. Suppose -3*g = -5*a + f + 11128, 0 = -5*a - 3*g + 63710. Is a a prime number?
True
Let x be (-126)/(-26) - (-30)/195. Suppose 3*h - 3*w - 8397 = 0, 0 = 8*h - x*h - 5*w - 8399. Is h a composite number?
True
Let w = 189 - 51. Suppose 0 = 2*m + 3*o - 674, 4*m + 2*o - 1226 = w. Let f = 3612 - m. Is f a composite number?
True
Suppose -2*r + 373295 = 457. Is r composite?
False
Let a(f) = -2*f**3 - 7*f**2 + 21*f + 122. Is a(-11) composite?
True
Let h be 14/49 - 92/28 - -2. Is (0 + h)/((-55)/123805) a composite number?
False
Let g(u) be the first derivative of -u**3/3 + 47*u**2/2 - 13*u - 4. Is g(14) composite?
False
Suppose 0 = 33*f - 21*f. Is (9 + 8533)*(f - 2/(-4)) prime?
True
Suppose -4 = -9*g + 23. Suppose -g*f + 10494 = -0*m + 3*m, -5*f + 4*m + 17445 = 0. Is f prime?
False
Let l(a) = -2*a**2 - 155*a - 134. Is l(-63) a prime number?
True
Suppose 0 = -4*p - 20, -22*k + 25 = -18*k - p. Suppose 0 = -4*u - 0*u - 4*m + 4572, 10 = k*m. Is u prime?
False
Let v = -103 - -108. Suppose 0 = 4*y - 6*l + l - 1653, -v*l = 3*y - 1196. Is y prime?
False
Let w = 305514 + -153797. Is w prime?
True
Let b(i) = i**2 + 8*i + 7. Let r be b(-7). Let v be 6559 + 4/14*(-168)/(-48). Suppose 4*w + v = 4*y, 5*y + w - 8194 = -r*w. Is y a composite number?
True
Suppose -165 = 3*v - 5*v + j, -3*v - 3*j + 234 = 0. Let k = -75 + v. Suppose 6985 = k*o + 5*o. Is o composite?
True
Suppose 23*o - 27*o = -5*q - 1226763, 0 = -2*o + 3*q + 613379. Is o prime?
False
Suppose 1541927 = 15*p - 12*p + 4*h, 11*h = -2*p + 1027943. Is p prime?
True
Let t = 450372 - 294559. Suppose 0 = -63*y + 56*y + t. Is y prime?
True
Let u(h) = 448*h - 1. Let x be u(-2). Let l(f) = 1440*f + 2. Let i be l(-1). Let s = x - i. Is s prime?
True
Let s(k) = 4*k**3 + 44*k**2 - 68*k + 423. Is s(33) a prime number?
False
Suppose 3*y + 31974 = i, 0 = i - 0*i - y - 31972. Let f = -22738 + i. Is f a composite number?
True
Is (-137)/(-3)*(-81)/(-432)*99152 composite?
True
Let n(r) = r**2 - 7*r - 42. Let h be n(11). Suppose 2*g + h*f - 8948 = 0, 2006 - 10929 = -2*g + 3*f. Is g composite?
True
Let b = -409524 - -635017. Is b prime?
True
Suppose 12 = 5*l - 5*q + 2*q, 2*q - 2 =