9 = 0, 0 = 2*d - 6*d + 3*z + 23. Is ((-480)/(-3) - 1) + d prime?
False
Let r = -7 + 11. Suppose 4*l - r*i - 356 = -0*i, -5*l + i = -429. Is l a composite number?
True
Let n(r) = -7*r**3 - 4*r**2 + 4*r + 12. Let a be n(-5). Suppose -1 = -2*l + 9, -3*k = -2*l - a. Is k a prime number?
False
Let y = -12 + 51. Is y a prime number?
False
Suppose 0 = -4*d - d + 15. Let j = 16 - d. Let c = j - -20. Is c a prime number?
False
Suppose -o + 2 + 1 = 0. Suppose -3*b = o*d - 414, 697 = d + 4*d - 2*b. Is d composite?
False
Let g(i) = 1644*i**2. Let c be g(1). Let w = c + -1159. Is w a prime number?
False
Suppose -4*s + 2*s - 26 = 3*d, -3*d - 74 = 5*s. Let i = s - -10. Is (-171)/6*4/i prime?
True
Let g(q) = 130*q**2 - 3*q + 3. Let a be g(-4). Suppose -6*v + v = -a. Is v composite?
False
Suppose 4*g - 6 = 10. Suppose 0 = -g*j + 1 - 5. Is (-658 + -4)/(2*j) composite?
False
Is 11/3*(-4 - -7) composite?
False
Let c(f) = 669*f**2 + f - 1. Is c(1) a composite number?
True
Suppose 8*m = -4*z + 3*m + 5981, 4*z = 4*m + 5936. Let x = -1004 + z. Is x prime?
False
Let o = -38 - -86. Suppose -2*d - o = 2*d. Is d/(-6) - 0/1 a composite number?
False
Let y = 4 - 0. Let u(t) = -t**3 + 2*t**2 + t. Let g be u(-1). Suppose -g*m - 14 = -y*m. Is m composite?
False
Let z = 347 + -214. Is z a composite number?
True
Let d = -7 + 3. Let u(g) = -3*g - 5. Is u(d) a prime number?
True
Suppose -3*h + 2 = -10. Suppose -h*y + 3*j = -0*y - 391, 2*y - 192 = -2*j. Is y prime?
True
Is 96/1 - (6 + -5 - 2) prime?
True
Let l(x) = -x - 28. Let c be l(0). Let m = c + 245. Is m a composite number?
True
Let f(c) = 12*c**3 - 3*c**2 - 5*c + 3. Is f(5) a prime number?
False
Let y(m) = -m + 58. Suppose -3*u + 8 = 2*o, 3*u - o = -0*o - 4. Let p be y(u). Let c = 39 + p. Is c a prime number?
True
Let k(g) = 4*g**3 + 2*g**2 + 2*g - 5. Let b be k(4). Suppose -q + b = -0*q. Is q prime?
False
Let t = 166 - 99. Suppose h = 3*z - 196, 264 = 3*z - 2*h + t. Is z composite?
True
Let k(q) = q**2 + q. Let a be k(-2). Is a*(0 + 37/2) a prime number?
True
Let f(y) = -y**3 + 2*y**2 + 2*y - 1. Let o be f(3). Let a(k) = 11*k**2 - 2*k + 1. Is a(o) composite?
True
Let h(z) = 389*z**3 + z**2 - 1. Is h(1) prime?
True
Let h(o) = 17*o**3 + 15*o**2 - 12*o - 23. Let s(l) = -9*l**3 - 8*l**2 + 6*l + 12. Let m(a) = -6*h(a) - 11*s(a). Is m(-5) a composite number?
True
Let m(n) = -2*n**3 + 2*n**2 + n + 1. Let l be m(3). Let j = -21 - l. Let r(x) = -x**2 + 13*x - 12. Is r(j) a composite number?
True
Let y be (-2 + 7/3)*12. Is (-21)/(-14) - (-142)/y a prime number?
True
Suppose 4*p - 2 = -6. Is 212 - 9*p/(-3) a composite number?
True
Suppose 7387 + 3127 = 2*w. Is w prime?
False
Suppose 5*s - 5*b + b - 1909 = 0, 2*b = -2. Suppose 0*c + s = c. Suppose -c = 2*h - 5*h. Is h a prime number?
True
Let s be (0 + 0/1)/2. Suppose 0*r + 3*v = -3*r + 9, -2*r - v + 2 = 0. Is r*85*(-1 + s) a composite number?
True
Let l = 4 + -6. Is l/(-6)*(3 + 54) a composite number?
False
Suppose -4*u + 307 + 697 = 0. Suppose -25 = -4*b + u. Is b prime?
False
Let w(o) = 5*o**2 + 4*o + 1. Is w(-5) prime?
False
Let w(c) = c + 14. Let x be w(-7). Is -57*(x/(-3) - -2) prime?
True
Let p be -2 + 4 - 2 - -5. Suppose -4 = -4*x + 4, 5*j + p*x = 495. Is j a composite number?
False
Let w(h) = -h**2 - 3*h + 4. Let i be w(-3). Suppose i*f + 0 - 4 = 0. Is (2/2)/(f/129) a prime number?
False
Let c = 443 - 232. Is c prime?
True
Let k be 0/((1 + 0)*1). Let y = k + -4. Is (1/(-3))/(y/564) a prime number?
True
Let b be 32/20 - 2/(-5). Is (-444)/15*(-5)/b composite?
True
Let t(v) = -v**3 - 11*v**2 - 7*v - 1. Let a be t(-7). Let k = a - -359. Is k a prime number?
True
Let h(a) = 2*a - 2. Let w be h(3). Suppose -w*p = 4 - 24. Suppose 5*m = 5*c + 60, -4*c - 8 = -m - p*c. Is m prime?
False
Let r(k) = -k + 11. Let f be r(9). Suppose f*s = 4*c - 18, -26 = -s - c - 4*c. Is s/3 + 248/3 a composite number?
False
Let f be 2/7 + (-19)/(-7). Suppose 11 + f = 2*l. Is l a prime number?
True
Let l(c) = c**3 - 7*c**2 - 8*c + 2. Let g be l(8). Suppose -26 = g*f - 3*f. Is f composite?
True
Let q(c) = 6*c + 2. Let g(j) = -j - 1. Let r(b) = 2*g(b) + q(b). Let n be r(6). Let x = n - 11. Is x a composite number?
False
Let p(j) = -j**3 + 2*j**2 - 2*j. Let i be p(1). Let w(x) = -486*x - 1. Is w(i) a composite number?
True
Let u(s) = -3*s**3 - 6*s**2 - 10*s + 3. Let y be u(-5). Let d = -276 + 95. Let t = d + y. Is t a prime number?
True
Let u(m) = -m**2 + 4. Let v be u(0). Suppose v*t = 159 - 51. Suppose 0 = -3*s - t + 180. Is s composite?
True
Suppose -r = -5*r + 8. Let q(l) = 1 + 0*l**r + 5*l + 5*l**2 - 4*l - 3*l**2. Is q(4) a prime number?
True
Let o = 7 - 2. Let q be 43 + o + (-1 - -1). Let h = q - 27. Is h composite?
True
Suppose h = -4*h - 900. Let z(j) = j**3 - 10*j**2 + j + 1. Let v be z(4). Let q = v - h. Is q a composite number?
False
Let i(p) = 2*p + 7. Let l be i(-6). Let q = 7 + l. Is 1/q*(5 - -113) prime?
True
Suppose 2079 = -5*w + 11084. Is w a composite number?
False
Let o(m) = -m + 3. Let l be o(4). Is (28/(-6) - l)*-21 composite?
True
Suppose -4*g + 205 + 1023 = 0. Is g a prime number?
True
Let h(v) = -v**2 + 7*v + 2. Let o be h(6). Suppose -69 = -5*b + 2*b. Let c = b - o. Is c prime?
False
Let x(c) = c. Let q be (-1 - (1 + -2)) + -4. Let s be x(q). Let u(g) = g**3 + 5*g**2 + 2*g - 1. Is u(s) a prime number?
True
Let k be 1*(1 + -7) - -2. Is 2*k/8 + 179 a composite number?
True
Let p(c) = -2*c - 4 - 4*c + c + 4*c**2. Let l be p(-3). Let n = l + 80. Is n a prime number?
True
Let i = -390 - -641. Is i prime?
True
Let d be (-11834)/(-8) + (-12)/(-16). Suppose -3*f + d = -5*q, f - 2*q = 3*q + 510. Is f prime?
False
Let s(f) be the second derivative of 1/20*f**5 + 0 + 3/2*f**2 - 2*f + 1/6*f**3 + 0*f**4. Is s(3) a composite number?
True
Suppose -528 + 8091 = 3*w. Is w composite?
False
Suppose u - 214 - 76 = -p, -5*p - 2*u + 1465 = 0. Is p a composite number?
True
Suppose -3*h + 746 = -h. Is h a composite number?
False
Suppose 0 = -5*x + x - 5*v + 178, -104 = -2*x + 5*v. Is x a prime number?
True
Let l(s) = -s**2 + 7*s + 3. Let t(c) = -c**2 + 8*c + 4. Let m(p) = -3*l(p) + 2*t(p). Is m(7) composite?
False
Let g(v) = -v**3 + 10*v**2 + 12. Let o be g(10). Suppose -2*l + 3*l = 2*r - o, -2*r = -5*l - 4. Is r a prime number?
True
Suppose -14 = 3*w + 7. Let z = 11 + w. Suppose -z*c + 238 = -406. Is c composite?
True
Let u = -17 - -48. Let o = 70 - u. Is o a prime number?
False
Suppose -13*i + 5403 = -10*i. Is i a composite number?
False
Suppose 1365 = 5*q - 530. Is q prime?
True
Let d(v) = 5*v - 5. Let n be 2/8 + 189/12. Suppose 0 = -4*u - s + 3 + n, 0 = -3*u + 5*s - 3. Is d(u) a composite number?
True
Suppose t - a = -3*a - 37, -t + 3*a = 27. Let b = 58 + t. Is b a prime number?
False
Suppose 5*d - 2*h = -0*d + 629, 4*h = -3*d + 393. Is d a prime number?
True
Is (10/(-3))/((-2)/111) composite?
True
Let q(o) = o**2 + 7*o + 2. Let r be q(-7). Suppose 2*u - 2 = 0, 4*b - 547 = -r*u - 181. Suppose -3*j = 22 - b. Is j prime?
True
Let j(t) = -t**3 - 6*t**2 + 10*t + 11. Is j(-8) a prime number?
True
Let q(l) = 2*l + 3 - 6 - 2. Is q(7) prime?
False
Let y = 71 + -23. Suppose -3*q + 411 - y = -5*z, -5*q = 4*z - 605. Is q prime?
False
Suppose -q + 3*a - 4 = 0, -4*q - 5*a + 17 = -18. Suppose q*w + 16 = -24. Is 97 + (w - -2)/2 composite?
True
Suppose 0 = -3*p - 2*m + 1161, -3*p = p - 4*m - 1568. Is p prime?
True
Suppose 0 = -5*k + 158 + 4107. Is k a prime number?
True
Let n = 16 + -64. Let s = 85 + n. Is s a composite number?
False
Suppose -5*g - 5 = 4*p, -2*p + 3*g = -10 - 15. Suppose -2*w + 12 = -p*w. Let u(o) = o**2 + 4*o + 4. Is u(w) composite?
True
Suppose -1469 - 1007 = -2*q. Is q a composite number?
True
Let s(y) = y**2 - y - 1. Let j be s(2). Let o be 10*j*(-5 - -4). Is (o/6)/((-1)/9) a composite number?
True
Suppose 0*s + 5*s - 10 = 0. Let v(b) = 2*b. Let a be v(s). Suppose 4*g - 168 = 4*x, 5*x - 143 = -4*g + a*x. Is g composite?
False
Let j(t) = t**2 - 9*t + 9. Let u be j(10). Is u*5/((-5)/(-3)) composite?
True
Let y = 2 - -1. Suppose 3*p = 6*p + i - 152, y*p - 140 = 5*i. Suppose -4*d = -p - 218. Is d prime?
True
Let z be (-1)/4 + (-1443)/(-12). Suppose -4*x + 2332 = z. Is x prime?
False
Let x be (-5 - -1)*(-99)/6. Suppose -2*s = -4*c - x, -2*s - s = -3*c - 114. Let q = s - 8. Is q prime?
False
Is (273 