 Is w a prime number?
True
Let x(w) = 7422*w**2 - 14*w + 3. Is x(2) composite?
False
Let g(w) = w - 14. Let y be g(18). Let h(i) = 8*i**2 + 6*i + 5. Is h(y) prime?
True
Suppose -t + 164440 = -11*t. Is -2*(t/(-8))/(-1) composite?
False
Let l(g) = g**2 + 9*g + 3. Let n be l(-8). Let x(s) = -s**3 - 5*s**2 + s + 1. Let a be x(n). Is ((-1)/(-1) - a)*11 a prime number?
False
Let u(v) = -v**2 - 16*v + 15. Let m be u(-17). Let q be -1*829 - (m + 2). Let t = -294 - q. Is t prime?
False
Let y be (-1 - -7) + -9 + 7. Suppose -2*l - 199 - 557 = -y*w, -2*w + 370 = -3*l. Is w a composite number?
False
Suppose 2*a - 3 + 31 = 5*o, -5*o + 24 = -a. Suppose 0 = 3*b - o*f - 161, -2*f = b - 44 - 23. Suppose 0 = -i - 22 + b. Is i a composite number?
False
Suppose 32*m - 14*m = 665514. Is m a prime number?
True
Let j be 4/3*(0 - 6). Let w(t) = 5*t**2 - 583*t + 595*t - 3 + 12. Is w(j) a composite number?
False
Let o be (((-52)/(-65))/((-1)/11945))/(-2). Suppose -10*z + o = -3912. Is z a prime number?
False
Let j(r) = 853*r**2 + r + 2. Let a be j(-1). Let k = -585 + a. Is k a composite number?
False
Let m(b) = b**2 - 9*b + 11. Let l = -9 + 17. Let u be m(l). Is (89 + -2)/(u - 2) prime?
False
Let v = -8556 + 17777. Is v a prime number?
True
Suppose 5*w - 19*t - 700558 = -18*t, 2*w = 4*t + 280234. Is w composite?
False
Suppose -8 = -v + 3*v, 37 = 5*k + 2*v. Let d be (-6)/k + 4/6. Suppose d = 2*f - 3*f + 143. Is f prime?
False
Let h(w) = -5451*w - 11. Is h(-2) composite?
False
Let y(n) = 4*n + 4. Let v be y(-4). Let d be (-9)/v*2*106. Is (3/(-9))/((-1)/d) a composite number?
False
Let o = 20 + -21. Is (-1738)/(-33) - o/3 prime?
True
Let n(a) = 134*a - 135*a - 3 + a**2 - 378*a**3 + 0. Is n(-2) composite?
True
Let g = 106 + 5342. Suppose f = 5*f - 5*i - g, 4*i - 4055 = -3*f. Is f prime?
False
Let d = 134 - 169. Let b = d + 1090. Is b composite?
True
Suppose 4*x - 3*s = 185, -3*s = 5*x - 5*s - 233. Suppose x = -2*u + 181. Is u a composite number?
False
Suppose g - 882 = 5*m, 28*m = 4*g + 24*m - 3512. Is g composite?
False
Let c(m) = -m - 4. Let f be c(-6). Suppose -4*r + 3*g - 373 = -0*g, 5*g = -5*r - 510. Is (-4)/2*r/f a composite number?
False
Suppose 4*l + a = 1085, -3*l + 361 = a - 453. Suppose -f = -4*b - 47, 5*f = 4*b - 2*b + l. Is f prime?
False
Let t(q) = q**3 - 5*q**2 - 7*q + 12. Let m be t(6). Is m + (-16)/4 - -119 prime?
False
Let t be (-15)/2*((-36)/15 - 4). Let w = 31 + t. Is w a composite number?
False
Let m(b) = -b**2 - 5*b + 13. Let x(i) = -i**2 - 6*i + 14. Let o(t) = -3*m(t) + 2*x(t). Is o(-14) a composite number?
True
Is (-25)/(-35) + (-432096)/(-49) a composite number?
False
Suppose 6*z = 7*z - 3. Is ((-1)/(-1))/(z*(-4)/(-31260)) prime?
False
Let v be (-1883)/14 + 1/2. Suppose 3*b + 264 = -501. Let k = v - b. Is k a prime number?
False
Suppose 8*x = 24635 + 20021. Is x prime?
False
Suppose 11*x - 85436 = 271965. Is x composite?
False
Let y(i) = -i - 2. Let x be y(6). Let d(t) = -4*t - 12. Let u be d(x). Is (-217)/(-4) - (-15)/u prime?
False
Let r(g) = g**3 - 4*g**2 - 5*g + 12. Let y be r(4). Let i(c) = -3*c - 7. Let j be i(-7). Is 830/j - y/(-28) prime?
True
Let q(m) = 22*m**2 + 2*m + 7. Let s(h) = -h**2 + 8*h - 5. Let k be s(9). Is q(k) a prime number?
False
Let g be 2/11 - 541650/(-66). Let o = -5346 + g. Is o composite?
False
Suppose b + 4*b - 6795 = 0. Suppose 2*d - b = -5*f + 3086, 0 = d. Is f a composite number?
True
Let v(s) be the third derivative of 0 - 4*s**3 - 13/24*s**4 + 6*s**2 + 0*s. Is v(-7) composite?
False
Let a = -8696 - -1670. Is (-6)/(-4) - a/12 prime?
True
Suppose -h + 52 = 3*u - 6*u, -3*u - 3*h = 60. Let w(y) = -151*y + 43. Is w(u) a composite number?
True
Let k(x) = x**3 + 10*x**2 - 11*x + 5. Let u be k(-11). Suppose 5*v - b = -0*v + 95, u*v + 3*b = 95. Is v prime?
True
Let q(r) = 2244*r**3 - r**2 - 3*r + 3. Is q(1) a composite number?
False
Is (313974/(-54))/(-1 + (-4)/(-6)) prime?
True
Suppose 3*k + 35 = -2*k. Let s(q) = q + 1. Let i be s(k). Is -9*(0 + 2/i) prime?
True
Is -6779*(-2 + 3)/(-1) a composite number?
False
Is -3 + (-84)/(-20) - 71268/(-60) a composite number?
True
Suppose -2*b - 3*b = 240. Let g be b/(-12) + (-830)/(-2). Let w = 102 + g. Is w a prime number?
True
Let f(n) = n + 15. Suppose 2*r + 0*d - 5*d + 44 = 0, -3*r - d - 32 = 0. Let t be f(r). Suppose -130 + 487 = t*g. Is g a composite number?
True
Is (-39)/13*229945/(-15) a prime number?
True
Suppose -135*c + 121*c + 24094 = 0. Is c composite?
False
Suppose 8305*n = 8300*n + 8275. Is n composite?
True
Let q(b) = -1210*b + 422. Is q(-24) prime?
False
Suppose -137 = -2*x + 51. Is x*2*(-4 - (-38)/8) a composite number?
True
Let n = 6 + -1. Suppose 0 = n*q + q - 114. Is q composite?
False
Let d = -2 + 4. Let s(p) = -108*p**2 - 5*p + 2. Let v(u) = -36*u**2 - 2*u + 1. Let a(h) = 2*s(h) - 7*v(h). Is a(d) composite?
False
Is (-9)/(-2)*22676/18 prime?
True
Let g = 77 - 168. Let h be 6538/g + (-4)/26. Let s = h - -149. Is s a composite number?
True
Suppose -8*k = -15 - 73. Suppose -k*d + 262 = -9*d. Is d prime?
True
Let h(a) = 102*a**2 + 40*a + 341. Is h(-13) prime?
False
Let m(s) = 605*s - 264. Is m(13) prime?
False
Let k = -660 + 719. Is k composite?
False
Suppose -3*i + 5488 = 16417. Let z = 1265 + -3547. Let k = z - i. Is k composite?
False
Let a(s) = -s**3 - 19*s**2 - 54*s + 7. Let b be a(-17). Let g = 24 + b. Is g a composite number?
True
Let s = 891 + -697. Is s composite?
True
Let h(x) = -2127*x**3 - x**2 - 2*x - 2. Let q(v) = -v**3 + v**2 - v. Let t(w) = h(w) + q(w). Is t(-1) a composite number?
False
Suppose -w - 12 = -4*w + a, -2*w + 8 = -5*a. Suppose 0*s - 816 = -4*s + w*r, -5*s - 3*r + 996 = 0. Is s a composite number?
True
Let p be 2/8 + (-1221)/(-44). Suppose -2*t + 4*f + p = t, -16 = 4*f. Suppose -t*l = -l + 3*d - 36, 5*l - 5*d = 40. Is l composite?
True
Is 1*((-12903)/(-1) + -5)/2 prime?
True
Let j(n) = -24*n + 1. Let r be j(-1). Let f = r - 35. Is 10/f*(-1 - 88) prime?
True
Suppose -2*a = -0*a - 12. Suppose -a*l + 3*v + 14 = -2*l, -3*l - 4*v + 23 = 0. Suppose -3*s + 893 = 5*i, l*i - s + 179 = 6*i. Is i composite?
True
Let l(d) = -1781*d**3 + 3*d**2 - 12*d - 45. Is l(-2) a composite number?
True
Let r be (-19)/57 + 38/6. Suppose 6*g - r - 6 = 0. Suppose g*t - 4*l = -3*t + 789, -2*l = 5*t - 813. Is t prime?
False
Is 30/4*177516/54 composite?
True
Suppose 0 = 31*m - 549376 - 126331. Is m a composite number?
True
Let u(o) = o**2. Let q be u(4). Suppose 2*h = -2*a - q, 5*h + a = h - 26. Let v = 41 + h. Is v a prime number?
False
Suppose 13 = -5*n + 8. Let j = 52 + n. Is j a composite number?
True
Let p(h) = 9*h**2 + 114*h + 46. Is p(-20) composite?
True
Is 181136/10 + -1 - 296/(-740) a composite number?
True
Let i(v) be the second derivative of v**3/3 - v**2 + 11*v. Let s be i(1). Suppose -11*t + 10*t + 447 = s. Is t prime?
False
Let r(d) = 269*d**3 + d**2 - d - 1. Let v be r(-1). Let p = 160 + v. Let a = p - -403. Is a a prime number?
False
Suppose 0*k - 5*k = 1990. Suppose -5*c = 5*c - 7930. Let g = c + k. Is g composite?
True
Let p(h) = -19*h - 3. Let a be 4/6 - (-28)/12. Suppose a*o = 6*o + 24. Is p(o) a composite number?
False
Let w(c) = 0 - 13 - 9 + 43*c + 26*c. Is w(11) prime?
False
Let k be -1*(-4)/(-12)*-6. Suppose -4*i + 6234 = k*i. Let v = 1694 - i. Is v prime?
False
Let r = 247 - 86. Let d be 2/((-1)/((-3)/2)). Suppose -7*s = 5*t - 3*s - 261, d*t = 2*s + r. Is t a composite number?
False
Let y(u) = 11*u**2 - 26*u - 90. Is y(-7) composite?
False
Let h = 40 + -35. Suppose v - 4963 = 5*o, -801 = h*v + o - 25616. Is v composite?
True
Suppose -3*g + 25 = 2*g. Suppose 4*y + 2*o + 40 = 0, 5*o - 56 = g*y - 2*y. Let n = y + 15. Is n composite?
False
Let s(o) = -o**2 + 2*o + 12. Let q be s(4). Suppose 0 = -2*n - 5*c + 733, 2*n + 359 = 3*n + q*c. Is n a prime number?
True
Suppose 2 + 20 = 2*p. Let k be -10 + p - 153*-1. Suppose g = s - 368, -5*g + k + 1363 = 4*s. Is s prime?
True
Suppose -13*j + 39631 = -86326. Is j composite?
False
Let t(p) = 16*p**3 + 7*p**2 - 3*p - 1. Is t(5) composite?
True
Let i = 14 + -13. Is ((-5537)/(-14))/(i/2) prime?
False
Suppose -15*d - 36 = -186. Suppose -3*a - 4*g + 5659 = 0, 2*a = d*g - 11*g + 3776. Is a composite?
False
Suppose -6*d = -2*d + 16, 0 = -3*y + 2*d + 26. Suppose -y = -0*m + 3*m. Let k(f) = -11*f**3 - f**2 - 3*f