40 - (3 - 52/16). Is d(c) a prime number?
True
Let a(j) = -j**2 - j. Let b(x) = -x**3 + 14*x**2 + 14*x - 6. Let h(i) = -5*a(i) - b(i). Let t be h(8). Is (45/t - (-2)/(-13))*-1382 composite?
False
Suppose 33*a - 114413 = 29*a + 3*d, 143002 = 5*a + d. Is a prime?
False
Let h be 2/3 - (10648/(-12) - 3). Let p = -556 + h. Is p prime?
False
Is ((-270)/1350*(-434235)/(-4))/(6/(-8)) composite?
False
Let t(b) = b**2 + 5*b - 14. Let o be t(2). Suppose -2*u - 6196 + 14850 = o. Is u a composite number?
False
Suppose 4*n + k - 65722 = 0, -48*n + 65740 = -44*n + 4*k. Is n a composite number?
True
Let v = -489650 + 687667. Is v composite?
False
Suppose -22*d + 14*d = 31*d - 28885389. Is d prime?
True
Suppose 6 = 2*x - 34. Let a = -3450 + 3683. Let u = x + a. Is u prime?
False
Suppose 3*f - 152982 = -28*y + 33*y, -2*f + 4*y + 101990 = 0. Is f composite?
False
Suppose -1071735 + 145747 = -107*k + 465761. Let f be -1*1 + -1 + 9188. Let z = k - f. Is z prime?
True
Is (((-73339)/42)/(1/(-9)))/((-9)/(-18)) prime?
False
Let w(h) = -h**2 + 5*h - 2. Let p be w(4). Suppose -7 = -68*c + 129. Suppose p*j + 3*l - 559 = 0, j + 3*l - c*l - 282 = 0. Is j prime?
False
Let i(r) = 34*r**2 + 2*r + 3 + 9 - 1. Let n(l) = l**3 - 8*l**2 + 12*l + 4. Let j be n(6). Is i(j) prime?
True
Let h = 36264 - -360017. Is h a prime number?
False
Let p = 2331 + -1511. Let n = -376 + 179. Let l = p + n. Is l a prime number?
False
Suppose -21*d + 0*d = -11*d - 2373610. Is d a prime number?
True
Suppose 0 = 3*n - 8*n - 140. Let y be ((455/n)/13)/((-2)/8). Suppose 2*t + 14090 = y*h - 3*t, 14066 = 5*h + 3*t. Is h composite?
True
Suppose 47*s - 3888725 = 1160673. Is s a composite number?
True
Suppose 53*g = 98*g - 2943315. Is g prime?
True
Suppose -32 = -3*d + 5*i, 9*d + 4 = 6*d - 4*i. Is (-1)/((-4)/(d - -4)) - -1743 prime?
False
Let k be -3 - (4 - 2) - -20. Let v be ((-66)/12)/((k/(-6))/5). Suppose -v = -4*i - 7, -5*z + 4*i = -3391. Is z a composite number?
True
Suppose -2*m = 14*f - 10*f - 30, 4*m - 6 = -2*f. Is (586/(-4))/(-1) - f/6 a prime number?
False
Let g be -1 + 0 - -2 - (-9 + -1066). Let s = 1443 + g. Is s a composite number?
True
Let f be 2/4*4*(0 - 3). Is (-1 + 40346/4)/(f/(-12)) composite?
True
Let i be (-5)/((6/944)/(-3)). Let c be (-12)/(-21)*(9 - 33/6). Suppose c*z = 10*z - i. Is z prime?
False
Suppose -5*m - 40*u = -37*u - 775595, -310238 = -2*m + 2*u. Is m a prime number?
True
Let p = -286 - -868. Suppose -2*y + 12 = 3*c, 3*c - 8*c = y - 20. Suppose 0*j = 4*j + 2*u - p, c*j - 5*u = 547. Is j composite?
True
Suppose -15 = -3*a, z + 2*a + 22 = 6*a. Let i(y) be the first derivative of -13*y**4/4 + y**3 + y**2 + y - 69. Is i(z) composite?
False
Suppose -2*k - 17 = -3*k + l, 0 = 4*k + 2*l - 38. Suppose 221 = k*t - 11*t. Is t a composite number?
True
Let u(w) = 40*w**2 - 74*w + 9. Suppose -h + 2*h = 4*f - 56, -f - 4*h + 31 = 0. Is u(f) composite?
True
Let t be (-2 - -4)*(2 - -1)/6. Let u be (2/(-4))/(t - (-11)/(-12)). Let j(v) = 5*v**2 - 4*v + 19. Is j(u) composite?
False
Suppose 32*s - 36520 = 24*s. Let d = 8428 - s. Is d prime?
True
Let n(f) = 86*f**2 + 4*f - 6. Let x be n(20). Suppose 4*o = x + 10674. Is o composite?
False
Suppose -9*y + 13*y = 3*t - 120, -4*t = -2*y - 50. Let g(x) = -319*x + 244. Is g(y) a prime number?
True
Suppose -38 = 5*v - 4*a, 14*v - 17*v = a + 33. Let o(f) be the first derivative of -f**4/2 - 5*f**3 - 2*f**2 + f + 5. Is o(v) composite?
False
Let y(f) = -f**3 - 12*f**2 - 2*f - 13. Let r(s) = -s**2 + 8*s - 10. Let o be r(6). Suppose -2 = -o*z - 26. Is y(z) a composite number?
False
Suppose -15*d - 20 = -5*d. Is (-129830)/(-30) + d/3 composite?
False
Suppose 3*t + 1 - 13 = 0. Suppose t*r - 1545 = -l, 3*l = -r + 3489 + 1124. Is l a composite number?
True
Is (102/9)/(38/(-8545611)*-17) prime?
False
Suppose 153 = 81*h - 30*h. Suppose -15741 = -h*i - 5568. Is i composite?
False
Let o(a) = -a**2 - 6*a + 23. Let q be o(-12). Let g = q - -46. Let r(y) = -56*y - 7. Is r(g) a prime number?
False
Let g(i) = 33*i**2 - i - 6. Let p(z) = -z**2 - 2. Let m(x) = g(x) + 3*p(x). Is m(11) composite?
False
Let o be 2/(-4) - (3 - (-15)/(-2)). Suppose 5*y + o = -2*z, -y - 2*z - 6 = -2. Is 2333/(2/2 + y/2) prime?
True
Let j(p) = -p + 13. Suppose -5 - 19 = -4*y. Let z be j(y). Suppose -3*b - 8 = n, -z*n - 2*b = -2*n - 25. Is n a composite number?
False
Suppose -3*g - 24879 + 231838 = 5*z, 3*g - 206975 = -z. Is g composite?
False
Let v(w) = -2427*w + 74. Is v(-31) composite?
True
Is (-10)/12 - 34808875/(-750) composite?
False
Suppose 2*u = -10, 4*a + 3*u + 2 = -5. Suppose -3*y + 17169 = 3*c, 0 = -0*c + 4*c - a*y - 22892. Is c a prime number?
False
Let f = -23426 + 37783. Suppose -7830 = -11*l + f. Is l a prime number?
True
Suppose 10*a - 151 + 11 = 0. Is 32149/21 - a/(-147) composite?
False
Suppose -3*t + 2*w = -8, -t - w + 10 = t. Suppose -t*c + 1536 = 20. Is c a composite number?
False
Let z = 32557 + 37702. Is z a composite number?
True
Let c(o) = 5*o + 19. Let t be c(-4). Is 10056/(-24)*t/((-1)/(-11)) composite?
True
Suppose 0*n = -5*l - 2*n + 2993, -4*n = 5*l - 2991. Suppose -602*f + l*f = -55155. Is f prime?
False
Suppose 5*c - 101 = 2*q - 0*q, -2*c - 4*q + 26 = 0. Let r = c - 11. Suppose 6*v - r*v + 254 = 0. Is v prime?
True
Let x = 167680 - 104783. Is x a prime number?
True
Let z = -283 + 499. Suppose 3*t + z = 7*t. Suppose -3*w = -84 - t. Is w a composite number?
True
Let c = 49259 + -18138. Is c prime?
True
Let d(z) = -678*z**3 + 5*z**2 - 51*z + 127. Is d(-11) a prime number?
False
Let b(d) = -d + 24. Let z be b(7). Let u = 19 - z. Suppose 0 = u*q + h - 1003, -2*q = 2*q + 3*h - 2011. Is q a composite number?
False
Let g = -26 - -30. Suppose k - 85 = -g*c, k + 5*c + 298 = 5*k. Is k a prime number?
False
Suppose 3*h = -5*o + 68, -o = 3*h + 2*h - 84. Suppose -n = 5*m - 22, -n - 3*m + h = n. Suppose n*a - 5735 = -3*a. Is a a prime number?
False
Let k = -101 + 101. Suppose 19*y - 8*y - 70719 = k. Is y composite?
True
Let c be 2/8 + 1715/(-28). Suppose -5*l = 2*l + 196. Let x = l - c. Is x a composite number?
True
Is -13 + 12 + 1 - -70937 a composite number?
False
Let c(a) = 255*a**2 + 45*a - 199. Is c(5) prime?
False
Let t(i) = i**2 + 399. Let f be t(0). Suppose -z - 3*n = -f, 4*z - 1068 = 3*n + 513. Suppose -5*d - z = -3*h, -493 = -2*h - 2*h - 5*d. Is h a composite number?
False
Let h = -47801 + 377418. Is h composite?
False
Let r(f) = 12*f**3 + f**2 - 4*f + 3. Let v be r(2). Let t = v - 59. Let q = t + 1. Is q a composite number?
False
Let j(g) = -7*g - 4*g + 57 - 6*g + 97*g**2 - 2*g + 58*g**2. Is j(4) a composite number?
True
Let u(x) = 38*x**2 - 20*x - 125. Suppose 0 = -5*p - 19*z + 20*z - 82, -45 = 3*p - 2*z. Is u(p) prime?
True
Let o(t) be the third derivative of t**6/120 + 7*t**5/30 + t**4/12 - t**3/6 + t**2 + 6*t. Is o(-10) prime?
True
Let c(d) = 2*d**2 + 8*d + 8. Let q be c(-4). Suppose 44 = 6*o + q. Suppose x = -o*x + 2338. Is x composite?
True
Let b = -2237 + 8525. Let x = -4249 + b. Is x prime?
True
Let t(i) = -6*i + 701. Let c = -31 + 40. Let u(v) = -14*v + 1403. Let f(d) = c*t(d) - 4*u(d). Is f(0) a prime number?
False
Suppose -4*v + 8 = -8. Suppose 4*o + 11401 = w, 0 = 3*w - 7*w + v*o + 45604. Is w a prime number?
False
Suppose 9 = 3*c, 2*m + 4*c + 4 = 6*c. Let j be -1*(5 + -4) - (-3)/m. Suppose 2*v + i = j*i + 835, 0 = 3*v + 5*i - 1272. Is v prime?
True
Is (-13822368)/(-504) - (-10)/6 prime?
True
Let s(k) = 280 - 12*k + 19*k**3 - 7*k**2 + 2*k**3 - 277. Is s(7) prime?
True
Let n = -1009 - -1013. Is 8763 - ((-48)/6)/n a prime number?
False
Let j = -173312 - -756469. Is j composite?
True
Let r = -471 - -135. Let l = 412 - -651. Let i = l + r. Is i a prime number?
True
Let z = 4671 + 1801. Let i = z - 2717. Is i composite?
True
Suppose -27*g + 8 = -73. Suppose -g*a + l + 3637 = -0*l, -2*l = -4. Is a prime?
True
Let m(a) = -a**2 + 22. Let o be m(5). Let q(h) = 7*h + 10. Let b be q(o). Let d(t) = -9*t - 2. Is d(b) composite?
False
Suppose -190*o - 19546952 = -24717918 - 79536544. Is o a composite number?
False
Let o(g) = -g**3 - 2*g**2 - 2*g + 10. Let n be o(0). Suppose i = -3*i - v + n, -5*i + 20 = 5*v. Is 7014/28 + 1/i a prime number?
True
Let n(t) = -549*t**3 + 2*t**2 - 22*t - 130. Is n(-7) a prime number?
False
Let j be -18*((-494)/3 + 1). Suppose 0 = -5*v - m + 7