2 + 6 - u**3 - 12*u**2. Is s(-15) prime?
False
Let c be 0*((-9)/(-6) - 1). Suppose 9*o - 4 = 4*o - 2*t, -5*o - 3*t + 1 = c. Suppose -6*d + o*d + 7108 = 4*p, 0 = -3*d. Is p a prime number?
True
Let f(y) = -50*y - 3457. Let q(c) = 56*c + 3457. Let m(v) = 3*f(v) + 4*q(v). Is m(0) composite?
False
Suppose -7*p + 3595 = -3601. Let b = 10455 - p. Is b composite?
True
Let g be ((-76)/16 + -2)*24/(-9). Suppose g*x = 16*x + 4198. Is x composite?
False
Is 104/32 - 3 - 140166/(-8) prime?
False
Suppose 2*w = -2*h - 1264, 5*h - 4*h = -5*w - 3144. Is w*37*(-4)/16 prime?
False
Let x(o) = 8377*o**3 + 15*o**2 - 7*o + 22. Is x(3) a composite number?
True
Suppose 1432354 + 826123 = 4*z - t, -2823093 = -5*z - 2*t. Is z composite?
True
Is (-593937 + -1)*(5 + 88/(-16)) a composite number?
False
Is -2 - (-2 + -333956 + 9*10/(-30)) composite?
False
Suppose -3*v + 2*m + 1045 = 0, 4*m = 4*v + 2*m - 1396. Let q = 116 + v. Let y = q - 208. Is y prime?
False
Let g(k) = k**3 + 49*k**2 - 6*k - 2573. Let c be g(-48). Let s(q) be the first derivative of q**4/2 - 10*q**3 + q**2 + 13*q - 1. Is s(c) prime?
True
Let m be (-1 - -16)*(-12)/(-210)*7. Suppose 0 = m*v - 9947 + 41. Is v prime?
False
Is ((-7)/56)/(20/(-40381280)) a composite number?
False
Suppose 563*p = 567*p - 2784. Suppose -v = 1 + 2, -3*o + 8670 = 5*v. Suppose 5*y + o = 5*l, 454 + p = 2*l - 4*y. Is l composite?
True
Let i = -58 + 66. Suppose -3*q + i + 1 = 0. Suppose -r = 5*k + r - 7705, 3*k - q*r = 4644. Is k a composite number?
False
Suppose -56*p + 13*p + 79421 = 0. Is p prime?
True
Suppose -a = -39*x + 40*x - 121832, 0 = -5*x - 4*a + 609157. Is x prime?
False
Suppose 5*p + 24 = p + 2*j, -3*j = -2*p - 4. Let r be 84/p*4 - -3. Is (-7443)/r + (-8)/(-52) a prime number?
True
Let x(b) be the first derivative of -b**4/4 - 19*b**3/3 + 21*b**2/2 + 22*b + 5. Let k be x(-20). Is (-1)/4 - k/(-8)*1277 composite?
True
Let r(w) = 5*w**2 - 13*w + 16. Let m be r(11). Let q = m + 313. Suppose -6*s + q = -715. Is s composite?
False
Let m = 683137 + -60684. Is m prime?
False
Let p(v) = 117*v**2 - 11*v - 33. Let y = -135 - -142. Is p(y) composite?
False
Suppose -406 = 10*d - 1366. Let p(w) = 2 + 1 - 6 - d*w. Is p(-7) composite?
True
Let y be (-3)/15 - (-64)/20. Suppose 2*d - 3*g = 9442, -9*g = y*d - 8*g - 14163. Is d a prime number?
True
Suppose -4*c = 2*w + 109922, -7*w + 3*w = 5*c + 137401. Let z = -13340 - c. Is z composite?
True
Let i be ((-9)/6)/1*(-234)/(-27). Let n(o) = 10*o**2 - 153*o + 12. Is n(i) a composite number?
False
Suppose 8*c - 12 = 3*c - 3*p, -4 = 4*p. Suppose -5*i + 0*q = -c*q - 9017, 4*q + 16 = 0. Is i prime?
True
Suppose -3*b - 30*v + 93787 = -25*v, 125046 = 4*b + 5*v. Is b a prime number?
True
Let v = -27 + 33. Suppose -2*d - 2 = 3*g + 2, 2*g = -2*d - v. Suppose 3*t + g*w + 92 - 837 = 0, 263 = t - 3*w. Is t prime?
True
Let d(y) = -1126*y - 8685. Is d(-28) composite?
True
Let x(a) = a**3 + 111*a**2 - 205*a + 178. Is x(-105) composite?
False
Let q = -59 + 78. Suppose -n + 5*i = q, -2*n + 3*i - 17 = -0*i. Is (-2)/(-4) + (-1 - 1786/n) prime?
False
Let m be 20/(-3)*(-687)/2. Suppose 3*v = m - 598. Let j = v - -47. Is j prime?
False
Let o be (4/(4/475))/1. Suppose 0 = -o*a + 474*a + 3371. Is a prime?
True
Let a be ((-4)/(-6))/(3/(-1 + 224416)). Suppose 0*n + a = 2*n. Suppose 9*t - 14*t + n = 0. Is t prime?
True
Let q(o) = 251*o**2 - 121*o + 1291. Is q(45) prime?
True
Suppose 3*q = 2*k - 0*k + 95005, -2*k - 31667 = -q. Is q composite?
True
Is 528/(-2288) + (-28040424)/(-39) a prime number?
False
Suppose -5*h + 5*u = -5, -2*h + 19 = 5*u - 11. Suppose -f = 2*l - 174, -2*f + 433 = h*l - 0*f. Is (-844)/10*l/(-34) a composite number?
False
Let y be (-112)/196 - 306/(-21). Suppose -y*q + 40972 = -12*q. Is q composite?
True
Let s be (-34)/(-17)*(-3)/2. Is 0 + 1 + 3619 + -22 - s a prime number?
False
Suppose 0 = 6*d - 19 + 73. Is 1842 + 2 + 6 + d prime?
False
Let w(i) = 2*i**3 - 16*i**2 - 39*i - 8. Let s be w(10). Suppose s*k - 432 = g, -13 + 3 = -5*g. Is k prime?
False
Let z(b) = 4544*b**2 + 26*b - 1. Is z(3) a prime number?
True
Let b be ((-4)/(-8))/(1/4). Suppose -u + 0*u = -5*q - 7, -b*u + 2*q = -6. Suppose -u*o = 2*o - 3836. Is o a prime number?
False
Let j(n) be the second derivative of 5*n**4/2 - n**3/6 + 17*n**2/2 - 115*n. Is j(4) prime?
False
Suppose a = -5*r + 10*r - 122509, 0 = 2*r - 4*a - 49018. Suppose -3*n - 20516 = -k, r = k + 2*n + 4000. Is k a composite number?
False
Let w(i) = -12*i + 0*i**2 + 3 + 0*i - 7*i**2 + 12*i**3 - 3*i. Is w(7) a composite number?
False
Let f be ((-26)/(-14) + 3 + -4)*12761. Suppose 6*v - 33936 = -f. Is v composite?
False
Let x = 259708 - 133793. Is x prime?
False
Suppose 6261 = 9*w - 2667. Let y = -393 + w. Is y a prime number?
True
Let y(a) = 3*a**3 + 20*a**2 - 9*a - 10. Let g be y(-7). Suppose -j + g*j = -v + 5888, 5*v = -5*j + 9830. Is j a prime number?
False
Suppose 0 = 4*k - q - 433873, 5*q + 216959 = 144*k - 142*k. Is k a composite number?
True
Suppose 307*w + 2*z + 90605 = 312*w, -5*z = 3*w - 54332. Is w a prime number?
True
Let q be ((-1)/(-3))/(1/3). Let z be ((-7)/6 + q/6)*5. Is (-163)/(z + 4) + 0 a composite number?
False
Let t = 0 + 10. Is t/(-35) - (-72099)/21 prime?
True
Suppose -24*h = -27*h + 1803. Let v = 3600 - h. Is v a prime number?
True
Let y(p) = 227*p**3 + 13 + 10*p + 3*p**2 - 4 - 28*p + 10*p. Is y(2) a composite number?
True
Suppose -3*m + 14 + 7 = 0. Suppose 10057 = m*j - 6519. Let s = j + -1599. Is s a composite number?
False
Let h = 47 + -37. Suppose -8 + h = -x. Is -4 + 1/x*-506 composite?
True
Let y be (-1484)/105 + (-2)/(-15). Is (y - -17 - (0 + -38505)) + -1 composite?
True
Suppose 252 = 2*y - 2*u, 0 = -y - y - u + 249. Let k(g) = -2*g - 19 - 103*g**2 + y*g**2 - 8*g. Is k(-4) composite?
False
Let c(k) = 2*k + 28. Let t be c(-14). Suppose 5*f - 5 = t, -4*a = 3*f - 4*f - 39. Is a prime?
False
Let i(v) be the second derivative of v**5/20 + 13*v**4/6 + v**3/2 + 33*v**2/2 + 2*v + 2. Is i(-18) a composite number?
True
Suppose 4*w - 12*w + 669544 = 3*z, -251079 = -3*w - 3*z. Is w a prime number?
False
Let q(u) = -2*u + 69 + u - 35. Let o be q(18). Suppose -10 = 2*i, -5*i = s - 48 - o. Is s prime?
True
Let f(g) = 2*g**3 + 27*g**2 + 20*g + 29. Let i be f(-14). Let x = i - -5356. Is x a prime number?
True
Suppose -25*r = -29*r + 3*w + 41252, 0 = 3*r + w - 30939. Is r a composite number?
False
Let i(y) = y**2 + 11*y + 8. Let v be i(9). Let j(m) = 7*m**3 + 2*m**2 - m - 1. Let k be j(-2). Let l = k + v. Is l prime?
False
Let b(t) be the third derivative of t**4/24 + 5*t**3/6 + 18*t**2. Let w be b(-3). Suppose 5*g - 230 = d + 380, 0 = w*g + 2*d - 232. Is g a composite number?
True
Let h(i) = 12*i - 12. Let d be h(1). Suppose d = -c, -c = r - 2275 + 582. Is r composite?
False
Suppose -3*p - 35 = 3*f - 2, -f + 1 = 0. Let b(c) = c**3 + 12*c**2 + 3*c + 28. Let l be b(p). Is (3/(2 + l))/((-2)/228) composite?
True
Let l(u) = 17550*u**2 - 151*u - 449. Is l(-3) a composite number?
True
Suppose 576 = 10*k + 2*k. Is (-12)/9*(-46422)/k*2 composite?
False
Let n = 110 - 1642. Let p = 2719 + n. Is p a prime number?
True
Let h(s) = s**2 + 11*s + 2. Let p be h(-11). Suppose -205 = -p*a - 2*a + 5*b, 5*a + 5*b = 245. Suppose 2545 = 3*u - a. Is u a prime number?
False
Let x(i) = i**2 + 3*i - 7. Let z(p) = -2*p**2 - 5*p + 15. Let k(g) = 5*x(g) + 3*z(g). Let v be k(0). Suppose j - 10054 = -v*j. Is j a prime number?
False
Let l(f) be the first derivative of -4723*f**2/2 - 12*f + 117. Is l(-1) composite?
True
Let k be 9 + (1 - 1/(-1)). Let y(l) = -6*l**2 + 3*l + 8. Let g(q) = -2*q**2 - q. Let j(w) = 2*g(w) - y(w). Is j(k) prime?
True
Suppose -1365 = -9*m + 161562. Suppose 14*z - m - 9519 = 0. Is z composite?
False
Let w = 975508 - 690857. Is w composite?
False
Is 54/675 - (0 - (-64380115)/(-125)) a composite number?
False
Suppose 826*p - 1650334 = -3*t + 827*p, 4*t - p - 2200445 = 0. Is t a composite number?
False
Let v(r) be the first derivative of 1105*r**4 + 2*r**3/3 - 7*r**2/2 + 6*r + 18. Is v(1) a prime number?
True
Suppose 5*u - 28 = -18. Suppose u - 37 = -b. Suppose -155 = -3*i + 2*k, -170 = -2*i - 5*k - b. Is i a prime number?
False
Let f(j) = -j**2 + 7*j + 8. Let q(v) = 3*v**2 - 22*v - 23. Let x(z) = -7*f(z) - 2*q(z). Let r be x(6). Let p = r - -87. Is p composite?
False
Su