 = -12*p. Suppose p = -15*k + 8*k + 35. Suppose -k*l = -337 - 1318. Is l a prime number?
True
Suppose -12*m - 1 = -49. Suppose m*q - 9387 + 1607 = 0. Is q prime?
False
Let i = -25 + 28. Let o be 1766*(5/4 + i/(-4)). Suppose -5*v - 5*t + o = -1127, 4*v - 2*t = 1578. Is v prime?
True
Let u be 4*3/3 - 49. Let r be 300/u*(-246)/8. Suppose -5*w + r = -0*q + 5*q, -q = 5*w - 57. Is q a composite number?
False
Let f be (1 - -3100) + -10 + 4. Suppose 7*u - f + 162 = 0. Is u a composite number?
False
Let l(t) = t**2 + 26*t - 247. Let j be l(-34). Let w(o) = 5*o**2 + 16*o + 110. Is w(j) a prime number?
False
Is (158*(-2155)/(-10))/1 a prime number?
False
Let i be 2*39/(-2) - -2. Let u = 37 + i. Suppose -2*a - 2*a + 4*l + 372 = u, 3*a - 271 = l. Is a prime?
True
Let q(d) = -19*d - 62. Let b be q(-3). Let g(j) = 342*j**2 + 10*j - 3. Is g(b) a prime number?
False
Suppose 0 = 5*v + 5*i + 45, -3*v - 20 = i + 13. Let p be ((-1)/1 - 1)*1050/v. Suppose p = t - 16. Is t a composite number?
False
Suppose 1488 = -r + 992. Suppose -3*c + a + 2474 = -95, 4265 = 5*c - 5*a. Let x = c + r. Is x a composite number?
True
Let t(b) = -b**2 - 2*b + 2. Suppose -3*y + 8*x = 3*x - 25, -2*x - 10 = -4*y. Let u be t(y). Suppose 43 = u*n - 105. Is n a prime number?
False
Let y(l) = -165*l**2 - 19*l + 5. Let s be y(-6). Let m = 13170 + s. Is m a prime number?
True
Let o = -46 + 52. Let j be (o + 0)/(21/14). Suppose 138 = j*h - 130. Is h a composite number?
False
Let h = -56845 - -122672. Is h prime?
True
Let u = 17 - 15. Let c(v) = 37*v**2 + v - 5*v - 3 + u*v. Is c(-2) prime?
True
Suppose -40 = -2*o - 8. Let i = 139 - o. Is i a prime number?
False
Let z(y) = 13742*y**2 - 2761*y + 22. Is z(-7) prime?
True
Suppose -o - 10 = 2*d, d + 5 = 4*o - 0*d. Suppose 9*w - 4*w = -2*k - 25, 3*w + 15 = o. Suppose -u = -k*u - 449. Is u a composite number?
False
Let g(k) = k**2 + 3*k - 11. Suppose -2*a + 3*h + 40 = 0, 3*a - 19 = -4*h + 58. Is g(a) prime?
True
Let g be (16/2)/((-4)/2) + 532. Suppose -o = 4*o + 1795. Let z = g + o. Is z a composite number?
True
Is (-116)/(-2)*(-30343)/(-38) a prime number?
False
Suppose 2*d - 5*x = 5*d - 50, 2*x = -4*d + 76. Suppose -d*w + 5730 = -14*w. Is w composite?
True
Suppose 0 = 2*x - 5*t - 345589, -347*x + 345565 = -345*x + 3*t. Is x composite?
False
Let x(c) = -10734*c - 271. Is x(-15) a composite number?
False
Suppose 117*w = 105*w - 36. Is (w - 4383/(-21))*14 - 1 a prime number?
True
Let y(d) = -60*d + 64. Let s be y(1). Is 3/s*(-1133916)/(-63) prime?
True
Is (554082/(-8))/((-24)/32) prime?
True
Is 184458/18 - 54/81 a prime number?
True
Let w(v) = -v**3 - 1 + 3 - 3*v - 5 - 3*v**2 + 0*v. Let k be w(-2). Is 3/(-9)*0*k - -1559 prime?
True
Let b(s) = 49*s**2 - 36*s + 7. Let a(j) = j**2 - 7*j + 16. Let d be a(6). Is b(d) a prime number?
True
Suppose -5*o = -87 + 122. Let d(q) = q**3 - q**2 + 10*q + 13. Let k(f) = 2*f**3 - 3*f**2 + 20*f + 25. Let x(i) = 7*d(i) - 4*k(i). Is x(o) a composite number?
True
Suppose 219408 = 4*d - 4*x, -x = 946*d - 943*d - 164536. Is d composite?
True
Let i(n) be the third derivative of n**6/120 - 3*n**5/20 + n**4/3 + 23*n**3/6 + 45*n**2. Let l(r) = -2*r + 2. Let q be l(-5). Is i(q) a prime number?
False
Let z(j) = 48*j**3 - j**2 - 3*j + 5. Let t = -385 + 387. Is z(t) composite?
False
Suppose -4*s = -2*x + 510, 3*x - 267 = 2*x - 2*s. Let u = x - 10. Is u prime?
True
Suppose -15 = -94*z + 91*z. Suppose -2*s + 0 + 24 = z*o, -o - 24 = -2*s. Suppose 9*b - s*b = -3054. Is b a prime number?
False
Suppose 3132024 - 360598 = 59*c - 311383. Is c a prime number?
False
Let y = 344468 - 141921. Is y a prime number?
False
Suppose -26672 = -2*s + 22164. Suppose -944 = -6*d + s. Is d a composite number?
True
Let i = 1417841 - 754470. Is i composite?
False
Let a(g) = -5712*g**3 - g**2 + 7*g + 13. Is a(-2) composite?
False
Suppose 21*r - 289995 = 16*r. Is r prime?
False
Let j be 32/14 - 28/98. Suppose 0*b - 5*b + 3117 = 3*x, 5*x = -4*b + 5182. Suppose -j*i = -7*i + 2*c + 5161, -i + x = -c. Is i a composite number?
False
Is (2358419/35 + 9)*20/8 a prime number?
True
Let r = 50 + -45. Let f be ((-33)/r)/(21/(-105)). Suppose f*d - 31*d = 254. Is d a prime number?
True
Is ((-818682)/(-30))/(1/5) prime?
True
Suppose -18*c + 42*c = 96. Suppose -k + 9054 = r, -c*k + 27165 = -k + 2*r. Is k prime?
False
Suppose -28*f + 32*f - 110452 = 0. Is f prime?
False
Let r = -25726 - -10427. Is (-6)/(0 + -2) - (r + -5) composite?
False
Suppose 5*d - 7*d - 6 = 0. Let k be (-2)/(-4)*(-4 - (d - -1)). Is (-1)/(0 - k/(-331)) a prime number?
True
Let u = 565 - 561. Suppose -d - c + 5*c = -7741, u*d - 30964 = 3*c. Is d a composite number?
False
Suppose 4*a - 4*b - 235288 = 0, 2*a + 4*b - 18598 - 99046 = 0. Is a composite?
True
Let t(o) be the third derivative of -o**6/120 + 2*o**5/15 - 5*o**4/8 + 13*o**3/6 - 31*o**2. Let b be t(6). Is -3 - ((-40)/b)/(2/(-263)) a composite number?
False
Suppose -2*z = -17 + 7. Suppose 7 = -z*v + 292. Suppose -2*b + 109 = 5*n + 8, 4*n = b - v. Is b a composite number?
False
Suppose -2*u + 479*w = 480*w - 52946, 2*w + 132365 = 5*u. Is u a prime number?
False
Let d(g) be the third derivative of -g - 1/60*g**5 - 1/8*g**4 + 1/120*g**6 + 0 + 16*g**2 + 3155/6*g**3. Is d(0) a prime number?
False
Suppose 37*g + 2*i = 32*g + 135933, -3*i + 27184 = g. Is g a composite number?
True
Let o(h) = 304*h**3 + 17 - 16*h - 615*h**3 - 21*h**2 + 309*h**3. Is o(-12) composite?
False
Suppose -1100064 + 13317510 = 54*w. Is w a composite number?
True
Let d = -17 - -67. Suppose 0 = -42*z + d*z - 37624. Is z prime?
True
Let f(d) = 8*d**3 + d**2 - 2*d + 34. Let x be f(-8). Let c = -2501 - x. Is c a composite number?
False
Let l(k) = -21*k - 11. Let n be l(-2). Is (n + -33)*26318/(-4) prime?
True
Suppose 0 = -6*p - 2*p + 32. Suppose p*c + 9682 = -2*u, 2*c = u - 3*u - 9676. Let m = -2848 - u. Is m a prime number?
True
Suppose 3*i - 2*q = -5175, 0*q + 5175 = -3*i + 4*q. Let r = i - -3074. Is r a composite number?
True
Suppose -4*i - 64 = 5*z, 2*z = 6*z + 4*i + 52. Is 2*(3 + (-1398)/z) prime?
True
Suppose 252460 = -149*i + 1812548 + 265311. Is i a composite number?
False
Let i = 982790 + -620683. Is i prime?
True
Let t(a) = 4*a + 105. Let h be t(-27). Is (1 + -1382)/(3/(9/h)) a prime number?
True
Let p(z) = -126 + 0*z + 138 - 6*z + 3*z**3 + 5*z**2. Let b be p(9). Suppose c - b - 1777 = 0. Is c a composite number?
False
Suppose -2*y = -4*f + y + 7174, -5389 = -3*f - 2*y. Suppose 14033 = 6*d - f. Is d composite?
True
Let z = 33 + -33. Suppose 5*o + 120 = 3*p - z*o, 0 = -4*o + 12. Suppose -2*k + 76 = 2*t, p = -3*k - 5*t + 165. Is k composite?
True
Suppose 1754*x - 18289 = 1744*x + 181821. Is x composite?
False
Suppose -1176893 + 3200468 = 75*d. Is d prime?
True
Let d be (-18)/54 - (956/(-6))/(-2). Let y = d + 112. Let r = 119 - y. Is r prime?
False
Suppose -b + 11 = -q, -3*q + 90 = 5*b - 5. Suppose -13*n = -17*n + b. Suppose -u = n*u - 2865. Is u a composite number?
True
Suppose -4*n + 0*n = -2*c - 16, -2*n + 5*c = 8. Let x be (n/(-24) + 34/8)*1. Suppose x*a - 20 = 0, 3*g + 5*a - 4060 = -2*g. Is g prime?
False
Let a(r) = 29847*r - 1772. Is a(5) prime?
False
Suppose 33*o - 4615861 - 516309 - 3230591 = 0. Is o composite?
False
Let y(v) = -107 + 136*v + 46*v + 131 + 197*v. Is y(29) a prime number?
False
Let i(s) = 48*s**3 - 6*s**2 - 36*s + 179. Is i(11) a composite number?
True
Let k(v) = 316*v**2 + 12*v - 239. Is k(-20) composite?
False
Let r(f) = 127*f - 9. Let t be 2/4 + (-9)/(-6) + -1. Is r(t) prime?
False
Let k be -3587 + -5 + 7 - -2. Let t = -2482 - k. Is t prime?
False
Suppose 18*l = 15*l + 9. Suppose i - 1880 = -5*u, l*i - 15 = 6*i. Is u composite?
True
Let k(j) = -j**3 + 125*j**2 + 168*j - 349. Is k(71) prime?
True
Let t be 1/((-13596)/13593 - -1). Let z = t + 7674. Suppose z = w + 6*w. Is w a composite number?
False
Let b(w) = -404*w**3 + w**2 + 15*w + 5. Let k(r) = 405*r**3 - r**2 - 13*r - 5. Let p(m) = -4*b(m) - 5*k(m). Is p(-2) a composite number?
False
Suppose 1 + 7 = 2*b, -2*z + 148 = 2*b. Let d = z - 66. Suppose 0 = -h - a + 3104, 5*h + 0*a = -d*a + 15525. Is h prime?
True
Suppose -332*c + 24 = -326*c. Is 17262/c + 12/8 composite?
True
Is 1/2 + (3 - (-322191)/18) prime?
True
Let s(b) be the third derivative of 47*b**5/30 - 5*b**4/12 + b**3/2 - b**2 - 15*b. Is s(-3) 