- v + 5. Let x be (q*(-1 + (3 - 3)))/2. Suppose 3*z + 3*w - 1893 = x, 0*z - 2*z + 5*w = -1276. Is z a composite number?
True
Suppose 0 = -2*s, -5*s = -5*t + 1 + 14. Suppose -t*m = 9556 - 32125. Is m a composite number?
False
Let q(g) be the third derivative of 1193*g**5/10 + g**4/12 - g**3/6 + 15*g**2 - g. Is q(1) prime?
True
Let b(t) = 7*t + 43. Let q be b(-6). Suppose -q = -w + 1, -5*s + 18 = 4*w. Is (-68831)/(-28) + s/(-8) a composite number?
True
Let g(x) = -8*x - 5. Let u be g(0). Let n be (75/u)/5 + 3. Suppose 2*l = -6, n = z + 5*l - 52 - 74. Is z a prime number?
False
Is (-275586)/(-46)*(76/12 + 0) a prime number?
False
Suppose 54*j = 20*j + 22*j + 1500756. Is j a prime number?
True
Suppose -2*h = 4*q - 217432, 6*q + 4*h - 286341 = 39807. Is q a prime number?
False
Let z be 2/(-1 + 9/8). Suppose 10*b = z*b + 420. Let w = b + 129. Is w prime?
True
Let c(k) be the first derivative of -31*k**4 + 10*k**3/3 + 13*k**2/2 - 5*k + 145. Is c(-4) composite?
False
Let j = -121673 - -203940. Is j composite?
False
Let f(b) = 310*b + 27. Let r be f(4). Let v = r - 326. Is v a prime number?
True
Let t be (-6)/(-4) - 4/((-16)/2). Suppose j = -t*s - 1, 3 - 14 = -4*j - 3*s. Suppose -5*v = -j*a - 3980, 2*a - 1589 = -2*v + 5*a. Is v prime?
False
Let j = 326875 - -111952. Is j composite?
False
Let v(u) = 159*u**2 - 3*u + 1. Let l be 5/(-10) - (102/(-4) - -1). Let g = -22 + l. Is v(g) a prime number?
True
Let r(h) = 73521*h + 230. Is r(1) a composite number?
False
Let x = -220 - -69. Let n = x - -154. Suppose 4582 = m + v, 0 = 5*m + n*v + 5207 - 28119. Is m a composite number?
False
Suppose 3*t = -2*b + 4545473, -2*b - 6818192 = -5*b - 7*t. Is b a prime number?
False
Suppose -35*b = 67*b - 6543402. Is b a composite number?
False
Let h(i) = i**3 + 13*i**2 + 14*i + 35. Let j be h(-12). Suppose -4*n + 504 = -5*m, -j*m = 5*n - 15*m - 639. Is n prime?
True
Suppose d - 3112 = -2*s, 15512 = 5*d - 2*s - 0*s. Suppose -3*m - 3*a = -0*a - 4632, -2*a - d = -2*m. Suppose z + 3 + 1 = 0, -4*w - 4*z = -m. Is w composite?
True
Suppose -a - 2*a = -3*c + 6, c = -5*a + 14. Suppose -4*t + 6 = -3*d, -c*t = -4*d - 15 + 3. Is (4/d)/(3/((-12582)/4)) prime?
False
Suppose 9*g - 728111 = -5*s, 3*g = 28*s - 29*s + 145615. Is s composite?
False
Let i = -16586 - -32498. Suppose 0 = -5*t - 2*a + 133092 - 53532, 5*a = -t + i. Suppose -8*c + 15280 + t = 0. Is c prime?
False
Suppose 76693248 = 122*x - 15573766. Is x a prime number?
False
Suppose 0 = -2*h - 5*k - 664, 5*k = -h - 2*h - 991. Let q(p) = 7*p**2 + 62*p - 15. Let f be q(-15). Let j = h + f. Is j prime?
False
Let m(l) = 3 - l**2 + 2*l + 3*l + 0*l. Let b be m(6). Is 758/(-4)*(1 + b - 0) a prime number?
True
Let n = -18 - -23. Let u(o) = 18*o**3 - 5*o**2 + 8*o - 11. Let l be u(n). Let v = l + -1289. Is v a prime number?
False
Let t = -7 - -14. Suppose 0 = 4*x - t*x + 12. Suppose 853 = -x*m + 5*m. Is m composite?
False
Let u = -833 + 838. Suppose 3*j = -n + 8280, -49*n + 52*n = u*j - 13814. Is j a composite number?
True
Let r(g) = -1495*g + 737. Let p(l) = -2243*l + 1105. Let k(b) = -5*p(b) + 8*r(b). Is k(-14) a prime number?
False
Let l(d) = 34*d**2 - 10*d + 79. Is l(43) composite?
True
Suppose -10 = -4*w + 14. Is (-30664)/(-24)*(-3)/(-6)*w a composite number?
False
Let p(w) = 10*w - 3. Let b be p(1). Let y = 11 - b. Suppose -39 - 2909 = -y*x. Is x prime?
False
Is -2 + (20637/5)/(28/140) prime?
False
Let l(i) = 4*i + 12. Let h(j) = 7*j + 25. Let u(m) = 3*h(m) - 5*l(m). Let g be u(-11). Suppose 2*k = -g*x + 6*k + 1004, 4*k = 0. Is x composite?
False
Is (-1148130)/(-20)*(-12)/(-18) composite?
True
Suppose -75*s + 78*s = 44355. Suppose -7*q - 890 = -s. Is q a prime number?
False
Let a(y) = 4775*y**2 - 4*y - 41. Is a(4) a composite number?
False
Let t(j) = 91*j**2 + 15*j - 10. Let v be t(-13). Suppose -o = 3*z - v, 17 = 5*o + 2. Is z a prime number?
False
Let i = -43 + 35. Is 6/24 + 2/i - -889 prime?
False
Let i(t) = -46*t - 23. Let p be (-4)/18 - (-235)/45. Suppose 4*n - 32 = 4*j, -2*n - 48 = p*j + n. Is i(j) a composite number?
True
Is (5008686/10)/(579/965) composite?
False
Suppose p - 1 = -7, 5*q + p - 126259 = 0. Is q a composite number?
False
Let d be (-33)/(-22)*4/1. Suppose 7*u - d*u - 9 = 0. Suppose -2*h + u = v, -4*h = 15 + 5. Is v prime?
True
Suppose 5*x + 39819 = 4*o, 0 = -x + 5*o - 6889 - 1079. Let j = -614 - x. Is j a prime number?
True
Let g = 15 - 10. Suppose 7*v = -g*v + 6336. Suppose -29 + v = u. Is u prime?
True
Suppose 7*u - 2*u = -3*w + 582, 5*u - 590 = -5*w. Let x = u + -94. Suppose x*i - 19*i = 1693. Is i composite?
False
Let o = -618 - -58075. Is o composite?
False
Suppose 2*f + 2640 = -3*f. Suppose -5885 = -4*o + 5*h, 4*h - 1318 = 4*o - 7198. Let m = f + o. Is m prime?
True
Suppose -4*m - t - 31 + 205 = 0, 5*m = 5*t + 205. Let h = 39 - 23. Let i = m + h. Is i composite?
False
Let x(l) = -241*l**3 + 2*l**2 - 7*l - 13. Is x(-6) prime?
False
Let x(b) = -b**3 - b**2 - b. Let k be x(0). Suppose -3*y - 4*d - 6 = -2*y, -y - d = k. Suppose 7*g + y - 23 = 0. Is g a composite number?
False
Is (-2040726)/(-12) + (-20)/(-8) a prime number?
True
Let c = -977956 + 1405811. Is c composite?
True
Suppose 7*m + 5*o - 125152 = 0, m - 10*o + 11*o - 17878 = 0. Is m prime?
True
Suppose -4*q + 28*r - 26*r = 3402, -2*r - 6 = 0. Let i(t) = -23*t + 5. Let v be i(-6). Let s = v - q. Is s prime?
False
Let r(a) = 515*a**2 - 41*a + 321. Is r(10) prime?
False
Let j = 175 + -165. Is (-2)/(-6)*(7072 + j + -11) composite?
False
Let v = -18 + 18. Suppose 2*c - 3768 = -v*c. Let t = c - 1185. Is t prime?
False
Let x(j) = 4*j**2 + 23*j + 17. Let c be x(-12). Suppose -4982 - c = -s. Is s prime?
False
Let r(g) be the first derivative of 648*g**2 - 47*g - 36. Is r(5) prime?
False
Is ((-2 + 1)*2)/(31929696/3192972 + -10) prime?
True
Suppose -34*n - 8 = -36*n. Suppose v + z = 492, -6*v + 999 = -n*v + 5*z. Is v prime?
True
Let v(b) = 48963*b - 100. Is v(1) composite?
True
Suppose 2*f = 3*f + 1071. Let l be 5/((-135)/6) - (-295128)/(-162). Let n = f - l. Is n composite?
False
Is (-16)/(-168) - (-974)/42*1711 a prime number?
True
Let g(t) = 10*t**2 - 6*t - 705. Is g(-38) prime?
True
Suppose 2*k + 98935 = 4*y + 3*k, -y + 9*k + 24706 = 0. Is y prime?
True
Is 5/(50/3291664) - (132/5 + -27) a composite number?
False
Suppose 2*t - 779 = -5*k, 0 = -3*t - 0*t - k + 1162. Suppose 9 = -y + 4*y, -3*o - 2*y + t = 0. Is o prime?
True
Let x(y) = -7*y**3 - 8*y**2 + y + 1. Let l = -65 - -71. Suppose 0 = 5*f, -n - l = f - 3*f. Is x(n) composite?
True
Let u(p) be the third derivative of p**7/2520 + p**6/720 + 887*p**5/120 - p**4/4 - 25*p**2. Let g(r) be the second derivative of u(r). Is g(0) a prime number?
True
Suppose 0 = 2*r + 2*f - 1492242, 82*f + 746109 = r + 80*f. Is r a composite number?
False
Let s(t) = 28*t - 44*t**3 + 45*t**3 - 4 + 26*t**2 - 15. Is s(-20) prime?
False
Suppose -33*v + 36773 = -64*v + 42*v. Is v composite?
False
Suppose -5*i = -4*z + 319608 + 358614, 2*z = 2*i + 339110. Is z a prime number?
True
Let s = 195707 + -125284. Is s a prime number?
True
Let d be 5/((-100)/(-101036)) + (-2)/(-10). Suppose -15 = 5*p, 20138 + d = 4*k + 2*p. Is k prime?
True
Let o = -1414778 - -2530869. Is o composite?
False
Let r(d) = 1518*d**2 + 3*d - 1. Let l be r(-2). Suppose 3*y + l = 2*v, -8*v + y - 15188 = -13*v. Is v a prime number?
True
Suppose 5*c + 0 = -5*o + 15, -o + 18 = 4*c. Suppose -c*l + 21589 = m, -5*l - 5*m + 8654 = -3*l. Is l prime?
False
Suppose -3*s = g - 130947, 20*s - 5*g = 16*s + 174596. Is s composite?
False
Let c = 1629 - 1450. Let t(a) = 3*a**2 + 3*a - 6. Let m be t(-5). Let h = c + m. Is h a prime number?
True
Suppose -5*d - 6 + 21 = 0. Suppose -1135 = -d*m + h, -1520 = -2*m - 2*m + 3*h. Let i = m + 2. Is i a composite number?
False
Let k = 383 + -362. Let v = k - -934. Is v a composite number?
True
Let k = 61698 + -23267. Is k a composite number?
False
Let i be (-3)/(9/36*-6). Suppose 39725 = i*g - z, -4*g = -3*z - 55199 - 24254. Is g composite?
False
Suppose 301*m = -5*m + 59921838. Is m a composite number?
True
Suppose 26*p + 90150 = 11*p. Let j = p - -11307. Is j a prime number?
True
Let d(k) = 200*k - 76. Let r be d(17). Let a = r + 3563. Is a a composite number?
True
Let b(l) = -5*l + 55. Let x be b(10). Suppose 0 = -r - 4*i + 2423, 2*i = x*r