pose -4*v - d = -v, 205 = 4*b + 3*v. Is b prime?
False
Suppose -7*u - k + 7810 = -2*u, 1578 = u - 3*k. Is u composite?
True
Let z = -8 + -7. Let a = 32 - z. Is a a prime number?
True
Let z = 23 + 35. Suppose -2*o - 1 = -o, 0 = -3*u + o + z. Is u a prime number?
True
Let p(x) = 4*x - 4. Let y be p(6). Let v(j) = j**2 + 2*j - 1. Let a be v(6). Let s = y + a. Is s a prime number?
True
Let o(t) = -40*t**3 + 8*t**2 + 7*t - 1. Is o(-6) a composite number?
True
Let b(r) = r**2 - 6*r + 10. Let d be 5/((-15)/(-6)) + -11. Let v be b(d). Suppose 0 = p + 5*c - 156, -253 = -3*p - c + v. Is p a prime number?
True
Suppose l = 0, 4*c - 2*l + 3*l - 16 = 0. Suppose -5*q - h + 121 = -q, -c*h = 4*q - 112. Is q prime?
True
Let v(d) be the first derivative of d**2/2 - 2*d - 3. Let s be v(4). Suppose -s*g = -3*g + 15. Is g composite?
True
Let c(o) = -o + 8. Let z be c(4). Suppose 3*u - 2*w = -0*w + 239, -z*w = -5*u + 401. Is u prime?
False
Suppose 4*f - 3*d - 195 = 690, 5*f + 3*d = 1113. Let c = f - 79. Is c prime?
False
Let i(w) = 64*w - 1. Let p(o) = -o**3 + 3*o**2 + o. Let y be p(3). Is i(y) a composite number?
False
Let i be 1/(-2)*(-18 + 4). Let u(f) = 6*f + 7. Is u(i) a composite number?
True
Let j(n) be the second derivative of -2*n**3 - 5*n**2/2 - 4*n. Suppose -3*a = -2*y - 0*y - 19, y - 3*a = -11. Is j(y) prime?
False
Let l(f) = f**2 - 6*f + 2. Let x be l(6). Let k be (x - 3)/1 + -1. Is 0 - (k + 4 + -163) composite?
True
Let h(k) = k**3 + 7*k**2 + 4*k - 8. Let b be h(-6). Let c be ((-4)/1)/(-3 + b). Is (c/8)/(2/(-28)) a prime number?
True
Let s(v) = 46*v**2 + 1. Let k(c) = c**3 - c**2. Let j(g) = 4*g**3 - 10*g**2 + 1. Let d(q) = j(q) - 5*k(q). Let l be d(-5). Is s(l) a prime number?
True
Let p = -53 + 61. Let r(c) = c**3 - c**2 - c. Let x(y) = 4*y**3 + 2*y**2 - 8*y - 1. Let b(i) = 5*r(i) - x(i). Is b(p) prime?
True
Let j be (0 + 0 + -2)*-1. Let p be 20*2/4*j. Suppose -p = -d + 1. Is d prime?
False
Suppose 0 = -3*d - 2*a + 22, 3*d = 7*d + a - 21. Let p(r) = r - 2. Let b be p(d). Is ((-53)/(-3))/(b/6) a composite number?
False
Let a(i) = -i**2 + 5*i + 4. Let m(r) = r - 1. Let g be m(7). Let c be a(g). Is -79*2*1/c a composite number?
False
Let y(s) = -s**2 + 20*s - 3. Let v be y(11). Suppose 20 = 5*o, i - 136 = -5*o + v. Suppose -i = -5*j - 57. Is j composite?
False
Suppose 0 = 5*r - 2*z - 31, 0 = -4*r - 5*z + 5 - 0. Suppose -3*x = x + r*f - 378, 5*x - 3*f = 491. Is x composite?
False
Suppose 0 = -z - 3*u + 77, 4*z - 2*u - 278 = -4*u. Let t = 17 + z. Is t a prime number?
False
Let q be 3/(-9) + (-16)/6. Let y be 208/(-6) + 1/q. Let s = y + 49. Is s composite?
True
Let o(q) = -q**2 + 5*q - 5. Let s be o(5). Let l(r) be the second derivative of r**4/6 + 4*r**3/3 + 3*r**2/2 + r. Is l(s) a composite number?
False
Let j be 60/8*2/3. Suppose -4*t + 721 = -0*q + j*q, 4*q + 2*t - 578 = 0. Is q prime?
False
Suppose -3*r - 3*p - 21 = 0, p = 2*p. Let q(c) = c**3 + 7*c**2 - 2*c - 10. Let m be q(r). Suppose 0 = -z + m*o + 3, -4*z + 97 = o - 0*o. Is z prime?
True
Suppose 107 + 109 = 2*m. Let p = -43 + m. Is p a prime number?
False
Let d = -2 + 5. Suppose d*c - 4*c = -19. Is c composite?
False
Let u be (-12)/(-4) + 12 - 0. Suppose 1412 = -u*a + 19*a. Is a prime?
True
Suppose -4*v - 230 - 266 = 0. Is (-2 - -3)/((-4)/v) prime?
True
Let o = -417 + 622. Let f = -62 + o. Is f a composite number?
True
Let f(q) = q**3 + 14*q**2 - q - 25. Is f(-13) a composite number?
False
Let o = -31 - -90. Is o a prime number?
True
Let w(g) = 2*g - 2. Let r be w(-2). Let p = r + 8. Suppose 0 = 5*u - p*u - 267. Is u a prime number?
True
Let z(s) = -3*s**2 + 3*s + 1. Let j be z(-14). Let p = 1074 + j. Is p a composite number?
True
Let a(t) = -t**2 - 10*t - 5. Let o be a(-9). Let f be (0/(-2))/(o - 3). Suppose -5*u = -4*u + 5*w - 65, 5*u + 2*w - 279 = f. Is u composite?
True
Suppose s - 3*w + 3 + 0 = 0, 2*w + 42 = -3*s. Let r be ((-2)/(-1))/(s/(-18)). Suppose 614 = 2*q + 4*v, 2*v = -4*q + r*v + 1201. Is q a prime number?
False
Let z be (4/(-3))/(3/9). Let j = z - 0. Is (-3 - j)*31 + 0 composite?
False
Let x(p) = 3*p + 1. Let l(i) = -i + 12. Let o be l(6). Is x(o) composite?
False
Suppose 0 = -4*s - 19 + 63. Let a(k) = k**3 - 10*k**2 - 4*k - 12. Is a(s) a prime number?
False
Let q be (-43)/3 - 2/3. Let t be 4 + 319 + -1 - -4. Is t/5 + 3/q composite?
True
Let u(a) = a - 12. Let q be u(16). Suppose -q*y + 0*y = n - 22, -4*y = 4*n - 124. Is n prime?
False
Let w = 25 + 9. Let q = w + -21. Is q prime?
True
Let r(f) = 5*f**3 - 6*f**2 - 9*f + 3. Let y(g) = -9*g**3 + 12*g**2 + 17*g - 6. Let p(l) = -11*r(l) - 6*y(l). Is p(-6) a prime number?
False
Let p(w) = -w**2 + 10*w + 4. Suppose -4*l = -42 + 2. Let n be p(l). Suppose 0 = -4*g - 5*k + 210, -k = n*g - 2*k - 222. Is g a prime number?
False
Suppose -8 = -2*x - 2*x. Suppose 0*u = x*u - 70. Is u a prime number?
False
Let c(d) = 10*d**2 - 4*d + 15. Is c(8) prime?
False
Let p(o) = -7*o**2 + 7*o + 307. Let t(f) = -3*f**2 + 3*f + 153. Let w(b) = -4*p(b) + 9*t(b). Is w(0) a prime number?
True
Suppose -2525 = -4*y + 5*h, -y - 2*h = 3*y - 2546. Is y a composite number?
True
Let m = -4 + 4. Let w(n) = 18*n + 2. Let g be w(5). Suppose 5*d + 4*r - 53 - 412 = m, 0 = -d - r + g. Is d composite?
False
Let v = 24 + -79. Let s = -17 - v. Is s a composite number?
True
Suppose 5*i + 35 = 6*i. Is i a prime number?
False
Let b(v) = 90*v - 15. Let k(a) = 30*a - 5. Let l(c) = 6*b(c) - 17*k(c). Is l(5) a prime number?
False
Let v(r) = 5*r + 4 + r + 1 + r**2 + r. Is v(-10) prime?
False
Suppose -d = -4*d + 1185. Is d a composite number?
True
Suppose 2*h - 2*r - 2*r + 42 = 0, 0 = h - 5*r + 21. Let f(m) = -m - 8. Let n be f(-8). Let c = n - h. Is c prime?
False
Is (-5718)/(-9) - (-2)/(-6) composite?
True
Suppose 3*p - 5*b = 26 + 272, b = -2*p + 177. Let k = p + -62. Suppose -63 - k = -4*d. Is d a composite number?
False
Let d(u) = -2*u**3 - 2*u**2 + u**3 + 4 + 4*u**2 - 2*u. Let s be d(3). Let m = 26 + s. Is m prime?
False
Let n = 0 + 215. Is n a prime number?
False
Let l = 21 - 10. Let b = l + 24. Suppose b = t + 4*m - 14, -t + 5*m = -22. Is t prime?
True
Suppose 4*y = 3*y - 3. Is y/9 + 2874/9 a prime number?
False
Let x(r) = -r**2 - 12*r - 8. Let o be x(-10). Let b be o/(-4) + (-1 - -1). Is b/(-9) + (-68)/(-12) a prime number?
False
Suppose -59 = -v - 2*z - 0*z, -v + 47 = -2*z. Let h = -32 + v. Is h prime?
False
Let g = 1 - 1. Let c(j) = -j**2 - j + 8. Let b be c(g). Is ((-28)/(-6))/(b/36) a composite number?
True
Suppose -3777 = 78*v - 81*v. Is v a prime number?
True
Let y = 0 - 3. Is ((-4)/(-8) - y)*2 prime?
True
Suppose -4*i - 4*c - 8 = 0, 3*i - 7*c + 3*c - 29 = 0. Suppose 2*v - i*f - 105 + 31 = 0, -2*v + 5*f = -74. Is v composite?
False
Let c be (-5 + 3)*9/6. Let o(s) be the first derivative of -2*s**4 - 4*s**3/3 - 3*s**2/2 + 2*s + 3. Is o(c) a composite number?
False
Let u(f) = f**3 + 2*f**2 - f. Let n be u(-2). Let r be ((-3)/n)/(6/56). Let k = 0 - r. Is k composite?
True
Suppose -10 = -2*f - f - 2*h, 10 = f + 4*h. Is 313/9 + f/9 a prime number?
False
Suppose -3*k = -2*u - 858, -4*u + 2*u - 282 = -k. Suppose -73 = -3*c + 4*a + k, -235 = -2*c - 3*a. Suppose 0 = 3*o - 2*l - c, 16 = -3*l - l. Is o prime?
True
Is 3*(92/12 - 0) a composite number?
False
Is 1*-2*(4 - 124/8) a prime number?
True
Is 21199/255 + 2/(-15) a composite number?
False
Let h(j) = j + 17. Is h(4) composite?
True
Suppose 2*l - 4*z = -l + 2599, 4*l + z = 3459. Is l composite?
True
Suppose 0 = 4*s - 5*s - 6. Let r be (s/(-9) - 0)*9. Let d(n) = n**3 - 7*n**2 + 9*n - 5. Is d(r) composite?
False
Let b = -1087 + 1890. Is b a prime number?
False
Is -7 + 2 + 883 - (-1 + 2) a composite number?
False
Suppose -5 = -2*k + 3. Suppose 5*i = -25, -k*r + 384 + 232 = -4*i. Is r a composite number?
False
Let i(z) = -39*z**3 + 4*z**2 - z - 1. Is i(-2) composite?
True
Is 284/5 + (-10)/(-50) a prime number?
False
Suppose -4*h + 235 = k, k = -3*k - 5*h + 984. Is k a prime number?
True
Suppose 0 = 2*x + 3*a - 485, -3*a + 2*a + 965 = 4*x. Suppose 4*s - 1109 = -s + i, -5*i - x = -s. Is s a composite number?
True
Suppose -1701 = -4*h - 5*z, 2*h + 4*z - 845 = 13. Is h composite?
False
Suppose -4*o + i + 1560 = 0, 758 = -2*o + 4*o + 5*i. Is o a composite number?
False
Suppose 2899 + 9680 = 7*x. Is x composite?
True
Is (-2)/(-11) - 347