**2 - 13*t - 1. Let z be h(-3). Let n = z - -392. Let f = n - -652. Is f a composite number?
False
Let x(a) = -13*a - 39. Let z(c) = -c**2 + 2*c + 93. Let w be z(-9). Is x(w) composite?
True
Suppose r - 3*r = -10. Suppose -2052 = 4*m - 5*h - 15887, -2*m - h = -6935. Suppose r*f = m + 930. Is f a prime number?
False
Let r(m) = m**3 + 19*m**2 - 36*m + 49. Let s be r(-21). Let d = 1438 + s. Is d prime?
True
Suppose -5*g - 15 = -10*g. Suppose -b + 2052 = -h - 4*h, -4*h - 6211 = -g*b. Suppose o - 691 = n, -3*o = -0*o - 5*n - b. Is o composite?
True
Suppose -3026 = -2*n - c, 4*c + 667 = 5*n - 6898. Let p = n + 642. Is p a prime number?
False
Let n(u) = -u**3 - u**2 + 13*u. Let i be n(-4). Is 1/i + (-1704)/(-32) prime?
True
Let q = -34 + 126. Let w = -87 + q. Suppose 1635 = w*p - 9360. Is p a composite number?
True
Suppose 2*w = -56*w - 16*w + 8767372. Is w a prime number?
False
Suppose -2*f + 8 = 0, -4*f - 128 = -2*p - 2*p. Suppose p = t + 28. Let b(m) = 456*m - 5. Is b(t) prime?
True
Let j = 56035 - 17352. Is j prime?
False
Is 288/(-72)*((-92)/8)/((-2)/(-73)) a composite number?
True
Suppose 0 = 3*y + 4*r - 35, -y + 2*r + 7 = 12. Suppose 3*n + 65611 = 5*m, 13706 = 3*m - y*n - 25667. Is m prime?
True
Let o be 42/10 + 2/(-10). Suppose 2*t = u + 7, 4*u + 20 = -0*t + o*t. Is 804/(-8)*((-40)/6 + t) prime?
False
Let m(y) = y**3 + 14*y**2 - 9*y - 63. Suppose 0 = 18*s - 6*s + 96. Is m(s) a composite number?
True
Let k(r) = -679*r + 170. Let s(n) = -227*n + 57. Let z(i) = -6*k(i) + 17*s(i). Is z(4) prime?
True
Let x be 5 + (-20 - 369)*(-2 + 1). Let k = -87 + x. Is k composite?
False
Let f(q) = 691*q**3 + 8*q**2 - 24*q + 139. Is f(6) prime?
False
Let y(r) = 10*r**2 + 26*r + 2. Let c be y(-2). Is (13615/25 - 9) + 6/c a prime number?
False
Let q be 3/((-1)/((-8)/3)). Let g(m) = 41*m + 28. Let a be g(q). Suppose -57 = h - a. Is h composite?
True
Suppose 274*f - 108 = 272*f. Is (774171/f)/(2/4) a prime number?
False
Let t(v) = 315*v - 5. Let b(q) = 3*q - 8*q + 6*q. Let c(x) = -3*b(x) + t(x). Is c(1) a prime number?
True
Suppose -49*l = -43*l - 10752. Suppose b - 2391 = l. Is (-2)/1 + -5 + 1 + b composite?
False
Suppose -3*f + 4*k - 36 = 0, 0 = f - 5*k + 15 + 8. Let i be (-2581 - 2)*f/12. Suppose -y - 4*n = 349 - i, 0 = 4*y + 3*n - 5453. Is y prime?
True
Let h be 49 + -55 - 1*2*-1. Let g(y) = -5*y**2 + 5*y**2 + 15 - 15*y**3 + 3*y - 4*y**2 - 4. Is g(h) prime?
False
Suppose 0 = 2*j - 6, -2*j + 2 = -s - 0*s. Is 835 - ((s - 3) + 5) a composite number?
False
Let o(x) = 2*x**3 + 4*x**2 - x. Let g be o(3). Suppose 2*d = w + 484, -5*w = d - 259 + 6. Suppose 10*n - g = d. Is n prime?
False
Let a(n) = 266*n**2 - 5*n. Let q be (-1 - (-5 + 4)) + 4. Let u be a(q). Suppose 4*j - u = -4*v, 0 = -j + 6*j - v - 5271. Is j composite?
True
Let a = -59 + 113. Suppose -25 = -5*u - 10, 2*f - 4*u = -a. Let c = 68 + f. Is c composite?
False
Let p(u) = -2*u**3 + u**2 + u + 82. Let g(x) = -3*x**3 + x**2 + x + 82. Let o(v) = -3*g(v) + 4*p(v). Let f be 84/294 + (-10)/(-14) - 1. Is o(f) a prime number?
False
Suppose -20*h = 67 + 33. Is (20317/55)/((-1)/h) a composite number?
False
Let g = 548 - 544. Suppose 4*r + k - 335 = 5409, -g*r + k + 5752 = 0. Is r composite?
True
Let h = -11 - -12. Let s be ((-1)/2 + h)/((-1)/(-5854)). Suppose -2352 = -0*f - 4*f + b, -s = -5*f - 2*b. Is f a composite number?
False
Suppose -375926526 - 572871231 = -608*m - 148270301. Is m prime?
True
Let z = -31 - -32. Let l(t) = -6*t + 1. Let p be l(z). Is 4569/15 + (-2)/p composite?
True
Let u(g) = 14650*g**2 + 199*g - 8. Is u(-10) a prime number?
False
Suppose -18*f = -9*f. Let d be (197 + 0)/(f - 1). Let o = -34 - d. Is o a composite number?
False
Let k = -399 - 4171. Suppose 5 + 10 = -q. Is ((-3)/(-2))/(q/k) composite?
False
Let r be (-8)/12*-3 - -2. Suppose -7*q = -4*q - r*v - 23, 2*q + 4*v = 2. Suppose -q*x = -3*x - 662. Is x a composite number?
False
Suppose 66*i - 81*i = -34*i + 6394849. Is i a composite number?
False
Let n = 31238 - -18495. Is n a composite number?
True
Suppose -7*m + 36307 + 66292 = 0. Suppose -f = -5, 5*w - 3*f - 23883 = m. Is w prime?
False
Suppose 49*k + 155276 = 52*k - 5*o, k - 5*o - 51742 = 0. Is k composite?
False
Suppose 0 = u + 57*a - 54*a - 124468, -5*u + 5*a = -622280. Is u prime?
True
Let p = -343 - -440. Suppose -p*n = -94*n - 8241. Is n a composite number?
True
Let x = -98 - -75. Let n = x - -27. Suppose n*v - 1017 = -3*m, -m + 3*v - 2*v = -332. Is m prime?
False
Suppose 0 = 35*g - 253 - 272. Suppose i = g*i - 88802. Is i a composite number?
False
Suppose 34*h + 2586 = 35*h. Let k = h + -1201. Is k a composite number?
True
Suppose -14 = 4*g - 30. Suppose -g*q + 5*v = -45, q + 0*v - 3*v - 13 = 0. Let z(r) = 52*r - 1. Is z(q) composite?
True
Let i = 116696 + -70753. Is i a prime number?
True
Let w = -6150 + 3527. Let a = 8520 + w. Is a a composite number?
False
Let a(b) = 23126*b - 7197. Is a(23) composite?
False
Suppose 45*o + 166304 = 13*o. Let k = o - -12310. Is k a composite number?
True
Suppose 21*r - 5*l - 369820 = 16*r, 5*l + 221882 = 3*r. Is r a prime number?
False
Let l(t) = -3*t**3 - 3*t**2 - 6*t - 4. Let p be l(-3). Let u be p/85*(-5)/(-2). Suppose u*h - 212 = 2334. Is h a composite number?
True
Let y(i) be the first derivative of i**2 + 21*i + 9. Let p be y(-11). Is (5028/60)/(p/(-5)) a composite number?
False
Suppose -h = -3*o - 3, -7 = -h + 8*o - 9*o. Let d(y) be the second derivative of 16*y**3/3 + 11*y**2/2 - 2*y. Is d(h) prime?
False
Let l(s) = s**3 + s**2 - 8*s + 4. Let n be l(-4). Let h(i) = 5*i**2 + 4*i + 17. Let b be h(n). Let v = 4482 - b. Is v a prime number?
True
Let q = 1460 + -1452. Let a(c) = 300*c + 8. Let v(y) = y + 1. Let m(t) = a(t) + 10*v(t). Is m(q) composite?
True
Suppose 0 = -6*i - 15*i + 2*i + 2672141. Is i a composite number?
False
Let c(v) = v**2 + 4*v - 3. Let i be c(-6). Suppose 2*a - 88 = -4*h, 2*h = 5*a + i + 11. Suppose -8*t - 8076 = -h*t. Is t composite?
False
Let t = 1409 + -1395. Let r(s) = -816*s - 130. Let v(c) = -272*c - 43. Let w(o) = 2*r(o) - 7*v(o). Is w(t) a prime number?
False
Suppose -4*i + 3*a - 25 = 0, -5*i = 2*a + 365 - 328. Let u = -1 - 0. Is u/7 - 1646/i composite?
True
Let c(b) = 9*b**3 - 330*b**2 - 53*b + 393. Is c(46) a prime number?
True
Suppose -16184 = 6*d + d. Let l = d - -460. Let v = -1199 - l. Is v composite?
False
Suppose 4*o = -4*g + 12356, 4*g + 8293 = 2*o + 2091. Let x = -1300 + o. Is x a composite number?
True
Let l = 378300 + -258755. Is l a composite number?
True
Let s = 16281 + 193486. Is s a prime number?
True
Let h(w) = -25220*w + 465. Is h(-4) a prime number?
False
Let l(b) = 18697*b - 1032. Is l(7) prime?
False
Suppose 14*h - 21 = 7*h. Suppose -r + i = -1, h = -r + 2*i + 2. Suppose -2*k + 2003 = k + 5*d, -4*d = -r*k + 2021. Is k a composite number?
True
Let d = 9 + -7. Suppose 11352 = d*u - 5528. Is u/60*(-3)/(-2) composite?
False
Let u(r) = 2*r**2 - 7*r + 3. Let y be u(-2). Is (-1 - y/(-30)) + (-17590)/(-60) a prime number?
True
Is (-295216)/(-3) - 85/(-51) prime?
True
Let m(l) = -36*l - 91. Let d be m(25). Let c = 9000 + d. Is c prime?
True
Let m = 187 - 67. Let c = m + -66. Let v = 181 - c. Is v a composite number?
False
Suppose -66*z + 60*z + 627318 = 0. Suppose -6*p + z = 5*j - 10*p, -p + 3 = 0. Is j a prime number?
False
Let j be (-6)/(-5)*(-20)/(-8) - -12. Suppose -17*q + 3190 = -j*q. Let d = q - 1108. Is d a composite number?
False
Let i be (5 - -1 - 2) + -1. Suppose i*w + 1135 = 6214. Is w a prime number?
True
Let s(v) = -849*v - 28. Let g(h) = h**3 - 14*h**2 - 19. Let b be g(14). Let n be s(b). Suppose -9*z + 520 = -n. Is z composite?
False
Let w(f) = -154444*f**3 + 1. Let j be w(-1). Suppose -2*b + j = 3*b. Suppose 16*l = -2137 + b. Is l a composite number?
True
Let t be -7*1055/10*-2. Suppose -3*y - 4*k = -12179, 5*k - t - 14761 = -4*y. Is y prime?
True
Is ((-711151)/(-1064))/((-2)/(-1328)) a prime number?
False
Suppose 9*o - 78 = 7*o. Suppose 33*l = o*l + 2076. Let s = l + 509. Is s a composite number?
False
Let y be 2 - 1 - (-5 + -1 + 4). Let c(l) = -l + 1. Let f(u) = 126*u**2 - 2*u + 13. Let d(w) = c(w) + f(w). Is d(y) prime?
False
Suppose g - 1736 = -t, t + 5*g + 0*g = 1736. Suppose 2*m - t = 4*q, -2*q - 2672 = -5*m + 1660. Is m a prime number?
False
Let l(q) = 122*q - 27. Suppose