 Is z a prime number?
False
Suppose 4*h - 300 = -4*q + 464, q = 5*h + 185. Let v = q + 253. Is v a composite number?
False
Suppose -8*c = -266 - 46. Is c prime?
False
Let l be ((-54)/(-12))/((-6)/(-152)). Suppose 0 = z + 3*r + l, 2*z - r + 82 = -146. Let v = -61 - z. Is v prime?
True
Let o(q) = -q - 2. Let g be o(-3). Suppose -r + 4*a - 56 = -5*r, r = -4*a - g. Is r a prime number?
True
Let d(x) = -13*x + 3. Let n be d(-1). Suppose 0 = 6*b - n - 26. Is b a composite number?
False
Let y be ((-1)/1 + 2)*94. Let r = y - 165. Let l = 56 - r. Is l composite?
False
Let x(g) = -g**3 - 2*g**2 + 6*g + 3. Is x(-4) a composite number?
False
Suppose -t - 23 = -0*t. Let h = t - -66. Is h a composite number?
False
Let q(d) = -d**3 + d. Let r be q(-2). Let z = -4 + r. Suppose 0 = -z*h - 3*h + 265. Is h a composite number?
False
Let f(p) = 21*p**2 + 16*p + 43. Is f(-8) a prime number?
True
Suppose -n - 3*n = 0. Suppose -g + 2*p + 100 = p, -5*g - 4*p + 473 = n. Is g a composite number?
False
Suppose -x - 4*i + 11 = -10, 4*i - 20 = 0. Is 633/12 + x/4 a prime number?
True
Suppose -n = 3*g - 4*n - 966, -3*n = 4*g - 1288. Suppose 3*t - g - 323 = 0. Is t composite?
True
Is (-6 + 4)*(-1)/(-4)*-5842 a composite number?
True
Let q(u) = -u**3 + 10*u**2 + 7*u - 3. Let x be q(-6). Let m = 1082 - x. Is m a prime number?
False
Let p(k) = -52*k + 7. Is p(-2) a composite number?
True
Let x(c) = 2*c**3 + 3*c**2 - 3*c + 4. Let z be x(-5). Let v = -22 - z. Suppose j + j = v. Is j composite?
False
Let k be 4/((-4)/(-5)) - 3. Is ((-636)/(-15))/(k/5) a prime number?
False
Let a(m) = -5*m - 6. Let b(n) = n**2 + 8*n - 4. Let u be b(-8). Is a(u) prime?
False
Let i = -1355 - -2142. Is i a prime number?
True
Let h = -47 + 92. Suppose -z = -2*r - h, 4*z + 3*r - 5*r = 156. Is z a composite number?
False
Is (6 - 5)/((-2)/(-694)) prime?
True
Suppose 0 = -5*v - 5*m - 5, 2 = 2*v + 5*m + 19. Is (434/v)/(5/10) a composite number?
True
Let a(k) = -k**3 - 2*k + 1403. Is a(0) composite?
True
Let u = -183 + 1540. Is u prime?
False
Suppose -3*i + 12 = -0*i, -i = 2*c - 8. Suppose -3*j = -2*j + c*s - 52, -2*s + 6 = 0. Is j a composite number?
True
Is (0 - 87)/(0 + -1) a prime number?
False
Let g be 3*(-4)/(-6) - 2. Suppose g*n + n + 2 = 0. Is n/3 - 28/(-6) composite?
True
Suppose -s = 0, 1 = 4*q - 4*s - 27. Let y(g) = -g + 1. Let p be y(2). Is (p - q)/(4 - 6) a composite number?
True
Let m(i) = 3*i + 5 + 1 - 3 - 2*i**3 - 6*i**2 + 3*i**3. Is m(6) a prime number?
False
Is (2/8)/((-3)/(-444)) a prime number?
True
Let p(m) = -m**2 - 7*m - 6. Let o be p(-5). Let i be -1 - (-2 - o)*1. Suppose 5*n - 2*x - 92 = 3*n, -i*n = -4*x - 227. Is n composite?
False
Let h = 13 + -55. Let r = 236 - 168. Let t = h + r. Is t prime?
False
Let d(r) = -274*r + 1. Is d(-10) prime?
True
Let l(w) = 12*w**2 + 9. Is l(2) a composite number?
True
Let q(k) = k**3 - 2*k**2 - 2*k - 1. Let t be q(3). Let v = -4 + t. Let p(x) = -14*x - 2. Is p(v) composite?
True
Is ((-3)/(-1))/(9/(-6)*-1) composite?
False
Let g(t) = -t - 4. Let a be g(-7). Suppose -104 = -a*o + 61. Is o a composite number?
True
Suppose -2*u = -0*z - 3*z + 235, -2*z + 4*u + 154 = 0. Is z prime?
True
Let f(x) = 2*x - 4. Let m be f(4). Suppose -5*g + m = i + 14, 0 = 4*i - 4*g - 8. Suppose -5*s + 3*l + 476 = i, -l = -4*s - 0*s + 385. Is s composite?
False
Let q(p) = -p**2 + p. Let b be q(3). Let w = b + 6. Suppose -2*j - 56 + 214 = w. Is j composite?
False
Let t = -2 - 0. Let m(o) = 60*o + 17. Let w(i) = 40*i + 11. Let s(x) = 5*m(x) - 8*w(x). Is s(t) a composite number?
False
Suppose -z - 3*t = 13, -z - 2*z - 3 = -3*t. Is (22/z)/(16/(-32)) a composite number?
False
Suppose f - j = 1620, 2*j + 2*j + 8103 = 5*f. Suppose 2*o + f = 5*o. Is o prime?
True
Suppose 5*z + 4 = -1. Is (2/(-4))/(z/166) composite?
False
Let g(a) = a**3 - a**2 - 2*a - 3. Is g(4) prime?
True
Let g(x) = x**2 + 2*x - 1. Let z be g(1). Is (-1*z - -167) + -2 a prime number?
True
Let n = -30 + 51. Is n prime?
False
Suppose -q = -2*q + 504. Suppose -3*s + q = -3*d, 1107 = 5*s + 4*d + 276. Is s composite?
False
Let q be 2847/6 + 1/2. Is 16/(-88) - q/(-11) composite?
False
Let f(d) be the first derivative of d**4/4 - 3*d**3 - 5*d**2 + 5*d - 2. Let a be f(10). Suppose -2*h - 43 = -5*c - 11, a*c - 31 = h. Is c composite?
True
Let t(o) = o**2 + 7*o - 5. Is t(4) a composite number?
True
Let l(b) = -11*b**2 - 3*b + 3. Let f(t) = 5*t**2 + 2*t - 1. Let w(s) = 9*f(s) + 4*l(s). Let k be w(-6). Is 1 - k/(-3) - -21 a composite number?
False
Let v be 382/2 + 2/1. Suppose 11*s - 17*s - 648 = 0. Let o = s + v. Is o a composite number?
True
Let q = 2350 - 1121. Suppose -4*x - y + q = 0, -4*x = -0*x + 2*y - 1230. Is x prime?
True
Suppose 3*f = -f - 4*a - 4, 2*f - 2*a - 2 = 0. Let x(d) = d**2 + 1. Let n be x(6). Suppose -4*l + 3*l + n = f. Is l a prime number?
True
Suppose 0*b + 6 = p + b, -2*b = 3*p - 15. Suppose -2*x + 2*t = -110, 4*x + 4*t = p*t + 210. Is x a prime number?
True
Let a(i) = -i**2 + 7*i - 6. Let n be a(5). Suppose -n*z = 3*l, l = 4*z - 0*z + 16. Is l prime?
False
Let p(f) = -f**2 + f - 32. Let r = 0 + 0. Let o be p(r). Is -2 - (o + 0 + -1) composite?
False
Let f be ((-2)/2 + 1)/1. Suppose f = -6*x + 2*x + 8. Suppose -b + 2*k = x*b - 273, -4*k = -3*b + 273. Is b composite?
True
Let s be (-2)/5 + 2346/15. Suppose -w - w = -s. Suppose -398 = -4*c + w. Is c a composite number?
True
Let a(i) be the third derivative of i**5/60 - i**4/2 + 13*i**3/6 - 3*i**2. Let q be a(11). Suppose 4*s - 202 = h + 125, -q*s + 2*h = -156. Is s composite?
False
Let y be (-12)/(8/(2 - 6)). Suppose 0 + y = 2*n. Is n a prime number?
True
Let a = -3897 + 5548. Is a a composite number?
True
Suppose -4*m - 373 = -3*q, 4*q + 4*m = 5*q - 135. Is q prime?
False
Suppose 0 = -8*t + 5*t + 2463. Is t composite?
False
Let m be (-10)/35 - (-256)/14. Suppose -m - 170 = -4*q. Is q a composite number?
False
Suppose 53 = 2*x - 15. Is x composite?
True
Suppose -3*b - 13 - 5 = 0. Let h(g) = -2*g**3 - 7*g**2 - g + 5. Is h(b) prime?
True
Suppose -12 = -d + 2*p, -d - 4*d - 2*p = -72. Is ((-57)/(-6))/1*d prime?
False
Suppose -85*s - 3292 = -87*s. Is s prime?
False
Let k(q) = -7*q - 10. Let r(y) = 5*y**2 - 7 + 4*y**2 + y**3 + 8*y + 0*y**2. Let m be r(-8). Is k(m) a composite number?
True
Suppose -w - 3*z = 2*z - 12, -5*w = -2*z - 195. Is w a composite number?
False
Let c(y) = 8*y**2 - 17*y + 12. Is c(5) a prime number?
True
Let u be 2*-4*3/(-6). Let n(y) = -2*y**2 + y**3 + 4 + 4*y + 5 - u. Is n(4) a composite number?
False
Let s be (-417)/(-4) - (-7)/(-28). Let j = -55 + s. Is j prime?
False
Suppose 5*l - 3*l - 428 = 0. Suppose u - l = -0*u + n, -n + 1076 = 5*u. Is u composite?
True
Let b(n) = -3*n + 4*n + 14*n**2 + n + 1. Is b(-2) composite?
False
Let f be 279 + -6 - (0 - -2). Suppose -g + 2*v + 136 = g, -4*g + f = -3*v. Is g a prime number?
True
Let i = -6 + 8. Suppose 3*p = 7*p - 3*h - 2073, i*p - 4*h = 1044. Suppose p = -z + 5*z. Is z a prime number?
False
Let j(s) be the first derivative of 2*s**3/3 - 2*s**2 + 7*s + 2. Let p be (-1)/(-3) - 64/12. Is j(p) composite?
True
Suppose 0 = 2*g - 5 - 1. Suppose 9 = 3*u, g*p - 4*u = -7*u + 156. Is p composite?
True
Suppose -7*x = -2*x. Suppose -5*h - 3*o + 565 = x, -h + 3*o + 97 + 16 = 0. Is h a prime number?
True
Suppose -26 = q - 3*q + 4*o, 2*o = -6. Is (1142/4)/(q/14) a prime number?
True
Suppose 0 = -4*h, 2048 = v + v + h. Suppose x + v = -3*x. Let b = x - -417. Is b a prime number?
False
Is -28*(-1 + 100/(-16)) composite?
True
Let t(s) = 293*s + 2. Is t(1) a prime number?
False
Let q = -16 - -29. Let v(r) = -r**3 + 15*r**2 - 18*r - 9. Is v(q) prime?
False
Let p = 6 - 2. Suppose 1 + 5 = -3*r - 2*y, -p*r - 5*y - 15 = 0. Suppose 3*f = -r*f + 261. Is f prime?
False
Let j(y) = 288*y**3 - 2*y + 1. Is j(1) composite?
True
Suppose 0 = -p + 4*w + 18, -4*p + 4*w = -6 - 18. Suppose 106 + 4 = p*n. Is n prime?
False
Let f = 1877 - -2656. Is f prime?
False
Let r(l) = 15 - 12*l - 18 - l**2 + 0*l**2. Let o(i) = i - 6. Let n be o(0). Is r(n) a composite number?
True
Let i(c) be the third derivative of -c**6/30 - 5*c**4/24 - 7*c**3/6 - 7*c**2. Is i(-4) a composite number?
False
Let s = -54 - -325. Is s a prime number?
True
Suppose -42 = -5*h + 3*y, -7*h + 2*h = 4*y - 49. Suppose -35 = -p - p + o, 3*p - o = 54. Let j = p - h.