7*i + 2. Is k(-6) a composite number?
False
Let n(b) = 33*b - 42. Let u be n(5). Let v = 265 - u. Is v composite?
True
Suppose -29*p = -34*p - 20, -5*p = -3*i + 19997. Is i composite?
False
Let v be (153/12)/(3/(-264)). Let f be v/54 + 4/(-18). Is -178*(1 + f/6) composite?
True
Suppose -2*y = -5*y + 6. Let l = -6 - -10. Suppose -p + 2*k + 793 = l*p, p - y*k = 157. Is p a prime number?
False
Let q(c) = -102*c**3 - 8*c**2 - 3*c + 10. Is q(-3) prime?
False
Suppose -4*y - 3*m + 6299 = 0, -4*y + 7660 = m + 1371. Is y a prime number?
True
Is (-3 + 2)/(5/(-30035)) a prime number?
True
Let s(b) be the first derivative of -b**3/2 + 7*b**2 - 3*b - 2. Let j(v) be the first derivative of s(v). Is j(-7) prime?
False
Let v be (-160)/(3 - 4) + 1. Is 3 + (-4 - (1 - v)) composite?
True
Let d(m) = -m**2 + 5*m + 8. Let l be d(6). Suppose l*x + 21 = t + 4*t, 0 = 2*x + 4*t - 24. Suppose 4*j = x*j + 102. Is j prime?
False
Let f be (-14 + 38)/((-6)/(-1444)). Is (-4)/16*f/(-4) prime?
False
Let m(k) = -4*k + 533. Let y be m(0). Let a = y - 313. Suppose -15*w = -11*w - a. Is w prime?
False
Let w(j) = 41*j + 61. Is w(12) a prime number?
False
Let k(i) be the third derivative of -i**5/60 + i**4/6 + i**3/2 - 9*i**2. Let o be k(7). Is (-12930)/(-27) + (-2)/o a prime number?
True
Let d(l) = 1038*l**2 - 7*l + 26. Is d(5) composite?
True
Suppose -2*u - 1 = -u. Let g be -2*(1 - u)/(-2). Is 188*(1/g + 0) prime?
False
Let m(p) = -3*p. Let k be m(-1). Suppose 5*i = 2*b - 333, 0 = k*b - 4*b + 4*i + 174. Suppose 0*z = -f - 5*z + b, -450 = -3*f - 3*z. Is f a composite number?
False
Let m be ((0 + 0)/1)/(-2). Let v be (6 + 4 + m)/2. Let x(w) = 2*w**3 + 3*w**2 - 5*w - 7. Is x(v) composite?
False
Suppose -3*u + 17 = u + 5*a, -5*a - 10 = -5*u. Let w = 8 - u. Suppose 0 = 4*q + 4*p - 824, w*q - q = p + 849. Is q a composite number?
False
Suppose 34 = -5*r + 22*r. Suppose 4*v - 2978 = -r*z, 0 = z + 5*v - 968 - 533. Is z prime?
True
Suppose 4*x = -3*u - x - 46, 3*u = -x - 50. Let h = u - -64. Is h a prime number?
True
Suppose l = 2*a - 3*l + 60, 5*l - 5 = 0. Suppose -d - 4*x = -15, 0 = 5*d + 8*x - 3*x - 45. Is 3/d - 8192/a a prime number?
True
Suppose -1086 = 3*c - 19677. Is c composite?
False
Let v be -3 + -3 + 5 + 6. Suppose 4*u + v*l = -51, -4*u = -3*l + l + 30. Let n(b) = b**3 + 11*b**2 - 1. Is n(u) prime?
False
Let s = 111 - 107. Suppose 2*j + 2*v = 5370, 0 = s*j - j + 5*v - 8063. Is j a composite number?
True
Let p(d) = 2*d**2 - 4*d - 8. Suppose 4*q = -3*k - 26, 2*k + 6 + 2 = 2*q. Let b be p(k). Let o = b - -70. Is o prime?
False
Let h(m) = 23*m**3 + 4*m**2 - 2*m - 2. Let g(b) = b**3 + 5*b**2 - 7*b - 1. Let l be g(-6). Let q(z) = z**3 - 6*z**2 + 4*z + 7. Let w be q(l). Is h(w) composite?
True
Is (36/8 - 5)/((-1)/7418) a prime number?
True
Let z(m) = -m**2 - 5*m - 3. Let s be z(-3). Suppose 4*d = 16, s*d + 608 = -4*b + 2*d. Let c = -40 - b. Is c a prime number?
True
Let o = -107 + 107. Suppose 4*h + o*h - 2*u - 3608 = 0, -u = -h + 903. Is h prime?
False
Suppose 0*f = -4*f + 1676. Suppose 2*l - 297 - f = 0. Is l prime?
False
Let r be (-1)/(-1)*1/(-2)*-94. Suppose 43*x + 1364 = r*x. Is x composite?
True
Suppose -1230 = -11*x + 4501. Is x a prime number?
True
Let q = 26109 - -25484. Is q composite?
False
Suppose -3 = -3*g + 21. Let f = 6 - g. Is 1/((-3)/(-72)) - f a composite number?
True
Let u = -17681 + 140176. Is u prime?
False
Let x = 433 - -48. Is x a composite number?
True
Suppose y - 2*r = -4*r + 3, 2*y = 4*r + 6. Suppose 0 = y*l + 4*l - 21833. Is l a composite number?
False
Suppose 20 = -b + 5*b. Suppose 0*c + 4*c - 1993 = -5*s, -5*s = b*c - 2490. Is c a prime number?
False
Is ((-2922)/4 + -5)*-2 composite?
False
Let l = -20 - -23. Suppose 3*d = 9, l*i - 4*d = 2*i + 221. Is i a composite number?
False
Let y(n) = n**2 - 1. Let m be y(-1). Suppose -4*a + 16 = -m*a. Suppose 954 = a*i + 2*i. Is i a prime number?
False
Suppose 2523447 = 59*u + 430658. Is u a prime number?
False
Suppose 15*i = -7*i + 125708. Is i prime?
False
Suppose 19 = 3*k + 2*f, -3*k = 2*k + 2*f - 29. Suppose -1076 = -k*g + 9419. Is g prime?
True
Let t = 121 - 55. Suppose -4*h = 2*d - 0*d - 566, 3*h - 3*d = 438. Let v = h - t. Is v prime?
False
Suppose -4*x - 59 = -q, 2*q + x - 109 = 45. Suppose y = -p + 78 + q, 3*p - 463 = -4*y. Is p composite?
False
Suppose -82*p = -89*p + 194803. Is p a prime number?
False
Let j = 5 + 90. Let n(s) = -s - 2. Let b be n(-6). Suppose -t + j = b*t. Is t a composite number?
False
Let h(q) = 8*q + 5. Let u be h(-2). Let p = u - -30. Is p a prime number?
True
Let q(g) = 2*g + 30. Let s be q(-14). Suppose -425 = -s*r + 837. Is r composite?
False
Let b(f) = -f - 2. Let x be b(-6). Suppose -x*u - 2*w = 2*w - 2524, -w + 1262 = 2*u. Is u a composite number?
False
Let d be ((-29)/174)/((-1)/18). Suppose -5*w = 2*y - 2618, -6*y + 3961 = -d*y - w. Is y composite?
False
Let d = -37 - -61. Let h be -2 - d - (-3 - -1). Let y = 235 - h. Is y prime?
False
Suppose 5*d + q - 14747 = 0, -3*d + 13585 = q + 4736. Is d a prime number?
False
Suppose 4*m - 5 = -1. Let x be (-18 - 4/1)*m. Is 4622/18 - x/99 a composite number?
False
Let w = -12 + 14. Suppose l + 2*z = 485, 473 = -0*l + l - w*z. Is l a prime number?
True
Suppose 3*l - 144 = -q, 0 = 5*q + 5*l - l - 742. Is (-4 - -1) + q/9*111 composite?
False
Let a(q) = 120*q - 5. Let w be (-2 - 69/(-12))/(6/16). Is a(w) prime?
False
Suppose -2*z + 2 = -4*l, -z = -4*l + 8 + 1. Suppose z = 17*t - 16*t. Is t prime?
True
Suppose 2*q + 6*w - w - 14 = 0, 0 = 5*q + 5*w - 20. Suppose -2*r - 4*n + 892 = 0, 4*n = 3*r - 2*r - 476. Suppose r = q*s + 134. Is s a prime number?
False
Let q(p) = -423*p + 9. Let u be q(8). Let s = -1196 - u. Is s a prime number?
True
Let d = -396 + 1165. Is d composite?
False
Let h be ((-8)/5)/((-20)/100). Is (171/15)/(h/40) a composite number?
True
Suppose 0 = 3*l - 2*k - 16, -2*k = -k + 2. Suppose -291 = -l*i + 41. Is i a prime number?
True
Is -100388*(-11)/44*1 a prime number?
True
Let y(v) = -4*v**2 + 1 + 13 - 2*v**2 - 16*v. Let k be y(-14). Let a = 1815 + k. Is a composite?
False
Let p = 211 - 1866. Let v = -744 - p. Is v composite?
False
Suppose -20*a = -57*a + 854663. Is a prime?
True
Suppose 7*a - 2 - 12 = 0. Suppose 2*s = -3*s + 5*n + 1565, 4*s - a*n = 1260. Is s prime?
True
Let w(x) be the third derivative of x**6/120 - 3*x**5/20 - x**3/6 - 6*x**2. Let t be w(9). Is (1 - t)/(-2) + 212 composite?
False
Suppose -10896 = -3*r + 3*v, -5*r + 2322 = 3*v - 15830. Is r composite?
False
Let o = 10 + -6. Suppose o*w + 7292 = -15396. Is ((-2)/8)/(2/w) composite?
False
Let t be 4/22 + (-93)/(-33) + -3. Suppose t = -5*a + 1199 + 2646. Is a composite?
False
Let d(h) be the third derivative of 0*h**3 + 5*h**2 - 1/24*h**4 + 0*h + 0. Is d(-6) prime?
False
Let g(m) = 84*m - 83. Is g(20) composite?
False
Suppose 0 = r + 3*b - 3293, 3*r = 3*b - 5*b + 9893. Is r composite?
False
Let f be 1212 - (4 + (-1 - 3)). Let w = f - 719. Is w composite?
True
Let h = 20168 + 16569. Is h prime?
False
Suppose 4*n + 5*w - 1993 = 5*n, 5*w + 6059 = -3*n. Let h = n - -3274. Is h composite?
True
Let w = 765 + 2720. Suppose 0 = -5*b - 4*z + 2057 + 1468, 5*b - 4*z - w = 0. Is b a prime number?
True
Suppose -5*f = 5*h + 270, -4*f - 172 = 2*h + 46. Let y = f - -240. Is y prime?
False
Let q = 4639 + 4018. Is q prime?
False
Let n(t) be the third derivative of -t**6/120 - 11*t**5/30 - 29*t**4/24 + 3*t**3/2 - 11*t**2. Is n(-22) a composite number?
False
Is 6/4*73494/81 a prime number?
True
Let l(g) = -53*g - 11. Suppose -c = 3*z - 11, -5*c + 0*c - z - 15 = 0. Is l(c) composite?
True
Let g be (-1040)/(-25) - 3/5. Suppose 2*q = 2*n + g - 209, n + 2*q - 72 = 0. Let l = 115 - n. Is l a composite number?
True
Let j(b) = -b**3 + 10*b**2 + 10*b + 11. Let c be j(11). Suppose 4 = w - c. Suppose -4*t = -0*t + 2*s - 216, 2*s = w*t - 224. Is t a composite number?
True
Is ((-9)/(-18))/((-1)/(-35626)) prime?
False
Let u = -29 + 37. Let h = 0 + 0. Suppose h = d + 5*g - 28, 0 = -d + 3*g + u + 36. Is d a prime number?
False
Suppose 0 = -6*y + 1342 + 518. Suppose 0*u = -2*u - y. Let n = u - -300. Is n prime?
False
Let k(p) = 25*p**2 + 28*p + 47. Is k(28) prime?
True
Suppose 10*s - 763140 = -28970. Is s prime?
True
Let t(z) = -81*z + 4. Let j be (3 + -2 + -3)*-2. Let f be (-1)/(-2)*-1*j. Is t(f