= u - k. Is j prime?
False
Suppose 2*o + 2*o = 12. Suppose o*s - 5*p - 9 = 0, 4*s + 14 = 3*s - 4*p. Is s/(-4)*71*2 a prime number?
True
Let o(a) be the first derivative of 10*a**3 - 3*a**2/2 + 2*a - 1. Is o(3) a composite number?
False
Let g(t) = -t**2 + 89. Suppose 3*b + 0*b = 0. Is g(b) composite?
False
Suppose 0 = 2*l - 4*a - 13 - 9, 13 = 5*l + 4*a. Suppose l*n = 4*n + 35. Is n composite?
True
Let y = -11 + 6. Let q(h) = h**2 + 3*h - 6. Let j be q(y). Is j + -2 + 0 + 65 composite?
False
Let w = 706 - -7. Is w a composite number?
True
Let i be 2/(-7) - 344/(-28). Is 1713/i - (-1)/4 a composite number?
True
Let n = -2 + -27. Let q = 3 + n. Is (-1 + q)*-3 + -2 composite?
False
Suppose a = 2*a. Suppose 5*d + 0*d - 745 = a. Is d a prime number?
True
Let b(v) = -v**3 + 4*v**2 - 2*v. Let x be b(3). Suppose 0 = -x*m + 2*m + 79. Is m a composite number?
False
Let f(x) = -3*x**3 - 11*x**2 + 6*x + 9. Let y(r) = 2*r**3 + 11*r**2 - 7*r - 10. Let i(z) = -3*f(z) - 4*y(z). Is i(10) prime?
True
Suppose -5338 = 3*a - 5*a - 2*t, -5334 = -2*a - 4*t. Is a prime?
True
Suppose -3*v - 2*i = -3, -5*v + 2*i + 6 = 17. Let p = 1 + v. Suppose -3*h + 154 + 5 = p. Is h a composite number?
False
Let l = -1298 - -3631. Is l prime?
True
Suppose 5*n = s + 2221, 4*n - 441 = 3*n + s. Is n a composite number?
True
Let x = 12 - 8. Let c be (x/(-6))/((-2)/(-3)). Is (c/2)/((-3)/222) prime?
True
Let p = 6 - 9. Let z be p + (-42)/(-5 - -2). Let n(u) = -u**3 + 11*u**2 + 7. Is n(z) prime?
True
Suppose 295 - 896 = -5*u - l, 3*l = 2*u - 254. Let q = -86 + u. Is q a prime number?
False
Suppose -p + 3 = j, -3*j - j + p + 22 = 0. Suppose c - 4*s = 155, -377 = -j*c - 3*s + 398. Is c composite?
True
Suppose 0*z = -3*z. Suppose 238 = s + 5*x, z = 2*s - s + 3*x - 232. Is s composite?
False
Let q(t) = 11*t**2 + t - 1. Let f be q(2). Let w = -26 + f. Is w a prime number?
True
Suppose -5*z = -15, -921 = -5*k + 5*z + 334. Is k prime?
False
Let p be (-2)/(-4)*-2 - -1. Let k(r) = -r + 67. Is k(p) prime?
True
Suppose 4 + 0 = 4*y, 0 = -t + 3*y + 5. Let s be (-3)/(-12) + (-123)/(-4). Suppose -s = -3*j + t. Is j prime?
True
Is (0 + 23)/(3/21) prime?
False
Suppose 1 = -4*u + 13. Suppose 0*s = u*s - 105. Is s composite?
True
Let s(p) = 3*p**3 + 7*p - 6. Let a(k) = 3*k + 7. Let d(b) = -2*b - 4. Let j(c) = 3*a(c) + 5*d(c). Let y(q) = 6*j(q) + s(q). Is y(2) composite?
True
Let o = 78 + -38. Is (-1310)/(-8) + (-30)/o composite?
False
Let v(q) = -74*q + 1. Is v(-6) a prime number?
False
Suppose 4*u - 26 = -3*x, x + 2 = -0. Let o(v) = -v**2 + 7*v + 10. Let n be o(u). Is 89 + -2 - (0 + n) a prime number?
False
Let h(w) = -w**2 + 8*w - 8. Let m be h(7). Let n be 2*(m + 27/6). Suppose 2*a - n*a = -185. Is a a prime number?
True
Let g(f) be the first derivative of f**4/4 + 2*f**3 - f**2 - 5*f - 3. Is g(-4) a prime number?
False
Suppose 4*t + 38 = 3*p, -3*p + 32 = -2*t + 4. Let y = 40 - p. Is y prime?
False
Let d(b) = -b**3 - 6*b**2 + 11*b + 9. Suppose 0 = 2*r - 5*r - 24. Is d(r) a prime number?
False
Let d(k) = k**2 + 5*k - 6. Let s be d(-8). Is 3/2*1716/s a composite number?
True
Let r be (-112)/6*(0 - 3). Suppose -5*h = -3*g + r, 60 = -5*h + g + 4*g. Is (-1 + (-2)/4)*h a composite number?
True
Let b(o) = -52*o + 7. Let v(u) = -u. Let n(i) = -b(i) + 6*v(i). Is n(5) prime?
True
Let h(r) = -r**3 + 11*r**2 + 13*r - 10. Let l be h(12). Suppose 2*v - 6*v + 3*s + 25 = 0, l*s + 5 = v. Is v a prime number?
True
Let j = -12 + 17. Suppose 0 = 2*x - 5*c - 11, 3*x + j*c = -0*x + 4. Suppose -x*d = -d - 106. Is d prime?
True
Let z = -372 + 711. Is z composite?
True
Let v(p) = 197*p + 3. Is v(2) composite?
False
Let k(n) = 10*n**2 + 14*n - 19. Is k(17) a prime number?
True
Suppose -4*v + 3037 = -5*i, -5*v - 2*i + 1532 = -3*v. Is v composite?
True
Let k be 193 - (-3 + 0 + 3). Let u = k + -59. Is u a composite number?
True
Let h(y) = 29*y - 21. Is h(11) a prime number?
False
Suppose 25*n - 19*n = 3126. Is n prime?
True
Let w(d) = 27*d + 2. Let a be w(-4). Is (3 + -5)*a/4 a prime number?
True
Suppose 2*x = -2*o + 806, 0 = -5*x + 7*o - 3*o + 2033. Is (-4)/14 - x/(-21) a composite number?
False
Let s(x) = -x**3 - 7*x**2 - 7*x + 1. Let b be s(-6). Let i = 29 + b. Suppose -2*n = -2*k + i, 0 = 4*n + 4 + 8. Is k prime?
False
Suppose 2*l = j, -3*l + 10 + 0 = j. Suppose 3*f - f = -3*f. Suppose 0 = l*z - f*z - 74. Is z a composite number?
False
Let w(l) = 51*l**3 - l + 1. Suppose -10 = -2*d - 4*m, d = 5*m - 0 - 9. Is w(d) a composite number?
True
Suppose -7*r + 184 = -3*r. Suppose c = -o + 2*c + r, 46 = o + c. Is o prime?
False
Is ((-4634)/(-21))/(4/6) prime?
True
Suppose 0 = f, -v = -0*v + f - 79. Is v prime?
True
Suppose -3*q = 6, 0 = t + q - 3*q - 411. Is t a composite number?
True
Let t(o) be the third derivative of -o**4/24 - 3*o**3/2 - 2*o**2. Let n be t(-6). Let m(h) = -2*h**3 - 3*h**2 - h - 4. Is m(n) composite?
True
Suppose -256 = -5*w + 3*w. Suppose -2*v + w = -618. Is v composite?
False
Suppose -4*f = 0, -2*l - l + 3*f = -147. Let x = -35 + l. Is x prime?
False
Let r(z) = -4*z**3 + 6*z**2 - z + 19. Let p(f) = -5*f**3 + 7*f**2 - f + 19. Let m(j) = -5*p(j) + 6*r(j). Suppose -t = -3*t. Is m(t) a prime number?
True
Suppose 0 = -3*i + i + 158. Is i a prime number?
True
Let y be (-2)/8 - (-34)/8. Is (0 + -7)/(y/(-68)) a composite number?
True
Let n(l) = 1 - 2*l - 1 + 1. Let r be n(2). Is 97/(r/6*-2) a prime number?
True
Is (1 + (2 - 2))*263 composite?
False
Let b be (1 + -1 - 30)/(-1). Suppose k - b + 11 = 0. Is k prime?
True
Suppose 3*f + 3 = -2*u - u, f = 4*u + 4. Suppose 3*s - 223 = -f*s - 4*r, -96 = -s + 3*r. Is -22*(s/(-6) + 2) prime?
False
Let r(p) = -212*p**3 - 3*p**2 - p + 1. Is r(-1) prime?
True
Let t be 3 - (-2 + 3/1). Suppose t*z = -3*k + 17, 2*k = -5*z + 11 + 15. Suppose k*p - 93 - 36 = 0. Is p a composite number?
False
Suppose -79 = -l + o + 3*o, -2*l + 158 = -3*o. Is l a composite number?
False
Let p = 468 + -248. Suppose -6*t + p = -2*t. Is t prime?
False
Let r be (-1318)/4 - (-3)/(-6). Let d = -217 - r. Is d a prime number?
True
Let m = 1 + -5. Let k = m + 7. Is k prime?
True
Suppose -4*z + 6 = 30. Is 6*4/z - -75 prime?
True
Let o(p) = p**3 + 8*p**2 - 3*p - 8. Suppose c = 3*c + 42. Let a = c - -15. Is o(a) a prime number?
False
Let k(v) = 10*v**2 + 3*v - 5. Let y be (-1)/(9/12 - 1). Is k(y) a prime number?
True
Let j(r) = 102*r - 19. Is j(4) a prime number?
True
Let k = 1 - -54. Is k a prime number?
False
Let d(m) = m**2 - 3. Let y be d(0). Is y/(-2) - (-5316)/24 composite?
False
Let s(k) = -696*k + 55. Is s(-8) a prime number?
True
Let w = 3 - 2. Is (0 - w)/(1/(-58)) composite?
True
Is (598 + -7)/(3/2) a prime number?
False
Suppose 6*d = d + 130. Is d a composite number?
True
Suppose 0 = 2*c + 9 + 59. Let n = 48 + c. Let d = n - 1. Is d prime?
True
Let t(p) = -1990*p**3 + p**2 + p - 1. Let z be t(1). Let r(w) = 5*w - 86. Let h be r(13). Is 4/14 + z/h prime?
False
Is 4/22 - 420888/(-88) a prime number?
True
Let z = -414 + 813. Suppose -z = -l - 2*l. Is l prime?
False
Suppose -w = r + w - 135, -512 = -4*r - w. Is r a composite number?
False
Suppose -3*d - 8 = -2*r, -5*d + 2*d - r + 4 = 0. Let i(k) = k**3 - k**2 - k + 46. Is i(d) a prime number?
False
Let a(z) = -39*z + 27. Let l(m) = -13*m + 9. Let j(p) = -4*a(p) + 11*l(p). Is j(7) a prime number?
False
Let p = -12 - -96. Let l = p - 46. Suppose -q + f = -l, 2*q - 58 - 12 = -4*f. Is q a composite number?
False
Suppose -3*o = 0, 2*o = 2*q + o - 8. Suppose -w - 54 = -q*v, -5*w = 2*v - 0*v - 38. Is v composite?
True
Let k = 366 + 421. Is k prime?
True
Let o(j) be the first derivative of -j**4/2 - 5*j**3/3 - j**2/2 + j - 5. Is o(-4) a prime number?
True
Let h = 10 + -7. Let u = 18 + h. Suppose v + 2*n - 4*n = 7, -3*v = -3*n - u. Is v composite?
False
Let b = 1728 + -1104. Suppose -3*v = -1275 - b. Is v prime?
False
Suppose t = -3*t. Let n(g) = g**2 + g + 69. Is n(t) a composite number?
True
Suppose -334 = -3*d + t, d - 7*t - 98 = -4*t. Is d a composite number?
False
Suppose 5 = 2*x + o + 4, 5*o = -x - 22. Suppose -x*w = -5*w + 174. Is w a prime number?
False
Let j be (-2)/3 - (-28)/(-12). Let m = j - 3. Is -2*((-171)/m)/(-1) prime?
False
Let f = -5 + 9. Suppose f*i - 264 - 416 = 0. Suppose -i = -6*h + h. Is h prime?
False
Let a = 553 - 242. Is a a composite number?
Fals