composite number?
False
Suppose -t = -4, -k - 13 = -4*k + 2*t. Suppose -k = -4*q + 5*y, 3*y = -5*q + 27 - 9. Is 55 + q + (-4)/4 a composite number?
True
Suppose 2*u + 2*d = 2 + 2, d = -4*u + 5. Let b(n) = -2 - 2 - u - 3*n - 3. Is b(-5) a composite number?
False
Let h(k) be the first derivative of -k**4/4 + 7*k**3/3 - 7*k**2/2 + 9*k + 1. Let r be h(6). Is (-1)/r - 16096/(-48) prime?
False
Suppose -41*o + 37610 = -31*o. Is o a prime number?
True
Let m(d) = -d - 4. Let c be m(-4). Let j be c*2*(-2)/4. Suppose 1688 = 4*p - j*p. Is p prime?
False
Suppose -3*k - 13*k + 3728 = 0. Is k a composite number?
False
Let z(s) = -61*s**3 + 2*s**2 - 6. Let f be z(-4). Suppose -i + 3*i - f = -4*l, -3*l = -3*i + 5868. Is i prime?
False
Let f(j) = j**3 + 13*j**2 - 13*j + 12. Suppose 0 = 4*y - 25 + 81. Let q be f(y). Is (-12)/4 - (-38 + q) a prime number?
True
Let l = 944 - 317. Suppose -2*w + 0*w + 500 = 4*q, 5*q + 2*w = l. Is q a prime number?
True
Let d(a) be the first derivative of -57*a**4/4 - 4*a**3/3 - 3*a**2/2 + 11. Is d(-2) prime?
False
Suppose g = -g + 2, -g - 39 = 5*u. Let n = 13 + u. Suppose 2*y + 2*x = 330, -4*x - 458 = -n*y + 331. Is y a prime number?
False
Let v(i) = 15*i**2 + 8*i + 2. Let h(r) = -r**3 + 18*r**2 - 12*r + 14. Let n(l) = -l**2 - 1. Let u(j) = h(j) + 6*n(j). Let g be u(11). Is v(g) a prime number?
True
Is -1*(5 + -14 - 26530) a composite number?
False
Suppose -2*x + 4*z + 32 = 0, 0 = -x + z + 3*z + 24. Suppose -2*c - 2*c = x. Is c/(-6) - 440/(-12) a composite number?
False
Let y = 11 + -11. Suppose -3*b - 1267 = -2*v, y*v + 3*b = 5*v - 3190. Is v a prime number?
True
Let k(r) = -14*r - 4. Let m be k(-3). Let i(p) = 16*p**3 - 4*p**2 + 3*p. Let x be i(1). Suppose 4*z - m = -2*j, -2*z + 40 = -j + x. Is z a composite number?
False
Let k = -43584 - -86833. Is k prime?
False
Suppose -x = -22465 + 4842. Is x prime?
True
Suppose 3*m - g = -2*g - 48, 5*g - 48 = 3*m. Is (44/m + 1)/(1/(-212)) a prime number?
False
Let t be (((-44512)/(-6))/4)/((-3)/(-9)). Suppose -4*k - 1320 = -t. Is k a composite number?
False
Suppose 0 = -85*d + 93*d - 240712. Is d a prime number?
True
Suppose 0 = 5*i + 6*d - 7*d - 1251, 999 = 4*i + d. Let z = i + 691. Is z a prime number?
True
Is 5874/(-4)*(-32)/48 composite?
True
Let k = 12 - 10. Suppose -3*o = -4*o + 4*d + 2071, -k*d = 10. Is o composite?
True
Let b(o) = o**2 - 17*o - 13. Let v be b(18). Suppose -10*n + v*n = -815. Is n a prime number?
True
Suppose 5*u + 1779 = 4*d + 8090, -4*u + 5040 = -d. Let o = u - 672. Is o a prime number?
True
Is (66330 - -154) + (6 - 0) + 1 a prime number?
True
Is ((-432292)/(-84))/((-2)/(-6)) composite?
False
Let c(v) = v**3 - 19*v**2 + 17*v + 21. Let d be c(18). Suppose -3*m + 74 + 101 = p, 171 = d*m + 3*p. Is m a composite number?
False
Let x = 23 - 21. Suppose 0 = x*t + 6, -t = 4*m - 902 - 411. Is m prime?
False
Let h be (-67)/(-5) - (-5)/(25/(-2)). Let i(a) = -a**3 + 16*a**2 + 3*a + 11. Is i(h) a prime number?
True
Let k = 1247 - 112. Is k prime?
False
Suppose -25346 = -2*j + 2*g, -30*g + 25*g - 38023 = -3*j. Is j a composite number?
False
Let q(j) = -j**3 + 6*j**2 - 7*j + 11. Let h be q(5). Let z(w) = 89*w**2. Is z(h) a prime number?
True
Let u = 8 - 118. Is (2 - u/(-4))/((-24)/272) composite?
True
Let a = 101 + 58. Let j = a + -80. Is j prime?
True
Suppose 0 = -5*h - 2*t + 1, 5 + 2 = h - 3*t. Suppose -5*x + p - 6*p = -3240, h = p. Is x composite?
False
Let i = -21149 + 46095. Is i composite?
True
Suppose 0 = 5*b - 15, 5*k - b = -25 + 2. Is (k/(2 + 0))/((-4)/102) prime?
False
Suppose 132*g - 10467 = 129*g. Is g a composite number?
True
Let r(k) = k**2 - 4*k - 10. Let u be r(6). Is ((-17654)/(-6) + 7/(-21))/u a prime number?
True
Let q be -46*((-18)/(-4))/(-3). Suppose -72*y + 68*y = 48. Is q*(y/9 + 2) a composite number?
True
Suppose -12*x = -7*x - 4350. Suppose x = 4*m + 2*m. Is m prime?
False
Let c(m) = 19*m**2 + 5*m - 6. Let d be c(1). Is 12950/12 - 3/d a composite number?
True
Let n(q) = -11*q**2 - 1. Let b be n(-8). Let a = b - -202. Let p = a - -754. Is p a composite number?
False
Is (-2)/(-3) + 1489560/72 a prime number?
False
Suppose 3*x + 3 - 12 = 0. Suppose x*m = 1296 + 1242. Suppose 0 = v + 4*u - 227 - 72, 5*u = 3*v - m. Is v a composite number?
True
Let j(b) = -b**3 + 2*b**2 + 6*b - 8. Let r be j(2). Is 1676/6*((-44)/(-8) - r) a prime number?
True
Suppose 100553 = 13*k + 1324. Suppose 5*f = 7*f - 3*q - k, 5*f - 4*q - 19093 = 0. Is f prime?
True
Let t = -3064 - -5170. Suppose 3*s + s = 5*g + t, -5*s = 2*g - 2649. Is s prime?
False
Let b(z) = -2 - 3*z**2 + 0 + 805*z**3 + 6*z - 803*z**3 - 14*z**2. Is b(11) composite?
True
Let h be (12 + 6)*2/(-4). Let n(z) = 20*z**2 + 3*z - 4. Is n(h) a prime number?
False
Is (16508/(-16))/((-12)/48) prime?
True
Suppose -2*b = 2*x - 2634, 4*b + x = -0*b + 5265. Let f = b - 737. Is f prime?
False
Suppose x - 2*x - 4*p + 573 = 0, -1659 = -3*x + 3*p. Is x a composite number?
False
Suppose -2*i = -2*p + 27239 - 1561, -51374 = -4*p - 5*i. Is p a prime number?
True
Let n(k) = 3*k**2 - k. Let o be n(-1). Suppose -4*a - 15 = -a, 0 = -o*j + 4*a + 944. Let i = -72 + j. Is i a prime number?
False
Let x(z) = -z**2 - 10*z. Let g be x(-10). Let v(f) = -f**2 + f - 2. Let w be v(g). Is w*1*(-595)/10 composite?
True
Is ((-2)/(20/(-3442)))/(11/1265) a composite number?
True
Suppose 2*l - 3*m = -0 + 6, -l - 10 = 5*m. Suppose g = -l*g + 597. Is g composite?
True
Suppose 144*l = 174*l - 833070. Is l prime?
False
Suppose -8*c + 25212 = -10*c. Is c/(-5) - (-3)/(-1 + -14) a composite number?
False
Suppose f - 28206 = -4*y, 16*f - y = 14*f + 56430. Is f prime?
False
Suppose 743*p = 735*p + 528664. Is p a composite number?
False
Suppose 5*a - 682 = 1408. Suppose 0 = 5*f + 5*q, 45 = 4*f - 2*q - 3*q. Suppose f*w - a = 52. Is w a prime number?
False
Suppose 0 = 3*b - 5*n - 15469, 4*n = -5*b + 5*n + 25789. Suppose -26*m - b = -28*m. Is m composite?
False
Is (-397958)/(-18) - (6 - 784/126) a composite number?
False
Let r(y) be the second derivative of 20*y**3/3 + 3*y**2/2 - 26*y. Suppose 0 = f - 2*v + 5*v + 5, 0 = -5*f - 3*v + 11. Is r(f) a prime number?
True
Let x(q) be the third derivative of q**5/60 - 3*q**4/8 - 2*q**3 - 2*q**2. Let v be x(9). Is (-2140)/v + (-12)/9 composite?
True
Let y(v) = 173*v - 679. Is y(9) prime?
False
Let x(u) be the first derivative of -u**3/3 - 13*u**2/2 - 12*u + 4. Let f be x(-12). Suppose f = -q - 2, 0 = -r - q + 143. Is r composite?
True
Let t = -68 + 71. Suppose -4*b + 3*n + 667 = 0, t*b - 338 = -4*n + 131. Is b composite?
False
Suppose 4 = 2*m - 6*m. Is (4 - -3982) + (1 - (-2)/m) prime?
False
Is 57124*(-5 - 126/(-24))*1 prime?
True
Suppose -5*i - 3 = -8. Suppose 0 = -4*u + 3*h + 120 - i, -3*h = -2*u + 67. Is u composite?
True
Let m(p) = 16*p**3 - 2*p**2 - 2*p + 7. Let j be m(3). Let v = 1128 + j. Is v a composite number?
False
Let r(o) be the first derivative of 5*o**4/12 + 5*o**3/6 + o**2/2 + o + 5. Let y(h) be the first derivative of r(h). Is y(-7) composite?
False
Let c(h) = 5*h**2 + 8*h + 24. Let g(r) = 1. Let d(o) = c(o) - 2*g(o). Is d(-16) a prime number?
False
Suppose 0 = -6*a + 2*a - 2*n + 4, 3*n - 12 = 0. Is (-4 + 3 + -68)*a composite?
True
Suppose 8*o - 6 - 18 = 0. Let k be 6/(-21) - 24476/(-14). Suppose -o*g - g = -k. Is g composite?
True
Let f be 9063*4/(7 - 3). Suppose -4*o - f = -34423. Suppose 6*j = -46 + o. Is j prime?
True
Suppose -4*j - 16 = 0, 3*r - 1 = -4*j - 77. Let n = 22 + r. Suppose -54 = -s + 5*i - 11, -4*s + 208 = -n*i. Is s a composite number?
False
Let m = 106 - 6. Suppose 2*f - 210 - m = -4*i, -f + 171 = -2*i. Let k = f + 40. Is k composite?
True
Let k = 69216 + -40345. Is k a prime number?
True
Let z(q) = -52*q + 9. Suppose 0 = 15*m - 14*m + 5. Is z(m) a prime number?
True
Let b be (6/2 - (-95)/10)*-20. Let i(s) = -s - 4. Let y be i(-6). Is y/(-2) + 0 - b a composite number?
True
Let o(q) be the third derivative of -27*q**4/4 - 67*q**3/6 - 2*q**2 - 2*q. Is o(-24) prime?
True
Let c be -2*2*(-3)/4. Suppose c*q - 5*q = -238. Is q a prime number?
False
Suppose f = -3*w + 3215, -16 + 8 = 2*f. Is w composite?
True
Let q(g) = 123*g**2 - 2*g + 16. Is q(7) prime?
True
Is 19972544/288 + (2/(-2))/9 a prime number?
False
Suppose -2*o + 7*o = 4*p + 128, 0 = 2*o + 4*p - 68. Is ((-14)/o)/((-1)/(-2278)*-1) prime?