-5*n(c) - 7*x(c). Is l(-18) composite?
False
Let n = 6396 + -85. Is n a prime number?
True
Suppose -42432 = -3*l + r, 11043 = 2*l + 2*r - 17237. Is l prime?
True
Let u(j) = 427*j - 22. Suppose -73*q + 9 = -70*q. Is u(q) prime?
True
Let z(h) = -h**3 - 10*h**2 - 14*h - 26. Is z(-18) composite?
True
Suppose 3*a + 2973 = -456. Is ((-10)/15)/(6/a) a composite number?
False
Let y be (-24)/21*(-21)/6. Suppose t = 4*o - 13, -y = t - 2*o + 1. Is t + 51/6*4 prime?
True
Suppose -20*u - 21680 = -2*w - 16*u, 2*u + 2 = 0. Is w a composite number?
True
Let i(w) = -1282*w - 15. Is i(-1) prime?
False
Let l(a) = -a**3 + 4*a**2 - 22*a - 4. Is l(-11) composite?
False
Suppose 0 = -d, v - 385 = 3*d + 221. Suppose 4*t - v - 686 = 0. Is t prime?
False
Let m(k) = 0 - 19*k + 30 + 6*k + 11*k. Let n be m(9). Suppose 15*w = n*w + 2121. Is w prime?
False
Suppose 0 = -3*x - 15 - 0. Let j(q) = 107*q - 5. Let l be j(x). Is (3 - 3) + -2 - l composite?
True
Let s be (2/4)/(7/(-126)). Is (-4)/4 + 1280 + s/(-3) a prime number?
False
Let k(d) be the third derivative of 49*d**5/6 - d**4/24 + d**3 - 10*d**2. Let t(w) be the first derivative of k(w). Is t(1) a prime number?
False
Let x = 52 + -51. Is 5/1 + 884 - 0/x composite?
True
Let x be (-6)/(-27) + 17402/18. Suppose x = b - 0*j + 2*j, -5*j + 2901 = 3*b. Is b a prime number?
True
Let x = 19022 - 12913. Is x a prime number?
False
Suppose v = -4*t + 1565, -3*t + 1275 - 115 = -2*v. Suppose -2*n + t = u, 2*n + 72 = 5*u + 438. Is (-4 - (1 - 3)) + n composite?
False
Let q = -103 + 138. Suppose q*r = 27*r + 21032. Is r a prime number?
False
Suppose 18*t + 24*t = 328566. Is t a prime number?
True
Let i = 134 + -128. Suppose -i*p + 5487 = -3495. Is p a composite number?
True
Is ((-26)/(-39))/(6/1034991) a prime number?
False
Let a(s) = -s + 5. Let h be a(-6). Suppose -471 = 8*t - h*t. Is t a composite number?
False
Let c = 2974 - -379. Is c a composite number?
True
Let b = -61289 - -121552. Is b a composite number?
True
Suppose -4*a - 2 - 31 = -f, -2*f + 3*a + 46 = 0. Suppose -20 + f = -y. Suppose i - 98 = -3*w, -2*w + 0*w = -y*i + 239. Is i prime?
True
Suppose -7878 = 2*t - 32344. Is t a prime number?
False
Is (16/8)/(12/89826) a composite number?
True
Suppose 38*c = -21*c + 3605254. Is c a composite number?
True
Let w(d) = -1184*d - 113. Is w(-5) a composite number?
False
Let z = -19633 + 28926. Is z prime?
True
Suppose -2*w - 14*w - 256 = 0. Is 1720/w*116/(-10) a prime number?
False
Suppose u - 847 = -3*k, 0 = k - 2*u + u - 289. Let r = k - 63. Suppose -664 - r = -5*f. Is f a composite number?
True
Suppose -3*u + 63 - 51 = 0. Suppose u*q - 4 - 136 = 0. Is q composite?
True
Let h(f) = -f**3 - f**2 + 103. Let u be h(0). Let z = 342 + u. Is z a composite number?
True
Let w be -4*(1/(-1) + 297). Let o = -195 + 235. Is (-16)/o - w/10 prime?
False
Let v = 9190 - -10723. Is v prime?
True
Is (-4)/(-3)*142383/62 a prime number?
False
Suppose 113*l = 33*l + 753040. Is l prime?
True
Let d be (-1 - -5)*(-5 + (-21)/1). Let t = 37 - d. Is t a prime number?
False
Let i = 9 - 9. Let h be (-1 - i)*2*-1. Suppose -2*m - h*z + 82 = 0, -5*m - 5*z = -4*z - 193. Is m a prime number?
False
Let p = 20 - 6. Let j = 485 - p. Is j composite?
True
Let a(u) = -2*u**2 + u + 3. Let f be a(4). Let g be (-2)/5 - (-490)/f. Is (-1 - 1)*4490/g prime?
True
Let u be 7 - (-4)/(12/(-9)). Suppose 5*q - 5*k - 1 = q, 5*q - u*k + 1 = 0. Is (q - (-3 + 3))*-191 prime?
True
Let l(v) = -2*v**3 - 2*v**2 - 2*v + 5323. Is l(0) prime?
True
Let m = 28 + -14. Let r = m + -10. Suppose -f - r*n = -2*f + 323, 0 = 4*n + 4. Is f a composite number?
True
Suppose -36*j - 2953824 = -7500156. Is j a prime number?
False
Let g(p) = 348*p - 39. Let x(c) = 349*c - 40. Let f(j) = -5*g(j) + 4*x(j). Is f(-6) composite?
False
Suppose 0 = -5*l - 5*x + 42 + 3, -x + 41 = 5*l. Let t = 11 - l. Is (-3)/(t - 0) - -86 composite?
True
Let l(h) = -52*h + 261*h + 4 - 1 + 131*h. Is l(7) a prime number?
True
Let t(w) = -567*w - 1. Let z be t(1). Let q = -24 + 36. Is 4/q + z/(-6) composite?
True
Is 4854*((-215)/(-30) + -7) a composite number?
False
Let y(l) = 2*l**2 + l - 4. Let w be y(-2). Is ((-451)/w)/(8 + 34/(-4)) composite?
True
Suppose 2*l + 4*o = 0, -5*l + 12 = 3*o - 9. Is l/4*1016/12 composite?
False
Let k(d) = d**3 - 14*d**2 + 59*d - 9. Is k(15) composite?
True
Is 0 - 2109/(-9) - 2/(-3) a composite number?
True
Let g = -20 - -25. Is ((-20720)/(-2))/g + 1 composite?
True
Let h = -27 + 39. Is 2/h - (-83)/6 a composite number?
True
Suppose 0 = 25*a + 3*a - 40712. Is a composite?
True
Let q be (2 + 2)*(-20)/(-16). Suppose 0 = u - w + q*w - 77, -w - 72 = -u. Suppose 2*m - 81 = u. Is m a prime number?
False
Let y(d) = d**2 - 6*d + 3. Let x be y(6). Let s be (-96)/2 + x + -4. Is 326/14 - (-14)/s composite?
False
Let h(o) = 9*o - 2. Let k be h(-4). Is (k/8)/(1/(-76)) a composite number?
True
Let i = -47725 - -74276. Is i a prime number?
False
Suppose 11 + 40 = 17*k. Suppose 0 = 4*g - k*m - 6241, 2*m + m - 3 = 0. Is g prime?
False
Let i be (-2)/11 + (-930)/(-33). Is 5872/14 + 100/i + -4 composite?
False
Suppose 0*u = -5*u + 4*r + 6377, -u = -r - 1276. Is u a prime number?
False
Let j(q) = -2888*q + 125. Is j(-7) a prime number?
True
Let m(j) be the first derivative of j**4/4 - j**3/3 + j**2/2 - 3*j - 7. Is m(6) composite?
True
Let w(u) be the first derivative of 32*u**2 + 30*u - 40. Is w(11) a composite number?
True
Let v = 131985 + -50386. Is v composite?
True
Let w(v) = 5*v**2 - 5*v + 7. Let p be 31 - (2 + -1 + 2). Suppose -7*q - p = -3*q. Is w(q) composite?
True
Suppose z = 2 + 2. Suppose 0*l - 5*s + 1172 = 2*l, 3*l - 1758 = z*s. Let d = 977 - l. Is d a composite number?
True
Let q = 10 - 6. Suppose -q*k + k = -9. Suppose -k*y = -7*y + 1660. Is y a prime number?
False
Suppose -2*f - 3*c = 9, 0 = -2*f - 3*f - 5*c - 10. Is 2016/f - -4 - 3 a composite number?
False
Suppose -22*z = -21*z + 314. Let i be (-1)/(((-3)/173)/(-3)). Let w = i - z. Is w composite?
True
Suppose -z = -14*z + 1061645. Is z prime?
False
Let l(w) = 3*w**3 + 3*w**2 + 12*w - 33. Is l(7) composite?
True
Suppose 0 = 6*f - 4 - 62. Suppose f*b - 14*b = -1443. Is b a composite number?
True
Let a(g) = -g**3 - 3*g**2 + 4*g + 2. Let s be a(-6). Let r be 103/(-7) + (-46)/14 + 3. Is s + 5/(r/9) prime?
True
Let k(f) = -107*f + 8. Let w be k(12). Let a = w - -1918. Suppose 3*v = -99 + a. Is v prime?
True
Suppose -7*y = -19316 - 2769. Is y a composite number?
True
Let b be 1061/(-5) - 5/((-75)/3). Let n = 423 + b. Is n a composite number?
False
Suppose 2*p = a - 1151, 4*a + 0*p - 4609 = 3*p. Let n = a + -266. Is n a composite number?
False
Suppose 0 = -61*g + 62*g - 55. Is g a prime number?
False
Let i(v) = -v - 9. Suppose 6*a = 7*a + 6. Let u be i(a). Is 1 + 0 + (-570)/u a prime number?
True
Is 21380/5 + 4 + 1 prime?
False
Let a be (50925/11)/3 - 6/33. Suppose 4*p = m - 888 + 121, -2*m + 5*p = -a. Is m a prime number?
False
Let r(m) = -m + 73. Let k be r(0). Let y = 36 - 33. Suppose g = 4*d + k, -y*g - d = 4*d - 134. Is g a composite number?
False
Let b be -1*(-4 + (-2946)/2). Suppose 11*q = 4*q + b. Is q a prime number?
True
Let s be (8 - 12)*1/(-2). Is 1 + 1910/s - (-63)/(-21) a prime number?
True
Suppose -l = -6 + 3. Let a(b) = 5*b**3 + 2*b - 63*b**2 + 61*b**2 + 0*b + 4. Is a(l) a prime number?
True
Suppose -179821 - 135694 = -5*v. Is v composite?
False
Let d(n) = -3*n - 17. Let s be d(-15). Suppose b - 87 = -s. Is b composite?
False
Suppose -18*i + 50*i = 7520. Is i prime?
False
Suppose 2*b + 1614 = 4*q, q - 4*b + 782 = 3*q. Is q prime?
True
Is (-6)/(-1) - (-5476 - 3) composite?
True
Let h be (-1 - 1)*-1 + 2. Suppose 74 = 2*g - h*l, -65 = -3*g + 3*l + 46. Is g a prime number?
True
Let u = -32 - -22. Let w = -14 - u. Is 1*(w + (-131)/(-1)) a composite number?
False
Let p be (-248)/3 - 2/(-3). Let m(g) = -g**2 + 29*g + 27. Let a be m(14). Let n = p + a. Is n composite?
True
Suppose 0 = 2*m - 10, -3*m = -2*r + 3*r - 14. Let d = r - -3. Suppose -d*p = -6*p + 820. Is p a prime number?
False
Let d = -7 - -12. Suppose 4*n = d*n + 2. Is 85 + 1*4/n prime?
True
Suppose -208*m - 2054 = -234*m. Is m a prime number?
True
Let j(k) = -k**3 + k. Let b be j(-1). Suppose 3*o = -2*o. Suppose o = -4*x - b*x + 92. Is x a composite number?
False
Let i(z) be the second derivat