-3*v + 873 = -3*m. Is v composite?
False
Suppose 3*u - 189 = -4*u. Is (-18)/u + 70/6 a prime number?
True
Suppose 0 = -3*q + l + 332, -4*q + 156 = 2*l - 270. Is q composite?
False
Let n(r) = 1160*r + 23. Is n(4) composite?
False
Let j = -110 + 176. Let n be (-8 + 12)*j/8. Suppose -4*f + n = -h - 494, -113 = -f + 4*h. Is f prime?
False
Suppose 5*v = -5*i + 60, 0*i = 3*i + 5*v - 46. Suppose 0 = q + 2*j - i*j - 96, -j = 3*q - 368. Is q composite?
True
Let g = -615 - -2376. Suppose -z = z - 5*z. Suppose z*p - g = -3*p. Is p a composite number?
False
Is (-108 - -3156) + (-1)/((-2)/10) prime?
False
Let b = 945 - 322. Is b a composite number?
True
Suppose 36*n - 122903 = -18395. Is n composite?
False
Let k(g) = 34*g**2 + 52*g + 45. Is k(-11) prime?
False
Suppose 4*l - 1694 = -z, 4*l = l + z + 1274. Let p = l - 233. Is p composite?
False
Let r = 11 + -7. Suppose -3*t + 2*l = -3*l - 921, -3*t + r*l = -921. Is t a composite number?
False
Let w(y) be the second derivative of 3*y**5/20 - y**4/6 - y**3/6 + 3*y**2/2 - 12*y. Is w(4) composite?
True
Let c(j) = 35*j + 7. Let u(o) = -o + 21. Let f be u(13). Is c(f) prime?
False
Let x = 4 - 8. Let f be -4 + 50 + 0 + x. Let j = f - -43. Is j a composite number?
True
Suppose 20 = 6*i - i. Let w(r) = -4*r**3 + 2*r**2 - 3*r - 5. Let u be w(i). Let b = u + 362. Is b a composite number?
True
Let x = 16357 - 9288. Is x prime?
True
Suppose v - 3 = -0*v. Let r = 88 - 14. Suppose -v*f + f = -r. Is f a composite number?
False
Suppose 5*r = 4*z + 6269, 5030 = 3*r + 5*z + 1239. Is r prime?
False
Suppose 0 = 2*r - 617 - 355. Suppose m = -4, -5*i = -2*m + r - 1749. Is i a composite number?
False
Is 7933 + -3*1/(-3) a prime number?
False
Let y be ((-3)/(3/73))/(-1). Let i(g) = -6*g + 56. Let q be i(5). Let k = y - q. Is k prime?
True
Let s(c) = 523*c**2 - 16*c - 56. Is s(-5) a composite number?
False
Let z(p) = p**2 + 7*p - 47. Let b be z(-20). Suppose -5*q - r = -1258, b + 26 = q - 4*r. Is q a prime number?
True
Let h = 14 - 18. Is (1/2)/(h/(-7256)) prime?
True
Suppose 11*c - 7*c - 50947 = 5*o, 4*c - 50957 = 3*o. Is c a prime number?
True
Let q = 6412 - 403. Is q a prime number?
False
Let h = -2384 + 3349. Is h a composite number?
True
Suppose s = 2*s - 3*t + 5, -38 = 5*s - 2*t. Let n(i) = 35*i**2 + 5*i + 19. Is n(s) a prime number?
False
Suppose -4*x = 3*h - 17290, -7509 = 5*x - h - 29112. Is x prime?
False
Let d = 292 + -157. Let u(m) = -m - 29. Let g be u(20). Let y = g + d. Is y prime?
False
Let o(r) = -r**3 + 3*r**2 - r + 2. Let n be o(3). Let v = 5 + n. Suppose x - 262 = -3*s, -v*x = -2*s - 54 - 1008. Is x a composite number?
True
Suppose 4*y - 5 = 3*y, -w - 5 = -2*y. Suppose -6*n + w*n = 0. Suppose 1173 = 3*p - n*p. Is p a composite number?
True
Suppose g = 2*f - f - 1, -3*g - 3 = -4*f. Suppose j + 2*p - 346 = f, 0 = -3*p - 3. Let m = 710 - j. Is m composite?
True
Let g(t) = -36*t**3 + 2*t**2 - 3*t + 1. Let r be g(2). Let a = -108 - r. Is a a composite number?
True
Let l(r) = 539*r - 5. Let k(p) = -269*p + 3. Let g(d) = 5*k(d) + 2*l(d). Is g(-4) a prime number?
False
Suppose -57*p + 690 = -51*p. Is p composite?
True
Is -23761*(2/8)/(6/(-24)) a composite number?
False
Suppose -2*h + 4*p + 4998 = 0, 2*h - 2*p + 4*p - 5010 = 0. Is h composite?
False
Is (-2810184)/(-136) - (98/119)/7 prime?
True
Suppose -2970 = -3*w - 2*v + 62, 0 = -w + 5*v + 1022. Suppose -5*t = -t - w. Is t a composite number?
True
Let b(n) = 31*n**3 + 5*n**2 - 42*n + 7. Is b(8) prime?
False
Let s = 12322 + -4995. Is s a composite number?
True
Is 6/(-14) - 39930/(-21) composite?
False
Let f = -24 + 24. Suppose f*i = 4*i + 8. Is 1360/(i/(-2)) + 1 composite?
False
Let a be ((-4)/(-10))/(6/(-1 - -31)). Suppose -a*l = -7*l + o + 15061, -3017 = -l - o. Is l prime?
False
Let k(p) = 160*p**3 - 26*p**2 + 12*p - 9. Is k(7) a prime number?
True
Is (13 + -10)/(-3) + 470 composite?
True
Suppose -8*v - 108 = 4. Is 8/v - 5/((-70)/15562) prime?
False
Suppose 0*a - 4 = -2*a. Suppose 0 = 4*n - 2*n - 4, 0 = 5*d + 5*n - 175. Is 5241/d + a/11 a prime number?
False
Suppose -5*u + 18563 + 58847 = 0. Is u a prime number?
False
Let d be (-104)/(-14) + 6*5/(-70). Let g(s) = 5*s**2 + 2*s - 36. Is g(d) prime?
True
Let s = -454 - -830. Suppose 5*u - k - 582 - 370 = 0, 2*u - 2*k = s. Is u prime?
True
Let f(q) = 33*q + 9. Let t be f(-6). Suppose 14*y - 15*y - 134 = 0. Let z = y - t. Is z composite?
True
Let g = 1056 - -1363. Is g composite?
True
Let j(y) = 5 - 3 + 13 - 38*y. Is j(-22) a prime number?
False
Let p = -40 + 43. Suppose d = 104 + 102. Suppose -p*b = -b - d. Is b a composite number?
False
Let t(c) be the third derivative of -c**6/120 - 13*c**5/60 - c**4/12 + 11*c**3/6 - c**2. Let f be t(-12). Is 2/(8/(-4))*f composite?
False
Suppose 0 = -7*h + 41687 - 10740. Is h prime?
True
Suppose -z - 16 = -315. Let b = 484 - z. Is b a composite number?
True
Suppose 3*g = 476 + 1243. Let o = 264 - g. Let a = 494 + o. Is a a prime number?
False
Suppose 4*r - 6*r = 5*t - 145, 5*t = r - 50. Let w = 121 + -127. Let m = r + w. Is m a composite number?
False
Let h = 1440 + -324. Suppose 15216 = 12*j - h. Is j a composite number?
False
Suppose -1505 - 3792 = -c. Is c composite?
False
Let x = 6 + 11. Suppose 0 = -m + 2*l - 6, 0*m - 5*l + x = -3*m. Let k(h) = 6*h**2 + 3*h + 1. Is k(m) composite?
True
Suppose -55 = -3*b + 272. Suppose -2*s = a - b, -4*a - 7*s + 2*s = -451. Is a prime?
False
Suppose -5*c = h - 10 - 6, -2*c + 24 = 2*h. Let z = h + -7. Suppose z*n - n = 402. Is n a composite number?
True
Is (-1 + 2637)*(-69)/(-276) a prime number?
True
Suppose 0 = -5*u - 3*w + 30, u + 0*u = -2*w + 13. Suppose 2*f + b = -u*b + 78, -f = -2*b - 35. Is f a prime number?
True
Let n(g) = 4*g - 16. Let z be n(6). Suppose z*o - 1956 = 2*o. Is o composite?
True
Let t be 54/(-4)*(-24)/3. Suppose -5*q = -2*k + 214, -2*q + 213 = 3*k - t. Let h = k - 28. Is h a composite number?
False
Suppose -v - 4 = i, 0 = 3*i + 2*v + 6 + 4. Let y be 5/i*(-18)/15. Suppose -p = -2*p - 5*m + 91, -y*p + 317 = 4*m. Is p composite?
True
Let x(g) = -179*g - 106. Is x(-13) prime?
True
Let d be (-2)/(-7) + 6/(-21). Suppose -2*k + d*k = -4. Suppose -k*m + 1262 = -0*m. Is m a prime number?
True
Let l = -247 - 391. Suppose 41*o = 44*o + 1137. Let g = o - l. Is g a prime number?
False
Let j(p) = -p**3 - 2 + 8 - p - 3*p**2 + 0. Let a be j(-6). Let v = a - 85. Is v composite?
True
Suppose y + 3*y = -2*m + 14, 0 = 2*y - 2*m + 2. Suppose -i + 4*a + 2755 = 0, -5*i + 13797 = -0*i + y*a. Is i a composite number?
True
Let h = -5180 + 11261. Is h a prime number?
False
Let v = -18 - -40. Let b be 5*(v/5 + -2). Suppose 4*s + b = 0, -m + 2*s + 48 = -35. Is m a prime number?
False
Let l(y) = 2*y - 10. Let w be l(5). Suppose 3*s - 8*s - 80 = w. Is 4/s + (-186)/(-8) a composite number?
False
Let j be 3 + 2/(-1) + 1. Let o be (j - 1)*16/(-4). Is 11979/39 + o/26 a prime number?
True
Suppose -4*d = -66062 + 17170. Is d prime?
False
Let p = -87556 + 156419. Is p a prime number?
True
Suppose -2 - 1 = -w. Suppose n - 4*x = -n + 20, w*n + 5*x - 41 = 0. Suppose -2*j + 44 = -2*t, -3*j - t + n = -42. Is j a prime number?
True
Let k(o) be the third derivative of 31*o**4/2 - o**3/6 + 3*o**2. Is k(1) prime?
False
Suppose -t - 6*t = -89495. Is t composite?
True
Suppose 0 = -6*a + 373002 - 134904. Is a a prime number?
False
Suppose -1274*v = -1279*v + 38555. Is v a composite number?
True
Let l(s) be the second derivative of 1/12*s**4 + 0*s**2 + 0*s**3 + 0 + 3*s + 21/5*s**5. Is l(1) composite?
True
Suppose 8529 = -g + 4*g. Let j = -1786 + g. Is j composite?
True
Let k(f) = 187*f - 16. Let b(n) = -n**2 + n + 5. Let y be b(0). Is k(y) composite?
False
Suppose 0 = -3*d + 9 - 33. Let b(a) = -3 + 3*a + 6*a + 0*a + 2*a**2. Is b(d) a composite number?
False
Let s(y) = y**2 - 8*y + 9. Let b be s(7). Suppose b*r - 3*r + 124 = 5*l, 4*r = 2*l + 584. Let w = r + 647. Is w a composite number?
True
Suppose 4*d - 4 = 2*a + 2, -d + 26 = 3*a. Suppose 2716 = -3*y + a*y. Is y composite?
True
Suppose 6*z = 9*z - 60. Suppose -2*v = k - 504, 10*k + z = 5*k. Is v composite?
True
Suppose 4*l - 5915 = -5*t, 0 = l - 6*l + t + 7430. Suppose 7*x = 2*x - l. Let j = -32 - x. Is j composite?
True
Let u(t) = 711*t**2 + 36*t - 1. Is u(4) a composite number?
False
Let s = -639 - -1141. Suppose 2*d 