, -f - r = -2607. Let j = f + 3457. Suppose -2*i - 2*s + j = 3*i, 5*i + 3*s - 6059 = 0. Is i prime?
True
Let g = -1400 + 2539. Is g prime?
False
Suppose 0 = -5*l - 5*k + 25, 5*k - 11 + 2 = 3*l. Let y be 1*(l - 3) - -4. Suppose i - 153 = -w + 5*i, -i - y = 0. Is w composite?
True
Suppose -7*b - 15*b = -71126. Is b a prime number?
False
Let m(o) = -2642*o - 317. Is m(-5) prime?
True
Let r(a) = a**2 + 5*a - 10. Let t be r(-7). Let m be (16/1)/t + 58. Suppose 3*v - 7 = m. Is v a prime number?
True
Suppose -2*t + j = -0 - 1, 4*t - j - 5 = 0. Let s be (1 - 6 - 3) + t. Is ((-85)/10)/(1/s) a composite number?
True
Suppose 42*n - 449729 - 324289 = 0. Is n composite?
True
Let x = 738 + -397. Is x a prime number?
False
Let k(z) = -13*z - 55. Let i be k(-21). Let r = 182 - 333. Let f = r + i. Is f a composite number?
False
Let m(a) = -101*a**3 + 21*a**2 + 65*a + 2. Is m(-5) composite?
True
Let a = 18 - -54. Let c = a - -33. Suppose u - 4*u + c = 0. Is u composite?
True
Suppose -2*b = 4*n - 0*n - 22, 5*n - 5*b - 5 = 0. Suppose -2*m = -m - n*g - 273, 3*g + 3 = 0. Is m prime?
True
Let x(b) = -b - 12. Let o be x(-14). Suppose 0 = 3*v + o*v - 5. Is (v + 57)*117/18 composite?
True
Is 3/(156/(-8)) - (-1156718)/26 a composite number?
True
Let c(i) = -344*i**3 - i**2 + i - 3. Is c(-2) a prime number?
False
Let b(h) = -1 + 64*h + 30*h + 0 - 2. Is b(14) a composite number?
True
Let q = 80 - 176. Let s = 322 + q. Is s composite?
True
Let m = 2144 + -1. Let q = 3396 - m. Is q composite?
True
Let f be 9*-2*2/6. Let t(w) = w + 8. Let h be t(f). Suppose -b + 151 = h*s, 0*s = b + s - 156. Is b prime?
False
Suppose 5*m = 30 - 10. Is (-30)/5*(-634)/m a composite number?
True
Let z be 8 + (-3)/(-9)*3. Let r(a) be the second derivative of -a**5/20 + 2*a**4/3 + 2*a**3 + 2*a**2 - a. Is r(z) prime?
True
Let g(q) = q**3 - 14*q**2 + 16*q - 4. Suppose -5*l = 3*p - 59, p = 3*l - 33 - 8. Let d be g(l). Suppose x + 4 = d. Is x prime?
True
Let k(l) be the second derivative of 37*l**3/2 + 5*l**2 + 3*l. Let r be k(8). Suppose t - 3*t + r = 0. Is t composite?
False
Let z(j) be the third derivative of 259*j**5/60 + 5*j**3/6 - 16*j**2. Is z(2) composite?
True
Let m(z) = -10*z**3 + 8*z**2 - 16*z + 1. Let x(v) = v**2. Let s(f) = -m(f) + 4*x(f). Is s(6) a composite number?
False
Let m(c) be the second derivative of 37*c**4/12 + c**3/3 + c**2 - 17*c. Let t = 2 + -5. Is m(t) prime?
False
Let c be 2/(-2)*127*-1. Let d be c*(1 - (1 + -1)). Suppose -g = d - 398. Is g a prime number?
True
Let a be (0 - -3)/(-17 + 18). Suppose 534 = 4*i + 2*c, -i + 2*c = -a*i + 262. Let n = -83 + i. Is n a composite number?
False
Suppose -4*f = 12*f - 59344. Is f a composite number?
False
Let u be -1 - 3 - (-3 - -378). Let f be (-3)/15 - 25446/(-30). Let y = u + f. Is y composite?
True
Let p(d) = d - 9*d + 3*d - 5 - 142*d**3. Is p(-2) prime?
False
Suppose 0*d - 8 = -v - d, -4*d + 4 = -3*v. Suppose -2*o - 2938 = -4*b - 112, -2*b = -v*o - 1404. Suppose n = -h + 142, b = 3*n + 2*n + 3*h. Is n a prime number?
False
Is (2/(-8))/((-42)/56)*67029 a prime number?
True
Suppose -7*u = -u. Suppose -6*o - 2015 - 361 = u. Let j = -253 - o. Is j composite?
True
Let b = -3831 + 7190. Is b composite?
False
Is ((-22233)/6)/((-5)/10) a composite number?
False
Suppose -4*u + 7*u = 2367. Suppose 3*k = u + 1080. Is k a prime number?
False
Let q be 80048/96 - 1/(-6). Suppose 3*i = -12, -4*i + q = 4*k + 286. Is k a prime number?
False
Is (1 + -1 - -6807) + 130 + -134 a composite number?
False
Let q be 4336/14 + (-8)/(-28). Suppose 0 = -7*d + 5*d + q. Is d composite?
True
Let j(f) = 830*f + 28. Let o be j(3). Suppose -3*v - 5*y - 905 = -o, 3*y - 1076 = -2*v. Is v a composite number?
False
Suppose -x - 4484 = -3*x - 5*p, -p = -2. Is x composite?
False
Suppose 0 = 20*y - 7999 - 4281. Is y prime?
False
Suppose 0 = 34*k - 74*k + 1464040. Is k a composite number?
True
Suppose -2*p - 4 = 4, 4*p = -x + 9751. Is x a prime number?
True
Suppose 3*h - h = 14. Suppose -h + 1 = -3*k. Suppose -t = k, -2038 = -4*d - 2*t - t. Is d a composite number?
True
Let l be ((-3)/(-5))/((-7)/(-35)). Suppose 1228 = l*q - 1805. Is (-1)/(-4) - q/(-4) prime?
False
Let z(r) = 3*r**3 - 15*r**2 - 11*r + 12. Let n be z(11). Suppose 3*u = d + 5864, -3*u = 2*d - 7936 + n. Suppose 6*m = m + u. Is m prime?
False
Let h be ((-530)/25)/((-1)/45). Suppose 0 = 4*m - 5*g + h, m = -2*m + g - 710. Let i = -123 - m. Is i prime?
True
Let l be -1*1/((2 - -1)/(-6)). Let x(r) = -r**2 + 8*r - 6. Let j be x(7). Is -5 + 597 + (l - j) composite?
False
Suppose -v = -5*i - 232 - 132, -v + 4*i + 367 = 0. Is v prime?
True
Let y(z) = 58*z + 91. Is y(5) prime?
False
Let u(c) = 321*c + 5. Let o be u(-1). Let v = o + 533. Is v composite?
True
Suppose -2*f + f - 2*w - 63 = 0, 2*f + 108 = 5*w. Is -3 + (5 - 6 - f) a composite number?
True
Let k be (-1)/(1 - 244/240). Suppose -4*f + k = -3*z, 6*z = -4*f + z + 92. Is ((-210)/f)/(2/(-6)) a composite number?
True
Let g = 1841 - 733. Suppose 0 = 5*a - 3*a - g. Is a prime?
False
Is 125400/21 - (72/(-56))/(-3) composite?
True
Let v = 2145 - 364. Is v composite?
True
Suppose 0 = 10*f - 9*f + 330. Is 9/27*f/(1 - 3) a composite number?
True
Let m(y) = 1742*y + 123. Is m(10) composite?
True
Let l(w) = -w**2 - 5*w. Let m be l(-6). Let r(z) = 94*z**2 + 4*z - 7. Is r(m) a composite number?
True
Let k(u) = 2*u - 11. Let w be k(8). Let f = 3 - -2. Suppose 3*i - 326 = -w*p + 198, -f*p = -4*i + 757. Is i a composite number?
True
Suppose 3*i - 1 = x - 0, 0 = -i + 4*x + 4. Let q be (-21 - -24)/(6/212). Suppose i*a - q = -a. Is a a prime number?
False
Suppose -2*s + 3*o = -19, 0*s + 2*s - 16 = 2*o. Let b(y) = y**3 - 3*y**2 - 3. Is b(s) prime?
True
Let d(f) = -25*f**3 + 3*f**2 - 6*f - 9. Is d(-5) composite?
False
Is (-11 - 14358/(-12))*(16 - 2) composite?
True
Suppose 4459 + 336 = 5*i. Let u = i - 432. Is u composite?
True
Suppose 7 = 3*f + 2*k - 9, 5*k + 6 = 4*f. Suppose -f*a + 381 = -a. Is a prime?
True
Let k = -39 + 39. Suppose x - 142 - 121 = k. Is x composite?
False
Let l(i) = 2*i + 39. Let m be l(-18). Suppose 8*y = m*y + 4795. Is y a composite number?
True
Let u = 16 - 14. Suppose 0 = 4*a - 9*a + 20. Suppose 5*r - 4*r - 5*l - 43 = 0, -a*r + u*l = -226. Is r a prime number?
False
Let a(h) = 5*h**2 - 323*h - 1. Is a(-26) a composite number?
False
Let d be (-58)/(-15) + (-2)/(-15). Suppose -d*j + 2*r = -3310, -1354 - 1129 = -3*j + 2*r. Suppose 102 = -5*l + j. Is l composite?
True
Is (24/(-16))/(6/(-11966))*2 a composite number?
True
Let m(k) = -4 + 2*k**3 - 2*k**3 - 3 + k**3 + 3*k**2 - 4*k. Let q be m(5). Let n = q + -120. Is n a prime number?
True
Is (-5269)/(-21) - 10/(-840)*8 a prime number?
True
Suppose -9*x - 2*x = -90233. Is x prime?
False
Suppose 0 = 3*w - 0*w - 15. Let t(g) be the second derivative of 82*g**3/3 + 15*g**2/2 + 11*g. Is t(w) a prime number?
False
Suppose -3*q + 36 = -4*q + 3*k, -5*q = 3*k + 108. Let p = q + 26. Suppose s + 3*i - 431 = -i, -p*i + 1313 = 3*s. Is s a prime number?
True
Suppose 0 = -z + 4*f + 18, 3*f + 16 = -f. Suppose -4*g + 3*q + 133 = 0, z*g + 37 = 3*g - 2*q. Is g prime?
True
Let p = -428 + 786. Is p prime?
False
Let c = 63 - 61. Suppose -c*m - 1631 = -9*m. Is m prime?
True
Let a be (2928 + 3)*((-20)/(-6) + -2). Suppose 45*s + a = 49*s. Is s a prime number?
True
Let d(u) = 7*u**2 - 17*u + 77. Is d(27) a composite number?
False
Suppose 5*i + 0*i = 3475. Let v = i - 409. Is (2 + 0)/(4/v) a prime number?
False
Suppose -5 = k, 5*s + 2 = -5*k - 3. Is 1 + (s - 8) - 4*-434 composite?
False
Let g = -50 - -22. Is (-8)/g + 12294/42 a prime number?
True
Suppose 284*m - 270*m = 29134. Is m composite?
False
Suppose 5*n - 76 = 4*d, 2*n + 81 = 7*n + d. Suppose -7*v + n*v - 12735 = 0. Is v prime?
False
Suppose 3753*u - 3757*u + 68504 = 0. Is u a composite number?
True
Suppose -a - 5*j = -29, 4*a - 5*j = -6*j + 78. Is a a prime number?
True
Let d(s) = -s + s + 15 - 4*s - 2. Let o be d(-18). Let u = o - -166. Is u a prime number?
True
Let x(s) = -8021*s + 85. Is x(-4) composite?
True
Suppose -2*r + 2*q = r + 8, -5*q = 2*r - 1. Let y(n) = n**3 + n**2 - 5*n - 3. Let m be y(r). Suppose 135 - 6 = m*h. Is h a composite number?
False
Suppose 0 = -38*z + 1349489 + 4093593. Is z a composite number?
False
Let z(d) be the second derivative of -17*d**4/12 - 5