o composite?
False
Suppose 75*p = 43*p + 1141472. Is p a prime number?
True
Let n(m) = m**2 - 6. Let t be n(0). Let c = t + 6. Suppose c = -2*k - k + 633. Is k a prime number?
True
Suppose b + 3*l = -b + 6158, -2*b - l + 6166 = 0. Is b a prime number?
False
Let u be (-2)/(-4) - 3/(-6). Is 274 + 1 - 4/u a prime number?
True
Suppose 10 = 8*s - 3*s. Suppose 2*z = -s*z + 204. Is z composite?
True
Let q be 33*-26*(-5)/30. Let x = 344 - q. Is x a composite number?
True
Suppose -20 = -3*h + 97. Suppose 392 = s + h. Is s a prime number?
True
Let j = -20 + 79. Suppose -j = 4*d - 1551. Is d a composite number?
False
Suppose m = -0*r - r + 85, r = 2*m + 91. Is r prime?
False
Let h(m) be the second derivative of 0 + 1/3*m**3 + 2*m - 1/4*m**4 - 1/2*m**2 + 29/20*m**5. Is h(2) a prime number?
True
Let a(x) be the first derivative of x**4/2 + 2*x**3/3 - x**2 - 2. Let g be a(-2). Is 127/(-2)*g/2 prime?
True
Let y = -5362 + 9545. Is y prime?
False
Let v = 12 - 20. Let z be (v/(-20))/((-1)/(-5)). Suppose -t = z*q - 151, t + 0*q - 5*q = 172. Is t prime?
True
Let u = -3 + -3. Let v(m) = 4*m**2 - 8*m - 8. Let j be v(u). Suppose -i + j = 3*i. Is i a prime number?
False
Suppose -5930 - 8745 = -25*q. Is q composite?
False
Let u = -428 + 1476. Suppose 5*i = i + 5*h - 2068, -h - u = 2*i. Is -1 + -4 + 4 - i a composite number?
False
Let v(n) be the second derivative of -73*n**3/6 - n**2/2 - 5*n. Is v(-6) a prime number?
False
Suppose -4 = -d, 2*n + d = 4*d - 10. Let p(k) = 86*k**2 + 2*k + 1. Is p(n) a prime number?
True
Suppose -2*t - 31 = -b, 5 - 4 = b + 4*t. Is 230/(-1)*(b/(-6))/7 prime?
False
Suppose -5*z = 2*i - 23329, 2*z = i + 2*i - 35041. Is i a prime number?
True
Suppose 0 = -4*k - 6*a + 3*a - 51, -10 = 2*a. Is 140 - (-4 - k/3) a prime number?
False
Let w be ((-4)/(-22) + (-49308)/(-88))*-2. Let s = -744 - w. Is s prime?
False
Let s(b) = b**2 + 5*b. Let r(t) = -2*t - 2. Let c be r(3). Let x be s(c). Is (-4)/(2 + x/(-11)) a composite number?
True
Is 360/36 + 4953*11 prime?
True
Let d = -7 + 9. Let j(k) = 2 + 3*k + 8*k**d - 3 - k + 8. Is j(-4) composite?
False
Let p(d) = 40*d + 11. Suppose w = 4*t - 15, 3*w + t = 2*t + 10. Let l = 10 - w. Is p(l) prime?
True
Suppose -2*r = w - 240, w + 0*r - 245 = 3*r. Suppose 0*s - w = -2*s. Is (s/22)/(2/8) a composite number?
True
Let y(j) = -655*j**3 - 2*j**2 - 28*j + 11. Is y(-6) a composite number?
False
Suppose 0 = -2*u + g + 4264, 0*u + 3*u - 6394 = g. Let m = u - 937. Is m a composite number?
False
Let f be ((-15)/6 + 1)*2. Let x(h) be the first derivative of 4*h**3 - 3*h**2/2 + 4*h + 8. Is x(f) a prime number?
False
Let y(c) be the third derivative of c**6/120 + 17*c**5/60 + 19*c**4/24 + 29*c**3/6 - 5*c**2. Is y(-12) composite?
False
Suppose 3*j = 4*k + 1524, 3*k = -0*j + 4*j - 2039. Let y be (j/(-5) - 2)*-5. Suppose y = 4*b - 106. Is b a composite number?
False
Suppose 0 = j + d - 14886, -52415 = -5*j + 2*d + 22050. Is j prime?
True
Let u(y) be the third derivative of y**6/60 + y**5/60 - y**4/6 - 2*y**3/3 + y**2. Is u(5) composite?
False
Suppose 3*i + 390 = 3*g, -194 = -4*g + i + 320. Suppose -3*x + g = -5257. Is x a composite number?
True
Let i(a) = -11*a**3 - 3*a**2 + 11*a - 5. Let o(j) = -4*j**3 - j**2 + 4*j - 2. Let h(c) = -3*i(c) + 8*o(c). Let v be h(-1). Is (-226)/(-10)*(5 + v) composite?
False
Is (3/(-6))/((-7)/27622) a composite number?
False
Suppose 3*m + 3*k - 135 = 0, -4*m - k - 2*k + 176 = 0. Suppose 16 - m = 5*c. Is (307/4)/(c/(-20)) prime?
True
Let f(c) be the first derivative of c**4/4 - 7*c**3/3 + 7*c**2/2 + 11. Let o be f(6). Suppose 0 = o*k - 778 + 112. Is k a prime number?
False
Let m be ((-10)/65 - (-134)/26) + 2. Suppose m*l - 2245 = 3446. Is l a composite number?
True
Suppose -y + 19 = -3*y - 5*o, 22 = -y - 5*o. Suppose 0*w + 160 = 3*w - 4*z, 0 = -y*w - 4*z + 176. Let u = w + -25. Is u composite?
False
Is 42475 + (-81)/45*(-40)/(-12) prime?
False
Suppose 0 = -3*h - 3*q + 27, -2*h - 2*h - q + 33 = 0. Suppose 1665 = n + h*n. Is n prime?
False
Suppose -k - 48 = -7*k. Suppose k*u - 8483 - 7941 = 0. Is u prime?
True
Let r = 101 - 93. Is 1257 - (r/(4 + -2) - 0) prime?
False
Let k = 10 + -7. Let w be 118*1/(-1 - -2). Suppose 113 = k*m - w. Is m a composite number?
True
Let y(w) = w**2 - 12*w. Let r be y(12). Suppose 2*v + r*v = 0. Suppose -2*i = -v*i - 470. Is i a prime number?
False
Let v(w) be the first derivative of 49*w**4/24 + 4*w**3/3 - 3*w**2/2 - 3. Let l(u) be the second derivative of v(u). Is l(5) a prime number?
False
Let f(p) = 0 + 41*p - 4 + 35*p. Let w be f(4). Let n = w + -191. Is n composite?
False
Suppose -4*q + 11204 = -0*l + 4*l, 11201 = 4*l + q. Let x = l - 1859. Is x composite?
False
Suppose 3*o = -9, 4*q - o - 1810 = 15037. Is q a prime number?
True
Let k(n) = -5666*n**3 + 2*n**2 - n. Let l(x) = 11333*x**3 - 5*x**2 + 2*x - 1. Let r(z) = 5*k(z) + 2*l(z). Is r(-1) a prime number?
False
Let t be (-9)/(-15) + (-332)/(-5). Suppose 2*c - 66 = -3*p, 2*p = -c + 22 + 13. Let y = t + c. Is y a composite number?
True
Suppose -9 = -4*y - 1. Suppose 7*z - y*z = 815. Is z composite?
False
Suppose -z - 44486 = -k, -2*k - 4*z + 32546 + 56408 = 0. Is k prime?
True
Suppose w = -3*j + 5*w - 843, 0 = -5*j + 5*w - 1400. Let x = -190 - j. Is x a prime number?
False
Let a(f) = f**3 + 4*f**2 + f + 7. Let p be a(-3). Is (-11 + p)*(-611)/(-2) prime?
False
Let a = -23 + 23. Suppose -3*p = -4*q - 267, p = -a*p + 3*q + 89. Is p a composite number?
False
Suppose 36*y + 25694 = 38*y. Is y composite?
True
Suppose 3*b + x = 2*b + 3, 0 = -x + 3. Suppose -w + b*w = -3*z + 7230, -12050 = -5*z - w. Suppose 0 = -6*h + h - 5*d + z, -4*d = 20. Is h a prime number?
True
Let h(c) = 1418*c**2 + 27*c + 111. Is h(-4) composite?
False
Let m(v) = 858*v**3 + 5*v**2 - 17*v + 65. Is m(4) a prime number?
False
Let l be 1641/12 + 3/12. Suppose 0 = p - l - 72. Is p a prime number?
False
Let b(q) = 3808*q**2 + 4. Let a(l) = -952*l**2 - 1. Let n(k) = -9*a(k) - 2*b(k). Is n(1) prime?
True
Let w be 24/(-9) - 8/(-12). Let r be -31 - (w + (8 - 3)). Let u = 113 + r. Is u a prime number?
True
Is ((-221)/26 - -9)/(2/76484) prime?
True
Let j(d) = 6*d**2 + 3*d + 2. Let b be j(-1). Suppose 3*k = -2*k + b*x - 5, -k + 5 = 5*x. Suppose 0*y - 177 = -3*t + 2*y, k = 3*y. Is t prime?
True
Let b(d) = -d**3 + 10*d**2 - 7*d - 8. Let h be b(15). Let n = h + 1873. Suppose 2*k - n = -3*k. Is k prime?
True
Suppose 2*m - 10 + 76 = 0. Let j = -386 + 390. Let i = j - m. Is i a composite number?
False
Suppose -5*o = -9586 - 3874. Is o/(-6)*(-21)/14 composite?
False
Let o = 1917 - 1180. Is o a composite number?
True
Let q(w) = -w**3 + 3*w**2 - 2*w + 3. Let c be q(2). Suppose -10*x + c*t + 95 = -9*x, 320 = 4*x + 3*t. Is x prime?
True
Is (-6)/(96/(-95020)) + 2/8 composite?
False
Suppose -36*j = -40*j + 18652. Is j a prime number?
True
Let x = 7277 - 2350. Is x a prime number?
False
Is (-73732)/2*80/(-160) a composite number?
False
Let s be (3 - 2)/1 - -3. Suppose -s*a + 24 = -p + a, -3*p = -3*a + 24. Is -4 + p/((-4)/57) composite?
False
Suppose 5*q = -5*b - 185 - 165, 0 = 3*b - 4*q + 231. Suppose -36*j + 33*j = 330. Let c = b - j. Is c a composite number?
False
Let i be (-2)/12 - (-6 + (-10737)/(-54)). Suppose 22 = b + 5*v, 4*b - 50 = -v - 0*v. Is b/(-4) - (-1 + i) a prime number?
True
Suppose -3*v = -3*a - 7*v + 271, 5*v = -a + 94. Is a prime?
True
Is 15513 + 0 - (3 + (-10)/(-10)) a prime number?
False
Suppose 4*z - 1899 = 4749. Is z + (-7 - (-6 + 4)) composite?
False
Suppose 4*t + 83 + 201 = 0. Suppose 2*u = -5*f + 9 + 41, -3*u = -15. Is (12 - f)*t/(-2) a composite number?
True
Is ((-505)/(-404))/((-1)/(-4996)) a composite number?
True
Let a(r) = -7*r - 14. Let s be a(-10). Suppose -18*o + 22*o - s = 0. Is o prime?
False
Let d(p) = -p**2 + 12*p - 11. Let a be d(11). Let b = -5 + a. Is (-1012)/b + (-12)/30 composite?
True
Let t be 828/24*(-16)/(-3). Is 10/8 + -1 + 11362/t composite?
True
Is 3/2 - 12695/(-2) a prime number?
False
Let z be (2 + (-5)/2)*-4. Is z/14*414 + (-5)/35 prime?
True
Is 19943/5 + (-12)/(-30) a composite number?
False
Let f(u) = -u**3 + 8*u**2 + 8*u + 10. Let c be f(9). Let w(k) = 2723*k. Is w(c) a composite number?
True
Suppose -4*u + 87 = -3*v - u, -u + 157 = -5*v. Let o be v/(-24)*762/4. Suppose 0 = 3*k + 17 - o. Is k composite?
False
Let i(o