59 + 5 = -2*v. Let z = -22 + v. Suppose -z*a + 4*a = -89. Is a a prime number?
True
Suppose -3*j + 2*g + 35 = 7*g, -2*g + 8 = 0. Suppose -6 = 3*x, 0 = 4*d - 2*d + j*x - 120. Is d prime?
False
Suppose -3*v + 8*x - 5*x = -130338, 2*x = -4*v + 173814. Is v a prime number?
True
Let l(f) = -f**3 - 12*f**2 + 2*f + 29. Let c be l(-12). Is (-13832)/(-260) + ((-1)/c - 0) a composite number?
False
Suppose 2*s = 3*s + 38. Let k be (2337/s)/((-2)/36). Suppose -1 = -y, -5*o + y - 3*y = -k. Is o composite?
True
Is 4242 - (-9)/(45/(-5)) prime?
True
Let v = -1303 + 2684. Is v a prime number?
True
Suppose 5*a + 5*m = 285, 3*a + 4*m = 36 + 130. Let g = a - 6. Suppose -156 - g = -2*s. Is s composite?
True
Suppose 0 = 2*p, 3*v - 2*p + p = -45. Let a(m) = 6*m**2 + 24*m - 13. Is a(v) prime?
True
Let g(t) be the first derivative of 1149*t**4/4 - t**3/3 - t - 39. Is g(1) prime?
False
Let l(i) be the second derivative of i**4/12 + 2*i**3 + 3*i**2 - 7*i. Let o(x) = 11*x + 5. Let p(w) = 3*l(w) - 4*o(w). Is p(7) a composite number?
False
Let g be ((24/(-2))/4)/(12/8). Let w(z) = -7*z + 1. Let r be w(2). Let k = g - r. Is k prime?
True
Let l(c) = c**3 - 5*c**2 + 5*c - 1. Let w be l(4). Let z be 2/(-3) + (-8404)/w. Is z/4*(-8)/12 prime?
True
Suppose 3*b = -3*y + 2*y - 5, 5*b - 5*y - 25 = 0. Suppose 0 = -10*h + 5*h - 4*x + 29, 3*x - 3 = b. Is (-1)/2*(-509 - h) composite?
False
Let t(x) = 134*x**2 - 1. Let d be t(-1). Suppose -2*w - d = -1203. Is w a prime number?
False
Let v(h) = 5*h**2 - 42*h + 18. Is v(-35) prime?
False
Is 11/(847/42) + 1441900/44 a composite number?
False
Suppose -135 = -2*z + 7*z. Let m = z + 97. Is (0 - -2 - 5) + m prime?
True
Let t be (8/(-24))/((-1)/36). Suppose 4*g = 16, -5*g + 16 = 4*q - t. Suppose -3*l - 6*j + 1193 = -q*j, 3*j = 3*l - 1158. Is l a composite number?
True
Let j = -2584 - -5703. Is j prime?
True
Let r(v) be the second derivative of -v**5/60 - v**4/2 + 11*v**3/6 - 2*v**2 - v. Let l(o) be the first derivative of r(o). Is l(-10) a prime number?
True
Is ((-4831)/(-8))/(14/112) prime?
True
Let f = 48894 + -24697. Is f a prime number?
True
Let m(v) = 6*v**3 + v - 4*v**2 - 7*v**3 + 2*v**2 - 1. Let a be m(-3). Suppose -238 = -a*q + 3*l, -5*l + 3 = -q + 55. Is q a prime number?
True
Let x(c) = c**3 + 2*c**2 + 4*c + 17. Is x(12) composite?
False
Let n = -41758 + 157997. Is n a prime number?
True
Let b = 10907 + -5926. Is b a composite number?
True
Let h(u) = -5*u + 2719. Is h(0) a prime number?
True
Let w = -39 - 30. Let p be -4*3*w/(-18). Let c = -32 - p. Is c prime?
False
Let j(b) be the second derivative of 1/2*b**2 + 1/6*b**3 - 8*b + 0 - 59/10*b**5 + 1/12*b**4. Is j(-2) a composite number?
False
Suppose 0 = -4*j - 8 + 4, 2*j = -3*u + 6244. Suppose u = 3*h + 27. Is h a composite number?
True
Let q(k) be the second derivative of -k**5/20 - k**4/12 - k**3/2 + 979*k**2/2 - 23*k. Is q(0) a composite number?
True
Let q(t) = -130*t - 1. Let m be q(1). Suppose 4*h + 4*z = 1020, -2*h + 233 = z - 276. Let k = h + m. Is k a prime number?
False
Let a be (-4 - -1) + 6 + -2. Is (-958 - 13)/(a - 2) composite?
False
Let y = 6417 - -22484. Is y prime?
True
Suppose 2*q - 9336 = -4*n + 6*q, 0 = -n + 3*q + 2334. Is ((-4)/(-6))/(4/n) prime?
True
Suppose -3*a + 3*j = -0*j, 5*j = 4*a + 4. Suppose -3*z - 4*k - 14 = -5*z, a*z - 16 = 2*k. Suppose 925 = z*v + 2*v. Is v composite?
True
Suppose -74 = -a - 70. Is a/(60/5) + (-3080)/(-3) a prime number?
False
Is (20289 + -2)*(-23 + 24) a composite number?
False
Let c(a) = 13*a**3 + a - 1. Let j be c(1). Suppose -h - 2*h - 3*x + 9 = 0, j = -4*h + x. Let t(p) = -41*p + 1. Is t(h) a composite number?
False
Let n = -6144 + 17293. Is n composite?
False
Let b be ((-20284)/(-55))/((-4)/(-30)). Suppose 2*v - b = -5*u, -4*u - 8 = -2*u. Let o = -866 + v. Is o a prime number?
False
Let u = 4610 - 3243. Is u a prime number?
True
Let s(z) be the second derivative of -z**3/6 - 15*z**2/2 - 6*z. Let t be s(0). Is 5/(t/6) + 179 a composite number?
True
Suppose 4*h = 5*r - 5, -4*r + 4 = -h - h. Suppose 0 = -q + 28 + 7. Suppose 4*z - 8 = h, -2*a + 3*a + 2*z = q. Is a prime?
True
Let p be 16769/4 + (-5)/20. Suppose 3*u - 3127 = -0*u + 2*v, 3*v - p = -4*u. Suppose 2*y = y - f + u, -y = -4*f - 1035. Is y prime?
False
Suppose 5 = 5*h - 15. Suppose h*w - 2824 - 364 = 0. Is w composite?
False
Let q be (-43)/(-2) - (-1)/2. Suppose 0 = -0*g - 3*g - 33. Let u = g + q. Is u a composite number?
False
Suppose -4*w = w - 60. Suppose 5*j - y = w, 3*y = -j - 0*j - 4. Suppose -2699 = -5*u + 2*x, -3*u = -j*u - 2*x - 535. Is u prime?
True
Suppose -d + 4 = 0, 2*d + 2 + 2 = -2*f. Is 3/(-9) - 1148/f prime?
True
Suppose y = -t + 2321, 2*y + 2*t - 4636 = -3*t. Suppose a = -5*r + 6042, 2*r - 2*a - y = 101. Suppose 5*c = 316 + r. Is c prime?
False
Let z be 6 + -3 + (4 - 2). Suppose 0*r + 20 = z*r. Suppose r*t - 412 = -48. Is t prime?
False
Suppose -2 = -3*r + 10. Suppose -5*b = g - 32, -2*g + 0*g - 26 = -5*b. Suppose 86 = b*c - r*c. Is c a prime number?
True
Let t(q) = -q**2 - 4*q - 1. Let b be t(-6). Let c = -10 - b. Suppose 266 = c*v - 217. Is v composite?
True
Suppose 18*l = 20*l - 236. Suppose 1303 - l = 3*t. Is t prime?
False
Let k be 8/56 + (-26)/(-14). Suppose -4*t + 238 = k*g, 2*g = -0*g + 5*t + 247. Is g composite?
True
Let x(w) = w**2 - 15*w. Let c be x(15). Suppose 2*m + b = 264, -5*b - 252 = -c*m - 2*m. Is m a composite number?
False
Let w be (-3)/(-15) + ((-716)/(-5))/4. Suppose -2*r + w = -66. Is r a prime number?
False
Let d(f) = 900*f**3 + 5*f**2 + 5*f - 31. Is d(3) prime?
True
Let n(k) = -8*k**3 - 5*k**2 - k - 11. Let m = -46 - -39. Is n(m) prime?
False
Let j(q) = 9*q**2 + 29*q - 7. Is j(12) a composite number?
False
Let l(j) = -j**3 + 33*j**2 - 26*j + 19. Is l(20) composite?
True
Let x be (-23292)/(-30) - (-2)/(-5)*1. Suppose -7*t + x = -3*t. Is t a prime number?
False
Suppose 76*l = 83*l - 117467. Is l a prime number?
False
Let d(x) be the first derivative of x**2/2 - x - 10. Let o be d(7). Is (22/(-3))/(o/(-9)) prime?
True
Suppose 3*z = -f + 1838, 3*z - f - 125 - 1715 = 0. Suppose -4*t + 5*k - 120 = -2611, -2*k + z = t. Is t a composite number?
False
Let b(x) = 1231*x**2 + 17*x - 27. Is b(2) a prime number?
True
Let o = 4 - 1. Suppose -o*k + 5859 = 3*n, -n + k + 2154 = 209. Is n a prime number?
True
Let g(j) = j**2 - j. Let m be g(-2). Is (15/m)/((-3)/(-138)) prime?
False
Let z = -5858 - -10897. Is z composite?
False
Suppose -1 = 4*y + 23. Let r(z) = z + 11. Let x be r(y). Suppose -x*t + 441 = -364. Is t a prime number?
False
Suppose -3*f + 7*f = 0, -3*f = -3*k. Suppose -m = -0*m - 5*g + 6, 5*m - 3*g + 8 = k. Is (4/8 + m)*-236 a composite number?
True
Let y = 12266 + 13661. Is y prime?
False
Let q(a) = -7*a**3 - 7*a**2 + 2*a - 2. Let x(o) = o**3 - o**2 - o. Let h(v) = -q(v) + 3*x(v). Is h(1) composite?
False
Let x(d) = -200*d**3 - d. Suppose -h - a - 1 = 0, -14 = -h + 6*a - 2*a. Suppose 0 = 2*k + n + 3, h*n - 2 = 4*n. Is x(k) prime?
False
Suppose 0 = -23*x + 12*x + 366773. Is x prime?
True
Suppose -2206 - 543 = -p. Is p composite?
False
Let t be 2/(-2)*-2 + 0. Suppose 4*v = -2*n - 50, -15 = t*v - v + n. Is (-1371)/(-15) + v/25 a prime number?
False
Let q = -26 - -32. Let d = q + -6. Suppose 4*g - 85 = -0*v - v, d = -v - g + 85. Is v prime?
False
Suppose 4*u - 2*i - 246 = 0, 0 = 3*u - 7*i + 4*i - 180. Is (-2)/9 + 4991/u a prime number?
True
Let d(n) be the second derivative of n**5/20 - 5*n**4/12 - 11*n**3/6 - 11*n**2/2 - 7*n. Is d(10) prime?
True
Let c(o) = o**2 - 14*o + 16. Let p(w) = 3*w - 6. Let h be p(-3). Is c(h) prime?
False
Suppose -2*x - 5*y = -12959, 15*x - 32350 = 10*x - 3*y. Is x a composite number?
True
Let c(a) = -550*a + 251. Is c(-32) a composite number?
False
Let v = 22417 - 12950. Is v prime?
True
Let j be 4/(((-24)/(-27))/(-4)). Let b = j + 10. Is (-100)/(-12) + b/(-12) a composite number?
True
Let l = 42 - 39. Suppose 4*h + l*h = 238. Is h a composite number?
True
Let x = -8450 + 19281. Is x a composite number?
False
Suppose -12*f = f - 8970. Let u = 1661 - f. Is u prime?
True
Let p = 15 - 30. Let f be 5*p - 2 - 1. Let u = -47 - f. Is u a composite number?
False
Suppose -2 = 3*u - 11. Suppose o - 246 - 823 = -u*z, 0 = -2*z + 3*o + 731. Is z a prime number?
False
Let w(g) be the second derivative of 163/2*g**2 - 1/6*g**3