Suppose 4*u - 11 = -3. Let m = u + -2. Suppose -5*k = -m*k - 15. Is k prime?
True
Let r be (-2)/(-11) + (-5196)/22. Let l = -59 - r. Is l a composite number?
True
Let a be ((-8)/(-10))/(3/45). Suppose -3*g = -g - 2, 3*g = 5*j - a. Is j composite?
False
Is 7/(-1 + 180/177) composite?
True
Is (1564/12)/((-2)/(-6)) a composite number?
True
Let h = 34 + -22. Suppose f - 2*f = -h. Let l = f + 9. Is l composite?
True
Is (3 + (-26)/8)*-148 a prime number?
True
Suppose -2*h + 5*p + 0 + 13 = 0, 5*h + 3*p - 17 = 0. Let u be 26/h + (-2)/(-4). Suppose -28 - u = -w. Is w a composite number?
True
Let o(s) = 4*s**2 + 20*s + 1. Is o(9) a composite number?
True
Let g(o) = -509*o - 1. Let r be g(-1). Suppose 0*p = p - r. Is (-5)/(-25) + p/10 composite?
True
Suppose 5*a = 2*a - 3. Let i be (a - (1 + 0))*-1. Suppose r - 112 = -r - i*c, 5*c - 174 = -3*r. Is r prime?
True
Let s be ((-2)/(-1))/((-10)/(-1885)). Is (s/2 - 2)*2 a prime number?
True
Suppose 5*s = -2*j - 9, 4*s + 6 = -2*j - 0*s. Suppose -4*m - j*p = -m + 3, 0 = -2*m + 5*p + 5. Suppose -h + 24 = h + 2*k, 2*k - 2 = m. Is h a prime number?
True
Suppose 5*v - 708 = -4*z + 139, 4*v - 1061 = -5*z. Is z a prime number?
False
Suppose 24*p - 2948 = 20*p. Is p a prime number?
False
Let b(d) = -d. Let o be b(1). Let y(v) = -18*v. Let f be y(o). Is (2 - 0) + -1 + f prime?
True
Suppose 2*p - 7*p + 535 = 0. Suppose -4*f + 101 = -c - 267, -f + p = -4*c. Is f a prime number?
False
Let y = -823 + 1322. Is y composite?
False
Let v(z) = z**3 + z**2 - 5*z + 2. Is v(5) composite?
False
Let i = 0 - -2. Suppose -2*f + 8 = 0, f = 2*m - 35 - 169. Suppose -i*a + m = -3*n, -6*n = 3*a - 2*n - 173. Is a composite?
True
Let t(d) = 16*d**2 - 22*d - 7. Is t(-6) composite?
False
Let g(r) = 3*r**2 + 3. Let s be g(-5). Let n = -43 + s. Is n a prime number?
False
Let s = -18 + -6. Is ((-66)/s)/(1/124) a composite number?
True
Let k = 11 + 9. Suppose 4*o + 644 = -3*m, -o - 2*o - 431 = 2*m. Is (-4)/10 - m/k a prime number?
False
Suppose -5*d - 3*m = 2*m - 390, 4*d = -2*m + 316. Suppose 0 = 5*f - 450 - d. Suppose 3*h - f = h. Is h a composite number?
False
Let m(o) = -o**3 - 12*o**2 - 2*o + 13. Let p = 7 + -19. Is m(p) a prime number?
True
Let i = -3 - -2. Is 149 + i/(-3)*0 a composite number?
False
Let l(n) = 38*n + 1. Let p be 0/3 - (0 - 3). Let k = 6 - p. Is l(k) a prime number?
False
Let j be (-6)/8*312/(-2). Suppose -3*r - 15 = 3*c - j, -105 = -3*c - 4*r. Is c composite?
False
Let x(a) be the second derivative of -5*a**3/2 + a**2 - 2*a. Is x(-3) prime?
True
Suppose -5*u + 2*h - 30 = 0, 0 = 2*u + 6*h - 3*h - 7. Let j be (-35)/(-20) + 3/u. Is 3/j*3 - -2 a composite number?
False
Suppose 4*g - 3*n - 11 = 0, -5*g = -5*n - 6 - 4. Suppose 4*a + 144 = 4*i, -5*a + 287 = g*i + 117. Is i a composite number?
True
Let v(r) = -r**3 + 5*r**2 - 10. Let q be v(-7). Suppose 9*z = 11*z - q. Is z a composite number?
True
Let g = -15 + 19. Suppose -g*m + 783 + 85 = 0. Is m a composite number?
True
Suppose -3*k - 523 = -5*w, -3*k = 3*w - 6 - 327. Suppose 0 = 3*c + 5*y - 414, 2*y - 32 = -c + w. Is c composite?
True
Let v be 3/(-6) - 58/(-4). Is 34*(-3)/(-12)*v prime?
False
Let g(l) = -430*l + 3. Is g(-5) composite?
False
Let j(i) = 11*i**2 - 11*i + 17. Is j(9) prime?
True
Suppose 1032 = 5*i - 1313. Is i a composite number?
True
Let z(b) = b**2 + 2*b - 4. Let h = 3 - 0. Is z(h) a composite number?
False
Suppose -4*y = -2*y + 10, 4*y = -3*j + 73. Is j prime?
True
Suppose 3*z - 2*c = 7181, 4784 = 2*z + 9*c - 12*c. Is z composite?
True
Suppose -649 = -83*n + 82*n. Is n a prime number?
False
Let b = 220 - 80. Let x = b - -55. Suppose 0 = -3*t - 2*t + x. Is t composite?
True
Let s be (-19)/(-4) - (-1)/4. Suppose -2 = 2*n, s*x = -3*n - 2 + 4. Is (54 - x)*3/1 prime?
False
Suppose 4*z - z - 207 = 0. Suppose n = 2*b + z, 2*n - 5*b - 113 = -6*b. Is n a prime number?
True
Suppose -4*h + 3971 = -6441. Is h prime?
False
Is 2/(-3)*(-7944)/16 prime?
True
Suppose -5*b = -b + 3*t + 3, -3*b - 3*t - 3 = 0. Suppose 3*x - x - 28 = b. Is x composite?
True
Let h = -231 + 59. Is -1 - -3*h/(-6) a composite number?
True
Let n = 9 - 15. Let p = n + 3. Is (-1 - p)/((-8)/(-76)) a prime number?
True
Let y(j) = j**3 + 17*j**2 - 5*j - 5. Is y(-10) a prime number?
False
Suppose 347 = 4*t - 417. Let g = 12 - t. Let w = 336 + g. Is w a prime number?
True
Is (-14)/21 + (-5225)/(-3) prime?
True
Suppose -5*b = -k + 1, -3*b + 4 = 2*b + 4*k. Suppose 25 = -3*l - 3*c + 178, b = -5*l + 2*c + 269. Is l a composite number?
False
Suppose 2222 = 11*w - 3905. Is w a prime number?
True
Let m = -37 + -206. Let p = -179 + 63. Let c = p - m. Is c composite?
False
Let u(w) = 37*w**2 + w - 9. Is u(4) prime?
True
Suppose 4954 = t - 1851. Is t composite?
True
Let l be (17 + -1)/(2/20). Suppose 2*z + 4*p = -l, -2*z - 5*p - 167 = -7. Is 8/28 + z/(-14) prime?
False
Let i(m) be the third derivative of -m**6/120 + 7*m**5/60 - m**4/3 + 2*m**3/3 - 3*m**2. Let t be i(6). Let h(l) = 2*l**2 + 3*l + 2. Is h(t) prime?
False
Let x(v) = -167*v - 7. Let g be x(-5). Let m = g - 421. Is m a prime number?
False
Suppose 0 = 2*c - 7*c + 5*k + 10, -4 = -2*c + 4*k. Suppose 0 = t + w - 108, -4*w - 221 = -c*t - w. Is 2/10 + t/5 composite?
True
Let a(u) = 188*u. Let s be a(-1). Let q = 267 + s. Suppose 0*c + q = c. Is c composite?
False
Suppose -61424 = -10*b + 17946. Is b prime?
True
Let q = -9 + 8. Let h = 2 - q. Is 6/(h*(-6)/(-207)) a composite number?
True
Is 5/10 - 25/(-2) a composite number?
False
Let r be 0/(-3) + 1 + 101. Is (56/(-12))/((-4)/r) prime?
False
Let s be (-2)/5 - (-9)/(-15). Let o = s - 0. Let n = o - -8. Is n composite?
False
Let v(d) = 283*d - 82. Is v(11) composite?
True
Let c(d) = -d**2 - d - 1. Let i(a) = -17*a**2 - 3*a - 2. Let b(f) = 3*c(f) - i(f). Is b(2) prime?
False
Let r(k) = 2*k + 4*k + 4*k**2 - k + 5. Is r(-7) composite?
True
Let k = 1387 - 618. Is k composite?
False
Suppose -6*h = -4*h - 5*b - 885, -5*h + b = -2224. Is h composite?
True
Let c = 2501 - 1624. Is c a composite number?
False
Is (-69)/(1 - 2/1) a prime number?
False
Let b(q) = q - 75 - 3*q + q - 5. Let i be b(0). Let g = i - -139. Is g a composite number?
False
Let w(y) = y**2 - y + 1201. Is w(0) prime?
True
Let k(o) = o + 6. Let z be (-2)/2*(-1 - -1). Is k(z) prime?
False
Let x be -1*1 + 1/1. Suppose 2*s = -x*s + 6. Let i(k) = k**3 - 3*k**2 + 3*k + 1. Is i(s) prime?
False
Let k = -18 - -21. Let i(s) = 3*s**2 + 5*s - 5. Is i(k) composite?
False
Let s(q) = 25*q - 1. Let m be s(5). Suppose -2*h + 5*h = -2*t - 116, -4*t - 3*h = 238. Let z = m - t. Is z prime?
False
Suppose -6*i + 410 + 712 = 0. Is i composite?
True
Suppose 779 + 821 = 4*d. Suppose -5*o + 4*m = -o - d, -2*m = -o + 103. Is o composite?
False
Let f = 569 + -360. Is f a composite number?
True
Let g(n) be the first derivative of 65*n**2/2 - 4*n + 1. Is g(3) composite?
False
Let v = -26 + 18. Let u(c) = c + 10. Let f be u(v). Is (83 - 8) + (f - 0) composite?
True
Let x = 920 - 435. Is x a composite number?
True
Suppose 0 = 3*i - 5*k - 1685 + 474, 4*k + 399 = i. Is i a prime number?
False
Let r be (-4 - -1) + (15 - 8). Suppose -r*c = -596 - 440. Is c a composite number?
True
Is (-1014)/(-4) - (-5)/(-10) a composite number?
True
Let z = 166 - 7. Suppose z = 3*n - 4*c, 3*n + 2*c + 0*c - 159 = 0. Is n composite?
False
Let x(k) = k + 4. Suppose 3*z + 3*s - 3 = 2*s, z + 3*s = 9. Let h be x(z). Suppose -8*j + 388 = -h*j - 4*c, c = -5*j + 485. Is j a prime number?
True
Let p(i) = i**2 + 10*i - 11. Let l be p(-11). Suppose l = 4*a - 267 + 7. Is a prime?
False
Suppose x - 676 = -x. Suppose x = 3*v - 289. Is v a composite number?
True
Suppose l + a = -8, 0 = 2*l + l - 4*a - 11. Is 5 + 1 - 1*l a prime number?
False
Suppose -4 = l, 2*l = 5*g - 0*g - 1653. Is g a composite number?
True
Let z(y) = -36*y - 1. Let w(a) = -36*a - 1. Let s(m) = -4*w(m) + 5*z(m). Let o be s(-1). Suppose b - o = -0*b. Is b composite?
True
Suppose -2*o + 3*o = 126. Let g = 578 + -388. Suppose o = 4*d - g. Is d a composite number?
False
Let w = -2 + 2. Suppose -2*a - a - 15 = w, -5*c + 4*a = -200. Let t = 50 - c. Is t prime?
False
Suppose v - 5 + 2 = 0. Let u = -1 + v. Suppose -s = 2*z + u*s - 37, 0 = 2*s - 10. Is z a prime number?
True
Let i(d) = -d + 1. Let m be i(1). Suppose -2*u + m*u + 298 = 0. Is (-2)/8 - u/(-4) a 