5*p = -10*p + 1670. Suppose -644 = -2*b + p. Is b a prime number?
False
Let m(t) = 5*t + 16. Let v(n) = -10*n - 32. Let c(r) = -5*m(r) - 3*v(r). Is c(7) a prime number?
False
Suppose 12 = -4*v - 8*j + 4*j, -3*j - 9 = -2*v. Suppose -4*a = 0, v = g + 4*a - 30347 - 22141. Is g/56 - (-4)/(-14) a prime number?
True
Let n(m) = 5*m**2 + 36*m + 78. Is n(25) composite?
True
Suppose 11*j + 10 = 10*j. Let g(u) = 3*u**2 + 4*u**2 + 5*u + 1 + 6*u**2 + u**3. Is g(j) a prime number?
True
Suppose -t = -48 - 63. Suppose 1187 - t = 2*m. Is m prime?
False
Is 3957*(-4 - 65/(-15)) a prime number?
True
Let k = -27 + 705. Suppose -6*u = -528 - k. Is u a prime number?
False
Suppose 2*v - 4*y + 2 = 0, -3*y + 0*y = 3*v - 6. Let s be (-6)/6 + (v - -2). Suppose -s*o = -3*o + 53. Is o a composite number?
False
Let c be 6/9 - (-644)/6. Suppose -132 = -5*f - 2*l, 2*l = 4*f + 3*l - c. Is 8/f + 2357/7 a prime number?
True
Suppose 5*h + 17 = 352. Suppose h = 8*i - 1957. Is i composite?
True
Let r be 6 + 6/(-3 + 0). Suppose -l + r*u + 14 = -3*l, -5*u - 19 = 2*l. Suppose -2*p = l*p - 1735. Is p a prime number?
True
Let y be ((-28)/(-8) - 4)*-14. Let d(a) = 12*a**3 + 4*a**2 - 7*a - 3. Let z be d(y). Suppose 4*w = z + 1600. Is w a prime number?
False
Let u be (5 - 3)/((-766)/(-764) - 1). Let z = 1137 - u. Is z a prime number?
True
Suppose -9*g - 54455 = 15601. Let b = g - -10950. Is b composite?
True
Let u(s) = 6*s**3 + 54*s**2 - 21*s - 25. Let y(j) = j**3 + 11*j**2 - 4*j - 5. Let o(l) = 2*u(l) - 11*y(l). Is o(15) composite?
True
Let p(l) = 70*l**2 - 9*l + 7. Is p(-6) a prime number?
False
Let h = 3 + 2. Suppose -h*w = -w. Suppose p - 4 = w, -5*x + 4*x + 5*p = -77. Is x prime?
True
Is (-3)/((-2)/(-14) + (-124000)/866824) a composite number?
True
Suppose 3*l + 117 = k, l - 517 = -5*k - l. Suppose -k = -7*j + 2*j. Is j a prime number?
False
Let n = -3 - 10. Let h = -9 - n. Suppose -h*t - 44 = -m + 34, 114 = m + 5*t. Is m prime?
False
Suppose 6 + 18 = -4*f - 4*z, 0 = 3*f - 2*z + 18. Suppose 4*u + 1 + 17 = 2*i, -2*u + 4 = 0. Let y = f + i. Is y prime?
True
Let k be (-42)/(22/(-8) + 2). Let m(n) = n**2 + 11*n + 3. Let p be m(-11). Is k + (-2 + 2 - p) a composite number?
False
Let o(s) = 40*s**3 + 2*s + 4. Suppose -4*l + 3 = -9. Let a be o(l). Suppose 0 = -4*y + 490 + a. Is y composite?
True
Let g = 26 - 16. Suppose 2*p = 88 + 982. Is 1/(-2) + p/g prime?
True
Let r(a) = 96*a**2 - 36*a - 127. Is r(-20) a prime number?
True
Suppose -820*k + 136805 = -815*k. Is k a prime number?
True
Suppose -2*y = -36 - 12. Suppose 0 = -2*m + 94 - y. Is m composite?
True
Suppose 3*x = 3 + 3. Suppose x*g + 4*i - 578 = 0, 858 = 5*g - 2*g - 3*i. Is g a prime number?
False
Let s = -1939 - -3721. Let j = s + 2471. Is j a prime number?
True
Let u = -17 - -14. Let g be (-848)/(-3)*u/(-2). Suppose g = 2*k - 150. Is k prime?
False
Suppose 15*q - 167657 = -6362. Is q a prime number?
True
Suppose 2*j - 4 = j. Let r(v) = 3*v**3 - v**2 - v - 3. Let b be r(2). Suppose b = -j*a + 1819. Is a a composite number?
True
Suppose 0 = 16*v + 41438 - 144558. Is v a prime number?
False
Let q = 5501 - 2583. Suppose q = -4*v + 8482. Is v composite?
True
Let m = -8907 + 15052. Is m a composite number?
True
Suppose 3*l - 2*l + 930 = 0. Let h be 30/4*l/(-25). Suppose -5*k + h = -4*b, -4*k - 2*b = -b - 240. Is k a composite number?
False
Let s be (-3)/(6/1)*-12. Suppose -6*r + 4*r = -s. Is r - (-3 + 7) - -54 prime?
True
Suppose -2*s - 5 = -3*s. Suppose 0 = -d - 5*g, 0 = 2*d - s*d + 2*g + 17. Suppose 4*t + 314 = 4*p + 46, p + d*t = 67. Is p a composite number?
False
Suppose 3*s = -2*u - 3*u - 9928, -2*u + 8 = 0. Let h = 2282 + s. Let v = 1519 + h. Is v a composite number?
True
Suppose 15 = 5*u, 2*s + s = 5*u - 4989. Let l = -650 - s. Suppose 3*h - l = t, 3*h - 1005 = -0*h + 2*t. Is h composite?
False
Let a(k) be the second derivative of -k**5/20 + 5*k**4/6 - 7*k**3/6 + 5*k**2/2 + k. Suppose -2*s = -2*t + 16, 3*s + 3 + 0 = 0. Is a(t) composite?
False
Suppose -3*v + 10 = 4*q - 5*v, 4*v + 10 = -2*q. Let s be 13 - (q + -1)/(-1). Suppose 1525 = -8*r + s*r. Is r composite?
True
Let u(j) = -175*j + 15. Let g(c) = -350*c + 29. Let m(a) = 4*g(a) - 7*u(a). Let p be m(-5). Is (2 - -1)*p/6 prime?
True
Suppose -5*p + 448233 = 3*x, 2*x + 10*p - 7*p = 298822. Is x prime?
True
Let j = 786 - -4103. Is j prime?
True
Let u = -30 - -35. Suppose 2*a + 3*a - 4465 = 4*x, -a + u*x = -914. Is a composite?
True
Suppose -14*z = -15*z. Suppose -1 = -2*v + 5. Suppose v*i - 3*o - 1 = 59, -3*i + 4*o + 59 = z. Is i prime?
False
Suppose 2*x = x - 6. Let d = -2 - x. Suppose -d*i = -129 - 515. Is i composite?
True
Let j = 2 + 0. Suppose 4*a - 5*s - 41 = 0, -2*a + 0 - j = 2*s. Let b(z) = 24*z + 1. Is b(a) a prime number?
True
Suppose -5*q - 31 = -5*a - 2*q, -6 = -2*q. Is 2/a + 4*(-1046)/(-32) a composite number?
False
Let k = 3281 - -1736. Is k a composite number?
True
Let n be (-1)/1 + (-560)/(-2 - 3). Suppose 4*w + n = 2*u - 319, -5*u + w = -1102. Is u composite?
True
Is 119280 + 10 + 35/(-7) prime?
False
Let f(x) = -239*x - 2. Let v be f(-7). Let o = v - 980. Is o a composite number?
False
Let j(f) = 482*f**2 + 9*f - 24. Is j(-5) a prime number?
True
Let z be (3/9*-3)/(2/(-1594)). Let w = 2196 - z. Is w composite?
False
Let a(p) = 4*p**2 + 3*p + 2. Let c be a(-1). Let v be -1 + (752 - 9/c). Suppose -5*j - g = -v, j + 0*j - g = 146. Is j prime?
True
Let b(i) = -5*i**3 + 2*i**2 - 15*i - 16. Is b(-6) a composite number?
True
Let z(s) = 1623*s - 1. Let b be z(-1). Let l = -939 - b. Is l a prime number?
False
Let j(i) = i**3 - 7*i**2 + 8*i - 18. Let a be j(7). Let u = -15 - 0. Let f = a - u. Is f a prime number?
True
Suppose 0 = -3*j - 2*j. Suppose 4*o + 0*o - 2708 = j. Is o a prime number?
True
Suppose 0 = 2*l + 4*n - 2 - 10, 5*l = 4*n + 30. Let y(v) = v - 5. Let b be y(l). Is 326*(4/(-8) + b) a prime number?
True
Let w = -8609 + 12100. Is w a prime number?
True
Let x(r) = 5*r - 19. Let u be x(8). Let p(k) = 2*k**2 + 7*k + 32. Is p(u) prime?
True
Let t = -2 + 2. Suppose t = -0*c - c. Suppose 0 = -u + 3, 5*j + 4*u - 407 + 130 = c. Is j a prime number?
True
Let p(c) = 2*c**3 + 11*c**2 + 22*c - 82. Is p(25) a composite number?
False
Let l = -3322 - -7013. Is l a composite number?
False
Suppose 0 = 315*z - 319*z + 38396. Is z a composite number?
True
Let f(g) be the second derivative of 5*g**3/2 + 2*g**2 + 6*g. Let p(u) = 9*u. Let b be p(1). Is f(b) composite?
False
Suppose 0 = 6*j - 5*j - 11. Let c(t) = t**3 + 3*t**2 - 8*t**2 + j - 3 - 5*t. Is c(7) a prime number?
True
Suppose -4*l - 38 = f + 34, 4*l + 96 = 5*f. Let c = 24 + l. Suppose c*k + k = 66. Is k prime?
True
Let b = 4 + -1. Let d be (1/b)/((-3)/(-81)). Suppose d*w = 12*w - 102. Is w composite?
True
Suppose g - 5*g - 3*m = 32, 0 = -2*m. Let v be (6 - 2)/(13/((-78)/(-12))). Is -122*(v - (-28)/g) a prime number?
False
Let o = -98 + 98. Is 86 + (-8 - -9)*(o + 3) prime?
True
Let n(q) = -4*q**3 - 6*q**2 + 4*q - 8. Let c be n(-5). Suppose 0 = 3*s - a - 664, 5*s - 2*a - c - 783 = 0. Is s a prime number?
True
Suppose 375952 = 23*j + 47489. Is j prime?
True
Suppose 78 = -j - 4*j + 4*w, -w - 57 = 3*j. Let t = 22 + j. Let f(m) = -m**3 + 5*m**2 - 2*m - 1. Is f(t) a prime number?
True
Let y(j) = 873*j**2 + 18*j - 10. Is y(3) prime?
True
Is -7 + 2 + 10 + 1556 composite?
True
Let u(b) = -20*b**3 - 6 + 3 + 7*b**3 + 4 - b**2. Let o be u(2). Is 1/(-2 - o/53) composite?
False
Suppose l - 3*l = -6. Suppose -2*h - 260 = -5*m + 281, 0 = l*h - 6. Is m composite?
False
Suppose -2*h + 534 = -57548. Is h a prime number?
False
Suppose -r + 2*m + 628 = -3*r, -3*r - 4*m = 942. Let o = 100 + r. Let v = 377 + o. Is v a composite number?
False
Let y(z) = 81*z - 3. Let w be y(2). Let q be (-42)/(-24) + 4/16. Suppose w = 5*m - q*m. Is m prime?
True
Suppose 2*l + 5*z = 11, 4*z = 4*l - z - 7. Suppose l*d + 6*d = 8703. Is d prime?
True
Suppose -2*k = -3*k + 1, 0 = 3*s + 4*k - 10. Let i(v) = 264*v**2 + 2*v + 1. Is i(s) a prime number?
True
Let o = 675197 - 476534. Is o prime?
False
Let f be 1929/4 + 9/(-36). Let q = -928 + f. Is -3*4/(24/q) a prime number?
True
Suppose 0 = -5*h - 5*l + 375, 38 = h - l - 37. Let j = h - -1480. Is j a composite number?
True
Let y(g) = -g**3 - 4*g**2 - 5. Let q be y(-4). Let p be (-129)/21 + q/(-35). Is 2/3 - 1418/p a pri