n + 11. Let t be x(6). Suppose -b - 18 = -t. Is b composite?
True
Let s be 4*(-4)/(-8) - -37. Let d = s + 208. Is d prime?
False
Suppose 1 + 11 = 4*s. Suppose -4*h - 30 = -3*d, -s*d - 5*h + 0 = -3. Is 9/d*1*4 a prime number?
False
Is 422/3*(-24)/(-16) a prime number?
True
Let j = -529 + 1266. Is j a prime number?
False
Let w = 59 - -53. Let x = w + -25. Is x a composite number?
True
Let a = -10 + 28. Let m = -3 + a. Suppose l = 2*l - m. Is l composite?
True
Let u be (-1)/(-3) - 42/(-9). Suppose -4*k + 751 = -h, -u*h + 871 - 325 = 3*k. Is k/5 - (-4)/(-10) prime?
True
Let s = 2 - -3. Suppose 0 = -s*q + 147 - 17. Is q a composite number?
True
Let b(f) = -f + 2. Let t be b(2). Suppose 29 = 2*o - 5*l, -2*o = -t*l + l + 1. Suppose o*h + 55 = 7*h. Is h composite?
False
Let m = 1 - -5. Suppose 0 = 5*j - 10, -m*j + j + 75 = 5*l. Is l composite?
False
Let m(q) = 3*q. Let h be m(1). Suppose h*p + 3*d = -0*d + 222, -3*p - 5*d + 220 = 0. Suppose -p = -4*r + r. Is r a prime number?
False
Suppose -l - 2 + 1 = 0. Let i be -1*(1 - (-1 - l)). Let x(g) = -38*g**3 + g**2 - g - 1. Is x(i) prime?
False
Suppose -5*l + 1378 + 7257 = 0. Is l composite?
True
Let v be 4/6*(-483)/(-2). Suppose j - x - 32 = 0, 5*x = 5*j + x - v. Is j composite?
True
Suppose 3812 = 2*i - 334. Is i prime?
False
Let z(a) = 22*a**2 + 2*a - 3. Let w = 2 + 0. Is z(w) a composite number?
False
Suppose z = 4*z - 414. Suppose 44 = 2*w - z. Is w prime?
False
Let n be (16/20)/((-1)/10). Let o(x) = -x**3 - 2*x**2 + x - 3. Is o(n) a prime number?
True
Let x be 3 + 7/((-14)/(-40)). Suppose 16 = w - x. Is w a prime number?
False
Suppose -4*a - 2*o = -398, -3*a + 2*o + 62 = -233. Let q = a - 62. Is q a composite number?
False
Is 4/(-3)*-3 - -2 prime?
False
Let c = -1 + 4. Suppose -4*i + 13 = -c. Suppose 9*t - 275 = i*t. Is t a composite number?
True
Let v(s) = -9*s. Let q be v(-1). Let k = q - -70. Is k composite?
False
Suppose -2*a + 3*q = -25 - 12, -17 = -a + q. Let r = 141 - a. Is r a composite number?
False
Suppose -4*v + 26 = -5*m, -2*v = 2*v - 2*m - 20. Suppose -4*u + 886 = -u - v*l, 3*l + 591 = 2*u. Let n = 421 - u. Is n a composite number?
False
Let k = -5 - 11. Is (-844)/k + (-1)/(-4) prime?
True
Let i = -252 - -478. Is i composite?
True
Let x(l) = -5*l. Let i be x(-1). Suppose i*v = -5*s + 165, -v + 160 = 3*v - 3*s. Is v composite?
False
Let y(n) be the first derivative of 6*n**3 - n**2 + n - 1. Let w(h) = -h**3 - h - 2. Let k be w(0). Is y(k) a composite number?
True
Suppose -4*w = 4*g - 232, 0 = -w + 4*g + 79 - 1. Is w composite?
True
Let c(w) = w**3 + 2*w**2 - 5*w - 4. Let v be c(-3). Suppose -f = v*f - 63. Is (f/(-6))/(2/(-4)) composite?
False
Let y(i) = -i**2 + 5*i + 4. Let w be y(6). Is (1/2)/(w/(-104)) a prime number?
False
Let w = -5 + 7. Is 105/2 + w/4 composite?
False
Let v(u) = 4*u**3 - 13*u**2 - 6*u - 1. Let n(p) = -p**3 + p**2. Let b(d) = -5*n(d) - v(d). Is b(-6) a composite number?
False
Suppose -n - 8 = n + 2*a, 5*n + 2*a + 8 = 0. Let y = 291 + -142. Is y/(-4)*(n - 4) prime?
True
Suppose 0 = 10*t - 307 - 1243. Is t a prime number?
False
Suppose -17*p + 14*p - 12 = 0, 4*h - p = 1072. Is h a composite number?
True
Let v(y) = 7*y + 11. Let d(w) = 7*w + 12. Let j(h) = 4*d(h) - 5*v(h). Suppose 4*z = z - 18. Is j(z) a prime number?
False
Let g be (-4)/(-22) - 39/33. Let m(c) = 1. Let t(x) = -4*x + 3. Let u(b) = g*t(b) + 2*m(b). Is u(2) prime?
True
Let v = 10 - 7. Suppose 4 = -o - v*o. Let g(d) = -58*d + 1. Is g(o) composite?
False
Suppose 5*v - 48 = 3*b - 281, 192 = -4*v + b. Let c = 0 - v. Let u = -30 + c. Is u prime?
True
Let c be (-1)/(-1) + (-3)/1. Is (356/4)/(3 + c) a prime number?
True
Suppose -5*k + 75 + 95 = 0. Suppose -5*i = -3*z - 275, 3*i + 2*z = 150 + k. Is i composite?
True
Let q = -35 - -73. Suppose -14 = -k + 3*w + q, 0 = -4*k + 5*w + 222. Is k/3 + 1/(-3) a prime number?
True
Is ((-17)/34)/((-2)/92) prime?
True
Let a(j) = j**2 + 13*j + 7. Let x(k) = k - 1. Let g(n) = a(n) - 4*x(n). Is g(-11) a composite number?
True
Suppose -5*b = z - 0*z - 25, 4*z = 0. Suppose 2*d - 2*a - 236 = -5*a, 5*d + b*a - 590 = 0. Is d a prime number?
False
Suppose -30 = 3*v + 2*v. Let m be (-1 - -37) + 4 + v. Let g = -23 + m. Is g prime?
True
Let n(w) = w**3 - 10*w**2 + 5*w - 2. Let d be n(7). Let s = d + 179. Is s a prime number?
False
Suppose -h + s = -4*h + 136, 0 = 5*h - s - 224. Let a be 4/((-129)/h - -3). Suppose 3*g + a = 183. Is g a composite number?
True
Suppose -8 = 3*m + 13. Let t(s) = -s**3 - 5*s**2 + 2*s + 5. Is t(m) a composite number?
False
Is (-2)/(-16) - (-178850)/112 prime?
True
Suppose -2*a = -0*a - 2314. Is a a composite number?
True
Suppose y + 2*y - 30 = 0. Is y/(-25) + (-132)/(-5) prime?
False
Let p(k) = 6*k**3 + 0*k**3 - 3 - 4*k**2 - 2*k**2 - 5*k**3 + 4*k. Is p(8) composite?
False
Let n be (3 + -2)/(1/10). Let f = -7 + n. Is f prime?
True
Let p = 2 + 0. Let i(d) = -3*d**p - 3 + 4*d**2 - 3*d + 2*d + 3*d. Is i(-10) composite?
True
Let x = -96 - -8. Suppose 274 = -p - p. Let v = x - p. Is v a prime number?
False
Let r(l) = 8*l**2 - 11*l + 4. Is r(-10) a composite number?
True
Suppose 2*b = b + o + 8, 0 = -3*b - 3*o + 6. Let r be (-6)/(-15) + 18/b. Suppose r*p - 259 = 89. Is p a prime number?
False
Suppose -3*w + 2*w = -2. Is 1995/28 + w/(-8) a prime number?
True
Let m be 3/15 - 93/15. Let n be (-6)/9*m + 1. Let y(i) = -i**3 + 4*i**2 + 6*i + 2. Is y(n) prime?
True
Let f be (1230/20)/(1/(-2)). Let l = f - -380. Is l composite?
False
Suppose 0 = 3*t + 182 + 91. Is 0/(-3) - t - 2 a composite number?
False
Suppose 0*a - 4*a = -32. Suppose 0 = 4*m - a. Suppose m*t - 25 = 13. Is t composite?
False
Suppose 9 = -4*b + 1, -5*d - 2*b + 341 = 0. Is d composite?
True
Suppose -4*a = -5 - 7. Suppose -2*o = -4*s - 426, 0 = 3*s + a - 0. Is o a prime number?
True
Let z(c) = -c**2 + 5*c + 3. Suppose 5*g = 2*g + 15. Let s be z(g). Suppose 5*b = -5*p + 36 - 1, -s*b + 2*p + 1 = 0. Is b a prime number?
True
Suppose -l - 23 = -144. Is l a composite number?
True
Suppose -12 = 2*b + 2*b. Let w be 1430/8 + b/(-12). Suppose 2*c - w = -21. Is c a prime number?
True
Let f(o) = -2*o. Let d be f(1). Let h be d*(-1)/(-4)*762. Is h*(0 + (-1)/3) prime?
True
Suppose 77 + 2031 = 4*j. Is j a composite number?
True
Let n(b) = 10*b**2 + b - 7. Is n(4) a prime number?
True
Suppose -q + 473 = -4*c, -3*c + 0 = -6. Is q composite?
True
Suppose -3*c + 17 = -4. Suppose 0 = 4*x - 60 + 44. Suppose -o + z + c = 0, 0*o - z - 28 = -x*o. Is o a prime number?
True
Let g be (-4)/(-8)*(1 - -19). Let l(n) = -n**2. Let y(m) = -7*m**2 + 12*m - 7. Let w(q) = -6*l(q) + y(q). Is w(g) a composite number?
False
Suppose 10 = 2*m - 0*m. Suppose 0 = 4*b - 0*y - 2*y - 6, m*b + 2*y - 12 = 0. Suppose -j = b*j - 159. Is j composite?
False
Let s = -3502 + 6111. Is s a prime number?
True
Suppose -2236 = -0*n - n + 3*f, 0 = -4*n - 2*f + 8874. Is n a composite number?
False
Let i(c) = 6*c - 11. Let k be i(-7). Is (k/(-2))/((-2)/(-20)) a prime number?
False
Let o = -239 - -159. Let k = o - -39. Let l = -4 - k. Is l a prime number?
True
Let s(p) = 111*p**2 - 4*p - 2. Is s(-1) a composite number?
False
Let u(o) = -7 - 2 + 14*o + o + 2*o. Is u(8) composite?
False
Let m = 529 - 333. Let w = m + -83. Is w a composite number?
False
Let p = -88 - -139. Is p composite?
True
Let h(g) = -3*g**3 - 2*g**2 + g - 2. Let b be h(-2). Is (-3358)/(-8) + (-9)/b a prime number?
True
Let v(j) = 3*j**3 + 2*j**2 + j - 79. Let d(c) = 4*c**3 + 3*c**2 + 2*c - 78. Let o(q) = -2*d(q) + 3*v(q). Let l be o(0). Is -1 + 2 - (l + -1) composite?
False
Suppose 2*u = 38 + 4. Let m = u - 13. Suppose -2*z - 2 + m = 0. Is z composite?
False
Let i = 1398 - 877. Is i composite?
False
Let m = -810 + 1331. Is m prime?
True
Let k(m) = m + 10. Let c be k(-16). Is 16/(-24) - 8890/c composite?
False
Suppose 5*p = 26 + 14. Let m = p + 47. Is m composite?
True
Suppose 0 = 3*y - 286 - 356. Is y prime?
False
Suppose -5*b + 20 = -3*b - 2*n, 0 = -2*b - n + 5. Suppose -b = 5*r - 180. Is r prime?
False
Let t = 1474 + -765. Is t a prime number?
True
Let l = 8 - 3. Suppose 250 = 3*s + l*f, -87 = -s - 0*f + 2*f. Is s a prime number?
False
Let r = -1297 + 2186. Is r a composite number?
True
Let f(g) = -g - 6. Let a be f(9). Let p be -1 - 1/(-1) - 29. Let u = a - p. Is u a composite number?
True
Let s 