*v - 3. Let z be u(5). Let k = z + 242. Is k composite?
True
Let j(h) = -7752*h + 967. Is j(-50) a prime number?
True
Suppose -3*d + 3*s + 0*s + 9114 = 0, 0 = 5*d + s - 15184. Is d a composite number?
False
Suppose 28 = 15*k - 10*k + 4*n, -k - 4 = -4*n. Suppose k*b = 13220 + 7632. Is b a composite number?
True
Is (-143 + -14)/((-4)/(-3628)*1*-1) a prime number?
False
Suppose 2*t - 3*i = 17 - 3, 0 = -t - 3*i + 16. Let h = 75 + -127. Is 130/h*(-508)/t a prime number?
True
Suppose -5*b = -5*n + 4*n - 1781, b - 4*n = 341. Let j be (2 + (-4 - -2))*1. Suppose j = 6*m - 57 - b. Is m a composite number?
True
Let x(w) = -w**2 + w + 240. Let t be x(0). Suppose 2 = 2*n - 132. Let z = n + t. Is z a prime number?
True
Let k = 526967 + -369622. Is k prime?
False
Let f = 544 - 544. Suppose -9*m + 3*m + 10542 = f. Is m composite?
True
Suppose -14687 - 30562 = -3*b + 4*k, -b + 15103 = 2*k. Is b a composite number?
False
Let s = -13 + 71. Suppose -59*b + 39557 = -s*b. Is b prime?
False
Suppose -350 = 16*g + 258. Suppose -498 = 3*p + 3*r, 5*r + 106 - 761 = 4*p. Let b = g - p. Is b a prime number?
True
Let l(q) = 6*q**3 - 6*q**2 + 9*q + 18. Let r(k) = 5*k**3 - 6*k**2 + 8*k + 17. Let i(p) = 4*l(p) - 5*r(p). Let s be i(11). Let b = 1401 + s. Is b prime?
True
Suppose 0 = -a + 3, 2*u = -5*a + 24220 + 51201. Is u prime?
False
Let a(i) = -83*i**3 - 16 + 11*i**2 + 9*i + 84*i**3 - 13. Is a(10) composite?
False
Let i(m) = -4*m - 6. Let w be i(-2). Suppose 4*j - 14 = -5*d, -4*d = 2*j + d - w. Suppose -j*g = -5*g - 1151. Is g a prime number?
True
Suppose -2*f = 2*n, f + 7*n = 3*n. Suppose t - 2*v - 2431 = f, 9736 = 5*t - t - 2*v. Is t a composite number?
True
Let k(v) = 82*v**2 - 9*v + 6. Let f(p) = -163*p**2 + 21*p - 11. Let s(a) = 2*f(a) + 5*k(a). Suppose 7*b - 2*b = 15. Is s(b) prime?
False
Let h(y) = -y**3 + 2*y**2 + 3. Let z be h(0). Suppose -5*c = -z*c - 2*t + 274, -5*c - t = 655. Let o = c - -2183. Is o prime?
False
Let q(y) = 2370*y + 91. Suppose 31*t = 39*t - 56. Is q(t) a prime number?
False
Suppose 0 = 49*a + 14*a - 535727 - 3399190. Is a composite?
False
Let k be (6/9)/(6/(-27)). Let d be -2 + (19 - (k + 0)). Is (339/15)/(4/d) a prime number?
True
Let o = -557 + 322. Suppose -2*j = 8, -2*m + 812 = -2*j + 20. Let r = o + m. Is r prime?
True
Let u(q) = 25*q**3 + q**2 + 4*q + 11. Let z(d) = -49*d**3 - 2*d**2 - 8*d - 23. Let w(k) = -5*u(k) - 3*z(k). Let n = 5 + 0. Is w(n) composite?
True
Let a(t) = -40313*t - 7853. Is a(-24) a prime number?
True
Suppose -2*w + 4*m = 8 - 460, -2*m - 666 = -3*w. Suppose n - w = 55. Suppose -3*c = 4*u - 220, -5*u + 2*c = -2*c - n. Is u prime?
False
Suppose 289250 = -133*n + 329*n - 2177018. Is n a prime number?
True
Suppose 2*i = 3*s - 143851, 0 = -7*s + 9*s - 3*i - 95899. Is s a composite number?
False
Suppose 20*n - 754569 = -7*n. Is n a composite number?
False
Suppose -4*s = 4*n - 14769058 - 1391918, 9*s + 4*n = 36362171. Is s a prime number?
False
Let p(t) = -t**2 + t. Let u(k) = 116*k**2 - 7*k + 12. Let f(w) = -4*p(w) + u(w). Is f(-7) composite?
True
Suppose 5*q - 3*q - 3*c + 88 = 0, -2*q + 2*c = 86. Let g = -37 - q. Suppose -g*t + 0*w - 4*w = -908, 0 = 3*t + w - 673. Is t a prime number?
True
Suppose 0 = -4*v + 4*l - 12, 0 = -2*v + 2*l - l - 3. Suppose -i - 6*p + p = -7041, v = -5*i - p + 35253. Is i prime?
False
Let p be ((-1)/(-2))/(5/4310). Suppose -2*h + 176 + p = 5*u, 5*h + u - 1483 = 0. Suppose r = h + 543. Is r composite?
False
Suppose -o + 681 = 453. Is ((-4826)/(-6))/(76/o) composite?
True
Suppose 8*x = 92 - 76. Suppose x*c + q + 1952 - 6903 = 0, -2*c + 4933 = -5*q. Is c a composite number?
True
Let i(j) = 3160*j - 2547. Is i(58) a prime number?
False
Let u be 1 - (-77265)/((-30)/(-6)). Let r = -9207 + u. Is r a composite number?
False
Let a(u) = 15*u - 177. Let q be a(12). Let l(o) = 82*o - 97. Is l(q) composite?
False
Suppose 2*m - 6 = x, 0*x - 2 = x + 2*m. Suppose 4*h + 5025 = -5*o, -4*h + 1900 = -2*o - 110. Is o/(-10)*x/(-3) a prime number?
False
Let s = 18499 - -18358. Is s a prime number?
True
Suppose 4*w - 173 = 3*y, -2*y = w + 3*w - 178. Is 13841/3 - w/66 a composite number?
True
Let i(b) = -2*b - 1. Let c(t) = 84*t - 22. Let n(w) = c(w) - 3*i(w). Is n(3) composite?
False
Let i = -3533 + 188140. Is i a composite number?
False
Let k(c) = 32*c - 3. Let d be k(2). Let z = d + -58. Suppose -3*t - m = -3601, z + 5 = 2*m. Is t prime?
False
Suppose -90 = -11*j - 7*j. Suppose 7*l - 3824 = 3*l. Suppose 0 = -j*w + l + 3549. Is w prime?
False
Let j(a) = a + 25. Let v be j(-16). Let w be (2 + v/(-3))*(-1273 - 2). Suppose 9347 - w = 8*b. Is b composite?
False
Let x = 1450 - 476. Let j be (21/56*-12)/((-6)/4). Suppose -x = -j*g + g. Is g composite?
False
Let p(x) = 21*x**2 - x - 25. Let m(t) = -62*t**2 + 3*t + 74. Let k(r) = -3*m(r) - 8*p(r). Let l = -1382 + 1389. Is k(l) a composite number?
False
Suppose -4*k - 9*p + 6*p = -11, 8 = k - p. Let a(u) = 471*u - 32. Is a(k) composite?
True
Let z(i) = -5*i + 43. Let t be z(8). Let s be 1 - (6/(-1) - -2). Suppose t*k - u = u + 1825, -k = s*u - 631. Is k composite?
True
Suppose 4*z = l - 78 - 717, z - 1572 = -2*l. Suppose -21*y - l = -5218. Is y a prime number?
True
Let q be ((-559096)/51)/((-8)/12). Suppose 3*p = 4*o + 4*p - q, -4*o = -p - 16444. Is o a composite number?
False
Let r be (-2)/20*-2 + (-28488)/(-10). Let g = r - -260. Is g a composite number?
False
Let o = -5065 + 7482. Is o composite?
False
Suppose 2223 = -8*i + 27*i - 1178. Is i a composite number?
False
Let b = 50588 + 114867. Is b a prime number?
False
Suppose 2116588 = 83*p - 10720773. Is p prime?
True
Let d be (-532)/(-2) + 0 + -1. Suppose -d = -5*n + 135. Suppose a - n - 59 = 0. Is a prime?
True
Let k(j) = 19*j**2 - 5*j + 23. Let v be 4/((32/12)/(-4)) - 4. Is k(v) prime?
True
Suppose -2*m - 57 = -5*z, -5*z + 2*z + 37 = -4*m. Is (-50069)/(-5)*60/(23 - z) prime?
True
Let u = -37 + 37. Let k be 3/(-3) + (u/(-1) - -2). Let s(m) = 875*m + 2. Is s(k) composite?
False
Let l = 406853 + 13878. Is l a composite number?
False
Let u be ((-22)/(-3))/(-3 + (-3440)/(-1146)). Suppose -3*i + u = -2*z, -i + 1408 = z + 2*z. Let g = i + -3. Is g prime?
True
Let a(b) be the second derivative of b**4/2 - 2*b**3 + 5*b**2/2 + 11*b + 1. Let h = -78 + 84. Is a(h) a composite number?
False
Let r = 79675 + -43068. Is r a prime number?
True
Is -5 + ((-18)/2 - -4) - -36959 composite?
True
Let r = 135 - 65. Suppose 5*o - 374 = -p - r, -2*o = -3*p + 929. Let c = 640 - p. Is c composite?
False
Suppose 5*d = -5*c + 4121 + 114, -2*d = -3*c + 2531. Let g = c + 7194. Is g a composite number?
False
Suppose -11*j + 66922 + 13884 = 0. Suppose -3*f - j + 29897 = 0. Is f a prime number?
True
Suppose h = -3*a + 4*h - 81, 2*a - 5*h = -60. Let o be ((-10)/a)/(4/(-3700)). Let j = 677 + o. Is j composite?
False
Let d = 1941 + -1008. Let y = d + -362. Suppose 0 = -4*o - 2*i + 762, -y = -3*o + 4*i - 6*i. Is o a composite number?
False
Suppose -34 = 5*u - 59. Let j be u + (-2 + 4 - 5). Suppose 0*w = -w - 1, -j*w = -2*p + 4720. Is p composite?
True
Let a(k) = -84*k**2 + 3*k - 2. Let t be a(1). Is t*(4 + -11) - (-5 + 3) a composite number?
True
Let q(d) = -2*d**2 + 9*d - 1. Let p be q(4). Suppose 2*i = -3*i + 5, 0 = -u + p*i + 3706. Is u prime?
True
Let o(t) = 70*t**2 + t - 1. Let d be (-9)/45 - 58/10. Let v be o(d). Suppose -v = -9*q + 8*q. Is q prime?
False
Let c = 97 - 84. Suppose -2*r + c*j + 7058 = 9*j, 5*r = -4*j + 17603. Is r a prime number?
False
Let b(w) = 6*w**3 - 6*w**2 - 4*w + 2. Let j be b(2). Suppose -j*d + 5*d = -117182. Is d a composite number?
True
Let f be (-8)/(-44) - (-40)/22. Suppose 21293 = f*p + 2895. Is p prime?
True
Let u = -264721 + 588884. Is u a composite number?
True
Suppose 6 + 414 = -15*u. Let k be (-3878)/(-49) - (-4)/u. Suppose -78*a + k*a - 1931 = 0. Is a prime?
True
Suppose 32 = 2*p - 4*y - 30, 3*y + 15 = 0. Let l = 22 - p. Is l - -216 - (1 + 1) a prime number?
False
Is (17/51)/(3*4/34308) composite?
False
Suppose 0 = 2*r - 21992 - 15948. Suppose r = 4*n - 6078. Let q = n + -3011. Is q composite?
False
Is (-219577)/(8/16*-2) prime?
True
Is (-1367532)/9*16/(-64) a composite number?
False
Suppose 725352 - 109604 = 26*c + 2*c. Is c a composite number?
False
Let k = -782 + 786. Suppose 2*i = 5*z - 18955, k*z - 4*i - i = 15147. 