**2 + 4*k**2 + 6*k**3 - k + 2 - 11*k**2. Let i be a(3). Is i - (-1 + (-4 - -3)) a prime number?
True
Let m(b) = 7*b**3 - 45*b**2 - 62*b + 13. Let p(d) = 5*d - 128. Let h be p(31). Is m(h) composite?
True
Suppose -54*l + 26392835 = -19*l. Is l a prime number?
True
Let j(y) be the second derivative of 12*y + 5/12*y**4 + 3/2*y**3 + 0 - 23/2*y**2. Is j(6) a composite number?
False
Suppose 0 = 36*h + 37*h - 548887. Is h a prime number?
False
Let f be (-1)/(-2)*-6*(3 + 6). Let q(g) = 58*g + 29. Let m(r) = 116*r + 57. Let p(s) = -6*m(s) + 11*q(s). Is p(f) composite?
False
Is 157309136/(-172)*(-2)/8 composite?
False
Let w = 394619 + 199420. Is w a composite number?
True
Suppose 0 = -4*n - 4*h + 4535096, 2*n + 0*n + 4*h - 2267542 = 0. Is n a composite number?
False
Is ((-295)/(-118))/((-20)/(-19288)) a prime number?
True
Suppose 0 = 5*n + i - 1780124, 2*i - 2128021 + 703911 = -4*n. Is n a composite number?
False
Let i(f) = f**2 + f. Let g be i(-10). Let v = 94 - g. Suppose q = v*s - 713, -s - 4*q + 157 = -0*q. Is s a prime number?
False
Let f be -2 - (178 + -2 - 2). Let t = f - -125. Is t/68*22552/(-6) prime?
True
Suppose -3835599 + 10064301 = 6*s + 12*s. Is s composite?
False
Is (129 - 127)*(-149402)/(-4) composite?
True
Is 14/(-84)*80329*-6 a prime number?
True
Let v(r) = -r**2 - 5*r + 14. Let f be v(-8). Let l(p) = -p**3 - 9*p**2 + 10*p + 12. Let w be l(f). Is 1277 + 0*3/w composite?
False
Suppose 1262 = -g - 2*f - 142, -g - 5*f = 1404. Let p = g - -859. Let t = p + 988. Is t a composite number?
False
Let k be 6/21 + 554499/(-77). Is (k/(-57))/((-4 - -2)/(-6)) composite?
False
Let v(i) be the second derivative of i**5/20 - 5*i**4/4 - 5*i**3 - 35*i**2/2 + 216*i. Is v(24) composite?
True
Let f(u) = 30*u**3 - 9*u**2 + 16*u - 156. Let w = 265 + -254. Is f(w) prime?
True
Suppose -m + 36 = -4*u, -3*u - 100 = -4*m + 57. Is (5/(m/15956))/((-1)/(-2)) prime?
True
Let n = 612 - -11799. Suppose 5*s - n = -346. Is s a prime number?
False
Let h(k) = -7*k + 15. Let i be h(0). Let p(g) = 2*g**3 - 18*g**2 + 7*g - 46. Is p(i) prime?
False
Let p be 9/(-2)*(13/(-9) + 1). Suppose -49 = 3*t + 2*l, -t + p = -4*l - 5. Let s(n) = -61*n - 24. Is s(t) prime?
True
Let j(g) be the first derivative of 1/4*g**4 + 11*g - 13 - 8*g**2 + 5*g**3. Is j(-13) composite?
False
Let g(h) = 2*h**3 - 122*h**2 + 113*h + 284. Is g(61) prime?
True
Let d(p) = -p**2 + 31*p - 26. Let l be d(30). Suppose l*z = -9*z + 19123. Is z prime?
True
Suppose 16*o - 451811 + 22388 = 294305. Is o prime?
True
Suppose -2*g = 2*p - 1119006, -5*g = -3*p - 0*p + 1678525. Is p/70 - (-6)/84 a composite number?
False
Let i(s) be the second derivative of s**5/20 + 7*s**4/12 - s**3/6 - 7*s**2/2 + 19*s. Let f be i(-7). Suppose f = -5*p - 9 + 1324. Is p composite?
False
Suppose 121*s + s - 488 = 0. Let k be 0 - 1/1 - -4. Suppose -3*q = -k*b - s*q + 2590, 4*b - q - 3465 = 0. Is b composite?
True
Let v = 39341 - 23158. Is v composite?
False
Let a be -6*(-1 + (-2)/(-6)). Suppose 29 = a*r - 15. Is 6/(-2) - (-5324)/r a prime number?
False
Suppose -15*b + 7*b = -426351 - 18601. Is b a composite number?
False
Suppose -2*j + 7*j - 310 = 0. Let b(w) = -w**3 + 7*w**2 + 12*w - 69. Let s be b(8). Let a = s + j. Is a composite?
True
Suppose -230679 = -5*z + 5*k + 47581, 0 = z - 3*k - 55638. Is z a prime number?
False
Let r(m) = m - 1. Let g be r(5). Is ((-10)/(-15))/(g/(-3))*-1262 composite?
False
Let r = -42 + 70. Suppose 0 = r*f - 39950 - 54606. Is f a prime number?
False
Let y(t) = 37118*t - 5741. Is y(11) a composite number?
True
Let k(q) be the first derivative of 6*q**2 - 5*q - 12. Let d be (15/(-4))/((-51)/136). Is k(d) a prime number?
False
Let o(k) = -5*k**2 - k**3 + 0*k + k + 7 + 0*k**2. Suppose -m + 6*m - 20 = 0, -4*m = 3*c + 2. Is o(c) composite?
False
Suppose -11*g + 159301 + 66023 = 0. Suppose -g = -4*u + 6064. Is u a composite number?
False
Suppose n + 0*n - 3684 = 0. Let l be n/8*2/3. Suppose 3*q - 4*q + l = 0. Is q composite?
False
Let b(c) be the first derivative of 3/2*c**2 + 62/3*c**3 - 11 + 11*c. Is b(-4) prime?
True
Let j(g) = 299*g + 298. Let b(z) = -150*z - 149. Let f(w) = -5*b(w) - 3*j(w). Is f(-28) a composite number?
False
Let o be 3/(-5 + 26) - (-422)/(-14). Is 4242 + -4*o/(-24) a composite number?
True
Let c(r) = -47*r**2 + 17*r + 14. Let l be c(-7). Let g = l - -4414. Let s = g + -1171. Is s a prime number?
False
Let b(y) = -8812*y + 101. Is b(-6) a composite number?
False
Let r(q) = 2*q**2 - 26*q - 32. Let m be r(14). Suppose 1 = 5*o + 2*i + 3, -4 = 4*i. Is (o/m - 1)*-67 a prime number?
True
Let x = 134504 + -45583. Is x composite?
True
Suppose 61*j - 1821 - 1373 = 59*j. Is j a prime number?
True
Let g(c) = 24*c**2 + 74*c - 81. Is g(-20) a composite number?
False
Let h(j) = 2*j**2 - 8*j + 21. Let w be h(4). Suppose -2*v = -9*v + w. Is (-239*4)/(-1) + v prime?
False
Let f be 3*5/(-15) + (1 - -1). Let b(s) = -4 - 11 + 1162*s + 10. Is b(f) a prime number?
False
Let p = -43 + 48. Suppose 123 = -p*a - 467. Is a*(-3 + (-11)/2) a composite number?
True
Let r = 699 - 684. Is ((-80866)/(-4))/(r/30) a composite number?
False
Suppose 5*h = -4*w - 2507, 3*w + 1919 = 2*h + 2*h. Let m = 1268 + w. Let k = m - -1868. Is k prime?
True
Let y(t) = -2*t**3 + 20*t**2 - 35*t + 9. Let n be y(8). Is -4547*(1 - n/(-10))*2 composite?
False
Suppose 118631 = 3*u - u - 3*t, -296558 = -5*u + t. Suppose u = 8*c - 37881. Is c composite?
False
Suppose j = -2*j + 60. Let n(v) = 53*v - 42. Let k(a) = a + 1. Let i(c) = 3*k(c) + n(c). Is i(j) prime?
False
Let w(c) = -c**2 - 20*c - 42. Let h be w(-17). Suppose -h*n + 20 + 70 = 0. Suppose 398 - 6268 = -n*q. Is q composite?
False
Let o(q) = -q + 1. Let c be o(1). Let x be (258 - c)*-7 - -2. Let z = -927 - x. Is z a composite number?
False
Suppose 5*l + 125 = -5*c, l + 74 = -2*l - 2*c. Let v(m) = m**2 + 9*m - 43. Is v(l) a prime number?
True
Let k = -453 + 456. Suppose 672 = d - k*u, 13*d - 11*d - u - 1339 = 0. Is d a prime number?
False
Suppose 0 = 4*x - 4*f - 24, -2*x - 4*f = 1 - 7. Suppose -96 = x*n + n. Let h(l) = -l**2 - 26*l - 17. Is h(n) a composite number?
True
Suppose 7*v = -2*v. Suppose v = -4*u + 3 - 19. Is -1796*(5/u + 1) composite?
False
Let h be (9 - 9 - (-27 - 1))*-1. Let p be (-322)/h*1/((-1)/170). Let k = -222 - p. Is k composite?
False
Suppose -3*i - v + 47 = 0, -4*i - 5*v = -22 - 48. Let n(o) = o**2 - 13*o - 30. Let d be n(i). Is 804 + (2 - d)/(-2) prime?
False
Suppose -4*m + 16 = 5*k - k, -5*k = 2*m - 14. Let q(h) = h - 3. Let o be q(7). Suppose -f + m*f - 35 = -2*n, -3*n = -o*f + 129. Is f composite?
True
Let v(c) = 2333*c**2 + c + 1. Let l be v(2). Suppose 4*s + w - 7474 = -w, 5*s - l = -5*w. Let m = s + -1247. Is m composite?
True
Suppose 2*o - 25*h = -21*h + 38, o + 3*h + 6 = 0. Suppose -150354 = 3*j - o*j. Is j a composite number?
True
Suppose 8605599 - 970030 + 5051596 = 135*y. Is y a composite number?
False
Let a(c) = -29*c**3 - 54*c**2 - 625*c - 119. Is a(-24) a prime number?
True
Suppose 797800 = 2*p - z, 4*p + 100*z = 101*z + 1595598. Is p a prime number?
False
Suppose p = 2*p - 15. Suppose 7 = -4*n - c + 2, -4*n = 3*c + p. Suppose n = -z - 25 + 152. Is z prime?
True
Let n(y) = -40152*y + 529. Is n(-9) prime?
False
Let c(s) = -1200*s**2 + 3*s - 4. Let b be c(1). Let m be (-4208)/6 - (-6)/(-9). Let r = m - b. Is r a prime number?
True
Let s be 6564*(2/(-1))/(-6). Suppose 0 = -4*l - 5*u + 9197, 3*u = -2*l - s + 6787. Suppose -2*z - z - 3*j + l = 0, -1538 = -2*z - 4*j. Is z prime?
False
Let p = 484 + -480. Suppose -2*o - 19814 + 3483 = -s, 4*o + 65316 = p*s. Is s composite?
True
Let v(x) = x**2 + 10*x + 14. Let f be v(-9). Suppose 5*u - 20 = -5*t, f*u - 9 - 16 = 0. Is 1346/4*(-8 + 6)*t composite?
False
Let m(h) = 14*h**2 - 15*h. Let u be m(-13). Let n = u - 1744. Is n a composite number?
True
Let n(q) = -188*q**3 + 2*q**2 + 19*q + 2. Suppose -13 = 3*s - 2*a, 0 = s - 4*a - 4 - 5. Is n(s) a composite number?
False
Let f = 13122 + -13716. Let l = 134 - 37. Let y = l - f. Is y composite?
False
Suppose 2072 = -4*s + 6*s. Let f(q) = 67*q**2 + 481*q - 17. Let w be f(-8). Let g = s + w. Is g a composite number?
False
Let t(i) = -2236*i + 7. Suppose -8 = 9*f + 28. Is t(f) composite?
False
Let y be (56067 + 4)*(-2)/(-6)*3. Suppose -395 = -9*t + y. Is t a composite number?
T