**2 + 75*k - 35. Suppose -2*x = 5*z - 0*x - 152, x = -4*z + 124. Is a(z) a prime number?
True
Let s(l) = -34*l - 141. Let x be s(-4). Let b(f) = -4129*f - 138. Is b(x) a prime number?
True
Let o(r) = -4*r**3 - 7*r**2 + 9*r - 11. Let p be o(-8). Let k = 6485 + p. Is k a prime number?
False
Suppose 0 = 5*v - 22*b + 18*b + 370, -65 = v + b. Suppose -5*a = -4*a + 17. Let l = a - v. Is l a prime number?
True
Let j(k) = k**2 + 19*k - 187. Let l be j(-26). Let c(g) = g**3 + 3*g**2 - 3*g + 2. Let p be c(-4). Is (3 + p)/5 - 254/l composite?
True
Is (4341762/270)/(9/15) a prime number?
True
Let u be 138/(-276) + ((-45114)/(-4))/1. Is (u/(-8))/((-13)/52) prime?
True
Suppose -3*p = 4*l - 399930, l - 3*l + 199980 = -p. Is l a composite number?
True
Suppose -3*y - 2*f + 33287 = 0, -y - f = 3751 - 14845. Is y a composite number?
True
Suppose 0 = 135*w + 7303663 - 29146258. Is w a prime number?
False
Suppose 5*v - 4237107 = -4*v + 3072810. Is v a composite number?
False
Let b(j) = -j - 76. Let s be b(-36). Is (-13188)/(-112)*s/(-6) a prime number?
False
Let k(p) = -220*p - 4 - 54 + 19*p - 47 - 2. Is k(-4) a prime number?
False
Let q(r) = 3*r**3 - 6*r**2 - 3*r + 11. Let l(n) = 3*n**3 - 7*n**2 - 4*n + 9. Let j(m) = -6*l(m) + 5*q(m). Is j(-5) a prime number?
True
Let n(r) = r**2 + 9*r + 9. Let x be n(-8). Let v be -4*(270/(-8))/x. Let d = -77 + v. Is d a prime number?
False
Let l(p) = -51*p**3 - 10*p**2 + 12*p + 6. Let y be l(-8). Let v = -13495 + y. Is v a prime number?
True
Let y = 1595904 + -894675. Is y a composite number?
True
Suppose -2*y + 3*h + 44331 = 0, y + 22169 = 2*y - 5*h. Suppose 0 = -p + 4*a + 97071 + y, 119230 = p + a. Is p a composite number?
True
Let j = -1669 - -910. Let g = j + 1148. Let f = 976 - g. Is f a prime number?
True
Suppose -11*r + 70031 = 2*d, -2*d + 4*r + 70010 = 8*r. Is d composite?
True
Let t = -509 + 509. Suppose -z + 13929 + 6394 = t. Is z a prime number?
True
Let h = -34426 + 82263. Is h prime?
True
Let i(u) = -4*u - 2. Suppose -4*x + f = -4 + 3, 5*f = -25. Let t be i(x). Suppose -t*r + 2217 + 505 = 0. Is r a prime number?
True
Let k(v) = -v**3 + v**2 - 3*v - 13. Let p be k(-2). Suppose -p*d + 641 = h - 6359, h = -2*d + 2803. Is d a composite number?
False
Let p be ((-14)/(-63))/(4/36). Suppose -5*v + 553 = -3*g, -p*g + 6*g = -4. Let m = v - -81. Is m composite?
False
Let v = 84318 - 44347. Is v a composite number?
False
Let o be (-22)/(-297) - 4322172/162. Let y = o + 55179. Is y composite?
False
Suppose 0 = 5*c - 0*b - b - 13, -b + 1 = 2*c. Suppose -2*s - 3*d - c*d = -1130, -d = -s + 565. Is s a prime number?
False
Let g be (-656)/(-28) + 76/133. Suppose -4*h + 692 = 4*i, -2*h - 2*h + 692 = -3*i. Let q = h - g. Is q composite?
False
Let u(a) = -10*a**3 + 6*a**2 - a - 6. Let y = 119 - 167. Let k be ((-6)/(-6))/(y/15 - -3). Is u(k) composite?
False
Suppose -3*w - 4*d = -w - 4, -5*d = w - 5. Suppose 0*r + 8*r - 32 = w. Suppose -5*k = -2*j - 55, 0*k + r*k = 5*j + 44. Is k a prime number?
True
Let m = -294784 - -540019. Is (-6)/9 + m/45 a composite number?
False
Suppose 4*o - 12 = f, -5*f - 60 = -0*f + 3*o. Let a be -11*(3/f - 8694/8). Suppose -d = 10*d - a. Is d prime?
True
Let m = 410 - 463. Let j = m + 1204. Is j composite?
False
Suppose -21 = -4*f - 5*u, 5*f - 4*u = -7 + 23. Suppose o = -5*m + 11674, f*m + 46821 = 4*o - m. Is o prime?
True
Suppose 0 = 4*o - 3*g - 895421, 82052 = o + 4*g - 141827. Is o prime?
False
Is (-1)/((-19 - -12)/214417) a prime number?
True
Let i be (-27)/(-63) + 0 - 38/7. Is 2 + 1 + i - (-1374 + -10) composite?
True
Suppose 7 = 2*w - q - 0, 0 = 4*q + 4. Suppose 2*m - 1 - 9 = -h, 5*m = -w*h + 26. Suppose -p + 44 = 5*l, 6*p - 2*p - m*l = 296. Is p a composite number?
True
Let m be 5 + 6/33 + (-2)/11. Suppose m*b - 22999 = 4*n + 5664, -3*b - n = -17191. Is b prime?
False
Suppose -w + d - 515 = 0, 0 = -0*w - w + 5*d - 511. Let j = w - -2535. Is j a prime number?
False
Suppose -5920644 = 68*j - 43*j - 17975069. Is j prime?
False
Suppose w + 3 + 2 = 0, w - 100720 = -5*c. Let d = 3222 + c. Is d composite?
True
Suppose 246 = -3*v - 3*v. Let y = -37 - v. Is 71 + 2 + y + -6 a prime number?
True
Suppose 0 = -10*h + 3654 + 15046. Let j = h + -931. Is j prime?
False
Let b(f) = 4*f**2 - 10*f + 16. Let k be b(5). Let c = k + -57. Is 2757/c + -6*(-4)/36 a composite number?
False
Suppose -2*u - 2*n = n - 24, -3*u + 3*n = -6. Is -4 + -2 + u - 1*-317 composite?
False
Let l(d) = -268*d**3 + 6*d**2 + 2*d - 3. Suppose 48*r + 74 = 11*r. Is l(r) composite?
False
Suppose 2*o + 137*c = 138*c + 1881519, -2*o + 1881521 = -3*c. Is o composite?
False
Let n be 2 - (-4 - (3546 + -3)). Suppose y - 216 = n. Suppose -19*q = -14*q - y. Is q prime?
False
Is (849098 + 26)*(-12)/(-48) composite?
False
Suppose 0 = -6*a + 110 + 16. Suppose -16*r + a*r = 100. Let t(l) = l**3 - 15*l**2 + 12*l + 3. Is t(r) a composite number?
False
Let h(g) = 915*g + 7. Let m(u) = 915*u + 7. Let i(k) = -3*h(k) + 4*m(k). Let t be (-8)/((5 - 13)*1). Is i(t) composite?
True
Let d(r) = 2*r**2 - r + 11263. Let x be d(0). Let t = x - 4640. Is t a composite number?
True
Let n(f) = 8*f - 2. Let t be n(2). Let d = 16 - t. Suppose 2*v = -d, -3810 = -3*i + 2*v - 37. Is i prime?
False
Let d be 1*-4*-2 - 2. Let o be ((-45931)/115)/(-1)*(4 + 1). Suppose d*s + 2*l - 3360 = s, 5*l - o = -3*s. Is s a composite number?
True
Let t be (-207)/(-3)*20/2. Let j = t + 139. Let l = j - 338. Is l prime?
True
Let g = 19791 - -24951. Is g/36 + 0 + (-3)/(-18) composite?
True
Let t(x) = 41*x**2 - 21*x - 49. Let h(s) = s**2 - 3*s - 58. Let a be h(10). Is t(a) a composite number?
True
Suppose 6*a + 220 = 4*a. Let d = a + 112. Suppose -2812 = -z + 2*w - w, -3*z - d*w + 8451 = 0. Is z composite?
True
Suppose 148*l - 147*l - 9895 = 0. Is -2*(-1 + (2 - l/10)) prime?
False
Let o(w) = -2*w - 28. Let p be o(-20). Is (-16)/24*(-27315)/p*2 composite?
True
Let f = -61 - -62. Is 3202/f - (-19 + 18) a prime number?
True
Suppose 3*n = 2*w - 432581, 44*n = 4*w + 45*n - 865155. Is w composite?
False
Let q be (3/5)/(13/(-5395))*-3. Let s = q + 1736. Is s a prime number?
False
Suppose 5*g - 61926 = 3*g + 4*l, 5*l = 15. Suppose 0*j + 4*j + g = 5*c, 4*c - 4*j = 24772. Is c a composite number?
False
Let t(y) = -4*y + 1031. Let f(i) = -4*i**3 + 2*i**2 + 5*i + 5. Let s be f(-2). Let w = s + -35. Is t(w) composite?
False
Let a = -753154 - -1140603. Is a composite?
False
Suppose 5*p - 4*x = -13 - 21, -4*p + 4*x = 24. Let u(z) = 89*z - 8. Let n(b) = 267*b - 23. Let q(f) = -3*n(f) + 8*u(f). Is q(p) prime?
False
Suppose -4*t + 5*t = -3. Let u(n) be the second derivative of -41*n**3/3 + 11*n**2/2 - 30*n - 2. Is u(t) prime?
True
Let l = 431 + -422. Is (169605/4)/l + 1/(-4) a prime number?
False
Let h = 488643 + -229556. Is h composite?
True
Let z(r) = r**3 + 8*r**2 + 2*r - 7. Let x be z(-4). Suppose -2*j + 5*m = 10, -5*j - 3*m = x + 38. Is (3 - 0)*(-7295)/j prime?
True
Let x(o) be the first derivative of o**3/3 - o**2 - 2*o - 60. Is x(8) prime?
False
Suppose 15*t = -0*t - 21555. Is (11/33 + -1)/(2/t) prime?
True
Suppose 2155 = -4*f + 17111. Is f a composite number?
False
Let x = -65482 - -99143. Is x composite?
True
Suppose -2*c - 3*g = -8, 0 = c + 2*c - 5*g - 31. Let q(x) = -413*x + c + 0 - 3 + 0. Is q(-1) composite?
True
Suppose -13*q = -18*q + 60415. Suppose -5*h - 585 + q = 2*n, 0 = 3*h. Is n a prime number?
True
Suppose 7*k - 6 - 78 = 0. Is (1 + (-39963)/(-6))*8/k a composite number?
False
Let s(n) = 7461*n + 28. Let b be s(6). Is b/(-12)*(18 - 24) a composite number?
False
Let m be (85/(-68))/(1/(-4))*1. Let u be 8/40 + 114/m. Is (2 + -2 + -757)*(22 - u) a prime number?
True
Let n = -19881 + 33418. Is n prime?
True
Let g be 30*(240/50 - (2 - -2)). Is (10645/4)/(-4 + 102/g) a prime number?
False
Suppose -2*b - 163184 = -2*r, -r + 163149 = r + 5*b. Is r prime?
False
Let g(n) = 2*n**2 + 16*n - 33. Let s(o) = -133*o**3 + 2*o**2 - 2*o. Let q be s(1). Let c = q + 152. Is g(c) a composite number?
True
Let w(k) = -1070*k + 224*k + 5 + 53*k - 721*k. Is w(-3) a composite number?
False
Let r(o) = 2*o**3 + 11*o**2 + o + 42. Let u be r(-6). Suppose 4*l = -4*c + 48468, 3*c - l + u*l - 36335 = 0. Is c composite?
False
Suppose 0 = 20*y + 50607 + 55553. Is (1 - y) + 9 + -9 a prime number?
True
Let i(j) = 98650*j + 990. Let w(d