) = 5*d**2 - 3*d - 7. Is v(z) prime?
False
Suppose -4*s + p - 36 = -4*p, 5*p - 24 = s. Let d = s + 9. Suppose -171 - 174 = -d*r. Is r a prime number?
False
Let r = 8 + -19. Let v = r + 17. Is v prime?
False
Let y = -3 + -25. Let v = y + 39. Is v a prime number?
True
Suppose 10*g + 1879 = 7709. Is g composite?
True
Let u(t) be the first derivative of 3*t**2 - 7*t - 3. Is u(7) a prime number?
False
Let f = -658 + 1115. Is f a prime number?
True
Suppose -a = r - 6*a - 92, -176 = -3*r - 5*a. Is r prime?
True
Let f be (2 + 0 - 0) + -2. Suppose f = -2*m + 19 + 7. Suppose -11 = -4*o + m. Is o composite?
True
Suppose 4*o - 16 = 2*o. Let n = o + 236. Let k = -117 + n. Is k composite?
False
Suppose -5*q + 2*v = -3 - 16, 4*v = -8. Suppose -59 - 142 = -q*p. Is p a composite number?
False
Let d(y) = 0 + 3*y - 4*y**2 + 2*y**2 + 1 - 2*y**3. Suppose 3*m - 4 = 4*m. Is d(m) a composite number?
True
Let g(k) = 2*k**2 + 7*k + 5. Let f(p) = 3*p**2 + 8*p + 4. Let l(r) = 3*f(r) - 4*g(r). Is l(11) prime?
False
Suppose 0 = -3*z - 0 + 6. Suppose -2*c - 4*o - 4 = 0, c - z = 2*o + 12. Suppose -c*a + a = -70. Is a prime?
False
Let s = -55 - -83. Suppose -u = 5*g - 25, -2*g - 5*u + 13 = -4*u. Suppose 0 = -g*o + 12 + s. Is o prime?
False
Suppose 20 = 3*v + v. Suppose v*m + 259 = y + y, -5*y + 5*m + 640 = 0. Is y a prime number?
True
Let a(u) be the third derivative of u**6/120 - u**5/10 + u**4/12 - u**3/6 + 4*u**2. Is a(8) composite?
True
Let l(a) be the first derivative of 4*a**3/3 - 3*a**2/2 - 9*a - 6. Is l(-5) a prime number?
False
Suppose 4*q = -8, -3*b = -4*b - 2*q - 23. Let s = b - -102. Is s composite?
False
Suppose 3*b - 1 = -4*f + 7, 0 = 3*f - 5*b - 6. Suppose 2*h + 16 = -3*o + 8*o, -14 = -4*o + f*h. Suppose o*x + 2*v = 34, -v = -2*x + 7 + 15. Is x prime?
True
Suppose -q + 92 + 51 = 0. Is q prime?
False
Let w be (-3)/(3/14*-1). Suppose -13*i - 263 = -w*i. Is i a prime number?
True
Suppose 130 = -c + 5*b + 761, 0 = -c - 5*b + 631. Is c a composite number?
False
Is (857/2)/(25/350) prime?
False
Let a(d) = 322*d - 3. Is a(2) a composite number?
False
Let d(w) = 5*w**2 - w - 2. Let t be d(-4). Let j = 11 + t. Is j composite?
True
Let r = 6 + 4. Is 248/r + 2/10 a composite number?
True
Let d(c) = c - 1. Let s be d(1). Let r = -1 + 1. Suppose l + r - 3 = s. Is l a composite number?
False
Let k(r) = -r**2 - 8*r - 2. Let t be k(-6). Let z(g) = 5*g**3 - 3 - 4*g**3 + 18*g + t*g**2 - 19*g. Is z(-10) prime?
True
Let b be 1*(1 - -8) + -2. Suppose 0 = -4*n - w + b, 0 = -3*n + n - 5*w - 19. Is (9*13)/n - 2 composite?
False
Suppose 0 = 20*a - 16*a + 12. Is a/7 + 3064/28 a composite number?
False
Let b(d) = -7*d**2 + 5*d - 4. Let z be b(-5). Let g = 407 + z. Is g composite?
True
Let s = 54 - 34. Is 6/15 + 2412/s a composite number?
True
Let u be (-2)/(-8) - 46/(-8). Suppose -3*x + 4*n + 907 = 0, u*x - 923 = 3*x - 4*n. Is x composite?
True
Let g be 29/(-4) + 2/8. Let t be 30/g - 2/(-7). Is t/22 - (-468)/33 prime?
False
Let q = 594 - 307. Is q composite?
True
Suppose -r - 71 = -2*r. Suppose 2*j - 301 = -r. Is j a prime number?
False
Let a be (7/(-3) - -3)*3. Suppose 4*s - 2*y = -486, -a*s - 2*s = -5*y + 495. Let d = -51 - s. Is d composite?
True
Let o(r) = -r**2 + r + 1. Let c(z) = -4*z**2 + 4*z + 3. Let m(p) = -c(p) + 5*o(p). Let w be m(3). Is 62/(-3)*6/w a composite number?
False
Suppose 861 + 128 = -p - 3*c, 2*p = -5*c - 1983. Is ((-7)/(-14))/((-2)/p) a prime number?
True
Let f = 39 + 4. Suppose 0 = -2*g + g + f. Is g a prime number?
True
Suppose -c + 75 = -2*p + 21, c + p - 42 = 0. Is c a prime number?
False
Let m = -3 + 1. Let w be 2013/6 + m/4. Suppose -5*g - w = -10*g. Is g composite?
False
Suppose 4*d + j - 201 = 0, -3*d + 4*j = 2*j - 148. Suppose u + 17 = 2*u + 2*y, -d = -5*u - 3*y. Is u a composite number?
False
Suppose -5*w - 24 = 1. Let y be 20/8*(-8)/w. Let j = y - -17. Is j composite?
True
Let y(p) = p**3 - 13*p**2 + 6*p + 1. Let q be (-2)/((18/(-39))/3). Is y(q) composite?
False
Let n(a) = a + 6. Let z be n(-6). Suppose -7*s + 78 = -2*s - 4*q, 3*s - 4*q - 42 = z. Suppose 0 = 5*t - 4*b + 6, -t - 5*b + 10*b = s. Is t prime?
True
Let l(z) = z**2 - 5*z - 4. Let k be l(6). Suppose o = k*o. Suppose 18 = 3*m + b + 4*b, -b - 3 = o. Is m a composite number?
False
Suppose 0 = 5*r - 0*r. Suppose 2*w - 4*m - 20 = r, -3*w = -4*w - 2*m - 2. Suppose 5*v - p - 157 + 5 = 0, 109 = w*v - 5*p. Is v composite?
False
Suppose 3*b + 0*z - 1236 = -3*z, z + 830 = 2*b. Let q = b + -287. Is q a composite number?
False
Let o(r) = 3*r**2 - 3*r - 5. Is o(-8) prime?
True
Let i = 5 + -9. Suppose -3*q - 2*q = 5. Is ((-134)/i)/(q/(-2)) a prime number?
True
Suppose 0 = v - 5, -2*a - 5*v + 29 = -a. Suppose -5*l - 2*w = 2*w - 23, -4*l + 4*w = -a. Suppose l*f - 3*o - 73 = 407, -3*o = -3. Is f prime?
False
Suppose 345 = 5*f + 25. Suppose 2*t = -d + f, 2*t + 2*d - 60 = -0*d. Let p = -11 + t. Is p a composite number?
False
Let w(m) = m**3 + 5*m**2 + 5*m + 6. Let v be w(-4). Suppose 0 = 4*d + 4*i - 32, v*d - i = -d + 8. Suppose -b - 1 = -d*t - 4, t = 3*b - 53. Is b composite?
False
Let g = 4 + -4. Let x = g - -4. Suppose -z - 207 = -x*z. Is z a prime number?
False
Let c = 2 - 12. Let v = -3 - c. Is v a prime number?
True
Let a = -2 - -2. Suppose -3*n - 12 = a, 0*r + r - 22 = 5*n. Suppose r*w - 8 = 66. Is w a prime number?
True
Is 632 + -2 + 0 - (6 - 7) a composite number?
False
Let c = -356 + 575. Is c prime?
False
Let m = -41 + 82. Let r = m + -18. Is r composite?
False
Suppose 698 - 123 = 5*x. Is x composite?
True
Is (-6)/42*-2 + (-2978)/(-14) prime?
False
Let q(k) = 706*k - 5. Is q(1) prime?
True
Let y be (1/1)/3*-3. Is 6*(-3 + 3 - y) composite?
True
Suppose 0 = -o + 3*c - 5*c + 77, -2*o + 154 = 2*c. Is o a prime number?
False
Suppose h - 6 - 8 = 0. Suppose -8 = -5*j + k, 3*j - 4*k = j + h. Is (-17*j)/((-4)/12) a prime number?
False
Suppose 5*v = -2*q - 0 - 5, 17 = 4*q + v. Suppose q*h = 2*b + 165, -5*b - 103 - 62 = -5*h. Is h composite?
True
Let r(n) = n + 8. Let f = -3 + -2. Let h be r(f). Suppose 5*d = -3 - 2, h*k - 109 = 4*d. Is k a composite number?
True
Let y = -1662 - -4333. Is y composite?
False
Suppose m - 15 = -4*v - 120, 0 = 5*v - m + 138. Let g = 94 + v. Is g a composite number?
False
Is ((-1)/(-4))/((-4)/(-1072)) a composite number?
False
Let k(c) = c**2 - 6*c - 10. Let r be k(7). Is r - ((-94 - -1) + 3) a prime number?
False
Suppose 0 = -d + 119. Suppose -3*w + 5*s = -5*w + 38, 0 = s + 2. Suppose 5*t = -w + d. Is t composite?
False
Let p(b) = 9*b**2 - 8*b - 8. Is p(-7) a prime number?
False
Suppose -2*b = -3*g - b + 266, 323 = 4*g + 5*b. Is g a composite number?
True
Let k(v) = 45*v**2 + 4*v - 1. Is k(2) a composite number?
True
Suppose 20*i - 5*i - 1455 = 0. Is i prime?
True
Suppose 0 = 3*i + 10562 - 2588. Is (-10)/(-55) - i/22 composite?
True
Let s be 3 - -1*(3 + -4). Suppose -123 = -s*l + n, 0*n - 143 = -2*l - 3*n. Let m = l - 25. Is m a composite number?
True
Suppose 2*c - 3*c + 1 = 0. Is -339*c*(-1)/1 composite?
True
Let r(q) = q**3 - 2*q**2 - 2*q - 1. Let d be -2 - (1 - 1 - 2). Let l be d + 5 - (2 - 1). Is r(l) a composite number?
False
Is (-7)/(-14) + 113/2 a composite number?
True
Let t = -430 - -1385. Suppose 0*r = 5*r - t. Is r a prime number?
True
Let j(o) = 327*o**2 + o + 1. Is j(-1) prime?
False
Suppose j = 2*j - 5. Suppose -5*y - 10 = j. Is 1/((-3)/315*y) composite?
True
Let a(q) = 6*q**2 - 6*q + q**3 + 6*q + 8. Let s be a(-6). Suppose -2*c + n = -3*c + s, c - 5*n - 2 = 0. Is c a composite number?
False
Let p = -247 - -94. Let z = -102 - p. Is z composite?
True
Let y = 33 + 18. Suppose 185 = 4*d - y. Is d prime?
True
Suppose 28 = 2*d + 20. Let f(a) = 7*a**2 + 3*a + 5. Is f(d) a composite number?
True
Let x = -5 - -4. Let p be 19 - (x + 0) - -2. Suppose -p = -3*f + 47. Is f prime?
True
Let u(z) = 8*z**2 - 6*z - 6. Let q be u(-4). Suppose 5*n - f - 270 = 0, q = 3*n - f - 14. Is n a composite number?
True
Suppose 3*j + 3*y = 627, 5*j - 3*y - 487 - 526 = 0. Is j a composite number?
True
Suppose 2*m + 3 = 1. Is 330 - m/2*2 composite?
False
Suppose -198 = -2*d - 512. Let k = 0 - d. Is k a prime number?
True
Is 175/(-55) + 3 - 43716/(-11) composite?
True
Is (27698/22)/((-2)/(-2)) a prime number?
True
Let x(w) = 545*w**3 - w**2 + 3*w - 2. Is x(1) composite?
True
Let c be -633*((-4)/(