+ 17*n + 43. Let d be k(-19). Let i = d - -124621. Is i prime?
True
Let v(q) = 1081*q**2 - 165*q - 7119. Is v(-50) a composite number?
True
Suppose 23*f = -2*f - 4125. Is 30906/8 - (f/44)/(-15) composite?
False
Let w = -159 + 91. Let l = 70 + w. Suppose -m = -2*m - l*h + 253, 4*m - 4*h - 1000 = 0. Is m composite?
False
Let i(c) = -3114*c - 1367. Is i(-11) prime?
True
Suppose 0 = 10*b + 13*b + 20*b - 277651. Is b a composite number?
True
Let b(x) = -4567*x - 5473. Is b(-18) a prime number?
True
Is (-6)/(48/(-20))*(-2036018)/(-155) a prime number?
True
Let a be 0/((-20)/12 - 2/(-3)). Suppose 18*o - 16*o - 22 = a. Suppose -1774 = o*n - 13*n. Is n composite?
False
Suppose -2*y + 3 = o, y - o - 6 = -3. Suppose -4 = -3*g + y*g. Is (45/6 - g)/((-2)/(-316)) a composite number?
True
Let p be 6/(((-2)/47)/(4 + -5)). Let s = 1532 + p. Is s prime?
False
Suppose -384*g = -426*g + 1206618. Is g composite?
False
Let w(u) = 959*u + 64. Let a be w(3). Suppose a + 818 = 3*z. Is z prime?
False
Suppose -3*i + 11*i + 30848 = 0. Let s = i + 7231. Suppose -z + 2*n + 2*n = -651, s = 5*z + 4*n. Is z a prime number?
False
Suppose 0*i + 5*h = 2*i + 57, -2*i - 78 = 2*h. Let u = i + 31. Let f(o) = 152*o**2 - 2*o - 17. Is f(u) prime?
True
Let v = -206 + 210. Is v*1 - (-313743)/23 composite?
True
Let j be 6/(-24) - ((-2036716)/(-16) + -5). Is (-3)/(17 + -8) + j/(-9) prime?
True
Suppose 598*s = 756*s - 82624994. Is s prime?
True
Let a(q) be the third derivative of -q**6/24 - 13*q**5/60 - q**4/3 - 29*q**3/6 + 13*q**2. Let r be a(-12). Is r/10 - (-3)/2 a prime number?
False
Suppose -8*c - 466143 = -35*c + 444918. Is c prime?
False
Suppose 10 = -20*n + 22*n, n = 2*v - 22353. Is v a composite number?
True
Let i(c) = c**3 - 8*c**2 + c + 4. Let y be i(8). Suppose -16 = -5*z + 2*z - 2*l, 5*z - 4*l - y = 0. Is -6 + (z - 1) - -634 a prime number?
True
Let n(j) = 129783*j + 7309. Is n(4) composite?
False
Suppose -5*i = 3*g - i - 26, 5 = i. Suppose -15 = -7*n + g*n. Suppose -n*y - 19 = -3*q + 95, 3*y + 15 = 0. Is q a prime number?
False
Let b = 24057 - -5008. Is b prime?
False
Suppose 237 = 48*b - 51*b. Let f = 84 + b. Suppose 0 = -4*z - f*c + 3144, 4*z - c - 2305 - 863 = 0. Is z a prime number?
False
Is -13 - (-4880 - (-1 + -13)) a prime number?
False
Suppose -4*f - 4 = 2*a, -2*a + 0 = f - 2. Suppose 0 = -t - a, u = -u + 2*t + 2738. Is u prime?
True
Suppose 6*n - 8256 = 4*n + 2*y, -2*n = 5*y - 8277. Suppose -10*v + 5539 = -n. Is v composite?
False
Suppose 0 = -4*r + 2*b + 7582, 0*b = -2*r + 2*b + 3786. Let h = 1405 + r. Suppose j - h = -2*j. Is j prime?
False
Let f(k) = 4*k + 6. Let r be f(-4). Let h(s) = -s**2 - 9*s + 15. Let q be h(r). Suppose -3*w + q*u + 2864 = 0, -3*u = 2*u + 5. Is w a prime number?
True
Suppose 2*f = -0*f - 196. Suppose 2*r = r - 2*b + 273, -3*r = 5*b - 824. Let h = f + r. Is h composite?
True
Let b(m) = -4*m**3 - 13*m**2 + 107*m + 197. Is b(-29) a prime number?
True
Suppose 0 = -2*o + 2*v + 16, -4*o - v + 12 = -5. Is o + (2/(-8) - (-64665)/4) a composite number?
True
Let c(z) = 3112*z - 2. Let f be c(8). Suppose -5*h + 1411 + f = 0. Is h a composite number?
False
Suppose 0 = -3*s - d + 29, -5*d = -2*s + 7*s - 45. Suppose s*n - 46413 = 38497. Is n a composite number?
True
Suppose 128*b - 123*b - 1077410 = 0. Is b a prime number?
False
Let l(q) = 271*q**2 - 10*q + 6. Let g be l(4). Is 2 + g/12*2 a prime number?
True
Let m(i) = 155*i**2 + 5*i - 21. Let k(s) = -77*s**2 - 2*s + 10. Let a(y) = -13*k(y) - 6*m(y). Let p = -1041 + 1038. Is a(p) composite?
False
Let u = -168887 - -302244. Is u prime?
False
Let f = 5 + -4. Let d be ((-20)/12 + f)/(2/24). Is ((-28)/d - 4)*0 - -481 prime?
False
Let h(n) = 15*n**2 - n**3 - 3 - 13*n**2 - 3 + 6*n. Let a be h(4). Let y(x) = -7*x + 44. Is y(a) a composite number?
True
Suppose -5*q = 5, -2*q + 150716 = 4*c - 299118. Is c a prime number?
True
Let m(p) be the second derivative of -35*p**3/2 - 97*p**2 - 94*p. Is m(-7) a prime number?
True
Let w(g) = 119*g**2 + 144*g - 2032. Is w(17) prime?
True
Suppose 2*o + 2*g - 52 = -3*g, 4*g - 164 = -5*o. Suppose -5*l = 4*d - 27985, -11 + o = -5*d. Is l composite?
True
Let h be (2213/(-1))/((-54)/(-28) - 2). Suppose -30*k - h = -44*k. Is k composite?
False
Suppose -8*w + 20 = -12. Let d(q) = -10*q**2 + 12 - 2*q - 9 - w + 70*q**2. Is d(-3) prime?
False
Let t be -10*((-4)/2)/(6 + -1). Suppose t*p - 520969 + 6105 = 0. Is (p/(-70))/(2/(-5)) composite?
False
Let n = -41793 + 65014. Is n a composite number?
True
Let u = -449003 - -740542. Is u a prime number?
True
Let g(n) = -53*n - 6. Let x be g(-1). Let v = 415 - x. Let b = v + -205. Is b prime?
True
Suppose -2*y = 20*k - 19*k - 176427, 3*k = 3*y - 264618. Is y a prime number?
True
Let j(w) = 3859*w + 333. Is j(4) a prime number?
False
Suppose 4*l - 8*l = 116. Let o = l + 34. Suppose 2*q + 4*m = o*q - 1058, -2*q = -5*m - 696. Is q composite?
True
Let s(h) = 2*h**3 - 3*h - 7. Let c be s(-2). Let l(w) = w**3 + 22*w**2 - 43*w - 15. Is l(c) prime?
True
Suppose 4*n = 3064 + 2096. Suppose 0 = -4*s + n + 198. Suppose 1802 = 2*f - s. Is f a prime number?
True
Let v = 7669 - 4062. Is v a prime number?
True
Let g = 185 - 193. Is g + 11 - -29*128 a prime number?
False
Let s(r) be the third derivative of r**7/1260 - r**6/80 - r**5/60 + 7*r**4/8 - 19*r**2. Let c(o) be the second derivative of s(o). Is c(7) prime?
False
Let x(p) = -p**3 + 108*p**2 - 205*p - 239. Is x(69) a composite number?
True
Let s = 257 + -255. Suppose -s*p + 8 = 0, -6*i + 1428 = -2*i - 2*p. Is i prime?
True
Suppose -5*u - 3817 = 5283. Let j = -943 - u. Is j a prime number?
True
Let t be (-5096)/10 + (-63)/(-105). Let o be 1*2 + (-333 - 15). Let m = o - t. Is m composite?
False
Suppose -q - 4*a = -271397, -542788 = -5*q + 3*q - 2*a. Is q a composite number?
False
Suppose -16*q - 100 = -36*q. Suppose -3*z + 17256 = -b, q*b = 3*z - 17969 + 725. Is z prime?
False
Let d(x) be the second derivative of x**4 + 7*x**3/3 - 31*x**2/2 - 55*x. Is d(13) composite?
False
Let f be 52/65 - (-2 - 172/10). Suppose 5*l = 9*l - f, l - 18337 = -4*s. Is s a composite number?
False
Suppose z - 3*z + 60 = 5*p, 0 = 5*p - z - 60. Let t be p/(-14)*(0 + -1477). Suppose -9*g + 3*g + t = 0. Is g a prime number?
True
Let l(i) = -10*i**2 - 38*i + 4. Let c be l(-4). Let a(t) = -92*t + 51. Is a(c) a composite number?
False
Suppose 0 = -3*s + 5*t + 165832, -6*s - 165902 = -9*s - 5*t. Is s prime?
False
Let d(r) be the first derivative of -219*r**4 + r**3 - 2*r + 12. Let b be d(-1). Let s = 678 + b. Is s composite?
True
Suppose 2*f - 4*s - 898 = 0, -3*s + 76 = f - 393. Suppose 0 = 27*w - 1706 - 9985. Suppose -f - w = -5*d. Is d a prime number?
False
Let s(c) be the third derivative of 77*c**4/24 - 5*c**3/6 + 107*c**2. Let b = 27 + -25. Is s(b) prime?
True
Suppose 5*w = -22*w + 81. Suppose -2*f - 3*s = w*f - 18067, -4*f + 3*s = -14432. Is f a composite number?
True
Let y = 36321 + -25778. Let s = 28394 - y. Is s a prime number?
True
Let z(y) be the second derivative of 7/6*y**4 + 2*y + 1/3*y**3 - 5*y**2 + 1/20*y**5 + 0. Is z(-13) prime?
False
Suppose -9*h = 8510 - 55472. Is h a composite number?
True
Suppose -q = -47 + 45. Let z(p) = -26*p + 19*p**2 + 21 - 45*p**q - 4*p**3 + 3*p**3. Is z(-25) a composite number?
True
Suppose -w = -6*j - 1394239, 1394279 = 5*w - 4*w + 2*j. Is w a prime number?
True
Let q(m) = -75*m**2 - 7*m + 5. Suppose 0 = -8*d + 12*d - 8. Let w be q(d). Let y = w - -790. Is y a composite number?
True
Suppose 3*q = 4*a + 175, 7*q + a = 2*q + 330. Let t = -62 + q. Let o(c) = 5*c**3 - c**2 + 6*c - 5. Is o(t) a composite number?
False
Let i = 1099 + 397. Let d = i - -707. Is d prime?
True
Suppose 4*w - 14 = -3*c, 8*c + w - 6 = 7*c. Suppose -11 - 3129 = -c*j. Is j prime?
False
Let v(y) = -264*y**3 - 16*y**2 - 3*y + 4. Let g be v(5). Is g/(-6) + (-1)/(-2) composite?
False
Let q = -298083 - -575566. Is q prime?
True
Suppose -309*c + 825 = -308*c + 4*j, 0 = -3*c - 5*j + 2447. Is c a composite number?
False
Suppose -50*z + 2881625 = 665175. Is z a composite number?
True
Let s = -411626 - -974047. Is s a composite number?
False
Let q be (-5)/2 + 3/6. Let a = 1 - q. Suppose -a*z + 1010 - 258 = -l, -4*z - l + 1005 = 0. Is z a composite number?
False
Let t = 18257 + -6974. Is ((-8)/(-6))/(56419/t + -5) composite?
False
