Let q be m(-7). Suppose -2*j + 12663 + 421 = q. Is j a prime number?
False
Let b(u) = -63*u**3 + 110*u**2 - u + 45. Is b(-17) prime?
False
Let h be -168*(10/(-20) + (-734)/(-28)). Let n = h + 10769. Is n a prime number?
True
Suppose -290 = -5*x - 2*l, 0 = -5*l + 6 - 31. Suppose -4*n - x = -9*n. Is 1 + 1096/n - (-6)/9 prime?
False
Suppose 0 = -3*n + 4*q - 88, n + 3*q = -0*n - 25. Let a be (-792)/(-21) - 8/n. Is (a/(-4))/((-2)/4) composite?
False
Suppose 0 = -14*i + 8843 + 285. Suppose q = 3*n - 9, -2*n - n + 3 = -3*q. Suppose 5*t - i = -4*z + 385, -3*z + n*t + 739 = 0. Is z prime?
False
Suppose -2*r + 2*y - 10358 = -32242, -4*y = -8. Suppose 3*w = -5*n + 22980, 4*n - 3*w = r + 7440. Suppose -6*s = -2430 - n. Is s prime?
True
Let a = 548 + 75. Let z = a + -336. Is z prime?
False
Suppose -3*f + 6 = -3. Suppose 565 = 5*h + 4*i, 0 = 2*h + f*i - 147 - 79. Let b = -46 + h. Is b a prime number?
True
Suppose b = 3*n - 2753 + 11367, 0 = -b + 5*n + 8622. Let r = b - 813. Is r composite?
False
Let h be (-56)/7*(-215 + -1). Let z = -566 + h. Suppose 2*u - z = -20. Is u composite?
False
Let t(g) = 2*g**3 - g**2 + 4*g + 3173. Is t(0) a composite number?
True
Let f = 42 - 34. Is 36020/f + (3/(-2))/3 prime?
False
Let n(o) = -5*o**2 + 693*o - 412. Let x be n(138). Let y = -1510 - -2746. Suppose y = 4*p - 7*k + 3*k, -x*k = -5*p + 1539. Is p composite?
False
Suppose -4*m - 11012 = -15*m + 4377. Is m prime?
True
Let q = -1700 - -2769. Let p = 3840 + q. Is p a composite number?
False
Suppose 0 = -5*z - 482 + 16777. Suppose -20*a = -21*a + z. Is a a composite number?
False
Let p(j) = -15*j + 27. Let r(x) = 1. Let m(w) = -p(w) - 5*r(w). Suppose 2*z = -2*s + 16, -8*z - 8 = -3*s - 3*z. Is m(s) a composite number?
True
Let o = 100 - 97. Suppose g - 2*i = 401, 1247 = o*g - 0*i + 5*i. Is g prime?
True
Let y(l) = -5*l**3 - 5*l**2 - 6*l - 2. Let p be y(-2). Suppose -p*r = -34*r + 2036. Is r prime?
True
Let i be 4/((-116)/(-20) + -5). Is (-94)/(-7 + i - (-120)/61) composite?
True
Suppose -3991 = -2*u - 3*z + 1554, -4*u = -3*z - 11135. Suppose -2*n - u = -6*n. Let v = n - -126. Is v a prime number?
True
Suppose -2*d + 12 = 4*d. Suppose 0*v = -3*k + d*v - 3498, v + 5830 = -5*k. Let w = k - -2307. Is w a composite number?
True
Suppose -24*n + 208602 = 140*n - 758834. Is n prime?
False
Let q = -339 + -10591. Is (-2 + q)/(-2) - (-25)/5 a composite number?
False
Let b = 14 + -5. Let j(t) be the first derivative of 38*t**2 - 3*t - 1. Is j(b) a composite number?
True
Is (-725)/(-105) + -7 + (-2420086)/(-42) a prime number?
False
Let u(r) = -891*r**2 + 3*r - 16. Let w be u(6). Let x = w + 53321. Is x a prime number?
True
Let x(a) = -35*a + 210. Let m be x(6). Suppose 4*b = d - 5*d + 38688, d + 2*b - 9667 = m. Is d a composite number?
False
Let n(h) = h**3 + 1. Let r(v) = -9193*v**3 + 2*v**2 + 4*v. Let k(y) = 2*n(y) + r(y). Let b be k(-1). Is 3/(-2) - b/(-14) a composite number?
True
Suppose 156*y + 22 = 158*y. Suppose 3*d = y*d - 22888. Is d a composite number?
False
Let w be (-11)/((35/(-1918))/(-5)). Let j = w - -5285. Is j a composite number?
True
Let g(x) = -7434*x - 583. Is g(-8) composite?
False
Let b = -116465 + 329604. Is b a composite number?
False
Let v = 680503 + 345000. Is v composite?
False
Is (-30)/(-20)*(-2349030)/(-45) a composite number?
False
Is (-31662)/54*-443 - 4/6 a composite number?
True
Let y = 539 - 536. Suppose -y*z + 16 = -7*z, -s - 5*z = -95. Is s a composite number?
True
Let x(y) = 4*y + 16. Let j be x(-5). Let r be 532 + 5 + j/(-1). Suppose -v + r + 46 = 0. Is v a prime number?
True
Let g be ((-558960)/200)/(2/(-10)). Suppose g = -3*j + 41247. Is j prime?
True
Suppose 71*d - 56438650 + 18306893 = 0. Is d a prime number?
True
Let i(k) = 60*k**2 + 21*k - 58. Let a be (-2 + 14/(-4))*(-8)/4. Is i(a) a composite number?
False
Let c(q) = 355*q**2 + 4*q + 2. Let r be c(-6). Suppose 4*g + 2*t - r = -0*t, t - 3 = 0. Suppose 3*z - g = -z. Is z a composite number?
False
Suppose -4*d + 4 = 0, -3*x - 10 - 8 = -3*d. Let w be -4 + (259 - (4 + x)). Is w + 12/(0 - 4) composite?
True
Suppose g - 143 = -10*g. Let z(n) = -138*n + 47. Let t(b) = -138*b + 45. Let s(r) = -5*t(r) + 4*z(r). Is s(g) prime?
False
Suppose 2*j = -3*i + 12, -4*j + 6*i + 42 = 3*i. Suppose -5*c - u = -28, 3*c - 3*u = 7 - 1. Suppose -j*o = -c*o - 1636. Is o a prime number?
True
Suppose 5*c = -14 + 29. Suppose -2*g - 4 = 0, c*g = -4*x + 2*g + 17030. Suppose 0*t = 2*t - 2*b - x, 0 = -3*b. Is t composite?
False
Let o be (3/4*23)/((-72)/(-1248)). Suppose -t + 1304 = 3*k, -2*t - 3*k = -2922 + o. Is t composite?
False
Let f = -249547 + 370508. Is f prime?
False
Suppose -6*s = 5319 - 15579. Let y be ((-2)/6)/((-1)/(-3))*s. Let a = 2779 + y. Is a a composite number?
False
Is 532879/4 + -1 - 421/(-1684) a composite number?
True
Let l(q) = 23*q**2 + 3*q + 28. Let t be l(-16). Suppose -25*s + 31*s - t = 0. Suppose 2*z - 2*u = 656, -3*z + s = -u - 4*u. Is z a prime number?
True
Suppose -9*g - 22*g = 279. Let t = 3 + -6. Is ((-1916)/12*-1)/(t/g) a composite number?
False
Suppose 4 = -f + 18. Suppose -3*l + 13 = -f. Is (-1 + 3/l)*(-36405)/6 prime?
False
Let q = -513 - 138. Let s = -2900 - -1804. Let g = q - s. Is g prime?
False
Let v be ((288/40)/(-3))/(9/(-30)). Is (1 + -3110)/(v/10 - 1) a prime number?
False
Suppose 5 + 41 = 23*o. Suppose -w - 29413 = -2*m + 2*w, 0 = -m + o*w + 14709. Is m composite?
False
Is 12/(-14) - (-21 - 411800/70) prime?
True
Let p(g) = 65*g - 63. Let o be p(1). Is 18268/3 - (28/12 - o) prime?
True
Is -18 - ((-80)/5 - 356245) prime?
True
Let b(a) = -a**2 + 20*a - 18. Let o be b(-13). Let h = o - -952. Is h a composite number?
True
Let b(a) = 148*a**2 + 27*a + 148. Is b(-31) a composite number?
False
Let u(a) = 2*a**2 + 34*a - 61. Let c be u(-19). Suppose -c*j - 209970 = -33*j. Is j a prime number?
False
Let p(a) = -34128*a - 961. Is p(-4) prime?
False
Let q = 65518 + -38459. Suppose -4*g + 21636 = -4*r - 0*r, 5*g + 2*r - q = 0. Is g composite?
True
Let u = 38 + -36. Suppose -u - 4 = 2*b. Is (-24)/(-6) - 5265/b a prime number?
True
Let d(a) = 104*a**3 + 56*a**2 - 6*a - 67. Is d(14) a composite number?
False
Let k = 9011 + 2492. Let m = 19078 - k. Suppose -4*u + m = 1683. Is u a prime number?
False
Let j(k) = 4 - 8*k**2 - 8*k - 18 + 9 - k**3. Let c be j(-7). Suppose 0 = 2*u - 5*r - 2643, -2*r = c*u + 858 - 3494. Is u a prime number?
True
Let p be 4/(-5) - 547344/(-80). Suppose p = 18*a - 72449. Is a prime?
False
Let w be -3*(-6 + 2 - 2). Suppose -w*r + 15589 = -11*r. Is r prime?
False
Suppose 4*r - 5*r + 676 = 0. Suppose s + 4*m = r, 3*s + 3*m - 1925 = 85. Suppose 2*v + s = -0*i + 2*i, i = 2*v + 331. Is i prime?
True
Let q = 21 + -14. Suppose q*o = 2*o - u - 3, -o + 4*u + 12 = 0. Suppose -2*g + 743 + 3 = o. Is g a prime number?
True
Let m(j) = -24*j + 18. Let l be m(3). Is 77386*9*(-3)/l prime?
True
Is (6/(-30))/(42/(-86506770)) prime?
True
Let j(d) = 3*d - 26. Let l be j(9). Let q(m) = 1692*m**3 + m**2 + 3*m - 3. Is q(l) composite?
False
Suppose 22*p + 3 = 3. Suppose -3363 = -19*v - p*v. Is v a composite number?
True
Let k(h) = h**2 + 23*h + 99. Let n be k(-5). Is 8650/28 + n/126 a composite number?
True
Suppose 4*p + o - 6*o + 255 = 0, -2*o = 2*p + 132. Let g = p - -69. Suppose -3*c + 6*b + 5661 = 2*b, -4*c = -g*b - 7544. Is c a prime number?
False
Let c(t) = t - 1. Let h(p) = 8 + 34*p + 6*p**2 - 41*p + 24*p - 6*p**3. Let d(r) = -3*c(r) + h(r). Is d(-5) prime?
False
Let v(k) = -k**2 + 1. Let c(l) = -3*l**2 - 8*l - 14. Let r(a) = -c(a) + 4*v(a). Let y be r(9). Suppose 4*j + 3205 = y*j. Is j prime?
True
Suppose 9*x = 4*x + 11840. Suppose 4*s = 6*s - x. Suppose s = 5*k - 2*f - 71, -502 = -2*k + 2*f. Is k prime?
True
Let y(n) = 2*n**2 - 2*n. Let a be y(2). Suppose -4*s + 986 = 2*x, a*x - s + 1951 = 8*x. Let o = x - 264. Is o prime?
True
Let v(k) = 11440*k**2 + 103*k + 16. Is v(-3) composite?
False
Is (-7 + (-100)/(-15))*-150621 a composite number?
False
Let m be (-7)/(-7)*(-1 - -5). Suppose -m*k + 13578 = -36842. Is k a composite number?
True
Suppose -51*g - 7*g + 449328 = -1552078. Is g composite?
True
Let l(j) = 2*j**3 - 2*j**2 + 9000. Let n be l(0). Suppose n - 2015 = 5*a. Suppose -6*o + a = -5*o. Is o a composite number?
True
Suppose 2*c = 4*c - v + 1505, -5*c = 5*v + 3800. Let h = c - 