3*n - 19 = 3*f - 82, -5*f = -2*n - z. Is f a composite number?
False
Suppose -5*c = 5*p - 8130, 2*c = -3*p - 436 + 5311. Is p prime?
False
Suppose 0 = -0*b + b. Suppose 0 = -3*k - o + 679, -3*k + 2*k - o + 227 = b. Is k a composite number?
True
Suppose 3*i = 2*p - 158, 3*p - 3*i = i + 239. Is p composite?
True
Suppose 10 = 3*b - 11. Let a = -4 + b. Suppose 0 = -i - 0 + a. Is i composite?
False
Suppose 2*r - 2 = -2*l, 0*r - l = -3*r - 17. Let q(s) = -s**2 - 4*s - 4. Let h be q(r). Is (212/(-6))/(h/6) composite?
False
Let b(k) = -12*k + 37. Is b(-11) a composite number?
True
Let i = 29 - 14. Is i a composite number?
True
Let p = -603 + 1576. Suppose p = 5*c - 1002. Suppose 3*w - 8*w = -c. Is w composite?
False
Suppose -2*w - 14 = t, 3*t + t + 5*w = -53. Is (-465)/t + 2/8 prime?
False
Suppose 35 = -u - 5*x, 0 = u - 7*x + 4*x + 19. Let a = u - -294. Is a prime?
True
Let a(m) = 133 + 4*m**3 - 3*m**3 - 73 + 163. Is a(0) composite?
False
Let x be -1*(3 - 2)*-3. Suppose -o = -5*r + 526, -r = -x*r + 3*o + 200. Is r prime?
False
Let x = 512 + 2145. Is x a prime number?
True
Suppose -2*m - 3*m - h + 6995 = 0, -6995 = -5*m - 3*h. Is m a composite number?
False
Suppose -4*t = -0*m - 2*m - 118, 4*m = -4. Let d = -15 + t. Is d a prime number?
False
Let d(w) = 488*w**3 - 3*w. Let o(x) = -x. Let h(s) = d(s) - 2*o(s). Is h(1) a prime number?
True
Let p(q) = -q**3 - 11*q**2 - 14*q + 9. Is p(-11) prime?
True
Let v(l) = -l - 6. Let q be v(-6). Let j be q/(-4)*1/3. Let p(y) = -y**3 - y**2 + y + 11. Is p(j) composite?
False
Let m = -1160 + 2475. Is m composite?
True
Is 8*(79 - 0) - (0 - -1) a prime number?
True
Suppose 0 = -2*i + 3*v + 2*v + 58, -v - 32 = -i. Is i a prime number?
False
Let o(p) = p**3 + 7*p**2 + p + 4. Let t be o(-7). Is ((-774)/2)/t + -2 composite?
False
Suppose -4*y + 5200 - 564 = 0. Is y composite?
True
Let m(s) = 2*s - 3*s - 1 + 28*s**2 + 25*s**2. Let t(b) = b**2 - 2*b - 4. Let p be t(3). Is m(p) composite?
False
Suppose 7 = -w - 4*z, 4*z - 2*z + 4 = 0. Let s = 27 + -31. Is (55 - -1) + w + s prime?
True
Let h(a) = -a**2 - 2*a + 2. Let b be h(-17). Let o = 154 - b. Is o a composite number?
True
Let u(h) be the third derivative of h**4/24 + 5*h**3/6 - 3*h**2. Let f be u(-5). Suppose f = 4*a + 10 - 162. Is a a prime number?
False
Suppose -2*p + v - 3 = 0, 0*v - 5*v = -15. Suppose 8 = -5*w + w, -5*s + w + 287 = p. Is s a prime number?
False
Suppose 0 = -2*m - 4*a + 450, 330 - 101 = m - 2*a. Suppose 5*f + 72 = m. Is f prime?
True
Let w(o) = o**2 - o - 1. Let t be w(3). Suppose 0 = -t*v, -5*g + 2*v = 99 - 374. Is g prime?
False
Suppose 0 = 3*f + 4*w - 3*w - 62, 3*w - 54 = -3*f. Let j = f - -49. Is j a prime number?
True
Suppose -4*w - 599 = -4771. Is w composite?
True
Let w(n) = 2*n**2 - n + 2. Let b be w(2). Let u = b - 6. Let c(g) = 41*g**2 - 1. Is c(u) a prime number?
True
Suppose -2*g - 3*m + 221 = 0, -4*g = 5*m - 170 - 275. Let v = 215 - g. Is v - (2 - 0) - 3 a composite number?
True
Is (39/6 - 6)/(2/124) composite?
False
Suppose -4*w + w + 1111 = -2*p, -2*p + 724 = 2*w. Is w composite?
False
Let p(g) = g**3 + 6*g**2 + 5*g + 1. Let w be p(-5). Suppose -3*c + 16 = w. Suppose 0 = c*v + 3*n - 1940, -2*v + 143 = -5*n - 664. Is v composite?
True
Suppose -2*f + f = -2. Suppose 3*j = -2*g + 21, -f*j + 4*g + g - 5 = 0. Suppose -j*h + 260 = -h. Is h a composite number?
True
Let u(n) = 5*n**2 + 8*n - 19. Let j be u(13). Let i = j + -445. Is i a composite number?
True
Suppose 3*c - 218 = 394. Suppose 4*u = -z + c, z - u - 426 = -z. Is (6/12)/(2/z) prime?
True
Is (-4 + 1 - -4)*679 composite?
True
Let w(k) = k**3 + k**2 + k. Let r(g) = 7*g**3 + 5*g**2 + 7*g + 395. Let x(b) = r(b) - 6*w(b). Is x(0) a composite number?
True
Let i be 177/4 - 12/(-16). Suppose -a - i = 4*a. Is ((-17)/3)/(1/a) a composite number?
True
Is 2/(-9) + (-649759)/(-99) prime?
True
Suppose 3*p + 10*f - 5*f = 7, -5*p + 22 = -2*f. Suppose 2*u + 5 = -3*j, -2 = -j - p*u - 7. Is j/((-1)/(111/3)) a prime number?
True
Let h(a) = 3*a - 1. Let k be h(1). Suppose -8 = -2*m, 2*j - 6*m + 20 = -m. Suppose 2*n = 4*c + 46, 0 = -2*n - j*c + k*c + 46. Is n a prime number?
True
Let t(d) = -21 + 2*d + 3*d + d. Let m(n) = 7*n - 22. Let z(c) = 5*m(c) - 6*t(c). Is z(9) a prime number?
True
Suppose -4*g = l - 521 - 597, -282 = -g + l. Suppose 4*x - g - 36 = 0. Let o = x - 44. Is o a prime number?
False
Suppose 0 = -16*m + 11*m + 20. Suppose -2*i + 14 = 3*b - 5*b, 0 = -4*i + 5*b + 28. Let q = i - m. Is q a prime number?
True
Suppose 3084 = -0*l + 4*l. Is l composite?
True
Let w be (12/8)/((-1)/2). Let b(a) = -3*a**3 - 3*a**2 + 2*a - 5. Is b(w) composite?
False
Let x(k) = k**2 - 5*k + 6. Let h be x(4). Let d be 1/2 + (-113)/h. Let a = -37 - d. Is a a prime number?
True
Is 1/4 + 3507/4 a composite number?
False
Suppose 0 = -4*k - l - 11, 2*k - 2*l - 2 = -0*l. Is 22*k/4*-17 composite?
True
Let a = 21 + -21. Suppose a = -2*x + 112 + 142. Is x a prime number?
True
Is 2701/5 + (-4)/(-5) a composite number?
False
Suppose -3*s - 4 + 13 = 0. Suppose -s*n + 76 + 80 = 0. Suppose 6*y - 2*y = n. Is y composite?
False
Suppose -f + 2*v = 2 - 5, -3*v = -2*f + 5. Let j(r) = -8*r + 1 - 13*r + 21*r + 54*r. Is j(f) composite?
True
Let b(q) = 15*q + 1. Let r(j) = 30*j + 2. Let k(c) = -13*b(c) + 6*r(c). Is k(-4) composite?
False
Let g(r) = 44*r - 6. Let m be g(-6). Is 1/1 + (-14 - m) prime?
True
Let x(g) = 14*g + 5. Is x(6) a composite number?
False
Is ((-1399)/4)/((-10)/40) prime?
True
Let l(r) = 3*r**2 - 4*r + 16. Is l(15) composite?
False
Let p(x) = 15*x**3 - 5*x**2 + 4*x - 2. Let y be p(4). Let q = y + -580. Suppose -4*a - 3*v + q = -5*v, 12 = -4*v. Is a a composite number?
True
Is 5406/10 + 4/10 composite?
False
Let t = -10 - -8. Let m be (-68)/(-4) + (t - 1). Suppose 4*b - m = 2*b. Is b a prime number?
True
Suppose 2*a = -2*a - 16. Let r = a - 0. Is (-59)/(-4) + r/(-16) prime?
False
Suppose 3*o + 0*o - 15231 = 0. Is o prime?
True
Let s = 11 + -11. Suppose 3*g + 0*g + 240 = 4*w, -5*w - 4*g + 300 = s. Suppose 0 = -2*j - 22 + w. Is j prime?
True
Let r(o) = 43*o**2 + o - 3. Is r(-2) a composite number?
False
Let o(i) = 429*i - 14. Is o(9) a composite number?
False
Suppose -g + 3*l + 0*l = 7, l = -g + 9. Suppose -6*m + 13 = -g*m. Is m a composite number?
False
Let j(k) = k**3 - 4*k**2 - 5*k + 7. Let c be j(7). Let p be -5*(237/(-15) - 1). Let y = c - p. Is y a composite number?
True
Let t = 67 + -100. Let g be (4 - 0)*t/(-6). Let j = g + 55. Is j prime?
False
Let o be -11 - 2*(-1 + 0). Let z be ((-3)/2)/(o/7248). Is 4/20 + z/10 prime?
False
Let d(x) = -x**2 + 12*x - 8. Let r be d(10). Suppose 5*l + 2 = 4*j, 0*l - 2*l - 4 = 0. Let c = j + r. Is c a prime number?
False
Let s = 34 - -87. Is s prime?
False
Suppose 0 = -4*k - 2 - 6. Is ((-9)/(-18))/(k/(-76)) prime?
True
Let s(o) = 36*o**2 + 6*o - 1. Is s(-6) prime?
True
Let q be (114/(-8))/((-3)/8). Suppose q = -3*j + 2*v, 34 + 16 = -4*j + 2*v. Is j/(-9)*57 + 1 a composite number?
True
Let v = 27 + -38. Let p = 18 - 17. Is v/(p/1 - 2) a prime number?
True
Suppose -1 = 4*b - 3*b, 67 = d + 2*b. Is d composite?
True
Is (2 - 1153)*(0 + -1) prime?
True
Let d(z) = 3370*z**2 + 1. Is d(-1) a composite number?
False
Let v(i) be the third derivative of -i**5/60 - 3*i**4/8 + i**3 + 3*i**2. Is v(-5) a prime number?
False
Let b be (-211)/(-5) + 3/(-15). Suppose 5*p = v + b + 364, 0 = 2*p - 2*v - 156. Is p a prime number?
False
Let h(v) = 2*v**2 + 5*v + 4. Let r be h(-7). Suppose 293 + r = 3*z + 3*o, 2*z - 215 = 3*o. Is z composite?
True
Suppose -d - 2 = -7, -778 = -3*w - 5*d. Is w composite?
False
Suppose 4*q = -2*l + 49 + 1, -3*l + 25 = -4*q. Is l composite?
True
Suppose 4*f - 104 = 4*b, 3*f - 118 = b - 38. Suppose -t + f = -100. Is t prime?
True
Let y = 8 - 6. Suppose 2*m + 182 = y*b - 2*m, 0 = -m + 3. Is b a composite number?
False
Suppose c - 685 = 858. Is c a prime number?
True
Let u be 1/(-3) - 446/(-6). Suppose 5*g + l = -479, -u = -5*g + 3*l - 557. Let a = g + 161. Is a a prime number?
False
Let y(n) = 42*n**3 + 2*n**2 - 6*n + 9. Is y(4) prime?
False
Let a = 610 + -1331. Let b = a - -1208. Is b composite?
False
Suppose -d - 5*m + 248 = -2*m, -4*d = 3*m - 1037. Is d prime?
True
Let v(j) = -j**3 + j**2. Let o be v(1). Suppose -g - g + 110 = o. Is g a composite number?
True
Let t(y) = -7*y*