w be (14/(-7))/(1/2). Is 202/8 + 1/w composite?
True
Suppose -r + 127 = -934. Is r a composite number?
False
Let x(b) = -b - 2. Let k be x(-4). Suppose 6*j = 5*j + k. Let f(t) = 33*t**2 - 4*t + 3. Is f(j) composite?
False
Suppose -k + 5*q + 5198 = 0, 3*q - 4452 - 11052 = -3*k. Is k a prime number?
False
Is (-4)/4 + 1 + 2125 + 4 composite?
False
Suppose 2*i - 21 = -v + 4, -89 = -5*v + 2*i. Is v composite?
False
Let h(w) = -3*w + 3*w + 10*w + 1. Suppose 0*q = -q + 1. Is h(q) a composite number?
False
Let z = 9 + -23. Let r = z - -33. Is r prime?
True
Suppose 12099 = -11*g + 74458. Is g a prime number?
True
Let l = 21 - 5. Let j = l - -37. Is j prime?
True
Let w(i) = -19*i**3 - 2*i - 1. Let f be w(-1). Is (-1)/(-4) - (-5255)/f a prime number?
True
Suppose 0 = 2*l - 34 + 4. Suppose u = l + 26. Suppose -15 = -2*m - 5*k + u, 102 = 4*m + 5*k. Is m prime?
True
Let g = -86 + 123. Is g composite?
False
Suppose 3*c = 2*n - n + 4080, -2*n = -3*c + 4077. Is c a composite number?
False
Let v = 38 + 179. Is v composite?
True
Suppose 620 = -2*t + 6*t. Is t a prime number?
False
Let l(d) = d**2 + d - 2. Let o be l(2). Let h = 7 - o. Is 110/h + (-3)/(-9) prime?
True
Is ((-2)/6)/(23/(-65343)) prime?
True
Let d be 30/9*21 + 1. Let q = -4 + d. Is q a composite number?
False
Suppose 0*g + g - 22 = 4*r, 5*g - r - 15 = 0. Suppose 0 = g*t + t. Is -1*-7*(t + 1) composite?
False
Suppose 0 = -5*f + 3*f + 2*q - 2, -10 = -2*f - 2*q. Let d be -22*f*(-3)/(-3). Let s = -29 - d. Is s a composite number?
True
Let z(s) be the third derivative of 2*s**5/15 - 5*s**4/12 + s**3/3 + 3*s**2. Let q be z(7). Suppose -q - 32 = -4*p. Is p a prime number?
True
Is (1 + (-6)/8)/(6/29112) prime?
True
Let t = 81 - -314. Is t a prime number?
False
Let v(x) = 30*x**2 - 129*x + 129*x + 1. Is v(-5) composite?
False
Let a = 7 - 16. Is 4/6 - 327/a composite?
False
Let u(p) = -p + 3. Suppose 0 = -g + 3*g. Let v be u(g). Suppose 0 = v*a + k + 4*k - 14, -k = -5*a + 14. Is a prime?
True
Is (-6477)/85*(0 + 5*-1) composite?
True
Let v(k) = 691*k - 22. Is v(3) composite?
True
Suppose 5 + 13 = 6*q. Suppose 70 = -q*s + 703. Is s a prime number?
True
Is 1948/5*55/22 prime?
False
Let v(i) = i**2 - 3*i - 1. Let b be v(5). Let o = b - 4. Suppose -555 = -3*l - 2*n, o*l - 1022 = -4*n - 99. Is l a composite number?
True
Let o(v) = v**2 - 4. Suppose -y + 20 = -5*y. Is o(y) composite?
True
Is ((-36)/(-2) - 1)*7 a composite number?
True
Is (-3916)/(-12)*(-9)/(-3) prime?
False
Let q(j) = -15*j + 8. Is q(-2) a composite number?
True
Let z(l) = -100*l**2 - l. Let q be z(-1). Let t = 144 + q. Let a = t - 10. Is a a prime number?
False
Let m(q) = 0*q - 7 - q + 2*q. Let r be m(0). Is r/4*(-4)/1 prime?
True
Suppose -2*j = -r + 4 + 7, j + 2 = -3*r. Is r*3/(-6)*-298 a composite number?
False
Suppose 2*d - 4 = -n, -6*n + 4*d - 8 = -2*n. Let x be 49/(-1)*(n + -1). Is x + (-1 - (2 + -1)) composite?
False
Suppose -i = -2, q + q - 3*i - 4 = 0. Suppose -l + 16 = q*c - 2*c, 5*l - 32 = -3*c. Suppose -c*p = -8*z + 4*z + 188, 2*p - 4 = 0. Is z prime?
False
Suppose -522 = -3*q + u, 4*q - 694 = -0*u + 2*u. Suppose q = 4*m + 27. Is m a composite number?
False
Suppose 4*m + 15 = m. Let r(i) = -i**3 - 4*i**2 + 5*i + 6. Is r(m) a composite number?
True
Suppose 249 = 6*o - 465. Is o prime?
False
Suppose -110 = 3*y - 413. Let a = 178 - y. Is a prime?
False
Is (-3 - (-399)/(-6))*-2 a composite number?
False
Let a(j) = -11*j**2 - 20*j - 1. Let l(n) = -5*n**2 - 10*n. Let h(p) = 3*a(p) - 7*l(p). Is h(8) a composite number?
True
Let g(r) = -14*r**3 - 3*r**2 - 3*r. Is g(-2) composite?
True
Suppose -212 = -3*j + 79. Is j prime?
True
Let y be ((-4)/6)/(3/18). Let x(k) = 2*k**2 + 6*k + 2. Let v be x(y). Let f = 41 - v. Is f a composite number?
False
Suppose -5*y + 272 = 42. Is y a prime number?
False
Let x(l) = 3*l**3 - 12*l**2 - 5*l + 1. Is x(5) a prime number?
False
Suppose -34*b = -38*b + 5020. Is b prime?
False
Let d be (-4)/16 - 18/(-8). Is ((-1)/d)/((-3)/114) composite?
False
Suppose 3*j + 231 = 6*j. Is j a composite number?
True
Let h = 1323 - -404. Is h prime?
False
Suppose 5*s = 374 + 261. Is s a prime number?
True
Is -3*(376/(-6) - 1) a composite number?
False
Let x = -715 + 1302. Is x a composite number?
False
Let j = -15 + 33. Suppose -3*f - 5*y = 24, -3*f = 4*y + j + 9. Let b = f - -132. Is b prime?
False
Let b be 128 - 4/(-2 + 4). Let g = b + -74. Let r = 83 - g. Is r prime?
True
Let k = -7 - 4. Let o be (-1)/(-4) + k/(-4). Suppose o*w + 20 = m + 3, 3*m + 4*w = 77. Is m a prime number?
True
Let i = 356 - 197. Is i a prime number?
False
Suppose -22 = -h - 2. Suppose -5*v + 54 = -3*s, 5*s + 40 + h = 5*v. Suppose 2*f - 3*i = 4*f - v, -24 = -4*f - 4*i. Is f composite?
True
Let l(s) = -2*s**2 - 9*s + 5. Let p be l(-7). Let z = p + 97. Is z a prime number?
True
Let l be (-37)/5 + (-2)/(-5). Let f(z) = z - 1. Let x be f(l). Is ((-182)/x)/(1/4) a prime number?
False
Suppose -4*b = 5*o + 4, -5*b - 3*o + 16 = -2*o. Let y(d) = 13*d + 1. Let n(m) = 13*m + 2. Let l(t) = b*n(t) - 5*y(t). Is l(-4) composite?
True
Let q be (-1275)/6*(-4)/5. Suppose 5*f - q = 5*i, 6 = f - 3*i - 30. Is f a composite number?
True
Let c(b) = -1203*b - 8. Is c(-5) prime?
True
Suppose 3302 = 3*f + 5*x, -2*x - 765 = 2*f - 2965. Is f a prime number?
False
Suppose 5*i = c + 5212, 0*i + 3*c + 1034 = i. Is i composite?
True
Let h(k) = k**2 + 4*k - 2. Let a be h(-4). Let c(s) = -23*s**3 + 2*s**2 - 2*s - 2. Is c(a) a composite number?
True
Let r(w) = -w + 33. Is r(-20) a composite number?
False
Is 2/8 + (-146090)/(-56) a composite number?
False
Suppose 4*v - d - 231 = 0, 6*v - 291 = v - d. Is v prime?
False
Let a be (-28)/(-10) - 4/(-20). Suppose d + 323 = a*m - 95, 3*m + 2*d = 415. Is m prime?
True
Is 79*-2*3/(-6) a composite number?
False
Suppose -2*h + 245 = y - 762, y + 3*h = 1012. Is y prime?
True
Let n = -127 + 178. Is n composite?
True
Suppose 0*f = -2*f + 76. Suppose -f = -2*g - 0*g. Is g a prime number?
True
Let l(g) = -g**3 + 3*g**2 + 8*g - 6. Suppose -2*k - 1 = -11. Let u be l(k). Let i = u - -37. Is i composite?
True
Suppose -11*g + 7*g + 13084 = 0. Is g prime?
True
Let b = -86 + 33. Let a = 1 - b. Let d = a - 23. Is d a composite number?
False
Suppose 833 = 3*q + 80. Is q a composite number?
False
Suppose 0 = q - 4, -3*b = 2*b + q - 5759. Is b a composite number?
False
Let o = 3 - -2. Suppose 6*t - 3*t = a - 19, 0 = -4*a + o*t + 83. Is a a composite number?
True
Suppose 9 - 1 = 4*v. Suppose 2*i = -v*h + 218, -i - 74 = -4*h - 203. Is i a prime number?
True
Let w be 5/1*4/5. Suppose 10 = w*z - 5*p, -3*z - p = -0*z - 17. Suppose z*k = k + 36. Is k a prime number?
False
Suppose 0 = -y - 3*l - l + 39, -2*y = 5*l - 90. Is y a prime number?
False
Let i = 6 - 4. Suppose i*u = 3*u + 50. Let b = u + 71. Is b prime?
False
Is 186/(-4)*4/(-6) prime?
True
Let z be (-2)/(-3) - 1166/(-6). Suppose -20 = 5*p - z. Is p composite?
True
Suppose 0*z - 797 = -2*n + 5*z, -n = 5*z - 376. Is n a composite number?
True
Suppose -106 = -22*m + 20*m. Is m prime?
True
Let n = -108 - -28. Let w = -53 - n. Suppose -39 - w = -2*b. Is b composite?
True
Let k be ((-1)/2)/(2/28). Let t(z) = z**2 + 6*z + 6. Is t(k) a prime number?
True
Let i(p) = -p + 15. Let u be -1*(-5 + 1/1). Suppose 0 = u*w - 0*w. Is i(w) composite?
True
Let j(n) = -n + n**2 + 7 + 4*n - 2*n**2 + 2*n**2. Is j(7) composite?
True
Let v(f) = -f**3 - f - 497. Let u be v(0). Let z be (-2 + 1 - u) + -2. Suppose -1 = -y, 0 = 3*i + 4*y + y - z. Is i a composite number?
False
Let z = -401 + 226. Let n = z - -37. Let k = n - -253. Is k a prime number?
False
Suppose 0*h - 2*h - 6 = -3*x, 0 = -4*x - 4*h + 28. Suppose 0 = -v + 5*v - x. Is (-26 + v + -1)/(-2) a composite number?
False
Let k(t) = -2*t**3 + 9*t**2 + 3*t + 5. Suppose 5*j + 11 + 19 = 0. Is k(j) composite?
False
Let v = 4674 + 37. Is v prime?
False
Let a(m) be the third derivative of 49*m**4/4 - m**3/6 - 8*m**2. Is a(1) a prime number?
True
Suppose 3*b - 4*k + 22 = 0, -b - 5 = -5*k + 17. Is b/4*(-291 + 1) a prime number?
False
Let o(f) = f**3 + 6*f**2 - f - 10. Let w be o(-7). Let s = w + 107. Is s prime?
False
Let w(b) = -6*b - 2. Let p(r) = -r + 1. Let s(m) = -4*p(m) - w(m). Is s(4) composite?
True
Let z be (-2)/4*8 + 4. Suppose z = -2*u + 3*o + 713, 0*o = 2*u + o - 709. Is u a prime 