 Let r(z) = 89*z**2 - z. Let j be r(-1). Let o = j + d. Is o a composite number?
False
Suppose 5*v = 2*j - 39239, 3*j - v - 33746 = 25119. Is j prime?
False
Let v = -64 - -68. Let q(t) = 29*t**2 - t - 3. Let j(c) = -28*c**2 + 2. Let l(p) = -4*j(p) - 3*q(p). Is l(v) a prime number?
False
Let u(n) = 79*n - 2. Let h(p) = -157*p + 3. Let t(y) = -3*h(y) - 7*u(y). Is t(-9) composite?
False
Let a(i) = -1187*i + 62. Is a(-13) a prime number?
True
Let l = 35 - 33. Suppose -l*c - 7710 = -12*c. Is c a composite number?
True
Let o be (-3)/(6/2)*47504/(-8). Suppose -1553 = 5*v - o. Is v prime?
True
Let k(f) = f**2 - f - 1. Let m(n) = 29*n**2 + 10*n + 16. Let u(y) = 6*k(y) + m(y). Is u(-4) a composite number?
True
Suppose j = 2*s + 4*j - 6394, 3*s + j = 9577. Is s composite?
False
Let v = 12290 + -8301. Is v a prime number?
True
Let x be 4 + (-5 - -3) - 3800. Is (-4)/(-3)*x/(-12) a composite number?
True
Let m = 21 - 15. Let h(n) = 22*n - 3 + 5 + m + 7*n. Is h(7) composite?
False
Suppose -51 = 4*s - 131. Let n be 15/s - (-867)/12. Suppose f - 258 = -n. Is f a prime number?
False
Suppose 3*q = 3*s + 2*q - 7, 0 = 3*q - 15. Let o be (-2)/(s*(-3)/18). Suppose -2*t + 470 = o*t. Is t composite?
True
Let c = -657 - -3766. Is c composite?
False
Let n(v) = 6*v - 2. Let g be n(1). Let l = 6 - 3. Suppose g*t - 16 = l*t + k, 28 = t + 3*k. Is t a composite number?
False
Suppose 22*o = 18*o + 12652. Is o composite?
False
Let v(n) = -2*n - 16. Let l be v(-13). Let x = -6 + l. Is x/2 - (3 - 140) a composite number?
False
Let s be (35/10)/((-4)/8). Let j be ((-7)/s)/(2/6). Suppose -j*h + 89 = 3*i - 205, 2*i = -4*h + 202. Is i a composite number?
True
Let l = -6 - -8. Suppose 0 = -l*c + p + p + 86, -5*c + p = -199. Let k = c + 16. Is k a composite number?
True
Let c = -56 + 61. Suppose -c*k - u = -1178, 4*k + 2*u + 1169 = 9*k. Is k prime?
False
Suppose 610 = 2*w - 4*q + 8*q, -922 = -3*w + q. Is w prime?
True
Suppose 3*p = -4*r - r + 45, 5 = 5*r - 5*p. Suppose -r - 12 = -2*f. Suppose 2630 = -4*j + f*j. Is j a composite number?
True
Let k be 0 - -1374*(-3 + 2). Let m = k - -2491. Is m composite?
False
Let x(l) = l**2 + 46. Let v = 0 - 2. Let j be 0*(-3)/((-12)/v). Is x(j) a composite number?
True
Let d = -11109 - -18878. Is d composite?
True
Suppose -11 = 2*f + 5*g, f - 4*g = -g. Let a be -2 + 617 + f + 3. Suppose -4*j + a = -j. Is j composite?
True
Let b = 299 - -930. Is b composite?
False
Suppose 0 = 2*p + 3*k - 6*k - 3736, 3*k + 7478 = 4*p. Suppose -n + 20 = 3*n. Suppose -p = -n*s - 576. Is s composite?
True
Let d = 2 - -4. Is (d/(-24))/((-3)/4908) a composite number?
False
Let y(x) = -x**3 + 2*x**2 + 3. Let t be y(3). Let p be (-3)/(-9) - 3652/t. Suppose 2*n + i = p, -4*i + 0*i + 921 = 3*n. Is n composite?
True
Suppose 4*f = -f. Suppose -3*v = -v - 4*d + 4, -2*v + d - 4 = f. Is (-102)/v*230/30 prime?
False
Suppose 0 = 4*g + 2*g - 18. Suppose 6*w - g*w = -y + 1070, 5*y + w - 5280 = 0. Is y a composite number?
True
Suppose -2*j - 3*z - 41 = 2*j, 52 = -5*j - 4*z. Let v(x) = -x**3 - 9*x**2 - 9*x. Let c be v(j). Let u(i) = i**3 - 4*i**2 - 9*i + 7. Is u(c) a prime number?
True
Suppose 0*v = 4*v + 3*v. Suppose v = 14*p - 20*p + 222. Is p composite?
False
Let z = 7805 + -4446. Is z prime?
True
Suppose -i + 1459 = 4*a, -7*i + 5*a + 1414 = -6*i. Is i a composite number?
False
Suppose j - 1 = 1. Let y(p) = -6 - 2*p + 9*p**3 + 7 + 0 - 3*p**j. Is y(3) a prime number?
True
Let n = 4760 - 669. Is n a composite number?
False
Suppose 90 = 3*c - 8*c. Let o be (-4)/c - 43/(-9). Suppose 0*l - o*l + 35 = 0. Is l prime?
True
Let f be 15/(-5) - (2 - 2). Let w(n) = -267*n**3 + 3*n**2 + 4*n + 7. Is w(f) composite?
True
Let v(f) = 45*f - 3. Suppose 70 + 8 = 3*z. Let a = z - 24. Is v(a) prime?
False
Let l(t) = -t**3 + 22*t**2 - 23*t + 31. Let w be l(21). Is (-3815)/w - (-38)/209 composite?
False
Let c be (250/(-6))/(2/(-30)). Let x = c + -378. Is x a composite number?
True
Let g = 11534 - 2013. Is g a composite number?
False
Let a(r) = r**3 + 14*r**2 + 14*r + 9. Let q be a(-13). Let d be q/2 - (-8 - -3). Suppose 0 = d*t + t - 3*p - 2515, -3*p - 1253 = -2*t. Is t a prime number?
True
Is (2/4)/(28/380968) a composite number?
False
Let k = 5430 - -6809. Is k a composite number?
False
Suppose -p = 11*d - 6*d - 1061, d - 3239 = -3*p. Is p a composite number?
True
Let r(t) = 227*t + 22. Let l be r(6). Suppose -7*j + 3*j = -l. Is j composite?
True
Let t be 9652/16 - 2/8. Suppose -742 = 4*a - 2*p, -3*a - 588 + 42 = 2*p. Let l = t + a. Is l a composite number?
False
Is 2/(-42)*-39067*(4 + -1) a prime number?
True
Suppose -6*z + 9 = 3*o - 3*z, 5*z = 5*o - 15. Suppose o*v = 31 + 566. Is v a prime number?
True
Is ((195303/4)/3)/((-21)/(-84)) a composite number?
False
Suppose 5*l + 2 = 6*l. Suppose -l*n + 3*n - 726 = 0. Let c = n + -421. Is c prime?
False
Let k = 36 - -345. Is (k/(-15))/((-4)/20) a composite number?
False
Let j = 113 - -17. Suppose -4*y + 104 + 152 = 0. Let v = j + y. Is v a prime number?
False
Let o(n) = 3*n**2 + 8*n + 4. Let a be o(-5). Suppose 26 = -12*q + 25*q. Suppose q*w - a = -w. Is w a composite number?
False
Suppose 138*k - 131*k - 33257 = 0. Is k a composite number?
False
Let z(p) = 9084*p + 13. Is z(1) a composite number?
True
Suppose 5*x + 8*g - 991 = 4*g, x - 200 = g. Is x prime?
True
Is (-7)/2*1298/(-77) composite?
False
Let n(o) be the first derivative of 3/2*o**2 - 2 - 7*o. Is n(14) composite?
True
Let o = 22 - -3. Suppose 5*n + z = 185, 10 = 3*z + o. Let f = -1 + n. Is f composite?
False
Let h(l) = -4*l**3 + 3*l**2 + 6*l - 5. Let c be h(-5). Suppose 2*y - c - 212 = 0. Suppose 5*u - 1848 = -x - y, -4*u + x = -1183. Is u a prime number?
False
Suppose 4*i - 3*s = -i + 26124, -4*i + 20896 = -4*s. Suppose 5*b + y = i, -3*b + 3*y + 4196 = b. Is b a composite number?
True
Let m = -23 - -27. Suppose -m*c + 0 = -12. Suppose c*r - w - 45 = 19, 5*r + 5*w = 140. Is r a composite number?
False
Suppose -5 = -r - 1. Let x(l) = 4*l**2 - 3*l + 1. Is x(r) composite?
False
Let i(v) = -7046*v - 173. Is i(-9) prime?
True
Let s = 71525 - 40158. Is s composite?
True
Let i(t) = -17*t + 4. Let l(k) be the first derivative of 3*k**2/2 + 9*k + 4. Let f be l(-4). Is i(f) a composite number?
True
Let l(w) = -89*w + 1. Let a be l(-3). Let i be (46 - -1 - 1) + 2. Suppose -a - i = -4*u. Is u a composite number?
False
Let i = -50 - -49. Is (-2)/i + 114*8 composite?
True
Suppose -r = r - 2, 0 = -5*k + 5*r + 1915. Let q(s) = -4*s**3 - 6*s**2 - 5*s - 1. Let g be q(-5). Suppose -h + g = -2*m + 3*m, m + k = h. Is h composite?
False
Let o be (5/(-15))/(1/(-12)). Suppose 2*h - 4*w - 258 = 0, w = o*h + 4*w - 461. Is h a prime number?
False
Suppose 4*f - 2*h = -1355 - 823, 0 = -f - 3*h - 527. Let w = 255 - f. Is w a prime number?
True
Suppose z + 2*z = 13911. Is z a composite number?
False
Suppose -61348 = -2*v + 3*h, 2*v = -0*h - 2*h + 61358. Is v a prime number?
True
Suppose 3*u + 2*u = -80. Let l be -4*4/u*5. Suppose -2*p + 253 = -l*q, -3*p + p - 2*q + 260 = 0. Is p composite?
True
Let f = 23 - 15. Let x = f - 5. Suppose -x*u = 2*u - 275. Is u a composite number?
True
Let g(c) = 107*c**2 + 6*c + 5. Suppose -3*t = 5*a + 26, 2*a + 18 = -a - 3*t. Is g(a) composite?
False
Suppose 6100 = 5*n - 20005. Is n composite?
True
Suppose -7*h + 9*h - 14 = 0. Suppose h*x - 245 = 2*x. Is x prime?
False
Suppose 3650 + 10099 = 3*c - 5*x, -2*x = 0. Is c composite?
False
Let r(b) = 85*b**3 + 4*b**2 - 5*b + 5. Suppose 4*c - 8*k = -4*k + 16, -5*k - 10 = 0. Is r(c) a composite number?
False
Let x(b) be the second derivative of 5/2*b**2 - 2/5*b**5 + 10*b - 1/6*b**4 + 0 + 0*b**3. Is x(-4) prime?
False
Suppose -3 = 3*f, -2*f - 3*f = -4*y - 51. Let n be (-4)/y + (-11229)/(-21). Let k = n - -946. Is k composite?
False
Let h = -24 - 22. Let r(w) = -11*w + 5. Let b be r(8). Let i = h - b. Is i prime?
True
Suppose -41*g = -222356 - 411135. Is g a composite number?
False
Let d(s) = 368*s**2 + 6*s - 7. Let c = -22 - -24. Is d(c) a composite number?
True
Suppose 346930 = 5*w - 5*g, -22*g + 346926 = 5*w - 23*g. Is w a prime number?
False
Suppose 8*j = -3*j - 462. Is (16366/j)/((-2)/6) a prime number?
False
Suppose 36*d - 156297 = -17*d. Is d a composite number?
True
Is 120 + -120 - 179/(-2)*14 prime?
False
Let n(b) = -26*b - 18. Let y be n(-16). 