994354)/(-574) + 2/(-7) composite?
True
Let k(x) = 65*x**2 + 3. Let v be k(-4). Suppose r - 5*r = f - 848, -5*r + v = -3*f. Is r prime?
True
Let z = 1245 - -54. Let s = z - 514. Is s composite?
True
Let f(j) = 1. Let w(t) = -38*t - 2. Let m(s) = -5*f(s) + w(s). Is m(-10) composite?
False
Let u(f) = f**3 + f**2 + 5*f - 1. Let z be u(-4). Is (-92)/z - 9250/(-6) composite?
False
Let p = 12472 - 3927. Is p composite?
True
Is -2*3/6 + (-8656)/(-2) a prime number?
True
Let o be 1/(((-2)/3)/(-2)). Suppose -3*v = o*v - 17718. Is v prime?
True
Let y(b) = 3*b + 9. Let v be y(-5). Is ((-937)/v)/(6/36) prime?
True
Let i = 1873 - -1738. Is i a prime number?
False
Let i(d) = -2*d**3 + 7*d**2 + 4*d + 17. Let k be i(-5). Is (-1)/((-4)/2)*k a composite number?
False
Let t be 4/24*-3*10. Let f = -2 - t. Suppose 23 = f*g - 40. Is g composite?
True
Let t(o) = -342*o - 1. Let d be t(-1). Suppose -69 = -s - v, -5*s - 4*v + d = -v. Is s composite?
False
Let h be (8/6)/((-24)/(-54)). Suppose -2*t - 2*q + 1946 = 0, -h*t + q + 2017 = -906. Is t a composite number?
True
Let p = 20 + -15. Suppose 3*z + 5*s - 215 = s, 4*s = p*z - 369. Suppose 3*u = 5*l + 1481, z = -u - 3*l + 576. Is u composite?
True
Suppose -3*z = 8*p - 4*p - 11, p = -2*z - 1. Let i be z + (-8)/(-2) + 67. Suppose i = 3*o + 23. Is o prime?
False
Let w = 6523 - 2580. Is w a composite number?
False
Let t = -7 + 7. Suppose -222 = -y - t*y. Suppose -n - y = -3*n. Is n prime?
False
Let k(t) = -45*t - 124. Is k(-33) a composite number?
False
Let i(s) = -s**3 - s**2 + 3*s + 319. Let r = -49 + 49. Is i(r) a prime number?
False
Suppose 0 + 30 = 5*j. Suppose 3*u - 2*u = 0. Suppose -1194 = -j*b - u*b. Is b prime?
True
Let g(k) = 3*k**2 + 8*k + 3. Let i be g(6). Suppose -2*f = -3*f + 2*s + 102, 0 = -3*f - 2*s + 346. Let y = i - f. Is y a prime number?
True
Let b = -38 + 40. Is (-1)/(b/5 - (-2814)/(-7010)) a composite number?
False
Suppose -19*i + 1005149 = 374406. Is i prime?
False
Let a(t) = 112*t + 11. Let l be -12 + 7 + (-1 - 0). Let o(v) = 111*v + 10. Let d(f) = l*o(f) + 5*a(f). Is d(-6) a composite number?
False
Let g(s) be the second derivative of 5*s**4/12 + s**3/6 + s**2 - 5*s. Let o be g(-2). Let i = o + 141. Is i a prime number?
False
Let v(m) = 7*m**3 + 10*m**2 - 63*m + 7. Is v(17) prime?
True
Suppose 0 = -6*o + 4*o - h + 4, 2*o + 3*h = 4. Suppose 0 = 2*f - 4*z - 3070, -3*f - f + o*z = -6164. Is f prime?
True
Suppose 5*v - v - 5*r - 13 = 0, v - 3*r = 5. Suppose -23 = v*b + 1. Is 1/(-2) - 858/b a prime number?
True
Let d(o) = o**2 + 2*o - 17. Suppose -3*n - r = -35, -2*r = 3*n - 6*n + 47. Is d(n) a prime number?
False
Suppose -4*d + 5*w = -0*w - 14, -5*w = 2*d + 8. Is (111/(-3))/(d/(-11)) a composite number?
True
Suppose -4*j + 520 = -4*f, f + 339 = 3*j - 57. Suppose -j = -t + 4*g + 198, -g = -4. Is t prime?
True
Let c(a) = -a**3 - 3*a**2 + 13*a + 11. Let y be c(5). Is (6 + y)*(12/8 + -2) a composite number?
False
Suppose -691 + 4267 = v. Suppose -4*l + v = 5*n, n + 3252 = 5*l - 1189. Is l prime?
False
Suppose 0 = -5*g + 3*a - 2790, -a + 1129 - 12 = -2*g. Is (14/(-6) - -2)*g a composite number?
True
Let i(v) = -9 - v + 7*v + 0*v. Let b be i(10). Let w = 58 + b. Is w prime?
True
Let h(t) = -9*t**3 + 21*t**2 - 40*t + 13. Is h(-12) a prime number?
True
Is 18708/9 - (-280)/120 prime?
True
Let q(w) = 28*w**2 - 6*w - 18. Let o be q(-6). Let h = 1655 - o. Is h a prime number?
False
Let j be (-90)/(-54)*9/5. Suppose 561 = 6*h - j*h. Is h prime?
False
Suppose 0 = x - 4*x + 21. Let a = 10 - x. Suppose -234 = -a*o + 105. Is o a prime number?
True
Let u(o) = 11*o**2 + 6*o - 7. Suppose -6 = -14*b + 64. Is u(b) composite?
True
Suppose 4*x - 462 = -2*x. Let g = 2710 - x. Is g a prime number?
True
Suppose -4*a = 4*d - 1860, 2*a = -3*a + 5*d + 2365. Is a prime?
False
Let b(u) = -51*u**3 - 7*u**2 - 14*u - 86. Is b(-6) prime?
False
Suppose -4 = -2*l + 6. Suppose -h + 2*z - 3 = 0, 0 = -h + l*h - 4*z + 4. Is (-3 - -2)*-127*h prime?
True
Is -1 + (2 - -2)*(-33416)/(-16) a prime number?
True
Let n(g) be the first derivative of -6*g**2 + 21*g - 11. Is n(-18) composite?
True
Suppose -2*n + 2035 = -2543. Suppose -10*t = -n - 5221. Is t a composite number?
False
Suppose -3*g + 7*g - 16 = 0, 5*s - 52 = 2*g. Let w = 95 - 80. Is 4400/w + (-4)/s a prime number?
True
Let m = 32 + -26. Suppose 12 = m*f - 2*f. Suppose -6*b + 2*b + r + 426 = 0, -b = f*r - 100. Is b a composite number?
True
Let z = 97 + -365. Let f = z - 3. Let t = f - -756. Is t composite?
True
Let l(h) be the second derivative of 5/12*h**4 + 1/20*h**5 + 0 + 4*h**2 + 5/6*h**3 - 3*h. Is l(7) a prime number?
True
Suppose -4*j + 6*j = 24. Let s be 723/j*(-3 + -1). Let w = 560 + s. Is w a prime number?
False
Let z(u) = -3108*u**3 - 4*u**2 - 7*u - 4. Is z(-1) a composite number?
True
Let n(k) = 81*k**2 + 9*k + 1. Is n(-7) composite?
False
Let g(t) be the second derivative of t**4/6 + 3*t**3 + 15*t**2/2 + 24*t + 1. Is g(10) a composite number?
True
Let x = 34469 + -18318. Is x composite?
True
Is (-15)/(-10)*(1 + (-5543)/(-3)) a prime number?
False
Suppose -4*y - 558 = 5*b, -2*y + 447 = -4*b - 5*y. Let k = b - -541. Let s = k + -240. Is s composite?
True
Let u = -10833 - -42626. Is u composite?
False
Suppose 11*j = 17*j + 108. Let l(g) = -17*g - 59. Is l(j) a prime number?
False
Is 4/16 + (-180729)/(-12)*1 composite?
False
Suppose -30*k + 1290037 - 339067 = 0. Is k a composite number?
False
Suppose 2*h - 17 = -5. Suppose h*v - 760 = v. Suppose v = 3*l - 241. Is l a composite number?
False
Suppose 3620 - 1385 = 3*c - 4*t, -t = 4*c - 2980. Is c composite?
True
Suppose -2*n = -6*u + 5*u + 28343, 4*u + 4*n = 113408. Is u composite?
False
Let v = -15 - -15. Suppose -5*c + 3*j + v*j + 1132 = 0, 0 = 5*c + 3*j - 1108. Let z = c + -61. Is z a composite number?
False
Suppose 3*t = 5*t - 5*a - 5, 2*a + 2 = 4*t. Suppose 17*q + t*q - 10727 = 0. Is q prime?
True
Let g = 31 - 29. Suppose g*r - 12*r = -1410. Is r a composite number?
True
Let b = 26414 - -11537. Is b prime?
True
Let k(g) = -1175*g**3 + g**2 + 2*g + 2. Let b be k(-1). Suppose -p - 2307 = -2*h, -b = 13*h - 14*h + 5*p. Is h prime?
True
Let r(h) = 0*h**3 - h**3 + 2*h**3 + 1 + 8*h**2 + 7*h. Let i be r(-7). Is (i/(-2))/((-5)/4310) prime?
True
Suppose 47 - 31 = -4*n, 3*h = 2*n + 173465. Is h a composite number?
True
Suppose -5*h + 2 = -88. Suppose t = -2*t - h. Let k(l) = -3*l**3 + 9*l**2 + 5*l + 11. Is k(t) composite?
False
Suppose 12 = -0*k + 2*k. Let i(q) = -5*q**3 + 7*q**2 + 6*q - 1. Let u(l) = -l**3 + l**2 + 1. Let j(p) = k*u(p) - i(p). Is j(-6) a composite number?
False
Let b(i) = 4*i**3 - 7*i**2 + 75*i + 37. Is b(19) a prime number?
True
Suppose -m + 3*y = -872, -3*m - 3*y = m - 3533. Suppose 4*z = -8*s + 11*s + 1570, 2*z = -2*s - 1056. Let o = m + s. Is o prime?
False
Let n be 8 - (2 - (-3)/3). Suppose 1968 = 4*c + n*z, 2000 = 4*c - 3*z - 0*z. Is c prime?
False
Let o(j) = 17*j**3 - j**2 + j - 1. Let v be o(2). Suppose 3*r = w - v, -w + 36 + 83 = 4*r. Is w composite?
False
Let z(w) = 15*w**3 - 9*w**2 - 13*w + 19 - 8*w**3 - 6*w**3. Is z(15) composite?
True
Let l(y) = -y**3 - 6*y**2 - 6*y - 5. Let b be l(-5). Suppose b = r + 3, 0 = -2*u - 2*r - 2*r + 488. Is 1 - 7/((-7)/u) a prime number?
True
Suppose -5*v - 4985 = -10*v. Suppose 4*b - 2*t + 7*t - v = 0, 0 = -5*b - 3*t + 1243. Suppose -5*p = -p - b. Is p a composite number?
True
Is ((-1512875)/20)/(-19) + (-1)/4 a composite number?
True
Let x be -2*((-2 - 1) + -53). Let k = -167 + x. Let w = k + 161. Is w prime?
False
Let f(o) = 95*o**3 - 4*o**2 + 3*o + 29. Is f(5) a prime number?
False
Suppose -274 = -4*v + 3*l, -3*v + 40 = -4*l - 169. Let q(n) = -13*n + v*n + 0*n + 32*n - 13. Is q(6) composite?
False
Let f(p) = p**3 - 8*p**2 + p - 7. Let l be f(8). Is 79 - (-4 - (l + -2)) a prime number?
False
Let f(r) = -45*r**3 + 3*r**2 - 4*r - 5. Suppose -5*v - 19 = 4*y - 0*y, y + 1 = 0. Is f(v) prime?
True
Let u be 3417*(-4)/(-12)*4. Suppose -u = -4*x - 0*x. Is x composite?
True
Let j = -80 + 82. Suppose -j*u = -4*r - 11002, -5*u = r - 21861 - 5677. Is u composite?
False
Let p(y) be the second derivative of -y**4/12 + 11*y**3/6 - 8*y**2 - 7*y. Let v be p(9). Suppose 2*s + 49 = 3*i - 22, 4*i = -v*s + 76. Is i a prime number?
False
Suppose 0 = 4*b - 2*c - 56, b - 32 = -b + 3*c. Suppose 3*s - 