 = n + -61. Is 2/(-1 - 1) - p a composite number?
False
Suppose 2*h = -d - 9 - 5, 3*h + 7 = 2*d. Is -1*1 - (-82 - d) a composite number?
True
Let w(v) = 87*v**3 + 3*v**2 - 2*v + 3. Is w(2) a composite number?
True
Suppose -6*n - 13 = -31. Is -1 - -1 - (-717)/n a composite number?
False
Suppose -4*r = -966 - 1774. Suppose -2*l + 2*s = -478, 0 = -4*l - s - r + 1621. Is l a prime number?
False
Let f = 3547 - 780. Is f composite?
False
Suppose 0 = 2*c - 3 - 5. Suppose -c*b - p - 68 = 3*p, 0 = -b + 3*p - 25. Is (b/3)/(2/(-6)) prime?
True
Suppose 4*c + r = 17, -4 - 14 = -c - 3*r. Is 641/4 + c/4 a composite number?
True
Let h(d) = -13*d**2. Let y be h(-1). Is (-2)/y - 2718/(-78) prime?
False
Let w(q) = -q - 4. Let d be w(-3). Let k(r) = -r + 2*r + 1 - 4*r. Is k(d) prime?
False
Let t be 108/20 + 4/(-10). Suppose -3*o + 42 = -t*b, -63 = -6*o + 3*o - 2*b. Is o composite?
False
Suppose x - 455 = -93. Suppose 3*c - 6*c - x = -2*y, 0 = 4*y + 3*c - 760. Is y composite?
True
Let x(h) = -h**3 + 7*h - 1. Let v be x(-3). Suppose c - v*c + 460 = 0. Is c a composite number?
True
Let h be 0 + -2 + 4/1. Let n be ((0 - 0) + 1)*h. Suppose -1 - 46 = -g - 2*s, n*g = 2*s + 94. Is g prime?
True
Let v(l) = l**3 - 8*l**2 + 9*l - 7. Let b(t) = -t - 3. Let s be b(-4). Let i be (1*(s - 8))/(-1). Is v(i) a prime number?
True
Suppose 0 = -22*b + 23*b - 1477. Is b a prime number?
False
Is (-1896)/(-16) - 1/(-2) a prime number?
False
Let l(n) = n - 3. Let j be l(6). Suppose 0 = 3*o - j*x - 0 - 9, -5*o + 9 = -3*x. Suppose -2*f - 4*w + 58 = o, -3*w = -0*w - 6. Is f composite?
True
Let w(s) = -59*s - 2. Is w(-5) a composite number?
False
Suppose -4*r = -8*r. Suppose -148 = -3*a + 2*b - 1, r = -5*a + b + 245. Is a a composite number?
True
Let v = -481 + 752. Is v composite?
False
Suppose -564 = -4*m + 200. Is m a composite number?
False
Let x(l) = -l + 2. Let s be x(3). Let h = s - -1. Suppose -5*o + h*o + 235 = 0. Is o a prime number?
True
Let n = 2875 - 1206. Suppose -5*x = -4*o - n, -3*o - 1701 = -5*x - 7*o. Is x prime?
True
Let z be 12/9*-3*1. Let k(h) = 7*h**2 + 7*h + 5. Is k(z) prime?
True
Is (1 - (-2508)/16)*4 a prime number?
True
Let m(f) = 2*f**3 - 10*f**2 + 6*f + 7. Let y = -3 + 9. Let g be m(y). Let s = g - 80. Is s prime?
False
Suppose -3*q = 2*h - 6*h - 538, 0 = -2*q + 5*h + 361. Is 12/8 + q/4 a prime number?
False
Suppose -3*x + 11 = -5*j - 7, -4*x + 13 = -3*j. Let c be j/(-9) - (-13)/(-3). Let n(v) = v**2 - 2. Is n(c) composite?
True
Suppose 0*i = -i + 4*c + 21, 3*i - 18 = 3*c. Suppose n - 1 = i. Suppose n*d - 359 = 3*w - 136, 2*w + 563 = 5*d. Is d a composite number?
False
Let p = -330 + 2131. Is p a prime number?
True
Let t(y) = -8*y**2 + 7*y. Let b(a) = a. Let q(u) = -6*b(u) + t(u). Let v be q(-1). Is 17*5*v/(-15) a composite number?
True
Let q(h) = 46*h**2 + 11*h - 1. Let d(z) = 9*z**2 + 2*z. Let b(o) = 11*d(o) - 2*q(o). Let i be b(-3). Let s = 102 - i. Is s a composite number?
False
Let a be 0/((-3)/(-6)*-2). Suppose 4*h - 6*r + r = 189, a = -5*h + 3*r + 246. Is h composite?
True
Suppose -7*s + 18*s - 41074 = 0. Is s composite?
True
Is (2390/15)/((-4)/(-6)) a prime number?
True
Let z(x) = 33*x**2 + 2*x + 4. Let o(u) = 33*u**2 + 2*u + 3. Let p(n) = 4*o(n) - 3*z(n). Let q be p(2). Suppose -2*b = 2*b - q. Is b a composite number?
True
Let r(b) be the second derivative of b**5/20 + 5*b**4/12 - b**3/6 + 3*b**2 + b. Let q = -2 + -3. Is r(q) a composite number?
False
Is 32621/6 - (2 + 39/(-18)) prime?
True
Let p = 2 - 1. Suppose r = -p + 3. Suppose -r*n + 55 = -5*g, -3*n - 2*g + 45 = -28. Is n composite?
True
Let w be -6*(16/(-12) + 1). Suppose w*r - 3*r = -745. Is r prime?
False
Suppose -2*g - 9 + 1 = 0. Let m = g + 6. Is m a composite number?
False
Suppose -4*h + 94 = -502. Is h a composite number?
False
Let q(d) = 36*d**2 + 1. Is q(-2) composite?
True
Suppose q - 2*n = -7*n + 6, 18 = 3*q - 5*n. Let x be 1 - (0 - -1 - q). Suppose -t + x*k + 23 = 2*k, -5*k - 25 = 0. Is t a composite number?
False
Is 21366/22 + 4/(-22) a composite number?
False
Let i(j) = 355*j - 13. Is i(2) prime?
False
Suppose 0 = -2*p + 4, 2*l + 4*p - 2 = 6*p. Let z = l - -10. Is z a composite number?
False
Suppose -w + 3*c + 193 = 2*c, 5*w = -c + 995. Suppose 0 = -4*s + 5*l + 163, -w = -3*s - s - 2*l. Is s prime?
True
Let n(w) = -84*w - 4. Let t(p) = 168*p + 9. Let i(a) = 7*n(a) + 3*t(a). Is i(-1) a prime number?
True
Let q(a) = -a**2 + 10*a - 12. Let x be q(8). Suppose u + t = 264, x*u - 2*u - 2*t - 532 = 0. Is u prime?
False
Suppose -4*s = -2*o + 728, 3*o + 2*s = 6*o - 1084. Suppose -u - 43 = -o. Is u a prime number?
True
Let f = -11 - -8. Let t(d) = d + 3. Let c be t(f). Suppose c = -m - m + 44. Is m a prime number?
False
Let y(b) = b**2 - 9*b - 8. Let p be y(10). Is p/(3 - (-145)/(-49)) prime?
False
Let a(v) = -v**3 + 7*v - 12 - 8*v**2 + 0*v**2 - 16*v + 7*v. Is a(-11) composite?
False
Let d be (-2 - 23/(-2))*2. Let z be 4/6*d*15. Suppose 3*u + 2*u - z = 0. Is u composite?
True
Suppose -9 = -2*c + 3. Let z = -4 + c. Suppose -3 = -z*b - 7, -30 = -2*j - 4*b. Is j a prime number?
True
Let p(h) = -h - 5. Let z be p(-7). Suppose -7 = w - z. Is 126/10 + (-2)/w prime?
True
Let d be (1588/(-6))/(6/(-9)). Suppose -n + v = 4*v - 226, 5*v = 2*n - d. Is n a composite number?
False
Let s = 138 + -51. Suppose -q - 194 = -2*t, -t - q = q - s. Is t a composite number?
True
Suppose -j + 2*r = 3, 0 = 8*j - 3*j - 5*r. Suppose 0 = j*s - 2*s - 25. Is s a composite number?
True
Suppose -3*a + 998 = 5*y, 5*y - a = a + 993. Is y prime?
True
Let y(p) = 13*p**2 + 0*p + 14*p**2 + 0*p - p. Is y(1) composite?
True
Let r = -160 - -241. Let i = r - 44. Is i a prime number?
True
Let d = -549 - -904. Is d prime?
False
Let h = -6 + 8. Let d = -113 + 168. Let g = d - h. Is g a prime number?
True
Let q = 829 - 398. Is q a composite number?
False
Let h(g) = 3*g**2 + 10*g - 7. Let j(m) = -3*m**2 - 9*m + 7. Let a(x) = -4*h(x) - 5*j(x). Is a(5) prime?
False
Let b = 2 + 0. Suppose 2*n - 5*q = 413, 3*n - 4*q - b = 607. Is n a composite number?
False
Suppose -8*o + 9*o = 5. Suppose 3*c - g = 159, o*g - 61 = -c - 8. Is c prime?
True
Let i = 9 - 4. Let s = 5 - i. Let r = 6 + s. Is r prime?
False
Let x be (-20045)/(-30) + 1/(-6). Is 1/(-2) - x/(-8) prime?
True
Let z be 2/(-1) + (-52)/(-4). Is -1 + z + (5 - 4) prime?
True
Suppose 2*v = 4*s + 106 - 824, v = -3*s + 551. Suppose -2*r = -s - 240. Is r a prime number?
True
Suppose -499 = 5*h - 29. Let w = -39 - h. Is w a composite number?
True
Let y(m) = -60*m - 1. Is y(-1) a composite number?
False
Let f(w) = -59*w**2. Let g be f(1). Let b = -42 - g. Suppose 5*a = 47 - b. Is a composite?
True
Is (-6)/(-3) - (-1002)/2 a composite number?
False
Suppose -g + o = -54, 5*o - 25 = -0*o. Let y = 57 + -33. Let p = g - y. Is p a prime number?
False
Suppose o - 19 = r + r, 5*r = -o - 65. Is 6/r + 263/2 a prime number?
True
Suppose -2*h = -0*h - 62. Is h a prime number?
True
Let d(o) = 2*o**2 + 6*o + 2. Let w be d(-4). Let k be 101/(-3) - 8/(-12). Let v = w - k. Is v composite?
False
Let m be (7/2)/((-1)/142). Let c = m + 798. Is c a composite number?
True
Suppose -4*v + 111 = -4*g + 11, -4*g - 80 = -3*v. Suppose 0 = -q - 4*q + v. Suppose 80 = b - 2*t + 3*t, q*b = 4*t + 296. Is b a composite number?
True
Suppose 0 = r - 4*r + 690. Suppose 0 = -3*x + x + r. Is x a prime number?
False
Suppose -1249 = -3*t - 4*j, -625 - 1460 = -5*t - 5*j. Suppose -2*b + z = -t, -b - 420 = -3*b + 2*z. Is b a composite number?
True
Let r be 3/2*4/6. Is 2 - (-1 + (-74)/r) a composite number?
True
Let a be ((-3)/2)/(1/(-2)). Let w(v) = -4*v**2 - 7*v**2 + v**3 - 7*v**2 + 21*v**2 - 1. Is w(a) a composite number?
False
Suppose 3*x = -4*f - x - 4, 3*x + 8 = 2*f. Suppose -b + 26 - f = -2*s, 2*b - 54 = 3*s. Is b composite?
True
Let y be (-2)/(-3) - 652/(-3). Let a(h) = h**3 + 13*h**2 - 8*h - 3. Let w be a(-8). Let k = w - y. Is k composite?
False
Let g = 1 + 2. Suppose g*o - 5*o + 6 = -i, 9 = -4*i + 5*o. Suppose -119 - 109 = -i*b. Is b a prime number?
False
Let t = -344 - -603. Is t a prime number?
False
Suppose i = 2*q + 1476 + 1337, 4*i = q + 11238. Is i prime?
False
Suppose 4*s = 1705 - 421. Is s prime?
False
Let v(a) = a - 1. Let k be v(-5). Is (207/k + 1)*-2 composite?
False
Let g(r) = 9*r**3 - 2*r**2 + 6*r + 4. Let c be g(3). 