+ 183 = -5*a + 3*k, 0 = -5*a + 3*k - v. Let b = a - -192. Is b prime?
True
Is (-58)/(-10)*(3646 + -11) composite?
True
Let z = -44 - -49. Suppose 0 = -z*y - 41 + 516. Is y a prime number?
False
Let z(o) be the first derivative of o**3/3 + 7*o**2/2 + 1. Let q be z(-7). Suppose q*w - 2 = 2*w, n + w - 292 = 0. Is n prime?
True
Let n = -11476 + 41129. Is n prime?
False
Suppose 0 = -25*a - 29*a + 295434. Is a a composite number?
False
Suppose -5*a = 2*w - 222681, -4*a + 5876 = -3*w - 172278. Is a a composite number?
False
Suppose -224 - 841 = 3*a. Let y = -156 - a. Is y composite?
False
Suppose b - 29 + 24 = 0. Suppose 0 = a + d - 879, b*a - 4386 = -4*d + 8*d. Is a a composite number?
True
Suppose 2*h - 5*h + 12504 = 0. Suppose -4*t + h = 4*l, -3*t + 3126 = -0*t + 4*l. Is t a prime number?
False
Suppose -22*s + 25*s = 24789. Is s a composite number?
False
Let t be 4 - 7 - (-4 - 1). Suppose 5*v = t*o + 1176, -97 = v - 4*o - 325. Suppose -5*d = -d - v. Is d a prime number?
True
Let y = 30694 - -39059. Is y composite?
True
Suppose 4*m = -3*h - 61, -2*h + 7*m - 33 = 2*m. Let i = h - -2380. Is i a composite number?
True
Let s(j) = j**2 + 2*j + 2. Let n be s(-3). Suppose 228 = n*a - 5137. Is a a prime number?
False
Let c(x) = -19644*x + 17. Is c(-1) a prime number?
True
Let a(p) = -p**2 + 9*p + 8. Let k be a(9). Let v be (-2)/k - (-8613)/36. Suppose 741 = 5*d - 2*d + 3*y, -3*y = d - v. Is d a composite number?
False
Let p(b) = -113*b - 3. Let i be -1*(-2)/(4/(-2)). Let d be (-6 + 2)/(i + 2). Is p(d) a composite number?
False
Let c = -14 - -7. Let n be 331778/133 + (-3)/c. Suppose n = -0*u + 5*u. Is u prime?
True
Suppose 4*r = 55030 - 15442. Is r a composite number?
True
Let t(h) = -2*h**3 + 57*h**2 + 37*h - 1. Let j(l) = l**3 - 28*l**2 - 18*l. Let m(o) = -13*j(o) - 6*t(o). Is m(17) composite?
True
Suppose y - 4*i = 2539, 4*y - 10126 = -i + 2*i. Is y composite?
False
Let c(t) = 3*t - 58. Let h be c(21). Suppose v + 4*s = 2227, h*v + 2*s = -4730 + 15883. Is v a composite number?
True
Let x(u) = -2 - 5*u**2 + 3*u + u - 4*u**2. Let m be x(4). Is (6/(-4))/(3/m) composite?
True
Let z(d) = 4*d**2 - 6*d - 4. Let l be z(3). Let s(f) = f**3 - 15*f**2 + 19*f + 1. Is s(l) prime?
True
Suppose 1 = -4*s + 9. Let x(z) = 147*z**2 + 2*z + 1. Is x(s) composite?
False
Is (2/6)/(13 + (-252328)/19410) a composite number?
True
Suppose -2*u = -3*z - 6448, 3*z - 818 = -5*u + 15323. Is u composite?
True
Let o = -3497 + -85. Let w = o - -6191. Is w composite?
False
Suppose 3*a + 2 = -4. Let d = a - 2. Is -2 + 10 + (-8)/d a prime number?
False
Suppose -469 = 2*b + 1017. Suppose 2585 = -2*g - 3*g. Let y = g - b. Is y prime?
False
Let y(d) = -2*d**2 - d - 2. Let o be y(-2). Let l = -10 - o. Let b(p) = 74*p**2 - 2*p + 1. Is b(l) composite?
True
Let i(y) = -27*y + 4. Let g be i(-5). Suppose -m + g = 2*o, 5*o - 24 + 4 = 0. Is m a composite number?
False
Let a = 34 + -6. Let s(h) = -3 + 0 + a*h - 2. Is s(6) a composite number?
False
Let h = 2342 + 2361. Is h prime?
True
Suppose -52*q + 46*q = -2670. Is q prime?
False
Let w = -1103 + 1474. Is w composite?
True
Let r be 18*2/1 + -2. Let c = -41 - r. Let d = 234 + c. Is d a prime number?
False
Suppose -1575 = -m + 1954. Suppose 2*n + 12 = -n, m = 3*u - 4*n. Is u a composite number?
False
Let o(c) = 1669*c**2 - 42*c + 122. Is o(3) composite?
False
Let l = -3 + 9. Let t(n) = 7 - l + 3*n - 2*n. Is t(6) a prime number?
True
Let k be (-30)/(3*4/(-112)). Suppose -139 = -p + k. Is p prime?
True
Suppose 21*n - 165685 = 8*n. Is n composite?
True
Suppose -2*a - 24 = -2*m, -12 = 4*a + 4*m + 60. Let r = a + 8. Let h(u) = 20*u**2 + 3*u - 4. Is h(r) a composite number?
True
Suppose -2 - 4 = -3*d - 3*y, 0 = -4*d + 3*y + 8. Suppose -d*k - 669 = -5*k. Is k prime?
True
Suppose 7361 = -6*b - 9697. Let v = b + 4294. Is v a prime number?
True
Let g = 3087 + -1649. Is g a composite number?
True
Let o be (-5260)/18 + (-28)/(-126). Let b = o - -1393. Is b composite?
True
Suppose -27*j + 23045 = -22*j. Is j composite?
True
Let r(g) = -g**3 + 6*g**2 - 10*g - 2. Let n be r(-7). Let p be (0 - n)*2/(-6). Suppose -4*b + 896 = -a, -3*b = -2*a - p - 442. Is b prime?
True
Suppose 3*o + z - 9 = -0*z, -3*z = -o + 3. Suppose o*j + 2*g = -g + 360, 609 = 5*j - 4*g. Is j prime?
False
Suppose -60678 = -11*f - 7*f. Is f composite?
False
Suppose 0 = 3*l + 3*w - 3999, 3*l + 2*w - 1317 = 2686. Is l composite?
True
Let f = 31740 + -12997. Is f a composite number?
False
Suppose -4*i - 4662 = -4*o + 726, -5*i = 4*o + 6699. Let a = 2205 + i. Is a a prime number?
False
Let t = 5420 + -3136. Suppose -a - 3*a - t = 0. Let l = 866 + a. Is l prime?
False
Let i be (6/4)/(2/(-12)). Let z(y) = -10*y + 7. Is z(i) a prime number?
True
Let n(d) = 6*d - 26. Let c be n(4). Let g(l) = 230*l**2 - 3*l - 5. Is g(c) prime?
False
Suppose -2*r - 10513 = -5*i, 1948 = 2*i + 2*r - 2260. Suppose 0 = 2*h - 5*h + i. Is h prime?
True
Let l(i) be the second derivative of i**6/60 - 7*i**5/120 - i**4/4 + 3*i. Let x(r) be the third derivative of l(r). Is x(6) prime?
False
Let j(w) = -3*w - 4*w + 12 + 4*w. Let c be j(-13). Let s = -20 + c. Is s a composite number?
False
Suppose 24 = -7*c + 3*c. Is 379 + c/(-4)*24/18 a prime number?
False
Suppose -4*c + 3588 = 5*w - 1688, 2*w = -3*c + 3957. Is c prime?
True
Suppose 38*r = 31*r + 8379. Suppose -2*x + r + 8213 = 0. Is x prime?
False
Let k = -3 + 7. Is -4 + (1*1740)/k prime?
True
Let k be (-24)/(-14) + (-12)/(-42). Let t be (-2 + 2)*(-1)/k. Suppose t = -2*h - 4*d + 178, 5*d - 455 = -5*h - 0*d. Is h prime?
False
Let b(r) = -r**2 - 18*r - 17. Let z be b(-17). Suppose z = u - 0 - 5. Is 21/(-35) - (-418)/u a composite number?
False
Let i(o) = 4786*o - 5. Let r(b) = 2394*b - 3. Let s(g) = -4*i(g) + 9*r(g). Is s(1) prime?
False
Suppose 2*g - 5*n = g - 2, 0 = -5*g + n + 38. Suppose -q = q + g. Let z(c) = 14*c**2 + 6*c + 5. Is z(q) prime?
False
Let y(a) = 25*a**2 - 5*a + 2. Let c be y(-7). Is ((-2)/(-4)*-3)/((-3)/c) composite?
False
Let n = 3483 + -446. Is n a composite number?
False
Let m = 179 + -114. Suppose 2*k = 3*o - 3*k - 44, -3*k - 12 = -o. Let w = o + m. Is w a prime number?
True
Let t = 54162 - 27349. Is t a prime number?
True
Let q = 2010 + -1241. Is q prime?
True
Suppose 0 = -3*q - 3*q + 161832. Let g be q/20 + (-2)/(-5). Suppose a = -4*m - 0*a + g, -5*m = -5*a - 1680. Is m composite?
False
Suppose 6*t - 75216 = -10*t. Is t a composite number?
True
Is -10214*(6 - 3)*(-5)/15 a prime number?
False
Let v(f) = -f**2 + 9*f - 10. Let r be v(8). Let z(l) = -4*l**2 - 2*l. Let n be z(r). Is (n/(-8))/(3/92) prime?
False
Is 1 - -661 - (2 - 7) a composite number?
True
Let c(y) = -y**3 + 68*y**2 - 121*y + 23. Is c(51) prime?
True
Let g = 20 + -16. Let n = 8 - g. Suppose 194 = n*t - 2*y, -t + 5*y + 19 + 7 = 0. Is t a composite number?
True
Suppose 0 = -4*r + x + 324643, -4*r + 493987 = -3*x + 169346. Is r a composite number?
True
Suppose 3*z - 2*i - 3*i = 10, 3*i + 6 = 5*z. Suppose z = -5*v + 4*l + 38, 0 = -2*v + v + 4*l + 14. Suppose -2*y - 364 = -v*y. Is y prime?
False
Suppose 0 = -4*n + r + 671, 495 = 3*n + 4*r - 2*r. Is n a prime number?
True
Suppose -f + 4 = 0, 3*t + 0*t - f - 377 = 0. Is t prime?
True
Let m be (-3)/2*(-10)/3. Suppose -m*b - 1891 = 119. Is (6/9)/((-4)/b) a composite number?
False
Let y(t) = t**2 - 6*t + 1. Let j be y(7). Suppose -4*z + j = -8. Suppose -296 = -4*r - z*l - 0*l, 228 = 3*r + l. Is r composite?
True
Let t(b) = -b**2 - 5*b - 4. Let y be t(-4). Suppose -3*g + 66 = -y*g. Is g prime?
False
Let b = -481 - -1660. Is (6/18)/(3/b) a composite number?
False
Suppose 4*f + 4*b = -0*f + 1900, f + 4*b = 481. Is f a composite number?
True
Suppose 19*k = 24*k - 155. Is k a prime number?
True
Let o(g) be the second derivative of -905*g**3/6 + 13*g**2/2 + 10*g. Is o(-2) prime?
True
Let b = -82 - -179. Is b*6*4/8 composite?
True
Let u = 60111 - 35054. Is u prime?
True
Is (-4)/(-14) + 2323524/196 prime?
False
Suppose 11*h = 21688 + 67225. Is h a composite number?
True
Let p(r) = -r**3 - 7*r**2 + 3. Let v be p(-7). Let z be (6 + -5)*(0 + v). Suppose m = 5*i - 2229, z*m = -5*i - 0*m + 2213. Is i a prime number?
False
Let p = -20 - -32. Let c = p - 12. Suppose c*y - 5*y + 475 = 0. Is y a composite number?
True
Suppose 32721 = 3*y + 3*j, -5*y + 2*j = -31577 - 22986. 