t - 6952 = 0, 0 = -2*u - 2*u + 4*t + 13864. Let x = u - -519. Is x prime?
True
Suppose 41*p + 169*p - 4009979 = -679589. Is p composite?
False
Suppose 2*o + 5 + 1 = -2*l, -2*l = -2*o - 6. Is (9484 - -3) + 5 + o prime?
False
Let a(h) = 20*h - 13. Let z = 125 - 61. Let g = -48 + z. Is a(g) a prime number?
True
Suppose 0 = -15*s + 28 + 17. Suppose s*x - 40553 = -2*p, -3*p - x + 60822 = 2*x. Is p a composite number?
False
Suppose h - 4 = g, -2*g - 9 = -7*h + 4*h. Is h + -6 + (-11)/((-22)/2528) composite?
False
Suppose 5*j = 3*o + 2*o, -4 = -2*o. Suppose s - j = -0. Suppose 4*b + s*k - 7116 = 0, 1186 = -3*b + 5*k + 6497. Is b a composite number?
False
Let y(t) = 77228*t - 2207. Is y(2) prime?
True
Let y = -65 + 67. Suppose -y*s - 2*m + 444 = 0, -2*s + 0*s = m - 445. Is s composite?
False
Let l(s) = -s**2 - 5*s - 4. Let b be l(-4). Suppose 3*p - p - 11604 = b. Is (-1)/(3/p*-2) a composite number?
False
Suppose -24 = -2*i - 2*i. Let n be (-30)/(-25)*(-20)/8. Is 2217 + -3 + i + (-3)/n a composite number?
False
Is 1310712/10 - (-53)/(-265) composite?
False
Let b(o) = -893*o + 13. Let j(d) = 6*d - 45. Let n be j(7). Let a be b(n). Is (-3)/(((-8)/a)/((-4)/(-6))) prime?
True
Let a(u) = 33425*u - 52. Let n be a(2). Suppose -3*s + 0*k = -5*k - n, -5*s = 5*k - 111370. Is s a composite number?
False
Let j = 130 - 128. Is j + (381 - 12/6) prime?
False
Suppose -62*l = -59*l + 15, 0 = -4*d - 5*l + 1379939. Is d prime?
False
Suppose -3*l = -15, -5*l - 1045060 = -5*m - 8*l. Is m a composite number?
True
Let k = 15746 - 3391. Let y = k + -5492. Is y prime?
True
Let w(r) = 79*r**2 + 4*r + 8. Let t(s) be the second derivative of -s**5/4 + s**4/12 + s**3/6 - s**2 - s. Let u be t(1). Is w(u) prime?
False
Suppose -6*i + 783 + 639 - 318 = 0. Suppose 0 = 2*j + t - 12, -5*j = 3*t - 8*t. Is (-194)/(-4)*i/j composite?
True
Suppose -17*o - 3*o = -6*o - 1399748. Is o a composite number?
True
Is (3160/(-40))/(-4*7/188524) a composite number?
True
Is 0 + 89491/(-1)*(3 - (1 + 3)) prime?
True
Let u(o) = o**3 + 7*o**2 - 9*o - 12. Let k be u(-8). Let p be k/(-18) - 119/(-153). Is p/(-3) - (536/(-6) - -2) composite?
True
Let d = 15 + 26. Suppose d*m - 488546 = 7*m. Is m composite?
False
Let w be 15/(-9)*21/(-15)*-3. Is 41197/91 - ((-5)/w - 1) composite?
True
Let l = -63 + 62. Let y be (((-1)/(-2))/(1/(-14)))/l. Suppose 2517 = y*p - 150. Is p prime?
False
Let w(z) = 370*z**2 - 4*z - 2. Let u be w(-2). Let c = u + -1008. Is c prime?
False
Let m = 1163574 - 671963. Is m a composite number?
False
Let j be (3/9 - 3) + 2/3. Let d be 142/(-6) - j*(-4)/(-12). Is d/(-3)*(8 + 7) prime?
False
Is -166*((-273)/14 + -10) a prime number?
False
Let n(r) = 7*r**2 - 12*r - 38. Let x be (-110)/(-60) + 2/12 + 88. Suppose 0 = -3*c + 9*c - x. Is n(c) prime?
False
Let t(d) = -132*d**3 - 2*d**2 + 8*d + 13. Let u be t(-3). Let g = 5484 - u. Is g prime?
True
Suppose s - 3*s = 4*n - 10, 4*s + n - 13 = 0. Let a be 0*(-1)/s - -4. Suppose -7*c - a*c = -10637. Is c a composite number?
False
Suppose 2250 = 11*u - 2*u. Let q = u - -819. Is q composite?
False
Let l(b) = 148*b**2 + 66*b - 1291. Is l(34) composite?
True
Let z(r) = 76*r + 17. Let h(g) = -225*g - 51. Let p(u) = 3*h(u) + 8*z(u). Is p(-12) a composite number?
False
Suppose -3*a = -a - 26. Let r(j) = 65*j + a*j + 21*j - 46. Is r(5) a prime number?
True
Suppose 5*y + 2831 = 2801, 0 = -k + 3*y + 221037. Is k a prime number?
False
Let u be -6 - (-21 - -10) - (1 + -1584). Let w = 105 + u. Is w a composite number?
False
Let o(a) = 5*a**2 - 7*a + 28. Let g be o(-11). Suppose 118 = -g*c + 712*c. Is c a prime number?
True
Suppose 0 = l + 4, -2*x - 2*l + 189 = -27. Let t = 402 - x. Is t/2 - (2 + -14)/(-4) composite?
True
Let q(b) = -2*b**3 - 4*b**2 + 9. Let a be q(-4). Suppose a = r + 70. Suppose 11*i - r*i = 8488. Is i prime?
True
Suppose 14554 = 2*k + 3*h, 12*h - 29084 = -21*k + 17*k. Is k a prime number?
True
Suppose 0 = -7*t + 187 + 58. Suppose t*c - 31*c - 15631 = i, 0 = c - 5*i - 3922. Is c a composite number?
False
Suppose 0 = 5*p - 2*j - 245 - 5297, -3*p + 2*j + 3326 = 0. Let c = p + -1594. Let l = 353 - c. Is l a composite number?
False
Let s be ((-9)/42 + 2/(-7))*0. Suppose s*l + 1288 = 3*n + 2*l, -2*n = 2*l - 856. Suppose q + 113 = n. Is q a prime number?
False
Suppose -43*d = 37280275 - 138438678. Is d prime?
True
Let t(s) = s + 52. Let v be t(-23). Suppose v = -h + 562. Suppose 2*l = a - 252 - h, -3936 = -5*a - l. Is a composite?
False
Suppose -2*j = 66 - 108. Let y be (27/j - 1)*7. Let x(q) = 82*q**3 - 4*q + 1. Is x(y) a prime number?
False
Let n = 166 + -552. Let i = n - -759. Is i composite?
False
Let m(b) = -12412*b + 3209. Is m(-14) a composite number?
False
Let v(r) = 5*r**2 - 6*r. Let b be v(3). Let x(s) = 28*s**2 + 5*s + 134. Is x(b) composite?
False
Suppose t - 3*c + 72 = -2*t, 4*c = -t - 4. Let z(y) = y**3 + 24*y**2 + 61*y - 7. Is z(t) composite?
False
Suppose 1 = m + 4, 4*f - 19877 = 3*m. Suppose 0 = 4*d + 5*s - 3982, f = 5*d + 3*s - 2*s. Is d composite?
True
Suppose -4*q = 3*x - 20, 0 = -3*x + 12. Is q/(-13) - (-8)/52 - -127 a prime number?
True
Let i(r) = 13*r**3 - 4*r**2 + 62*r + 132. Is i(37) composite?
False
Suppose 4*u = 2*r + 86955 - 227753, 5*u - 70378 = -r. Is r composite?
False
Let r(f) = f**2 + 9*f + 2. Let q be r(-9). Suppose 0 = 2*h + 4*a - 2410 - 936, -h + 1669 = -2*a. Suppose q*u = -u + h. Is u a prime number?
True
Let o(s) = -337*s**3 + s**2 - 2. Let t be o(-1). Let m = t - 226. Let n = m + 17. Is n a composite number?
False
Let m(t) = 26*t**3 - 3*t**2 + t - 3. Let n(b) = -52*b**3 + 6*b**2 - 3*b + 6. Let v(g) = -7*m(g) - 3*n(g). Let z = 979 - 981. Is v(z) composite?
True
Suppose -4*f = 28616 - 88800. Suppose 0 = -4*t - 2*n + f, -3*t + 11298 = 4*n - 7*n. Suppose 8382 + t = 7*w. Is w prime?
False
Let m(g) = g**2 + g - 9. Let b be m(-4). Suppose -5*z - k = -9, b*k = -4*z - k + 4. Suppose 4*x - 5*w - 151 = 0, z*x - 14 = -3*w + 45. Is x prime?
False
Let f be ((-14)/1)/((-9)/1476). Suppose -3*i + 6858 = 3*d, 7*i = 8*i + 3*d - f. Is i prime?
True
Suppose -2527042 = 39*t - 21878413. Is t prime?
False
Let r = -7012 - -19190. Is r a composite number?
True
Let j be (-15459)/((-5)/(0 - -5)). Suppose -5*f + 2*f = -j. Is f prime?
True
Suppose 23*s - 22*s = -2. Let l be 3/27 - s/(-18). Suppose 3*c - 1631 = -2*f, 0 = -l*c - 4*c - 5*f + 2163. Is c composite?
False
Suppose -22 = 5*a - 72. Let r = -6 + a. Suppose -r*m + 3*m + 263 = 0. Is m composite?
False
Let k(o) = 37*o + 95. Let s be k(-2). Suppose -8654 = -s*g + 19*g. Is g a prime number?
True
Let s(l) be the first derivative of l**4/4 + 14*l**3/3 - 15*l**2/2 - l + 77. Is s(-12) composite?
False
Let x(f) = -4*f - 6. Suppose p - 5 + 15 = 0. Let a be x(p). Suppose a*g = 39*g - 395. Is g a prime number?
True
Let y be (-407)/148 + 73019/4. Let v be 214258/(-18) - (-4)/18. Let b = y + v. Is b composite?
True
Suppose 3*y + 5*f = 456705, 207 = -3*f + 189. Is y prime?
False
Suppose 115*p - 15529898 = 9106667. Is p a composite number?
True
Let u be (20/2)/(-1)*1/(-2). Suppose -4064 = u*a - 25699. Is a a composite number?
False
Let d = 18565 + -12772. Suppose 0*t - 2*t - 3*m + d = 0, -1 = -m. Let i = 5702 - t. Is i prime?
False
Let j = 2745 - 910. Suppose -6*x + 3967 = -j. Is x composite?
False
Let z = 53 - 57. Let j(s) = -7*s**2 + s + 8. Let l be j(z). Is 2894/18 - 24/l composite?
True
Let g(l) = -6*l**2 - 2*l + 3. Let p be g(2). Let r = p + 72. Suppose -r*c + 51*c - 1996 = 0. Is c composite?
False
Suppose -m + 2*s - 4*s + 16199 = 0, -3*m = 4*s - 48587. Suppose -4*i + m = -3*b, -2*i + b - 4042 = -3*i. Is i a composite number?
True
Suppose 3*r - 2*j = 1282287, -j + 523 = 517. Is r composite?
False
Suppose 0 = 2*y - 4*k - 976 + 108, y - 442 = -2*k. Let i = y - -2441. Is i a prime number?
True
Let l(y) = y + 14. Let q be l(-19). Let d be (2741 - 1) + (0/q - 1). Suppose 22096 = 5*x - d. Is x a prime number?
True
Suppose -3*r + 14966 = 5*p, -2*p = 4*r + 2*p - 19952. Let l be (((-6)/15)/(1/10))/(-2). Is (10/5)/(l/r) a prime number?
True
Let r(u) = -551*u - 917. Is r(-53) composite?
True
Suppose -720151 = 3*z - 4*l - 3948728, 0 = 3*z + 2*l - 3228625. Is z composite?
False
Suppose 0 = -2*c - 34 + 6. Let k(s) = 6*s**2 + 16*s - 31. Let i be k(c). Let u = 4124 - i. Is u composite?
False
Let t(n) be the sec