 30 = -5*z, -3*z + 2*d - 26 = 3*d. Let v(u) = 13*u**2 - 19*u. Let r be v(z). Suppose -8014 = -10*k - r. Is k a composite number?
True
Let v = 67 + -64. Suppose -v*n = 2 - 29. Let k(u) = 16*u**2 + 12*u + 5. Is k(n) a prime number?
True
Let o(q) = 23*q**3 - 24*q**2 - 7*q + 7. Let n be o(5). Let c = 5266 + n. Is c composite?
True
Suppose -6*j + 10*j + 5*t - 6041 = 0, 3*t = -2*j + 3019. Suppose 6661 = 5*i + 5*a - j, 3268 = 2*i + a. Is i a composite number?
True
Suppose -41*t = -89*t + 21762480. Is t a composite number?
True
Let i(d) = -4281*d**3 - d**2 + 2*d + 3. Let l be i(-2). Suppose -l = 16*p - 152819. Is p prime?
True
Suppose 196 - 6 = 5*x. Let b = 41 - x. Suppose -j + b*k + 55 = -102, 4*k - 157 = -j. Is j prime?
True
Suppose -2*x + 10*x - 24 = 0. Let g(s) = 52*s**3 + 3*s**2 - 3*s - 13. Is g(x) composite?
False
Let z be (0 - (-2 + 4))*(-198 - -2). Let g = z - -851. Suppose g = a + 3*b, -2*a + b + 1421 = -1079. Is a prime?
True
Let u be (-4)/(-14) + 12/(-42). Let b be (-1 + u)/(3*(-3)/54). Is 111*3/b*2/1 a composite number?
True
Suppose 165*b - 960816 = 117*b. Is b prime?
False
Let q(u) = -u**3 - 23*u**2 + 42*u + 146. Let j be q(-32). Let o = j + -3817. Is o a prime number?
True
Let b(x) = 9*x**2 - 6*x + 16. Let m be b(5). Suppose -51 = 5*w - m. Is 488/w*(67 + (2 - 1)) a composite number?
True
Let l = -8930 - -22981. Is l a prime number?
True
Let a(o) = -2*o**2 + 3*o + 1. Let q be a(3). Suppose 25*s = 769 - 444. Is (-2319)/(-7) + s/(364/q) a prime number?
True
Suppose 0 = -w + 2*r - 101, -88 - 280 = 4*w + r. Let n = w - -97. Is -2518*(-3 - (-10)/n) a prime number?
True
Let o = -3001 + 24086. Is o a prime number?
False
Let n(v) = -2*v**3 + 11*v**2 + 7*v + 6. Let i be n(6). Suppose -z = 3*z - i. Suppose -2*h - 4*p = -262, 175 = z*h + 4*p - 214. Is h a composite number?
False
Let v = 22 - 18. Suppose -98 - 562 = -v*y. Let s = y - 94. Is s a composite number?
False
Let c = -645 - -643. Is c*1*93909/(-46) a composite number?
True
Let r be (2/(-2))/((-6)/(-12)). Is (-257*r/(-6)*-6)/2 a composite number?
False
Is 88927 + (-84)/12 + -2 + (-3)/(-1) composite?
True
Let i(u) = 34561*u**3 - 327*u + 659. Is i(2) prime?
False
Suppose 3840175 = 731*z - 706*z. Is z a prime number?
True
Let c(q) = 3*q + 10. Let d be c(-6). Is 1546*22/33*(-66)/d a composite number?
True
Suppose 2*z - z + 4 = 0, 5*u - 2*z - 38 = 0. Is (-88)/(-66) + 54670/u prime?
False
Let b be ((-174)/18 + 6)/(2/618). Let a = b - -1816. Is a prime?
True
Suppose 93 = 2*q - q - 2*p, 4*p - 259 = -3*q. Let a = 89 - q. Suppose 3*i - 5581 = -i - 3*y, a = i + 5*y - 1374. Is i a composite number?
False
Let w = 1503 + -828. Let z = w + 763. Is z a composite number?
True
Let k = 1021 - -745. Suppose -m + 3*z - k = 0, -m + 2*m - 2*z = -1763. Let h = 2710 + m. Is h composite?
False
Suppose 2279 = 6*v + 7091. Let n be (-2)/(-3) + 190/(-6)*-53. Let p = n + v. Is p composite?
False
Suppose 14*n - 93 = 201. Suppose n*w - 25*w + 9992 = 0. Is w prime?
False
Let y(j) = 4*j**2 - 6*j - 5. Let z be -1 + 12 - 13/(104/32). Is y(z) a prime number?
True
Let l(t) = 133*t**2 - 7*t - 9. Let r be l(7). Suppose -23*o = -19*o + 18040. Let c = r + o. Is c prime?
True
Let d(m) be the third derivative of 0*m - 18*m**2 + 0 + 689/6*m**3 + 1/8*m**4. Is d(0) a prime number?
False
Let i(v) = -4903*v + 2559. Is i(-110) a prime number?
True
Let h be (-263)/3*2*-21. Let m = h + 453. Suppose m = 5*o - 4650. Is o prime?
False
Is 2436 + (-6)/(-30)*65 a prime number?
False
Suppose 94 = -2*g - 30. Let v = g - -253. Is v prime?
True
Suppose -5*z = 5*t - 549940, 4*t - 219978 = -99*z + 97*z. Is z prime?
True
Let x(k) = -10*k**2 + 19*k - 47. Let n(y) = -22*y**2 + 37*y - 93. Let b(d) = 2*n(d) - 5*x(d). Is b(-38) a composite number?
False
Let k(m) = -128*m - 25. Let g be k(-1). Suppose -111*j + 19464 = -g*j. Is j prime?
False
Let z = 883997 - 482452. Is z composite?
True
Let o = 417216 + -218213. Is o composite?
True
Suppose 2964 + 1963 = 13*a. Let l = a + 252. Is l a prime number?
True
Let v = 35034 + 17327. Is v composite?
False
Let u be (5 + -8)/1 - -15. Suppose -5*r = -9*r + u. Suppose -5*d + 2705 = -5*f, r*d - 2*f = -2*d + 2705. Is d composite?
False
Let i(k) = -318789*k**3 - 3*k**2 + 4*k + 5. Is i(-1) composite?
True
Let j(p) = -p**3 - 11*p**2 + 12*p - 33. Let o = -11 + -5. Let n be j(o). Suppose -n - 6650 = -5*b. Is b composite?
True
Let j be (-524)/20 + (-8)/10 + 1. Let r be j/(-7) - (-32)/112. Is (-1)/(r/(6*2)) - -796 prime?
False
Let t = 1002 + -229. Suppose -39*g = l - 34*g - t, g = 4. Is l prime?
False
Let k = -160 - -86. Let n = k - -67. Let c(u) = -129*u + 8. Is c(n) a composite number?
False
Let k = -12023 + 19296. Suppose 0 = 2*y + k - 825. Let n = -2265 - y. Is n prime?
False
Let x = 921 - 1558. Let v = x - -930. Is v composite?
False
Let p(x) = -4*x**3 + 12*x**2 + 26*x - 13. Let n(t) = -t**3 - t. Let b(a) = 3*n(a) - p(a). Let f be b(14). Is 320 + -4 + f + 4 composite?
True
Is (6264/(-864))/((-2)/24296) a prime number?
False
Let a(q) = 5*q**2 - 5*q - 5. Let t(r) = -r**2 - r - 1. Let y(h) = a(h) + 6*t(h). Let x(j) = -3*j + 103. Let o be x(37). Is y(o) a composite number?
False
Let h(k) = -8*k + 50. Let o be h(6). Is -21*(-628)/24*o prime?
False
Suppose -3*m = 11*m - 25396. Suppose m = -a + 3*a. Is a composite?
False
Let s be (1/3)/(15/90). Let d(x) = 1 + 62*x**2 + 54*x**s + 3*x - 23*x**2 - 18*x**2. Is d(-2) a prime number?
False
Let b(t) = -39*t**3 - 6*t**2 + 4*t - 15. Let g be b(-4). Let v be -579*4*3/6. Let p = g + v. Is p prime?
False
Let l(n) = 411*n**3 - 11*n**2 + 74*n - 41. Is l(6) prime?
False
Let u = 1305090 + -240824. Suppose -58*y + 20*y + u = 0. Is y prime?
False
Let n = -33 - -35. Suppose n*h = -13*h + 30. Is (26278/(-6))/(-7) + h/6 a prime number?
False
Suppose -3*r - 1 = 11. Is (11/(-2))/(r/2936) prime?
False
Let r = 174 + -401. Let h = r + 1366. Is h a prime number?
False
Let t(p) = -21*p**3 - 7*p**2 + 50*p - 86. Let x(z) = -7*z**3 - 2*z**2 + 17*z - 29. Let k(f) = -4*t(f) + 11*x(f). Is k(13) composite?
False
Let w(d) = 1288*d**2 - 69*d - 202. Is w(-3) prime?
True
Let b(a) = -79*a - 27. Suppose -2*y + 5*r = -7, -3*y = -5*r + 2 - 10. Let z(x) = 1. Let s(p) = y*b(p) - 3*z(p). Is s(-9) a composite number?
True
Suppose -3*y + 2*b + 652679 = 0, 32*b - 37*b = -5*y + 1087800. Is y composite?
False
Suppose 2*n - 4 = -2*d, 4*n - 10 + 4 = -3*d. Suppose -d*t = -2*g - 40298, -3*t - 2*g - g = -60471. Is t a composite number?
True
Let s = -2632 + 5580. Let n = s - 1242. Is n composite?
True
Let g(b) = 20*b**2 + 14*b + 31. Suppose 104*s - 100*s - 4*t = 116, 112 = 4*s - 3*t. Is g(s) a prime number?
False
Let u be 4 - 13560/(12/(-3)). Let z be 27/(-33) + 1 + (-49746)/22. Let s = z + u. Is s a composite number?
True
Let r(p) = 754*p**3 + p**2 - 4*p - 4. Let s be r(2). Let n = 9043 - s. Is n composite?
False
Let z be (-99)/((-1)/1*(-7)/(-42)). Suppose 0 = -6*l - z + 2886. Is (l/(-4))/(8/(-80)) prime?
False
Suppose 0 = -a + 2*a. Suppose 9*z - 4*z - 4240 = -5*o, 5*z - 6*o = 4262. Suppose -79 = 5*l - t - 1136, 4*l - 3*t - z = a. Is l composite?
False
Suppose -7169 = -11*g + 17845. Let h = -991 + g. Let w = h - 486. Is w prime?
True
Suppose -8*f + 19 - 3 = 0. Suppose 4*z = 4*p - 2520, f*z - 1880 = -2*p - p. Let s = p - -49. Is s prime?
True
Let k be (-2 - -5)/(-2 + 3). Suppose 2178 = k*x - 4*p, 2*p - 2873 = -4*x - 3*p. Suppose -h - h = -x. Is h prime?
False
Let c be 9 + 2/6*(-18)/6. Let w(j) = 82*j - 21. Is w(c) a prime number?
False
Suppose g = m - 68425, 4*g - 5*g - 205277 = -3*m. Suppose -p = 2*b - 38871 - 6738, -3*b + p = -m. Is b prime?
True
Let x(y) = y**3 + 14*y**2 + 23*y - 11. Let o be x(-12). Is 1*1/o*1937/13 a prime number?
True
Let p = 1182794 - 572407. Is p a composite number?
True
Suppose 3*s - 20844 = 4332. Suppose 2*c = -0*c - s. Is 1/5 + (c/(-20) - 7) a composite number?
True
Let h be 236*(6/(-21) + (-11)/(-14)). Suppose 3*v = -2*m - h, 5*v + 80 = 3*v - m. Is 14/v*-21*7 a composite number?
True
Let n(f) = -84*f**3 - 30*f**2 - 203*f + 25. Is n(-8) prime?
True
Suppose 870 = 134*p - 129*p. Let j(m) = m**2 + 5*m + 6. Let i be j(-4). Suppose i*h - k + 79 = 399, h - p = 4*k. Is h prime?
False
Let n(d) = 4 + 10 - 10*d**2 - 12*d + 4*d**3 - 5*d**3 + 2*d**3. Let t be n(11). Suppose 602 = 3*g + s, 2*s - 209 = 2*g - t*g. Is g prime