30 prime?
True
Suppose -4*q - 4*n = -q + 22, 5*q + 28 = 2*n. Is (q/(-3))/((-16)/(-98584)) composite?
False
Suppose -38 = -5*w - 3*q, 2*w + 3*w + q = 36. Suppose -5*r + 106 = -w*r. Is ((13 - -5) + -4)*r/(-2) prime?
False
Let j be 364/36 + -5 - 3/27. Suppose -8894 = -4*g - j*d + 2990, 2*d = -5*g + 14855. Is g prime?
True
Let n be 2/(-4) + 1/2. Suppose -3*l - 6 = -s, s + 5*l - 6 = -n*l. Let u(a) = -a**3 + 8*a**2 - 11*a. Is u(s) prime?
False
Let o be (-74)/(-333) + (21836/(-9) - 0). Let z = o + 15037. Is z a composite number?
False
Let z be 54/(-9) - (1 + -1). Is 4/z - (54340/(-15) + -7) prime?
False
Suppose 147*l = 102*l + 3327165. Is l a composite number?
True
Is 3*(-4)/48 + (-1873896)/(-32) a composite number?
True
Let t = 298360 + -27139. Is t a prime number?
False
Let h = 397 + -402. Is (h - (5 + (-9 - 5))) + 30043 a prime number?
True
Let z(b) = -635*b - 52. Let k be z(-8). Suppose -k = -7*y + 6571. Is y composite?
False
Suppose 5*i - 6*i = 5*b - 19324, -4*i + 77296 = -5*b. Let n = 120 + i. Suppose 2*m + n = 6*m. Is m a composite number?
False
Suppose 1090 + 1148 = 6*k. Suppose -2*z + 5*y - y = -262, k = 3*z + 4*y. Is z a composite number?
False
Suppose 0 = -11*r + 4*r + 1554. Is 1/(-8) + 23*r/16 composite?
True
Suppose 3*v = -v + 5*c + 455, -v = c - 125. Let i = v - -181. Is i prime?
False
Suppose 8*j - 9*j + 34 = 0. Suppose 32*x = j*x - 1616. Suppose -4*y - 212 = -x. Is y prime?
True
Let x(s) = -89*s**3 + 15*s**2 - 61*s - 49. Is x(-16) composite?
True
Suppose -4*n - 7*p + 10*p + 144733 = 0, -180925 = -5*n + 2*p. Is n a prime number?
True
Let p(y) = -4*y**3 - 2*y**2 - 50*y - 245. Is p(-32) prime?
True
Suppose -970631 = -3*y - 63*x + 65*x, 0 = 4*y - 5*x - 1294191. Is y composite?
True
Let j = 33 + -33. Let h(v) = 4*v**2 - 3*v + j - v - 4 - v. Is h(-5) composite?
True
Suppose 24*m - 4622904 = -0*m. Suppose -36*j = 3*j - m. Is j a composite number?
True
Let d be (5/(-2) - -1)/((-16)/(-96)). Let t(r) = 2*r**2 + 16*r - 14. Let l be t(d). Suppose -l*q = -m + 1801, 8*m = 4*m - q + 7204. Is m a composite number?
False
Suppose -5*i = -4*q - 195825, 0*q - q - 4*i - 48930 = 0. Is q/(-35) - 9/(-21) a prime number?
True
Suppose 4*u - 3*o = -14284, 0*o = -u - o - 3564. Let j = 6147 + u. Is j composite?
False
Let m(j) = 5*j - 58. Let o be m(13). Suppose 11*c - 244 = o*c. Let y = c + -36. Is y a prime number?
False
Let y be (14 + -3)/(2/(-4506)). Let u = -17029 - y. Is u a composite number?
True
Let k(b) = -3*b**3 - 37*b**2 - 7*b - 11. Is k(-40) a composite number?
False
Let i be (5586/8)/((-42)/(-4256)). Suppose 4*s = 5*u - 15559 + i, -27576 = -2*s - 2*u. Is s prime?
False
Suppose 678 = 5*b - 3*j, -4*b - 4*j + 568 = -0*b. Let z = b + -133. Let t(k) = 3*k**3 + k**2 + 11*k - 1. Is t(z) a composite number?
True
Let y(m) = -3*m**3 + 22*m**2 - 4*m - 20. Let i be y(7). Is (23 - -53515)*i/6 composite?
False
Suppose -4*o - 5098027 = -3*h, -8*h - 6797391 = -12*h + o. Is h composite?
False
Let m be (-20)/8 + 2 + 14/4. Suppose -5*j = -3*l - 41764, 0*j + m*l - 33395 = -4*j. Suppose q = -6*q + j. Is q composite?
False
Suppose 0 = 4*w - q - 530992, -4*w - 4*q - 79577 = -610549. Is w prime?
False
Suppose 4*q - 21 = m, 2*m - 3*q + 7*q = -90. Suppose 7 - 3 = -n. Let s = n - m. Is s a prime number?
False
Suppose 141*u - 160870 = 137*u - 2*d, 5*u - 201092 = -d. Is u a composite number?
True
Let d be (-60)/(-10)*(-8229)/(-2). Suppose 4*q - d - 1001 = 0. Suppose -3*m = -4*s - s - q, -3*s = -4*m + 8581. Is m a composite number?
True
Let x be (27/(-36))/((-3)/8). Is -4*(0 - (x - (-23724)/16)) a prime number?
True
Suppose 5*c + 5*q = 20, -2*q = -c + q. Suppose c*j - 546 = -2*p, -5*p = -8*p + 5*j + 781. Is p a composite number?
True
Let a(x) be the second derivative of 2*x**3/3 + 39*x**2/2 + 35*x + 2. Is a(-7) prime?
True
Let c(b) = -72*b**3 - 11*b**2 - 29*b + 53. Is c(-18) a composite number?
True
Let h be 4942/(-4)*48/(-28). Suppose 2*k - 3*m - h = 1181, 4961 = 3*k - 2*m. Is k composite?
False
Suppose -65*x + 786958 = 4*p - 60*x, -3*p + 4*x + 590265 = 0. Is p prime?
False
Let x(s) = -556*s**3 - s**2 + s + 13. Is x(-3) a prime number?
True
Let z(u) = u**2 - 8*u - 20. Let r be z(17). Let p = r - 96. Suppose p*d = 46*d - 1683. Is d a composite number?
True
Let h(p) = -13*p**2 - 7*p - 9. Let x(i) = 9*i**2 + 5*i + 6. Let l(s) = 5*h(s) + 7*x(s). Let t be l(2). Is t/(-4)*(55 + -3) prime?
False
Let d(s) = -5*s + 25. Let m be d(5). Suppose -6*t + 18*t - 312 = m. Is -2 + (1 + t/(-4))*-66 prime?
False
Suppose 0 = -5*x - 4*b + 18, -2*x = -3*x + 5*b - 8. Let f(a) = 671*a**3 + 3*a**2 - 8*a + 7. Is f(x) composite?
True
Suppose -l + k - 5*k = 585, 5*k - 594 = l. Let q = l + 2792. Is q a prime number?
True
Let x(r) = -r + 2. Let a be x(6). Is 3491 + -1 + -2 + (-5 - a) prime?
False
Let k(p) = 25*p + 3. Let h be k(-17). Let z = 600 + h. Is z a prime number?
False
Suppose 22*v - 15*v - 75803 = 0. Let w = v - -10394. Let x = -8130 + w. Is x prime?
True
Let f be (-5 - -3 - -3)*5. Suppose j - f - 2 = 0. Is j prime?
True
Is 1 - -605*389 - (156 + -11)/(-29) a prime number?
False
Suppose 0*s - 48914019 = -63*s. Is s composite?
True
Let m(j) = -j**3 - 19*j**2 - j - 16. Let g be m(-19). Suppose 12 + g = -3*p. Is 2 + -5 + (-2 - p) + 737 prime?
False
Let f(n) = n**2 + 2*n - 6. Let v be f(-5). Let y be (21141/(-2))/9*(-12)/v. Let d = -211 + y. Is d a composite number?
True
Suppose -6*z + 2*a = -3*z - 99526, -5*z - 4*a + 165884 = 0. Let x = -21771 + z. Is x a prime number?
False
Let h(i) = 144*i**3 - 9*i**2 - 54*i + 253. Is h(8) prime?
True
Let o = 6654 + -11448. Let y = o + 21559. Suppose -8*i = -13*i + y. Is i prime?
False
Let r(f) = 4*f**3 - 2*f**3 + 6*f - 11 + 11*f**2 + f**3 - 2*f**3. Suppose -8*z + 5*z = 21. Is r(z) composite?
True
Is 3/6*19/(76/614904) composite?
True
Let d(l) = 17*l - 17 + 2*l**2 + 0*l**2 - 3*l + 22. Let v be d(-9). Let h = v - -48. Is h prime?
True
Let b(q) = 2448*q + 2467. Is b(39) composite?
True
Suppose 1027 = -4*y + 19. Is (-1 - (-4532)/18) + (-56)/y a prime number?
True
Let g(f) = -4*f**3 - 6*f**2 + 18*f + 9. Suppose -272*d = -277*d - 40. Is g(d) a prime number?
False
Suppose -8*b = 8*b - 38960. Let t = 15954 - b. Is t a composite number?
True
Suppose -40595 = -w + 2*k, 0*w = -3*w + 5*k + 121783. Is w a composite number?
False
Suppose -89*w + 30457807 = -2208130. Is w prime?
True
Suppose 2922061 - 12103049 = -67*j + 5787549. Is j composite?
True
Let p = 308 - 308. Suppose -3*u - 2*h + 11843 = p, 8*h - 4*h = 5*u - 19753. Is u a composite number?
True
Let m = 159 + -92. Let s = -609 - -578. Is (15 - s)*m/2 a prime number?
False
Let a = -16947 - -24148. Is a prime?
False
Let a = -44 - -46. Suppose 2*t + 3532 = 4*b, 4*t - a = 6. Let n = b - 415. Is n composite?
True
Let i(k) = 1659*k + 2. Let q = 21 - 17. Is i(q) a prime number?
False
Suppose -n - 10 = 4*n + 5*b, -3*b - 14 = -5*n. Let f be n/3 - (20/(-3))/4. Is f*(-6)/(-4) + 1378 a composite number?
False
Let o(f) = -f - 1. Let y(i) = 2*i + 11. Let p(h) = -2*o(h) - 2*y(h). Let k be p(-9). Is (k/(-3))/((-2)/(-9)) a prime number?
True
Let z = -2607 - -1701. Let k = z - -2267. Is k prime?
True
Let d(c) = 5755*c + 2. Let n be d(1). Suppose 5757 = 3*o - 2*h + 4*h, -3*o + n = -2*h. Suppose 3*b + w = -b + o, 4*b = -3*w + 1925. Is b a prime number?
True
Suppose 9*q - 48417 = 118110. Is q a prime number?
True
Let g(x) be the first derivative of 2*x**4 - 22*x**3/3 - 9*x**2/2 + 14*x + 133. Is g(11) prime?
True
Is (2/3)/(-1*16/(-1927416)) a prime number?
True
Let y(z) = 30264*z - 12169. Is y(66) a composite number?
True
Let q(t) = 1537*t + 55. Let d(y) = 769*y + 28. Let o(k) = -5*d(k) + 3*q(k). Let f = -29 + 35. Is o(f) composite?
False
Let h(v) = v**3 + v. Let y(j) = -9*j**2 + 23*j - 3 + 2*j**3 + 6*j**3 - 6*j**3. Let c(u) = -4*h(u) + y(u). Is c(-8) prime?
True
Suppose 4*b + 8 - 28 = 0. Suppose 3*p - 55 = -0*p + 5*o, -3*o = -3*p + 57. Is b/p + 2647/4 composite?
True
Let h be -3*1 + (-21 - -27). Suppose 0 = -64*c + 61*c + h, w - 4058 = -3*c. Is w a prime number?
False
Let i(b) = 252*b**3 - 58*b**2 + 518*b - 9. Is i(7) a composite number?
False
Suppose 0 = 85*j - 87*j - 3*r - 2, -3*j - 5*r = 4. Suppose j*a - 16 = -12, 0 = c - 2*a - 10207. Is c a composite number?
False
Let i(n) = 1308*n**3 + 2*n**2 + 13*n - 10. Let a be i(4). Suppose -13*d + 