58) prime?
True
Let t(p) = 556*p + 5. Let i(c) = -c**2 - 11*c - 22. Let k be i(-3). Is t(k) a prime number?
True
Let p(f) = f - 7. Let j be p(4). Is (1 + j)/(12/(-3246)) a composite number?
False
Suppose 415*a = 410*a + 3245. Is a a composite number?
True
Let n(b) = -3 - b + 1 + 2*b + 1. Let m be n(4). Is 166 - m/(3/3) composite?
False
Let y(l) = -l**3 - 7*l**2 + 9*l + 1. Let p be y(-8). Let j(x) = x + 7. Let q be j(p). Suppose -4*g - 232 + 788 = q. Is g a prime number?
True
Let w(t) = -126*t**3 + 3*t**2 + 4. Is w(-3) prime?
True
Let d(h) be the second derivative of -26*h**3/3 - 9*h**2/2 - 3*h. Is d(-5) a composite number?
False
Let f(n) = -n**3 - 6*n**2 - 2*n + 5. Let c = 52 + -80. Let w be 12*(-3 + c/(-12)). Is f(w) prime?
True
Let g(l) = -l**3 + 6*l**2 - 8*l - 3. Let z be g(9). Suppose 0 = -7*v + 853 - 5130. Let x = z - v. Is x composite?
False
Suppose 10*v = 64295 + 67435. Is v a composite number?
True
Let r(n) = -23 + 2*n**3 + 14 + 22*n**2 - 5*n - 7*n**2 - n**3. Is r(-14) a composite number?
False
Let f = 109004 + -67689. Is f a prime number?
False
Suppose 25927 = 9*p + 2*p. Suppose -4*x + 2*z + 2352 = -2*z, -p = -4*x - z. Is x prime?
False
Let t(i) = -143*i - 13. Let p be t(-4). Suppose z = p + 802. Is z a prime number?
True
Let j(n) = -45*n + 22. Let p be 3/(-2)*266/21. Is j(p) prime?
True
Let j(b) = -b**3 + 5*b**2 + 6*b + 1. Let k be j(6). Let u be k + 1244/(-12)*-3. Suppose -5*h + 343 = -u. Is h composite?
False
Let k be -148*(2 + (-87)/12). Suppose -6 + 1 = 5*y, 2*c - 3*y = k. Suppose c = 5*m + 2*d + 52, -3*m + d = -212. Is m prime?
False
Let v(z) = z - z - 1 + 2 + 7*z. Let l be v(12). Let y = -59 + l. Is y prime?
False
Let t = 11 - 11. Suppose t = -4*u + 3*u + 14. Is u composite?
True
Suppose 105*t + 2330 = 106*t - r, 0 = -2*r + 6. Is t a prime number?
True
Suppose -5 = -4*p + 3. Suppose 3*b + 5*r - 608 = 0, p*b - 3*b = -2*r - 221. Suppose 4*n + b = 5*n. Is n prime?
True
Let s(k) = -49*k + 10. Let q be 0/1*(-5 + 4). Suppose -10 + 1 = 2*c + 5*u, -2*u + 2 = q. Is s(c) a prime number?
True
Suppose -3*y - 14 = -5*s, -23 = -5*s + 5*y - 13. Suppose 4*j = -3*u + 1131, 2*j - 7*j = u - 388. Is (s + -4 + 1)*u a composite number?
False
Let p(w) = -91*w - 403. Is p(-6) a prime number?
False
Let q(p) = -1318*p - 11. Is q(-6) composite?
True
Suppose -15*d + 207830 = -128485. Is d prime?
False
Let l(u) = u**3 + 25*u**2 - 17*u + 3. Is l(-16) a prime number?
True
Let y(x) = 74*x + 1. Let j(n) = -n + 4. Let q = -6 - -8. Let c be j(q). Is y(c) composite?
False
Suppose 0*v + 74855 = 5*v. Is v composite?
True
Let z(a) = -17*a**3 - a**2 - 5*a + 1. Let o be z(5). Let h = 61 + -110. Is 14/h + o/(-14) prime?
False
Let m(w) = 32*w - 13. Suppose 24*o + 14 = 26*o. Is m(o) a composite number?
False
Let c(x) = 2312*x**2 - 3*x + 9. Let h(p) = 1156*p**2 - p + 4. Let i(j) = -2*c(j) + 5*h(j). Is i(-1) a composite number?
True
Let w(c) = -2*c**3 - 6*c**2 - 2*c - 4. Let d be w(-3). Suppose -d*m + 8936 = 6*m. Is m prime?
True
Let v be 111/39 + 2/13. Suppose 0 = -2*u, v*h - 2511 = -5*u + 942. Is h a composite number?
False
Suppose 20 = -5*i, 0 = -5*h - 5*i - 478 + 3163. Is h a prime number?
True
Let l(m) = -17*m - 8. Let q = -64 + 96. Let t = 27 - q. Is l(t) prime?
False
Is (-3 - 46/(-16)) + 40498/16 composite?
False
Suppose -2*a + 0*a - 4 = 0. Let o = 1 + 0. Is (31/a)/(o/(-4)) composite?
True
Is ((-4)/((-24)/20991))/(2/4) prime?
True
Suppose 3*t - 861 = 10*t. Is (-1)/4 - t/12 a prime number?
False
Let w = 1326 + -607. Is w a prime number?
True
Suppose -21082 = -37*n + 38007. Is n a prime number?
True
Let v = -76 + 1. Let r = v - -114. Is r prime?
False
Let q(f) = 3*f - 3. Let h be q(-3). Is (-1 - 3248/h)*3 a prime number?
True
Suppose -2*j = 2*j - 1592. Suppose -5*a + j = -177. Is a a composite number?
True
Let j(k) = -176*k - 2. Let p be j(3). Let r = p + 765. Suppose -u = -2*u + r. Is u composite?
True
Let p(s) be the second derivative of 37*s**3/6 + 7*s**2/2 - 11*s. Is p(12) composite?
True
Let u = -2244 + 4186. Is u a composite number?
True
Let u = 8710 + 2193. Is u prime?
True
Suppose -3319 = -2*y - 3*b + 4594, -b = -4*y + 15791. Let j = -2106 + y. Is j a prime number?
False
Is 44/(-66) - (-92885)/3 a prime number?
False
Let h(d) = 19*d**3 - 6*d**2 + 8*d - 11. Let x be h(6). Suppose -1562 = -3*o + x. Is o a composite number?
True
Let y be (-61)/7 - -2 - (-30)/(-105). Let o(i) be the third derivative of 11*i**5/60 - i**4/6 + 2*i**3/3 + 2*i**2. Is o(y) composite?
False
Let p(o) = 2*o**2 + 5*o + 4. Let z be p(-4). Suppose z*x - 1089 = 7*x. Is x a composite number?
True
Let u be 2*(0 + -2)*1/(-2). Suppose 0 = -5*k - u*h + 425, -5*h + 600 - 175 = 5*k. Is k a prime number?
False
Let f = -64 - -32. Is (-137224)/f + ((-18)/8)/(-3) prime?
True
Let m(t) = 5*t**2 + 3*t - 3. Let u be m(1). Let a be (-2)/(-6)*3 + -1. Suppose a*i + u*i = 1315. Is i a composite number?
False
Is 17*1 + 13/((-130)/40) a prime number?
True
Is (2/3)/(45/209115) prime?
False
Let n(t) = t**2 + 16*t + 12. Let l be n(-15). Let w be 10*(-2 - -3) + l. Let p(o) = 58*o + 9. Is p(w) composite?
True
Is 474/(-15)*((-10770)/12)/1 composite?
True
Let n be -1*300 - -1*2. Let i(d) = -d**2 - 13*d + 33. Let w be i(-20). Let y = w - n. Is y a prime number?
True
Let g(i) = -6*i**2 + 25*i - 108. Let n be g(6). Let z = 307 + 360. Let k = z + n. Is k a prime number?
False
Let x = -91 + 136. Is 2/(-9) + 2215/x prime?
False
Let c(s) = -s**3 + s**2 + 10*s + 9. Let f be c(-7). Suppose -f + 1210 = 3*i. Is i composite?
False
Suppose 0*z = -2*z + 10. Suppose -670 = -z*i + 2400. Is i composite?
True
Let z(q) = -63*q**3 + 2*q**2 - 2. Let l be z(-2). Suppose -5*x = 2*p + 3*p - l, p = -3*x + 102. Suppose b + 2*b = p. Is b prime?
False
Suppose 3*c = 0, -c = 3*f + 3*c - 366729. Is f composite?
True
Let t(h) = 20*h + 9*h**2 - 35*h - 21 - 9 + 3. Is t(-13) prime?
False
Let p(u) = -10*u**2 - 2*u + 13. Let o(b) = 8*b**2 + b - 4. Let j(h) = -h**2 - 1. Let x(g) = 3*j(g) + o(g). Let y(z) = -6*p(z) - 11*x(z). Is y(4) a prime number?
True
Let p(z) = z**2 + 18*z + 3. Let d be p(-18). Suppose -789 = d*f - 6*f. Is f composite?
False
Suppose 6*x = 4*x - h + 9661, 4836 = x - 5*h. Is x a composite number?
False
Suppose 0 = -l, -h + 1 = l - 0. Let a be (1/2)/(h/(-24)). Is (-1)/4 - 171/a prime?
False
Suppose 0 = 2*c + 5*w + 9, 0 = 2*c + 2*c + 4*w + 24. Let d = -4 - c. Suppose -d*t + 2*v + 977 = 0, 0*v + 1631 = 5*t - 4*v. Is t a composite number?
True
Suppose -36*p - 373238 + 1922426 = 0. Is p prime?
False
Suppose -14*l - n = -17*l + 12981, -2*n + 21635 = 5*l. Is l prime?
True
Let t(o) be the third derivative of o**5/4 + 7*o**4/24 + 2*o**3/3 + 4*o**2. Let k be t(-5). Suppose 0 = 4*b + 3*p - k, -2*b + 199 = 2*p + 29. Is b composite?
False
Let w be ((-2)/3)/(2 - 10/6). Is 0 + 890 + w + (-2)/(-2) composite?
True
Let y be (-66)/(-15) + (-4)/(20/(-3)). Suppose 3*s - y*s - 1199 = -l, -2*s + 4806 = 4*l. Is l a prime number?
True
Suppose -h + 6246 = 5*g, 3*g - 6234 = -2*g - 4*h. Suppose 67 + g = 3*a. Is a composite?
False
Is (3/((-18)/790))/(17/(-51)) composite?
True
Suppose 0 = -3*f - 5*n + 679 + 10787, 2*n + 15262 = 4*f. Is f a prime number?
False
Let y = -2916 + 4231. Is (-2)/(2628/y - 2) prime?
False
Suppose 0 = 23*r - 25*r - g + 6739, -4*r = -4*g - 13460. Suppose -2*b = -3*n - 22, -3*n + 3 = 3*b - 0. Suppose -b*y = -r + 1003. Is y composite?
True
Let k(g) = 733*g + 10. Is k(27) a prime number?
True
Suppose -3319 = -f + 4*m + 3650, f - m - 6981 = 0. Suppose 1588 = -3*l + f. Is l a prime number?
False
Suppose -104245 = 136*m - 141*m. Is m a prime number?
True
Let l = -11 - -10. Let w = l + -3. Is -1 + -1 + 197 + w composite?
False
Suppose 4*h + 336 = 2*y, -6*h = -2*h - 8. Suppose -379 = -5*g + 2*a, -3*g - a + 48 + 175 = 0. Let w = y + g. Is w prime?
False
Let f be 4 - 3 - (1 + -1579)/2. Is f/(-15)*3/(-2) a prime number?
True
Is 2/5 + 57018/30 a composite number?
False
Let w be (-9434)/12 + (-4)/(-24). Let c = 1165 + w. Is c a composite number?
False
Is (-23515)/(-7) + (198/42 - 5) prime?
True
Let p(a) = 2*a - 7. Let u be p(12). Let h(x) = -x**3 + 18*x**2 - 11*x + 25. Is h(u) composite?
False
Let s(f) = -837*f - 475. Is s(-6) prime?
True
Let z be (20/(-4) - -2) + 7. Suppose 5*f + 0*f + 3017 = 2*w, -w = -z*f - 1507. Is w prime?
True
Suppose 4*z = 12, 0*g