, 0 = 5*j + w - 1604. Let b(r) = 12*r**3 - 2*r**2 - 3*r + 4. Let p be b(3). Suppose 4*i + h = j, h + 2*h + p = 4*i. Is i prime?
True
Suppose 360 = 2*x + o + o, 5*x = 4*o + 936. Let h = x + -97. Is h prime?
False
Let c be (-16)/(-10) - 3/5. Suppose 5*z - 21 = -c. Suppose -7*k - z*b = -2*k - 269, -k + 69 = -3*b. Is k composite?
True
Let a = -1639 + 2312. Is a a prime number?
True
Suppose g - 5*g = 0. Let z(l) = 4 - 10*l**3 + 11*l**3 + 9 - 3 + l. Is z(g) a composite number?
True
Let r(n) = n**2 + 3*n - 6. Let g be r(-5). Let h be (2/(-4))/((-2)/g). Is -3 - (-66 + h + -3) a prime number?
False
Let v be (-2 - 4)/((-1)/15). Suppose -v - 85 = -5*u. Is u a composite number?
True
Let n = -7 - -11. Suppose -n*c + c + 9 = 0. Let i(o) = 37*o**2 - 2*o + 2. Is i(c) a prime number?
False
Suppose -z + 1596 = -2495. Is z a composite number?
False
Let s = 195 + -107. Suppose -s + 1143 = 5*t. Is t prime?
True
Suppose -s - 3*s - 864 = 0. Let h be 1/(-5) + s/(-5). Suppose 3*p + h - 148 = 0. Is p composite?
True
Suppose 0 = m + 2*m - 102. Suppose 79 = 4*d + 3. Let z = m - d. Is z composite?
True
Let a(w) = 801*w + 3. Let z be a(3). Suppose i + z = -2*i. Is i/(-12) - (-1)/6 a prime number?
True
Suppose 0 = -4*g - 9 + 29. Suppose 0 = g*q - 228 - 377. Let x = -72 + q. Is x a composite number?
True
Suppose -2*m + 48 = 2*u, -3*m = u - m - 21. Let v = -14 - u. Let x = v - -64. Is x composite?
False
Suppose -2*h + 10 = 0, -4*h + 87 - 11 = 2*b. Let q = -6 - -6. Suppose 4*y - b = -q*y. Is y prime?
True
Let b(u) = -u. Let l(q) = 2*q - 1. Let c(w) = -2*b(w) + l(w). Let h be 1/((-6)/8 + 1). Is c(h) a composite number?
True
Is (-6)/(-9)*(4203/6)/1 a composite number?
False
Is (-18)/(-15)*3461 - 2/10 prime?
True
Let m(j) = 2*j**3 - 3*j**2 - 3*j + 3. Is m(3) a composite number?
True
Is (-1 + 0)/((15/1086)/(-5)) composite?
True
Suppose 4*v - 13*q = -15*q + 6228, -12 = 3*q. Is v composite?
False
Let s(i) = i**3 + 12*i**2 - 13*i + 7. Is s(-12) composite?
False
Suppose 4*k + 138 + 2 = 0. Suppose -3*c = 49 + 26. Let u = c - k. Is u a prime number?
False
Let r(w) = -49*w - 25. Is r(-6) prime?
True
Suppose 2*k - u = 7*k + 60, k = -3*u - 26. Let s = -21 - k. Let y = 32 + s. Is y a composite number?
True
Is 3/(-15) + 2016/30 composite?
False
Let v be -1 - (-1)/((-3)/351). Let n = 9 - v. Is n a prime number?
True
Let q(n) = -32*n**3 + n**2 + 3*n - 5. Is q(-4) a prime number?
False
Let o(t) = 15*t + 4 + 8 - 1 - 4. Is o(4) composite?
False
Suppose 0 = -2*s - b + 7, -6*s = -2*s - b - 5. Let j(k) = -2*k + s - 3*k - k. Is j(-2) a prime number?
False
Let n = 17 + -27. Suppose -2*v - v + 87 = 0. Let q = n + v. Is q a composite number?
False
Suppose 0 = 2*t - 0*t - 260. Let d be 0 + (-2 - -2 - -185). Let p = d - t. Is p composite?
True
Suppose -2*l + 0*l - 2*b = -1586, 2*b = -4*l + 3172. Is l prime?
False
Let r = 7 + -4. Suppose -b - 2*c + 2 = -3, r*c + 6 = 0. Suppose k = 28 + b. Is k a composite number?
False
Let s be 16/(-12) - (-6)/(-9). Let l(w) = 16*w**2 + 3. Is l(s) prime?
True
Suppose 215 = -4*y + 87. Let h = 115 + y. Is h a prime number?
True
Suppose -16 = -4*z - 2*c, -2*z - 5*c = -6*z + 30. Let p(b) = -3*b + 2 + z*b**2 + 0*b**2 - 3*b**2. Is p(4) a prime number?
False
Suppose -3*l = 2*q - 106, -2*q + l = 3*q - 248. Suppose -179 + q = 3*k. Let u = 86 + k. Is u composite?
False
Let u(i) = -i**3 - 10*i**2 - 10*i - 6. Let p be u(-9). Suppose 157 = p*m - 50. Is m a composite number?
True
Let g(u) = -u - 1. Let y be g(0). Let l(p) = -353*p. Is l(y) prime?
True
Suppose -24 = -4*w - 5*m, -4*w - 4*m = -m - 16. Let r(d) = 36*d**3 - d. Is r(w) a prime number?
False
Let x(u) = -2*u**3 - 3*u**2 - u + 1. Suppose -15 = 5*d - 5*g, d - g - 5 = 2*d. Is x(d) a prime number?
False
Let q(g) = -g. Let v be q(1). Let l(c) = -259*c. Is l(v) prime?
False
Suppose -3*g + 2*z + 19 = 0, 10 - 36 = -3*g - 5*z. Let r = g + -6. Let w(u) = 27*u**2 - 2*u + 1. Is w(r) a prime number?
False
Is (11714/4)/((-18)/(-36)) composite?
False
Let k(u) = -u - 2. Let x be k(-4). Suppose s - 1185 = -x*s. Suppose d - s = -4*d. Is d composite?
False
Let m(b) be the third derivative of b**5/15 + b**4/6 + b**3/2 - b**2. Let a be m(-2). Suppose -136 = -3*g + a. Is g composite?
True
Is 4/(-6)*16884/(-24) composite?
True
Suppose -3*d - 3 = -3*x, 5*d - 4 + 1 = -3*x. Let n(u) = -111*u**3 - u**2 + 2*u - 1. Let t be n(x). Is t/(-2) + (-1)/2 composite?
True
Is 4 - 4 - (1 - (-8624)/(-4)) a prime number?
False
Let j(w) = w**2 + 5*w + 3. Let c be j(-5). Suppose -g - 514 = -4*l + g, 5*g = c*l - 396. Is l prime?
True
Let o(p) = p**2 - p - 3. Let x be o(0). Let j be (-105)/(-10)*(-4)/x. Is (j/4 - 2)*10 prime?
False
Is (-18)/6*(-106)/6 prime?
True
Let g(v) = 6*v - 4. Is g(5) a prime number?
False
Suppose 0 = -6*t + t - 355. Let g = -1 - t. Suppose -5*h - g + 175 = 0. Is h prime?
False
Let s = -560 + 1089. Is s a prime number?
False
Suppose -1 = -5*o + 24. Suppose -o*w + 50 = -0*w. Is w*1*(-14)/(-4) prime?
False
Let v(u) be the third derivative of -15*u**4/8 + u**3/6 + 2*u**2. Let t be v(1). Let f = -13 - t. Is f composite?
False
Let x(r) = -4*r**3 + 2*r**2 + 49. Is x(-6) a prime number?
False
Let k(u) = -15*u - 3. Let w be k(-4). Is (w/(-5))/(1/(-5)) composite?
True
Suppose 5*v = f - 1, -6 = 2*v - 2*f - 4. Suppose -5*t + 2*t = v. Suppose 3*r + 71 - 272 = t. Is r a prime number?
True
Let v be -2 + 4 + (-67)/(-1). Suppose -5*y + v = 4*j - 1202, 4*y - 996 = 2*j. Is y a prime number?
True
Suppose -10*b + 17*b - 12607 = 0. Is b prime?
True
Is -1 + -1 - (-4891 + 4 + -4) prime?
True
Let l(h) = 317*h**2 - 3*h + 7. Is l(6) composite?
True
Is 4/(-10) + (-2 - 27559/(-35)) prime?
False
Suppose -5*l + 19 = -6. Suppose 2*f + 5*j + 5 = 0, -l*j + 2 = 17. Suppose -f*q = -3*q - 158. Is q composite?
False
Let f be -2 - 0 - 32/4. Let d be (-3)/6*f/1. Suppose 12 = d*h - 3*h. Is h a composite number?
True
Is 938 + ((-2)/(-4))/((-17)/34) prime?
True
Let f(i) = 12*i - 4*i**2 + 5*i**3 + 0 + 21*i**2 + 0. Let c(o) = 6*o**3 + 18*o**2 + 12*o + 1. Let s(r) = 4*c(r) - 5*f(r). Is s(-12) a prime number?
False
Is (-2478)/(-4)*(-4)/(-6) composite?
True
Suppose 3*s - 14 + 2 = 0. Suppose -3*j + 0*o + 4*o + 547 = 0, 5*o + 730 = s*j. Is j composite?
True
Let p = 389 + -18. Is p a composite number?
True
Let u = -4 - -2. Let n be (1/u)/((-3)/6). Is 6 + 0/((-2)/n) composite?
True
Suppose 0 = 2*g + g - 3*r - 93, -3*r = 2*g - 67. Let h be 4/14 + g/(-14). Is h/4*(-28 - -2) a composite number?
False
Let w = 224 + -91. Is w prime?
False
Let s(m) = -m**3 - 9*m**2 - m - 7. Let l be s(-9). Suppose g - 3*o + 5*o - 159 = 0, 5*g - 803 = -l*o. Is g a prime number?
False
Let o(k) = k**2 - 5*k + 5. Let r be o(4). Let y(i) = 5*i**3 + i**2 - 1. Let h be y(r). Suppose -h*f + 58 = 2*a - 65, 127 = 5*f + 3*a. Is f a composite number?
False
Let d(m) = 4*m - 7. Let q be d(3). Suppose -15 = -7*f + 2*f. Suppose f*g = 3*a + 96, -7*g + 3*g = -q*a - 123. Is g a prime number?
True
Let z(m) = -m**3 + 4*m**2 - 3*m. Let y be z(3). Suppose y + 12 = 2*d. Is d/4 + (-43)/(-2) a prime number?
True
Suppose -3354 = -q - 3*q + 5*z, -5*q = 5*z - 4215. Suppose 1 - 3 = 2*v, -4*p = 3*v - q. Is p a composite number?
False
Let r = 21 - -30. Is r composite?
True
Let t be (-4 + -2)*2/4. Let g(z) = -z. Let v be g(t). Suppose 4*h = -2*o + 52, 11 = v*h - o - 33. Is h a prime number?
False
Suppose 0 = 2*q + 2*f + 2, -3*q + 0*f = -f - 5. Suppose -w + 0 = -68. Let z = w - q. Is z prime?
True
Suppose 4*v + 10 = 9*v. Suppose 4*w + w + 5*o = 275, o = v. Is w prime?
True
Let k(t) = t**3 - 3*t**2 - t + 2. Let h be k(3). Let n = -4 + h. Is 2 + 0 + 38 + n a composite number?
True
Suppose -20*x + 26142 = -598. Is x a composite number?
True
Let k(i) be the first derivative of 59*i**2/2 - i + 1. Let p be k(4). Suppose -3*r + 4*y + p = 3*y, 0 = y - 2. Is r composite?
False
Suppose j = -5*l + 13, -4*l + 6*l + 3*j - 13 = 0. Let w be (-14)/6 + l/6. Is w*(-57)/6*5 composite?
True
Let u = 9 - 15. Let q be (-2)/u - 604/(-6). Suppose 4*d + h - 26 - 191 = 0, 2*d = h + q. Is d a prime number?
True
Suppose 5*s = -7 - 13. Let c(f) = -41*f - 1. Is c(s) a composite number?
False
Suppose 0 = 5*z - q + 5*q - 2349, 1423 = 3*z - q. Is z a prime number?
False
Let k(w) = -2*w**3 + 7*w + 5. Is k(-6) composite?
True
Let q be (-14)/4*(2 - 0). Let w(l) = -4*l**2 + 3*l**3 - 5*l 