 46. Suppose -2 - o = -4*n. Suppose 5*z = n - 2, -43 = -2*r + z. Is r a composite number?
True
Let m(a) = -a**2 + 1. Let g be m(-1). Is -12*((-10)/8 - g) prime?
False
Let t(b) = 53*b - 1. Let n(w) = -54*w + 1. Let k(l) = -5*n(l) - 4*t(l). Let p be k(3). Suppose -p = -4*j - a, 2*j + a = -0*a + 87. Is j prime?
True
Suppose -4501 = -4*h - v, -v - 4492 = -4*h - 5*v. Suppose -4*p + 2*p = -h. Is p prime?
True
Suppose -5*l + 3*n - 36 + 1 = 0, -25 = l + 3*n. Let i be 4/l*-2*5. Suppose 9*h = i*h + 185. Is h a prime number?
True
Let z(r) = -4*r + 7. Is z(-6) prime?
True
Let g(p) = -p - 1. Let u(j) = -9*j - 10. Let d(o) = g(o) - u(o). Is d(7) prime?
False
Is (-19)/95 - (-156)/5 composite?
False
Suppose m = -6*m + 1015. Is m composite?
True
Let p = 11 + 44. Suppose -9 = -4*a + 3*u, -2*a + 1 = -u - 4*u. Suppose -2*v + 2*r = v - p, a*v = -3*r + 60. Is v a prime number?
True
Let u(c) = 13*c - 12. Is u(13) prime?
True
Let t(w) = 2*w**3 - w**2 - w - 7. Is t(9) composite?
False
Let c(j) = 23*j**3 - j**2 - j + 1. Is c(1) composite?
True
Let v(f) = -7*f + 4. Let b be (-474)/54 + (-2)/9. Is v(b) composite?
False
Suppose -4*k = k + 15, 4*w = -3*k - 9. Suppose w = -2*p - 839 - 323. Let z = -414 - p. Is z a prime number?
True
Let k be ((-2)/8)/(1/(-8)). Suppose -k*i + 6*i + 16 = 0, -3*o = 2*i + 8. Suppose y - 2*y + 287 = o. Is y prime?
False
Suppose 0 = 4*o - 8*o + 812. Is o composite?
True
Is ((-18)/4 - -4)*-422 composite?
False
Let c(m) = -114*m + 1. Let y = 8 + -9. Is c(y) a prime number?
False
Let f = -2 + 6. Suppose -f*p - 453 = -5*a + 2*a, 5*p - 15 = 0. Is a a prime number?
False
Let k(i) = 7*i - 88. Let j(p) = 20*p - 263. Let g(w) = -6*j(w) + 17*k(w). Is g(0) composite?
True
Suppose -13 = -5*w + n, -3*w + 0*w - 4*n + 17 = 0. Suppose 0 = w*d - 6*d + 57. Is d a composite number?
False
Let i(o) = -50*o + 7. Is i(-5) prime?
True
Is 14598/14 - 8/(-28) a composite number?
True
Let n be (-2 + 1)*(-9 + -1). Suppose 2*f = 2*b - n, -2*f = -0 + 10. Suppose -2*z = u - 1, -u - 4 = -b*u + 3*z. Is u a prime number?
True
Suppose -75 = 5*t - 11850. Suppose t = 5*u + 5*h, 0*u + h = 3*u - 1405. Is u composite?
True
Let x = 48 - 9. Suppose 14 + x = u. Is u prime?
True
Let r(y) = 8*y**2 - y + 1. Let z be r(-2). Suppose -4*b + z = f, 0*f + 5*f - 5*b = 250. Is f prime?
True
Let n = 3 - 1. Suppose 0 = -3*b - n*k + 17 + 12, 4*b - 24 = k. Is b a prime number?
True
Let w(x) = -x**3 + 4*x**2 + 4*x + 3. Let c be w(5). Let a be (44/(-12))/(c/60). Suppose 3*l - 9 = 0, -2*u - 4 = 4*l - a. Is u a prime number?
True
Suppose -6*w + 118 = f - w, -2*f + 3*w + 275 = 0. Is f a composite number?
True
Let a be (1/3)/((-2)/6). Let k be 4/1*a/(-2). Suppose -5*l - 5*j + 130 = 0, -3*l = -5*j - 72 + k. Is l prime?
False
Let n(c) = c + 3. Let g be n(-3). Let f = 2 + g. Is 2/(f/85) + 0 a prime number?
False
Let y(f) = -f**3 + 2*f**2 + f + 9. Is y(-8) a composite number?
False
Suppose 11 = -3*d + 68. Suppose -212 = 15*l - d*l. Is l a prime number?
True
Let w(j) = 44*j + 25. Let c(r) = -131*r - 76. Let m(t) = -4*c(t) - 11*w(t). Is m(12) composite?
False
Suppose -3*f = 24 - 3. Let x = 21 + f. Is x prime?
False
Let q(g) = -g**3 - 3 + g + 1 - 3*g**2 - 3*g - g. Is q(-4) composite?
True
Suppose -5*n + 3*n + 938 = 0. Is n a prime number?
False
Suppose 5*o + y + 3*y + 196 = 0, 80 = -2*o - 2*y. Let q be o - 2/(3/3). Is (q/(-3))/(4/6) a prime number?
True
Let b be (1/(-2))/(1/(-2)). Let y(r) = 77*r + 2. Is y(b) prime?
True
Let k(f) = -3*f**2 - 10*f**3 + 5*f**3 + 1 + 2*f**2. Suppose -6*i + i = -5*h, i + 5*h = -12. Is k(i) a composite number?
False
Let b = -5 - -7. Suppose 5*x - 189 = -4*j, 2*x + 2*x = -b*j + 150. Is x composite?
False
Let r be (-10)/3 + 2/6. Suppose -85 = 2*o - 333. Is o/6 + r/(-9) prime?
False
Suppose 4385 = -n + 6*n. Is n prime?
True
Suppose 8 = -4*u, 0*i - 3*u + 9 = 3*i. Suppose 0 = -3*k, -2*w + i*k + 580 = 2*w. Is w composite?
True
Suppose -o = 3*f + 252, -o + 104 = -5*f - 308. Is (-2 - -2 - f)/1 composite?
False
Let x(q) be the third derivative of 0*q + 0 + 7/6*q**3 - 2*q**2 + 1/12*q**4 + 1/30*q**5. Is x(-7) composite?
True
Is 2/12 + (-52648)/(-48) composite?
False
Let n(r) = -r**3 + 14*r**2 + 6*r + 13. Is n(12) a prime number?
True
Suppose -1 + 3 = i. Suppose 2*s - 43 + 162 = 5*o, -19 = -o + i*s. Is o prime?
False
Let j = -13 - -18. Suppose 0 = j*u - u - 20. Is (u/(-15))/((-2)/66) prime?
True
Let q(m) be the third derivative of -m**4/8 + 5*m**3/3 + 2*m**2. Let g be q(-10). Suppose 0 = 3*h + h - g. Is h a prime number?
False
Suppose 2*w = 6*w - 4388. Is w a prime number?
True
Let b = 0 - -2. Let d(r) = 40*r**2 + 2*r - 3. Is d(b) a prime number?
False
Suppose -5*a = -558 - 1927. Is a a composite number?
True
Let q = 23 - 9. Is q a prime number?
False
Is 1/7 + (-152)/(-14) a prime number?
True
Suppose 6 - 21 = -4*m + t, t + 20 = 5*m. Suppose 0 = 5*z - 35 - m. Suppose -q = 3*h - 3 + z, -3*q + h = -25. Is q composite?
False
Suppose 20*b = 19*b + 106. Is b a composite number?
True
Suppose -w + 465 = -2*w. Let g = 724 + w. Is g composite?
True
Suppose -2*l = -1290 - 628. Is l a prime number?
False
Let n = 266 - 109. Is n a prime number?
True
Let t = 813 - 226. Is t a prime number?
True
Is (2 + -1)/((-1)/(-587)) a composite number?
False
Suppose 3*c - 6*c + 2211 = 0. Is c prime?
False
Suppose 0*w - 145 = -5*w. Suppose w - 156 = -h. Is h composite?
False
Let f(d) = 40*d**2 - 8*d - 5. Let r be f(7). Is 1/(-3*(-3)/r) a prime number?
True
Suppose 8 = 4*t - 16. Suppose -2*i + 0 = -t. Suppose r + i*r = 76. Is r composite?
False
Suppose 19*x = 18*x + 15. Is x composite?
True
Let n(m) be the third derivative of -m**6/120 - m**5/12 + m**4/24 + 7*m**3/6 - m**2. Is n(-8) a prime number?
True
Let o(a) = -a**3 - a**2 - a + 1. Let r(s) = s**3 - 2*s**2 - 2*s + 4. Let k(g) = -g - 2. Let x be k(-4). Let f(y) = x*o(y) - r(y). Is f(-2) a prime number?
False
Suppose 0*w - 777 = -3*w. Suppose 82 = -a + w. Is a prime?
False
Is ((-2 - -3) + 325)*(-3)/(-6) a prime number?
True
Suppose -4 = -4*l - 0. Is 2 + (1/l - 1) a prime number?
True
Suppose -4*g - 2477 = -5*t, -4*t = -5*g + 330 - 2317. Is t a composite number?
True
Suppose u - 420 = 457. Is u a prime number?
True
Let d(o) = 4*o + 3. Let a be d(-2). Let r = a - -16. Is r prime?
True
Suppose -2 = k + f, -3*k + 4 = 2*k - 2*f. Suppose -2*h - o = -980, -3*h - 5*o - 321 + 1784 = k. Is h prime?
True
Let p(c) = 5 + c**2 - 7*c + 4*c - 13. Let j be (0 - 1)/(1/(-6)). Is p(j) composite?
True
Suppose 4*i = 12 - 4. Let k(h) = -h**2 + 2*h + 2. Let l be k(i). Suppose l*s + 5*o - 118 = 40, 2*o = 5*s - 453. Is s a composite number?
False
Let g(w) = 3*w + 5. Let k be g(-6). Let l = k + 47. Is l a prime number?
False
Let y(r) = -r**3 - 8*r**2 - 5*r - 2. Let s be y(-5). Is 9/6*s/(-6) a composite number?
False
Let d(v) be the second derivative of -v**4/12 - v**3/6 + 93*v**2/2 + 2*v. Is d(0) a prime number?
False
Suppose -3*i = 3*p - 18, -7 = -5*p - 2*i + 11. Suppose -p*g = 5 - 7. Is 16 - g/(-2)*-4 prime?
False
Suppose k - 6*k - 10 = 0. Is (-1 - k) + 30/5 prime?
True
Suppose 7*i - 561 = 2078. Is i composite?
True
Let h = -9 + 7. Is ((-2)/3)/(h/381) a composite number?
False
Suppose -3*b + 174 = -147. Suppose 3*r - b = 52. Is r a prime number?
True
Suppose 0*p + 3*h = 2*p - 593, -5*p + 3*h + 1487 = 0. Is p prime?
False
Let o(n) = -n**2 + 16*n + 4. Let l = -6 - 1. Let q be l*(0 + -1)/1. Is o(q) composite?
False
Suppose -4 - 4 = -4*g. Is 762/12*1*g prime?
True
Let z = -6 + 16. Suppose -3*h + z = -5*k, 3*k + k + 8 = 0. Suppose 2*o + 3*x - 44 = h, 4*o + 44 = 6*o - 4*x. Is o prime?
False
Suppose -2*u = -128 + 500. Is (-1 + -5)/(12/u) composite?
True
Let o(u) = 15*u - 14. Let g(p) = -8*p + 7. Let x(z) = -5*g(z) - 2*o(z). Is x(6) a composite number?
False
Suppose 3*h - 13 = 11. Suppose y - 47 = h. Suppose 0 = 3*i + 13 - y. Is i a prime number?
False
Let b = 5 + -6. Let z be b + -1 - 2/(-1). Suppose a - 7 = -z. Is a a prime number?
True
Let h(p) = p**3 + 11*p**2 - 4*p - 7. Let v be (30/9)/(2/(-6)). Is h(v) composite?
True
Suppose 0 = -4*o + 4*x, -x + 5*x = -o - 20. Let d be o/5*10/(-4). Is (110/6)/(d/6) a composite number?
True
Let h(u) = -u - 1. Let g be h(-3). Let j be 54/12 + g/4. Suppose -2*b = 4*y - 471 + 85, -j*b + 3*y + 913 = 0. Is b prime?
False
Let v be (-2)/(-4)*8 - 1. Suppose 0 = -3*b + 2*