146 + -141. Suppose 130 = v + 3*f - 2640, 0 = v + l*f - 2760. Is v a composite number?
True
Suppose 0 = 5*x - 0*x - 25. Let d be -5 - 3*(2 - x). Is (-1)/d + (-48531)/(-28) a prime number?
True
Let g(z) = 4*z - 30. Let n be g(5). Let w be (6/n)/(4/(-20)). Suppose -w*v + 84 + 177 = 0. Is v prime?
False
Let v(o) be the first derivative of 13*o**6/40 - o**5/60 - 3*o**3/2 + 4*o**2 - 16. Let a(i) be the second derivative of v(i). Is a(4) a prime number?
False
Is ((-637)/39 - -15)/(-2)*(-2288982)/(-4) a prime number?
False
Let o = 2158608 + -1311115. Is o composite?
False
Let w(f) = 40 - 17*f**2 + 20*f**3 + 9*f - 19*f**3 - 11 - 7*f**2. Is w(25) a prime number?
False
Let x = 463132 - -233175. Is x composite?
True
Suppose -12 = 4*u, -12*r = -9*r + 5*u - 208764. Is r composite?
False
Let l(m) = 9667*m - 129. Let h be l(-8). Is h*((-170)/(-25) + -7) prime?
True
Let g be (-3718)/(-110) + (-1)/(-5). Let r = -36 + g. Is ((-6)/r)/(3/23) prime?
True
Let t = 4243 + -2310. Let s = 4532 - t. Is s a composite number?
True
Is (-4)/(-20) + ((-807387)/(-15) - -1) a prime number?
False
Is 1983080/12 + (-28 - -27) + 12/9 a composite number?
True
Let c be (5/((-25)/10))/(8/(-92)). Suppose 22*b + 69 = c*b. Is b composite?
True
Let q = -70 + 72. Suppose y = 5*o - 815, 7*y - q*y = 5*o - 815. Let a = -80 + o. Is a a composite number?
False
Let i be ((-16)/(-12) + -3)*-3. Suppose -l = 0, -16*l + 21235 = i*h - 21*l. Is h a composite number?
True
Let p = 2128 + -562. Let q(b) = -99*b**2 - b + 1. Let h be q(-3). Let s = h + p. Is s composite?
True
Is 200/280 + (-3567132)/(-7) a prime number?
True
Let t = -13195 - -25901. Suppose -19*o + 21*o = t. Is o composite?
False
Let p = 41318 - 24715. Is p composite?
False
Suppose 0 = -4*q + 146 - 130. Suppose -q*x - 4263 = -5*x + 5*c, -17022 = -4*x + 5*c. Is x prime?
True
Suppose -g - 572 = -2*i, 597 + 254 = 3*i + 2*g. Let w = i + 55. Suppose -3*q = -w - 611. Is q composite?
False
Suppose 9*j + 204 = 26*j. Suppose -9825 = -j*m + 2211. Is m prime?
False
Is (570/(-2280))/(0/(-1) - (-1)/(-185996)) prime?
True
Suppose 2*z - 1103 = 4*u + 4865, -2*u - 8972 = -3*z. Let v = z + 3845. Is v a composite number?
True
Is (-88)/4 + (-2625735)/(-85) prime?
True
Let h(w) = w**3 + 5*w**2 + 4*w + 5. Let f be h(-4). Let p be (-843)/2810 - 46/(-20). Is ((-5410)/(-4)*4/f)/p composite?
False
Let c = 7803 + 37505. Suppose 3*n + 5*t - c = 0, -n - 2*t + 12661 = -2442. Is n a composite number?
False
Is (2 + (-155658)/12)*(-2 + 0) composite?
False
Let h(b) be the second derivative of 85/6*b**3 + 28*b - 69/2*b**2 + 0. Is h(22) composite?
False
Let g(d) = 153*d + 37. Suppose 624 - 248 = 4*a. Let p = a - 88. Is g(p) a composite number?
True
Let r = -60 - -61. Suppose 5*m + 1693 = 2*w, -2*m = 3 - r. Let q = w + 957. Is q a composite number?
False
Let z be 2 - -52 - (0 + 4). Suppose -25*n - 26825 = -z*n. Is n composite?
True
Let v = 142 + -87. Let i = v + -20. Suppose 32*a - i*a + 4869 = 0. Is a a composite number?
True
Let i(t) = -5*t**2 - 14*t + 23. Let w(k) = 4*k**2 + 14*k - 22. Let c(v) = -5*i(v) - 6*w(v). Let b be c(13). Suppose b*p + 2*p = 2238. Is p a composite number?
False
Suppose -22*d = -49*d - 49*d + 11151860. Is d prime?
False
Suppose -1663352 - 3522951 = -2*x - 1650477. Is x a prime number?
False
Suppose q - 97415 = -2*s, -s + 74*q - 79*q = -48694. Is s prime?
False
Let i(z) = 2*z + 26473. Is i(0) a prime number?
False
Let p = -265 + 736. Suppose -2*w = 3*w - 2*b + 268, -4*w + 3*b - 220 = 0. Let v = p + w. Is v a composite number?
False
Let q = 210780 - 141467. Is q prime?
True
Suppose 0 = -4*r + y + 27, -2*r = -2*y - 0*y - 18. Suppose -16 = -s - j, -2*s = 4*j - 40 + r. Suppose -8*x - 1869 = -s*x. Is x a composite number?
True
Let c(g) = 99*g**2 + 4*g - 5. Let n(h) = -199*h**2 - 8*h + 9. Let a(v) = -5*c(v) - 3*n(v). Let m be a(2). Suppose s = m + 329. Is s composite?
False
Let j be 210/45 + (-2)/3. Suppose 70 = 3*y + j*y. Let w(q) = 26*q**2 + 3*q + 3. Is w(y) composite?
False
Let h = 43989 - 25966. Is h a prime number?
False
Suppose 0 = 2*p + 420 - 412, -t + 709287 = -4*p. Is t a composite number?
False
Is 597628/24 - 15/(-18) a prime number?
False
Let x be (-4)/30 - 11196666/(-270). Suppose -144363 = -22*p - x. Is p composite?
True
Let q(n) = -5*n + 13. Let r be q(5). Let f be 7682/r + (-5 - 31/(-6)). Is 0 + -1 + 2 - f a composite number?
False
Let m be -2*(-4 - (-20)/8). Let p(n) = -9*n + 138. Let a be p(15). Suppose -g - 942 = -a*l + 704, 5*g = -m*l + 1616. Is l a composite number?
False
Suppose -2*j = -3*u - 8894, 5*j - 2*u - 32594 = -10370. Suppose m + j = 5*m. Suppose -2*c - x + 1615 = -617, 3*x - m = -c. Is c composite?
False
Suppose 0 = -41*b + 48*b - 20643. Let o = 290 + -606. Let p = b + o. Is p composite?
False
Let r = -106 - -108. Suppose -5*p + 486 = x, -x + 2*p + 1543 = r*x. Is x composite?
True
Let v = -532 + 517. Is 18/v + 321252/60 a prime number?
False
Is (490812/9 + -1)*(41 - 38) prime?
True
Let x(h) = 3 - 11*h**2 + 2*h**3 + 3*h + 1 - 5. Suppose -2*f = -4*f - 2*k + 24, 7 = f - 4*k. Is x(f) a prime number?
False
Suppose 132048 = -8*p + 20*p. Suppose 42*c - 30*c = p. Is c prime?
False
Let u = 1382553 + -818830. Is u a prime number?
True
Let o be (2 - (-276042)/24)*(-8)/1. Let a = o + 145747. Is a a composite number?
False
Suppose -1417 = -4*h + v + 18023, 3*v - 12 = 0. Is h composite?
False
Suppose -3*o + u = 5*u + 9, -5*o - 3*u = 4. Is (1 + o)/(78/436137) composite?
True
Let x(f) = 5*f**3 - 92*f**2 + 179*f - 1747. Is x(60) a prime number?
True
Let a(q) be the first derivative of -13 + 44*q + 535/2*q**2. Is a(6) a prime number?
False
Let b(q) = 3*q + 13. Let w be b(-3). Suppose 0*i + 4*i = w*a - 12, -2*i - 8 = 0. Is 399 + 4 + 0*a/4 a prime number?
False
Let i(q) = -52239*q + 268. Is i(-5) a composite number?
False
Let d = 579520 + 811167. Is d a prime number?
False
Let b(k) = -11*k**2 + 16*k - 47. Let j(r) = r**2 - 2*r. Let l(g) = -b(g) - 5*j(g). Is l(-21) prime?
True
Let k = 13481 - 6780. Suppose c - 4*h = 3357, 5*h - k = -3*c + c. Suppose -c = -5*l + 1842. Is l a prime number?
True
Let h(t) = 525*t**2 + 2*t - 10. Suppose -27 = -6*i - 9. Is h(i) a composite number?
False
Let k(c) = 545*c + 3795. Let b be k(-6). Suppose -1561 = -2*m - 5*o - 88, -4*m = -5*o - 2931. Let x = m + b. Is x prime?
True
Let y be 22/121 - 670/55. Is ((-42)/y - 4)/(5/(-2260)) composite?
True
Let v(o) = -77*o**2 - 5*o. Let k be v(-4). Let u = k - -1703. Is (u/2 + 0)*(-19 - -21) a composite number?
False
Let w = 30833 + 57586. Is w a composite number?
True
Is -2*1 + (-74)/37 + 9957 a composite number?
True
Let j = -536 + 676. Suppose -3*v = y - 378, 4*v + 1069 = 4*y - y. Let b = j + y. Is b a prime number?
True
Let l(o) = 8*o**3 + 12*o**2 + o - 1. Is l(24) prime?
False
Let k be ((-33)/(-11))/(2/2). Suppose -k*y + 0*i + 5*i + 9241 = 0, -5*y + 3*i + 15423 = 0. Suppose -302 + y = 5*w. Is w composite?
False
Let x = 89060 - -279339. Is x prime?
True
Let h(b) = 6*b**3 + 17*b**2 - 12*b + 56. Is h(7) a prime number?
False
Let u be (30/9 - 6)/((-4)/(-12)). Is 4/u - (-6)/4 - -5856 a prime number?
True
Let b be (-4)/((-1)/(2/4*12)). Let d be (2 - b/3)*8/8. Let t(y) = 5*y**2 + 12*y + 21. Is t(d) composite?
True
Let l = 72 - 0. Is -5*498*l/(-30) + 5 a prime number?
True
Let u(o) = o**3 - 8*o + 4. Let b be u(4). Suppose -16*s + 13*s + b = 0. Is (402/s)/(1/2) composite?
False
Suppose -v - 17*g + 18*g + 43597 = 0, -5*g = -2*v + 87194. Is v composite?
False
Suppose 0 = 3*a - 2*j + 4, a + 3*j = 17. Let m be ((-1150)/(-4) + 0)/(a/4). Suppose 3*q - m = 898. Is q prime?
True
Let w be 6/(-51) - 106337*4/(-68). Let l = w - 1860. Suppose 12*h - l = -3*h. Is h composite?
False
Let f = 62 + -60. Suppose -3684 = -f*q + 2190. Suppose 3*k - s - 3*s - q = 0, 4*k - 3916 = s. Is k composite?
True
Suppose 74876 = -7*w + 20374. Let r = w - -20453. Is r a composite number?
True
Let d(k) = 18*k**3 + 12*k**2 - 7*k + 36. Let y be 10 + -4 + 1/1. Is d(y) prime?
False
Suppose 0 = -24*x + 46 + 2. Is 5579 + x/(-2 - (-15)/6) a composite number?
True
Is 92532 - 1*(-10 - 9) composite?
False
Let m(b) = b + 0*b - 2*b - 19 + 19*b**2 - 13*b - b**3. Is m(18) prime?
True
Let r = -855 - -755. Suppose 2*i = -0*i + v + 389, -190 = -i - 4*v. Let g = i + r. Is g prime?
False
Suppose 6 = 3*h + 2*z - 2, 12 = 5*h + 3*z.