 -2*h + 3*p = 6*p - 7. Suppose 5*s + 20 = 4*o, -h*o + 3*s + s + 10 = 0. Suppose -13 + 0 = -a + 2*w, -4*a + 49 = -o*w. Is a prime?
True
Let r(n) = -677*n + 9. Is r(-2) composite?
True
Let j be -1*(-2 - -4) + 7. Let o = -2 + j. Is 140/o - 2/(-6) a prime number?
True
Let b(q) = -295*q - 12. Is b(-7) prime?
True
Is (-21)/(-14)*(-844)/(-3) a composite number?
True
Suppose -4*z = 4*p - 36, 0 = z + 4*z - 10. Is p composite?
False
Let p = 6137 - 3138. Is p prime?
True
Let d(u) = 490*u - 1. Is d(1) composite?
True
Let f be (-40)/(-18) + (-8)/36. Suppose 62 = f*b - 3*x, -2*b - 2*x + 74 = x. Is b composite?
True
Let g be (13 + -2)*(10 + -2). Suppose -2*n - g = -6*n. Is n prime?
False
Let x be (-34)/12 + 6/(-36). Let w(s) = -4*s**3 + 3*s**2 + 2*s + 2. Let y be w(x). Suppose -v + y = -0*v. Is v composite?
False
Is (-170 + 3)/(-1 + 0) prime?
True
Let o(r) = -r**3 - 10*r**2 - r - 10. Let p be o(-10). Suppose p*u - 5*u + 240 = 0. Let q = 133 - u. Is q composite?
True
Let j(c) = 3*c - 4. Suppose -3*l - 2 + 8 = -a, -a - 12 = -5*l. Let w be j(a). Suppose 3*o - 24 = 5*q, o = 3*q + w - 1. Is o prime?
True
Let n(f) be the second derivative of 32*f**3/3 + 9*f**2/2 + 6*f. Is n(8) a prime number?
True
Suppose -3380 + 489 = -7*g. Is g a prime number?
False
Let f(m) = 5*m**2 - m + 1. Let k be f(1). Is k + 75 + 3*-1 a prime number?
False
Let p be 8/(-10)*20/(-8). Is (-2)/4*(-748 + p) composite?
False
Suppose -4*n + 56 = -5*l - 1421, -2*n + 3*l + 737 = 0. Is n prime?
True
Suppose -8*g + 1895 = -3*g. Is g prime?
True
Let a(q) = q**3 + 6*q**2 - 5*q + 7. Let i be a(-7). Let j = i + 81. Suppose 3*z = z + j. Is z a prime number?
True
Suppose -3*m + 2106 = -p, -5*m + 6*m - 698 = -p. Is m composite?
False
Let l(j) = 38*j + 35. Is l(6) composite?
False
Let q(p) be the third derivative of 127*p**5/60 - p**4/24 - p**3/6 - 3*p**2. Is q(-1) a prime number?
True
Let k = -35 + 49. Let h = k - -17. Is h prime?
True
Suppose 0 = 17*u - 18*u + 2471. Is u composite?
True
Suppose -2*n + 8 = -4*n. Let v(p) = p**3 + 6*p**2 + 4*p - 3. Let x be v(n). Let c = x - -1. Is c composite?
True
Let v = -310 - -573. Is v composite?
False
Suppose -27*q = -32*q + 5215. Is q a composite number?
True
Let o be 6/(-4) + 3/6. Let a = 49 - 11. Let b = a + o. Is b a prime number?
True
Suppose 0 = -2*t + 4*d + 14, -5*t + 0*t - d = 9. Suppose -3*q = p, -4*q + 3*p + 9 = 22. Is t - q - (1 + -24) composite?
False
Suppose -z + 4*l + 252 = 0, -2*l = -2*z + 2*l + 516. Suppose z + 105 = 3*m. Is m composite?
True
Let s(k) = k**3 - 13*k**2 + 16*k - 9. Let t be (-3 - -5) + (12 - 2). Is s(t) composite?
True
Let d = -9 - -12. Suppose 2*w + 0*h - 4*h = 150, 2*w = d*h + 155. Is w a prime number?
False
Let r(i) = -49*i**3 + i**2 + 2*i + 3. Is r(-2) prime?
False
Let p = 15 + -15. Suppose -t - 2*f - 3*f + 588 = p, 3*t = -2*f + 1777. Is t composite?
False
Suppose 2 = 2*j - 2*z, 3*j = -5*z - 1 - 4. Suppose x + 4*x - 115 = j. Suppose -p + 8 = -x. Is p a prime number?
True
Let v = -462 + 943. Is v a composite number?
True
Let c(h) = -17*h + 3. Let z(b) = -17*b + 4. Let q(j) = -7*c(j) + 6*z(j). Is q(7) a composite number?
True
Suppose 3*l = -4*h - 184 + 1460, 5*l - 957 = -3*h. Is h composite?
True
Suppose -2*b + 2 = 4*w, 22 = -w - 7*b + 2*b. Suppose 0 = -w*v + 4*q - 11, 2*v - v - 4*q + 9 = 0. Is (-33)/v + -4 + 2 prime?
True
Let l = 3465 - 2026. Is l a composite number?
False
Let b be (-2)/(0 - 2) - -3. Suppose 5*w - 16 = 2*w - 4*m, -b = 4*w - m. Let i(h) = h + 7. Is i(w) a composite number?
False
Suppose 4*o = 4*l - 1284, 0 = 2*l + 5*o - 3*o - 634. Is l a prime number?
False
Suppose 4*x + 2*o - 932 = 0, 0 = -2*x - o - 3*o + 472. Suppose 5*v = v - 660. Let j = v + x. Is j prime?
True
Let g be (-2 - 1/1) + 5. Let w(r) = 28*r - 3. Is w(g) composite?
False
Suppose -5*s = u + 4, -4*u - 5*s = 3 - 2. Let l be -2*u - (4 - 9). Suppose q - g = 36, -q = -l*q + g + 73. Is q a prime number?
True
Suppose 0 = -9*x + 4*x + 635. Is x a composite number?
False
Let y(z) = -2*z**2 - 2*z + 6769. Is y(0) a prime number?
False
Suppose 8 = 4*u - 4. Suppose 2 = 3*s - 13, 118 = u*j + 5*s. Is j composite?
False
Let s = -652 + 1031. Is s prime?
True
Is (-32602)/(-14) - (15/21 + -1) prime?
False
Suppose -m + 517 - 16 = -4*b, -b - 2600 = -5*m. Is m composite?
False
Let t = 397 + -216. Is t prime?
True
Let a(u) = u**3 - 10*u**2 - 3*u + 11. Is a(12) a composite number?
False
Let y(k) = 42*k**3 + 7*k - 4. Is y(3) a composite number?
False
Let p = 457 - 266. Is p prime?
True
Let d(k) = -k**2 + 6*k - 6. Let z be d(4). Is ((-1011)/2)/(-3)*z a prime number?
True
Let w = 276 - 165. Suppose 4*d = d + w. Suppose -4*n + 4*r = d - 105, -3*r = 12. Is n prime?
True
Let q = 104 - 39. Is q a composite number?
True
Let u(h) = 4*h**2 - h. Let y be u(-1). Suppose 7 = 3*p - y. Suppose 5*m - 21 = p*m. Is m composite?
True
Is (-4)/4*-261 + (-8)/(-2) a composite number?
True
Let f = -2 + 2. Suppose f = -0*a - 4*a + 236. Is a a composite number?
False
Suppose 10 = 5*y - 5. Let f be ((-72)/(-30))/(y/10). Let b = f + 2. Is b composite?
True
Let d(l) = -23*l + 5. Is d(-4) a composite number?
False
Let i = -365 - -658. Is i composite?
False
Suppose -3*w + 2*w = -130. Suppose w = -5*d + 7*d. Is d composite?
True
Suppose -5 + 6 = -n. Is ((-5)/10)/(n/142) a prime number?
True
Let j = -9 + 6. Let z be 46 + j + 3 + -2. Is (-4)/6 - z/(-3) prime?
False
Let c(a) = a - 2. Let l be c(8). Suppose -l = 2*w - 2*h, 3*h = 2*w + 5*h + 2. Let f(i) = 5*i**2 + 4*i + 2. Is f(w) a prime number?
False
Let p be (-1 + 1 + -1)*-1. Let m(v) = 3 + 1 - p + 16*v. Is m(4) a composite number?
False
Let k(b) = b**2 - 2*b - 2. Let w be k(4). Suppose 1 + w = h. Is h a composite number?
False
Is 2/(-8) + (-2346)/(-8) a composite number?
False
Let f = 12 + -8. Let q = f + 12. Let k = 27 - q. Is k composite?
False
Let r be (0 - 6)/((-6)/(-8)). Is -14*(-4 - (-36)/r) a composite number?
True
Suppose 3*k = -2*p + 7*k + 2, 2*p = 2*k - 4. Let z be p/10*(36 - 0). Let v = z - -31. Is v composite?
False
Suppose -n - 1 = 0, 6*l + n - 634 = l. Is l a prime number?
True
Suppose 6*y - 2*y = 124. Is y prime?
True
Suppose -5*i + 2063 = -662. Is i prime?
False
Let f = -11 - -7. Let v = 123 - f. Is v prime?
True
Suppose 0 = 7*b - b - 3318. Is b a prime number?
False
Let v = 96 + -158. Let s = 27 - v. Is s a composite number?
False
Is 2/3*5262/4 composite?
False
Let q be 2/(-4) - (-20)/8. Suppose -p - 4*p + q*a = -1201, 3*p - 732 = 5*a. Is p composite?
False
Let j(v) = 2*v**2 - 10*v - 1. Let b be (-2)/4 - 17/(-2). Is j(b) prime?
True
Suppose 145 = w + 5*k + 471, w + 322 = -k. Let x = w + -87. Let q = 595 + x. Is q a composite number?
True
Let m be (9/(-6))/(2/84). Let i = m - -94. Is i a prime number?
True
Let x(q) = q**3 + q**2. Let r be x(0). Let c(j) = 9*j**2 + 1. Let s be c(-1). Suppose -4*u - 5*l = -55 - 7, r = -5*l + s. Is u prime?
True
Let y(f) = -f**3 - 3*f**2 - f + 10. Suppose 0 = -5*o + 10 + 10, 5*w - 3*o = -37. Is y(w) composite?
True
Suppose -m + 2*z = 0, -4*m - m + 12 = 2*z. Suppose -m*l - 14 = -s + 3*s, 5*l + 2*s + 35 = 0. Let n(d) = -d**3 - 7*d**2 + d + 10. Is n(l) a prime number?
True
Let f = 1319 + -354. Is f prime?
False
Let c(l) = -l + 1. Let p be c(0). Let s be p/((-1)/3)*-2. Suppose -s*q + 4*q = 3*r - 128, 2*q = -r + 36. Is r a composite number?
True
Let b = -64 + 695. Is b a prime number?
True
Suppose 4*j + 3 + 5 = -3*t, 0 = -3*j - 15. Let s(f) = -2*f + 6. Let w be s(t). Is 86 + -1 + (-4)/w a composite number?
True
Let n(z) be the first derivative of -7*z**2/2 - 5*z - 1. Let v be n(-4). Let r = v + -10. Is r prime?
True
Suppose 4*h - 2682 = -2*m, -5*h + 4*h = 5. Is m prime?
False
Is (-2 - -2) + 1 + 586 a composite number?
False
Suppose m - 4955 = -4*m. Is m composite?
False
Let a = -48 - -569. Is a prime?
True
Suppose -4*n - 25 = -41. Suppose -4*s + 876 = -n*i, -3*i - 304 = -2*s + 130. Is s composite?
False
Suppose -3*m = -4*b - 9 - 11, -m + 20 = -4*b. Suppose 4*u - y - 136 = 0, 2*u - 3*y - 90 + 12 = m. Is u composite?
True
Suppose -3*j + 3*z + 1818 = 0, 6*j - z = 2*j + 2433. Suppose -p + j = 2*p. Is p prime?
False
Suppose 8*p - 1627 = 2077. Is p a prime number?
True
Let s = 23 + -23. Suppose -3*d = 3*b - 6*b + 744, s = 3*d - 9. Is b a prime number?
True
Let q = 682 - 387. Is q composite?
True
Let c = 5 - 5. Suppose c*z