124 = 3*b + 10. Is b composite?
True
Let d(u) = 7*u**2 + 19*u + 13. Is d(-7) composite?
False
Let l(o) = -o**3 - 6*o**2 + 2*o - 4. Let p = 4 - 10. Let x be l(p). Is (-332)/x - 1/(-4) a prime number?
False
Is 13/11 + -1 - 94757/(-407) prime?
True
Let q = 1 - 1. Let f(c) = c + 21 + 34 - c**3 + 2*c**3. Is f(q) composite?
True
Suppose -3*h = -t + 53, 157 = 5*t + h - 156. Let j = t - -27. Is j a prime number?
True
Let k(s) = 2 + 0 + 1 + 2*s. Is k(9) composite?
True
Is 1680/9 - (-1)/(-6)*-2 composite?
True
Suppose -2*q - c = 3*q + 1654, 0 = -4*q + c - 1325. Let g = -188 - q. Suppose 2*v - u - 94 = -4*u, -g = -3*v - 4*u. Is v composite?
False
Suppose -r - 40 = 3*r. Let u be (-4)/12 - r/3. Suppose u*k - 19 = 14. Is k prime?
True
Suppose -3*a + 10 = -y + 38, 0 = 2*a + 6. Suppose 0*r + y = r. Is r composite?
False
Let g(b) = -57*b - 8. Let z be g(-6). Let t = -185 + z. Is t composite?
False
Suppose 4*p - 15 = 245. Is p prime?
False
Let c(z) = 3*z**3 - 2*z - 1. Let q be c(-1). Is (-31)/(-2) + 1/q composite?
True
Suppose 69 + 44 = y. Is y a composite number?
False
Suppose 0 = -3*x + x - 100. Let g = -39 + 11. Let y = g - x. Is y prime?
False
Let w(k) = 4*k**2 + 14*k - 11. Is w(-11) a composite number?
True
Let k(v) be the third derivative of 27*v**5/20 + v**4/24 - v**3/3 + v**2. Let h be k(2). Suppose 2*a - h - 46 = 0. Is a prime?
False
Let v(h) = -68*h - 11. Is v(-6) prime?
True
Suppose -481 - 674 = -3*a. Let w = a + -267. Is w a prime number?
False
Let a be (-45)/6*4/(-6). Suppose 2*o = a*o. Suppose o = -n - 0*n + 35. Is n composite?
True
Is 4135/6 - (-6)/(-36) a composite number?
True
Let g(d) = 27*d**2 - 4*d - 5. Let v be g(5). Let c = 1023 - v. Is c a composite number?
False
Let n(c) = 6*c**3 - 8*c**2 + 5*c + 12. Suppose 14 - 4 = 2*f. Is n(f) a composite number?
False
Let t = 1 - -2. Suppose 2*c + t*c = 45. Let s(r) = r**2 - 8*r - 2. Is s(c) a composite number?
False
Let d be ((-2601)/3)/3 + -2. Let k = d + 482. Is k a composite number?
False
Let m(y) = 8*y + 2. Let x be m(-2). Let u be (-74)/x + 4/(-14). Suppose p - 6 - 5 = 4*s, 0 = -u*p - 5*s + 80. Is p a prime number?
False
Let k be (70/(-21))/(4/(-342)). Suppose -3*t = 2*h + 22 - k, -2*h = 5*t - 253. Is h a prime number?
True
Suppose 0*h - 4*h + 12 = 0. Let l be 3/((h/(-3))/(-1)). Suppose -l*s + 62 + 299 = 5*x, 0 = -5*x - 20. Is s prime?
True
Suppose 16*f - 20*f + 6172 = 0. Is f prime?
True
Let t(q) = -q**2 - 10*q - 4. Let f be t(-7). Suppose -5*a - 5*v - f = 23, 4*a - 5*v = -5. Let r = 12 + a. Is r a prime number?
True
Suppose 2*l - 5*l = 0. Suppose l = -3*b + 3, 3*z - 5*b - 303 = -z. Suppose d + 2*d + 4*c - 73 = 0, 5*c = -3*d + z. Is d a prime number?
True
Let l = 526 - -717. Is l a prime number?
False
Let x(r) = 2*r - 12. Let v be x(8). Let k(u) = u**2 - 2*u - 2. Is k(v) a composite number?
True
Let q(k) = -k**2 - 5*k + 3. Let a be q(-6). Let i be 2 - (-2 + 3 + -1). Is a/i*104/(-12) a prime number?
True
Let t(b) = b**2 + 1. Let v be t(2). Suppose 2*q + v*j - 23 = 0, 2*q - 8*j + 22 = -4*j. Is q + 2 + (-6)/(-2) a composite number?
True
Let y(r) = r**3 + 6*r**2 - 4*r - 5. Let k be (6/(-4))/(3/12). Is y(k) a composite number?
False
Let t(j) = -99*j - 2. Let m be t(2). Let a = m - -289. Is a a composite number?
False
Suppose -11*x = -2*x - 9603. Is x a composite number?
True
Let a = -479 + -371. Suppose 0 = -0*m - 3*m - 12. Is a/(-18) + m/18 prime?
True
Let u be (4/(-5))/((-18)/225). Suppose -2*p + u = 4*g - 0*p, -5*p - 25 = 0. Suppose -5*r + 261 = -s, -r - 14 = g*s - 87. Is r a composite number?
False
Is 0/(-1 + -2) - -69 a composite number?
True
Let x = 4 + 0. Suppose 0 = 5*a - 4*p - 19, x*p - 7 = -3*a - 2. Suppose a*b - 49 = 206. Is b composite?
True
Let r = -3 + 10. Suppose -r = -m - 2. Suppose w + 4*a = 29, m*a + 121 = -2*w + 5*w. Is w a prime number?
True
Suppose -6690 = -5*r + 4*x, 5*r + 3*x = 2*x + 6665. Suppose 341 = -3*l + r. Is l prime?
True
Let l be (0/(-2))/((-7)/7). Suppose -h = u - 52, 0*h + 4*h - 2*u - 214 = l. Is h a prime number?
True
Suppose -7*v + 4 = -3*v. Let d be (3 - 26)*(0 + v). Let n = -12 - d. Is n prime?
True
Let v = -4268 + 8689. Is v prime?
True
Let f = -7 + -1. Let p(c) = 9 + 4 - 6 - 6*c. Is p(f) prime?
False
Suppose 4*j + c + 2 = 3*c, c = 5. Suppose -8*m = -39 - 49. Is j/m - 6205/(-55) composite?
False
Suppose 6 = 2*l - 0. Let v be ((-10)/(-4))/(l/6). Suppose -2*k + 22 = v*j - 38, 0 = 2*j + 2*k - 30. Is j prime?
False
Suppose 3*s - 3*k = 2*s + 263, 4*k = -5*s + 1239. Is s composite?
False
Suppose -2*g - 3*g - 5 = 0. Let k(n) = 0*n - 6*n**2 + 58*n**2 - 1 - 2*n. Is k(g) a composite number?
False
Is 1 + 2 - 1 - -5 a composite number?
False
Let g be 1 + 3 - 1 - 7. Is (-269)/(-3) - g/(-6) prime?
True
Suppose -4*n + 5 = -5*n, -4*n = 4*w - 1072. Suppose w = 3*v + i, v + 3*i - 142 = -51. Is v a composite number?
True
Suppose 3*q + 51 = 2*f + 2*f, 2*f + 5*q + 7 = 0. Is (-6)/f - 149/(-3) prime?
False
Let j = 8 - 5. Suppose 3*v + 2*f - 172 = 39, -3*v + 216 = j*f. Is v a prime number?
True
Let u = -121 - -177. Suppose y - u = 4*k - 161, -4*y = 20. Suppose -2*f + 2*h - h = -319, 5*h = -k. Is f prime?
True
Let u(m) = -14*m - 1. Suppose 0*t + 2*t - 2 = 0. Suppose b - p + 3*p = -t, -p = 5*b + 5. Is u(b) a prime number?
True
Let m(a) = 450*a**2 + 2*a - 1. Is m(1) composite?
True
Let m be (4 + -6)/((-1)/2). Suppose -5 = -g, -m*n + 0*n - 4*g + 1344 = 0. Is n a prime number?
True
Suppose 0 = 4*w - 784 - 20. Is w composite?
True
Let s(j) = -j**3 + 6*j**2 - 3*j - 5. Let m be s(5). Suppose -2*g + 2*w = -2*w - 20, -m*w - 18 = -2*g. Is g a composite number?
True
Let z(n) = -4*n + 1. Let c be z(-1). Suppose -10 - c = -3*p. Suppose 5*r = p*k + 530, -3*r - r - 4*k + 464 = 0. Is r a prime number?
False
Suppose 0*t + t - 395 = 0. Is t a composite number?
True
Suppose 3*k + 155 = -55. Let y = -47 - k. Is y a prime number?
True
Suppose -z + 0 = -3. Suppose z*w = -w + 20. Suppose -w*k = -5*h - 195, 0 = -k - 4*k + 2*h + 180. Is k prime?
False
Let i(b) = 2*b**2 + 8*b + 5. Let u be (-20)/(-2)*2/(-4). Is i(u) a prime number?
False
Let o(x) = -8*x - 1. Suppose -g - 7 = -m - 1, -2*m = -4*g - 18. Suppose -14 + 5 = m*d. Is o(d) a prime number?
True
Suppose -3*m = m - 32. Let n be (-2)/(-6) - (-249)/9. Is 1*2*n/m a composite number?
False
Let l = -15 - -14. Is (l/1)/(1/(-257)) prime?
True
Suppose 7*b - 3*b - 3*g + 240 = 0, 0 = -b + 5*g - 60. Let f = -117 - -254. Let j = f + b. Is j prime?
False
Let k(x) = -2*x. Let l be k(-1). Suppose i + l*i - 171 = 0. Is i a composite number?
True
Let h = 305 + -4. Is h a composite number?
True
Let i(z) = -z**2 - 12*z - 7. Let a be i(-11). Suppose -2*j + 4*g = -266, -g = a*g + 5. Is j composite?
False
Let d be 0 + 4 + -1*2. Suppose 0 = 5*y + k - 334, d*k = 7*y - 2*y - 337. Suppose 3*l - c = y, 2*c + 12 = 2*l - 38. Is l a composite number?
True
Suppose -28*h = -22*h - 25770. Is h prime?
False
Suppose 5*g + 8 = -5*n + 33, 0 = 5*g - 5*n - 5. Suppose -g*h - 6 = -h, 0 = 5*z + 4*h - 253. Is z a prime number?
True
Let l = 343 - -3264. Is l a composite number?
False
Let w(q) = 68*q**3 - 2*q**2 + q. Let v be ((-4)/(-6))/(4/6). Is w(v) a composite number?
False
Let l(p) = -p**3 - 3*p**2 - p + 1. Let d be l(-2). Let q be 13 + (d - -2) + -2. Is 150/8 + 3/q a prime number?
True
Let c(k) = 6*k**3 + 3*k - 1. Let q be c(-5). Let l = -501 - q. Is l prime?
False
Suppose 0*o + 3*o + 336 = 0. Suppose 6*p - 591 = 3*p. Let x = o + p. Is x prime?
False
Suppose -4*w + 3*w - 3 = 0. Let d(t) = -5*t**2 + 4 + 3*t + 9*t**2 - 4*t. Is d(w) prime?
True
Suppose x + 5*s - 196 = 0, -2*s = 4*x - 534 - 340. Is x prime?
False
Suppose 0 = 3*s + 394 - 1795. Is s prime?
True
Suppose 0 = -3*l + l + 378. Suppose 0 = o + s - 36, l = 5*o - 8*s + 4*s. Is o a composite number?
False
Is 1 - -294 - (2 + 0 + 0) prime?
True
Let t be (-475 - -2) + (-1 - 0). Is t/(-15) + 9/(-15) composite?
False
Let z(v) = -4*v**3 - 8*v**2 + 7*v - 6. Let b(w) = -9*w**3 - 16*w**2 + 14*w - 13. Let k(c) = -3*b(c) + 7*z(c). Is k(-10) a prime number?
True
Let c = 2628 + -1009. Is c composite?
False
Let b be 4/(-10) + 88/(-5). Let p = 73 + b. Is p composite?
True
Let i(u) = -2*u - 9. Let p be i(-7). Suppose 2*t - 4 = c + 3*c, 2*t - 3 = p*c. Suppose t*g - 74 = 2*g. Is g a prime number?
True
Let b(j) = -12*j - 7. Let y = -2 + 4. Suppose 0 = 2*u