t = l - -79. Suppose d + 4*i - 3*i - 23 = 0, d + 2*i = t. Is d a composite number?
False
Let d(w) = w**3 + 2*w**2 - 3*w - 2. Let h be 3 + -3 - (-1 - 2). Is d(h) composite?
True
Let t(j) = 60*j**2 + 4*j + 3. Suppose 4 + 6 = -5*r. Is t(r) a composite number?
True
Let b be (-16)/10*(-430)/4. Suppose 185 = 3*n - b. Is n composite?
True
Let p be (-85 + 1)/3 + 3. Let n = p - -58. Suppose a - 86 = n. Is a prime?
False
Let k be 5340/28 - 4/(-14). Suppose 0 = -0*l - l + k. Is l a prime number?
True
Suppose u + 2*y = 151, 2*u + y - 3*y - 296 = 0. Is u a composite number?
False
Let m = -554 - -1057. Is m prime?
True
Suppose 5*t = 5*s + 2*t - 7715, 5*s = -5*t + 7715. Is s a prime number?
True
Let p(k) = -k - 2 + 0 + 0*k. Let s be p(-7). Is 72/s - (-10)/(-25) a prime number?
False
Is 0 + 3384/16 - (-1)/(-2) composite?
False
Suppose 1 = -2*b - 6*w + 3*w, -5*w - 7 = 2*b. Suppose -105 = 2*o + b*r + 77, -3*o - 3*r - 270 = 0. Is o*2/(-2) - 0 composite?
False
Suppose -2*x = 2*x - 16. Suppose -d + 0*n = -n, d - 5*n - x = 0. Is 86 + (-1 - (3 + d)) a composite number?
False
Let n = 5 - 4. Let f = n + 54. Is f a composite number?
True
Suppose 0 = -0*d + 4*d. Let t(z) = z**3 - z**2 + 3. Let g be t(d). Suppose -2 = -2*c - 4*b + 82, -224 = -5*c - g*b. Is c prime?
False
Let q be (-2)/(-8) - 4/16. Suppose q = b + b + 10. Is 37/(-3)*(b + 2) a prime number?
True
Is 111/2 - 2/4 a prime number?
False
Let w(j) = -j + 12. Let v be w(8). Let q be (v + -2)*(-10)/4. Is (-1 - -12)*q/(-1) a prime number?
False
Suppose 0 = -f - 4*h + 1179, 2*f - h - 2398 = h. Is f composite?
True
Suppose -b + 255 = 51. Suppose 5*r - 361 = b. Is r composite?
False
Is (-4)/14 + (-8217)/(-21) composite?
True
Suppose 0 = -w + r - 108, -163 - 71 = 2*w + 4*r. Let b = -26 + 254. Is 2/(-2 - b/w) prime?
True
Let n = 9 + -1. Let q(j) = j - 3. Let s be q(n). Suppose 0*t + 50 = s*t. Is t prime?
False
Suppose -4 - 2 = -a. Let i(d) = 15*d + 7. Is i(a) a prime number?
True
Is (-305)/(-10) - 1/(-2) composite?
False
Suppose 0 = -5*w + 3*w + 670. Is w a composite number?
True
Suppose 0 = 2*b - 113 - 141. Is b prime?
True
Suppose 2*m + 16 = 3*m. Let q = 3 + m. Is q composite?
False
Let k = 460 + -189. Let w = -48 + k. Is w a prime number?
True
Let n(x) = 19*x**2 - 6*x + 5. Is n(3) a prime number?
False
Suppose 2*s + 256 - 638 = 0. Is s composite?
False
Suppose -9 - 10 = -o. Is o a composite number?
False
Let z(i) = -i**3 + i**2 + 6*i - 4. Suppose 4*t + 0 = 3*d - 4, 3*d - 14 = -t. Let j be z(d). Is 514/14 + (-8)/j composite?
False
Let n(i) = -124*i + 9. Is n(-2) prime?
True
Let u = 5106 - 137. Is u composite?
False
Let y = -18 + 14. Let w(p) = -61*p + 7. Is w(y) a composite number?
False
Suppose -21 = 2*u - 3. Let l = u + 12. Suppose 191 = l*y + 32. Is y a composite number?
False
Suppose -4*z - z = -325. Is z a prime number?
False
Let i(n) = 869*n**2 + 9*n - 9. Is i(1) a composite number?
True
Suppose -5*i = -3*i. Suppose i = 2*f - 3 - 1. Suppose 2*m = -2*m + f*h + 314, 0 = -m + 4*h + 89. Is m composite?
True
Let z(s) = s**3 + 6*s**2 + s + 3. Let u be z(-6). Let m be ((-4)/u)/((-8)/(-12)). Suppose m = o - 11. Is o a prime number?
True
Suppose -3*g + 12 = 2*g + 4*q, 3*q + 6 = 0. Let b be (-3)/12 - (-441)/g. Suppose -i - i = -b. Is i prime?
False
Suppose 0 = -3*l - 6 - 12. Let q be 296/(-10) - l/(-15). Is 766/10 + (-12)/q a composite number?
True
Let x(h) be the second derivative of 11*h**4/4 - h**3/6 - 3*h. Is x(-1) prime?
False
Is (-279)/(-2)*(-8)/(-12) composite?
True
Let m(x) = -42*x**3 + 3*x**2 - 5*x - 5. Is m(-5) a composite number?
True
Suppose -2 = -2*h + h. Let t be 123/6 - h/4. Let m = t - 6. Is m prime?
False
Let i = 242 - 16. Is i prime?
False
Let n = 1 - -2. Let l(z) = 5*z**3 - z**2 + z - 2. Is l(n) a prime number?
True
Suppose -4*l + 48 = -2*r - 456, 0 = -4*l + 5*r + 498. Is l composite?
False
Is (-2065)/(-3) + 38/57 a prime number?
False
Let d be 2 + 0 - (-20 + -3). Suppose -4*q + 417 = -3*g + d, 0 = -5*q - g + 471. Is q a prime number?
False
Let j(t) = -2*t. Let x be j(-1). Suppose x*y - 836 = 2. Is y composite?
False
Suppose -5*d - 3 = -2*d. Let v be d + (-1)/(-1) + 25. Is (4/10)/(1/v) a composite number?
True
Suppose -2*z - 44 + 4 = 0. Let l be 6/(-10) - (-8)/z. Is (1165/(-20))/(l/4) prime?
True
Let c(x) = 199*x**2 - 2*x - 3. Is c(-2) composite?
False
Let c(p) = 88*p - 49. Is c(15) a prime number?
False
Let r(g) be the first derivative of g**4/4 + 7*g**3/3 + 3*g**2/2 - 5*g + 2. Suppose -2*l - 8 = -0*l. Is r(l) a prime number?
True
Let f be (1 + -1)*(-1)/(-1). Suppose 2*k - 5*m = 1040, 0 = -k - f*m + m + 520. Suppose 7*g = 3*g + 4*s + k, -3*s = g - 118. Is g prime?
True
Suppose g - 5*g = -172. Is g a prime number?
True
Suppose -a - a - 32 = -5*p, -4*a - 32 = -2*p. Is 3*((-64)/a + 1) prime?
False
Suppose 2*w - 2*i + 475 = 5*w, w + 3*i = 156. Is w a prime number?
False
Let o(w) = 468*w + 11. Is o(8) prime?
False
Is (0/(-3) - -3) + 886 prime?
False
Let x(y) = -y**3 - y - 1. Let q(b) = b**3 - 13*b**2 - 10*b - 5. Let a(s) = -q(s) - 2*x(s). Is a(-10) a composite number?
True
Let y(h) = h**2 + 4*h. Let i be y(-4). Suppose 0 = f - 187 - 29. Suppose i = 3*a + 17 - 5, 0 = -4*x - a + f. Is x composite?
True
Suppose -3*o - 5*a + 109 = 0, -2*o + 3*a + 17 = -43. Suppose -4*z + 2*m = m - o, -z - m + 2 = 0. Is z a prime number?
True
Suppose -3*x - 43 = -4*x. Let k = -83 + 54. Let g = k + x. Is g composite?
True
Let j be ((-528)/15)/(1/(-5)). Suppose -f = -3*v + 146, -v - f + 2*f = -48. Suppose -j = -5*m - z - v, m + 3*z - 31 = 0. Is m prime?
False
Let g(b) = 196*b + 1. Is g(3) prime?
False
Suppose -2*k = 2*k + 16. Let z(m) = 5*m**2 + 2. Is z(k) composite?
True
Suppose -2*q = 3*q + 95. Let g = 52 + q. Is g a prime number?
False
Let y = 244 - 162. Is y composite?
True
Suppose -4*l - 444 + 3952 = 0. Is l a prime number?
True
Suppose 4*l - 7*l = -285. Is l composite?
True
Let p = 450 - 287. Is p a composite number?
False
Is (2/(-3))/((-2)/2733) prime?
True
Let x(g) = -3*g**3 - 8*g**2 + 3*g + 1. Let i = -2 + -5. Let k be x(i). Let h = k - 312. Is h prime?
False
Is (-1)/(-1)*-2 - -1 - -7638 a composite number?
True
Let l(r) = r**2 + 540. Let s be l(0). Suppose 0 = 3*k - 4*q - 1598, 3*k - 2*k - 5*q = s. Suppose -6*x + k = -x. Is x composite?
True
Let u(h) = 9*h + 5 + 12 + h**2 - 5. Is u(-8) prime?
False
Suppose -c + 3 + 0 = 0. Suppose -c*d - 341 = -3*q + 67, 710 = 5*q + 5*d. Is q a composite number?
False
Let l(d) = d - 1. Let x be l(0). Let c = x - 69. Let w = c + 137. Is w composite?
False
Let g be 2/(-2)*(0 - 41). Let q = -6 + g. Is q a prime number?
False
Suppose 4*k + 3*o - 4*o = 16, 0 = k + o - 4. Let s be ((-1185)/(-4))/3*k. Suppose s = 3*b + v, 0*v = -4*b + 2*v + 520. Is b a prime number?
True
Let f = -1 - -4. Suppose v = r + f*v - 63, 4*v + 245 = 5*r. Is r a composite number?
False
Let t be -3 + 2 + -2 + -2. Let d = 7 + t. Suppose 2*w - 92 = -d*w. Is w composite?
False
Let l be (-4)/10 - (-133)/(-5). Let k = l + 64. Is k composite?
False
Let v = -13 - -18. Suppose -i - v*b - 41 = 0, 2*i + 2*i + 230 = 2*b. Is (i/10)/((-4)/10) a composite number?
True
Is -2 + 1 + (3 - 2) + 213 a composite number?
True
Suppose 4*m - 8714 = 10*r - 8*r, 8717 = 4*m + r. Is m prime?
True
Let u(v) = v**3 - v + 37. Let g(n) = 5*n - 6. Let r(b) = b. Let y(t) = -g(t) + 4*r(t). Let m be y(6). Is u(m) composite?
False
Suppose 89 + 65 = 7*y. Is y composite?
True
Suppose 2*v + 2*v - 356 = 0. Is v prime?
True
Suppose 2*m - 4*r - 330 = 0, -2*m + 2*r = 4*r - 318. Is m prime?
False
Suppose -16 = -5*q - m - 5, 2*q + 2*m = 6. Let p(h) = 100*h. Let i(u) = 201*u + 1. Let s(b) = -3*i(b) + 7*p(b). Is s(q) a prime number?
True
Let t(h) = -3*h**2 - 3 - 5*h + 0 - 5 - 14*h**2 - h**3. Is t(-17) a prime number?
False
Suppose -3*v = -6*v - 393. Suppose -5*w = 3*c - 661, -c + 5*w - w = -226. Let u = c + v. Is u prime?
False
Let f = 1701 + -968. Is f composite?
False
Let o(z) = 558*z + 1. Let g be o(11). Is (g/(-21))/((-1)/3) composite?
False
Let o be (-4)/4 + -1 + -2. Let s = o - -13. Is s a prime number?
False
Is 2 + (542 - 3/1) prime?
True
Suppose 1111 = 3*s - h - 204, 2*h + 1752 = 4*s. Is s a composite number?
False
Is ((-2)/(-24)*3453)/((-1)/(-4)) a composite number?
False
Let v(r) = r - 2. Let h be v(6). Suppose 3*o = -h*s - 7, -o - 3*s - 17 = 2*s. Is -7 - 