 Let u = l + 1198. Is u prime?
False
Let j = 12 + 151. Suppose 2*g - 66 = g. Let u = j - g. Is u a prime number?
True
Let c(p) = 2*p. Let b be c(2). Suppose j - b*n - 153 = -0*j, 0 = -3*j - 5*n + 374. Is j a prime number?
False
Suppose -15 = z + 20. Let r = 3 + z. Let n = r - -51. Is n composite?
False
Let k(y) = -y**3 - 14*y**2 + 16*y + 12. Let r be k(-15). Is -771*(30/(-9) - r) prime?
True
Suppose -4*q + 3*w = 8, -3 = 3*q + 3*w + 3. Is 1/q - (-201)/6 composite?
True
Let f be 1 + (0 - 2) + 235. Suppose -2*b - u + f = u, 0 = 4*b + 3*u - 473. Is b composite?
True
Let m = 26 + -9. Suppose -m - 6 = -u. Is u composite?
False
Is 1/(-2)*746/(-1) composite?
False
Let y = -9 + 746. Is y a prime number?
False
Suppose 7*d - 2*d + 2*v - 36 = 0, -5*d - 4*v + 42 = 0. Let k(u) = 5*u**2 - 3*u + 4. Let m be k(d). Suppose -2*n + 4*n + 2*h = m, -5*n - 3*h = -407. Is n prime?
True
Let d = -245 + 444. Is d prime?
True
Let x(o) = -2*o**3 + 2*o**2 - 5*o - 2. Is x(-3) prime?
False
Suppose -3*h = 2*h - 3*y + 55, 3*h - 3*y + 39 = 0. Let a(p) = p**3 + 9*p**2 - 8*p - 7. Is a(h) prime?
False
Let r(h) = 15*h**3 - 27*h**2 + 4*h + 15. Let f(q) = 7*q**3 - 13*q**2 + 2*q + 7. Let g(s) = 13*f(s) - 6*r(s). Is g(7) a prime number?
False
Let x(r) = -r + 4. Let f be x(-7). Let m(n) = 5*n**3 - 12*n**2 + 2*n + 2. Let t(u) = 6*u**3 - 12*u**2 + u + 2. Let d(l) = -5*m(l) + 4*t(l). Is d(f) prime?
True
Let g(k) be the third derivative of -4/3*k**3 - 1/12*k**4 + 0 + 0*k - k**2. Is g(-7) a composite number?
True
Let w(t) = 163*t + 27. Is w(10) a composite number?
False
Let b = 16 - 10. Suppose f + b = 85. Is f composite?
False
Is (-2)/1 + 2 + 1228/4 prime?
True
Suppose -4*i - a + 251 = 0, 5*a + 153 = 2*i - 0*a. Let l = -21 + i. Let f = 77 - l. Is f a prime number?
False
Suppose -9 = -3*p - y, 5*p - 3*y - 29 = -0*y. Let i be ((-4)/3)/(p/(-6)). Suppose 5*w + o - 185 = 0, 4*w - 2*w - 74 = i*o. Is w composite?
False
Suppose -3*x - x - 2*o = -472, 5*x + 2*o - 589 = 0. Let w = x + 170. Is w prime?
False
Suppose 3*b = -4*p + 553, b = -3*p + 18 + 158. Is b a prime number?
True
Let o = -307 + 966. Is o a composite number?
False
Let j(f) = -2*f - 8. Let o be j(-10). Let q = -135 + o. Let h = q + 174. Is h prime?
False
Suppose -8*m - 2541 = -9045. Is m a composite number?
True
Let q = 14 + -1. Let k = 64 + q. Is k a composite number?
True
Let f(u) = 19*u - 8. Is f(6) composite?
True
Let v(a) = 17*a**2 - 5*a - 11. Is v(-6) prime?
True
Let p(f) be the first derivative of 5/2*f**4 - 2/3*f**3 - 1 + 2*f**2 - 3*f. Is p(2) a composite number?
True
Suppose -6 = 3*m - 0. Is 39/(m/(-2)) - 0 a prime number?
False
Let n(a) = -3*a - 5. Suppose 2*k + 30 = 5*i, -k = 4*i - 0*i - 11. Is n(k) prime?
False
Suppose 12 = -3*i, -4*z + 6*i = 4*i - 3268. Is z a prime number?
False
Let w(p) be the third derivative of -p**5/60 + 13*p**4/24 - 5*p**3/3 - 7*p**2. Suppose 0 = a - 0 - 9. Is w(a) prime?
False
Suppose 0 = 4*t - 3*d - 17, d - 3 - 2 = -4*t. Suppose -5*m = 5*u - 600, t*m - u = 2*u + 255. Is m composite?
True
Let g = -4 - -8. Suppose -4*a + 120 + 92 = 0. Is a/(-1 + (g - 2)) a composite number?
False
Suppose 0 = -2*i + 2*y + 79 + 13, -3*i + 5*y = -136. Is i a prime number?
True
Let s be ((-6)/(-5))/(6/20). Suppose 6*t - t + 4*b = 355, s*b - 221 = -3*t. Is t a composite number?
False
Let b = -165 - -89. Let w = -11 - b. Is w composite?
True
Let h be (0 - (-38)/4)*12. Suppose -3*b + h = -b. Suppose -3*v = -0*v - b. Is v a composite number?
False
Let x(b) = -b - 8. Let q be x(-4). Is (223/4)/((-1)/q) composite?
False
Let p(j) = -13*j - 1. Let l be 1/(2/(-4) + 0). Is p(l) a prime number?
False
Let a(o) = 3*o**3 + 21*o**2 + 17*o + 3. Let y(t) = t**3 + 7*t**2 + 6*t + 1. Let w(m) = 6*a(m) - 17*y(m). Is w(-6) prime?
True
Let a = 6 - 3. Suppose 4*n + l + 7 = 106, a*n - l = 83. Is (-1 + (-2 - -4))*n a prime number?
False
Suppose -5*i + 86 = -389. Let m = 146 - i. Is m a prime number?
False
Let q = -10 + 12. Let i(a) = 4*a**2 - 2*a + 3. Is i(q) a prime number?
False
Suppose -6*o = -o. Suppose 4*m - 429 + 65 = o. Is m composite?
True
Suppose 2*z + 355 = -3*z. Let a = 104 + z. Is a prime?
False
Let h(l) = -13*l - 1. Let x = 0 - 1. Let g be h(x). Suppose 3*u - 51 = -g. Is u a composite number?
False
Suppose -7*o + 7086 = -o. Is o prime?
True
Is ((-8)/4 + -3)*(-249)/15 prime?
True
Suppose 0 = -o - 4 + 9. Suppose -9 - 16 = -o*l. Suppose -94 = -5*f - d + 714, -820 = -l*f - 5*d. Is f composite?
True
Let o = -5979 + 8842. Is o composite?
True
Let c(x) be the third derivative of -x**7/5040 + 149*x**6/720 + x**5/30 + 3*x**2. Let g(z) be the third derivative of c(z). Is g(0) composite?
False
Is 1 - (1 + -1 + -445) composite?
True
Let m(y) = -438*y - 49. Is m(-8) prime?
False
Let d = -3 + 15. Let f(n) = -n**2 + 4*n + 5. Let c be f(5). Suppose 5*l + 24 = p + p, 2*p + l - d = c. Is p a prime number?
True
Let v(t) = -4*t**2 - 1. Let b be v(1). Let c = 18 + b. Is c prime?
True
Suppose -x = -45 + 3. Let o = -5 + x. Suppose -2*n + o = -n. Is n a prime number?
True
Let u(v) = -22*v**3 + 2*v - 3. Let l be u(-3). Let z be l/6*16/10. Let c = 225 - z. Is c a prime number?
False
Let m(w) = w**2 - 2*w - 1. Let z be m(-1). Suppose -2*s = -z*p + 8, -s - 4*p = -0 - 1. Is (46/s)/(2/(-3)) composite?
False
Let i = 8 - 3. Suppose -i*j = -5*z + 635, z - 145 + 22 = 2*j. Is z a composite number?
False
Let c = 6 - 6. Suppose 2*i - 64 - 166 = c. Is i a prime number?
False
Let f(m) = 10*m**2 - 11*m + 1. Let n be f(11). Suppose -6*w = -w - n. Is w a composite number?
True
Let u = 199 - 72. Is u a prime number?
True
Let m(a) = a**3 + 7*a**2 - a + 3. Let w be m(-6). Let r = 34 + w. Is r composite?
False
Suppose -2*k + 5*i = -1565, -3*i + 3860 = 5*k + 2*i. Suppose 3*u - k = -2*u. Is u prime?
False
Is ((-6)/(-12))/((-1)/(-530)) composite?
True
Is (-3418)/(-3) + 0 + 5/(-15) composite?
True
Let v(p) = -4*p + 11. Is v(0) a composite number?
False
Let x be 14/(-21) - (-775)/(-3). Is x*(-1 + (0 - 0)) a composite number?
True
Let i = -240 + 121. Let k = -82 - i. Is k composite?
False
Let j(f) = f**3 + 25*f**2 + 15*f + 47. Is j(-24) a composite number?
False
Let o(a) = -a**3 + 15*a**2 - 15*a + 10. Let n be o(14). Let m(b) = -b**3 - 3*b**2 - 5. Is m(n) prime?
True
Let x = 4 - -2. Let c be x/27 - (-2)/(-9). Suppose 3*j - 147 = -c*j. Is j a composite number?
True
Let v(c) = 2*c + 10. Let t be v(-8). Is (-130)/(-14) + t/21 a prime number?
False
Let p be 0 + 1 - (-4)/1. Suppose 0*n + p*c = 2*n - 457, -2*n + 439 = c. Is n a composite number?
True
Suppose l - m - 66 = 0, -265 = -4*l + 4*m - m. Let o be (l/(-2))/(3/(-6)). Let t = 100 - o. Is t a composite number?
True
Suppose -a = -2*c + 18, 3*a + 66 = -2*a + 4*c. Let k = -8 - a. Is k/3*465/10 a prime number?
True
Is (-5)/(-35) + (-1182)/(-7) composite?
True
Is (-11490)/(-42) + 3/7 a prime number?
False
Let s = -71 - -15. Let u(n) = n**3 - 9*n**2 + 5*n + 3. Let f be u(8). Let j = f - s. Is j prime?
False
Let j = -14 - -19. Suppose q + 2*q - 30 = 0. Suppose 5*a - l = a + 278, q = -j*l. Is a a composite number?
True
Let c(z) = 20*z - 5. Is c(12) prime?
False
Suppose 0 = -2*k - 7 - 13. Let y be (-2346)/(-15) - (-4)/k. Suppose 3*f + f - y = 0. Is f a composite number?
True
Let d(z) = 16*z + 5 + 6 + 0*z**3 - 9*z**2 - 3*z**3 + 2*z**3. Is d(-13) prime?
True
Suppose m + 114 - 1160 = -3*c, -5*m - 2*c = -5165. Is m prime?
True
Let j(s) = 13*s**2 + s + 7. Let h be ((-2)/5)/(6/60). Is j(h) prime?
True
Let z(t) = t**3 + 7*t**2 + t + 6. Is z(5) prime?
True
Suppose -5*n - 9 = -24. Let x be (0 - -1 - n)*73. Let v = -87 - x. Is v a prime number?
True
Let j(w) = -8*w**2 + 1 - 5*w + 2*w + 9*w**2. Is j(6) a prime number?
True
Suppose -4*i + 6812 = h - 2*h, i - 1703 = -4*h. Is 4/32 + i/8 prime?
False
Let f = 1 + 3. Suppose -6*u + 52 = -f*u. Is u prime?
False
Let o be 1/(-5) + 26/5. Suppose -o*s - 12 = -2*k + 3, -2*k - 4*s + 42 = 0. Is k a prime number?
False
Suppose -4*g - 3 = -19. Is (42/g)/((-6)/(-8)) composite?
True
Let g(j) = -j**2 - 18*j - 7. Let i be g(-12). Suppose -z + 81 = -i. Is z a composite number?
True
Let y(f) = 12*f**2 + f + 1. Suppose 15 = -5*p, 21 = -4*c - 2*p + 7*p. Let q = 7 + c. Is y(q) prime?
True
Suppose -3*m + 442 = -2*g - 2*g, 4*m - 5*g - 591 = 0. Let f = m + -98. Suppose -6*n = -2*n - f. Is n a composite number?
True
Let l be (5 -