+ 3*w + 6*b. Is w a prime number?
False
Let h be 266/10 - ((-68)/20 - -3). Let u be (-9)/h - (-10)/3. Suppose 3*p - b = b + 293, -3*p - u*b + 288 = 0. Is p prime?
True
Let a(i) = -18454*i + 499. Is a(-3) a prime number?
False
Let a(i) = -2*i**2 + 3*i + 7451. Suppose 19*w = -w. Is a(w) composite?
False
Suppose -7*s + 3*s - 64 = -4*c, 2*s = 3*c - 36. Let m(t) = t**3 + 18*t**2 + 7*t - 15. Let o be m(s). Suppose -97 - 70 = -b - 2*u, 5*b - 4*u = o. Is b prime?
True
Let m(g) = 2101*g**2 + 93*g - 266. Is m(3) a prime number?
False
Is (-402692 + -86)/(-2 + 0) prime?
True
Let x be (-12)/(-2) + (0 - -3). Suppose 0 = -x*c - 2394 + 24651. Is c prime?
True
Suppose -12*a + 2887 = 487. Let m = -317 - -740. Let d = m - a. Is d prime?
True
Let i(v) = v**3 - 18*v**2 - 6*v + 19. Let q be i(21). Let x = 2423 - q. Is x composite?
True
Suppose -1138*b - 858234 = -1144*b. Is b a prime number?
False
Suppose 20 = 4*f - 28. Let m be (-8)/f + (32/6)/2. Suppose 0 = -5*v + m*v + 2517. Is v a prime number?
True
Let h be 8*(44/(-16) + 1 - -2). Suppose 5*x + 25 = -5*o, 3*o + 7 = -h*x + 4*o. Let q(j) = -17*j**3 + 4*j**2 - 1. Is q(x) prime?
True
Suppose 10*n - 23 = 7. Suppose -11*r + 102 = n. Suppose 0 = r*z - 157 - 932. Is z a composite number?
True
Let u(i) = i. Let l(t) = 7*t**2 - 4*t - 44. Let v(n) = l(n) - 2*u(n). Is v(-17) a prime number?
True
Suppose 4*n + 4 = -2*l + 6, -n - 5*l = -5. Let u be (-2)/1 + (2 - n - -2). Suppose 0 = -2*x - 2*h + 894, 0*x = 4*x + u*h - 1784. Is x prime?
False
Let c be 1 + (-30)/(-14) + (-180)/(-210). Suppose -c*u + 132184 = d, 4*u = 13*d - 16*d + 132176. Is u prime?
False
Let b(g) = -14*g - 191. Let k be b(-30). Suppose k*n = 222*n + 8953. Is n a composite number?
False
Suppose -16030463 - 38161212 = -30*v + 5*v. Is v a composite number?
True
Suppose -8*x = -1375482 - 688366. Is x prime?
True
Suppose -2*t + 8*b - 3*b + 271693 = 0, 0 = -4*t + 2*b + 543394. Suppose -331*r + t = -324*r. Is r prime?
False
Let x = -27474 + 60853. Is x a composite number?
True
Let i = 35042 + -9436. Let z = i + -14061. Is z a prime number?
False
Suppose -b + 100265 = 2*c, 0 = -5*b + c + 553704 - 52368. Is b a prime number?
True
Let m(d) = -d**3 - 7*d**2 - d - 4. Let f be m(-7). Suppose 1444 = -j + f*j. Let w = -135 + j. Is w composite?
False
Let i(z) = -8586*z - 221. Is i(-4) a prime number?
True
Suppose -3*y + 527830 = -59*j + 61*j, 3*j - 791752 = -y. Is j a prime number?
False
Let f = -30392 - -29756. Suppose 7*r = 3*r + 7448. Let v = f + r. Is v composite?
True
Let a(d) = -5196*d - 25. Let l be a(1). Let j = 8970 + l. Is j prime?
False
Suppose 60 = -3*h + 3*m + m, -5*m = -3*h - 63. Let f be (-15 - h - (-6)/(-2))*-58. Let q = 75 + f. Is q composite?
False
Suppose -4*m - 3*d + 8 = 27, 0 = -4*d - 4. Suppose 1 = -2*q + 3. Is -5 - (m + q) - -60 a prime number?
False
Suppose -3*a = -4*a + 1114. Let z = a + -1560. Is 4/(-34) + z/(-34) composite?
False
Let f be 11/(33/12) + -4 + 278. Is f/((-2)/(-174)*(-24)/(-4)) prime?
False
Suppose 5*k + 67049 = 2*s, -4*k + 8*k = s - 53641. Let i = -7418 - k. Is i prime?
False
Let g(c) = -39*c**3 + 3*c**2 - 2*c. Suppose 13 = -3*p + 1. Let l be g(p). Let m = -1755 + l. Is m a prime number?
True
Suppose 3*a - w - 32 = 44, -3*a + 73 = 2*w. Suppose -8643 + 73868 = a*k. Is k prime?
True
Let m(h) = -203*h - 14. Let f be m(18). Let w = -856 - f. Suppose 4*g + w = 8*g. Is g composite?
True
Let t = 299 - -2754. Is t a composite number?
True
Let o be (2/6)/((-7)/(-42)). Suppose 3*g + 2*p = -o*g - 522, -4*g - 411 = -5*p. Let s = g + 235. Is s prime?
True
Suppose 3*s = -2*v - 1 - 0, 2 = -2*s. Let f be (8 + 2)/(v/2). Is 10388/f - 4/10 composite?
True
Suppose 5*k - 56698 - 270567 = 0. Suppose 4*n - k = -5*y, 8*n - 9*n = 3. Is y prime?
True
Let u be 12549/(-6)*(-2 + 40/5). Let y = u - -18530. Is y a prime number?
True
Suppose -k + 5*x = -231007, 0 = -4*k + 2*x + 187232 + 736724. Suppose 121345 = 12*d - k. Is d a prime number?
False
Suppose 19*x - 35481 - 121288 = 0. Suppose 13*w - 8*w + 4*c = x, -w = -5*c - 1656. Is w composite?
True
Let d(u) = 16*u - 2. Let s be d(3). Suppose -s*c + 31814 = -44*c. Is c a prime number?
True
Let c be (-48)/14 + (-6 - 315/(-49)). Is -2 + (c + -21039)/(-6) a composite number?
True
Let j = 12 + -8. Is 1567*2 + -6 + 5 + j composite?
False
Suppose -4*j + 12 = 0, -8*j + 4*j = 5*y - 72. Let i be 9*((-4)/(y + 0))/(-1). Suppose 0 = 3*g - 0*b - 2*b - 3823, g + i*b = 1289. Is g composite?
False
Let i(j) = -8*j - 45. Let v be i(-7). Let g(q) = 26*q**3 - 5*q**2 + 16*q - 38. Is g(v) a composite number?
True
Suppose 0 = -4*a - 14 + 18, 2*a - 17072 = -5*y. Let w = y + -1235. Is w composite?
False
Let d = -152 + 118. Is (d/238)/(1/(-3647)) a composite number?
False
Let j(t) = t**3 - 6*t**2 + 16. Let b be j(5). Let s(z) = -32*z + 18. Let d be s(b). Suppose -4*i = c + d - 807, -2*i - 2040 = -4*c. Is c a prime number?
True
Let v(o) = o**2 + 15*o - 3. Let y be v(-15). Let m(t) = -706*t - 11. Let d be m(y). Let c = d - 1493. Is c a prime number?
False
Suppose 0 = -3*v + 3*z - 111, 2*z - 3*z = -4*v - 133. Let p = v + 411. Is p prime?
True
Let d(c) = -c**3 + c**2 + 1. Suppose -2*l + 3*l - 1 = 0. Let o(w) = -5*w**3 + 19*w**2 - 7*w + 1. Let z(v) = l*o(v) - 4*d(v). Is z(8) prime?
True
Suppose -4*v + 3*j = -12166, 5*v - 2*j - j = 15206. Is (-1)/((-6)/18) + v prime?
False
Let w(x) = 18486*x**2 + 406*x + 2023. Is w(-5) prime?
False
Let z(p) = 22*p**2 - 8*p - 6. Let u be z(5). Suppose -7*s = -31*s + u. Is s a prime number?
False
Suppose 0 = 6*m + 9*m - 10122 - 22923. Is m composite?
False
Is (-1)/(-6) - 27511720/(-48) a prime number?
True
Suppose 150 = -u + 178. Suppose 4*d - 25407 = o, -6368 = u*d - 29*d - 3*o. Is d a composite number?
False
Let m(g) = g**3 + 3*g**2 + 1. Let k be m(-2). Let b be 4/22 - 3222/(-66). Suppose -b = -3*q + 5*r, k*q - 4*r + 26 = 99. Is q a prime number?
True
Suppose -5*y + 10264 = 5*q - 9131, -2*y = -q - 7770. Suppose 111 = 9*j + 57. Suppose 4*n - 3*i - y = -j*i, 2*i = 10. Is n a prime number?
True
Let d be 479/12*27 + (-1)/(-4). Let p = d - -463. Is p a prime number?
False
Suppose -829060 + 249351 = -23*i + 4040922. Is i prime?
False
Let v = -2668629 + 3988748. Is v a prime number?
True
Suppose 545*z = 537*z + 4209448. Is z composite?
True
Is (222/8*2)/(44990/22492 + -2) prime?
False
Let w be ((-48)/(-20))/(-6) - (-34)/10. Suppose 2*d - 4*k = 334, d - 644 = -w*d + 2*k. Suppose -i + d = 5*p - 44, -2*p = -i + 231. Is i composite?
False
Let b(u) = -142*u + 81. Suppose 6*g = g - 4*k - 8, g - 4*k + 16 = 0. Is b(g) prime?
False
Let x(k) = 996*k**2 - 35*k - 105. Is x(-4) a composite number?
False
Let d = 49 - 30. Let l(f) = -d*f**3 + 9*f - 13 - 2*f + 22*f**3 + 3*f**2 - 18. Is l(14) a prime number?
True
Suppose -5*c - 390705 = -5*q, -4*q - 5*c + 330154 = 17626. Is q composite?
False
Let t = -86581 + 138510. Is t a prime number?
True
Let q be 124/44 - ((-84)/(-22) + -4). Is q*1/(-5 - 131138/(-26227)) prime?
True
Let r = -988 + 993. Suppose -z = r, -z - 2*z - 595 = -4*j. Is j a prime number?
False
Let c be (3 - 15)/((-5)/(-3040)). Let p = -5115 - c. Suppose 2*m - o - 1083 = 0, 0 = -2*m - 2*m - 3*o + p. Is m prime?
False
Let b(c) = 10*c**2 + c**3 - 7 + 0*c - c + c**2. Let x be b(-11). Suppose 0 = r - x*k - k - 1414, -2*r = -3*k - 2807. Is r composite?
False
Let n(z) = -9*z + 3*z**2 + 23*z**2 + 32 + 0*z**2. Is n(7) a prime number?
False
Suppose -2*p = 4*p - 104568. Suppose -9*m + p = 5152. Let t = -463 + m. Is t a composite number?
True
Let r(n) = 44*n**2 - 49*n + 145. Is r(-16) a prime number?
False
Suppose 12*r + 17*r = 0. Is (-5890 + -7)*(-1 + r) composite?
False
Suppose -7*h + 1604754 - 366293 = 0. Is h prime?
True
Let g(u) = 14649*u + 733. Is g(4) a prime number?
False
Suppose -4*p + 3*i + 3 = -p, 4*p + 41 = -5*i. Let x be (56/3)/(11/3 + p). Let n = 82 + x. Is n a composite number?
True
Suppose 3*h + 3*w + 594 = 0, -4*h + 4*w = -5*h - 192. Let a = 1285 - 759. Let i = a + h. Is i prime?
False
Let v(x) = -x**3 + 16*x**2 - 13*x + 8. Let p be v(15). Let y = p + -34. Is ((-1)/(-4)*y)/(4/2564) prime?
True
Let u be -2 - -1 - -2 - (4 + -6). Suppose 0 = 2*b + 2*t - 362, t + 542 = u*b + 5*t. Let m = b + 3. Is m a composite number?
True
Suppose 36 = 3*w + 12*h - 17*h, 2*w = -2*h + 8. Let p(m) = 44*m - 6. Let i be p(9). Suppose -i =