Let t be (g + (-7)/(-3))*153. Suppose 0*l + 2*k - 186 = -4*l, t = l - 4*k. Is l prime?
True
Let x = 174 - -31. Is x composite?
True
Let w = -12 + 12. Suppose 5*q + 3*l = 170, w*l - 20 = -4*l. Is q composite?
False
Suppose -1264 = -4*p - 2*d, -7*d = -3*d + 8. Is p composite?
False
Let r(p) = -164*p**2 - 3*p - 12. Let q(d) = -41*d**2 - d - 3. Let k(z) = -9*q(z) + 2*r(z). Suppose -5*t - 3*u + u - 14 = 0, t + 4 = -u. Is k(t) a prime number?
False
Let r(d) = 20*d. Let m be r(8). Suppose -4*v = -5*s - m, -v = 2*v + s - 120. Let a = v + -18. Is a a composite number?
True
Let s = 7 + -14. Let x = s - -11. Is -14*(30/x)/(-5) a prime number?
False
Let x = 1401 - -1102. Is x a composite number?
False
Let t(l) be the third derivative of -l**6/120 - 7*l**5/60 + 11*l**4/24 + 2*l**3 - l**2. Let s be t(-10). Let b = -111 + s. Is b prime?
False
Suppose 10 = 4*q - 2. Suppose 5*t = -2*p + 257, -2*p + q*p - 256 = -5*t. Is t a composite number?
True
Let h = -31 - 4. Let i = -17 - 8. Let w = i - h. Is w a composite number?
True
Let s = -2 - -47. Suppose -s - 220 = -5*z. Is z composite?
False
Let z(j) = -408*j**3 + j**2. Let q be z(1). Let v = -244 - q. Is v a prime number?
True
Suppose -3*g = 5*k - 3492, 2*g - 2*k - 2979 = -635. Is g prime?
False
Is (-6)/27 + 3435/27 a prime number?
True
Let y = -8 - -14. Suppose 4*p - 2 = -y. Is p/(3/(-160 - -1)) a prime number?
True
Suppose -2*i + 3*p + 534 = p, -5*p - 15 = 0. Is -2 + (2 + i - 1) a prime number?
True
Let p(y) = -5*y + y**2 - 5 - 3 + y**2 + 4. Is p(5) prime?
False
Suppose 0 = 2*s + 3*d - 619, 0 = -2*s + d - 6*d + 613. Is s a composite number?
True
Suppose 0 = -2*h + 383 + 287. Is h a composite number?
True
Suppose -4*c = 4*p, -2*p + 5*p + 6 = 0. Suppose -c*q + 598 = 5*o - 4*q, 5*o - 586 = -q. Is o a composite number?
True
Let n = 12 + -7. Suppose -5*o + 2*g + 156 + 198 = 0, 4*g - 372 = -5*o. Suppose 4*h - n*b = o, h + b = 6 + 3. Is h prime?
True
Suppose -420 = -3*c + 999. Is c a composite number?
True
Let d(o) = -33*o**2 - 8*o + 14. Let n(g) = -65*g**2 - 15*g + 27. Let u(h) = 5*d(h) - 3*n(h). Is u(6) a composite number?
True
Let q(o) = -o + 15. Let k be q(10). Suppose 4*r = -4, 0 = -k*i + r + 3*r + 4. Is 31*((-1)/(-1) + i) composite?
False
Let s(n) = -n**2 - 3*n - 1. Let h = -1 + -2. Let f be s(h). Is f*2*42/(-4) a composite number?
True
Suppose -3*r - 3*z = -22296, -3*r + 22271 = -0*z - 2*z. Is r a prime number?
False
Let a(k) = 10*k + 1. Let v = -5 - 0. Let l = -2 - v. Is a(l) a composite number?
False
Let k = -84 + 163. Let o = 8 + k. Is o a prime number?
False
Let w(m) = -3*m**2 + m. Let z be w(-1). Is ((-246)/(-3) - z)/2 a prime number?
True
Let p be (-200)/(-14) - 6/21. Is 486/p + (-8)/(-28) prime?
False
Suppose -97 = 3*i + 65. Is 5767/9 + (-12)/i a prime number?
True
Let q = -2 - -1. Let a be -3 - (-2 + q + -4). Suppose -3 = -a*u + 37. Is u a composite number?
True
Let u(z) = 48*z + 17. Is u(5) prime?
True
Let v = 607 + -420. Is v a prime number?
False
Suppose 0*f = f - 251. Is f a prime number?
True
Let p = -1 + 2. Let v be (-23)/(-1)*p - 1. Suppose 3*a - v = 209. Is a a composite number?
True
Let z(p) = p - 5. Let d be z(5). Let m(w) = -w**2 - w + 3. Let y be m(d). Suppose 4*r + r = y*k + 245, -4*r - 3*k + 196 = 0. Is r a composite number?
True
Suppose -3*s = 3 + 9. Let n be 22 + 3 - s/(-2). Is (n/(-1))/(-1) - 1 a composite number?
True
Let v = -323 + 3102. Is v a prime number?
False
Let z be (-2)/(4/6) - 114. Let k = -80 - z. Is k prime?
True
Is (-1 - -6)*((-27882)/(-30) + -2) a prime number?
True
Let g(v) = -v**2 + 10*v - 11. Let t be g(9). Let d be 2 - (-3 - 0 - -4). Is 33 - (3 - d)/t prime?
False
Suppose -4*y - 2*x - 3 = 3, -16 = 4*y + 4*x. Let o be (4/(-12))/(y/(-15)). Suppose -4*q = 4*r - 40, o*q - 2 + 0 = 3*r. Is r a prime number?
False
Let w(l) = l**3 + l**2 - l + 67. Is w(0) prime?
True
Let q be ((-9)/(-2))/((-1)/6). Is (-3)/q*3*285 a prime number?
False
Let n be (0 - -2) + -2 - -71. Let a = 64 - -14. Let g = n + a. Is g a prime number?
True
Suppose -89 = -2*m - 27. Suppose -2*i = -2*u + 32, -3*u + 25 = -5*i - m. Is (-262)/(-12) + 2/u a prime number?
False
Suppose q + 4*p = 6, 0*p = 3*q - 3*p - 3. Suppose -5*k - q*y + 183 = 0, -k + 2*y + 23 = -16. Is k prime?
True
Let n(b) = 144*b + 1. Is n(1) a composite number?
True
Suppose 16*w - 32 = 20*w. Is 88/w*(-3 + 1) composite?
True
Suppose 4*p = 2*b + b + 5036, 5*b = -p + 1259. Is p a composite number?
False
Suppose 3*u + 2*u - 955 = 0. Is u prime?
True
Let v(k) = -3*k + 2. Let g be v(4). Is (-166)/(-4)*g/(-5) a prime number?
True
Is (-2934)/(-10) + 8/(-20) a composite number?
False
Let l = 12 - -4. Let c = 30 - l. Is c composite?
True
Let i(f) = 2 + 1 + 22*f - 10. Is i(9) composite?
False
Let c(o) = -16*o**2 + 6*o - 3. Let d be c(4). Let i = d + 392. Is i a prime number?
True
Let n(a) = 12*a**3 - 4*a**2 + 5*a. Let v(z) = -11*z**3 + 3*z**2 - 4*z. Let g(x) = -5*n(x) - 6*v(x). Is g(1) prime?
True
Let q(t) = 44*t + 7. Is q(3) a composite number?
False
Let v(j) = 14*j - 3. Is v(2) prime?
False
Suppose -r - 3*i + 259 = -2*i, 0 = 4*i. Is r a composite number?
True
Let b be (-2 - (-2 + 1))*1. Is 3 - (b - -3 - 148) a composite number?
False
Let w(p) = p**2 - 5*p - 10. Let y be w(7). Suppose 4*f = -8, 0 = -i - y*f + 11 + 38. Is i a prime number?
False
Let z(b) = 0*b - 1 + 3*b + 4 + 1. Let r be z(3). Suppose 0 = -u - 2*w + 29, -4*w - r = 3. Is u a composite number?
False
Suppose w - 7924 = -w. Is w/35 + (-2)/10 prime?
True
Suppose -515 = -5*s + 1580. Is s a prime number?
True
Let h = 5 - 4. Is 59 - (-1)/h*0 composite?
False
Suppose -18 = 2*x - 4. Let k = x + 18. Is k a prime number?
True
Suppose -4113 - 688 = -5*n + 3*l, 0 = -3*n + 2*l + 2881. Is n a prime number?
False
Let z be (2/6)/(1/9). Suppose 2*a = -z*a. Suppose -x - 3*h + 32 = a, x - 54 = -2*x + 5*h. Is x a prime number?
True
Suppose 2*j = i + 4017, -j + i = 4*j - 10050. Suppose j - 775 = 4*s. Is s a composite number?
True
Let b = -38 + 67. Let x(k) = -2*k - 4. Let t be x(-6). Let v = b - t. Is v a prime number?
False
Suppose 5*s = -4*m + m + 279, -4*m = s - 372. Is m composite?
True
Let a = -41 + 63. Is a a prime number?
False
Let x(w) = 682*w**3 + w. Is x(1) a prime number?
True
Suppose 2*c - 4*g = -0*c - 786, 0 = 5*c - 5*g + 1955. Let f = c + 868. Is f prime?
True
Let y = -1130 - -1995. Is y composite?
True
Suppose 0 = -d - 2*g + 2, 2*d - 13 = -3*g + 8*g. Suppose s = l + 153, d*s - 2*l = 311 + 293. Is s a prime number?
True
Let t(i) = -i**3 + 9*i**2 + 13*i - 14. Let x be t(10). Suppose x*z - 12*z = 356. Is z a prime number?
True
Let a = -16 + 12. Let r(d) = -28*d - 3. Is r(a) composite?
False
Let m(h) = 121*h - 5. Let b(y) = 241*y - 10. Let l(n) = -6*b(n) + 13*m(n). Is l(2) a composite number?
True
Let x(s) = -s**2 + 5*s - 4. Let y be x(4). Suppose y = 5*v + 137 + 8. Let p = v - -52. Is p a composite number?
False
Suppose 3266 - 68 = 6*c. Is c prime?
False
Suppose -4*y + 2*g = -211 - 69, 5*y - 351 = 3*g. Is y prime?
False
Suppose 2*w - 5*f + 18 = 0, 0 = -5*w - 5*f - 7 - 3. Is 2/w*(-296)/4 a prime number?
True
Let g = 135 + 158. Is g a prime number?
True
Suppose -4*k + 1137 = -639. Is 0/2 - (-2 - k) prime?
False
Suppose 3 + 5 = 4*u. Suppose 4*t = 3*t + 2*w + 9, t = -5*w + u. Is t a composite number?
False
Suppose 11*j - 12465 = -4028. Is j a prime number?
False
Suppose 4*t - 3 = -l, 5*l + 9 = -5*t - 6. Suppose 10 = 3*c + t*c. Suppose 5*r - 415 = -4*z, 0*z + c*z = r - 69. Is r composite?
False
Suppose 0 = 2*p + l - 11, -2*l - 4 - 1 = -5*p. Suppose -f = p*f. Suppose -b = -2*q - q - 31, 5*b - q - 127 = f. Is b prime?
False
Let k = -2 - -2. Suppose y - 8 = -2*j + 3*y, 4*y = 0. Suppose j*s = -k*s + 532. Is s a prime number?
False
Let o be (3 + 0)*(-789)/(-9). Let v = -172 + o. Is v a prime number?
False
Let d(a) = -a**3 - 6*a**2 + 6*a - 4. Let p be d(-7). Is (-3)/(p - 0) + 38 prime?
True
Let i(w) = w**2 - 2*w - 17. Is i(6) composite?
False
Is ((-1)/1)/(6/4)*-1101 a prime number?
False
Let v be 1*(-3 + 2) - -19. Let x = 174 - 78. Suppose 5*q + d = x, q + 2*d - v = 3*d. Is q composite?
False
Let i(y) = -y**2 - 7*y + 2. Suppose -4*u - u - 25 = 0. Let z be i(u). Suppose 0 = -4*l + z. Is l a composite number?
False
Let x(r) = 5*r**3. Let d be x(1). Let u = d - -144. Is u a composite number?
False
Let x(n) =