n = -341 - -649. Suppose 0 = 3*i - 7*i + n. Suppose j + 5*p - 97 = 0, -3*p = -j - 12 + i. Is j composite?
True
Suppose 2*x + 5*b = 24, 5*x + 2 = -0*b + 3*b. Suppose -4*a + 212 = -x*a. Is a prime?
False
Let v(w) be the first derivative of w**4/4 - 8*w**3/3 + 4*w**2 + 3. Suppose -4*u = -4 - 24. Is v(u) a prime number?
True
Suppose 0 = x, 2*q - x = 8 + 8. Let p(z) = 31*z + 3. Is p(q) a prime number?
True
Suppose -5*g + 3*n = 2*n - 363, -n - 75 = -g. Suppose 4*y - 389 = 3*v + g, 2*y - 258 = -4*v. Is y prime?
False
Let u(v) = -v**2 + 7*v - 6. Let p be u(6). Let o(g) = -2*g - g + 2*g + 14. Is o(p) a prime number?
False
Let f(w) = -w - 3. Let x be f(-9). Let c = 9 - x. Suppose -5*g + 857 = 3*i, -c*g = -0*g - 3*i - 495. Is g a prime number?
False
Let k = 2222 - 1191. Is k a composite number?
False
Suppose o + 2*o - 2*l = 8841, 5889 = 2*o - 3*l. Is o composite?
True
Let i(p) = p**2 - 3*p + 1. Let g be i(3). Is (3 - g)/((-2)/(-123)) a composite number?
True
Let n(t) = t**3 + 14*t**2 + 12*t - 8. Let d be n(-13). Suppose -d*y + 325 - 110 = 0. Is y prime?
True
Let p = -2254 + 6195. Is p prime?
False
Let a(l) = l**2 + 8. Let q(u) = u**2 + 9. Let v(w) = 5*a(w) - 4*q(w). Let m be v(0). Suppose 5*c - i = 123 - 5, m*c - 107 = 5*i. Is c a composite number?
False
Let m = -86 - -195. Is m composite?
False
Is 216*3 - ((-6)/3 + 3) prime?
True
Suppose 5 = 3*t - 16. Let d = -7 + t. Let p = d - -33. Is p a composite number?
True
Let a(h) = 102*h**2 + 2*h + 1. Let w be a(-2). Suppose 0 = 2*s + s + 4*l - w, 271 = 2*s + 3*l. Is s a prime number?
True
Suppose 4*u + 0*s = s, 0 = 2*u - s. Suppose u*g - 357 = -3*g. Is g prime?
False
Suppose 3*t + 2*y - 2144 = 0, -5*t - 4*y - 1681 = -5253. Suppose t = 5*h - 239. Is h composite?
False
Let y be (-4 - -6)/(1/8). Let u = 31 - y. Is u a prime number?
False
Suppose -j = 140 - 1683. Is j a composite number?
False
Let u(y) = -2 - 5*y - 1 + 2*y. Let t be u(-3). Suppose -175 = -t*l + l. Is l a prime number?
False
Let d = 36 - -1. Is d a prime number?
True
Suppose -2*s + 15*s - 33085 = 0. Is s composite?
True
Suppose 2*c = 5*c - 393. Let h = -52 + c. Is h composite?
False
Let z = -14 - -10. Let b = -2 - z. Let c = 11 + b. Is c prime?
True
Let m(i) = 29*i - 7. Let f be (1 + 11)/(-6 + 8). Let k be m(f). Suppose -k = -3*r + 268. Is r a composite number?
True
Suppose 4*a = 2*h + 14, 5*a + h - 15 = 4*h. Is (-4)/a*24450/(-20) a composite number?
True
Let g = 76 + 181. Is g prime?
True
Let n = -113 + 225. Suppose -9 = 4*c - 49. Is n/c + 1/(-5) composite?
False
Let k(a) = -a - 2. Let j be k(-4). Suppose -5*q = 5*u - 60, 4*q = 3*u - j*u + 58. Is q prime?
False
Let d be 1*(4 - 3 - 14). Let z = d + 92. Is z composite?
False
Let g = -14 + 19. Suppose g*w = 2*i + 755, -4*i - 472 = -3*w + i. Is w a prime number?
True
Suppose -4*n = 16, 3*h - 73 = -5*n + 66. Is h prime?
True
Suppose p - 109 = 24. Is p a composite number?
True
Let k(v) = 9*v**2 + 1. Suppose -4*s = -s + 6. Is k(s) prime?
True
Suppose -2*a - 3*j + 2245 = 0, -4*a - 4*j + 0*j = -4480. Suppose 4*w + w = a. Is w prime?
True
Suppose 2*j - 3*j + 9 = 0. Let u(g) = -g**3 + 12*g**2 - 5*g - 11. Is u(j) a composite number?
True
Let b = -81 + 215. Suppose 4*f = z - 87 - 10, -2*z = 4*f - b. Is z a composite number?
True
Let q = 6 - 5. Let s be (-1)/(q/(-498)*2). Let y = -46 + s. Is y composite?
True
Let b(q) = -3*q + 2. Let z be b(-4). Let f = 11 - 7. Suppose -2*i - z = -f*i. Is i prime?
True
Suppose -3*t + 5*l = l - 7327, -4*t + 3*l + 9760 = 0. Is t composite?
False
Let w(n) = -n - 7. Let b be w(-7). Suppose -2*o + p - 3*p = 0, b = -3*o - 2*p + 3. Suppose 169 = o*z + 2*m + 2*m, -3*z - 5*m + 170 = 0. Is z a composite number?
True
Suppose 0 = 2*b + 3*t + 228, 731 = -5*b - 3*t + 143. Is b/(-3) + 9/(-3) a prime number?
True
Let c = 4 - 1. Suppose -280 = 3*i - 7*i + 4*w, -2*w = -c*i + 214. Is i prime?
False
Suppose -4*v - v + 25 = 0. Suppose v*b + 1 - 16 = 0. Is b a prime number?
True
Let m = -12 + 15. Suppose -m*g + 537 = -0*g. Is g composite?
False
Is 674*1 - 17/17 composite?
False
Let k = -507 + 1906. Is k a composite number?
False
Let b(h) = h + 12. Let u be b(-10). Is -1 + 1 + 70/u a composite number?
True
Let x(q) = q**2 + q + 53. Let a(l) = -l**2 - 4*l - 3. Let b be a(-3). Is x(b) a composite number?
False
Let s be 71 + -2 - (-1 - -4). Suppose 5*w = 6 + 19. Suppose 2*f + 0*f = -2*k + s, w*f - 91 = -3*k. Is k a prime number?
True
Let q = 100 - -307. Is q a prime number?
False
Let z(d) = -d**2 - 6*d + 16. Let f be z(-8). Is (-4 + f + 210)/2 composite?
False
Let z = 2 - -1. Let j(y) = y**2 - y - 2. Let h be j(0). Is (h - 1)/z*-67 prime?
True
Let l(i) = -i**3 + i + 1. Let d be l(-1). Let v(f) = -4*f**3 + 2*f**2 - 1. Let n be v(d). Is ((-2)/2)/(n/111) prime?
True
Is (-1 - -2)/(4/212) prime?
True
Let f = -2 - -4. Let l(o) = 15 + 29*o + 10 - 24. Is l(f) a composite number?
False
Suppose 5*o - o = 0. Is 1*o/(-3) - -59 prime?
True
Suppose 4*p - 127 = 157. Is p prime?
True
Let g = -3 - 1. Let d be (g/(-3))/(2/(-36)). Let t = d + 79. Is t prime?
False
Suppose -3*w = 2*w - 25, 2*n + 5*w - 379 = 0. Is (1 + 1)*n/6 a composite number?
False
Let c(m) = -m**3 - 6*m**2 + 2. Let v be c(-6). Suppose 0 = -0*w + 5*w + 4*n - 739, v*n = -3*w + 445. Suppose 10 - 173 = -2*x - f, w = 2*x + 5*f. Is x composite?
False
Let v(g) = g + 14. Let f be v(-10). Suppose -5*u + 577 = f*h - 2*h, -3*u + 331 = 5*h. Suppose u = 2*n + 23. Is n a prime number?
True
Suppose 0*y + 3*y - 333 = 0. Let q = 194 - y. Is q a composite number?
False
Suppose -2*l + 648 = l + 3*u, 4*l - 4*u = 904. Is l a prime number?
False
Let f be (-72)/(-16) + (-1)/(-2). Suppose f*r - 860 = -225. Is r a prime number?
True
Let i = -1719 - -3192. Is i prime?
False
Suppose -a + 115 = 3*j, -5*j - 3*a - 42 = -239. Is j prime?
True
Suppose 0 = -p + 2*s - 142, -4*s + 2*s = p + 138. Let l = p - -363. Is l composite?
False
Suppose -a = -2 - 2. Suppose v - 127 = -a*x, x + 3*v = 25 + 15. Is x composite?
False
Let b = -4 - -6. Let r be (-1 - -1*b) + 1. Is 306/8 + r/(-8) a composite number?
True
Let w = 178 - -631. Is w a prime number?
True
Let x(s) = 2*s + 2. Let b be x(-1). Suppose 3*i - 445 = -3*d - 70, b = 3*d + 5*i - 371. Is d prime?
True
Let p(l) = 3*l**3 + 4*l**2 - l - 3. Is p(3) a composite number?
True
Suppose s + 5*c - 22 = 14, 2*c = s - 15. Suppose -i + 104 = 3*i + 4*n, i + 2*n = s. Is i a prime number?
True
Let l = -183 + 756. Is l composite?
True
Let d = -7 + 5. Let y be d/4 + 14/4. Suppose 0 = 2*z - 3*l - 35 - y, 3*z - 51 = 3*l. Is z composite?
False
Let s(v) = -3*v**3 + 2*v**2 + 4. Let x be -4*(-2)/4 - 5. Is s(x) composite?
False
Is (-43)/((-8)/(-2) + -5) a prime number?
True
Let n(v) = -2*v + 1. Let t be n(1). Is 126 - (4*t)/4 prime?
True
Let r(l) = 10*l**2. Let n be (-3)/(-2) - (-1)/(-2). Let p = n - 0. Is r(p) a prime number?
False
Let s be (-12594)/12 - 1/2. Let l = -685 - s. Let n = l + -216. Is n a composite number?
False
Let w be (-7)/(-49) + 188/7. Is (-6)/(-27) + 561/w a composite number?
True
Let v = 1782 + -973. Is v prime?
True
Let v(k) = -54*k. Let b(r) = 107*r + 1. Let g(n) = 2*b(n) + 5*v(n). Let h be g(-5). Suppose -5*d - 97 = -h. Is d prime?
True
Let y(s) = -s - 3*s + 17*s + 7*s - 6. Let q be y(5). Let n = q + -48. Is n composite?
True
Let y = -5 - -10. Let i(u) = 25*u - 3. Is i(y) a prime number?
False
Suppose 2*r - r = -6. Let h be (6/r)/(1/3). Is (h - -2)/((-1)/46) a composite number?
True
Suppose 2*p = -95 + 327. Suppose 2*g + 0*g = p. Is g prime?
False
Let u = 3 - 0. Suppose -u*l - 23 = -4*l. Is l a prime number?
True
Let l be (-1 - 1/(-2))*-2. Suppose -b + l = -10. Is b a composite number?
False
Let m(q) = -q**2 - 4*q + 5. Let x be m(-5). Let p = -122 - -241. Suppose x*h = -h + p. Is h composite?
True
Let q(x) = -x. Let z be q(-4). Suppose 0 = z*p - 4286 + 1410. Is p a prime number?
True
Suppose -6 = -2*f - 5*c, f + 0*c = 3*c - 8. Let y(b) = -21*b**3 + 2*b + 3. Is y(f) a prime number?
True
Let x be (-32)/(-12) + 2/6. Let c = x - 7. Let f = c - -7. Is f a composite number?
False
Let a = 0 + 0. Suppose 5*z = -a*z + 95. Is z a prime number?
True
Suppose 0 = -r - 4*r + 235. Suppose 0 = g - 0*g - r. Is g a prime number?
True
Suppose -g - 99 = -4*h + 2*g, -4*h + 96 = -4*g. Let r be (24/(-20))/((-4)/10). Suppose -r*c + 192 = h. Is c prime?
False