*a + 2. Let o be b(11). Let w = o + -345. Let c = w + 828. Is c a composite number?
False
Suppose -253227 - 41002 = -13*f. Is f a composite number?
True
Suppose -2*g + 2*m = -0*g - 2434, 3 = -m. Let w = g + -819. Is w a prime number?
False
Suppose -6*i + 40 = -i. Suppose 5*a + i - 18 = 0. Suppose -3*g + a*g = -407. Is g prime?
False
Let k = -128 - -130. Suppose 5*q + 2*h - 7*h = 3390, 0 = -k*q + 5*h + 1353. Is q prime?
False
Suppose 3*t = -19 + 4, -t = -2*z - 4809. Let a be ((-1346)/4)/((-18)/(-72)). Let h = a - z. Is h prime?
True
Suppose -4*z - 12 = -4*v, -4*v = -9*v + 15. Suppose z = 4*r + 14*r - 11538. Is r prime?
True
Let j = -5688 - -8696. Suppose 0*o = -5*s + 3*o + 7516, 2*o = 2*s - j. Is s a composite number?
True
Let f(a) = -1421*a - 379. Is f(-12) a composite number?
False
Let a(j) = j**2 - j + 2. Let l be a(2). Let d be 68/18 + 18/81. Suppose -d*m - 1073 - 539 = -4*o, -2*m = -l*o + 1608. Is o prime?
True
Let l be 5/(-4)*-4 + -1. Suppose -5*h - 2*a + 3896 = a, l*a = 3*h - 2355. Is h a prime number?
False
Let w be 78*(38/(-4))/(3/2). Let q = 197 - w. Is q composite?
False
Let f(c) = -c**3 - 9*c**2 - 12*c - 2. Let a be f(-8). Let k be 4*2/(16/a). Let q = 108 - k. Is q composite?
True
Suppose -23 = -o + 8*u - 3*u, o = 3*u + 17. Is (-1)/(o/6)*1004/(-1) a composite number?
True
Let v be (-2 + 4)*(-4)/(-1). Let g(j) = 14*j**2 - 9*j + 29. Is g(v) a prime number?
True
Suppose 1098 = 3*d - 2577. Let m = -745 + d. Suppose -5*j + m = -7*p + 2*p, j + 2*p = 87. Is j composite?
True
Let u be 3729/22*8/6. Let f be ((-18)/(-8) - (-3)/(-12))/(-1). Is (5 - u)/(f - -1) prime?
False
Let k(y) = 391*y - 2. Let w be k(7). Suppose 2*i + 3*i - w = 0. Is i a prime number?
True
Suppose 5*r + 4*y - 12 = 0, -r - 12 = 4*r - 4*y. Suppose r*v - 303 = -3*v. Suppose 0 = 5*z - v - 14. Is z composite?
False
Let b be -7 - ((-5 + 5)/1)/(-1). Let p(d) = -87*d + 5. Let r(f) = 1435*f - 82. Let x(t) = -82*p(t) - 5*r(t). Is x(b) a prime number?
False
Is 10585 - -2 - 2*2/(-2) composite?
False
Let p(g) = 54*g + 3. Let u be p(13). Suppose -20*z - u = -23*z. Is z composite?
True
Let l = -65 + 29. Let v = 113 + l. Is v a prime number?
False
Suppose -3*u = 5*r - 5*u - 21, -2*r + 2*u = -12. Is (-4)/r - -2 - (-8364)/36 prime?
True
Let v = 277 + -20. Is v prime?
True
Suppose 52*i - 51*i = 53141. Is i composite?
True
Let v = -2595 - -6286. Is v a prime number?
True
Let r(d) = d**2 - 5*d - 24. Let o be r(9). Suppose o*f + 111 = 13*f. Is f a composite number?
True
Let c = 52 + -51. Is 2/5 + (-1978)/(-5) + c prime?
True
Let r(x) = -x**3 - x**2 - x - 1. Let o be r(-1). Suppose 4*b = -o*b + 2980. Suppose 0 = 3*l - 4*t - b, -5*t = 3*l - 8*l + 1245. Is l a prime number?
True
Suppose -1066 = 4*c + o - 260, -2*c = -5*o + 414. Let m = 217 - c. Is m prime?
True
Suppose -13 + 28 = -3*h. Let t = h - 110. Let s = t - -168. Is s composite?
False
Suppose -f + 1 = -3*t, 7*t - 12 = -4*f + 11*t. Suppose -4*v + f*p + 1176 = 0, 1 = p - 3. Is v a composite number?
True
Let k(w) = -2*w + 2. Let z be k(0). Suppose 2*p - 732 = -2*x, 2*x - 1818 = -3*x - z*p. Let h = -247 + x. Is h composite?
True
Let o = -12 + 10. Is 3821/(o + -1 + 4) prime?
True
Let z be (-1 - -4)/3 + 9. Is z/25*15305/2 composite?
False
Let k be (-995)/(-4) - (-3)/12. Let t = 397 - 54. Suppose -2*v = -3*f + 6*f - k, -v - t = -4*f. Is f prime?
False
Suppose -30 = -v - 5*v. Suppose v*m + 2*a - 6*a - 3721 = 0, 0 = 4*m + 2*a - 2982. Is m a prime number?
False
Let q = 7 + -1. Is (-1)/(2/((-28216)/(q + -2))) a prime number?
True
Suppose 297 = -5*c - 153. Let r = -127 - c. Is r/((-12)/8 + 1) prime?
False
Is (-8009)/((-4)/(20/5)) a prime number?
True
Let p = -85289 + 142068. Is p a prime number?
True
Let a be (0 - 0)*4/(-16). Suppose -16*j + 22*j - 13074 = a. Is j composite?
False
Let b be (0 + 0)/(1 - 0). Suppose b = 2*z - 5*z + 489. Is z prime?
True
Suppose 0 = i - 0 - 1. Is -1*i + (177 - -9) composite?
True
Let o = -31 + 24. Let y = 36 - o. Is y a prime number?
True
Let a(y) = y**2 + 4*y - 5. Let i be a(-5). Suppose 2*o = q - 114, 4*q + o + 4*o - 482 = i. Suppose -7*d + 5*d = -q. Is d composite?
False
Let c = 19 - -15. Is c a composite number?
True
Let s(w) = w**2 - 3*w + 1. Suppose -202 = 8*n - 82. Is s(n) composite?
False
Let f(t) be the first derivative of 39*t**4/2 - t**3/6 + 4*t + 1. Let c(y) be the first derivative of f(y). Is c(-1) a prime number?
False
Let k be -1084*((-4)/32*18)/1. Suppose k = -9*m + 15552. Is m composite?
True
Suppose -10 = -2*h, -4*h = 4*s + h - 550805. Is s a prime number?
False
Let h(o) = 27*o**3 + 2*o**2 - 8*o - 5. Is h(4) a prime number?
True
Let i = -3005 + 4436. Let c = i + -890. Is c prime?
True
Let i(v) = 41*v**3 + 7*v**2 - 12*v + 73. Is i(9) composite?
True
Let f = 8 - 9. Let w be f/((-2 + 6)/(-6236)). Suppose 3*u + 2*l = w, 4*u - l - 18 = 2068. Is u prime?
True
Let k be (-124)/(-9) - (-4)/18. Let h = 14 - k. Suppose h = 2*s + 4*a - 1082, -1871 = -4*s + 3*a + 260. Is s prime?
False
Suppose -3*g - 3*t = -5490, 5*t = 4*g + 3*t - 7350. Is g prime?
False
Suppose 0 = 2*r + 2*d - 3452, -r - 5180 = -4*r - d. Is r a composite number?
True
Let i = -19706 + 50653. Is i a composite number?
True
Suppose -2*s - 42 = s. Let y(b) = -b**2 - 22*b - 23. Let a be y(s). Let q = a + -43. Is q prime?
False
Let l(k) = -1684*k + 2. Let m be l(-2). Is 3*(m/15)/2 composite?
False
Let t(u) = 8*u + 1277. Is t(0) a prime number?
True
Let m(p) = p**3 + 4*p**2 - 3*p + 14. Let t be m(-5). Suppose -3*h + 4*f = -8*h + 3925, 0 = t*h + 4*f - 3140. Is h prime?
False
Suppose -c - 4 = -3*c, -f + 4*c + 7745 = 0. Is f composite?
False
Let f(o) = -170*o**3 - 4*o**2 - 3*o - 4. Is f(-3) prime?
False
Let j = 7 - 15. Let p(i) = -3*i**3 - 12*i**2 - 5*i - 11. Is p(j) composite?
False
Let v(n) = 2*n + 16. Let q be v(-6). Suppose -q*p + 2661 = -p. Suppose -1096 = -5*b - 3*x, -b + p = 3*b - x. Is b a prime number?
False
Suppose 5*w + 4*s = 10, -w - 2*s + 0 = -2. Suppose w*v - 4673 = -3*m, m + 2*m - 2*v = 4693. Is m composite?
True
Let x(j) = 8357*j**2 - 9*j + 23. Is x(2) prime?
False
Suppose -3*r + 4*q + 34771 = 0, 5*r - 4*q - 57980 = -3*q. Is r prime?
True
Let u be (4/10)/((-3)/15). Let d(s) = -34*s + 21. Let q be d(5). Is (0 - q)*3 + u prime?
False
Suppose -5*z + 14*m + 119640 = 9*m, -2*m + 23931 = z. Is z prime?
True
Suppose 1888 = 2*n - 1470. Let r = -984 + n. Is r composite?
True
Let l be -4 - 0 - (-12 - -1). Suppose l*a = 14*a - 1099. Is a prime?
True
Suppose 82*d - 109038 = 117364. Is d a prime number?
False
Let r(g) = 17*g**3 - 2*g**2 + 2*g - 9. Let s be r(4). Is (-6)/(150/s)*-5*1 a composite number?
False
Let c(f) = -f**3 + f**2 + 4*f - 3. Let l be c(2). Let o be (0 - l - -2)*2. Is (-3)/o*(-158)/3 prime?
True
Suppose -3*x = 5*p - 6488, 2*x - 12*p = -9*p + 4319. Is x a prime number?
True
Suppose -y = -5*d - 110, 2*d + 66 = 4*y - 446. Suppose -y = -2*v + 192. Is v composite?
True
Let y(k) = -2267*k - 316. Is y(-3) prime?
False
Let i = 11732 - 5515. Is i prime?
True
Let d(t) = t**2 + 10*t - 5. Let u be d(-8). Let z be (-12)/u - (-3)/7. Is -2 + 2 - (-809)/z prime?
True
Let s(j) = -2*j**3 - 45*j**2 - 21*j + 26. Is s(-24) a composite number?
True
Suppose -213*p = -193*p - 297860. Is p composite?
True
Suppose 31 = -5*a + 6, 2*v - 3*a = 7997. Suppose 1212 = 2*j - d - 380, -5*j = 3*d - v. Is j prime?
True
Let r(c) = 4*c - 5. Let z be r(2). Let p(t) = 26*t + 0 + 142*t - z + 2. Is p(3) composite?
False
Suppose 4*q + 16 = 4, -5*m + q = -928. Is m a composite number?
True
Let o be -4 + 12*(-6)/(-9). Suppose -o*w - 19 = g, -w - 32 = 4*w + 4*g. Is 4 + (-2)/(w/246) a composite number?
False
Suppose 5*k = -214 - 811. Let j = 458 + k. Is j a composite number?
True
Let n = -16 - -16. Suppose -4*u - 5*c + 1288 = n, -4*u - c = -2*c - 1264. Is u a prime number?
True
Let l(x) = 26*x - 7. Let r be 6 - 3/((-12)/16). Is l(r) a prime number?
False
Let g(x) be the second derivative of -4*x**3/3 - 5*x**2/2 + 2*x. Let t(u) = 6*u + 1. Let b be t(-1). Is g(b) composite?
True
Suppose -2*n = -n + 45. Let t = n - -166. Is t prime?
False
Let p = -34 - -1971. Is p prime?
False
Let o(f) = 2*f - 1. Let m be o(-1). Let g be (1 - m/1)*1. Suppose 157 = -3*y + g*y. Is y prime?
True
Is 1/(2/5832) + (-30)/(-6) a composite number?
True
Suppose 0 = 6*x - 2*x + 4680. Let n = -383 - x. Is n prime