04 + 2327 = -2*w. Let d = -1306 - w. Is d prime?
True
Let l = 38 - 47. Let a(f) = -f - 1 - 13 - 28*f. Is a(l) composite?
True
Suppose 4*l + 3340 = 2*w, -8336 = -5*w - 5*l + l. Let n be (0/(-12))/(2/2). Suppose 3*v = -5*z + 8352, 0 = -z - 3*v - n*v + w. Is z a composite number?
True
Let i(h) = 15302*h + 449. Is i(7) a prime number?
True
Let u(t) be the first derivative of 350*t**3/3 + 2*t**2 + t - 66. Is u(-7) composite?
False
Let l(f) = 217*f + 355027. Is l(0) composite?
False
Suppose -80376 = -4*b + 4*p, 4*b - 11126 - 69313 = -5*p. Is b a prime number?
True
Is (18843/6 - -3)*((-132)/(-11) + -10) a prime number?
True
Suppose 0 = -5*p - w + 18, -p - 3*w + 4*w = 0. Suppose z = 4*i - 19, 0*i - p*z - 3 = -3*i. Suppose 0 = i*c - 4851 - 3255. Is c composite?
True
Is ((-12)/3 - (-8)/3)*(-4797849)/28 composite?
False
Let j = 2861 + 2346. Let l = j - -804. Is l composite?
False
Suppose -56*o - 21609 = -59*o + 22926. Is o a composite number?
True
Let u(j) = -3*j**3 + 8*j**2 - 53*j - 805. Is u(-51) prime?
False
Let c(j) = 659*j + 77. Suppose 0 = -f + 8 - 2. Is c(f) a composite number?
True
Suppose 29*u = 697000 + 268323. Is u composite?
False
Let f(z) = -z**3 - 6*z**2 + 2*z + 6. Let o be f(-6). Let g be (-1775 + 1)*(3 - (-21)/o). Let b = 1428 - g. Is b a composite number?
False
Suppose -443423 = -3*z - 3*p - 56519, -5*p - 515881 = -4*z. Is z a composite number?
False
Suppose -3*z + x = 2870, 0*z - 4*x = -4*z - 3832. Let t(s) = -111*s + 3. Let h be t(2). Let w = h - z. Is w a prime number?
False
Suppose -4*u - 478*s = -473*s - 327278, -2*s - 327264 = -4*u. Is u a composite number?
False
Suppose 62567952 = 126*u + 3379830. Is u prime?
True
Let u(x) = 2*x**3 - 26*x**2 - 34*x + 33. Let h be 1593/81 - 2/3. Is u(h) a composite number?
False
Let s(x) = -x**2 - 6*x + 7. Let p be s(-9). Let w be ((-6)/(-4))/(((-33)/p)/11). Suppose -9170 = -w*q - 1980. Is q a prime number?
True
Is 144271*(10 + 81/(-9) + 0) prime?
True
Suppose 608508820 - 273031910 = 358*x - 500973264. Is x a composite number?
True
Let f = -207 + 213. Suppose -f*z + 55119 = 13*z. Is z prime?
False
Let j be (396/(-72))/((-1)/(-12)). Is (-127)/(-5) + j/165 prime?
False
Suppose -8*f - 17 - 8 = -9. Let t = -4 - -3. Is (t + f)/1 - -2*47 a prime number?
False
Let b = 141 - 272. Let u = 135 + b. Suppose -g + 9253 = -6*r + 9*r, 5*r - 15431 = -u*g. Is r prime?
True
Let n(k) = 3*k - 19. Let t be n(9). Suppose -11*q + 768 = -t*q. Let h = q + -143. Is h composite?
False
Suppose 2*c - 754793 = 40*b - 39*b, -4*b = -2*c + 754802. Is c a prime number?
False
Let k(c) be the first derivative of 665*c**3/3 + 3*c**2/2 - 43*c - 95. Is k(5) prime?
False
Let n(x) = x**3 - 5*x**2 + 4*x - 4. Let d be n(3). Let g(i) = -25*i**2 - 13*i**2 + 11*i + 22*i + 27*i**2 - 4*i**3 - 9. Is g(d) prime?
False
Suppose 5*c - 2*r = 22, 5*c - 32 = -r + 2. Suppose 4*d = 4*l - 20, d - 1 = 2*l - c. Suppose b = -k - 182 + 669, -2*k - 8 = l. Is b composite?
False
Is (594337 + (-220)/(-10))*1 a prime number?
True
Let p(t) = 231*t**2 - 219*t + 19. Is p(9) prime?
True
Suppose 5*s + 2*u - 13 = 0, -3*s - 4*u + 11 = 2*s. Suppose 2*q = 2*g + 246 + 52, s*q = -2*g + 432. Is q composite?
True
Suppose 2*u = 4*u + 4*n + 2, -7 = 3*u + 4*n. Let a(p) = -88*p + 39. Is a(u) prime?
True
Let i(k) = -122*k - 15. Let b be i(7). Let m = 13340 - b. Is m a composite number?
True
Let w(c) = -4*c**3 - 2*c**2 - 16*c + 23. Suppose 2*o + 10 = 0, -3*f - 11 = -o + 5. Is w(f) a prime number?
True
Is (-20 - -3)/(2/((-6 - -20212)/(-1))) composite?
True
Let j = -40889 - -74856. Is j a prime number?
True
Suppose 4*b + 293777 = -j + 4*j, 0 = -5*j - b + 489590. Is j a composite number?
False
Let s = 1856 + 32064. Let p = s - 15219. Is p a composite number?
False
Let k(f) = -260*f**3 + 12*f**2 - 16*f - 59. Is k(-8) a composite number?
True
Let a = 10386 - -4585. Is a prime?
False
Is (-774)/99 - -8 - 62642520/(-88) composite?
False
Suppose -7*t + 5*t = -6. Let m = t + -5. Is (m - -3)/(3/2973) a prime number?
True
Suppose -3*h - 9 = 0, -16*o = -19*o - 4*h + 215070. Suppose -o = -9*m + 61839. Is m a prime number?
False
Suppose 17*w = 11*w + 84. Is -18 + w - (-216 + 1) prime?
True
Suppose 2*y - 121007 = -56*x + 55*x, -4*x = 5*y - 302516. Suppose y = 39*m - 15*m. Is m prime?
True
Suppose 13107361 - 40125863 = -98*n. Is n a prime number?
True
Let v = -41 - -519. Suppose 15*t - 16*t = -v. Is t a prime number?
False
Let r be 3*(-561)/(-189) + 2/21. Suppose 187884 = r*j + 27*j. Is j a composite number?
True
Let k = 163 + -140. Let j(z) = 21*z**2 - 10*z + 24. Is j(k) composite?
False
Suppose 4*s = 4*f + 18867 - 69747, 3*s - 50831 = -4*f. Is f a composite number?
False
Let u = 13944 - -50105. Is u a prime number?
False
Let p = 61221 + -88999. Let h be ((-3)/6)/(1 + -2)*-24. Is p/(-18) + h/(-54)*-1 a prime number?
True
Let b be (1 + 15/(1 - 6))*-1. Suppose b*s - 6149 = 2*n - 5*n, 2*n - 5*s - 4112 = 0. Is n composite?
True
Let b(a) = 4*a**2 + 56*a - 1. Let f be b(-14). Let h(d) = 2*d**2 + 1. Let p be h(f). Let l(m) = 136*m + 5. Is l(p) a composite number?
True
Let g(h) = 38*h**2 - 8*h + 7. Let t be g(1). Suppose 0 = -48*b + t*b + 53251. Is b a prime number?
False
Let y(f) = -2*f**2 + 17*f - 5. Let b(n) = -2*n**2 + 13*n - 7. Let k be b(5). Let q be y(k). Suppose q*x - 477 = -2*a, -5*x + a + a + 811 = 0. Is x composite?
True
Suppose -11*v + 382673 - 503 = -v. Is v a prime number?
False
Let n(d) = d**3 - 2*d**2 + 2*d + 4. Suppose -3*i = -2*i + 4*w + 14, 0 = -3*i - 4*w - 10. Suppose -3*q + 31 = -0*q + i*s, 0 = -3*q - 3*s + 30. Is n(q) composite?
True
Let z = -991 - -1398. Suppose 2*m - 405 = a, -m - z = -3*m - a. Is m a composite number?
True
Let o be (-2 - -3) + (-7 - -2). Let v be ((-3)/o)/(3/16). Suppose -151 = -v*c + 1413. Is c composite?
True
Let h be 1218/(-10) - (-2)/(-10). Let o = h + 50. Let n = o - -115. Is n a composite number?
False
Suppose 3*g - 2494494 = -43*g + 996400. Is g prime?
False
Suppose 0 = 19*l - 1341258 - 1492516. Is l a composite number?
True
Is ((-2556)/(-10))/((-5 - 2)/(-560)) - -5 prime?
False
Suppose 2*l + l - 5*c = 438468, -5*c = -15. Is l a composite number?
False
Let j = 21058 + -6560. Let m = -6289 + j. Is m a composite number?
False
Suppose 0 = 5*y - 7 - 8. Suppose 4*p + 5*b - 6*b = -8417, -y*p = -b + 6312. Let v = 4834 + p. Is v a prime number?
True
Let t(a) = -2*a + 19. Let i be t(9). Let h(m) = 7492*m**2 + 9*m - 8. Is h(i) a composite number?
True
Let g = -17339 + 12211. Is 135/60*g/(-6) a composite number?
True
Suppose -j - j - 4088 = -4*u, u - 6137 = 3*j. Let n = 3779 + j. Is n a composite number?
False
Suppose 5*z - 6 = -36. Let h = -3 - z. Suppose 2088 = h*u - 1743. Is u a composite number?
False
Suppose -5*m = 4*l - 18112, 3*l + 100*m = 99*m + 13595. Is l a prime number?
False
Let t(w) = 39052*w**2 + 38*w - 87. Is t(5) a composite number?
False
Is (-8)/(-18) + 11210829/189 a composite number?
True
Suppose 18*g = -437 + 509. Suppose -5*o = g*r - 200135, 0 = 10*o - 7*o + r - 120088. Is o prime?
True
Let g(v) = 7 + 17*v**2 - 5*v - 3*v + v. Suppose -h - 2*r - 19 = -20, -3*h - 3*r = 9. Is g(h) a prime number?
False
Let a(p) be the second derivative of p**3/3 + 3*p**2 - 41*p. Let k be a(3). Is ((-11906)/(-6))/(4/k) a prime number?
True
Suppose 6*x - 658 = 194. Is x*((-39)/(-6) + -5) composite?
True
Let l(d) = 2*d**3 - 2*d**2 - 442*d + 47. Is l(22) composite?
False
Suppose -1793*o + 2505675 = -1778*o. Is o a prime number?
False
Let z be (-4)/8*28/(-2). Let x(m) be the third derivative of 11*m**4/12 - 9*m**3/2 + 9*m**2. Is x(z) a composite number?
False
Let p(h) = h**3 - 2*h**2 - h + 9. Let t(v) be the first derivative of 4*v**2 - 4*v + 14. Let f be t(1). Is p(f) a prime number?
True
Let k(p) = -p**2 + 2*p + 1. Let s be k(3). Let u(q) = -q**3 + 2*q - 1. Let l be u(s). Suppose 5343 = 5*r - o, -2*r + 2148 = 2*o + l*o. Is r a prime number?
True
Is (-3)/(3/(-275818))*((-1485)/90 - -17) composite?
False
Suppose -w - 4*v + 20 = 0, 2*v + 108 = 4*w + 4*v. Suppose -5*g - w*i + 23*i + 78410 = 0, 3*g - 2*i - 47061 = 0. Is g prime?
False
Suppose -36 = -4*x - 2*z - 2*z, 3*x + 5*z = 23. Suppose x*o + 2*n - 403737 = 6*o, -5*n + 242246 = 3*o. Is o a prime number?
True
Let m be (0/1 - 2)/(-2). Let j = 2526 + -2504. Is 8276/28 + (m - j/14) a prime number?
False
Let n be (-1)/(15/1