/4 prime?
False
Let n(j) = -j**3 - 22*j**2 + 22*j - 23. Let c be n(-23). Suppose x - 191 - 102 = c. Is x composite?
False
Suppose -6*k = -0*k + 12. Is (k/(-1) - -1) + 94 prime?
True
Let w(s) = 5*s**2 - 3*s + 7*s + 35 - 2*s. Is w(-8) a prime number?
False
Suppose 4*d - k - 104 = -4*k, 4*k = 0. Let g = 30 - d. Is 2*(2 - (-574)/g) a prime number?
False
Let v(j) = 576*j + 49. Is v(5) prime?
False
Suppose 0 = -2*b - 14 + 252. Let s = 302 - b. Is s prime?
False
Let d(p) = -15*p + 9491. Is d(0) composite?
False
Let l(g) = 7*g**2 - 12*g - 2*g + 11*g - 9*g. Is l(5) a prime number?
False
Let n = -190893 + 68905. Let f = n + 16808. Is f/(-132) - 2/(-11) a prime number?
True
Let h be ((-54)/12)/((-2)/4). Let r = h + -3. Let k(n) = n**3 - n**2 - 5*n + 7. Is k(r) prime?
True
Let v(u) be the third derivative of u**5/12 - 5*u**4/24 + 7*u**3/6 - 3*u**2. Let y be v(-5). Suppose 0 = -s - 0*s + y. Is s a prime number?
True
Let y(r) = 18*r**2 + 27*r + 16 - 28*r - 7. Let b be y(4). Suppose 533 = 2*n - b. Is n prime?
False
Let u = -8 - -10. Suppose -26 = -x + 5*q, u*x + 0*x - q = 16. Is (2/x)/((-1)/(-573)) prime?
True
Suppose 0 = -3*i + 6*i - 6, 0 = 5*y - 2*i - 461. Suppose 0 = 3*l - 6*l + y. Suppose l = h - 8. Is h prime?
False
Let i(b) = -100*b + 3. Let n = -43 + 33. Is i(n) prime?
False
Suppose -44*r + 43*r + 158 = 0. Is (-1 + 1 + r)/2 prime?
True
Let h = -491 - -12. Is h/3*((-4)/4 + -2) prime?
True
Let x(m) = -2*m**2 - 4 + 1 + 0*m**3 - 5*m**2 - m**3 + 23*m. Is x(-10) a composite number?
False
Let k = 106 - 98. Is k/(-32) + (-20079)/(-12) prime?
False
Suppose -12 - 20 = -4*w - 3*z, -3*w + 3*z = -3. Suppose -2*g - g = -2*k - 95, -3*g + w*k = -80. Is g composite?
True
Let d(q) = 33*q - 4. Let y = 13 - 12. Let o be (18/(-24))/(y/(-4)). Is d(o) a composite number?
True
Let b(z) = -58*z - 1. Let i(w) = 173*w + 3. Let h(a) = 11*b(a) + 4*i(a). Let c be h(6). Let l = c + -186. Is l prime?
True
Suppose -12*z - 25362 = -18*z. Is z composite?
True
Suppose -2*o = 5*k - 0*k + 989, -o - 4*k = 487. Let b = 764 + o. Is b composite?
False
Suppose 0 = -2*o - 6, 4*o - 16414 - 1420 = -m. Is m composite?
True
Let f(q) = -q**2 + 20*q + 14. Let a be f(20). Suppose 0 = a*j - 2*j - 3804. Is j composite?
False
Let n = -5220 - -8079. Is n composite?
True
Let p(o) = 18*o**2 + 12*o - 17. Is p(12) a composite number?
False
Suppose -5*n + 110 = 40. Suppose n*c - 6870 = -1172. Is c a composite number?
True
Is (-1)/(3/(-12))*(-87275)/(-100) a prime number?
True
Let n = -402 + 404. Let a be 2/(8/3 + -2). Suppose 3*g + n*g - a*x - 280 = 0, -4*g + x = -217. Is g a prime number?
True
Let u(v) = 41*v**2 - 71*v - 391. Is u(-6) composite?
False
Let q(a) = 2*a - 8. Let n be q(6). Suppose 5*c + 9 = -l - 10, n*l - 4*c - 20 = 0. Is (l*(-159 - 4))/(-1) prime?
True
Suppose -2 = -2*t + 30. Suppose 0*a - 20 = 2*a + 3*g, g - t = 5*a. Is a - (2 + 764/(-4)) prime?
False
Let m(y) = -2007*y - 22. Is m(-9) prime?
True
Let w be 4 - (2 - (1 + 0)). Suppose 6*t - 9*t + 3359 = y, 4*y + w*t - 13436 = 0. Is y a composite number?
False
Is (-565)/2*(8 + -11 + 1) prime?
False
Let z be (-3 + 3)*-1 + (-1 - -674). Suppose z = -23*f + 24*f. Is f a prime number?
True
Let d = 13787 + -5286. Is d composite?
False
Suppose 0 = -4*m + 1886 + 602. Is m a prime number?
False
Let s(q) = q**2 + 12*q - 8. Let k(b) = -b**2 - 25*b + 16. Let n(x) = 3*k(x) + 5*s(x). Let f be n(7). Is f/((-3)/(4 - 1015)) a composite number?
False
Let r = 12171 - 6838. Is r prime?
True
Let c be (-1 + 2901/(-2))*162/(-27). Is (c/(-6)*2)/(-1) prime?
True
Let u = 38 + -6. Let v(n) = 2*n**3 + 36*n**2 - 29*n - 21. Let j be v(-18). Let a = j - u. Is a a composite number?
True
Suppose n + 0*m - 5 = -2*m, -5*n - 5*m + 25 = 0. Suppose -2*h - y - 379 = 0, 5*h = -n*y + 4*y - 949. Let z = 356 + h. Is z composite?
True
Suppose -5*r = x - 3*x - 40, -5*r - 3*x = -65. Let p be (-4)/r + (-20420)/(-50). Let u = -281 + p. Is u composite?
False
Suppose 6*k - k = 315. Let d be k/((-201)/(-192) - 1). Suppose 6*c - 1330 = 2*c - 5*n, 4*c - d = 2*n. Is c composite?
True
Suppose 1327 = -2*y - 509. Let q(l) = l**2 + 9*l - 8. Let h be q(-9). Is (-1 + y)/(-9 - h) a prime number?
True
Suppose -4*b = -7*a + 2*a - 4, 3*a = 3*b - 3. Is a - (-6)/(-2) - -24 composite?
True
Let l = -534 + 273. Let z = l + 384. Is z composite?
True
Let l = 5 + -1. Suppose l + 7 = z. Let t = 18 - z. Is t a composite number?
False
Suppose 4*k - 4*h = 2*k + 228, 0 = 4*k - 3*h - 436. Let q = k - -33. Is q a prime number?
True
Let r(i) = i**2 - 10*i + 3163. Is r(0) a composite number?
False
Suppose 5*m - 19230 = -o, 2*m - 3*o - 4877 = 2832. Is m composite?
False
Let u(k) = 399*k**2 - 4*k - 28. Is u(-5) a composite number?
False
Suppose -2*c = -9 - 1. Suppose 23 = -c*u + 93. Suppose -u*j = -16*j + 38. Is j a composite number?
False
Let i(y) = -5*y**2 - 24*y + 25. Let g(s) = 9*s**2 + 47*s - 51. Let w(x) = 6*g(x) + 11*i(x). Let c be w(15). Suppose 0 = -c*o + 17*o - 717. Is o composite?
False
Let k(n) = 10*n**2 + 5*n + 5. Let j be k(6). Suppose 7*l - 2*l = j. Is l composite?
False
Let b(y) = y**3 + 13*y**2 + 3*y - 12. Let a be b(-11). Suppose -5*w + a = 3*z, -2*z = -4*w - 5*z + 160. Is w prime?
True
Let p be (-23)/46*(-2 + -6). Let x = 24 + -10. Suppose 3*u + 19 = m, -5*m + 76 = -p*u + x. Is m a composite number?
True
Let a = 109743 + -67120. Is a composite?
True
Let u = -1 + -18. Let b = u - 31. Is (370/b)/((-1)/5) composite?
False
Let q(p) = -15*p**3 + 2*p**2 - p. Let o be q(1). Let b(v) = -v - 12. Let s be b(o). Let y(d) = 33*d**2 - 1. Is y(s) a composite number?
False
Let v(j) = -15787*j**3 - 2*j**2 - 5*j - 3. Is v(-1) composite?
False
Let f(t) = -t**3 + 8*t**2 + 9*t + 2. Let n be f(9). Let a(m) = -2 + 3 - 74*m + n. Is a(-6) prime?
False
Let z be 2 - ((-12)/(-4) + -3). Let o(d) = -z*d - 5 + 5*d - 13*d. Is o(-16) a prime number?
False
Suppose 33 = 5*s + 4*g + 83, 0 = g + 5. Let o(n) = -2*n**3 + 27*n - 7. Is o(s) prime?
True
Let f(r) = -r**2 + 8*r - 16. Let s be f(5). Is 2676/4 - (1 - s)/1 a prime number?
False
Let z(p) = -p**3 + 10*p**2 - 10*p + 13. Let d be z(9). Suppose -3*c - 141 + 768 = 3*h, d*h - 846 = c. Is h prime?
True
Let i = -536 - -11635. Is i prime?
False
Suppose -4*q + 22 = 2*c, 0*c = 5*c + 15. Suppose -3*a = -q - 8. Suppose -275 = -a*d + 4*k, 0 = 4*d + d + k - 275. Is d composite?
True
Let x = -25 - -87. Suppose -v + 2*k = 7*k + x, 5*v + 2*k + 195 = 0. Let s = -15 - v. Is s composite?
True
Let i be 8/(-1 - (2 + -5)). Suppose 4*d = 5*n - 4938, -i*n + 2753 = 4*d - 1219. Let l = n - 703. Is l composite?
True
Suppose 2*j - 4*t - 39890 = 0, -4*t - 29553 = 5*j - 129222. Is j composite?
False
Suppose 5*h - i - 95873 = 0, 4*i - 7*i + 76687 = 4*h. Is h composite?
True
Is (-2)/(2 - (-81696)/(-40844)) a composite number?
False
Suppose 5*r - 3*h = 0, -6*r - 2*h + 16 = -4*r. Let c(a) = 3 + 18*a**3 + 15*a - 17*a**r - 13*a**2 + 12. Is c(12) prime?
False
Suppose 13*t - 16*t + 6 = 0. Suppose 4*b + 4*i = 1064, 4*i = -2*b + i + 535. Is 1/t*4 + b a prime number?
False
Let p(m) = 0 - 5 - 11*m + 2. Suppose 3*b - 7*w + 2*w = 19, 2*b = 2*w + 6. Is p(b) composite?
False
Let f be (9/3)/(2 - 1). Suppose -f*b = -0*b + x + 24, -5*b - 4*x - 47 = 0. Let p(l) = -35*l + 14. Is p(b) composite?
True
Suppose 14*i - 144477 = 84325. Is i composite?
True
Let s(g) be the second derivative of g**4/3 - 4*g**3/3 + 5*g**2/2 - 15*g. Suppose 2 = 3*o + 17. Is s(o) composite?
True
Suppose -3*l + 89118 = o, -2*o - 2*l + 3*l + 178236 = 0. Is o/45 - 6/(-10) a prime number?
False
Is 1668834/63 - 4/(56/6) composite?
False
Let q(d) = 9*d + 5*d**2 + 9 - d**2 - 2*d**2 - d**2. Is q(14) composite?
False
Let k = -3035 + 5994. Is k composite?
True
Suppose -2013 = -4*q + 1755. Is q/3*1*3/3 composite?
True
Let l = 13897 - 9455. Is l a composite number?
True
Let h = 620 + -340. Let w be 104/39 - ((-4)/12 + 1). Suppose w*n - h - 354 = 0. Is n a composite number?
False
Let z(v) = -4 + 6 - 21 + 1746*v. Is z(2) a prime number?
False
Let o(m) = 883*m - 18. Is o(7) a prime number?
True
Suppose 2*r = -f, -f + 3*f = 5*r. Suppose r = -4*v + 6*v - 236. Is v prime?
False
Suppose -1 = 4*t - 5. Suppose 4*w - 2*j + 966 = 88, j = t. Let u = 1096 + w. Is u a prime number?
True
Suppose 8*i = 2*i - 144. Let p = -12 - i. Suppose h + u = -4*h + 1258, -p = -4*u. Is h a composite number