-4*q + 13554 = 2*g. Is q composite?
False
Let f = 9762 + -2873. Is f prime?
False
Let d = -30288 - -77477. Is d prime?
True
Let x = -101 - -100. Let k be -3 + (-1344)/1*x. Let h = k - 779. Is h composite?
True
Let g = 16 + 16. Is (38018/10 - g/40) + 2 a prime number?
True
Let z = 431 - 432. Is (0 + z)*(-921)/6*58 a prime number?
False
Let v(y) be the first derivative of -y**4/2 + 20*y**3/3 - 2*y**2 + 2*y - 1. Let r = -13876 + 13884. Is v(r) a prime number?
False
Suppose 3*b - 13*m = -10*m + 129546, -215945 = -5*b - 2*m. Let s = b + -19180. Is s a composite number?
False
Let t(d) = 3037*d - 3504. Is t(25) a composite number?
False
Suppose -3*x - 6 = 0, 9 = 4*m - x + 3. Is 1/(-8) + m + 318963/24 composite?
False
Let x = 124131 + -71492. Is x a composite number?
False
Let w = -9395 + 16263. Let s = 12987 - w. Is s a prime number?
False
Suppose -2*s + 19134 = -4*y, s - 2264 = -2*y + 7283. Is s prime?
False
Suppose 109*t - 114*t + 601601 = -3*s, 5*s = -10. Is t a composite number?
False
Suppose -76*f + 4859985 = -37*f. Is f a prime number?
False
Suppose 5*u - 11*u + 2148 = 0. Let s(w) = w. Let o be s(0). Suppose -2*a + 358 = -o*h - 4*h, -2*a = h - u. Is a a prime number?
True
Let k(m) = 3150*m**2 + 11*m + 20. Let t be k(-4). Suppose 14*u - t = -10*u. Is u composite?
False
Suppose 23*k = 22*k + 83639. Suppose 4*l - k = -21435. Is l a composite number?
False
Suppose 342 - 90 = 63*v. Suppose -4*i - 8782 - 592 = -2*z, v*z - 4*i = 18756. Is z prime?
True
Let y = 154 + -151. Suppose 2*n + y*n - l = 1491, -5*n + 4*l = -1494. Is n prime?
False
Let s = -77 - -50. Let t = -31 - s. Let h(m) = -277*m + 9. Is h(t) a prime number?
True
Suppose -3*s - 32*c + 28*c = -118, 6*c = 5*s - 222. Let r(y) = 6*y - 2. Let q be r(6). Suppose -4*p + q = -s. Is p a composite number?
False
Let c(t) be the third derivative of -539*t**4/24 + 5*t**3/6 - 4*t**2 + 3. Is c(-4) composite?
False
Suppose 0 = 3*t - 6*o - 570879, 23*o = -4*t + 24*o + 761207. Is t composite?
True
Let h(d) = -96*d**3 + 5*d**2 + 5*d - 3. Let k be h(-3). Let j = k - 1059. Suppose 125 + j = v. Is v a composite number?
True
Let d(h) = 4*h - 692. Let u(n) = -4*n + 693. Let m(b) = -2*d(b) - 3*u(b). Let t be m(0). Is (-6)/(-4)*12/(-18)*t composite?
True
Suppose 4*r = 4*d + 4, -3*d + 12 = -0*r + 2*r. Suppose -v + 343 = -2*h - h, -d*v + 694 = -4*h. Is v a composite number?
True
Let j(o) = -o**3 - 5*o**2 + 31*o + 140. Let i be j(-5). Let v(q) = 28*q**2 - 4*q - 47. Is v(i) prime?
False
Suppose 0 = -2*v + 3*d - 193 + 22, -3*v = 2*d + 276. Let t = 115 - v. Suppose -3*k = -t - 80. Is k a composite number?
True
Let t(d) = -647*d + 241. Let j be t(23). Let f = -4687 - j. Is f a prime number?
False
Let t(h) = 2468*h - 5. Let j be 24/10 + (-28)/70. Let n be t(j). Suppose 5*d = w + 8214, 0 = -3*d + 3*w - 5*w + n. Is d composite?
True
Let d(k) = k**3 + 18*k**2 + 11*k - 19. Suppose 6*z - 21 + 57 = 0. Is d(z) composite?
False
Suppose -11011 = 2*h + 13725. Let n = h + 18585. Is n a composite number?
False
Let a(l) = 10738*l**2 + 5*l + 16. Is a(-3) a composite number?
False
Suppose 5*v + 3*w - 21904 = 0, -5*w + 5073 + 8047 = 3*v. Is v a composite number?
True
Suppose -b = -0*b. Let a be (b - 0 - -3) + 0. Suppose 4*r = 20, 2*j - 809 = -6*r + a*r. Is j composite?
False
Let r(o) = 8*o - 227. Let h be r(29). Suppose h*a - 26041 = -206. Is a a prime number?
True
Suppose 5*y = -3*m + 7290, 0 = 16*m - 15*m - 3*y - 2444. Is m composite?
True
Let t be 1/(1*(-4)/(-188)) + -3. Let z = -36 + t. Suppose 9*x - z*x - 887 = 0. Is x a prime number?
True
Suppose -11*t - 6 = -14*t. Suppose -4*n + 3*n + f = -5, 5*n = -t*f + 4. Suppose 0 = -q - 4, n*r - 3*q + 4*q = 1750. Is r a prime number?
True
Suppose -3*u - 92 = -110. Suppose u*t - 6475 = 15419. Is t composite?
True
Suppose -26 = -3*t + 2*v + 25, 5*t = -4*v + 63. Suppose 0 = -2*f + 10, 0 = 2*i - f - t + 2. Suppose -i*l + 148 = -7*l. Is l a prime number?
False
Let z be (-25 - (-10)/(-5))/(5/(-45)). Suppose -z*k + 253*k - 76390 = 0. Is k a prime number?
True
Let m(n) = -692*n**3 + 28*n**2 + 223*n - 2. Is m(-9) a composite number?
False
Let o = 248612 + -7405. Is o prime?
True
Suppose -12*r + 280 = 64. Let q be (r/(-12))/((-3)/4). Suppose 3*h - 2*v = 1145, -q*v = -5*h + 426 + 1477. Is h prime?
True
Let l(c) = 5*c**3 + 3*c**2 + 6*c - 3. Let w(n) = 9*n**3 + 5*n**2 + 12*n - 5. Let h(y) = -11*l(y) + 6*w(y). Let s be h(-4). Let x = 50 - s. Is x composite?
True
Let c(m) = 21*m**3 - 6*m**2 - 17*m - 1. Suppose -29*r = -11*r - 162. Is c(r) a prime number?
True
Let y(f) = -3151*f**3 + f**2 - 6*f - 5. Is y(-2) a composite number?
False
Suppose 4*f = -5*d + 780185, -116709 = -5*d - 2*f + 663486. Is d a prime number?
True
Let k = -165944 - -382326. Is k a composite number?
True
Let j(u) = -3*u**3 + 65*u**2 + 157*u - 101. Is j(-65) composite?
True
Is -15*4747484/210*((-6)/4)/3 a composite number?
False
Let s be 1/(-4) + (-12123)/(-12). Suppose -i + 3540 = -1374. Suppose -s - i = -4*d. Is d prime?
True
Let v be (0 + (-12)/9)/(4/(-6)). Let t(b) = 3*b**3 - 2*b - 11 + 0*b**3 - 10*b**2 - 5*b**v - 13*b. Is t(12) prime?
True
Suppose 9702 = 112*a - 101*a. Suppose -8*x + 2086 = -a. Is x composite?
True
Is 2558 - -607 - (0 + 1*-1) a prime number?
False
Let x be 32545 + 45 + 2*4. Suppose -63712 = -3*w - c + x, -3*c - 160540 = -5*w. Is w a composite number?
True
Suppose 7*s = -6*s - s + 16959278. Is s composite?
True
Let u = -195 - -195. Suppose 4*k - 34608 + 2619 = -3*p, -4*p + 4*k + 42652 = u. Is p prime?
True
Let v(m) = -m**3 - 24*m**2 - 44*m + 23. Is v(-22) a composite number?
False
Let r(b) = -9*b**3 - 6*b**2 + 14*b - 2. Let w(h) = -h**3 - h**2 - h + 1. Let g(v) = -r(v) + 4*w(v). Let i be g(7). Let l = 3590 - i. Is l composite?
True
Let v be ((-2897)/2)/((-74)/148). Suppose 2*i + 916 = y - v, 5*y - 19005 = -2*i. Is y prime?
True
Let m = 118 - 71. Suppose 7*g + 5 = m. Suppose -g*h = 343 - 4273. Is h composite?
True
Let h(w) = w**3 - 21*w - 32. Let j be h(-3). Let d(q) = 245*q - 43. Let t(k) = 123*k - 21. Let f(v) = 4*d(v) - 7*t(v). Is f(j) a prime number?
False
Suppose 4*t + 56 - 12 = 0. Let j(p) = -p**3 - 11*p**2 - p - 13. Let v be j(t). Is ((-535)/10)/(v/12) a composite number?
True
Let c be 6 - 11 - (88 + -4). Let u be ((-3)/(-2))/((-13)/5408). Let t = c - u. Is t a composite number?
True
Suppose 0 = -54*h + 50*h - 24. Is -933*(-135)/21 + h/(-42) a composite number?
True
Is 41/4 - 13/52 - -68959 prime?
False
Let h(j) = -539*j - 16. Let z be h(-2). Suppose -z - 1009 = -p. Is p composite?
True
Let b be (-1172 - 1)/((-2)/(-6)). Suppose -16 = 4*s, 9*s - 8*s - 6767 = 3*z. Let q = z - b. Is q a composite number?
True
Let t be (-30)/(-7) + (-6)/(-42)*-2. Let k(l) = 13*l**3 - 8*l**2 - 5*l - 1. Is k(t) composite?
False
Let d(q) = q**3 - 6*q**2 + 6*q + 4. Let h be d(5). Let i be (h/((-45)/(-10)))/1. Suppose -3*v = -i*v - 877. Is v a composite number?
False
Let f(j) = -258*j - 8. Let r(g) = 257*g + 7. Let p(b) = 6*f(b) + 5*r(b). Suppose -24 = 2*m + 5*w + 5, -3*m + 5*w = 31. Is p(m) composite?
True
Let a(g) = -887*g - 57. Let w(x) = -3*x**2 + 29*x + 6. Let s be w(10). Is a(s) a composite number?
False
Is (200/(-6) + 11)/((-5)/5055) composite?
True
Suppose -20*l + 12 = -26*l. Let f be (-3 - l)/7 + (-4)/(-28). Suppose -52*o + 47*o + 21355 = f. Is o a prime number?
True
Suppose 20*b = 1177104 + 772076. Is b a composite number?
False
Let a(b) = -75*b**2 - 4*b - 5. Let l be a(-2). Let n = l - -746. Is n prime?
True
Suppose 3*d - 690369 = -4*i, -5*i = 11*d - 19*d + 1841078. Is d a composite number?
True
Is 70264 - 2 - (-10 - (-33)/3) composite?
True
Let h = 15109 + 21399. Is (h/(-28))/((-2)/14) composite?
False
Suppose -193878 = 183*f - 192*f. Is f a composite number?
True
Let r(t) be the third derivative of 0*t + 23/6*t**3 + 0 - 19/60*t**5 + 19*t**2 + 1/120*t**6 + t**4. Is r(18) a prime number?
True
Suppose -4*k - 3*x + 8395 = 0, 0 = 3*k - x - 5333 - 960. Let c = k - 712. Suppose i - 2054 = -2*i + w, -2*i + 4*w + c = 0. Is i a composite number?
False
Let g = -38 - -33. Let t be g*(0 + -1) - 0. Let i(b) = 64*b - 3. Is i(t) composite?
False
Suppose 0*j = -5*j. Suppose 29 = -5*k + 39. Is 1799 + 2 + j/(k - 1) a composite number?
False
Let f = -15697 + 250418. Is f composite?
False
Let q be 5*(-2 + 3/1). Suppose -12*w + 55*w = 86. Supp