- 218 = m. Is x composite?
True
Suppose -5*l + q = -4*q - 205, 3*l = -4*q + 88. Let p be (-9 - l)*(-4)/5. Is (3/(-2))/(p/(-2544)) composite?
True
Let w be 4 - (-4 + (-2 - 0)). Is 1492/w*(-10)/(-4) composite?
False
Let f(d) = 1352*d + 61. Is f(5) a composite number?
True
Let w = -1204 - -3359. Suppose -6*h + h = -w. Is h composite?
False
Suppose 2*u - 451 = -3*b, 3*u = -2*u - 3*b + 1141. Suppose 2*g - 5*g = -a + 50, 4*a - 2*g = u. Is a prime?
True
Let z = -24350 - -82989. Is z a composite number?
True
Suppose 3*q + 2802 = 5*y + 67785, 0 = -q + 4*y + 21661. Is q a composite number?
False
Let v be 4/22 - 480/(-22). Suppose -x = v - 1171. Is x prime?
False
Let i = 1132 - 792. Suppose -2*b - 5*a + 149 = 0, -a - 3*a = -4*b + i. Suppose 4*s - k - b = 78, 3*s - 5*k = 137. Is s composite?
True
Let p(n) = -n. Let d be p(-6). Let t = d + -4. Suppose v + t*w = 16 - 1, -5*w + 100 = 5*v. Is v prime?
False
Let f = -3086 + 8500. Is f a prime number?
False
Let j(a) = 23*a + 54*a + 10 - 23 + 11*a. Is j(3) prime?
True
Suppose 3*v = -4*c + 2*v + 28007, -5*v + 21018 = 3*c. Is c prime?
True
Let a(p) = 33*p**3 + 2*p**2 + 5. Let i be (-6)/3 - (-9 + 3). Is a(i) a composite number?
True
Is 2855*(4 + (-76)/20) composite?
False
Let y be (-1 + 0)/((-4)/40). Suppose -n - y = -6*n. Suppose -3*g + 16 = -2*g + 3*s, -n*g + 35 = 3*s. Is g a composite number?
False
Is (-61408)/48*9/(-6) a prime number?
False
Is (-5)/((-35)/32746)*(2 - 1) a composite number?
True
Let k = 67 - 48. Is (k*2 - (-15)/5)*17 prime?
False
Let o = 193 - 121. Suppose 0 = -5*g - 3*g + o. Is (62/(-6))/(g/(-27)) a composite number?
False
Let j be (39/12)/((-3)/(-180)). Let f = 98 + j. Is f prime?
True
Let n(y) = -108*y + 11. Is n(-23) prime?
False
Suppose -47*u = -41*u - 81930. Is u prime?
False
Suppose -29743 = -s - 3*v - 10007, 3*s - 5*v - 59222 = 0. Is s composite?
False
Let p be (-1)/1 + 1 - 46. Let g(l) = 2*l**2 + 47*l + 57. Let i be g(-24). Let t = i - p. Is t a prime number?
True
Let q(d) = -d**3 + 19*d**2 + 13*d + 23. Is q(-18) prime?
True
Suppose -15*z + 2*z = -259961. Is z a composite number?
False
Let u(n) = -2*n + 8. Let a be u(-10). Suppose -y + 3*y + 36 = 0. Let t = a - y. Is t a prime number?
False
Let w(u) = u**3 + 3*u**2 - 2*u - 4. Let x be w(-3). Suppose -x*h = -h. Suppose h = -5*a + 13 + 712. Is a prime?
False
Suppose -4444 = 7*z - 11*z. Is z a composite number?
True
Suppose -68*w - 1357538 = -94*w. Is w composite?
True
Let i = 28 - 23. Suppose -287 = -i*y + y + 3*o, 73 = y - 2*o. Is y prime?
True
Let p(t) = -1755*t - 149. Is p(-10) a composite number?
False
Let a(x) be the first derivative of 2*x**3/3 - 3*x**2/2 + 4*x - 2. Is a(-5) prime?
False
Suppose -4 = -3*m + m. Suppose q - m*a = -158, -3*q - 495 = -4*a + 5*a. Let r = -85 - q. Is r a composite number?
False
Let r(x) = x**2 + 6*x - 3. Let a be r(-5). Let m = a - -27. Is m a composite number?
False
Let p be -898*1*10/(-5). Let b = p + -1077. Is b a composite number?
False
Let f(l) = -21*l - 5. Let m = -36 + 32. Is f(m) a composite number?
False
Let f = 1549 + 2500. Is f composite?
False
Let n(u) = u**2 + 3 - 14 + 4 + 2. Is n(6) a prime number?
True
Let j = 58326 + -40597. Is j a composite number?
False
Suppose -200*z - 124649 = -207*z. Is z prime?
True
Let i(x) = -36*x + 12. Let p be i(7). Is ((-132)/10)/(6/p) + -1 composite?
True
Suppose -545 + 26 = o. Let u = o + 782. Is u a prime number?
True
Suppose 743694 = 8*r + 34*r. Is r a prime number?
True
Let v = 27 - 31. Let f be v/(-30) - (-116)/30. Suppose 2*a + 1184 = f*r + 6*a, -5*a = -5*r + 1470. Is r composite?
True
Let p = 12640 - 6687. Is p prime?
True
Suppose 0 = 3*v + 2*n + 65, -v - 2*n = -0*n + 15. Let q = -20 - v. Suppose 0*u - 2*u - 2004 = -4*h, -4*h - q*u + 1976 = 0. Is h a prime number?
True
Let g = -10 + 20. Let b = -9 - -7. Is 1085/g*b/(-1) a composite number?
True
Let m = -52 - -15. Let r = 186 - m. Is r a prime number?
True
Let a be 1 + -260 - ((-7 - -8) + -5). Let f = 466 + a. Is f a prime number?
True
Suppose 4*z = 995 + 481. Suppose -3*x + z = -4*w - 123, 0 = -5*x + w + 837. Suppose x + 263 = r. Is r a prime number?
True
Let c = 9 - 7. Suppose -4*g + c*x = 18, g + 2 = 5*x - 2*x. Is g/(-35) - 306/(-14) composite?
True
Let u = 8175 - 3268. Is u a composite number?
True
Let p be (3/9 + -1)*-24. Let z be 8/p*(5 + -1). Suppose -6 = z*x - 68. Is x a prime number?
True
Let i(y) = 2*y - 8. Let u(w) = -w + 9. Let m(j) = 2*i(j) + 3*u(j). Let z be m(-6). Suppose -z*x + 502 = -3*x. Is x prime?
True
Suppose 3 = -j, 4*p - 2*j = p + 4953. Is p composite?
True
Let o(x) = -x**3 - 4*x**2 - 2*x - 6. Let i be o(-4). Let r(k) = -5 + 3*k**3 - 4*k**3 + 7*k**2 + 4*k**2 - 2*k + i. Is r(9) a composite number?
True
Suppose -4323*v = -4328*v + 3685. Is v composite?
True
Suppose w + 3*g - 12 = 0, 3*w - 4*g - 3 = -2*w. Suppose 0 = 3*a - a - 2*j - 46, -w*j = -2*a + 41. Is 12/a + (-676)/(-7) a composite number?
False
Suppose 38215 = -43*i + 974196. Is i a composite number?
False
Let v(n) = -3*n + 3. Let s be v(-5). Suppose 0*b - 3*b = -s. Is (-15)/b*(-472)/20 prime?
True
Let b(q) = -4923*q + 1. Let n be b(3). Let r = -7178 - n. Suppose 0 = -i - 3*v + 1589, 0 = -5*i + 2*v + r + 321. Is i a prime number?
True
Let q be (0 + 53)*(-2 - 0). Let i = 238 + q. Suppose 3*c - 69 = i. Is c composite?
False
Suppose -5*l + 29211 = 4*z, z - 3*z + 14643 = -5*l. Is z a prime number?
True
Suppose 0 = 5*t - 0*t - 2430. Let v = t - 275. Is v a prime number?
True
Is 0 + (0 - (7 - 1344)) composite?
True
Suppose -5*p + 1715 = w, 5*p - 4 - 1 = 0. Suppose 5*t = 2*j - w, 4 = t - 0. Is j composite?
True
Suppose -5*m + 6 = 56. Let j = m + 8. Is (-4 - j) + (132 - -1) a prime number?
True
Suppose 5*x - 12*d - 5938 = -9*d, -3*x + 2*d + 3563 = 0. Is x prime?
True
Let c = 830 + 726. Let x = c - 217. Is x composite?
True
Let c = -4923 + 9976. Is c prime?
False
Let u = -109 - -113. Suppose -5*l + 2947 = 2*i - 862, u*i - 1514 = -2*l. Is l composite?
True
Let y(c) = -233*c + 59. Let k(f) = 32*f + 21 - 6 - 90*f. Let p(t) = -9*k(t) + 2*y(t). Is p(6) prime?
False
Suppose 0*j = 4*j - 20. Let d be 0 + -4 + (2 - -4). Suppose 2*c - 100 = -2*g, c - j*g + 38 = d*c. Is c a prime number?
True
Suppose -3*w = -5*s - 65326, 2*w - 3*s = 8783 + 34766. Is w a prime number?
True
Let d(o) be the third derivative of 11*o**4/24 - 61*o**3/6 + o**2 - 26. Is d(24) a prime number?
False
Let l be (-3)/(-3 - -4) - -473. Is l/((-2)/6 + (-7)/(-3)) prime?
False
Let s be 13/91 + (-34)/(-7). Suppose -3*p - 4 = -4*p + b, -2*p + s*b = -20. Suppose -3*x + 2*u + 77 = p, 5*u + 107 = 5*x - 23. Is x prime?
False
Let w(p) = -149*p - 48. Let a(i) = 223*i + 72. Let c(b) = -5*a(b) - 8*w(b). Is c(5) a composite number?
False
Suppose 17*o - 22*o - 735 = 0. Is 63/o + (-4434)/(-7) a composite number?
True
Suppose 0 = -6*o + 5*o + 620. Let g = o + -379. Suppose -2*p - 2*p + 4*k + 1028 = 0, -g = -p - 3*k. Is p prime?
False
Let m(w) = w**3 + 12*w**2 + w + 9. Let v be m(-12). Let q be 1157*(1 + -3 - v). Let g = q - 100. Is g a composite number?
True
Let a(s) = s**2 + 5*s - 1. Let j be a(-6). Let m = j + -8. Is m - 0 - (-84 - 2) composite?
False
Suppose 0 = 40*y - 7*y - 8382. Is y composite?
True
Let c be 8/(-6)*(-3)/2. Suppose -c*i = -3*i. Suppose 0 = -i*o - 3*o + 42. Is o prime?
False
Suppose 3*b = 6*b - 15. Suppose 2 - 41 = -13*g. Suppose -b*w = -g*z - 602, -3*w + z + 6 + 352 = 0. Is w prime?
False
Let r(p) = p**3 - 8*p**2 + 10*p + 14. Let w be r(6). Suppose w*g - 986 = 768. Is g prime?
True
Let w = -17250 - -28349. Is w a composite number?
True
Suppose n - 21 = 2*q - 3*q, -5*n = q - 117. Suppose n*m = 27*m - 195. Is m a prime number?
False
Let j = 26 + -8. Let w = 145 + j. Is w prime?
True
Let a = -17412 - -56747. Is a prime?
False
Let t(q) = 2935*q**3 - q**2 + 4*q - 3. Is t(1) prime?
False
Suppose 31 = 5*z + 11. Is (-590)/(-6)*12/z a prime number?
False
Let z(j) = 1213*j - 46. Is z(3) prime?
True
Let i(k) = -2 + k**2 - 1 + k**3 + 2. Let h be i(1). Is ((-15592)/16)/(h/(-2)) prime?
True
Let s(f) be the third derivative of -f**6/120 + f**5/20 + f**4/24 - 2*f**3/3 + 4*f**2. Is s(-5) composite?
False
Let s(u) = u + 3. Let l be s(-3). Suppose l*k - 590 = -5*x + 5*k, 4*x = -k + 457. Is x prime?
False
Let q = 16 - 32. Let t = 23 + q. Is t a prime number?
True
Suppose 0 = 3*u - 2*y - 6, 