prime?
True
Suppose -49174 = -4*z + 2*r, 5*z + 13*r - 25*r - 61439 = 0. Is z composite?
True
Let d(s) = -s**3 + 15*s**2 + 18*s - 17. Let z be d(16). Suppose -y - 1 = 0, y + 1051 = 2*u + 6*y. Suppose -1617 = -z*i + u. Is i composite?
True
Let c(z) = 36*z**2 - 84*z - 2. Let n be c(17). Suppose 22*f = 20*f + n. Is f prime?
False
Let f(z) = 7*z - 2. Let w be f(2). Let o(m) = 3*m - 33. Let c be o(w). Suppose 0 = c*y - 465 - 1296. Is y prime?
True
Suppose 3*v - 8 = -q, 9*q - 11*q - v = 9. Let b(n) = 106*n**2 + 4*n + 32. Let u(k) = 71*k**2 + 3*k + 21. Let h(r) = 5*b(r) - 7*u(r). Is h(q) a composite number?
False
Let l(c) be the first derivative of -193*c**2/2 + 48*c - 24. Is l(-7) a prime number?
True
Let m = 238 + -207. Suppose -38*a = -m*a - 3647. Is a composite?
False
Let c(x) = -20*x - 13. Let s be 24/(-9) + 2/3. Let b be -4*s/8 - 16. Is c(b) a prime number?
False
Let n = 475 - 481. Suppose -3*t + 79 + 161 = 0. Let y = t + n. Is y composite?
True
Suppose -6*p = -3*p + 30. Let l(x) = 1 + 5*x**2 - 9*x - 7*x + 6*x - 26 - 6*x. Is l(p) prime?
False
Let n(s) = 29 + 16 + 8 + 5*s**2 + 22*s**2 - 37*s - s**3. Is n(24) prime?
False
Suppose -30143 = -o - 3*w, 10*o - 4*w - 120668 = 6*o. Is o prime?
True
Suppose 4*p - 155281 = -41037. Suppose 0*j - 3*j + 4*d + p = 0, 0 = 5*d - 25. Is j composite?
True
Is -108799*(((-32)/(-6))/4)/((-436)/327) a prime number?
True
Is (45748/10*5/(-6))/(1/(-15)) composite?
True
Suppose 5*p - 3*r + 15725 = 0, r + 8338 - 2037 = -2*p. Let x(v) = 5362*v**2 + 2*v - 1. Let u be x(1). Let d = p + u. Is d a prime number?
False
Let l = -35 + 17. Let q be ((-2)/(-2))/(3/l). Is (10/q)/(1/(-159)) composite?
True
Let d = -15 + 60. Let i be (-2)/(-6) + 120/d. Suppose -i*o = -0*o - 777. Is o composite?
True
Suppose 5*u + 58 = a + 18, 3*u + 44 = a. Let r = -132 - -136. Suppose 0 = r*g - 1054 + a. Is g composite?
False
Let u = 26935 + -14424. Is u composite?
False
Let q = -396 + 400. Is -3 + (q - (5 + -7793)) prime?
True
Let o(h) = 4*h**3 - 31*h**2 - 9*h + 13. Let x be o(8). Is 1047 - ((-21)/(-7) - x) a composite number?
False
Let x be (-7)/(378/12) - (-263750)/(-18). Let j = x + 24210. Is j a composite number?
True
Let b(s) be the second derivative of -145*s**3 - 71*s**2/2 + s + 10. Is b(-8) a prime number?
False
Let b(r) be the third derivative of -3/20*r**6 - 4*r**2 + 1/30*r**5 - 1/8*r**4 + 0 + 0*r - 11/6*r**3. Is b(-3) composite?
True
Suppose -5*n + 1425150 + 58096 = -3*f, 4*n = 4*f + 1186592. Is n a prime number?
True
Let x = -2272 - -3820. Let a = x - -732. Suppose -4*d = -5*m - 2272, 4*d + 3*m = 6*m + a. Is d a composite number?
True
Let h(r) = r**3 - 6*r**2 - 9*r + 11. Let i be h(7). Is i/((-36)/633)*12 a prime number?
False
Let f(n) = 24*n**2 + 28*n - 3. Let v = 169 - 156. Is f(v) a composite number?
True
Suppose 19*x + 72283 = -22*x. Let i = 3124 + x. Is i prime?
True
Suppose 12 = 18*u - 24. Let b be (-16)/(-6) + 6/(-9). Suppose 1204 = b*n + u*n. Is n composite?
True
Suppose -1366950 - 6345740 = -63*c + 481657. Is c composite?
False
Is 49728 + -1*(-4)/(-4) a prime number?
True
Suppose -3*s = -8*s - 3*k + 5357, -4*s + 4293 = -5*k. Suppose -1069*z - 8097 = -s*z. Is z a composite number?
False
Let g be -4 + -2 + 1 + 8. Suppose 3*s - 3097 = -z, -z - g*s + 3105 = -2*s. Is z composite?
False
Let s = 2 - -3. Suppose -7*v + 4*i = -9*v + 1598, -1602 = -2*v - 5*i. Suppose 2*q - s*z = 308, z = -5*q + 3*z + v. Is q prime?
False
Suppose 133*k - 1909771 = 489682. Is k prime?
True
Let u(y) = 3850*y**3 + 35*y**2 - 10*y + 6. Is u(3) composite?
True
Is -37*(-61918 + -13)/17 a composite number?
True
Suppose 61595855 = 415*i - 270*i. Is i composite?
True
Is 9 - (-144851 + -20) - (-6 + (-6)/(-2)) a composite number?
False
Is ((-339)/678)/(-2 - 84174/(-42088)) prime?
False
Let w be (-9)/48 + (-9993)/(-48). Let g = -1004 + 2145. Let r = w + g. Is r a composite number?
True
Let b = 189820 - 14493. Is b a prime number?
True
Let q(u) = -3*u**3 - 51*u**2 + 24*u + 571. Is q(-25) a prime number?
False
Suppose 72*x - 223120452 = -732*x. Is x prime?
True
Is 4 + (2 + -1 - 6770904/(-41)) a composite number?
True
Suppose -s = -4*i + 10, 0 = 5*s - i - 2 - 5. Let b(z) = 0*z**3 + s*z**3 + 5*z**3 - 35*z - 19 - 6*z**3. Is b(15) composite?
True
Let h = -297 - -307. Let r(d) = 19*d**3 + 25*d - 15. Is r(h) a prime number?
False
Is (-16*1)/2 - (-4663334)/26 a prime number?
True
Let j = -899 - -947. Is -5 - (-208)/j - 42599/(-3) prime?
False
Let n = 321 - 316. Suppose 4*z - n*z + 4*v + 4295 = 0, 0 = 4*v - 4. Is z composite?
True
Let j(n) be the second derivative of -136*n**3 - 427*n**2/2 + 3*n + 3. Is j(-23) composite?
False
Let n(y) = 21*y - 107. Let c be n(7). Suppose -c*p + 2456 = -32*p. Is p prime?
True
Let b(l) = -l**3 + 2*l**2 + 4*l - 6. Let x be b(2). Let q be (-50)/8 + x/8. Is 514/4 + q/4 a composite number?
False
Suppose -99*u - 24060781 = -152*u. Is u a composite number?
False
Let s(v) = -4769*v + 5245. Is s(-84) composite?
True
Suppose -q - 4*c + 22 = 0, -11 = -5*c - 1. Suppose -q = 9*n - 41. Suppose -n*g + 441 = 150. Is g composite?
False
Suppose 4*s - 7 = -47. Let l(u) = u + 15. Let o be l(s). Suppose -2*v + 4*b = -4*v + 670, -3*v = o*b - 1003. Is v prime?
True
Let f(p) = -p**2 - 2*p + 5. Let n be f(0). Is 7 - -3433 - n/((-5)/2) a composite number?
True
Let s = -358 - 769. Let r = 6562 + s. Is r a prime number?
False
Let s(u) = 31*u**2 + 3*u - 3. Let j be s(2). Suppose -4*v + 44 = 2*r, -v + 0*v - 52 = -4*r. Is (5 - 6) + r*j a prime number?
True
Suppose 7*a = 10*a + x - 316079, -4*x + 316085 = 3*a. Is a a prime number?
True
Let c(n) = n**3 - 5*n**2 + 2*n - 7. Suppose 105 = 4*d - z, -5*z - 10 = 15. Let g = 33 - d. Is c(g) a composite number?
True
Let p(r) = -1143*r**3 + r**2 + 6*r + 12. Let f be p(-2). Suppose -k = 2*m - 4586, k + f = 4*m - 3*k. Is m a composite number?
True
Let j(x) be the third derivative of x**5/30 - x**4 + x**3/2 - 25*x**2. Is j(16) prime?
True
Suppose -2*v - 4*j + 61 = 7, 5*j - 82 = -3*v. Suppose 60396 = -c + v*c. Is c composite?
True
Let l = -40849 + 61296. Suppose 30*g - 7*g - l = 0. Is g composite?
True
Let r(n) = 97*n**2 + 47*n + 461. Is r(58) a prime number?
False
Suppose 68 = -12*x + 104. Let v(b) be the second derivative of b**5/5 + 5*b**3/6 + 2*b**2 - 5*b. Is v(x) a composite number?
False
Let w(v) = v**2 + 2*v - 31. Let u be w(-7). Suppose -3*r - 12956 = -n, -4*n + u*r = -47360 - 4472. Is n a prime number?
True
Suppose 1685*r = 1688*r - 89751. Is r composite?
False
Suppose -38*b + 25*b = -140608. Suppose -5*j = -b - 12279. Is j a composite number?
True
Suppose 0 = -7*d + d + 18. Suppose -5*s = -10*o + 5*o - 6780, d*o - 6820 = -5*s. Is s a prime number?
True
Let a(i) = -8*i**3 - 54*i**2 - 136*i - 1727. Is a(-58) a prime number?
True
Let c(m) = m + 864. Let n be c(0). Suppose -3*z = -3, 0 = 3*u - 4*z + 57 - 59. Suppose -2*y + 2*g + 1668 = 0, -n = -y - u*g - 3*g. Is y a composite number?
False
Let s(k) be the first derivative of 31*k**3/3 - k**2/2 + 29*k - 46. Is s(7) a prime number?
False
Let y(n) = -13*n - 165. Let b be y(-13). Is (4 - b)/((-8)/(-2)) - -6467 prime?
False
Let z be 25/10*(-516)/(-10). Suppose 2*a + z = -213. Let k = -100 - a. Is k composite?
False
Let f = -2282 - -36879. Is f composite?
True
Let v(u) = 155*u**2 - 323*u + 5. Is v(6) composite?
True
Let k = 760238 - 451261. Is k a composite number?
True
Let n = -266 - -263. Let b(c) = 394*c**2 - 8*c - 7. Is b(n) composite?
True
Is 864127/2 + 771/514 a prime number?
False
Suppose 376*h - 29391676 = 258*h. Is h composite?
True
Suppose 0 = -2*z - 18*z - 6*z + 145834. Is z prime?
False
Let i(m) = -1932*m + 335. Is i(-7) composite?
False
Suppose 2*g = 4 + 52. Is 10/8 + -1 + 10381/g a prime number?
False
Let t = 92492 + 211011. Is t a prime number?
False
Let s(q) = 384*q**2 - 72*q + 1103. Is s(28) composite?
True
Let w(d) = -d**3 - 20*d**2 - 11*d - 1. Suppose 0 = -11*m - 917 - 414. Let z = m - -100. Is w(z) a composite number?
True
Let y(r) = 25*r + 82321. Is y(0) a prime number?
False
Let o(x) = x**2 + 10*x - 295. Let w be o(-23). Suppose -2*q = -3*q + z + 14966, 0 = w*z - 12. Is q composite?
False
Let v(c) = 3708*c + 27. Let a be v(4). Suppose -s + a = 8*s. Is s a composite number?
True
Let b be -2 + (1 + -4 - -3) - 65920. Let p be 2/(-8) - b/8. Is p/32*1*2 composite?
True
Su