q = 368 + -363. Suppose -q*w + 2*m - 3025 + 10328 = 0, 0 = -w + 5*m + 1479. Is w prime?
True
Let x be (3/(-48)*-20)/(1/20156). Suppose 0 = 27*h - 22*h - x. Is h composite?
False
Suppose 2*g + 5*s = 16, -5*g - 7*s - 23 = -5*s. Let h(b) be the second derivative of 7*b**4/3 - 11*b**3/6 + 5*b**2/2 - 2*b. Is h(g) a composite number?
True
Suppose 7*b = 6 + 8. Let t(p) = 191 - 21*p - 368 + 2*p**b + 210. Is t(14) prime?
True
Suppose 3*j + 3*j = 114. Suppose 5*i - 1 - j = 0. Suppose 0 = 2*t + i*y - 1082, -5*y - 974 = -3*t + 616. Is t a composite number?
True
Let i = -6349 - -18707. Let p = -3042 + i. Suppose -4*o + 4*d = -p, 2317 = -3*o + 4*o - 4*d. Is o prime?
True
Let o = 4424 - -32317. Is (-9 + 112/12)*o a prime number?
False
Suppose v - 18 = -0*v. Suppose -13*h - 25 = -v*h. Is -3 + 440*(-1 + h) composite?
True
Let x = 2726930 + -1369077. Is x a prime number?
False
Suppose 18*q - 809139 = -3*s + 15*q, 0 = -5*q. Is s a prime number?
True
Suppose -64 = 67*c - 69*c. Suppose -c*v - 4237 = -17261. Is v composite?
True
Suppose -2*z + i = -270050 - 1053120, i = -4. Is z a prime number?
False
Let o be (-1)/((-8)/(-572)) + (-1)/2. Let c = o + 74. Suppose -3*j + 2*s + 3259 = 0, c*j - 4*s = 4*j - 2178. Is j composite?
False
Suppose 0 = -24*x + 728059 - 215683. Is x a composite number?
True
Let t = -81 + 106. Suppose 0 = -5*f - t*f + 168450. Is f composite?
True
Let i be -5*(-15)/25 + 1. Suppose i*w - 5*w - 5*l - 14 = 0, 3*w + l = 28. Suppose -835 = w*f - 16*f. Is f a composite number?
False
Suppose -629837 - 1003677 = -40*p - 505074. Is p a prime number?
True
Suppose 3*x - 12 = -x. Let v be (5520/(-10))/(x/(-2)). Suppose -3*u + 1758 = -3*w, -u + v + 221 = 2*w. Is u composite?
False
Let x be 40/16 - 3 - 7/(-2). Is -16 - -8349 - (1 + x) composite?
False
Suppose f = -4*d + 93081, 2*d - 36*f = -35*f + 46533. Is d composite?
False
Let i(h) = 2*h**3 + 3*h**2 - 1. Let o be i(1). Suppose -2*m + 3*w + 2 = -6, -5*w = -m + o. Suppose m*q = 3*q + 145. Is q prime?
False
Let s be (243/6)/(3*(-4)/16). Let o = 46 + s. Is (-7938)/(-24) + (-2)/o a prime number?
True
Let l = -727 - -5317. Suppose 5*h = 4*s + l, 4*s - 84 + 64 = 0. Is h a prime number?
False
Suppose g + 0 - 1 = 0, 3*g - 23 = -4*x. Suppose 0 = -i - 5*h + 1989, 4 + 1 = x*h. Suppose -751 = -q + i. Is q composite?
True
Let c(v) = 61*v**2 - 73*v + 1005. Is c(26) a prime number?
True
Suppose 0 = 212*x - 41648385 - 57185803. Is x composite?
True
Let a(q) = 356*q**2 - 71*q - 563. Is a(-10) a composite number?
False
Is ((-15)/(-20))/((-23)/(-4930556)) composite?
True
Let g(p) be the second derivative of 9*p**3/2 + 7*p**2/2 + p. Suppose -b + 564 = 556. Is g(b) composite?
False
Is 10687408/112 - (-10)/(-35) prime?
False
Is (-1052859)/(-12) - (-303)/404 a prime number?
True
Let b(c) = 0*c**2 - 230*c**3 - 4 + 73*c**3 + 9*c - 6 - 4*c**2. Let w be b(-5). Is -1*0/(-2) - w/(-30) a composite number?
True
Let p(n) be the first derivative of 95/4*n**4 + 19 - 3/2*n**2 - 3*n + 5/3*n**3. Is p(2) prime?
False
Let p = 10204 + 21073. Is p a prime number?
True
Suppose 0*c + 4*c - 3*q = 29, 4 = 4*q. Let o(p) = -2*p + c*p + 2 + p**3 + 2 + 2 + 15*p**2. Is o(-14) a composite number?
True
Is (581811/6*108/(-189))/((-6)/21) prime?
True
Let m(s) = 9 + 40*s + 2909*s + 1448*s. Is m(2) a prime number?
True
Let w(v) = 7*v + 43. Let h be w(-6). Let y(o) = o**2 - 5*o + 6. Let t be y(h). Suppose 147 = -5*x + i + 594, 0 = -t*x - i + 176. Is x a prime number?
True
Suppose 16*v - 92463 = -28367. Suppose 2*s + 1146 = v. Let z = s - 279. Is z prime?
True
Let s be 798/9*2*3. Let h = s - 321. Let f = 838 + h. Is f a composite number?
False
Let a be -46*(12*-4 + 7). Suppose 4*h - z = 4097, -4*h + 5*z = -2*h - 2071. Let p = a - h. Is p prime?
True
Suppose -14*q + 302539 = -13*q - 6*h, 3*h = 4*q - 1210198. Is q a prime number?
True
Suppose 3*z + 5 = -58. Let c(m) = m**3 + 24*m**2 + 3*m + 31. Is c(z) prime?
True
Suppose -20*o + 31*o = -44. Let u(y) = -34*y**3 + 5*y**2 - 3*y - 17. Is u(o) prime?
True
Let p(a) = 8955*a**2 + a + 1. Let v be p(-1). Let l = v + -4656. Let n = l + -2462. Is n composite?
True
Suppose -29*b + 121*b - 16569138 = -3948854. Is b a prime number?
True
Let w be ((-1)/(-6)*-2)/((-4)/(-36)). Suppose 0 = -2*j + 6*j - 4. Is 3*j - ((-3787)/7 - w) prime?
True
Suppose -4 - 5 = -3*s, -12645 = -3*t - 3*s. Let y = t + 1111. Is y prime?
True
Suppose -15336 = -3*u - 2*d - 2*d, -3*d - 10207 = -2*u. Let c = 28531 + u. Is c a composite number?
True
Let r(h) = 30*h**3 - 139*h**2 + 89*h - 35. Let q(g) = -14*g**3 + 69*g**2 - 45*g + 17. Let w(l) = 13*q(l) + 6*r(l). Is w(30) prime?
True
Let d be 5 - (-3 + 3 - -5). Suppose 5*z - 3114 - 11501 = d. Is z composite?
True
Let j(o) be the second derivative of o**4/12 + 373*o**2 - 16*o. Let w be j(0). Let t = -99 + w. Is t composite?
False
Let w(f) be the first derivative of 11*f**6/10 - f**5/20 + f**4/24 + f**3/2 - 24*f**2 - 13. Let a(z) be the second derivative of w(z). Is a(2) a prime number?
True
Let v = -21407 + 393796. Is v a prime number?
False
Let s(o) = -o + 7. Let g be s(2). Suppose -g*b = 208 - 843. Is b a prime number?
True
Let l(o) = 14671*o - 124. Is l(3) prime?
True
Let r be (-3 - -1)*(-10 - -9). Suppose 0 = 3*y + r*y - 25, -5789 = -2*s - 5*y. Is (s/(-55))/(1/(-5)) a prime number?
False
Suppose 8*y + 840 - 840 = 0. Suppose 4*j = -4*g + 3648, -5*g - 3*j + 6231 - 1673 = y. Is g a composite number?
False
Suppose 2*d = -3*r + 199, 4*d + 125 = -2*r + 527. Is (d + -102)/(1/(-7441)) a composite number?
True
Suppose b - 4*k - 1218403 = 0, 6766*b - 6767*b + 2*k + 1218385 = 0. Is b prime?
True
Let m be (-21)/15*-5 + -4. Suppose m*d - 4*y - 71145 = 0, -51*d = -50*d - 3*y - 23710. Is d prime?
True
Let a = -259781 - -390708. Is a composite?
False
Let l(w) = 3*w + 20. Let t be l(-6). Let r be (-15540)/(-9) + ((-4)/3)/t. Suppose 0 = -15*h + 17*h - r. Is h a prime number?
True
Is (3 + -4)*-5*(-347879)/(-35) prime?
True
Let h(v) = -2375*v**3 - 58*v**2 - 184*v - 1. Is h(-3) a prime number?
False
Suppose -4*t = -4*q + 16, -10*t + 16 = 4*q - 7*t. Suppose 2*m = -4*w + 50208, q*w - 4*m = 59722 - 9502. Is w a prime number?
True
Let i be (-15)/(((-9)/3)/372). Suppose i + 1496 = m - j, 3*m - 10062 = j. Is m prime?
False
Let a(q) = -237*q**2 - 18*q - 21. Let t be a(-5). Suppose -37245 = -3*u - 0*u. Let g = t + u. Is g prime?
False
Is ((-2631644)/(-18))/(((9 - 4) + -7)/(-9)) a composite number?
False
Let x(o) = 5*o**2 - 3*o + 3. Let b(t) = 4*t**2 - 3*t + 3. Let v(r) = 4*b(r) - 3*x(r). Let u be v(4). Suppose f = u*f - 6114. Is f composite?
False
Let x be ((-464764131)/(-91))/9 - (-3)/7. Suppose 1375518 = 8*w + x. Is w a prime number?
False
Let b = 288239 + -194932. Is b a prime number?
True
Let k = 21 - -630. Suppose 2*r = -r + 15. Suppose 403 = 3*h - 0*h + r*c, 2*c = 5*h - k. Is h composite?
False
Let x be (-112)/(-20) + (-2)/(-5). Let h(q) be the first derivative of 931*q**2/2 + 5*q - 63. Is h(x) composite?
False
Suppose 64*u + 212 = 11*u. Is (39706 - 0)/((-1)/2*u) a prime number?
True
Let g = 196850 - 52045. Is g prime?
False
Let y be (-633455)/(-30)*3 - 1/2. Suppose 13*c - y = -3064. Is c a prime number?
True
Let p(a) be the second derivative of 7*a**3/3 - 3*a**2/2 - 19*a. Let z be p(1). Suppose -z*u + 358 = -1743. Is u prime?
True
Suppose 0 = -3*j - 3*j - 48. Let o be 1/4 - 1/j*-2. Suppose -2*d - 2*d + 4*k = -836, 5*d - 3*k - 1055 = o. Is d a prime number?
False
Let y(u) = 29006*u - 20793. Is y(7) a prime number?
False
Let q = 890 + -877. Suppose -4*b - 75515 = -5*u, 18*u - q*u - 75530 = b. Is u prime?
True
Suppose -3 = -2*w + 3. Suppose 4*p - 6 = w*g - 40, 2*g - 16 = -4*p. Is 1/(-5) - (-4912)/g a composite number?
False
Suppose 15*f - 7 = 53. Suppose 4426 = f*y - 8082. Is y a composite number?
True
Suppose 44 = 7*b + 16. Let r be (0 + b - -418)/(-1 - -3). Suppose -10*x = -r - 3879. Is x a composite number?
False
Let h(j) be the third derivative of 11*j**5/60 - j**4/24 - 17*j**2. Let d be h(-1). Is 2/d + (-27276)/(-72) prime?
True
Suppose 0 = 5*j - 5*w - 1328155, 5*w - 8 = 2. Is j prime?
False
Let x(m) = -m**3 - 2*m**2 - 2*m. Let o be x(-2). Suppose -18 = -2*h - o*h. Suppose -8132 = h*p - 7*p. Is p composite?
True
Let s be ((-5)/15)/((-3)/45). Suppose 3*c - 10752 = s*z, 2*c - z + 3*z - 7184 = 0. Is c prime?
False
Suppose 0 = 