Let u = 8311 - x. Is u a composite number?
False
Suppose 12*g - 48076 = 10*g. Suppose 5*s - g - 56877 = 0. Is s prime?
True
Suppose 77*u - 524267 = 1403120. Is u a prime number?
True
Let s(b) be the first derivative of 5*b**3/3 + 6*b**2 - 17*b + 1. Let o be s(12). Let x = o + -150. Is x a prime number?
False
Suppose p - 5*g - 20 = 0, -2*p + 20 = 4*g - 9*g. Suppose -3*h + 544267 + 173783 = p. Is (h/(-30) - 2/(-6))/(-2) prime?
True
Suppose 0 = -2*l - 4*a + 338, 0 = l - 2*l + a + 175. Let u be 1365 + ((-2)/3*(-15)/(-2))/(-1). Let f = l + u. Is f composite?
False
Is (199 - (34 - 52))/((-2)/(-2162)) - 8 composite?
True
Suppose -912042 - 541589 = -53*i. Is i a prime number?
True
Let s(j) = 158*j - 129 - 147 - 82 + 83. Is s(6) a prime number?
True
Let g(i) = -37*i**3 + 10*i**2 - 31*i - 193. Is g(-4) prime?
True
Let a(l) = -2*l**3 - 38*l**2 - 498*l + 5. Is a(-39) composite?
True
Let c = -6852 + 11849. Is c a composite number?
True
Let s(x) = 2*x**2 - 29*x - 9. Let o be s(19). Let i = 288 - o. Let y = i - -152. Is y prime?
False
Let p(y) = y**2 - 13*y + 11. Let z be p(12). Let c(s) be the first derivative of -269*s**2/2 - 40. Is c(z) prime?
True
Suppose 6*v + 765 = 765. Suppose -d + 7312 = 2*u + 2*d, v = -5*u + 4*d + 18303. Is u a prime number?
True
Let g(p) be the first derivative of 38/3*p**3 - 11*p + 19 + 11/2*p**2. Is g(4) a composite number?
False
Let y = -47662 - -74385. Let r = y + -14538. Is r prime?
False
Let m(l) = -8*l**3 - 20*l**2 - 76*l - 35. Is m(-17) a composite number?
False
Let s = 1135069 - 113552. Is s a prime number?
False
Let v = 30688 + -14711. Is v a composite number?
True
Suppose 54*p = 2*p - 674074 + 2488718. Is p composite?
False
Is (2/5 + 115399/15)/(31/93) composite?
False
Is ((-3844524)/(-9))/(696/522) a composite number?
False
Let p = -1437 - -661. Let r(j) = 297*j**3 - j**2 - 2. Let y be r(2). Let t = y + p. Is t composite?
True
Let p be -563*(0 - -2*(-10)/(-4)). Let m = -992 - p. Is m composite?
False
Let j be 4 + 2/(3/(-8412) + 0). Let c = 9773 + j. Is c a composite number?
True
Suppose 0*s - 5*s = -70. Suppose -s*k + 5 = -9*k. Suppose 0 = 2*d + k - 15. Is d a prime number?
True
Suppose -22*g + 17*g + 20 = 0. Suppose -5638 = -2*w - p + 15853, 21482 = 2*w + g*p. Is w a prime number?
False
Suppose 2 = -c - r + 2*r, 3*c - 15 = -4*r. Let d be ((-16076)/(-2))/(-3 - -6 - c). Let a = 5940 - d. Is a a composite number?
True
Suppose 0 = -2*r + 3*c + 1176643, 8*r + 3*c = -1414399 + 6121046. Is r composite?
True
Suppose 0 = -i + 38 - 34. Is i*(-9)/54*(-2286)/4 prime?
False
Is (2 - 1)/(7/(3557036/4)) prime?
True
Is ((-17074715)/221 + (-2)/(-13))/(-1) a composite number?
False
Suppose -34473 + 134507 = -11*i. Is 20/(-8)*-1*i/(-5) a prime number?
True
Let a = -13 - -25. Let z be ((-7)/(28/a))/(-1). Suppose 947 = p - z*g, g + 1912 = 2*p + 4*g. Is p prime?
True
Is 2*(-4)/40*(2 + -19947) prime?
True
Let s(v) = 21261*v + 4019. Is s(8) a prime number?
False
Is (-36)/(-189)*907949*3/4 a composite number?
False
Suppose 209*g - 206*g - 12 = 0. Let s(y) = -2*y**2 + 13*y - 14. Let h be s(g). Suppose -l + h*l = 13535. Is l prime?
True
Let b(u) = u**3 - 27*u**2 + 47*u + 11. Let d = 66 + -63. Suppose -t = 5*f - 2*f - 23, 3*f + 81 = d*t. Is b(t) a prime number?
True
Let x = 124 - 137. Let u(q) = -q**3 - 8*q**2 + 3*q + 5. Is u(x) prime?
True
Let t = -17344 + 31965. Is t prime?
True
Let x = 204 - 199. Is (-6)/1 + x - (-18007 + -1) a prime number?
False
Let r(d) = 101*d**3 - 20*d**2 + 11*d - 6. Let s(t) = -20*t**3 + 4*t**2 - 2*t + 1. Let c(m) = 2*r(m) + 11*s(m). Is c(-3) a prime number?
True
Let g(l) = 6651*l**2 - 11*l - 9. Is g(-1) composite?
False
Suppose -4*g = w - 2 + 4, 0 = -2*g - 2. Suppose -5*z = 4*n - 5, 0 = -z - 3*n + 8*n + 1. Is w + z + (551 - 1) a prime number?
False
Suppose 28*m = 18*m + 194990. Suppose 8*v - 4*v + 5*j = m, 5*v - 3*j = 24346. Is v a composite number?
False
Let o be -72*2/(4 - 3). Let s = 145 + o. Let h(a) = 975*a**2 - 1. Is h(s) prime?
False
Suppose 14*n + 35 + 105 = 0. Let l(y) = -1165*y + 27. Is l(n) prime?
True
Suppose -c + 12 = h + 3*c, -5*h + 5*c = -35. Let x be 22 - (-5 + h) - 2. Is -326*(x*-1)/((-2)/(-1)) composite?
True
Is (-4*74759*(-391)/(-68))/(-1) prime?
False
Let r(m) = -71*m - 27 - 56*m - 60*m + 3 + 56*m. Let d be (-5 - -1*2) + -2. Is r(d) composite?
False
Suppose 22478 = 7*k - 11752. Suppose -514 = -7*f + k. Suppose 4*i + 649 + 121 = 2*m, 2*m = 5*i + f. Is m prime?
False
Suppose 19*z = 17*z + 156. Suppose 74*i - z*i = -7256. Is i a composite number?
True
Suppose -2*d - 2*z = 0, -d + z + 20 = -3*z. Let o(k) = 90*k**3 - 2*k**2 + 4*k + 3. Is o(d) prime?
False
Suppose -199*a + 203*a - 3*q - 781571 = 0, 5*q = 4*a - 781565. Is a prime?
False
Let o(n) = -23*n**2 - 10*n + 4. Let u be o(6). Let z = 1617 + u. Is z a composite number?
False
Let p(q) = -q**2 - 2*q. Let c be p(0). Suppose c*j - 7*j = -14. Suppose y = 4*b + j + 321, -3*y + 905 = 4*b. Is y prime?
True
Let r(l) = l**2 - 23*l - 8. Let k be r(23). Let i(g) = 153*g**2 - 23*g - 9. Is i(k) prime?
True
Let y be (-5)/((2 - 5)/3). Let s(d) = -20*d**2 + 6. Let j(f) = 41*f**2 - f - 13. Let u(k) = y*s(k) + 3*j(k). Is u(-10) a prime number?
False
Let v(r) = r**3 - 13*r**2 - 17*r - 1. Suppose 3*q = -5*w + 72, 0 = -2*q - q + 12. Let k be v(w). Let o = k - -1323. Is o a composite number?
True
Suppose -2*a + 6*a + 2*w + 2 = 0, -2*w = -5*a + 20. Let m be 22 + -33 - (-1 + a). Is (-24)/m - (-2)/((-2)/(-519)) composite?
False
Let y(d) be the first derivative of 38*d**3/3 + 5*d**2/2 + 4*d - 43. Is y(-3) a composite number?
False
Suppose 2*p - 2*v = 3288, 2*v - 6*v = -2*p + 3280. Suppose -d + 347 = -p. Suppose -4*c = -w - 8014, -c + 0*c + d = 4*w. Is c a composite number?
False
Let y(b) = 4*b**3 + 4*b**2 - 5*b + 28. Suppose 4*u - 53 = -5*l, l + 2 - 1 = 5*u. Is y(l) a prime number?
False
Suppose 12 = -3*f + 6*f. Suppose 3*d + 2*b + 4906 = 0, 3*d - 3*b + 4896 = -0*d. Is 0 - d/f - 8/(-16) a prime number?
True
Let s = -7519 + 11323. Suppose 0 = -15*f + 13*f + 3*g + 3808, -g = -2*f + s. Is f a prime number?
True
Let h = 157146 - 85369. Is h composite?
False
Is (-1111848)/30*(0 - (-20)/(-8)) composite?
True
Let z(y) = 139*y**2 - 2*y - 37 - 4*y + 18*y - 1. Is z(7) a prime number?
True
Let p = -1 - 2. Let d(y) = -1441*y + 18. Is d(p) prime?
False
Is (-131374346)/(-407) + (-1)/1*(-12)/(-132) prime?
False
Suppose -11*m + 32382 = -4*m. Let k = m - 3189. Is k prime?
False
Suppose 0 = -84*k + 98*k - 3906. Suppose -4*j + 5*j = -a + 267, -a - 4*j = -k. Is a prime?
True
Let t be ((-5)/15)/(-2 + 10565/5283). Suppose -t = 655*o - 658*o. Is o a composite number?
False
Let k be 12/(-10)*(-150)/45. Suppose 5*h + 6490 = 7*h - k*x, -15 = -5*x. Is h composite?
False
Suppose 4*i = -4, 6*m - 9*i + 305742 = 9*m. Is m a prime number?
True
Let k be ((-9185)/(-15))/(2/(-6)). Is (-3 - k/2)*2 prime?
True
Suppose 0 = -3*b - 6*t + 11397, -16*t = -14*t - 8. Is b a prime number?
False
Suppose s - 18610 + 144135 = 3*n, 3*n = -5*s + 125549. Is n a composite number?
False
Suppose -2*w + 5 + 3 = 0. Suppose w*n - 3756 = 312. Suppose -200 = -d - u + 4*u, 0 = 5*d + 2*u - n. Is d prime?
False
Is (10 + 33)*((-107)/2)/(3/(-6)) a prime number?
False
Suppose 5*c = 229999 + 50751. Suppose 20*k - 7110 = c. Is k a prime number?
True
Let o be 2/4*(4 - -2). Suppose -o*j = 0, 3*h - 5*h = 5*j - 6. Suppose 0 = -2*f + h*t + 1694 - 420, 0 = 3*f - 2*t - 1901. Is f a prime number?
True
Let p be (-2 + 3)*(0 - 2). Let f(h) = h**2 + 3*h - 3. Let y be f(2). Is p/y + 24498/42 composite?
True
Let p(n) = -n + 4. Let z be p(-4). Let u be (0 + -2)/((z/80)/1). Is 1/(2/1390)*u/(-50) a prime number?
False
Let o(a) = -24 - 49 + 24*a + 17*a**2 - 34 + 125. Let l be 6/(-4)*-8 + 1. Is o(l) composite?
False
Suppose 10*m = 12*m - 4. Suppose -8*y = -m*y + 1236. Is y/3*(-5 - 1) + -1 a composite number?
True
Let z = -46406 + 202009. Is z prime?
False
Suppose -y = -5*y + 1500. Suppose 2*v - y = v. Suppose -2233 = -2*z - v. Is z composite?
False
Let a(q) = -20*q**3 + 14*q**2 + 26*q + 38. Let k(l) = -7*l**3 + 4*l**2 + 9*l + 13. Let o(m) = -2*a(m) + 7*k(m). Is o(-8) composite?
True
Let b = 5 - -15. Suppose 4*w = -4 + b. Suppose -3*f - w*z + 1252 = -3945, f - 1754 = 3*z. Is f a composite number?
True
Let a(g) = -11712*g + 65. Is a(-3) a prime number?
True
Le