s 1*-2 - (-2084775)/231 prime?
False
Let c = -13 + 10. Let v be -6 - -4*(c - -4). Is (1 - 10*20)*v prime?
False
Let w = -294 - -298. Let a be (3 + 0)*1 + 1. Suppose 405 = -3*c - a*q + 5934, w*q = 4*c - 7400. Is c prime?
True
Let a = -37306 - -63942. Let i = a - 8107. Is i composite?
True
Let f(p) = 433*p**3 + p - 1. Let u be f(1). Let r = u + -1323. Let q = r - -1893. Is q composite?
True
Let a = 75 - -453. Suppose -l - l = a. Let z = 617 + l. Is z a composite number?
False
Let b = 42798 + 22939. Is b a prime number?
False
Is (-25)/((-500)/(-40)) - (-12823 + 0) a prime number?
True
Suppose 2*p - 507 = -5*a, -a - 22 = -3*p + 730. Is p a composite number?
False
Let a(k) = k + 9. Let s be a(-3). Suppose 0 = -s*t + 9*t - 1743. Suppose 17*v + t = 18*v. Is v prime?
False
Suppose 39*m = 54*m - 26250. Suppose 57186 = 4*x + m. Is x a prime number?
True
Let w = 26 + -23. Let x be (6 + -14 + 4)/(-1). Suppose -5*t = -3*i - 1651 - 1839, w*i = -x*t + 2819. Is t a composite number?
False
Let v(i) = -i**2 - 10*i + 96699. Is v(0) composite?
True
Let j = -121002 + 247131. Is j composite?
True
Let p = -149 + 100. Suppose 275 = -w + 358. Let s = w + p. Is s prime?
False
Suppose -2*i - 42 = -7*i + 4*b, -2*i + 24 = 2*b. Is 5565 - (10/(-4))/(i/(-16)) a prime number?
False
Let n = -281 + 293. Suppose -n*r - 5903 = -157115. Is r composite?
False
Let j(k) = -k - 5. Let w be j(14). Let o(r) = -r**3 - 18*r**2 + 19*r + 5. Let l be o(w). Suppose -5*a = l*h - 5975, 3*a + 0*a + 3573 = 3*h. Is h a prime number?
True
Let j be (3 + -5 - 2) + 0. Let q(m) = -m**3 - 3*m**2 + m - 7. Let f be q(j). Suppose 3*c - f*r = -3*r + 1475, -4*r = 16. Is c composite?
True
Suppose -4*x - 28294 = -111*x + 37404. Is x prime?
False
Suppose -1675 + 4855 = 3*d. Suppose b + 3 = 0, u - d = -0*u - 4*b. Let v = 2385 - u. Is v prime?
False
Suppose -18*i + 20522 = -16*i. Let b = i + -3456. Is b prime?
False
Suppose -m - l = 8, -4*m = -l + 7 + 5. Let o = 2269 + 1380. Is (o + -3)/(m/(-6)) a composite number?
True
Let b(o) = 4*o**3 + 8*o**2 - 5*o - 56. Let l = -282 + 291. Is b(l) a composite number?
False
Suppose 48*f = -0 + 96. Suppose 5*z - 5*i - 163835 = 0, -f*i - 2*i = 2*z - 65558. Is z a composite number?
False
Is (36/3 - 13)/(1/(-416719)) prime?
True
Suppose 139*k - 160*k = -868161. Is k prime?
True
Let y(v) = 2*v + 6. Suppose 3*z + 0*c = -c + 10, z - c - 2 = 0. Let h be y(z). Suppose -h*i + 10*i + 254 = 0. Is i a composite number?
False
Let g = -232 - 768. Let c = g - -2755. Let t = c - -14632. Is t a composite number?
True
Let b(y) = 9094*y**2 - 649*y - 13. Is b(4) a prime number?
False
Let b(p) be the second derivative of -21/2*p**2 - 5*p + 0 - 11/3*p**3. Is b(-16) a prime number?
True
Suppose -66*i = -40*i - 10481510. Is i a prime number?
False
Suppose 11*c - 320958 = -51957 + 161396. Is c a composite number?
True
Let x = 52 + -49. Let z(r) = -r**3 + 3*r**2 - r - 1. Let j be z(x). Is 97/((-12)/j*-1 + 4) a prime number?
True
Is (-5454088)/(-6 + -2) + (-5 - -5) a prime number?
False
Let j = -824042 - -1239124. Is j composite?
True
Let f(z) = -z**2 - 33*z + 49. Suppose -8*n - 214 = 2. Is f(n) prime?
True
Suppose -t = -v - 59321, -3*v + 216541 = 4*t - 20736. Suppose 0 = -32*l + 57768 + t. Is l a prime number?
True
Let c(q) be the second derivative of 653*q**4/12 + 5*q**3/3 + 11*q**2 + 72*q. Is c(-2) composite?
True
Suppose -5*r - 4 = -84. Let d be (-92)/r + 5/(-20). Is (35/(-3) - 1)*(d - -3) a composite number?
True
Suppose 2*y - 47 + 57 = 0. Is (-1)/(y*(-3)/(-42165)) a composite number?
True
Suppose 0 = -5*v - o + 16, 0 = -v - 0*o - o. Suppose n + z = 3*z + 2923, -v*n + 11681 = 3*z. Is n a composite number?
True
Let o = 2526 - -70483. Is o a prime number?
True
Let t = 19 + -16. Suppose 3*l - 3576 = t*w, -4*l + l + 3575 = -4*w. Suppose 0 = -4*s - g + 4772, s - l = 4*g - 8*g. Is s composite?
False
Let n(g) = 39*g**2 - g - 32. Let c be n(7). Suppose -5*b = -3*m - 2877, m + c = 5*b - 997. Is b a prime number?
False
Let f(q) = 2*q**3 - 18*q**2 + 71*q - 56. Is f(19) composite?
False
Let g = 69 - 65. Suppose g*n = 5*n - 1107. Suppose 0 = -2*i + 2, -3*i + 288 = -2*b + n. Is b composite?
True
Suppose -4*t - 3*m + 34859 = 0, -t + 8726 = -139*m + 142*m. Is t composite?
True
Is ((-2)/4 - -1)/(34/171428) a composite number?
False
Let w = -1087 + 10926. Is w a composite number?
False
Suppose -2*i - 8 = -5*i + 2*s, -2*s = -2*i + 8. Suppose i = -0*a + 3*a - 993. Suppose 2*c + 3*z = 206, 0 = -c - 2*c + z + a. Is c prime?
True
Let n(c) = c**3 + 11*c**2 + 6*c - 3. Let a be n(-7). Suppose 0 = 2*v - 456 - 68. Let f = v + a. Is f a prime number?
False
Suppose -2*q - 839525 = -5*f, 107*f - 110*f + 5*q + 503734 = 0. Is f a prime number?
False
Let t be ((-17)/34)/(2/(-152)). Suppose -t*l + 201835 = -89359. Is l a prime number?
False
Let y(g) = g**2 + 5*g - 5. Let n be y(3). Suppose -m + n = 5*o, -o = -5*m - 3*o + 26. Suppose 3155 = 5*c + 4*h - h, m*c = 5*h + 2524. Is c a prime number?
True
Let o be (-8)/2 - -176 - -4. Let w be 338/8 + (-4)/16. Suppose 0 = -f - w + o. Is f prime?
False
Is (-156397)/(-7) + 400/700 a prime number?
True
Suppose 5*j = 4*p + 4, -13*j + 17*j + 2*p = 24. Suppose 2*d + 4*h = 11070, -j*d + h + 22166 = -4*h. Is d a composite number?
True
Let m be 216/(-48)*4/(-2). Suppose m*j = 4*j + 37565. Is j a composite number?
True
Suppose -3*m + 2284 = -m. Suppose 3*r = 2571 - 2562. Suppose b - m = -r*d, -2*b + 2320 = -6*d + 3*d. Is b a prime number?
False
Let j(v) = 22*v - 94. Let w be j(19). Suppose 0 = -2*p + a + 7527, w = 2*p - 5*a - 7223. Is p composite?
False
Suppose -w + 4*w + 2*m = -13796, 3*m = -2*w - 9204. Let x = w - -2808. Is (1/4)/((-3)/x*1) a prime number?
True
Suppose -32*r - 1233979 = -61*r. Is r a composite number?
True
Is 436682/1 + -84 + 89 a composite number?
False
Suppose -67 + 189 = 2*p. Suppose 64*t - 17817 = p*t. Is t a prime number?
True
Suppose -h = 4*p - 19926, -388*p + h = -386*p - 9960. Is p a composite number?
True
Suppose 45*y - 19097458 - 14532437 = 0. Is y composite?
True
Let q(n) = -n**3 + 86*n - 155. Is q(-44) a prime number?
False
Let d(s) = 3*s**3 - 23*s**2 + 92*s - 71. Is d(42) composite?
True
Let p(w) be the second derivative of -w**5/20 + w**4 + w**3/2 + 35*w**2/2 - 40*w. Is p(-12) composite?
True
Suppose 327*x - 52*x - 38656745 = 88257680. Is x composite?
False
Let f = 7527 - 3869. Suppose 0 = -7*s - 14*s + 84. Suppose -2*l + c = -f, 0 = -8*c + s*c. Is l composite?
True
Is 2202011/10 - (-2)/14*(-217)/310 a composite number?
True
Suppose -s = 2*u + 10280, u = s - 3*s - 5134. Suppose 23*c = 19*c - 30988. Let j = u - c. Is j prime?
False
Let g(q) = -q**3 + 4*q**2 + 2*q - 16. Suppose 4*u - 10 - 13 = 3*t, 61 = -5*t + u. Is g(t) a prime number?
False
Let r(k) = -61 + 2*k**3 - 274*k + 239*k - 3*k**3 + 24*k**2. Is r(20) composite?
False
Let g = -7 - -25. Let r be 1*42*264/g. Suppose -k + 9*k = r. Is k a prime number?
False
Let p(x) = 143177*x**2 - 4*x - 4. Is p(-1) composite?
False
Let o = 17 + 9338. Is o prime?
False
Suppose 3*y = -0*y. Let w(s) be the second derivative of -s**4/12 - s**3/2 + 131*s**2 + 8*s - 51. Is w(y) a prime number?
False
Let w = -1255 + 335. Let z = w + 1304. Suppose -3*m + z = 153. Is m a composite number?
True
Suppose -69*q + 17362530 = 21*q. Is q a composite number?
False
Let s = 2612 - 1436. Let i = s - -10175. Is i a composite number?
False
Let l(f) = -f**2 + 4*f + 662. Let z be l(0). Suppose 0 = 4*d - n - 1324, -2*d + z = -n + 3*n. Is d prime?
True
Let t be 36/(-9) + 18 + (-1)/1. Suppose t*r - 95028 - 139739 = 0. Is r a prime number?
True
Suppose -b = -4*a + 20, 2*a = -0*b + b + 10. Let u be 2081*(2 + -1) - (0 - b). Let c = u + -1204. Is c prime?
True
Suppose -4*l + f + 40 = 6*f, 4*l - 8 = 3*f. Suppose -26 = -l*g - 11. Suppose 231 = 3*r + 2*d, -d - g = -0*d. Is r a composite number?
False
Let a be ((-251025)/(-9))/1 + (-6)/(-18). Suppose 0 = -6*r + 5114 + a. Is r a prime number?
True
Suppose -4*f + 25 = -v - 15, -5*v - 20 = 0. Is 4542/f + (-3)/(-9) prime?
False
Suppose -10*q - 24*q = -247656. Let m = 12479 - q. Is m a composite number?
True
Let m(k) = -k**2 + 2*k - 4. Suppose -21 = y - 8*y. Let n be m(y). Is n/((-2)/(0 + 226)) prime?
False
Let t(y) = y + 71*y**2 - 9 - 2*y + 4*y. Let w(f) = f**3 - 15*f**2 + 13*f + 10. Let r be w(14). Is t(r) a comp