0*w - 7. Let c = w + i. Is c prime?
False
Let o(a) = -a**3 - 11*a**2 - 15*a - 7. Is o(-12) a prime number?
True
Let c(r) = -r**2 - 6*r - 6. Let l be c(8). Let x = 175 - l. Is x a composite number?
False
Suppose 16*c = 19*c - 669. Is c a composite number?
False
Suppose -2*s + v - 4*v + 19 = 0, -5*s - 2*v + 20 = 0. Suppose -4*c - 4*f = -652, -s*c - 3*f = 2*f - 317. Suppose -3*a = -a - c. Is a a composite number?
False
Let y(o) = -136*o**3 + o**2 + 4*o + 3. Is y(-2) composite?
False
Suppose 3*j - 2*j = 0. Suppose 3*z = 5*a - 232, -4*a + z + j*z + 187 = 0. Is a a composite number?
False
Let f(t) = -t**3 + 10*t**2 + t - 6. Let c be f(10). Suppose -335 = -o + c*w, 4*o + w - 1260 = -3*w. Is o composite?
True
Let r(l) = 3*l**3 + 2*l**2 + 4*l + 2. Let o be r(-2). Let v(t) = -9*t**2 + t - 1. Let z be v(1). Let q = z - o. Is q a prime number?
True
Let r = 3 + -2. Let m = 0 + r. Let b(i) = 14*i + 1. Is b(m) prime?
False
Let o(k) = 0*k**2 - k**3 + 2*k + 2 - 7*k**2 - k**3. Is o(-5) composite?
False
Let v = 1 - -28. Suppose t + v - 115 = -4*h, 0 = -3*t + 6. Is h composite?
True
Is 3 + 867 + (-1 - 0) a prime number?
False
Let s(q) = 19*q. Let y be s(-3). Let z = y + 269. Suppose -4*f + z = -0*f. Is f a composite number?
False
Suppose 0 = -5*c + 2*u - 36, 0*u + 16 = -c - 4*u. Is (-2)/c + 9607/52 composite?
True
Let o(h) = -10*h**3 - 11*h**2 + 9*h + 11. Is o(-6) composite?
False
Suppose -3*u + 35 = -28. Is u a prime number?
False
Let d = -1 + 3. Let c be 0 - -1 - 1 - -162. Is -1 + d + 0 + c a composite number?
False
Suppose 2*i - 4*k = -4, -7*i + k - 1 = -4*i. Let q(u) = -u**2 + 5*u + 3. Let b be q(6). Is 2 - (-51 - i/b) composite?
False
Let y(z) = z**2 - z + 11. Let h(j) = -j + 9. Let q be h(7). Suppose 4*a + 10 = -q*g, -2*a - g = g + 10. Is y(a) composite?
False
Let c = 261 + -570. Let m = c - -532. Is m prime?
True
Let u(f) be the second derivative of -f**5/20 + 5*f**4/6 + f**3/3 + 7*f**2 + f. Is u(10) a prime number?
False
Let c be -1 + 0 + (-155 - 1). Let w = c + 284. Is w a prime number?
True
Let u(a) = -a**3 - 2*a - 3. Let j(k) be the second derivative of 3*k**5/20 + k**4/12 + k**3/6 + k**2/2 - 2*k. Let i be j(-1). Is u(i) a prime number?
False
Let t(x) = 127*x**3 - x**2 + 1. Let q be 3/5*(0 + 5). Suppose 20 = 4*y - 4*k, 5*y - q*k - 16 = 1. Is t(y) prime?
True
Let z = 697 - 390. Is z a prime number?
True
Let q = -150 + 386. Suppose 0 = 3*j - q - 91. Is j a prime number?
True
Let d = 45 - 27. Suppose i - 2*y + y + 3 = 0, -4*i - 2*y = -d. Suppose r - 68 = o, i*r + 6*o - 2*o = 142. Is r composite?
True
Let j(q) = 3*q**2 + 3. Let d(p) = -2*p + 2*p**2 - p**2 + 9*p. Let w be d(-6). Is j(w) prime?
False
Let p = -15 - -1. Let y = 21 - p. Is y a prime number?
False
Suppose 0 = -3*b, 2*g - 4*b - 444 = 1654. Is g a prime number?
True
Let c be (2/(-3))/((-2)/12). Suppose 5*x - 274 = 3*b, -5*x + c*b + 0*b + 277 = 0. Is x prime?
True
Let p be 7 + ((-6)/(-3))/2. Is 2/8 + 630/p prime?
True
Let v be -3*16/4*-1. Suppose -4*g + 0*g = -v, p = 4*g + 187. Is p a prime number?
True
Suppose 0*x + 2*x - 79 = -o, -3*o = -4*x + 183. Suppose 0 = y + i - 4, -5*i - x = -4*y - 17. Let d = 16 - y. Is d composite?
False
Suppose -306 = 4*d + 4*t - 1166, 3*d + 4*t = 649. Is d composite?
False
Let l(w) = 21*w + 1. Let r be l(10). Let o = -70 + r. Is o a prime number?
False
Let j(c) be the first derivative of 2*c**3/3 + 2*c**2 + c - 5. Is j(-3) a prime number?
True
Let s be -2*2/(-8)*-2008. Is ((-1)/(-2))/((-2)/s) a prime number?
True
Let y(o) = o - 1. Let i be y(-4). Let f = -3 - i. Is 47/(4 - 1 - f) a composite number?
False
Let c(j) = -j**2 - 5*j + 1. Let b be (4/5)/(1/(-5)). Let d be c(b). Suppose -2*z - 3*g + 54 = 0, -3*z = z - d*g - 152. Is z a composite number?
True
Let b(l) = 9*l**2 + 26. Is b(11) a composite number?
True
Let m(g) = -13*g - 1. Let x(f) be the first derivative of f**4/4 - 2*f**3 - 4*f + 2. Let a be x(6). Is m(a) a prime number?
False
Suppose j - 4*q + 0*q = 1639, -q = 4*j - 6488. Is j a composite number?
True
Suppose 238 = 3*c - 2*p - 689, 5*c = 4*p + 1543. Let s = 469 - c. Is s composite?
True
Let p(x) = 2*x + 769. Is p(0) composite?
False
Suppose 628 = 3*g - 3*f + 8*f, 0 = 3*f + 3. Is g prime?
True
Let n be -2 - -35 - 1 - 2. Let d(f) = -f**2 + f - 20. Let j be d(0). Let u = j + n. Is u composite?
True
Is (87 - 1)/((-2)/(-13)) composite?
True
Suppose y + 2 = -0*y. Is (145/y)/(1/(-2)) prime?
False
Is 1 + 4319 - (-6 + 11) composite?
True
Suppose 2*y = -3*y + 1550. Suppose 3*o - y = -2*o. Let g = o - 31. Is g a prime number?
True
Suppose -2*h + 393 = h. Suppose h = -0*c + c. Is c composite?
False
Suppose 4 = l + 2. Is -2 - -150 - l/(-2) a composite number?
False
Let s = 45 + 166. Is s prime?
True
Suppose 0*y - y = 2*l + 10, -3*y - 28 = 4*l. Let g = y + 22. Suppose 2*o = g + 28. Is o a composite number?
True
Let a = -8 + 4. Let x = -2 - a. Let b(l) = 16*l + 1. Is b(x) prime?
False
Let w(c) = -c - 5. Let h be w(-5). Suppose 0 = 3*a - h*a - 30. Is a a composite number?
True
Let u(r) = -2*r + 1 - 2*r**3 - r**3 + 4*r**3 - 4. Let p = -5 + 9. Is u(p) prime?
True
Let n(b) = 78*b**2 - b. Let y be (1 - -1)/(3 + -5). Is n(y) a composite number?
False
Is ((-4)/8 + 0)*0 + 1559 composite?
False
Let r(n) = n**3 - 4*n**2 - 9*n + 7. Let j(i) = i**3 - 5*i**2 - 6*i + 7. Let l = 10 + -4. Let g be j(l). Is r(g) a prime number?
False
Suppose -3*f = -8*f + 25. Suppose -44 = f*h + 1. Let j(m) = m**2 + 5*m + 1. Is j(h) a prime number?
True
Suppose -p = -6*p. Suppose 3*l = -w + 114, -2*w = -p*l + 3*l - 117. Is l prime?
True
Let g(o) = o**2 + 6*o + 6. Let m be g(-6). Suppose m = -q + 25. Is q prime?
True
Suppose 0 = 4*a - 302 + 54. Suppose 163 = 2*t - 63. Let l = t - a. Is l prime?
False
Let n be (-9)/(-12)*2680/2. Suppose 10*h - 5*h - n = 0. Is h a composite number?
True
Suppose -8 = -2*o + 5*t - 24, -o - 34 = 4*t. Let l = 5 - o. Is l a prime number?
True
Let o(r) = -132*r + 1. Let g be o(-2). Suppose g = 5*d - 55. Let a = -27 + d. Is a composite?
False
Let x be (0 - -4) + 0/2. Suppose a - 55 = -z, 0 = x*z - 3*z - 3*a - 67. Is z a composite number?
True
Let m be ((-66)/55)/(2/(-5)). Suppose m*o + o = 256. Let f = o - 45. Is f prime?
True
Let o = -829 + 1170. Is o a composite number?
True
Suppose -1070 = -5*g - s, -2*g - 1070 = -7*g + 2*s. Is g composite?
True
Let g(o) = -7*o - 2. Let a = -1 + -2. Let s be g(a). Suppose -s = -0*b - b + 3*l, 15 = -3*l. Is b a composite number?
True
Let f(m) = -m**3 + 7*m**2 - m + 8. Suppose -3*p + 9 = -12. Let r be f(p). Let s = 36 + r. Is s composite?
False
Let a(j) = -48*j + 23. Is a(-8) a prime number?
False
Is (-2)/1 - (5 - 76) prime?
False
Let k(p) = -4*p**2 - 6*p + 7. Let f(v) = v**2 - 1. Let r(m) = -5*f(m) - k(m). Let l be r(8). Let g = 129 + l. Is g a composite number?
True
Let u(m) = 16*m**2 - 4*m + 10. Let p(i) = 8*i**2 - 2*i + 5. Let o(s) = 13*p(s) - 6*u(s). Is o(-3) prime?
True
Let b = 3050 - 2065. Is b a composite number?
True
Let j = 505 + -302. Is j prime?
False
Is (-3)/24 + (-30281)/(-8) composite?
True
Let u(y) = -3*y. Let b be u(-1). Suppose b*p - 318 = 201. Suppose -60 = -5*k - 3*a + p, -a = 3*k - 143. Is k a prime number?
False
Let r(x) = x - 1. Let i(p) = 293*p - 2. Let c(u) = i(u) - r(u). Is c(2) composite?
True
Let m be -3*1*(-3)/(-9). Is (-2 + 3 + -44)/m a composite number?
False
Is 5 + -1 - (-1254)/2 composite?
False
Let f = 662 + 1343. Is f prime?
False
Let m be -9465*((-3)/9 - 0). Suppose 2*u - 7*u + m = 0. Is u composite?
False
Let l = 429 - -478. Is l composite?
False
Let h = -174 - -246. Suppose -4*o + h = -212. Is o a prime number?
True
Suppose -79 = -u + 4*c, -5*u + 201 + 194 = -2*c. Is u a composite number?
False
Let a = 23 + 126. Is a a composite number?
False
Suppose -2*f + 4*u + 62 - 2 = 0, 0 = f - 5*u - 15. Suppose -4*y - 11 = -47. Let n = f + y. Is n composite?
True
Let r = -4 + 2. Let m be r*2/(-4) - -129. Suppose m = 4*z - 3*u, 2*u = -z - 2*u + 23. Is z prime?
True
Suppose -8*v + 15*v - 1337 = 0. Is v a composite number?
False
Is -2 - 91/(-35) - 922/(-5) prime?
False
Let o = 5 + -5. Suppose 2*x + 19 - 83 = o. Suppose -x - 14 = -2*y. Is y a composite number?
False
Let s(p) = p + 3. Let k be s(0). Suppose -2*b + 142 - 52 = -2*z, -5*b = -k*z - 219. Let v = b + -7. Is v composite?
True
Suppose 0 = -4*p + 97 + 91. Let v = -