9 = 6*u. Let b = 1833 - u. Let k = -1103 - b. Is k prime?
False
Suppose g = 3*o - 187, g + 3*o = 10 - 173. Let q = 336 + g. Is q a composite number?
True
Suppose -5*x = 3*m - 11220 - 157822, 5*m = -5. Is x prime?
True
Let z(u) = 237819*u**3 + 5*u**2 - 2*u - 1. Is z(1) a composite number?
False
Let r = -11 - -15. Let n(w) = -88*w + 712. Let q be n(8). Is r*2/q*673 a prime number?
True
Let w = -19 - -21. Suppose -4*r + 2940 = -2*k, w*r - 2*k - 560 - 912 = 0. Is r composite?
True
Let p(q) = -3*q + 847 + 0*q + 1697. Let z be p(0). Suppose c + 1030 = 4*j - z, j + c = 891. Is j a prime number?
False
Let r = 5323 + -2690. Is r a composite number?
False
Let g = 660 + -1937. Let p be (-4)/(-14) + 15356/7. Let w = g + p. Is w prime?
False
Suppose -5*r + 3*z = -0*r + 105, -135 = 5*r + 3*z. Is 166090/(-15)*r/16 prime?
False
Suppose -42 = -5*u - u. Suppose -4*p + 38 = -5*m + u, 0 = -p + 2*m + 10. Suppose 2*v = -p*y + y + 239, 2*v + 5*y = 229. Is v a prime number?
True
Suppose 20 = 4*b - 2*z, -3*b + 2*z + z + 18 = 0. Suppose 2*k - 8 - 4 = 4*i, k - b*i = 8. Suppose -6166 = -6*g + k*g. Is g prime?
True
Let z be 4/(-34) + 152/1292. Suppose z = -65*a + 72*a - 23723. Is a prime?
True
Let g(h) = 780*h + 31. Let q(i) = -784*i - 31. Let w(b) = 5*g(b) + 6*q(b). Is w(-5) composite?
False
Let u = 408542 + -147933. Is u prime?
True
Suppose -913503 = -3*q + 4*d, -1218004 = -819*q + 815*q + 4*d. Is q prime?
True
Suppose 0 = -0*t + 4*t - 31956. Let b = 14689 - t. Suppose -5*a + 5*u + 265 = -b, -1381 = -a - 5*u. Is a a prime number?
False
Let i = -637 + 40. Let o = i + 2666. Is o a prime number?
True
Let j = 597843 + -269952. Is j a composite number?
True
Let d(z) = 2*z**2 - 4*z + 5. Let u be d(3). Suppose -l - 20 = -4*m, 2*l - 4*m - u = -31. Suppose 5*t = -3*b - l*b + 2073, t = -5*b + 3455. Is b prime?
True
Let c(v) = -5*v**3 - 7*v**2 - 5*v + 12. Let y be (0 - (0 + 2))*(-1 - -5). Let i be c(y). Let s = i - 1473. Is s a prime number?
True
Suppose 32*w - 29542601 = -22*w - 47*w. Is w a prime number?
False
Suppose -3*t + 78354 = -0*t - 3*s, -3*t + s = -78346. Suppose -z = -3*z + t. Is z a composite number?
True
Is (2 - 93525)/(7*12/(-84)) composite?
False
Let p = 2834 - 1237. Is p a prime number?
True
Suppose 408*z = 260*z + 3759052. Is z composite?
True
Suppose -5*v + 4*k + 978 = 0, -4*k + 606 = 3*v - 0*k. Suppose v = 2*d - 50. Let c = d - -61. Is c a composite number?
True
Suppose -247*m + 11722932 + 141191063 = 0. Is m a composite number?
True
Suppose 0 = 3*c - 3, -3*s + 3*c - 124349 = -5*s. Is s composite?
True
Let l(m) = 1417*m + 28. Is l(17) a prime number?
False
Let l = -334105 - -500252. Is l composite?
False
Let l(v) = -64*v - 16 - 133*v - 128*v + 0. Is l(-3) a prime number?
False
Let s(i) = i**3 + 22*i**2 + 21*i + 33. Let r be s(-16). Suppose -24444 + r = -9*q. Is q prime?
True
Suppose y - 2*y = -8. Suppose d + 5*x = -y, -7*d + 3*x = -3*d + 78. Is (-30120)/d - (-2)/(-6) composite?
True
Let q(d) = -d**3 - 2*d**2 + d + 2. Let l be q(-1). Let k be (-2)/(-6) - ((-5009)/3 - -2). Suppose 2*j = -3*b + 5*j + k, 2*j + 10 = l. Is b a composite number?
True
Let t = -21 - -25. Suppose -2*p - t*v + 1884 = -0*v, 0 = 5*v + 25. Is p + (2 + 1)*1 + -2 a composite number?
False
Let f(o) = 113*o**3 + 15*o - 73. Is f(4) a composite number?
False
Suppose -3*d + 2772346 = l, -2*l - 336870 = -3*d + 2435473. Is d a composite number?
True
Let k be (-2)/(48/18) - (-9775)/4. Suppose -4*u + k = l, 4*l - 8*u + 5*u - 9848 = 0. Is l prime?
True
Let s(g) = g**3 + 121*g**2 + 169*g - 769. Is s(-106) a composite number?
True
Suppose -31*k = -3373077 - 12922166. Is k composite?
True
Is (-1 - -2)/((-13)/22009)*-7 composite?
True
Let p(m) = 6*m**2 - 22*m + 32. Let x(b) = 18*b**2 - 63*b + 96. Let o(w) = -8*p(w) + 3*x(w). Is o(15) a composite number?
False
Let v be (-1)/(1/((-75)/(-5))). Let y be 2/v - (-2196)/270. Suppose -y = -3*c + 1285. Is c a composite number?
False
Let i be (9 - 10)*20/(2/(-2)). Suppose -6*h + 5*h - 5*u = -i, 0 = 4*h - 2*u + 8. Suppose x - 278 - 423 = h. Is x a prime number?
True
Let j(t) = -16*t**2 + 2*t - 76*t**3 - 73*t**3 - 19 + 150*t**3. Let i be j(16). Is 3/(i/(33644/(-7752)) - -3) prime?
True
Let d = -748905 + 1293766. Is d composite?
False
Let u(m) = -2*m + 11. Let k(d) = d - 11. Let b(z) = -3*k(z) - 2*u(z). Let g be b(-9). Is ((-3262)/(-42))/(g/18) a composite number?
True
Let d = -315 + 323. Suppose d*c = 3*c + 128285. Is c prime?
True
Let j be (-11)/((-7)/(-112) + 0). Let l = j - -1089. Is l composite?
True
Suppose -5*r = -11 - 24. Suppose 71345 = r*v + 12*v. Is v a composite number?
True
Suppose a - 3*n - 111 = 182, -n + 3 = 0. Is (-1 - (-40886)/(-6))*(-453)/a prime?
True
Suppose -5*p - 3*u = -470732, 89*p - 88*p - 5*u = 94152. Is p a prime number?
False
Let q(v) be the first derivative of 3511*v**2 - 15*v - 169. Is q(2) a prime number?
True
Let s be (-34)/(-7) + (-28)/(-196). Let y(j) = 0*j - 5*j + 0 + 2*j**3 - 4*j**2 + 2. Is y(s) a composite number?
False
Let u(i) = 161*i - 8. Let c be u(1). Let m = 27 - 21. Suppose -m*q + 2427 = c. Is q prime?
True
Suppose 3*i + 2*i - 807 = 4*l, 4*l = -3*i + 497. Is i/(-1*(-1)/23) a prime number?
False
Let l(z) = -z**3 + 110*z**2 - 99*z - 121. Is l(41) a composite number?
True
Suppose 0 = -3*i - 5*p + 842188 - 241027, -6*i + 1202322 = -4*p. Is i a composite number?
True
Let q(y) = -150*y + 2*y**2 + 0 + 151*y - 3 + 1. Suppose -9 = 3*l - 3*f, -2*f - 2*f = 0. Is q(l) a prime number?
True
Let h(l) = 211*l + 28. Let t(f) = 1057*f + 141. Let i(w) = -11*h(w) + 2*t(w). Is i(-15) prime?
True
Let p(j) = 174*j**2 + 1 + 218*j**2 + 356*j**2. Is p(-1) a composite number?
True
Suppose 0 = 2*c + 1 + 119. Let n be 44/(-11) - (0 - c). Let r = 203 - n. Is r a prime number?
False
Let f(h) = -11*h - 5. Let y be f(-5). Suppose 40 = 5*z + y. Is (-235 - 0/2)/(z + 1) a composite number?
True
Let u = -72 + 62. Is (-629)/(5/u*2) composite?
True
Let t(n) = -128*n**3 + 2*n**2 + 2*n + 4. Let u be t(-2). Let z = 628 + -1029. Let p = z + u. Is p a composite number?
False
Let b(l) = 9*l**3 + 13*l**2 + 33*l - 82. Is b(15) prime?
True
Let n(a) = 3*a**3 - 17*a**2 + 21*a - 2. Is n(28) a composite number?
True
Let t(r) be the second derivative of 15*r**5 + r**4/4 - r**3/6 + r**2/2 - 4*r - 7. Is t(2) prime?
True
Let i(a) = 2*a - 4. Let f be i(4). Suppose 0 = 5*y + 20, 0 = f*d + 5*y - 5 + 1. Is 2 - -1 - d - -362 prime?
True
Suppose -20*m - 22092 = -8*m. Let a = 3170 + m. Is a a prime number?
False
Let u(h) = 33*h**2 + 56*h + 524. Is u(-53) a composite number?
True
Suppose 8*j - 5*a = 12*j - 10, -5*j - 2*a = -21. Suppose j*u - 27994 = 3*u. Is u a prime number?
True
Let z(v) = 71*v**2 - 3*v + 1. Let q(c) = 12 + 7*c**2 - 4*c**2 + 0*c**3 - 10*c + c**3 - 11*c**2. Let m be q(9). Is z(m) a composite number?
False
Suppose -4*c = -4*m - 9412, 0 = c - m + 3*m - 2359. Let o be (-4450)/(-356) + 10/(-4). Suppose 0 = -5*a + o*a - c. Is a composite?
True
Suppose -182993 = -4*s - 5*u, -1314*u + 1315*u + 228676 = 5*s. Is s a composite number?
False
Let m = -33 + 46. Suppose -5*p = -4*z + 5250, 10 = 3*p - 8*p. Suppose -z = 11*x - m*x. Is x a composite number?
True
Let n be 46/207 + (-106)/(-9). Is ((-3 - -2) + 18/n)*2638 a prime number?
True
Let t be (3/2)/(3/20). Let y be (-3)/(-6) - t/(-4). Suppose -z = y*z - 3188. Is z a composite number?
False
Suppose 5 - 7 = -s. Let m be s/3*(5 + 35/14). Suppose -2*w + 625 = m*c + 200, -3*c = -w + 218. Is w a composite number?
True
Let a(k) = k**3 - 95*k**2 + 89*k - 124. Is a(97) composite?
True
Let s be 1961 + 2 - (4 - 1). Let m = 488 + -484. Suppose -1798 = -3*q + 4*t - 321, 3*t + s = m*q. Is q composite?
False
Let q = 110 - 103. Let j be q/(-2)*(-240)/84. Suppose -2587 = 3*h - 4*h + 4*g, -5*g = j. Is h composite?
False
Let u be ((-56)/70)/(2/(-5)) - -2. Is 3819/u + ((-7)/(-28) - 0) a composite number?
True
Let u(k) = 2*k**2 - 23*k + 38. Let j be u(9). Is (14086 - 3) + j - -1 prime?
False
Let y be 3/5 + -8*(-4)/80. Is ((-17)/85)/(y/(-11855)) a prime number?
True
Suppose 12*l = -21 + 285. Let y(q) = -3*q - 5 + q**3 - 11 - 1 - 21*q**2. Is y(l) a prime number?
True
Let k(r) = -8. Let z(x) = -x + 1. Let s(c) = -k(c) - z(c). Let o be s(-4). Suppose 0*m - 2*d + 2151 = 3*m, -o*d = 5*m - 3586. Is m prime?
True
Let l = -46032 - -378469. Is l a composite nu