 composite?
False
Let k(f) = -19*f**3 + 6*f**2 + 34*f + 103. Is k(-20) prime?
False
Let i(t) = 2*t**3 + 9*t**2 + 7*t - 18. Let f be i(12). Let w be (f/(-44))/(-3*(-2)/(-304)). Let n = -1703 + w. Is n a prime number?
False
Let y(b) = -b**3 + 25*b**2 - b + 23. Let j be y(25). Is (-9142)/(-3) - j/(4 + -10) a composite number?
True
Let h = 473 + 2147. Let u = h - 1223. Is u composite?
True
Suppose -5*h - 10 = -4*x, -2 = -4*h + 8*h - 2*x. Suppose 0 = 4*j + 4*g - 12, -3*j - h = g - 7. Is 78/(-5*((-4)/10)/j) a composite number?
True
Let n be 1/5 + 1 + 252/(-10). Is 3 - 272/n*1644 a prime number?
False
Let h = 24974 + -12967. Is h a prime number?
True
Is 957066/5 + (-209)/1045 a prime number?
True
Suppose -f + 95086 = 2*x, 168748 = 3*x + f + 26119. Is x prime?
True
Let j(n) = n**2 - 19*n + 81. Let x be j(13). Suppose -3*g + 4*h = -20837, 2*h - 5*h - 20838 = -x*g. Is g a composite number?
False
Suppose 0 = -338*t + 336*t - 5*u + 67373, 2*t - 3*u - 67349 = 0. Is t a prime number?
True
Suppose 145*z - 3*t = 144*z + 539188, 5*t = -5. Is z a composite number?
True
Suppose -2*d = 3*l - 6*d - 25938, -5*d = 0. Suppose 7*h = 3*h - 2*a + l, 0 = -h + 3*a + 2144. Is h a composite number?
True
Let q(c) be the third derivative of -c**5/60 - 11*c**4/12 - 2*c**3 + 14*c**2. Let f be q(-21). Suppose 4*d - 809 = f*h - 8*h, 0 = -2*d - h + 397. Is d prime?
False
Suppose 48 = 4*v + 2*a + 38, -4*a + 13 = v. Let f(u) = 936*u**2 + 4*u - 3. Is f(v) a prime number?
True
Let t be (4 + 1*-1)*-1. Suppose 1629*z = 1643*z + 27286. Is (z/t)/(1/3) a prime number?
True
Let a(n) = 2*n**2 - 18*n - 29. Let p = -64 - -84. Suppose 0 = -70*y + 69*y + p. Is a(y) a prime number?
False
Let s(a) = 5*a**3 + 2*a**2 + 10*a - 15. Let k(g) = g**3 + g**2 + 2*g - 3. Let r(j) = -11*k(j) + 2*s(j). Is r(-17) composite?
False
Let b = 53 + -44. Suppose b*p = 8*p + 54. Let l = p + -15. Is l a composite number?
True
Suppose 1267861 = 10*q + 273171. Is q a composite number?
False
Let d = 23802 - -640907. Is d a prime number?
False
Suppose 5*h + 5*t + 0*t - 26710 = 0, 5*t - 10 = 0. Let o = h - -466. Is o prime?
False
Let v = -112869 - -162496. Is v a composite number?
False
Let p(b) = -28*b**3 - 2*b**2 - 2*b + 1. Let v(d) = -d**3 + 5*d**2 - 2*d + 8. Let g(a) = 2*a + 41. Let r be g(-18). Let f be v(r). Is p(f) composite?
True
Suppose 559469 = 4*y - 704543. Is y composite?
False
Let p(m) = m**3 + 8*m**2 + 7*m. Let n be p(-8). Let l = -55 + n. Let f = l - -164. Is f a prime number?
True
Is (-378363)/(-116)*(-568)/(-6) prime?
False
Is (-13)/3*(8 + -24185)*1 composite?
True
Let i = -8213 + 14166. Is i a prime number?
True
Suppose 3*j - 4*b - 375761 = -2*j, 2*b - 375737 = -5*j. Is j a prime number?
True
Suppose -3*d = f - 38, -2*d + 5*f + 12 = 3*f. Suppose -24382 = -d*j + 819. Suppose -2*c = 2*m - 4566, -m + c = -0*c - j. Is m composite?
False
Let s be ((-4)/2)/((-5)/(-5 + 10)). Let q be (9810/(-20))/(s/(-48)). Suppose -4*o + 2*f - 6*f = -q, 4*o - 2*f = 11748. Is o composite?
False
Suppose 2*c - 34 = 4*q, 7*c = -2*q + 12*c - 5. Is ((-2)/q)/((-44)/(-7894700)) a composite number?
True
Let b = 261383 + -149436. Is b composite?
True
Let r(d) = 1579*d**2 - 20*d - 1. Let a be r(-1). Let c = 3601 + a. Is c a prime number?
False
Suppose -8 = -5*q - i + 4, -2*i - 18 = -4*q. Suppose q*x - 3*h = 12, 0*x - h = 4*x - 1. Is (4/12)/x*357 a composite number?
True
Let a(p) = 15*p**2 - 14*p + 14. Let h be a(-14). Let u = -31 - -46. Is h/u + (1 - 0) composite?
False
Suppose -11*r - 271588 + 1285983 = -2422566. Is r a composite number?
False
Let n(c) be the second derivative of 101*c**5/120 - 9*c**4/4 + 25*c**3/3 - 25*c. Let k(z) be the second derivative of n(z). Is k(5) a composite number?
True
Suppose -4*y + 2*y + 3 = -d, 3*y - 3*d + 3 = 0. Suppose -y*r = 4*n - 8524 - 7452, -4*n + 20 = 0. Is r a composite number?
False
Let v(g) = -22*g**2 + 0*g**3 + 15*g**2 - 4 - 7*g + g**3. Let r be v(8). Suppose 0 = -r*w + 1397 + 767. Is w a prime number?
True
Let y(w) = 348*w + 17. Let u be y(-2). Let b = 3317 + u. Is b a prime number?
False
Suppose 0*v + 3*d + 3441 = -5*v, -5*d + 3425 = -5*v. Suppose 0 = 4*y - 394 + 2090. Let z = y - v. Is z composite?
False
Let n(z) = z**3 + 11*z**2 - 15*z + 13. Is n(-7) prime?
False
Let g = -371160 - -610769. Is g composite?
True
Let p(o) = 1938*o**2 - 12*o + 5. Let x(g) = -g**2 - 2*g + 1. Let b(t) = p(t) - 6*x(t). Is b(1) a composite number?
True
Suppose 88*s - 223373 = -69*s + 4190368. Is s a prime number?
False
Let u = 595 - 312. Suppose o - 4 = 0, -88 = n - 3*o + 58. Let p = n + u. Is p composite?
False
Let s(p) = 912*p**2 - 3*p - 2. Let u be s(1). Let j = u - 184. Is j prime?
False
Let p(t) = -t**3 - 14*t**2 + 14*t + 160. Let r be p(-17). Let i = r + -332. Is i prime?
True
Let s(b) = 44*b**3 - 6*b + 11. Let r be 2 + (-2 - -3)*1. Is s(r) a composite number?
False
Suppose -67288 = 5*q + h - 293206, 0 = 4*h - 12. Is q a composite number?
True
Suppose 29*s = 28*s. Suppose s = 2*z - 3*n + 8, -3*z = 2*z - 3*n + 2. Suppose 1295 = -p + 2*p - z*q, -2*q - 5174 = -4*p. Is p prime?
False
Let o = -499 - -487. Is (-382033)/(-76) - 3/o composite?
True
Let w(v) be the second derivative of 7*v**4/12 + 5*v**3 - v**2 + 7*v. Suppose -2*u - 26 = 4*p, -8*p - 9 = -5*p. Is w(u) a composite number?
False
Let d(a) = -a**3 - 16*a**2 + 13*a - 7. Let s = 285 - 304. Is d(s) a prime number?
True
Let p(w) = 9039*w**2 - 97*w + 17. Is p(3) prime?
True
Let d(s) = -24244*s - 37. Let j be d(-1). Suppose 121432 = 25*w + j. Is w a prime number?
True
Let s(x) = x**3 + 10*x**2 - 38*x + 15. Let h be s(-13). Suppose 0 = 7*q - 2*q + 3*w - 58498, h*w + 46794 = 4*q. Is q composite?
False
Suppose 0 = -230*v + 208*v + 1108162. Is v a prime number?
False
Suppose -2044893 = -81*m + 1464918. Is m prime?
True
Suppose 1035148 - 2541554 = -22*b. Is b composite?
False
Suppose 3*w - 4*w + f = -4, -f = -4*w + 10. Suppose 2*m + 4*t - 7701 = 2389, w*m - 3*t = 10125. Suppose 4*u = 5*k - 7727, 1111 + m = 4*k + 2*u. Is k composite?
False
Is 970396863/4338 + (11/(-6) - -2) composite?
False
Let i be ((-2512)/20)/(((-28)/(-20))/7). Is (i/(-16))/((-1)/(-76)) a composite number?
True
Let f(n) be the second derivative of n**4/12 - n**3/6 - n**2 + 6*n. Let o be f(-1). Suppose -z + 459 + 214 = o. Is z a composite number?
False
Suppose -4 = 2*l, 3*v - 4*l - 1240067 = -0*v. Is v composite?
False
Let z(y) = 7104*y - 75. Let o be z(-2). Let k = 22202 + o. Is k prime?
True
Suppose -3*h + 1345555 = g, -448505 = -128*h + 127*h - 7*g. Is h composite?
False
Suppose -2*i - 74 = 3*r, 4*r + 98 = -4*i + 2*i. Is 2157*(-2)/r*28 composite?
True
Let d(v) = -56*v**3 - 2*v**2 - 15*v - 17. Let r = 252 + -258. Is d(r) composite?
False
Let o(c) = c**2 + 4*c. Let b be o(-4). Suppose -16*f + 11*f - 10210 = b. Let u = f - -3513. Is u prime?
True
Let m(i) = 2*i**2 - 13*i - 41. Let x be m(9). Suppose -3*s + 2722 = 3*o - 1814, 3*o - 4571 = x*s. Is o prime?
False
Let t be (-8 - 297)*(24 + -5). Is -7 - t - -3*(0 - -1) prime?
True
Let n(t) = 3*t - 11. Let x be n(3). Let b be ((60/(-21))/(-5))/(x/(-14)). Suppose -4*w + b*h - 3*h + 141 = 0, -w + 34 = h. Is w composite?
True
Let y be ((-25)/((-50)/(-48)))/((-2)/7355). Suppose 25*a = 300685 - y. Is a a prime number?
False
Let h(b) = 44*b**2 - 101*b + 167. Is h(-48) a prime number?
True
Suppose 4*v - 15 = 5*o - 83, 0 = -4*o + v + 50. Suppose -2647 = 11*l - o*l. Is l a prime number?
True
Let l(u) = 2*u**3 - 41*u**2 - 51*u - 241. Is l(33) composite?
False
Let c(y) = 156*y**2 + 221*y + 25. Is c(-28) prime?
True
Is 93507 + 11 + (-12 - (1 + -6)) composite?
True
Suppose 0 = w - 66044 - 32237. Is w a prime number?
False
Suppose 3*v - 8*v + 30 = 0. Suppose -11772 = -v*t + 2*t. Let p = t + -1250. Is p prime?
True
Let y = -5536 + 12280. Suppose -y = 6*l - 33246. Is l prime?
False
Let o(l) = 33*l**2 + 6*l + 4. Let h be ((-8)/10)/((-2)/20). Let x be o(h). Suppose -x = j - 5*j. Is j prime?
True
Let f(j) = j**2 + 2*j + 2. Let h(c) = -c**2 + 15*c - 2. Let w be h(15). Let y be f(w). Is ((-5)/y)/((-7)/4718) composite?
True
Let s(i) = 1911*i**2 + 6*i + 19. Let r be s(-2). Let v = r + -3788. Is v a prime number?
True
Suppose 1032*a = 6*i + 1037*a - 9183026, -5*a + 3060982 = 2*i. Is i composite?
False
Let r = -862 + 867. Let x = -729 - -2405. Suppose -r*j + x = -j. Is j a com