 - 284. Let v be 1/(-3) - (-16)/3. Suppose 4*b - g = -2*j, 0 = -v*b + 2*j - 98 + 289. Is b prime?
True
Let k(n) = -60*n - 3. Let v be k(-4). Let m = v - 160. Is m prime?
False
Let b be (3/(-2))/((-9)/12). Suppose -b*x + j + 13 = 3*x, x + 3*j + 7 = 0. Is x a prime number?
True
Suppose 0 = -4*f + 7 + 9. Suppose f*d + 81 = m, 0 = 2*m + 2*m - d - 309. Is m a prime number?
False
Let p = 1222 + -371. Is p prime?
False
Suppose -3*b - 199 + 1456 = 0. Is b a composite number?
False
Suppose -2*y + 3*y - 2 = 0. Is (-35)/(-1) - (-2 + y) composite?
True
Is (-2)/9 - 839/(-9) a prime number?
False
Let q(t) = 4*t**3 + 3*t**2 - 7*t + 11. Is q(8) composite?
True
Let m(n) = -n + 5. Let u be m(5). Suppose 5 = -3*t + 11. Suppose u = q - t*q + 85. Is q a composite number?
True
Let p(r) = r + 51. Let a be 1 + 0 + (6 - 7). Is p(a) prime?
False
Let u = 9 - 9. Suppose 3*r - 106 + 31 = u. Is r a prime number?
False
Let y be (2/(-4))/((-2)/(-24)). Let f be ((-4)/6)/((-4)/y). Is (71 - 4)*(-1)/f a prime number?
True
Is (-39267)/(-81) + 4/18 prime?
False
Let r(l) = -9*l + 1. Let i(q) = q**2 - 4*q - 6. Let a be i(6). Suppose a = -3*j - 0. Is r(j) prime?
True
Let r be ((-6)/8)/((-4)/16). Suppose -c - 4 = -r*c. Suppose -c*g - 1204 = -6*g. Is g a composite number?
True
Let d = -14 - -13. Is 645/2 + d/(-2) prime?
False
Suppose -2*k - 748 = -4*t, -3*t - 2*k + 539 = 2*k. Is t a composite number?
True
Let m = -27 + 15. Is (-76)/m + 4/6 prime?
True
Let k(f) = -f**2 + 12*f + 16. Let x be k(12). Suppose 2*c = 3*g - 5*g + 26, 0 = -g - 2*c + x. Is ((-1015)/g)/((-1)/2) a prime number?
False
Let a(y) = -36*y + 1. Let c = 6 - 9. Is a(c) a prime number?
True
Let l = -1326 - -2797. Is l composite?
False
Let f(r) = r**3 + 8*r**2 + 7*r + 2. Let y be f(-6). Let m = -13 + y. Is m a composite number?
False
Let z(l) = 9*l**2 + 3*l - 1. Let g(m) = 2*m + 3. Let h = -1 + -2. Let a be g(h). Is z(a) composite?
False
Let s be (-2)/4 - (-1)/(-2). Is 8 + s + 3/(-3) a composite number?
True
Suppose 12 = -3*n - 5*l, n - 5*l + 16 = -3*n. Let v(b) = 3*b + 2. Let c(o) = -6*o - 5. Let a(i) = -3*c(i) - 7*v(i). Is a(n) a prime number?
True
Let q(k) = k**2 - 2*k + 5. Suppose 0 = 2*g - 2*h - 8, 5*h - 4 + 0 = g. Let o be q(g). Is o - -1*(2 - 0) prime?
True
Let b = -54 + 93. Let j = b + 16. Let m = 28 + j. Is m a composite number?
False
Let c be ((-4)/(-3))/((-2)/3). Is c*11*4/(-8) composite?
False
Let t(r) = 3*r - 4. Let l be t(3). Suppose -48 = l*s - 153. Is s composite?
True
Suppose 20 = -3*z + 8*z. Suppose -14 = -4*n - 3*o, -z*n = -0*n - 4*o. Suppose -2*i = 4*q - 58, -83 = -3*i - 3*q - n*q. Is i a composite number?
True
Let v = 10 + 1. Let f be (-40)/(-15)*3/2. Suppose k = -3*q - v, f*k - 27 = 4*q + 9. Is k prime?
False
Suppose 6808 = 5*g + 3*z, -3*g - 2*z = -3*z - 4082. Is g prime?
True
Let m = 1426 - 933. Is m prime?
False
Let k(y) = 2*y + y**2 - 5 + 2*y + 0*y + 0*y. Let r be k(-6). Let f = -4 + r. Is f composite?
False
Let n be (2/(-4))/(1/(-84)). Let p = 46 - 25. Let k = n - p. Is k a composite number?
True
Suppose 4*d + 612 = 4*y, -4*y + 283 = -5*d - 333. Is y prime?
True
Let r = -5 - 8. Let h = 58 - r. Is h a composite number?
False
Is (4564/(-8))/(-7)*2 a composite number?
False
Let r(y) = 7*y - 21. Is r(14) prime?
False
Let p(b) = -130*b - 1. Let f be -2*3/18*3. Is p(f) composite?
True
Let j(d) = -d**3 + 7*d**2 + 4*d + 6. Let y(x) = -x**3 + 5*x**2 + 8*x - 5. Let r be y(6). Let i be j(r). Is i/3*3 - -3 composite?
False
Let a(y) = 0*y + y + 119 - 40 - y**3 + 0*y. Is a(0) a prime number?
True
Let f be 9/((-18)/112) - 2. Is f*1/4*-22 composite?
True
Suppose -3*w = -15 - 0. Suppose 0 = 3*g - w*o - 367, 3*o = 2*g - 0*o - 244. Is g prime?
False
Is (2018/(-4))/(22/12 + -2) a composite number?
True
Let h = 718 + -321. Is h a composite number?
False
Suppose -4*z - 526 = 2*f, 2*z - 3*z = 3*f + 809. Let h = -66 - f. Is h composite?
True
Let s(x) = -x**2 + 3*x - 1. Let l be 5 + (5 - 3)/(-1). Let c be s(l). Is 2 + (-1)/(c/77) a composite number?
False
Suppose 2*t = 2*u + 414, -3*t = -u - 6*t - 219. Let j(s) = -38*s**3 - 2*s**2 + 4*s - 3. Let q be j(2). Let n = u - q. Is n a prime number?
True
Let q be 2/4 + (-15)/(-6). Suppose -1 = -f, -q*a + 2*a + 2*f = -21. Suppose 4*u = 3*u + a. Is u a prime number?
True
Let i be (-1684)/(-10) + (-12)/(-20). Suppose -i - 66 = -5*g. Is g prime?
True
Let n(o) = -3*o + 6. Let z be ((-2)/(-1 - -2))/(-2). Let j be 9*(1 + -2)*z. Is n(j) composite?
True
Let z = 775 + -516. Is z a prime number?
False
Let k(x) = x**2 - 6*x + 6. Let b be k(6). Suppose 2*g - b = 0, p = 3*g + 9 + 205. Is p composite?
False
Suppose 2*q - 15950 = 4*g - 6152, 0 = 3*q - 5*g - 14701. Is q a prime number?
False
Suppose 4*t + 0*p - 2*p - 336 = 0, -2*t = p - 164. Is t prime?
True
Suppose 163 = -4*n + 8*n + 3*s, 0 = -2*s + 10. Is n a prime number?
True
Suppose -1259 = 8*h - 12*h + 3*k, -3*k = 4*h - 1277. Is h prime?
True
Suppose -n = -2*n + 4. Suppose 0*x - n*x + 220 = 0. Is x a composite number?
True
Suppose 8519 = 4*j + 2379. Is j composite?
True
Let t(s) = 207*s. Let a(i) = 26288*i. Let l(m) = -5*a(m) + 636*t(m). Let v be l(1). Suppose 0 = -5*k + k + v. Is k a composite number?
False
Let i(l) = 61*l - 4. Is i(9) composite?
True
Let m(o) be the third derivative of o**5/10 - o**4/24 - o**2. Let l = 21 + -22. Is m(l) a composite number?
False
Let k be (-2 + 3)/(2/18). Suppose 28 = b - k. Is b a composite number?
False
Suppose 4*y - 5*v = 285, 3*y + 2*y = -2*v + 381. Let x = -44 + y. Is x a composite number?
False
Let t(d) = -d**2 - 8*d - 4. Let u be t(-7). Suppose -2*v - 5*w = -v - 142, -u = -w. Is v prime?
True
Let m = 2 + -5. Let r(x) = -x**2 - 2*x. Let k be r(m). Is (5/(-1))/(1/k) composite?
True
Let q be 32/20 + (-2)/(-5). Is 76/q*3/2 a composite number?
True
Suppose -5*k - 3*h = -3722, 4*k - 2*h - 1725 = 1257. Is k a composite number?
True
Let b = -8 - -13. Suppose -b*i - 1285 = -10*i. Is i prime?
True
Suppose 2*w - 6 = r, -r + 4*r - 2 = w. Let t(n) = -n - 1. Let g be t(r). Is (-9)/(-6)*(-74)/g composite?
False
Let n(u) = u**2 + 16*u + 15. Let g be n(-15). Suppose 5*h - 1176 = 2*v + 1339, g = -3*v. Is h a composite number?
False
Let n(v) = 3*v**2 - 3*v + 2. Let k(i) = i**2 + 3*i + 4. Let c be k(-4). Suppose -4 = -4*h, -p + 4*h = -h + c. Is n(p) composite?
True
Let w(k) = k + 9. Let q be w(-7). Suppose -q*d + d + 223 = 0. Is d a prime number?
True
Let y = -533 - -1006. Suppose -3*i - y = -4*w, -i = -w - 2*w + 356. Is w composite?
True
Suppose 2*k - 5*g = 10, 3*k - g - 24 + 9 = 0. Suppose 2*w = -4, -2*w = k*j + 3*w - 2895. Is j prime?
False
Let m(c) = -c**3 + 8*c**2 + 8*c + 12. Let z be m(9). Suppose z*n - 2*o - 182 = 3*o, o = 2*n - 133. Is n a prime number?
False
Let c(k) = k**3 - k**2 - k - 507. Let z be c(0). Let b = -298 - z. Is b a prime number?
False
Suppose -2*h = h - 12. Suppose -h*f + 19 = -1. Suppose 4*l - 2*g = -3*g + 159, -f*g = -2*l + 63. Is l a prime number?
False
Let y be 2 + (0 + 2)*1. Suppose -g = y - 53. Is g prime?
False
Let q be 1*17 + 2/(-1). Let k = 6 + -6. Suppose k*t = -t + q. Is t composite?
True
Suppose -3*y = -v - 15, -4*v + 25 = 3*y - 5. Is (-2)/y*(-627 + -6) a prime number?
True
Let k(g) = g**2 + 3*g - 5. Let l be k(-5). Let v(h) = 44*h + 3. Is v(l) a prime number?
True
Let w(g) = 3*g**2 + 9*g + 1. Let u(v) = v**3 + v**2 - 1. Let d be u(0). Let b be (d - 3) + 0 + -2. Is w(b) prime?
False
Suppose 2198 = 7*g - 455. Is g composite?
False
Suppose 5*g - 37 = 28. Is g a prime number?
True
Let z(i) = -i**2 + 11*i - 3. Let y be z(8). Is -3 + 7/(y/408) prime?
False
Let b(u) = -u + 2. Let y be b(-2). Is -141*((-12)/y + 2) prime?
False
Let m = 7 - 6. Let x(u) = 361*u**2. Is x(m) a prime number?
False
Let h(j) = j**2 - 2*j + 1. Let i be h(3). Suppose -t + i*t = 165. Is t prime?
False
Suppose -z = 4*z - 10. Suppose l + 5*k = 21, -l - k = -z - 19. Is l composite?
True
Let d(z) = -3*z + 1. Let m be d(1). Let a be (-575)/m + 1/2. Suppose -33 + a = 3*f. Is f a prime number?
False
Suppose -9 = 3*t - 438. Is t prime?
False
Let a(r) = -16*r**3 + 2*r**2 - r. Let m(w) = -33*w**3 + 5*w**2 - 2*w. Let x(g) = 5*a(g) - 2*m(g). Is x(-1) a prime number?
False
Is (412/16)/(1/4) composite?
False
Let o be (2/(-3))/((-2)/(-72)). Let c = o + 59. Is c a composite number?
True
Let x be (-68)/20 - 2/(-5). Let v = 5 + x.