s (d/4)/(9/318) prime?
True
Let z(k) be the second derivative of -k**4/12 - 2*k**3 + 17*k**2/2 + k. Let g be z(-11). Is (1/(-2))/(7/g) + 336 composite?
True
Is (-3)/4 + (-1349570107)/(-3988) composite?
False
Let n(x) = 68*x**3 + 6*x**2 - 20*x + 257. Is n(10) a prime number?
False
Let i be (-7 + 6)/(0 + (-6)/(-18)). Is (-11 + -12)/(i/543) a composite number?
True
Suppose -75*g + 231273 = -22902. Is g composite?
False
Is 176/22 + 508053 - -12 a composite number?
False
Suppose -18108 = -4*i - 5*d + 12596, 5*d - 15362 = -2*i. Is i a prime number?
False
Let d(r) = r**2 + 9*r - 11. Suppose -2 = 2*w - 20. Suppose w*z = 4*z + 50. Is d(z) a prime number?
True
Let n(q) = 12*q**3 + 6*q**2 - 281*q - 29. Is n(18) a composite number?
False
Let j be (-11)/11*(-3 + 60/3). Let i(z) = -79*z + 246. Is i(j) composite?
True
Let p(b) = 6399*b**2 + b - 53. Is p(5) a composite number?
True
Let q(w) = 132*w**3 + 18*w**2 + 98*w - 239. Is q(15) a composite number?
True
Let g be (3 - (-48 - 4))*1/5. Suppose 14*r = g*r + 8157. Is r a composite number?
False
Let i = -40 + 46. Let t be (124/i)/((-2)/(-3)). Suppose -t*l + 29*l = -1042. Is l a composite number?
False
Is (-4 + (-65)/(-20))/(3/(-228148)) composite?
False
Suppose -39284 = -3*k + 19738. Suppose -k = 3*n - 12*n. Let t = -1491 + n. Is t prime?
False
Let l be 0 - (-2 - 1/(-2))*2. Suppose -4*g - w + 4 = l*w, -2*w - 4 = -g. Suppose g*i = 3*i - 141. Is i composite?
True
Suppose -6191 = -j + 20*z - 23*z, 3*j - 18489 = 5*z. Is j composite?
False
Let z(f) = -f**3 - 25*f**2 - 5*f - 21. Let m be z(-25). Suppose 0 = -m*x + 100*x + 1720. Suppose 225 = 5*r - x. Is r composite?
False
Let i = 28 - 6. Suppose -5*t + 3 + i = 0. Suppose 543 = n + 5*v, -t*v - 1116 = -n - n. Is n prime?
False
Let o(b) = 411982*b**3 - b**2 + 7*b - 6. Is o(1) a prime number?
False
Let p = 437 + -451. Is (6/(-3))/p - (-91068)/14 a prime number?
False
Suppose -2*d + 4 = -2*j, 3*j + 0 - 2 = -d. Suppose 0 = m + 2*m - z - 34, 0 = -4*m + 5*z + 38. Is (j - -797)*(-2 - m/(-4)) a prime number?
True
Let w = -176 + 174. Is (3544/(-4))/1*w/4 a prime number?
True
Let q = 124737 - -119656. Is q a prime number?
True
Let p(v) = 2*v**3 + 4*v**2 + 2*v. Let l(m) = -4*m + 2. Let r be l(1). Let h be p(r). Let w(z) = -123*z + 5. Is w(h) prime?
False
Is 24/78 + (-60765444)/(-468) composite?
False
Let w(v) = -34753*v + 1189. Is w(-6) a prime number?
True
Suppose 876*s - 4389 = 873*s. Suppose 2*p + o - 967 = 0, 3*p + 6*o - s = 2*o. Is p a prime number?
False
Let w = 2268 + -1739. Is w composite?
True
Let y(x) = 3530*x**2 - 17*x - 39. Let o be y(-3). Suppose 8*p = 14*p - o. Is p a prime number?
True
Let v(l) = 4604*l**3 + 7*l**2 + 12*l - 184. Is v(5) a composite number?
False
Let w(r) = r**2 + 25*r - 247. Let b be w(43). Let n = -806 - -1415. Suppose n = -4*j + b. Is j a prime number?
False
Suppose -2*x - 2*p + 4 = 0, 0 = -5*x - p - p + 16. Is x*3/60 + (-44382)/(-15) composite?
True
Let j(u) = -51*u - 21. Let d = 30 + -19. Suppose l - d = -21. Is j(l) prime?
False
Suppose -j + 8 = -r, -3*j - 2*r = -17 - 27. Suppose j*m = 9*m + 169185. Is m a prime number?
False
Let j be (-9)/(-2)*3020/15. Let a(m) = -m**3 + 23*m**2 - 61*m + 23. Let y be a(20). Suppose -y*b + 2*o + 1203 = -j, -5*b - 3*o = -3496. Is b prime?
True
Let t(d) = 2*d - 8. Let r be t(4). Suppose r = -2*s + 6 - 2. Suppose -2*k + 4832 = -2*n, 4*k - 9661 = s*n + 3*n. Is k a prime number?
False
Let u = -12889 + 88960. Is u a prime number?
False
Let i(j) = 1734*j**2 + 5*j + 4. Let k be i(-1). Let h = k + -1036. Is h a composite number?
True
Let k(q) = -3*q + 46. Let h be k(14). Suppose h = -2*m + 12. Suppose -8368 = -4*x - m*n, 0 = 3*n + 2*n + 15. Is x a prime number?
False
Let y = 13 + -11. Suppose -y*p - 2*r + 953 = -p, 0 = 2*p - 3*r - 1899. Suppose 0 = 5*z - 0*z + 2*o - p, -z + 185 = 3*o. Is z prime?
True
Let k be (-2)/(-8) - 19580/(-16). Let x = 386 - k. Is 1 + 0 + (5 - (x + 1)) a composite number?
True
Let c(w) = 35*w - 489. Is c(34) composite?
False
Suppose -38*p + 43*p - 40690 = 0. Suppose 3*b = p + 4813. Is 3*2/18*b composite?
False
Let w = 52749 - -18190. Is w a prime number?
False
Let j(q) = -q**3 + 148*q**2 - 103*q + 475. Is j(78) prime?
True
Let i = -150 - -134. Is (8/i)/((-3)/32916*2) a prime number?
False
Suppose 2*o - 8*o = -36. Suppose o*h + 19133 = 25*h. Is h composite?
True
Suppose 3*p - 4*a = -15 - 7, -3*p = -a + 19. Let y be (3/p*11)/(1/(-2)). Suppose 12*f = y*f + 65. Is f a composite number?
True
Suppose -509*t + 75180787 = 27932161 - 47705833. Is t prime?
True
Let n be (165/(-10))/((-9)/5262). Suppose -4*w + 7734 = -5*t, 0*t - 4*t = 5*w - n. Is w prime?
True
Let h = -441 - -444. Is -4 + 2376 + h - 4 composite?
False
Let p = 1566 - 873. Suppose -7*o + 700 = -p. Is o a prime number?
True
Suppose 82*r - 53*r - 57333 = 0. Is r a composite number?
True
Let m(y) = y**2 - 4*y + 4. Let c be m(6). Let d be (-17)/5 + c/40. Let g(h) = 26*h**2 + 11*h + 2. Is g(d) a composite number?
True
Suppose 5*u + 5 = r, 6*r - 11*r - 85 = -3*u. Is -5963*((-18)/(-12) + r/8) a prime number?
False
Let l = 4698 + 3342. Let b = -2401 + l. Suppose -10*i + b = -13571. Is i composite?
True
Let k(q) = q**3 + 15*q**2 + 2*q + 10. Let h be ((-18)/8)/(3 - 21/8). Let w be k(h). Let l = 156 + w. Is l prime?
False
Is 2/(-12) + ((-69039816)/(-144) - -6) a prime number?
False
Let j = -182909 - -517636. Is j composite?
False
Let v(j) be the second derivative of 44*j**4 + j**3 + 7*j**2/2 + j + 201. Suppose -2*d - 10 = -4*k, 9 - 2 = d + 4*k. Is v(d) prime?
False
Is -6*(-3)/(-6)*(-10 + -7755 + 6) a prime number?
False
Let o(p) = -168 + 330 - 169 - 54*p. Let d = -18 - -13. Is o(d) prime?
True
Let j(y) = y**3 - 4*y**2 - 3*y + 10. Let l be j(4). Is l/6*(-25 - 12956) prime?
True
Let f(q) = -1660*q - 10. Let s be f(-2). Let x = -1383 + s. Is x a prime number?
False
Let q(t) = -2 + t + t - 8. Suppose -7*i + 1198 = 1114. Is q(i) a composite number?
True
Suppose 15129658 + 708875 = 171*h. Is h a composite number?
False
Let g be (-5)/(40/12)*2. Let d be ((-4)/3)/(1/g). Suppose 0 = 4*s - d, -3*r + 1143 + 373 = s. Is r a composite number?
True
Is (8/8)/(3/279919) + 212/(-159) a prime number?
False
Let q be -13*((-2)/(-11) - (-70)/(-22)). Let h(i) = -16*i**2 + 3 - 22*i**2 - 4*i + q*i**2. Is h(-16) prime?
False
Let h be -9 - (-11 - -4) - 3422/(-1). Let p = h + 5465. Is p a prime number?
False
Is (-60)/(-80)*189324 + 14 composite?
False
Let n(s) = -341*s**3 + 4*s**2 + 7*s + 8. Let p be n(-3). Suppose -6*b - p = -11*b. Suppose 532 - b = -5*i - y, -3*y = 5*i - 1312. Is i a prime number?
True
Suppose -236*y - 192505218 = -269631208 - 254959758. Is y prime?
True
Let v = -50 - -50. Suppose -x - 4*w + 682 = 0, v = 3*x - 4*w + w - 2016. Suppose o + x = 3*o. Is o a composite number?
False
Suppose -5*k = -x + 3*x - 9, 54 = 4*x - 2*k. Let p be 1/(x/(-9) + 1) + 433. Suppose -4*y - p = -m, -2*m + 2*y + y + 880 = 0. Is m a prime number?
False
Let l be (-3 - 45/(-12))/(13/(-52)). Let a(h) = -352*h**3 + 5*h**2 + 3*h + 3. Is a(l) a prime number?
False
Suppose -2*w + 4*w = -474. Let l = -342 + 224. Let p = l - w. Is p composite?
True
Let b be 45/(-105) + 3576/14. Suppose -z + 1298 = -98. Let a = b + z. Is a a composite number?
True
Let i(z) = -8*z**3 + 7*z**2 - 9*z - 22. Let y be i(6). Let c = y - -2319. Is c a composite number?
True
Is 4737200/140 + 3/(-21) composite?
True
Let j(a) = 14790*a + 97. Let w be j(5). Suppose -w - 23364 = -29*q. Is q composite?
False
Let v(j) = 10369*j**3 + j**2 - 7*j - 3. Is v(2) composite?
False
Let y(o) be the third derivative of -o**6/120 - o**5/6 + o**4/6 + 3*o**3/2 - 2*o**2. Let q(w) = -w**3 + w. Let d(t) = 2*q(t) - y(t). Is d(8) a composite number?
False
Let f(a) = 161*a**2 - 21*a + 503. Is f(72) a composite number?
True
Let h = 40 - -84. Let s = h + 67. Is s a prime number?
True
Suppose -d + 26167 + 5172 = 998. Is d a composite number?
False
Let m(i) = -111*i**3 - 2*i**2 + i - 11. Suppose -h + 10 - 4 = -5*r, -h = -4*r - 4. Is m(h) a composite number?
False
Let p(o) be the second derivative of 817*o**6/720 + 3*o**5/10 - 7*o**4/6 - o. Let a(f) be the third derivative of p(f). Is a(11) a prime number?
False
Let y(g) = 36*g**2 + 5*g - 4. Let c be (1/3 + 0)/((-3)/(-27)). Let o be y(c). Let r = -157 + o. Is r composite?
True
Let m = 22 - 19. Le