4)/285)*(-1 + -1). Let g = b + d. Is g prime?
False
Is (-3)/((2/158)/((-1)/3)) prime?
True
Let c be 1/(-5) + (-31)/(-5). Let r be (21 + 435)*8/c. Suppose -2*t + 6*t + r = 4*f, 5*f = 2*t + 775. Is f prime?
True
Suppose 5 = -5*k + 40. Suppose -k + 15 = -n. Is (-6)/n - (-5321)/68 a composite number?
False
Let r be (3/1 + -6)*3/(-1). Is (13/(-8) - r/24) + 23 a composite number?
True
Suppose 0 = -19*j + 22*j - 6. Is 179*((-5 + j - -6) + 0) prime?
False
Suppose 8*i = -12 + 4. Is 3/(-5 - -6) + (-628)/i prime?
True
Let j = 57 - 47. Suppose j*y - 31135 = -4425. Is y prime?
True
Let i(a) = -a**3 + 3*a**2 - 1. Let n be i(3). Is n/(-4 - -3) - -190 a composite number?
False
Suppose -4*h + 5*q + 27504 = 0, 34143 = 5*h + 2*q - 270. Is h a composite number?
True
Let w = 4430 + -1695. Is w a prime number?
False
Suppose 0 = 5*b - 2*b + 42. Let n be -3 - (-1)/((-2)/b). Suppose 5*w + 4 = 4*w, n*w = 4*c - 2388. Is c a prime number?
True
Let q = 15 + -15. Suppose 1049 = k - c, 6*c - 4*c = q. Is k a prime number?
True
Let x(r) be the first derivative of -r**3/3 + 3*r**2/2 + 4*r + 3. Let y be x(3). Is (-4 + 2)/(y/(-470)) prime?
False
Let r = -842 + 1286. Suppose -9*y = -2*y. Suppose -2*v = -y*q - q + 137, 3*q + 5*v = r. Is q prime?
False
Is 87/12 - 7 - (-58775)/20 prime?
True
Suppose 2*q + 3*x = -3128 + 928, -4404 = 4*q + 5*x. Let t = -439 - q. Is t composite?
True
Suppose -4*r = -2*r - 1184. Suppose 4*g = -0*g + r. Let o = -95 + g. Is o a prime number?
True
Is (-6)/14 - (-3361220)/70 composite?
False
Let r(s) = -s**3 - 2*s**2 - 1. Let y be r(-3). Is ((-62)/4)/(y/(-16)) prime?
True
Let w be 10/8 - (-2)/(-8). Is (w - -3 - -157)*1 prime?
False
Suppose 5*j - 4*p = 20531, 4*p = j - 1753 - 2366. Is j a composite number?
True
Let q(h) = -6*h - 5. Let u(x) = -1. Let t(i) = -q(i) - 2*u(i). Let n(l) = l + 8. Let w be n(0). Is t(w) prime?
False
Suppose -14 + 6 = -2*u. Suppose 0 = 5*m - 4*c - 21, -m - 3*c + 0 = -8. Suppose -m*y = -u*o + 2467, o + 3*o + y = 2497. Is o composite?
True
Is (-368184)/(-144) + (-2)/(-12) composite?
False
Suppose 2*b = -2*v + v + 3, -5*b = -3*v - 35. Suppose 2*i + 110 = b*i. Is i a composite number?
True
Let x(u) = 2*u**2 - 3*u + 1. Let s be x(2). Let n(f) = f**3 + 28*f**2 + 26*f - 23. Let i be n(-27). Suppose r - s*g = -4*g + 383, -i = -2*g. Is r composite?
True
Suppose -40715 - 4066 = -33*o. Is o prime?
False
Let z = 4 - -40. Suppose x = -z + 221. Is x a composite number?
True
Let a be 4/(-14) + 0 - (-32800)/140. Let t = a - 91. Is t a prime number?
False
Let m(c) = 3*c**2 - 24*c + 3. Let p be m(8). Suppose 545 = 2*t - t - 4*d, -3*t + p*d + 1635 = 0. Is t a composite number?
True
Let u be (-6)/(-5)*5/2. Let z be (-1399)/u + (-2)/(-6). Let a = z + 803. Is a a composite number?
False
Let p(k) = -7 + 42*k**2 + 12 + 64*k - 71*k. Let j(m) = 3*m + 3. Let u be j(-3). Is p(u) prime?
True
Suppose -2*j + 6 = -4*g, 0*j + 3*j - 9 = 4*g. Is (-1)/((-2262)/753 + j) a prime number?
True
Suppose -5*r + p + 1150 = -0*p, r - 256 = -5*p. Suppose 4*l + r = m - 254, 2012 = 4*m + 2*l. Is m composite?
True
Let o = -2772 + 1609. Let k = 2116 + o. Is k composite?
False
Suppose 7*b = b. Suppose b*w + 3*w = 51. Suppose w = -r + 148. Is r composite?
False
Let z be 9512/(4/1) + -4. Let q = 4736 - z. Is q composite?
True
Let s = -1996 - -624. Let b = s - -2003. Is b a prime number?
True
Suppose 3*p + 24 = 129. Suppose -4*n - 10 - 12 = -2*k, -5*k + 5*n + p = 0. Suppose 2*r = -f + 222, 5*r = -0*r - k*f + 557. Is r a composite number?
False
Is 3 - 4 - (-3 - (1 + 448)) a composite number?
True
Suppose 8*u + 515 = 3*u. Let d = 136 - u. Let h = d + -126. Is h a prime number?
True
Let y(m) = -m**3 + 8*m**2 + 2*m - 4. Let r be y(8). Suppose 4*p + 4 = r. Suppose 4*u - 79 - 110 = -v, p*u - 855 = -5*v. Is v a prime number?
False
Let u(t) = t**2 + t - 7. Let k be (-2)/(-6) - 23/(-3). Let v(o) = o**3 - 7*o**2 - 9*o + 2. Let y be v(k). Is u(y) a prime number?
True
Suppose -b = -4*z - 77133, 5*b + 5*z - 230143 = 155422. Is b prime?
False
Let h = -21590 - -54901. Is h prime?
True
Suppose 30565 = 5*d + 2*i, 52*d - 57*d = 3*i - 30565. Is d a composite number?
False
Suppose 13*i + 7*i - 254020 = 0. Is i a composite number?
True
Let n(h) be the first derivative of -h**2/2 + 2*h + 4. Let u be n(6). Let s(i) = -i**3 - 3*i + 3. Is s(u) prime?
True
Suppose -3*d = b - 73, -d - 5*b + 16 = 1. Suppose 6*z = z + d. Suppose z*y - y - 1324 = 0. Is y composite?
False
Let m(b) = b**2 + 10*b - 2. Let q(a) = 4*a**2 + 39*a - 9. Let u(s) = -9*m(s) + 2*q(s). Let r be u(-13). Let i = r - -44. Is i a composite number?
False
Let m = 17 - 32. Let s be (-3)/2*70/m. Suppose 2*h - 4*w - 298 = 0, s*h - 2*h - 729 = 2*w. Is h composite?
True
Suppose 0 = -5*h - j + 50, -5*h + 5*j + 17 = -33. Is h composite?
True
Let i be ((-85)/2)/(11/(-22)). Let s = 144 - i. Is s composite?
False
Suppose v - l + 60 = -3*l, 4*l - 258 = 5*v. Let m be (176 - 5) + 2 - (-4 + 8). Let o = m - v. Is o a composite number?
False
Let t(n) be the third derivative of -n**4/12 - n**3/6 - 9*n**2. Is t(-4) a prime number?
True
Suppose -5*x = -2*x. Suppose -2*h + 4 = -x. Is h/(-3) - 1259/(-3) a prime number?
True
Suppose 4*v + 5*q + 11 = 0, -3*v = 2*v + q - 2. Is (-2 - (-9216)/4)*v/2 a composite number?
False
Let j = -128 - -131. Suppose j*g - 7831 - 290 = 0. Is g a composite number?
False
Let z(k) = 7*k**3 + 7*k**2 + 9*k + 247. Let x(d) = 3*d**2 + d**2 + 4*d**3 - 27*d + 32*d + 124. Let n(h) = -5*x(h) + 3*z(h). Is n(0) a prime number?
False
Let v be (-138)/15 + 2/10. Is -3*3/v + (-626)/(-2) a composite number?
True
Suppose -21 = d - 3548. Suppose 133*g + d = 134*g. Is g a prime number?
True
Suppose p = v - 6195, 0 = 3*v - 6*v - 3*p + 18597. Is v a composite number?
False
Is 1288 - 1/((-2)/(-10)) a composite number?
False
Suppose 35*c + 102 = 18*c. Let a be 2 - 3 - -5 - 0. Is (a/c)/((-4)/1578) composite?
False
Is 9691 + 41 - 7/(-1) prime?
True
Let c be 2/9 - (-12)/(-54). Let y be c/2 + (-15)/(-3). Suppose -2*r + y*p + 243 = 0, r + 3*p - 117 = p. Is r a composite number?
True
Let z(n) = 25*n**3 + 2*n - 1. Let t be z(1). Suppose -t = -5*k - 2*c, k + 2*c = 5*k - 10. Suppose -k*y = 45 - 257. Is y composite?
False
Let s be (8/(-6))/((-16)/(-24)). Let w be -58 + s*(-4)/(-4). Let f = 91 + w. Is f prime?
True
Let u(f) = 246*f**2 - f - 1. Let i be u(2). Suppose -4*v + 287 = -i. Is v prime?
True
Let t = 1433 + 64. Is t prime?
False
Suppose -2*p = -p - 4. Is (-1 - p)*1370/(-25) a composite number?
True
Let x = 3 + -12. Let j = x + 13. Suppose -j*b - 652 = -8*b. Is b a composite number?
False
Is (10/6 - 2)/((-52)/1017276) prime?
True
Suppose -2*i = -3*i + 35. Suppose -k - 2*v = -i, 2*k - 5*v = -0*k + 70. Is k a composite number?
True
Let s(c) = c**2 - 5*c - 31. Is s(-42) a prime number?
False
Let w(n) = -3*n + n - 3 + 4*n. Let f be w(4). Suppose 0 = 3*v + 3*x - 387, 4*v - f*x = 3*v + 117. Is v composite?
False
Suppose -3*g + 9*k = 14*k - 236044, 0 = -3*g - 2*k + 236029. Is g a prime number?
False
Let g = 95 + -88. Suppose g*h - 1401 = 1112. Is h a composite number?
False
Let x = 2303 + 560. Is x composite?
True
Let a = 7 + 1. Let s = -6 + a. Suppose 5*d - d = -s*k + 94, k = 4*d - 79. Is d a composite number?
True
Let l(g) = g**3 - 10*g**2 + 15*g + 11. Let b be l(8). Suppose z = 2*c - 175, b*z = -3*c + c + 171. Is c a composite number?
True
Let v(b) = 3*b + 37. Is v(-8) a prime number?
True
Suppose 2 = 3*b - 2*b. Let p be -6 - -5 - (b + -9). Suppose 4 = 4*r, l - 45 - p = -4*r. Is l a prime number?
True
Let g be 112/(-6)*(-6 + -6). Let b = g - 100. Suppose -c - 3*c = -b. Is c a prime number?
True
Let l = 665 - -2700. Suppose 0 = -5*k - 2*u + 4201, 4*k = -3*u - 0*u + l. Is k composite?
False
Suppose -5*s - 2*x = 4 - 29, -3*s = 4*x - 29. Is 14/(-21) - (-1 - 290/s) a composite number?
False
Let y = 6 + -19. Let n = 17 + y. Suppose -n*j = 2*u - 506, -2*j = j + u - 380. Is j a prime number?
True
Suppose -z + 4*w + 0*w - 14 = 0, 5*z + 70 = 4*w. Suppose -9 = 2*o + 1, 0 = -b + o - 274. Let l = z - b. Is l a composite number?
True
Suppose 5*b - 4*b - 108 = 0. Let h be ((-3)/(-2))/(1/118). Suppose -h - b = -5*l. Is l composite?
True
Suppose -2*i + 56670 = 4*w, -4*i - 113328 = -8*i - 2*w. Is i prime?
False
Let y = -52 + 50. Is (y/4*-142)/((-2)/(-14)) a prime number?
False
Let v = 