 - b = -2*b + 11532, -3*z + 11517 = -4*b. Suppose 0 = 4*a - z + 1103. Is a composite?
True
Let s(i) = -i - 5. Let k be s(-7). Suppose 594 = k*p - 1502. Suppose 0 = -5*h - m - p + 3002, -3*h + 1175 = -2*m. Is h a prime number?
False
Let z be (-2)/3 - (-4)/(-3). Let p be (z/2)/(-1) - -1. Is 0 + (44 - p) - 3 composite?
True
Let c(n) = -27*n - 65. Suppose 35 = 10*f + 275. Is c(f) prime?
False
Suppose -15 = 17*x - 22*x. Is (3 - (-196)/4) + x prime?
False
Let h be 3 + -1*5/(-5). Suppose h*f + 16 = -0*f, -2*o + 3858 = -f. Is o a prime number?
False
Suppose 0 = 2*b - 7*b - 20, -4*b = 4*d + 16. Suppose 10*v - 5*v - 11585 = d. Is v a composite number?
True
Suppose 0 = 2*p + 2*u - 118656, p + 2*u - 87217 = -27894. Is p prime?
True
Let u = 5896 - -15445. Is u prime?
True
Let i(b) be the third derivative of 11*b**4/4 - 7*b**3/6 - 14*b**2. Is i(3) a composite number?
False
Is -21093*(-7)/(11 - -10) a prime number?
False
Let i be (1810/(-3))/(11/66). Is (2/(-5))/(8 - (-28964)/i) a composite number?
True
Let w(p) = -p + 17. Let h be w(0). Let m = h + -15. Is ((-1)/2)/(m/(-1028)) a prime number?
True
Let u(i) = -7 + 2*i**3 - 2*i**3 - 6*i**2 + 2*i**3. Suppose 0 = 3*y + q - 22, 2*q = -2*y + 4*y - 4. Is u(y) a prime number?
False
Let r = 19 + -7. Is (1/3 + (-25840)/r)*-1 a composite number?
False
Let f(i) = 527*i - 7. Let d be f(4). Suppose 0 = -2*s + 3*t + d, -2*s + 3*t + 2*t + 2111 = 0. Is s prime?
False
Suppose 0 = b - 859 - 502. Is b composite?
False
Suppose -10*b + 48420 = 5*b. Suppose b = 6*n - 4938. Is n prime?
True
Let q = 2519 + -1120. Is q prime?
True
Let i(n) = n + 20. Let v be i(-11). Let x = -12 + v. Is (3730/15)/((-2)/x) a composite number?
False
Suppose 0 = 3*q - a - 2166, -q + 2888 = 3*q - a. Suppose -14*w = -65 - 5. Suppose -w*x + q = -353. Is x composite?
True
Let w(k) = 571*k + 22. Let q be w(9). Suppose -3*u - 6*p + p + q = 0, 2*u = -4*p + 3438. Is u/11*(-1 + 2) prime?
True
Let j(h) = -h**3 + 18*h**2 + 12*h - 7. Is j(-12) composite?
True
Suppose -3*c - 2*l = -14, 0 = 2*c + 2*c + 2*l - 20. Let y be (-4 + (-18)/(-4))*c. Suppose 4*h = -2*t - 8, y*h + 20 = -2*t + 4*t. Is t a composite number?
True
Let l = 39246 + -18909. Is l a prime number?
False
Suppose -11*c + 22318 = -13971. Is c a prime number?
True
Let x(a) = -2*a - 169. Let v(h) = -h - 167. Let f(o) = -4*v(o) + 3*x(o). Is f(0) a composite number?
True
Suppose 75586 = 2*q + 4*u, -5*q = -11*u + 3*u - 188911. Is q composite?
True
Let t(k) = -k + 3. Let m be t(8). Let w = 22 - 19. Is -3 - (m + w)*113 a prime number?
True
Let a be (2/4)/((-1)/(-254)). Let x = -144 - a. Let v = x + 608. Is v composite?
False
Let h = -18072 - -42683. Is h a prime number?
True
Suppose -l = l + 2. Let x = 3 + l. Suppose 0 = 2*p - p + t - 24, x*p + t - 50 = 0. Is p composite?
True
Let u be 6/((-4)/126*-1). Let c be 9/6 + u/6. Suppose -5*n = 3*k + c - 358, n - 65 = -3*k. Is n prime?
False
Let s(y) = y**3 - 4*y**2 + 3*y - 1. Let g be s(4). Suppose -4*r - g = 1. Is (r/(-2))/(4/296) a composite number?
True
Suppose n - 8 - 8 = 0. Suppose 17*r = n*r + 199. Is r a composite number?
False
Suppose 11 + 4 = 5*x. Let v be x*-2*(-14)/12. Suppose -871 = -3*u - 2*c, -v*u + 3*u + c = -1176. Is u prime?
True
Let d = 3194 + 1317. Is d a prime number?
False
Let w be (48/(-18) - -2)/((-2)/(-129)). Let s = w - -156. Is s a prime number?
True
Let u = 778 + 2331. Is u a composite number?
False
Let u(y) = -6048*y - 47. Is u(-7) prime?
False
Let z(x) = 142*x - 11. Let s be z(5). Let d = s - 346. Is d a prime number?
True
Suppose 3*l - f - 157639 = -5*f, 4*l + 2*f = 210192. Is l a composite number?
True
Let m = 1312 - -3345. Is m a prime number?
True
Suppose -4*t + 8 = 0, 29 = -3*x - 2*t - 0*t. Let z be (3/(-2))/(x/22). Is (2 - 134)/(-3) + z composite?
False
Let g be ((-15)/6)/(2/4). Let c = 4 + g. Is c/(((-1)/253)/1) a composite number?
True
Suppose 0 = -2*s + q + 1357, 7*q - 12*q + 2016 = 3*s. Is s a composite number?
False
Let c be ((-24)/(-20))/((-1)/(-165)) + 2. Suppose u + 21 - 262 = -5*y, -c = -4*y + u. Is y a prime number?
False
Let u = -2207 + 3898. Is u a composite number?
True
Let c(z) = -10*z - 111. Let p be c(-11). Let b(y) be the second derivative of -21*y**5/2 + y**4/6 + y**3/3 + y**2/2 - y. Is b(p) a prime number?
True
Let z = 575 - 386. Suppose 10 = w - z. Is w composite?
False
Let l be (-14 + 11)*338/(-6). Suppose -l = 5*n - 3*m - 5067, 982 = n - 3*m. Is n a composite number?
True
Is 23/((-115)/(-10)) + 1779 composite?
True
Let v = 6 + -3. Suppose -v*j + 96 = -3*u + u, 2*j - 154 = 3*u. Let d = u - -211. Is d a composite number?
False
Suppose -5*l + 3224 = -15936. Suppose -5*w - 2857 = -3*b, -6*b + 2*b + w = -l. Is b a composite number?
True
Is (-649265)/(-165) - (-12)/198 composite?
True
Let z = -97 + 89. Is (-3)/(-2) + (-3076)/z + -5 a composite number?
True
Suppose -14625 = -2*c - 3*y, 2*c - 4*y + 3120 = 17738. Is c prime?
False
Suppose -l + 2*l = -2*z + 11, 3*l - z = 19. Suppose 4*h = l*h - 5349. Is h a prime number?
True
Let t be (-50)/(-15) - (-4)/6. Suppose t*g - 451 + 107 = 0. Is -3 - 0 - g*-1 composite?
False
Suppose 5*i + s + 160 = 1226, 3*i - 2*s - 637 = 0. Suppose n - i = -2*n. Is n a prime number?
True
Suppose o = d - 4, 4*o + 8 = -4*d - 0. Suppose 1499 = 2*q - r, -2 = r - d. Is q a composite number?
True
Let a = -691 - -476. Let t = a - -586. Is t prime?
False
Suppose -4*b = -0*b - 4*c + 152, -4*b - 156 = -5*c. Let r = -88 + 21. Let x = b - r. Is x a prime number?
False
Let t(r) = r**3 - 4*r**2 - 5*r + 2. Let a be t(5). Suppose 168 = 2*b + a*b. Suppose 83 = c - 4*i, 2*c - 2*i + b = 208. Is c a prime number?
True
Suppose z - 25 = -4*z, -3*z + 5 = -5*r. Suppose -g - 3*b + r = 0, 3*g + b - 10 - 4 = 0. Is 291*6*g/45 a composite number?
True
Let s(h) = 76*h**2 - 14*h - 46. Is s(-4) a prime number?
False
Suppose -3*o + 1 = -2*o, 2*a - o - 1021 = 0. Suppose x - q + 723 = 3*x, -4*x + 3*q = -1451. Let l = a - x. Is l composite?
False
Let l(d) = -d**3 + 6*d**2 - 7*d + 6. Let o be l(5). Let n be (-8)/(-16) + (-490)/o. Let w = n - -55. Is w a prime number?
False
Let g = -182 + 261. Is g composite?
False
Let g(x) = 149*x**2 - 4*x - 5. Let q be g(-3). Suppose -6*p + 2*p = -q. Is p a prime number?
True
Let f be (-103)/(-7) + (-12)/(-42). Let u be (-57)/(-15) + 3/f. Suppose 0 = -2*k - u*s + 154, -2*s = 3*k + k - 326. Is k composite?
False
Suppose -2*q + 5*x - 2*x = -1592, 2*q - 1594 = 2*x. Let p = -468 + q. Is p a prime number?
True
Suppose 111 - 120 = -3*j. Suppose -j*g - 22 = -655. Is g a composite number?
False
Suppose -b = -803 - 748. Suppose -4*f + b = -f. Is f a prime number?
False
Suppose b + 87 = -94. Let i = b - -900. Is i a composite number?
False
Let o(r) = -r**3 - 14*r**2 + 2*r - 10. Let a be o(-7). Let q = a - -590. Is q prime?
True
Suppose -62923 = -18*z + 11*z. Is z composite?
True
Let d(t) = 15*t + 73. Let h be d(-17). Let w = h - -1821. Is w composite?
True
Let f(y) = 3*y**2 + 6*y + 7. Let w(l) = -l**2 + 2. Let m(z) = 5*z**2 - 9. Let k(g) = -2*m(g) - 9*w(g). Let x(a) = f(a) + k(a). Is x(-3) a prime number?
True
Suppose -2*x - 30 = -7*x. Let n = 6 - x. Let l(p) = -2*p + 7. Is l(n) prime?
True
Suppose 219 + 1211 = 5*j - a, 858 = 3*j + a. Suppose d = -y + j, 3*d - 1429 + 570 = -2*y. Suppose 2*l = 351 + d. Is l composite?
True
Suppose -4*p + 3*u = 0, 3*u = -5*p + 2*p - 21. Let l be -7*(1 + -4) + p. Is (44/6)/(l/1647) a composite number?
True
Is 22279 + (-7 - -13) - 2 a prime number?
True
Let z be (-28002)/(-143) + 2/11. Is -2 + z/(-2 - -6) a prime number?
True
Let m(t) = -76*t - 17. Let g = -106 + 99. Is m(g) a composite number?
True
Let q(y) = 3*y**3 - 4*y**2. Let l be q(3). Let v be (-2)/(-3)*-627*2/(-4). Suppose -l - v = -2*a. Is a a prime number?
True
Let c(y) = y**2 - 12*y - 4 + 0*y + y. Let o be c(11). Is o/(87/93 + -1) a prime number?
False
Let j(u) = u**3 + 4*u**2 + 4685. Is j(0) a composite number?
True
Suppose h = 2*x + 1075, 0*x = -4*h + 5*x + 4297. Is h composite?
True
Suppose 3*t - 16 = -0*t - 4*g, -5 = -5*g. Suppose t*v - 7402 = -2*m, -m + 14792 = 3*m + 4*v. Is m a prime number?
False
Let s = -109465 + 186026. Is s a prime number?
True
Suppose s = -3*m - 3*s + 358, 490 = 4*m - s. Let o = 177 - m. Is o composite?
True
Let f = 1034 + 35. Is f a prime number?
True
Suppose -746 = -7*h + 388. Suppos