ber?
True
Let n = 258390 - 174919. Is n prime?
True
Let t(l) = 46*l**2 + 7*l + 4. Let c be t(-5). Let f = 1214 + c. Is f a prime number?
True
Let x = -10394 - -29991. Is x composite?
False
Let c(z) = -77*z**2 - 1 + 36*z**2 + 2*z - 1. Let h be c(4). Let v = 171 - h. Is v a composite number?
False
Let r(t) = t**3 - t**2 - 2*t + 4. Suppose 7*j = j + 12. Let k be r(j). Suppose 0 = k*w - 427 - 417. Is w a composite number?
False
Suppose 0 = 194*k - 229937 - 1407021 - 824320. Is k prime?
False
Let d = 22238 - 12277. Is d prime?
False
Suppose -16*d = -17*d + 204184. Suppose 240*z + d = 248*z. Is z composite?
False
Suppose 262*s - 250*s = -864. Is (-48)/s - (-140390)/6 prime?
True
Suppose 0 = 5*o - 3*w - 95, 4*o + 0*w = 5*w + 63. Suppose -2*z - 4*j = -o, 3*z - 48 = -3*j - 6. Suppose -2*u = z*u - 3382. Is u prime?
False
Let c(p) = -4. Let t(k) = 18547*k - 38. Let g(i) = -5*c(i) + t(i). Is g(1) prime?
False
Suppose 0 = -3*u - u - 1056. Is (u/(-56) + -5)/(2/(-13174)) a prime number?
False
Let n(k) = 16*k**2 + 28*k + 9. Let f = -9 + 1. Is n(f) prime?
True
Suppose -3*k = -5*k + 3184. Let i = k - 49. Is i prime?
True
Is (-2)/(-12) - ((-138418)/36)/(7/273) a composite number?
False
Suppose -18 + 0 = 9*b. Let n be b/9 - (-155208)/54. Is n/(-24)*(0 + -4) prime?
True
Suppose -f - 3 = -a, 0*a - 5*f = 3*a - 33. Let m be (-26)/(-3) - a/9. Suppose m*u = u + 16597. Is u a composite number?
False
Suppose 0 = 13*c - 9*c + 3*f - 457060, 4*c - 457060 = -5*f. Is c a prime number?
False
Suppose 0 = -44*a + 38*a - 12. Let x(v) = -1203*v + 5. Is x(a) a composite number?
False
Is (-1)/(((-40)/(-171670))/(-4)) prime?
True
Is (-225354)/(-15) + (-12)/20 + -6 a composite number?
False
Suppose -14*j + 6*j + 24 = 0. Suppose -70 = -5*h - 3*b - 397, -j*h - 197 = b. Is 3670/4 - (h/12 - -4) composite?
False
Suppose 8*f - 7*f = 4*b + 67327, -4*f + 5*b = -269253. Is f a prime number?
True
Let f be (-3)/((15/18)/5). Let l = f - -20. Suppose -4 = l*s, 0 = -4*h + 4*s + 213 + 31. Is h a composite number?
False
Suppose 2*u + 15 = s, u - 4*s = -0*u - 18. Let r be -3*(-87)/81 - u/(-27). Suppose v + 194 = 2*v - j, 2*v - 373 = -r*j. Is v a prime number?
True
Is ((-217559)/(-7))/(((-9)/(-63))/(-5 + 6)) a prime number?
True
Let l be (-1525222)/(-22) + (-243)/891. Is (-171)/12*l/(-84) a prime number?
False
Let p(m) = -2263*m + 43. Let d(h) be the second derivative of -566*h**3/3 + 21*h**2/2 + h. Let c(i) = 7*d(i) - 4*p(i). Is c(3) a prime number?
True
Suppose -u - 2*b - 6665 = 0, -4*u - 2*b = b + 26655. Suppose 6*o - 5*q + 33118 = 3*o, -44134 = 4*o + 5*q. Let m = u - o. Is m a composite number?
False
Suppose -5*d + 0 - 20 = 0, -2*s - 7*d + 923406 = 0. Is s a prime number?
True
Let t(l) = 41*l**3 - l**2 - 4*l - 3. Let p be t(4). Let d be 28*3*(-895)/(-60) + -1. Let i = p - d. Is i a prime number?
False
Suppose 4*y + 158511 = x, y = x - 137300 - 21208. Is x a prime number?
True
Let k(i) = -105389*i**3 - 2*i**2 - 22*i - 20. Is k(-1) a composite number?
False
Let p = -397 + 690. Let z = -164 + p. Suppose -t = -4*t + z. Is t composite?
False
Let u(f) = -f**2 + 2*f - 8. Let x be u(3). Let q be x/3 - -3 - 3220/(-6). Suppose -i + q = -5*t + 6*t, -3*t = 4*i - 2149. Is i a composite number?
False
Is (-12868037)/(-84) - 1/(-12) prime?
True
Let f(z) = -2*z. Let t be f(-1). Let n be ((-33)/(-18)*-2)/(t/(-276)). Let v = n + -237. Is v a prime number?
True
Suppose -22*f = -1051493 - 262479. Is f prime?
False
Suppose -18*z + 23*z - 1510 = 0. Let r = z - 193. Is r a prime number?
True
Suppose -9*t + 2765138 + 4646253 = 2132450. Is t a prime number?
False
Let u be 30/(-10)*2/6. Let r(b) = 7368*b**2 + 10*b + 11. Is r(u) composite?
False
Suppose -13354*t + 13338*t = -9426544. Is t a composite number?
False
Let p = 2628400 - 1338621. Is p composite?
False
Let u = 28214 + 70865. Is u prime?
True
Suppose -3*w - 4*r = 5306, 2*r + r = -w - 1772. Let u = -535 - w. Let f = -696 + u. Is f prime?
False
Let k(h) = -17*h**3 - 4*h**2 + 12*h + 5. Let b be k(-5). Suppose 5*d - b = -3*r, 394 = d - 0*r + 2*r. Suppose -4*c + 4230 - d = 0. Is c a prime number?
False
Suppose -2*q = 5*g - 3930, 0 = g + 2*g - 12. Suppose 0 = -3*o + q + 19912. Suppose -2*v - 4381 = -3*d, 8*d + 3*v = 3*d + o. Is d prime?
True
Is 1679207/23 - (-1)/((-2)/(-8)) - 4 a composite number?
False
Let b = -141615 + 291116. Is b composite?
True
Suppose 5*v - 5*x = 198525, 5*v + x - 198537 = 3*x. Is v prime?
True
Let m(n) = 18500*n**2 - 19*n - 114. Is m(-5) composite?
False
Let g = 546 - 552. Let v(j) = 39*j**2 - 35*j - 175. Is v(g) prime?
True
Suppose 7*s - 4*s - 244268 = -4*r, 3*r + 3*s = 183201. Is r composite?
True
Suppose -241*j - 597259 = -254*j. Is j composite?
False
Suppose -12 = 194*y - 198*y, -n + 4*y + 39175 = 0. Is n a prime number?
False
Suppose 3*d - 28737 = -f + 189679, -3*f = -21. Is d a prime number?
False
Suppose 2*k + 2*k = 20. Suppose -w - k*w - 558 = 0. Is 1 + -2 + -3 - w a prime number?
True
Let t = 193419 - -254560. Is t prime?
False
Let b(i) = -2*i**3 - i**2 - 2*i - 1. Let l be b(-1). Let y be ((-30)/20)/(l/(-120)*2). Is (1/(-5) + (-846)/y)/(-1) prime?
True
Suppose -20*m = -21*m - 619. Let n = m + 978. Is n a composite number?
False
Suppose -2*m - 68829 = -h, -195*h + 200*h + 2*m = 344157. Is h a prime number?
False
Let z be 5749/(-1 + 0) + -2. Is ((-2)/(-2))/(z/(-2874) - 2) a prime number?
False
Is -79 - -76 - (6180984/(-10) + 6/15) prime?
False
Suppose l + 5999 + 9601 = -2*q, 3*l + 7805 = -q. Is (-78 + 76)/(2/q) prime?
False
Suppose 2*v = -16995 + 2797. Let u = 10520 + v. Is u a composite number?
True
Let x(k) = 1361*k**3 + k**2 - k. Suppose 18*g = 14*g + 4. Is x(g) a composite number?
False
Suppose -5*f = o - 7, 5*o - 4*f = -0*f + 6. Is (o/(-6))/((-4)/13044) composite?
False
Let n(a) = 249*a**3 - 3*a**2 + 4*a. Let r(f) = f**3 + f + 1. Suppose -5*o = -5*c + 20, -7*o = -c - 3*o + 13. Let z(x) = c*r(x) - n(x). Is z(-2) composite?
False
Suppose -4*w - 2*o = 1451 - 28949, -3*w = -o - 20626. Suppose 11415 = 5*b - 2*v, -2*b + w = b + 4*v. Is b prime?
False
Suppose -9*s - 19 = -10*s. Suppose -3*m - 16 + s = 0. Is (m + 0)/(6/2346) prime?
False
Is ((-12273)/(-4))/(402/6968) prime?
False
Let l = 1209529 - -1103544. Is l a prime number?
False
Let p be (1 - (-1)/(-1))/(5 - 4). Let c(o) = 47*o + 5903. Is c(p) prime?
True
Let g be (-5720)/(-6) - 2/(-3). Suppose 27469 = -36*u + 6157. Let t = g - u. Is t a prime number?
False
Let i be 1*((-6)/4)/(16/(-32)). Suppose 0 = 2*x - 5 - 3, 3*x + 7365 = i*o. Is o composite?
False
Suppose -5*g = -18 + 3. Let x(d) = d - 1. Let h be x(3). Suppose 1902 = g*y + 3*m, m - 1896 = -y - h*y. Is y a composite number?
False
Suppose 56*g = 59*g + 12. Is 2/(g/(-3645)) - 6/(-12) a composite number?
False
Let b = -4370 + 9027. Is b prime?
True
Let s(u) be the third derivative of -13*u**4/24 + 149*u**3/6 - 12*u**2 + 3*u. Is s(0) a prime number?
True
Let u = 97 - 73. Suppose 0 = -27*c + u*c + 4587. Is c a prime number?
False
Let l = -69081 + 119822. Is l prime?
True
Let a(o) = -6749*o - 195. Is a(-44) a composite number?
True
Let o = -4 + 6. Suppose 0 = o*w + 5*z - 9226, 0*w - z = w - 4616. Suppose 3*b + 920 = -2*d + 3*d, 0 = -5*d - 3*b + w. Is d composite?
True
Let j(r) = 3*r - 5. Let k be j(3). Suppose -2*v + 14 = 2*u, -3*v + k*u - 4 = -25. Suppose 4*h - v*h = -1437. Is h composite?
False
Is 1*-3 - (260/2080 - (-639537)/(-8)) a prime number?
True
Let s(y) = -2*y**2 - 5*y + 7. Let i be s(-3). Suppose -20*m = -4*d - 21*m + 11189, -3*d - i*m + 8382 = 0. Is d a prime number?
False
Suppose -2*p + 5*p - 30 = 0. Let y(j) = j**3 - 68*j**2 + 255*j + 44. Let a be y(64). Is (-1414)/(-4) + p/a a composite number?
False
Let l be 3/(4 + -1) - 7. Let h be (-1)/3 - 86/l. Suppose 3*n = h*n - 6479. Is n prime?
False
Let z(v) = -3*v. Let k be z(-8). Suppose 30*j + k = 34*j. Suppose 4*y + 254 = j*y. Is y a prime number?
True
Suppose -17 = -v + 113. Let z = v + 397. Is z composite?
True
Let a = -39 - -41. Let d be (-70)/(-21) - a/6. Suppose 0 = -d*h + 2*o + 1491, -h + 5*o - 514 = -2*h. Is h a composite number?
False
Let a(f) = 6249*f - 3020. Is a(7) composite?
True
Suppose 735251 = 11*w - 695508. Is w a composite number?
False
Is (-3135)/4180 + 7854830/8 a composite number?
True
Is 2226100/50 + -1 + -2 a prime number?
True
Suppose 0 = -73*z + 611477