 -p. Is l prime?
True
Let j(a) = a**2 - 57. Let y be j(0). Let c(s) = -s**3 + 8*s**2 - 15*s - 17. Let l be c(6). Let o = l - y. Is o composite?
True
Is (-1451 - -22)*(0 + -3) a prime number?
False
Let v(t) = t**2 + 9*t - 11. Let k be v(-10). Let q be (k - -28)*71/3. Let g = q + -428. Is g composite?
False
Let b(j) = j**3 + 8*j**2 - 4*j + 7. Let o be b(-8). Is (-7)/(91/2) + 52929/o composite?
True
Suppose 0 = -33*c + 26*c + 35. Suppose 6*q - 3*s = 7*q - 676, 0 = c*q - 5*s - 3480. Is q prime?
True
Let r = -31 + 31. Let l be 1*r/(1 + -3). Suppose l = 10*y - 1277 - 503. Is y a prime number?
False
Let a(m) = 2*m**3 + 15*m**2 + 5*m - 9. Let h be a(-7). Suppose r = -h*v + 465, 4*v - 1435 = -3*r - v. Is r prime?
False
Let s = 48 + -44. Suppose s*i - 2*a = 116, 3*i + 0*i = -a + 97. Is i a prime number?
True
Suppose -6*y + y = 4*z - 65, 0 = -2*y + 4*z - 2. Suppose -y*t + 17*t = 5464. Is t prime?
True
Let i(t) = -1. Suppose 2*k + 3 = 3*r, -r + 15 = 3*r + k. Let y(l) = 11*l - 1. Let a(o) = r*i(o) + y(o). Is a(5) composite?
True
Suppose j + 58598 = 3*q, 65*q = 62*q + 2*j + 58603. Is q a composite number?
False
Let c(l) be the first derivative of 3*l**3 - 5*l + 1 - 1/4*l**4 - 3*l**2. Is c(-7) prime?
True
Suppose -993 = -5*g - 4*o + 1122, 2*g + 4*o - 858 = 0. Is g prime?
True
Let u = -44 + 19. Let g = u - -24. Let n(i) = -289*i + 2. Is n(g) a prime number?
False
Suppose -2*h = -h - 587. Is h composite?
False
Let v = 537 - 259. Suppose 136 + v = 6*x. Is x a composite number?
True
Let j(p) = -5*p + 91. Let c(u) be the third derivative of u**4/6 - 15*u**3 + 4*u**2. Let q(r) = -4*c(r) - 3*j(r). Is q(0) prime?
False
Let o(x) = -122*x + 864. Is o(5) a composite number?
True
Let s(j) = 98*j - 8. Let b be s(-3). Let n = b + 573. Is n a prime number?
True
Let g(n) = -34156*n - 2. Let c = 0 + 1. Let s be g(c). Is (-4)/(-10) + s/(-30) a composite number?
True
Suppose 2*i = -3*a - 1, 8*i - 4*i + 5*a = 3. Suppose -563 = -i*p + 8964. Is p a prime number?
True
Suppose 20 = -2*g + 7*g. Suppose g*p - 10 = 14. Suppose -3717 = -p*a + 1617. Is a composite?
True
Is 34962 - 3/(-6)*2 a composite number?
False
Let w(z) = z**3 + 44*z**2 + 37*z - 35. Is w(-39) a composite number?
True
Let p(m) = -m**3 + 6*m**2 - 3*m + 21. Let h be p(7). Is (-33845)/h + (-4)/(-14) composite?
False
Let i(k) = k + 445. Let w(d) = -d**3 + 6*d**2 - 6*d + 5. Let n be w(5). Is i(n) composite?
True
Suppose 3*r = 5*i - 103960, 0 = 2*i - 2*r + 3*r - 41573. Is i prime?
True
Suppose 4*q - 87129 = x, -31*x + 21766 = q - 28*x. Is q a prime number?
False
Let v(m) = m**2 + m + 1. Let p(z) = -5*z**2 - 4*z + 39. Let h(d) = p(d) + 4*v(d). Is h(0) prime?
True
Let m(a) = a**3 - 3*a**2 + 3*a. Let l be m(2). Suppose b - 10 = 13. Suppose l*k = -w + 4*w + b, 0 = 4*k - 3*w - 37. Is k composite?
False
Suppose -3*y + 28 - 10 = 0. Suppose 2*r - 8 = y*r, -4*k + r = -6830. Is k a composite number?
True
Suppose -155854 = -17*u + 31945. Is u a composite number?
False
Suppose 30*k - 42*k + 43116 = 0. Is k prime?
True
Let c(k) = 100*k**2 - 13*k + 12. Let h be c(13). Suppose -2*a + h = a. Is a a composite number?
False
Let r(h) = -19*h + 20. Let t(y) = -y**2 + 20*y - 21. Let l(u) = -5*r(u) - 4*t(u). Is l(9) a composite number?
False
Let z be (1 - 3 - -1) + 194. Let i be (z + -1)/2 - 0. Suppose i - 404 = -4*v. Is v prime?
False
Suppose 2*o - 4*c = -864, o = -2*c - 2*c - 426. Let h = -193 - o. Is h composite?
True
Let m = 157727 - 106470. Is m a composite number?
False
Let s be 34/(4/6*1/(-2)). Let z = 395 + s. Is z prime?
True
Suppose 10*l - 16524 - 7606 = 0. Is l prime?
False
Let q(x) = x**3 + 32*x**2 - 8*x + 59. Let y(t) = -t**3 - 48*t**2 + 12*t - 88. Let z(w) = 7*q(w) + 5*y(w). Is z(11) prime?
True
Suppose -5*z + 41570 = 5*v, 2*z + 8 - 6 = 0. Is v a prime number?
False
Let a(m) be the third derivative of m**5/60 - 5*m**4/12 - m**3/6 + 5*m**2. Let v be a(10). Is v/(4/8) + 179 a composite number?
True
Let x(v) = 222*v**2 - 30*v + 71. Is x(11) composite?
True
Let w = 40150 + -19737. Is w a composite number?
True
Let x = -11483 - -22610. Is x a prime number?
False
Let t(r) = 5*r**3 - 10*r**2 + 8*r + 10. Let u be t(7). Suppose 5*m = 6*m - u. Is m prime?
True
Let i(a) = 7*a**2 + 19*a + 15. Let c(q) = 3*q**2 + 10*q + 8. Let n(t) = -7*c(t) + 4*i(t). Is n(-5) composite?
False
Suppose 21*g - 9*g = 7368. Is g a prime number?
False
Suppose -27702925 = -103*m - 6750974. Is m prime?
True
Is (-1 + 3)*-2 + 557 prime?
False
Let l = -14907 - -23086. Is l a prime number?
True
Let h(c) = 86*c**2 + 20*c - 9. Is h(15) a composite number?
True
Suppose -27*k = 55*k - 12270398. Is k prime?
False
Suppose -13*g + 17*g - 44 = 0. Suppose 0 = -4*d + g*d - 35357. Is d prime?
True
Let z(a) be the third derivative of a**6/10 - a**5/20 + 5*a**4/24 + 5*a**3/6 - 26*a**2. Is z(3) prime?
True
Let w(a) = -a**3 - 3*a**2 - 18*a - 8. Let d be w(-13). Let c = 3087 - d. Is c a composite number?
False
Let u be (-9)/(-2)*8/4. Suppose u*o - 7*o - 254 = 0. Is o prime?
True
Suppose -5*k + 10 = -5*c - 0*c, 0 = -3*k. Is c/3*(-1587)/2 composite?
True
Is ((-223437)/(-355))/(3/25) a composite number?
True
Suppose -5*z + 7*z = m + 4039, -4029 = -2*z - m. Is z a composite number?
False
Let t = -10762 - -43511. Is t a composite number?
False
Suppose 5*s = 3706 - 636. Is s prime?
False
Let x = -5130 + 20649. Let d = x - 824. Is d composite?
True
Suppose 0*s + s - 1181 = -2*v, -4*v + 2371 = -s. Let k(q) = q**3 + 14*q**2 + 16*q + 4. Let g be k(-13). Let r = v + g. Is r a composite number?
False
Suppose -2*k - 2059 = -p, 44*k = 2*p + 48*k - 4094. Is p a prime number?
True
Let h = 249 + 336. Let u = -362 + h. Is u a composite number?
False
Is 3/((-159711)/(-13309) - 12) composite?
False
Let n(g) = -25*g**2 - g + 8. Let j be n(7). Let x = -740 - j. Let b = -245 + x. Is b composite?
False
Let g = -178 + 575. Is g composite?
False
Let y(g) = 3*g + 12. Let l be y(-3). Suppose 0 = -l*k - 2 - 1, 2*h - 443 = 5*k. Is h prime?
False
Suppose 0 = p + 4*p. Suppose p = 2*n + 8*n - 2870. Is n a composite number?
True
Suppose -3*b - 5*u = 14 + 1, -u - 3 = -3*b. Suppose -4*c = b, -281 + 4216 = 5*t - 2*c. Is t prime?
True
Suppose 0 = -4*f + 2*u - u + 353, -f - 5*u + 104 = 0. Let s = 180 - f. Is s a prime number?
False
Let u be (15/6)/5*6. Suppose 0 = 5*m - u*j - 235, -m + j = -6*m + 235. Is m a composite number?
False
Suppose 11*x - 117402 = -19117. Is x prime?
False
Let v(j) = -3*j - 3. Let f(x) = 10*x + 8. Let p(t) = 2*f(t) + 7*v(t). Let l be p(-9). Is (-934)/(-6) + l/(-6) a prime number?
False
Suppose 0 = 3*k + k - 32. Suppose -k*j = -4*j - 36. Suppose 0 = -3*w + j*w - 2802. Is w a composite number?
False
Let v(b) = -b**2 + 3*b + 3. Let i be v(3). Let h(m) = -1 + 177*m + i - 41*m - 1. Is h(3) a prime number?
True
Suppose -3*f + 851 = -2554. Is f a prime number?
False
Suppose 3*k - 4*w = 4, k - 5*w - 5 = -k. Let q be (3 - 3) + (8 - k). Let x = 15 + q. Is x composite?
False
Let w(b) = 29*b**2 + 97*b + 58. Is w(-28) composite?
True
Suppose n - 4*u = 1347, -4*n = -4*u - 1113 - 4263. Is n a prime number?
False
Let y(w) = 4*w**3 + 2*w**2 - w - 3. Let r = 8 - 5. Let v be y(r). Suppose -5*i = -755 + v. Is i a composite number?
False
Suppose -4*k - 10 = 4*u - 2, -5*k = 2*u - 5. Suppose 5*x = -i - 6018, i + 3610 = -k*x - 0*i. Is (-3)/9*-3 - x prime?
False
Suppose 6*y + 75356 = 10*y. Is y a composite number?
False
Let i(g) = 780*g - 2. Let m be i(4). Suppose -4*r + 3106 = -y + 6*y, -4*r + m = -y. Is r prime?
False
Let g(v) = -v**3 + 5*v**2 + v - 2. Let h be g(5). Let d(j) = 27*j**2 - 2*j + 3. Let o be d(h). Suppose -465 = -3*t + o. Is t prime?
False
Let u(l) = -l**2 + 24*l - 35. Let q be u(22). Suppose 4*p + 1805 = q*p. Is p composite?
True
Let w be (8 + -8)/(4/(-2)). Suppose r = f - 381, w = 3*f + r + 2*r - 1155. Let m = f - 226. Is m a composite number?
False
Let r(c) = 24437*c**2 + 15*c + 17. Is r(-1) composite?
False
Let p(b) = -23*b + 7*b**2 + 22*b + 0*b**2. Let n be p(1). Let l(f) = -f**3 + 8*f**2 - 2*f - 7. Is l(n) composite?
False
Suppose 12*k = -1905 + 3321. Is k a composite number?
True
Let a = 6363 + 1968. Is a prime?
False
Is 1*(191 - -2 - 2) prime?
True
Is (-142144)/(-10) + 54/90 a composite number?
True
Suppose 2*s - 4*f + 16 = 0, 2*s - f - 2*f + 12 = 0. Suppose 5*o = 5*k + 35, s*k + 3*k = -2*o - 6. 