m composite?
False
Let m(s) = -16*s + 2 - s**2 - 12*s + 15*s. Let q(g) = 5*g + 36. Let v be q(-8). Is m(v) a composite number?
True
Suppose 4*n - 34 = 10. Let f(d) = 54*d**2 - 42*d - 3. Let v(p) = -18*p**2 + 14*p + 1. Let h(q) = n*v(q) + 4*f(q). Is h(-7) a composite number?
True
Let z be (30/20)/((-4)/((-160)/(-15))). Is 2 + (-55)/22 - 24454/z composite?
False
Suppose -23882 = 22*q - 1664796. Is q a composite number?
False
Is (-570)/342 - (-1877073)/9 composite?
True
Let i = -128 + 130. Suppose 5*y - i*w - 3353 = 0, -1999 = -4*y + y - 2*w. Is y composite?
True
Let d(p) = -7*p + 35. Let b be d(5). Suppose b = 3*l - 34255 - 59180. Is l composite?
True
Suppose -4*q + 23673 = -3*j, -19*j = -18*j - 1. Suppose -3*p + 17689 = 2*c, -p + 2*p = 5*c + q. Is p a composite number?
True
Let b(n) = 13*n**3 - 3*n**2 + n + 5. Let a be b(-1). Is 7792 + 28/a*-3 a prime number?
False
Let d(h) = -42*h**3 - h**2 + 4*h + 15. Let y be d(-3). Suppose -y = l - 6719. Is l composite?
False
Let j(x) = -76*x**3 - 7*x**2 - 9*x + 13. Let q(w) = -w**2 + 6*w - 5. Let i be q(6). Is j(i) a prime number?
False
Let l(w) = -22*w + 6. Let g be l(1). Let h = -15 - g. Is (2 - h)*-1 - (0 - 1062) a prime number?
True
Suppose 0 = -8*v - 189 + 213. Is 119/(-42)*v*-614 composite?
True
Let g(w) = -15782*w**2 + w + 20. Let z be g(-12). Is ((-4)/(-6))/(-14 - z/162327) composite?
False
Suppose 2*c + y = 2446485, 19*c = 23*c + y - 4892969. Is c a prime number?
False
Let c(n) = 7*n + 10. Let d be c(-9). Let o = d - -56. Suppose 8705 = 2*w + o*w + 2*q, -4*w + 4*q = -6964. Is w prime?
True
Suppose 2*l - 2 = y, 5*l - 7 + 2 = y. Suppose 110894 = -y*w + 14*w. Is w prime?
False
Let b = -569660 - -1079241. Is b a composite number?
False
Suppose 0*g + 2*g = -4*c + 27002, 5*c - 33739 = 2*g. Is c composite?
True
Suppose 83*d - 15 = 80*d. Suppose -d*m + 2*j + 19945 = 0, -41*j + 39*j = 5*m - 19945. Is m a prime number?
True
Let w(d) = -2*d**3 + 15*d**2 - 9*d + 8. Let m(r) = r**3 - r**2 - r - 1. Let v(i) = -3*m(i) - w(i). Is v(-24) prime?
True
Let z = -53 - -58. Suppose 0 = -p - 0*j - z*j + 517, 2*p - j = 990. Is p prime?
False
Let o be 8/(-9)*(-117)/26. Suppose -2*r + z = -o, 4*r = -0*r - 5*z + 8. Suppose 54719 = r*c + 5*c. Is c prime?
True
Suppose -13*r + 8*r + 259868 - 1113 = 0. Is r a composite number?
True
Let f(n) be the first derivative of n**4/4 - 10*n**3/3 - 11*n**2/2 + 14*n - 8. Let r be f(11). Suppose -921 = -17*k + r*k. Is k a composite number?
False
Let d(b) = 9407*b - 10852. Is d(15) a composite number?
False
Suppose 4*q = 26203 + 44966 + 172835. Is q a prime number?
True
Let x = 299349 - 67430. Is x a prime number?
True
Let p(y) = y**3 + 31*y**2 - 11*y - 173. Let u be ((-4)/1)/(((-16)/104)/(-1)). Is p(u) a prime number?
False
Let m = -34 - -39. Suppose 1 = t - g, -4*t + 1 = -m*t + 3*g. Suppose -d + 2314 = w + 2*w, 3*w + t*d = 2315. Is w composite?
True
Let a = 69 + -67. Let u = 2 + a. Suppose 3*r = -5*c + 13960, 6*r + 5*c - 9315 = u*r. Is r composite?
True
Let a = 5268 + 4403. Is a a prime number?
False
Let z = -88 - -91. Suppose -b + z*b = 1882. Is b a composite number?
False
Let o(h) = 113*h + 40. Let q be o(17). Suppose -4*t + q + 2143 = 5*b, t = -4*b + 1015. Suppose 0 = -5*v + 3*w + t, v = w + w + 209. Is v a prime number?
False
Let y(o) be the first derivative of 13*o**5/60 + o**4/24 + 9*o**3/2 + 6*o**2 - 10. Let j(v) be the second derivative of y(v). Is j(-5) composite?
False
Let f(l) = -127*l. Let g be -2*(112/4)/(-2). Let a = g - 29. Is f(a) a composite number?
False
Suppose 8*y + 483 = -293. Let s = 11 + y. Let u = s + 379. Is u a composite number?
False
Let i(c) = 64 + 113*c - 11 + 199*c. Let b = 45 - 26. Is i(b) a prime number?
True
Suppose 0*l - 3*l = -14520. Let h(m) = 1485*m - 3. Let v be h(-2). Let p = l + v. Is p prime?
True
Suppose -4*f - 3 = -291. Suppose h + 5*c = 2*h + 2, -4*c = -4*h + f. Is h composite?
False
Suppose -692281 = -2*a - 3*g + 1185065, 0 = -2*a + 5*g + 1877282. Is a prime?
False
Suppose 34841942 = 73*q + 181*q. Is q composite?
True
Let d(k) = -54*k + 5. Suppose -2*g + 53 = 3*g - f, 2*g - 8 = -4*f. Let y be -4 + 1 - (-4 + g). Is d(y) a prime number?
True
Let p = 78 + -76. Suppose 3*l - 15 = -2*a, 0*a + 21 = 5*a + 2*l. Suppose a*t + p*t - 3415 = 0. Is t a prime number?
True
Let b(d) = -3 + 0*d**2 + 13*d**2 + 2*d - 10*d**2. Let o be b(1). Is (-1)/(10/(-2605))*o composite?
False
Suppose 0 = c + 5*k - 62699, 117*k - 112*k = -4*c + 250676. Is c a composite number?
False
Let u = -18115 - -31796. Is u composite?
False
Let r(m) = 341305*m - 94. Is r(3) composite?
False
Let b = -54 - -82. Is 25 - b - (2 - 6910) a composite number?
True
Let a = 75946 - 35075. Is a a composite number?
True
Let h be -2 + -2 + 3 + 2 + -2. Let l be (0 - h)*(-2 - -1475). Suppose -179 = 2*j - l. Is j a prime number?
True
Suppose 1475*l - 1483*l = -679064. Is l a prime number?
False
Is (1/2)/((27/(-1409834))/(-27)) prime?
False
Suppose -88 = 2*p - 110. Suppose -13*g + 6024 = p*g. Is g composite?
False
Is 43864/4 + 9 + -4 - -2 a composite number?
False
Let n be ((-231)/44 - -5) + (-15845)/(-4). Let c = n + -662. Is c a prime number?
True
Suppose -182153 = -65*g + 20147052. Is g composite?
False
Let d be 40 + (-1)/(6/(-3) - -1). Suppose -6 = -47*u + d*u. Is u - 10/5*-345 a composite number?
False
Let z(v) = -2*v**2 - 12*v - 3. Let o(g) = g**2 + g + 1. Let t(c) = -o(c) + z(c). Let d be t(-4). Suppose -191 = n - 2*n + f, -4*f = d. Is n a prime number?
True
Let w = 60098 + -34526. Suppose 2*r - 5*f - w = 0, -3*r + r - f + 25584 = 0. Is r a composite number?
False
Suppose -2117292 = 88*b - 14170036. Is b prime?
True
Is 71982/8 + (18/360 - (-24)/20) a prime number?
True
Let u(d) = 127 + 104 - 22 + d. Let k be u(0). Suppose 5*z = -2*l + 250 + k, -5*l + 4*z = -1065. Is l prime?
False
Is 0/(-30) - (-134168 + 1) a composite number?
True
Let g be (-12)/9*12/2. Let r(i) = 37*i**2 - 14*i - 27. Is r(g) a composite number?
True
Suppose -82*a - 39*a + 26*a = -3443845. Is a a composite number?
False
Suppose 4*b = 116559 - 44607. Suppose 4*i - d + 4*d = 14372, -5*i + 2*d = -b. Suppose 6*x + 3*j - 7189 = 2*x, 2*x - i = -2*j. Is x a composite number?
True
Is (594/72 - 9) + 1423735/4 a prime number?
True
Let x = -50 - -36. Let b = -11 - x. Suppose 364 = g + b*y, -g = 4*y - 2*y - 369. Is g a prime number?
True
Suppose 2*b - 372429 = -5*b - 2*b. Is b a composite number?
False
Let j = 8472 + -209. Is j a prime number?
True
Suppose 3*y + 44433 = 1118442. Is y a prime number?
False
Let h = -316 - -640. Suppose 2*c + 0*c = 5580. Suppose 0 = 9*v + h - c. Is v a composite number?
True
Suppose 3*t + 2008567 = 148*t - 517478. Is t prime?
False
Let m(f) be the first derivative of f**4/4 - f**3/3 + f**2/2 - 4*f - 24. Let j be m(0). Is j/7 + 55422/42 composite?
False
Suppose -4*d - 409453 = -3*u, -5*u + 2*d - 158906 + 841337 = 0. Is u a prime number?
False
Let n(d) = -d**3 - 3*d**2 + 24*d - 5. Let q be n(-7). Suppose -q*p = -21*p - 20794. Is p prime?
False
Let i(f) = -6334*f - 203. Is i(-3) a prime number?
False
Suppose 42 = 3*a - 2*a - 4*s, a + 2*s - 18 = 0. Suppose a*j - 545567 = 307623. Is j composite?
True
Let z(f) = -f**2 - 6*f - 5. Let u be z(-2). Suppose 2*o = -y + 3, -4*y + u*o = -0*o - 23. Suppose y*k = 3*a + 2069, k - 54 - 371 = -5*a. Is k composite?
True
Is 4/6*9/12 - 2046066/(-44) prime?
False
Let r(o) be the third derivative of o**5/20 + o**4/12 - 43*o**3/6 + 8*o**2 + 2*o. Is r(-14) a composite number?
True
Let x be (69/(-12))/(3/12). Let z(k) = k**2 + 21*k - 44. Let u be z(x). Is (3/(48/1388))/(u/8) prime?
True
Suppose -5*d - 4*c + 238419 = 0, -6*d = -9*d - 5*c + 143054. Is d a composite number?
True
Let x(m) = 25*m**2 - 2*m + 48. Let i be x(9). Suppose -4*l - 3*p = l - i, 5*p = 0. Is l prime?
False
Let j be 1/(-2)*(-3 + 0 - 97). Suppose 2*k + 2 = k - 3*n, -3*n + j = 5*k. Suppose -k*p = -2*p - 3641. Is p composite?
False
Let z(w) = w**2 - 15*w + 41. Let t be z(12). Suppose 3*y - 9 = -4*h, t*h + 11*y - 16*y - 20 = 0. Suppose h*c + 166 = 520. Is c prime?
False
Let w(y) = -y**2 + 17*y - 23. Let i be w(15). Let x be 9072/i + (-1 + 3 - 1). Let q = x - 624. Is q a composite number?
False
Suppose 0 = -19*n - 32 + 127. Is ((-636)/1 - n)*-1 prime?
True
Let s be 10/1 - 52/91*7. Suppose -5*z + 132313 = -3*h + s*h, -2*h -