o - 3787. Is o a prime number?
True
Suppose -12*v + 281308 = -10*v - 2*n, 0 = 7*v + 3*n - 984628. Is v a composite number?
False
Let z(i) = -3*i**2 - 10*i - 11. Let r(b) = -b. Let u(v) = v**2 + 2*v. Let w(s) = -2*r(s) - u(s). Let x(h) = 2*w(h) - z(h). Is x(-20) prime?
True
Suppose 2*v = 4*n + 8, -n - 2 = -3*v - 0. Suppose -16190 = 10*r - 11*r + 2*o, 0 = 5*r + 3*o - 80989. Suppose v = 5*l - l - r. Is l a prime number?
True
Let b(h) = -h**3 + 17*h**2 + 4*h + 13. Let w = 56 - 45. Let k be b(w). Let v = k - 490. Is v a composite number?
False
Let w be 1/2 + (-15)/(-10). Suppose -w*v - 15 = 11. Is (-11992)/16*(v + -1 + 0) composite?
True
Suppose 10*b + 4*b = -14. Let a(d) be the second derivative of 319*d**4 + 5*d**3/6 + 3*d**2 - 6*d. Is a(b) a composite number?
True
Suppose -46*v - 2*t = -47*v + 107167, -3*v + 2*t = -321509. Is v a prime number?
True
Let i(f) = 11*f**2 - 2*f - 5. Suppose t - 18 = 2*a - 6*a, -4*a - 2*t + 20 = 0. Let g be -12*(0 + a/(-8)). Is i(g) composite?
False
Let x(d) = 9*d**2 - 9*d + 7. Let j(h) = 2*h - 23. Let v be j(10). Let y(a) = a**2 + 5*a + 10. Let k be y(v). Is x(k) prime?
False
Is (-12)/(-9)*186247059/628 composite?
False
Suppose -4*r = 2*t - t + 76584, 2*t = r + 19137. Let j = 386 - r. Is j prime?
True
Suppose -596682 = -3*x - w, 5*w = -32*x + 36*x - 795595. Is x a composite number?
True
Let b(z) = 22*z - 61. Let m be b(3). Suppose 0 = m*j + 3*d - 8462, 5*d + 8470 = 6*j - j. Is j prime?
True
Let j(a) = -a**2 - 9*a - 11. Let h be j(-8). Let k be (-1)/h*((-48)/8 - -6). Suppose -10*d + 3*d + 6391 = k. Is d a prime number?
False
Let j = 1872 - 778. Suppose 3*c = 143 - j. Is 50/18 + -3 + c/(-9) composite?
True
Suppose -5*t + 13935 = -0*t. Let a(p) = p - 15. Let c be a(20). Suppose -5*l = 0, t - 247 = 4*w - c*l. Is w a composite number?
True
Suppose -l + 310 - 307 = 0. Suppose 0 = -3*m - m + 3*z + 33056, 4*z - 24767 = -l*m. Is m prime?
False
Suppose 0 = x - 3*x + 14. Suppose 7 = x*f - 7. Suppose -v + 3*y = -1579 + 386, -5*v + f*y + 5939 = 0. Is v a composite number?
False
Let w(f) = -35030*f - 147. Is w(-1) composite?
False
Suppose 0 = -5*k - 5*r - 2655, 0 = 4*k - 0*k - 5*r + 2142. Let d = k + 1387. Suppose 0 = -5*u, -n + 2*u = 281 - d. Is n a prime number?
False
Suppose 2*z = 2*j - 258760, 5*j + 2*z = 149283 + 497638. Is j composite?
True
Let n(u) = u**3 + 39*u**2 - 21*u - 28. Let q be n(-19). Let b = 33580 - q. Is b a prime number?
False
Let s = -787 - -522. Let d = -50 - s. Suppose m + i - 197 = -3*i, -m + d = -2*i. Is m a composite number?
True
Suppose 5*t + 23495 = -5*u, 5*u + 14*t = 11*t - 23495. Let b = -2090 - u. Is b a prime number?
True
Let x(i) = 214*i**2 - 121*i + 184. Is x(31) a composite number?
False
Suppose 5*x - 61*l - 705870 = -65*l, -l = -3*x + 423539. Is x prime?
False
Let y = 90483 + -30619. Suppose -4*s + 8*s + 3*p - y = 0, -2*s + 29926 = 3*p. Is s prime?
True
Suppose x = -4*x + 2*m + 11, -2*x - 2 = -4*m. Suppose x*g - 4*u = 514 + 46849, -3*g + 5*u + 47365 = 0. Suppose 5*v + 9475 = 2*h + h, 5*h = 5*v + g. Is h prime?
False
Suppose 290373 = 8*v - 589763. Is v composite?
False
Suppose -233*r - 102373026 + 53069826 = -367925807. Is r a composite number?
False
Suppose 41*h + 69935042 = 130*h - 8252615. Is h a prime number?
True
Let z(a) = -52*a**3 + 15*a**2 + 11*a + 18. Let u be z(-11). Let d be 1*(u/(-12) + 6/(-9)). Let q = -4152 - d. Is q a prime number?
True
Suppose 22*q - 3*q = -1862. Is 487*4*(-49)/q a prime number?
False
Let m = 186022 + -78269. Is m a composite number?
True
Let p = 22 + -21. Let c be 4/18*p + 370/(-45). Is (-1)/2 + (-4412)/c composite?
True
Suppose 134*l - 152380579 = 29690179. Is l a composite number?
True
Let k = -1009 - -1561. Is k + 2/(-12) + 10/(-12) composite?
True
Suppose -9*f + 135 = -0*f. Let x be (-4)/3*f/(-10). Suppose -3*t + x*t - 2717 = -4*b, 3*b - 2040 = 3*t. Is b a prime number?
False
Suppose -8*q + 13565 + 9403 = 0. Suppose -k - 3*k + 4 = l, -l + 4 = -4*k. Suppose a + 5*w + 0*w - q = 0, l*a - 11448 = -2*w. Is a a prime number?
True
Let f = -2115 - -1445. Let n be f/5*1*-10. Let v = -799 + n. Is v a composite number?
False
Suppose 5*g - 14717 = -u, 7*g = 2*u + 8*g - 29416. Suppose 35*k - 24*k - u = 0. Is k composite?
True
Suppose -4 = s, 22 + 2 = 4*a - s. Suppose -a*h = -7*h - 3314. Let c = h - -2326. Is c prime?
False
Let z be ((-16)/12)/(8/(-6)) - 0. Let b(j) = 1073*j**3 + 5*j - 5. Is b(z) composite?
True
Let b = 8970 - 8982. Let v = -301 + 514. Let u = b + v. Is u a composite number?
True
Let h be (1 + 5)/(6/4). Suppose -3*c = w - 11143, 505*c - 5*w + 14861 = 509*c. Suppose c = h*t - 2*t. Is t a prime number?
False
Let r be (-11)/(-22) + (-25)/(-10). Suppose 2*g + 27376 = r*q, 2*q - 7399 = g + 10850. Is q a prime number?
False
Suppose -h - 4*h = z + 1401, 3*z = 5*h - 4243. Let q be (-1)/((1/15)/(z/51)). Suppose -2*i = -i - y - q, -4*y - 822 = -2*i. Is i composite?
False
Let a(o) be the third derivative of -o**4/24 - 7*o**3/2 - 45*o**2. Let z be a(0). Let k = z + 1567. Is k composite?
True
Let s = 87910 - 33689. Is s prime?
False
Suppose -3*y - 5 = -2*d + 3*d, 0 = -3*d - 3*y + 3. Suppose 0 = d*m - 2187 + 67. Suppose 4*f - 522 - m = 0. Is f a prime number?
True
Is ((-2)/(-4)*-7)/((-17403393)/1582122 - -11) composite?
True
Is ((-202)/(-707))/(6/6289941) prime?
True
Suppose 3*g - 6*g - 364 = w, -5*w + 5*g - 1900 = 0. Let u = w + 1813. Is u prime?
False
Let i = -126 + 148. Suppose 3*d + i*d = 55675. Is d a prime number?
False
Suppose 2*g - 64661 = 3*u, -26*u - 35 = -31*u. Is g composite?
False
Suppose 0 = 14*o + 5*x - 3984242 - 2830769, o = -2*x + 486775. Is o a composite number?
True
Let v(f) = -23*f + 1 - 42*f**2 + 30*f - 8 + 221*f**2. Is v(1) composite?
False
Let q(p) = -3*p**2 - p - 5. Let g(x) = x**2 + x. Let f(w) = 5*g(w) - q(w). Let y be (-16)/(-6) - (-6150)/(-450). Is f(y) prime?
True
Let l = -65 + 70. Suppose h - 396 = -l*h. Suppose 3*n - n = h. Is n prime?
False
Suppose 103*q - 12543944 = 47*q. Is q a composite number?
False
Suppose 3*p = -3*h + 80760, -3*p + 57908 = -4*h - 22831. Is p composite?
True
Suppose -24421144 = 139*h - 227*h. Is h a composite number?
False
Let r = 5849 + 7212. Suppose -2*j + r = y, 11*j = 2*y + 12*j - 26125. Is y composite?
False
Is 18/(-1 + 10) - -438704 a composite number?
True
Suppose 3*h - 268457 = -2*h + 4*i, 0 = -5*h - 4*i + 268473. Is h a composite number?
False
Let o = 74961 - 25498. Is o prime?
True
Suppose -137*j = 4*f - 133*j - 396904, f - 2*j = 99217. Is f a composite number?
False
Let o(y) = -y**2 + 3*y + 2. Let k be o(2). Let b = k - -15. Let l = 90 + b. Is l a prime number?
True
Suppose -5*a = 53 - 83. Is (3694/4)/(0 - a/(-12)) a prime number?
True
Is (120660016/340)/((-12)/(-15)) prime?
True
Let v = 315704 - 213717. Is v composite?
False
Let u(o) = o**3 - 16*o**2 + 3. Let s be u(16). Let p be (((-3628)/(-6))/(-2))/(1/s). Let l = 2912 + p. Is l a prime number?
False
Let l be (8/(-2 - -6))/(6/7593). Let n = l - 1060. Is n a composite number?
False
Let c be (-4 - 25662/18)*-3. Let b = -834 + c. Is b a composite number?
True
Let s(x) = 220*x + 17. Let n be -5*((-240)/50 + (-2)/5). Is s(n) a prime number?
True
Let d be ((-166)/(-6))/((-2)/198). Let x = 5072 + d. Is x a composite number?
False
Suppose -3*z = -17*z. Suppose -4*h + 92412 = 5*r, z*r + r - 4*h - 18492 = 0. Is (-5)/((-10)/(-3))*r/(-6) a composite number?
False
Let y(b) = -b**3 + 4*b**2 + 7*b + 3. Let x be ((-4)/6)/(5/(-30)). Suppose 7*j = x*j + 12. Is y(j) a prime number?
True
Let q = 34 + -36. Let c be (-275648)/(-48) + q/3. Suppose -27 = 9*w - c. Is w a prime number?
False
Let b(g) = 12*g**2 - 9*g + 14. Let a be b(-8). Suppose u - 2*f - 221 = -7*f, -5*f = 4*u - a. Suppose -6*n + 5*n + u = 0. Is n composite?
False
Let m(s) = -25*s + 103. Let p be m(4). Suppose 4*i + 2*x - 16241 - 30083 = 0, -p*i - 4*x + 34753 = 0. Is i a composite number?
False
Let q(m) = m**2 - 6*m + 15. Let j be q(5). Let a(o) = 562*o + 283. Is a(j) prime?
True
Let q = 36 - 31. Suppose -l - q*l = -4206. Is l prime?
True
Suppose -552709 = -0*b + 11*b - 1905236. Is b a prime number?
True
Let c = -20 - -23. Suppose c*i - 285 = 3*x, 3*i - x + 67 = 352. Suppose -i = -2*d + f + 89, 0 = 5*d - 4*f - 463. Is d a prime number?
False
Let t(y) be the first derivative of 82*y**3/3 + 7*y**2/2 + 22*y -