(-12) composite?
False
Let d(w) = 3*w - 13. Let a be d(8). Suppose a = -f + 55. Let k = 54 - f. Is k composite?
True
Suppose 12*b - 135 = 189. Suppose b*p = 9*p + 149778. Is p prime?
False
Let u be (14/12)/(9/54). Suppose 9*n - u*n = -3*a + 3019, 6*n = -a + 9065. Is n composite?
False
Suppose x + 0*f + 135 = 4*f, 0 = -3*x - 3*f - 345. Let l = 120 + x. Is 2237/(l + -4 + 3 + 1) prime?
True
Let k(t) = t + 6. Let r be k(-6). Suppose 5*m - 7*m + 692 = r. Let o = 817 + m. Is o prime?
True
Let p be (-34)/(-9) + 22/1287*13. Suppose -4*a + s = -3*s - 1984, -5*a = -p*s - 2477. Is a prime?
False
Suppose 2*m - p + 5 = 21, 36 = 4*m - 3*p. Suppose -a = 4 - m. Suppose -3*c + 3*q + 2070 = 0, 2*c + 7*q - 1408 = a*q. Is c a prime number?
False
Suppose -6*s = 7*s - 6*s - 2418437. Is s a composite number?
True
Let g(i) = -i**2 - 2*i - 17. Let c be g(-9). Let t be (-32484)/(-10) + 32/c. Let s = t - 1555. Is s a composite number?
False
Let j(t) = 4*t - 28. Let w be j(8). Let q be w/(-1) + (6 - 3). Is (-1008)/(-4)*1 + 3*q a prime number?
False
Suppose 99*k = 109*k - 58230. Suppose 12*z = 21*z - k. Is z prime?
True
Suppose -340070 - 453634 - 444207 = -3*p. Is p a prime number?
True
Let q(k) = -2*k + 1. Let s(m) = 1237*m - 156. Let g(x) = -2*q(x) - s(x). Is g(-13) composite?
False
Let v(r) = 1825*r + 1207. Is v(20) a composite number?
True
Let k be 1 + -34 + 4 + -4. Let f be (-858)/5*110/k. Suppose -3*z = 4*b - f, 4*z = z. Is b a composite number?
True
Suppose -12*s + 83 = 11. Suppose m = z + 1560, s - 1 = -5*z. Is m a prime number?
True
Let u = 4243 + -2977. Suppose 26*w = 29*w - u. Is w a prime number?
False
Is (-1)/((66/(-1362097))/6) prime?
False
Let h be (1 + -2)/((-14)/28). Is 803 + (-24)/(h - 8) a prime number?
False
Let l = -74 + 76. Suppose 3*s + 4*h - 53 = 0, -l = 2*s - 3*h - 9. Suppose -48659 = -s*b - 8*b. Is b a composite number?
True
Let k = 362 + -381. Is (-2326)/(-3)*((-855)/10)/k prime?
False
Let s = 272942 + -143563. Is s a prime number?
True
Let a(n) = n**3 - n**2 - n - 1. Let u(q) = 4*q**3 + 17*q**2 + 27*q - 38. Let o(t) = 3*a(t) + u(t). Is o(14) composite?
False
Let h(a) be the second derivative of 131*a**3/6 - 17*a**2/2 - 5*a - 7. Let f(v) = -v**3 - 6*v**2 - 2*v - 6. Let y be f(-6). Is h(y) a prime number?
True
Suppose 13*a + 130787 = 1320196. Is a a composite number?
False
Let s = 85805 + -29338. Is s composite?
False
Suppose -96 = -2*a - 116. Is 5/(a/(-4)) - (11 - 2162) composite?
False
Let t(m) = -m**2 + 15*m - 46. Let v be t(10). Let i(j) = j - 5 + j - 2 + 11*j**2 + 8*j**2. Is i(v) composite?
True
Let k(w) = 1862*w**2 - 22*w - 35. Is k(-8) a composite number?
True
Suppose -14*h = -9*h + 355. Let f = h + 82. Suppose -f*l = -6*l - 785. Is l prime?
True
Suppose -923*t = -920*t + 2*x - 202167, -2*x - 6 = 0. Is t a composite number?
False
Suppose y = -4*u + 60, 7*u - 2*u - 3*y = 75. Suppose 3*q = -u, 3*d + 0*d = -q + 21157. Is d prime?
False
Suppose 10*g - 28 = 9*g. Suppose -3*n + g = w, -4*n + 59 - 11 = -4*w. Let d(p) = 22*p - 3. Is d(n) a composite number?
True
Suppose -28*q + 2074474 - 301766 = 0. Is q composite?
False
Suppose 57*c - 66*c = 85*c - 184156810. Is c composite?
True
Suppose a - 12 = c, -12 = -2*a + c + 11. Suppose a*h = 4 + 51. Suppose -2679 = -h*x - 254. Is x a composite number?
True
Let r = 72 - 39. Let o be (-4)/22 - 588/r. Is ((-9)/o)/((-1)/(-1670)) composite?
True
Let r(t) = t**3 - 5*t**2 + 3*t + 5. Let x be r(4). Let f be 6 - -5 - 7 - 3*2. Is x/((6/(-381))/f) prime?
True
Let g(f) = 12004*f - 81. Suppose -33*c + 179 = 47. Is g(c) a prime number?
False
Is 10/(-6)*31/((-465)/1266453) prime?
True
Let d(k) = 26 + 15*k**2 - k + k. Let u(h) = h**3 - 18*h**2 + 44*h - 187. Let o be u(16). Is d(o) a composite number?
False
Let o = 7693 - -6631. Suppose 7182 = 2*i - o. Is i composite?
False
Suppose 2*z - 20 = -4*d, 37 = 5*z + 5*d + 2. Let g(x) = 231*x - 137. Is g(z) a prime number?
True
Let k be (-6)/(-1)*10/15. Let p(o) = 471*o + 17. Is p(k) a composite number?
False
Let a(c) = 43*c**2 - 50 - 18 + 0*c**3 - c**3 + 22*c - 35. Is a(21) a prime number?
True
Let w = 3656 - 5995. Let z = 6540 + w. Is z composite?
False
Is 5 + -1*1 - 32/((-896)/4221252) prime?
False
Suppose 5*w = -0*w - 3*g + 139, 5*g - 67 = -2*w. Let r = w - 17. Let m(q) = -q**2 + 13*q - 23. Is m(r) prime?
True
Let g(c) = 854*c**2 - 6*c - 13. Let h = -130 - -128. Is g(h) composite?
True
Let l = 975 + 566. Is l*2*14/28 composite?
True
Let a(f) = 523703*f + 90. Is a(1) composite?
False
Let z be 8859/7 + 4950/(-1925). Let u = -123 + 47. Let g = z + u. Is g a composite number?
False
Suppose r - 5*v = 11, -16*r = -13*r + v - 81. Suppose -r*l - 22*l = -95136. Is l prime?
False
Let b = 635965 - 39332. Is b composite?
False
Let w = 9556 - 5461. Let s = 554 + w. Is s a prime number?
True
Suppose -x = -9*x - 800. Is (x/35)/(-5) + (-43434)/(-14) composite?
True
Let q = -249545 - -418468. Is q a prime number?
False
Let w(h) = -3*h - 9*h + 14*h + 533*h**2 + 216*h**2 + 2. Let b = -2 - -1. Is w(b) prime?
False
Is (-1 + 4 + 14398)/(40 + -39) composite?
False
Let c = 341374 - 205143. Is c prime?
False
Suppose 37313 = -4*y + 3*h, y + 5*h + 37353 = -3*y. Is (y/(-6))/(10/15) a composite number?
False
Suppose -q - 4 + 2 = i, 2*q = 2*i + 4. Suppose 4*y - 3311 = 3*n + 8891, 2*n + 4 = q. Is y a composite number?
False
Let h(o) = 103 - 215 + 106 - o. Let c be h(-9). Suppose -c*a - 682 = -r, 378 + 292 = r + a. Is r a composite number?
False
Let l be -467 + -10*(-5)/(-10). Let p = -213 - l. Is p prime?
False
Let t(u) = u**2 - u - 1. Let l(r) = -4*r**3 + 2*r**2 - 4*r - 2. Let s(o) = -l(o) + 3*t(o). Is s(2) a composite number?
False
Let l(u) = 0*u**2 - 35 - 4*u + u + u**2. Let o be l(8). Suppose -3*x = -v + 4*v - 2379, o*x = -2*v + 3959. Is x composite?
True
Is (-4)/46 - (-2963238394)/6854 composite?
False
Let j(q) = 3*q**3 + 5*q**2 - 6*q + 2. Let r be j(4). Let z = 193 - -139. Suppose -z - r = -3*w. Is w a composite number?
True
Let u = 23 - 20. Let v(p) = -4*p**u - 3 - 4*p + 2*p**3 - 14*p**2 - 1 - 3. Is v(-12) composite?
False
Let x = -1016 - -1736. Suppose 2*k - 3*k + 373 = 5*g, -x = -2*k + 3*g. Suppose -2*f = -5*v - k, -4*v + 287 + 67 = 2*f. Is f prime?
True
Suppose 15*w + 3*w = 693558. Is w prime?
False
Let r(w) = -28*w - 204. Let i be r(-9). Suppose -7995 = -k + 3*q, -4*k - 43*q = -i*q - 31966. Is k prime?
False
Let x(w) = 2*w**3 + 30*w**2. Let b be x(-15). Suppose -10*v + 2*v + 4808 = b. Let z = v + -192. Is z a composite number?
False
Let i = 1346 + -958. Suppose 2*a = 1400 + i. Suppose m - a = -3*g - 288, -5*m - 218 = -g. Is g a composite number?
True
Is 138254*(-1)/3*(12 + (-180)/8) composite?
True
Let t(m) = m + 2473. Let p = -49 + 52. Let u be (4 - (-20)/(-5))/p. Is t(u) composite?
False
Let m(h) be the second derivative of 182*h**4/3 + 3*h**3 + 41*h**2/2 - 5*h + 20. Is m(-6) prime?
True
Suppose -4654 - 1765 = 7*q. Let c = q - -1296. Is c composite?
False
Let f be (-771)/(-2) + -5*7/70. Is 28/(7 - 0) + f a prime number?
True
Let m be (-4)/(14/(-105) - (-1838)/14010). Suppose m = 6*f + 554. Is -3 - (-3 - f/6*46) composite?
True
Let z = 5 - -26. Suppose 9 - z = i. Is (2 + i/(-4))*5296/24 a prime number?
False
Let q be 64/(-40)*-5*-1143. Let i = q + 17175. Is i composite?
True
Let k(w) = 1909*w**2 + 20*w - 280. Is k(-19) a composite number?
True
Let k = -280 + 293. Suppose -4*w = -k*w + 17055. Is w prime?
False
Let t = -50054 + 139243. Is t prime?
True
Let m(l) be the first derivative of l**4/4 - 4*l**3/3 + 2*l**2 + 4*l + 14. Suppose -17 = -n - 10. Is m(n) a prime number?
True
Suppose 2*j - 2*t + 11984 = 0, 2 = t - 0. Let k = j - -13611. Is k prime?
True
Let x(y) = 3*y**3 + 34*y**2 + 9*y - 53. Let n be x(-16). Let v = 5402 + n. Is v composite?
False
Let v = -46701 - -79029. Is (4/6)/(24/v) prime?
False
Is (720/288)/(10/585448) prime?
False
Suppose 36*b = -547454 + 6883562. Is b composite?
True
Suppose -6 = -2*x + 2. Let c(o) = -o**2 + 11*o + 23. Let g(k) = k. Let w(i) = x*g(i) - c(i). Is w(-13) composite?
True
Let x = -8 - -9. Let v(y) = 1322*y**2 + 3*y - 3. Is v(x) a composite number?
True
Suppose 13327 = 3*g + 2*i, 16*g - 5*i - 13355 = 13*g. Suppose -6*d + g = -8629. Is d a composite number?
False
Suppose -29080 - 1220 = -12*v. Let q = 3711 - v. Is q a composite number?
True
Let l(s) = -s