y = -u - 155 + 36. Is y a prime number?
False
Let b(d) = -d**2 + 13*d + 28. Let f be b(15). Let i be (-32880)/21 - f/(-7). Let k = -1079 - i. Is k a prime number?
True
Suppose -h - 2*h = 4*g - 37, 2*h = 4*g + 38. Let m be h/(-1 - 645/(-636)). Let u = m + -273. Is u a composite number?
False
Let h(n) = -n**3 + n**2 + 17*n - 34. Let o be h(-14). Suppose -c - 703 = 646. Let p = o + c. Is p composite?
False
Suppose -108 = -3*x + 195. Suppose -104*d + 6 = -x*d. Suppose 5*i - 5425 = -5*w, -d*w + 2*i = -2*i - 2182. Is w a composite number?
False
Let n = 61 + -53. Suppose 0*u - n*u = -16. Suppose -5339 = 6*h - 11*h - u*s, 0 = -5*s + 10. Is h a composite number?
True
Let m = 18328 + -581. Is m prime?
True
Suppose -9 = 9*k - 6*k. Let a(p) = -4*p**2 + 11*p - 4. Let n(m) = -2*m**2 + 6*m - 2. Let l(i) = k*a(i) + 5*n(i). Is l(11) a prime number?
True
Let i(h) = 3*h**3 - 3*h**2 + 3*h + 2. Let k be i(2). Suppose 0 = -k*w + 15*w + 23065. Is w prime?
False
Let w(u) = -u**2 - 13*u + 17. Let d be w(-14). Suppose -d*k - 2*q + 15 = 0, 2*k + 0 = -q + 10. Suppose y = k*y - 212. Is y prime?
True
Let r(n) = -35*n**3 - 8*n**2 + n + 35. Let k(l) = l**3 + l**2 - 15*l - 11. Let w be k(0). Is r(w) composite?
False
Suppose 29*n + 108 = 33*n. Let o = 64 + n. Is o prime?
False
Let v(n) = -2*n - 3. Let d be v(-3). Let q be -1*(-2)/(1497/(-501) + d). Let p = q - 98. Is p a composite number?
True
Let z = 6226 - 1295. Is z prime?
True
Let l(p) be the second derivative of -p**5/20 + 3*p**4 + 25*p**3/3 - 179*p**2/2 - 243*p. Is l(36) prime?
True
Suppose -5*h - 4*p + 13 = -0*h, -5*h = -4*p + 3. Is 36 + (3 - 3) + h prime?
True
Suppose 0 = -4*u + 2*t + 14, -2*t - 12 = 4*u - 7*u. Suppose -4*m + 2*i = -u*i - 1048, 3*i + 9 = 0. Suppose -4*c + 3*c = -m. Is c composite?
True
Suppose 7242 = 3*c - 3081. Suppose 3*f + 4*z + c = 6*f, 4*f + 3*z - 4613 = 0. Is f composite?
False
Let w(z) = -5320*z - 35. Let k(h) = -10639*h - 69. Let s(n) = 2*k(n) - 5*w(n). Is s(2) composite?
True
Let m(z) = 2*z**2 - 26*z + 15. Let p be m(14). Suppose -1198816 = -p*a + 11*a. Is a a composite number?
False
Let a = -157336 - -274289. Is a a prime number?
True
Let p(q) = -26766*q - 1513. Is p(-36) a composite number?
False
Let q(z) = -z**3 - 21*z**2 - 20*z - 2. Let i be q(-20). Let m be (-4)/1 + 34/i. Is 4/14 - 10935/m prime?
True
Let k be (2 - (-5 - -2)) + (-6 - -7). Let g(z) be the first derivative of 2*z**4 + 2*z**3 - 17*z**2/2 + 5*z - 1. Is g(k) composite?
False
Let y be (-6)/(18/(-249))*56. Suppose 0 = 5*n - y - 812. Let z = n + -419. Is z a prime number?
True
Let m be 8/12 - 26/(-6). Suppose 4*g - g = 2*t + 20, -3*t - 32 = -m*g. Suppose g*l - 129 = 119. Is l a composite number?
True
Suppose -r + 4*r - 24 = 0. Let q be 0 - -100 - (-32)/r. Suppose -9 + q = 5*x. Is x a composite number?
False
Let v = 817079 - 232128. Is v a composite number?
False
Let x(g) = -7*g**2 + 18*g + 19661. Is x(0) a prime number?
True
Let s = -124325 - -227786. Is s composite?
True
Let t = 241 + -243. Is ((-149382)/63 - t/14)*-1 prime?
True
Let z = 29477 - 10540. Is z a composite number?
True
Let k = 761559 + -263836. Is k a prime number?
False
Suppose -u + 3*j + 941399 = 0, 19*u - 21*u + 1882858 = 4*j. Is u composite?
True
Suppose -2*d + 2748 + 1828 = 0. Let u = -334 + d. Is u a composite number?
True
Suppose 258018 + 29442 = 9*a. Let v = a - 14709. Is v prime?
True
Let d(c) be the third derivative of -c**6/10 + 5*c**4/24 + c**3 + c**2 - 27. Suppose a = -0*a - 5. Is d(a) a composite number?
False
Suppose 38*x - 1601 = 3453. Is x prime?
False
Let b be -2 + (4 + 2/(-2) - 1). Let i(c) = -c**3 - 8*c**2 + 4*c - 11. Let q be i(-8). Let s = b - q. Is s composite?
False
Let p(v) = 88*v**2 + 19*v + 86. Let b be p(-10). Suppose 0 = -9*d + d + b. Is d composite?
False
Let t(w) = 2 - 94*w - 3 + 401*w + 235*w. Suppose 0 = j + 3*b - 1, -j - 3 = -4*j + 4*b. Is t(j) a composite number?
False
Suppose -6*v = 20197 - 5353. Let i = -1293 - v. Is i prime?
True
Let y = 849 - -221. Let f = 4437 - 2646. Let r = f - y. Is r composite?
True
Let w(i) = 125*i**2 + 3*i - 1. Let y be w(2). Let p = -15369 - -15533. Let m = y - p. Is m a prime number?
False
Let z(k) = 3*k - 64. Let r be z(23). Suppose -9*l = 4*i - r*l - 3232, -4*l - 4 = 0. Is i composite?
False
Suppose c + c - 3*o = 21451, -c - 2*o + 10715 = 0. Suppose 20*v + c = 79261. Is v prime?
False
Let z(a) = -a**2 - 15*a - 47. Let l be z(-5). Suppose l*h = -21*h + 14736. Is h composite?
True
Suppose 0 = -8*d + 3*d + 25. Let i(h) = 58*h + 891. Let f be i(27). Suppose f = d*u + 4*l - 2*l, 0 = 3*u + 5*l - 1459. Is u a composite number?
True
Let i = 752732 + -249679. Is i a prime number?
True
Suppose 0*y - 3*y + 5*q = -10, -y + 3 = -2*q. Is (1 + -23152)/(-8 + y) prime?
True
Is 4/(-216)*-6975014 - (-90)/1215 a prime number?
False
Suppose 8*m - 84 = 12. Let y(t) = 5*t - 12*t**2 - m + 9 + 79*t**2. Is y(-4) composite?
False
Let b(i) be the second derivative of i**4 - 5*i**3/3 - 17*i**2/2 + 20*i + 2. Is b(15) a prime number?
False
Let p be (14/3 + -5)/(2/78). Let g(v) = 12*v + 11 - 61*v + 25. Is g(p) prime?
True
Let o be 1/6 + (-492)/(-72). Suppose -2*g + 3*x = -o*g + 7649, -g - 2*x = -1527. Is g composite?
False
Suppose -2 = 3*l - 17. Suppose -3*a = -0*a + 12, 4*v - l*a = 6304. Let q = -1030 + v. Is q a prime number?
True
Let r(w) = 2*w**2 + 4*w + 41. Let v be r(12). Let s = 29 + v. Let f = s + -113. Is f prime?
True
Suppose 22*x + 226 = 23*x. Let h be 1 + 2 - (-5 + 4). Suppose 2*r - x = 2*g - g, h*g = 0. Is r composite?
False
Suppose 1132*j = 1140*j - 323384. Is j composite?
False
Suppose -2*y + y = -2*n + 362, -887 = -5*n - 2*y. Suppose -n - 171 = -5*p. Suppose 145 = m - p. Is m a prime number?
False
Let j be ((-6)/12)/((-1)/8). Suppose -j*v - 3*n = -265, -v - n = -3*v + 135. Is v prime?
True
Let y(v) = 2*v**2 - 5*v + 11. Let b be y(11). Let o = b + -72. Suppose 121*r + 3335 = o*r. Is r composite?
True
Suppose t = l + 2583, 6*l - l = 2*t - 5178. Let y = 5302 - t. Is y a composite number?
True
Let d be 3 + -547 + 2 + 4. Suppose 0*y + 225 = -5*y. Let p = y - d. Is p composite?
True
Suppose 2*k = -3*w - 112 + 24, -4*w - 124 = -4*k. Is (-108214)/(-30) - ((-94)/w - 3) a prime number?
True
Suppose 220*y - 22808289 = -71*y. Is y a prime number?
False
Let y(w) = 45*w - 8. Let o be -4 + (16/(-4) - -4). Let b be (-1)/(o/8) + 5. Is y(b) a composite number?
False
Let b = -62 + 65. Suppose 2*l - 7 + 10 = 3*p, -p - 10 = b*l. Is (-1 + -1 - -1)*-568 + l a prime number?
False
Let s(u) = 307*u - 63. Let t be s(7). Is (0 + t/6)*(17 + -14) composite?
True
Suppose -9*n = -5*d - 8*n + 1504848, 3*d - n - 902906 = 0. Is d composite?
True
Let f be 7 - (-2 + -1) - 5*1. Suppose 0 = -f*x - 2*x + 17465. Is x prime?
False
Let p = 123 + -120. Suppose p*g - 2220 - 5139 = 0. Is g composite?
True
Is 3 + (-342252)/(-21) - (-126)/441 a composite number?
False
Suppose 5*j - 13 = 152. Suppose j*y - 79177 = 26*y. Is y composite?
False
Let s = -512 + 518. Let i(b) = 220*b**2 + 91*b - 1. Is i(s) composite?
True
Suppose -15 = 5*o - 105. Let s = o + 861. Is s prime?
False
Suppose 3165 = -576*w + 571*w. Is 5 + (-42)/6 - w composite?
False
Suppose -52*y = 193*y + 16*y - 577854. Let j be 2/6 + 7448/(-6). Let t = j + y. Is t composite?
True
Let t(v) = -v**3 - 10*v**2 - 11*v - 14. Let n be t(-9). Is (1 + 66674/n)/(136/272) a prime number?
False
Let d(z) = -7277*z + 791. Is d(-16) a prime number?
True
Let x be (314/3)/(38/57). Let u = x + 105. Suppose -11*k + 9*k = -u. Is k composite?
False
Let l(d) = 3*d**3 + 135*d**2 + 30*d - 115. Is l(-39) a composite number?
True
Suppose -27*t + 26*t = 3*j - 91949, -4*j = 5*t - 459778. Is t a composite number?
True
Let q = 380802 - 223083. Suppose 0 = -v - 18*v + q. Is v a prime number?
False
Suppose -321306 = 7*g - 1049915. Is g a composite number?
False
Suppose -4*h - 5*k + 1196914 = 0, -65*k - 598468 = -2*h - 62*k. Is h a prime number?
False
Suppose 16*r - 3*r - 35763 = 0. Let a = r + -913. Is a prime?
False
Suppose 324998 = 97*n - 941531. Is n composite?
True
Let y(f) = -2*f**2 - 6*f. Let g be y(-1). Suppose g*q - 20215 = -9*q. Is q a composite number?
True
Suppose 11 = -4*b - 29. Let o be -2*(-5)/(b/(-1798)). Suppose -2*g = 5*u - o, 4*g - 3*u - 3596 = -2*u. Is g a composite number?
True
Suppose -4*a - 107*f + 2743634 = 