Let t be (-10)/(-5)*x/(-2). Is ((-15)/t)/(9/(-12)) a composite number?
True
Suppose 4*w + 0*w = 4*t - 4, -5*w = -2*t - 1. Suppose -6 = s - t*r, -3*r - 22 = -5*s - 6*r. Suppose -s*l + l = -67. Is l composite?
False
Let i(c) = -c**2 - 8*c - 8. Let m be i(-6). Is m/(-18) + 1545/27 a prime number?
False
Let f(q) = -24*q + 3. Let c(i) = -25*i + 4. Let w(b) = 4*c(b) - 5*f(b). Is w(1) prime?
False
Suppose -s = 2*t - 6*t - 118, -5*t = 5. Suppose -5*w + s = -246. Suppose 4*d = w + 284. Is d a prime number?
True
Let s(c) = -c**2 + 5*c + 7. Let d(x) = x**2 + 10*x + 1. Let a be d(-10). Let z(l) = 4*l**2 + 1. Let b be z(a). Is s(b) a prime number?
True
Suppose 2*n + 0*n = -4. Is (-6)/n + -2 - -78 prime?
True
Let v(z) = z**2 + 7*z - 11. Is v(-22) composite?
True
Let o be (1*2)/((-5)/(-265)). Let k = -6 - -12. Is o/k*12/4 a composite number?
False
Let x = -986 - -1543. Is x prime?
True
Is 771/21 + 16/56 composite?
False
Suppose -b - 1910 = -2*x, 2*x = -2*x - 2*b + 3804. Is x a composite number?
False
Let y be 1/(-3) + (-30)/(-9). Suppose y*r - 4*r + 497 = 0. Is r prime?
False
Let f(r) = -32*r + 5. Is f(-4) a prime number?
False
Let z(c) = c - 2. Let l(u) = -u + 4. Let n be l(7). Let g be z(n). Let y(q) = -2*q**3 + q**2 + 5*q + 7. Is y(g) a prime number?
True
Let i = -812 - -1299. Is i a prime number?
True
Suppose 8 = t - 30. Let c be (-2)/4 + 33/(-2). Let w = c + t. Is w a prime number?
False
Let m = 8 + -4. Is 1280/6 + m/(-12) prime?
False
Let y(b) be the first derivative of 26*b**2 - 9*b + 2. Is y(10) a composite number?
True
Let r = -3 - -6. Suppose -8 = -5*v - 3, 2*v = -r*y + 20. Suppose -y*p = -g - p - 1, -2*p = -4*g + 68. Is g prime?
True
Let h = 628 + 1299. Is h a prime number?
False
Let u = -420 + 643. Is u a composite number?
False
Let v(f) = 69*f - 7. Is v(12) a composite number?
False
Let y(f) = f**3 + 8*f**2 + 2*f + 5. Is y(4) composite?
True
Let f(u) = 26*u - 17. Is f(8) composite?
False
Is (-1 - (-1203)/12)*4 a prime number?
True
Let g = -9 - -7. Let c be ((-28)/(-8))/(2/(-4)). Is (-515)/(-35) + g/c prime?
False
Let r(f) be the third derivative of -1/2*f**3 + 0*f + 0 + 2*f**2 + 7/24*f**4. Is r(8) a prime number?
True
Let s(w) = 8*w**3 - 3*w - 9. Is s(4) prime?
True
Let g be 61/(24/22 - 1). Let o = 1381 - g. Is 3/12 - o/(-8) prime?
True
Let i(o) = o + 7. Let m be i(-7). Is 253/3*(m - -3) composite?
True
Suppose 1561 + 524 = 3*y. Is y a prime number?
False
Let z(r) = -r**2 - 2*r + 1543. Is z(0) a composite number?
False
Suppose 5*w + 4*r = 81 + 64, w - r = 38. Is w a composite number?
True
Let o(w) = -2*w**3 - 4*w**2 + 6*w - 1. Suppose -4 = 2*z + 4, 2*z = -2*u - 18. Is o(u) a composite number?
True
Let p(k) = -2*k**3 - k**2 + 1. Let o be p(-1). Let j be ((-2)/(-4))/((-2)/(-44)). Suppose -o = -f + j. Is f a composite number?
False
Let z(p) = 7*p**2 - 12*p + 5. Is z(6) a prime number?
False
Let t = -5 + 1. Let s = 27 - t. Is s a composite number?
False
Let q = 754 - 382. Suppose q = 3*v + v. Is v composite?
True
Let n(s) be the second derivative of -3*s**5/20 + s**4/4 + s**3/2 + s**2/2 - s. Let t = 9 + -11. Is n(t) composite?
False
Suppose -2*d = -3*y - 0*y + 6165, 6 = -2*d. Is y a composite number?
False
Let m(u) = 329*u**2 + u + 1. Is m(2) a prime number?
True
Let x(u) = -15*u - 16. Is x(-7) composite?
False
Let v(i) = i**2 + 2*i + 1. Let o be v(-3). Suppose 59 - o = u. Is u a prime number?
False
Let r(m) = 3*m**2 + 4*m + 9. Is r(8) a prime number?
True
Is (-88352)/(-20) + (-6)/10 prime?
False
Suppose 1016 = b + 3*b. Suppose b = -3*d + 1094. Suppose 4*w = -3*z + d, 0 = 6*w - 2*w - 4*z - 252. Is w composite?
False
Suppose -3*t + 5*o - 34 = 0, -6*o - 74 = 3*t - o. Is 132/t*27/(-6) composite?
True
Is (2/3)/((-8)/(-1956)) composite?
False
Suppose 0 = -3*v + 3, -2*j + 3*v + 6 = -15. Suppose -2*q - 46 = j. Let p = -7 - q. Is p a prime number?
False
Let k = -130 - 36. Let y = 87 + k. Let t = 132 + y. Is t prime?
True
Let f(a) = 42*a**2 - 3*a + 1. Let d be f(3). Suppose 3*r + 2*r - d = 0. Is r a composite number?
True
Let s = 2 - -2. Is ((-14)/21)/(s/(-3126)) composite?
False
Let h(b) be the first derivative of -6*b**2 + b - 3. Let c be h(-2). Suppose w + 0*l = l + c, -4*w + l + 100 = 0. Is w composite?
True
Let a(k) = 4*k**2 - k + 1. Let b be a(1). Let n be (b/3)/(4/6). Suppose -n*g - 30 = -104. Is g prime?
True
Suppose -5 = -5*k + 4*k. Suppose 692 = k*p + 2*s - 398, 0 = 2*p - 3*s - 436. Suppose -p = -4*x + 162. Is x composite?
True
Let k = 14 - 9. Let y(u) = 3*u**3 - 8*u**2 + 7*u - 5. Is y(k) prime?
False
Suppose -v - 3*v = z - 17, z - 9 = -2*v. Suppose -v*x - 4*d = -1024, -3*x - 4*d + 1281 = 2*x. Is x a composite number?
False
Let y = 191 + 171. Let h = 39 - 37. Suppose h*m + 5*i + 28 - 216 = 0, -4*m - 3*i + y = 0. Is m composite?
False
Suppose v + 4*g + 154 = -v, -4*v = -4*g + 248. Let d = -44 - v. Let c = d + -4. Is c prime?
True
Suppose k - 565 = -4*k. Is k prime?
True
Let i(v) = -v**3 + 9*v**2 - 10*v + 19. Let n be i(8). Suppose 4*c - n*r - 1354 = 19, -4*c + 2*r = -1378. Is c prime?
True
Let q = -3385 + 7776. Is q a prime number?
True
Let d(f) be the third derivative of f**5/30 + f**4/3 + 2*f**3/3 + f**2. Suppose -n = -5*n + 2*r - 34, -3*r = -9. Is d(n) prime?
False
Let y = 1254 + -875. Is y composite?
False
Let j(u) = -2*u - 1. Let h be j(-3). Suppose 12 = -4*k, -11 = -h*q + 4*k + 11. Is (q + (-95)/(-1))*1 a prime number?
True
Let m be 1 - (-1 - -2)/1. Suppose 5*s = u + 30, -5*u = 4*s - m*u + 5. Suppose -s*l = 10, y = -y - 5*l + 4. Is y prime?
True
Suppose 0 = -9*v + 4*v - 15. Let c = v + 7. Is (-306)/(-12) - 2/c a prime number?
False
Suppose b = -2*h - 8, 4*h + 8 = -3*b - 12. Let m be 2/(h/(-235) - 0). Suppose 3*y - 4*f = m, -y - 2*y + 260 = f. Is y a composite number?
True
Let w = 415 + -122. Is w a prime number?
True
Let f(r) = 5*r**2 - 4*r + 5. Is f(-6) a composite number?
True
Let p(r) be the third derivative of -r**5/60 - r**4/3 - 3*r**3/2 - 3*r**2. Is p(-6) composite?
False
Let w = 4 + 51. Is w a prime number?
False
Is 2/(-1*10/(-15445)) composite?
False
Let c(i) = -i**3 + 7*i**2 - i + 4. Let q be c(6). Let o = q + -23. Is o a composite number?
False
Suppose -2*u - 2*q + 222 = 0, -q = -4*u - 2*q + 459. Suppose 5*s - 7*o + 2*o = 240, 2*s + 2*o - u = 0. Is s a composite number?
False
Let u(s) = -s**3 - 3*s**2 + 8*s + 3. Let n(o) = -7*o**2. Let v be n(-1). Is u(v) a prime number?
False
Is (-1 - -54)/((-1)/(-1)) a prime number?
True
Let a(h) = -h**2 - 9*h + 2. Let f be a(-9). Suppose 13 = f*o - o. Is o prime?
True
Let g(u) = u**3 + 5*u**2 - 6*u + 2. Suppose 0*o = -3*o - 18. Let z be g(o). Suppose 0 = -z*r - 5*y - 0*y + 95, 2*r + 3*y = 101. Is r composite?
True
Suppose -x + 36 = s, 2*x - 7*x + 102 = 3*s. Is (-4 - 0)/((-6)/s) a prime number?
False
Let m = 590 - -57. Is m composite?
False
Let z(m) = 140*m - 33. Is z(8) prime?
True
Let y = 9 - 6. Suppose -y*f = f. Suppose 4*n + m - 481 = f, 4*n - 47 = m + 424. Is n prime?
False
Let t(x) = -80*x + 31. Is t(-11) composite?
False
Let b(q) = 238*q**2 - 3*q - 5. Is b(-2) composite?
False
Let w(c) = -3*c - 7. Let d(z) = -8*z - 20. Let n(l) = 4*d(l) - 11*w(l). Let f be n(3). Is ((-79)/(-2) - f)*2 composite?
False
Suppose 4*p - z - 8397 = 0, 0 = -4*p + 3*z + 6397 + 2002. Is p a composite number?
False
Let m be 3/(-1)*-1 + 2. Suppose -3*i + 6*i = 348. Let r = m + i. Is r a composite number?
True
Let r(u) be the first derivative of u**4/2 - 8*u**3/3 - u**2/2 + 3*u - 1. Is r(6) prime?
False
Let y(m) = 2*m**3 - 7*m**2 + 2*m - 106. Let i(s) = 3*s**3 - 10*s**2 + 3*s - 159. Let j(u) = -5*i(u) + 7*y(u). Is j(0) prime?
True
Let w(q) = q + 18. Is w(-7) prime?
True
Let u(x) = 2154*x**2 - 2*x + 1. Is u(1) prime?
True
Let l(d) = -d**3 + 11*d**2 - 9*d - 11. Is l(8) a prime number?
True
Is -1 + 1 + 9/(-3) - -1886 a prime number?
False
Suppose 2*b + 52 - 2456 = 0. Let c(f) = 4*f. Let j be c(1). Suppose -3*y + b = y - 2*t, 0 = 4*t - j. Is y prime?
False
Let i(b) be the second derivative of b**6/360 + b**5/30 + b**4/8 + b**3/2 + 2*b. Let k(p) be the second derivative of i(p). Is k(4) a prime number?
False
Is 2/6 - (-1)/((-3)/(-22352)) a composite number?
False
Let x = 259 + -48. Is x a composite number?
False
Suppose -y + 3 = 0, 0 = -2*x - 3*x + 5*y - 2160. Is (x/9)/(4/(-12)) a prime number?
False
Suppose 2*q - 506 = 