umber?
False
Let d(c) = 29*c**2 + c + 2. Let n be d(-6). Suppose -5*j - 4540 = n. Is (4/(-6))/(8/j) composite?
True
Let p(r) = 171*r + 1. Let i(q) = -514*q - 2. Let z(a) = 4*i(a) + 11*p(a). Is z(-2) prime?
True
Suppose 4*y = -2*v + 10, -2*y + 0*y - 5*v - 7 = 0. Suppose m = y*w - 14354, -4466 - 9880 = -4*w + 5*m. Is w a prime number?
False
Let x(b) = 3221*b + 14. Is x(13) a composite number?
False
Let c(b) = -b**3 - 5*b**2 - 2*b + 5. Let x be c(-5). Let l be (x/9)/5*-6. Let v(m) = -71*m**3 - 3*m - 1. Is v(l) a composite number?
True
Suppose 0 = 2*o - p - 559, -2*o + 3*p + 335 = -222. Suppose 9*z = 13*z - o. Suppose z = t + 11. Is t a prime number?
True
Suppose 46*i = 34*i + 758892. Is i composite?
False
Suppose -20 = 5*h + 15. Let i = -896 + 888. Is (-10)/(h/((-196)/i)) a prime number?
False
Let u(v) be the third derivative of 71*v**4/8 - v**3/6 + 5*v**2. Let s be u(2). Let b = s + 282. Is b prime?
False
Suppose 1324 = 7*j - 139. Is j prime?
False
Let s(u) = -u**2 + u + 4. Let b be s(2). Suppose 4*v + b*h = -3*h + 879, -v + h = -222. Is v prime?
False
Let a be (6/(-10))/((-8)/40). Let m(o) = -a*o + 7*o**2 - 3*o + 5*o - 13. Is m(-9) prime?
True
Let r(u) = -19316*u**3 + 3*u**2 + 4*u + 1. Let z be r(-1). Suppose z = -20*g + 24*g. Is g a composite number?
True
Suppose -v = -t + 21982, 5*t + 3*v - 92142 = 17792. Is t a prime number?
False
Let b = 44 + -50. Let t(u) = -6*u + 23. Is t(b) prime?
True
Let i be ((-2)/4)/((-30)/(-900)). Is (-3 - 4903/5)/(6/i) a prime number?
True
Suppose 18475 = m - 3*o, -4*o + 36959 = 2*m - o. Is m a composite number?
True
Let i(y) = y**2 - 15*y - 17. Let w be (-1 - 1)*(-5)/2. Suppose -b = v - 0*v + 7, w*b - 13 = -v. Is i(v) a prime number?
True
Let s = 87 - 89. Let v(p) = 15*p**2 - p - 7. Is v(s) a prime number?
False
Suppose -302*z + 295*z = -43001. Is z a prime number?
True
Suppose 6*j - 1790 = 12436. Is j a prime number?
True
Suppose 5*y + s = 5*s + 106545, -25 = -5*s. Is y a composite number?
False
Let x = -695 + 1795. Suppose 12 + 13 = 5*i. Suppose -w - r = -226, x = i*w + 4*r - 5*r. Is w composite?
True
Suppose -2289 = 21*i - 14616. Is i a prime number?
True
Is (25359 - -6)/3 + (-2)/(-1) a prime number?
False
Suppose -36 = 4*p + 4*u + 12, p = u - 8. Let q be 13692/9 + p/(-15). Suppose -5*o = -o + 12, -2*o - q = -4*m. Is m composite?
False
Let t = -635 - -3978. Suppose 2834 = k - t. Suppose 7*b - k = -2530. Is b a prime number?
True
Let q = 40 - 36. Suppose 170 = -q*f + 6*f. Is f composite?
True
Suppose -2*p = 1 - 5. Suppose p*m = -0*m + 14. Is 6/(9/m - 1) a prime number?
False
Let n(x) = -26*x**2 + x + 1. Let p(m) = 25*m**2 - m - 1. Let a(h) = 3*n(h) + 4*p(h). Suppose -4*g - 2 = -3*g. Is a(g) composite?
False
Let x(j) = -j**3 + 2*j - 4. Let a be x(-4). Let y = a - 21. Is y prime?
True
Let u(n) = n**2 + 5*n - 18. Let w be u(-8). Suppose -4*h + 606 = -4*l + w*l, -5*h + 760 = 3*l. Is h a composite number?
False
Is (14 + -12)/(-1 + (-5085)/(-5079)) prime?
True
Is 9221/((-6)/(-12)*2) composite?
False
Suppose -4*x = -5*i - 30, 2 = i + 4. Suppose -5*f + 4245 + 19343 = 3*d, 0 = -5*f - x*d + 23590. Is f a prime number?
False
Suppose -32*t - 6 = -34*t. Suppose -445 = -4*c + t*y - 6*y, -2*c + 225 = y. Is c prime?
False
Let p(c) = -c**3 - 11*c**2 - 12*c - 15. Let v = 20 - 30. Let g be p(v). Suppose z + 240 = 5*w - 391, g*z = -3*w + 401. Is w prime?
True
Let t(g) = -4*g**2 + g - 3. Let c(z) be the first derivative of 11*z**3/3 - z**2 + 10*z + 4. Let w(a) = -6*c(a) - 17*t(a). Is w(-8) composite?
True
Let y = 7087 + -3605. Suppose -2814 = 4*z - o - 16759, z + 4*o - y = 0. Suppose -2*l = 4*g - l - z, 4363 = 5*g + 4*l. Is g a prime number?
False
Suppose -4*v - 5*h = v - 10215, -h = 5*v - 10231. Is v a composite number?
True
Let t = 45 - -242. Is t - 2/(-4)*4 a composite number?
True
Suppose 5*k + 3*u - 3270 = 0, -2*k + 2*u - 1308 = -4*k. Suppose 5*v - 801 = k. Is v composite?
True
Let a(g) be the third derivative of -g**5/60 + 3*g**4/8 - g**3 - 6*g**2. Let z be a(8). Is (-3875)/(-40) + z/16 composite?
False
Let i(o) = 111*o**2 - 22*o + 59. Is i(-8) prime?
False
Let q = 415 + -290. Let a = q + -222. Let j = a + 155. Is j a composite number?
True
Let c be (1 + 1)/(2/417). Suppose 0 = 6*o - 9*o - c. Let z = -12 - o. Is z composite?
False
Suppose -w + 0*w + 3*i + 63 = 0, -3*i = -4*w + 234. Suppose w*u - 56*u - 1101 = 0. Is u prime?
False
Is (-9 - -16528)/(6/30 - 0) composite?
True
Let u(x) = x**2 + 1. Let j(k) = 17 - 2*k**2 + 0*k + 4*k**2 - 3*k - 3*k. Let z(y) = -j(y) + 3*u(y). Is z(-10) composite?
True
Let x be (-2)/(-2)*9/3. Suppose -x*i = a - 5*a - 616, -i + a + 206 = 0. Suppose 2*o - 234 - i = 0. Is o a prime number?
False
Let l be (-282)/(-14) + (-1 - (-18)/21). Is (-1 - -1) + l/(-4) + 70 a composite number?
True
Let y(p) = 48*p**2 + 6*p + 7. Let r(h) = -h - 1. Let g(x) = 4*r(x) + y(x). Suppose -9*v - 9 = 9. Is g(v) a prime number?
True
Let j(c) be the first derivative of c**3/3 + c + 3. Let a be j(0). Is (a - -2) + (-3740)/(-10) a prime number?
False
Suppose -14*m = -1991 - 43523. Is m a composite number?
False
Let z(y) = -7*y**3 + y**2 + 2*y - 2. Let w be z(1). Is (-18)/27 - 478/w prime?
True
Suppose -t - 20 = -0*t. Let l be (-85)/t + 3/4. Suppose -l*g + 597 = 2*r, 0 = 4*g + r - 2*r - 475. Is g prime?
False
Let o = -112 - -115. Suppose 4931 = 2*t + c, 2*c = 2*t - 4991 + 75. Suppose 4*m - h = 3284, -3*m + o*h + t = 4*h. Is m a composite number?
False
Let s be ((-14898)/(-65))/((-3 - -1)/60). Suppose h + 4 = 3. Is (h/4)/(9/s) a composite number?
False
Let s(p) = p**3 + 6*p**2 - 10*p - 11. Let v be s(-6). Let t = v - -202. Is t a composite number?
False
Let y = 18 + -5. Suppose y*c = 12*c + 411. Is c composite?
True
Let v(w) = -387*w + 1. Let n = -10 + 9. Let s be v(n). Suppose -j = 3*j - s. Is j a composite number?
False
Let r be ((-8032)/9)/(-2) + 20/(-90). Is (0 - r)/((-6)/21) composite?
True
Let p(g) = g**2 - 8*g + 2. Let z be p(8). Suppose 5*l - 2*h - 18 = -5*h, 2*h - 8 = -z*l. Suppose 6 - l = f, -2*b - 2*f = -940. Is b prime?
True
Suppose -276*s + 288*s - 257772 = 0. Is s a prime number?
True
Let c = 658 + -243. Suppose -f + c = -304. Suppose -3*m + 5*r = -f, -918 = -4*m - r + 10. Is m prime?
True
Is 1721/2*(-8)/(-20)*5 composite?
False
Suppose -c - 4 - 4 = 0. Let o be (-1)/4 + (-18)/c. Suppose -2*i + 40 = o*i. Is i composite?
True
Let j be 0*(2/(-4) + 0). Let h be 6*(-28 + j + -1). Is 2/((20/h)/(-5)) composite?
True
Let g = 23 + 564. Is g a composite number?
False
Let r(g) = 2*g**2 + 10*g - 5. Let s be r(-5). Let o(k) = -10*k**3 - 2*k**2 + k. Is o(s) prime?
False
Let b(d) = -10*d**3 - 4*d**2 + 3*d + 6. Let v = -19 - -13. Let l be b(v). Suppose 0 = 3*s + s - l. Is s prime?
False
Let z(f) = 2*f**3 + 15*f**2 + 8*f + 10. Let v be z(-7). Suppose 4*w - 246 = d - 2*d, 0 = -v*w + 15. Is d prime?
False
Let h(o) = -6*o**2 - 2*o**2 + 2*o**2 + 7 + 4*o + 0*o + o**3. Is h(6) a prime number?
True
Let i(a) = 4*a**2 + 3*a + 2. Let w be i(-2). Suppose 60 = -5*s - 2*t + 7*t, -3*s - 5*t - w = 0. Is (176/(-24))/(2/s) a composite number?
True
Let s(t) = -2*t**3 + 5*t**2 - 2*t - 5. Let k be (1 + 2)*(2 + -1). Suppose -3*x = -k, -b - 2*x - 3 = -x. Is s(b) prime?
True
Let l be 0/(-1 - (-1 - 3)). Suppose l = -3*q + 6, -5*a + 2*q + 1272 = -159. Is a composite?
True
Let u(l) = -l**3 - l**2 + l - 2. Let y be u(2). Let v be (-33)/y + (-3)/(-12). Suppose 130 = 2*n + 4*i, -10 = i - v*i. Is n a composite number?
True
Let m(j) = -42*j + 547. Is m(9) prime?
False
Suppose 108*f - 126*f = -800298. Is f composite?
True
Is 2/(-1*3/(-10407)) a composite number?
True
Let j be (9/15)/(1 + (-36)/40). Let b = 1 + 3. Suppose -5*f = b*w - j*w - 935, f = 2*w + 187. Is f composite?
True
Suppose -13*t + t + 10524 = 0. Is t prime?
True
Let f(a) = -a**3 + 29*a**2 - 46*a - 38. Is f(23) composite?
True
Let j = 122 + -104. Is (381/6)/(9/j) prime?
True
Suppose 118 + 3567 = 5*q. Is q composite?
True
Let b be -309 - ((-6)/(-8) + (-195)/52). Let w = b + 593. Is w prime?
False
Is 2 + (-8)/(80/(-1590870)) composite?
True
Suppose 0 = -4*c - 2*p + 2790, 0*c - 5*p = c - 675. Suppose 5*l + 0*l - 5*a = c, 0 = -2*l - 5*a + 245. Let b = l + -50. Is b a prime number?
False
Suppose 36*q - 100717 = 7*q. Is q a prime number?
False
Is 8/12*1074/(-8)*-14 a composite number?
True
Suppose 2*u 