 -11*q + 2*q + 170541. Is q prime?
False
Let k(n) = n**2 + 3*n - 793. Let f(q) = -2*q**2 - 4*q + 793. Let h(v) = -2*f(v) - 3*k(v). Is h(0) a prime number?
False
Let m(b) = -3*b - 31. Let z be m(-10). Let t(x) = 680*x**2 - x. Is t(z) prime?
False
Let t(j) = -210*j + 155. Is t(-8) a composite number?
True
Suppose -516 = -z - 0*z. Suppose 3*s + 1014 = 7*s + d, 4*d = 2*s - z. Is s composite?
True
Let y(j) = 4*j**2 - j - 1. Let w be y(-1). Suppose 2*h = 4, -15 = -4*v - w*h + 1. Is (-572)/(-3) - v/(-6) prime?
True
Suppose -6*i + 1320 = -3*i. Suppose 2*f + i = 4*w, 0*w + 323 = 3*w - 5*f. Suppose 3*n = -5*x + 106, 4*x = -4*n + w + 33. Is n a composite number?
False
Suppose 27*l + 60 = 31*l. Let y(a) = a**3 - 14*a**2 - 17*a. Let b be y(l). Is (-11952)/b - (-6)/(-15) composite?
True
Suppose 3*y = 8*y - 4945. Let h = -1404 + y. Is (0 - h)/(10 - 9) a composite number?
True
Suppose -i + 38776 = -6171. Is i prime?
False
Let k = -157 + 199. Suppose -3*w + 10 = c - 2*c, 3*c = w + 2. Suppose w*t - k = t. Is t a prime number?
False
Suppose -36 + 39 = z. Suppose 0 = 5*l - z*k - 818, -5*k - 820 = -2*l - 3*l. Is l composite?
False
Let g be (-2)/3*147/(-14). Suppose 0 = m + 4*u, -5*u + g = -8. Is ((-1676)/6)/(8/m) composite?
False
Let o = -125 - -127. Is (-386 + 8/o)*-1 a composite number?
True
Let h = -129 + 47. Let x(m) = 5*m**2 - 66*m + 11. Let k be x(13). Is -1 - 8/k - h a prime number?
False
Suppose 1124 + 1506 = q. Suppose -5*z + 735 = -q. Is z prime?
True
Let d be ((-502)/(-4))/((-1)/(-6)). Let a = -458 + d. Is a composite?
True
Let r(m) = 252*m + 1. Suppose -28 + 5 = -3*t - 4*a, 2*t - 27 = -5*a. Is r(t) a prime number?
False
Let q = 33 - 39. Is (-2104)/(-3) + -1 + (-4)/q composite?
False
Let i(g) be the third derivative of -g**4/24 - g**3 + 3*g**2. Let z be i(-11). Suppose 0 = -3*a - z*o + 170 - 57, 5*o + 104 = 4*a. Is a a composite number?
False
Let m(l) = l**3 - 18*l**2 - 28*l - 41. Is m(21) prime?
False
Suppose 0 = -3*r + 3*p - 6, -2*r - r = -5*p + 16. Suppose 43 = -19*g - 14. Is 1561/(r*g/(-9)) prime?
False
Suppose 2*w = -3 + 9. Let y(g) = 1 - 3 + 6 - 41*g - w. Is y(-2) a composite number?
False
Suppose -4*x + h + 42 = -25, 2*h - 28 = -x. Suppose x*a - 13*a = -1400. Let l = a - -429. Is l a prime number?
True
Let s(h) = 3675*h**2 + 4*h + 7. Is s(-2) a composite number?
False
Suppose -30 + 10 = -4*n. Suppose 2*d + 4 = 14. Suppose d*c - 796 = -5*w + 289, -n*w + 643 = 3*c. Is c a composite number?
True
Suppose 0 = 2*t + 15 + 1. Let a be ((-2)/t)/((-5)/(-19940)). Suppose -a = -5*b + 633. Is b a composite number?
True
Let m = -219 + -201. Let x = m + 718. Is x a prime number?
False
Let q(o) be the third derivative of -o**6/120 + 7*o**5/30 - 7*o**4/12 - 3*o**3/2 + 11*o**2. Is q(10) prime?
True
Let w be (217/5)/((-1)/(-5)). Let m = w - 122. Is m composite?
True
Suppose 0 = -k + 10 - 2. Is ((-5)/k*-2)/(2/4456) composite?
True
Suppose -2*d - 3*b - 21 = 0, -75 = -d + 5*d - 5*b. Let x be d/(2*2/(-60)). Suppose 4*t + x = 5*t - 2*l, -5*l = -t + 237. Is t a composite number?
True
Suppose 110897 = 33*z - 122380. Is z a prime number?
True
Let y(c) = c + 4. Let g be y(-6). Let h be 6/(-4) - (-1)/g. Is ((-35)/h - -3)*6 a prime number?
False
Suppose -25288 = -2*k + m, -9*m + 12*m = -4*k + 50566. Is k composite?
True
Let i(a) = -a - 5. Let c be 4 + -14 - (1 + -4). Let r be i(c). Suppose 2*g = -r*g + 232. Is g a composite number?
True
Suppose 9*x - 4*x - 15 = 0. Suppose 0 = x*k + 4*d - 7547, 2*k + 4*d + d - 5022 = 0. Is k a composite number?
False
Let q(o) = -263*o - 1 + 6*o - 202*o. Let m be q(1). Is (-2)/4*m/5 prime?
False
Suppose -74342 = 57*a - 58*a. Is a composite?
True
Let u(j) = j**3 - 7*j**2 - 7*j - 6. Let q be u(8). Suppose 4*t - 9*t = -2*i - 5150, 0 = 4*t - q*i - 4120. Let o = t + -473. Is o prime?
True
Suppose -5*s + 10*u - 7*u + 159380 = 0, 2*s - 4*u - 63766 = 0. Is s prime?
True
Let m(s) = 1387*s - 177. Is m(8) prime?
False
Is 1 - (6 - 12 - 11344) a composite number?
False
Suppose 2*s + 5*k + 0*k = 9077, -4541 = -s - 5*k. Suppose -4*b + s = -2828. Is b a prime number?
False
Let o = -9056 - -15285. Is o a composite number?
False
Let m(g) = -g**3 - 7*g**2 - 8*g - 7. Let p be m(-6). Suppose p*t + 2*r - 619 = 0, t + 2*t - 373 = -2*r. Is t a composite number?
True
Suppose -g + 3*v - 18 = -2*g, 0 = -3*g + v + 4. Let a(l) = -5*l + g*l**3 + 10*l - 11*l**3 + 2. Is a(-3) a prime number?
False
Let w = 79 + 158. Suppose 4*s - 71 = w. Is s a prime number?
False
Let x = 2 - 3. Let l(r) = -502*r. Let y(o) = 251*o. Let i(z) = 4*l(z) + 7*y(z). Is i(x) composite?
False
Suppose 4*o + 5*g - 10981 = 0, -23*o + 13754 = -18*o - 3*g. Is o a composite number?
False
Suppose 4896 = p + 947. Is p prime?
False
Suppose 0 = 3*z - 6*z + 2592. Suppose -4*v + 227 = t, -4*t + 0*t - 5*v = -z. Is t a prime number?
True
Suppose b - 2*l - 2*l - 231 = 0, 0 = -2*l + 10. Is b + (0/(-5))/4 composite?
False
Let m(u) = u + 9. Let v be m(-4). Suppose v*g = -0*g + 485. Is g composite?
False
Suppose -w - 642 = -3*w. Let s be w/5 + 5/(-25). Suppose 2*j - r = 25, 8*j - r - s = 3*j. Is j prime?
True
Let m(p) = p**2 + p + 302. Let a be 0*(-3 + (-14)/(-4)). Let g be m(a). Let o = g + -213. Is o prime?
True
Let x(s) = s**2 - 11*s - 5. Let l be x(-13). Suppose -l = 2*g - 3*g. Is g prime?
True
Suppose k + n = -k + 1383, -20 = 4*n. Is k prime?
False
Suppose 25 = -4*p + 5*t, 0 = -3*p - 3*t - 0*t + 15. Suppose 5*w - 4*o - 2471 = p, 0*w - 2*w - 5*o = -962. Is w a prime number?
True
Is (40/16 - 2)/((-2)/(-14372)) a composite number?
False
Let g be 54/(-63)*(239 - 1). Let x = g + 3269. Is x a composite number?
True
Let q(m) = 120*m**3 - 4*m**2 + 2*m. Let g be q(2). Suppose -4*b - 296 = -g. Is b composite?
False
Suppose -3*j + 4*s + 23 = 2*s, -2*j + s + 15 = 0. Suppose j*y = -y + 4456. Is y prime?
True
Suppose 397 = 3*f + 5*q - q, 2*q = -3*f + 389. Is f prime?
True
Let h = -89 - -87. Is (h/(-1) + 925 - 3) + -3 a prime number?
False
Let m = 7561 - -1528. Is m a composite number?
True
Let a = -2026 - -4833. Is a a composite number?
True
Suppose -2*p + 3649 = -5*t + 8*t, -2*t + 2434 = p. Is t composite?
True
Let y = -15 - -19. Suppose 2*i + 162 = y*i. Suppose -j = -5*b - 73, -2*b = -j + i - 20. Is j a composite number?
False
Let g = 797 - -1340. Let z = g + -672. Is z composite?
True
Let b be -1 + -4*4/8 + 218. Let a = b + 176. Is a composite?
True
Suppose -3*b + 3*j = 2*b - 5616, 0 = b - 2*j - 1126. Is ((-2)/4)/((-11)/b) prime?
False
Let i(s) = 33*s - 68. Is i(13) prime?
False
Let c be 8253 - (0 + -2)/1. Let k be 166/4*(0/(-1) + -132). Let f = k + c. Is f prime?
True
Let u be 7 - 4 - -3*30. Suppose -2*h - h + 5*m + 67 = 0, 4*h - u = 3*m. Suppose 0 = -20*y + h*y - 348. Is y a prime number?
False
Let q = 605 - -1206. Suppose -4*n + 0*n + 2*j = -7244, -j = n - q. Let c = 2608 - n. Is c prime?
True
Suppose 5*y - 217 - 196 = -4*u, -4*y - 4*u + 328 = 0. Suppose y = -3*m + 1171. Is m a composite number?
True
Suppose 69010 = 46*r - 36*r. Is r prime?
False
Let t(y) = 44*y**2 + 3. Let g be t(-2). Let d = g - -342. Is d a prime number?
True
Suppose 0 = 5*d - 4*b - 9781, 2*b = b + 1. Let z = 2948 - d. Is z a composite number?
False
Let m = 1545 - 489. Suppose -6*t = -312 - m. Suppose -5*o + 367 + t = 0. Is o prime?
False
Let p(r) = -38*r + 63029. Is p(0) a prime number?
True
Suppose 0 = -5*w + 3*z + 15, 5*z - 5 - 20 = 0. Suppose 0*p + w*p + 600 = 0. Let y = p + 233. Is y composite?
True
Suppose 4*t - 4*r = 116, -r + 43 = 2*t - 15. Let c = t + 228. Is c a prime number?
True
Let r(j) = 2*j - 4. Let c be r(3). Suppose 2*i = -3*h + 53, 4*h + 15 - 71 = -c*i. Suppose 17 + i = z. Is z composite?
True
Suppose -15*m - 13668 = -27*m. Is m composite?
True
Suppose 3*f + 24574 = -17915. Is f/(-18) - 3/18*-1 composite?
False
Suppose -2*r - 8 = 12. Is (-9674)/(-35)*r/(-4) a composite number?
False
Suppose 7 = 3*i - 2. Suppose n - 4*q = 6*n - 631, 4*n = -i*q + 505. Is n prime?
True
Let x(l) = -l + 2. Let i be x(7). Let r(m) = 6*m**2 - 8*m + 2 - m**3 - 5 - 9*m**2. Is r(i) composite?
True
Suppose 0 = v - 4, -22*x + 9899 = -21*x + 4*v. Is x a prime number?
True
Let m(u) = -13*u + 294. Is m(-19) composite?
False
Let x(h) = -h**3 + h**2 - 6*h - 5. Let j be x(-8). Let b = j + -210. Is b a prime number?
True
Suppose 19*o = 46440 + 2333. Is o prime?
False