0/4)/((-3)/u) prime?
False
Let n = -85205 + 156366. Is n composite?
False
Suppose -5*j = 5*s - 3500640, -6460*s = -5*j - 6463*s + 3500638. Is j a composite number?
False
Is ((-2)/(-3))/((-162)/(-243)) + 6 + 15952 composite?
False
Let g = 21020 + 3987. Is g composite?
True
Let d = 312704 - 182643. Is d a prime number?
False
Is (-3134875)/(-49) + 256/(-6272) a prime number?
True
Let k be (-9)/(-6)*30/9. Is 4/2*(k + (-6969)/(-6)) a composite number?
False
Let y be (-45)/3 - (1 - 2 - -4). Let x be y*(-6)/42 - (-4)/(-7). Suppose 3*i - 3057 = -x*h + 652, 9225 = 5*h - 2*i. Is h prime?
True
Let n be 50/15 + 2/3. Suppose 5*a + 46 = 2*l - 38, 0 = -5*a + n*l - 78. Let i = a + 523. Is i prime?
False
Let m = 450038 - 232881. Is m a prime number?
True
Let d(n) = 432*n - 611. Is d(25) a prime number?
False
Suppose -9*s + 5410530 + 4612473 = 0. Is s a composite number?
False
Let n = 70 + -47. Let b(i) = 23 - 5*i**2 - 5*i**2 + i**2 + 23*i + 8*i**2. Is b(n) composite?
False
Suppose 2*k - 508142 = 5*m, -35*k + 39*k - m - 1016284 = 0. Is k composite?
False
Suppose 61*j - 7072648 = -27*j. Is j a composite number?
True
Let z(i) = i**3 + 2*i + 2. Let n be z(0). Suppose -q - q - 2958 = -n*r, -r = 5*q - 1473. Is r prime?
False
Let b be 0 + 9*2/6. Suppose 0 = 2*m - b*m - 13. Let n(t) = -t**3 + 5*t - 21. Is n(m) a prime number?
True
Let q = 214255 + 355252. Is q a composite number?
False
Let m be ((-69)/(-6))/(2/20). Suppose -j - v = m, 4*j + 0*j - v = -445. Let t = j - -167. Is t a composite number?
True
Let n(q) = -15*q**2 - 11*q + 1. Let r be n(6). Let y be (132/88)/(-1 - r/604). Let o = 3037 + y. Is o a prime number?
True
Let i(f) = 21 - 6 + 23 + 4 - 61*f. Suppose 3*z + 42 = -2*a - z, 0 = 5*a + 2*z + 89. Is i(a) a composite number?
True
Is 14/(-49) + (-96)/(-42)*8016 a prime number?
False
Suppose -20*b + 427963 = -340657. Is b a composite number?
False
Let k(g) = -22189*g - 6452. Is k(-73) a prime number?
False
Let g(n) = -45*n + 95. Let i be g(2). Suppose 5*w = -4*s + 67511, -4*w - 13507 = -i*w - 2*s. Is w composite?
False
Suppose 0 = 2*m - 7 - 3. Suppose -3*k + 4*j - m*j + 20247 = 0, 27012 = 4*k - 4*j. Suppose k = 5*f + w, 8*f - 3*f - 3*w = 6770. Is f a prime number?
False
Is 0 - ((-37802367)/9 - (0 + 0/(-3))) prime?
True
Let f(m) = 20*m - 19. Let w(y) = 8*y - 31. Let j be w(6). Suppose -53 = -4*u - j. Is f(u) a prime number?
False
Let j = 73 + -69. Let a(k) = 132*k**2 - 3*k - 1. Is a(j) a composite number?
False
Suppose 10 = -2*a - 4*k, -11 - 1 = 4*k. Is a + 3157 + -6 + 15 + -4 a prime number?
True
Let n = 28 + -27. Let k(g) be the first derivative of 699*g**4/2 - 2*g**3/3 + g**2/2 + 38. Is k(n) a prime number?
False
Suppose -j - 8*j = -32508. Is (-1)/(-4) - (3 - j/16) a composite number?
False
Let y(n) = -2*n**3 + 29*n**2 - 39*n - 1. Let z(l) = -l**3 + 15*l**2 - 20*l. Let v(b) = 6*y(b) - 11*z(b). Let w be v(7). Let x = 21 + w. Is x composite?
True
Suppose -14*k - 2*k = -64. Suppose 0 = k*r - 5074 - 15538. Is r prime?
True
Suppose -3*t - 151 = 3*k - 4*t, 3*t - 245 = 5*k. Is -5 - 878*k/4 prime?
False
Let p(l) = l + 19. Let m be p(6). Let c = m + -31. Is (-2)/(-2 - 0) + (-1572)/c prime?
True
Let y = 1653 - -1488. Suppose 3*v = -j - 2*v + y, -2*j + v + 6282 = 0. Suppose 3*c - 3*s = 3156, -4*c - 2*s = -c - j. Is c prime?
True
Suppose 5*b - 10*f = -14*f - 15490, -9321 = 3*b - 3*f. Let w = -1409 - b. Is w prime?
True
Let y be (2*27505)/(1 - 6/4). Is ((-1)/(-1))/((-880164)/y + -8) a prime number?
False
Suppose 18*k + 382 = 1246. Is (-244544)/k*3/(-4) a composite number?
False
Suppose 513367 = -139*o + 159*o - 1099293. Is o a prime number?
False
Suppose -5*j = 2*f - 2*j - 6, -2*j = -4*f + 28. Let q(y) = 23*y**2 - 11*y + 41. Is q(f) prime?
False
Suppose 11*a - 316623 - 313996 = -0*a. Is a composite?
False
Is (5 - 3)/1 - (9 - 53094) composite?
False
Let q = -2 - 12. Is ((-8519)/q*-2)/(-1) composite?
False
Suppose 2*c = 5*c - 9. Let p = c + 11. Is 1530/14 - 4/p a composite number?
False
Let g(k) = 77854*k - 493. Is g(3) a composite number?
False
Let f be (42/5)/(69/13340). Suppose -f = -4*u + 2548. Is u a composite number?
True
Suppose -4*m - 524 + 12232 = 0. Let j = -978 + m. Is j prime?
True
Is (11141709/328)/((-12)/(-32)) a composite number?
False
Let r(s) = 358*s**2 + 72*s - 137. Is r(15) prime?
False
Suppose -277389 - 717675 = -8*j - 136688. Is j prime?
False
Suppose -3*p + 4 = -4*p, -2*n = 3*p + 12. Suppose n = 2*z + 3*c - 6*c - 23741, -z + 2*c = -11873. Is z a prime number?
True
Suppose -18*h - 10680 = 16410. Let a = -787 - h. Is a a composite number?
True
Let f = 184 + -104. Suppose 0 = f*p - 75*p - 15. Suppose -p*s = -3694 + 397. Is s prime?
False
Suppose 42*t - 212218 = 392918. Suppose 0 = -d + t + 335. Is d composite?
True
Let u(o) = 21*o - 59. Let y be u(3). Suppose 0 = -y*b + 4*m + 7376, 0 = b + 7*m - 4*m - 1856. Is b a composite number?
False
Let a = -29 - 1211. Let d = 132 + a. Let b = d + 1787. Is b composite?
True
Let c be -1 - 1 - (-15)/(-1). Let t(v) be the first derivative of 7*v**3/3 - 27*v**2/2 + 13*v + 495. Is t(c) composite?
True
Is ((-34)/(-14))/(70/185710) a prime number?
False
Suppose 3*z = -5*c + 38, 0 = 4*z - 3*c + 5*c - 60. Suppose z*r = 17*r - 1339. Is r a composite number?
True
Let r(t) be the first derivative of 60 - 14*t**2 - 29 - 25*t - 2*t**2. Is r(-4) a prime number?
True
Suppose 0 = 3*f + 2*z + 18, f + 2 = z - 4. Suppose -5*n + g = 637, -n - 70*g + 65*g = 143. Is n/(-2) - (-1)/(3/f) composite?
True
Let z(t) = -6*t**2 + 6*t + 8. Let d be z(-3). Let k = -61 - d. Suppose 4*u + 4*w = 2792, w = -2*u + k*w + 1408. Is u prime?
True
Let x = 428014 + -281831. Is x composite?
True
Suppose 264906 = 4*w + o, 0*w + 132444 = 2*w + 5*o. Is w prime?
False
Let d(q) = 2095*q + 9. Let l(f) = 4189*f + 16. Let z(m) = -7*d(m) + 4*l(m). Is z(8) composite?
False
Let v = -14970 + 38949. Is -2*v/(-6)*1 prime?
True
Suppose 4*q + 68 = -64. Is (40/(-22) - (-6)/q) + 1548 composite?
True
Suppose 2*l + 5*q = 5533, -5*l + 13880 = 2*q + q. Suppose a - 4*w - l = 0, w = -0 - 3. Is a a composite number?
False
Let f = -201661 + 337212. Is f a composite number?
True
Let o = -37 - -35. Let m be (-1)/((o/1)/8). Suppose -7683 = -m*i + 5129. Is i prime?
True
Suppose 13*w = 9132 + 26527. Let u = 157 - 267. Let p = w + u. Is p a composite number?
False
Let l be (-16)/6 - (-12)/18. Let b be l/(-3)*-5*36/24. Is -802*(-2)/10 + (-3)/b composite?
True
Suppose 186*n - 1702 = 182*n + 140654. Is n composite?
True
Suppose -1880488 = -12*q + 1105597 + 1743031. Is q composite?
True
Let j = 650384 - 441775. Is j composite?
False
Suppose 28400 = 4*m + m. Let z be -3 - ((-9)/18)/(2/m). Suppose -3*h + 4922 = 5*l + z, 0 = -2*l + 4. Is h prime?
False
Is ((-6)/4)/(3/((10 - 12)*51931)) a prime number?
False
Let f = 49753 - -52348. Is f composite?
False
Let p(s) = -s**3 - 5*s**2 + s + 11. Let m be p(-5). Is m + (-1)/((-3)/4704) a prime number?
False
Let i(l) = 466*l - 7867. Is i(71) prime?
True
Suppose 97*k = -21*k. Let x(q) = -6*q**2 - 16*q + 254. Let r(d) = -d**2 - 3*d + 51. Let m(n) = 11*r(n) - 2*x(n). Is m(k) a composite number?
False
Let i = 166 + -167. Let n(p) = -3164*p**3 - 2*p**2 - p. Is n(i) composite?
False
Let b be (-9 + -6 + -2381)*(-1)/1. Let i = b - 423. Is i prime?
True
Let l be 8/(-4 + 0) + 107. Let x = 518 - l. Is x a composite number?
True
Let r(o) = 44*o**2 - 4*o - 15. Let y(v) = -45*v**2 + 5*v + 15. Let f(u) = -4*r(u) - 5*y(u). Suppose -2*n - 4*c - 23 = n, 4*n = 4*c - 12. Is f(n) a prime number?
False
Is 0 + 94087 - (-1000 - -988) prime?
True
Is 1544/(-2316)*(-1860897)/2 a prime number?
False
Let o(x) = 25*x**3 - 6*x**2 - 3*x + 23. Let l be o(4). Is l + 36/27*-3 a composite number?
False
Suppose 30*p - 32*p - 421949 = -m, 4*p - 16 = 0. Is m prime?
False
Is -1 + 88949 - (-4 - (-5 - (-7 - -3))) prime?
True
Let o(l) = 6*l**3 - 2*l**2 - 3*l + 6. Suppose h - 22 = 5. Let z = -20 + h. Is o(z) prime?
False
Let n(v) = 6*v + 35. Let o be n(-4). Suppose o*l = 8405 + 98174. Is l a prime number?
True
Let v = -12 + -13. Let f be (-12)/8*(-1552)/6. Is (f/5)/((-10)/v) a composite number?
True
Suppose 24*q - 170641 - 1215485 = 1121082. Is q a prime number?
False
Let o(h) = 13*h - 12. Let y(t) = 13*t - 11. Let l(b) = 5*o(b) - 4*y(b). Is l(11) a prime number?
True
Let t(c) = -2731*c**3 - 4*c**