q = 274 + z. Is q a prime number?
True
Let f = 430229 - 227359. Is ((-4)/12)/(f/40575 + -5) a prime number?
False
Suppose -2*s - 1659362 = -5*v - s, 0 = -5*v - 2*s + 1659341. Is v a composite number?
False
Let p(h) = -52*h + 4 + 68*h + 202*h + 4*h. Let g(a) = -1. Let f(m) = 5*g(m) + p(m). Is f(4) prime?
True
Suppose -k - 3*f = 43883 - 125988, 0 = 3*k + 4*f - 246310. Suppose 8*c = -8190 + k. Is c a prime number?
True
Let x be ((-33)/12 + 3)/((-1)/(-8)). Let g = 93 + x. Suppose -g - 1319 = -2*a. Is a a composite number?
True
Let t = -121159 - -237348. Is t prime?
True
Let a(u) = u**3 + 4*u**2 + u - 2. Let s be a(-2). Suppose -g - 4*l + s = -l, 2*g - l = 8. Suppose -g*y + 320 = 2*q, -5*q - 102 = -0*y - y. Is y prime?
False
Let k = -81 + 66. Is 5/k - 1/((-9)/876) prime?
True
Let y = 173 + -141. Suppose -3*t + 1 = 4*b - y, 2*b = -5*t + 55. Suppose -t*c - 5965 = -16*c. Is c a prime number?
True
Let s be (-171)/(-6) - (1 - 4/8). Let o be s/16*1*-8. Let c(d) = -d**3 - d**2 - 11*d + 3. Is c(o) a composite number?
True
Suppose 0 = -t + 5*t - 960. Suppose -3*q + 99 = 3*a - 2241, -2*a = -5*q + 3879. Suppose t = -3*k + q. Is k prime?
True
Suppose -9*i = 3*i - 60. Suppose r - 114 = -4*s + 569, 2*s = -i*r + 3343. Is r prime?
False
Suppose 0 = 3*u - 8*u + 47180. Suppose 5*j + 1044 = 3*x + u, 4 = 4*x. Is j a prime number?
False
Let o be ((-624)/(-65))/(2/(-10)). Let v be (63/12)/((-3)/o - 0). Let s = 139 - v. Is s prime?
False
Is (10136920/(-280))/(2/(-14)) a prime number?
True
Let s = -2855 - -4706. Let z = -480 - -1038. Let w = s - z. Is w a prime number?
False
Let i(w) = 151*w**2 - 9*w + 33. Let c be i(8). Suppose -c = 11*n - 30866. Is n a prime number?
True
Let z(o) = -446*o - 3. Let a = 25 - 45. Let b = 19 + a. Is z(b) composite?
False
Let j(y) = 4*y + 27. Let w be j(-7). Let z be 42/28*(w - -3). Suppose 3*h - 3 = 0, m + 5*h = -z*m + 417. Is m prime?
True
Let s = 42 - 40. Suppose 5*d + 3568 = 2*y, 2*y - 1426 = s*d - 0*d. Is (1 - 5)*(d/8)/3 a composite number?
True
Suppose 0 = 62*x - 70*x - 24. Let g(q) = -2294*q - 17. Is g(x) a composite number?
True
Let q(w) = 12*w**3 + 11*w**2 + 14*w - 184. Is q(17) a prime number?
True
Let d = 130406 - 49015. Is d prime?
False
Suppose 520411 + 203031 = 46*l. Is l a prime number?
True
Let l be (-19)/133*14/4*-7248. Let p = l - -95. Is p prime?
True
Let s(w) = -2*w**2 + 18*w + 16. Let q = -30 - -40. Let g be s(q). Is 3/(6/4744)*g/(-16) prime?
True
Suppose 0 = 3*o - 21, -3*z + 97213 = 2*o - 13120. Is z a prime number?
False
Let u be -8 - (-2 - -2 - (-4 - -7)). Is 785/u*(-39 - -2) a composite number?
True
Let d = 1104 + -1826. Let h = d + 2083. Is h composite?
False
Let q be ((-5700)/9 + -1)*6. Suppose -5*r - 5*i = 27780, -5*i + i - 16673 = 3*r. Let f = q - r. Is f prime?
False
Suppose 5*q = -4*t + 75 + 293, -3*q = 0. Let a = -89 + t. Suppose 4*w + i - 148 = -0*w, a*w + 3*i = 111. Is w prime?
True
Suppose -4*f - 2*h + 5403840 = 0, -1845915 = -2*f - 3*h + 856009. Is f prime?
True
Let o(q) = 190493*q**2 + 212*q - 628. Is o(3) a composite number?
True
Suppose -2*d - 2*x = -295404, 4*d - 132404 = x + 458399. Is d composite?
True
Let m = -8745 + 4136. Let i = -1370 - m. Is i a composite number?
True
Suppose 0 = 4*r + 3*n - 32, -4*n + 24 = 3*r - 2*n. Suppose -13*s + r = -5*s. Let p(g) = 291*g**2 + 4*g - 2. Is p(s) prime?
True
Let j(q) = 2252*q**2 + 24*q + 101. Is j(-9) composite?
False
Let i(p) = 4*p - 5*p + 0*p + 2*p - 13. Let j be i(15). Is 33/(-15) + j - (-34392)/60 composite?
True
Let z(w) = -752 - 11*w + w**3 + 795 + w**2 - 18*w**2. Is z(22) a prime number?
True
Suppose -n = 5, 3*b - 18*n + 22*n = 196201. Is b a prime number?
True
Let d(s) = 33 - 6 + 74 - 244*s + 0. Is d(-8) a prime number?
True
Let g(r) = -r**3 + 21*r**2 - 19*r - 5. Let v be g(20). Suppose -12 = v*u - 18*u. Suppose -5*s = 2*y - 2391, u*s = y - 375 + 2293. Is s composite?
False
Suppose -52*m + 82060 = -50*m + x, -4*m - 5*x = -164102. Is m composite?
True
Suppose 4*r = 4*i + 2435072, i + 2435099 = -20*r + 24*r. Is r composite?
True
Let g(l) = -2800*l - 71. Let m be g(-3). Suppose -2*i + 5548 = 18*c - 17*c, 3*i - m = -5*c. Is i composite?
True
Let y(k) = -2*k - 57. Let a(d) = -d - 56. Let t(i) = -2*a(i) + 3*y(i). Let s be t(-20). Let m(c) = 2*c**2 + c - 52. Is m(s) a composite number?
True
Let d(i) = -24*i**2 + 10*i + 95. Let t be d(-5). Let m = t - -4544. Is m a composite number?
False
Suppose 0 = 12*r + 4*r - 48. Is (5/(-10))/((r/26614)/(-3)) a prime number?
False
Let q(j) = 47*j + 2. Let h be q(-3). Let b = -13 + h. Is -1 + -3*b/12 a composite number?
False
Suppose 15*n - 37736 = 3*n + 4*n. Is n composite?
True
Suppose -4*z - 1 = -3*p + 5, 4*p + 5 = z. Let n be z/(-1)*(-19 - -20). Suppose -5*o = -b - 125 - 899, n*o = -4*b + 619. Is o a prime number?
False
Suppose -22*g - 175326 + 805428 = 0. Is g prime?
False
Suppose 11278*m + 35467699 = 11297*m. Is m composite?
False
Suppose -28*t + 900 = -10*t. Suppose -11406 = 44*m - t*m. Is m composite?
False
Let s(j) = -262*j**3 + 51*j**2 + 17*j - 249. Is s(-19) composite?
True
Suppose 7*n + 127713 + 47847 = 0. Let d = -10891 - n. Is d prime?
False
Let s be (7/14)/(4/28448). Suppose -3*m - u = -6*u - 3563, 0 = 3*m + 2*u - s. Is m a composite number?
True
Let g = -16213 + 36904. Let c = g + 4718. Is c a prime number?
True
Suppose -4*y + 2*w - 2308 = 0, w + 2878 = -2*y - 3*y. Suppose -2694*l + 2695*l - 985 = 0. Let t = l + y. Is t prime?
True
Let a(w) = 15*w - 28. Let t be a(-4). Let j = -88 - t. Is -1 - (4 + (1 + j)*-146) composite?
True
Let x = 1576586 - 994513. Is x composite?
True
Suppose -61*d = -23364656 + 5992893. Is d prime?
True
Let z = 268 + -133. Let o = 4102 - z. Is o prime?
True
Let o(b) = -b**3 + 2*b**2 - 4*b + 3. Let a be o(0). Let u(z) = 218*z**2 + 12*z - 13. Is u(a) composite?
True
Let t = -269 - -299. Is -3 + ((-39189)/(-15) - 18/t) prime?
True
Let b(o) = 39*o**2 - 2*o + 1. Let r = -63 - -19. Let t = -48 - r. Is b(t) composite?
True
Let h(s) = 3126*s**2 + 44*s + 95. Is h(9) a composite number?
True
Let d = 48 - 52. Let x be 18/12 - (6/d)/(-3). Is (-7 - -5 - -980) + 1/x composite?
True
Let k = -49997 - -71866. Is k a prime number?
False
Let c(g) = -g**3 - 3*g**2 + 4*g + 3. Let j be c(-4). Suppose 5*o - 5701 = j*n, 4*n + 2*o + 4116 + 3520 = 0. Let p = 1680 - n. Is p composite?
True
Let p(b) = -2*b**3 - 13*b**2 - 26*b - 259. Is p(-48) a composite number?
True
Let o = -176 + 252. Let u = -13 + o. Let a = 316 + u. Is a a prime number?
True
Let m(z) be the first derivative of -36*z**4 - z**2 - z - 3. Let l be m(-1). Suppose 0 = -4*g - 2*b + 107 + 467, -2*b = g - l. Is g a composite number?
True
Let w(y) = -y**2 + y + 9. Let z be w(3). Is (40/24 - 2) + 89752/z a composite number?
False
Suppose 2*d = 3*p + 2302810, -90*d - 1151423 = -91*d - 3*p. Is d composite?
True
Suppose -113*g - 239*g + 7819387 = -71*g. Is g a prime number?
True
Suppose 2*z = 1653*l - 1655*l + 177300, -5*l + 3*z + 443194 = 0. Is l a prime number?
True
Let z(k) = 8*k + 10. Let u be z(9). Suppose 3*p - 1453 = -5*r, -r + 369 = -3*p + u. Let d = r + -163. Is d a composite number?
False
Let y(m) = -2*m**3 + 53*m**2 - 40*m + 29. Let x be y(31). Let d = 27273 + x. Is d a prime number?
False
Let m(o) = 5011*o + 877. Is m(26) a prime number?
False
Let s = 16483 - -1407. Suppose -24*t + s = -70214. Is t composite?
False
Is 54878 + -18*(-9)/(-18) composite?
False
Let p(r) = r**2 - 15*r + 18. Let h be p(14). Suppose 10 = 2*q + h. Is (5 - q) + 213/1 a prime number?
False
Suppose -17*p + p - 16 = 0. Let q(w) = -35767*w**3 - 9*w**2 - 3*w - 2. Is q(p) composite?
False
Let q(x) = -x**2 + 8*x - 14. Let g be q(8). Let f = g + 18. Suppose f*w - 1257 = -3*t, -3*t - w = t - 1676. Is t composite?
False
Let d = 27065 + 95501. Is d a prime number?
False
Let z = -258 - -245. Let i(c) = 18*c**2 - 9*c + 22. Is i(z) a prime number?
True
Let o be 10/25 + 13753/5. Let n = -249 + 255. Suppose -n*a = -9*a + o. Is a a composite number?
True
Suppose 3*b + 204*c = 208*c + 970635, -b + 2*c + 323545 = 0. Is b prime?
False
Let k(j) = 20*j**3 - 43*j**2 + 3*j - 985. Is k(32) a prime number?
True
Let r(t) = 5399*t**2 + 24*t + 3. Is r(2) composite?
False
Suppose -7*k + 6 = -6*k, 0 = d - 4*k - 338473. Is d a composite number?
False
Suppose -128 = -3*u + 5*i, 5*u + 4*i = 276 - 1