 w prime?
True
Suppose s - 1262 = -2*k, k - 2*s - 1010 = -379. Suppose 0 = 4*m - 3*m - k. Is m a prime number?
True
Suppose -2*l - 3*l = 5*s - 550585, -3*s = 6. Is l a prime number?
True
Suppose k + 2*k - 1893 = 4*i, 0 = 4*i + 5*k + 1933. Is -1 - (1 + -4) - i prime?
True
Let m(i) = i**3 + 16*i**2 - 3*i - 23. Let q be m(-16). Suppose -g - 25 = 4*g, 0 = -n + 4*g + q. Suppose -n*v + v = -1268. Is v a prime number?
True
Let s be (-3)/((-258)/(-60) + -4). Suppose 0 = w + 2*w - 36. Let y = s + w. Is y a prime number?
True
Suppose 2*w = 4*w + 30. Let u = 36 + w. Is 11229/u - 2/(-7) prime?
False
Suppose -3*q + 2*g - 8 = 4*g, 3*g = 2*q - 12. Suppose 5*s - 530 - 535 = q. Is s prime?
False
Suppose 8770 = -x + 34431. Is x a composite number?
True
Suppose -29856 = -3*a + 8103. Is a a composite number?
False
Let l = 37859 - -86114. Is l a prime number?
True
Let o = 148 - 43. Suppose -14 = -3*n - 227. Let j = o + n. Is j composite?
True
Suppose -s - 18 = -0*s. Let l = s + 27. Suppose -13 - l = -w. Is w composite?
True
Let n = 34 + -75. Let p = n - -52. Is p prime?
True
Suppose -5146 = -f + 3*i, 6*i + 15473 = 3*f + 4*i. Is f prime?
False
Suppose 7*p - 57240 - 51463 = 0. Is p a prime number?
False
Let z(h) be the first derivative of 7*h**3/3 + h**2/2 - h + 3. Let m be z(1). Suppose 0 = 4*d - m - 5. Is d prime?
True
Let p be ((-21)/(-28))/(9/24). Suppose -o = -3*m - 260, 511 = 2*o - 5*m + p*m. Is o a prime number?
True
Suppose -4*r + 3*b = -167, -r - b + 3*b + 38 = 0. Is 300/r - 7 - 1874/(-22) prime?
False
Is (97098/2)/(-30 + 33) a composite number?
False
Let f = -2716 - -4533. Is f a prime number?
False
Suppose -t + 6*t = 25. Suppose -5*n + 6750 = 5*a, -n - 6735 = -t*a - 3*n. Suppose -540 + a = 5*i. Is i prime?
False
Let n = -74 - -77. Suppose -r + 13 = 5*c, 4*c - 2*r + 0 = 2. Suppose -c*u = 2*d + 2*u - 298, 5*u = -n*d + 447. Is d composite?
False
Suppose -6 + 10 = r. Suppose -k - 22 = r*l - 59, -k + 47 = 2*l. Is k a prime number?
False
Suppose q = 6*q - 3*q. Suppose p - r = -q*r + 145, 0 = -r. Is p a prime number?
False
Let q = 203 - 449. Let k(h) = h**3 + 4*h**2 - 7*h - 4. Let b be k(-5). Is q*(-7 - -4)/b a composite number?
True
Suppose -6*w - 2 + 14 = 0. Suppose 0 = j + 6*m - 2*m - 861, 0 = -5*j + w*m + 4393. Is j a prime number?
True
Let n = -14 - -18. Suppose 5*k - 2*c + 7*c = 25, 5*k + n*c = 25. Suppose 2*s - 55 = -k. Is s a composite number?
True
Let h = 1249 + 20. Suppose 0*t - 4*b - 627 = -t, 2*t - 5*b - h = 0. Is t composite?
False
Suppose -3*h - 597 = 3*j, h + 146 - 1111 = 5*j. Is -2*(0 + (j/4)/1) composite?
False
Let s be 64/(-12)*18/(-4). Let m be (1*3)/((-18)/s). Is (-51)/m + (-2)/(-8) prime?
True
Let b = -29141 - -48814. Is b prime?
False
Let p(g) = -4*g**3 - 7*g**2 - 13*g + 11. Let q(h) = h**2 - 3*h - 24. Let o be q(6). Is p(o) a composite number?
False
Suppose 1712 = 4*b - 2*z, -2*b + 3*z = 4*z - 848. Suppose -3*t + 403 = 3*r - 272, 4*t = 2*r - b. Is r prime?
False
Let z = -76 + 68. Let r(b) = -38*b - 3. Is r(z) a prime number?
False
Let x(u) = -3612*u - 101. Is x(-4) a composite number?
False
Let h(j) = -2*j**2 + 48*j + 3. Let k be h(24). Suppose 5*d = -5, 6*i = k*i - 4*d + 1559. Is i prime?
True
Suppose -c - 8 = -3, 5*o = 4*c + 23625. Is o a prime number?
True
Let b be (2/(-4))/((-4)/64). Is -3 + 164 + b/(16/4) prime?
True
Suppose 2*a - 3*a + 172530 = 4*v, -4*a - 215673 = -5*v. Is v composite?
False
Let y(t) = 42*t - 18 + 40*t - 18 + 39. Is y(4) prime?
True
Let b(n) = n**2 - 4*n - 3. Let u be b(5). Suppose c + t = 1768, -u*t + 5301 = -c + 4*c. Is c composite?
True
Let n(j) = j**3 + 6*j**2 + 5*j + 2. Suppose 6*p = p - 25. Let d be n(p). Suppose -329 = -d*t - 4*r + r, -2*t + 5*r + 289 = 0. Is t prime?
True
Suppose 0 = a - 3, -4*d + 7*a - 4*a = 5229. Let u = -154 - d. Is u a composite number?
False
Let t = 964 + -1416. Let v = t - -1507. Is v a composite number?
True
Let k = 100208 + -50361. Is k a composite number?
True
Suppose 0 = 4*r - 16, 0 = -4*a - 45*r + 50*r + 273744. Is a a prime number?
False
Let x(g) = 5*g**2 - 39*g - 25. Is x(-19) a composite number?
False
Let t = 3671 + -2554. Is t a prime number?
True
Suppose 0 = -5*z - 10, 5*u + 0*z - z = 2. Let x(j) = 1 - 1 + u + 2 - 9*j. Is x(-4) a composite number?
True
Let g(z) = 16*z**2 + 7*z + 3. Let r be g(6). Suppose 5*a = 559 + r. Suppose -3*n - 59 = -a. Is n prime?
True
Suppose v = 3*s - 149, -3 = -4*v + 1. Suppose -2*r - 11 = 5*z + 4, -5*z + 5*r - s = 0. Let o = 12 + z. Is o composite?
False
Suppose -6*s - 34 = -5*s. Is s*3/(12/(-214)) a prime number?
False
Let z(l) = 145*l + 17. Suppose 106 - 22 = 14*f. Is z(f) a composite number?
False
Suppose s + s - 4 = 0. Suppose -2*u = s*u - 2212. Is u a prime number?
False
Let n(v) = -55*v + 11. Let w = -7 + 1. Is n(w) a prime number?
False
Suppose 734975 = 12*f + 13*f. Is f a prime number?
True
Suppose 4*z + 2*x - 39846 = 0, 5*z + 5*x - 9684 = 40126. Is z prime?
False
Suppose i - 186 = -4*x, 9*x - 94 = 7*x - i. Suppose m + x = 353. Is m composite?
False
Let r(k) = 905*k - 2. Suppose -3*q + v - 1 = 1, 0 = 5*v - 25. Let p be r(q). Is p/(-6)*-2*1 a prime number?
False
Let l = 61989 - 16396. Is l a prime number?
False
Let l be 4/16 - (-1281)/(-4). Let f = l - -613. Is f composite?
False
Suppose 0 = 21*i - 1137237 - 17196. Is i composite?
False
Let i(h) be the third derivative of h**6/120 + h**5/5 - h**4/4 - 7*h**3/6 - 34*h**2. Is i(-10) prime?
False
Let d(i) = 2551*i + 6. Is d(5) a composite number?
True
Let f(y) = y**3 - 9*y**2 + 4*y + 3. Let t be f(9). Suppose -d + t = -35. Suppose -4*s + d = -3*s. Is s a prime number?
False
Let t(y) = -814*y + 27. Is t(-2) a composite number?
True
Is (4*(-5322)/(-24))/1 a composite number?
False
Is 0/(-3) - -211420 - (-8 - -7) a prime number?
False
Suppose -3*r + 4915 = -28022. Is r a composite number?
False
Let f(t) = 11*t**2 - t - 17. Is f(-5) composite?
False
Suppose -10*v + 200 + 1150 = 0. Let n = v - -179. Is n composite?
True
Let h = 4999 + -2892. Suppose -3*y - 902 - 2609 = -5*z, -3*z + h = -2*y. Is z composite?
False
Let y be (2051 - 10)*(2 - 3). Let v = y + -8015. Is 2/(-5) + v/(-40) prime?
True
Let l = 347 + -491. Is (-37040)/l + (-4)/18 composite?
False
Let l be 2/(-4)*(-6 - 0/(-4)). Suppose l*j = c - 41, -4*j + 5*j - 57 = -c. Is c a prime number?
True
Let b(f) = -f**3 - 7*f**2 - 7*f - 3. Let a be b(-6). Let x(r) be the third derivative of 5*r**4/12 + 2*r**3/3 - 2*r**2 + 37*r. Is x(a) a prime number?
False
Let s be (-10 - -8)/(1 - 2). Suppose -4*j + 2011 = 5*l, -3*j + s*j + 2*l = -493. Is j prime?
True
Let m(b) = -100*b - 17. Let c(n) = 50*n + 8. Let y(t) = 5*c(t) + 2*m(t). Is y(2) prime?
False
Suppose -4*v + h = -5947, -2*v - 4*h = v - 4446. Is v prime?
False
Let m = -5 + 8. Let v be m/5 - (-12)/5. Suppose 2*h - 340 = -2*h - 4*l, -2*h - v*l = -170. Is h a composite number?
True
Let y = 75 + -71. Suppose -y*b - 2*t = -668, -4*b - 3*t = -0*b - 664. Is b prime?
False
Suppose -3641 = 4*r - 3*i, -1853 = 2*r - i + 6*i. Let a be r/(9/((-27)/(-6))). Is -1 - (0 + 2) - a composite?
True
Suppose 5*j = -j - 24. Is 324 - (0/j - -1) prime?
False
Let w be (18/(-3))/(-2)*16/24. Suppose 7*m - 5*m + w*o = 114, -5*m = 2*o - 285. Is m composite?
True
Let b = 1131 - -2552. Is b prime?
False
Let x = 501 - -161. Is x prime?
False
Is 358704/24 - (-2 + -3) a composite number?
False
Let x(o) = 19*o**2 + 4*o - 4. Let l = -34 - -19. Let u = l - -18. Is x(u) a prime number?
True
Is (-16)/168 - (-5609)/21 a composite number?
True
Suppose -41*r = -4*d - 43*r + 24324, 0 = -4*d - 4*r + 24332. Is d a composite number?
False
Let v = 697 - 618. Is v prime?
True
Suppose 28*b - 452415 = 13*b. Is b prime?
True
Suppose -13*v = -56*v + 302677. Is v composite?
False
Let q(u) = -11*u**3 - 4*u**2 - 7*u + 7. Suppose -4*j = -3 + 27. Is q(j) a composite number?
False
Suppose -r + 0*r = 3*x + 35, -13 = x - r. Let b be (-6)/9 + (-524)/x. Suppose -n = -5*p + n + 261, 0 = -p + 5*n + b. Is p a composite number?
False
Suppose 0*m - 3*m + 15 = 0. Suppose m*u - 429 = -84. Let f = u - -20. Is f a prime number?
True
Is -1 + (-27)/9 + 11131 composite?
True
Let p(y) = 17*y**2 - 2*y + 6. Let j be p(-8). Suppose 11*a + j = 16*a. Suppose -3*g = -5*h - 14 - a, 5*g = -2*h + 383. Is g a composite number?
True
Suppose 3*r = -0*r - q + 5, r = -5*q - 17. Suppose