 Let s be j(-3). Suppose 4*h - 4*c - 3604 = 0, -5*h - s*c = c - 4475. Is h composite?
True
Suppose a = -11*a + 6*a. Suppose -3*r = -2*j + 74785, a*r - 37380 = -j - r. Is j a prime number?
False
Suppose 3*v + 59 = -3*n - 133, 370 = -5*v + 5*n. Let f = 74 + v. Suppose 0 = -f*m + 11*m - 3558. Is m a prime number?
True
Suppose 56*p - 5473453 - 4996523 = 11621072. Is p a composite number?
True
Suppose 3*r + 26 = 5*j, -j = -4*r - 4*j + 4. Let k be ((0 + -4197 - 4)*-2)/r. Let u = 6516 + k. Is u a prime number?
False
Let n = 33766 + -23298. Suppose 0*a = -4*a + n. Is a a composite number?
False
Let w(q) = -7*q**2 + 42*q + 5. Let t be w(6). Let m be 2/(-5*t/(-50)). Is (1 - 2 - (-8)/m)*859 a prime number?
True
Let j(h) = 252*h**3 + 12*h**2 - 117*h + 989. Is j(16) a composite number?
False
Suppose 48048 = -9*p + 20*p. Suppose 3*k - 6471 = p. Is k composite?
False
Suppose -4*x + 1143491 = -1309702 + 125509. Is x a composite number?
False
Is (55359183/345 + -2 + 5)*(-10)/(-4) a prime number?
True
Let v = -59 + 64. Suppose -2*m + 4*f + 12 = -0*m, -5*m - v*f = 0. Is 16624/(-40)*(-5)/m a composite number?
False
Suppose -105794 = -3*u + 2*b + 72773, -4*u + 238101 = -5*b. Is u prime?
False
Suppose -2*o - 2*y = 98, 0 = -o + 3*y - 2*y - 41. Is (-19946)/(-12) - o/54 a composite number?
False
Let y(r) be the first derivative of 179*r**2/2 - 33*r + 30. Let k be y(5). Let f = k - -1125. Is f composite?
False
Let d be (2 - 3)/(4*9/(-72)). Suppose 5*b = -d*v + 10023, -12*v = -3*b - 14*v + 6013. Is b composite?
True
Let b(l) = -22*l**2 - 1. Let i(h) = 23*h**2 - h + 1. Let d(v) = 6*b(v) + 7*i(v). Let w(a) = -61*a + 798. Let m be w(13). Is d(m) a composite number?
False
Suppose 6*w + l = 5*w + 457, -l = -4*w + 1828. Suppose 5*k + 5*p - 2235 = 0, w = 3*k - 2*k - 4*p. Is k a prime number?
True
Is (-8)/2*((-80088)/32 - -1) a prime number?
True
Let a be ((10 - 5)/(-15))/((-2)/12). Is (-1)/a*17/((-153)/298854) a prime number?
True
Let l(m) = 369*m**2 + 183*m - 661. Is l(57) composite?
False
Suppose 3*p + 2*f = 155671, -p + 3*f - 22306 = -74211. Is p a prime number?
True
Suppose -18*c + 23*c = 20. Suppose 41 + 67 = -c*w. Is (2518/6)/((-3)/w*3) a composite number?
False
Let u = -335 + 468. Suppose 135615 = -u*z + 148*z. Is z a composite number?
False
Suppose -5*o = -5*m - 405, 6*o = -4*m + 7*o - 339. Let n = m - -87. Is (-10 - 0)*-79 + n a composite number?
True
Suppose 0 = -22*q - 65716 + 226668. Is q + 2*3/3 composite?
True
Let o(i) = 4*i + 68. Let c be o(-18). Suppose -3*d + k = 2*k + 22, 5*d - 5*k = -50. Is c/(-14) + 790*d/(-28) composite?
True
Let f(b) = 282*b**2 - 11*b + 417. Is f(-24) a prime number?
False
Suppose -7*h = 2*h - 1793475. Let l be ((-72)/(-15))/((-10)/h). Is l/(-54)*6/4 a prime number?
True
Suppose 8400 + 5044 = 4*b. Let o = b - 6645. Let r = o + 4977. Is r prime?
True
Let q = -52 - -24. Let f(w) = -260*w + 197. Is f(q) a prime number?
True
Let c = 31912 + -20111. Is c prime?
True
Let o(g) = -g**2 + g + 107. Let w be o(18). Let x = w - -2165. Is x a prime number?
False
Let z be 58 + 0 - (8 + -5). Suppose z*y + 24 = 59*y. Suppose r = y*r - 2965. Is r a prime number?
True
Let f(o) be the first derivative of 23*o**3/3 + 12*o**2 - 17*o + 7. Is f(-6) a prime number?
False
Let w = -31 - -52. Let y(l) = 38*l - 70. Let t be y(w). Suppose 0*g + 3*g = -4*c + t, 0 = 2*c - 4*g - 386. Is c composite?
True
Suppose 5*r = 2*b - 31, -8*r - 41 = -4*r - 7*b. Let u(y) = -3*y**2 - 5*y**3 + 12 - 3*y - 3 + y**3. Is u(r) composite?
False
Let y = -2952 + 12592. Suppose o = 1, -10*a + 12*a = 2*o + y. Is a a prime number?
False
Let z be 17 + -16 - -2*(-766)/(-4). Let o = z - -65. Is o composite?
False
Is 47761*(-4)/52*-13 prime?
False
Is 1 + (0 - (-188)/8)*(10317 + 15) prime?
False
Let d = -2132 - -5614. Is d composite?
True
Let j be (-20380)/(-14) + 50/175. Let f = -762 + j. Is f a prime number?
False
Suppose -k - 117 = 4. Let z = 56 + -20. Let u = z - k. Is u a prime number?
True
Let z(f) = -4*f**3 + 2*f + 1. Let b be z(-1). Suppose 0 = b*y - 14*y + 22. Suppose p + y*p = 363. Is p a prime number?
False
Is 20*((-6003760)/(-64) + -3) a prime number?
False
Suppose 181*a = 183*a - 3*f - 229314, -4*f - 343971 = -3*a. Is a a composite number?
True
Let w = 16153 - 9522. Let u = w - 3734. Is u a prime number?
True
Let d(q) = -496002*q - 65. Is d(-1) a composite number?
True
Let s be 6*-1 + (-1)/(-1). Is (1706 - s) + -3 + 2/2 a composite number?
False
Suppose -162*j - 15027993 = -27316757 - 23762878. Is j a composite number?
True
Let f = 100 + -95. Suppose -3*p = -5*i + 37, 0 = 3*i + 2*i + f*p - 5. Suppose -i*n + 4*s = -1463, 0 = -4*n - n - s + 1453. Is n a composite number?
True
Suppose 0 = -33*d + 54*d - 5507816 - 6029227. Is d a prime number?
False
Let j = 8438 + -3477. Suppose -2*w + j = 3*h, 2*w - h - 6903 + 1946 = 0. Suppose -7*g = -w - 48. Is g composite?
True
Suppose -14*j - 6 = -15*j. Suppose 4*v = 2 + j. Suppose 2405 = 4*b - 3*m, b = v*b + m - 596. Is b a prime number?
True
Let f(w) = -2*w - 70*w**2 + 61*w**2 + 4 - 2. Let z be f(3). Let g = z - -819. Is g composite?
True
Let q(l) = -4123*l - 1244. Is q(-27) a prime number?
False
Let g = 103544 - -133135. Is g composite?
True
Suppose -26371 = 26*z - 31*z + 6*m, -m = -4*z + 21093. Is z a composite number?
False
Let j = 15 - 13. Let c be j/(-10) - -1746*3/15. Suppose -2*v + 2*i = -1394, -2*v + c + 1039 = -5*i. Is v prime?
False
Let l(f) = f**3 + 36*f**2 - 85*f + 42. Let v be l(-37). Suppose -3*a = k - 1186, a - 348 = 2*k - 2734. Let d = v - k. Is d a prime number?
False
Let l(o) be the first derivative of 16/3*o**3 + 6*o**2 + 25 + 1/4*o**4 - 14*o. Is l(-15) composite?
False
Let y(z) = 2*z**3 - 31*z**2 - 147*z - 159. Is y(55) a composite number?
True
Let d(l) = -22*l**2 - 10*l + 19. Let h(v) = 4*v - 6*v - v + 4*v. Let y(w) = -d(w) - 6*h(w). Is y(9) a prime number?
False
Let n = 200050 + -139623. Is n a prime number?
True
Suppose 0 = -j - 4585 + 87840. Is j a composite number?
True
Suppose -6 = 4*c + 3*o - 72, -2*c - 3*o + 30 = 0. Suppose c*z - 7*z = 44. Suppose 4*y + z*f = -y + 16815, -4*y - 5*f = -13461. Is y composite?
False
Suppose -5*j - 32 = 3*s, -4*j - 6 = s - 0*j. Let k(h) = h**3 + 17*h**2 - 18*h - 11. Is k(s) a prime number?
True
Let v(d) = 558*d**2 + 89*d - 13. Is v(-6) a composite number?
False
Suppose -431*s - 1019355 = -446*s. Is s prime?
True
Let s(q) = 3000*q**2 - 1. Let x be 2*(-2)/(-8) - (-222)/(-148). Is s(x) a composite number?
False
Suppose 2*z + 10 = 0, z - 20 + 1 = -2*p. Suppose -2*y - 7*t + p*t + 1463 = 0, -3*y + 3*t + 2172 = 0. Is y prime?
True
Is (122 - -9 - 4)*59 composite?
True
Let m(s) = 204*s - 187. Let v(o) = o + 1. Let i(q) = m(q) + 4*v(q). Is i(25) a prime number?
False
Suppose 0 = -5*l - 5*p + 512840, 0 = -196*l + 194*l + 3*p + 205126. Is l a prime number?
False
Suppose 2269237 = 5*x - b, -2*x + b + 1015734 = 108038. Is x composite?
False
Let i = -57646 - -104853. Is i composite?
False
Let f be (-14)/(-35) - 248/(-5). Let b be 9/6*f/15. Let y(p) = 4*p**3 - 7*p - 2. Is y(b) a prime number?
True
Let b be 189/56 - -6*3/(-48). Suppose 0 = b*t - 5410 + 1975. Is t composite?
True
Let h(g) = -2*g + 26. Let d be h(11). Suppose 3*o - 3757 = -4*c, 2*o - o - 1263 = -d*c. Let n = -352 + o. Is n prime?
False
Let r(j) = 4152*j - 949. Is r(26) a composite number?
True
Let k(m) = 41*m**2 + 4*m - 4. Let u be k(8). Let p = 1633 - u. Let i = -296 - p. Is i prime?
False
Suppose 118*j - 62*j - 7603736 = 0. Is j prime?
True
Suppose -n + 9*t = 13*t - 134317, -3*n + 3*t + 402876 = 0. Is n composite?
True
Let z = 7147 + 48624. Is z composite?
True
Let f be ((-42)/(-8) - 1)*8. Let q = f - 31. Suppose 2*j + 5*b = 1038, -3*b - 1515 = -q*j - 0*b. Is j a prime number?
True
Let r(p) = 9*p**2 - 4*p - 1. Let b = 32 - 36. Let s be r(b). Suppose -2*u - s = -3*u. Is u prime?
False
Suppose -10*q = -17547 - 55643. Suppose 0 = -2*v + 3*v + q. Let p = -3740 - v. Is p composite?
True
Suppose 20*r - 112611 = 125409. Is r composite?
True
Let q(n) = -n**2 - n + 9. Let x be q(2). Is (-5 - (-14)/x)/(2/(-3246)) a prime number?
True
Suppose 1 = j, 3*k - 4*j - 1 - 4 = 0. Suppose -4*f + k*q = -5120, 2*f + 2*q - 3*q - 2562 = 0. Is f a composite number?
False
Let h be (65/(-15) - -8)*-1779. Is 3 - (-4 - -9) - h a prime number?
True
Suppose 3*u + 1029