 u. Suppose u*s - 15 - 133 = 0. Is s prime?
True
Let i = 115 - 113. Let o(c) = 330*c**2 + c. Is o(i) composite?
True
Suppose 14*z + h = 16*z - 4908, h = -2*z + 4904. Is z prime?
False
Let v = -31 - -19. Is 4028/16 - -3*3/v a prime number?
True
Is ((-16)/5)/(-4) + (-19464)/(-120) a composite number?
False
Let o(i) = -10*i**2 - 293*i - 69. Is o(-28) a composite number?
True
Let i be ((-334)/(-3))/((-10)/15). Let n = 418 + i. Is n a prime number?
True
Suppose 41*j - 4*y - 105126 = 39*j, 4*y - 52533 = -j. Is j a composite number?
False
Suppose 2*p = 4*p - 5*b - 2650, 0 = -2*p - 3*b + 2618. Is p composite?
True
Let a be (2/2)/(2/(-1 - 1)). Is (-148 + 1/a)*-1 a composite number?
False
Let s(m) = -m**2 - m. Let h be s(-1). Suppose 2 + h = c. Suppose -d - 5*r + 35 = 0, 4*d + c*r - 80 = 132. Is d a composite number?
True
Suppose -4*t - 192663 = -15*z + 12*z, -4*z + 256886 = -6*t. Is z a prime number?
True
Let m = -452 + 2479. Is m a composite number?
False
Let o(s) = 2*s**2 + 8*s - 20. Let q(w) = -13*w - 17. Let f be q(-2). Is o(f) a prime number?
False
Let d = 28 + -15. Suppose 0 = 20*o - d*o - 29897. Is o a prime number?
True
Let v be (-2)/3 + 58/6. Suppose v*w = 2*w + 3787. Is w prime?
True
Let d(m) = -m**3 + 10*m**2 - 11*m. Let j be d(9). Is 1 - ((-14)/(-63) + 3478/j) a composite number?
True
Let d(f) = -1349*f - 62. Is d(-9) prime?
False
Let j(z) = 268*z + 9. Let m be j(7). Suppose -4*d = -5*f + m, -f = d + 4*d - 348. Is f a prime number?
True
Is (16682/(-114))/((-1)/15) composite?
True
Let o(t) = -3*t**2 + 2*t + 1. Let p be o(2). Let g(r) = -r - 10. Let m be g(p). Is (-2)/m + (-258)/(-18) a prime number?
False
Suppose -10*n + 6*n = -1480. Suppose -3*h + 223 = -2*a - 24, -5*h = 5*a - n. Is h a composite number?
False
Let j(y) = 0 + 317*y + 0 - 1 + 3. Is j(1) a composite number?
True
Let d(c) = 0 + 5 - 3 - 2*c**2 + c**3 - c. Let h be d(3). Let u(p) = p**3 - 3*p**2 - 2*p + 10. Is u(h) prime?
False
Suppose -6*y = -9*y + 44715. Is y/45 + (-2)/9 a composite number?
False
Is (34/(-85) - (-55253)/(-30))*-6 a prime number?
False
Let u be 3/((-6)/32) - -3. Let a = 49 + u. Let f = 113 + a. Is f a composite number?
False
Let t = -1071 - -1984. Is t composite?
True
Let f = -342 + 545. Let s = f + -88. Suppose 5 = -5*z - 5, -s = -t + z. Is t a composite number?
False
Suppose 0 = 5*d + 4*z - 80 + 15, 3*d + 4*z - 47 = 0. Let k be 63*(0/(-3) + 1). Is 14/k - (-331)/d composite?
False
Let a = 38 + -26. Let y be 1 + (1 - -392) + -3. Let u = y + a. Is u a composite number?
True
Let w be (-5)/2*(-1 - 39/(-15)). Let g(u) = 68*u + 7. Let p(q) = -340*q - 36. Let z(h) = -11*g(h) - 2*p(h). Is z(w) prime?
False
Let t(l) = -23*l - 30. Let r be t(-4). Let i = 162 + -92. Suppose -r - i = -4*f. Is f a composite number?
True
Suppose 15152 = -73*i + 69*i. Let j = 629 - i. Is j prime?
False
Let l(v) = v**3 + 3*v**2 + 9*v - 3. Let w be (96/(-80))/(3/(-10)). Is l(w) a composite number?
True
Suppose 4*b = 5*d - 5980 - 32977, -5*d = -3*b - 38954. Is d composite?
False
Is 1546*253/(-88)*-4 a prime number?
False
Let n(g) = g**2 - 20*g - 797. Let t be n(40). Let a be 4338/4 + 2/(-4). Suppose t*v - 137 - a = 0. Is v a composite number?
True
Suppose -4*j - 5*h = -35, j - 20 = -2*h - 3*h. Suppose -3*o + l + 162 = 4*l, j = 5*l. Is o composite?
False
Suppose 0 = 2*x - 5426 - 6552. Is x a composite number?
True
Let k be 4 + -10 + 3 + 1032. Suppose -7*v = -700 - k. Suppose 8*h = 9*h - v. Is h a composite number?
True
Suppose 5*k = -b - 35, b - 4*k + 0 = 10. Is b/30 + (-16628)/(-6) a prime number?
False
Let o(x) = 56*x**3 + 13*x**2 - 7*x - 5. Let t(s) = 84*s**3 + 20*s**2 - 11*s - 8. Let h(n) = 8*o(n) - 5*t(n). Is h(3) composite?
True
Suppose b - 15793 = -s, -s + 5942 = -4*b - 9866. Suppose 3*c - 21003 = -4*d - 2*c, 0 = 3*d - 5*c - s. Is d a composite number?
True
Suppose -2*s = 5*v - 38749, -2*v = -8*s + 4*s + 77558. Is s prime?
True
Let a(m) = -m**3 + 13*m**2 - 14*m + 17. Let z be a(12). Is z/(-21) + (-1984)/(-6) a prime number?
True
Let u(d) = -d**3 - 11*d**2 + 5*d - 23. Let n be u(-10). Let f = n - -300. Is f a composite number?
False
Let i(n) = 2*n**2 + 24*n - 25. Let x(h) = -3*h - 13. Let k be x(7). Let u be k/(-4)*(-12 - -10). Is i(u) a composite number?
True
Suppose -5*a + 791 = -454. Suppose 3*l = -a - 402. Let x = -128 - l. Is x a composite number?
False
Is 1/(40651/54196 - (-24)/(-32)) composite?
True
Let v = 3 + 2. Suppose 5*m - v*w = 2*m + 532, 2*w = -4. Let p = 439 - m. Is p a composite number?
True
Let p be (-2)/(-4) + 6/4. Let w = 139 + p. Is w prime?
False
Let p(n) = 3 - n**2 + 2*n + 2 + 1. Let j be p(5). Is (-664)/j + (-12)/(-54) prime?
False
Let y = -1533 + 1904. Is y prime?
False
Let u = -35 + 33. Let p be (-8)/u - 12264/(-21). Suppose y + 5*r - 547 = 0, 0 = 5*y + 5*r - p - 2147. Is y a prime number?
True
Suppose 0*a = 5*w - 4*a - 2374, -4*w + 3*a = -1900. Let l = 85 + w. Is l composite?
False
Suppose -5*x = -24 - 1. Suppose -k = x*d - 821, -4*d + 5*d - 3284 = -4*k. Is k a prime number?
True
Let j = 290 + -62. Suppose -2*l + j - 38 = 0. Suppose 0 = -0*k + k - l. Is k composite?
True
Let a = -927 - -1300. Is a composite?
False
Suppose 0 = -3*u + 9*u - 2*u. Suppose u*w - 2*w + 1486 = 0. Is w composite?
False
Suppose 2 = -q, -3*q + 13934 = -4*j - 6*q. Is (1 + 0)*(11 - j) a composite number?
True
Is (-32822)/7*910/(-52) prime?
False
Let d be 14/(3 - 13/4). Suppose -4*b - 259 = 69. Let u = d - b. Is u a composite number?
True
Let l(v) = 21*v + 0 + 1 - 8 + 8. Suppose 0 = -2*u - n + 16, 2*u - 6*u - 3*n = -36. Is l(u) a prime number?
True
Let z(s) be the second derivative of 47*s**3 + 5*s**2/2 + 5*s. Let k be z(4). Suppose -4*w = 20, 0*m + 4*m = -3*w + k. Is m a composite number?
True
Let j(l) = -3328*l - 3. Is j(-2) a prime number?
True
Let d = -12 - -12. Suppose -4*z + 6*z - 1982 = d. Is z composite?
False
Let q be (-2)/(-3) - 2288/(-33). Suppose -y + 6*y = q. Is (y/(-6))/((-12)/180) prime?
False
Suppose -2*n + 16 = -3*i - 2*i, -i = 2. Is 956/n + 4/12 a composite number?
True
Let a(t) be the first derivative of 13*t + 2 + 1/3*t**3 + 11/2*t**2. Is a(-12) a prime number?
False
Let g(s) = 2917*s**2 - 5*s + 5. Is g(1) a prime number?
True
Is (4/(224/(-294664)))/(2/(-14)) prime?
True
Suppose 5*q + 0 + 30 = 0. Let d be (-16)/q*18/24. Suppose 5*f - 291 = d*f. Is f prime?
True
Let s be 260/((2/(-2))/(-2)). Suppose -s + 141 = -t. Let l = 758 - t. Is l a composite number?
False
Is 5 + (-3 - -3) + 2354 prime?
False
Let n be 1*4/2 + 5. Suppose -3*r = -n*r + 1972. Is r a prime number?
False
Suppose -3*a + 12 = -0*a, 2*u - 4*a = -56. Is 180 + 5/(u/12) a prime number?
False
Suppose 3*a = -3*m + 2769, -2*m - 4*a = -2013 + 159. Is m composite?
False
Suppose 15585 = -0*o + 3*o. Is o composite?
True
Suppose -3*w = 2*q - 4, -2 = -2*w - 8*q + 7*q. Is 18/(-45) - ((-21734)/10 - w) composite?
True
Suppose -100 + 5 = 5*a. Let p = -16 - a. Suppose 669 = -p*d + 6*d. Is d prime?
True
Suppose 3*m - 4*m + 2306 = 0. Suppose -66 = 4*j - m. Suppose 4*a = -2*o - 13 + 323, 4*o - j = 4*a. Is o prime?
False
Let y = 2613 + 7786. Is y prime?
True
Let o be 6*-2*(18/(-8) + 2). Let g(a) = 52*a**3 - 3*a**2 + 2*a - 12. Is g(o) composite?
True
Let h = -1704 - -2870. Let v = h + 1436. Is v prime?
False
Suppose 0 = -4*k - 5*v + 2701, -k + 3*k - v = 1361. Is k prime?
False
Is 6777 + (-6 - -22)/(-4) composite?
True
Suppose 4*m - x - 117596 = 0, -156720 = -4*m - 2*x - 39124. Is m composite?
False
Suppose 3*g + 2 - 14 = 0, 4*w - 5*g = -68. Let r(c) be the second derivative of c**4/6 + 4*c**3/3 + 9*c**2/2 - c. Is r(w) composite?
True
Let a be 1/(5/(-2 - 1703)). Let d = 660 + a. Is d a prime number?
False
Let c(w) = -7*w - 1. Let d be c(-1). Is 666/(-24)*(-40)/d a composite number?
True
Suppose -c + 2 + 0 = 0. Let m be (1/c + -3)*-2. Is (2 + -78)*m/(-4) a prime number?
False
Suppose -268 = -f + 1833. Is f composite?
True
Suppose 0 = -4*g + 5*d + 738, 3*d = -g + 118 + 75. Let p be (-1)/2 + g/22. Suppose p*w - 4*w = 2804. Is w composite?
False
Suppose 10*u - 16974 = 156356. Is u prime?
True
Let t be (2 + (-50)/15)*(-9)/6. Is (51/t + -2)/(17/238) prime?
False
Let y(u) = -u**3 + 3*u**2 + 7*u - 6. Let v be y(4). Suppose -2230 = b - v*b. Is b prime?
False
Let r(b) = b**3 - 8*b**2 + 10*b - 16. Let k be r(7). Let u(m) = -3*m - m + 3 + 0*