+ 1*-1735). Suppose -4*r + m = -s. Is r a composite number?
True
Let i(q) = q - 2. Let j be i(7). Suppose 2*k + 66 = 2*f + 4264, -k = -j*f - 2115. Suppose -8*v + 3*v + k = 0. Is v a composite number?
False
Let y(t) = t**3 - 3*t**2 - 2*t + 7. Let d be y(3). Is d*(-1)/5*-785 prime?
True
Suppose -f + 1 = 4*p + 15, 0 = -f - p - 8. Let n be (-66)/(-18) + (-2)/f. Suppose -2*g = -n*u + 460, 3*g - 4 = -16. Is u prime?
True
Let c = -6 + 13. Let p = -8 + c. Is 12 + (p - 2)/(-3) a prime number?
True
Suppose 4*b = t + 36, b - 44 = -2*b + 5*t. Is 1106/b*((1 - -3) + 0) prime?
False
Let d = 1385 + -712. Is d prime?
True
Let c(u) be the second derivative of 47*u**3/6 - 10*u**2 - 14*u. Is c(11) composite?
True
Suppose -5*m = -x + 1341 + 2150, 2*m + 3*x + 1410 = 0. Let w(k) = -181*k**2 + 2*k + 1. Let f be w(-1). Let r = f - m. Is r prime?
False
Suppose 3 - 28 = -5*f. Suppose -2*h - 32 = h + 5*s, f*s + 40 = -5*h. Is (-194)/(-6) - h/6 composite?
True
Is (-263)/6*4*(-27)/6 composite?
True
Let i = 654 + -656. Let n(q) = -29*q**3 + 2*q**2 + 5*q + 2. Let x(a) = 58*a**3 - 3*a**2 - 9*a - 3. Let g(w) = -5*n(w) - 3*x(w). Is g(i) a prime number?
True
Suppose 429 = -4*q + 1909. Suppose 0 = -4*w + 6*w - q. Is w composite?
True
Is (-646615)/(-45) + 0 - 4/18 a composite number?
False
Let k(i) = 280*i - 63. Is k(16) composite?
True
Suppose -4*c - 313 = -2*x - 867, 3*c + 4*x = 443. Let l = c + -55. Is l composite?
True
Let q be (-6)/21 - (-1 + (-36)/28). Suppose -2*r - q*r + 3622 = 2*h, -5*h + 9020 = 3*r. Is h a composite number?
False
Let i(f) = 66*f + 10. Let z be i(5). Let m be (z/50)/(1/185). Suppose 4*k - 2528 = 2*g, 4*g = -2*k + 2*g + m. Is k a composite number?
False
Let q(d) = 39 - 4 - 12*d + 9. Let p(l) = 8*l - 29. Let y(t) = 7*p(t) + 5*q(t). Is y(-12) prime?
False
Is 10/(-30)*1 + (-7556)/(-6) composite?
False
Let s(z) = 4*z**3 - 10*z**2 + 10*z - 6. Let c be s(6). Is c/4 - 21/(-14) a prime number?
False
Suppose 0 = -q - 2 + 3. Let b be 13 + -9 - 10/q. Is 159 + 7/((-21)/b) composite?
True
Suppose -106961 = -2*m + 5*f, -m - 3*f + 10355 = -43109. Is m a composite number?
True
Let w = -843 - -5102. Is w a composite number?
False
Suppose 10*d - 2*d + 32 = 0. Is -58*(-1)/d*(0 + -10) a prime number?
False
Is 116/145 + (-571164)/(-20) a composite number?
False
Suppose -30*j = -2*y - 27*j + 13559, 4*y - 3*j - 27133 = 0. Is y a composite number?
True
Let n(t) = t - 10. Let g be n(10). Suppose 0 = 3*j - 2*i - 435, g = j + 3*i - 55 - 90. Is j a prime number?
False
Let v(p) = -7*p + 14 + 9*p**2 + 2*p**3 + 6*p - 5*p. Is v(7) prime?
False
Let r = 33 - 43. Is (15/r*1814)/((-2)/2) prime?
False
Is ((-474)/15)/(22/(-8195)) composite?
True
Suppose 5*i - 62 = -2*f + 100, 5*i + 384 = 4*f. Suppose f*g + 1538 = 93*g. Is g prime?
True
Suppose 10*b - 4*b = -5742. Let w = -406 - b. Is w a composite number?
True
Let f(n) = -56*n**3 + n**2 - n - 1. Let g be ((-6)/(-4))/((-9)/(-24)). Suppose 0 = -2*w - 2*w - g. Is f(w) prime?
False
Let s = 350 + 468. Suppose -2*h - s = -4*h. Is h a prime number?
True
Is (-4)/20 - (-4 - (-33492)/(-10)) composite?
True
Let a = 2918 - -16185. Is a composite?
True
Is (-52041)/(-133) - (9/7 - 1) a prime number?
False
Let s(x) = -88*x**3 - 11*x**2 + 3*x - 11. Is s(-6) composite?
False
Suppose 6*x - 14 = 4*x. Suppose 197 = x*n - 1224. Is n a prime number?
False
Suppose -5*y + f - 47 = -8*y, 4*y = -f + 61. Is 1998/y + (-34)/(-119) composite?
True
Let a(j) = -27*j**3 - 2*j**2 - j + 3. Let u = 67 + -70. Is a(u) prime?
False
Let d(u) = -u + 5. Let i be d(10). Let s(f) = -f**2 - 2*f - 5. Let n be s(i). Let z = n + 51. Is z a prime number?
True
Suppose 227364 = -29*r + 41*r. Is r a composite number?
False
Let k = 42 + -48. Is 659/2 + (21/k)/7 a prime number?
False
Let u = 8 - 3. Suppose 238 = p + p + 3*g, 5*p - u*g - 545 = 0. Suppose -2*a + 0*a - 5*w = -143, -2*a + w + p = 0. Is a composite?
False
Let y(w) = -4*w**3 - 30*w**2 + 16*w - 61. Is y(-15) a composite number?
False
Let z = 23152 + -16286. Is z a prime number?
False
Let n(x) = 1977*x + 2. Let u be n(-2). Let r be (-3)/(-5) - u/(-20). Let p = 280 + r. Is p a composite number?
False
Let i(p) = 18*p**2 + 5*p - 1. Let o(l) = l**3 + 7*l**2 - 5*l + 6. Let t be o(-8). Let b be 2/5 + t/(-5). Is i(b) a prime number?
True
Let k(l) = 373*l**3 - l**2 + l. Let s be 0 + 1 + 4 + -4. Is k(s) composite?
False
Let o(s) = 2*s + 2*s**2 + s**3 - 2*s + 12*s**2 + 29. Is o(-12) composite?
False
Let i be (8/(-4) + -23)*-1. Suppose 0 = -i*l + 20*l + 6725. Is l prime?
False
Let t(n) be the second derivative of 104*n**3/3 + 7*n**2/2 - 39*n. Is t(4) a prime number?
True
Let i be (3 - -1 - 2)/1. Suppose 2*p + q - 157 = 4*q, i*p - 158 = 4*q. Is p composite?
True
Let i = -6 + 13. Suppose -2*n = -i*n + 1115. Is n composite?
False
Let h(s) = -24*s**3 + s**2 + 1 - 96*s + 46*s + 47*s. Is h(-4) a prime number?
False
Suppose 4*t + 2*l + l - 1424 = 0, -5*l = -4*t + 1456. Suppose -t - 10 = d. Let a = -38 - d. Is a composite?
False
Suppose 4*g - 101201 = -13*g. Is g a prime number?
True
Let w(j) = 3*j**2 - 22*j - 1. Let k(t) = -15*t**3 + 2*t**2 - t - 2. Let y be k(-1). Is w(y) prime?
False
Suppose 38876 = 2*s - 0*s - 3*l, -5*l = 0. Is s prime?
False
Suppose 0 = -0*j - j + 771. Suppose 5*z = -n + j, z - 2*z + 3*n = -151. Suppose 0 = -4*l + z + 354. Is l prime?
True
Let v(s) = 3*s - 1356. Let z(r) = -4*r + 1355. Let q(g) = -6*v(g) - 5*z(g). Is q(0) prime?
True
Let k(v) = 83*v**2 - 3*v + 7. Is k(3) composite?
True
Suppose 36 = -0*s + 2*s - 5*g, 4*g = -5*s + 156. Let a be (8 - 7)*s/2. Is 4/a - (-1475)/7 prime?
True
Suppose -5*r - 25 = -4*g, 6*r - 5*r + 34 = -5*g. Let w = r - -6. Let n(t) = 49*t**2 - t - 7. Is n(w) prime?
False
Suppose 5*t - 4*j - 10649 = 0, -6*t = -t + 4*j - 10641. Is t prime?
True
Let h(s) be the first derivative of s**3/3 + s - 10. Let w be h(-2). Suppose 0 = -0*i - w*i + 1655. Is i composite?
False
Suppose -4*o + 10 = -0*f + 2*f, -5*f + 20 = 5*o. Suppose -2*w + 9 = g, -4*g - f*w = -g - 21. Let j(x) = 48*x + 11. Is j(g) composite?
False
Let r(m) = 22*m**2 + 20*m + 41. Is r(-20) prime?
False
Let c be 12/(-20) - (-7)/(-5). Let g be (-1 - c)*-1 - 404. Is g/(-6) + 3/(-6) a prime number?
True
Suppose 0 = l + 2*y + 3, -y - 10 = -3*l + 9. Suppose 0 = -3*t - 4*x + 1475, -5*t - l*x + 2094 + 356 = 0. Is t composite?
True
Let n(y) = y**3 - 14*y**2 + 4*y. Let h be n(15). Suppose -68 = -b + 3*a, -a - 3*a - h = -5*b. Is b composite?
False
Let b = 42 + -40. Suppose 79 = 5*a + j - 369, 5*j = b*a - 163. Is a prime?
True
Let k(z) = -184*z**2 - 9*z + 2. Let u be k(7). Let t = 14116 + u. Is t a composite number?
False
Let j(r) = 806*r - 7. Is j(21) a prime number?
False
Suppose -18*v = -19*v + 3*w + 36245, 4*w - 8 = 0. Is v composite?
False
Let x = 434 + -303. Let l = x + -44. Is l a prime number?
False
Let s(m) = 408*m - 925. Is s(6) a composite number?
False
Suppose -34*w + 51815 + 62051 = 0. Is w composite?
True
Is (-36810)/6*1/(2 - 5) a composite number?
True
Suppose 0 = k - 417 - 481. Is k composite?
True
Let r(c) = -3*c - 3. Let y be r(-2). Suppose 0 = j + y, 0*j + j + 598 = 5*v. Is v a composite number?
True
Suppose 21*l + 3900 = 23*l. Let v = -1051 + l. Is v prime?
False
Suppose 40*f + 11181 - 231941 = 0. Is f a prime number?
True
Let r(b) = 2*b + 5 - 2 + 4. Let w be r(4). Is w/1 + (-6)/6 composite?
True
Let f be 3310/2*42/70. Suppose 2*m - f = -m. Is m a composite number?
False
Suppose 121*y = 132*y - 63217. Is y a composite number?
True
Suppose -29*c + 43*c - 26054 = 0. Is c prime?
True
Suppose 0 = -4*i + 4*m + 1904, 4*i = -4*m + 1057 + 839. Let b = i + -264. Is b a composite number?
False
Let v(f) = -2*f**3 + 3*f**2 + 5*f + 9. Suppose 4*s = -2*k - 18, 4*k - s + 16 = -11. Is v(k) a prime number?
False
Suppose -4*v - 4*g = -8, v + 4*g - 2 = -g. Suppose h + 5*w = -94, v*w - 218 = 3*h + w. Let i = h - -231. Is i prime?
True
Let h = -6 + 2. Is (2/h)/(24/(-912)) a prime number?
True
Let z(c) be the second derivative of c**3/6 + 2517*c**2/2 - 2*c + 1. Is z(0) prime?
False
Suppose 3*u - 5*u = -2, 13882 = 2*f - 4*u. Is f prime?
False
Suppose 2*t + m = 10, 2*t + 6 = -3*m + 24. Suppose -662 = -t*p + p. Is p a composite number?
False
Suppose -g + 4 = g. Suppose 0 = g*v - 4*q - 2, 43 = 4*v + 5*q + 13. Suppose 463 = v*d - 2112. Is d a prime number?
False
Let r(g)