Let x be 19325/11 - (m/(-44) + 5). Let w = -850 + x. Is w composite?
False
Let d(m) = 2322*m**3 - 25*m**2 + 39*m - 25. Is d(8) prime?
True
Suppose -34 - 8 = 21*y. Is -11*958*y/4 prime?
False
Suppose 55072 - 9364 = -13*k. Let l = k + 5933. Is l prime?
True
Suppose -24*r - 90 + 282 = 0. Is ((1484/r)/(-7))/(3/(-78)) a composite number?
True
Let d = 17201 - -72552. Is d a prime number?
True
Let y = -235086 - -427285. Is y composite?
True
Let b = -1 - -9. Suppose 0 = -b*j + 4*j + 568. Suppose -3*n + 413 + j = 0. Is n prime?
False
Suppose b - 839 = -5*i, 0*b = 3*i + 2*b - 509. Suppose 0 = -6*c - 11*c + 1734. Let j = c + i. Is j a composite number?
False
Let v be ((-34050)/(-225))/((-2)/183). Let g = -4554 - v. Is g a composite number?
False
Suppose 161053 = -7603*p + 7604*p. Is p a composite number?
False
Let v be -2*3/(-2) - (-13922 + 0). Suppose 196*h - v = 191*h. Is h a composite number?
True
Suppose -u - 408 = -13*u. Suppose 425 = u*t - 29*t. Is t a composite number?
True
Let o be 184/(-20) + (-3)/(-15). Is ((-3)/o - (-16)/24)*7853 prime?
True
Let u be -1*(-12)/(-22) + (-80115536)/473. Is (0 + -4)/(88/u) a prime number?
True
Suppose -92*a = -1122153 - 52411. Is a prime?
False
Let p(d) = 2*d**2 + d - 1. Let t be p(-1). Let j be (4/10 - t)/((-1)/10). Let k(l) = -186*l - 11. Is k(j) composite?
False
Let y = 87 + -86. Is 0 - 1 - (-3 + y*-539) prime?
True
Let a(i) = 92*i + 2 - 1 - 2 + 2. Let c = -118 + 119. Is a(c) prime?
False
Let b(j) = 4758*j**2 - 90*j - 703. Is b(-7) a prime number?
True
Let u(m) be the third derivative of 0*m + 0 - 5/6*m**3 + 8*m**2 - 77/8*m**4. Is u(-6) a composite number?
False
Let i = 182180 + -91185. Is i a prime number?
False
Let s(b) be the second derivative of b**3 + 21*b**2/2 + 2*b + 46. Is s(11) a prime number?
False
Let a be -7*(-1)/4*4. Suppose 3528 = a*k - 1589. Is k a prime number?
False
Is (520/(-20) - -98853)/(2 - 1) a prime number?
False
Let l = -147268 - -307977. Is l a composite number?
False
Suppose 0*m + 0*m - 3*c = 0, 9*m - 4*c - 315207 = 0. Is m composite?
False
Let x be (-8 - -7)/((-1)/(-8049))*-1. Let k = 4599 - x. Is -5 - -6 - k/(9/3) composite?
False
Let y(i) = 0*i**2 - 11 + 3*i + 5*i**2 - 4*i**2 + 1. Let l be y(5). Is 3557/((-6)/l*-5) prime?
True
Let n be ((-779)/(-76))/(3/5772). Let j = -8730 + n. Is j a composite number?
True
Let r(s) be the first derivative of 11*s - 4*s**2 + 6 + 5/2*s**4 - 2/3*s**3. Is r(5) prime?
True
Suppose -10*o - 49*o + 5140006 = 23*o. Is o composite?
False
Is 907*((-11)/(-4))/(5/(-20)*-1) a composite number?
True
Suppose 26*y = 427463 + 655463. Is y prime?
True
Let r(x) = -6*x + 104. Let a be r(17). Is 201 + 4 + 0/a + -2 a prime number?
False
Let y(l) be the second derivative of -947*l**3/3 - 131*l**2/2 + 103*l. Is y(-6) composite?
True
Let s = 29 + -26. Let q be 5 + (0 - (-2 + s)). Is (-2)/q + (-63)/(-2) a prime number?
True
Suppose -142*o + 103866 = -136*o. Suppose 16*r - 17457 = o. Is r composite?
True
Suppose 5*q + 52618 = 3*k, 46*k - 47*k - 4*q + 17545 = 0. Suppose -k = -31*h + 175682. Is h a composite number?
True
Suppose -s = -5*a - 26, -2*s + 44 = -a - 26. Suppose 23302 = s*y - 8342. Is y a composite number?
True
Suppose -4*q = 3*v - 5*q - 197364, 5*v = -3*q + 328954. Is v a prime number?
True
Is (-1*(-3)/(-6))/(94/(-113272444)) prime?
True
Let k(q) = 5*q**2 + 2*q - 8. Suppose -5*z + 5 = -4*j, -4 = j - 2*j - 4*z. Let d be ((-1 - -2) + j)*7. Is k(d) composite?
False
Let x = 201 + -199. Is 13404 - x - (-45)/(-9) a composite number?
False
Let t(p) = p**3 + 14*p**2 + 2*p + 30. Let l be t(-14). Suppose 0 = 2*s + l, s = -4*g + 4*s + 9579. Let x = g - 881. Is x a composite number?
True
Let u be (-51210)/(-105) + (-2 - (-16)/7). Suppose -11*k + 60 = k. Suppose -5*d + 8*m + u = k*m, 4*d - 389 = m. Is d prime?
True
Suppose -15*k + 693650 = 5*j, 5 - 9 = -4*k. Is j a prime number?
True
Let v(f) = -f**3 - 45*f**2 - 11*f - 90. Let q be v(-45). Let z = q + 5332. Is z a composite number?
False
Let q be 48/(-168) - 66630/(-14). Suppose q = 5*y + 3*d, 3802 = -4*y + 8*y + 5*d. Is y a prime number?
True
Let m(p) be the third derivative of -11*p**6/120 + 11*p**5/60 + p**4/6 - 5*p**3/6 + p**2 + 17*p. Is m(-6) a prime number?
False
Let s(w) = -2963*w - 510*w + 1 + 271*w. Suppose 5*v + 4*h - 7 = 0, 7*h - 4 = -2*v + 5*h. Is s(v) a prime number?
True
Is (3153505/13)/((-107)/(-1391)) a prime number?
False
Let s be -3 + (2 - -1) - -59. Let z = s + -55. Suppose p + 2985 = z*p. Is p prime?
False
Suppose -15*t = -13*t. Suppose 7*v - 50*v + 396503 = t. Is v a prime number?
True
Let a = 78 + -67. Suppose 847 + 53790 = a*j. Is j a composite number?
False
Let t(u) = -846*u + 718. Let d(c) = -282*c + 239. Let x(k) = 17*d(k) - 6*t(k). Is x(27) a composite number?
False
Let w(n) = 650*n - 754. Let s(j) = -18*j + 21. Let r(x) = -143*s(x) - 4*w(x). Suppose -k - 4*k - 2*p - 23 = 0, 0 = -k - 2*p - 3. Is r(k) prime?
False
Suppose -18895 = -9*d + 53582. Is d a prime number?
True
Let s = -231718 - -688157. Is s prime?
True
Let z(h) = -1377*h - 100. Let o(k) = 12*k - 75. Let m be o(6). Is z(m) a prime number?
False
Let q = -600454 + 850013. Is q composite?
True
Let d(c) = -c**3 - 26*c**2 + 58. Suppose 0 = -p - 156 + 129. Is d(p) prime?
True
Let y = -205 - 465. Let i be 6/(2/1) + y. Is (2 - (-10)/(-4))*(i - 1) a prime number?
False
Suppose -2*f - 2 - 2 = 0, 3*w + 3*f = 3. Suppose -4*p + 1602 = 2*s, -w*p - s = -4*s - 1224. Let m = -144 + p. Is m composite?
True
Let z = -246 - -251. Suppose 3*r = -z*g + 32288, 7 = -4*g - 13. Is r prime?
True
Let x(k) = 1452*k - 13. Let b(h) = 2904*h - 25. Let q(f) = 6*b(f) - 11*x(f). Is q(2) a prime number?
True
Let d(l) = l**3 + l**2 - 2*l - 1. Let r be d(-2). Is 11197/1 - ((-4)/4 - r) composite?
False
Let d(z) = -z**3 + 13*z**2 + z - 11. Let i be d(13). Suppose -6 = 3*f, 2*o + 8 = -7*f + i*f. Is (0 + (o - -2) + -1712)/(-1) a prime number?
True
Suppose 0 = -2*r + l + 117340 + 64817, -2*l - 91077 = -r. Is r prime?
True
Suppose 2*o = -4*y + 1470012, 106*y + 367475 = 107*y - 3*o. Is y a composite number?
True
Let g = 772261 + -426050. Is g composite?
True
Let z(t) = 8*t**2 - 22*t + 12. Let y be z(-5). Suppose -v + 2*n + y = -2159, -n - 12396 = -5*v. Is v a prime number?
False
Suppose 5*o = 4*o + 81. Suppose 4*n - 629 = -o. Suppose 21 = 4*q + 4*v - 131, v = 4*q - n. Is q prime?
False
Is (-4)/(-22) - ((-8358533)/22 + (-567)/162) a prime number?
False
Let k(r) = 679*r + 109. Let h be k(-3). Let m = 12419 - h. Is m prime?
True
Let n = 4103 + -6029. Is -20 - n - (1 - 2) composite?
False
Suppose 0 = -k - 3, 3*u + 1 = -k - 20. Let h be (-1*10/u)/((-28)/(-84)). Suppose 16676 - 681 = h*a. Is a prime?
False
Suppose 5*r - 2870 = -3*u, 5*u - 2*r + 0*r = 4773. Suppose -20*p + 15*p = -u. Is p a prime number?
True
Let c(b) = -29*b**3 + b**2 + 6*b - 12. Let w be c(-6). Suppose 3*h - 7911 = w. Is h composite?
False
Suppose 5*y + 6*y - 17369 = 0. Suppose -6*w + 503 = -y. Is w a composite number?
False
Let y(u) = -500*u**2 - 102*u**2 - 3 - 70*u**2 - u + 4. Let s be y(-2). Let d = 4418 + s. Is d composite?
False
Suppose 2260054 = 354*j - 931964. Is j a prime number?
False
Suppose 3044*a = 3027*a + 2818991. Is a prime?
False
Suppose 40 = -0*s + 4*s - 4*x, 2*x = -4*s + 10. Let j(u) = 10*u**2 - 4*u - 1. Let i(y) = -21*y**2 + 9*y + 3. Let k(l) = 2*i(l) + 5*j(l). Is k(s) composite?
False
Suppose -66 = -5*t + 3*m, 0 = -3*t - 5*m + 33 - 7. Is (323336/t)/(-13)*(-6)/4 a prime number?
True
Suppose -8*t + 94 + 2 = 0. Suppose w - 2*w = -t. Is (-6)/(-6) + w + 0 a composite number?
False
Let a = -111166 + 169149. Is a prime?
False
Suppose 4*r + 12 = 2*d, 0*d = d - 4*r - 10. Suppose -5*v + 3 = -7, m + d*v = -2772. Is m/(-12)*(-12)/(-8) prime?
True
Suppose -156*j = -154*j + 2*m - 1051084, j - 2*m = 525521. Is j composite?
True
Is (316640/6 + 3)*((-108)/9 + 15) composite?
False
Let s(k) = -39*k**3 - 6*k**2 + k - 17. Let b be s(-4). Suppose 5*r = b - 684. Is r a prime number?
False
Let b(u) = -24*u**3 + 2*u**2 + 28*u - 11. Is b(-11) a composite number?
True
Suppose 3*v + 5*c - 145089 = 0, -13*c - 48329 = -v - 9*c. Is v a prime number?
True
Let j(a) = -a**3 + 6*a**2 + 11*a - 25. Let y be j(7). Is ((-553)/28)/(y/(-228)) prime?
False
Let m(v) = 68*v**2 - 5 - 31 - 7*v + 3 - 67*v**2. Suppose 4*c - p - 59 = -0*p, 0 = -2*c 