**2 - 11*x - 7. Let k(f) = -f**3 - 5*f**2 + 26*f + 10. Let p = -83 - -75. Let z be k(p). Is u(z) composite?
True
Suppose 0 = -3*q + 3*v + 69, 3*v - 86 = -4*q + 5*v. Let f be (3/((-6)/166))/(q/(-20)). Let x = f + -61. Is x composite?
True
Suppose -3*z - 5*c + 35 = 2*z, -2*z + 5*c - 14 = 0. Is (-6)/(0 - z) + -3 + 492 prime?
True
Let v(k) = -5582*k - 1088. Is v(-5) a prime number?
False
Let y = -76 + 536. Suppose -5*w = -15095 + y. Is w prime?
True
Is (25832 - -114)*(-1 + (-19)/(-2)) prime?
False
Suppose h = 7*h - 30. Suppose -3*q = -5*y + 1 + 2, -3*y - h = 5*q. Suppose 0*d + d + 2*f = 567, y = -5*d - 4*f + 2805. Is d composite?
False
Let q(n) = -n**3 - 13*n**2 + 10*n - 24. Let y(m) = -m**2 + m + 1. Let x(h) = q(h) - 6*y(h). Let b be x(-8). Is (10 - 2)/b + 883 prime?
True
Suppose -27515 = -2*j + z, z + 48785 - 7510 = 3*j. Let v = -7165 + j. Is v composite?
True
Let r = -87401 + 166512. Is r a composite number?
False
Let z(d) = 9*d + 171. Let c be z(-17). Is ((-222)/c + 12)/(2/(-26238)) a prime number?
True
Is (161/(-14))/((-47)/33182) a prime number?
False
Suppose 3*y - 71225 = n, y + 0*n - 23739 = -n. Is y composite?
False
Suppose -3*o = 4*f + 14, -f + 7*o - 6*o = 0. Let v(j) = -2648*j + 21. Is v(f) a composite number?
True
Let u = 68 - 65. Suppose 0 = 11*r - 19 - u. Suppose 5149 = 3*t + r*p, -4*p - 5155 = -t - 2*t. Is t prime?
False
Suppose n - 2*w - 155322 = 19901, -2*n - 3*w = -350404. Is n composite?
False
Let s = 61 + -58. Let r be (-20)/8*(-10)/5. Suppose 5*t - 2*g = 112, -t + 83 = s*t + r*g. Is t composite?
True
Let s = 14350 + 211815. Is s a prime number?
False
Let g = -352 - -355. Suppose 2*n = 7*n - 10, -g*f + 48959 = n. Is f a prime number?
True
Is -32 + 9557723/21 + (-16)/6 a composite number?
True
Let w be (-180)/(-105)*7/(-2). Let f be (w/(-12))/(1/(-3588)). Let b = f + 4353. Is b a prime number?
False
Let j(g) = -g + 5. Let s be j(3). Suppose 5*b - s*r - 67694 = -3*r, b + 3*r = 13536. Is b prime?
False
Suppose 4*r + 4*j - 16 = 32, -r = -3*j - 16. Let o(s) = 25*s + 40. Is o(r) a prime number?
False
Suppose 5*i = 4*i + 2962. Suppose 0 = 25*d - 21*d - 20. Suppose -4*k + 2*l + 0*l + i = 0, 4*k - d*l = 2971. Is k composite?
False
Let c(k) = 179*k**2 - 194*k**2 + 0*k - k**3 + 0*k. Let d be c(-15). Suppose 3*o - 241 - 3560 = d. Is o a prime number?
False
Let l = -3342 + 24335. Is l prime?
False
Suppose -54*k = -59*k + 20. Is 2/(-16)*k - 8406/(-4) a composite number?
True
Let x(r) = r**3 + r**2 + 40965. Let b = 23 - 23. Let i be x(b). Is (1 + (-5)/3)*i/(-10) a composite number?
False
Let a(u) = -45*u**3 + u**2 - 3*u - 7. Let q(h) = 89*h**3 - h**2 + 7*h + 15. Let c(j) = 9*a(j) + 4*q(j). Is c(-2) a prime number?
False
Is (-1)/5 + ((-206112)/(-10) - -16) composite?
False
Suppose 2 = -3*d + p, 0*d + 3*p = d - 2. Is (11325 - d)*((-5)/(-2) - 2) a prime number?
False
Let h(o) = -o**3 + 4*o**2 + 2*o - 6. Let n be h(3). Let p(v) = 3637*v + 14 + 1 - 2 - n. Is p(1) prime?
False
Is (78906/4)/((50/(-5))/(-20)) a prime number?
False
Let q(v) = 72*v**3 + 39*v**2 + 49*v - 197. Is q(15) a prime number?
True
Suppose -2*r - 29 = 181. Is (-4)/30 - 119/r - -4048 prime?
True
Let r(c) = -6*c + 51. Let d be r(-5). Suppose 73*q = d*q - 1672. Is q composite?
True
Let z be (1298/33)/((-8)/(-786))*2. Let q = 13140 - z. Is q a prime number?
False
Let w(v) = -182*v + 50. Let j be w(-4). Suppose 439 + j = a. Is a prime?
True
Let a(x) = -8*x**3 - 25*x**2 - 37*x - 47. Is a(-15) a prime number?
False
Let j = 586869 + -378200. Is j a composite number?
True
Suppose 23*z - 28*z = 0. Suppose -u - r = -3*r - 8, z = 3*u - 3*r - 12. Suppose 3*x = -u*x + 4*w + 3097, 0 = -2*w - 2. Is x a prime number?
True
Let d(f) = 4*f**2 - 6*f - 7. Let r be d(-1). Suppose -2127 = -r*v - 0*v. Is v composite?
False
Let y = -3604 - -13361. Let k = -5270 + y. Is k composite?
True
Let b be 4/(108/(-1047)) - 2/9. Let c be (b/(-15) - 3)*10. Is c*5/((-40)/1262) prime?
True
Let d(n) be the second derivative of -101*n**3 + 43*n**2/2 - 39*n. Is d(-5) composite?
True
Suppose 97*g - 881616 = 56*g - 269773. Is g prime?
True
Let p(c) = 8*c + 15. Let i be p(-2). Let z be i + 5 + 4/(-1). Suppose -3245 = -z*o - 5*o. Is o composite?
True
Suppose -10*f + 15*f = 3*z + 830777, -2*z - 8 = 0. Is f prime?
False
Let r(t) = 40*t**2 - 2*t + 4223. Is r(60) composite?
True
Let d(g) = -3*g + 251. Let w(y) = y**3 + 6*y**2 + y + 6. Let f = -74 + 68. Let b be w(f). Is d(b) a composite number?
False
Suppose -10*y - 259970 = -6*y - 6*y. Is y prime?
False
Suppose 10*k - 4237 = 21133. Let t = 6316 - k. Is t a composite number?
False
Let i(x) = -2*x - 37. Let m be i(-20). Suppose -28 + 22 = -m*n. Suppose n*u - 4698 = -292. Is u composite?
False
Suppose 4*s = b - 0*s - 25, s = -4*b + 32. Suppose 4*c = b*c - 9925. Is c a composite number?
True
Let r = 298276 + 466507. Is r a composite number?
False
Let u(s) = s**3 - 2*s**2 - 2*s + 1. Let o be u(3). Let p(r) = -2*r**3 + 15*r**2 + 5*r + 17. Let m be p(8). Is ((-998)/o)/(m/14) composite?
False
Is (-705916)/(-22) - (20 + 3942/(-198)) a composite number?
True
Is (1*-3)/(5 - (-17056468)/(-3411278)) composite?
False
Suppose -20*f = -18*f - 4*r - 26798, 3*f = -2*r + 40173. Is f a prime number?
False
Is ((2/8)/(3/6))/(19/8575954) a composite number?
False
Is (-3 + (-37338)/(-6))/(13 - 11) - 7 a prime number?
False
Suppose -4*r = -5*l + 2530387, 1436*r = 2*l + 1441*r - 1012102. Is l prime?
True
Suppose 4*a - 536659 = -3*z, 59*z + 536665 = 62*z + a. Is z prime?
True
Let z(p) be the first derivative of -233*p**2 - 325*p - 320. Is z(-21) a prime number?
True
Suppose i + 16*a - 39008 = 13*a, 0 = 3*i - 2*a - 116969. Is i prime?
True
Suppose -8*r + 45*r = -2032188. Let k = 78323 + r. Is k composite?
False
Suppose -28*u + 37397 - 197506 = -1278457. Is u composite?
True
Is (297 - 299)/((-2)/602999) composite?
False
Let d(u) = 2832*u + 27. Let l be d(1). Let p = l + -700. Is p a composite number?
True
Let v(j) = 206*j - 190. Let p be v(6). Let s = 105 + p. Is s prime?
True
Let r(f) = 6*f + 135. Let x be r(-18). Suppose -x*p = -2*p - 32275. Is p composite?
False
Let w(k) = -99*k + 10. Let c(p) = p**3 - 28*p**2 + 54*p - 55. Let h be c(26). Is w(h) composite?
False
Is 20 + -8 + -4 + 615 prime?
False
Let m(n) = 11*n**2 - 46*n - 16. Is m(-19) composite?
True
Suppose -42*i = -40*i - 64. Suppose -3*q = i - 41. Suppose 4*u - 15096 - 1081 = q*m, -4*u = 2*m - 16182. Is u composite?
True
Let w(u) = 2*u**2 + 3*u + 12955. Let m(v) = v**2 + 3*v + 12955. Let p(z) = 3*m(z) - 2*w(z). Is p(0) a prime number?
False
Let a(d) = d**3 + 14*d**2 + d + 20. Let n be a(-14). Let y(s) = s**3 - 8*s**2 + 8*s - 4. Let g be y(n). Is (-4)/2 - (g - -3) composite?
False
Let x = -24 - -28. Suppose -x*f + 18367 = -3*h, 935 = 3*f + 2*h - 12836. Is f a composite number?
False
Suppose -z + 2 = -1, 12190 = 4*u - 2*z. Suppose 5*j = 4*j + u. Let c = j - 1994. Is c a prime number?
False
Let m(d) = d**3 + 12*d**2 + 11*d + 4. Let n be m(-11). Suppose -i - 287 = -n*u + 339, -5*i - 775 = -5*u. Is u a composite number?
False
Let f be (-14)/(-10) - -10*10/(-250). Is f*(-9529 - -2)/(-7) a composite number?
False
Let r(s) = -2*s + 40. Let f be r(12). Let a(z) = -z**3 + f*z**2 + z**2 - 4*z**2 + 9 + 27*z. Is a(14) composite?
False
Let x = 49247 - 24304. Is x prime?
True
Let a(v) = 2*v**2 + 6*v + 15. Let h be a(-8). Suppose 0 = -92*i + h*i - 21453. Is i a prime number?
True
Let v be ((-8)/(-10))/(2/10). Suppose 4*g + 6 = -2, r + 4*g - 515 = 0. Suppose 0 = v*o + 15 - r. Is o a composite number?
False
Suppose 3*i - 2820488 = -5*t, -3*t - 2*i = -1146828 - 545463. Is t composite?
False
Suppose c = 2*x - 2472, -3*x + 2013 = 2*c - 1695. Suppose -17*h = -923 - x. Is h a prime number?
True
Is ((-463897)/(-15) + 10/30)*5 composite?
True
Let v = 350 - 343. Let f(l) = 41*l**3 + 4*l**2 - 70. Is f(v) a composite number?
True
Let y(l) = 3*l**3 + l**2 + 11*l - 12. Let p be y(1). Suppose 0 = -w - p*v + 502, -509 = -2*w - v + 480. Is w composite?
True
Suppose 2*n = h + 500208, h = 5*n - 233695 - 1016822. Is n composite?
True
Let b(z) = z**3 + 2*z**2 - 37*z - 118. Let i be b(-4). Let x(t) = 30*t - 2. Let a be x(2). Is (781 + i + 3)*29/a a composite number?
True
Let k = -1074504 + 1549957. Is k a prime number?
False
Suppose -c - 4*f = -101864 - 18623, -4*f = -4*c + 48202