et n be -4*((-6)/(-2) - 4). Suppose 20 = n*u, -2*r - w*r + u + 240 = 0. Is r a composite number?
True
Is (5/((-5)/(-2)) - 1) + 388 composite?
False
Let s be 2/(-3)*105/(-14). Suppose -m = 2*o - 153, 5*o - 153 + 993 = s*m. Is m a composite number?
False
Suppose -l - 730 = r - 6*l, -3710 = 5*r - 5*l. Let p = r + 1302. Is p prime?
True
Let s = 2869 - 1532. Is s composite?
True
Suppose 3*x + 610 = 5*a, 3*a + 0*x - 352 = -x. Is a prime?
False
Is 4/36*1253 + (-8)/36 composite?
False
Let v(p) = 36*p**3 + 2*p**2 - 1. Is v(1) a prime number?
True
Let v be (5/(-15))/(1/3). Is (-1*(254 - -3))/v a prime number?
True
Suppose -p + 3*m + 676 = 0, -p - 2*p + 2038 = m. Let o = -92 + p. Is o composite?
False
Let m = 5 - 0. Suppose 7*r - 52 = -6*r. Suppose -3*w + 390 = r*z + 59, -m*z = 3*w - 416. Is z composite?
True
Let g be (-1)/(-3) - (-160)/6. Let c(y) = y**2 + 6*y - 4. Let h be c(-7). Suppose -h*d + 2*d - 3*j + g = 0, 10 = -5*j. Is d a prime number?
False
Let s = 12 + -7. Let r(y) be the second derivative of -y**5/20 + 5*y**4/12 + 4*y**3/3 - 7*y**2/2 - y. Is r(s) prime?
False
Let y be 4/2 + -1 + 0. Let w be (1 + (-1)/y)/(-1). Suppose 2*l - 4*o - 128 = w, -117 = -l - o - 38. Is l a composite number?
True
Let r be 30/5*2/6. Suppose -598 = -0*n - r*n. Is n composite?
True
Let w = -76 - -113. Is w a prime number?
True
Suppose -b - 285 = -3*t, -5*t = -3*b - 197 - 282. Suppose j + j - t = 0. Is j prime?
True
Let q(j) be the second derivative of 0 + 2/3*j**3 + 3/2*j**2 - j. Is q(5) prime?
True
Let j be ((-5)/2 + 3)*0. Suppose -u = -j*u + 3, 63 = n - 2*u. Is n a prime number?
False
Let t = -1 + 4. Suppose -a = -3*a. Suppose a = t*c + 2*c - 215. Is c prime?
True
Let t(x) = x**3 - 35. Let a be t(0). Is (0 - 1)*(a + -2) a prime number?
True
Let y(s) = -4 + 3 - 3 + 3*s. Let v be y(4). Is 62/v*(5 + -1) a prime number?
True
Let n(q) = -2*q**3 - 3*q**2 + 3*q. Let a be n(3). Let d = 139 + a. Is d a composite number?
False
Let l(p) = p**2 - p. Let a be l(3). Let n(t) = 18*t**2 - 3*t + 9. Let g be n(a). Suppose -g = -5*k - 224. Is k a prime number?
True
Let g(h) = h**3 - 2*h**2 + 2*h - 2. Let n be g(2). Suppose n*f - 18 + 8 = 0. Suppose 0*y + 3 = -y, f*y = -3*r + 240. Is r a prime number?
False
Let w be 2 - (-1 - -1)*1. Suppose -c + 1905 = w*c. Is c composite?
True
Let u = -3 - -8. Suppose 0 = u*d - 9*d + 16. Suppose 0 = d*j + 3*a - 60, 4*j - 3*j = 2*a + 15. Is j a prime number?
False
Let b(k) = -31*k**3 + k + 1. Is b(-1) a prime number?
True
Suppose -10*g + 11000 + 5230 = 0. Is g a composite number?
True
Let c(q) = -q**3 - 6*q**2 - q - 1. Let o = -12 + 6. Let f be c(o). Suppose 0 = 4*a + f*k - 238, -2*a + 47 + 65 = -k. Is a a composite number?
True
Let u be 8 + 1*-3 + 2. Let d(a) = -5 + u*a - 3*a - 19*a. Is d(-4) prime?
False
Suppose -5*o = 15, r + 73 = 5*r + 5*o. Is r a prime number?
False
Let u be 1/(-2 - 10/(-4)). Suppose 142 + 60 = u*m. Suppose -291 = -2*z - m. Is z composite?
True
Let w(m) = -m**3 + 4*m**2 + m + 4. Let d be w(4). Suppose 0 = t - 2*l - 7, -l - d = -0*t - 2*t. Is (-6)/1*(-3)/t composite?
True
Let f(v) = -v**2 + 5*v + 1. Let m be f(4). Suppose m*y + 512 = 1767. Is y composite?
False
Let s = 558 - 1076. Is 5/20 + s/(-8) a prime number?
False
Suppose 0 = -t - 3*t - 4. Is (2 + t)*-1 + 80 composite?
False
Suppose 3*r - 3 = 6. Is r/(-6)*2 + 3 a composite number?
False
Suppose 2*t + 3*t = 115. Is t prime?
True
Let z(d) be the third derivative of d**5/30 - 3*d**4/8 - 2*d**3/3 - 5*d**2. Is z(7) prime?
True
Let n = 0 + -7. Let b be 16/(-7) + (-2)/n. Is -2 - (-7 + 0 + b) a composite number?
False
Let k = 5 + -10. Let q = -5 - k. Suppose 5*n - 4*n - 19 = q. Is n a composite number?
False
Let f(s) = -s + 6. Let v be f(6). Suppose -3*t = -v*t - 69. Is t a composite number?
False
Let w = 870 + -279. Let a = -302 + w. Is a prime?
False
Suppose -v + d + 23 = 2*v, -8 = 2*v + 4*d. Let w(p) = -2*p**2 + 7*p + 6. Let c be w(v). Is -1*(3 - 1) - c a prime number?
False
Let w = -3 - -6. Suppose 0 = w*g - 8*g + 140. Suppose -56 - g = -4*y. Is y a prime number?
False
Suppose -3*x + 8*x - 2030 = 0. Suppose -t = 1, z - x = 3*t - 84. Is z a composite number?
True
Let r = 4 - 3. Let t be 0 - (r + -2 + 1). Suppose -3*g + 0*g = 3*p - 27, t = -3*p - 3. Is g a composite number?
True
Let p = 315 + 208. Is p composite?
False
Suppose -3*i + 5*y = -20, -y = 3*i - 2*y - 4. Suppose i = -7*j + 4*j - 3*n - 645, n + 1071 = -5*j. Let t = j - -423. Is t a composite number?
True
Let j be (-3)/(-9) - (-56)/12. Suppose 2*v = j*f + 406, -3*v + 386 + 223 = f. Is v a prime number?
False
Let o = 8 - 4. Is (-11 - -1)*(-22)/o a prime number?
False
Suppose 0*m - 4*m = 2*l - 26, 0 = 5*m + 2*l - 30. Suppose m*o = o + 75. Is o a prime number?
False
Suppose 0 = -k - k + 30. Is 106/(1 - 9/k) a prime number?
False
Suppose -3*o + 396 = 3*o. Is (-2099)/(-11) + 12/o a prime number?
True
Let u = -4 - -6. Let q be (u/(-4))/(9/18). Is 366/(q/(2/(-4))) prime?
False
Is 828/15 + (-6)/30 a prime number?
False
Let s(y) = -14*y**3 + 14*y**2 + 14*y - 176. Let m(c) = -5*c**3 + 5*c**2 + 5*c - 59. Let j(d) = 17*m(d) - 6*s(d). Let k = -18 + 18. Is j(k) prime?
True
Let v(j) = 3*j**2 - 2*j - 2. Suppose 4 = -d + 3*d. Is v(d) composite?
True
Is 6326/30 - (-4)/30 prime?
True
Let l(t) = -t + 8. Let o be l(6). Suppose -5*j = o*d - 336, -4*j - 159 = -d - 2*j. Is d a prime number?
True
Let v = 8 - 12. Let n = v - -6. Suppose -173 = -n*d - 3. Is d a composite number?
True
Suppose 5*h - 3*h = -4*b - 56, -62 = 2*h + 2*b. Let r be h/(-5) - 6/(-30). Suppose -2*m = 3*p - 247, r*m - 630 = 2*m - 5*p. Is m prime?
True
Let p be 1*-8*(-5 + 7). Let l = p - -22. Is l prime?
False
Suppose -4*j = h - 3, 2 - 11 = -4*j - 3*h. Suppose 4*m - d - 752 = j, 4*d + 669 = 4*m - 83. Suppose p = -4*p - t + m, 5*p = -2*t + 191. Is p a prime number?
True
Let d(q) = -q - 4. Let c be d(-3). Let p be (c/3)/(1/(-3)). Suppose -2*v + 29 + p = 0. Is v a composite number?
True
Suppose -30 - 292 = -2*w. Is w a prime number?
False
Suppose 0 = -2*f + 7 - 5. Let s(a) = -59*a - 3. Let p(j) = 30*j + 1. Let w(l) = 5*p(l) + 2*s(l). Is w(f) composite?
False
Let s = 18 + -13. Let w(b) = 2*b**2 - b + 6. Is w(s) a composite number?
True
Suppose -306 - 2457 = -9*u. Is u prime?
True
Let w(q) be the third derivative of q**5/2 + q**3/6 - q**2. Let l be w(-2). Suppose k - 5*n - 50 = 0, 4*k + 2*n = l + 101. Is k prime?
False
Let f(t) = -t**3 + 9*t**2 - 9*t + 10. Let b be f(8). Suppose 0 = -b*j + 6*j. Suppose j = 5*h - h - 100. Is h a prime number?
False
Suppose 0 = 3*z - 4*u - 45, 0*u + 9 = -3*u. Is z composite?
False
Suppose k - 5 = 6*h - 3*h, 3*h = 0. Suppose -2*x - k*m + 155 = 0, -3*x + m + 125 = -x. Is x prime?
False
Let y(h) = -4*h + 1. Let i be y(2). Let s = i + 7. Suppose s = 4*k - 7*k + 63. Is k a composite number?
True
Let u = 11 - 5. Suppose -2*b - u = 2. Let k(n) = -n**3 - 3*n**2 - 5*n - 5. Is k(b) composite?
False
Let m(d) = 182*d + 19. Is m(20) prime?
True
Let m(n) = -114*n**3 + 2*n**2 - 3*n**2 + 2*n**2 - 1 - n. Suppose -1 = -0*a + a. Is m(a) prime?
False
Let d(q) = -19*q + 6. Let y be d(6). Let f be ((-17)/(-4))/((-5)/20). Let h = f - y. Is h prime?
False
Suppose 705 = 4*q + q. Let j = q - 72. Is j prime?
False
Let n = 17 + -9. Suppose 11*b = n*b + 255. Is b composite?
True
Is (3602 + 1)/((-6)/(-10)) a prime number?
False
Suppose 0 = 2*h + 4*n - 162, 4*n - 55 + 328 = 3*h. Is h a composite number?
True
Suppose -3 = -x - 1. Suppose -4*q = -x*q - 314. Is q prime?
True
Let c(p) = -26*p - 7. Let s be c(-9). Suppose j - r - 66 = -9, -4*j + 5*r + s = 0. Is j prime?
False
Is ((-1191)/(-3) - 2)*1 a composite number?
True
Suppose 91 = 2*f - 5*p, -5*f + 3*p = -46 - 210. Is f prime?
True
Suppose 4*f = 12, 3*f - 224 = -4*l - f. Is l a prime number?
True
Let m = 382 + -3. Is m a prime number?
True
Suppose -5*o - 497 = -2352. Is o prime?
False
Suppose -z + 2858 - 819 = 0. Is z a prime number?
True
Let z = 10 + -7. Suppose 0 = 3*w, p + z*w = 5*w + 11. Is p a composite number?
False
Suppose -3*n + 6 = -2*f, 4*n - 24 = n - 4*f. Is n prime?
False
Let o(g) = 2*g**2 + 7*g - 5 + 3*g + 4 + 0. Is o(-8) composite?
False
Suppose -4*b + 4*w - 18 = w, 3*b + 5*w = 1. Let v = b - -3. Suppose v = 5*y - 15 - 10, 3*i - 125 = -4*y. Is i composite?
True
Is ((-3 - -3) + -1)*-67 a prime number?
True
Is (-1)/(5/(